 o?
True
Let h(a) be the first derivative of a**2/2 - 7*a + 2. Let s be h(10). Let m be (((-6)/(-4))/3)/s. Which is smaller: -1 or m?
-1
Let n(z) = -z**3 - 10*z**2 - 12*z - 5. Let x be n(-8). Is -35 >= x?
True
Suppose k + 8 = -3*k. Suppose 5*h = -3 - 7. Are h and k equal?
True
Suppose f + 0 = -4. Let j be f/(-14) + 8/(-77). Suppose -a = 2*a. Which is bigger: j or a?
j
Suppose 2 = -5*p + 7. Let z be p/((-2 + 1)*1). Which is greater: z or -1/5?
-1/5
Let h(j) = -j + 7. Suppose g + 9 = 7*y - 2*y, 3*g - 24 = -2*y. Let l be h(g). Which is smaller: 2 or l?
l
Let f be 2 + 1 + (3 - 2). Suppose -4*o + 1 = -z, -5*o - f*z - 4 = -10*o. Suppose -3*x - x = o. Is x at most as big as -1/9?
False
Suppose -6*v + 2*v + 60 = 2*w, -2*v - 4*w + 24 = 0. Let d be 366/24 + 2/(-8). Are v and d unequal?
True
Suppose -z + 22 = -3*z. Let u = z - -21. Let r = -6 + u. Is 2 smaller than r?
True
Let h = -84 + 68. Is h less than or equal to -16?
True
Let v = 0 + -2. Let r = v + 3. Let g = 79/185 - 1/37. Are r and g non-equal?
True
Let h = 3 + -3. Let b = h + -0.1. Is b greater than or equal to 0?
False
Let n be (-12)/(-44)*-3 + (-5 - -6). Let w be (-1)/(-8)*(2 + -4). Which is greater: w or n?
n
Let l = 1.91 + -1.8. Let m = l - 0.01. Does m = 7?
False
Suppose -3 = -r + 3. Let i be 2/(-3) + 289/51. Which is smaller: r or i?
i
Let i = 1 - 1.1. Let s = -74.5 + 75. Are s and i equal?
False
Let u = -10 + 21. Suppose -4*s - 1 = -2*k + u, 2 = -2*s. Which is smaller: k or 5?
k
Suppose 11 = 4*a - 13. Let t be (-1 - 0) + a/(-12). Which is smaller: t or -1?
t
Let l be 42/147*(-1 + 0). Which is smaller: -11 or l?
-11
Let n = -5 - -4.9. Let r = -0.83 - -0.8. Let w = r + 2.03. Is n smaller than w?
True
Let k be 3*(-7)/9*-3. Let x = k - 6. Which is greater: 2 or x?
2
Let h be 0 + 4/(8/6). Suppose -h*s - 5 = 3*f - 4*s, 5*s + 11 = -3*f. Let d be (-7)/6 + -1 - f. Are 0 and d non-equal?
True
Let z = 3.08 - 0.28. Let b = z - -1.2. Are -0.3 and b non-equal?
True
Let n = 3 + 0. Suppose 0 = -2*z + 3*k - 8, -14 = z - 2*k - 2*k. Suppose -z*w + 4*w + 11 = -n*u, 3*w + 12 = 0. Is u smaller than -2/15?
True
Let m(c) be the third derivative of -c**5/60 + c**4/4 - c**3/3 + 3*c**2. Let r be m(5). Suppose 9 = 3*k + r. Which is bigger: 1 or k?
k
Let a(q) = q**3 - 11*q**2 - 12*q + 1. Let v = 12 - 0. Let n be a(v). Which is smaller: 3/4 or n?
3/4
Let f be (-2)/(-7) + (-10)/35. Suppose -2*n - 7 = -5*p, 2*p - 2 = -f*p. Which is bigger: 5 or n?
5
Let h(z) = z**2 - 9*z + 9. Let p be h(6). Let v(s) = s**3 + 8*s**2 - 7*s + 12. Let d be v(p). Suppose 12 = -2*w + w + 3*m, 3*w = 2*m - 22. Is w greater than d?
False
Let p = 3 - 0. Suppose 2 = -p*n + 5*n. Let l be (6 - n)*(-2)/(-5). Which is greater: l or 1?
l
Let m(h) = -h**3 - 10*h**2 - 10*h - 16. Let o be m(-9). Which is bigger: -2 or o?
-2
Suppose -2*y - 3*b = -0*y - 45, 4*y + 2*b = 94. Let x be (-1)/3 + 17/y. Is x smaller than 0.1?
False
Suppose 0 = -5*a + 4*v - 10 + 45, -5*a - 4*v - 5 = 0. Let y be (-6)/12 + a/(-2). Is y at most as big as -3?
False
Let k = 0 + 0. Suppose k*j - 5*j = 2*g - 5, -2*j = 2. Suppose 3*u = -g - 1. Is -4 != u?
True
Let l = 7 - 16. Let j = 23.2 - 32. Let v = l - j. Which is greater: v or -1?
v
Let b = -3.75 + 3.8. Let f = -1.22 + 0.17. Let l = b + f. Is -0.05 at least as big as l?
True
Let f(c) = c**2 - 2*c. Let w be f(3). Suppose w*z = -b - 3*b - 4, 3*z = 5*b - 22. Let m = 11 - 8. Is m at most as big as b?
False
Let a = -6 - -6.06. Let f = 0.94 + a. Which is greater: 0 or f?
f
Let a = 8/9 + -23/36. Let b = 4 + -5. Is b at least a?
False
Let v = 20 + -21.1. Let z = v - -0.1. Is -1 less than z?
False
Let b be (80/32 + 0 + 1)*1. Is 4 at most b?
False
Suppose 4*z + 6 = 10*z. Let r be 3*(3/(-7))/(-3). Is z <= r?
False
Let u be (1 - 1) + -2 + 1. Let s be 3 + (u/1)/1. Is 0 less than s?
True
Let i = 0.2 - 0.3. Is -1 at most i?
True
Suppose -17 = 7*o - 10. Which is bigger: o or 27?
27
Let w be 1*(-2 + 17/7). Let t(j) = j**3 + 4*j**2 + 3*j. Let g be t(-3). Suppose 3*h - 3 = -g*h. Which is greater: w or h?
h
Let x = -7 + 11. Let b = x - 5. Let h = -1 - -1. Which is smaller: h or b?
b
Let v be (-6)/21 - (-34)/70. Which is bigger: -0.6 or v?
v
Let z = -528 + 16362/31. Is z smaller than 1?
True
Let n = -3 + 1. Let a be ((-36)/(-315))/(n/5). Which is bigger: a or 4?
4
Let q(l) = l**3 - l**2 + 1. Let b be q(0). Let y = b - 2. Let d be 5*(-3)/(30/4). Which is greater: y or d?
y
Suppose -3*n - 5 = 1. Let f(d) = d**2 - 4*d + 2. Let m be f(2). Is m greater than n?
False
Suppose -4*r = 5*d - 47, 0 = -d + 2*d + 4*r - 19. Suppose -5 = -5*s + 5*n, -s + 0*n = n + d. Let b be (-1 - 0) + (-6)/8. Is s at most b?
True
Let j(s) = 6*s + 8. Let a be j(-6). Let b be 2/(-8) - (-49)/a. Suppose 5 = -4*l + c, 5*l = c + 5 - 11. Which is bigger: b or l?
l
Let m be (3/((-1557)/(-12)))/2. Let a = m - -859/519. Which is bigger: a or 1?
a
Let o be 9/6*(-4)/(-3). Suppose 0*i - 34 = -17*i. Is i smaller than o?
False
Let t be -1 + 21/24 - (-200)/64. Which is smaller: t or 4?
t
Let s = 23 + -112/5. Let b be (3 - 1)*(-3)/(-3). Which is greater: s or b?
b
Let g be (-1)/2 + (-2)/(-4). Suppose -4 = j - 2*q, 5*j + 2*q + g*q - 4 = 0. Which is smaller: j or -2/23?
-2/23
Suppose 0 = 5*u - 3 - 22. Suppose 0 = -u*b + 13 - 3. Let j = -24/11 + 153/55. Which is greater: j or b?
b
Suppose 0 = 4*n - 5*g - 2, -n - 4 = -4*n + 5*g. Let k be (-15)/27 - n - 1. Is k < 1?
True
Let m be 2/(-166)*(-2)/(-6). Let i = -515/4233 - m. Is i equal to 0?
False
Let d be (2/(-6))/(4/3). Let n be ((-62)/(-3))/((-1)/(-3)). Let v = n - 308/5. Is v less than or equal to d?
False
Let j(h) = -h**2 + 6*h + 5. Let l be j(7). Let s be 3/(-9) - (2 + l). Is 1 equal to s?
False
Let m = -8 + 5. Which is smaller: -4 or m?
-4
Let d = -16 - -15. Is -97 < d?
True
Let i = -187/60 + -1/12. Are -4 and i equal?
False
Let s = 10 - 14. Let u(o) = -o**3 - 2*o**2 + 5*o. Let k be u(s). Do 12 and k have different values?
False
Let u = -15 + 15. Let q = -5 - -5.03. Is u at most as big as q?
True
Let x be 2 - 9/54*(-44)/(-6). Is x at most as big as 1?
True
Let u = -311 + 218. Is -93 < u?
False
Let t be (4/3935)/(10/25). Let a = t + -1604/11805. Which is bigger: a or -1?
a
Let s = 210 - 215. Is s greater than or equal to 1/7?
False
Let o(p) = 2*p**3 + 2*p**2 + p. Let q be o(-1). Let y be (0 - q) + -3 + 1. Is 0 bigger than y?
True
Suppose -4*f - 12 = -0. Is f at most -4?
False
Let v be 13/27*24/20. Let q = v + -4/5. Which is smaller: 1 or q?
q
Let z = 297 + -302. Let j be 6/(-15) - (-28)/(-5). Which is smaller: j or z?
j
Let w = 115 - 119. Do -0.13 and w have the same value?
False
Let f = 15 + -6. Let h be (7 - f) + (-1 - -3). Which is smaller: h or -10/9?
-10/9
Suppose 5*w = 2*w + 9, 24 = 3*l + 5*w. Let o be (138/4)/l*-2. Let x = o + 13. Which is greater: x or -9?
-9
Suppose -y + 13 = 2*z, -7*y = -5*z - 3*y. Suppose 7 = 2*w + 4*h + 1, 4*h + 36 = z*w. Is w < 8?
True
Let k = 4/19 + -31/57. Is -1/5 less than k?
False
Let r = -200591/18 - -33350/3. Let q = 55/2 + r. Suppose -3*a + 25 = 3*c + 2*a, -4*a + 20 = -c. Which is smaller: q or c?
c
Let p be 1/(-3*4/12). Let r = 1.9 - -0.1. Let g = r + -1.8. Which is smaller: g or p?
p
Suppose 3*l - 4*o + 5 = -5, 3*l + 7 = o. Suppose -13 = -4*p + 3. Suppose -5*k = -p - 1. Are l and k unequal?
True
Let h = 9.1 + -0.1. Let m = 7 - h. Which is bigger: -5 or m?
m
Suppose -12*n + 2*n + 150 = 0. Is 15 at least n?
True
Suppose 0*j = -4*j + 12. Suppose 2*n = -2*z + j*n + 7, 0 = -z + n + 2. Suppose -3*i - 13 = -4*t - z, -t + 5*i + 19 = 0. Which is bigger: t or 0?
0
Let h = 0.06 - 0.16. Let k = -0.1 + h. Which is greater: k or 0?
0
Let m = -14/13 - -148/65. Let v = -14 - -16. Suppose 0 = -3*h - 3*z + v + 10, 2*h - 10 = -3*z. Are m and h non-equal?
True
Suppose 4*c + t = -0*t + 28, 0 = -c + t + 12. Let a(d) = d**2 - 8*d + 1. Let g be a(c). Let n = 3/37 + -89/185. Are g and n equal?
False
Let i(h) = -h**3 - 6*h**2 - h - 7. Let o be i(-6). Let x = -278671/8 - -34784. Let q = x - -50. Which is bigger: q or o?
q
Suppose 3*b + 3*q = -57, -b + 7*q - 3 = 4*q. Which is smaller: -16 or b?
-16
Let o = -46.15 + 46. Is o != 0.3?
True
Let n(x) = -x**2 + x - 5. Let c be n(0). Let z be (-1)/(3/(9/c)). Let f = -11 + 12. Which is smaller: f or z?
z
Let k be 0 + 2/(-38) - 0. Are k and 0 equal?
False
Let p = -44/1335 - 3/89. Which is smaller