2. Which is greater: r or -22?
r
Let r(j) = j**3 + 3*j**2 - j + 249. Let q be r(0). Which is smaller: q or 248?
248
Let b = 3 - 5/2. Let r = -26 + 46. Let v = r - 19.92. Which is smaller: b or v?
v
Let t be 23706/216 + 5/4. Is 108 greater than t?
False
Let h be 45/(-6)*12/(-10). Suppose -17 + h = -2*f. Suppose -7 = 2*z - 19. Which is bigger: z or f?
z
Let m = -253 + 250. Is -0.57 at least as big as m?
True
Let k(y) = y**3 + 5*y**2 + 3*y + 14. Let q be k(-5). Let a(w) = w - 12. Let f be a(10). Let m be f - (-2 - (-2)/(-34)). Which is bigger: q or m?
m
Suppose 3*k = 5*k - 12. Suppose -3*p = 4*i - 16, -5*i = -3*i + 2*p - k. Let t = 6 - i. Is t smaller than -1/3?
True
Suppose 0 = 22*d - 27*d. Which is bigger: d or -5/26?
d
Let j = -535 - -535. Is j less than or equal to -12/89?
False
Suppose -3*l = -0*l - 48. Suppose 5*i + 20 = -5*s, 5*i - s - 3*s - l = 0. Let f be 1 + (1096/(-88) - -12). Is i <= f?
True
Let k be (-10166)/(-138) - ((-1)/3 + 0). Is 2 smaller than k?
True
Let s(w) = w**3 - 3*w**2 - 27*w + 104. Let c be s(7). Is 116 less than c?
False
Let i = 809.3 - 809. Is 4/9 at most i?
False
Let q = -80.47 - -80.4. Which is bigger: q or 2/53?
2/53
Suppose 2*x + 1782 = -x. Let q be 6/(-39) + x/(-312). Which is bigger: q or 2?
2
Let f = 6327/7 - 913. Let r = 143/21 + f. Which is bigger: -1 or r?
-1
Let t = 21.958 + 0.042. Let m = t + -16.9. Let c = 5 - m. Is c > -9?
True
Suppose -5*m + 4*w + 144 = 0, 34 = m + 2*w + 8. Suppose 25*c = m*c - 15. Which is smaller: c or 3?
3
Let d = 7.74 - 51.24. Is d smaller than 1/4?
True
Suppose -10*z + 5*z = -95. Let c = 23 - z. Which is smaller: 3 or c?
3
Suppose 74 - 270 = 7*g. Is g less than -6?
True
Let v = 1 - 0. Let k be 20/(-16) + 1/v. Suppose 4*a = -4*a + 3*a. Which is bigger: a or k?
a
Let r = -13 - -17. Suppose b - 6*b + y + 5 = 0, 4*b = r*y + 20. Let l be (2/(-20))/((8 - 4)/(-16)). Which is smaller: b or l?
b
Suppose 0*k + 9*k = 2*k. Let w be -3 - k - 12/(-6). Is -4/11 greater than w?
True
Suppose 0 = -4*x + 19 - 7. Suppose -x*u - k - 4 = 13, -6 = 3*k. Is u smaller than -5?
False
Suppose -3*s + 3*c + 114 = 0, 5*s - 3*c = -0*c + 182. Let x = s - 34. Is x at most as big as 0.5?
True
Let q be (72/1)/(-94 + 96). Is q smaller than 35?
False
Let z = 1264 - 592817/469. Does 1 = z?
False
Let t(w) = -87*w + 143. Let v be t(1). Are 47 and v equal?
False
Suppose -5*t + n = -t - 16, -t + 5*n + 4 = 0. Suppose 2*l - t = 20. Are l and 0.1 equal?
False
Let q = -895 + 830. Which is smaller: -67 or q?
-67
Let u = -13.32 - -13.3. Is 9 <= u?
False
Let t be (2/(-4))/(10/(-100)). Suppose -14 = -h - 5*j, -2*h = 2*h - 2*j - 12. Which is smaller: h or t?
h
Let j be ((-9)/5)/(67/335). Which is smaller: -5 or j?
j
Let h = 21 - 17. Suppose 5*y + 46 = -h*f, 4*y = 3*f - 0 - 43. Is y >= -11?
True
Let o be 555/(-6)*34/(-85). Does o = 36?
False
Suppose -2*s + 9*s = 168. Let m = -10 + s. Is 19 at least m?
True
Suppose -1628*p - 7196 = -1621*p. Is p greater than -1027?
False
Suppose -4*t + 3*l - 17 = t, -5*t - l - 1 = 0. Let q be (-630)/2275*(-10)/(-3). Which is greater: t or q?
q
Let z be (-27)/(-6)*(-1)/5. Is z at least 0?
False
Let c = 396/559 + -8/13. Is c != 0?
True
Let w(o) = 8*o + 3*o - 10*o + 11. Let h be w(11). Suppose -3*b = 3*y - 6*b + 21, -2*b + h = -4*y. Which is smaller: 0.1 or y?
y
Suppose -10*s + 9*s + 288 = 0. Let y = 3171/11 - s. Let v = 1 - 1.1. Which is greater: y or v?
y
Suppose 14*i + 90 = -4*i. Is i bigger than 3?
False
Let k = 109 + -133. Let d = -20 - k. Which is greater: 5 or d?
5
Let d = 14.85 - -0.15. Let r = d + -21. Let j = 7 + r. Are j and -1/5 equal?
False
Suppose 0 = 10*a + 23*a - 561. Which is smaller: a or 22?
a
Let k(b) = b**2 - 3*b + 4. Let m be k(4). Let s be 16 + 4 + 1 + -3. Suppose -2*l = m - s. Is -1/4 at most l?
True
Let t = 0.107 - 0.007. Are -2/181 and t equal?
False
Suppose -2*v = -3*v - 3. Let d be 1/(v + 4) - -1. Suppose d + 3 = -5*x. Is x >= 2/9?
False
Let r(i) = i**3 + 5*i**2 - 5*i + 3. Let h be r(-6). Let g = h - 24. Is -27 at least g?
True
Let y(b) = -b**3 - 22*b**2 + 47*b - 27. Let v be y(-24). Which is bigger: -1/84 or v?
-1/84
Let y = 9 + 6. Let m = -1655 - -1670.03. Let z = m - y. Which is bigger: z or 1/4?
1/4
Suppose 2*c + 6 = 0, -5*b - 23 = 5*c + 7. Let d = 1 + b. Are -1 and d equal?
False
Let z be -21 + 2 + -1 + 3. Suppose -134 = -2*x + 4*s, -3*x + s + 0*s = -186. Let o = 43 - x. Are z and o non-equal?
True
Let i be (6/(-118))/((-3)/2). Let n be (11/(-3) - -3)*156/104. Do i and n have the same value?
False
Suppose -38 = -c + 5*o + 209, 2*o = 3*c - 780. Which is smaller: 263 or c?
c
Let p = -74.1 + 344.1. Is -0.05 less than or equal to p?
True
Let i be 5/9 - 72/360. Is 1 smaller than i?
False
Let s = -2 - -5. Suppose 2*d - s = -d. Let k be (-18)/20 - 6/(-8 + 2). Which is smaller: d or k?
k
Suppose -4*j - 14 = 5*u, 4*j + 9 = 3*j - 4*u. Let n = 367/2461 - 2/107. Let t = n + -38/115. Which is smaller: j or t?
j
Suppose 0 = 5*q + 10, -3*q + 0 = u + 9. Let o be ((-1)/u)/(-5 - 568/(-114)). Which is greater: 0.1 or o?
0.1
Let x = -78 + 81. Suppose -2*l + 4*l = 4. Suppose -26 = -x*r + i - 9, -l*r = 5*i + 17. Which is smaller: r or 20/7?
20/7
Let d = 0.9184 + 0.0816. Which is bigger: d or 211?
211
Suppose 0*m + 5*m = 2*w - 1, -w - 2*m = -5. Suppose w*d + 6 = -3*y, 0 = 4*d - 4*y + 7*y + 8. Is 1/5 at most as big as d?
False
Let l(w) = w**3 + 4*w**2 - 8*w - 1. Let z be l(-4). Are z and 25 nonequal?
True
Suppose 2*z - 3*z = 2*b - 7, 5*b - 5*z + 5 = 0. Suppose 4*m = b*u + 94, 3*m + 3*u - 9 = 57. Let f = 25 - m. Which is smaller: f or 5/3?
5/3
Let v = 0.3 - 1.3. Let u = -0.8 - v. Let r = -3.14 - -5.14. Is r bigger than u?
True
Let f = -380 + 650. Are f and 270 non-equal?
False
Let z = -1450 + 1517.1. Let k = z + -67. Let q = 2.98 - -0.02. Is q < k?
False
Let p(i) = -i**3 + 6*i**2 - 6*i + 4. Let n be p(5). Let y be -5*(0 + 27/15). Let o be 41/y + (2 - -1). Is n equal to o?
False
Let j = -1686 - -1679. Is j <= -104/15?
True
Suppose -4*n - 79 = 5*c, 2*n - 2*c = -23 - 39. Which is smaller: n or -1?
n
Suppose -2*o = -2*t + 50, t + 2*t = o + 79. Which is smaller: t or 24?
24
Let m = -4 - -5. Let r = m + -0.8. Is 9 at most as big as r?
False
Let r = -13.22 - -13. Let z = -0.23 - r. Let l = -0.09 + z. Which is smaller: 1.2 or l?
l
Suppose -5*a - 55 = 20. Is 1 bigger than a?
True
Let q = -28 + 31. Suppose q*i - v = 71, 2*v - 133 = -5*i - 0*v. Which is greater: i or 2/9?
i
Let t = 36 + -82. Let o = t - -33. Let m be (3/6)/((-3)/(-2)). Is o bigger than m?
False
Suppose 254*g = 239*g - 15. Which is smaller: -1/43 or g?
g
Let z = -7 + 7. Let m(i) = -19*i**3 + 2*i**2 + 3*i + 2. Let r be m(-2). Let g be r/(-408) + 1/2. Do z and g have different values?
True
Let d = 12 + -89. Let q = -77.17 - d. Which is greater: q or 0?
0
Suppose 0 = y - 4 + 5. Let g = 36 - 53. Let p = g - -17. Which is greater: y or p?
p
Let w(v) = 730*v + 3 - 360*v - 365*v - v**3 - 4*v**2. Let s be w(-5). Is s smaller than 36/13?
False
Let o be 59 - (45/(-5) + 2). Is o < 66?
False
Let x be (171/12)/((-6)/72). Let b be ((-8)/138)/(38/x). Is -1 >= b?
False
Suppose 3*p - 3*j = 146 + 13, 2*p = -4*j + 88. Let v be (5/p)/((-3)/(-5)). Let i = 0.1 + -0.1. Which is greater: i or v?
v
Let c be (0/1)/(7/(-7)). Let x(s) = s**3 - 12*s**2 + 11*s - 1. Let z be x(11). Which is greater: z or c?
c
Let f = 23.2 - 17.2. Which is greater: f or -9?
f
Let w = 41 - 38. Suppose 3*d - 3 = -3*c, 0*d - 12 = -w*d. Let k be (-4 - c)/(2/(-4)). Which is smaller: -9 or k?
-9
Suppose 14 - 11 = -3*x. Which is bigger: -0.6 or x?
-0.6
Let j(o) = o**2 + 5*o + 2. Let b be j(-4). Let v(r) = r**3 - 2*r**2 + r + 2. Let w be v(b). Let u be (-12)/15*(-4)/w. Which is smaller: u or 0?
u
Let m be 2/3 - 10/6. Let u = 21065/19 - 1109. Let l = u - -5/76. Which is greater: m or l?
l
Let r be 4/((-12)/9) - 0/(-25). Which is greater: r or -5?
r
Let v(p) = p**2 + 16*p - 14. Let f be v(15). Let n be f/(-1463) - (-4)/14 - 0. Is n bigger than 0?
False
Suppose -124*b + 114*b = 1100. Is -113 greater than or equal to b?
False
Suppose 0 = -2*j + 4*a - 4 - 10, 2*a = 0. Let p be (-114)/(-42) + (-2)/j. Suppose 0 = 2*f + p*f. Which is bigger: 1/2 or f?
1/2
Let k be (-2)/(12/630*7). Which is bigger: -115/7 or k?
k
Let p = -79 - -99. Let u be (4/(-2))/((-5)/(p/(-24))). Which is bigger: 0 or u?
0
Suppose 