u = -27 + 16. Let b = u - -7. Are -2 and b equal?
False
Let l = 0.465 - 28.405. Let i = l - -28. Is i at most 0.1?
True
Let d be (-32)/(-8)*46/(-8). Are d and -23 nonequal?
False
Let k be -4 + 1/((-10)/(-5)). Which is smaller: -5 or k?
-5
Suppose -3*y + 2 = -1. Suppose -k - 5 = 0, -3*j = 4*k + k - 26. Suppose 3*w + 11 = -o, 3*o + 2*w = -3*w - j. Do y and o have different values?
False
Let t be (-164)/(-52) - 3 - (-335)/(-65). Does t = -21/5?
False
Let c = -0.7 + -0.3. Let i = c - -1. Let n be ((-2)/(-12))/(7/(-28)). Which is greater: i or n?
i
Let q be (0 - (1 + 0))*7. Which is smaller: -2 or q?
q
Suppose k = 3*y - 82, 2*k + 141 = 5*y - 20. Let p = 366/5 + k. Which is smaller: 1 or p?
p
Suppose 21 + 1 = 2*i. Suppose -15 = -i*a + 6*a. Which is greater: 4 or a?
4
Let p = 21.1 + -21. Which is smaller: -6/13 or p?
-6/13
Let v = -1 + 3. Suppose -5*q - 6 = -16. Let f be (2/(-3))/(q/(-3)). Which is greater: v or f?
v
Let n = -7 + 11. Let y = n - 2. Let j = -4 + y. Are -2 and j equal?
True
Let k = 23 - 23. Let p = -130 + 269/2. Let b = p - 47/10. Is b greater than or equal to k?
False
Let p(f) = 2*f**2 - 7*f + 5. Let q(i) = -i**2 + 4*i - 2. Let m(j) = 4*p(j) + 7*q(j). Let w be m(0). Which is bigger: 7 or w?
7
Let z(t) be the second derivative of -t**5/20 - 2*t**4/3 + 4*t**3/3 - 5*t**2 + 9*t. Let g be z(-9). Let l = 1.2 - 0.2. Does l = g?
False
Let k(p) = p**2 + 8*p + 4. Let y be k(-6). Suppose 2*l = -3*l + 60. Let w = y + l. Which is bigger: 5 or w?
5
Let h(m) = m - 5. Let v be h(5). Suppose v*s = -s - a, 4*a = -s. Suppose -2*c - 2 - 2 = s. Do c and -2 have the same value?
True
Let h = -24 + 40. Is 17 < h?
False
Let h be (18/2)/3 + -2. Let c be h - 3/(-7)*-3. Is 1 <= c?
False
Let b = -5 - -6. Let g be (b - 2)*1 + 3. Are g and 2/3 equal?
False
Let j = -0.3 - 3.7. Let f = 7 + j. Is f less than or equal to -1/2?
False
Let d = 3.4 - 4. Let n = d - -0.5. Let l = -0.1 - n. Is l less than 0.1?
True
Suppose -n = o + 1, -3*n = -o + 1 - 2. Suppose 4*j + 0*j = n. Are j and 2/9 nonequal?
True
Let c be ((-132)/15 - -9) + (-242)/10. Which is smaller: -26 or c?
-26
Let b = 27/13 + -310/143. Is b != -1?
True
Let w(i) = -i**3 - 6*i**2. Let j be w(-6). Suppose 4*c + 5 = 3*t - 8, j = -5*t + 2*c + 3. Is t != -2/15?
True
Suppose -u = 2 - 4. Which is greater: 8/7 or u?
u
Let h be (-3 + 15/(-6))*-2. Is h >= 10?
True
Let q = -49/188 - -1/94. Are q and 2/11 equal?
False
Suppose 5*o + 2*u = 21, 0*o + 3*u = 4*o - 3. Let f be o/(-4) + (-1 - -2). Suppose -5*q - 3*h - 2 = 0, 5 = 5*q - 2*h + 12. Which is bigger: q or f?
f
Let d be ((-5)/10)/(1/6). Suppose 3*c + 4*v = 8*v + 14, -6 = c + 4*v. Let n = d + c. Does n = -1?
True
Let v = 126 + -130. Which is smaller: -5/2 or v?
v
Let r = 92.1 + -88. Let x = 8.8 - r. Let q = x - 5. Which is smaller: 0.1 or q?
q
Suppose d - 5 = -4*d. Which is smaller: d or -5/22?
-5/22
Let x = -661/627 + 40/33. Is x > -1?
True
Let x be (-1 + 2)*(2 + 6). Let k be x/14 + 3/(-21). Let s be 0*((-9)/(-6))/(-3). Which is smaller: s or k?
s
Let t = -79 - -73. Is -6 not equal to t?
False
Suppose -2*i + 8 = 3*a, -2*i + 5*a = i + 26. Is -9 less than or equal to i?
True
Let h = -3.2 + 3. Let n = -0.8 + h. Let r = -105/4 - -26. Which is smaller: r or n?
n
Let b = -11 + 10. Is b > -1/5?
False
Let t(z) = -2*z - 2. Let n be t(4). Which is greater: n or -9?
-9
Let d be 4/(75/(-9) - -1). Suppose 4*z - 4 = -3*q + 1, -15 = 2*z + 5*q. Suppose 0 = -2*o + 3 - z. Which is smaller: d or o?
o
Let m = 5442 + -21895/4. Let p = 31 + m. Is -1 at least as big as p?
False
Let z = -69 + 69.066. Which is smaller: 2 or z?
z
Let z = -6.2 + 1.2. Let b = -4 - z. Let r = 1 - 2. Is r > b?
False
Let c = 24 + -51. Let p = c + 21. Is p at least -8?
True
Suppose 12*o = 3 + 81. Let y(x) = -2*x**3 - x**2 + 4*x + 3. Suppose 6 = -5*t + w, -w + 3 = -t + 5. Let q be y(t). Is o greater than q?
False
Let p = -84 - -53. Which is bigger: -32 or p?
p
Let l = 10 + -6. Suppose 0*o - l*o = 40. Are o and -10 equal?
True
Suppose 14 = 10*q + 24. Let o = 3603/17 + -212. Is o >= q?
True
Suppose -5*u + 45 = 5*b, 5*b - 3*b - u - 33 = 0. Suppose 0 = 3*n + 7 + b. Let a(x) = x + 8. Let d be a(n). Are d and 1 non-equal?
False
Let c = -41/2 - -21. Is 21 not equal to c?
True
Suppose -r = 3*r - 2*d - 12, 0 = 2*r - 3*d - 10. Suppose -5*w - 13 = y, -2*w + r*y = 3*w + 4. Is w at most -3?
False
Let h = -26 + 36. Let m = -10 + h. Which is smaller: m or 1/6?
m
Let m be 182/(-46) - (-7 + 9)*-2. Is 1 >= m?
True
Let a(c) = c**3 + 5*c**2 - 3*c - 6. Let b be a(-5). Let s(d) = -d**2 + 10*d - 4. Let g be s(b). Let n be 20/(-6)*6/g. Is n less than -5?
False
Let p = 0.4 + -0.3. Let x = 19/35 - 1/7. Which is smaller: p or x?
p
Let z = 0.9 - 5.9. Let i = z + 4. Is -1/3 at most as big as i?
False
Suppose 0 = -4*o - 5*t + 38, 2*t - 66 = -5*o + 5*t. Suppose -o = 4*p - 2*p + 2*a, p = 5*a. Which is smaller: -3 or p?
p
Let s be ((-14)/84)/((-1)/(-7)). Which is smaller: -0.2 or s?
s
Let w be (-2)/2*(0 - 1). Let b(o) = -o**3 - 3*o**2 - 5*o. Let d be b(-4). Let q be (-3)/4 - (-51)/d. Which is bigger: q or w?
w
Let t = -14 - -13. Is t at least -1?
True
Let c = 15 - 13. Which is smaller: 6/11 or c?
6/11
Let n = -129 - -138. Is 9 < n?
False
Let v = -63 - -29. Is v <= -33?
True
Suppose 3*b + 6 = -6*r + 5*r, 4*r + 4*b = -8. Let s be ((-8)/14)/((-20)/14). Which is smaller: r or s?
r
Let r = 0.2 + -0.3. Let f = r + 0.2. Suppose 0 = -0*k + 4*k - y + 3, 0 = 3*k - y + 2. Which is greater: f or k?
f
Let w = 5 + -6. Suppose -2*p + 4 = -0*p. Let b(a) = a**3 - a**2 - a - 2. Let g be b(p). Which is smaller: w or g?
w
Let k = -3.07 + 0.07. Let x = 0 - k. Let h = -3 + x. Is 0 less than or equal to h?
True
Let a(x) = -14*x**3 - 3*x**2 + 1. Let c be a(-1). Which is smaller: 10 or c?
10
Suppose -3*o - 13 = -94. Is o at most as big as 26?
False
Let z = 59 + -6. Let j be z/11 + (-6)/(-33). Let f be (5/(-2))/((-2)/4). Is j < f?
False
Let u = -2927/10 + 293. Let g = 162 + -162. Is u greater than g?
True
Let b be (1 - (-4)/(-2)) + 3. Suppose d = -d + b. Is -0.7 equal to d?
False
Let j be ((-2)/(-5))/((-38)/(-30)). Which is greater: -1 or j?
j
Let j(b) = b**3 + 5*b**2 - 2*b - 8. Let u be j(-5). Which is greater: u or 10/7?
u
Suppose 0 = 3*a, -m - 2*m = 2*a + 45. Is -15 > m?
False
Suppose -6*v = -4*x - 3*v - 4, -3*x + v = 3. Is x equal to 1/23?
False
Let y(q) = q**2 - 4*q - 5. Let a be y(4). Which is greater: a or -3?
-3
Let u = 11 + -9. Suppose -t + u = -3*t. Which is bigger: t or -4/5?
-4/5
Suppose 2*z - z - 8 = 0. Suppose 6*i = 2*i - z. Let m be (5/i)/(2/(-4)). Do m and 5 have the same value?
True
Suppose 2*i - i = -17. Let k = -18 - i. Which is smaller: 1 or k?
k
Let m = -14 - -15. Is m less than 25?
True
Let b = -19 - -20. Are 0.08 and b equal?
False
Let k(u) = -u**2 + 7. Let x be k(0). Let w = 10 - x. Suppose 0 = w*y - 3*i + 12, -20 = -3*i - 2*i. Is 1 at most as big as y?
False
Let t = 2 - 2. Is t > -2/7?
True
Let k(j) = -j**3 + 8*j**2 - j + 5. Suppose 0*b - 5*b + 40 = 0. Let x be k(b). Is -3 != x?
False
Suppose -y + 2*y = 5. Let t be y/18 - (-3)/(-6). Let n = 0 + 1. Is n at most t?
False
Let p = -2 - -1. Let v(l) = -l**2 - 14*l + 30. Let y be v(-16). Is y < p?
True
Let d(p) = -p**2 + 2*p + 4. Suppose -4*l + 7*l - 9 = 0. Let j be d(l). Let a(r) = -2*r**3 - r**2 - r - 1. Let z be a(-1). Is z greater than j?
False
Suppose 0*y + 2 = -2*y. Which is greater: y or -3?
y
Let z be 274/(-30) - 12/(-90). Is -10 bigger than z?
False
Let k = -12 - -48. Which is bigger: k or 34?
k
Let j = 11 - 10.9. Let h = 0.08 - 0.17. Which is bigger: j or h?
j
Suppose -2*b = -3*y + 2*b - 8, -y + 2*b - 2 = 0. Let p = 6 + y. Let k(g) = g**2 - 3*g + 1. Let f be k(p). Which is bigger: 0 or f?
0
Let h = -2116 - -230646/109. Which is smaller: 1 or h?
h
Suppose -2*x + 0 = -24. Let c be ((-3)/(-27))/(x/8). Is 1 greater than or equal to c?
True
Suppose -d = -3*d - 290. Let w be d/(-60) + 1/(-4). Let z = -3/2 + w. Is z less than or equal to 1?
True
Let w be 1/2*(-4)/10. Which is smaller: -17/4 or w?
-17/4
Let s(z) = z**3 - 22*z**2 - 7. Let b be s(22). Is -7 greater than or equal to b?
True
Let j(w) = 5*w. Let u be j(-2). Let z be ((-2)/u)/((-4)/10). Which is smaller: z or 2?
z
Suppose 2*d - 34 = -4*f, 0 = 2*f + 4*d - 26. Suppose 2*o - f = -3*v, -2*o + 17 = -2*v + o. Suppose -5*u - 2 + 7 = 0. Which is sma