han or equal to n?
False
Suppose 2*a - 24 = 3*z, -3*a - z + 21 = -4. Let r be 1 - 0 - (a + -5). Which is smaller: r or -4?
-4
Let m(x) be the second derivative of -x**5/20 + 11*x**4/12 + 2*x. Let s be m(11). Which is greater: s or 1/3?
1/3
Let f = 1 + -2. Let q be (-6)/21*(0 + f). Let m = -12 - -11. Which is smaller: q or m?
m
Let n = -5 - -7. Suppose 0 = n*r - 7*r. Suppose 0 = -2*m - r*m + 2. Is -1/4 at most m?
True
Let m = -3 - 17. Let i be 54/m - (3 + -6). Are -1 and i equal?
False
Suppose -6*m + m = 35. Let b = m - -7. Which is smaller: 1 or b?
b
Let t be (-22)/(-48) - (-4)/(-12). Let x = 0 + 1. Is x less than or equal to t?
False
Let v = 1.2 + -0.2. Let y = -13 + 14. Is y smaller than v?
False
Let j = 0 + 3. Let q be (-19)/4 + 1/(-4). Let c = -1 - q. Is j > c?
False
Let n be 0 + (-2 - (5 + -1)). Is n not equal to -1?
True
Suppose -2*t - 48 = 4*t. Which is greater: t or -2?
-2
Let p = 605/469 - 20/201. Let r = 1/3 - p. Is -1 less than or equal to r?
True
Suppose 5 = 5*p - 20, p = 3*h + 17. Let r = 9 - 18. Let f(j) = j**2 + 9*j - 3. Let i be f(r). Is i less than or equal to h?
False
Let v = -7 + -8. Let d be (-5)/v - 16/3. Let z(g) = g**2 + 6*g + 4. Let i be z(d). Is 4 >= i?
True
Let l(b) = b + 14. Let a be l(-11). Is a greater than or equal to 3?
True
Let h be (-4)/14 + (-38)/14. Let t = h - -1. Which is smaller: t or -1?
t
Suppose -3*m + 4*f - 17 = 0, -f + 6*f - 28 = -3*m. Which is smaller: 12/11 or m?
m
Let k be (-61)/(-72) + (-4)/18. Is 1 < k?
False
Suppose 0*p = 4*c + p - 16, -p - 5 = -3*c. Suppose 0 = -3*w - 5*z - 8, -w - z - 2*z - 8 = 0. Which is greater: c or w?
w
Let o(z) = 2*z**2 - 16*z + 55. Let s be o(8). Which is bigger: s or 54?
s
Suppose 4*n + 585 = -n. Let m be 20/(-50) + n/(-5). Is m at least as big as 23?
True
Let i be (12/8)/(1/2). Suppose 0 = i*r - 6*r. Is r bigger than 2?
False
Suppose d + 8 = 3*n - 0, -4*n = 2*d - 24. Is 4 >= d?
True
Let d(w) = -w**2 - 4*w + 6. Let x be d(-5). Let a = 407/2 - 198. Which is bigger: x or a?
a
Let n = -11 + -3. Are n and -14 non-equal?
False
Suppose -2*t = 43 + 3. Is t greater than -22?
False
Let f be (-16)/2 + (4 - 6). Let x be f/((-8)/(-6) - 2). Suppose x = -n - 4*n. Which is smaller: n or -2?
n
Suppose -2*g - g = -6. Suppose 4*m - 4 = 3*n + 12, -8 = -g*m. Let x be 16/36 + (-4)/(-18). Is x < n?
False
Let h(b) = b**3 - b**2 + b. Let c be h(0). Let t = 2 - -1. Suppose 0 = r - 6*r - d + 3, 6 = -t*d. Which is smaller: c or r?
c
Let v(h) = h**2 - 9*h - 9. Suppose 15*j - 12*j - 30 = 0. Let b be v(j). Is b equal to -2?
False
Let m = 1.944 - -0.056. Is m >= 13?
False
Let r be 33/55 + 594/10. Let j be (6/(-8))/(r/(-32)). Which is smaller: -1 or j?
-1
Suppose -3*t = -5 + 8. Is t greater than or equal to 1/13?
False
Let l be 1*3 + 55/(-22). Let z = -0.02 + -0.02. Is z greater than l?
False
Let k = -405 - -1225/3. Which is bigger: 0.2 or k?
k
Let o = 0.3 + -0.2. Let z(c) = -8*c + 1. Let x be z(-1). Let u = x - 10. Is o <= u?
False
Let i = 9.2 - 10. Let a = -0.5 - i. Which is bigger: -2 or a?
a
Let t = -3 - 0. Let g = 1 + t. Do g and -1 have the same value?
False
Suppose 5*w - 3*w - 2*k = 0, -6 = -2*w - k. Let q be w*(0 - 11/(-2)). Are 12 and q equal?
False
Let s be (1 + -1)/(4 - 3). Let o be 0 - (s/3 + 1). Let z be 1/o - 26/(-22). Which is bigger: 1 or z?
1
Let b be (-150)/(-54) - 4/(-18). Suppose -1 + b = m. Let j be 3/m + (-1)/2. Which is smaller: j or -2/7?
-2/7
Let a be (0 + 5)*4/20. Which is smaller: a or 3/13?
3/13
Let t be (-1 - -7 - 3) + -2. Let o be 2*((-3)/(-6) - t). Is o smaller than -1?
False
Let t be (-1)/4 + (-962)/(-104). Which is bigger: t or 10?
10
Let j(a) = a**3 - 8*a**2 + 5*a + 9. Let k be j(7). Let c be 4*3/(-6) - k. Is 3 smaller than c?
False
Let x be 11 + 2 - (-1 - (-4)/4). Is 11 bigger than x?
False
Let i be 4 + 6 + 9/(-3). Is i < 8?
True
Let c = -3 - -3. Let f = c - -0.1. Which is bigger: f or -1?
f
Let w(b) = b**3 - 9*b**2 + 9*b + 2. Let o be w(8). Let q be (-3 + 2)*(-594)/o. Let a = 59 - q. Is 1 >= a?
True
Let h(i) = 2*i + 1. Let c be h(-2). Let g be (-3 - c) + (-3)/21. Let y(a) = a**3 - 2*a**2 - 3*a + 1. Let s be y(3). Which is smaller: g or s?
g
Let j = -0.12 + 5.12. Let c = j + -4.9. Is -1/6 at most c?
True
Let i(z) = z**3 - 28*z**2 - 30*z + 34. Let x be i(29). Let j be (-1)/(-1)*0 + 6. Is x less than or equal to j?
True
Let p(o) = o**2 + 2*o - 49. Let d be p(6). Let g = -1 - -1. Which is bigger: g or d?
g
Let q = -131/30 + 25/6. Which is bigger: q or 2/5?
2/5
Let t be (-15)/(-6)*(-22)/50. Let h = 3/5 + t. Suppose -2*o + 20 = o + 2*u, u - 16 = -3*o. Are h and o nonequal?
True
Let w = -4.3 + 0.3. Let u = 4.5 - 1.5. Let v = u + w. Which is greater: v or -2/3?
-2/3
Let o be 0*(5/2 - 2). Let i(r) = r**2 + 9*r - 10. Let n(g) = -g**2 - 8*g + 9. Let c(x) = 2*i(x) + 3*n(x). Let q be c(-7). Is o < q?
False
Let d = 20 + -23. Is d at least as big as 2/5?
False
Let k = -11 - -37. Which is bigger: k or 2/7?
k
Suppose 155 = 5*x - 0*x. Is x greater than or equal to 30?
True
Let p = -64492/5091 - -2/1697. Let f = -12 - p. Which is smaller: 0.1 or f?
0.1
Suppose -2 = q + 9. Which is greater: 0 or q?
0
Let b(k) = k**3 + 18*k**2 + 18*k + 14. Let d be b(-17). Which is bigger: d or -2?
-2
Suppose -7 = w - 2*w. Let s be 6/(-9)*3/w. Let p = -7 - -6. Which is smaller: p or s?
p
Let t(x) = 2*x**2 + 10*x + 2. Let v be t(-5). Suppose s - 7 = -4*c + 6, -5*s + 8 = c. Suppose 0 = -v*q + c*q. Which is bigger: -5 or q?
q
Let q = -13 + 9. Which is greater: -3 or q?
-3
Let g = 13 + -44. Is -30 at least as big as g?
True
Let j(c) = 2*c**3 + c**2 - c. Let f be j(2). Let m be 68/f + 2/9. Suppose 0 = -m*p + 2*i + 4, -6 = 5*p + 2*i + i. Which is smaller: p or 2?
p
Let p(h) = h - 6. Let o be p(3). Let y be -3 - (0 + 1 + o). Is -1/2 > y?
True
Let d(o) = -11*o**3 + 3*o**2 + 2*o - 1. Let m be d(-2). Let b = 68 - m. Let g be (-6)/b - (-6)/(-27). Is g greater than or equal to 1?
False
Let b = -6 + 9. Is b at least as big as 1?
True
Suppose -12*z = -13*z + 3. Let d = 0 + 1. Let g be (2 - d)*(1 + z). Does 5 = g?
False
Let m be ((-31)/5 - 3)*10/2. Is m at most -46?
True
Suppose 0 = -5*p + 20 - 0. Which is greater: p or -1?
p
Let m(v) = -5*v + 5*v - 3*v. Suppose 3*g = -1 - 2. Let p be m(g). Are p and 3 unequal?
False
Let h = 0.4 - 0.4. Let u = -0.2 + 0.1. Let j = u + h. Is j <= 2?
True
Suppose 2 = 4*w + 4*o - 14, 0 = -5*w + 5*o - 20. Is w equal to 4/7?
False
Let a be 60/9*12/10. Let w(g) = -g**2 - 4*g - 5. Let s be w(-5). Let k be a/s + 6/15. Which is bigger: 1 or k?
1
Suppose d = -0*d - 22. Let b be 0 - (-2 - d/8). Which is bigger: b or -1?
b
Let a(x) = x**2 + 4*x - 7. Let z be a(-5). Let n be z + 2 + 1*-1. Let l = 292/165 + -18/11. Is l != n?
True
Let c = 8 + -4. Let o = c - 3. Which is bigger: o or 1/5?
o
Let c = -0.7 - -1. Let d = c - 0.9. Let v = -0.4 + d. Is v greater than or equal to -1?
True
Let j = -0.06 + 0.26. Which is greater: -3 or j?
j
Let l(i) = -i**3 + 6*i**2 + 8*i - 6. Let a be l(7). Let j be (-7)/(-3) - 2/6. Suppose -4*d - 16 + 4 = 0, 5*v = -j*d + 4. Which is greater: a or v?
v
Let m(w) = w**2 + 3*w - 4. Let q be m(-4). Is q greater than 6?
False
Let z be -1 + (32/12 - 2). Suppose -u = 1 + 2. Let t = u - -2. Is t != z?
True
Let v be 2 - -1 - (-2)/(-1). Let g be (-2 + v)/(1 - 2). Which is smaller: 2/9 or g?
2/9
Let x be (-6)/9 - 122/24. Let q = -6 - x. Suppose 0*c - 2*c + 2 = 0. Is q >= c?
False
Let d = -0.3 - -23.3. Let t = d - 17. Which is greater: t or 1/3?
t
Suppose 8 = -u + 3*u. Let y be (-52)/39 - (16/(-3) - 0). Is u < y?
False
Let y be (0*3/(-6))/2. Suppose -v + y*v = 0. Is v <= 2?
True
Suppose 5*x - 68 = a - 3*a, -a = -4*x - 21. Let h = a + -21. Is 8 > h?
False
Let w(o) = 2*o - 10. Let k be w(7). Let q be (-4)/k*4 + -2. Are -7 and q equal?
False
Let u be ((-13)/8)/(435/(-140)). Let y = 2/87 - u. Are y and -2 unequal?
True
Suppose s + 6 - 1 = 0. Let x = s + 4. Which is greater: -2 or x?
x
Suppose 2*g - 4*g = 8. Let x(y) = -y**3 - 4*y**2 + y + 5. Let n be x(g). Suppose 0 = h - 2*h. Which is smaller: n or h?
h
Suppose i - 2 = -4*r + 2*r, -5*i + 10 = 0. Is 9 >= r?
True
Suppose 4*v + 4*v = 0. Which is smaller: -3 or v?
-3
Let w(n) = 3*n + 15. Let f be w(-7). Is -6 at least as big as f?
True
Let c = 0.2 - 0.29. Let r = 0.07 + c. Let g = -0.4 + 0.5. Are g and r nonequal?
True
Let b be (0 - -2) 