21?
False
Let p = 0.4 + 0. Let g = p + -0.395. Let x = -943 - -943. Which is bigger: x or g?
g
Let f be 10/8*(119 - -1*1). Let v(r) = -14*r + 10. Let j be v(-10). Is f at most as big as j?
True
Suppose 9*t - 10113 - 5217 = -12*t. Which is smaller: 2925/4 or t?
t
Let o = 259897746 - 1223858464602/4709. Let v = o + -77/17. Let r = v - -839/2216. Is r <= -1?
False
Let s be -1 + 1 - (-24)/48. Let n = -0.00751 + 24.07751. Let m = 24 - n. Does m = s?
False
Suppose 0 = 96*n - 105*n + 990. Suppose -n*l + 107*l = -1053. Is 351 at most l?
True
Let k = 58 + -61. Let p be (k - -5)*5/10. Which is greater: p or 4/97?
p
Let w = -5985 + 5983. Let v be (-11)/(-9) + (-6)/27. Let q = v + -2. Which is smaller: q or w?
w
Let z(v) = 22*v + 355. Let i(h) = -7*h - 118. Let t(r) = -11*i(r) - 4*z(r). Let d be t(-11). Is d less than -1/143?
True
Let k = -36643/2651 - -1/241. Which is smaller: k or -14?
-14
Suppose 5*f - 29 = -n, f - 17 = -4*f + 2*n. Suppose f*h = 3*h + 1086. Let w = h + -2724/5. Is -1 equal to w?
False
Let i = -26 - -26. Suppose i = 2*a + 8 - 16. Suppose 6*l = 10*l + 25*l. Are l and a equal?
False
Suppose 585 = -c + 16*c. Suppose -88*k + 2007 = -1425. Is k at least as big as c?
True
Let y(l) = -l - 66. Let n be y(0). Let f be n/10 + (-8)/20. Let g = 77959 - 77967. Which is smaller: f or g?
g
Let c = -4134 + 144679/35. Let y = c + 3/5. Suppose 5*s + 30 = -5*t, 34 = s - t + 30. Which is bigger: s or y?
y
Let s = 25989/35 - 5209/7. Is 1.768 greater than s?
True
Suppose 15 + 50 = a - t, 5*t = 4*a - 266. Is a not equal to 418/7?
True
Let j = 5158 - 5689. Do j and -3720/7 have the same value?
False
Let q = 2616.1 - 2616. Does -0.6691 = q?
False
Let j = 14991 + -209143/14. Which is smaller: 52 or j?
52
Suppose 5004*a + 65 = 4939*a. Is a at least 4/1665?
False
Let l(c) = -21*c**2 - 126*c. Let i be l(-6). Which is greater: i or 9/2491?
9/2491
Suppose -735 = -6*f - 15*f. Let l = f + -874/25. Is -1 at least l?
False
Let k be 212/(-6) - 2*(-2)/12. Let o = -26 - -16. Let w be o/k + 93/(-7). Which is bigger: w or -12?
-12
Let r = 125 + -42. Let s be 1/((-5)/2025*-5). Which is smaller: s or r?
s
Let q be 4/3 - 6/(-9). Let o be (-3 - 18/(-12))*(-134)/3. Let t = o + -64. Which is smaller: t or q?
q
Let r be (-1794)/12 - (-2 + (-14)/(-4)). Let b = -152 - r. Let n = -64 + 371/6. Which is bigger: n or b?
b
Suppose 0*b - 7 = -2*y + 3*b, y - 2 = 2*b. Let h be 12/(-3) + (-1)/y*-34. Which is smaller: h or 1/2?
h
Let m = 0.6756 + 96.3244. Is m less than -2/13?
False
Let c(j) = 10*j - 20. Let d(y) = -2*y**2 - 11*y - 10. Let m be d(-4). Let v be c(m). Let p be (-1 + v)/((-11)/(-11)). Which is smaller: p or -5/19?
p
Let c = -0.045 + -5.155. Let h = 4.8 + c. Let n = 0.1 + h. Which is smaller: n or -3?
-3
Suppose -3*i + 1258 - 124 = 0. Let x = -355 + i. Are x and 23 non-equal?
False
Let j be 12/(-3)*10/(-4). Let t = 43751 - 43743. Is j less than t?
False
Let s = 104.9 - 16.9. Let r = 130 - s. Let a = 2707/154 - 393/22. Which is smaller: r or a?
a
Let m(u) = u**3 - 4*u**2 - 12*u - 5. Let l be m(6). Let r be l - -2 - 168/(-62). Is r > 1?
False
Let c be (-12)/42 - 19190/(-133). Which is bigger: c or 27?
c
Let u = 69698 - 69694. Let g = -13 + 44. Which is smaller: g or u?
u
Let h = -2906.99 - -2907. Suppose -12 - 6 = -3*q. Let n be (-6)/(-9)*q/8. Which is greater: n or h?
n
Suppose -o + 49*c - 54*c = 22, c + 14 = -5*o. Let q = 42 - 5. Is o at least q?
False
Let q(f) = f**3 - 2*f**2 + 4*f - 2. Let x be q(2). Suppose 5*m + 4*o + 1150 - 1164 = 0, -40 = -4*m + 4*o. Suppose -c = -m + x. Which is greater: c or 1/70?
1/70
Suppose -5*y + z + 325 = 0, 260 = 4*y - 52*z + 56*z. Which is greater: 102 or y?
102
Let p be (-448)/5488*7/(-123). Which is bigger: -1 or p?
p
Let b be 19968/84 + (-4)/(-14). Suppose 22*t - 15*t + b = 0. Does t = -69/2?
False
Let h be 110/(-1463)*161/3657. Which is smaller: h or 1/3?
h
Let g = -18053 - -2567. Is g at most -15487?
False
Suppose -t + 14 + 47 = -5*g, -4*t + 3*g + 210 = 0. Let h = 47271 - 47218. Which is smaller: h or t?
t
Let s(p) = -10*p - 40. Let g be s(-4). Suppose g = -2*u - 10*u - 588. Which is bigger: u or -47?
-47
Let q = -272 + 272. Suppose -23*s + 8 - 31 = q. Which is bigger: 4/9 or s?
4/9
Let j = -3946/817 + 90/19. Let q = 23 - 23. Which is smaller: j or q?
j
Let h(i) = -i**3 - i + 2. Let x be h(0). Suppose -x*p = -2*s + 118, 3*p + p + 3*s + 264 = 0. Let b = p + 64. Which is smaller: b or -3?
-3
Let v be ((-544)/24 + 4 - 4)*6/4. Is v != -163/5?
True
Suppose -t + 67 = -5*t - 5*q, -2*t - 5*q = 31. Suppose -3*b + r + 7 = 0, -b - 2*r + 0 = -7. Let o be 27/(-6)*2/b - 15. Is o not equal to t?
False
Let c = 4/21 + -163/84. Let d be (-816)/425 - 8/100. Do c and d have different values?
True
Let h(p) = 115*p**2 - 5*p + 25. Let v be h(3). Suppose -3*d - 412 = -i, 5*d - 353 = -i - v. Is d at most -139?
False
Suppose 4 = q, -12*q - 17 = 3*x - 8*q. Let n be (2/84)/(x/88). Which is smaller: n or 1?
n
Let q = 806 - 805.7. Is q at most 33?
True
Suppose 11*f - 17 = 192. Suppose -w = -2*t + 7, -t - f = 2*w - 0*w. Is w less than -6?
True
Let m be (-2800)/3300*(-2 + -235). Which is bigger: m or 200?
m
Let y(j) be the first derivative of -2*j**2 - 57*j - 2. Let h = 2560 - 2574. Let b be y(h). Is b > 6/53?
False
Let t be (10*3)/(1 + 1). Let f be (-174)/7 + (-8)/56. Let p = f + 36. Is p greater than t?
False
Suppose 40*z + 201*z = 343396 + 1157070. Is 6229 at most as big as z?
False
Let v = 26 - 15. Let b(h) = 6*h**2 - 23*h - 80. Let u be b(6). Which is smaller: u or v?
u
Suppose 0 = -683*h + 688*h - 30 - 70. Let o = 15 + -9. Let q be 38/o*(-3)/(-1). Does q = h?
False
Let t(u) = 6*u + 102. Let v be t(-17). Suppose -5*d - 3*s + 565 = v, 6*d - s = 10*d - 445. Is 108 >= d?
False
Let n = 2464 - 2334. Which is smaller: 0.2 or n?
0.2
Let l be ((-8)/10)/(3/(-15)) - 1. Suppose -99 = 3*j + l*u, 0 = -5*u + 2*u. Which is greater: j or -30?
-30
Let m = -11 - -17. Suppose 29 = m*s - 43. Let u(b) = b**2 + 12*b + 11. Let a be u(-12). Is a != s?
True
Let x = -462491/141245 - -21/3445. Which is smaller: -2 or x?
x
Let l = 470 + -478. Which is bigger: l or 35?
35
Let z = -1411/3 - -437. Let v = 1340 + -1373. Which is smaller: z or v?
z
Let y = -281 + 307. Let d be (10*(-3)/(-18))/(y/5226). Is 335 bigger than d?
False
Let r be -17 + (-3248)/(-192) + (-26)/(-24). Is r at most as big as -2/9249?
False
Let u = 1/10277 - 10468/1962907. Is u greater than or equal to -9?
True
Let n = 1886 - 1292. Are n and 594 equal?
True
Let m be 274 - (-13 + -13 + 2). Are m and 326 equal?
False
Let h(x) = 204*x + 551. Let c be h(-5). Which is smaller: c or -472?
-472
Let p(l) = 2*l**3 + 28*l**2 - 30*l - 13. Let m be p(-15). Let i be 15 + -1 + 8/(-4). Let s be (3 - i - 1)/1. Which is greater: m or s?
s
Let q = -486 + 489. Are q and 3 equal?
True
Let a(u) = -9*u**3 - 2*u**2 - 7*u - 6. Let s(r) = -r**2 + 30*r - 30. Let p be s(29). Let y be a(p). Which is smaller: y or 86/11?
86/11
Let t(v) be the first derivative of v**4/4 - 7*v**3/3 + 3*v**2 + 13*v + 963. Suppose -2*u + 6 = -6. Let q be t(u). Is q at most as big as 13?
True
Suppose -47591 - 110004 = 159*j + 244357. Are -2530 and j equal?
False
Let m = 35234 + -35043. Which is greater: 1718/9 or m?
m
Let f = -6233.22 - -6211. Let t = -72 + 70.78. Let c = t - f. Is c not equal to 1?
True
Let o(m) = -8*m**3 + 177*m**2 - 24*m + 43. Let q be o(22). Which is smaller: q or 10/1331?
q
Let n(m) = -27*m + 80. Suppose -25*c + 13*c + 36 = 0. Let u be n(c). Is 51/2 < u?
False
Let q be ((-81)/(-6) + -1)*(-180)/225. Which is smaller: q or -229/23?
q
Let v(i) = -i**3 + 4*i**2 - 4*i + 7. Let q be v(3). Suppose -99 + 7 = -q*f. Suppose 2*c = -3*u - f, 3*c = 7*c - 2*u + 22. Do 0 and c have different values?
True
Let x be 8*2/56 + (-78)/(-21). Suppose -p + 0 = -3*n + 6, 0 = x*n + 4*p - 24. Is n at most 60/17?
True
Let c be 5 + 1 + -2 + -445. Let b = c + 605. Do 164 and b have different values?
False
Suppose 5*y - 2*y + 4*a + 114 = 0, 3*y + 3*a + 111 = 0. Let b = 0.01681 - 0.21681. Is b at least y?
True
Let m = 11 - -55. Suppose -3*k + m + 54 = 0. Suppose 7*g = -k - 289. Which is smaller: g or -48?
-48
Let l = -200 - -43. Let q = l - -157. Which is greater: q or 3?
3
Let i = -1317 + 1333. Are 9 and i equal?
False
Let m(j) = j**3 + 3*j**2 - j - 2. Let x be m(-4). Let s be ((-27)/18)