 Which is bigger: l or -4?
-4
Let i = 408 + -604. Let k = 196 + i. Which is smaller: -11/14 or k?
-11/14
Let c(o) = -o**3 - 7*o**2 - 13*o - 17. Let t be c(-9). Let a = t + -258. Which is bigger: a or 45/16?
a
Let h = 24 - 11. Let k = -12 + h. Let r = -17/2 + 10. Which is smaller: k or r?
k
Let i = 43 + -44. Let a be (i/(-1))/((-5)/(-20)). Let s be a/(-12)*14*-3. Which is greater: 11 or s?
s
Suppose -4*k + 1088 = 5*q, -23*k - 1081 = -5*q - 26*k. Which is greater: -1 or q?
q
Let q = 1288 + -1347. Let z = -15 + 17. Which is smaller: q or z?
q
Suppose -p + 3*l + 10 + 5 = 0, 3 = -l. Let c be -10*2*(-3)/p. Which is greater: 28/3 or c?
c
Let s = 1321 - 882. Which is greater: 440 or s?
440
Let x = 35/11 - 85/44. Suppose -20 = 5*p - 5*j - 5, -3*j = -5*p - 9. Suppose -5*n = 20, -2*n = 2*u - p*u + 4. Is u equal to x?
False
Let c(b) = 3*b - 15. Suppose r = 2*f, -3*r - r - 3*f = 33. Let s(z) = z + 11. Let v be s(r). Let l be c(v). Does -2 = l?
False
Let q be 4/26 - (-816)/3315. Which is smaller: q or 1611?
q
Let h = -0.086 - 3.654. Let p = h + 1.74. Is -0.2 greater than or equal to p?
True
Let t be (25/3)/((-10)/(-30)). Let n be t + (1/1)/(5/(-15)). Do 20 and n have the same value?
False
Let l = -5.391 + 5.971. Is -2/139 less than l?
True
Let g(q) = -q**3 + 3*q**2 + 7*q - 7. Let l be g(4). Suppose 2*f = -3*h + 11, 0*f - l*h = -2*f + 3. Let m be (f + (-15)/4)/(-5). Which is greater: 1 or m?
1
Suppose -200 + 188 = -2*d. Let g(t) = -3*t + 27. Let b(q) = 10*q - 81. Let n(x) = 2*b(x) + 7*g(x). Let a be n(d). Is 20 greater than a?
False
Suppose 3*f - 100 = -c + 490, 5*f - 5*c - 950 = 0. Let q = f + -365. Which is smaller: -169 or q?
q
Let o be (-2)/7 - 24/14. Let l = -1233/70 - -159/10. Do l and o have the same value?
False
Let h be (-4)/(-2 + (-1460)/(-750)). Which is smaller: 74 or h?
74
Let o = 0.411 + 37.389. Let a = o + -37.2. Let w = 18 + -53/3. Is w equal to a?
False
Suppose -i - 3*i = -20. Suppose 2*c + i*p = -86, -3*c = p - 53 + 156. Let k be (-28)/20 - 6/(42/(-7)). Which is smaller: c or k?
c
Let z = -944 + 947. Let d be (-65)/(-13) + -1*39/z. Do d and -69/8 have different values?
True
Suppose -j - 17*j = -234. Suppose 72 = -j*q - 19. Which is greater: q or -68/9?
q
Suppose 25200 = -56*u + 236*u. Which is smaller: 143 or u?
u
Let m = 0.613 - 0.513. Which is smaller: m or 564/7?
m
Let k(r) = 16*r + 63. Let j = -488 + 479. Let z be k(j). Is z > -79?
False
Let g = -202 + 224. Suppose -871 = -g*z - 8131. Which is bigger: z or -329?
-329
Suppose 2*o = -3*v + 97 + 113, -4*v + 234 = -5*o. Which is smaller: v or 30?
30
Let f be (156/819)/(3 + (-16596)/(-28)). Which is smaller: 0 or f?
0
Let y = -102 - -275. Let g = -151 + y. Which is smaller: 24 or g?
g
Let i be (-3990)/(-285) - (-1 - -927). Which is bigger: -907 or i?
-907
Suppose -8 = -2*x + 2*d, 27*d - 30*d - 3 = 0. Let u = 5 - 0. Suppose 0 = i - u*i + 8. Does i = x?
False
Let t = 15615 + -15617. Which is smaller: t or -37.28?
-37.28
Let d = 41.06 + -41. Let h be 5/30*10 - 6. Is h less than d?
True
Let y = 285.212 - 287. Let z = y + -0.212. Is z > -46?
True
Let x be ((-282954)/(-156))/7 + (78/12)/13. Is x at least as big as 260?
False
Let i be 10*(-1340)/42 + 2. Suppose 0 = 958*a - 939*a + 6023. Let v = a - i. Is -1 > v?
False
Let r(c) = -41 + 6*c + 24*c - 175 + 6*c. Let q be r(6). Is q bigger than 30?
False
Let m = 0 - -4. Suppose -4*x + 0 = -5*t - 39, 21 = 5*x + 3*t. Suppose -m*b - x*u = -2*u - 8, 0 = b - u. Are 4/77 and b equal?
False
Let a be 2/(-3)*1/((-1)/(-6)). Let n be (1*57)/((-78)/12 + a). Suppose 2*y - y + 4 = 0. Which is greater: n or y?
y
Let r(j) = 140*j + 21. Let m be r(-4). Let l = 610 + m. Do l and 74 have the same value?
False
Let x = 695/2 - 355. Let z(j) = -2*j**3 - 2*j**2 - 64*j - 7. Let y be z(0). Which is bigger: y or x?
y
Let o(v) = 4*v**2 - 17*v - 40. Let j be o(6). Suppose -z = 4*z - 2*h - 15, -3*z + 9 = 4*h. Let t = z - 1. Is t < j?
False
Let v(b) = -8*b**2 + 4*b - 3. Let j = 49 + -45. Suppose 0 = 3*y - 2 - j. Let i be v(y). Is -27 not equal to i?
False
Let g be (-1080)/2955*(-4)/(-12). Is g >= 0?
False
Let v = 12603.97 + -12680. Let x = v + 76. Let w = 0.13 + x. Is w > 3?
False
Suppose 1712 + 183 = -5*n. Let p be (0 + 20/3)/((-54)/3078). Do n and p have the same value?
False
Let p = 555 - 528. Let j = p - 27.1. Let r = 0.4 - 1.3. Is r equal to j?
False
Let v be (-15)/(6/((-6)/1)). Suppose 0 = l + v*l. Is l greater than or equal to 4/37?
False
Let b = 1672/1027 + -21/13. Let s(w) be the first derivative of w**2/2 - w + 4. Let j be s(0). Is j smaller than b?
True
Let d(g) = 13*g + 1085. Let b be d(-37). Are 604 and b unequal?
False
Suppose j = -5*n + 106 + 145, -j + 206 = -4*n. Let w be (-36)/414 + j/1541. Which is smaller: -1 or w?
-1
Suppose 0 = 5*l - 8 - 17, 0 = -r - 2*l + 24. Let n = r + -16. Suppose -5*j - 3*y = 142, -17*y + 22*y = 2*j + 63. Which is greater: n or j?
n
Suppose -n = -3*o + 157 + 301, -3*n - 1367 = -2*o. Is n greater than -451?
False
Let c = 5495 - 5497. Which is bigger: c or -235?
c
Let f be (-176775)/805140 + (-5)/(-30). Let x = 8/189 + f. Which is greater: 1 or x?
1
Let x be (-12)/(-22) + (-596070)/1088318. Which is bigger: 1 or x?
1
Let j be (-36)/4 + -9 + (-7511)/(-525). Which is smaller: j or -3?
j
Let r be (-11 - (-5 - (-91)/(-7))) + 30/(-4). Let y = -61.66 - 0.34. Which is smaller: y or r?
y
Let f(k) = 18*k + 4. Let b = -41 + 40. Let h be f(b). Is h at least -7?
False
Let r = -2.778 + -0.022. Let t = 4 + r. Let p = 0.8 + t. Is p at most as big as -6?
False
Let g = -2/43763 - -108663541/262578. Is 414 smaller than g?
False
Let r = 5722 + -5722.04. Is 54 at most r?
False
Let d = 96.89 + -96.79. Does -128.8 = d?
False
Let i be 1383/(-5) - -1 - (0 + 14 + -18). Do i and -271 have different values?
True
Let k be 4/(-35)*5/(-2). Let l = -19877 + 19876. Is k not equal to l?
True
Let s(j) = j**2 + 9*j - 43. Let b be s(-14). Suppose 15*o = 12 - b. Is o <= -1/122?
True
Let a = -33.9 - -35.9. Let x = -182 - -87. Which is bigger: x or a?
a
Let f(t) = 2*t**3 + 20*t**2 - 11*t + 21. Let r(a) = -a**3 - 11*a**2 + 5*a - 11. Let w(u) = -4*f(u) - 7*r(u). Let m be w(-5). Is m at least as big as 21/8?
False
Let q be (-44)/77 + (-1340)/7 - -1. Let j = q - -197. Is 3 at most as big as j?
True
Let k be (-976862)/15969672 - ((-17)/(-18) - 1). Is k > 1?
False
Let s be (22 - 19) + (0 - 1). Let f be ((-4)/8)/((-1)/s). Which is greater: -73 or f?
f
Let j = 8.957 - -0.043. Let m = -22.1 + j. Let x = m + 13. Is x less than -2?
False
Let b = -1985.75 + 1982.8. Which is greater: b or 42?
42
Let v be ((-344)/(-16))/((-7)/(-2) + -3). Suppose 0 = -v*t + 48*t + 180. Which is smaller: -35 or t?
t
Let j be ((-72)/(-18))/(0 + -2 - -6). Suppose -t - 3*a = j, -2*t = -t + 4*a - 3. Let w be 0/(6 - 3) + 1. Which is smaller: w or t?
t
Let x = -17238 + 16080. Which is smaller: -1164 or x?
-1164
Let o = -9 - -23. Let n = -1.23 + -0.77. Let w = n + o. Is 1 at most as big as w?
True
Let f = -1/727 + 1469/10905. Are f and 3.22 equal?
False
Suppose 55*o = 61*o - 6. Let b = -5 + 10. Suppose -t = r - 1, b*r - 4 - 5 = -4*t. Is o <= r?
True
Let j = 0.13 - 39.13. Let l = -0.41658 + 0.41658. Are l and j nonequal?
True
Let y(s) = 122*s - 898. Let u be y(10). Which is bigger: u or 327?
327
Let x(w) = -w**2 + 14*w - 39. Let b be x(18). Let i = 127 + b. Let j(z) = 5*z**2 - 2*z. Let v be j(2). Is v < i?
False
Let l = 51 - 88. Let o be 5/10*-12 - 30. Let p = o - l. Which is bigger: 2 or p?
2
Let h = -107 - -70. Suppose -43*l + 47*l = 8. Suppose -4*c = -l*c + 76. Is h > c?
True
Let n be 13 + ((-3940300)/23316)/13. Which is smaller: n or 1?
n
Let p = 0.813 + 0.187. Let q be 70/(-205)*12/7. Let a = -373/287 - q. Which is smaller: p or a?
a
Let g = -0.04 - 0.06. Let z = 0 + g. Let u = 443 - 2226/5. Which is greater: u or z?
z
Suppose 1081 = 4*u + 1045. Which is smaller: u or 1.86?
1.86
Let z = -2 + -83. Let f = -3162 - -3163. Which is smaller: z or f?
z
Let z(f) = -f**3 - 16*f**2 + 451*f - 3629. Let d be z(-33). Let i = -5755 + 1812821/315. Which is smaller: d or i?
i
Let v = 906497/1802 - 8510/17. Are v and 3 nonequal?
True
Suppose 203*x - 205*x - 5*t = 186, x + 75 = 2*t. Which is smaller: -248/3 or x?
x
Let f = 95 + -139. Let m = -55 - -97. Let x = m + f. Which is smaller: -3/2 or x?
x
Let t = 0.28 - 6.48. Let q = t