= i - 0*i, o = -2*v - 4*i - 10. Which is bigger: v or -5?
-5
Let s be -4*((-84)/(-35))/((-2)/(-10)). Which is smaller: -2/3 or s?
s
Let k(v) = v**2 - 6*v + 6. Let u be k(4). Let l = u + 5. Is 2 smaller than l?
True
Suppose 0*t - 3*t + 6 = 0. Suppose t*p + 3*y = -8, 0 = -0*p + 2*p - 4*y - 6. Which is bigger: 1/3 or p?
1/3
Let y(p) = p**3 - 2. Let x be y(-2). Is x smaller than -11?
False
Let y(h) = -2*h**2 + 1. Let q be y(1). Is q < 2/19?
True
Let d = -7.6 + -0.4. Let z = d + 5. Let c(t) = -t - 9. Let h be c(-9). Is h bigger than z?
True
Suppose -x = 4, -5*h - 4*x - 14 = -3*x. Let g be (-2 + h + 4)/(-2). Are g and 0 nonequal?
False
Let j be (0 + 5/(-10))/(-1). Let g = 6 + -4. Suppose 2*x + 3*x - 2*c = -3, 5*c - 18 = g*x. Is x bigger than j?
True
Suppose -5*d + 4*l = 66, 3*d = 3*l - l - 38. Is d smaller than -44/5?
True
Let k(y) = y**3 - 5*y**2 - 7*y + 8. Let v be k(6). Suppose x + 3 = -v*x. Let u be 58/70 + 2/(-5). Which is greater: u or x?
u
Let t be (-34)/(-10) - 20/50. Is -1 greater than t?
False
Let m = 77 - 132. Let l be (-4)/(-20) + 21/m. Is -1 <= l?
True
Let y = -1.43 + 1.5. Let g = -6.07 + y. Let f = 7 + g. Which is bigger: 8 or f?
8
Let v(i) = i**3 - 7*i**2 - 7*i - 7. Let f(n) = -n + 2. Let u be f(-6). Let x be v(u). Let r be (5 - 7) + 12/7. Is x bigger than r?
True
Let k = 16/5 - 274/45. Let h = 148/45 + k. Is 2 greater than h?
True
Let v(w) = w**3 - 2*w**2 - 6*w + 5. Let z be v(4). Suppose -1 + z = 4*a - 2*l, 11 = 3*a - l. Suppose 0*i = a*i + 5. Which is bigger: 0 or i?
0
Let q(l) = 8*l + 16. Let j(f) = -7*f - 15. Let t(a) = -6*j(a) - 5*q(a). Let w be t(-6). Is -1/2 smaller than w?
False
Let t(s) = -s**2 + 5*s - 4. Let h be t(6). Let o be 4/h*(-4 - -1). Which is smaller: o or 0?
0
Let l = 7.98 - 8. Let c = -0.1 + 0.18. Let k = l - c. Does 0 = k?
False
Suppose 3*g = -4*z + 1, -4*g + 2*g - 14 = -z. Suppose -4*f = -4*j - z, -2*j - 3 = j + 2*f. Let u = -81/170 + -2/85. Which is bigger: u or j?
u
Suppose -89 = 10*n - 29. Is n > -46/9?
False
Let u be (-4)/10 + 6/240. Is u > -1/4?
False
Let p(c) = -c**3 + 1 + 3 + 7*c**2 + 0*c**3 - 6*c. Suppose 2*i = 4 + 8. Let g be p(i). Which is smaller: g or 3?
3
Suppose -4*w + 3*m = 7, -5*w - 1 = 5*m - m. Let i = -1 + -3. Let l = -6 - i. Which is bigger: w or l?
w
Let i be 1*0/((-3)/3). Suppose 4*b + i*b = 24. Let t be (-20)/b - 3/(-9). Are t and -3 nonequal?
False
Suppose 16 - 17 = -p. Is p smaller than 7/5?
True
Let j = -127/305 - -1/61. Is -1 greater than j?
False
Let j = 61.06 - 61. Is j at least 6/5?
False
Suppose 2*o + 10 = 2, -4*y + 16 = -4*o. Let d = 0 - y. Is d at least -2/11?
True
Let f(r) = 2*r - 6. Let y be f(5). Is y bigger than -1/4?
True
Suppose 0 = -4*u + 2 + 2. Let r be (3 - (-1 + 2))*u. Let w = 1 - r. Which is bigger: w or 2/7?
2/7
Let d = 86.6 - 86. Which is smaller: d or -6?
-6
Let s = -15.89 - -16. Let b = -8.11 + s. Let j = -6 - b. Is j less than 2?
False
Suppose -2*h = -0 + 6. Let x be h - -1 - 1 - -3. Let t(b) = b**3 - 3*b**2 - 3*b - 3. Let v be t(4). Which is greater: v or x?
v
Let y = -3 + 2.98. Let h = -2.02 - y. Which is smaller: h or 0.2?
h
Let y = 50 + -52. Is y bigger than -9?
True
Let s(o) = o**2 - 2*o + 1. Let i be s(1). Let n be ((-8)/(2 - i))/(-4). Let l = -249/4 + 62. Is n greater than l?
True
Suppose 0*g = -g - 30. Let y be ((g/(-8))/(-5))/3. Is y >= 1?
False
Let l = -2/5 + 16/15. Which is smaller: 35 or l?
l
Let l = -0.21 - -2.11. Do 1 and l have the same value?
False
Let q be ((-13)/(-4))/((-10)/(-40)). Is q at most 13?
True
Suppose -11 = -3*y + 4*y. Which is smaller: -9 or y?
y
Let c be (-1)/20*(-2)/4. Let t = c + -1/8. Let z = t - -3/5. Is 2 not equal to z?
True
Let j be (3/(-2))/(19/38). Is j < -14/9?
True
Let c = -113777/460 + 11/1380. Let j = -245 - c. Suppose -10 = -8*u + 3*u. Which is smaller: j or u?
u
Let o = -10/9 - -7/9. Let d(v) = 2*v**2 - 4 + 0*v**2 + 3*v - v**2. Let c be d(-4). Is c < o?
False
Suppose -8 = p - 2*q, 3*p - q - 1 = -0*q. Are 2 and p non-equal?
False
Suppose 0 = -2*k - 4*s + 10, -5 = -k - 0*s - 3*s. Suppose -k*j = -2*j. Is 1 at most j?
False
Let p be 8/(-10) + (-1)/(-1). Is 0 < p?
True
Suppose 5*r - 12 = 3. Suppose 0 = r*f + 2*s + 5 + 17, 0 = -f + 2*s - 2. Is -7 < f?
True
Let d = -1 + 0. Let t = -0.17 + 0.27. Is t bigger than d?
True
Suppose -3*w - 12 = -6*w. Let i be (-26)/(-3) - 2/3. Suppose 2*a + 0*a = i, -4*n = 5*a - 40. Is n bigger than w?
True
Let c(y) = -3*y**2 + 10*y + 4. Let u(t) = t**2 - t + 1. Let r(q) = c(q) + 4*u(q). Let g be r(-6). Let h be g/36 - (-60)/(-27). Is h >= 1?
False
Let x = 4.6 + -2.6. Is x > 0.1?
True
Let l = -8 - -11. Suppose -l*p + 15 = -0*p. Is p < 3?
False
Let g = -4 + 4. Let z be 0/3 - (g - 1). Let d be ((-1)/(-5))/(1*-1). Is z less than d?
False
Let q be 68/17 + 90/(-23). Which is smaller: q or 1?
q
Let b = -80 + 63. Is b smaller than -16?
True
Suppose -d = -2*d - 4*k - 16, 5*k + 20 = d. Suppose -1 = -s - d*s. Which is smaller: -1/4 or s?
-1/4
Let f = 0.04 - 0.1. Let i = f + 0.06. Which is greater: i or 2?
2
Let h = 5 - -11. Suppose c - 16 = 3*c - 4*p, -4*p + h = -c. Suppose -2*o + 2 + c = 0. Is o equal to 1/6?
False
Suppose 2*p - 6 - 4 = 0. Is p > 5?
False
Let l be 119/70 + -1 + 2/(-4). Let x = 0.2 - 0.1. Is x at most l?
True
Let l = -1379/9 + 153. Let h(u) = -u - 1. Let p be h(-3). Suppose 0*y = 2*y - g, -3*y = p*g - 7. Which is greater: y or l?
y
Let x = -6 - 6. Let d be 20/x*(-1)/(-5). Which is smaller: d or -0.4?
-0.4
Let i = -50 - -60. Is i <= 10?
True
Let u = -0.2 + -1.4. Let w = 0.53 + 0.07. Let b = w + u. Which is smaller: -3 or b?
-3
Let n be ((-2)/(-4))/((-1)/2). Let q be (-1)/(-5) + (-2)/(-40). Is q greater than or equal to n?
True
Suppose 2*k - 7 = 31. Suppose -5*p + 9 + 21 = 5*r, -4*r = 3*p - k. Is -2/7 smaller than r?
True
Suppose 2*j = -3*j. Suppose -2*n - 3*n = 45. Let w be n/12 + 2/4. Is w at most as big as j?
True
Suppose -11 = 9*l - 20. Let j be (-12)/(-91) + 4/(-14). Which is greater: l or j?
l
Suppose 0*d = -3*d + 30. Suppose -5 = -3*s - j + 2, -4*j = -2*s. Suppose k + s*t - d - 1 = 0, -3*k - 2 = -t. Is 1/5 less than or equal to k?
True
Suppose -3*i - i - 4*l = 0, -3*i - 8 = -l. Let r be (3/(-2))/((-4)/(-8)). Is i at least as big as r?
True
Suppose 0 = 4*z - z + 60. Let q be (68/z + 3)*-1. Which is smaller: q or -1/2?
-1/2
Let g(r) = -r**2 + 5*r + 4. Let a(z) = z**3 + 4*z**2 - 4*z + 3. Let w be a(-4). Let m = -13 + w. Let t be g(m). Is t <= -3?
False
Let i(g) = 2*g - 12. Let a be i(10). Is 9 at least as big as a?
True
Let o = -2.07 - -0.07. Let a = o + 2.01. Let d = a - 0.01. Is d not equal to 1?
True
Let a = -0.082 - -0.07. Is 1/2 bigger than a?
True
Let w = -0.4 - -2.7. Let r = w - -0.7. Let p = -3 - -3. Which is bigger: r or p?
r
Let n = 1.07 + -0.97. Is n < 39?
True
Let q = -2.01 - -0.01. Let v = -15 + 12. Let l = v - q. Which is smaller: l or -2?
-2
Suppose 18 = 2*p - 2*n, -5*p - 3*n + 22 = -p. Suppose -6 = -2*u, 2*t + 2*u - 20 = -2*u. Let z be p/(-5) - t/(-10). Is z > 1/7?
False
Let q = 0.5 - 0.35. Let y = q - -0.05. Which is greater: 2 or y?
2
Let b(p) = -11*p + 5. Let u be b(5). Is u at most as big as 0?
True
Suppose -5*g - 35 = 4*m, 3*m = 2*m - 5. Is g > -17/4?
True
Suppose 3*s = -3*l - 0 + 6, -5*s - 6 = l. Let f = 3 + 1. Suppose 21 + 1 = 4*n - 2*u, -6 = -2*n - f*u. Do l and n have the same value?
False
Suppose -2*i = s, 5*i + s + 2*s = 0. Suppose 3*l = i, -5*h - 4*l = l - 20. Suppose 8 - h = 4*m. Which is greater: 0 or m?
m
Let f = 32.99 + -33. Is f greater than -0.1?
True
Let m(i) = -2*i + 15. Let b be m(8). Let x be 0 + 21/(-33) + -1. Which is greater: b or x?
b
Let q = 1209/4 - 300. Which is bigger: 0 or q?
q
Let l(s) = -s - 5. Let d be l(0). Which is greater: -4 or d?
-4
Suppose -3*s + 32 + 16 = 0. Suppose 0 = -2*i + 5*v - s, 0 = -v + 2*v - 4. Suppose 3*q - 5*q - 9 = -5*c, -i*c = -q - 4. Is 2/9 greater than c?
False
Let q be (8 - 3)*6/15. Suppose 3 + q = -5*y. Which is smaller: y or -2/9?
y
Suppose 5*v + r = -14, r + 6 = 2. Suppose 4*x + 35 = -x. Let t = x + 5. Do t and v have the same value?
True
Let l = -49753/2996266 - -2/16463. Let x = l - -391/1638. Let b = 0 + -1. Is x > b?
True
Let j(t) = -3*t**2 + t + 4. Let n be j(2). Is -6 less than or equal to n?
True
Let i be ((-2)/4)/((-2)/12). Suppose -l - i + 6 = 0. Is 3 not equal to l?
False
Let q = 18 + -19.1. Let b be