2 + -1. Let o = -2/913 - t. Let g = -25 + o. Which is greater: g or 0.06?
0.06
Let q = 112789/521 - -15/1042. Is q greater than 216?
True
Let u(i) = i**3 + i + 6. Let x be u(0). Suppose -2*z - x = -2. Let l be -3 + (-2)/(-4) + 6 - 5. Which is bigger: l or z?
l
Suppose -3*c = -5*p - 48, 5*p + 16 = -2*c - 27. Is p less than or equal to 0.1?
True
Let g = -19 - -18.96. Let c = -11.04 - g. Let v = c + 11.1. Which is smaller: 2/3 or v?
v
Let s be ((-540)/25)/(-4) - 10/(-6). Are s and 7 nonequal?
True
Suppose 197 = -5*t - 4*w, -3*t + 3*w - 19 = 110. Is -40 not equal to t?
True
Let v be (-97)/(-5) + ((-3)/(-5) - 1). Is 16 bigger than v?
False
Let k = 912 + -1442. Which is bigger: 2/5 or k?
2/5
Let b = 17/15 + -23/15. Is 536 greater than or equal to b?
True
Let m be (-128)/160 + (-87)/(-15). Which is bigger: m or 6?
6
Let t = 974 - 972.44. Is 1 less than t?
True
Let x(o) = -o**2 - 2*o + 3. Let u be x(-3). Suppose -3*z = 2*c + 216, 3*c + 4*z + 226 = -96. Let s = c - -405/4. Are s and u equal?
False
Suppose -728*c + 719*c + 9 = 0. Let z be -1*((-36)/(-136))/(-3). Which is smaller: z or c?
z
Let b = -25 + 25. Suppose b = 4*s + 3 + 1. Let z = -841 - -44571/53. Is s not equal to z?
True
Let h be (1/((-3)/39))/1. Let d(g) = g + 5. Let o be d(h). Let c = 18 + o. Which is smaller: c or 11?
c
Let w = 1936/371 - 36/7. Is 1 at least as big as w?
True
Let z(v) = v**3 + 8*v**2 - 15*v - 18. Let s be z(-9). Which is smaller: s or 2?
2
Let o = -349.766 - -330.9. Let v = 0.166 + o. Let i = 20 + v. Which is bigger: 0 or i?
i
Let a = -2 + -2. Let k = -8 - a. Let c be (k/(-45))/((-2)/5). Is c not equal to -1?
True
Let q = -3 + -9. Let b be (q/92)/((-3)/(-2)). Suppose 4*x + 7 = -2*c - c, -2*x = 3*c + 5. Is b at least as big as c?
True
Let l(r) = -r**3 - 7*r**2 - 5*r - 5. Let q be l(-6). Let x = -2 - q. Suppose 3*n - o - 21 = 3*o, -2*o = 5*n - x. Which is smaller: 2 or n?
2
Suppose 0 = -3*p, 5*p - 3*p = -3*w - 21. Let y(u) = -u**2 - 17*u - 18. Let c be y(w). Is 52 >= c?
True
Let h(p) = -p**3 - 4*p**2 + 5. Let k be h(-4). Suppose 0 = -4*w + 2*t - 4, 3*w - 7*t = -3*t - 8. Does k = w?
False
Let b = -31.9 - -22.2. Let q = -0.07 + -9.93. Let g = b - q. Which is bigger: g or 0.1?
g
Let m = -50/277 - 28558/1385. Are m and -22 unequal?
True
Let g = -9.5 - -8. Let n = -1.434 + 0.234. Let x = n - g. Is x < -2?
False
Let n = 1125/119 - 3/119. Let b = 351/35 - n. Let i = -0.14 - -0.04. Is b greater than i?
True
Let x(c) = -2*c - 28. Let w be x(-15). Let m be -20*(-1 + 5 + -5)/w. Is m bigger than 9?
True
Suppose -74*n + 1421 = -1021. Which is smaller: n or 35?
n
Let q(n) = n**2 + 12*n - 13. Let y be q(1). Which is smaller: 1 or y?
y
Let q be (1 - (0 + -1)) + 0. Suppose -3 = -v + q. Let g be (-118)/v - (-4)/(-10). Is g <= -24?
True
Suppose 0 = -71*y + 69*y + 58. Let d be (-112)/6*27/(-18). Is d at most y?
True
Let s be (-2)/(-8)*(4 + -8 + 8). Let a = -2 - -0.3. Is s smaller than a?
False
Suppose -2*p - 4*v = 16, -2*p + 0*v + 8 = -2*v. Suppose -d - a = 0, p = -d - 2*d + 3*a. Which is bigger: -3/8 or d?
d
Let v = 354 - 376. Is v greater than or equal to -6/13?
False
Suppose x + 3 = -5*a, -5*a - 4*x + 5*x + 3 = 0. Let r be -70*(-13)/2860 - 1/2. Which is smaller: a or r?
r
Suppose 5*k + 4 = -4*v + 21, 11 = 5*k + 2*v. Are 2/405 and k unequal?
True
Let b(v) = v + 6. Let q be b(0). Let t be ((-80)/15)/4*(-9 - -4). Which is greater: q or t?
t
Let i(v) = v + 16. Let r be i(-13). Let x be r*(0 + (-10)/(-585)). Does x = 1?
False
Let c be 4/(-8) - (-3)/2. Suppose 4*l = -138 + 46. Let k = 114/5 + l. Which is greater: k or c?
c
Let c = 712 - 714. Is -36/19 less than or equal to c?
False
Let b = 193/520 - -3/104. Let y = -7118.87 + 7148. Let u = 29 - y. Are b and u nonequal?
True
Suppose -48*q = -41*q + 21. Which is smaller: q or 0?
q
Let u = 846/11 - 11064/143. Is -0.1 < u?
False
Suppose -3*a + 17 + 10 = 0. Let n(x) = x**3 - 5*x**2 + 3*x - 6. Let b be n(4). Let z = b + a. Which is smaller: -1/2 or z?
z
Let i = 8.3 - -63.7. Let h = -58 + i. Does -1/4 = h?
False
Let i be (-5)/((2 - -2)/4). Let p = 8 + i. Is 6 <= p?
False
Suppose 14*s = 25*s - 11. Which is bigger: s or 2/59?
s
Let q = 1846 - 1836. Which is bigger: 0.44 or q?
q
Let s = -935 - -887. Which is bigger: -1 or s?
-1
Let u be (-10)/(-45) - 23/63. Suppose 0*c + 12 = 4*c. Suppose 0 = -c*p + 6*p. Is p less than or equal to u?
False
Suppose -f + 0*s = 4*s - 2, 3*s = 0. Suppose -f*p + 84 = -6*p. Which is greater: p or -22?
p
Let v = 325 - 347. Which is bigger: -20 or v?
-20
Let o be 39/18 - 3/18. Let n be ((-2)/(-4))/((-2)/(-176)). Let y = n + -45. Which is bigger: o or y?
o
Let b = 3.7 - 1.1. Let n = b + -2.34. Let s = n - 0.06. Which is smaller: -9 or s?
-9
Suppose 4*y - 16 = v, -6 = 4*v + 10. Suppose 8*g - y*g = 5. Let o = -4 - -4.1. Is o at most as big as g?
True
Let h = 51 - 54. Let k be -15 + h + ((-10)/(-2) - 1). Is -11 at least k?
True
Let u be (-4 - (-24)/3) + 195. Which is bigger: u or 198?
u
Let h = -214/3 - -72. Let u = 1 + h. Which is bigger: 3 or u?
3
Let v = 12302 - 36416/3. Is v at least 162?
True
Let s = -0.59 + -1.41. Which is smaller: 2/3 or s?
s
Suppose 0 = 3*z - 6 - 18. Let c = -14 + z. Let i be (-2)/(-88) - (c + 6). Which is bigger: i or 0?
i
Let f be (-3 + (-18)/(-4))/(1/54). Which is bigger: f or -1?
f
Let j be 5225/(-399) + 13 - 359/(-21). Which is smaller: j or 0.01?
0.01
Let k = -7.6 + 2.8. Is 0.08 < k?
False
Let q be (1 - -3)*1 - -2. Let l(y) = -y**2 + 7*y - 2. Let n be l(q). Are -2 and n non-equal?
True
Let n = -25.996 - 0.004. Suppose p - 2*p - 1 = 0. Which is greater: n or p?
p
Let z = 15.89 - 16. Let c = -0.97 - -1.86. Let f = c - z. Is f greater than 0.2?
True
Let f be 626/(-7) - 48/(-112). Is f equal to -88?
False
Let s = 61.61 - 49.671. Let m = s + 0.061. Which is smaller: m or -2?
-2
Suppose -3 = 3*l - 204. Is l bigger than 64?
True
Let p(z) = -z - 4. Let o = -10 - -7. Let v be p(o). Let l = 8 + -8. Is l greater than or equal to v?
True
Let n = -2146050/17 + 101084058/799. Let f = n - 275. Is f less than or equal to -1?
False
Let a = 34.21 + -34. Let j = a - 0.03. Let v = -3.18 + j. Which is greater: 0 or v?
0
Let i = 13 + -7. Let p(q) = -q**3 + 7*q**2 - 7*q - 2. Let b be p(i). Let k(l) = -3*l**2 + 113*l + 35. Let j be k(38). Which is greater: j or b?
j
Let u = -173 + 165. Which is greater: -74/11 or u?
-74/11
Let z = -85.1 - -89.97. Let b = z - 0.87. Is -1.5 < b?
True
Let h be 56/(-1410)*(5 - (-39)/(-6)). Is h greater than -1?
True
Let d = 0.6 - 1.3. Let p = -0.011 - 0.589. Let s = d - p. Which is smaller: s or 3/8?
s
Let k be (5/6)/(-5)*-3. Suppose 4*m + 9 = -5*r - 7, 0 = -3*m - 2*r - 5. Let x be 0/(-2) - m/(-3). Is x > k?
False
Let y = 813 + -1000. Which is smaller: y or 1/3?
y
Let k = -10.4 - 2.6. Suppose 0 = 5*t - 17*t + 192. Let p be (-12)/t*6 + 4. Do p and k have different values?
True
Let z be (-24)/(-15) + 2/5. Suppose 0 = 2*p - 94 - 142. Let w = 358/3 - p. Which is smaller: z or w?
w
Let d = 553 + -549. Suppose g = -5*r + 2, -5*r - 4 = -2*g + 30. Suppose 0*b = -3*b + g. Is d less than b?
False
Let x = 0.436 - 0.036. Let q = -4.2 + -0.8. Which is smaller: q or x?
q
Let t = -24 + 23.79. Let d = t + -1.99. Let h = d + 0.2. Which is smaller: -4 or h?
-4
Suppose m + 4*u + 15 + 8 = 0, -3*u - 24 = 3*m. Let w(d) = -2*d**3 - 5*d**2 - 5*d - 7. Let y be w(m). Let a = y - 18. Is -3/8 at least as big as a?
True
Let k(x) = 2*x**3 - 88*x**2 + 89*x - 128. Let h be k(43). Do h and -8/75 have different values?
True
Suppose 5*k - 2*k = 0. Let v = -129 - -97. Which is greater: k or v?
k
Let l(j) = -2*j**2 + 7*j - 15. Let m be l(7). Let g = -71 - m. Is -11 less than g?
True
Let d be 85/(-1020)*32/(-426). Is d <= 0?
False
Let r(n) = 2*n + 11. Let k be ((-8)/6)/(1*10/45). Let u be r(k). Is u equal to 0?
False
Let x = -327 + 2297/7. Let k = -71 - -135. Let w = k + -64. Does x = w?
False
Suppose -2*b = 5*a + 64, 48 = -4*a + 5*b + 10. Which is greater: a or 2/7?
2/7
Let w be (-770)/(-45) - 0*1/4. Which is smaller: 17 or w?
17
Suppose 5*j + 12 = 27. Let f = j + -3. Let k = -13 - -9. Is f < k?
False
Suppose -1542*d + 1541*d = 2. Which is smaller: -32/31 or d?
d
Let x = 10.5 - 15.415. Let r = x - 0.085. Is r at least as big as 0.02?
False
Suppose -7*r - 50 = 216. Let k = r + 38. Let f = 0.04 + 0.04. Which is smaller: f or k?
k
L