?
True
Let m = 2 + 0. Let t = m + 0. Let j = t - 1. Which is smaller: j or -1/2?
-1/2
Let v = -639 - -1918/3. Let k = -6.7 + 6. Is v > k?
True
Let t = 79/4 - 20. Suppose -u - 6*z + 6 = -2*z, 0 = -u + 3*z - 1. Suppose 0 = o - 2*n - 5 - 2, -u*o = 4*n + 18. Which is smaller: o or t?
o
Suppose -2*w - 4*l = 4, 4*w - w - 5*l + 61 = 0. Let x be w/(-60) - 12/10. Is -2 less than or equal to x?
True
Suppose 4*o - 5 - 7 = 0. Are 18/11 and o non-equal?
True
Let g(j) = -j**2 + 15*j - 8. Let b be g(14). Let t be 1*3/b*-2. Let a be (-9)/(-6) + (-2)/4. Is a at most t?
False
Let a(x) = -x + x - x**2. Let m be a(0). Let v be (-1)/(-2) + 1 + -6 + 4. Does v = m?
False
Let h = 219 - 2407/11. Let k = 5 - 4. Which is smaller: k or h?
h
Let y be (-954)/(-124)*4/(-42). Let h = y - -5/31. Is -2 < h?
True
Let m = 26 + -26.2. Let z = -15 + 74/5. Is m != z?
False
Let l = 67 + -67. Let c = 91 + -457/5. Is c >= l?
False
Suppose 8 = z - 5*z. Let u be -3*(2/3)/z. Suppose -j = j + 5*w - 29, 0 = -3*w + 15. Is u != j?
True
Let b = 13 - 18. Is b less than or equal to -5?
True
Let r = 33/4 + 2. Is r less than or equal to 11?
True
Let a = -311 + 211. Which is bigger: -99 or a?
-99
Suppose 2 = -2*f - 2. Suppose -3*y + 16 = -7*y. Which is bigger: f or y?
f
Let f = -140 + 1818/13. Is -1 bigger than f?
False
Let b(x) = 124*x**2 - x - 1. Let d be b(-1). Are d and 124 equal?
True
Suppose -3*o = 2*o - 5. Which is greater: o or -21?
o
Let n(u) = u**3 - 6*u**2 - 2*u + 12. Let g be n(6). Is -2/101 at most as big as g?
True
Let z = -312763/145 + 2157. Do z and 0 have the same value?
False
Let v = 3/34 + -225/238. Which is greater: v or -1?
v
Let s(w) = -5*w**3 + w. Let r be s(1). Let f = r + 6. Suppose 4 = -l + 6. Are f and l non-equal?
False
Let m = -12.7 - -12. Let c = -0.8 - m. Which is bigger: -2/7 or c?
c
Let v = -51 + 63. Suppose 3*a = 5*p - 0*a - 48, 3*a = 4*p - 36. Is v < p?
False
Let j(b) = -b - b + 4*b - b - 8. Let w be j(10). Which is greater: w or 1?
w
Suppose 2*y - y - 3*x = 0, 0 = y - 2*x. Let j be (-1 - 1)/(-4 + 0). Which is greater: j or y?
j
Let w(j) = j - 2. Let c be w(10). Suppose -5*g = -g + c. Let k = -0.2 + 0.1. Is k bigger than g?
True
Let j = 1/20 - 43/60. Is j at least as big as -25?
True
Let c be (-14)/24 - 0 - 4/(-12). Is c at most as big as -0.011?
True
Let i(h) = -h**3 - h**2 + h + 1. Let l be i(-1). Suppose 2*y - y = l. Which is smaller: -1 or y?
-1
Let l(x) = x**2 - x + 4. Let j be l(2). Let v be (j - 9) + 26/10. Suppose 0 = -0*u + 5*u + 5. Which is smaller: u or v?
u
Suppose -2*g = -g - 5*r - 25, -25 = 2*g + 5*r. Let j(d) = 2 - 5 - 3 + d + 3. Let z be j(4). Is z < g?
False
Let v = -146 + 161. Which is greater: 18 or v?
18
Let v(g) = -4*g**2 + 6*g + 4. Let m(j) = -j**2 + 1. Let o(q) = -3*m(q) + v(q). Let w be o(6). Is w bigger than 3/5?
True
Suppose 4 = 2*f - 2. Suppose -f*d = 2*d. Let y be (d + 0)*(-2)/(-4). Which is greater: 1/9 or y?
1/9
Let j be ((-4)/(-6))/(10/(-75)). Let k be (-26)/8 + (-15)/20. Is k >= j?
True
Suppose 9 = 2*f + 3*m, 0 = 3*f + 2*m + m - 12. Suppose -3*w + 10 = -s, -2*w + 1 = f*s - 2. Suppose -y - 2 = -k + 2, -1 = -k - 2*y. Is w greater than k?
False
Let i = 21 + -14. Let z = -8.9 + i. Let h = 1.81 + z. Is 1/2 greater than or equal to h?
True
Let j = 156.9 + -157. Which is bigger: -137 or j?
j
Let m(a) = -6*a**3 - 2*a**2 - a + 1. Let t be m(-1). Suppose 0*s - 9 = -u - 2*s, 5*u + s = 36. Are u and t unequal?
True
Let h = -0.32 + 0.1. Let n = -0.02 - h. Is -0.1 equal to n?
False
Let i be 3/2 + 2/4. Suppose 0 = 2*q - i*d + 4, -2*q + 2*d = -q + 6. Let z be q*((-32)/(-10) - 3). Which is smaller: z or -1?
-1
Suppose -3*y + 5*c - 56 = 0, y - 14 = 2*y + 3*c. Which is bigger: -19 or y?
y
Let z = 25 - 24. Which is smaller: z or 1/90?
1/90
Let w be (0*3/9)/(-2). Which is bigger: -3 or w?
w
Let p be -7 + 7 + (-14)/2. Let d(q) = -q**3 - 7*q**2 + 2*q + 8. Let h be d(p). Is h > -7?
True
Let i be (-2)/10 + (-36)/(-280). Which is smaller: 1 or i?
i
Let t = -1 + 3. Suppose -t*c = -0*c. Let v = -119/824 - -2/103. Is v at least as big as c?
False
Let r(f) = -f**3 + 4*f**2 + 4*f + 4. Suppose -4*s + 0 + 16 = 0. Let h be r(s). Suppose -h = -5*k, t - 4*k + 18 = 2*t. Which is smaller: 4 or t?
t
Suppose -4*y - y - 22 = -3*u, -4*u = 5*y - 6. Let v = 3 + y. Let r(c) = c**2 - 6*c. Let m be r(6). Do v and m have different values?
True
Suppose 2 + 2 = 2*h. Which is smaller: 38/11 or h?
h
Let w = -48 - -52. Are w and 4 equal?
True
Let r be (-12)/8*-1*2. Is r bigger than 3?
False
Suppose -3*o + 1 + 5 = 0. Suppose 5*i - 2*t - 106 = 52, -132 = -4*i + 3*t. Let z = i - 91/3. Is z at least as big as o?
False
Let n = 619 + -14240/23. Let u = 1 - 1. Is u bigger than n?
True
Let u = -3 - -18. Suppose -5*a + u = 0, -2*i - a - 2*a = -5. Which is greater: -3 or i?
i
Suppose -3 = 5*b - 18. Which is bigger: b or 3/7?
b
Let a = 4 - 5.8. Let d = -3 - -3.2. Let y = d - a. Is y > 1?
True
Suppose 0 = -8*w + 6*w. Which is bigger: w or 1?
1
Let t(f) = f**3 + 2*f**2 - 5*f - 4. Let n be t(-3). Let u = n - 2. Let y be ((-4)/(-10))/((-12)/(-15)). Which is greater: y or u?
y
Let s = 7 + -12. Let h(d) = d**2 + 5*d + 4. Let n be h(s). Let z = 2 - n. Which is bigger: -2/7 or z?
-2/7
Let x be 0 - (2 + (-2)/(-1)). Let d be -1*3 + 7 + x. Which is greater: 3 or d?
3
Suppose -n - 4*b + 21 - 1 = 0, 2*b = 4*n + 10. Is -10/27 >= n?
False
Let v(m) = -m**2 - m + 10. Let z be v(0). Let r be (-2 - -4)*(-15)/z. Is -1 > r?
True
Let q = 4 - 6. Let l = 2 + q. Is l at least as big as -3/7?
True
Suppose 8 = -s - 4*v, s + 0 = -3*v - 5. Suppose -5*d + x = 5*x - 60, 12 = s*d - 4*x. Is d less than or equal to 8?
True
Suppose 3*a - 4 = 20. Suppose -2*s - u + a = -2*u, 2 = -s - u. Suppose -2 = 5*j + v + s, -3*v - 12 = 2*j. Are j and -1/6 equal?
False
Let p = -0.0176 - -25.3176. Let w = p + -28. Let c = -0.3 + w. Which is smaller: -0.1 or c?
c
Let l = 1 - 0. Let t(h) = h**2 - 3*h - 4. Let p be t(3). Let u be ((-2)/(-6))/(p/6). Does l = u?
False
Let q be 3 - (6 - 0) - -1. Let v be -2 + q + 3 + -1. Let d be v*-2*15/12. Do 5 and d have different values?
False
Let g = -0.25 + 0.65. Is g equal to 0.2?
False
Let m(j) = -j**2 + 9*j - 1. Let g be m(9). Let a be g + 5*(4 - 3). Which is bigger: a or 5?
5
Suppose 29*h = 26*h - 3. Is 1/12 at most as big as h?
False
Let j be -326*((-24)/(-15) + -2). Let m = j - 131. Which is smaller: m or 0?
m
Let i(d) = d**2 + 6*d - 9. Let z be i(-7). Suppose 100 = -0*f + 5*f. Let k be z*(-2)/f*2. Are -1/2 and k nonequal?
True
Let n be -4*(-1 + (0 - 0)). Suppose q + k + 3 = -0, q - n*k = -18. Is q > -6?
False
Let a be (-8)/(-2) - (-15)/(-3). Is 4/13 >= a?
True
Suppose -2 = 2*d - 10. Is 3 not equal to d?
True
Let u = -5 - -7. Suppose u*s + 0*s = 16. Which is smaller: s or 9?
s
Let f = -66/11947 - -1126777/7168200. Let m = f + -2/75. Which is smaller: 1 or m?
m
Let m = -7 - -7. Suppose m*f - 2 = -f. Which is smaller: 1 or f?
1
Let r = -17/12 + 7/4. Do r and 0 have different values?
True
Let a = -0.1 + 0. Let r = 4 + -2. Let o = 2 - r. Which is greater: a or o?
o
Let v be 1 - 4/(-6)*44. Let n = v - 30. Suppose 4*w - 4*u + 16 = 0, 2*w + 5*u = 22 + 5. Is n not equal to w?
True
Let l = -97 - -97.7. Which is smaller: l or -0.7?
-0.7
Suppose 2*g + 22 = 5*v, 4*g = -3 - 1. Suppose -3*k = -7*k - o - 5, v*k = -5*o + 7. Is 0 at most k?
False
Let b be 120/(-160) + (-554)/16*2. Is -70 less than or equal to b?
True
Suppose 35*r - 8*r = 0. Is 1 less than r?
False
Let d = -34 - -38.8. Let q = d - 4. Let t = q - 1. Which is bigger: 2 or t?
2
Let h(j) = -j**3 + j**2 - j - 20. Let g be h(0). Is -21 equal to g?
False
Suppose -7*g + 525 = -0*g. Are g and 75 nonequal?
False
Suppose t + 1 + 1 = 0. Let c be (t - 2/(-2))*1. Are c and -1/2 nonequal?
True
Let n = 1381/6 - 273/2. Let v = 92 - n. Which is bigger: v or -1?
-1
Let l = 0.05 - -0.95. Let h = -9.1 + 8. Let q = h - -0.1. Does q = l?
False
Let s = 3 + -3.2. Let f = -2 - 1. Let o = 4 + f. Which is greater: o or s?
o
Let x be -2 + 6 + (-6)/2. Let j be x/2 + 12/8. Let p be -1 - 24/(-3) - j. Is p > 6?
False
Suppose -3*b = -4*x - b + 34, 0 = 5*x - 5*b - 45. Suppose 16 = -a + 4*d, -4*a - a + 2*d = x. Which is bigger: a or -1?
a
Let t = -61 - -42. Let p be (4 - 1) + t/5. Suppose -2*q - 4*s + 4 = -0*q, 0 = 5*q - 3*s + 3. Which is smaller: q or p?
p
Let n(t) = -t**3 - 2*t**2 + 