 - 4/10). Which is bigger: -21 or r?
r
Let t(d) = -6*d**2 - 29*d - 126. Let a be t(-5). Which is smaller: a or -0.2?
a
Let i(o) = 5*o - 16 - 2*o + 17. Let k be i(-8). Which is smaller: -2 or k?
k
Let s be (1870/(-25))/(11/55). Is s not equal to -374?
False
Let d be (-1*1)/((-14)/(-14)). Let x be (-324)/(-110) + 4/(-10) - 3. Which is greater: d or x?
x
Let n = 29/28 + -9/7. Let i = -1314 - -1302. Is n at most i?
False
Let v = -794.9 - -794. Which is greater: 0 or v?
0
Let k = -67553/458 + 295/2. Is 3 > k?
True
Suppose -5*v = 4*o + 90, -2*o - v - 4*v = 40. Is o at least -71/3?
False
Let m be (-2 - (-564)/33) + (-4)/(-1). Is m > 20?
False
Let b = 73 + -72.939. Let u = b + 0.939. Let x(d) = -d**3 - 5*d**2 - 5*d - 3. Let j be x(-4). Is u >= j?
True
Let m = -463 + 540.1. Let w = m - 77. Let h = 2.98 - 3. Is w less than h?
False
Let w be 1/(-4)*51/(-45). Let p = -2/115 + -3/92. Let a = p - w. Which is bigger: a or -1?
a
Let x = 196 + -326. Let b = -143 - x. Which is smaller: b or -17?
-17
Let s(q) = -q**3 + 7*q**2 - 11*q + 15. Suppose 5*c - 15 = k + 2*k, 3*c + 4*k = 38. Let b be s(c). Are -15 and b equal?
True
Let l = 368 - 369. Let s = 0 + 0.1. Which is greater: l or s?
s
Suppose 0 = 5*u + 10, -2*u = -2*q + 3*u + 14. Let k = 3 - q. Are -1/24 and k non-equal?
True
Let q(y) = y**2 + 11*y - 2. Let s be q(-13). Let a(z) = z**2 - 23*z + 14. Let u be a(s). Which is bigger: 39 or u?
39
Let c be ((-2)/5)/(7/(-105)). Let u(f) = -f**2 + 7*f - 4. Let b be u(c). Which is bigger: b or 1?
b
Let q = 2356/11 + -214. Let s = -45 - -40. Let z = -2 - s. Which is bigger: z or q?
z
Let d be 3 + (-15)/((-25)/5). Which is smaller: d or 0?
0
Let b = 13 + -13. Let k be -11*(-3)/(-12) + b. Which is bigger: -4 or k?
k
Suppose -3*q + y + 11 = 0, 0 = -2*q - y + 13 + 1. Let u be (8/q)/(6/30). Let k be ((108/u)/3)/(-3). Is -1 at least as big as k?
True
Let z be 14/(-56)*(-1)/3*-3. Which is smaller: z or 10?
z
Let a = -24637/399 - -466/57. Which is smaller: a or -54?
-54
Let j = -325 + 1051. Is 2/7 greater than j?
False
Let p be (-4)/(-15)*(-215)/86. Suppose c = 5*c - 4*o + 44, 2*o + 74 = -4*c. Let d be c/18 - (-2)/9. Are d and p equal?
True
Suppose -2*b + 10 = 4*f - 0*f, -2*f - 25 = -5*b. Suppose f = 2*u + 3*u. Do u and -0.4 have the same value?
False
Suppose -5148 = 253*j - 227*j. Are -199 and j non-equal?
True
Let n(j) = 36*j**3 - 2*j**2 + 2*j - 1. Let q be n(1). Suppose -q*i + 40*i = -55. Which is greater: -14 or i?
i
Suppose 15*j - 28 - 2 = 0. Is j > 60/13?
False
Let l be (-4)/6 - 2/(-3). Suppose -3*h - 522 = -87. Let o = -6233/43 - h. Which is bigger: l or o?
o
Let t(p) = p**3 - 8*p**2 + 9*p - 8. Let z be t(7). Suppose -a + z*a = 0. Suppose a*b = b + 22. Is b bigger than -22?
False
Let v(i) = i**3 + 7*i**2 - 13*i - 21. Let x be v(-8). Which is greater: 0 or x?
x
Let u be ((-33)/(-22))/((-2)/(-4)). Let i = 20371/14 + -1454. Let d = 199/42 - i. Which is smaller: u or d?
u
Let d be (-38)/(-8) + 2/8. Suppose -w - 5 = -0, -4*w - 27 = -q. Are q and d equal?
False
Let g be (-1 - (-3)/16)*-2. Let t = -9/8 + g. Let m(p) = -8*p - 22. Let a be m(-3). Is a at most as big as t?
False
Let o(z) = -z**2 + 6*z + 12. Let x be o(9). Let a be -25*((-24)/x - 2). Suppose 5*v + 4 = -q - 4, -4*q + v + a = 0. Which is smaller: -1 or q?
-1
Let k be (-6)/8 + (-27)/(-4). Let h be (0 + (-2)/k)*-12. Suppose -18 = -3*z + 5*d, h*d = -4*z - d - 11. Is z greater than 10/7?
False
Suppose 0 = -2*n - 6*z + 3*z + 2, 0 = 4*z + 8. Let v be (n/56)/(2/(-8)). Which is smaller: v or -0.09?
v
Suppose -2*t + 4*t - 36 = 2*q, 4*q + 2*t = -42. Let y be 53/(-4) + -8 + 8. Is q > y?
True
Let l = 2/369 + -4450/4059. Suppose 22 = 2*x - t, x - t + 2*t - 14 = 0. Let o be (-8)/12 + x/18. Is l at least as big as o?
False
Let m = 292/7 - 862/21. Is 2.24 greater than m?
True
Let t = -16 - -19. Suppose -4*n + 3*n - 2*j + 40 = 0, -t*j + 43 = n. Is 34 smaller than n?
False
Let q(m) = -3*m - 20. Let g(w) = -2*w - 13. Let s(l) = 7*g(l) - 5*q(l). Let k be s(-7). Suppose k*o - 1 = o. Which is smaller: o or 3?
o
Suppose -15*h = -h - 14. Let x be (-7)/21 + h/(-3). Which is greater: x or 9?
9
Let g be (-5)/30*(8 - (3 - -3)). Let h = -12 - -18. Let p = h + -5.92. Is g greater than or equal to p?
False
Let d be (-28)/20 - (1 - (-7)/(-5)). Let j be (-17)/(-68)*(45 + d). Which is smaller: j or 12?
j
Let i = 248.3 - 234. Let r = -16 + i. Let b = r + -1.3. Is b at most -1?
True
Let z = 1250 - 842. Suppose z = -68*s + 65*s. Which is smaller: s or 1/3?
s
Let q = -38 - -34. Let l be 12/q*(-19)/3. Is 20 smaller than l?
False
Let p = 2066/3 + -683. Suppose y = -4*n + 17, 19*y - 20 = -n + 24*y. Are n and p equal?
False
Let z = 22.01 - 22. Let d = -0.27 - -0.48. Let r = d - z. Which is bigger: 1/2 or r?
1/2
Let y(g) = -2*g**3 + 3*g**2 - g + 3. Let w be y(3). Let n be 6/w + (-259)/9. Let h = n + 32. Is 1 smaller than h?
True
Let o(b) = 10*b - 79. Let r be o(8). Which is smaller: r or -4/49?
-4/49
Let c be (-27)/(-81) + (196/(-3))/(-2). Suppose 0 = -4*j + j + 102. Do c and j have different values?
True
Let d(b) = -b**3 - 16*b**2 + 2*b + 10. Let n be d(-17). Let c be ((-576)/n)/6 + 4/10. Which is greater: -1 or c?
c
Let d(v) = v**2 + 23*v - 211. Let r be d(7). Is 6/155 greater than or equal to r?
True
Let x = 333 - 361. Let q(r) = 42*r**2. Let d be q(-1). Let b = -71 + d. Are b and x non-equal?
True
Let s be (-17)/51*(-1 - 26). Suppose -f + s = -2*f + 3*w, -4*f - 4*w - 84 = 0. Let n be (-18)/24 - f/8. Which is bigger: 0.4 or n?
n
Let u(y) = 2*y**2 + 30*y - 35. Let s(l) = -4*l**2 - 60*l + 69. Let b(q) = -2*s(q) - 5*u(q). Let f be b(-15). Are 37 and f unequal?
False
Let g = -1811 - -38021/21. Is g bigger than -1?
True
Let w = -1 - 0. Let h be (0 - 1)/(1/(-3)). Let d be (8 - 1)*1*h/(-9). Which is bigger: w or d?
w
Let t(m) = -87*m + 47. Let i be t(4). Which is smaller: i or -302?
-302
Let l = 857 + -1623. Let f = l - -117196/153. Are 1 and f unequal?
True
Let n(f) = -f - 7. Let g be n(-9). Let u = g - -4. Let c = 9 - 2. Which is smaller: u or c?
u
Let y = 1.22 - -2.16. Let r = 3.5 - y. Which is smaller: r or 0.1?
0.1
Let i be (75/(-100))/(2/16). Let h be (-4)/(-12) - 4/i. Let w = 2.7 + -6.3. Which is smaller: h or w?
w
Let j be 1*12 - (-34)/17. Suppose -2*g + j = -9*g. Is -2 greater than or equal to g?
True
Let s(j) = -6*j + 8. Let x(m) = m**3 - 5*m**2 + m - 3. Let b(i) = -i**2 - 6*i - 3. Let u be b(-4). Let k be x(u). Let t be s(k). Is -4 > t?
False
Suppose 6 = -0*y + 3*y. Suppose -4*v = 4*z - 0 - 4, v - y = -2*z. Which is greater: 8/7 or z?
8/7
Let p be (-2)/(-3) + (-24)/36. Does p = 1/3186?
False
Let j = 158 - 235. Which is bigger: -79 or j?
j
Suppose 4*j - 3*n - 268 = 16, 5*n + 213 = 3*j. Which is smaller: j or -0.2?
-0.2
Let q = 120 + -120. Which is smaller: 2/457 or q?
q
Let o be 0/1 - 4/10. Let s = -313 - -313. Are s and o unequal?
True
Let n = -18 + 23. Let a be 3/6*(13 + -1). Let u be ((-2)/8)/(a/(-8)). Which is smaller: u or n?
u
Let d(l) = -2*l**3 - l**2 + l. Let k be d(1). Let w be (-348)/108 + k/(-9). Is w less than or equal to -4?
False
Let j be (-3)/(-4) + 90/(-136). Let z = 190 + -190. Is z > j?
False
Let h = -7 - -9. Suppose 3*n - h*s + 2 = 0, -5*n = 3*s - 10 - 12. Which is smaller: 3/5 or n?
3/5
Let o = 4296756569 - 116078300507/27. Let c = -2439366 - o. Let g = c + -380. Which is smaller: 1 or g?
g
Let u = 1055 - 1048. Is -41 less than u?
True
Let b = -41/11 - -128/33. Which is smaller: -1 or b?
-1
Let x = 3 + -11. Suppose 43 = -4*j + 11. Is j less than x?
False
Let t be (-1280)/200 + 6/15. Let u = -10 - -5. Which is smaller: t or u?
t
Suppose 3*q = -5*l - 518, 0 = 4*q - 8*q + 4*l - 712. Are -174 and q unequal?
True
Let n = 1 + -1. Let d = 10 - -28. Let a be ((-3)/9)/(d/(-6)). Do a and n have the same value?
False
Let s(f) = 3*f + 22. Let g be s(6). Is g bigger than 39?
True
Let p = -1.64 - -1.51. Which is bigger: -9 or p?
p
Let t be (-24)/(-42) + (-6)/(-14). Which is greater: 1/160 or t?
t
Let w be (-1 - (-9)/6) + (-18)/36. Do 3/7 and w have different values?
True
Let g be (52/10)/(-5 + 26/5). Is g >= 28?
False
Let n be (12/5)/(21/70). Suppose -46 + 6 = -n*k. Is 5 smaller than k?
False
Let q = -70.3 - 451.7. Are 2/3 and q nonequal?
True
Let h be 2*(-2)/(-128)*30*1. Let y = -117/80 - h. Is -1 less than y?
False
Let s = 13 + -9. Let a be 4