?
False
Let h = -30/17 - -784/425. Which is greater: h or -1/4?
h
Let l be 4/(-26) + (-48)/26. Which is smaller: l or 3?
l
Let v(t) = t**3 + 7*t**2 - 18*t - 12. Let y be v(-9). Is y equal to -6?
False
Let p be 8/(-28) + 69/21 - 24. Which is bigger: p or -23?
p
Let l = 52 - 50. Which is greater: -16 or l?
l
Let s(r) = 2*r + 22. Let c be s(-15). Suppose 0*p + 5*x - 45 = 2*p, -3*p - 42 = x. Let i be (-10)/p + c/(-6). Does i = 3?
False
Let g(t) = -t - 4. Let m be g(-3). Is m at least as big as 2/309?
False
Let v = -0.083 - 0.002. Which is bigger: 0.1 or v?
0.1
Let l be -3 + 2 + (-164)/2. Let z be 345/4 + -2*2. Let t = l + z. Which is bigger: 1 or t?
1
Let s be (-1 + 2)/3*-2. Let b = 0.79 + 0.21. Which is greater: s or b?
b
Let h = 6 + -11. Let r = -5 - h. Suppose r = k - 3*k. Does k = 0?
True
Let t = -12 + 16. Let m be ((-5)/(-2))/(2/12). Suppose 0 = t*w + w - m. Is 5 less than w?
False
Suppose j - 366 = 100. Suppose 4*b - j = -v, v - 115 = 3*b - 4*b. Let w = b - 1055/9. Is w <= 0?
True
Let b = 17 - 16.91. Is b less than or equal to -3?
False
Let y = -0.03 + 0.13. Let t be (-4)/(-2) - 0 - -1. Suppose -4*r + 2 = -3*s - t*r, -r = 4*s - 9. Which is greater: s or y?
s
Let b be 988/490 + (-20)/10. Let q = b - -69/10780. Which is greater: 1 or q?
1
Let o(b) = -b**2 + 5*b - 4. Let s be o(5). Let r = 4 + s. Is r greater than or equal to -1/13?
True
Let i(z) = z**3 - z + 2. Let t be i(2). Which is smaller: -6 or t?
-6
Suppose 27 = -5*b - 38. Let q = -7 - b. Let f = q - 9. Does -3 = f?
True
Let u = 1 - 2. Let p be (3 - u) + (3 - 2). Suppose 0 = -3*j - 2*v + 5*v, 0 = -4*j - p*v. Is j greater than or equal to -6/11?
True
Let j(z) = z**3 + 6*z**2 - 9*z - 4. Let o be j(-7). Let l = -7 + o. Is l less than or equal to 4?
True
Let m be 2/(-8) + 8/(-32). Let t be -6*(-1)/8 + -1. Which is smaller: m or t?
m
Suppose -3*v = 5 - 8. Suppose s = 2 - v. Is 1 > s?
False
Let f = 20 + -13. Do 1 and f have different values?
True
Let b = 6.4 + -6.09. Is b < -1?
False
Let g = -8.94 - 0.06. Let k = 7 + g. Which is bigger: k or 1?
1
Suppose 52 - 280 = -12*b. Which is greater: b or 18?
b
Let s = -89 - -806/9. Which is bigger: 1 or s?
1
Let p be 4/2*(0 - -2954). Let k = -289482/49 + p. Let o = k + 4/49. Do 1 and o have the same value?
False
Suppose 3*l = 2*l + 23. Does 22 = l?
False
Let z be (1 - 1 - -4)/2. Suppose 0*x = -z*x. Is 0 not equal to x?
False
Let v(b) = 2*b + 7 - 2*b - b. Let x be v(0). Is x not equal to 7?
False
Let r = 16343/65 - 3262/13. Let o = -3533/11440 - -1/880. Let t = o + r. Is t != 1?
True
Let d = 0 + 1. Let u(s) = -2*s**3. Let p be u(d). Let h be 3 - (-159)/(-21) - -4. Does h = p?
False
Let i be 3/(-3) - 8/(-6). Let w(b) = b + 14. Let m be w(-14). Suppose m = 5*c - 4*c. Is i > c?
True
Let h = -7.6 + 7. Let q = -0.4 + h. Let l = q + 2. Is l at most 1?
True
Suppose -3*c = 1 + 5. Let w be 5*5/(25/c). Let m = -3 - w. Is m < -2?
False
Let d = 15 - 18. Is d >= 1?
False
Suppose 6 - 9 = -3*h. Which is smaller: 2/27 or h?
2/27
Suppose 0*i - 40 = -4*i. Suppose 6 = 4*a - i. Suppose 0 = -k - 0*k + a. Is k less than or equal to 9/2?
True
Suppose -2*d + 3*b = 3*d, 5*b = 0. Let x = -238 + 1676/7. Are x and d nonequal?
True
Let r = -7 + 1. Let d be (1 + 1)*r/(-4). Let f = d - -1. Which is smaller: f or 3?
3
Let p be 166/18 - 12/54. Which is smaller: p or 11?
p
Let k = 10 - 7. Let c be (-3 + 1 - -2) + -3. Let r be (-1 - (2 + c)) + 4. Is k < r?
True
Let t = -3 + 4. Suppose 0 = -r + 3 - t. Suppose -i = -r*i. Which is greater: 2/13 or i?
2/13
Let n = 1 - 2. Let o = n + 3. Let a(y) = -y**3 - y**2 + y - 1. Let r be a(0). Is o bigger than r?
True
Let h = 19 + -15. Suppose -h*g - 3*z = -44 - 1, 5*z = -g + 24. Which is smaller: g or 10?
g
Let o = 46 + -139/3. Let v be (-4)/20 - (-6)/5. Is o less than v?
True
Let d = -0.37 + -0.13. Do d and 1 have the same value?
False
Let i be (4/6)/(2/3). Suppose 0 = k - 3 - 2. Let l = 6 - k. Is l <= i?
True
Let v(r) = r. Let h be v(4). Suppose p + 5 = 2*z, 3*p + z = h*p + 4. Let y = -2/61 + -179/122. Are p and y equal?
False
Let n be 24/10 - (-6)/(-15). Suppose n*l = -w + 3*w - 12, -3*l - 10 = w. Let t be (l/3)/(-1 + 3). Is -1 < t?
True
Suppose 4*i = -0*i + o - 3, i - o = 0. Is -2/15 equal to i?
False
Let l(m) = -m**3 - m + 3. Let j be l(0). Suppose 4*h - j*f + 0*f = 10, 0 = -f - 2. Suppose -4*a - b + 2 + 3 = 0, -3*a = 4*b - 7. Is a equal to h?
True
Let a = 58 - 91. Which is greater: a or -34?
a
Let q = -0.06 + -5.94. Let l = q - -6.1. Which is bigger: l or 1/2?
1/2
Let a = -0.8 - -0.85. Let u = a - -0.05. Which is smaller: -0.2 or u?
-0.2
Let o = 1.8 + -1. Let p = -3.4 - -3. Let c = o + p. Which is bigger: c or 1?
1
Suppose 4*j + 5*c = 11, 0 = j - 5*c + 16. Suppose 0*a + 5*a = -250. Let v be (-10)/4*(-8)/a. Is j >= v?
False
Let i = -3936 - -299171/76. Let v = i + -4/19. Let s(r) = -2*r**2 - r. Let a be s(-1). Is v bigger than a?
True
Let w = -4 + -5. Let t = w + 6. Which is smaller: t or -2/7?
t
Let n = 0 - 0.1. Let c = 10 + -9. Which is smaller: c or n?
n
Let t = 908 + -8180/9. Which is greater: t or -2?
t
Let j be 21/(-14)*(26/3 + 2). Is j less than -10?
True
Let r be (-17)/(-60) + 4/(-12). Are 0 and r unequal?
True
Suppose b - 5 = -4*b. Let l = -2 - -2. Is b less than or equal to l?
False
Let t(p) = p**3 - 6*p**2 + 5*p. Let u be t(5). Is -2/119 greater than u?
False
Let j be -3 - 2*85/(-50). Which is smaller: 0.5 or j?
j
Let c = -148/3 + 49. Is 35 bigger than c?
True
Suppose l - 4*j - 6 = -0*l, l - 6 = -3*j. Let t be ((-2)/(-3))/((-4)/l). Which is smaller: t or -4/15?
t
Let a be (146/3)/((-4)/(-18)*3). Is 73 < a?
False
Let y = -7 + 9. Let w be (182/58 + -3)/y. Do w and 1 have the same value?
False
Let t = 2 - 0. Suppose -q + t*q = 0. Are q and 0 equal?
True
Let c(u) = 6*u + 16. Let r be c(-5). Which is smaller: r or -57/4?
-57/4
Suppose 2*a - 12 = -4*a. Let m(l) = l - 6. Let k be m(7). Is a greater than or equal to k?
True
Let x = -16.33 - -0.33. Which is bigger: x or 2/9?
2/9
Let j be ((-3)/(-18))/(3 + (-7)/4). Let t(x) = x**2 - 3*x + 1. Let y be t(3). Do y and j have the same value?
False
Let p be (-15)/(-4)*(-32)/(-12). Suppose 0 = -4*q - 2 + p. Suppose -q*d + 4 = 3*a, -2*d + d + 4*a = 9. Which is smaller: -1/3 or d?
d
Let l = -7 - -5. Let m(o) = o**3 + 7*o**2 - 16*o + 16. Let w be m(-9). Is w <= l?
True
Suppose -73 = 5*m - 28. Is -9 at most as big as m?
True
Let v = 3/877 - -21033/4385. Let d = 53/10 - v. Which is smaller: d or 0?
0
Let l be (-2)/3*45/12. Let p = -8 - -5. Is l bigger than p?
True
Let y = 1 - 2. Suppose -18 = -4*z + 5*g, -4*z + g + 10 = -0*g. Let w be 3/5 - (0 + z). Which is greater: y or w?
y
Let d = -41/14 - -414/133. Let v be 58/16*4/285. Let x = v - d. Is 0 != x?
True
Let a = 25/6 - 95/12. Is a less than or equal to -5?
False
Let u = 0.4 - 1.4. Let s(g) = g + 5. Let i be s(-6). Let r be (2 - (-1 + 0))*i. Is u less than or equal to r?
False
Let s be (-84)/33 - (-4 - (-1 - 1)). Is -2 less than or equal to s?
True
Let s = -0.25 - -1.15. Which is smaller: s or -0.1?
-0.1
Let i = 0 + 0.03. Let j = 0.03 - i. Which is smaller: -9 or j?
-9
Suppose 6 = 5*w - 3*d, -5*w - d = -2*d - 2. Let k be 1/2*(0 - w). Suppose -2*i + 4*b - 6 = k, -2*i - b = -4 - 0. Is i at least as big as 1?
True
Let j(c) = -c - 7. Let z be j(-6). Let g be z/((-6)/20)*3. Suppose 0 = -3*o - 4 + g. Is o != 0.1?
True
Let w = -50.1 + 51. Let t = 2.8 - 0.9. Let g = w - t. Do g and 3 have the same value?
False
Let k be 1 + (-4 + 1 - 7). Let h be (52/12)/(60/k). Let g = h - -2/5. Is g >= 0?
False
Let m = 0.9 + 0.1. Let y(h) = h - 26. Let a be y(12). Is a smaller than m?
True
Let m = -451/13 + 430/13. Is m less than or equal to -1?
True
Let c be (-1 - -1)*(-2)/4. Suppose -w + c = -1. Let d be (w - 6/10)/(-2). Is -1 != d?
True
Let d be (-32)/5 + (-4)/(-10). Let j be 1 + 1 - (d - -5). Does j = 1?
False
Let m = -5.6 - -6.6. Let n = -0.3 + 0. Are m and n nonequal?
True
Let m be 0 - -1 - (2 + 0). Suppose -2*x - 64 = -5*t, t + 2*t - 28 = -4*x. Let g be t/3 + 1*m. Is g less than 2?
False
Let o(w) = w**2 + 3*w + 2. Suppose j - 3*b - 13 = 0, 2*j - 4*b + 0 - 24 = 0. Let n be j/(-1)*(-8)/(-20). Let z be o(n). Which is smaller: z or 5?
5
Let j = -22.2 + 22. Suppose 0 = -0*a - 4*a. Suppose v - x = 0, -2*v - x = -a - 3. Which is smaller: v or j?
j
Let n = 24.9 + -25. Is -0.1 l