. Let k be m(-3). Let i = -231 - k. Which is bigger: 24 or i?
i
Let z be (8/(-36))/(-1) - (-1437)/(-27). Let b = -10 - z. Suppose -b = -6*u + 5. Are 7 and u non-equal?
True
Let s(r) = 22*r**3 - 2*r**2 + 22*r + 13. Let h be s(-5). Is -2897 at least as big as h?
True
Let q(f) = -f**3 + 6*f**2 + 20*f - 105. Let g be q(5). Which is greater: 70 or g?
70
Let k = -7.667 + -0.333. Which is bigger: 0.144 or k?
0.144
Suppose -18*c + 9949 = 2*c - 72791. Is c bigger than 4136?
True
Let n = -13235/4 + 13229/4. Suppose -r - 62 = r + 3*y, -131 = 3*r - 5*y. Which is smaller: r or n?
r
Let q = 47834 + -2391959/50. Let s = q - -162/25. Is s <= 2/7?
False
Let y = 1605 - 6421/4. Let a = -664.94 - -671. Let z = a - 6. Do z and y have the same value?
False
Let x = -277.064 - -277. Let k = -0.264 - x. Is k less than -12/7?
False
Let f(m) = m**3 + 38*m**2 + 41*m + 793. Let n be f(-25). Which is bigger: n or 7892?
n
Let s = -27193 - -27340. Which is smaller: -1 or s?
-1
Let w = -442.2098 + 0.2098. Which is smaller: w or 0.02?
w
Suppose 0 = -0*l - l + 125. Let t = 320204 + -320203. Is t >= l?
False
Let y(c) = 4*c + 10. Let u be y(4). Let k be (-1 - 0)*(-24 + 21). Suppose 0 = -2*n - 5*r - 0*r + 37, 0 = -3*n - k*r + 69. Is n > u?
False
Let o(z) be the first derivative of 2*z**3/3 + 13*z**2/2 - 5*z - 13. Let j be o(-9). Let p be 1/(-5)*j/48. Is -1 not equal to p?
True
Let h = -78.68 - -70.78. Suppose -5*j + 43 = -0*n + 3*n, 2*j = 10. Let f be 2/(-6) + n/9. Is f != h?
True
Let b = -15274 + 15275. Suppose y + 0*y = 2. Suppose 0 = 3*j + 3, -y*m + j - 9 = 4*j. Which is smaller: m or b?
m
Let x be 38/4 + -4 - 7/14. Suppose x = -6*k - 37. Is -2 bigger than k?
True
Let i(j) be the second derivative of -j**5/20 + j**4/6 + 7*j**3/6 - 4*j**2 - 25*j. Let l be i(3). Let f be ((-16)/(-4))/2*(-2)/l. Is -5 > f?
False
Suppose 35*v + 23*v = 51*v + 322. Which is bigger: -2 or v?
v
Let m be (2/(-8) - (-315141)/(-540))/(2040/(-23040)). Suppose -5*a + 19782 = -2*a. Let c = m - a. Is -1 bigger than c?
False
Let d = 5.94689 + 0.05311. Let l = 0.14 + -0.23. Is d not equal to l?
True
Suppose 0 = 429*j + 31*j - 5520. Is j at least as big as -128?
True
Suppose -607*u + 888 = -610*u. Let m = 1183/4 + u. Are m and -11.2 unequal?
True
Let h(j) = -j**2 - 3*j + 3. Suppose 3*y - 3 = -9. Let w be h(y). Suppose 2*z = 5*b + 33, 2*b - 4*b = w*z - 10. Are 23/5 and z nonequal?
True
Let l = 184 - 79. Let u = -107 + l. Which is smaller: u or 2/27?
u
Let r = -296/15 - -58/3. Suppose 13*k + 139*k - 9239 = 6113. Which is smaller: r or k?
r
Let d(v) = v**3 + v**2 + 4*v. Let w be d(-3). Let b be 1*(-1 + 0) - w. Suppose -3*p + 5*j - b = -p, 5*p - 2*j + 20 = 0. Which is smaller: -18/7 or p?
-18/7
Let w be (-47)/18*-2 - (-34)/(-153). Suppose -33*a + 28 = -w. Which is smaller: a or 12/23?
12/23
Let l = 9444/7 + -1349. Which is smaller: 0.122 or l?
0.122
Let c = -2.0484 - -0.0484. Do c and -8.17 have different values?
True
Let q be (-584298)/(-30) - ((-2)/10)/((-14)/(-28)). Are q and 19477 unequal?
False
Suppose 0 = -4*s - 0*z - 3*z + 61, 0 = s - 4*z - 1. Let j = 16 - s. Let q(b) = -b**2 + 4*b - 2. Let f be q(j). Is 2/13 < f?
True
Let o be (1530/270)/(1/2238). Is o at most 12682?
True
Let f be -1*1 - (0 - -2). Let p be (20 + -16)*(-210)/264. Is p smaller than f?
True
Let v be (6428/(-16) + -3)*12/(-9). Which is smaller: v or 539?
539
Let m = 19591 - 17687. Are 0.03 and m nonequal?
True
Suppose -63*z - 340 = -73*z. Suppose -3*i - z = 31*i. Which is greater: 168 or i?
168
Let m = 113.24 + 13.06. Let o = -125 + m. Which is bigger: 0.5 or o?
o
Let c = 21353 - 21352.93763. Which is bigger: 2/5 or c?
2/5
Suppose 0 = 22*s + 20*s - 52845 - 44175. Which is smaller: s or 2311?
s
Let d be (-2 - (-5)/2)/(4/16). Let l be d*(56/21 - 3). Which is smaller: l or -1.73?
-1.73
Let g(b) = b**3 - 4*b**2 - 95*b + 381. Let h be g(4). Is h smaller than -45/148?
False
Let d be 1/(-2)*(2 + 0). Let i(n) = -n**2 - 12*n - 31. Let g be i(-7). Let c be 1*(16/(-52))/g*5. Is c greater than d?
True
Let f be ((-6)/15*-6)/((-20)/(-50)). Suppose -4*k = -3*d - 301, -305 = 3*d + k - f*k. Is -95 at most d?
True
Let p = -0.07422 + 0.37422. Is 1343 greater than or equal to p?
True
Let c = 77 - 75. Let f be 447895/(-670) - (1/c + -1). Are f and -667 nonequal?
True
Suppose -2*r + 3*i + 126 = 6*i, 0 = -r + 2*i + 77. Let h = 4403 + -4333. Which is smaller: h or r?
r
Suppose b + 1 = -0. Let l = 7261/12395 - 78/185. Which is greater: l or b?
l
Let s = 3832 + -302726/79. Let n(w) = w**2 - 9*w + 7. Suppose l - 4*m = -4*l + 60, 0 = 5*l + 5*m - 15. Let f be n(l). Is f greater than s?
False
Suppose 7*i - 45 = 4. Let k be (-12)/4 + i - 0. Suppose -k + 13 = 3*s. Which is bigger: s or 19/5?
19/5
Let j = 7912 + -7912.4. Is -1155 at most as big as j?
True
Let v = -21 - -60. Let w = v - 6. Let r = 32.6 - w. Which is smaller: r or -0.2?
r
Suppose 3*v = 2*q - 10783, -5*q + 0*v = -3*v - 26980. Which is smaller: 5398 or q?
5398
Suppose -5*o + 2 = 2*p - 0, 0 = 4*o - 3*p - 20. Suppose 2*y = 4*y + o*y. Suppose y = -g + j + 42, 4*j - 166 = -3*g - j. Which is greater: 46 or g?
g
Let u = 423 - 426. Let z be 40/(-12)*(48/10 + u). Is z < 20?
True
Suppose 0*x - 4*m + 28 = -x, m = -4*x - 27. Let s be (-168)/(-1820)*(-1 + (-38)/x). Is s equal to -1?
False
Let g be (-75)/(-7) - (-8)/28. Let u = g + -21/2. Let a(n) = -15*n - 345. Let p be a(-23). Is u not equal to p?
True
Let w = -277.9 + 302.9. Is w less than 13?
False
Let y be -1*3*2/(-3). Suppose -2*j + 3*w + 56 = 0, -j = -0*w - 3*w - 34. Suppose y*k + j = -3*a, k - 5*a - 11 = -a. Do -4 and k have the same value?
False
Let w = -77 - -82. Suppose -2*r - 14 = w*a, -3*r + 1 = 5*a - 3*a. Let x be (26/(-15) - r) + 5. Which is bigger: x or 1?
1
Suppose 0 = 38*u + 96228 + 5308. Are u and -2672 nonequal?
False
Suppose 0*r - 3*r = 192. Suppose 4*u = -19*k + 20*k + 19, -2*k + u - 115 = 0. Is r at most k?
True
Let o(v) = 8*v - 30. Let h be o(4). Let y be (h + -10)*(-3)/6. Let r be 3 - ((-9)/36 - (-13)/y). Which is smaller: r or 2?
r
Suppose -4*g + 53*c - 58*c - 6465 = 0, 0 = -2*g - 5*c - 3245. Which is bigger: g or -1612?
g
Suppose -2*u = -0*u + 2*g + 2, u + 5*g = -1. Is 2/3845 greater than u?
True
Suppose 0 = 15*b - 6*b - w + 5, -2*w + 10 = 5*b. Let v be ((-5)/(-14))/(2 - 1). Which is greater: b or v?
v
Suppose 0 = -104*q + 272*q. Which is smaller: q or -2/14797?
-2/14797
Let q = -19120155/10568 + 1/10568. Which is greater: -1808 or q?
-1808
Let q = -11559/4 + 2890. Is q less than 0.9422?
True
Let f be (-18)/(-153) - (-1420)/68. Suppose 3*h + 25*n - f*n = -51, 3*h + 24 = 5*n. Which is smaller: h or -15?
-15
Let j = -35.6 - 113.4. Let q = -150 - j. Is 23 > q?
True
Let z be 14850/72 - (2 - (-33)/(-12)). Let n be 658/49*63/z. Which is greater: n or 5?
5
Suppose -352*m + 314*m + 247368 = -193090. Which is bigger: m or 11590?
m
Let k = -157 + 244. Let d = k - 154. Let i = d - -60.4. Is i less than or equal to -1?
True
Let o = -7 - -17. Let i be -27 - (-27 - (-30)/(-15)). Which is bigger: o or i?
o
Let z be (-1188)/(-1296) + (0 - 1) + -8*(-1864)/3840. Let p = 1 + -5. Let k = p + 9. Which is smaller: z or k?
z
Suppose -27 = 7*a - 41. Suppose -5*h - 216 = -4*q, a*q + 46 = -13*h + 12*h. Which is greater: -45 or h?
h
Let h = -833 + 489. Let o = h - -262. Which is greater: -83 or o?
o
Let l(x) = -3*x - 49. Let q be l(-15). Let g be 6/(q - (14/(-2) + 4)). Let d be 4/6 - g/18. Which is greater: d or 16?
16
Let n be (0*20/(-180))/(-2 + -1). Which is greater: n or 44?
44
Let z = 3170 - 3170.5. Is z equal to -0.238?
False
Suppose 53 = -h - 5*r, 2*h + 4*r - 11 = -123. Let l = h + 80. Suppose 0*a + a + 2 = 2*s, -4*a + s = l. Which is smaller: -8 or a?
-8
Suppose -6*k - 70 = 8. Suppose -4*g = 2*u + 30 + 6, 0 = -3*g - 5*u - 41. Let p be g*(-6)/(72/(-20)). Which is smaller: p or k?
k
Suppose -29*z + 43*z - 238 = 0. Suppose -z*s - 1534 = -276. Is -76 != s?
True
Let m be ((-438)/1090)/((-4)/20) - (-15 - -17). Suppose 5*q + 27 = -2*y, 2*y - 4*q - 23 = 5*y. Is m smaller than y?
False
Suppose -l + 2*c + 93 = 4*l, 3*c = 2*l - 35. Suppose 4*q = b - 5, l*b = 23*b - 4*q - 32. Is 9 greater than b?
False
Let l = -243 - -244. Let u be -6 - 57/(-6) - l/(-2). Which is bigger: u or 0.04?
u
Let y(z) = -4*z + 20. Let x be y(10). Let v(k) = 2*k - 2. Let r be v(-8). Let o = x - r. Is o g