?
l
Let l = 7 + -4. Suppose -5*t = 15, 2*u + 0*t - l = t. Let f be 20/(-24) - (2 - 3). Is f >= u?
True
Let d = 0.37 - 0.33. Is d < 5?
True
Let y be ((-8)/(-6))/(1/3). Let u = 123 + -118. Which is smaller: y or u?
y
Let d = -15 - -1. Let j = 5/13 + -2/39. Are d and j nonequal?
True
Let r be (40/750)/(28/(-6)). Which is smaller: r or -1?
-1
Suppose -2*k + 12 = -8*k. Let f be ((-1)/(-5))/(2/(-6)). Which is greater: k or f?
f
Suppose 5*m = -x - 5, 5*x - 17 = -0*m - 4*m. Let p be (1/m)/(8/8). Is -3/2 greater than p?
False
Let b = -1/2588 - 323497/7764. Suppose 3*y = -53 - 73. Let u = b - y. Which is smaller: 0.1 or u?
0.1
Let x be ((-6)/21)/((-45)/(-7)). Are x and 1 unequal?
True
Let f(c) = -4*c**2 + 4*c - 3. Let n be f(2). Does n = -12?
False
Let o be (-178)/(-20) + 2/(-5). Is o smaller than 8?
False
Let z = -2.6 + 0.6. Let y = z + 1.9. Let j = -2 - -4. Are j and y non-equal?
True
Suppose d - 2*t - 8 = 0, -t + 31 = 2*d - 0*d. Let c be ((-6)/(-15))/(d/(-10)). Which is bigger: 0 or c?
0
Let t = -12 - -11. Is 3/11 at least t?
True
Let o = 1.4 + -1.6. Are o and -3 non-equal?
True
Let q = -0.5 + 0.6. Is q greater than or equal to 3?
False
Let s(d) = 15*d**3 + d**2 - 2*d + 1. Let r be s(1). Suppose 0 = v + z - 3, 5*z = -3*v + 4*v + r. Is -0.1 less than or equal to v?
True
Let p = 169 + -177. Let u be ((-14)/8)/(1/4). Which is smaller: u or p?
p
Let u be (-2 - -3)/(-3 + (-251)/(-86)). Is -12 greater than or equal to u?
True
Let d = -29/44 + 10/11. Which is smaller: d or 13?
d
Let c be (28/12 + -2)*3. Let o be -1 - (c - (0 + 2)). Is o at least -1?
True
Let j = 1/8 - -3/8. Is -8 less than j?
True
Suppose -4*r - 2*d + 30 = 0, -5*r - 2*d + 27 = -3*d. Suppose q - r = 3*l - l, 0 = 2*l - 4. Suppose 4*t = -t - q. Which is greater: -1 or t?
-1
Let v = 3 + -12. Let m = -16 + 10. Let h = v - m. Does 1 = h?
False
Let i(y) = -2*y**3 + 7*y**2 - 5*y + 6. Let c be i(5). Which is smaller: c or -93?
c
Let i = -1 + 1.1. Let c = 23 - 22.95. Let u = c - 0.55. Is i greater than or equal to u?
True
Let d be 1*(1 + -2)*2. Let y = -3/80 + -17/80. Is d bigger than y?
False
Let v(q) = q + 1. Let t be v(1). Suppose 0 = 4*a + 6 - 18. Suppose -3*y = -a, -t*y + 0 = 4*n - 6. Which is greater: n or 1/2?
n
Let f(x) = -x**3 + 5*x**2 + 2*x - 6. Let a(d) = -2*d - 7. Let n be a(-6). Let l be f(n). Let w be l/(-10) + 38/70. Which is smaller: 0 or w?
0
Let j be ((-30)/(-21))/((-1)/(-14)). Is 20 at least as big as j?
True
Let l be 21/35 - 16/(-90). Is 0 bigger than l?
False
Suppose 3*l + 12 = -4*b, -5*l + 4*b + 20 - 72 = 0. Let f be 4/(-16) + 81/(-12). Is l at least as big as f?
False
Let o = 3 - -1. Suppose x + 4*w = -0*w + 25, 4*w - 20 = 0. Is o at most as big as x?
True
Let v = -41 - -292/7. Which is greater: v or 1?
1
Let k be ((0 - 1)/1)/(2/8). Which is smaller: 8 or k?
k
Suppose 12*i - 7*i = -50. Is i < -10?
False
Let y be (6/5)/((-5)/25). Let j(k) = -k + 8. Let x be j(y). Suppose 1 + 7 = -2*b + 2*i, 3*i - x = 5*b. Is -1 bigger than b?
False
Let w = 25 + -20. Suppose o - 4 + 3 = 0. Which is smaller: w or o?
o
Let n(a) = a**3 + 2*a**2 - 7*a. Let r(j) = j**3 + 2*j**2 - 6*j. Let m(g) = 4*n(g) - 5*r(g). Let f be m(-3). Suppose 8*p - 4*p = -4. Which is greater: p or f?
f
Let g(p) = p**2 + p. Let f(u) = 3*u**2 + 6*u. Let r(x) = f(x) - 2*g(x). Let m be r(-5). Suppose 3 = 3*q - h + 6*h, 0 = m*q + 4*h - 5. Is q < 0?
False
Suppose 2*v = 3*v + 10. Is v greater than or equal to -9?
False
Let u be (-12)/42*14/(-1). Suppose -5*r + 2*z + 22 = -z, -3*z + 3 = 0. Which is greater: u or r?
r
Let y = 22 + -21.95. Let d = y - 0.95. Is 1/2 at least d?
True
Suppose 201 = 3*p + 4*t, 5*t + 17 = 2. Let x = p + -785/11. Which is bigger: 0 or x?
0
Let m = -21 + 22. Are 2 and m non-equal?
True
Let l = -5 + 2. Let g = 3 + l. Let f = 3 - 1. Is f less than or equal to g?
False
Let h(r) = 3*r**2 + 9*r - 5. Let f(b) = -2*b**2 - 5*b + 3. Let l(n) = 5*f(n) + 3*h(n). Let w be l(2). Let d be 8/(-6) + w - -1. Are d and 1/4 equal?
False
Suppose -4*o = -9*o + 3*c + 14, 0 = -5*o + 5*c + 20. Let i be (-2 - -3)/(6/(-2)). Which is greater: o or i?
o
Let f = -7074/5 - -1420. Is f != 5?
True
Let d be -1 - (2 - 3 - 1). Let h = -20 + 12. Let o be (-12)/(-8)*h/54. Is d less than o?
False
Suppose -4*y = -5*l - 13, 2*l = -l + 4*y - 3. Let j be 4/5*l/(-2). Suppose -5*d + 3 = -j. Which is smaller: d or 0?
0
Let w(p) = -p**3 - 9*p**2 - 4*p - 11. Let y be w(-9). Suppose 0 = 5*o - 0*o - y. Which is smaller: o or 4?
4
Let t be (-4)/(-14) - 1844/(-14). Let o = 259/2 - t. Which is bigger: -4 or o?
o
Let x(d) = d**2 - 15*d - 2. Let m be x(16). Is m bigger than 10?
True
Suppose -13 = 2*n + 2*n - 3*q, n + q - 2 = 0. Let k be -7 - -12 - (1 - n). Suppose k*h = 5*w - 14, 2*h + w = -3*w + 20. Which is smaller: 1 or h?
1
Suppose 2*s = k - 7, -3*s + 0*s - 6 = 0. Is 2 < k?
True
Let m = 1 + -7/9. Is m at least -1/4?
True
Suppose 0 = 5*i - 93 - 27. Let t be i/16*(-2)/3. Are t and 4/9 equal?
False
Suppose 3*d = -0*d - 2*x + 7, 0 = -3*d + x + 10. Let z(m) = -m + 9. Let y(r) = -r + 3. Let u be y(-3). Let a be z(u). Is d > a?
False
Let n be (-6)/(-15) + 4/(-10). Let y be (1 + -1)/(n - -2). Let s be (-2)/(-3) + 65/(-117). Which is greater: y or s?
s
Let x be (-2 - 17)/(2 + -2 + -5). Is 3 less than x?
True
Let l = 56.3 - 54. Let p = 1.6 - l. Which is greater: p or 2/5?
2/5
Let l = 10 - 9.5. Let c = l + -0.7. Which is bigger: c or 0.06?
0.06
Let v = -131 + 66. Is -65 smaller than v?
False
Let l = 19357/18 - 1076. Let s = l - -10/9. Is s bigger than 0?
True
Let t be (-8)/44 + (-284)/(-1683). Which is greater: 1 or t?
1
Let w = -2.5 - -2.3. Let d = 12 - 13. Does w = d?
False
Let r = 10 + -15. Let q(y) = y**2 + 5*y + 3. Let l be q(r). Suppose 2*f + 5 = 3*o - 3, l*f + 23 = -o. Is f at least as big as -6?
False
Let v = 29 - 49. Which is bigger: -21 or v?
v
Let y = 18 - 30. Let j be ((-18)/(-3))/(y/177). Let b = j - -91. Is b at least 4?
False
Suppose 0 = -6*s + 98 + 28. Are 23 and s unequal?
True
Let p = -41/100 - -4/25. Let o(n) = -n**3 + n + 6. Let k be o(0). Let h be (1 - 0)*2/k. Do p and h have the same value?
False
Let w = 25 - 35. Which is smaller: w or -9?
w
Let r = 33 - 36.8. Let n = -6 - r. Is 1/4 smaller than n?
False
Let v(z) be the second derivative of -7*z**4/12 - z**3/3 + z**2/2 - 3*z. Let s be v(2). Let k be (-1)/4 + s/(-28). Which is bigger: 1 or k?
1
Let k = -9.9 + 9. Let q = k + 1. Let r = q - 0. Which is smaller: r or 2/11?
r
Suppose m + 4*v + 6 = -9, 2*m + 15 = -3*v. Let b(d) = 8*d + 3. Let t be b(m). Let w be 7/t - (-10)/18. Which is smaller: 1 or w?
w
Let r = -13 - -29. Let g = -15 + r. Is g <= 7?
True
Suppose -4*d = -0*d + 156. Which is smaller: -41 or d?
-41
Let w = 1/158 - -2209/474. Which is smaller: 6 or w?
w
Suppose 5*a + w = -181, 0 = -2*a + 5*w - 52 - 15. Let q be 27*(-3)/(a/8). Which is smaller: q or 19?
q
Suppose 0*z - 6*z + 6 = 0. Is z greater than -2/9?
True
Let x = 0.6 + 0.4. Let k = 1 - 1. Let v = k - x. Is -1/2 at most as big as v?
False
Suppose -2*h - h + 5 = n, 5*h + 4*n - 20 = 0. Which is smaller: h or -2/25?
-2/25
Let w = -147 - -1321/9. Let q = 2.86 - -0.14. Is w greater than q?
False
Let b = 3.7 - 0.7. Let i = -2.9 + b. Do i and -7 have the same value?
False
Suppose -h = -4*w + 5 + 4, 4*h + 14 = 5*w. Is -13 smaller than w?
True
Suppose -146 = -60*k + 58*k. Which is smaller: 74 or k?
k
Let d = -99 - -99. Which is smaller: d or 0.4?
d
Suppose 2*b - b - 3 = 0. Suppose 10*r = 5*r - c, -b*c = 4*r - 11. Which is smaller: 2/7 or r?
r
Let w = -0.4 + -0.7. Let p = -1.13 - w. Which is smaller: p or 2/9?
p
Let n = -0.8 - -1.7. Let o = n - 1. Is o smaller than -2?
False
Suppose -3*o = -24 + 9. Let y be (-2 + o - 5) + 11. Let x be ((-6)/y)/(4/18). Is -3 < x?
False
Let x(w) = -w**3 - 11*w**2 + 2*w + 11. Let i be x(-11). Which is smaller: i or -12?
-12
Let w = 0.31 - -1.69. Which is smaller: 12 or w?
w
Suppose c + 65 = -4*c - 5*q, 5*c + 2*q = -74. Let h = 25 + c. Let w be ((-3)/h)/((-1)/(-3)). Is w at most 2/13?
True
Let g be 4/6 + (-43)/(-3). Suppose -g = -5*b - 4*m, -m + 22 = -2*b + 3*m. Let h be (-10)/(-4)*b/5. Is h at least as big as 4?
False
Suppose -4 = 6*f + 2. Which is smaller: 6 or f?
f
Suppose 23 = w + 6. Suppose 13 = 3*l - g, 5*l - 2*g = 2*l + w. Which is smaller: 2 or l?
2
Let y = 151 - 148. Which is greater: y or 42/11?
42/11