k be (4 - 9) + 1 + 10. Suppose k*g + 12 + 0 = 0. Is g > -2?
False
Let c be (72/(-96))/((-6)/(-4)). Which is smaller: c or -27?
-27
Let n = 25/14 - 16/7. Let m = -62 - -80. Suppose -d + m = -4*d. Is d at least as big as n?
False
Let o = 54 + -62. Let i = -0.16 + -0.04. Is o < i?
True
Let m = 24.006 + -0.006. Let u = m - 23.89. Which is greater: u or 0?
u
Let r(j) = -j**3 + 17*j**2 + 18*j + 6. Let s be r(18). Let o(m) = -2*m**2 + 5*m + 2. Let q be o(s). Is -40 less than q?
False
Suppose -2*l - 12 = 4*j, 4*j + 2*l + 3*l + 18 = 0. Let t be (-4)/16 - 0/(-1 - j). Let p = 0.96 - 1. Which is bigger: p or t?
p
Suppose -22 = -3*y - 5*j + 12, 5*j = -5. Let i = -229 + 233. Suppose -y + i = q. Which is smaller: -8 or q?
q
Suppose x = -x - 2*w - 14, 0 = -4*x + 5*w - 46. Let c = -18 + 11.4. Let i = c + 6.5. Is x greater than i?
False
Let f = 12 - 10. Let x be f + (2/(-3) - 2). Suppose 0 = -14*s + 6*s - 16. Does x = s?
False
Let c = -21 - -30. Let i = 111 - 111. Let f = c + i. Is 8 not equal to f?
True
Let f = 5.5 + -3.2. Let n = -1.3 + f. Which is smaller: n or 20?
n
Let s be (6*(-4)/(-16))/((-6)/(-40)). Suppose 9*p = 2*x + 4*p + 10, -4*x = 5*p - s. Are 1/42 and x equal?
False
Let q = 11.8 + 6.2. Let t = -1 - 15. Let c = t + 15. Does q = c?
False
Let i = -41 - -40. Let w = -907/40 + 173/10. Let o = w + 2177/408. Which is greater: i or o?
o
Let o = 25547/2152 - 95/8. Is o at least as big as 0?
False
Let w(f) = 8*f**2 + f + 2. Let r be w(-2). Let z = 34 - r. Let k be (3 - z)/((-1)/1). Is -2/65 smaller than k?
False
Let r(v) = -6*v**2 - 12*v + 20. Let x(i) = -7*i**2 - 11*i + 21. Let n(z) = -6*r(z) + 5*x(z). Let w be n(-11). Let k = -245/3 - w. Which is bigger: 7 or k?
7
Suppose 53 = 3*z + 32. Suppose 0 = -2*m + 5*u - 116, -z = -3*m - 3*u - 181. Is -58 bigger than m?
False
Let a(o) = o**3 + 20*o**2 + 37*o + 23. Let t be a(-18). Let b(z) = -2*z + 3. Let c be b(t). Which is smaller: -15/2 or c?
-15/2
Let l = -1144555/12 + 94846. Let c = -534 - l. Are 1 and c non-equal?
True
Let t = 136 - 138. Let v be 18 - (0 + -4 + 0). Is t greater than or equal to v?
False
Suppose -t = -4*t + 6. Suppose 3*d + t*i - 23 = 0, -d = -5*d + 5*i. Suppose d*h - 36 = h + y, -4*h + 28 = -3*y. Is 11 not equal to h?
True
Let h = -0.015 + -97.985. Let i = 98.2 + h. Which is bigger: i or 0.1?
i
Let b(y) = -2*y - 9. Let a be b(-27). Let l = -56 + a. Suppose 54 = -4*o + 14. Which is smaller: l or o?
l
Suppose 0 = s + s - o - 36, -5*s - 2*o = -108. Suppose -3*r = -s + 11. Is 7/2 less than r?
False
Let m = 0.02 - -0.38. Let q = -1713/5 + 341. Is q >= m?
False
Suppose -x + 24 = -16. Suppose a - x = 5*a. Let q be (-12)/a - (-3)/(-15). Which is smaller: 4/9 or q?
4/9
Suppose -19*n + 22*n = 0. Which is smaller: 5/251 or n?
n
Suppose 5*r - 2*i = -1 + 4, -3*r - i = 7. Which is smaller: r or -8/13?
r
Let a = -28 + 49. Let g be (-6)/a - (-58)/(-42). Suppose -21*o + 52482 = 52440. Which is greater: o or g?
o
Let j be (-1)/(-10) - 4/(-10). Let a = 7 - -4. Let n = 11.2 - a. Which is greater: j or n?
j
Let v(g) = -2*g + 17. Let a be v(7). Let t be (3 + a)*(3 + -2). Let p be (-3)/(-9) - 98/t. Is -17 less than or equal to p?
True
Let d(n) = -3*n**2 - n + 1. Suppose 2*m + 5*v + 3 = 0, -2*m + 3 = 2*v - 3*v. Let o be d(m). Let i(f) = -f - 5. Let w be i(0). Which is smaller: w or o?
w
Suppose 5*u - 30 = 5. Let t(c) = 0*c - c + 7*c**2 + 2*c - 4 - c**3. Let g be t(u). Which is bigger: g or 2?
g
Let p(v) be the third derivative of v**4/8 - 5*v**3/6 - 12*v**2. Let l be p(4). Suppose -l*t + 0 = -14. Is t > 1?
True
Let h = -0.08 - -0.28. Let d = 0.2 - h. Is d < -1/2?
False
Let f = 61 - 61. Let d be 1 - (0 - f)/(-2). Which is bigger: 16/7 or d?
16/7
Let q = -34 + 41. Is q less than or equal to 3/4?
False
Let r = 15 + -14.82. Let t = -0.08 + r. Let n = -5.4 + 5. Which is greater: t or n?
t
Let v = 23 - 13. Let n be (20 - v)*10/(-4). Do -25 and n have different values?
False
Let r(z) = -3*z**2 + 6*z - 2. Let m(s) = -3*s**2 + 5*s - 2. Let g(q) = -6*m(q) + 5*r(q). Let y be g(-2). Suppose 3*t = -5 + y. Is 2 smaller than t?
True
Suppose 0 = -4*k - u + 63, 3*u - 69 = 2*k - 6*k. Let v be 5*(-4)/(-5) - -1. Let w be (k/(-6))/v*-20. Which is smaller: w or 12?
w
Let b(z) = 8*z**2 - 3*z - 2. Let r be b(-2). Suppose -3*c - c - r = 0. Let m(t) = t**3 + 8*t**2 + 18*t + 14. Let q be m(-5). Which is greater: q or c?
q
Suppose 2 = -15*m + 18*m - v, -5*m + v = -4. Let w be 4/14 - (-15)/7. Which is smaller: m or w?
m
Suppose -x = 8 + 1. Let r = x - -11. Let y be (-4)/(r + -3 - 3). Do 8/9 and y have the same value?
False
Let g be -6 + -4 + 2 + 8 + -2. Which is bigger: -11/4 or g?
g
Suppose -42*k = -41*k + 27. Which is bigger: -15 or k?
-15
Suppose -3*i - i + 4 = -2*x, 5*x = -4*i + 4. Let l(r) = -r**3 - 18*r**2 - 15. Let v be l(-18). Let w be ((-42)/(-35))/((-33)/v). Is i at most as big as w?
False
Let p be 4/(-10) + (-4)/(-10). Let v be -6*((-16)/24 - 34/(-42)). Is v less than or equal to p?
True
Let p be ((-12)/50)/(18/240) - -3. Is p equal to 86?
False
Let g = 289 - 291. Is g equal to 8/3?
False
Let t be (-44)/12 - (-1 + -2). Let j(m) = m**2 + 14*m - 1. Let z = -35 - -21. Let v be j(z). Which is smaller: v or t?
v
Let g = 310 - 328. Let b = 19 + -1. Let j be (-4)/g + (-94)/b. Is j not equal to 1/2?
True
Suppose 60 = -2*n + 4*l, -38 + 146 = -4*n + 5*l. Let f = -24 - n. Which is smaller: -16/7 or f?
-16/7
Let s be (90/(-40))/((-6)/(-16)). Let y be ((-133)/((-4)/4))/s. Let b = y + 22. Which is smaller: 0.4 or b?
b
Let w = -8 - -16. Suppose x - 3*x = -w. Let v be 12/18 + x/(-6). Are v and 1/11 equal?
False
Let j(q) = -q + 1. Suppose y = 13 + 26. Suppose 11 = -4*l + 4*w + y, 5*w = -25. Let h be j(l). Which is smaller: -2/51 or h?
h
Let u = -9.3 - -1.3. Let h = -9 - u. Is h smaller than -3/2?
False
Let h = -89/6 + 73/3. Let u = h + -10. Which is smaller: 3/2 or u?
u
Let g(a) = a**3 + 4*a**2 - 5*a - 4. Let s be g(-5). Let l be (s + -1)/(2/6). Let h(q) = -5*q - 1. Let f be h(3). Is f < l?
True
Let s = 131 - 130.917. Let u = s + -0.083. Which is smaller: -0.08 or u?
-0.08
Let l be ((-16)/6)/((-1)/3). Let h(w) = w**2 + 5*w + 7. Suppose 0 = -3*q - 73 + 67. Let y be h(q). Which is bigger: y or l?
l
Suppose 5*w - 5 = -0*w, -11 = -3*g + w. Let p be 28/(-20) - g/2. Is p at least -4?
True
Let f(a) = 5*a**2 + 8*a + 83. Let n be f(-6). Which is bigger: n or 211?
n
Let o = 2 - 2.1. Let w = 11.7 + 102.3. Which is greater: w or o?
w
Suppose x + 92 + 56 = 0. Let n(p) = p**2 - 16*p + 21. Let l be n(16). Let t be x/14 + (-9)/l. Is -10 < t?
False
Let d = 79 + -79.44. Let c = -0.64 - d. Which is smaller: -1 or c?
-1
Let d be 4/(-24) - (-647)/(-6). Let t = d + 180. Let n = -147/2 + t. Is n <= -2?
False
Suppose -3*r - 12 = 2*v, 0 = v + v. Let c(n) = -2*n**2 + 4*n - 3. Let d = -16 + 18. Let m be c(d). Do m and r have the same value?
False
Let x = 52 - 54. Let u be x/8*(-80)/50. Are 1 and u equal?
False
Let k = -0.061 - -0.051. Do 0.28 and k have different values?
True
Let l be -14 + (1 - (-1 - -5)). Let r be 6/8 + (-6)/8. Suppose r*d = -2*g - 3*d - 43, -8 = g - 3*d. Is l >= g?
True
Let v = 0.1369 + -0.3779. Is v not equal to 2?
True
Suppose -3 = 2*w - 9, 0 = 2*g - 5*w + 17. Is 2/5 smaller than g?
False
Suppose 0 + 21 = -3*g. Is g > 3?
False
Let z be (19 - 0)*-6*(-5)/(-90). Let h = 0 + -6. Which is bigger: h or z?
h
Let v be 1*-9 - (7 - (-56)/(-8)). Is -1 less than v?
False
Let z(g) = -g**2 - g. Suppose 3*k = 2*k. Let l be z(k). Suppose -3*f + 2*x + 4 + 45 = l, 5*x + 90 = 5*f. Which is bigger: f or 12?
f
Suppose 2 = -2*z - 0. Suppose 2*g - 4*g = -a - 7, -4*a - 5*g + 11 = 0. Let x be -4 + a + (z - 1). Is x > -9?
True
Let x be (4*(-2)/(-98))/(94/329). Do 305 and x have the same value?
False
Let z(i) = -i**3 + 6*i**2 - 28*i + 86. Let p be z(4). Let x be 8/6*(-6)/(-2). Is x smaller than p?
True
Let w = -698 + 698.25. Which is bigger: w or 1/7?
w
Let z = -2693/11 - -245. Let o(q) be the first derivative of q**4/4 + 23*q**3/3 + 21*q**2/2 - 24*q + 23. Let n be o(-22). Is z equal to n?
False
Let v = -434250967/1110 - -391217. Let h = -6/227 - 232/8399. Let m = v - h. Which is greater: 1 or m?
1
Let o = -47.2 + 33.3. Let w = o + 8.9. Which is smaller: w or -1?
w
Let t(p) = -p + 7. Let d be t(3). Suppose -2*w - 4*q = -6, -q = -4*q. Are w and d nonequal?
True
Let y = 16 - 255