= -5 + 4. Let k be (b/(-3))/(4/36). Suppose -5 = -5*f - h + k, 4*f = -h + 6. Which is smaller: 1 or f?
1
Let c = -10166179/192 + 52949. Let p = c + 1/64. Let o = 5 + -6. Which is smaller: o or p?
o
Let y = -2 - -2.03. Which is smaller: y or -2?
-2
Let x(o) = o**2 + 6*o + 4. Let c be x(-4). Let w(n) = n**3 + 5*n**2 + 4*n. Let y be w(c). Which is bigger: 1 or y?
1
Let x = -0.01 + 3.01. Let g = 8 - x. Let t = -2/157 + 320/471. Is g less than t?
False
Suppose -p - 16 = p - 4*z, -z + 4 = -5*p. Suppose -y + 3*y = p. Which is smaller: y or 1?
y
Let t be (-6)/(-8) - 2 - (-3)/2. Let b(c) = 2*c - 10. Let j be b(7). Which is smaller: j or t?
t
Suppose 3*r = -0*r. Suppose -l - 4 = -r*l. Let k be 2/6*6/l. Do -2 and k have different values?
True
Let z(a) = a**2. Let d be z(1). Let g = -87 + 521/6. Which is bigger: g or d?
d
Suppose 5*z - 6 = 4*x, 3*z - x = 3*x + 2. Suppose z*p = 4*p - 4. Which is smaller: p or -1?
-1
Let o(i) = i - 12. Let m be o(5). Let k(p) be the first derivative of p**3/3 + 7*p**2/2 - p - 1. Let d be k(m). Is d at most 0?
True
Suppose -5*w + z = -52, -40 + 14 = -2*w + 3*z. Is w >= 11?
False
Suppose 2*s = s - 3. Let n(h) = -h - 14. Let m be n(-10). Is s bigger than m?
True
Suppose -5*k + u + 6 = 0, -2 = -3*k + 2*u + 3. Let q(b) = b - 9. Let f be q(4). Let l = f - -39/8. Is l greater than or equal to k?
False
Let q be -2*(-1)/(-6)*57. Is q greater than 0.1?
False
Suppose -u + 12 + 4 = -3*b, 5*u = -2*b + 12. Let x be ((-1)/(-1) + 1)/u. Which is smaller: x or 0?
0
Let v(g) = g**2 + 9*g - 22. Let o be v(-9). Do o and -24 have the same value?
False
Let c = 51 + -48.9. Let o = c - 2. Let y(d) = -d**3 - 17*d**2 - 17*d - 17. Let m be y(-16). Is m at most as big as o?
True
Let g = -2 - 0. Suppose 3*m + 2*o + 17 - 40 = 0, 0 = -3*m - 4*o + 31. Suppose h = -b - m, 6*b + 2*h + 13 = b. Is g greater than b?
False
Suppose 3*p - c = 4*c + 61, 13 = -p - 5*c. Which is greater: 3 or p?
p
Suppose -p = 2*y - 0*y - 50, 0 = -2*p - 8. Let t be (-40)/18 + 6/y. Is -2 greater than or equal to t?
True
Suppose -3 + 1 = -g. Suppose 0 = 5*o - 15 - 5, o = 5*j - 11. Let r be (g - j)*3/1. Which is greater: r or -4?
r
Let q = -5 + 11. Which is smaller: 8 or q?
q
Let u(h) = 5*h**3 + h**2 + h + 1. Let j(o) = -o**2 - 5*o - 1. Let z be j(-5). Let b be u(z). Is -4 less than or equal to b?
True
Let i be 4/(-6)*(-6)/(-22). Suppose 9*d = 35*d + 26. Which is bigger: i or d?
i
Let w = -52/15 + 19/5. Suppose 0 = 3*l - 8*i + 3*i + 2, -14 = l + 5*i. Which is greater: w or l?
w
Let a(q) = q + 3. Let h be a(-8). Is -6 bigger than h?
False
Let u = 1/74 - -139/666. Which is smaller: u or -30?
-30
Suppose 4*x + 22 = 2*w, -2*x + 7*x - 25 = -5*w. Which is bigger: 9 or w?
9
Let t be (1/(-3) + -5)/((-8)/12). Which is smaller: 6 or t?
6
Let j(x) = x + 7. Let m be j(-5). Suppose 2*t - 5*t = c + 1, -m*t + 1 = -c. Let l be (4/(-6))/((-42)/9). Are l and t nonequal?
True
Let a = 31 + -3. Let i be (-8)/a + (-11)/(-14). Is -1/8 at least as big as i?
False
Let z = -3 + 6. Let v = 171 + -84. Let f = v - 263/3. Which is bigger: z or f?
z
Let y(o) = -o**3 + 10*o**2 + 11*o + 4. Let u be y(11). Suppose -1 = -3*f - u. Is f not equal to -1?
False
Let t(i) = -i**2 + 4*i + 3. Let f be t(4). Suppose 4*v - 9 = f. Suppose 0 = 4*h + 2*z + 3*z - 25, -v*z + 15 = 3*h. Is h not equal to 2/5?
True
Let i be 5/4 + 1/(-4). Are i and -2 non-equal?
True
Let f = -5 + 5.4. Let c = 0.3 - f. Let z = 683/5 - 137. Which is greater: z or c?
c
Suppose 6*j = 3*j. Is 0 at least j?
True
Let a be 2 + -1 - (-4)/(-10). Let t = -12 - -16. Suppose 29 = -t*f + 5*i + 4, f + 4*i = 20. Is f equal to a?
False
Suppose -4*d + 9*d = -15. Is d > -2?
False
Let t be (-16)/(-6)*(-3)/(-2). Suppose -t*k - 2 = 14. Let w = k - -4. Which is greater: -1 or w?
w
Let n = 6.94 + -7. Is n smaller than -2?
False
Let z = 18 + -17.3. Let l = -0.3 - z. Is l less than -12?
False
Let q be ((-6)/9)/((-8)/12). Which is greater: -1/24 or q?
q
Suppose 3*c + 11 = -7. Let l(o) = o**3 + 3*o**2 + 3*o + 3. Let y be l(-3). Is c < y?
False
Suppose -3*f + 8*l - 3*l = -6, 2*f - 5*l = -1. Suppose 4*b + 3 = f. Let x be 0/b - (-6)/(-14). Which is greater: x or -1?
x
Let x = 4 - 2. Let s = -2 + -1. Let w = x + s. Is -1/4 bigger than w?
True
Let p = 22.7 - 23. Which is smaller: -3/5 or p?
-3/5
Let v = -1 - -6. Suppose -v*o = -0*o. Let g = -1 + o. Are -2 and g non-equal?
True
Suppose z - 5*z = -4. Suppose -4*m = 16 + 16. Let b be m/12 + 1/2. Which is greater: b or z?
z
Let z = -2 + 1.9. Let v = -15 - -14.1. Let y = v + z. Is y greater than -1?
False
Let m = 56 + -54. Is -4 equal to m?
False
Suppose 4*z - 9*z + 5 = 0. Which is smaller: -1/15 or z?
-1/15
Let s = -13 - -10. Is s bigger than -1?
False
Let t = -5.87 + -0.13. Let x = t + 4. Which is greater: x or 2/9?
2/9
Let r(c) = c**2 + 2*c + 2. Let v be r(-3). Let y = v - 5. Is -2/7 less than y?
True
Let j = -12/7 + 41/28. Which is bigger: j or -3?
j
Suppose -2*i - 18 = 5*g, 14 = -3*i + i - 3*g. Let k = i - -7. Let y = k - 0. Which is bigger: y or 0?
y
Suppose -4*p - 2*c = -4, 0*p + 4*c + 4 = -4*p. Is 19/6 <= p?
False
Let f = 19 + -11. Let c = f + -5. Let n = -3.1 + c. Which is smaller: n or -2?
-2
Suppose 4*n - 3*j = -0*j + 33, -3*j = 2*n - 3. Suppose -x - 10 = -n*x. Suppose 0 = 4*g + 4*t + 8, 5*g - 2*g = x*t - 21. Is g at least as big as -6?
True
Let c = -12 - -11. Are -1 and c equal?
True
Let c = -2 - -1.97. Let b = c - -2.03. Do -1 and b have the same value?
False
Let c = 0 - 0. Suppose c + 5 = -5*j. Which is smaller: j or -2/3?
j
Let t be 1 + 2 - (4 + 0). Is -9/4 > t?
False
Let v be (-9)/(-6)*16/6. Suppose 2*z = -b + 3, 0*b + b + 3 = v*z. Is b < 1/4?
False
Suppose -4*x - 2 = -6. Suppose 0 = -3*f + k - 19, -5*k + 0 = -3*f + 1. Let b be (5/(-25))/(f/(-10)). Is b greater than x?
False
Let p = -35 + 35. Let a = 0.3 - 0.1. Do a and p have the same value?
False
Let s = 11 + -7. Let y be 2 - -1 - (6 + -3). Let z be y/s + (-6)/(-8). Is z greater than 1?
False
Let d(q) = -5*q - 1. Let t be d(-1). Let j be -6*(14/t - 3). Which is bigger: -4 or j?
j
Let w(h) = -6*h + 4 - 2*h**2 - 2*h**2 + h**3 + 0*h**2. Let y be w(5). Let f = 4 - 11/2. Which is smaller: f or y?
f
Suppose w = -4*j + 50, w = 5*j - 40 - 18. Suppose j = 2*s - 0*s. Suppose 1 - s = -f. Which is smaller: 3 or f?
3
Let x be (-1)/(-4) + 16/(-64). Is x smaller than -1/18?
False
Let a = -20 + 20. Let f(n) = -n + 3. Suppose 0 = -0*w - 3*w + 15. Let z be f(w). Which is bigger: a or z?
a
Let q = -79 - -76. Let v = 2 - 6. Which is greater: q or v?
q
Let n be (-8)/12 - (-80)/66. Let m = -4/5 + 13/10. Which is greater: n or m?
n
Let x(c) = c**3 + 15*c**2 + 15*c + 21. Let i = -49 + 35. Let f be x(i). Is f > 3?
True
Let t(u) = -u**2 + 2*u + 51. Let d be t(-9). Which is greater: -47 or d?
-47
Let q = -45 + 271/6. Let d be -3 - (-3 - 2) - 3. Which is greater: q or d?
q
Let k = -5 - -8. Let s(t) = -t**3 + 10*t**2 - 7*t - 2. Let x be s(9). Suppose -8*n = -4*n - x. Is k smaller than n?
True
Suppose -10*i + 4*q + 4 = -6*i, 5*q - 13 = -i. Suppose 3 = 2*n - z, 2*z - 3 = 7. Is n equal to i?
False
Suppose -3*n = 3*g, -3*g - 2*n - 9 = 2*g. Suppose 4*q - 40 = -y - 13, 9 = 2*q - y. Let p be (-10)/(-4) - q/2. Which is bigger: g or p?
p
Suppose -2*l = -0*l - 5*o + 37, 3*l + 2*o = -46. Let m = l - -18. Is -0.3 less than or equal to m?
True
Let n be (-1 + -3)*(-3)/16. Suppose -4*x + 3*g = 4*g - 3, -2*g - 14 = -2*x. Let l be (-1 + x + -1)/(-2). Which is greater: n or l?
n
Let v be (-4)/(-6) - 221/3. Let j = v + 48. Let b be -1 - 1 - j/12. Is -1 less than b?
True
Let l = -128986324/2709 - -47614. Let c = -74044/2709 - l. Let k = -28 - c. Is 0 greater than or equal to k?
True
Let o(r) = r + 1. Let j be o(-2). Let c be 3/42*12 + -2. Is j bigger than c?
True
Let a = -17068/1533 + 78/7. Is a at most as big as 1?
True
Suppose -5*p = -5*a + 35, -a + 3*p = -0*p - 3. Let u(f) = f**3 - 8*f**2 - 10*f + 8. Let h be u(a). Does 0 = h?
False
Let i = -938/9 + 104. Is i at most 0?
True
Let n = -2.26 + -0.24. Is n greater than 2/3?
False
Suppose 4*c = -c - 5*g + 25, -4*c = -3*g - 34. Let y be 2/(c + (-6)/3). Suppose -3*j + j + 2 = 0, -n - 5*j = -3. Is n > y?
False
Let g = 0.042 - -42.958. Is -0.1 less than g?
True
Let q = -343 - -347. Let z(x) = 3*x**2 - 8*x - 4. Let b(s) = s**2 - 3*s - 1. Let w(c) = 11*b(c) - 4*z(c). Let i be 