t**2 - 4*t - 9. Let k be y(-8). Let l = k + -9. Let o be (8/l)/(0 - -2). Which is smaller: 1 or o?
o
Suppose -2*u + 4 = t - 8, 3*t - u - 43 = 0. Suppose 3*j - j - t = 0. Suppose j*k - 2*k = 0. Which is bigger: k or 2/13?
2/13
Let d(h) be the second derivative of -h**4/12 + h**3/6 + 2*h**2 - h. Let q be d(4). Let o = q + 5. Does o = -3?
True
Let r = -7.9 + 8. Which is greater: r or -2/55?
r
Suppose 4*g - g = 12. Suppose -4*n - 4*c - g = 0, 0 = 2*n - 4*c + 9 - 1. Let r = 3767/7 + -539. Do n and r have different values?
True
Let m(a) = a**2 - a + 3. Let t = -3 - -3. Let c be m(t). Let x be -1 + c + (-1 - 0). Do -3/7 and x have different values?
True
Let g(f) = -f - 6. Let v be g(-7). Let a be (2/v)/(-6)*0. Let y be (0 + (a - 0))/2. Which is smaller: 1 or y?
y
Suppose 2 = 5*c - 2*c + 2*w, -2*c = -4*w - 28. Suppose -c*j + 2 = 3*u, -u - j - 5 = -3*u. Are u and 5/4 unequal?
True
Suppose 2*l + 0 + 2 = 0. Let s be (-6)/54*(-6)/4. Which is greater: s or l?
s
Let w(i) = i**3 + i - 1. Let j be w(1). Let t = 2 + 18. Let k be 2/t + (-2)/(-5). Which is bigger: k or j?
j
Let x = -5 - -3. Let w be (-6 - -5) + x + 2. Which is greater: 1/7 or w?
1/7
Let l = -5 - -4. Suppose -3*o = -0*o + 5*g + 28, -g = 2. Let y = o + 5. Is y at least l?
True
Let y(v) be the first derivative of -v**3/3 - 5*v**2 + v - 1. Let g = 23 + -33. Let h be y(g). Which is smaller: h or 3/4?
3/4
Let p(w) = -w**2 - 6*w + 5. Let v be p(-7). Let g be v/(-8) + (5 - 5). Which is bigger: 1 or g?
1
Let g = 5.7 - 5. Suppose -h + 5*j - 3 = 2*j, -4*h + 2*j = 2. Which is smaller: g or h?
h
Let m = 735059/207 - 3551. Do 1 and m have different values?
True
Let v(b) = -b**2 - 9*b - 8. Let o be v(-8). Which is bigger: 4 or o?
4
Suppose -28 = 4*z + 4*r, 0 = 3*r - 0*r + 9. Which is greater: z or -18/5?
-18/5
Suppose 8*p = 3*p. Suppose 3*h + 2*r = -41, -2*h + h + 2*r - 19 = p. Let b be (-3)/h + (-22)/10. Is -1/7 >= b?
True
Let p = 0.4 + 2.6. Let r = -3.1 + p. Let d = -17/9 + 5/3. Which is bigger: d or r?
r
Suppose 5*x - 8 = 4*c - 2*c, 3*c + 5*x - 13 = 0. Is 2/5 greater than or equal to c?
False
Let j = -2.1 - -2. Let k = -10.9 - -3.9. Which is smaller: k or j?
k
Let j(z) = -z**2 - 4*z - 1. Let a be j(-3). Are a and 9/7 unequal?
True
Let f = -2224/11 - -202. Is f > 11?
False
Suppose 7*c + 4 = 3*c, c = -j - 65. Let l = j - -318/5. Suppose 0 = -3*a + 6*a. Is a < l?
False
Let g = 120 + -109. Which is bigger: g or 0.8?
g
Let y(q) = -2*q**3 - q**3 - 2*q**2 + 4*q**3. Let h be y(2). Is h equal to -3/5?
False
Suppose -25 = 6*b + 23. Is b >= -8?
True
Let n(d) = 9 + 2*d - d - 11*d**2 - 7 - d**3. Let s be n(-11). Suppose -4*m + 5*x = 12, m - 5*x = -4*m - 20. Is s greater than m?
False
Let h = -27 - -28. Is -9 <= h?
True
Let i(t) = 6*t + 3. Let u be i(-1). Is -1 bigger than u?
True
Let m(s) = -s + 9. Let t be m(7). Suppose 4*n - 13 - 17 = t*z, -2*z = -2*n + 18. Let h = -5 + n. Is h equal to 1/3?
False
Let n = -73/12 + 683/132. Which is smaller: -1 or n?
-1
Let v be (4 + -6)/((-12)/(-14)). Let z = 31/12 + v. Is z < 5?
True
Let d(o) = -o**3 - 32*o**2 + 33*o. Let m be d(-33). Let q(z) = 101*z + 5. Let u be q(-5). Let t = u - -10498/21. Is t bigger than m?
False
Let d = -0.8 + 5.8. Suppose y = -3*y. Is d at least as big as y?
True
Suppose -f - w = -1, 2*w = f - 2*f - 1. Suppose -2*j + 10 = f*n, 2*n + 3*j = -0*j + 5. Let a = n - 3. Which is greater: a or 2?
2
Let o = -114 + 116. Is o at least 26/9?
False
Let g be 1/(1/2*2). Let j be (g/2)/((-1)/2). Which is smaller: j or 3?
j
Let x(t) = 4*t**2. Let w be x(-1). Let k be (-25)/(-15)*w/(-10). Which is bigger: -2 or k?
k
Let t(i) = -24*i**3 + i**2 - i - 2. Let p be t(-1). Which is bigger: 47/2 or p?
p
Let v(c) = c**3 - 2*c + 1. Let r be v(0). Let g be (2/(-27))/(4/2). Which is smaller: r or g?
g
Suppose 0 = -2*i - 12. Let m be (3/i)/(2 - 3). Which is greater: m or 1?
1
Let q(c) = -c**2 - 7*c. Let x be q(-6). Is -1 at least x?
False
Let x(d) = d**3 - 6*d**2 - 8*d - 6. Let u be x(7). Let p = -14 - u. Is 1 smaller than p?
False
Suppose 5*v - 10 = -5. Which is greater: 10/11 or v?
v
Let y = 12 - 6. Suppose -y*a = -3*a. Which is greater: 2/25 or a?
2/25
Let c be 5/(-33) - 1/(-3). Let s = c + -41/44. Suppose -5*d + 15 = 4*m + m, 3*d + 4*m = 12. Is s less than or equal to d?
True
Let q = 47 + -92. Is 0 < q?
False
Let m(q) = -q**3 + q**2 + 3*q + 9. Let r be m(3). Do r and 2/13 have different values?
True
Let o(l) = l**2 + 4*l - 5. Let c be 2/(-3) - 91/21. Let b be o(c). Which is smaller: 1/4 or b?
b
Let o(x) = -x + 10. Let j be o(12). Is j smaller than -3?
False
Let i be (-8)/(-6)*12/(-88). Is i bigger than 0.2?
False
Let a = 11197/25 + -448. Let x = a - 2/25. Let o = -16 + 17. Which is smaller: x or o?
x
Suppose -2 - 14 = -4*u. Is u less than 3?
False
Let f be (0 - -3 - 56/16)*126. Is f at most -64?
False
Suppose 0 = -5*n + 97 - 27. Let q = 10 - n. Which is smaller: -3 or q?
q
Suppose 2*s + 2*o = -10 + 38, -4*s + 5*o + 47 = 0. Is 1 smaller than s?
True
Suppose -7 - 6 = -y. Let j = y + -11. Let z be 2/6*(3 - 0). Is j not equal to z?
True
Let x(m) = 5*m**2 + m + 1. Let n be ((-6)/18)/(1/3). Let c be x(n). Is c <= 4?
False
Suppose -3*s = -5*c - 125, 4*s - s = -4*c - 100. Which is greater: -24 or c?
-24
Let x be (-44 + 0)/(-3 + 1). Is x not equal to 22?
False
Let p = -0.16 - -0.2. Let v = -5.3 - -1.5. Let m = -2.8 - v. Which is smaller: p or m?
p
Let v = 0.1 - 0.1. Let p = 3 + 2. Let b = p - 3. Which is smaller: b or v?
v
Suppose -197 = 2*x + 3. Let z be (0 + -3)*x/(-30). Is 0.1 at least as big as z?
True
Suppose -h + 3*l - 9 = 0, 5*l = 4*h - 0*h + 1. Let r = 1 - 2. Let w(p) = -6*p - 1. Let g be w(r). Are h and g equal?
False
Let m(s) = s - 30. Let z be m(-6). Is 2/5 equal to z?
False
Suppose 2*a - 57 = 5*a. Let b = a - -11. Let f(p) = -p**2 - 6*p + 8. Let w be f(b). Which is bigger: w or -7?
-7
Let q = -5 + 4. Which is smaller: 2/147 or q?
q
Let l(q) = -2*q**2 + 4*q - 3. Suppose 93 = 5*y + 33. Let r be 8/(-6)*y/(-8). Let p be l(r). Is -3 > p?
False
Let m = -0.2 - -0.2. Let g = 0 + 1. Let z be 27/(-45) + (2 - g). Which is smaller: m or z?
m
Let k(z) = -4*z**2 - z - 1. Let x be k(-1). Let y = x + 14/3. Let g = 5 + -3. Are g and y unequal?
True
Let q be ((-1)/(-12))/((-4)/(-6)). Let x = 193/5 + -39. Is q equal to x?
False
Let m = 3/11 + 27/22. Suppose 0 = -5*h - 2*x - 38, -3*h - 7 = 5*x + 31. Let y be 1/3 - 4/h. Is m bigger than y?
True
Let p = -8 + 6. Let r be (p/10)/(8/10). Is r smaller than -0.2?
True
Let b(r) = r**2 + 5*r + 3. Let t be b(-4). Let v be (-1 - 2)*(0 - t). Is v < -5?
False
Let q(g) = 4*g - 2. Let k be q(2). Let u(h) = -h**2 + 5*h + 4. Let i be u(k). Let z be (-1 + 2)/i*-8. Is z > 2?
True
Suppose 2*z + f + 4*f + 25 = 0, -5 = 5*z + f. Suppose 0 = -3*q + 2*c + 7, -2*q - 4 = c + 3. Is q greater than z?
False
Let i = -10 - -9. Which is greater: 75 or i?
75
Let j = -4 + 2. Let r be -3*j/(-69)*-1. Which is greater: 1 or r?
1
Let w = 5 - 5. Let c be ((-12)/10)/((-12)/40). Let o be (0 + -1)*(c - 4). Is o greater than or equal to w?
True
Let h = 1 + -3. Suppose 3*j = -3*z - 2*j + 2, -2*z - 5*j + 3 = 0. Let s = z - h. Which is bigger: s or 2?
2
Let h = 1 - 1.2. Let v = h + 0.1. Let z be ((-4)/(-18))/(4/6). Which is greater: v or z?
z
Suppose 2*s = 4*h - 14, -3*s = -4*h + h + 6. Let q = 8 + -15. Let y(n) = -n - 5. Let l be y(q). Is s less than l?
False
Suppose 11 - 71 = 5*d. Which is greater: -11 or d?
-11
Let j(l) be the third derivative of l**4/24 - l**3/3 + 25*l**2. Suppose -3*i - 1 = -4*i - 4*p, 15 = -4*i + 3*p. Let a be j(i). Which is smaller: -6 or a?
-6
Let j be (-8)/(-10)*(-10)/(-4). Let g = -1.06 - -0.06. Is g at least j?
False
Let i = -7 - -5. Let h be (0 - 0) + (-1)/(-1). Are i and h equal?
False
Let j(x) = -x**3 - 6*x**2 - 6*x - 5. Let b be j(-5). Suppose -l + b*l = 2. Which is greater: l or 4?
4
Let r be 15/25 - 16/10. Are -2 and r nonequal?
True
Let y be 32/(-18) - (-2)/(-9). Suppose 2*o + 6 = 5*h, -h = 3*h + o + 3. Which is greater: h or y?
h
Let n = -28 + 31. Do 0 and n have the same value?
False
Let p = -2 + -1. Let t = p + 2. Are 2/3 and t non-equal?
True
Let w(n) = -3 - n + 1 - 6 + 2. Let u be w(-6). Is 2/13 smaller than u?
False
Suppose -2*t = 2*g + 2*t - 22, -2*g + 12 = 2*t. Is g not equal to -1/7?
True
Let o be (3 - (-6)/(-3))/1. Suppose -n + 6*n + o = 4*q, -q +