*k**3 - 5*k**2 + 8*k - 7. Let z be r(8). Let g = z - 8377/11. Suppose -3 + 1 = 2*i. Which is smaller: i or g?
i
Let s be -3*7 - (0 + -3). Let k be (s/24)/(2/24). Which is smaller: k or -8?
k
Let a = 15 - 15. Suppose 3*f - 3 - 9 = 0. Suppose a = -f*g + g. Which is bigger: -2 or g?
g
Let z = 24 + -34. Let p = 14 + z. Is p <= -0.1?
False
Suppose 0 = -3*i - 5*y + 45, 3*i - 22 = 4*y + 23. Which is bigger: i or 17?
17
Let i = -4457/3 - -14120/9. Let b = 2134/45 - i. Let o = b + 36. Is o less than or equal to 0?
False
Let b = 1 - -2. Is 1 at most as big as b?
True
Let q(h) be the first derivative of -h**4/4 + 7*h**3/3 - h**2 - 9*h - 9. Let y be q(7). Which is bigger: -22 or y?
-22
Let c = 1 + -0.4. Let j = 898 + -17973/20. Let a = -2/5 - j. Is a at least c?
False
Let j(u) be the first derivative of u**3/3 - 2*u**2 - 3*u + 2. Let i be j(6). Is -0.2 less than or equal to i?
True
Let w(h) = -h**2 - 4*h - 4 + 0*h**2 - 2*h. Let p be w(-5). Let y(v) = -v - 12. Let k be y(-12). Is p greater than k?
True
Let c be (-3)/(-6)*(-4)/10*-5. Let z(j) = -j - 5. Let a be z(-5). Which is greater: c or a?
c
Let v(i) = 3*i**2 - 2*i - 2. Let y be v(2). Suppose -3*h + 0 + y = 0. Let x be (0 - (-3)/(-2)) + h. Which is greater: 2 or x?
2
Let a(b) = -16*b + 1. Let y be a(-1). Suppose 0 = 3*i + x - y, -5*i + 18 - 3 = -x. Suppose 2*m + 1 = 9. Is i bigger than m?
False
Suppose -3*u = -5*u. Suppose -3*p - 3 + 6 = u. Is p greater than or equal to 1/9?
True
Let o = 9 - 8.8. Let n = -0.2 - -0.2. Let r = n + o. Which is smaller: r or -0.1?
-0.1
Let x(t) = t + 2. Let y be x(-2). Let m(q) = q**3 - q**2 + 56. Let h be m(0). Let a be h/(-27) + 2*1. Is y greater than a?
True
Let f(a) = -a**3 - a**2 + 2*a - 2. Let u be f(2). Let z be 33/(-9)*(-1 - -4). Is z greater than u?
False
Let f = -7037/5 + 1412. Which is smaller: f or 4?
4
Let g = -11 + 7. Let x = g + 5. Is 4/5 != x?
True
Suppose 3*n + 10 = -2. Let m = -5 + 1. Is n smaller than m?
False
Let r = 1/7 + 11/70. Is -1 < r?
True
Suppose -5*d + 16 + 17 = w, w - 33 = -4*d. Do w and 32 have different values?
True
Let f = 2 - 1. Let w = -25 - -25. Is f >= w?
True
Suppose -5*l + 12 = -2*l. Suppose -z - 4*q - l = 0, z + 3*q + 20 = -4*z. Let b = 6 - 11. Is z less than b?
False
Let y(g) = -g**2 - 9*g - 11. Let h be y(-8). Which is smaller: 1/2 or h?
h
Let u(w) = 5*w**3 + w**2 - 2*w + 1. Let g be u(1). Suppose 1 = r - g*k, 4*k + 3 + 1 = 4*r. Which is smaller: r or 0.1?
0.1
Let y(a) = a**3 - a**2 - a + 1. Let z be y(2). Suppose v - 2 = -0*v + 3*o, -2*v - 2 = -z*o. Is v < -3?
True
Let y be (-1)/(-12) - (-1)/(-4). Suppose -2*c - 21 = 5*i, -3*c + 0*c = 9. Let v be -1*1 - (3 + i). Which is bigger: y or v?
y
Let u = -166 + 1164/7. Suppose -2*w - 6 - 10 = 0. Let o = 9 + w. Which is bigger: u or o?
o
Suppose h = -2, 0 = -4*y - 4*h + h + 46. Are 13 and y unequal?
False
Let z = -3 - -8. Suppose x = -3*c - 2 + z, -c + 1 = -3*x. Is c > 1?
False
Let o(i) = -i**3 - 7*i**2 + 9*i + 10. Let c be o(-8). Is c not equal to 3?
True
Let b = 5 + 12. Let r = -19 + b. Is r != -3?
True
Let f(d) be the second derivative of d**4/12 - 2*d**3/3 - d**2 - 6*d. Let n be f(5). Which is smaller: n or 5?
n
Suppose -55 = 4*b + r, -b + 0*b - 3*r = 22. Which is bigger: -14 or b?
b
Let x = 0.06 - 2.06. Let s = -2.5 - x. Is s less than or equal to -0.1?
True
Let o be (-26)/(-10) + (-15)/25. Let s = 4 + -2. Is s smaller than o?
False
Let o be ((-11)/(-4) - 2) + -1. Does 10 = o?
False
Let f be ((2/(-2))/(-1))/(-1). Which is bigger: f or 3?
3
Let a(x) = x + 32. Let p be a(0). Suppose 3*n - 2*s + p = 0, -2*s + 7*s - 50 = 5*n. Are n and -12 equal?
True
Let f = -25 + 21.9. Let x = 3 + f. Suppose 2*l + 4*a + 7 = -l, 0 = -l + a. Is l > x?
False
Let h(v) = 4*v**3 - 3*v**2 + 5*v - 1. Let r be h(2). Is r at most -1/3?
False
Let l(x) = 3*x**2 - x - 1. Let k be l(-1). Let h be (-12)/k + (-145)/(-40). Is 0 less than or equal to h?
False
Let j be (-6)/10 - 28/(-5). Suppose -v + 111 = -2*t, t = -j*v + v - 51. Let n = t - -163/3. Is 0 at most n?
False
Let j = -19 - -72. Which is smaller: j or 105/2?
105/2
Suppose i + 6 = -i. Let m = -1 + -4. Let h = m - i. Is h at most -1?
True
Let l = -446/3 - -150. Which is bigger: l or 1?
l
Let s = -2606/319 + 91/11. Which is smaller: s or -1?
-1
Let t be (-2)/(-15) + 64/(-30). Is -5/8 at most as big as t?
False
Let o = 2/297 + 1178/1485. Which is smaller: o or 0.4?
0.4
Let w be (3/(-6))/(((-21)/(-18))/(-7)). Which is smaller: w or 7/2?
w
Suppose 2*f = 7*f + 3*n + 94, 2*f + 25 = 3*n. Let p = -29 - f. Is p >= -12?
True
Let z = 30 + -18. Suppose -5*p + 2*o = -11, -3*p = -o - 2*o - z. Let s = p - 0. Is s less than -1?
False
Let z be 4/22 + 2/(-11). Suppose 0 = n - z*n. Is n < 2/5?
True
Suppose 4*r = 4*s + 136, -2*s - r = r + 60. Is 2/7 at most as big as s?
False
Let u be (-2)/5*(-4 + 24). Let b be (66/u)/(12/(-32)). Suppose 5*f + 3*h = b, 5*f - 14 = h - 2*h. Which is smaller: f or 3/5?
3/5
Let k(i) = -22*i + 4. Let v be k(-2). Let m be (-12)/21 + v/(-14). Which is smaller: m or -8?
-8
Suppose 3*j + w + 5 = 0, -4 = 3*j - w - 3. Which is smaller: j or 0?
j
Suppose -8*i - 12 = -4*i. Do i and -4 have the same value?
False
Let p(s) be the first derivative of s**2/2 + 6*s - 4. Let g be p(-6). Is g smaller than -3/2?
False
Suppose 0 = s + 2*s - 9. Suppose 0*k + k + 1 = 0, -5*k = s*l + 14. Is l at most as big as -3?
True
Let r be ((-6)/(-5) - -3) + 7 + -10. Suppose 2*k - 4*k + 3 = u, u = k. Is r not equal to k?
True
Let u = 71/9 - 7733/981. Which is smaller: -1 or u?
-1
Let m = 10 - -5. Let b be (6/(-5))/(3/m). Is -7 < b?
True
Suppose -2*g - 5*j + 2*j - 5 = 0, -g - 5*j = 6. Which is smaller: g or -3?
-3
Suppose -4*b = -5*b - 4*h - 4, 2*b - 57 = 5*h. Is b greater than or equal to 33/2?
False
Suppose -31*h = -34*h - 81. Is h != -27?
False
Let l = 0.02 - -0.78. Let w = l + 0.2. Let c be 2*2/6 + 0. Are c and w non-equal?
True
Let a = -12 - -13. Let j = a - 1.2. Which is smaller: 2 or j?
j
Let t = -1 - -1. Let j = 8/9 - 29/63. Is j greater than t?
True
Let q = 27.1 - 27. Which is smaller: -1/3 or q?
-1/3
Suppose -72 = -4*v - r - 204, 4*v + 132 = 3*r. Which is smaller: v or -32?
v
Suppose 2 = -k + 2*k. Let w be (-2 - -1)/(k/10). Let f be (2 + 0)/(-2 - 15/(-10)). Is f >= w?
True
Let i(m) be the third derivative of m**5/60 + 5*m**4/24 + 2*m**3/3 - 2*m**2. Let o be i(-4). Which is smaller: o or 1/8?
o
Let j(t) = -t**3 + 5*t**2 + 5. Let c be j(5). Let y(d) = d + 1. Let h be y(c). Suppose 0 = 4*v, 0*b + h = 2*b + 4*v. Is 2 smaller than b?
True
Suppose -3*k + 6 = 3*j, -6*j + 10 = -2*k - j. Which is smaller: 2 or k?
k
Let g = -0.29 + 0.59. Which is greater: -0.8 or g?
g
Let c be (-2)/(((-1)/(-2))/1). Let t = c + 0. Is -2 equal to t?
False
Let p be (-6)/(-16) + 663/(-936). Do p and 33 have the same value?
False
Let h = 6 + -4. Let i be 1 + (0 + h - 5). Do i and -5 have the same value?
False
Let m be 3 - (3 - -1 - 1). Let v be (-2)/(-3 - -1) - m. Are v and 1/10 nonequal?
True
Let n(f) = -f + 2. Let t(z) = 3*z - 6. Let x(b) = 8*n(b) + 3*t(b). Let r be x(3). Which is bigger: r or 4?
4
Suppose 4*v - 69 = 43. Suppose -5*k + 3*m = -v, -17 + 49 = 5*k - 2*m. Suppose -3*u - u = k. Is u greater than or equal to -3?
True
Let r = 29 + -29. Is r < 1/15?
True
Suppose 20 = 8*j - 3*j. Is j bigger than 5?
False
Let d = -2 + 3. Let g = -5 - -10. Suppose -g*q + 0*v = v + 7, 2*v + 3 = q. Which is greater: q or d?
d
Let y = 12 + -9. Let f be (20 - y)*(2 + -1). Let h = f - 9. Does h = 7?
False
Let v = 46 - 66. Let l be (-5)/v*(1 - -1). Let m(n) = 2*n - 4. Let p be m(3). Which is greater: l or p?
p
Suppose 0 = -0*l - 4*l - 4. Suppose 5*a + 5 = 0, n - 7*a + 2*a - 5 = 0. Let i be 10/(-3) - (n + -2). Is i equal to l?
False
Let f(a) = a**2 + 8*a - 7. Let w be f(-7). Let j be (-4)/14 - 32/w. Let x = 1 - j. Which is bigger: 2/15 or x?
2/15
Let i be (-10)/(-2) - 6/2. Suppose 0*w - w - 4 = y, -2*w = -i*y - 12. Which is bigger: 1/2 or w?
w
Let d = -2491/8 + 312. Let i = d + -9/8. Is i less than 0?
True
Suppose -5*s + 2*s = 6. Suppose -10*g + 8*g - 4 = 3*z, 2*g = -z. Is s not equal to z?
False
Let o be (1/(-3))/(4/30). Let k be 10*(-3)/18 - (-2)/(-6). Which is bigger: o or k?
k
Suppose -3*s = 4*l - 23, 4*s - 2*l - 5 = -11. Let j = -97 - -153. Let r be (-5)/20 + (-2)/j. Which is smaller: s or r?
r
Let j be 3 - (-114)/14