)/3 + 4 + 24/(-6). Let g = 45 + -36. Let y = g + -6. Do b and y have the same value?
False
Suppose -81 = -11*y - 21 + 325. Suppose -7*g = -9*g + 64. Which is smaller: g or y?
g
Let x(m) = 5*m**2 - 7 + 7*m - m**2 + 2*m**3 - 3*m - 6*m. Let q be x(-3). Let s = q + -2. Is s smaller than -23?
False
Let t be (-4 - 30/(-18)*3)*2. Let n(o) = -o**2 + 4*o - 3. Let a be n(t). Is a greater than 2/1309?
True
Suppose -2517 = 6*d - 567. Let s = 274 + d. Is -47 at most s?
False
Suppose -2*a - 1944 = 6*a. Let y = a + 364. Which is smaller: y or 120?
120
Suppose -3*a + 36 = 4*r, -16 - 7 = -4*a + 3*r. Let i be 56/a - (-47)/(-3). Do i and -9 have the same value?
False
Let k = 69 + -68. Let t be (-3 + 7 + -2 - k)*-63. Let a be -4 - 7/(t/58). Which is greater: 1 or a?
a
Let u = -70.664 + -0.336. Let v be (-22)/(-44) + -3 + 2. Is v greater than u?
True
Let l = 2910703/122 + -23858. Is -1 smaller than l?
True
Let o = 34 + 3. Suppose 100 = 9*w + o. Let u(q) = 6*q - 41. Let d be u(w). Which is smaller: 3/11 or d?
3/11
Let b be 4/6 + 11568/36. Let p = b + -2900/9. Is p not equal to 2?
True
Let l be -127 + 0 + 0*6/66. Let i = -1463 + 1338. Which is bigger: i or l?
i
Let k = -8566 - -8586. Let g be ((-15)/(-6))/((-3)/(-2)). Is k greater than or equal to g?
True
Let w(c) be the second derivative of 4*c**3/3 + 9*c**2/2 + c. Let n be (-52)/(-4 - 0) + -5. Let f be w(n). Is f < 73?
False
Let y(m) = -32*m + 237. Suppose 4*z + 2*s + 6 = 4*s, -3*z + 5*s = 15. Let k be y(z). Which is smaller: k or -2?
-2
Let t = 1/2056 - -82227/26728. Suppose 0 = g - 5*k - 2, k + 4 = 2*g - 3*k. Is t less than g?
False
Let c = -12.7649 - 0.3351. Is c > 0.8?
False
Let u = 46.42 + -0.62. Let l = u - 46.8. Let c = 0.035 - -22.965. Is l <= c?
True
Suppose 2 = 6*i - 3*i - p, -4*p - 22 = 2*i. Let k be i/3*9/2 - -2. Let l = 0.1 + -0.41. Which is smaller: l or k?
l
Let o(u) = u**3 + 30*u**2 - 46*u - 10. Let z be o(-30). Is 1372 greater than or equal to z?
True
Suppose -356*u = -355*u + 8. Let t be 71/(-213) + u/21. Which is smaller: t or -2/39?
t
Let d = -273 + -16. Let b = d + 263. Which is smaller: b or -21?
b
Let l = 644 + -671.7. Let c = l - -11.8. Let d = c - -16. Is d at least as big as -24?
True
Let r(w) = w + 13. Let y be r(6). Suppose -1 = -4*a + y. Suppose -10*h = -a*h. Which is bigger: 2/7 or h?
2/7
Suppose 2*b = -2, 2 = 2*i - 5*b + 1. Suppose -m = 5*m + 24. Which is smaller: m or i?
m
Let m = -264626 + 264628. Let p = 609 + -301. Which is smaller: p or m?
m
Let b = -2007 + 1872. Which is smaller: -143 or b?
-143
Suppose -5*u - 3*w - 670 + 677 = 0, -4*w + 16 = 0. Does -21/107 = u?
False
Let o(c) = -c**2 - 11*c + 237. Let r be o(11). Let x be ((-4)/12)/(2/38). Which is bigger: x or r?
r
Suppose 4*a = -5*b + 13 - 47, -4*a - 4*b = 32. Let h be (0/6)/(2 + 0). Which is greater: h or a?
h
Suppose -z = -6*z + 180. Let w = -26 + z. Let i be (-73)/(-5) - w/(-25). Is 15 equal to i?
True
Suppose -5*t = -3*b + 4321, 17*t - 14*t = -2*b + 2849. Which is smaller: b or 1430?
1430
Let b = 42126 - 42122. Let t(n) = 11*n**3 - 2*n**2 + 2*n - 1. Let c be t(1). Is c greater than or equal to b?
True
Suppose -18*v + 90 = -3*v. Let h be (-4 + 33/v)/(3/53). Is h > 26?
True
Let x = 46 - 72. Let i be x/65 + (-22)/(-5). Suppose -d = -i*d + 2*g - 70, -6 = -3*g. Which is smaller: d or -23?
-23
Let y be 112/5 + 24/(-60). Let z be 33/2*y/(-33). Let a be ((-6)/(-4))/(z/(-2)). Which is smaller: 1 or a?
a
Let k(t) = -5*t**3 + 3*t**2 - 5*t + 1. Suppose r + 58 = 59. Let d be k(r). Which is bigger: d or -2?
-2
Suppose z + 53 = j + 2*z, 5*j - 265 = -3*z. Let y = j + -36. Let f(i) = 2*i**2 - 34*i - 6. Let u be f(y). Which is greater: u or -2?
-2
Let j = 26 - 20. Suppose 3*a - j*a - 4*f + 18 = 0, 4*f + 18 = 3*a. Let g(l) = -l**3 + 6*l**2 + 5*l - 12. Let r be g(a). Is r less than or equal to 16?
False
Let g = -11.62 - -12. Let p = 1367.72 + -1368. Let y = g + p. Is -19 less than y?
True
Let s = 264 - 153. Suppose 0 = 24*x - s + 39. Which is smaller: 48/11 or x?
x
Let p be 3 + 9 + (-246)/6. Which is smaller: p or -70?
-70
Let g be 242500/(-275) - (4/22 - 0). Which is smaller: -884 or g?
-884
Let f be (-2 - 39) + -1 + -1. Let r(o) = o**3 - 16*o**2 - 13*o - 28. Let b be r(20). Suppose b = -10*x - 22*x. Which is greater: x or f?
x
Let q(r) = -r**2 - 3*r + 3. Let d be q(7). Let s = d - -37. Let f be ((-5)/(-10))/(s/(-4)). Is 1 at most as big as f?
False
Let i be (-78928)/(-408) + (-1)/3. Let j = -193 + i. Suppose 2*w = 3*a - 10, 2*a - w - 5 = 3*a. Is j != a?
True
Let m be (-15210)/(-24 - -6)*-1. Is m greater than -845?
False
Let j = 507.665 - 6.065. Let c = -505 + j. Let q = 1 + -1.1. Is q > c?
True
Suppose 0 = 4*m + x + 4396, 2*x - 190 = 3*m + 3096. Are -1096 and m nonequal?
True
Let w be 16*3 + (53 - 45). Suppose -3*s = 4*r + w, 8*s - 4*r + 40 = 3*s. Which is bigger: -3 or s?
-3
Suppose 5*w + v - 144 - 682 = 0, -5*w = 2*v - 832. Is w at most as big as 166?
True
Let r = -0.1961 - -22.1961. Which is greater: -8 or r?
r
Suppose -63*s - 66 = -57*s. Let f be 2/(-11)*(s + (-2 - -12)). Is f at least 1?
False
Let s = -823.324 - -822. Let b = s + 0.004. Let y = 0.42 + b. Is y greater than -1?
True
Let a = -153800/23 - -6692. Which is smaller: a or 6?
a
Let r(n) = -n - 12. Let o be r(-22). Suppose -6*x + 2*x = 3*j - 140, -5*x + o = 0. Let h = j + -43. Which is greater: h or 2/41?
h
Let h = 11860544/95 + -124849. Is -2 greater than or equal to h?
False
Let i = 285 - 274. Suppose -2*r = w + i, -9 = 3*r + 6. Which is greater: w or 19?
19
Suppose -5*s + 106 = -4*w, 4*s = 5*s - w - 21. Suppose 6*z = -2 - s. Is z at most as big as -5?
False
Let j = -522040433/9121 + 57235. Is j at most as big as -1?
False
Let m be -10*(906/12 + -5). Are -705 and m non-equal?
False
Let w = -475 + 15677/33. Let q = -42 + 42. Does q = w?
False
Let h = 1581493/56 + -28241. Let m be (-3)/((-6)/(-4)) - 0. Which is bigger: h or m?
h
Let v be 4*(-15)/12 - -5. Let z be (-6 + v)*(-5 - 13/(-2)). Is -17 < z?
True
Let g = 62 + 8. Suppose -2*k - k - 5*r + g = 0, -4*k + 4*r + 136 = 0. Let j be ((-2)/k)/(11/6 + -2). Which is smaller: 2 or j?
j
Let m = -29784 + 29784.994. Is -0.08 greater than or equal to m?
False
Let q = 0.97 + -1.423. Let g = q - -0.053. Is g greater than or equal to 11?
False
Suppose -3*x - 11 = -35. Suppose -x = -4*a + 8*a. Let q be (4 - -3 - a) + -3. Are 6 and q non-equal?
False
Let c = -3890 - -3874. Is -23 equal to c?
False
Let y = -0.15699 - 0.04301. Is y less than -248.4?
False
Let o(s) be the second derivative of -s**4/12 + s**3/6 + s**2 - 20*s. Suppose 5*w - 4*w + 5 = 2*k, -4*w = 3*k - 2. Let z be o(w). Which is smaller: z or 2/25?
z
Let s = 264 + -242. Suppose 24*f + 6 = s*f, c + 3*f + 20 = 0. Is -5 greater than or equal to c?
True
Let m = -3 + 5. Let r = -390 - -305.01. Let u = r - -85. Is u <= m?
True
Let o be -2 + (-12 - (1583056/56536)/(-2)). Is 0 bigger than o?
False
Suppose 26*b = -28*b + 5994. Let t = b - 43. Is 69 at most t?
False
Let o = 10.8109 - -0.0491. Let y = o + 1.14. Is y at least as big as 3?
True
Let l be (-2)/((-1*2)/(-12*(-4)/48)). Which is smaller: l or 20/391?
20/391
Suppose 28*z = 852 - 908. Which is smaller: z or -1381?
-1381
Let g be 1904/(-160) - (-15)/18. Do g and -0.1 have the same value?
False
Suppose -1034 = -144*z + 166*z. Which is bigger: -75 or z?
z
Let y = -2244 - -2201. Is y at least as big as -43?
True
Let d(b) = 16*b - 61. Let i be d(4). Suppose g + 6 = 2*x, -x + g + i = -0*g. Which is smaller: 4/25 or x?
4/25
Let f = 1135 - 797. Let g = 338.1 - f. Which is smaller: 107 or g?
g
Let y(m) = -18*m**2 - 3*m - 2. Let r be y(-2). Suppose 75*x + 969 = -4131. Are r and x nonequal?
False
Suppose 5*m = 11*i - 9*i - 2, -3*i - 18 = 3*m. Let l be ((-77)/(-99))/(i/6). Which is bigger: 1/5 or l?
1/5
Let a be -3 + (-10029)/(-675) - -2. Let n = a - 124/9. Which is smaller: n or 1?
n
Let d be (-4)/(-24)*(-870)/550. Let v be -10*(-10)/(-88) + 1. Let r = d + v. Which is smaller: -1/15 or r?
r
Suppose -5*z + 35 = b, -b - 37 = -4*z - 0. Suppose -3*t = -3*g + 9, -g + 3*t = -z + 1. Suppose -4*u = 3*j + 33, 2*u = 4*u + 5*j + 27. Which is smaller: u or g?
u
Let n be (-5442)/9977 - 714/(-220). Let j be ((-2)/(-2))/(1/3). Which is smaller: j or n?
n
Let r = 385.131 - 385. Let w = r - -1.869. Which is smaller: 141 or w?
w
Let l(m) = -904*m + 3931. 