*s = 3*s. Is 1/5 less than s?
False
Let t = -77 + 66. Which is greater: -9 or t?
-9
Suppose -18 = d - c, 4*d + 3*c + 35 + 44 = 0. Let w = d - -15. Which is smaller: -3 or w?
w
Let l(d) = -d - 9. Let z be l(-8). Let u = 0 - z. Is u at most 5/6?
False
Suppose 2*d = 3*d - 2. Suppose -5*c + 2*o + 15 = 0, -d*o = -2*c - 2 + 8. Suppose 5*u = c*u + 4. Which is bigger: 1 or u?
u
Let x = -2 + 2. Let h = 20 - 20. Is x < h?
False
Let i(v) = 3*v + 5. Let h be i(0). Is h greater than or equal to 7?
False
Let y(b) be the third derivative of -b**4/24 + 2*b**3 + b**2. Let r be y(14). Which is smaller: r or -8/9?
r
Let y be ((-3)/6)/((-1)/2). Let w(g) = -3*g**2 - g**2 + y + 3*g**2 - 2*g. Let l be w(-2). Which is greater: l or 2/9?
l
Let v = -14 - -18. Suppose 10*i - 9*i + v = 0. Which is bigger: i or -3?
-3
Let u(r) = r**2 + r - 19. Let z be u(11). Which is greater: z or 114?
114
Suppose 0 = -5*w - 5*q + 190, -w - 3*q - 7 + 55 = 0. Is w less than or equal to 33?
True
Let w(l) = -l**3 + 4*l**2 + 4*l + 4. Let p be w(5). Is p at least 1.7?
False
Let o be 15*((-2)/(-3))/2. Suppose 21 = -c - 0*j + o*j, 4 = j. Is c <= 0?
True
Let u(v) = -1. Let d(h) = h - 7. Let q(j) = -d(j) + 2*u(j). Let c be q(3). Which is smaller: c or 2/3?
2/3
Let f = 0.083 + 5.917. Is f greater than 0?
True
Suppose 4*w = -5*r - 71, -4*r + 17 = 5*w + 81. Is r smaller than -86/9?
True
Suppose -n = -5*j + 18, 5*j + 4 = 4*n + 31. Let c(o) = o + 5. Let s be c(n). Let d be (s/5)/((-1)/5). Which is smaller: d or 0?
d
Let y(a) = 6*a**2 + 1. Let v be y(1). Suppose s + f = 20 - 9, -s + f = -v. Suppose -5*t + 4 = -0*j + 3*j, 2*j - s = 3*t. Is t at most as big as -2/11?
True
Suppose -28 = 2*q - 2*r, 4*q + 2*r = r - 36. Do -10 and q have different values?
False
Let h = 17 - 12. Suppose h*i - 5*m + 2*m - 1 = 0, -6 = -2*m. Suppose -i = -3*g - d + 6, 13 = 3*g + 2*d. Is g at most 0.2?
False
Let s = 3 - 8. Let m = 3.02 - 0.02. Which is bigger: s or m?
m
Let n be ((-45)/(-6) - -4)*2. Which is bigger: 20 or n?
n
Let t(p) = -p. Let r be t(-3). Let q = r - -1. Is 4 > q?
False
Suppose 0 = -w + 4*t - 9, 0 = -w + 2*t - t. Let p = 19 + -14. Which is smaller: w or p?
w
Let g = -0.23 - -1.33. Let b = g + -1.1. Let c = -782/7 - -112. Which is smaller: c or b?
b
Let v be (4/3)/(10/(-30)). Is v smaller than -7?
False
Suppose 3*u + 51 = 2*m, -3*m - u + 0*u = -60. Let j be 24/(-16)*4/m. Which is smaller: 0 or j?
j
Suppose -4*f - 10 = -10. Which is smaller: f or 6/25?
f
Let n = -24596/25 - -984. Does n = 0?
False
Let x(i) = -4*i - 1. Let t be x(-1). Are t and 2 non-equal?
True
Let v = -1.1 - -0.1. Let g be ((-21)/(-6) - 2)/2. Is v greater than or equal to g?
False
Let t(r) = -r - 15. Let p be t(-12). Is -3 at most as big as p?
True
Let n be (16/10)/(2/10). Suppose -m - 39 = -3*k - 9, -3*m = k. Is k smaller than n?
False
Let q = -213/376 + -38/47. Let y = 3/2 + q. Is y bigger than 0?
True
Let z be (1 + 11)/3 - 158/8. Is 0.1 at least z?
True
Let g be (12/198)/((-1)/27). Which is bigger: g or -3?
g
Let l be -6*5/(15/(-2)). Suppose 2 = -a + 6. Suppose 17 = i - x - l*x, i + a*x + 10 = 0. Which is smaller: 3 or i?
i
Suppose 0 = 5*c - 6 - 39. Which is greater: c or 6?
c
Suppose -3*g - g = -4*u - 40, g - 2*u = 10. Is 10 at least as big as g?
True
Suppose -6*j = -j - 10. Let k(q) = -2*q**3 + 2 + 7*q + 6*q**j - 2*q**3 + 3*q**3. Let v be k(7). Which is greater: v or 4/7?
v
Let t = -21 + 21.09. Let j = t - 0.02. Which is smaller: j or 0?
0
Let q(z) = z + 2. Let s be q(-2). Let c = -1 - s. Let v be (-1 + 2)*(c - -1). Is v not equal to 1?
True
Let v be (-27)/(-35) + 2/(-10). Let o be ((-3)/6*-2)/(-3). Is v <= o?
False
Let y(b) = b**2 - 2*b + 5. Let m be y(2). Let w = -0.1 - -0.3. Which is greater: m or w?
m
Let s be (-1 - (-10)/4)*-2. Let k be (-2)/2*(0 - -4). Are s and k nonequal?
True
Let l(u) be the first derivative of u**2 + 8*u - 2. Let y be l(-5). Is 0 != y?
True
Let r = -0.016 - -7.016. Are r and 3/4 non-equal?
True
Let f = 0.37 - -0.03. Let y = -0.6 - f. Which is smaller: 0.2 or y?
y
Let b = -0.14 - 6.86. Let g = 1.088 - 0.088. Is b < g?
True
Let z = -9.1 - -9. Let k = 10 + -6. Which is greater: k or z?
k
Let b be (0 - (-9)/15)*15. Is 9 at least b?
True
Suppose -i = 5506 - 15067. Let o = i + -430223/45. Let s = o + -8/9. Is 1 bigger than s?
True
Let q = -0.39 + -2.71. Let b = q - -2.1. Do b and -22 have the same value?
False
Let n be -3 - (32/(-20))/(-4). Is n at most as big as -3?
True
Suppose 5*q - 21 = 2*q + 5*u, -12 = -2*q + 4*u. Suppose 37 = 5*m + q. Suppose 2*s - 5*s + m*j + 25 = 0, 5*s - 4*j = 20. Which is smaller: s or -1/7?
-1/7
Let i(x) be the second derivative of x**3/6 - 9*x**2/2 - 2*x. Let z be i(7). Let u = 2 - 3. Does z = u?
False
Let v be 72/(-154) + 2/7. Which is smaller: v or 0?
v
Suppose 0*s = -5*s - 10. Let d be (-1)/(s + 0 - -1). Let c be 2/d*(-1 + -1). Is c less than -4?
False
Let f = -49 - -199/4. Suppose 1 = -2*u - 1. Let k be (-3 + 11)/4 + u. Is k bigger than f?
True
Let d(m) = m**2 + 14*m - 9. Let z be d(-14). Which is smaller: z or -29/3?
-29/3
Let b(u) = -u**2 + 7*u + 1. Let j be b(7). Is j < 2?
True
Let o = 0 + -1. Is -1 smaller than o?
False
Let r = 0.025 + 0.175. Which is bigger: -0.04 or r?
r
Let b = -141 - -196. Is b at least 54?
True
Let y = -68/155 + -5/31. Suppose -i - 2*s + 25 = 3*s, i + 3*s - 15 = 0. Suppose i = x + x + 2. Which is bigger: x or y?
y
Let j = -18 - -16. Is 0.02 at least as big as j?
True
Let w = -17 + 26. Suppose 3*n - 5*o - 24 = 0, 5*o - 2*o + 9 = 0. Suppose -5 = -g + n. Is g > w?
False
Let y = 0 - 9. Let j be -1*3/y*-3. Let t be (2 + 1 + j)*2. Is -0.1 > t?
False
Let l = 7 - 6. Which is bigger: l or -1/6?
l
Let f(m) be the first derivative of m**2/2 + m + 2. Suppose u + p - 3 = 0, 2*u - p = p + 2. Let w be f(u). Do w and 3/2 have the same value?
False
Suppose 4*b + 5 = -3*q, 2*q + q - b - 5 = 0. Is q at least -1/13?
True
Suppose 4*c + 4*f = 4 + 8, -f = -c + 7. Suppose c*g + o + 29 = 4*o, -g = -2*o + 3. Is -5 <= g?
False
Let m = 4 + -11. Let f = m + 14. Which is smaller: 2 or f?
2
Let r = -0.072 + 2.072. Is -11 <= r?
True
Let z = 4 + -3. Let t = -0.5 - 0.2. Let l = -0.6 - t. Which is greater: l or z?
z
Suppose -r + 3*y - 3 = -0*y, -5*r + 2 = 2*y. Let m be 4/(-18) + (-53)/(-36). Do m and r have different values?
True
Suppose -45 = 7*o - 12*o. Is o <= -2?
False
Let l = -1 + 2. Let g = -0.9 + l. Let r = g - 0.1. Which is bigger: -4 or r?
r
Suppose -2*n + 2*p = -14, 2*n + 6*p - p + 7 = 0. Suppose -n*w = w. Which is greater: -1 or w?
w
Let b = 7.6 - 8. Let d = b + 0.6. Which is smaller: d or -0.2?
-0.2
Suppose 0 = -x - 3*z - 2, 5*x + 3*z = 5*z - 95. Which is smaller: -12 or x?
x
Let r(q) = -2*q**2 + 21*q - 46. Let i be r(12). Do i and -81 have the same value?
False
Let g = 1/65 + -202/455. Is g smaller than 0?
True
Let w(p) = 2*p**2 - 3*p + 1. Let r be w(2). Let s = 4 - 5. Which is smaller: r or s?
s
Let f be 0 + (-14 - (1 + -3)). Let c be (-4)/6 - 5/f. Let o be (0 - 0 - 0)/(-2). Is c at least o?
False
Let r be (-15)/(-33)*(-4)/50. Let h = r - -32/55. Which is smaller: h or 1?
h
Let p = 0 + -1. Suppose -5*v = -0 - 15. Suppose -7 = v*i + k, 5*i = 4*i + 2*k - 7. Do i and p have the same value?
False
Suppose -3*r + 2*f = -2*f + 16, -3*r - 20 = -5*f. Let a = 0.8 + 0.2. Let y = 2 + a. Which is bigger: y or r?
y
Let v = -16.9 + 18. Let j = -0.2 + v. Which is smaller: j or 1/3?
1/3
Let f = -5 - -21/4. Let j = -1353 - -4141/3. Let i = j - 27. Is i less than f?
False
Let s = 22 + -21. Let l be (-14)/6 - (-1 - s). Are -1 and l equal?
False
Let s = 20 + -22. Is s greater than 21?
False
Suppose z - 3*x = 3, -x + 42 = 4*z + 2*x. Let s(u) = -u**3 + 10*u**2 - 11*u + 7. Let n be s(z). Do n and -10 have the same value?
False
Suppose f + 3*f - 16 = 0. Let u = 3 - f. Let d be -1 + (-1 - -1) + 0. Is u less than d?
False
Suppose 0 = -t + 5 - 7. Let k(w) = -6*w**2 + 1. Let g be k(t). Is g greater than -23?
False
Let o = 9 + -11. Let p = -1.7 - 0.3. Let y = 1.9 + p. Which is bigger: y or o?
y
Let t be (4/(-200))/((-1)/2). Is t equal to 1?
False
Let r be (0/2 - 2) + 3. Is r <= -2/27?
False
Let l = -889227/11920 + -1/2384. Let k = 75 + l. Is k smaller than 1?
True
Suppose 2*x - 15 - 5 = 0. Let t be 0 - ((-12)/x - -1). Which is bigger: -1 or t?
t
Let g = -352/7 - -1159/14. Let c = g - 19. Let s = c + -13. Is