s - 5. Which is smaller: 0 or y?
y
Let u = 3.1 - 3. Let n = u + 0. Let k = -5 - -2. Which is bigger: k or n?
n
Let a be 87797/5 - 1/1. Let j = 17468 - a. Let t = j + 91. Which is smaller: t or 0.1?
0.1
Suppose 2*r - 13 = r. Which is greater: 12 or r?
r
Let k(b) = -b**3 - 2*b**2 + 4*b + 3. Let t be k(-3). Suppose 2*w + w - 3 = t. Let v be ((-6)/9)/(6/63). Which is bigger: w or v?
w
Let j = 19 - 11. Let p = j - 5. Which is bigger: 4 or p?
4
Suppose 10*j - 7*j = -12. Let n = 5 + -9. Is n > j?
False
Suppose l = u - 4, -2*l + 7 = 3*u - 4*l. Is 4 not equal to u?
True
Let v = 6.81 - -0.19. Which is smaller: -2 or v?
-2
Let f = -5669/6310 - 1/631. Which is smaller: f or -2?
-2
Let n(f) = -2*f**3 - 4*f**2 - 2*f. Let v be n(-2). Suppose -21 = d - 5*j, 3*j - 35 = -2*d - 3*d. Is d at least v?
True
Suppose 14 = 4*r + 98. Let o be 14/r - (-4)/6. Which is greater: -6/11 or o?
o
Let s(h) = -h**2 - 10*h - 4. Let n be s(-8). Let q = n + -21. Let i(r) = -r**2 - 9*r - 1. Let o be i(q). Which is smaller: 0 or o?
o
Let g be 2 + (4 + (-1698)/339 - 1). Which is smaller: 1 or g?
g
Let p be 9/(-6)*10/(-3). Suppose 0*w = -p*w. Is w greater than 1?
False
Suppose 0 = -2*h - 5*o - 19, 9*o + 15 = 4*o. Let t(y) = -y**2 + 7*y - 1. Suppose -w - 28 = -5*w. Let a be t(w). Which is smaller: a or h?
h
Let l = -0.22 + -12.78. Let d = 0.02 + 10.98. Let h = d + l. Which is smaller: 2/3 or h?
h
Let w = 175 + -212. Which is greater: w or 2?
2
Let s = -2.11 - -2.1. Is s bigger than -6?
True
Let p = -9 - 0. Let i = -6 - p. Which is bigger: i or -2?
i
Let s = -381/35 - -54/5. Is 1 bigger than s?
True
Let g = -10 + 14. Suppose 7 = g*f - 1. Suppose 0 = 4*m + m. Which is smaller: f or m?
m
Let n = 115 + -115. Let r be (6/(-15))/((-6)/10). Does n = r?
False
Suppose -6*o + 8*o = 0. Let p = 6 - 2. Suppose 5*i + 4*u - 7 = 0, u + 7 = -p*i + 2*u. Do o and i have the same value?
False
Let n = -229 - -1149/5. Which is smaller: n or -2?
-2
Suppose 0 = 5*w - 31 + 11. Is 3 at most w?
True
Let w(n) = n + 1. Let z be w(1). Let x be -1*2*(0 - 14). Let r = 57/2 - x. Is r at least as big as z?
False
Let b(q) = -q**2 + 4*q + 7. Let s be b(5). Let a be (66/77)/((-2)/(-28)). Suppose -4*k = 4*v + a, -3*v = v - 3*k - s. Are v and -1 nonequal?
False
Suppose 2 = 2*l - 4. Let t be 6/(0 + 3/l). Which is smaller: 16/3 or t?
16/3
Let r be -2*((-2)/2 - 1). Let b be r + -5 + (1 - 0). Is -4/9 not equal to b?
True
Let y be -3*((1 - 0) + 2/(-3)). Is -1/17 smaller than y?
False
Let k(j) = j**2 - j - 2. Let z be k(-2). Let m(f) = f**3 - 9*f**2 + 4. Let x be m(9). Suppose -z*v = 5*o + 3 - 2, 0 = 5*o - x*v + 9. Is o at most -1?
True
Let n(s) = s**2 + 5*s + 1. Let t be n(-5). Let c = 5 + t. Let f = -4 + c. Which is greater: 4 or f?
4
Suppose 2*i - 8 = -3*k, -5*i - 10 = -0*i. Suppose -3*o + 61 = -4*b, k*o = -b - 0*b - 20. Does -17 = b?
False
Suppose 0*u + 4*u = 0. Let v = 21 - 13. Suppose 7*c - v*c = u. Which is bigger: c or -2?
c
Suppose 3*g - d = -g - 45, 5*g + 59 = 4*d. Is g < -11?
False
Let z = -0.04 - -0.44. Let f = -0.6 - 0.4. Are f and z equal?
False
Let n(o) = -o**3 - 9*o**2 + 10*o + 1. Let f be n(-10). Let j be (-1 - f)*(-1)/(-26). Which is smaller: -1 or j?
-1
Let a(g) = g - 12. Let d be a(12). Let m(x) = x**3 - x**2 - x. Let o be m(d). Which is smaller: o or 2/13?
o
Let h(z) = -z**3 + 4*z**2 - 2*z + 2. Let k be h(3). Suppose -k*i - s = 0, i - s - 2*s = 0. Is i at most -2/11?
False
Suppose 2 = c + 7, r + 3*c = -15. Is 0 greater than or equal to r?
True
Let p = -6 + 4. Suppose -2*f - 2*f - 12 = -4*s, 2*f = -3*s + 19. Suppose 4 = -4*d + 4*k - 0, 0 = f*k. Which is bigger: p or d?
d
Let l(n) = -n - 6. Let a be l(-6). Let r(g) = -2*g**3 - 4*g**2 - 2*g. Let h be r(-2). Suppose 0 = -h*u - 8 - a. Is -2 != u?
False
Let d = 3 + -3. Let s = -13 + 15. Suppose 12 = -q + s*u, 3*q - 4*u = -0*q - 30. Is d greater than or equal to q?
True
Let a = 5 - 5. Let t = 1 - a. Which is smaller: 1/4 or t?
1/4
Suppose -b = -0 + 3, v + 6 = -2*b. Let i be (10/(-25))/(64/(-60)). Which is smaller: i or v?
v
Let n(k) = -3 + 7*k**2 + 8*k - 9*k**2 + k**2. Let p be n(9). Which is bigger: -13 or p?
p
Let t be 12*-3*(-5)/(-12). Let k = 15 + t. Is k greater than -5?
True
Let d(k) = -7*k**2 - 3*k + 3. Let w(v) = 20*v**2 + 8*v - 8. Let q(b) = 17*d(b) + 6*w(b). Let m be q(4). Is 7 > m?
False
Suppose 4*y + 2*x - 6 = 0, 3*y + 0*y - 12 = -4*x. Suppose -5*t - 9 = 11. Which is smaller: t or y?
t
Let u = 12 - 7. Let s = 9.8 + -1.8. Let z = u - s. Is z less than or equal to -1?
True
Let g(i) = -4*i + 6. Let l be g(1). Do l and 11/10 have different values?
True
Let l(w) be the third derivative of w**6/120 + w**5/15 - w**3/3 + 2*w**2. Let u be l(-3). Let f = -6 + u. Is -4 at least as big as f?
False
Suppose 8 = 5*v + 23. Which is smaller: -12 or v?
-12
Let j = -1.4 - -1.4. Let r = 0.03 + -7.03. Let l = r + 10. Is l at least as big as j?
True
Let h = 0.37 + -0.47. Is 28 at most h?
False
Let h = 24 + -28. Which is greater: h or 1?
1
Suppose -14*p = -20*p. Which is smaller: 3/13 or p?
p
Suppose -2*q = -5*q - 6. Let y be (3 + q)*-5*-1. Suppose -h - y = -3. Which is smaller: -1 or h?
h
Let k = -5/14 - 41/42. Is -1 at least as big as k?
True
Let a = 1022/15 + -68. Which is bigger: 1 or a?
1
Let b = 38 + -39. Which is greater: -3 or b?
b
Let p = -15.3 + 15. Is 0.3 less than or equal to p?
False
Let r(y) = -4*y**3 + y**2 - 1. Let c be r(-1). Which is smaller: 10 or c?
c
Let l be (-12)/(-2) - (-2 + 2). Which is bigger: l or 0?
l
Let q be ((-4)/(-3))/(50/(-210)). Let t = q + 51/10. Let b = 2 + -2. Which is smaller: t or b?
t
Let y(p) = -5*p + p + 0*p**2 + 4*p**2 + p - p**3. Let j be y(3). Suppose 2*o + 10 = 0, 3*v - 3*o + 0*o - 15 = j. Is v <= 1/2?
True
Let y(v) = v**2 + 9*v + 9. Let g be y(-6). Which is smaller: -15/2 or g?
g
Let x(m) = -m**3 + 7*m**2 - 4*m - 1. Let n be x(6). Is 15 greater than or equal to n?
True
Suppose -r - 4 = 2*i, r + r - 5*i = 37. Let u be (-2)/(-1) + (-14)/r. Let y = -5 - -4. Is y != u?
True
Let i(d) = d + 1. Let b be i(-2). Is 2 less than or equal to b?
False
Let q be (-2)/4 + (-4317)/210. Let h = -101/5 - q. Which is smaller: 0 or h?
0
Let f(z) = -2*z - 9. Let d be f(-4). Let a be -4*d*2/4. Do -1 and a have the same value?
False
Let u(g) = g**3 - g**2 - g - 1. Let j be u(2). Is j at least as big as -1/19?
True
Let w = 70/13 - 467/65. Is w less than -2?
False
Let g = 43 - 24. Let i = 14 - g. Which is bigger: 2 or i?
2
Let x = 92 - 92. Is 7/16 at least x?
True
Let m(d) = -d**2 + 12*d + 4. Let f be m(12). Suppose f*i - 2*q + 0*q - 2 = 0, -2*q = -2. Let o = i - 3. Are -2 and o unequal?
False
Let x = -2 - -1.7. Which is bigger: 2 or x?
2
Let l = -153 + 1073/7. Let j = -16/35 + 2/35. Which is smaller: j or l?
j
Suppose -3 = -2*l - l. Let g be l/(-3) + 5/15. Is g bigger than -1/20?
True
Let s(o) = -o - 2. Let b be s(-7). Suppose 5*g + 3*m + 2 = 0, -5*g - b*m + m - 1 = 0. Is g < -1?
False
Let x = -272 - -2990/11. Let b = -14/9 - -19/18. Is b <= x?
True
Let h be 6/21 + (-831)/42 + 4. Which is bigger: h or -17?
h
Suppose 5*c - x = 17, -7*c = -9*c + 3*x - 1. Which is greater: -2 or c?
c
Suppose 12 = 4*w, 4*s + 3*w + 89 = 2*w. Are -22 and s equal?
False
Let j = 0.22 - -14.78. Let i = -13 + j. Is i >= -0.2?
True
Suppose 0 = -5*m + 5*g - 45, 0 = 5*m - 4*g + 61 - 18. Let n = -5 - m. Let d be (n/(-1) - -3)*1. Is 2 not equal to d?
True
Suppose -3*k = -2*l + 9, -l + 32 = 4*k - 0*k. Let o = -1 - -3. Suppose 4*y = -0*m - 2*m + o, -4*m = -l. Is y > -1?
False
Let j be 1/(-4)*16/(-10). Is 1 at most j?
False
Let z = 21 - 10. Let n(o) = -o**3 + 11*o**2 - o + 14. Let s be n(z). Let a be 4*(s + (-15)/6). Which is smaller: a or 1?
1
Let b = 85/4 - 21. Let a(t) = -t**2 - 2*t - 1. Let p be a(-2). Let z be (-111)/21 + 4 - p. Is b <= z?
False
Let j(o) = -2*o**2 - 2*o + 8. Let n be j(-4). Which is greater: n or -76/5?
-76/5
Suppose 0 + 6 = 3*l. Suppose 3*v - 1 = l. Suppose -2*b + 3*b = 0. Which is smaller: b or v?
b
Let t be -7*(-2)/(-6) - -2. Which is greater: 1 or t?
1
Let j(i) = i**3 + 8*i**2 + 8*i + 10. Let q be j(-7). Suppose 0*w + 18 = p + 4*w, -q*p - w = -54. Let x be (1 - 19/p)*-2. Is -1 not equal to x?
True
Let i = 3/22 - 17/44. Which is bigger: i or -2/17?
-2/17
Let d be -6 + 2 + 0 - -3. Which is bigger: d or -12?
d
Let x(o) = o - 8. Suppose 3*k + 0 - 18 = 0. Let g be 