28)*(-3 + 1). Let v(o) = -o**3 + 11*o**2 - o + 12. Let s be v(11). Is s equal to i?
False
Let w(p) = -7*p - p**3 + 0*p**3 - 3 - 6 + 9*p**2. Let x be w(8). Suppose -5*m - 5 = -3*b, -3 = 5*m - 4*b + 2. Is x at most as big as m?
True
Let z(m) = m**2 - 2*m - 9. Let r be z(-3). Is -0.2 not equal to r?
True
Let q be 4/(-3) - 301/42. Which is smaller: -9 or q?
-9
Let c = 5 - 8. Let n = 25 - 25. Which is bigger: n or c?
n
Let o = -6 + 6. Suppose 6*u = -3*v + 8*u + 2, 3*v - 3*u - 6 = o. Let q be -3*1*v/(-3). Is q less than or equal to -2?
True
Suppose 3*d + 27 = -3*a, 2*a + 49 = -5*d - 5. Is d > -75/7?
False
Let g = -29 + 28.9. Let m = 26/3 + -101/12. Which is bigger: g or m?
m
Let q = -0.38 + 0.08. Let s = q + -1.7. Let g = s - -1.8. Which is smaller: g or 0.1?
g
Suppose 4*j - 16 = -0*j. Are 48/13 and j equal?
False
Suppose 0*y - 5*y + 10 = 0. Suppose -y*s - 33 = s. Which is greater: -12 or s?
s
Let y be 39/6*-1*-2. Which is smaller: 14 or y?
y
Let u = 4/71 - -23/852. Let d = -318 - -319. Which is smaller: d or u?
u
Let g = -1.2 + 0.2. Suppose 0 = -4*f + 4. Let s = f - 2. Does g = s?
True
Let p = -1720/9 - -188. Which is greater: -3 or p?
-3
Let j = 124 + -98. Do j and -0.1 have different values?
True
Let m = 3 + -1. Let q = m + -3. Let d = -131/196 - 4/49. Is d > q?
True
Let v be (-4)/22*(7 - (-10)/(-2)). Is 0 > v?
True
Let j = -20 - -14. Let c be ((-6)/(-4))/(-3)*8. Let p be 5/3 - c/j. Do 1 and p have different values?
False
Let i = 30 + -48. Let x be 14/(-18) + 4/i. Do x and -3/5 have the same value?
False
Let f = -5 + 2. Let u be (f/6)/((-1)/(-2)). Does u = 0?
False
Let f(q) = -q**3 + q**2 + 3*q - 3. Let y be f(2). Which is bigger: -5 or y?
y
Let f(w) = -w**3 + 5*w**2 - 5*w + 4. Let h be f(4). Suppose m - 4*m = 6. Is m greater than h?
False
Let u(j) = 2*j**2 - 5*j + 5. Let i be u(2). Suppose -f = 5*s + 1, i*s + f - 3*f + 11 = 0. Is -9/5 at most s?
True
Let b = 6.17 + -0.17. Which is bigger: 0.1 or b?
b
Let l(s) = -s**3 - 6*s**2 - 4*s - 4. Let u be l(-5). Is -9 greater than u?
False
Suppose 0 = -22*v + 32*v + 1080. Is -108 > v?
False
Let o be 28/7 - (0 - -1). Suppose i + 12 = 3*p + 4*i, -p + o*i - 8 = 0. Which is smaller: -2/7 or p?
-2/7
Suppose -5*j + j = 12. Does j = 1/3?
False
Let g = 195 - 195. Is g greater than -1/31?
True
Let h be ((-9)/2)/((-4)/(-8)). Let y be ((-3)/h)/((-26)/6). Is -1 bigger than y?
False
Let r = -53 - -38. Let h = -15.1 - r. Is h less than or equal to 0?
True
Let k = -0.04 + -0.36. Let n = -0.3 - k. Is n != 0.1?
False
Let b = 37 - 37.01. Which is smaller: -2/11 or b?
-2/11
Suppose -v + 0*v - 3 = 0. Let j = -12 + v. Let n be (-2 - j/9)/1. Is -4 at most n?
True
Let h = 0.9 + -1. Let v = -0.5 - h. Let a = 0.3 + v. Is a less than or equal to -0.1?
True
Let f = 4 + -3. Let p = f - -1. Let j = p - 3. Which is greater: j or 5?
5
Suppose 0 = -9*y + 4*y + 5. Let k = 2 + 1. Suppose r = 2*v - 0*v - y, -5*v + k = -2*r. Which is smaller: -2/11 or v?
-2/11
Let o = -1.1 + 0.1. Let d = 0 + o. Let n be 2/9 + (-20)/(-315). Do n and d have different values?
True
Suppose -4*t = -5*n - 6, -t + 5*t - n = -2. Suppose 0 = -3*x - 49 - 35. Let r be (2/(-4))/(x/16). Is t greater than or equal to r?
False
Suppose -9*i - 15 = -6*i, -5*f + 3*i + 35 = 0. Are 38/9 and f nonequal?
True
Suppose -4*v + 4 + 4 = 0. Suppose -v*d + g = -0*g - 4, 5*d - g - 16 = 0. Let h be ((-12)/(-15))/(d/10). Are h and 5/6 nonequal?
True
Let d = 1 - 0. Let v be 0 - d/((-30)/261). Let y = v - 17/2. Is y less than or equal to -1?
False
Let g = 10 + -9.97. Let x = 0.03 - g. Let u = -13/14 - 4/7. Is x smaller than u?
False
Let n = -18 + 18. Which is greater: n or 7/6?
7/6
Let j(c) = c**3 - 4*c**2 + 2*c. Let r be j(4). Let w = r + -12. Let t = w - -30/7. Is t <= 2/7?
True
Let n be (-11)/(22/(-8)) + 30. Is n <= 69/2?
True
Let o = -6838 - -430811/63. Let m = o + 1/63. Is m at most 1?
True
Let y(b) = -b**2 - 5*b - 3. Let g be y(-4). Let d be (-27)/6*12/(-18). Suppose -l - c - 2 = -3*l, 3*l + 5*c = d. Are g and l nonequal?
False
Suppose -v = -12*c + 10*c + 51, v = 3*c - 74. Which is greater: 24 or c?
24
Suppose 3*l + 1 - 4 = 0. Is 3/10 equal to l?
False
Let q = 100/3471 + 2/89. Which is smaller: 0 or q?
0
Let y be (-48)/(-120) + 1/(-15). Let q = 1 - 0.98. Let g = q - 0.32. Do g and y have different values?
True
Let b = -66 + 66.36. Is -0.1 <= b?
True
Let k be 4/(-12)*6/8. Let n be 4/(-10)*(9 - -1). Let z = n + 3. Is k at most as big as z?
False
Let g = -14.7 - -15.39. Let f = -1.26 + g. Let a = 0.6 + f. Is a < 1?
True
Let d(z) = 2*z**2 - 2*z - 1. Let c be d(2). Let y be (2/c)/((-28)/(-6)). Let x(i) = -2*i - 1. Let o be x(-1). Which is smaller: y or o?
y
Suppose r = 5*a + 20, 5*r = a - 5*a - 16. Let n(b) = -b**3 + b**2. Let y be n(1). Is y less than r?
False
Let j(h) = h**2 - 5*h + 3. Let y be j(4). Which is smaller: 0 or y?
y
Let l = 2 - 0. Suppose d = g - 2, 3*g + 4*d - 24 = -g. Suppose -s + g*b = 2*s - 13, -5*b = 2*s - 1. Which is smaller: s or l?
l
Let i = -1.1 + 1. Let r = -1.2 + 1.4. Does i = r?
False
Suppose 0 = -2*w - l + 2*l + 4, 4*w - 4*l - 12 = 0. Let b be ((-622)/4)/(20/8). Let d = b + 62. Which is bigger: d or w?
w
Suppose -3*l + 3*i = 2*l - 18, -3*l = 3*i - 30. Let y be (-3)/((-2)/l + 0). Suppose 0 = -3*r + 3*j + y, -4*j = 2*r - j + 14. Does r = -1/13?
False
Let l = 26 + -29. Are 0 and l non-equal?
True
Suppose f + 78 = -5*l - f, 0 = 3*l + f + 47. Is -16 bigger than l?
False
Let a be (203/(-87))/(1/(-3)). Suppose 23 = 2*b - s - 2*s, 0 = -4*s - 12. Is a at most b?
True
Let o = -207/4 + 53. Which is bigger: 0 or o?
o
Let a(c) be the third derivative of -c**4/24 - c**3/6 - 2*c**2. Let q be a(-3). Suppose -1 = -j - q. Which is bigger: j or 0?
0
Let x be 2*(-4 + 16/5). Is x at most as big as -2?
False
Let w = -58/7 - -8. Which is smaller: 1 or w?
w
Let v = -162 - -145. Is v > -18?
True
Let c(a) be the first derivative of 7*a + 1/3*a**3 - 3*a**2 - 3. Let u be c(5). Which is smaller: -3 or u?
-3
Let p = -121 + 607/5. Which is bigger: -2/7 or p?
p
Let v = -225 + 4724/21. Which is smaller: 1 or v?
v
Let j(y) = 2*y**3 - 7*y**2 + 15*y - 2. Let n(f) = -f**3 + 3*f**2 - 8*f + 1. Let v(w) = 3*j(w) + 5*n(w). Let h be v(5). Let q = -3/14 + 5/14. Is h != q?
True
Suppose -2*y + 0*y - 3*p = -93, 3*y + 4*p - 142 = 0. Are 54 and y unequal?
False
Let g be (-1)/4 + (-119)/(-28). Let q = g + -2. Suppose -q*z = -z. Which is greater: z or -5/4?
z
Let m = 38 + -115/3. Which is smaller: -1 or m?
-1
Let l be -3*(5/(-3) + 1). Suppose 3*f + 0 - 3 = -3*c, l*c = -5*f + 20. Let g(o) = 3*o - 2. Let m be g(3). Do f and m have the same value?
False
Let j = -21 + 20.9. Which is bigger: j or -1.9?
j
Let m(t) = -3*t**3 - t. Let b be m(-1). Let p be (-2)/b - 20/112. Let f = -3/7 - p. Is 2 > f?
True
Let w = -5 - 2. Let v = w + 2. Let u be 8/v + 1 + 1. Which is greater: u or 0?
u
Let q = -91/440 - -1/40. Let i(g) = g + 3. Let m be i(5). Let x = -9 + m. Which is bigger: q or x?
q
Let d = 1 + -1. Suppose d = m + 4*q + 34, -4 = -3*q + 2. Let g be 10/14 - 12/m. Are g and 1 nonequal?
False
Let t(p) = p**3 + 3*p**2 + 3*p + 1. Let q be t(-2). Which is greater: q or 3/17?
3/17
Let a(h) = -h**2 - 6*h - 5. Let c be a(-5). Suppose c = 4*d + j - 3 - 4, -20 = 4*j. Is 4 bigger than d?
True
Let b = -4 + 6. Suppose -5*m - 3 = b. Which is greater: m or 1?
1
Let g = 54 + -55. Let p = -3 + 5. Which is bigger: p or g?
p
Let m(v) = 8*v - 1. Let f be m(1). Suppose 5*x + f - 12 = 0. Does x = 4/3?
False
Let y(k) = 2*k + 3. Let f be y(-3). Let x be (-4)/(-87) - (f + 3). Let t = x + -281/435. Are -1 and t equal?
False
Let l = -16 + 30. Let w = l - 13. Which is smaller: w or 3?
w
Let a = -34 + 34. Which is smaller: -6/25 or a?
-6/25
Let g = -3/196 - -211/980. Suppose -3*t + 6 = -3, -w = -3*t + 10. Let u be (0/2)/(-1 + w). Are u and g equal?
False
Let y = 21 - 21.1. Which is smaller: -31 or y?
-31
Let g be -2 + (0 - (1 + -2)). Let j(u) = -u**3 - u + 8. Let i be j(0). Suppose -c + 5 + 1 = y, 2*c - 2*y = -i. Do c and g have different values?
True
Let d be ((-4)/(-5))/(4/2). Let p = 1 - -17. Let c be (-4)/p + 0/(-2). Is d <= c?
False
Suppose 4*p + 12 = 0, 4*d + 0*p + 30 = -2*p. Let i be (-1)/3*d/5. Is 2/9 greater than or equal to i?
False
Suppose -2*o = 6, -5*v - o = o + 41. Is v > -9?
True
Suppose 2*n - n + 72 = -3*s, n + 75 = -2*s. Is n <=