= 31.9 - 25. Let y = w + 0.1. Which is smaller: y or 0?
0
Let w be (-8)/45 + (-34)/(-85). Is 0 at least as big as w?
False
Suppose 5*h - 5 = 10. Let c(d) = d - 2. Let v be c(6). Suppose -h*q = v - 13. Which is smaller: q or 3/2?
3/2
Suppose 2*h - 9 = -3. Is h > 3?
False
Let o be (2/(-3))/(84/(-10548)). Let j be 2/8 - (-337)/(-4). Let a = j + o. Is 0 at most as big as a?
False
Suppose 1 = 2*l + 7. Which is bigger: l or -7/3?
-7/3
Let t(u) = -2*u + 8. Let c be t(3). Is 8/3 equal to c?
False
Let q be 22/(-4)*8/(-12) + -3. Which is smaller: 2 or q?
q
Let h be (-2)/6*(-6)/(-8). Let p = -1.6 - -5.6. Is h bigger than p?
False
Suppose 3*a = -4*i + 3, -a = 2*i - 2 + 1. Which is bigger: a or -6/37?
a
Let m be (6/(-8))/((-48)/(-16)). Is m > 2/13?
False
Let v(w) be the third derivative of -w**4/8 - 2*w**2. Let g be v(-1). Suppose -4*j + 22 = 3*r, -5*j = -3*r - j - 10. Is r at most as big as g?
True
Let t = -13998/25 + 560. Do 1 and t have different values?
True
Suppose 0 = -0*q + q. Suppose 5*f - 1 = 4. Let s be 1/1 - f/(-1). Do q and s have different values?
True
Let d = 21 - 23. Let r = -0.2 - -6.2. Is d equal to r?
False
Let k = -20.7 - -40. Let o = 23 - k. Let m = o + 0.3. Which is greater: m or 0.1?
m
Let r = 12 + -8. Suppose -2*q + r*q = 0. Is q at most 0?
True
Let y = 0.05 + 1.95. Let d = -11 + 15. Let p = d - y. Which is bigger: p or 0.3?
p
Let x(u) = u**3 - 2*u**2 + 3*u - 3. Let h be x(2). Let c = -642 + 3222/5. Which is smaller: h or c?
c
Suppose 0 = 5*p - 2*u + 7, 5*p + 2*u = 3*p - 14. Let t(c) = 3*c + 4. Let n be t(p). Is -4 >= n?
True
Let g(n) = 4*n + 44. Let o be g(-11). Is o >= 2/47?
False
Let d = 0.038 + 0.042. Let x = 0.91 - -1.01. Let p = d + x. Is 1 equal to p?
False
Suppose 0 = a + a - 6. Let q = -0.03 + -1.97. Let i = -1 - q. Is a not equal to i?
True
Suppose 0 = -n - n. Let k = -7 + 5. Which is bigger: k or n?
n
Let s = -0.53 - 0.17. Let r = -0.3 + s. Let z = -98.8 - -99. Is z > r?
True
Let n(z) = -14*z + 13. Let m be n(4). Is -43 not equal to m?
False
Let g = 3 + 6. Let l = 7 - g. Let w = l + 2. Does 1 = w?
False
Let m = 9 - 7. Let a = -2.03 - -0.13. Let z = m + a. Is z smaller than 2/5?
True
Let n = -15 - -11. Let z(l) = -l**3 + 12*l**2 + 11*l + 22. Let c be z(13). Let i = n - c. Is -1/10 less than or equal to i?
True
Let i = 0.5 + -1.6. Let l = i + 1. Let v be 2/(-3 - (-2)/(-1)). Is v <= l?
True
Let k = -302 - -502. Let j = 1802/9 - k. Do 0.1 and j have the same value?
False
Let m = -121/36 - -28/9. Let a = -0.15 - -3.75. Let y = -4 + a. Does y = m?
False
Suppose -3*a = -3*c, 5*c + 2*a - 7 = -0*a. Let h(l) = -l + 5. Let f be h(5). Is f equal to c?
False
Suppose 5*u + 8 = -2. Let s be ((-110)/54)/(-1) + u. Which is bigger: -1 or s?
s
Suppose 2*o = 0, 3*o - 9 = -3*l - o. Let j be (6/(-14))/(l - 2). Let q be ((-2)/(-8))/((-14)/16). Is q greater than or equal to j?
True
Let y = -823/5 - -165. Is y < -7/5?
False
Let j = -0.23 - -0.2. Which is greater: 1/3 or j?
1/3
Let d(j) be the first derivative of -j**4/4 - 4*j**3/3 - j**2 - 4*j - 1. Let o be 14/(-4) - (-2)/(-4). Let l be d(o). Is l >= 4?
True
Let j = -2.4 - -3.4. Is 4 less than or equal to j?
False
Let b(x) = x**3 + 4*x**2 - x - 2. Let u be b(-4). Let w be -3*1/(-3)*1. Which is smaller: u or w?
w
Suppose -z + b = 4*z - 9, 2*b = 5*z - 13. Let d be (3/55)/((-12)/(-8)). Let p = d - -104/165. Which is smaller: p or z?
p
Let f be -26 + (-10)/(-15)*6. Which is smaller: -23 or f?
-23
Suppose 0 = 2*j + 5 - 1. Suppose 5*f - 3*h = -2*h - 4, -f = 4*h + 5. Which is bigger: j or f?
f
Let o be (-22)/(-4) + 9/(-6). Let t = o - 3. Which is greater: 0 or t?
t
Let a = -0.43 - 7.27. Let d = -8 - a. Let p = 2.06 - 0.06. Is d >= p?
False
Let a = 41 - 165/4. Let b = 1 + 0. Let o = 0.8 - b. Are a and o equal?
False
Suppose h + 2 - 3 = 0. Let x = -9 - h. Which is smaller: x or -11?
-11
Let k = 34 + -24. Is 9 != k?
True
Suppose 4*k - 94 = -p, 3*k - k - 58 = 5*p. Let w be (k/30)/((-4)/(-10)). Suppose 0 = -0*v + w*v - 6. Do 1 and v have different values?
True
Let w(j) = -j**3 - 8*j**2 + j + 10. Let b be w(-8). Let d(n) = -4 - b*n + 2*n + 1 - n. Let f be d(-6). Are 3 and f nonequal?
False
Let d(i) = 1 - 3*i + 2*i**3 + 5*i**2 - 2*i**2 - 3*i**3. Let a be d(3). Which is greater: -9 or a?
a
Let o = -43 - -44. Let r(h) = 3*h - 4. Let v be r(3). Suppose 2*n - 2*w = w + 8, -v*w = -2*n + 12. Is n >= o?
True
Let r(c) = -2*c - 12. Let u be r(-5). Let x = 29 + -88/3. Is x <= u?
False
Let f be -4*(-9)/(-4)*2. Let t = f - -6. Let u = t + 4. Which is greater: u or -7?
-7
Suppose 2*t - 9 = 3*t. Let c be 90/12*6/t. Suppose 0 = 5*u - 4*f, 3*u + 5*f = 2*u - 29. Is u less than or equal to c?
False
Let b be 1/(-2)*7*-2. Let t be (9/(-2))/(6*(-5)/80). Let y = t - b. Is 5 at least y?
True
Suppose 16*b = 12*b - 108. Which is smaller: -25 or b?
b
Suppose 0 = -0*w + 2*w - 2, -w = 3*g - 1. Suppose j - 3*t + 25 = -4*j, 5*j - t + 25 = g. Which is greater: j or -4?
-4
Suppose -3*s + 1 + 0 = 5*g, 0 = -5*s + 10. Let f(c) = c. Let q be f(g). Let i be ((-2)/4)/((-21)/18). Is q equal to i?
False
Suppose 2*f + 1 = -1. Let o = 35/246 + 1/41. Let v = -2/3 + o. Is f < v?
True
Suppose -2 = 2*b - v, -1 = -5*b + v - 0. Let z be -1 + 0 + (-17)/(-11). Is b greater than or equal to z?
True
Let q be 1*3/((-6)/16). Let x = q + 8. Is x less than 1/4?
True
Let j = 56 - 64. Is j at most -2?
True
Let r(k) = -3*k**3 + 9*k**2 - 8*k + 13. Let b(n) = n**3. Let q(i) = 4*b(i) + r(i). Let y be q(-10). Is -7 at most as big as y?
True
Let h = -3 + 2.9. Let q = -48 + 23. Let c = -24 - q. Is c != h?
True
Suppose 2*s = 2*n, s - n = -5*n. Let r be 2/20*(-5)/(-4). Which is smaller: s or r?
s
Let d = -0.2 - -0.1. Let i = -9 + 11. Which is greater: i or d?
i
Let c be 6/21 + (-220)/35. Let y = -0.17 + 0.07. Is y bigger than c?
True
Let k(b) = -3 + b + 2 + 2*b + 7. Let f be k(0). Which is smaller: 8 or f?
f
Let w = -0.9 + -0.2. Let p = -5.1 - w. Let l = 4.2 + p. Which is greater: l or 2?
2
Let w = 9 - 23. Let a be 4/6 - -3*237/(-54). Which is smaller: w or a?
w
Let z(w) = w**2. Let m be z(1). Let t = -490 - -12246/25. Which is smaller: m or t?
t
Let o be -2 - (126/30)/(9/(-6)). Is -0.2 greater than o?
False
Let n be 6 + -4 - (-18)/(-8). Let x be 4/6 - 8/(-6). Suppose -j + x - 1 = 0. Is j at most as big as n?
False
Let c be 12/2 + 29 + -27. Let m = -9 - -18. Which is greater: m or c?
m
Let n = -2.4 - -5.4. Is -0.6 at most n?
True
Let z = 179/792 + -1/264. Which is smaller: z or 1?
z
Suppose -10*h = -9*h - 5. Let u = 30 - 10. Suppose -4*b + h = -p - 4, -5*b - 5*p = u. Which is smaller: b or 2/3?
2/3
Let y = -203549987053569189872639818/86074989 + 2364798292957890407. Let d = -85/315293 - y. Let t = d + 356/7. Is t at most as big as 0?
False
Let f(y) = -12*y + 50. Let u be f(4). Suppose 2 = -3*d - 1. Let b be 5/18*(d + 4). Does u = b?
False
Let j = -233/1260 + 2/315. Is j at most 1?
True
Let d(l) = l - 6. Let x be d(5). Let h be ((-4)/12)/(22/(-12)). Which is smaller: x or h?
x
Let v be 15/(-18) - (-2)/4. Suppose -2*y - 2*t + 15 = -7*t, t + 3 = 0. Suppose 8*u - 4*u = y. Is v equal to u?
False
Suppose 8*d + 3 = 5*d. Which is smaller: d or -57?
-57
Let c be (9/21)/((-2)/7). Let t = c + 25/14. Is t at least -1?
True
Let d = -3 + -1. Let g be (10/8)/(2/(-16)). Let l = 7 + g. Is l <= d?
False
Let r be 39/2 - 1/(-2). Suppose -h - 3*h = -2*j - r, 2*h = 2*j + 14. Which is smaller: 2 or h?
2
Let v(d) = d + 6. Let u be v(-5). Suppose 4 = -5*h - u. Which is smaller: -2/7 or h?
h
Let r be 1533153/(-42)*2 + 3. Let g = 73128 + r. Let n = g + -124. Is -1 at most as big as n?
True
Let o(v) be the third derivative of -v**5/30 + v**3/6 - 3*v**2. Let p be o(1). Is -2/5 not equal to p?
True
Let g be 16/(-7) + 2/7. Is -3 at least g?
False
Let t = 3 - 5. Which is smaller: -1 or t?
t
Suppose 9*k + 2*q = 5*k - 6, 5*k - 4*q + 27 = 0. Which is smaller: -20/11 or k?
k
Suppose 0 = 2*p - 4*z - 6, -4*p - p + 5*z = -15. Let t = 45/2 - 22. Which is smaller: p or t?
t
Let i = 25 - 10. Do 16 and i have different values?
True
Suppose -6 = 2*w - 3*b, b + 2 = 2*b. Let o = -7 - -14. Let g be 2/(-2) - o/(-6). Is g < w?
False
Let k = -5 + 5. Does k = -13?
False
Suppose 0 + 2 = -2*c. Is 11 less than or equal to c?
False
Let n(c) = 2*c + 19. Let d be n(-13). Which is bigger: d or -6?
-6
Suppose -5*r + 66 = 3*q, 2*q