 + 25 - 6 = 0. Let n(u) = -u**2 + u + 5. Let h be n(0). Suppose 5*a + 5 = -h. Is a <= x?
True
Let l(n) be the first derivative of -n**4/4 + 2*n**3/3 + 3*n**2/2 - 3*n - 1. Let a = 0 - -3. Let x be l(a). Is -3 < x?
False
Let f(i) be the first derivative of -i**2/2 - 7*i - 3. Let c be f(-9). Let s = 591/5 - 117. Which is greater: c or s?
c
Let x = -4 + 3.7. Let k(t) = t**2 + 12*t - 1. Let r be k(-12). Is x bigger than r?
True
Let w = -3 + -1. Let p be 13/3 + w/12. Which is bigger: p or 3?
p
Let x(w) = -w**3 + 5*w**2 - 5. Let a be x(5). Let j = a + -1. Is 0 != j?
True
Let h be (1 - 1)*5/10. Suppose h*f = 2*f. Is f equal to 3/19?
False
Let f = 83 + -88. Suppose -k + 5*y = -0*k - 11, 2*k + 3*y = -4. Which is smaller: f or k?
f
Let t be (-4)/(-3 + 1) - 27. Let c = t + 17. Do c and -7 have the same value?
False
Suppose -2*y + 0*i + 2*i + 12 = 0, -5*i - 16 = 2*y. Which is smaller: y or 8?
y
Let m = 15 - 6. Suppose -x - 10 + 3 = 0. Let l = x + m. Is 1 not equal to l?
True
Let n = 78 - 77.8. Let f = 3 + -6. Let v = -3.1 - f. Is n equal to v?
False
Let f = 28 + -27. Which is bigger: 0 or f?
f
Let l(d) = -6 + 2*d + 2*d + d - 4*d. Suppose 5 = -2*n + 3*n. Let o be l(n). Which is smaller: o or 0?
o
Let t = -102 + 92.9. Let r = 9 + t. Is 13 > r?
True
Let k = 11.4 + -6.4. Which is smaller: k or -1/2?
-1/2
Let x be 2/2*(1 + 0). Suppose 3*d = 4*d + x. Let q be 1/(-2) + -1 + 1. Which is smaller: q or d?
d
Let p = -5898 - -41408/7. Is 18 > p?
True
Let l = -1 - 1. Let s be (l/4)/((-1)/(-636)). Let o = s + 2230/7. Is o less than 1?
True
Suppose -3*r - k = 2 - 9, 4*k = 2*r. Suppose 2 = -5*x + 2*l, -4*x + r*l - l - 1 = 0. Suppose -4*u = -6*u - 5*m - 11, -2*u - 2*m - 2 = x. Is u < 1?
False
Let x = -0.44 + -0.06. Let c = x + 0. Let t = 0.4 + c. Is t > 0.2?
False
Let s be (-27)/180*(1 - 6). Suppose 3*j - 8*j - 3 = 2*z, 5*z = 3*j - 23. Which is smaller: s or j?
s
Suppose 4*m = -2*z - 12, 3*z = 4*m + 1 + 11. Which is greater: 6/25 or z?
6/25
Let v = 2 + 0. Suppose 12 = -v*p + 5*p. Is 4 < p?
False
Let l = -28/11 - -23/22. Is -0.03 bigger than l?
True
Suppose 2*o + 7 = -u, u - 4*o = -2*u + 19. Let y be (u/(-3))/((-1)/3). Is y >= 1?
True
Suppose 2*k = 3*k + 4. Let l be (3/3 - k) + -2. Suppose 1 = -5*b + l*h + 7, 3*h + 6 = -4*b. Which is greater: b or 2/7?
2/7
Let j = -1910/1659 + 2/237. Let a(x) = 4*x + 62. Let v be a(-16). Is j at least v?
True
Let u be -2*(-2 + -7 + 3). Let s be 20/u*(-4)/10. Which is greater: s or -1?
s
Let h(g) = -2*g**2 + 2*g + 4. Let t be h(2). Which is bigger: -7/5 or t?
t
Let n(v) = -v**3 + 2*v + 5. Let s be n(-3). Is 26 less than s?
False
Let t = -238 - -2140/9. Let j = 1 + -1. Suppose 2*n = 3*k - 7, j*k + 3*n = 2*k - 8. Is k bigger than t?
True
Let k = -60 + 93. Is 2/3 >= k?
False
Let j = -7163788/23 + 311341. Let f = j + 128. Which is smaller: -1 or f?
-1
Let l be 1*1/((-2)/(-10)). Let f = -4 + l. Which is bigger: f or -2/11?
f
Suppose 4*w = -3*g - 3, 3*g + 3 + 0 = 0. Is 8/21 less than w?
False
Let c = 7/9 + -17/45. Which is smaller: 16 or c?
c
Let h(o) = o**3 - 4*o**2 - 6*o + 6. Let v be h(5). Let q = 260/189 + -14/27. Let p = -25/21 + q. Is p less than or equal to v?
True
Suppose -2*g = -3 + 5. Let f be 1*-1 + (-2346)/15. Let h = -158 - f. Which is bigger: h or g?
h
Let m = -3273/13 - -252. Which is bigger: m or -1?
m
Let m(c) = c**3 + 6*c**2 - 6*c. Let r(t) = 2*t**3 + 11*t**2 - 11*t. Let k(n) = 11*m(n) - 6*r(n). Let d be k(1). Is -2 less than d?
True
Let v(s) = -s**2 - 8*s - 10. Let k be v(-7). Suppose l - z = -5, -5*l - 3*z = -4*z + 21. Which is smaller: k or l?
l
Let i = -1.3 + 6.3. Let h = 5.2 - i. Do 1/3 and h have different values?
True
Suppose d - 3 = -0. Suppose -d*a + a = 0. Which is bigger: 2/19 or a?
2/19
Let s = -7.3 + 7. Let y = 0.5 + s. Let v = -0.4 + y. Which is smaller: v or 2?
v
Let f(h) = h**3 - 4*h**2 + 2*h + 3. Let r be f(3). Which is bigger: -6/17 or r?
r
Let o(t) = -8*t - 1. Let w be o(5). Is -40 greater than w?
True
Let n = -5 + 4.3. Let l = n + 0.8. Let o be 1/((-2)/(2 - -2)). Is o greater than or equal to l?
False
Let f(b) = b**2 + 6*b + 3. Let d be f(-6). Let q be 4/22 - (-174)/11. Suppose c + 3*c - q = 0. Is c equal to d?
False
Let s = -15 + 13. Which is greater: s or 2?
2
Let v = -0.1 + -0.9. Let l = -1.1 - v. Is l greater than or equal to 0.2?
False
Let r(h) = 6*h + 1. Let d(x) = -x + 1. Let a(k) = -5*d(k) - r(k). Let g be a(-5). Let q be 0*(g - 0/2). Which is smaller: q or 1?
q
Let w(c) = -c - 12. Let f be w(-5). Does -2/5 = f?
False
Let x = -43 + 61. Are x and 17 unequal?
True
Suppose 3*y = 3, -5*y - 55 = -3*d - 2*d. Which is greater: d or -2?
d
Suppose -5*z + 2*f - 46 = 0, -z + 5*f - 1 = 22. Let r be (9/(-3))/((-3)/z). Let x = r + 4. Is -5 less than x?
True
Suppose -h - h = -4. Which is greater: h or 12/7?
h
Suppose -6*s - 3 = -3*s. Which is greater: 3 or s?
3
Suppose 5*r - 83 = -3*f, 5*r - 2*f - 22 - 81 = 0. Suppose 2*s - 15 = -s, -3*s = 4*x - r. Is 1 bigger than x?
False
Suppose y - 3*y + 4 = 0. Suppose -3*u = -y + 5. Is 1/3 at most u?
False
Let h = -0.305 - -0.005. Which is greater: h or -7?
h
Let d be (-6)/15 + (-16)/10. Let p be ((-28)/8 + 3)*0. Let m = d - p. Which is smaller: m or -4/5?
m
Let b = 30 - 34. Which is greater: 0 or b?
0
Let o = -114 - -113. Are 4 and o nonequal?
True
Let b = -0.09 + 0.1. Let g = 0.09 + b. Which is bigger: g or 4?
4
Suppose 5*j + 2*m - 44 = m, -5*j + 4*m + 24 = 0. Which is smaller: 10 or j?
j
Let l(w) = -w**2 + 6*w + 1. Suppose 0 = -0*d + d - 1. Let s = 7 - d. Let a be l(s). Is 2 != a?
True
Suppose 0 - 16 = -4*h. Suppose -x + 26 = -4*v, 0*x = h*v - 2*x + 24. Let s = v - -12. Which is smaller: -1/2 or s?
-1/2
Let a = -5.5 - 2.3. Let r = -0.2 + a. Let n = r - -7.9. Is n smaller than 5?
True
Let v be 90/594*(-3)/2. Is v at least as big as 0?
False
Let j(g) = g**3 + 8*g**2 + 6*g + 5. Let i be j(-7). Let n be (6/i)/(1/2). Is n smaller than 2/3?
False
Let a = 4.98 + 0.02. Let g = -0.3 + 0.2. Which is smaller: a or g?
g
Let r = 1712 + -10237/6. Let q = r - 11/2. Which is greater: q or 3?
3
Let x = 294 + -2355/8. Let z = 351/8 + -44. Let f = z - x. Is 1 at least as big as f?
True
Let m be -37 - -3*6/9. Let c be (-53)/m - 12/(-42). Which is greater: 3 or c?
3
Let f be (-7696)/8280 + (-1)/(-5). Let k = -11/69 + f. Is -2 not equal to k?
True
Let t = 29 - 23. Is 1 <= t?
True
Let d be 1*-5*(-21)/(-35). Suppose u = -0*u. Suppose -2*t + 4 - 10 = u. Do d and t have different values?
False
Let s(j) = 19*j - 2. Let d be s(-2). Which is greater: -41 or d?
d
Let c(x) = -x**3 + 3. Let o be c(0). Suppose 0 = -o*s + 5*s - a - 2, 0 = -5*s + 4*a + 8. Let f = 22/21 + -193/84. Is s at most f?
False
Let l be ((-4)/6)/((-4)/6). Let m(a) = 6*a**2 + 3*a + 1. Let d be m(-2). Let o be d/5 + (-4)/1. Are l and o unequal?
True
Let y = 15.7 - 15. Let w = 3.7 - y. Let q = w - 2.9. Which is smaller: 2 or q?
q
Let p be 9/7 + 8/(-28). Suppose -1 = -2*k + p. Let h = 1 + 1. Which is greater: h or k?
h
Let p be (-15)/(-10)*(-8)/6. Let v = 0 - 1. Is v < p?
False
Let g(j) = j + 1. Let s be g(-1). Suppose -4*i = -s*i + 4. Does i = -2?
False
Suppose 0 = 3*t + 5*y + 14, 5*t = t - y + 4. Suppose t = 6*z - 7*z. Which is smaller: -1 or z?
z
Suppose -2*b = 5*c - 31, 4*b - 2 = 2*c - 0. Let v be ((-9)/(-42))/(b/(-6)). Which is smaller: v or 0?
v
Let s(x) = -1. Let p(b) = b**2 + 9*b + 13. Let n(a) = p(a) + 3*s(a). Let f be n(-8). Let o = -1 + 2. Is o at most f?
True
Let k = -27/5 + 233/45. Let v(o) = 4*o - 1. Let b(z) = z - 1. Let i(p) = -2*b(p) + v(p). Let c be i(-1). Which is greater: k or c?
k
Suppose v = -2*v + 3. Let r(y) = 0*y - 2*y - 2*y + v + y**2. Let s be r(4). Is -3 at least s?
False
Suppose i - 7 = -4*u, -2 = u - i - 0. Let a be 2/8*(-8)/10. Which is smaller: u or a?
a
Suppose -2*m - 10 = 3*m. Suppose -2 = -5*t - 3*p, -4*p + 14 = -0*t + t. Let l be (-1)/t - (-7)/m. Which is greater: -2 or l?
-2
Let o = 2 - 4. Let d be (o + (-8)/(-6))*-6. Suppose 4*q - d*m + 5 = -9*m, 2*q + 4 = -4*m. Which is greater: q or 3/5?
3/5
Let b be (1*-3 - -2)*(43 + -2). Is -41 greater than b?
False
Let g = 12 + -10. Suppose 2*m + 5*l + 14 = 0, g*l + 14 = -5*m - 0*l. Suppose 0 = -5*t + 3*t - 2. Which is bigger: m or t?
t
Let j be 10/75 - (-4)/(-30). Is j equal to 0.8?
False
Let h(y) = 2*y**2 + 3*y + 17. Let w be h(-3). Which is smaller: 28 or w