?
4
Let j be ((-3)/(-2))/((-51)/374). Let l be (-3)/3 + 1 + 2. Let r(g) = -g**3 - g**2 + 2*g - 2. Let h be r(l). Is j equal to h?
False
Suppose -i = -31*c + 35*c + 14, -c - i - 5 = 0. Which is smaller: c or 34.5?
c
Suppose 5*r + 0*i - i = 62, 3*i = 9. Suppose 16*l = r*l - 12. Which is smaller: l or 0.06?
l
Suppose 0 = -2*k - 2*t + 82, 33 = -2*k - 4*t + 121. Suppose -2*g = -0*g + k. Is -19 > g?
False
Let v(h) = -h**2 + 16*h - 2. Let q be v(13). Let l be (-38)/(-6)*(-12)/(-2). Which is greater: q or l?
l
Let m = 0.21 + -0.188. Let j = 2.022 - m. Let p = -0.24 + -0.06. Which is bigger: j or p?
j
Suppose -2*o - 4*k = -26, 4*k - 2*k = 3*o - 79. Let j be (-4)/(-10) + (-46)/(-10). Suppose -s + 12 = -3*i, 5*s + j*i + o = 3. Does s = 0?
True
Let x be ((-2)/(4 - -4))/(51/68). Let n = 23 - 40. Which is smaller: n or x?
n
Suppose 0 = -2*d - 0 + 4. Let p be -3*(-2 - -1) + 890/(-295). Let r = 233/177 - p. Are d and r non-equal?
True
Suppose -2*l - 2*l - 24 = 0. Let q(f) = -2*f - 2. Let v be q(-6). Let d = v + l. Is 2 smaller than d?
True
Suppose 2*i - 5*i + 3*h = 63, 3*i + 2*h + 63 = 0. Let j = 12 - 35. Let r = j - i. Which is smaller: -10/7 or r?
r
Let i = 5 + 0. Let l = -36.17 + 36. Let q = 1.17 + l. Are q and i equal?
False
Suppose 0*v - v = -3*k - 28, 4*v = -5*k + 78. Let u = v - 9. Let g be 2/4 - u/2. Do -6 and g have the same value?
True
Suppose 18 = -3*c - 2*t, 5*c - 28*t + 11 = -25*t. Which is smaller: c or -57?
-57
Let o(a) = 6*a + 5. Suppose 10*p - 3 = 11*p. Let q be o(p). Is q greater than 2?
False
Let q = -0.05 - -0.95. Let t = 5.1 + q. Let u = 6 - t. Which is smaller: u or 4?
u
Let a(w) be the first derivative of -w**3/3 - 2. Let x be a(-2). Is x at least as big as -6?
True
Let w(k) = -k**3 - 24*k**2 - 119*k - 22. Let i be w(-6). Let c be (-1)/(-2 - 2/4). Is i less than or equal to c?
False
Let v = -47 - -57. Suppose -l - 2*l - v = -4*u, -2*l + 5*u - 9 = 0. Is l != 11?
True
Let u = 109 + -101. Let f(p) = p**2 - 7*p - 11. Let a be f(u). Let d(m) = -m + 7. Let j be d(5). Which is smaller: j or a?
a
Let p = 22 - 22.72. Let q = p - -0.62. Which is bigger: q or -12?
q
Let y be 3*4*(-15)/24. Is -7 greater than or equal to y?
True
Let o = 0.351 - 27.351. Let j be -1 - 1 - (-19 + 15). Is j not equal to o?
True
Let c = 1 + 7. Suppose -c*s - 15 = 5*a - 3*s, -4*s - 12 = -4*a. Let r be (29/26 - 1)*(-32)/(-24). Is a greater than r?
False
Let z = -16 + 11. Let m be (-5 - z) + (-242)/(-28). Let w = m - 17/2. Does w = 1?
False
Let w = -1153/9 + 128. Let f be (-2)/2 + (3 - 2). Does w = f?
False
Let y(v) = v**2 + 8*v - 20. Let g be y(-10). Let n = -114302/41 + 2788. Is n less than or equal to g?
False
Let o = 0.4 - -0.6. Let f = 1.4 - -0.6. Let v = o - f. Which is bigger: v or -2/5?
-2/5
Let n be 1/((-1)/1) - 0. Let y be 24/21 + 2560/(-1260). Are y and n non-equal?
True
Let b = -7832 + 1762204/225. Are b and 0 nonequal?
True
Let x(c) = 9*c**2 - 35*c - 62. Let b be x(7). Which is greater: b or 132?
b
Let b(g) = -g + 1. Suppose 5*c + 1 - 6 = 0. Let k(i) = 6*i. Let y(j) = c*b(j) - k(j). Let n be y(1). Is -17/3 >= n?
True
Let r be (-1)/4 - (-5)/4. Let k be 4/(-2) + -14 + (-4 - -7). Does r = k?
False
Let d = 324 + -324.06. Suppose 0 = 3*o + 4*g + 20, o + 5*g = -0*o - 25. Which is bigger: d or o?
o
Let y(o) = 8*o + 195. Let w be y(-43). Is -150 at most w?
True
Let w = -5 + -3. Does w = 0.2?
False
Let d = -449/9 - -50. Let w = d + -11/18. Do w and -1 have different values?
True
Suppose -4*k - 32 = -4*g, 20 = -0*k - 3*k + 4*g. Let p be (5 + (-34)/7)/(k/(-7)). Are p and -1 equal?
False
Let s be 1 - (-2 + 1 + 1). Let o be 7/((-462)/(-183))*-2 + 6. Which is bigger: s or o?
s
Let r = 1819 + -1873.94. Let s = -55 - r. Which is smaller: s or -2?
-2
Let x(g) be the first derivative of -g**4/4 - g**3/3 - g**2/2 + 8*g + 5. Let v be x(0). Which is greater: 0 or v?
v
Let w(r) = r**3 - 10*r**2 + r - 12. Let c be w(10). Let v be (650/(-8))/5*(-8)/(-40). Which is smaller: v or c?
v
Suppose -9*o = -4*o - 80. Suppose o*r + 50 = 11*r. Is -11 != r?
True
Let z = -86 + 83. Which is bigger: -18/7 or z?
-18/7
Let c(s) = -2*s**2 + 21*s + 37. Let k be (111/(-74))/((-2)/16). Let d be c(k). Which is smaller: d or 2/323?
2/323
Let c = -753493/100 - -7535. Is c at most 1?
True
Let q = -73 - -71.5. Let z = -2.5 - q. Which is bigger: z or -103?
z
Let j(u) = u - 8. Let w be j(8). Suppose w = -2*n + 3*a - 8*a - 18, n = -3*a - 11. Let k be n/36 - 3/12. Which is smaller: -0.1 or k?
k
Let l = 743 - 726. Which is bigger: l or 157/9?
157/9
Let d = -0.382 + 0.482. Which is smaller: d or 4.23?
d
Let c be (-1)/6*36/2259. Is -1 at most c?
True
Let y be (-24)/(-2)*(-4)/20. Let d be 7 - 933/180 - 1/(-3). Let p = d + y. Is 1 bigger than p?
True
Suppose o = 2*x + 4*o + 75, 0 = -3*x + 2*o - 80. Let v be x/(-35) - (-2 + 26/14). Which is bigger: v or -4/13?
v
Let a be 5 + 0 + 2 + -8. Is a not equal to 3/10?
True
Let m(t) = 89*t + 41. Let o be m(8). Let x = o - 39907/53. Which is smaller: x or 0?
0
Suppose 3*y + h - 22 = 0, 0*h + h + 18 = 2*y. Suppose 2*v - 4*m + 2*m = y, 3*v + 18 = -3*m. Is v at most as big as -1/19?
True
Suppose -3*h = -2*h + h. Which is bigger: 87 or h?
87
Let m(r) = 2*r - 4. Suppose 3*o + 3 = -6. Let c be m(o). Is -10 < c?
False
Let r = 10 + -10. Suppose 0 = -0*q + q + 3*j - 11, 2*q - 4*j - 2 = r. Suppose q*v - 2 = 23. Which is smaller: v or 1/3?
1/3
Let y = 795 + -799. Are -4 and y nonequal?
False
Let l(m) = m**2 + 5*m + 1. Let n be l(-5). Suppose -2*y = z + n + 1, -z = -5*y + 9. Let h = -642/7 + 92. Which is smaller: y or h?
h
Let s = 21 + -15. Let v be (9/s)/((-3)/(-6)). Let a be (-2 - 0)/(-1 + v). Is -4/3 bigger than a?
False
Suppose -5*i + 330 = 5*g - 0*i, 3*i + 46 = g. Suppose 54 + g = 5*h. Which is bigger: h or 0.1?
h
Let r = -5 - -28. Let f = r - -10. Let p = -32 + f. Which is smaller: 2/13 or p?
2/13
Let k be 2*3/6*-6. Let m(h) = 7 - 31*h - 19 + 29*h. Let c be m(k). Is c <= -2/19?
False
Let x be 2/8 - (-44)/(-48). Let p = 12 + -14. Which is smaller: x or p?
p
Let l(c) = 2*c**2 - 36*c + 34. Let a be l(17). Which is smaller: a or 1/10?
a
Let i be 3 + (2 - -1 - 0). Suppose -s - 3 = -i. Let c be 11 + -9 + (-10)/s. Is -2 greater than c?
False
Let z(b) = 16*b + 20. Let m be z(4). Is m at most as big as 84?
True
Suppose 0 = k + h + 3 + 5, -6 = -3*k + 3*h. Let r be -4 + (-13)/k - 0. Let u be (-1 + 2)/1 - 2. Is r smaller than u?
False
Let d = -0.5 - -0.3. Let s = -5 - -11.9. Let o = -7.3 + s. Does d = o?
False
Let d = -6 - -5.92. Let c = -0.28 - d. Let l = c + -4.8. Is l != 0?
True
Let s = 0.047 - -0.053. Let q = 34 - 39. Are s and q unequal?
True
Let o = -0.36 - 6.64. Is -26 bigger than o?
False
Let x = 334 + -14361/43. Which is bigger: -1 or x?
x
Let r(j) = j + 13. Let z be r(-13). Suppose 6*a + 5*a = 77. Let x = z - a. Which is greater: -8 or x?
x
Let g = -30 + 26. Let x be (2 - 4)*(-5)/(-5). Do g and x have the same value?
False
Let w = 49 + -47.8. Let y = 2.5 - 3. Let k = w + y. Is -0.2 greater than k?
False
Let z = 48 - 72. Let r = 112 + -107. Suppose 4*i = -r*k - 77, i + 20 = -0*i - k. Which is smaller: z or i?
z
Let d = 146 + -248. Let u = d - -101. Is -68 not equal to u?
True
Let q = 403 + -443. Which is smaller: -41 or q?
-41
Suppose -26*w + 9666 = w. Which is smaller: w or 359?
w
Suppose 4*h - 55 = 4*x + 77, -3*h - 4*x = -92. Is h at least as big as 32?
True
Let z(n) = -n - 8. Let j be z(-17). Let v be (-2)/4*-3 + (-250)/100. Which is bigger: v or j?
j
Let o = -55 - -77. Suppose -20*v - 179 = -579. Which is smaller: o or v?
v
Let o be (2/2)/(-146 - -147). Which is smaller: 3/61 or o?
3/61
Let i = 4 + 0. Let o be 2/i*4/17. Let w = 137.7 + -138. Which is smaller: w or o?
w
Let k = 36 - 31. Suppose 3*n + 4*g + 2 = 0, 0 = 5*n + 3*g + 23 - k. Let q = -10 - -6. Are n and q unequal?
True
Let z = -104 + 76.8. Let a = z + 27. Is -1/4 < a?
True
Let v = -2/585 - -857/79560. Which is bigger: -1 or v?
v
Let v = -24839/45 + 552. Suppose 3*d - 86 = c, 4*c - 130 = -5*d - c. Let n be (-4)/14 - (-5 - (-160)/d). Which is greater: v or n?
v
Suppose -c = -4, -4*h = -6*c + 3*c + 96. Which is bigger: -23 or h?
h
Suppose 15 + 0 = 5*c. Let n be 12/10 - (c - 2). Is n less than 2/21?
False
Suppose 4*v + 2*q = 0, -3*v + q + 2*q + 18 = 0. Let x be -4 + -1 - (-4)/8*10. Suppose -2*p - 3*r + 0*r = v, -2*p + 3*r -