= -w**3 + 3*w**2 + 5*w - 4. Let g be h(4). Let m be -2 - (-3 + g + -3). Let k = -6 - -7. Is m at least as big as k?
True
Let x be 64/11 + (-2)/(-11). Let w be (-8)/2 - (-5 + x). Is w at most -5?
True
Suppose 5 = -8*u + 3*u. Let f = 2/27 + -20/27. Is u at least as big as f?
False
Let w = -144/209 - -7/11. Is w less than -1?
False
Suppose 0 = g + l, -3*g - 14 = -0*g - 4*l. Let z = -776/2667 + 2/381. Do z and g have the same value?
False
Suppose a + 5 = 4*q + 1, -5*q + 5 = -4*a. Which is smaller: a or 1/6?
a
Let z be (-6)/(-4) - (-2)/(-4). Suppose -20 = -5*l - 5, -2*l = k - 7. Is z > k?
False
Let j be (-3)/((-9)/(-3)) + -6. Let w = j + 6. Let k be (-21)/(-12) - (1 - w). Which is smaller: -1 or k?
-1
Let s = 2 + 3. Let d be (-7)/s + 6/15. Suppose 0*h = -2*h - 6. Which is smaller: h or d?
h
Let d be (0 - 2) + (-3 - -9). Is d <= 5?
True
Let d be 26/2 + 5 + -6. Let y = 6 - d. Is -5 <= y?
False
Let r = -7 - -6. Is r > 0?
False
Let u(t) = -t - 6. Suppose 0 = -5*w - z - 26, z + 4*z = w. Let p be u(w). Does p = 2/5?
False
Suppose 2*f - 1 = -2*x - 3, 0 = 2*x - 4*f - 22. Suppose 3*n + 2*d + 6 = 6*n, d + 3 = -x*n. Let b = -90 + 812/9. Is b at most as big as n?
False
Let d = 24.988 - -0.012. Let w = -22 + d. Which is greater: w or -0.2?
w
Let m = -3 - -5. Let i = -1.5 + m. Let f = 0.4 - i. Which is greater: 0.1 or f?
0.1
Let r = -53 + 38. Do -3 and r have different values?
True
Let f be (1 + 0)/(2/30). Suppose -4*a = z + f, z + 5*a + 24 = 5*z. Let s be (-1 - -2) + (z - 3). Which is greater: s or -2/17?
-2/17
Let a = 3/52 + 97/1924. Is a != 0?
True
Let v(s) = 4*s + 10. Let f be v(-2). Let r be 22/4 + (-2)/4. Which is smaller: f or r?
f
Suppose c + 24 = -2*c. Let x be ((-16)/10)/(c/20). Suppose p + 3*t = -t + 20, x*t = -5*p + 20. Is 2/25 > p?
True
Let n = -6 - -15. Is 11 at least as big as n?
True
Let a = -2/247 - 2452/2223. Let u = -3 + 1. Which is smaller: a or u?
u
Suppose 1 = -g - 3*a, 0 = -g - g + 3*a - 29. Let d be (-2)/4 - 15/g. Is 2 smaller than d?
False
Let n(a) be the third derivative of 0 - 1/2*a**3 + 0*a + 2*a**2 - 1/24*a**4. Let p be n(-4). Do -1/3 and p have different values?
True
Let d be (-2)/2 + (1 - 3/(-14)). Is -1/3 smaller than d?
True
Let h be (-4)/54*-15 - 1. Let s(y) = y**3 - 3*y**2 + 2*y - 2. Let u be s(3). Let o = -5 + u. Which is bigger: o or h?
h
Let o = 87 + -88. Let l = -2.2 - -2. Is o at most l?
True
Let p = 289642/7 + -41309. Let l = -68 + p. Is 0 less than l?
True
Let k = 1.6 - 1.583. Let x = -23.017 + k. Are x and 0 nonequal?
True
Let t = 17 + 15. Let m be (-8)/44 - t/66. Which is bigger: m or -7?
m
Let m be (-6 - -5)*(2 - 2). Suppose -3*a = -77 + 29. Suppose -4*l - 3*b + 12 = 0, -3*l + 0*b + a = 4*b. Is l bigger than m?
False
Let a(p) = -p + 5. Let i be a(3). Suppose -i = 6*u - 4*u. Which is smaller: u or -2/67?
u
Suppose -5*k - 20 = -5*o, 0*o = -2*o - 2*k + 4. Let s = o - 2. Do 0 and s have the same value?
False
Let d = -2.05 - -0.05. Let u = d + 1. Is u not equal to 0.1?
True
Let j(l) be the second derivative of l**3/3 - 6*l**2 + 2*l. Let r be -1 + 1/1 - -9. Let g be j(r). Is 6 > g?
False
Let s = -64 + 107. Let f = s + -127/3. Let c = 1 - 1. Which is smaller: c or f?
c
Let k be 0/(-6)*(-2)/(-2). Suppose 0 = -k*g - 3*g + 6. Let r be g/6 + (-4)/12. Which is smaller: r or -2/11?
-2/11
Let z = -2 - 0. Let m be 5/z*48/(-210). Is m <= 2?
True
Let y(v) = -3*v - 10. Let r be y(-6). Let d be (-4)/84 + r/(-28). Which is bigger: d or 1?
1
Let u = -53 + 1105/21. Which is greater: u or -2?
u
Let v be 0 + -1 - 16/(-18). Let d = -28 + 53. Let b = -25 + d. Is v > b?
False
Let q(s) = 62*s - 12. Let c be q(-1). Which is bigger: c or -73?
-73
Suppose 0 = -2*k - 4*k. Which is smaller: k or -41?
-41
Let i(d) = d**3 + 6*d**2 + 2*d - 3. Let v be i(-5). Suppose -m + v = 4*c, -5*m - 12 = -5*c + c. Which is smaller: 2/11 or m?
m
Let u(w) = 2*w**2 - 9*w + 4. Let p be u(6). Which is greater: 21 or p?
p
Let q = 2.8 + -3. Which is smaller: q or -0.5?
-0.5
Suppose 2*v + 3 - 10 = -5*q, 2*q - 3 = -v. Which is bigger: q or -3/13?
q
Suppose -56 = -3*j - 4*k, -2*j + 0*k = -k - 52. Suppose -4*i + 4 = -j. Let z = -7 - -13. Is i equal to z?
False
Let l be (4/(-48))/(6/(-1312)). Let a = l + -2770/153. Which is smaller: -1 or a?
-1
Suppose 0 = -3*g - 2*g - 5. Let t be (-18)/(-56) - g/(-4). Let h be ((-15)/10)/(-3)*(-4 + 2). Is t equal to h?
False
Let q be (3/(-9))/((-1)/6). Suppose o - 101 = 3*m, 8 = -2*m - q*m. Let i = o + -473/5. Which is smaller: i or -1?
-1
Suppose 0 = y - 5. Suppose 0 = -4*b + 4*d + 4, -5 = -y*b + b + 5*d. Is 2 greater than b?
True
Let b(s) = s. Let t be b(-13). Let n = t + 12. Is n greater than -2?
True
Let f(n) be the first derivative of -n**2/2 + 8*n - 1. Let y be f(7). Let b(i) = i - 4. Let o be b(3). Which is smaller: y or o?
o
Let g(w) = 19*w - 9. Let d be g(6). Let h be (-266)/(-52)*36/d. Let t = 28/13 - h. Which is bigger: -1 or t?
t
Let v = 30 + -148/5. Let g = 1.75 + 0.55. Let q = 3.3 - g. Which is smaller: v or q?
v
Let d(k) = k**3 + 9*k**2 - 8*k - 5. Let l be d(-10). Let c = 24 + -23. Which is smaller: c or l?
l
Suppose x + 1 = 3*j, -5*j = -3*x - 6 + 3. Let d be 18/(-22) + 3 + -2. Is x >= d?
False
Let w(n) be the first derivative of n**3/3 - n**2/2 - 5*n - 11. Let q be w(3). Is q <= 2/7?
False
Let l be 5/(-10) - (-23)/2. Suppose -5*i = 2*k - l, 2*i + 0*i - 2 = 0. Let x be -1 - (0 - (0 + 1)). Which is smaller: x or k?
x
Suppose -2*h - 3*h - 35 = 0. Let u = 16 + h. Let x be (-21)/u + (-4)/6. Is x < -3?
False
Suppose 4*k = 4*h + h + 23, 0 = -3*h - 9. Suppose k*c = 1 - 9. Is -7 bigger than c?
False
Let t = 16 - 17. Is t greater than 0.8?
False
Let v be (2/4)/(14/(-8)). Let h(z) = -2*z**3 + 2*z + 1. Suppose j = -2 + 1. Let u be h(j). Is v at most u?
True
Let b be (-348)/30 + 3/5. Let j be 28*(-1)/b + -2. Is j less than or equal to 2?
True
Let h be ((-116)/(-2))/(4 - 3). Let x be h/198 - (-6)/(-33). Are x and 1 non-equal?
True
Suppose -13 = b - 0*b. Let s = b + 8. Which is greater: s or -4?
-4
Suppose 0 = 5*t + 5*j - 0 + 5, 2*t = 3*j - 2. Let y = t + 3. Let v = -3 + 5. Does y = v?
True
Suppose -4*v = -7 - 5. Suppose 4*u = -6*q + 3*q + 31, 0 = v*q - 5*u + 5. Which is smaller: q or 4?
4
Suppose -2 + 1 = -t. Let k be 3/(-12) - 9/(-4). Let s = 3 - k. Are t and s unequal?
False
Let m be (-2)/(-7) - 108/(-14). Suppose 5*r + 2 = -m. Let k = -4 - -4. Is k > r?
True
Let j = -57 - -57. Is j bigger than 2/535?
False
Let u = -367 - -191. Let f be (-10)/u*14/(-175). Let g = 667/1540 + f. Which is bigger: g or -1?
g
Let p be (-3)/(-2)*24/(-9). Let o = p - -1. Is o less than 1/5?
True
Let i be (-20)/(-19) + -2 + 1. Suppose 0 = -5*f + 7*f + 2. Is i equal to f?
False
Let w = -5/13 + 233/403. Which is smaller: -1 or w?
-1
Let m = -25 + 151/6. Let d = 127 + -128. Is d equal to m?
False
Let t = 13.31 + -13. Let x = 0.11 - t. Is x at most as big as -0.2?
True
Let d = -292 - -573/2. Let t = d - -51/10. Which is smaller: t or -1/4?
t
Let c be 7*2/(-4) + 1. Let j(h) = -2*h**2 - 23*h + 37. Let r be j(-13). Which is smaller: r or c?
c
Let r be (-2)/(-9) - (-441)/(-162). Let i be -1 - (2 - 2*3). Suppose -2 = i*h + 7. Are h and r unequal?
True
Suppose 2*r - 76 = -2*i, -4*i = -0*i - 20. Suppose 2*o - 2*b = 3*b + 21, 0 = 4*o + 5*b + r. Suppose y - 3 = -4. Which is smaller: y or o?
o
Let r be 2*(-9)/(-24) - 3. Are r and -1 nonequal?
True
Suppose -4*i = -6*i - 38. Which is greater: i or -18?
-18
Suppose 0 = 5*f - 5*f - 2*f. Which is smaller: f or -0.008?
-0.008
Let a = 0.323 - 0.023. Are 0.01 and a unequal?
True
Let j(r) = 5*r - 2. Let o(t) = -2*t + 1. Let x(n) = 3*j(n) + 8*o(n). Let q be x(2). Are q and 0 non-equal?
False
Let p be 171/(-33) + 2 - -3. Is p at least as big as 6?
False
Let f = -6 + 12. Let t be -2 - (f/(-4))/3. Which is greater: t or -2?
t
Let p be (-4 + -2)*10/195. Is p greater than 0?
False
Let r = 9.3 - 10. Let z = -1.3 + r. Suppose -3 = 3*b - 6. Which is bigger: b or z?
b
Suppose 11*q - 14*q = -3. Are -1 and q non-equal?
True
Let v be (-2)/(-8) + (-30)/(-8). Let z(s) = 13*s**2 + 3*s - 3. Let b be z(v). Let d = b - 1955/9. Which is smaller: d or 1?
d
Let l be (-1)/4 + 165/20. Suppose i - l = -2. Is 4 bigger than i?
False
Let s(g) = -1 + 0*g + 2*g - 5*g + 2*g. Let k be s(-7). Let p(l) = -l**2 + 6*l - 2. Let f be p(3). Do f and k have different val