Let r(j) = -j + 3. Let u be r(2). Which is smaller: c or u?
u
Suppose -2919*u - 29133 = -2892*u. Is -1077 <= u?
False
Let c(m) = -3*m**2 - 170*m - 1131. Let o be c(-93). Is o != -11268?
False
Let u be 3*1 + 6 + -8 + -2. Let b be 1507/(-1276) - 5/(-4). Which is smaller: b or u?
u
Let h = 193 - -714. Is h > 907?
False
Let r = 2905 + -3324. Are -1/4 and r unequal?
True
Let j = -1943 + 1943.2. Is -414 less than or equal to j?
True
Let v = -1063 - -1062.9. Which is greater: -0.1387 or v?
v
Let n be 3234/324 + -17 - -7. Which is greater: -4/5 or n?
n
Let x = 56090567/2907 + -19295. Is x at least as big as 1?
False
Let z(a) = 23*a - 73*a - 3 + 24*a + 20*a. Let g(q) = 11*q + 5. Let d(f) = 3*g(f) + 5*z(f). Let m be d(0). Is 4/25 bigger than m?
True
Let q = 5413 - 5024. Which is smaller: q or -7?
-7
Let g = -13570 - -11744. Which is smaller: g or 0.4?
g
Let j = -7.8 - -7.788. Let c = 0.102 - j. Let o = c - -0.646. Is -1/3 >= o?
False
Suppose -5*s - 5*g = -0*g - 115, 3*g = 4*s - 64. Let j = -859/3 + 286. Is s at least as big as j?
True
Let y = 1.669 + -5.997. Which is smaller: -1 or y?
y
Let u(h) be the second derivative of -h**3/3 + h**2/2 - 8*h. Let i be u(3). Suppose 230*a - 232*a = 3*w + 20, -3*a - 49 = -5*w. Is i >= a?
True
Let l = -0.55 - -0.76. Let g = l - 5.81. Let h = g - -11.6. Is h less than or equal to 5?
False
Let c(l) = 1105*l**3 + 1. Let k be c(1). Let w be 1/(7225275/9622100 - (-1 - (-21)/12)). Let o = w - k. Is -1 equal to o?
False
Let g(q) = q**3 + 2*q**2 - 8*q + 725. Let m be g(0). Which is bigger: m or 724?
m
Let f = 3.751 + -3.851. Is f bigger than 0.3766?
False
Suppose -45 = -7*k - 143. Let m(n) = -n**2 - 13*n + 31. Let s be m(k). Is 14 bigger than s?
False
Suppose -38*u = -40*u + 2*m + 478, 2*m - 974 = -4*u. Which is bigger: u or 244?
244
Let g = 686 - 1425/2. Let u = 24 + g. Suppose -b + 4*l + 22 = -4*b, -b = 3*l + 14. Which is bigger: u or b?
b
Let v(r) = -r**2 - 12*r + 15. Let b be v(-14). Let h = b + 49. Is h > 141/4?
True
Let w(q) = -1057*q**2 + 52*q + 50. Let v be w(-1). Does -1058 = v?
False
Let p(y) = y**2 + 5*y + 2. Let b = 50 - -44. Let h = b + -100. Let j be p(h). Is j equal to 9?
False
Let a = 56 + -55. Let x be ((-2)/(-4))/(9/8 - a). Suppose x*t + 5*g - 5 = 0, -4*t + 2*g - 2 = -0*t. Which is smaller: 1/24 or t?
t
Let j(x) = x**2 + x - 2. Let g be j(3). Let o be 4/g - ((-6822)/1845 + 4). Is 1 at least as big as o?
True
Let b(r) = 2*r**2 - 42*r + 9. Let l be b(21). Suppose 4*g - g = 36. Let z = 10 - g. Is l bigger than z?
True
Let q(y) = -y**3 + 5*y**2 + y + 6. Let v be q(5). Suppose 0 = -3*h - 2*a - 78, 4*a - 36 = -9*h + v*h. Are -23 and h equal?
False
Let x(w) = -2*w**2 - 23*w + 21. Suppose 4*u + 0*u + 49 = k, 0 = 3*u + 2*k + 23. Let f be x(u). Is f < 36?
True
Let x = 122.06 + -0.06. Let k = -115.9 + x. Let h = k + -6. Which is smaller: 13 or h?
h
Suppose 2*f = 5*i + 13 + 1, 20 = -5*i. Let r be 6*(f/(-6) + -2). Let v(m) = -m**3 - 10*m**2 - 7*m + 13. Let u be v(r). Which is smaller: u or -6?
-6
Let o be 4/(-22) - 532/(-22). Let v be 12 - 807/o - 1/(-8). Which is bigger: v or -23?
v
Let m(o) = 4*o**2 - 3*o - 8. Let g be m(4). Let h be g/(-11)*(-2)/(-10)*-25. Let q(z) = z**2 - 21*z + 6. Let j be q(h). Which is bigger: -13 or j?
-13
Let y = 407.4 + 70.6. Let r = 97 - y. Is 2/3 > r?
True
Let k(c) = c**2 - 5*c + 1. Let t be k(6). Suppose n = 2*d - t, 3*d + 4*n - 5 = -0*n. Suppose -3*x = -b - 17, 478*b + 8 = 2*x + 474*b. Which is smaller: x or d?
d
Suppose -9*o - 25 - 20 = 0. Let n be (6/o)/(((-120)/75)/(-4)). Which is bigger: -10/3 or n?
n
Let g = 9730/33987 - -3246089/116915280. Let i = g - 1/645. Suppose 0 = 3*o - 3. Is o at most as big as i?
False
Let o = 260 - 263. Let k = -206 - -3508/17. Which is bigger: k or o?
k
Let y(f) = -14*f**2 - 6*f - 15. Let h be y(-2). Let n = 65 + h. Do n and 57/8 have different values?
True
Suppose -3*w + p = 2*p + 227, 2*p - 296 = 4*w. Let h be 1 - w/160*(-12)/9. Let a be (3 - 2)*(0 + 0). Which is smaller: a or h?
a
Suppose 5*s - 173 - 37 = 0. Let c be s/(-15) + (-1)/5. Let g be -2*(c + 21/6). Which is smaller: g or 1/13?
g
Let p = 17686 + -548262/31. Let s = 2 - -1. Let d be s/(-1) + 2 + 0. Is p at most as big as d?
False
Let l be (-1)/((-7)/(-343)) + -5. Let i be (l/(-4) - 3)*(-3)/(-14). Which is smaller: i or 1?
1
Let y = -340 - -342. Suppose -10 = -2*b, 3*f + 7*b = -y*f + 40. Which is bigger: 170 or f?
170
Suppose -3*t - 91 = -85, 2*h + 4*t = -10. Suppose -3*n + 8*n + 16 = -3*i, 4*n = -8. Let j be (-4)/(-2)*i/14. Is j not equal to h?
True
Let u(r) = -5*r**2 - 194*r + 1170. Let q be u(-43). Which is greater: q or 1/5?
q
Let o(u) = 2*u**3 - 8*u**2 + 2*u + 12. Let k(q) = -5*q**3 + 24*q**2 - 5*q - 34. Let t(a) = 3*k(a) + 8*o(a). Let x be t(-6). Is x less than -1?
False
Let c be (0/(-61))/(4/2). Suppose -21 = -5*l - 3*s - 9, -3*l - s + 4 = c. Which is smaller: l or -3/86?
-3/86
Suppose -6*v + 5 = 2*c - 5*v, 5*c - 4*v - 6 = 0. Let j = -8 - -12. Which is greater: j or c?
j
Let f = 617 - 1005. Let o = f + 391. Is o at least 33?
False
Let j be (1/(1 - 0))/((-7)/(-91)). Suppose 98 = -6*z + j*z. Which is smaller: 15 or z?
z
Let q(o) = -2*o**2 + 175*o + 87. Let j be q(88). Is j greater than 8/121?
False
Let m be 41653/(-460) - (-3)/(-15). Which is greater: m or -92?
m
Let b(s) = 4*s - 50. Let m(d) = -d**3 - 2*d**2 + 6*d + 3. Let u be m(-4). Let g be b(u). Let a be (-18)/220*(126/27 + g). Which is greater: a or 0?
a
Let o = -2.944 + 2.944. Which is smaller: 0.088 or o?
o
Let t = -160 - -206. Let d = t - 46. Is d < 18?
True
Let u = -5/3 + 47/21. Let h = -24 + 24.2. Let g = h + -0.3. Which is bigger: u or g?
u
Let p be (-1 + 9 - -7364)/2. Is 3685 at least p?
False
Let s be (2/176)/((-99)/127710). Is -16 less than or equal to s?
True
Let y be (-15)/18 - 1/3. Suppose k - c + 258 = -0*c, 16 = 4*c. Let l = -256 - k. Is y greater than l?
True
Suppose -a - 5*a = 24. Let c(q) = q + 2. Let b be c(8). Suppose -6*i - b = 2. Which is smaller: a or i?
a
Suppose 19408 = -122*u - 17070. Which is greater: -300 or u?
u
Let w be (-3 + 4)*(-858)/2046. Is w > 1?
False
Let j be (-556)/3*(-72)/48. Let f be 564/j - (24/(-4) - -8). Is f less than -1?
False
Suppose 64*o + 417 = 289. Are -81/73 and o non-equal?
True
Let z be (-2)/3 - (-17287854)/4536. Let o = -15249/4 + z. Let a = o + -1/189. Is -1 > a?
True
Let w = 75 - 75. Let i = -19 - 41. Which is greater: i or w?
w
Let j = -51765 + 51385.886. Let h = 379 + j. Is h less than 3?
True
Let u(s) = -378147*s + 9. Let r be u(-6). Let m = r + -387975629/171. Let k = m + -250/9. Which is smaller: 0 or k?
k
Let j(q) = -8*q + 61. Let b(o) = 7*o - o + 6*o - 15 - 10*o. Let y(z) = -9*b(z) - 2*j(z). Let c be y(6). Do c and -1/53 have the same value?
False
Let w be 9/(-3) - 3/(-6)*6. Suppose w = 2*c, 2*c - 208 = -4*y - 0*c. Let x = y + -51. Is x >= 2/71?
True
Let z = -3476237304 + 72976883746/21. Let w = z - -1147015. Let j = 587 + w. Is j less than -1?
False
Let z(m) = -4*m**2 + 65*m - 254. Let v be z(10). Which is smaller: -143 or v?
-143
Let a(q) = -q**2 - 8*q - 7. Let k be a(-8). Suppose 38*w - 15*w = -230. Is k greater than or equal to w?
True
Let n = 12633 + -138509/11. Which is bigger: 42 or n?
42
Suppose 3*y = -4*k - 24, -6 = -2*k + 3*k + 3*y. Let w be ((-4)/5)/(13/(17355/k)). Let s = 6229/35 - w. Is s less than -1?
False
Let g be (-23)/(4347/(-42)) + 2 + (-4352)/2574. Which is smaller: 1 or g?
g
Let p = -777/5 + 2953/20. Let k = 90050 + -90048. Is k not equal to p?
True
Let y be (-84)/14*20/(-8). Suppose -y = 4*a - 5*s, a + 7 = -5*s + 22. Let i be 4/18*(-4)/12. Is a greater than or equal to i?
True
Let t = -344 - -343.645. Let r = t + 0.755. Is r < -0.2?
False
Let b = 93796.7 + -93805.7. Let x = 0.16 + -0.1. Which is bigger: b or x?
x
Let u(q) = 2*q**2 + 4*q + 3. Let f be u(-1). Suppose -5*g - v + f = 0, -3*g - 2*g + 21 = -4*v. Suppose 3*d + 3*n = -2*n - 2, n - g = -2*d. Is d greater than -5?
True
Suppose -120 = 5*f - 0*f. Let k(x) = -5*x - 240. Let c be k(-43). Which is smaller: f or c?
c
Let s = -34.51 - 96.49. Which is bigger: s or 3/17?
3/17
Let y(z) = z**3 + 13*z**2 - 19*z - 37. Let v be y(-12). Let u = 246 - v. Is -89 greater than u?
False
Let u be -2 + (3 - 2) - -75. Suppose 5*x = 4*x + u. Suppose -2*m + 2*y = -8*m + 446, -5*y = -5*m + 345. Which is bigger: x or m?
