4. Is 0 at least as big as b?
True
Let t be (-3 - -2)*(-4)/(-4). Which is smaller: -3/14 or t?
t
Suppose l = -0 + 1. Let w = -4 - -2. Let b = w - -4. Do b and l have different values?
True
Suppose -t + 2 = -0*t. Suppose 5*g - 26 = -11. Let c = g - t. Is -2/5 > c?
False
Let j be 15/20 + 0 - (-1)/(-2). Let b be 3/12*(-10)/2. Is b > j?
False
Suppose 5*k + 17 + 23 = 0. Suppose -6 = -3*o - 24. Let r be o/k - (-26)/8. Is r < 2?
False
Let o = -97 + 52. Let n be (-12)/10*o/36. Is n greater than 2?
False
Let n = -0.6 - 0.4. Let g = 2/29535 + -561349/2717220. Let m = g - 1/23. Which is bigger: n or m?
m
Let x = -3/4 + 5/4. Which is smaller: 7 or x?
x
Suppose -4*j = -7*j + 6. Which is smaller: j or 10/7?
10/7
Let j be (-18)/(-20)*5820/(-16). Let b = j - -327. Is 1 >= b?
True
Let i = 1703/7866 + -11/171. Let a = i - 463/322. Is -1 > a?
True
Let s = 5 + -5.4. Let v = s - 0.6. Is -0.1 > v?
True
Let p be ((-5)/(-2) + -4)*(-4)/(-6). Let x be (-8)/6*3/(-14). Which is bigger: p or x?
x
Suppose 4*j + 2*r - 12 = -2*r, 2*j = -r + 7. Suppose 4*m = -5*a + 3 + 11, 3*m = 3. Suppose -i + 2*y = a*i + 7, -2 = j*i + y. Are -1/2 and i nonequal?
True
Let y be (-10)/1*(-4)/(-10). Let j(k) = 3*k + 3 - 2*k + 4. Let s be j(y). Which is bigger: 2 or s?
s
Suppose 3*v = v. Let l be 10/(-33) - 26/(-39). Is v bigger than l?
False
Suppose -5*t + 5 = -5*w, 2*t + 1 = w + 3. Let j = 100 - 699/7. Is w <= j?
True
Suppose -o = l + 5, 36 = -3*o - 3*l + 7*l. Is o bigger than -10?
True
Let x be (14/(-21))/(5/3). Which is bigger: x or -12?
x
Let r = 0.2 - -13.8. Let f = r + -16. Which is smaller: 2 or f?
f
Let y = 88 - -7. Let v be 1/4 - y/(-20). Let b = 1 - v. Which is bigger: -3 or b?
-3
Let r be 1*3/(0 + -3). Which is bigger: r or 2/15?
2/15
Let v = -24 + 24.1. Is 5/7 less than v?
False
Let x(m) = 6*m**2 - 3*m. Let h be x(2). Let p = h - 10. Suppose p*j + 8 = 3*j - o, 4*j = 3*o + 5. Is j at most 1/3?
True
Let l(d) = d. Let u be l(5). Suppose 0*w - u*w - 55 = 0. Which is smaller: -12 or w?
-12
Suppose 3*w - 4 = -2*z + 5*w, 0 = 2*z + 5*w - 32. Let c be -1 - (-2)/(z/9). Let k = 2 - c. Which is greater: -2/11 or k?
k
Let w be (0 - -2)*(-11)/2. Let t = 15 + w. Suppose 4*q - t = -0*q. Is q less than 3/7?
False
Let d = 17/57 + -2171/399. Which is smaller: d or -6?
-6
Suppose -2*p + v = 4*v + 11, -3*p = -2*v - 16. Let j = -5 - -6. Let s be (j/(-2))/(3/(-18)). Is s bigger than p?
True
Suppose 0 = b + 2*b + 12, 5*w = -4*b - 16. Suppose w = -3*z - z + 36. Let f = z - 4. Is f bigger than 3?
True
Let l be (-4)/(-18) + 4/(-18). Let o(q) be the third derivative of -q**5/60 - q**4/24 - q**3/6 + q**2. Let s be o(l). Do s and 1/9 have different values?
True
Let s = 83 + -84. Is s at least 2/81?
False
Let c = 82 + -84.8. Which is smaller: 0.1 or c?
c
Let a be (255/(-102))/(5/4). Let u be 2/1 - (2 - -3). Is u greater than or equal to a?
False
Let p be (-6)/((-2)/2 - -3). Let a be 2/p*(-3)/(-4). Is 0.2 greater than or equal to a?
True
Let j = 0.1 - 0.35. Let m = -0.3 - -0.35. Let f = m - j. Which is bigger: f or 1?
1
Suppose p = -2*s + 10, 3*s - 2*p - 26 = 2*p. Is s at least 1?
True
Let b = 244 + -244. Let z = -39/9707 + 34557427/126191. Let n = -274 + z. Is b >= n?
True
Let n(h) = -h - 10. Let k(i) = -i**3 - 10*i**2 + i. Let m be k(-10). Let j be n(m). Is j smaller than -1/2?
False
Let v(j) = j - 4. Let h be v(5). Let o = 17.3 - 15.3. Which is greater: o or h?
o
Let g(p) = -5*p**2 + p + 3. Let b be g(-2). Which is bigger: b or -18?
-18
Suppose 2*f = z + 4*z + 24, z + 2 = -f. Let w be (4/(-3))/(2/6). Is w not equal to z?
False
Let z = 0.6 - 1.3. Let n = 16 + -15.5. Let d = z + n. Is d < -1?
False
Let r = 88097811/1549 - 56874. Let k = r - -661498/7745. Let i = k - 85. Are i and -1 unequal?
True
Let l be (-1)/(-36) + (-6 - -4). Let p = -7/4 - l. Let s be 0/1 - 1*-1. Is p > s?
False
Let d(z) be the third derivative of z**5/60 + z**3/3 - 4*z**2. Let g be d(3). Which is smaller: g or 10?
10
Let h be 73/(-3)*3/2. Let z = -35 - h. Suppose 6 = 7*a - 1. Is a at least z?
False
Let h = 25 - 22. Suppose -r + h = 5. Are r and -2 nonequal?
False
Let l(d) = -d**3 - 6*d**2 - 4*d + 5. Let c be l(-5). Suppose c = 5*j + 4 + 6. Which is smaller: j or -3?
-3
Let c(d) = -d**2 - 6*d - 5. Let x = -14 - -11. Let z be c(x). Are z and 4 equal?
True
Suppose 0 = -7*g + 2*g - 45. Let f = g + 7. Suppose a = -2 - 0. Is f at least a?
True
Let z be 45/10*(-20)/6. Let q = 44/3 + z. Are q and 1 non-equal?
True
Suppose -t + 4 = -4*h, -3*h = -4*t - t + 3. Let b = -54/49 - -2204/1911. Which is greater: b or h?
b
Suppose 4*m = -4*c - 4, 0*c - 3*c + 5*m + 5 = 0. Is -4 != c?
True
Let g = 9 - 2. Let z = g + -5. Let o = -4 + z. Which is smaller: -1 or o?
o
Let o = 0 - -10. Let b be o/(-8)*(-10)/(-15). Suppose -3*t = -t. Is t not equal to b?
True
Suppose 5*r - 14 = -4. Which is bigger: 5/3 or r?
r
Let g be ((-16)/6)/(1/(-3)). Let z(s) = -14*s - 16 + 2*s**2 + 2*s**2 - s**3 + 7*s**2 + 2*s**3. Let b be z(-12). Is b > g?
False
Let q(s) = -4*s - 5. Let i be q(-3). Let a = -9 + i. Let n = 2 + -5/2. Which is greater: n or a?
n
Suppose 0 = t - 0*t. Suppose m - 5*i = 8, t + 1 = -m - 4*i. Let f = 5 - m. Is f smaller than 1?
False
Let r = 7 - -1. Let u = r + -10. Let a(p) = p + 3. Let q be a(-6). Which is smaller: q or u?
q
Let u be (5/1)/(1 - 0). Suppose -3*d - 17 = u*o - 0*o, -17 = 4*d + o. Let b be (-1)/6*6/d. Which is greater: b or -0.1?
b
Let k(x) = x**2 + 5*x + 2. Let w be k(-5). Let u be ((-6)/(-8))/(w/(-8)). Let t be u/(-2)*4/(-3). Are t and -2 unequal?
False
Suppose 0 = -5*j + 2*t + 18 + 68, 4*j + t - 61 = 0. Suppose r - 5*r = -j. Which is greater: 5 or r?
5
Suppose 0 = -o + 4*o + r - 8, -2*r = -2*o - 8. Which is smaller: 0 or o?
0
Let y = 7.02 - 0.02. Let x = y - 6.8. Are x and 2/3 equal?
False
Suppose 0 = -4*x + 3*x + 14. Suppose -11*b = -x*b. Which is greater: -2/23 or b?
b
Let l be 6/(-4) - (-186)/12. Which is smaller: 11 or l?
11
Let l = -5 - -2. Is l greater than or equal to -3?
True
Let p be 1 + 2*(-971)/9. Let q be 215/(-3)*(1 - -2). Let r = q - p. Is r bigger than 1?
False
Let t = 5 - 2. Suppose n + 5 = 0, -3*n = -5*y - 4*n + 10. Suppose -1 - 11 = -y*q. Which is greater: t or q?
q
Let k = -0.06 + -0.52. Let r = k + 0.6. Are r and -2/9 unequal?
True
Let h = -0.04 - -0.04. Let y = 0.1 - h. Is 0.3 <= y?
False
Let p = -11 - -5. Let z = 5 + p. Does z = 0?
False
Let q be (-10)/848 - (-2)/16. Which is smaller: q or 0?
0
Let j be 10/16*2/5. Let s = 6.1 + 0.9. Which is smaller: j or s?
j
Let d = 8 + -13. Let m = 5 + d. Let z = 4.02 + -0.02. Is z at most as big as m?
False
Suppose -4*o = -10 - 2. Which is smaller: -1 or o?
-1
Let u = 5.04 + -0.04. Let i = u - 6. Is 0 smaller than i?
False
Suppose x = -1 + 4. Are x and 5 nonequal?
True
Let w = -7 - 1. Let l = 20 - 27. Which is greater: w or l?
l
Suppose -3*a + 10 = 2*w - a, 4*w - 4*a + 12 = 0. Suppose -12 = -3*c - c. Let o be c/(w - 1/(-2)). Is 1 >= o?
False
Let q = 13/109 + -4931/218. Let w = -22 - q. Is w less than or equal to 2?
True
Suppose 5*n + 2*v + 21 = -v, -v + 4 = -2*n. Which is smaller: n or -8/3?
n
Let w(t) = -t + 3. Let v be w(4). Let c = -7 + -1. Let x be (c/4)/(19*1). Which is smaller: v or x?
v
Suppose -4*o - u + 5 = -4, 3 = 3*o - 3*u. Let s be -6*((-76)/(-40) - o). Suppose -6*w = -w. Which is bigger: s or w?
s
Let m = -4 - -6. Let a = 27 + -46. Let j = -15 - a. Is m at least as big as j?
False
Let m be (2/6)/((-77)/(-66)). Let f be (-3)/12 + (-1)/(-4). Are m and f equal?
False
Suppose 3*y - x - 4 = 12, -x - 4 = 0. Is 3 less than or equal to y?
True
Let s(t) = 3*t**2 - 10*t - 16. Let b(u) = -2*u**2 + 7*u + 11. Let y(q) = -8*b(q) - 5*s(q). Let p be y(7). Is p greater than -1?
False
Let n be 4/(-339)*9*(-4)/(-24). Do n and -1 have the same value?
False
Let y = 49/272 - 2/17. Let q = y + 7/16. Are -0.1 and q equal?
False
Let n(u) = -u - 4*u - 8 + 4*u + 2*u. Let p be n(5). Is p at most -6?
False
Let g be 7/5*1 + -1. Let f be (-2)/(-8)*(-3 - -1). Is g less than or equal to f?
False
Suppose -3*i + 12 = -6*i. Let c = -28/93 - 1/31. Which is bigger: i or c?
c
Let u be 2/(-8) + (-776840)/(-3104). Let m = 250 - u. Which is smaller: m or 0?
m
Suppose -3*c = 4*b + 4 + 10, -3*c + b - 4 = 0. Let t = 124 + -124. Which is smaller: c or t?
c
Suppose 4*k - 3*k + 24 = 0. Let t be 18/k - (-2 + 2). Is t grea