uppose -3*w - w + t = -5*i, -w = i - 2. Let a = 1 - 2. Is i at least a?
True
Let h(t) = t**3 + t**2 + 11. Let i be h(0). Suppose 0 = 3*w - 2 + i. Let s be 6/(((-12)/2)/w). Is s at most as big as 4?
True
Let a = 0 + 1. Suppose -u = 5*b - 33, 4*u = -3*b - 112 + 312. Let c = 373/7 - u. Is c greater than a?
False
Let q = -31 - -167/5. Suppose 0 = -16*w + 13 + 3. Which is bigger: q or w?
q
Let x = 69.88 + -0.88. Which is smaller: 2 or x?
2
Suppose 3*c + 4*z = 18, -2*z - z = 3*c - 15. Suppose -4*m + c*o + 13 = 43, -m - 25 = -4*o. Which is smaller: m or -3?
m
Suppose 0 = 5*z - 4*r - 15, 0 = -2*z - 2*r + 4 + 2. Suppose -z*o - 8 = -o. Let u(i) = i**3 + 5*i**2 + 3*i. Let s be u(o). Is 4 less than s?
False
Let p be (-1)/(1/(-2))*6/174. Suppose 0 = v + 4*v. Which is smaller: v or p?
v
Let d(b) = -184*b**2 + 3*b + 2. Let o be d(-2). Let p be 2/(-8) + o/(-528). Let u = 20/11 - p. Does -2/5 = u?
False
Suppose 5*s = 15, s - 7 = i - 2*s. Let c(k) = k**3 - 9*k**2 + k - 5. Let g be c(9). Which is greater: i or g?
g
Let c be (-1)/(-4*2/(-16)). Let v be (c/(-5))/(8/10). Which is smaller: -4 or v?
-4
Let w = 3/7 - 1/7. Let z be (-2 + -1)*(-2)/(-1). Let g be (-2)/z*6/(-8). Do g and w have different values?
True
Let l = 21 - 19. Suppose o - 9 = -b - 4, -b - l*o = -8. Which is smaller: -6 or b?
-6
Let d(i) = 2*i - 4 - 4*i - i. Let t be d(-3). Suppose 0*w - 5*w = t. Which is smaller: -2 or w?
-2
Let l = 6 + -3. Let d = l - 3. Suppose -2*c + c + 3*u = 10, -3*c - 12 = -3*u. Is d equal to c?
False
Let x be 2/(-9) + (-22)/(-18). Suppose 19 - 4 = -5*s. Let m be s*(1 - 3/9). Which is bigger: m or x?
x
Let z = 71 + -79. Do z and -9 have the same value?
False
Let o be -2 - 4/(-16)*0. Is o != -2?
False
Let b = 7 + 2. Let k = b + -6. Let x be 3*-1 - (-6 + k). Is x at least as big as -2?
True
Let s = -44.7 - -44. Is s at most 5?
True
Let s(c) = c**3 + 9*c**2 + 8*c + 8. Let i be s(-8). Suppose 0 = -4*l + i*l + 3*b + 28, -b = -l. Let r be 1/l - (-4)/16. Which is greater: 2/7 or r?
2/7
Let c(h) = -h**2 + 10*h + 28. Let x be c(12). Is x > 2?
True
Let q = 24 + -24. Suppose -10 = 3*o - m - m, -2*o - 5*m = -6. Which is bigger: q or o?
q
Let j = -9 + 11. Does j = 8?
False
Let s(r) = r**2 + 3*r - 4. Let u = -3 + -1. Let n be s(u). Suppose -d - 6 = -3*w, -5*d - 8 = -4*w - n*d. Are -2 and w nonequal?
True
Suppose 12*z = 9*z + 6. Let c = 12 - 10. Is z at most as big as c?
True
Let s be (2/4)/((-4)/8). Which is smaller: s or 2?
s
Let s = -134/5 - -27. Suppose -3*f = -2*l - 8, -2*f = -2*l - l - 12. Which is smaller: f or s?
f
Let g = 27/4 - 25/4. Which is greater: g or 1/3?
g
Let y be 0 + (-1)/((-7)/(-2)). Suppose 0 = -2*m + 4*d + 29 - 9, 4*m + 3*d = -4. Let k be 1/(-3 + 8/m). Is k bigger than y?
True
Let n be (-1)/(-1)*(6/9 + -1). Let c = -1 - -1. Let m = -2 - c. Which is greater: n or m?
n
Let h = -24 + 12. Let m(z) = -z**2 - 12*z. Let n be m(h). Is -1/6 != n?
True
Let j = 33 + -32. Which is smaller: 3 or j?
j
Suppose 2*w - 25 = -w + 4*v, 2 = w + 5*v. Is 58/7 >= w?
True
Suppose -4*g + 4*g = 3*g. Let f(l) = -18*l + 1. Let a be f(8). Let o = a - -569/4. Which is bigger: o or g?
g
Suppose u = 4*h - 24, -4*u = -3*h - 2*h + 41. Suppose -4*d + 3*d - 9 = 3*c, d + h*c = -17. Which is smaller: d or 1?
1
Let t be 473/(-1540) + (-1)/(-4). Which is bigger: t or 1?
1
Let x = -212.25 - 1.75. Let n = x + 212.97. Let j = 0.03 + n. Is j equal to 0.3?
False
Let s(h) = -h**2 - 5*h - 6. Let j be s(-4). Let a be j*(-8)/(1*-4). Is -13/4 at least as big as a?
True
Let u be (2 - (-218)/(-84))/1. Let x be 0 + 1*4/(-42). Let f = x - u. Which is smaller: f or -1?
-1
Let d be 19/(-10) + (3 - -2 - 4). Does -1 = d?
False
Let w be ((-13)/3)/((-12975)/(-153)). Let b = 5/173 - w. Which is greater: -1 or b?
b
Suppose -6*k + 4 = 2*h - k, 2*k + 8 = 4*h. Suppose -22 - h = -3*z. Is 8 less than z?
False
Let j be 3608/(-160) + 2/(-10). Which is bigger: j or -23?
j
Let a = 2 - -1. Suppose 0*x = a*x. Let h be ((-2)/8)/(-3 + 2). Which is smaller: h or x?
x
Let i(r) = r - 4. Let z be i(6). Let v be 3/(9/12*z). Which is greater: v or 1?
v
Let i(q) = -2 - 2*q + q**3 + 0*q**3 - 3*q**2 + 4. Let n be i(3). Is n != -4?
False
Let l = 4 + -7. Let u = 0.136 + -0.036. Which is smaller: l or u?
l
Suppose -m = 6 - 22. Let j = m - 17. Which is bigger: j or -2?
j
Suppose -y = -51 + 341. Let u be 4/18 - y/(-495). Does 1 = u?
False
Suppose -x + 15 + 1 = 5*w, -5*x = -5*w + 70. Let g = 5 + x. Is 0 bigger than g?
True
Let n(h) = h + 6. Let l be n(-6). Is l at least -2/5?
True
Let o = -6 - -18. Let i = o - 11.2. Which is bigger: i or 0?
i
Let m = 22 + -11. Is -1 at most as big as m?
True
Suppose -3*r - 17 = -2. Let f be 4/10 + 17*(-3)/15. Which is smaller: f or r?
r
Let x(b) = -b - 3. Let q be x(-3). Which is smaller: q or 2?
q
Suppose 3 - 11 = -4*z. Which is smaller: 6/11 or z?
6/11
Let y be 1*8 - (-24)/8. Suppose 2*c = -0*c + 6, w = 5*c - 19. Let x = w + y. Is x greater than or equal to 7?
True
Suppose 0 = 2*k + 3*k + 60. Let j be (-3)/(-6) + (-3)/k. Is 0 less than j?
True
Suppose -4*i = -1 - 3. Let h be (-12)/3 + 56/11. Which is smaller: i or h?
i
Let a be (-29)/(-9) + (-14)/63. Suppose a*z = -0*z + 12. Let j = -4 + z. Are -2/5 and j nonequal?
True
Let y = -20.7 - -2.7. Let f = -18.1 - y. Which is smaller: -7 or f?
-7
Let v be 11/(-10)*(-2)/(-4). Let s = v - -4/5. Let c = 25 + -25. Which is greater: s or c?
s
Let g = 0.03 - 1.01. Let r = g - 0.02. Does r = -1/4?
False
Let r = -2.4 + -13.6. Do r and -0.1 have different values?
True
Let m be 2/7 - (-38)/14. Let p = -182 - -185. Do m and p have different values?
False
Let m = 0.09 + -0.09. Which is bigger: -5/3 or m?
m
Suppose 16 = 4*g + 4*d, g + 7*d - 2*d - 16 = 0. Is g greater than 1/8?
True
Let h be 2*120/1184*(-4)/(-5). Which is bigger: h or 1?
1
Let k(m) = -m + 4. Let y be k(6). Let j(o) = o**3 - 23*o**2 + 23*o - 23. Let u be j(22). Do y and u have the same value?
False
Let h = 17 - 15. Which is bigger: 5/4 or h?
h
Let p be (428/3)/(-2) + -2. Let y = p + 74. Which is smaller: -5 or y?
-5
Let d = -0.9 - 1.1. Which is smaller: 2/3 or d?
d
Suppose -p + 1 = -2*o, 14 = 2*o + 5*p + 33. Which is smaller: -7/3 or o?
-7/3
Let u = -52 - -106. Let k = 271/5 - u. Which is smaller: k or 0?
0
Let c = -89 - -35. Is c smaller than -54?
False
Suppose -2*p - 3*p + 5 = 0. Let c = -4 - -6. Which is smaller: c or p?
p
Let o(u) = -u**2 - 7*u - 9. Let t be o(-5). Let v be 2 + -6 + t - 0. Do -2 and v have the same value?
False
Let f be (-763)/(-490) + (-3)/2. Which is smaller: 1 or f?
f
Let t be 1 - 1 - (2 + -4). Suppose t*h + 7*s - 2*s + 25 = 0, 5*s + 25 = 3*h. Let j be (-6)/15 - 64/(-60). Are j and h equal?
False
Let l = 10/23 - 142/115. Does l = 0.4?
False
Let o = 4622/7 - 4518/7. Let m = 242/21 - o. Which is smaller: m or -2?
m
Let d = 33 - 16. Suppose -3*c + 5*r = -0*c + d, 14 = 2*c + 3*r. Let v be (2/30)/((-4)/(-12)). Is v smaller than c?
True
Let o = 0 + 0. Let c be 3/5 - (-18)/(-30). Do c and o have the same value?
True
Let p = 2/509 + -1172/39193. Are 0 and p equal?
False
Let q = -3 - 1. Let m be (4 - 3)/((-2)/q). Suppose m*i = -4*h - 2, 4*h - 4*i = h + 4. Which is smaller: -1 or h?
-1
Suppose 0 = 9*c - 13*c - 4. Let n = 3 + c. Which is smaller: n or -2?
-2
Let t be (-155)/25 + 3 - -3. Which is smaller: t or 0?
t
Suppose -4*w - 6*a = -5*a + 31, 0 = -2*w + 5*a - 21. Let x be w/42*(-12)/8. Which is smaller: 1 or x?
x
Let f be 3 - (-4)/(-8)*6. Which is smaller: -1/2 or f?
-1/2
Let m = 7 + -10. Let a = -3 - m. Suppose 0 = u + 4*u + 4*h, a = 2*u - 2*h. Is -3/5 != u?
True
Let d(j) = j**2 + 8*j - 9. Let m be d(-9). Let k be (9/(-6))/((-27)/8). Which is smaller: k or m?
m
Suppose 4*c = 3*c + 1. Which is smaller: -2/7 or c?
-2/7
Suppose 0 = -2*d + 4*p - 16, -4*p + 2*p + 8 = 0. Let a = 220 - 1094/5. Which is smaller: d or a?
d
Let o be ((-4)/3)/((-4)/18). Let l be 2/(-36)*o/(-3). Which is smaller: l or -1?
-1
Let p = 17 + -21.2. Let g = p - -4. Is g smaller than -2/7?
False
Let j = 23 - 20. Which is bigger: 8/5 or j?
j
Let c = -0.023 + -0.977. Which is bigger: c or -0.1?
-0.1
Let i(c) = c + 4. Let b(t) = -4*t + 3. Let o be b(6). Let v = o - -15. Let q be i(v). Is 0.2 less than or equal to q?
False
Let z be -7 - -1*8/4. Is -6 greater than z?
False
Let n be (-3)/((-3)/(-14)) - -2. Let s(v) = v**2 + 11*v - 11. Let d be s(