t r be (28/8)/(2/(-328)). Let l = r + 2313/4. Which is smaller: l or q?
q
Let a(n) = -n - 17. Suppose 11 - 27 = 4*j. Let w be a(j). Let r be (w - -19)*(-1)/((-4)/18). Is 28 bigger than r?
True
Let r be (1/((-5)/(-76586930)))/(-247). Let k = 838254/13 + r. Let q = 2468 - k. Which is bigger: 1 or q?
1
Let x be (-1)/(-2) - 82/4. Let a = x - -8. Suppose -5*s = -3*g + 57, -2*s = 2*g + 56 - 14. Which is smaller: s or a?
s
Let u(z) = -2*z**3 + 13*z**2 - 4*z - 13. Suppose 3*d + 11*d - 84 = 0. Let t be u(d). Suppose -2 = -q + 2*r - 1, 4*q = -4*r + 4. Which is smaller: q or t?
t
Let w = -658/11455 - -12/145. Suppose 2*f + 3*f = 20. Suppose 5*u = -4*r - f - 11, 2*r - 6 = 2*u. Is r < w?
True
Suppose 6*n = n. Let l be 153/(-63) - (-3)/7. Let f be 1/((-2)/l) - (-45)/(-30). Is f < n?
True
Let b = -25821.9 + 25822. Which is greater: 4995 or b?
4995
Let x = 51 - 55.4. Let h = 0.17653 - 0.11653. Which is bigger: h or x?
h
Let d = -278438 - -6960954/25. Let p be (0/(-3))/(1*2). Which is greater: d or p?
d
Suppose 0 = -33*p + 15 + 51. Let b(w) = 125*w**2 - 7*w + 6. Let k be b(p). Is 492 bigger than k?
False
Suppose -4*c = -r + 292, 2*r = c + 53 + 20. Suppose 5*z = 25*z - 5620. Suppose 5*o = -3*m - 369, -3*o + 3*m - z = -74. Which is smaller: c or o?
c
Let l(u) = -9*u + 207. Let m be l(23). Which is smaller: m or -1943?
-1943
Suppose -5*h = 4*x + 62, -9*h = -5*h + 3*x + 50. Let l be h/49 + 3*258/63. Which is smaller: l or 3?
3
Let x(s) = -4*s**3 - 169*s**2 + 127*s - 86. Let y be x(-43). Which is smaller: -3/1124 or y?
-3/1124
Let r(z) = z**3 - 6*z**2 + 7*z - 6. Let g be r(5). Suppose 49 = g*k + 3*k. Let s(x) = -2*x + 8. Let v be s(k). Which is smaller: -8 or v?
-8
Let k(b) be the second derivative of -b**5/20 + b**4/6 + 7*b**3/6 + 7*b**2/2 - 20*b. Let u be k(4). Suppose 11*x = 8*x + u. Do 1/28 and x have the same value?
False
Let i be 2*4/80 + 538208/320. Is 1680 greater than i?
False
Suppose 10452*r - 10482*r - 5520 = 0. Let s = -192 + 9. Is r less than s?
True
Let o be (-9)/(-168)*2496/520. Let v be -1 + 1 - 0/(-1). Is o bigger than v?
True
Let z(a) = -a**3 - 27*a**2 + a + 26. Let r be z(-27). Let b = 287 + -131. Let t be (-35)/(-7) + b/(-28). Is r greater than or equal to t?
False
Let v be (2/(-64))/(11/66). Let n(y) = -y - 9. Let i be n(-11). Let j be (-2 - 1 - -3)/(-3 + i). Which is smaller: j or v?
v
Let y be 1 + 5/(7/(28/(-18))). Suppose 3*c + 38 = c - 2*q, 0 = 2*c - 4*q + 68. Let j = c + 23. Which is greater: j or y?
y
Let y = 10.8 - 9.15. Let v = y - 47.65. Is -0.1 > v?
True
Suppose -33*n + 36*n + 3 = 0, 5*y = 2*n + 2. Is 7/60 greater than y?
True
Let j be (9/(-972)*-12 + 80/90)*0. Let x be (-2 - 730/(-246)) + -1. Which is smaller: j or x?
x
Let j be (1005/40*(-4 - -7))/(3/68). Is j equal to 1709?
False
Suppose 4*o = p + 42, 5*o - 71 = 5*p + 109. Let m be (-1 + p/(-8))/(114/(-152)). Which is smaller: m or -4?
m
Let m = -12 + -23. Let a be 66/(14/(-4) - -5). Suppose -16*d - 620 = -a. Which is smaller: d or m?
d
Suppose -3*a = 4*k + 2126, -k + 5*a - 522 = a. Let d be -1 + 4 - (528 - (2 - 8)). Is k smaller than d?
False
Suppose 7*w + 2*x - 18 = 4*w, 5*x = -2*w + 12. Suppose -3*y = f + 157, 0*f + 3*f = w. Which is greater: y or -2/17?
-2/17
Let h = -182 + 182.226. Let o = 0.042 - h. Let v = 0.134 + o. Is 0.4 less than v?
False
Let n = -132.1 + 445.2. Let c = n - 313. Let w = 0.001 - -2.299. Which is smaller: w or c?
c
Let l = -241 - -147. Let d = -94.864 - -92.864. Is d at most as big as l?
False
Let h(p) = 2*p**2 + 30*p + 3. Let c be h(-15). Suppose 3*i + c = 5*y, 0*y = y - 4*i + 13. Is 17/5 at least as big as y?
True
Let l = 129.8 + 395.2. Let b = -427 + l. Let p = -5 + 4. Which is smaller: b or p?
p
Let y be (-16)/(-72) - (-33)/(-27). Let p be (-3 - -3)/(-3 + 0/y). Suppose 5*z - 9 = -2*m, 2*z - 12 = -p*z - 5*m. Is 0 bigger than z?
False
Let t = -3327 + 3112. Which is smaller: -209 or t?
t
Let z = 4127 + -4128. Let x be -2 + 3 - 1/1. Suppose 3*t + 4 + 2 = x. Is t bigger than z?
False
Let c(d) = -2*d**2 - 17*d + 26. Let j be c(-10). Suppose -350 = 3*u + 4*u. Let m = 46 + u. Is m bigger than j?
False
Suppose -r + 6 = -4. Suppose 88 = -r*m - 512. Which is smaller: m or -61?
-61
Let o = -6920 + 6980. Which is bigger: -3/2 or o?
o
Let y = 3 + -2. Let f be (-54)/8 - (143/44 + -3). Let c be (-2)/77*f/5. Which is greater: y or c?
y
Let q = 170 + -165. Suppose -3*c + 15 = -6*c + 3*f, 5*f - 21 = 3*c. Which is smaller: c or q?
c
Let u = 232 + -233. Let i be 3*1 + 15 + -6. Let y be 8/(-15)*(-6)/i. Which is smaller: y or u?
u
Let s(t) = t**2 + 12*t - 2. Let z be (2/(-4))/(15/330). Let l be s(z). Let x(n) = -2*n**2 - 55*n + 14. Let f be x(-28). Which is smaller: l or f?
f
Suppose 0*p = 3*p - 15. Suppose i - 5*y - 8 = 0, -p*y + 104 = 8*i - 5*i. Let r(c) = c**3 + 7*c**2 + 3*c + 2. Let w be r(-3). Is w greater than i?
True
Let y(a) = -10*a + 33. Let u be 11/11 - (0 - 3). Let o be y(u). Which is smaller: o or -5?
o
Let v(y) = -53*y**2 + 1 + 52*y**2 - 6*y + 0. Let q be v(0). Let z be (-2)/8 + (-118)/(-504). Do q and z have the same value?
False
Suppose 4*v + 1 = -n, -2*v - 4 = -3*v + 4*n. Which is bigger: 2/7761 or v?
2/7761
Let l = 38 - 23. Suppose -l*c = -19*c + 8. Let x be (9 + -10)*((-2 - 1) + c). Which is smaller: x or 0?
0
Suppose 0 = k + g + 2*g, 5*g = -k. Suppose y + 0*y + 23 = k. Is -23 less than or equal to y?
True
Suppose -2*r + 274 = 2*s, -13 = 5*s - r - 680. Suppose 5*q - 86 = s. Let f = -51 + q. Which is smaller: 2 or f?
f
Let c = 114.3 + -77.96. Let t = -36.3 + c. Are t and -4/5 unequal?
True
Suppose -2*p + v = 4*v + 234, 4*v = -p - 117. Let f = -157 - p. Is -38 greater than f?
True
Suppose 9975 = -5*i + 2*x, 5*i + 4*x + 9960 = 9*x. Does -1997 = i?
True
Let b = 567.3 + -567.2. Is b greater than 1/1554?
True
Suppose 4*i - 85 = d, -4*d - 76 = -7*i + 3*i. Let h(o) = -o - 4. Let m be h(i). Let a(p) = -p**3 - 6*p**2 + 4*p - 2. Let f be a(-6). Is f less than m?
False
Suppose 4*o = -4*b + 4, o + 4*o + 19 = b. Let z be 137/204 - o/(-36). Is 1 at most as big as z?
False
Let o be 147/10 - (-45)/150. Let r be o/(-30) + 1708/3448. Which is bigger: 0 or r?
0
Suppose 12*o + 14 = 2. Let u be (-7 - -13)*(807/267 + -3). Which is bigger: u or o?
u
Let y = 45 + -45. Let o = 12.4 + -2.4. Let s = o + -10. Is y > s?
False
Suppose 41*g - 46*g = -10. Let t be (-1)/(9/3 - g). Is t bigger than 4?
False
Let v(x) = 19*x + 44. Let w be v(-11). Let h = w + 2146/13. Let u(p) = p + 2. Let z be u(-3). Is h at least z?
True
Let f = 4.52 - 5. Let q = 5001.4 + -5004.4. Which is greater: q or f?
f
Let o = -27 + 23.4. Let k = -4099 - -4096. Let a = o - k. Are 3 and a equal?
False
Suppose 2*y = -0*y - 154. Let d(q) = -q - 62. Let h = 134 - 119. Let o be d(h). Is y at least as big as o?
True
Suppose -401 = 10*n - 1621. Which is bigger: n or 115?
n
Let p be (40/(-6))/((-12)/36). Let b(l) = -6*l + 88. Let a be b(p). Which is greater: a or -33?
a
Let m(t) = -12*t**2 - t + 1. Let n be m(-2). Let a be (-1070)/(-24) - (6 - (-80)/(-12)). Let k = n + a. Which is smaller: 19 or k?
k
Suppose 0 = -6*f + f - 0*f. Suppose 5*s = -0 - f. Suppose 5*z - 14*z - 450 = s. Is -49 < z?
False
Let a = 112 - 111. Let g be (-6)/9 + 156/360. Is a < g?
False
Let j be (-5)/(20/(-12)) - -186. Let l be 3 + 44/(-14) + 237/j. Let n be 15/(-40) - (-9)/24. Is n greater than l?
False
Suppose 5*x - 2062 = -i, -5*i = x - 8380 - 1930. Which is smaller: 2063 or i?
i
Let b = 382.4 - 381.4. Is -136 greater than b?
False
Let g = 47 - 23. Let f = g + -24.5. Let u = 11049/22 + -1005/2. Which is smaller: u or f?
f
Let o(l) = -l**2 - 3*l - 1. Let s be o(-2). Suppose 7 - 15 = -5*b - x, 4*b = -4*x. Let f be (-132)/248 + b/24*6. Which is smaller: f or s?
f
Let u = -16 + 37. Let h = 5 + -14. Let z be -6*(3 + 57/h). Which is bigger: z or u?
u
Let r be ((-2)/4)/((-3)/6). Let p = -30256509/797 - -37963. Which is smaller: p or r?
p
Let f = -1295 + 1325. Let x = 11 + -6. Suppose -x*o + 116 = -o. Which is greater: f or o?
f
Suppose 184 = 2*l + 174. Suppose -i + 33*m - 37*m + 61 = 0, -321 = -l*i - 4*m. Let w be 2*(1 - 63/(-2)). Is w at most i?
True
Let q = 10572 + -10488. Are 95 and q equal?
False
Let n(w) = 3*w**3 + 19*w**2 + 3*w - 1. Let v be n(-6). Suppose d + 4*b - v = 0, -3*d - 3*b + 9 = -6. Let u be 2/(-6)*0 + d. Which is bigger: -3/13 or u?
u
Le