-3?
False
Let f = 2 - 4. Let g(o) = -o - 13. Let n be g(-6). Let q be (-3)/1 + (-15)/n. Which is smaller: q or f?
f
Let w = -353 + 901. Let p = 6032/11 - w. Which is bigger: -1 or p?
p
Let p = -3 + 2.9. Which is smaller: -38 or p?
-38
Suppose 0 = -4*z + 3*z + 12. Let c be z*(-3 + 7/2). Suppose -u + c = u. Is u at least 3?
True
Let d be -1*1 - (10 + -20). Suppose 4*p + 11 = -d. Are -5 and p equal?
True
Let i be (-1)/(-6) + (-70)/(-12). Let h(o) = o**3 - 6*o**2 + o - 6. Let n be h(i). Which is bigger: n or 1?
1
Let j = 1.8 - 1.9. Which is smaller: -7/4 or j?
-7/4
Let u = -415 + 3319/8. Let x be (1 + -1)/(-2) + -1. Which is greater: x or u?
u
Let x = 20 + -22. Let v = -2/355 - 1761/2485. Which is smaller: v or x?
x
Suppose 0*a + 18 = -3*c + a, -c + 3*a = 14. Let y be c/2*(-8)/(-90). Is y at most as big as -1?
False
Suppose 4*v = -5*l + 12, 5*l - 43 + 17 = 3*v. Let c(n) = n**3 + n**2 - n + 4. Let y be c(0). Is y less than l?
False
Let o(g) = g**2 + 1. Let n be o(-1). Suppose 0 = d + n. Let w be -1 - (-2 + 15/9). Is w at least as big as d?
True
Suppose 5*s + 1 = -p - 4, -5*p + 125 = -5*s. Does 19 = p?
False
Suppose -59*h + 58*h = 30. Is h <= -30?
True
Let g be (4/(-10))/(32/(-20)). Does g = -3/10?
False
Let y = -17 + 15. Let a = -379/506 - -1/46. Is y less than a?
True
Let z(h) = h**3 + h**2 + h. Let p be z(0). Do 3/28 and p have the same value?
False
Let j = -57 + 59. Is j > 1/4?
True
Let x = 0.33 - -0.17. Which is smaller: -3 or x?
-3
Let b = -2 + -4. Let r = -5.8 - b. Is r <= 4?
True
Suppose 36 = 10*c - c. Are c and 1 nonequal?
True
Let y(k) = -k**2 + 5*k + 4. Let u be y(5). Let s be (0 + 2)*(0 - 3). Let n be (s/(-21))/((-5)/(-35)). Which is bigger: n or u?
u
Let n = -2/153 - 2/9. Is 1 at most n?
False
Suppose 6*t = 2*t. Are t and -1/5 nonequal?
True
Let m(g) = g**2 - 6*g - 8. Let u = -2 - -6. Suppose -4*b + 28 = -0*p + 2*p, u*p = 0. Let a be m(b). Is a less than or equal to -2/3?
True
Suppose p = 2*z + 9, -p - 24 = 5*z + 2. Let f = 0.06 + -0.03. Let x = -0.13 + f. Which is bigger: x or p?
x
Suppose 21 = -4*g + 5*j, -4*g + 4 = 5*j - 25. Which is smaller: 2/45 or g?
2/45
Suppose -l - 3*l = -4. Let z = -8/7 + 17/21. Which is bigger: z or l?
l
Let w = 1 + -1. Suppose w*h + 10 = 2*h. Is 5 at most h?
True
Let r = 0 + -3.1. Let d = 4 - 7. Let t = r - d. Which is bigger: 4 or t?
4
Let n be (-15)/3*(-3 + 2). Suppose 5 = 5*i + 5*z, 0 = -4*i + n*z - z + 12. Which is smaller: i or -1?
-1
Let p = -573/9362 - 1/302. Is -0.1 less than or equal to p?
True
Let c = 0.12 - 3.12. Let g = -35 + 167/5. Let t = g + 11/10. Is t at most c?
False
Let c be 3*5/(3*-15). Which is smaller: c or 2/51?
c
Let b(z) = -3*z**3 - 2*z**2 - z. Let v be b(-1). Suppose -4*a + 2*a - v = 0. Let d be (-26)/(-40) + (-6)/15. Which is smaller: d or a?
a
Let j be 21/(-54) + (-4)/(-240)*10. Suppose -3*x + 0*x + s = 1, -4*x + 3*s - 8 = 0. Let c(r) = r - 1. Let t be c(x). Which is bigger: t or j?
t
Let u = 0.2 - 0.2. Let w = 0.1 + u. Let o = 25 + -25.05. Which is bigger: w or o?
w
Suppose -4*d - 4*j = -52, 7*d - 64 = 4*d + 2*j. Let x be (-59)/(-3) + (-12)/d. Are 18 and x nonequal?
True
Suppose -5*b = -0*b. Let v = 121/21 + -83995/14574. Let g = v + 1419/21514. Is g greater than or equal to b?
True
Let j = -42 - -43. Let i = 5 - 3. Let k be i*j*1/(-2). Is k < -1?
False
Suppose 8*w = 6*w - 26. Let q(p) = p**3 - 5*p**2 + 2*p - 4. Let i be q(5). Let r = i + w. Is -6 < r?
False
Let o = 8/5 - 19/15. Let z(k) = 7*k - 76. Let d be z(11). Which is greater: d or o?
d
Let i be ((-3)/(-7))/(105/(-10)). Is 0 less than i?
False
Let w(m) = m**3 - 7*m**2 - 6*m - 17. Let r be w(8). Is 1/123 <= r?
False
Let a be (-1)/(-5) + (-312)/(-40). Let m = -7 + a. Is 3/4 >= m?
False
Let r(f) = f**3 + 6*f**2 + 2. Let p be r(-6). Suppose s + 6 = 2*c - 3, p*c + 9 = -5*s. Suppose 0 = 2*n - 3*b - 4 - 7, 0 = -4*n - 3*b - 23. Is n at least s?
True
Suppose -w + 25 = 2*n, 25*w - 20*w + 4*n = 155. Which is smaller: w or 34?
34
Let a be (-1)/(((-2)/(-5))/(-2)). Let o(k) = k**2 - 5*k + 4. Let t be o(a). Suppose -t + 7 = -3*u. Do 0 and u have the same value?
False
Let w = -2 + 12. Is w != 7?
True
Let h = -947/15 + 63. Are h and 1 equal?
False
Let o = 9.05 + -0.05. Let n = -5 + o. Which is smaller: 0.1 or n?
0.1
Let c = 2 - 7. Let h = c + 4.8. Which is smaller: h or -1?
-1
Suppose 0 = -7*o + 13*o + 120. Is -21 >= o?
False
Let k = 10.63 - -0.47. Let w = k + -11. Let p = -289/5 - -58. Which is greater: p or w?
p
Let x(m) be the second derivative of -m**5/20 + 7*m**4/12 - m**3 + m**2/2 + m. Let w be x(6). Is 3/4 > w?
False
Let f = -542/7 - -78. Suppose 6*o = o. Which is bigger: f or o?
f
Let n = 1613 - 482. Let u be (-2)/13 - (-96)/n. Which is smaller: u or 0?
u
Let r(u) = -u**2 - 11*u - 4. Let i be r(-12). Let j = -11 - i. Is j != 5?
False
Let r be -2 + 0 + 15/5. Let l = -3 - -4. Is l bigger than r?
False
Let p = 32743/765 + -385/9. Is 0 >= p?
False
Suppose -2*p + 4*c + 19 = -p, p + c = 4. Let l = 10 - p. Is 1 at most as big as l?
True
Suppose -2*u - 2*c = 6, 6*c - c = 2*u + 13. Let n be u/3*3/2. Let b be -1 - (-1)/(-6)*2. Which is smaller: n or b?
n
Let h be 5/10 + (-11)/10. Is h at most as big as -1?
False
Suppose -k + 14 = -2*k. Is -17 less than k?
True
Let w be (-4)/8 + 30/(-4). Let s(b) = -2*b - 8. Let i be s(w). Let v = 13 - i. Is 5 greater than or equal to v?
True
Let f = -6 + 5. Let x = 1 + -0.9. Let m = -1.9 - x. Which is smaller: m or f?
m
Let g = -4 + 4.1. Let n(t) = -t + 1. Suppose 2*w - 4 - 4 = 0. Let j be n(w). Is g < j?
False
Let f = -12 + 6. Are -4 and f equal?
False
Let g be 0 - (-2 - -5 - 2). Suppose -p - 2 = -3. Let x = -5/4 + p. Which is bigger: x or g?
x
Suppose 0 = 5*k - 136 - 44. Suppose 2*r + 4*c = 6*r - k, -3*c - 6 = 0. Is 7 at most r?
True
Let o be (1 + -1)/(-1 - -3). Let f(n) = n**2 - 3*n + 3. Let j be f(0). Suppose o = -t - j*t. Which is smaller: t or -2/11?
-2/11
Let h = 0.2028 + 13.8672. Let i = 14 - h. Does i = 0.1?
False
Suppose 0*y - 2*y = 0. Let m = y - -1. Let z be 6/4*(-8)/30. Is m greater than or equal to z?
True
Let n(y) = y**3 + 3*y**2 - 8*y - 12. Let d be n(-6). Do 1/3 and d have different values?
True
Let y = 241/316 + -1/79. Let i be (-2)/(-1) - (0 - 0). Suppose -2*n + i = -2. Which is smaller: n or y?
y
Let w = 6.02 - 6. Is -0.1 greater than w?
False
Let o be ((-2)/(-2) - 0)*1. Let x = 884/3 + -295. Which is bigger: x or o?
o
Let o = 94 + -93.7. Which is smaller: o or 1/11?
1/11
Let y be (-8)/6*(-2)/2. Which is bigger: 1 or y?
y
Let c = -55/183 - 2/61. Let f = 0.28 + -0.28. Which is smaller: f or c?
c
Suppose -b - r - 4 = -1, 0 = 2*b - 3*r - 14. Let a(o) = -4*o. Let j be a(-1). Suppose b = -j*f + 3*f. Is f > 1?
False
Let o be 0/(1*2/(-2)). Let q = 1 + o. Let a = -1 - -1. Is a at most q?
True
Let f be 2/4*-3*4. Suppose a - 2 = 6. Let o = a + f. Which is greater: 3/4 or o?
o
Suppose 0 = -2*f + 2. Let a be (6/405)/((-84)/(-20)). Let w = a - -484/567. Are f and w equal?
False
Let i(n) = 5*n**2 + 4 + n**3 + 3*n**2 - 4*n**2. Let p be i(-4). Let a be ((-6)/5)/(p/(-10)). Which is greater: a or 2?
a
Let u = -47 + 46. Which is smaller: u or -0.36?
u
Let c = 4 + 0. Suppose -10 = 3*x - 2*o, -4*x = c*o - o - 15. Let h = x - -4. Which is smaller: 3 or h?
3
Suppose w + 4 + 14 = -5*s, 0 = -w + 2*s + 3. Let f = w - -3. Which is smaller: 0.1 or f?
f
Let h = -13 - -22. Suppose 4*k + 0*r + 12 = r, -h = 3*k - r. Let s be (-1)/(3/k)*1. Do s and 0 have different values?
True
Let p = -1064/5 + 211. Is p at most as big as 1?
True
Let o = -34 + 31. Do -17/5 and o have the same value?
False
Let j = 33 - 21. Let y be 3/j - 23/(-4). Let z(q) = -q + 7. Let x be z(y). Which is smaller: x or 2/13?
2/13
Let a be (-57)/2*2/(-3). Suppose 0 = -5*g + 4 - a. Let x be (-2)/g + (-42)/(-18). Which is bigger: x or -1/4?
x
Let z(v) = v**2 - v - 4. Let m(f) = -f**3 + 3*f**2 - f + 1. Let u be m(3). Let s be -1 + 2 - 0 - u. Let h be z(s). Does 4 = h?
False
Let q = 32 + -22. Let d = q + -32/3. Which is bigger: 0.2 or d?
0.2
Let d = -2.2 + 0.5. Let a = -1.7 - d. Let o be (-9)/7 + (-2)/(-7). Which is bigger: o or a?
a
Suppose 0 = -5*l + 26 - 11. Let n = 0.069 + -0.169. Is n > l?
False
Suppose 5*x - 25 = 2*k, -4*k + 9*k + 2*x = 10. Suppose k = -5*j + 8 - 3. Suppose -j = -5*z - 3*d, -4*d + 8 = -2*z - 2. Is -2/7 < z?
False
Suppose -3*y + 6*y 