w be h(c). Is w != 21?
True
Let j = -8 + 13. Let f be 5/18*(-2)/j. Which is smaller: 0 or f?
f
Let o = -87477898/2235 - -39140. Let y = o - 27716/2235. Are y and -12 equal?
False
Let x = 54 + -21. Let b = x + -30. Is b != -1?
True
Let x(m) = m**2 - 10*m + 1. Let p be x(7). Let b be (-24)/105 - 16/p. Which is smaller: b or -11?
-11
Let x(j) = -15*j + 9. Let i be x(-6). Is 99 bigger than i?
False
Suppose m + 580 = -3*m. Let a be 1/(-5) - m/(-25). Let z = 4 + -10. Is z < a?
False
Let d be 8/20*5/(-20). Which is smaller: d or 1?
d
Let g(b) = -b**3 - 2*b**2 + b - 3. Let y be g(-3). Let c(r) = r + 17. Let h be c(-16). Suppose -l + h = -0*l. Do l and y have different values?
True
Let z = -30 + 29.9. Which is greater: z or 70?
70
Let j = 1421/6 - 242. Which is smaller: -6 or j?
-6
Let i = -306 - -306. Which is greater: -129 or i?
i
Let y = -26 + 40. Let s = y + -13.8. Are -30 and s equal?
False
Let u(h) = -h**2 + 5*h + 19. Let o be u(6). Is o >= 26?
False
Suppose 5*y - 13 = 3*d - 0*y, 17 = 3*d + y. Suppose -a + 12 = a + 5*f, 0 = -d*f. Let t be ((-4)/(-12))/(2/a). Is t <= 1/16?
False
Let w = 0.43 - -4.47. Let u = w - 1.9. Is -1.2 less than or equal to u?
True
Let i = -61 + 13. Let p = 47 + i. Is -5/7 equal to p?
False
Let b(x) = -x**3 + 4*x**2 - 6. Let o be b(2). Let a be 10/(-124)*o/(-10). Which is smaller: a or 0?
0
Let s be (-1638)/15 - 3/(-15). Suppose 67*m - t - 328 = 70*m, -5*m - 544 = 3*t. Which is greater: s or m?
s
Let c = 2/66417 + 372935/730587. Let j = 11106/13 - 855. Let u = c + j. Is -1 greater than u?
False
Let q = -211/10 - -21. Is q not equal to 1/11?
True
Let b = -5613/2 + 2718. Let t = 89 + b. Is 1 greater than t?
True
Let p be 1/(3/(-14) + (-4)/14). Let r be p - 3/6*-2. Is 2/47 > r?
True
Let i be (-4)/(-6) + 46/3. Suppose 5*m - 106 = -4*b, -b + 46 = b - m. Let r be (-14)/3*b/i. Is r at least as big as -8?
True
Let z(t) = -665*t + 11. Let a be z(-1). Is a smaller than 676?
False
Let j be (2/(-3))/(2/(-3)). Let l be 13/27 + 64/(-192). Is l equal to j?
False
Let r be -2*-197*18/(-12). Do r and -593 have different values?
True
Suppose 2*p - 12 = -2*c, 3*c = 4*p - 3 - 7. Let f be (c*-2)/(-4) + 0. Let k be (1 + (-2)/3)*5. Is f at most as big as k?
True
Let i be (-1 + 0)*(-6 - 9/(-3)). Suppose 4*s - 4 = 0, -4*c + 61 = -i*s + 4*s. Which is smaller: 16 or c?
c
Let y(f) = -f - 5. Let j be y(-7). Suppose j*x + 0*x = -6. Let g be (42/189)/((-1)/15). Which is greater: x or g?
x
Let i = -30 + 30.14. Let n = 0.13 - i. Are n and 0 non-equal?
True
Suppose -5*o + 8 = -o. Suppose -o*a - 134 = -5*z + 801, -20 = -4*a. Let r be 7/(z/24)*-6. Is r bigger than -6?
True
Suppose -4*v + 10682 - 2756 = -5*w, 5*v + 3177 = -2*w. Which is bigger: w or -1587?
w
Let q = 332.2 - 332. Are q and 56 equal?
False
Suppose 4*n - 5*n + 3*f = 14, 0 = -3*f + 9. Let j be ((-48)/(-60))/(22/n). Which is smaller: 4 or j?
j
Let w = -0.0345 + -0.1655. Do 2/57 and w have the same value?
False
Let u be (-11)/(495/(-36))*260/(-8). Which is bigger: -23 or u?
-23
Suppose k + 2 = -6. Let o be k - (-3 + -1) - 48. Let w be (-13)/o + (-7)/(-36). Which is smaller: 0 or w?
0
Let f(p) = 2*p**2 - 46*p + 44. Let j be f(22). Which is greater: -1/221 or j?
j
Let w be 10*(-18)/(-1620)*24. Let z(p) = -p - 1. Let r be z(-5). Is r at least w?
True
Let t = -4763 + 33338/7. Let l(m) = -m**3 + m + 3. Let d be l(0). Let f be 13/(-6) - (-6)/d. Are f and t equal?
False
Let d = 3.8 - -1.2. Let l = 5.88 - -0.12. Let x = d - l. Is x bigger than 1?
False
Let r be ((-5)/(-170))/(1/(-4)). Suppose 9 = -4*s + q, -4*q + 5 = 5*s - 10. Is s <= r?
True
Let n = -13 - -10. Let x be -2 + (-2 - n) - -5. Suppose 5*p + 6 + x = 0. Which is smaller: -7/4 or p?
p
Let v = 76 - -44. Let b be (-3)/(-8) - (-75)/v. Which is bigger: -1/19 or b?
b
Let c be (17 + -2)/(6/(-4)). Let a = 83 - 83.106. Let y = a - -1.106. Which is smaller: c or y?
c
Let c = -1285 + 1288. Are 30/13 and c nonequal?
True
Let b be 72/(-756) - (-11630)/(-42). Is -278 > b?
False
Suppose 10 = 3*t + 2*r, 5*r + 0 = 5*t + 25. Which is smaller: t or 4/3?
t
Let w(g) = -21*g**2 - 7*g + 9. Let i be w(-4). Is i less than -299?
False
Suppose 0 = -d - 3*d + 20. Suppose 4*c = -d - 7. Let p(k) = k**2 - 4*k - 9. Let u be p(5). Which is smaller: u or c?
u
Let z = 741/2 + -382. Suppose 4*d + 3*u + 41 = 0, 7*u - 2*u - 38 = 3*d. Let a = z - d. Is -5 less than a?
True
Suppose 2*c = -4*k - 0*c - 144, 2*c = k + 36. Is k != -48?
True
Let y be 64 + 1 + (1 - 2). Suppose 2*h = -2*h - y. Let k = h + 15. Are -2/63 and k nonequal?
True
Let i be (3 - 1) + 1 + 3. Suppose -3*n = 21 + i. Is -9 != n?
False
Let i = 234 - 234. Is i greater than or equal to 2/813?
False
Let z = -13.82 + 14. Let l = z + -8.18. Let o = 8.2 + l. Do o and -0.7 have the same value?
False
Suppose 0 = 201*o - 291*o - 1710. Let f = -32 - -12. Is f less than or equal to o?
True
Let d = -2/21 + -18/7. Let s(x) = x**2 + 6*x - 10. Let t be s(-7). Which is greater: d or t?
d
Suppose 0 = 3*k + 3*k - 120. Let p be (k/(-30))/(2/39). Is p < -14?
False
Let w be 57*156/567 - 4/7. Which is smaller: w or 16?
w
Let x = 26 + -12. Let r be -3 - x - 1 - -2. Let z = r + 11. Which is bigger: z or 2/7?
2/7
Let c = -509 + 509.43. Which is greater: c or -2?
c
Let j = -0.76 - -0.86. Which is smaller: -9 or j?
-9
Let d = -18 - -28. Suppose 4*y - 12 = 5*j, -2*j + 2 = d. Which is smaller: -3 or y?
-3
Suppose 10*h - 5*h = 130. Let w be ((-10)/4)/((-117)/h). Is w greater than 1?
False
Let u be (-31)/7 - ((-578)/(-119))/(-17). Is u not equal to -5?
True
Suppose 0*l = 2*l + 16. Let q be ((-5)/(-550)*5)/((-6)/l). Is 0 at least as big as q?
False
Let a(v) = 39*v + 338. Let i be a(-8). Is i smaller than 23?
False
Let w be -3*7 + 10/(22/11). Let k = 8 - 23. Are k and w unequal?
True
Let g be 38/323 + (-948)/(-34). Which is greater: 4/9 or g?
g
Let h(m) = -m**3 - 14*m**2 - 27*m - 11. Let y be h(-12). Let l = 32 - y. Is l < 6?
False
Let h be (-1 + 8/10)/((-120)/200). Let o = 5.13 + -0.13. Which is smaller: h or o?
h
Let x be (-6)/(-45) - (-13)/15. Let b be (3/(-18))/(28/(-130)). Let n = b + -1/42. Is n < x?
True
Let s = -2 - 5. Let q(k) = k**2 + 9*k + 9. Let h be q(s). Let y be h/(-60) - 3/9. Do y and 1 have the same value?
False
Let b = 10.2 + -32.2. Let t = b + 24. Is 30 at least t?
True
Let p = -353.9 + 446. Let n = p - 92. Which is smaller: -7 or n?
-7
Let y be (-126)/(-2)*4/6. Suppose y = -3*j - 15. Suppose -10*r + 14*r = -72. Which is bigger: r or j?
r
Let q be (-2 - 11/(-6)) + (-1195)/30. Let s be (-10)/q + 39/(-164). Is -1 > s?
False
Suppose -4*v - 239 = -r, 3*v - r + 0*r = -178. Let h be 121/(-2) - (-22)/44. Is h smaller than v?
False
Let k = 337/55 - 52/11. Let v be (6/(-9))/((-6)/9). Is k smaller than v?
False
Suppose 0 = 4*d + 2*c + 14, 0 = d + 4*c + 8 + 13. Let b(r) = r**2 - 3*r - 2. Let l be b(4). Which is bigger: d or l?
l
Let m = 832 - 832. Which is greater: 9/23 or m?
9/23
Let b(n) = 18*n - 823. Let s be b(59). Is s > 240?
False
Let r be 1/2 - (-20)/8. Suppose -2 = -v - r. Let g = -344/273 - -17/13. Which is greater: v or g?
g
Let k(x) = 0*x**2 + 4*x**2 - 3*x - 3*x**2 - 2 + 4*x. Let z be k(4). Let g be (-174)/z + 2/3. Is g less than -9?
False
Let r be (-8 - 19)/(3/2). Let z be (1 + -7)/(r/84). Is z at most 27?
False
Let m be (-1)/(-2) + 41/(-80). Let n = 1051 - 1050. Which is bigger: n or m?
n
Let g = 113362/5083 + -58/391. Is g > 2/7?
True
Let m = 437 + -425.4. Is -1/6 at most as big as m?
True
Suppose -5*v + 26 = -54. Is v at least as big as -1?
True
Suppose 2*k = -5*k. Suppose k = 11*a + 6 + 5. Is a != 2/197?
True
Let d be 95/456*12 - (10/(-4) - -3). Suppose 3 = 4*l - 5. Are d and l non-equal?
False
Suppose 3*l = 613 + 35. Let g = l - 78. Let h be (-142)/g + (8 - 7). Which is smaller: h or 0?
h
Let h = 41 + -44.8. Let u = h - -2.5. Let t = 1.37 + u. Which is greater: -2/5 or t?
t
Let y = 295 - 296. Which is smaller: y or -10/39?
y
Let p(l) be the third derivative of l**4/12 + 2*l**3 - 4*l**2. Let o be p(-5). Is 2 greater than o?
False
Suppose -4*d - 11 = g - 3*d, -g - 4*d - 20 = 0. Let i be g/(-10)*15/42. Is 1 greater than i?
True
Let h = -1114/7 - -159. Do h and 0 have different values?
True
Let s = 5 + -6. Let u be 29/7 - s - (-2)/(-14). Is u at least as big as 19/3?
False
Suppose -3*c + 23 = s, 3*c - s = 4*s - 7. Suppose -4 = 8*x 