. Let o = -3.07 - d. Is 4 <= o?
False
Suppose -4*w - v + 616 = 3*v, -2*w = 3*v - 309. Which is smaller: -1 or w?
-1
Suppose 4*h - x - 17 = -2, -2*h + 4*x - 10 = 0. Suppose 10 = -h*d - 15, 4*y - 40 = -4*d. Which is smaller: 95/6 or y?
y
Suppose 6*s = s + 4*t + 26, -6 = 3*s + 3*t. Which is greater: 5/7 or s?
s
Let g = -370.925 + 371. Which is greater: g or -2/5?
g
Let o be -1 + 108/(-20) + 7. Is o at most as big as 5?
True
Suppose -8 = -2*i + 52. Let z = 17 - i. Which is smaller: z or -2?
z
Let b = -80.9798 - -81. Which is bigger: b or -2/5?
b
Let n(m) = 9*m**3 + 2*m**2 + 2*m + 1. Let i be n(-1). Let c = i + 10. Suppose u = 3*u - c. Which is greater: 1/6 or u?
u
Suppose 67*a - 72*a = 4*j - 6968, a + 1751 = j. Is 1746 at most as big as j?
True
Let i(a) = 2*a - 11. Let q be i(8). Suppose 4*s = -5*o - 0*s + 45, -s - 20 = -q*o. Suppose o*h = -h - 6. Which is bigger: h or -1/9?
-1/9
Let f(n) = n**2 - 11*n - 7. Let o be 69/7 + 7/49. Let t be f(o). Is -18 bigger than t?
False
Let y = -581 + 581. Let u = 7 - 11. Let c be 4/(-144) - 1/u. Does y = c?
False
Suppose -5*k + 147 + 43 = 0. Suppose -36*o + 2 = -k*o. Is 3/28 >= o?
True
Let v(x) = -5*x + 395. Let a be v(-10). Is a less than or equal to 447?
True
Let l = -57 - -43. Let f be (-4)/l + (0 - (-1180)/(-3885)). Is -1 at most as big as f?
True
Let l be 104/24 + (-2)/(-3). Suppose t = -s - 14 + 54, 0 = l*t - 2*s - 235. Let k be 1/(-4)*(-18)/t. Is k less than or equal to -1?
False
Let f = 0.3 - 0.27. Let v = -0.17 - f. Let b = v - -0.21. Are b and -0.1 non-equal?
True
Let t = 8 - 3. Let y be (t - 6)*(-1 + 5/(-4)). Is y at most as big as 2?
False
Let j be (((-3)/9)/(2/12))/(-2). Let m be (1 - j) + ((-68)/3)/4. Is m greater than -5?
False
Let v = -63 + 65. Let j be 204/15 - (-4)/10. Suppose p = j - 9. Is v greater than p?
False
Suppose 0 = t - 5*y - 7, 3*t = -5*y + 1. Let b(l) = t - 6 + 0 + 2 - 8*l - l**2. Let n be b(-8). Which is smaller: -3 or n?
-3
Let d = -102 + 63. Let l = d - -27. Is -0.2 equal to l?
False
Suppose -z + 4*z = 5*r + 26, -4*z + 9 = -3*r. Let c = -1.61 - -7.61. Is c > r?
True
Let x(w) = -w - 12. Let a(n) = -n - 11. Let m(d) = -7*a(d) + 6*x(d). Let o be m(-5). Let b(u) = -6*u + 21. Let r be b(4). Which is smaller: o or r?
r
Let z be ((-3)/(-2))/((-6)/8). Let k(n) = 13*n + 2. Let p be k(z). Do -24 and p have different values?
False
Let x = 215/42 - 235/14. Suppose -2*s - 31 = -7. Which is smaller: s or x?
s
Suppose 2*k = 4*a - 4 - 4, 3*k - 3*a + 3 = 0. Which is greater: k or 16/17?
k
Let d be 102/(-15) - (-11)/(44/8). Let x be -3 + 1 - 4*1. Is x less than or equal to d?
True
Let i = -445 - -448. Does i = 3?
True
Suppose 9*g = 4*g + 5. Let o be (-2)/(-2) + (1 - 2). Let d be 0 + 4 - (2 - o). Which is smaller: g or d?
g
Let k = -3.09 - -19.79. Let j = 0.065 + 16.935. Let t = j - k. Which is smaller: 1 or t?
t
Let w be 5/2 + (-5 - (3 + -5)). Let m be 3/((3 + -2)*1). Suppose 0 = t - m*t - 8. Are w and t equal?
False
Let g be 2/7 - (-464)/(-56). Let o be g/(-14) + -4*25/(-70). Is 7/9 at most o?
True
Suppose 0*b + 9 = -3*b. Let y(h) = 2*h**2 + 3*h - 4. Let g be y(b). Suppose -g*r - w = 0, -5*w = r + 11 + 13. Is 0.04 less than r?
True
Let b(o) = 19*o + 57. Let m be b(-3). Is m at most -9/11?
False
Suppose -2 = -2*m - 2*v, 0 = 4*m + v - 2 + 1. Let n be (7 - 8)/(6/2). Which is bigger: m or n?
m
Suppose -3*z - 1065 = 4*s, -2*z = -2*s - 220 - 330. Is -270 >= s?
True
Let h be 4/10 - (-15)/25. Let w be (-1)/5 - ((-31)/5 + h). Is w not equal to -4?
True
Let b be 57 + 0 - (5 - 2). Let p be 6/(-10) - b/(-15). Suppose 4*u + 0*a = 3*a + 11, -p*u + 9 = -3*a. Is 0 equal to u?
False
Let v = 2925 + -8852/3. Let g = 70/3 + v. Is -2 equal to g?
False
Suppose q - 7*a - 28 = -3*a, 9 = -2*q - 5*a. Which is smaller: 9 or q?
q
Suppose 0*b = 2*b - 2*d - 50, -2*b + 4*d + 54 = 0. Let n = b + -21. Are 6 and n unequal?
True
Let n = 0.1 + -0.2. Let f = -0.27 + 0.259. Let z = -6.011 - f. Which is bigger: n or z?
n
Let g be 105/(-70) - 210*(-10)/8. Does g = 262?
False
Let h = 283 + -298. Let m = -0.028 + 2.128. Let l = m + -2. Which is bigger: l or h?
l
Let s = -69016/13 + 5314. Are 4 and s unequal?
True
Suppose x = s - 9, -2*s = 5*x - 0*s + 10. Let l = x - -22. Which is greater: 19 or l?
19
Suppose 25*g + 6844 = -4*g. Are g and -235 unequal?
True
Let r = 514262 - 217532929/423. Let d = -1/47 - r. Let x = -0.017 - 0.383. Which is smaller: x or d?
x
Let p = -8.8 - -9. Which is smaller: p or 27?
p
Let d = -28.7 - -27.4. Which is smaller: 8 or d?
d
Let d(l) = l**2 + l - 5. Let f be d(-4). Suppose -23 = -5*v + f. Suppose 0 = v*w - 4*w - 6. Do w and 0.3 have the same value?
False
Let l = -118 + 117.46. Let n = -12.54 - l. Which is smaller: -1/3 or n?
n
Let z be 6 + (-648)/(-342) + 4/38. Do 87 and z have the same value?
False
Let c = -25 + 29. Let f = 3 + c. Suppose w - 10 = f. Is 18 <= w?
False
Suppose -4*o - 2 - 4 = -2*r, r = -5. Let p be (-4)/(-8)*o/(-34). Are p and 0.1 nonequal?
True
Let d be (84/40 + -3)*171/(-54). Which is smaller: d or 2?
2
Let o(b) = -2*b + 15. Let f be o(13). Let s = f - -20. Does s = 0.1?
False
Let o be 11/(-10) + 3/30. Which is bigger: 2/165 or o?
2/165
Let f = 12 - 12. Suppose i + f*i - 6 = 0. Let q be ((-4)/6)/(i/9). Is q greater than -1/6?
False
Suppose 9*t = 2*t + 187005. Let y = -454004/17 + t. Let r = y + -9. Which is smaller: 1 or r?
r
Suppose -3*l - 2 = -b, -4*b = -3*l + 3 - 20. Is 7/25 at least l?
False
Let g = -100 - -34. Is g > -66?
False
Suppose 10*n + 5 = 15*n. Which is smaller: n or -2/131?
-2/131
Let o = 0.2 - 0.1. Let l = -961 + 961.05. Which is smaller: l or o?
l
Let q(k) = -k**3 - 8*k**2 - 13*k - 9. Let n be q(-5). Which is greater: -17 or n?
-17
Let r = 35 - -5. Let f = 41 - r. Is -1/5 <= f?
True
Let c be (-25 - -32)*44/(-28). Is c > -99/8?
True
Let f be 36/24*(-40)/6. Is -4 at least as big as f?
True
Let a = -2027119/54 + 37538. Let b = -7/6 - a. Which is bigger: b or 1?
1
Suppose 3*h - 8*h + 25 = -5*k, 3*h - 5*k - 19 = 0. Let z = 107326/3 - 36132. Let q = 360 + z. Is q > h?
True
Let h = -19 - -5. Let x = h - -14. Let d be 64/185 + (-4)/10. Is d at least x?
False
Let u be (33/22)/((-18)/(-8)). Let g = 5/6 + u. Which is bigger: g or 1?
g
Let b = -2324/3 - -774. Let z = 8.14 + -0.14. Let k = z - 14. Does k = b?
False
Let r(o) be the first derivative of -o**4/4 + o**3/3 + o**2/2 + 3*o - 1. Let w(b) = b**2 + b + 1. Let l be w(1). Let c be r(l). Is c <= -11?
True
Let n = -12115771/977 + 12401. Is 0 at least n?
False
Let a be (-1)/((-2 + 4)/14). Let o(i) = -i**3 - 5*i**2 - 5*i - 1. Let j be o(-2). Is a >= j?
False
Let x = 1139 - 1135. Are x and 43/12 equal?
False
Let s be 0 - 6 - (412 + 9). Are s and 1 nonequal?
True
Let w be (6/8)/((-1749)/616). Does -1 = w?
False
Let f = 0.65 - -69.35. Let y = f - 59. Which is smaller: -2/9 or y?
-2/9
Let c = 183 + 350. Which is bigger: 535 or c?
535
Let n(k) = -2*k + 2 + 0*k + k**2 + 18*k**3 - 20*k**3 + 2*k**2. Let s be n(2). Let h = -56.9 + 57. Which is smaller: s or h?
s
Suppose -6 = -2*g + 14. Suppose -d = -5*a + d + 2, 5 = a - 5*d. Suppose a = 2*b - b + g. Which is bigger: b or -8?
-8
Suppose -f = -928 + 972. Is -40 bigger than f?
True
Let k be (-8)/10*(-30)/4. Suppose -b - 25 = -k*b. Let j(o) = o - 8. Let i be j(b). Are -1/3 and i nonequal?
True
Let j = -13.49 - -23.36. Let l = -10 + j. Is l bigger than -1?
True
Let m be 10/2 - (-1 + 2). Suppose 12 = -m*p - 12. Let h be (p/(-15))/((-33)/5). Is h <= 1?
True
Let d(a) = a - 4. Let k be d(6). Suppose -y = -4*l + 173, 176 + 601 = -5*y - 2*l. Let n = y - -794/5. Is k at least n?
True
Let r = 1.84 + -1.6. Let l = 5.24 - r. Is l >= -1?
True
Let n = -4 - -7. Let f = 17 - 12. Suppose -f*i = 4*x + 9, n*i + 7 = -2*x - 2*x. Is -2/11 < i?
False
Let r = -0.474 + 0.374. Is -0.96 at least r?
False
Let r = 3.843 - 2.743. Is 58 != r?
True
Suppose -5*g - 20 = -0*g. Let p = 234 - 146. Let y = 84 - p. Is y bigger than g?
False
Let s be 2/(-9) + 948/4752. Which is smaller: -1 or s?
-1
Let d = 2.7 - -1.3. Let o = -74 - -71. Is d bigger than o?
True
Suppose 12*m + z - 1 = 8*m, 1 = 5*m + z. Which is bigger: m or -1?
m
Suppose 3*h - 52 = 4*z, -3*h + z + 38 = -h. Suppose -5*c = 3*o + 53, h + 40 = -4*c + 2*o. Which is greater: -14 or c?
c
Let q(y) = y + 5. Let v be q(-4). Which is smaller: v or -1/594?
-1/594
Let s be ((-1)/(