or m?
m
Let c = 0.9 + -1. Let a(m) = 0*m - 2*m**3 - 2 + 3*m**3 - m. Let n be a(0). Is n smaller than c?
True
Let v = 9 - 4. Suppose -4*w = 4*j - 4, 3*w - v*j + 3 = 6*w. Which is bigger: 2/5 or w?
w
Suppose -5 = -2*p - 7. Let k be (-6)/(-14) - (p - -1). Which is bigger: 0 or k?
k
Let a = -12591/5 - -2527. Which is smaller: 10 or a?
a
Suppose -2*b = -0*b - 34. Suppose 4*k - k + 9 = 0, -2*u - 5*k = -b. Let v be (9/60)/((-18)/u). Which is smaller: v or -1?
-1
Let x = -44 + 43.9. Is x at most 1?
True
Suppose 2*c = -3*b + 50, 3*b + 4*c - 48 = c. Which is bigger: 17 or b?
b
Let g be 1 - -29*2/(-62). Let n = -158 + 159. Is n bigger than g?
True
Let n(p) = -p**2 + 8*p - 8. Let h be n(6). Suppose 1 = -5*y - h*l, -2*l = -l + 4. Let x be 2*y/(-3)*-1. Is x equal to 2?
True
Let c be (-122)/132 - 1/(-2). Let d = 7/89 - -991/979. Let j = d + c. Is 0 at most as big as j?
True
Let g = -0.066 + 0.086. Is g at least -3/5?
True
Let i be 4/66*6/2. Let c(j) = -2 - j + 0 + 2 + 1. Let d be c(0). Which is bigger: d or i?
d
Suppose -k - 17 = 4*n, 2*k = 6*n - n + 18. Which is smaller: 2/107 or k?
k
Let v(r) = -4*r**3 - 10*r**2 + 11*r - 11. Let u(a) = -a**3 - a**2 + a - 1. Let k(h) = -5*u(h) + v(h). Let j be k(4). Is j less than -1/2?
False
Let l = -24 - -34. Let o be l/(-4)*8/(-5). Suppose 0*d = -o*d. Is -1 smaller than d?
True
Suppose -5*z = -2*p + 36, -z - 4*p - 16 = -0*z. Let h be (-4)/z - 3/2. Which is smaller: h or -2/5?
h
Let i = -1 + 13. Let s = 1 - i. Let l = s - -8. Which is smaller: -2 or l?
l
Let l be ((-3)/45)/((-6)/75). Let r = -3 - -4. Is l greater than r?
False
Let g = -0.4 + 31.4. Which is bigger: 0.2 or g?
g
Suppose -3*q + 2*f - 76 = 0, f - 68 = 3*q - 3*f. Which is greater: -27 or q?
-27
Let l be (-3)/((-15)/1) - (-747)/15. Which is bigger: 49 or l?
l
Let l be ((-4)/10)/(5/25). Let y = l - 0. Let n be (y/(8/(-1)))/(-1). Which is bigger: n or -2?
n
Let q = -3/46 - -79/506. Suppose -5*j + 21 = -4*t - 3, 4*t = 4*j - 20. Suppose -2*y + 20 = 4*r, -j*y + 3*y - 15 = -3*r. Does y = q?
False
Let k = 16/21 - 3/7. Suppose 4*y - 3 - 1 = 0. Is y >= k?
True
Let p be (-1)/(-5) - 27/(-15). Suppose p*w + 2*w = -64. Let j be ((-6)/w)/(9/(-6)). Which is greater: j or -2?
j
Suppose -2*w + 5*y = 4 + 10, 2*w - 3*y = -6. Let s = 4 - w. Let h be 0*(1/s)/(-1). Which is greater: -5/4 or h?
h
Let l = 0.4 - 0.7. Let z = 3 + 0. Let x = 4 - z. Which is greater: l or x?
x
Let r be ((-32)/6)/(-4 - 17/(-3)). Which is smaller: -4 or r?
-4
Suppose 1 = 5*m - 14. Let f(c) = c**2 - 3*c. Let v be f(m). Do v and -5/4 have different values?
True
Let m(t) = t**3 + 7*t**2 - t - 7. Suppose -3*c + 3*p = -p + 9, 0 = -c - 2*p - 13. Let f be m(c). Is 1/4 != f?
True
Let q(k) = 2*k**2 - k - 2. Let p be q(-2). Do p and 8 have different values?
False
Let u be 5/34*(-16)/(-60). Which is smaller: 1 or u?
u
Let g(s) = -s. Let t be g(-8). Do t and 1/2 have the same value?
False
Let a(s) = -s + 3. Let x be a(3). Let u = -95 - -666/7. Is x bigger than u?
False
Let o = 2 - -1. Suppose 4*u + 5*m - 23 = 0, 6 - o = m. Suppose c + u*c = -3. Does 0 = c?
False
Let h be -33*(-3)/(-18)*3. Let z = h + 17. Which is smaller: z or -0.1?
-0.1
Suppose -5*v + 4*j = -32, 0 = 2*v + j + 3*j + 4. Suppose v*l = -4*i + 12, -l + 5*i - 3 = 6. Suppose -u = -l - 1. Which is smaller: 1 or u?
1
Let h(m) = m**3 + 3*m**2 - m - 3. Let j be h(-3). Which is greater: j or 6?
6
Suppose 0 = -4*i + 93 - 133. Is -120/11 greater than i?
False
Let f(o) = o**3 + 5*o**2 - 5*o + 4. Let m be f(-6). Let n = 47947951/188 + -255043. Let y = n - 2/47. Which is smaller: m or y?
m
Let x be ((-3)/(-6))/((-110)/(-116)). Let c be (-6)/66*2/10. Let u = c - x. Which is smaller: -1 or u?
-1
Let h(s) = s**3 - 6*s**2 + 2. Suppose -5*l = -5*y + 55, 3*y + 6*l - 3 = 3*l. Let r be h(y). Suppose 4 = 5*o - 4*x, r*o + 10*x - 5*x = -5. Is 1/2 <= o?
False
Let l be (-2)/4 + 11/2. Suppose 4*w - l = 23. Let t = w + -6. Is t >= -2/23?
True
Suppose 3 = 4*c + 35. Let k be ((-1)/4)/((-2)/c). Let i(y) = y**3 + 4*y**2 - 6*y - 7. Let q be i(-5). Are q and k equal?
False
Let u be 0 + 12/(-18) + (-7)/(-15). Suppose 0 = 5*g - 5*z - 55, 0 = 3*g - 4*g - 2*z - 4. Suppose 4*l - g*l = 0. Which is bigger: l or u?
l
Let f = -0.218 - -0.058. Which is smaller: 0.2 or f?
f
Suppose 5*k = 3*m + 9, 3*k = -m - 0 - 3. Let s = -0.36 - 0.04. Is k < s?
False
Let h be 1/43*(-3)/((-18)/(-12)). Is 1 < h?
False
Let p = -2 - 0. Let y be ((-3)/(-6))/1*p. Which is bigger: y or 2/7?
2/7
Let s(b) = -b**2 + 10*b + 25. Let v be s(-2). Is 1/22 not equal to v?
True
Suppose 2*i + 2*i - 60 = 0. Let g be 14/8 - i/20. Is g equal to 2/9?
False
Suppose 4*l + 4*u + 24 = 0, 3*u + 0 = -l + 4. Which is smaller: l or -6?
l
Let x(k) = -k - 2. Let v be x(-5). Suppose v*s - 6 = 0, 3*s - 5 = 3*h + 4. Which is greater: 1/3 or h?
1/3
Let l = 214/9 + -24. Let b = -13 - -13. Which is bigger: b or l?
b
Let t = 12 - 35/3. Let h = -129 - -905/7. Is h != t?
True
Let l(p) = p**3 - 8*p**2 + 10*p - 6. Let y be l(7). Let i = -16 + y. Which is smaller: -2 or i?
-2
Let p(w) = -w**3 - 15*w**2 + 35*w + 17. Let c be p(-17). Is 8 at most as big as c?
False
Let c(y) = -y**2 + 8*y - 1. Let w be c(11). Is -33 bigger than w?
True
Let d = -3 - 2. Let q = -5.1 - d. Is -1 at most q?
True
Let i = -19/4 + 5. Let u be (-1936)/(-55) + (-2)/10. Let k = u - 35. Which is bigger: i or k?
i
Let c = 224 - 154. Let a = -912/13 + c. Let u be ((-6)/(-8))/((-9)/(-6)). Which is smaller: a or u?
a
Let g = 4 - 9. Let o = 6 + -10. Let t = o - g. Which is smaller: -1 or t?
-1
Let p = 20 - 9. Let x = -6 + p. Suppose 4*y + 9 = -v, -x*y - 3*v = 14 + 6. Which is smaller: -4/5 or y?
y
Let d be (1/(-5))/((-2)/(-25)). Suppose 3*r = 4*r - 13. Suppose 3*g + 9 = -n, -2*g + g + 5*n + r = 0. Is d less than g?
True
Let w = -63 - -314/5. Which is smaller: w or 3?
w
Let l = 0.2 - 0.2. Let a = 2.9 + -0.9. Let x = 3 - a. Is x greater than l?
True
Let l = -13 - -12. Let h = 1.4 + 0.6. Is h bigger than l?
True
Let t = 15 + -16. Is 6 != t?
True
Let b = 3/83 + -89/166. Is -154 >= b?
False
Let r = -277/2 + 136. Let g = -31/14 - r. Which is bigger: 0 or g?
g
Let x = 1 - 4. Is -2 >= x?
True
Let j = 2.6 + 9.4. Which is smaller: j or -1/2?
-1/2
Suppose 0 = 2*r - 3*r - 4. Let d = -36/119 - -2/119. Does r = d?
False
Let b(t) = 2*t + 19. Let m be b(-8). Which is greater: m or 2/13?
m
Let w = 5 - 4. Let g = -176 - -1235/7. Which is smaller: w or g?
g
Let b = 0 + 0.1. Let p = -5503/7 - -786. Is b != p?
True
Let c be ((-50)/70)/(3/6). Let w = 2 - 3. Do c and w have the same value?
False
Suppose -10*j = -6*j + 4. Is j less than -3?
False
Suppose 3 = 3*j - 9. Suppose j*i - 6 = -2*l, -3*l = -2*i + 4 - 13. Suppose f - l = -0*f. Which is smaller: 5/2 or f?
5/2
Suppose 752 + 38 = -10*d. Which is smaller: d or -78?
d
Let t = 0 - -3. Suppose -t*m + 5*r + 21 = 0, 3 = -0*r - r. Suppose -x = m*x. Which is greater: x or -1?
x
Let z = 17 + -18. Which is smaller: 0 or z?
z
Let m be 1/(-3) + 14/(-30). Let b = 19 - 9. Suppose 3*d - 7 = -b. Which is bigger: d or m?
m
Let r = 0 - -0.1. Let h = -10.6 - -11.1. Is h at least r?
True
Let n = 121/5 + -24. Which is bigger: n or 0?
n
Let w(t) = t**3 - 14*t**2 + 15*t - 30. Let d be w(13). Let z = 2 - 7. Which is bigger: d or z?
d
Let y = 13983/38 - 368. Does y = 1?
False
Let k = 0 - 1. Let o be (k - 5) + (-1 - -2). Let g be (0 - 1) + o/(-3). Which is greater: 2 or g?
2
Let u(x) = x**2 + 5*x. Suppose 0 = -4*b - 8, 0 = 2*p + 3*b + 5 + 11. Let r be u(p). Do r and -3 have the same value?
False
Let z = -15 - -11. Suppose 0*n - 4 = j - n, 2*j = n - 9. Which is smaller: z or j?
j
Suppose 5*r - 42 = 63. Suppose 5*l = -4 - r. Let y = 3 + l. Do -2/3 and y have the same value?
False
Let b = 28 - 29.1. Let r = 1 + b. Is -0.4 less than r?
True
Suppose 0 = -t - 19 + 17. Suppose 7*x - 2*k = 2*x + 33, k = -2*x + 15. Suppose 5 = 2*w - x*w. Which is bigger: t or w?
w
Let d(z) = z**2 + 9 + 4 - 2 + 7*z - 2. Let s be d(-6). Is 2 < s?
True
Suppose -4*v + 0 + 12 = 5*k, k + 5*v = -6. Suppose -4*b - d + k = -3*b, -4*d = 2*b - 14. Is b greater than or equal to 0?
True
Suppose 3*z = -3*k - 6, 0 = z - 3*k + 7 + 11. Let q be (4/z)/((-4)/18). Suppose 0 = q*x - 7*x - 2*v - 4, 0 = -5*x - 2*v - 3. Which is bigger: x or -1?
x
Let u be 1/(-4)*(-48)/(-27). Let o = 8 - 8. Let k be -1 + (3 - 3) - o. Which is greater: