 l - 2/21. Is m > x?
False
Let a be (6 + -7)/(2/(-34)). Let g = -24 + a. Which is smaller: -8 or g?
-8
Let g be -1 + -9*(-34)/3. Let v = -1516/15 + g. Which is smaller: v or 1?
v
Let b = -3 - -4.1. Which is smaller: 2/5 or b?
2/5
Let x(q) = q**2 + q + 1. Let v be x(-3). Let g = 60 + -52. Let r = v - g. Is 0 at least as big as r?
True
Let w be (6*-1)/(9/(-6)). Let p be (2/(-7))/(5/(-35)). Suppose -2 = -n + 2*f, 2 = -n + p*n - 5*f. Which is smaller: w or n?
n
Let x = 155 + -154. Which is bigger: 11/9 or x?
11/9
Let m be (-4)/14 - 133/49. Which is bigger: 0 or m?
0
Let b = 10.7 - 10.51. Is 4/3 smaller than b?
False
Let z = -0.06 - -0.07. Let u = z - 0.51. Let j = u + -0.5. Which is greater: j or 1?
1
Let o(i) = -39*i + 9. Let v be o(1). Which is smaller: v or -28?
v
Let v = -7 + -7.3. Let z = v + 14. Which is greater: -1/2 or z?
z
Suppose 2 + 0 = -2*g. Which is smaller: g or -2?
-2
Let j be (-1 + 0)/(-11)*-6. Let a be (-4 - -1) + 2 + 0. Is j at least as big as a?
True
Suppose 2*n + 14 = 4*i, -7*n + 3*n - 16 = -2*i. Suppose i*g + 2 + 6 = 3*c, -3*g - 7 = -2*c. Let y = 5 + -2. Is c equal to y?
False
Let l be (-1 - 3)/(3 - 1). Let c = l - -2. Is 2/3 at least c?
True
Suppose 4*f - 40 = 6*m - 2*m, -3*f - 74 = 5*m. Which is greater: m or -12?
-12
Suppose 0 = 4*z - 2*z + 3*u + 8, 0 = 4*z - u + 2. Let s be (-3)/6*(-8)/(-14). Is z >= s?
False
Let t = 30 + -27. Is 1/15 at most as big as t?
True
Let j(q) = -q**2 - 11*q - 6. Let x be j(-10). Suppose 4 = 2*w + 2*m, -m - 6 = -x*m. Let r be (1*-1)/(-10) - 0. Is w greater than or equal to r?
False
Suppose -5*b + 2*g = 5, 0 = -b + 4*g - 14 - 5. Is 2 bigger than b?
True
Let w = 0.7 + -0.6. Let r = -1.3 - -0.3. Let n = r - -2. Which is bigger: n or w?
n
Suppose -2*u = -u - 2. Suppose 0*d = -2*d. Let k be 2 + d + 0 + 1. Is k at least as big as u?
True
Let q = -0.22 - -0.16. Which is bigger: -0.2 or q?
q
Suppose -9*n = -11*n. Which is smaller: n or -5/14?
-5/14
Let v = 37 - 36. Which is smaller: v or 9?
v
Let s(a) = a**3 + 6*a**2 - 6*a + 9. Let c be s(-7). Let u be c/8*(-16)/(-18). Suppose 0 = -0*v + v + 1. Is v < u?
True
Let w = 17/20 + -61/10. Let p = w - -11/2. Which is smaller: p or -4?
-4
Suppose -d = d - 12. Let c = d + -4. Suppose -o - 2*r - 11 = -2*o, 4*o - 26 = c*r. Is o < 5?
False
Let z be -5 + ((-406)/(-8))/7. Let g be ((-4)/8)/((-1)/2). Does z = g?
False
Let t be (-1)/(-5) + 427/(-35). Let y = t + 13. Is y greater than or equal to 1?
True
Suppose 0 = -2*t - t - 3. Is t >= 2/69?
False
Suppose -3*g - 150 = 2*g. Which is greater: -28 or g?
-28
Let w = 78 - 41. Is 1 less than w?
True
Suppose -6*n - 10 = -4. Let f(i) = 3*i**3 + i**2. Let v be f(n). Is -2 not equal to v?
False
Let f(n) = 3*n + 2. Let r be f(-3). Which is smaller: r or -6?
r
Let r(c) = -2*c**2 - c + 8. Let s be r(4). Is s at least as big as -27?
False
Suppose -3*u = 2*u. Suppose u = -p + 3*p. Let y = -203 - -1823/9. Is y > p?
False
Let y = 9 - 8. Let v(q) be the third derivative of -q**4/24 + q**3/6 + 2*q**2. Let m be v(1). Which is greater: y or m?
y
Let a be 3/1 - (-13)/(-5). Which is greater: a or 1?
1
Let z = -33 + 32. Which is bigger: 3/34 or z?
3/34
Let y = -37.1 + -0.9. Let t = y + 53. Which is smaller: t or 0.1?
0.1
Let k = -2 - -2.3. Let a = 2.3 - k. Let p(o) = -o**2 + 4*o + 5. Let j be p(5). Which is greater: a or j?
a
Let g = 2.35 - 2.5. Let w = -0.08 + g. Is w smaller than 1/2?
True
Let n = 104 - 44. Suppose -i - 4 = -y - 2, 5*i = -5*y + n. Which is smaller: 6 or y?
6
Suppose -34 = 2*t - 2. Is -16 > t?
False
Let s = -28 - -28. Which is greater: 1/22 or s?
1/22
Let n(o) = -o + 1. Let p be n(-2). Let w = p - 2. Which is smaller: w or 3?
w
Suppose k - 1 = -0*k. Let g be 3/k*(-8)/60. Which is smaller: 1 or g?
g
Let a = 90988 + -3638897/40. Let k = 78/5 - a. Let z = 61/40 - k. Is 3 > z?
True
Suppose 5*v - 1 - 14 = 0. Let p be 0 + v/((-99)/(-6)). Which is smaller: 0 or p?
0
Let y = -0.26 - -0.16. Which is smaller: -2/41 or y?
y
Let s = 1 + -1.6. Let x = 0.1 + s. Let o = x + -0.5. Is o smaller than 1/4?
True
Let n be -2*((-15)/6)/5. Let i = 1 - n. Let v be 4 - 4 - (1 - i). Are v and 1 non-equal?
True
Let s be ((-6)/8)/((-15)/16). Is 2 < s?
False
Let i = -32 + 31. Do i and -5 have different values?
True
Suppose 3*d - 497 = 10*d. Is -1 at least d?
True
Let b(w) = -w**3 - 7*w**2 - 3*w + 18. Let f be b(-6). Is 9/7 greater than f?
True
Let t = 83/28 + -19/7. Which is greater: t or 1/2?
1/2
Let r = 2/147 - 328/2499. Is 7 at most as big as r?
False
Let l = -2 + 4. Suppose 5*j - 3 = 2*t, 5*j + t + 7 = -l. Let g = 2/79 + -97/711. Are g and j nonequal?
True
Let w = 14 + -15. Is -3/38 greater than w?
True
Let a be (1/2)/((-3)/(-12)). Let k be a/(-4) - (-28)/(-8). Suppose 0*u + 12 = -4*u. Which is bigger: k or u?
u
Let t = -6401621/186 + 34417. Let w = -1/62 + t. Does -10 = w?
False
Let l = 4.03 - 4. Let t = l - -0.07. Is 0.3 >= t?
True
Let u be 2 - -1 - (-1740)/(-9). Let f = u + 192. Do 3 and f have the same value?
False
Suppose -3*y + 3 = 0, 0 = 5*i - 0*y - 2*y + 22. Which is bigger: i or -28/9?
-28/9
Let a(v) = 5*v - 5. Let s be a(5). Which is smaller: s or 18?
18
Let i = 81 - 82. Which is smaller: 1/15 or i?
i
Let n = 5 - 4. Let h = 13 - 12.93. Let s = 0.93 + h. Is s not equal to n?
False
Suppose 3*y = -2*y - 10. Suppose b - 5*b = 0. Which is smaller: y or b?
y
Suppose -4*f = -0*f - 8. Suppose 3*c - 3*z - 10 = -f*c, -z = -3*c + 2. Is -1 at least c?
True
Suppose h = 3*h + 10. Let j = -6 - h. Let y be -1*6/5 - -1. Is j equal to y?
False
Let a be 1 - 1 - (-3 - -1). Let x = a + -1. Let u be (-32)/(-180)*-1*(-10)/4. Is u greater than x?
False
Let j be 14/(-21) - (-76)/6. Which is bigger: 13 or j?
13
Let n(g) = -g**3 + 3*g**2 + 4*g - 4. Let w be n(4). Let x(p) = 1 - 3*p + 2*p - 2 + 0*p. Let z be x(w). Is z greater than or equal to 2?
True
Let h = 44 + -44.28. Which is smaller: -1 or h?
-1
Suppose d + 3*d - 16 = 0. Suppose -w - d*p = -14, 22 = 5*w + 2*p + 2*p. Which is greater: 1 or w?
w
Let r be (-1)/(((-4)/2)/(-4)). Let b = -1/6 - 1/2. Which is smaller: b or r?
r
Let c be ((-60)/800)/((-24)/50). Are -1/4 and c equal?
False
Let s = -2.1 + 8.1. Let l = s + -3. Is l greater than 1/8?
True
Let m(s) = -s + 6. Let n be m(6). Let i(v) = v**3 - 2*v**2 - v - 7. Let g be i(3). Is n at most g?
False
Suppose 8*m = 5*m - 3. Let n be (0 + -1)*m + -7. Which is greater: -7 or n?
n
Let h = 31/58 - 1/29. Let c = 13 - 11. Which is smaller: h or c?
h
Suppose 4*x = -x + 25, -5*x + 40 = 3*g. Suppose -15 = -2*d - g*l, 2*l = -2*d + d + 7. Suppose 0 = -d*t + 5 + 5. Which is smaller: 1/2 or t?
1/2
Suppose 15 = -4*p + p. Let u = -4 - p. Which is bigger: u or 1/6?
u
Suppose 0 = 2*y + 6 - 4, -4*o + 4*y + 28 = 0. Let z = o + -7. Let i = z - -3. Are 3 and i non-equal?
True
Suppose 12 = 3*p, 0 = -4*j - 3*p - 1 + 13. Suppose 5*d = -y + 5*y - 85, -2*y + 5*d = -55. Let u be (-9)/(-12) + y/(-12). Which is greater: u or j?
j
Let l be (-10)/(-4)*(1 - -1). Suppose 0*m = 2*m - 2*g - 6, 15 = l*g. Let h(x) = x. Let i be h(5). Which is smaller: i or m?
i
Let p be 0 + 29 + (0 - 1 - -4). Is 31 >= p?
False
Let u be 4 + (-1 + 2 - 45). Let d be (2 - u/(-28)) + 0. Which is greater: 0 or d?
d
Let n(m) = m**2 + 6*m + 3. Let q = -3 - -6. Suppose q*f = f - 10. Let t be n(f). Which is greater: t or -1?
-1
Let h = -4.9 + 5.2. Let u = -0.1 + 0.1. Which is smaller: h or u?
u
Suppose t - 10*t = 144. Do -16 and t have the same value?
True
Let g = -15 - -38. Do g and 22 have the same value?
False
Let d = -0.2 + 0. Suppose -5 = g, 3*f = 6*g - 3*g + 12. Which is smaller: f or d?
f
Suppose 5*f = 61 - 21. Suppose -4*n + 4*i + 52 = 0, -n - 2*i = -5*n + 46. Let z = f - n. Which is greater: z or 2?
2
Suppose 0 = 4*w - 4*u + 128, -w - 3*w + 3*u = 129. Are -34 and w nonequal?
True
Suppose -3*n = n + 48. Let f(y) = 15*y + 3. Let s be f(-1). Is s at most n?
True
Let m = -0.5 - 18.5. Is -2 at least m?
True
Let z = -23.05 + 23. Let w = 2.95 - 3. Let d = w - z. Which is greater: d or -1?
d
Suppose -s + 2 = -2*a - 2*a, -2*a - 26 = -3*s. Let i(m) = -m**3 + 10*m**2 + 2*m - 14. Let z be i(s). Is z bigger than 0?
True
Let b = -19 - -17.9. Let w = b - -1. Is -2 > w?
False
Let z be (-12)/(-58)*9/18. Which is greater: z or 0?
z
Suppose 0 = -l + 2, 2*s - 2*l + 0*l = 0. Let f be (7 + 8)*s/(-5). Which is bigger: f or 0.2?
0.2
Let y 