 0 equal?
False
Let k = 111/214 + -2/107. Let h = -34 - -36. Let x be ((-63)/h)/(-9) + -4. Is x smaller than k?
True
Let u = 594 + -590. Is u <= -10?
False
Let p(f) = -f**3 + 6*f**2 + 7*f + 1. Suppose -10*z + 28 = -6*z. Let a be p(z). Does a = 1/20?
False
Suppose 101 - 23 = v + 4*y, -134 = -2*v + 3*y. Which is smaller: v or 71?
v
Let s = 121 + -104. Let t = -29.033 + 0.033. Let b = s + t. Which is smaller: b or 0?
b
Let d = 6.0397 - 0.0397. Which is smaller: 2 or d?
2
Let i be (-11)/20 - 116/(-145). Is 120 bigger than i?
True
Suppose b - 6*b - 70 = 0. Let y(r) = r**3 + 2*r + 12. Let c be y(0). Let t = b + c. Is t at most -3/5?
True
Let r = 0.4 - 2. Let i = 123/4 + -31. Which is smaller: i or r?
r
Let k = -0.75 - -1.15. Let n = 0.6 - -4.4. Let z = 3 - n. Do k and z have different values?
True
Let d = 10 - -2. Let n = 7 - 13. Let z = n + d. Which is smaller: z or -1/3?
-1/3
Suppose 4*p = m, p = 2*p - 4*m. Let h be -1 + 17/(-13) - p. Is -1 bigger than h?
True
Let j(l) = l**3 + 3*l**2 - 5*l - 2. Let m be j(-4). Suppose -2*s - 73 = 5*h + 147, 52 = -h - m*s. Let y be 3 - -2*57/h. Is y at most 3/2?
True
Let o be (-1)/(-2)*(-45 + -3). Let k be 2 + 36/(-16) + (-2)/o. Which is smaller: 1 or k?
k
Let s = -79 - -137. Let z = -54 + s. Which is bigger: 0.02 or z?
z
Let o = 344265/263 + -1309. Which is greater: 0 or o?
0
Let a = -24 - -24.09. Let l = 0.61 + a. Let y = 0.2 - 0.3. Is y greater than l?
False
Suppose 5*l - 3*l = 4*x - 184, -x - l = -43. Is 45 bigger than x?
False
Let y = 0.009 + -0.009. Let m be 42 - ((1 - 2) + 3). Suppose f = -4*f + m. Which is smaller: y or f?
y
Let y = -0.9 - -2.8. Let u = 2.8 - y. Is -1 > u?
False
Let m(w) = 3*w - 28. Let t(z) = -4*z + 42. Let y(a) = 7*m(a) + 5*t(a). Let q be y(10). Which is bigger: q or 25?
25
Suppose -3*z = -2*z - b - 3, -z - 2 = 4*b. Suppose z*i + 3*i - 2*l - 48 = 0, 2*i + 3*l = 4. Is 20/3 < i?
True
Let w = 0.049 - 2.549. Let s = 4.5 + w. Is 1.6 less than s?
True
Suppose -5*y + 3*o = -o - 667, -3*y = 2*o - 387. Are 131 and y nonequal?
False
Suppose 4*o = -2*o + 18. Suppose -2 = -o*p + 4*p. Let u = -0.1 + 1.1. Are p and u equal?
False
Let g be (-2 - 17289/(-8640))*2. Are g and 0 equal?
False
Let o be (1 - 1224/(-10)) + 2/(-5). Let l be 1*o/(-6)*10/5. Is -42 at most as big as l?
True
Let w(b) = 20*b - 18. Suppose v + 2*l - 1 = -6, 5*v - l = 19. Let s be w(v). Is s at least 2?
True
Let w be (-2)/9 + (-4)/(-18). Let z = -24/7 - -199/56. Which is bigger: z or w?
z
Let d = -96 - -106. Let n be 8 + (-136)/16 + (-7)/d. Which is greater: n or 4?
4
Let m be -9*(-55)/10 + 3 + -7. Which is smaller: m or 45?
45
Suppose 14*x - 386 + 764 = 0. Let i = -527/5 - -105. Is i less than x?
False
Let o = -0.731 - -1.191. Is 2/3 greater than o?
True
Let q(x) = -x**3 - 4*x**2 - x + 1. Let j be q(-4). Suppose 0 = -j*s + 45 + 15. Let n(g) = g**3 - 13*g**2 + g - 1. Let h be n(13). Is h <= s?
True
Let i be ((-2)/4 - (-18)/6)*2. Let f be 7/i + (-4)/10. Let n = 128/583 + -2/53. Is f bigger than n?
True
Let y be 1/(2/(-6)*(-5 + 4)). Which is bigger: y or 11?
11
Let u = 1834 + -5500/3. Let x = -34 - -24. Which is smaller: u or x?
x
Let g(w) = w**3 - 8*w**2 + 7*w - 9. Let b be g(8). Let i = 1819/3 + -560. Let z = b - i. Which is bigger: z or 1?
1
Let j = 1.19 + -1.2. Let l = 0 - j. Let a = -2.01 + l. Which is smaller: -0.1 or a?
a
Suppose 4*r + 6 = 2*y, 0 = 7*y - 3*y - 4. Which is bigger: r or -2/4115?
-2/4115
Let m(s) = 7*s + 26. Let a be m(-3). Suppose 2*d = -a*h, -2*d + 4*h = -0*d. Is d equal to 2/227?
False
Let k = 60 + -37. Let r = -23.5 + k. Is r at most as big as -2?
False
Let w = 11 + -82. Let x = 70 + w. Is x less than or equal to -2?
False
Let l be 2/(4/(-14))*3. Let g be 10 - (-4 - -4 - -3). Suppose 16*z = 9*z - g. Which is greater: z or l?
z
Let l be ((-2)/5)/(1/(-5)). Let a = -220109 + 1538246/7. Let p = -359 - a. Which is bigger: l or p?
l
Let t = -276 - -87. Let n be (-201)/t - (-2)/9. Let g(u) = -u**3 - 10*u**2 + 10*u - 9. Let b be g(-11). Is n equal to b?
False
Let y(c) = -c**2 - 7*c - 1. Let r(p) = 2*p**2 + 14*p + 1. Let q(s) = 3*r(s) + 7*y(s). Let g be q(-5). Suppose -h + g*h = -65. Is -14 >= h?
False
Let z be (1*(-36 - 0))/(4/30). Which is greater: z or -271?
z
Let s be 2 + 2 + -8 + 8 + 126. Let b = 132 - s. Let p(x) = -2*x - 1. Let w be p(-2). Is b less than w?
True
Suppose 3*q - 1989 = 4*w, -3*w + 4*q - q = 1491. Is 1 greater than or equal to w?
True
Let s = 375 + -684. Is s not equal to -308?
True
Let q = 12.8 - 14. Let x = -1 - q. Suppose -3*k - 10 = -1. Is x less than k?
False
Let y(p) = 6*p. Let z be y(1). Let o = 2209 - 2203. Are o and z nonequal?
False
Let h be (-1326)/(-130) - (-1)/(-5). Let s be 3*h/(-6) - 1*-4. Let v = 16/7 - 254/105. Which is greater: v or s?
v
Suppose 54 - 3 = 3*t. Suppose -37 - 219 = -4*q. Suppose -2*h = 4*y - q, -y + h + 70 = 3*y. Is t > y?
False
Let u = 28.01 - 27.95. Which is smaller: u or -83?
-83
Suppose -f - 13 + 42 = 5*u, 3*f = u + 7. Suppose a + 4 = -f. Let z(i) = i**2 + 8*i - 1. Let y be z(a). Which is greater: y or -3/4?
-3/4
Let z be -2*((-21)/6 - -2). Suppose -z - 62 = 5*g. Let p(k) = k**2 + 17*k + 28. Let s be p(-14). Which is bigger: s or g?
g
Let b(q) = 9*q**2 - q + 1. Let p = 1 + -6. Let v = -4 - p. Let l be b(v). Is l bigger than 8?
True
Suppose -4*m - 22 = -3*i + m, -2*i + 2*m = -12. Which is smaller: 84/17 or i?
i
Suppose 38*a = 42 + 148. Let b be 3 + -2 + -3 - -5. Which is greater: b or a?
a
Let u(s) = -57*s + 561. Let d be u(21). Is d greater than -636?
False
Suppose -2*u - 131 = -5*j, 37*j = 36*j - 1. Which is smaller: -347/5 or u?
-347/5
Let o = -27 + 30. Suppose 8*f + 120 = o*f. Is f at least -23?
False
Let w(y) = -y**2 + 3*y + 68. Let h be w(10). Let a be (-12)/9*(-3)/2. Let r be -2 + -1 + a/(-6). Which is smaller: h or r?
r
Let f(l) = -l**3 - 4*l**2 + 4*l + 10. Let m be f(-4). Let y be ((-12)/8)/(m - -9). Let v = -0.08 + 6.08. Is y equal to v?
False
Suppose -4*t + 47*j - 44*j = -406, 0 = 4*j + 8. Is t at least as big as 100?
True
Let d = -6.67 - -7. Let t = 0.53 - d. Is t >= -1?
True
Let r = -676 - -657.18. Let o = -0.18 + r. Let n be 2 + (6/(-28) - 1830/1260). Which is smaller: o or n?
o
Let z = 33 - 29.4. Let u = 0.4 + z. Let a be (57/133)/((-3)/2). Is u less than a?
False
Suppose -248 = -3*l - 1844. Let q = 172 + l. Let i be 170/q - 2/(-8). Is i smaller than -0.1?
True
Let j = 10 + -4. Let n(t) = -11*t - 26. Let x be n(-5). Let s = 34 - x. Which is bigger: s or j?
j
Let x = -0.3 - -49.3. Is 3 greater than x?
False
Suppose 9*d = 4*d - 55. Suppose -3*r - 57*r - 360 = 0. Which is bigger: r or d?
r
Let v be (-50)/15 - (20/6)/5. Let y be 7 + 2/(2/2). Let g be (y/18)/((-1)/5). Which is greater: g or v?
g
Suppose 0 = -16*f - 189 + 221. Is f smaller than 30/13?
True
Suppose 0 = -u + 148 + 19. Are u and 167 unequal?
False
Let l(w) = w**3 - 4*w**2 - 23*w + 6. Let t be l(7). Is 9 not equal to t?
True
Let x(w) = w**3 + 21*w**2 - 23*w - 8. Let h be -30 - -4 - -2 - -2. Let v be x(h). Let y = v + -13. Is 4 > y?
True
Let m(i) = i**3 - 15*i**2 + 16*i + 12. Let p be 3/(-2) + (-62)/(-4). Let l be m(p). Suppose 0 = -3*q + q + l. Is 20 at most q?
True
Suppose -3*u = 3*z - 12, 0 = 3*z + z - 3*u - 16. Suppose 0 = -0*v + z*v. Let d be v - 3*(-5)/3. Is 5 at least as big as d?
True
Let v(o) = 2*o + 1. Let m be v(7). Suppose 4*p - 21 = m. Suppose 4*f = p*f. Which is greater: -1/3 or f?
f
Suppose o - 3 = -1. Let r be (o + 2928/(-1470))*(-6 - -1). Is r > -1?
True
Let y = -331 + 332. Which is bigger: y or 138?
138
Let z = 256 - 328. Do z and -70 have the same value?
False
Let d be 44/24 + -2 + (-26)/(-84). Is d <= -4?
False
Let d = -24.65 - -24.4. Which is smaller: d or 0.4?
d
Let k = 7.8 + 2.2. Suppose -7 = -3*v - 2*n, -3*n = -3*v + 2*v - 5. Which is bigger: k or v?
k
Let r(u) = -u**2 + 17*u + 15. Let t be r(17). Let x = 4 + t. Let g be 1 + (17 - (0 + 0)). Which is smaller: g or x?
g
Let o = -170 + 170. Let d(h) = -5*h**3 - h**2 - h. Let t be d(-1). Let g = t - 1. Is o not equal to g?
True
Let d = 65 + -61. Suppose -d*i = -0*i + 16. Is i > -4?
False
Let a = -515 - -514. Which is smaller: a or 3/212?
a
Let p(n) = n**2 + 4*n - 1. Let l be p(-6). Let g(h) = h**3 - 12*h**2 + 10*h + 10. Let z be g(l). Suppose -4*f = 26 - 2. Is f bigger than z?
False
Let t = -29/4 + -73/4. Let i = 361/14 +