 9978.3 + -9979. Let n = -0.01 + -0.29. Which is smaller: n or u?
u
Let b = -29 - -24. Let n be (-2)/4*4/b*-15. Which is bigger: n or -7?
n
Let h be (-3)/12 - (-141)/4. Suppose -10*m + 11*m = h. Let y be 10/m + (-52)/(-14). Which is smaller: y or 7?
y
Let l = -33.1 + -7.9. Let q = 29.028 + -0.028. Let a = q + l. Which is greater: a or 1?
1
Let g = -292 - -672. Let b be 1/3 + g/(-150). Let u = 7/5 + b. Is u < -1?
False
Let z = -9 + 6. Let y be ((-1)/z)/(-3 + 0). Which is smaller: 0 or y?
y
Suppose 6*a - 475 + 37 = 0. Is 73 != a?
False
Let d = 69 + -37. Let i = d + -31.94. Is i less than 1?
True
Let p(y) = y**2 + 8*y + 9. Let g be p(-7). Suppose -g*f = -2*j + 8, j + 1 = 3*f + 15. Let s be (j/(-5))/(12/24). Which is greater: s or -10?
s
Suppose 0 = s - 2*s + 106. Let g = 73 - s. Let p = g - -32. Is p < 3?
True
Let g(v) = -v - 11. Let i be g(-9). Let s be (i/16)/(10 - 9). Let r = s - 5/24. Which is smaller: 5 or r?
r
Let o = 1.81 + -111.81. Are -1 and o unequal?
True
Let m be -2*17/(-34)*1/(-5). Let q = 0.5 - -2.5. Let b = q - 3. Does b = m?
False
Let b = -51/205 + 37461/2255. Let g = b - 1238/77. Let y be (-6 + 9)*(-2)/(-6). Is y equal to g?
False
Suppose 4*f + 113 - 281 = 0. Let k = -42 + f. Which is smaller: 27 or k?
k
Let t(i) = 31*i - 872. Let z be t(48). Which is smaller: 617 or z?
z
Let t(k) = -k**3 + 2*k**2 - k + 2. Let g be t(3). Let s be (-4 + 3 - g)/1. Let m = 7 - s. Which is smaller: m or 2/11?
m
Let k(f) = f**2 - 4*f - 3. Let h be k(3). Let s be -3 + 4 - (2 - 48/(-1)). Let x = 46 + s. Is h at least as big as x?
False
Let j = -8 - -8.3. Suppose o + g = -2 - 6, 0 = -3*o - g - 26. Is o at most j?
True
Let f be 822/(-170) + 54/90. Is -4 < f?
False
Let o be 48/(-3) - 2/1. Suppose 5*a = -5*z - 70, -17*z = -18*z + 4. Is a < o?
False
Let c = -26 + 44. Let f be (-24)/c*6/(-4). Let l be 15*(-2)/f - 0. Is l equal to -15?
True
Let x(o) = -3*o - 3. Let g be x(-5). Let j = -6 + 19. Which is bigger: j or g?
j
Let c be (3 - (-100)/(-104)*3)*42. Is c equal to 4?
False
Let b = -1534 - -24529/16. Which is smaller: 0 or b?
b
Let l(z) = -3*z - 57. Let x be l(-19). Let v be (0 - 2 - (x - 6)) + -3. Does v = 5/24?
False
Suppose 60*y - 69*y = 9. Let j = 32 + -32.23. Which is smaller: j or y?
y
Let g = -874 - -930. Is g greater than 53?
True
Let v = -20.9 - 2.1. Which is smaller: -0.14 or v?
v
Suppose -8*w + 9*w = 12. Let z be ((-32)/w - -4)*3. Suppose -z*c = -9*c. Which is bigger: c or -1/7?
c
Let c be (23/(-2))/(1/(-2)). Suppose -4*y = 15 - c. Suppose y*j = j - 2. Which is smaller: -1 or j?
j
Let w(b) = -7*b**2 + 32*b - 69. Let z be w(2). Is z < -31?
True
Let m be (297984/40)/(-12) - 3/15. Is m at most -622?
False
Let n = 304 - 318.9. Let z = n - -14.8. Let w(q) = -q + 1. Let i be w(-4). Which is smaller: z or i?
z
Let d(u) = -u**2 + 7*u + 7. Suppose -18 = -i - 10. Let g be d(i). Which is smaller: g or 2/33?
g
Let l(d) = -3*d**2 - 19*d + 11. Let s(m) = 2*m**2 + 10*m - 6. Let z(r) = -3*l(r) - 5*s(r). Let q be z(8). Which is smaller: 0.2 or q?
q
Let d = -2.176 + 0.176. Is d >= -1.3?
False
Suppose -7*x = -16 + 2. Let c be (-15)/10 - (-7)/x. Which is smaller: 0 or c?
0
Let k be (9/((-36)/8))/(-2). Let z be 140/(-45) - k/(-9). Which is smaller: 3 or z?
z
Let v be -2 + 3 - 126/122. Let w = 99 + -62. Let r = -38 + w. Is r >= v?
False
Suppose 21*z = -16 + 100. Let o be 5*(18/10 + -1). Are z and o equal?
True
Let n(y) = -45*y + 29*y + 23*y - 2 - 66. Let b be n(-5). Which is greater: -104 or b?
b
Let o(m) be the first derivative of m**3/3 + 3*m**2 + 2*m + 5. Let s be o(-4). Let u(v) = -v**3 - 7*v**2 - 6*v + 1. Let j be u(s). Which is bigger: -1/7 or j?
j
Let p = 0.0465 - 2.0465. Which is bigger: -9/118 or p?
-9/118
Let y(l) = 1 + 0 - 8 - 3*l + 2*l. Let w be y(-8). Let f be 15/51*2/5. Do f and w have the same value?
False
Let z = 216/5 + -43. Is z at least as big as -11?
True
Let d = -11 - -10. Let n be d/((4 - 0)/8). Let j = 1.6 - 0.6. Which is greater: n or j?
j
Let o = 2 + 3. Let d = -1 + o. Suppose l - 5 = -g, 5*l - d*g = -2 - 9. Is l less than 1/6?
False
Let m be 50/30*(-12)/(-20). Is 2/215 at most m?
True
Let h(y) = 4*y + 21. Let t be h(-5). Let j = -4 - t. Are -5 and j unequal?
False
Let i(v) = v + 2. Suppose 0 = -4*c + 8 + 12. Suppose y = 5*f + 23, y + 17 + 0 = -c*f. Let w be i(f). Is w != -3?
True
Let b = 39.6 - 39. Let i = 12 - 11.8. Is i smaller than b?
True
Let i be 3/(-12)*(-20)/8. Let n(m) = m**2 - 7*m. Let o be n(6). Let j be 2*(-3)/o*2. Which is greater: j or i?
j
Suppose -31*i = -29*i + 8. Let c be (1038/259)/(-1) - i. Which is smaller: c or 0?
c
Suppose 14*f - 9 = 23*f. Which is smaller: -16 or f?
-16
Let y = 3 + -10. Let n = -6.85 - y. Let j = 2.15 - n. Which is greater: j or -0.1?
j
Let k = 36 - 36. Let a = 3 - k. Is a less than 0?
False
Let z be (-1 + 0)/(11/(-22)). Suppose -12 + 44 = -z*v. Let k be (-3)/((-4)/v*3). Does k = -3?
False
Let q = 6 + -40. Let k be (-2 - 0) + -19 + 813. Let x be ((-2)/(-6))/((-8)/k). Is q greater than x?
False
Let h = 177 - 286. Which is bigger: -108 or h?
-108
Let x = 883/4 + -221. Let n = 9 - 4. Which is smaller: x or n?
x
Suppose 5*g - 1530 = 5*t, -g - 312 = -2*g - t. Which is smaller: 308 or g?
308
Suppose -15511 = -18*m + 2597. Is 1005 greater than m?
False
Suppose -3*u + 3*i - 2*i = -1, 3*u - 9 = 3*i. Let l be 0/(u - 2/(-1)). Suppose -4*b - 8 + l = 0. Which is smaller: b or -4/5?
b
Let j be (-10)/14 - 140/490. Which is smaller: -1/318 or j?
j
Suppose 65 = 2*f + 3*f. Let h = f - 13. Which is smaller: 5/6 or h?
h
Let v = 14/15 + -4/3. Let q = 5.2 - 10. Let b = 4.8 + q. Is b equal to v?
False
Let j = 178 - 1576/9. Is -1/2 <= j?
True
Suppose 5*j = -3*c - 148, -2*c - 97 = 2*j + 3*j. Let o be (-10)/(-15) + 40/c. Which is smaller: o or -1?
-1
Let w = -536 - -537. Which is bigger: -236 or w?
w
Let i be (-1)/(-8)*4/17. Let a(o) = -o**2 + 11*o + 12. Let l be a(12). Suppose 5*x - 4*x = l. Is i bigger than x?
True
Let y = 0.33 - -25.67. Let p = y + -25. Let x = 0.6 - p. Is -2/5 less than or equal to x?
True
Suppose 7 = 2*t - 5. Suppose t = p - 7*p. Let z be (-2)/6*9/6. Which is smaller: p or z?
p
Let t = -29760 + 29772. Let f = 30/11 - 79/33. Which is greater: f or t?
t
Let x(o) be the first derivative of 3*o**2/2 - 15*o - 11. Let j be x(7). Suppose 3*n - 12 = j. Which is greater: n or 13/2?
13/2
Suppose 0 = -19*i + i. Which is smaller: -5/87 or i?
-5/87
Let o = -22 - -26. Suppose 2*b + o + 8 = 0. Let r(p) = -p - 6. Let g be r(b). Which is greater: g or 2/15?
2/15
Let f = 416 - 416. Let z be 1/((-1)/((-1)/(-13))). Which is greater: z or f?
f
Let u = -0.19 - 1.01. Let i = -0.2 - u. Let c = -1.5 + i. Are 2 and c unequal?
True
Let y = -58/19 + 212/57. Which is smaller: -2/121 or y?
-2/121
Suppose -34 + 2 = -8*q. Suppose -q*d + 1 = -11. Which is greater: d or 0.1?
d
Suppose -h + 20*h + 3363 = 0. Is h bigger than -177?
False
Let b(r) = -2*r**3 + 52*r**2 - 46*r - 59. Let h be b(25). Let s = 3 - -40. Which is smaller: h or s?
h
Suppose 21 = 2*q + 3. Let c = q + -8. Which is greater: c or -2/23?
c
Let i(t) = -t + 3. Let s be i(3). Let r be 13/(-80) + (-5 - (-255)/50). Do r and s have the same value?
False
Suppose -4*s + 3 = -9. Suppose s*q - 10 = 17. Which is bigger: 10 or q?
10
Suppose 0 = y + 3*f - 0 + 16, 5*f = -4*y - 29. Let d be 1/((-3)/12*1). Which is smaller: d or y?
d
Let g = 316 - 331. Which is greater: -14 or g?
-14
Let p be (-2)/3 + -1*1. Let m = 5/6 + p. Let c(n) = -49*n - 492. Let o be c(-10). Which is bigger: m or o?
m
Let q be (-1 + 3)*2 - (27 - 23). Is q at least -1/31?
True
Let a = -6/1873 - 4263/423298. Is a < 0?
True
Let n = -287 - -288.1. Is n greater than 28?
False
Let x = 18 + -18. Let j be 2/(-5) - (-635)/(-350). Let f = 15/7 + j. Which is greater: f or x?
x
Let s be (5/(-3))/((-2)/6). Suppose -4*h - 12 = 4*c, -s*h = c + 28 - 9. Let m = 31244 - 499903/16. Is c < m?
False
Let o = 160 + -138. Let j be (2 + -3 - -18)*-1. Let c = o + j. Is 8 bigger than c?
True
Let a = 0.1 - 0.1. Let j = 0 - a. Suppose 0*p + 11 = -5*b - 2*p, -9 = -3*b + 4*p. Which is smaller: j or b?
b
Suppose 5*c + 0*y = 5*y - 20, -3*y = -9. Let v be 36/27 - c/(-3). Let k = 0.8 - -0.2. Is k at most as big as v?
True
Suppose b - 32 = -45. Let g = b - -11. Let z(n) = -4*n**3 + 2*n - 1. Let w be z(1). Which is greater: g or w?
g
Let w be (-1)/(-