*q + f. Is q greater than -4?
False
Let n = 2.3 - 1. Let d = n + -0.3. Let b = 10 + -9.8. Which is smaller: d or b?
b
Suppose 3*f + 5*z + 5 = 3*z, -2*f - z - 5 = 0. Let k(x) = x**2 - 16*x + 59. Let h be k(7). Which is greater: f or h?
h
Let p be (-66)/22 - ((1 - 1) + 0). Which is smaller: -20/7 or p?
p
Suppose -30*v = -33*v - 6. Let s be (-16)/(-48)*v*1. Is -1 greater than s?
False
Let j = 26 - 23. Let t = -39.9 + 37. Let b = -3 - t. Is b > j?
False
Suppose b + 2*u + 2 = -13, -18 = 3*b - 3*u. Let q be (-5)/1 + b + 7. Do -7 and q have the same value?
True
Let b(j) = -j**3 - 5*j**2 - 3*j + 3. Let y be b(-4). Suppose 0*z - 18 = 6*z. Which is smaller: y or z?
z
Let z = 0 - 0.1. Let b = -7 + 15. Do z and b have the same value?
False
Let c = 12 - 8. Suppose -5*h + c = -1. Is 1/2 at most h?
True
Let s be 2/16*2*6. Suppose 5*w - 37 = 4*q, -3*w + 2*q + 31 = 2*w. Suppose -2*p + 4*y + 16 = -6, 0 = w*p - 3*y - 27. Which is greater: p or s?
p
Let c = -5 - -9. Suppose -2 - 2 = -h - c*w, 3*h - w = -1. Is -2 smaller than h?
True
Let u be 4/18 - 260/819. Is u at most as big as -2/7?
False
Suppose o + 35 = -2*q, 88 = -3*q - 2*q - 3*o. Which is smaller: q or -15?
q
Let j = -1.012 + -5.998. Let g = j - -0.01. Let x = g + 7.3. Which is bigger: x or 0.1?
x
Let q = -0.9 + 1. Let h = -3 - 0. Let a be (8/h - -3)/(-1). Which is greater: q or a?
q
Let k(w) = -w + 7. Let d be k(6). Which is smaller: -1/14 or d?
-1/14
Let g be (-63)/(-70)*4/3. Is g at most as big as 2?
True
Let p(x) = x - 4. Let j be p(4). Let g be (9 - 8) + 0 + j. Is -2 != g?
True
Let g = -6 + 3. Let a = g - -6. Is 4 less than or equal to a?
False
Let a be -7 - (-17 - -17)/(1 - 0). Suppose -7 = -u + 2*u. Is a not equal to u?
False
Suppose -c - 2 = -2*c. Suppose 4*x - a - 5 = 0, 2*x = 5*x + a - c. Is 3 <= x?
False
Let f(v) = v**2 - 4*v. Let t be f(3). Is -1 less than t?
False
Suppose 2*g + 0 = -d - 2, 0 = 4*g + 20. Let k be 102/14 + (-16)/56. Which is smaller: d or k?
k
Let n = -103 - -102.43. Let f = -0.03 + n. Which is smaller: f or 0?
f
Let d be 36/28 - 1 - (-4)/14. Is d at least 1?
False
Let u(p) be the third derivative of p**4/24 + p**3/2 + 4*p**2. Let q be u(-6). Let w be q/(-6)*-2 + 0. Is w > -2?
True
Let j be 2 + (-6)/2 + 3. Let d = 0 - j. Is -5 less than or equal to d?
True
Let h(d) = -6 + 6*d - 3*d**2 - 2*d**2 + 6*d**2. Suppose 2*j + 7 = j. Let t be h(j). Is t less than 2/7?
False
Suppose 2*u - 296 = -5*t + 324, -3*u - 393 = -3*t. Let c be (-3)/7 + 26/t. Which is bigger: c or -1?
c
Let g = -18/5 + 152/45. Which is smaller: -1 or g?
-1
Let u = 5/13 - -11/39. Let a = 5 - 2. Suppose 3*j + 12 = -a*t, 23 = 3*t - 7*j + 3*j. Which is smaller: t or u?
u
Let h = -12 - -11.8. Which is greater: 0.3 or h?
0.3
Let p be (-1*1/(-7))/(-1). Let g = -132 + 132.1. Which is greater: g or p?
g
Let g(l) = l - 13. Suppose -2*y + 5*y = 27. Let b be g(y). Which is bigger: -3 or b?
-3
Let d = -21 + 21. Is d less than or equal to 0?
True
Let n(y) = -3*y**2 + y + 1. Suppose -5*m = -0*m - 10, -2*a + 5*m - 12 = 0. Let f be n(a). Which is smaller: -3/2 or f?
f
Let c(z) = -2*z - 4. Let r be c(8). Let j be 6/(-5)*r/6. Suppose 1 = -j*m - 11. Which is greater: m or -2?
-2
Let d be -3 + 4 + 2/(-6). Does 2/5 = d?
False
Let d(m) = -2*m - 6. Let a be d(-5). Let p(b) = b**3 - 3*b**2 - 3*b + 3. Let l be p(a). Let i(h) = h**2 - 6*h - 7. Let x be i(l). Which is smaller: x or 1?
x
Suppose 3 = 95*a - 92*a. Which is bigger: 3 or a?
3
Let d = 18 - 17. Let s = 219/4 - 55. Is s equal to d?
False
Let s be 4/2*(-25)/(-10). Let j be s/(-4) - 6/(-8). Is 1/2 at most as big as j?
False
Let w = -9 - -9.04. Let c = w + 0.06. Which is bigger: -0.02 or c?
c
Let t be (-60)/21 - (-9)/3. Is 5 at least t?
True
Suppose -3 = -5*s + a - 4*a, -2*a = 3*s - 2. Let o be 4/10*10/12. Is s at most o?
True
Let q(c) = c**2 + 7*c + 7. Let w be q(-5). Let u = 1 + w. Which is smaller: u or 1?
u
Suppose 5*j = 0, j - 1 = -3*w + 2. Is 3/59 > w?
False
Suppose -5*p = -11 + 31. Let a be p/(-8)*(3 + 1). Suppose -3*r = 2*l - 2, r + a*r - 5*l + 5 = 0. Is r greater than -2/9?
True
Suppose 7*n - 16 = 75. Is n < 13?
False
Suppose -2*j + 3 = -19. Is 11 less than j?
False
Let s = 123 + -51. Is 72 not equal to s?
False
Suppose 5*m - s + 3*s = -30, 0 = m + 2*s - 2. Let c be (-1)/(-4) + 42/m. Let p be 6 + (4 + -3)*-10. Do p and c have the same value?
False
Suppose h + 2*v = 5*v - 15, 0 = -4*v + 20. Let r = -71/280 - -3/56. Which is greater: r or h?
h
Let j = -74 + 90. Which is bigger: j or -5/4?
j
Let l be -2 + 1 + (-18)/(-14). Suppose -12*s = -3*s - 9. Which is bigger: s or l?
s
Let j = -47/248 + 2/31. Suppose -3*r = 12, 0 = -w + 3*w - 2*r - 10. Which is greater: j or w?
w
Suppose -2*u + 3*y = 5*y - 14, 5*y - 19 = 3*u. Suppose -3*x = -5*i - 92, i = 4*i + 12. Let j be x/(-14) + u + 0. Is j equal to 0?
False
Suppose -5 = -3*z - 2*w, w = 3*z + 4*w - 6. Let u be 2 - (1792/13 - z). Let y = 135 + u. Which is smaller: 0 or y?
0
Suppose -4 = -z - 2. Suppose -1 + 12 = 2*m - i, -31 = -4*m + 5*i. Suppose 4 = 4*h - m. Does z = h?
True
Let p = 33 + -18. Let h = -10 + p. Which is greater: h or 0?
h
Let s = -45 - -48. Is -6 equal to s?
False
Let b = 5 - 0. Let o(s) = -s**3 - 4*s**2 + 4*s - 2. Let d be o(-5). Let w be 4/d*(-6)/(-28). Which is bigger: b or w?
b
Let a = -7 + 6. Let y = a - -3. Which is greater: 3 or y?
3
Suppose 2*c - 1 = c. Are -2/11 and c non-equal?
True
Let s be 2 + -2*(-6)/(-4). Let w be 2/(2 + 9/(-6)). Let b = w - 4. Is b != s?
True
Let l = -24753062 + 1039960849/42. Let x = l - 7911. Let r = x - -1/14. Is 4 greater than or equal to r?
True
Let o = -5 - -12. Which is bigger: 1/4 or o?
o
Let o = -0.28 - -1.28. Are -4/5 and o nonequal?
True
Let o be 3/((-36)/(-148)) - 0. Let g = o + -11. Which is greater: g or 2?
2
Suppose 2*c + 20 = 4*c. Which is bigger: 12 or c?
12
Suppose -7*x = -4*x - 9. Let m be (x/18)/((-3)/(-4)). Is 3 less than or equal to m?
False
Suppose k = 46 - 18. Suppose 4*x + 4*d = -k, d + 2 - 5 = 0. Let v be (4/x - -1) + 0. Is v not equal to 2?
True
Let b = 24.3564 + -0.0564. Let u = b - 24. Let y = -0.1 + -0.1. Is u at least as big as y?
True
Let p = 160/3 - 54. Let u = -1 + 0.8. Let a = 0.8 - u. Which is smaller: p or a?
p
Suppose -7*v + 3 = -4*v. Which is greater: 0.102 or v?
v
Suppose t + f + 7 = 4*t, -4*f = -3*t + 19. Let i be (t - (-1 + 0))/(-2). Let z = 7 + -11. Is z smaller than i?
True
Let t(g) = g**2 + 6*g + 7. Let f be t(-4). Do 3/40 and f have the same value?
False
Let w = 2.5 + -3. Let z = w - -0.4. Is z greater than 4?
False
Let a = -428/63 - -46/7. Let n(u) = u**3 + 16*u**2 - 19*u - 33. Let r be n(-17). Which is greater: r or a?
r
Let a = 173/348 + -7/87. Let r = a + -23/36. Let j be (-1)/3 + 1/3. Which is smaller: j or r?
r
Let g = 4 + 5. Which is greater: 8 or g?
g
Let w = 8.91 + -9. Which is greater: -2 or w?
w
Let y = -278.9 - -266. Let f = y + 13. Is f >= 3/5?
False
Let h = 70 + -60. Is h < 2/5?
False
Let v = -9/17 + 1/34. Suppose 3*j = 4*u + 22 - 9, 2*j - 10 = 3*u. Which is bigger: j or v?
v
Let t = -57 - -57.5. Which is bigger: t or -3?
t
Let x = 395/3 - 132. Let y = -1 + 1. Is y <= x?
False
Let p be (1/3)/(-5 - -6). Let x = -29 + 26. Which is smaller: x or p?
x
Let x be 148/186 + 6/(-9). Let b = x - 63/248. Let n = 0 - -1. Is n at least as big as b?
True
Suppose 4*x - 78 = 7*x. Which is smaller: x or 1?
x
Suppose -3*f + 9 = x + x, 3*x + 19 = 2*f. Let z be (-7)/x - (-6)/(-18). Which is greater: 1 or z?
z
Let l = 58 - 61. Which is smaller: l or 0.3?
l
Let m = 1437/5 - 286. Which is smaller: m or 2?
m
Let l be 50/15*(-6)/(-4). Let n = l + -3. Suppose n = 2*o - 2. Which is smaller: o or -0.2?
-0.2
Let a be ((-16)/10)/((-3)/90). Let w be (-8)/(-44) + a/(-22). Let x be w/(-8)*(-64)/(-28). Which is smaller: x or 0?
0
Let l = 5 - 1. Let z be (l/(-46))/(-3 - -2). Is 0 >= z?
False
Suppose 5*q - 4*m = 3*q - 4, 0 = -3*q - 5*m - 6. Let t be q/5 - 48/(-95). Which is smaller: -1 or t?
-1
Let p = -1 - 6. Let w(o) = o**2 + 7*o - 1. Let q be w(p). Are -1 and q nonequal?
False
Let k = -6.3 - 3.7. Do 0.2 and k have the same value?
False
Let g = 2146/1645 - 3/658. Let x = g - 4/5. Which is smaller: x or 1?
x
Let j = 7 + -15. Let c = j + 7. Suppose 0 = h, -3*t + 0*t + h = -6. Which is smaller: t or c?
c
Let o(z) = 2*z + 2*z + z**2 + 0*z**2 + 4. Let k be o(-4). Supp