 2?
True
Let l = -0.24 + 0.32. Let d = 0.08 - l. Which is smaller: -18 or d?
-18
Let z(n) = n**3 - 5*n**2 + 10*n. Let l be z(5). Suppose 4*t + 22 = -2*g, -4*g = -0*t + 2*t + l. Is g greater than or equal to -8?
False
Suppose -22*l + 687 = -9983. Is 484 not equal to l?
True
Let y(w) be the first derivative of 9*w**2/2 + 95*w + 46. Let h be y(-14). Is h greater than or equal to -32?
True
Let o = -0.043 + 12.163. Let i = 12 - o. Which is smaller: -0.5 or i?
-0.5
Let b be (-713)/(-150) + (-12)/(-150). Let i(a) = 7*a**2 - 3*a + 2. Let c be i(1). Do b and c have different values?
True
Let h = -754 + 14324/19. Suppose 0*g - 1 = g. Is h < g?
False
Let w be -60*((-6)/(-10))/3*-2. Suppose w*u - 17*u - 7 = 0. Is u > -9?
True
Suppose 4*g - g - 3 = 0. Suppose 2*u = -g - 1, -2*u - 71 = -3*q. Is q less than -2?
False
Let j(r) = 2*r**3 - 3*r**2 - 5*r - 1. Let s be j(-1). Is s >= -3/68?
False
Let r = -127.74 - 1.26. Is 1 greater than or equal to r?
True
Let c = -154 + 478/3. Let l = c - 371/69. Is l >= 1?
False
Let s be (-2 - (-1835)/70)/(-30). Let k = s + 6/7. Which is bigger: 1 or k?
1
Suppose 24*v - 25*v + 2 = 0. Suppose -4*j = v*k + 14, -4*k + j + 3 - 58 = 0. Which is smaller: k or -12?
k
Let v be 218/(77/(-42) + (-7)/42). Is -114 smaller than v?
True
Let n = 6 + -6.3. Let d = n + 2.3. Let r = -14707 - -14707.1. Is d less than r?
False
Let l(r) be the third derivative of -r**6/120 + r**5/10 - r**4/3 - r**3/2 - r**2 + 2. Let x be l(5). Let t(f) = 10*f + 1. Let b be t(-2). Is x smaller than b?
False
Let n = 4715/12901 + 2/679. Let q = 0.2 + -0.3. Is q bigger than n?
False
Let a be 8 + (-3 - 0) + 764/(-154). Which is smaller: a or -2?
-2
Suppose -30 = -14*r + 12. Which is bigger: 7/2 or r?
7/2
Let y = 98 - 51. Suppose 4*k - q + 115 = 0, 2*k - q + y = -4*q. Which is smaller: k or -27?
k
Let t = -6 - -5. Let s = 434/1157 + -6/89. Are t and s unequal?
True
Let g = 3 - 4. Suppose -2*w + 0*w - 32 = 0. Let s be 6/4*w/(-60). Is s not equal to g?
True
Let u = 34 + -12. Let t(v) = -v**3 + 22*v**2 + 22. Let h be t(22). Is h smaller than u?
False
Let o be (-11)/(-3) - (2 - -3 - 2). Let d(b) = -2*b - 2. Let i be d(2). Let w be 4*i/(-8) + -3. Which is greater: o or w?
o
Suppose -114 - 313 = w + 4*n, 3*w + 4*n + 1305 = 0. Are -439 and w unequal?
False
Let m(s) = -7*s - 41. Let l be m(-6). Which is greater: l or 17/23?
l
Let j be 4*(0 - -3 - 1). Let b be 2/j + (-69)/4. Is b < -17?
False
Let d be 59/(-11) + (-1 - 0). Let f = d + 1146/187. Suppose -2*n + 0 - 10 = -5*g, 0 = -3*n + 3*g - 6. Is n greater than or equal to f?
True
Let u = 10.81 + 0.19. Let g = u + -11.12. Let l = g + -1.88. Is l equal to -1/4?
False
Let c = 150/23 + -1536/299. Suppose -10 = -2*u - 3*u. Is c less than or equal to u?
True
Let w = 1610866/117 + -13768. Let q = -4/13 + w. Which is greater: q or -1?
q
Let v be 995/2388*3/20*14. Which is greater: 24 or v?
24
Suppose -11 = 2*o - r, 5*o + 2*r = -3*r - 5. Let u(d) = -d. Let l be u(o). Suppose y - 20 = -l*y. Is y smaller than -1?
False
Let y(v) = v**2 + 6*v - 2. Let n be y(-7). Suppose 18 = -n*d + 3*d. Let i = 5 + d. Do 0 and i have different values?
True
Let t = 9497 - 9553.37. Let b = 56 + t. Let q = -0.63 + b. Which is smaller: 0.1 or q?
q
Let z = 14035/8 + -1749. Are z and 5 unequal?
True
Suppose 5*h + 0*h - 2*y = 39, y = h - 6. Suppose -3 + 15 = 2*q + 3*a, 2*q + 5*a = 4. Which is smaller: h or q?
h
Suppose 0 = 8*g - 0*g - 88. Which is smaller: g or 10?
10
Let y = 4 - 2. Let b = 28 - y. Let j be 4/b + 10/(-234). Which is greater: j or 0?
j
Suppose 3*j + b = -25, -13 = j + 3*b + 6. Let k = -138 + 92. Let q = k + 47. Is j bigger than q?
False
Let r be (-4 + 5)*(1 + 60). Let t be (192/(-40))/((-4)/50). Is r not equal to t?
True
Let r = -66.6 + -183.4. Which is smaller: -2 or r?
r
Let f = -13 - -9. Let p = 7 + f. Suppose -p*a + 2*a + 1 = 0. Which is greater: a or 21?
21
Let w be (-2 - 2)/(-3 + 1). Suppose -p = 4*u, 3*p = 3*u + 6*p. Suppose 6*q + 4*q + 10 = u. Is q != w?
True
Suppose 0 = -7*a + 16 + 89. Suppose -2*h - 7 = -4*q + a, h + 20 = 5*q. Suppose l + 2*j = -1, -q*l + 1 + 6 = -4*j. Which is smaller: l or -4/19?
-4/19
Suppose -4*v + 13 = 5*k, -5*v + 2*v - 19 = -2*k. Suppose -y = 3*g - 5, -k*y + 3*y = 3*g + 5. Which is smaller: y or -11?
-11
Let l = 0.83 - 1.09. Let o = l + -0.74. Is o bigger than 4/11?
False
Let h(q) = -2*q + 58. Let m be h(24). Let f be (m/25)/((-154)/10). Is f >= 1?
False
Let p(c) = c**2 - 3*c + 3. Let g be p(3). Is g != 48/13?
True
Let k = 617 - 482. Which is smaller: -1 or k?
-1
Let c be 18/2 + -1*(-11 + 7). Is 13 <= c?
True
Let x = 144/13 + -141/13. Is x less than -0.7?
False
Let i = 0.309 - 0.409. Which is smaller: -378 or i?
-378
Suppose 25*q + 323 = 8*q. Which is greater: q or -17?
-17
Suppose -651*h + 659*h - 1384 = 0. Which is smaller: h or 176?
h
Suppose 6*f + 7 = -35. Is 33 <= f?
False
Let k be (-217)/279 - 2/(-18). Let y = -12 + 1. Let h = 8 + y. Do k and h have the same value?
False
Suppose -r - 6 = -2*t, -2*r - 12 = -0*r + 2*t. Let o be r/4*30/(-9). Suppose o*m + 0*m - 15 = 0. Which is greater: m or 0?
m
Let v = -340 + 230. Let p = v + 111. Is p at least as big as 1/27?
True
Let v = -38 - -53. Suppose -4*x + 6*x = -j + v, 5*x = j + 34. Let y be (-4)/x + 24/(-21). Is y smaller than 0.1?
True
Let r be 24/36*(-234)/(-4). Suppose 5*l + 2*s - r = 0, 3*l - 3*s + 11 = 47. Suppose 20 = t + 3*d, -2*t - 3*d + 43 = l. Is t at most 29/2?
True
Let h be ((-14)/(-7))/(4/142). Let a = -211/3 + h. Suppose -312 = 2*f + 11*f. Is f greater than or equal to a?
False
Let a = -8 - -3. Suppose 2*t + 3*c + 11 = -20, -5*t - 49 = -2*c. Let b = t + 9. Which is bigger: a or b?
b
Let k = -4.9 + 7.7. Let y = k - -0.2. Which is smaller: 1.4 or y?
1.4
Let r(w) = 7*w**2 - 7*w + 6. Let q(h) = -h**2 - h - 1. Let t(g) = 5*q(g) + r(g). Let d be t(7). Which is smaller: d or 14?
14
Let a be ((-2 - 1) + 3)*-1. Let o(v) = -v - 4. Let m be o(-5). Let f be -3*(m - 3)/(-16). Which is greater: a or f?
a
Let t be 2/(-8) - (-1470)/(-40). Let d = 31 + t. Is -4 bigger than d?
True
Let r(o) = -6 - 15*o + 2 + 1. Let p be r(7). Let i be (-66)/p + (-2)/(-9). Which is greater: i or 1?
1
Let v = 42 - 43. Let z = -349/8 + 44. Is v at least as big as z?
False
Let c be (-1025)/(-10)*1/30. Is 4 less than c?
False
Let z(u) = u. Let g(v) = 53*v - 6. Let x be g(6). Let y be x/(-22) + 4/22. Let o be z(y). Which is bigger: o or -15?
o
Let f = -2124 - -1409. Is f equal to -715?
True
Suppose 5*p + 9 + 26 = 0. Let h(j) = -j**2 - 8*j - 7. Let d be h(p). Let v be d/((-3)/(-3 - -6)). Which is greater: 0.04 or v?
0.04
Suppose 2*l = -i - 554, 2*i + 2735 = -3*i - 3*l. Is -542 smaller than i?
False
Let z be (2 + 5 + -7)/(-2). Which is smaller: z or -1/1086?
-1/1086
Let m be (4/(-2))/(-4)*-2. Let y be 3828/(-639) + ((-7)/42 - 407/(-66)). Which is smaller: y or m?
m
Let l be (42 - 7622/185)/(6/(-155)). Suppose -4*z + 4*j = 96, 2*z + 2*j + 84 = -2*z. Which is greater: l or z?
l
Let h = 12441044/981 - 12682. Which is smaller: 0 or h?
0
Let v = 0.12 + -0.02. Let w = 0.8 - v. Let u = w - 1.4. Which is greater: u or 0?
0
Let r = -7 - -22. Let b be 206/10 + (-9)/r. Is b greater than or equal to 21?
False
Let h be 0 + (-2 + 5)/(-1). Let q be 48/(-40) - 9/(-45). Which is smaller: h or q?
h
Let n be 4 - (4 - (-4 - -4)). Suppose 3*p = -5*b - 4, b + n*p + 10 = 4*p. Let c be (-33)/30*b + -1. Which is greater: 1 or c?
c
Let c = 0 + 25. Let o = c - 12. Is 0 bigger than o?
False
Let n = 13 + -9. Let k be (20/(-6))/(8/24). Let h = k - -12. Are n and h unequal?
True
Let d(i) = -2*i**2 - 5*i - 1. Let j be d(-4). Suppose 0 = -2*s - 0*s + 10. Suppose s*c - 4*w + 0*w + 66 = 0, 5*c + 74 = -4*w. Is c bigger than j?
False
Suppose -4*h = 3*g - 35, -5 = -h - 2*h + 2*g. Let z(p) = p**3 - 6*p**2 + 4*p + 4. Let u be z(h). Let d be (1 + u)/((-28)/14). Which is bigger: d or -1?
d
Let x = -39.015 - -0.015. Let a = x + 42. Which is smaller: a or 21?
a
Let q = -210 - -295. Which is smaller: q or 84?
84
Let j(p) be the second derivative of p**3/3 + 2*p**2 + 19*p. Let i be j(-3). Is 0 less than i?
False
Let h(r) = r**2 + 5*r + 6. Let c be h(-4). Let t be c/(-7) + (-1344)/98. Which is smaller: -15 or t?
-15
Suppose -v + 2*r = -2*v - 9, -5*v = r. Suppose 15*b = 16*b - 8. Let u be 2/(-4) + b/(-16). Which is smaller: u or v?
u
Let 