r k?
k
Let b(j) = 36*j + 2. Suppose -10*v = -3*v + 7. Let p be b(v). Which is smaller: p or -32?
p
Let n = 9659 - 38643/4. Let d be (-11)/(2/(-4) - 0). Suppose 3*m + a = -2, d = m - 2*m + 5*a. Does n = m?
False
Let j(s) = 5*s**3 - 3*s**2 + 3*s. Let p be j(1). Suppose -p = -3*z + 2*z, 2*h + 233 = 3*z. Which is bigger: -108 or h?
-108
Let w = 444.0906 - 0.0906. Is w at most as big as -2/3?
False
Let r be (-20)/4 - (-45)/12. Let a be (2/(-5))/((-6)/15). Let w = 1 - a. Is r at most w?
True
Let h = -2613/94 + 3576709/128310. Let b = h - 1/91. Suppose 0 = 39*j - 43*j - 4. Which is smaller: b or j?
j
Let m be (0/(-6))/(8/(-2)). Let t be -3 + 0 + (1 - m) + 1. Is t equal to -16/11?
False
Suppose -s = -2*b - 0*b - 2, 0 = -s + 3*b + 3. Which is smaller: -8/13 or s?
-8/13
Let f be (-13 + 15)/((-2)/4). Let m(u) = -u**3 - 2*u**2 + 5*u - 1. Let p be m(f). Is 9 equal to p?
False
Let r = 33.3 + -35. Let d = 27.3 - r. Which is smaller: 0.1 or d?
0.1
Let j = 34 - 23. Suppose 4 - 15 = -j*q. Which is smaller: 2/219 or q?
2/219
Let b = -22999.07 - -22879. Let u = b - -120. Which is greater: 2/11 or u?
2/11
Let i = -24 - -27. Suppose 1 - 9 = -2*a, 0 = -3*x + i*a - 6. Let w(l) = -l**3 - 5*l**2 + 6*l + 2. Let s be w(-6). Is x equal to s?
True
Let n = 210 - 184. Is 25 >= n?
False
Let z be -22*(-262)/1152 - 5. Which is smaller: 1 or z?
z
Let g(j) = 12*j. Let z be g(2). Suppose -2*t = -3*l + z, -3*t + 0 = 2*l - 3. Let d be ((-2)/(-5))/(l/60). Is 5 greater than d?
True
Let b = 4 - 7. Let n be 9 + (4 + -1)/b. Is n bigger than 10?
False
Let m be (-14)/12 + 2*(-2)/(-8). Suppose -3*h = 1 - 7. Suppose -6*o - 4 = -h*o. Is m equal to o?
False
Let s be 8 + 9 - (0 - 1). Let p be ((-4)/6)/((-12)/s). Which is smaller: 4/7 or p?
4/7
Let p be (-7618)/(-39) + (1 + 1)/(-6). Suppose 0 = 5*d + x + 31, -9 = 5*x - 4. Let f be 1/(-10)*p/d. Are 4 and f equal?
False
Let j be (-9)/((-135)/66) + -4. Do 63 and j have the same value?
False
Let d be 322/(-21)*9/12. Let o = 119/10 + d. Is o greater than -3/4?
True
Let q = -302.3 - -314.3. Is q != -0.18?
True
Let y(c) = c**3 + 12*c**2 + 12*c - 16. Let o be y(-11). Let i be (-84 - -24)*(-2)/(-4). Which is smaller: o or i?
i
Let z = 52 + -52.28. Let v(g) = 2*g**2 + 26*g. Let h be v(-13). Is h > z?
True
Let s = 18 - 15. Suppose -s + 6 = 5*y - 2*g, 9 = 4*y + 5*g. Is 1/6 not equal to y?
True
Let k = 55/7 + -233/35. Let j be (9*-3)/((-9)/9). Let t = j + -26. Which is bigger: t or k?
k
Suppose 4*o + 4*r - 60 = 0, 4*r - 85 = -5*o - 5. Is o not equal to -5?
True
Suppose -11*k = -16*k - 30. Let i be (2/k)/(11/33). Let q = -1201/195 + 92/15. Which is smaller: i or q?
i
Let n = -149 + 234. Let f = n + -145. Let b be 26/f - 2/(-6). Is b at least as big as 0?
False
Suppose 2*h = -l + 11, 0*l - 3*h + 9 = l. Let n be ((-46)/5)/(6/(-10)). Is l smaller than n?
True
Let o = 1283 + -3851/3. Is o smaller than 392?
True
Suppose -62*f = -4153 - 9177. Which is bigger: 214 or f?
f
Suppose -4*d - 4*r = -6*r + 1754, -5*r = d + 466. Are -444 and d equal?
False
Let q be ((-18)/8)/((-8)/128). Let g = 22 - q. Let j = 26 - 41. Is j at least g?
False
Suppose 3*b - 2*y = 3*y + 2, 4*b - 5*y = 6. Let a = -3 + 15. Suppose -b + a = x. Which is greater: 6 or x?
x
Let y = 2/745 + -397852/8195. Which is bigger: -2/5 or y?
-2/5
Suppose 8*w = 9*w + 4*w. Suppose w = 19*u - 20*u - 20. Does u = -20?
True
Let z be 232/(-7) + 370/37. Which is smaller: z or -24?
-24
Let w = -59 + 64. Is 5 bigger than w?
False
Let s = -0.17 + 0.29. Let m = -33.88 - s. Let b = 34.3 + m. Is -1 at least as big as b?
False
Let h be 4/(-14) + 27/(-42). Let b = 10/7 + h. Let t be 110/(-60) + (0 - -1). Which is smaller: b or t?
t
Let l be (12*16)/4 - (8 + -4). Which is bigger: l or -7?
l
Let x = 1 + -2. Let z = -25.47 + 0.47. Let t = z - -24.7. Which is bigger: x or t?
t
Let c be -2 + -1 + (0 - -4). Suppose -4*v - 3*d + 2 - c = 0, d - 5 = v. Let z be (-9)/12*(-4)/(-6). Is v at least as big as z?
False
Let d = 11 - 11. Let r = d - 2. Let z be 6/(-5) - r/(-5). Which is smaller: -1 or z?
z
Let t be 70 - 6/(-2)*1. Let p be t/106 - (-3)/(-6). Let i = p + -342/689. Which is greater: 1 or i?
1
Let g = 415 - 22823/55. Let u = 40 + -40. Which is smaller: u or g?
u
Let a be -7 - -1 - (840 - -6) - -1. Which is smaller: a or -852?
-852
Let t = -2018 + 2019. Let u = 33953/23 - 1476. Which is smaller: t or u?
u
Let z = 13.3 - 14. Let b = -2.751 - -0.051. Let v = b - z. Is -11 at most v?
True
Suppose 22 = 4*o - 6. Let g = 13 + o. Let i be 1 - -5*(-8)/g. Is -1/11 greater than or equal to i?
True
Let i = 1.8 + -1.7. Is -68 smaller than i?
True
Suppose 2*t + 48 = 70. Suppose 4 = t*z - 7*z. Which is bigger: -2/241 or z?
z
Let r(k) = -4 + 27*k**2 - 1 + 4 - 26*k**2. Let g be r(3). Let m be 9/105*g/12. Which is smaller: m or -2/3?
-2/3
Let x(i) = 8*i - 9. Let o be x(1). Let y = 2/6841 + 13544/472029. Is y >= o?
True
Let u(i) = -3*i - 18. Let r be u(-7). Let q be (-20)/50 + 0/r. Which is smaller: -2/21 or q?
q
Let x(r) = -r**3 + r**2 + 3*r - 2. Let s(c) = 6*c - 1. Let d be s(1). Suppose 6 = h + d. Let l be x(h). Which is greater: l or -1?
l
Let p = -1 + 0. Let y be (-3)/9*p*-1. Let v be ((-50)/(-18) + -3)*(14 - 15). Which is greater: v or y?
v
Suppose 12 = -11*p + 100. Let g(y) = -y**2 + y + 10. Let u be g(0). Does p = u?
False
Let f = 27301/3806 - 79/11. Let l = f + 2855/10034. Which is smaller: l or 1?
l
Let w = 1795.023 + -1798. Let k = w + -0.023. Which is smaller: 2/5 or k?
k
Let l(g) = 138*g**2 + g + 1. Let h be l(-5). Let p be h/(-91) + 6/39. Let w = -39 - p. Are -1 and w nonequal?
True
Suppose -50 = -5*y - 25. Suppose -2*r + 0*r = -4*f + 6, -5*f = -5*r - y. Is 2 at least as big as f?
True
Let a be (-4)/10 - (1 - 864/10). Is a < 85?
False
Let a = -2960 - -2962. Let i = 0.5 - -7.5. Which is smaller: i or a?
a
Suppose -x + 4*t - 2*t = -217, 4*t + 1061 = 5*x. Is 210 at most x?
False
Let j = 42.44 + -42.4. Which is smaller: j or 108?
j
Suppose 984 = -290*u + 287*u. Is -327 not equal to u?
True
Let t be 4/(-14) - 80/14. Let z be ((t/15)/2)/((-2)/(-5)). Is 3/7 equal to z?
False
Let b = 20582/77 + -1768/7. Is 15 bigger than b?
True
Let r(t) be the second derivative of -t**3/3 + 12*t**2 + t. Let x be r(15). Let d = -0.3 + 0.4. Is x less than or equal to d?
True
Let q = 0.2 - 0.2. Let y = 1129457/54 + -20917. Let b = y - 10/27. Is b smaller than q?
True
Suppose 2*i = -a - 1, -3*i - 10 = -7*i + 2*a. Which is smaller: -1 or i?
-1
Suppose -4 = -50*j + 46*j. Let v be (j/(-10))/((-153)/85). Which is bigger: 1 or v?
1
Let x be ((-5080)/120)/((-2)/6). Which is bigger: x or 130?
130
Suppose -4*x + 3 = 23. Let b = 5 + x. Let f = -553 + 552. Which is bigger: f or b?
b
Let t = 1880 + -1929. Is -53 at least t?
False
Let c = -14 - -82. Is c greater than 68?
False
Let v = 11630 - 3791377/326. Let n = v - 3287/2934. Which is smaller: n or 0?
n
Let k = 10 - 6. Suppose k*x - 24 = 72. Suppose 4*j + 5*f = -39, -x = 4*j + 4*f + 12. Are j and 1 nonequal?
True
Let n be 2/(-5) + 18/20. Suppose -5*u = -u + 24. Let h be 95/75 + 4/u. Is n less than or equal to h?
True
Let m(w) = 22 - 13*w + 14*w - 4. Let b be m(-13). Suppose -b*c + 36 = -3*c. Is c bigger than 18?
False
Let s = 122 - 92. Let w be (-24)/s*5/14. Suppose g - 3*v - 13 = 0, 0 = -4*g - v - 4*v + 86. Which is greater: w or g?
g
Let j = -1.03 - -27.03. Which is smaller: 0.2 or j?
0.2
Let x be 24 + -26 - (34 + -1). Let m = x + 35. Do m and 5/6 have different values?
True
Let m(y) = -y**2 - 9*y + 12. Let q be m(-10). Let g = 3 + q. Suppose 17 = -g*l + 7. Is l > -2?
False
Let w = 0.7 + 0.3. Let b = 963 + -972. Which is smaller: b or w?
b
Let k be (-90)/16035*((-5)/3 - -2). Which is smaller: k or -2/7?
-2/7
Let c be (0 + -3)/(-3) + 1. Suppose -3*s - 5*x = 15, x - c = 3*s - 5. Which is smaller: s or -10?
-10
Suppose -3*u - 3*i + 78 = 0, u - 3*i + 100 = 5*u. Let x = 31 - u. Does 9 = x?
True
Let h = -9.76 - -12.76. Is -6 greater than or equal to h?
False
Let h = 32 + -44. Is h at most as big as -11?
True
Let z = 32 + 4. Let b be (-2)/z*-4 - 128/(-72). Is 2 > b?
False
Suppose -4*z + 33 = 3*o, -z = -0*z - 3. Do o and -1 have different values?
True
Let f be (-14)/20*15/2. Which is smaller: f or -5?
f
Let r(u) = 2*u - 1. Let m be r(1). Let n be m/(-4)*(-2)/3. Suppose a = 3*o - 10, 2*a + 3*o + o = 10. Which is smaller: n 