 + f. Which is greater: w or -1?
-1
Suppose -2*x - 2*x = 12. Is x < -1?
True
Let s(b) = b - 2. Let v be s(4). Suppose -v*w = -0*w. Let q be w/(-4) - 2/3. Which is bigger: q or -1?
q
Let k = -1.009 + 0.039. Let j = 0.03 - k. Let u = j - 0.9. Which is greater: 0.2 or u?
0.2
Let s = -5 + 8. Suppose -3 = d - 4. Let x be ((-2)/(-2))/(d/3). Is x equal to s?
True
Let t(d) = d**2 - 8*d. Let f be t(8). Suppose f = 2*u - 7 - 3. Is u less than or equal to 3?
False
Suppose 0 = -12*f + 13*f. Let i(c) = -125*c**2 - 1. Let z be i(-1). Let s = z - -1261/10. Is s at most f?
False
Let v = -5 + 4. Let g be v/2*(-1 + 1). Let d = -3298/11 - -300. Does g = d?
False
Suppose -2*z = -0*z - 168. Let n be 38/z - (-2)/(-7). Which is greater: -1 or n?
n
Let h = 18 + -18. Which is greater: h or 6/7?
6/7
Let h = 30 + -20. Suppose 4*r = -5*p + 28, -6*r - p + h = -3*r. Let g be 2/4 + 1/r. Is g at least as big as -1/3?
True
Let g = -46 - -49. Let j(h) be the first derivative of -h**2/2 - 4*h - 1. Let z be j(-6). Which is smaller: g or z?
z
Let v = 6 + -6. Suppose 0 = -6*l + 3*l. Is l >= v?
True
Let k(z) = -z**3 + 6*z**2 - 4*z - 6. Let c be k(5). Let v be 2/7 - (-36)/(-28). Is c != v?
False
Let b be 1 - 5 - -1 - 42. Let j be b/(-20)*(-2)/12. Which is smaller: 1 or j?
j
Suppose 7 = -2*o + 3. Let c be (3*o)/((-12)/(-8)). Let u be (2/(6/3))/c. Which is greater: u or 0?
0
Let i = 9 + -5. Suppose -5*m - 5*p + i*p = 0, -18 = 2*m + 4*p. Does 2/3 = m?
False
Let u = 151/63 + -16/7. Suppose d = b + 1, 2*b + 2*d = -0*d + 6. Which is smaller: b or u?
u
Let b(s) = -15*s + 4. Let m be b(-2). Let c be (-11)/(-44) + m/(-200). Is 0 bigger than c?
False
Let a be (-8)/10 + (-4)/(-10). Let p = 4 + -4. Which is smaller: p or a?
a
Suppose 0 = -3*v - 2*v + 15. Suppose -c - 24 = -5*m, -v*m + 5*c = -2*m. Suppose -6*r + m*r = 0. Is r equal to -5/4?
False
Let i = -0.22 - -0.22. Which is bigger: 19 or i?
19
Let o = -10 + 11. Let j be (4 - o) + (-93)/30. Do j and -2/5 have the same value?
False
Let k(f) = -f + 9. Let z be k(5). Suppose 3*i + 3*t + 15 + 24 = 0, -57 = z*i + 5*t. Is -20/3 bigger than i?
True
Let g be (-3)/(0 - 3/(-3)). Let v(r) = r + 3. Let u be v(g). Let w be (u - 2)/(5/1). Which is smaller: 0.1 or w?
w
Suppose 3*m + 2*s + 92 = 0, -2*m = 3*s - 5*s + 58. Which is bigger: m or -29?
-29
Let b = -4 - -6. Which is smaller: b or 4?
b
Let q be ((-42)/49)/((-1)/7). Which is greater: -4/5 or q?
q
Let y = -4140/11 - -376. Let w be 27/(-21) - (-4)/14. Which is smaller: y or w?
w
Let a = 8.6 - 5. Let j = a + -3. Which is bigger: j or -1?
j
Suppose 20*m - 200 = 10*m. Which is smaller: 19 or m?
19
Let k be -4*1/(-4)*0. Do k and -3/4 have the same value?
False
Suppose 3*r - 4*l + 3 = -7, 4*r = 5*l - 13. Let x be (-2)/(-3) - (-16)/(-6). Is r at least x?
True
Let v = 4065/62 - 131/2. Is v less than 0?
False
Let z(b) = 8*b**3 + 5*b**2 + 2*b - 1. Let a be z(-3). Let c = a - -1248/7. Suppose 3*g = 2 + 1. Are c and g non-equal?
True
Let k be (6/(-9))/(1/9). Let g = k + 3. Let d be (-2 + 1)*g/(-9). Are d and -1 non-equal?
True
Let i be -1*1/(0 - -1). Let w(x) = -x**2 - 12*x + 1. Let z be w(-11). Let y(t) = -t**2 + 12*t - 2. Let b be y(z). Which is smaller: b or i?
b
Let l be (0 - -1)/(-4 + 3). Suppose 8*u + 10 = 3*u. Is u <= l?
True
Suppose -s + 3*s + 36 = 0. Let m be s/(-5) - 14/(-35). Is m at most as big as 4?
True
Suppose 0 = -2*w + 5*u - 21, 5*w = -6*u + 4*u + 20. Suppose 5*r + w*k - 2 = -16, -3*r + k = 4. Let b be (r - (1 - 3))/3. Does b = 1/4?
False
Let b be 2/(-7) + 104/462. Do b and -1 have the same value?
False
Let u = -4 - -6. Suppose -6 = 2*f - u. Let z = 15 + -16. Is f less than or equal to z?
True
Let r = 4418/7 + -630. Are r and 2 non-equal?
True
Let r = -6 + 11. Let x = r + -8. Let g = 3.2 + x. Which is smaller: g or 0?
0
Let w(t) = t**3 + 2*t + 4 - 3 + 2*t - 3*t. Let d be w(-1). Which is smaller: d or 2/9?
d
Let c be 2*(-2)/(-3 + 1). Which is bigger: 16/7 or c?
16/7
Suppose -5*m - 7 + 42 = 5*u, -u = -m - 1. Suppose 3*f = u - 7. Which is smaller: -4/3 or f?
-4/3
Let m = 0.04 + 5.96. Let n = m + -6.3. Let p(i) = -i**3 + 7*i**2 - 7*i + 6. Let g be p(6). Is n > g?
False
Let c = -1728/11401 + -2/877. Let j = 7 - 4. Suppose a = -j*a. Is a less than c?
False
Let c = -99 - -92. Is -96/13 at least as big as c?
False
Suppose 18 = x + 4*u, 34 = 4*x - 4*u - 38. Suppose -x = -4*k + 2. Which is bigger: 4 or k?
k
Let t = 99 - 98.9. Which is smaller: 7 or t?
t
Let v = -153/5 + 30. Which is smaller: v or 0.1?
v
Let c be 2/(-7) - 92/(-28). Suppose 0 = -6*t + 3*t + c. Which is greater: 3 or t?
3
Let c(y) = -y**2 + 6*y. Let m be c(5). Suppose -m*q + 0 - 10 = 5*g, 10 = 4*g - 2*q. Let z = -1 - -2. Are g and z unequal?
False
Let p = 0.28 + 5.22. Let c = 1.5 - p. Which is smaller: -1/3 or c?
c
Let g = 4 - 3. Suppose 6 = y + 1. Suppose y*k - 8 = k. Is k < g?
False
Let g(l) = -l**3 - 5*l**2 - l + 7. Let c be g(-5). Which is bigger: c or 13?
13
Let c be (-7 + 4 - -1)*40. Let p be c/96 - (-2)/12. Is p >= 0.18?
False
Let p be 3/(-9) - (-5)/(-2). Let o = -8/3 - p. Which is smaller: o or 0?
0
Suppose 2*f + 3*x - 15 = 0, -3*f - 4*x + 6 = -5*f. Let i = f - -2. Suppose 3*v - 6 = -0*v, -5*v = -r - 10. Is r not equal to i?
True
Suppose 4 = -2*d + 5*g + 43, 0 = -d + 2*g + 19. Suppose d*m + 5 = 12*m. Which is bigger: 5 or m?
5
Let a be ((-8)/6)/(4/(-18)). Suppose h + 308 = -2*m, -m = -a*m + h - 763. Let g be 52/m + (-6)/(-27). Are 1 and g unequal?
True
Let n be (8*1/(-2))/(-14). Is n equal to 1?
False
Suppose 0 = -3*c - 4*i + 5, 2*c + 0*c + 5*i = 8. Suppose 2*n - 4*k = 20 + 12, -3*n = 3*k - 21. Is c != n?
True
Let d be ((-4)/(-3))/(22/3). Let q = 0.056 - 2.056. Is q at most as big as d?
True
Let d = -11.2 + 9. Let y = d - -2. Which is bigger: y or -6?
y
Let r = -2 + 38. Which is greater: r or -0.3?
r
Let j(x) be the second derivative of -x**5/20 - x**4/3 + 5*x**3/6 - 8*x. Let k be j(-5). Is k smaller than 1/3?
True
Let f(g) = -g + 13. Let x be f(10). Let m = x + -1. Is 3 not equal to m?
True
Let r = -2 + 2. Let q = -2 - -2. Is r smaller than q?
False
Suppose 4*c + 4*h = -24, -4*c + h - 22 = -c. Which is smaller: -4 or c?
c
Suppose -12 = -4*k - 0. Suppose -n - 4*n = -4*t + k, 3*t + 9 = 0. Let p(l) = -l**3 - 5*l**2 + 7*l + 3. Let o be p(-6). Is n bigger than o?
False
Let l(d) = 2*d**2 - 3*d + 10. Let z(x) = 3*x**2 - 4*x + 15. Let q(n) = 7*l(n) - 5*z(n). Let g be q(0). Are -5 and g unequal?
False
Let d = 19.8 + -20. Which is smaller: -3 or d?
-3
Let j = 10 - 8. Let x(h) = -h**3 + 3*h**2 - 1. Let f be x(j). Let t = f - 8/3. Is t at most 0.3?
False
Let h = -14 - -19. Which is smaller: h or 1?
1
Let b = -1.3 - -3.3. Let i = b + -1.8. Let m = -53 - -263/5. Which is smaller: m or i?
m
Suppose 0 = -5*c - 5*i - 5, 2*c + i - 2 = 0. Is c <= 3?
True
Suppose 0 = z + 3 - 8. Let g be (-3)/4 + -4 + z. Which is smaller: g or 2/7?
g
Let x = -2.3 + -0.7. Is x greater than 0?
False
Let u = 6 + -5.7. Let z = -0.9 - -1.6. Let r = z - 0.8. Which is bigger: u or r?
u
Suppose -5*n + 26 - 196 = 0. Let z = -168/5 - n. Is z equal to -7?
False
Let l be ((-3)/(-5))/(2/10). Suppose 0 = 2*c - 3*p + 7, 0 = -2*c + l*p - p - 2. Which is greater: 0.1 or c?
c
Let w(d) = -6*d**2 + 3*d - 5. Let o be w(2). Which is smaller: -22 or o?
o
Let g be (-40)/(-1965)*(-6)/(-8). Let s = g + -155/1572. Which is greater: 0.1 or s?
0.1
Let t(j) = j + 2. Let x be t(-5). Let n = -7 - -12. Suppose -v + n*k = -12, -v + 24 = -4*v - 5*k. Is x not equal to v?
False
Let g = 4 - -4. Let c be (g/(-5))/((-4)/10). Suppose 17 = c*h - 3*q + 2, -5*h - 10 = 2*q. Are h and 1/2 non-equal?
True
Let f be (-2 - -26)*(-3)/6. Let n be f/(-8)*(-8)/(-6). Suppose 0*s = n*s + 2. Which is bigger: 0 or s?
0
Let t be ((-4)/6)/((-6)/(-45)). Let j = t - -6. Suppose 4*s + 3 = -j. Which is smaller: -2 or s?
-2
Let i = -17 + 18. Is -4 <= i?
True
Let j = -6.8 + -0.2. Let y = 29 + -29. Which is greater: y or j?
y
Let m = 0.17 - 0.09. Let h = -49 + 50.08. Let f = h - m. Which is smaller: -1/4 or f?
-1/4
Let a = 19756/37 - 534. Which is greater: a or -3?
a
Let r = 11/38 - -4/19. Suppose f = 2 - 0. Which is bigger: f or r?
f
Let m = -164 - -1474/9. Which is greater: 0.49 or m?
0.49
Suppose 0 = 4*a - 6 - 6. Is 2 at most a?
True
Let c be -2 - -4 - (-8)/(-5). Let v(p) be the third derivative of -p**6/120 + p**4/24 - p**3/6 +