3*k + 4*a - 10 = 8, 5*a = -2*k + 11. Are k and d non-equal?
True
Let d = 99 - 116. Which is bigger: -8 or d?
-8
Let i(f) = -3*f + 1. Let u be i(4). Is u >= -1?
False
Let m = 26 + -19. Is m >= 6?
True
Let a = 126/25 + -459/100. Which is smaller: -1 or a?
-1
Let n(k) = k**3 - k**2 + 1. Let u be n(0). Let w be 0*u/3 - -1. Suppose 1 = -d - w. Which is smaller: d or -1?
d
Let t = -4 + 8. Let z = t - 4. Let y = 1 + z. Is y at most as big as 0?
False
Let z = 443.1 + -425. Let o = z + -16. Let b = o + -2. Is b != -1?
True
Let j = 1.5 + 5.5. Let f = 1 - j. Which is bigger: 1 or f?
1
Suppose 0 = -0*z + 2*z. Let c(y) = y + 1. Let o be c(z). Is -2/19 not equal to o?
True
Suppose 0 = 2*p, y - 3*p + 1 = 2*y. Let m be (25/4)/(y/(-4)). Let w = m + 49/2. Which is smaller: w or -2?
-2
Let o be 11/8 + -1 - 0. Is o > 1?
False
Suppose 0 = -3*c - 3*f + 18, -7*c + 5*f = -2*c. Suppose -c*u + 12 = 42. Let w(a) = -a**3 + 4*a**2 - a - 5. Let b be w(4). Which is bigger: b or u?
b
Let u = -32 - -63/2. Let b(o) = -2*o + 4. Let f be b(2). Which is smaller: f or u?
u
Let f = -1 + 0.9. Suppose 0*s - 2*s = 0. Is f bigger than s?
False
Suppose 0*q + 20 = -5*q. Let h = q + 2. Let s be h + -2 + 6 + 0. Is s at least as big as 2/3?
True
Suppose 3 = 4*n + 3. Which is smaller: 1/8 or n?
n
Let g be 8/(-64)*(-8)/54. Which is bigger: -1 or g?
g
Suppose 4*v - 3*b = -0*v - 103, 7 = -v - 3*b. Which is greater: -21 or v?
-21
Let k = 4567/1122 + 18/187. Let q = k - 161/30. Is q < -2?
False
Let w be 4/(-18) - (-61)/129. Let g = w + -6/43. Which is greater: 1 or g?
1
Let l = 92 + -96.1. Let p = -4 - l. Is p at most as big as -1?
False
Let p be (1/2)/((-3)/60*2). Is -37/6 less than or equal to p?
True
Let k = -5 + 7. Suppose -3*p - 24 = -4*c, 3*p + 9 = k*c - 3*c. Let s be (2 - 1)/(3 + p). Which is smaller: 0.1 or s?
s
Let f = 4 + 0. Let h be (f + -4)/(6/(-2)). Is h at least as big as -3/7?
True
Let z(h) be the first derivative of h**3/3 + h**2 + 3*h - 2. Suppose 0 = j + 1 + 1. Let d be z(j). Is 3/2 less than d?
True
Let q = -47 - -26. Let i = q + 13. Which is smaller: -7 or i?
i
Let s = -4 - -1. Let q(x) = -x**2 - 4*x + 3. Let f be q(-4). Suppose -f*o - 8 = o. Is o smaller than s?
False
Let j = -20 + 26. Which is smaller: j or 3?
3
Let q = -415/2 + 212. Which is smaller: 5 or q?
q
Let u(w) = w**2 + 3*w. Let v be u(-3). Suppose v = 3*f - 3. Suppose -4*n + 9 + 7 = -4*h, 3*h + 4*n = 16. Is f smaller than h?
False
Let w = 0.1 - 0.1. Let d = 0.6 - -0.4. Let p = w + d. Which is smaller: -1/4 or p?
-1/4
Let v(m) = -m**2 - 8*m - 10. Let x be v(-6). Is 2 greater than or equal to x?
True
Suppose 4*p - 4*s - 24 = -s, 9 = -p - 3*s. Let f = -128 - -133. Is p smaller than f?
True
Let v(r) = -5*r + 1. Let d be v(-1). Let i = d - 0. Let l be 2/3 - i/18. Which is greater: 0 or l?
l
Suppose 4*s = s. Suppose s*c + 4*c = -56. Let p be (-2)/56 - c/49. Is p less than -2/3?
False
Let d(k) = -k**3 + 4*k**2. Suppose -i - 2 = -3*x, -x - 9 = -2*i - 3. Let j be d(i). Suppose 4*u - 21 = -5*h, 5*h = 2*h - 2*u + 11. Is j > h?
False
Let q = -65/3 + 21. Do -1 and q have the same value?
False
Let s = -234.96 + 240. Let k = -0.04 + s. Let a = k - 4. Is -0.4 at least as big as a?
False
Let r = -2 - 2. Let b be (0 + -2)/r*10. Suppose -2*x - 12 = b*q, 5*x = -q + 2*x + 8. Which is smaller: -3 or q?
q
Suppose -13 = 5*l - 4*r, -5*r = 4*l - 0*l - 6. Let t = 62 - 309/5. Is l bigger than t?
False
Suppose 0 = 3*k - 1 - 2. Suppose 1 + 3 = 4*g. Are k and g unequal?
False
Let c(i) = -i + 8. Let u be c(3). Which is bigger: u or 6?
6
Let d(w) = -w**3 - 2*w**2 + 3*w + 1. Let y be d(-3). Let c = y + -1. Suppose g = -3*f + 3*g - 13, c = -5*g + 25. Do f and -3/4 have different values?
True
Suppose 0 = s - 2*a - 13, a - 9 = -5*s - 3*a. Let r = s + -8. Suppose 0 = -7*q - 15 + 1. Is q < r?
False
Let f = 1 + -3. Let v = f - -1. Let q = 8.9 + -9. Is q smaller than v?
False
Let g(m) = m**3 - 18*m**2 + 16*m + 32. Let u be g(17). Which is bigger: 13 or u?
u
Let j be 2 + -2 + 3*2. Suppose -16 = 2*y - j*y. Suppose 5*s = -1 - y. Which is smaller: -2/3 or s?
s
Let l(y) = 2*y + 8. Let v be l(-4). Which is greater: v or 4/7?
4/7
Let x = -100 - -502/5. Is x >= 1?
False
Let q(u) = -4*u - 23. Let r be q(-5). Is -3 > r?
False
Let i be (0 - 0)/(5/(-5)). Suppose 3*t + 3*o = -18, -o - 10 = -3*t + 3*o. Let b be ((-1)/3)/(t/(-6)). Which is bigger: i or b?
i
Let h = 2740/9 - 305. Which is smaller: -2 or h?
-2
Suppose 34*n - 39*n = -25. Which is bigger: n or 4?
n
Let r(u) = -4*u**3 + 21*u**2 - 9*u + 10. Let c be r(5). Does c = -57/5?
False
Let n = -0.74 - -0.8. Let v = -0.16 + n. Is v at least as big as -0.1?
True
Let c(u) = -u + 6. Let l be c(6). Which is smaller: -2/19 or l?
-2/19
Let y(t) = t - 5. Let z be y(7). Let p be (-47)/4 - 1/4. Let n be (-26)/(-21) - (-8)/p. Are n and z equal?
False
Suppose 26*b - 18 = 32*b. Which is smaller: b or -18?
-18
Let c be 0/(-1) + -2 - -5. Let v be 4*-2*1*-1. Suppose 0 = 5*j + c*g - 0*g + 13, 0 = -2*j - 4*g - v. Which is bigger: 0 or j?
0
Suppose -240 = -0*x + 6*x. Which is smaller: x or -41?
-41
Let c be 47 + ((-26)/(-91) - (-24)/14). Does c = 49?
True
Let t = -810/17 - -48. Is -1 at most t?
True
Let v = 2.8 + -2.5. Let p be -2 + ((-1596)/(-5))/3. Let s = p - 104. Is v not equal to s?
True
Suppose -t + 10 = 14. Is t at most as big as 0.2?
True
Let n be 2/7 - 12/21. Suppose 6 = -z - 4*j - 13, 0 = j + 5. Let f = z - 1. Is f < n?
False
Let a be (4552/10)/(7/(-5)). Let r = 326 + a. Which is smaller: r or 2?
r
Suppose 16*f - 14*f = 4. Which is greater: f or 1?
f
Let k(i) be the first derivative of -i**3/3 + 5*i**2 + 13*i + 7. Let f be k(11). Let p be (1/(-2))/((-2)/12). Which is smaller: f or p?
f
Let w = -21 + 32. Which is bigger: w or 10?
w
Let y = -191 - -190. Let w = -101/30 - -19/6. Which is bigger: w or y?
w
Suppose -2*o = -3*r - 24, 3*o = -4*r + 8 + 11. Let f(h) = -h**2 - 6*h + 5. Let s be f(-5). Does o = s?
False
Let b = 6 - 12. Suppose 0 = g - 2*g + 3. Suppose g*d + 10 = -5. Is d >= b?
True
Suppose -3*p = -3*t + 3, -3 - 4 = t - 5*p. Suppose 0 = -d + t*i + 5, -2*i - 3 = -5*d + 2*i. Do -2/7 and d have the same value?
False
Suppose 13 = 4*j + 1. Suppose -n = j*n. Let l(s) = s + 1. Let b be l(-1). Is n >= b?
True
Let q(c) = c**2 + 7*c + 6. Let i = -20 + 14. Let j be q(i). Is j at least -2/27?
True
Let p(g) = -g**2 - 3*g + 2. Let y be p(-3). Let i = 5.9 + -6. Is y greater than or equal to i?
True
Let k = 14 - 11. Suppose 4*r + 5*y - 27 = 8*r, -5*y + 24 = -k*r. Do r and -1 have different values?
True
Suppose -3*o = 2*o - 90. Suppose -m + 13 = -j + 2*m, j + o = 4*m. Is j equal to 10/9?
False
Suppose -2*y - 5*y = 7. Which is smaller: -5/14 or y?
y
Let o be 1*-1*(-2)/18. Let n be ((-68)/330)/((-14)/(-20)). Let l = 2/231 + n. Do l and o have the same value?
False
Suppose 3*h = -0 + 6. Let u(a) = -a**2 + 3*a - 1. Let z be u(h). Suppose 8*i - 13 = 3. Is i smaller than z?
False
Let d = 8 + -4. Suppose 15 = -3*t, f - 4*t + 16 = 40. Suppose f*o - 22 = 2*v, 4*o - 6*o + 14 = -d*v. Is v smaller than -2?
False
Let r = 16 + -16. Which is greater: r or 3/8?
3/8
Let u = -17 - -20. Suppose 3*f - u*r = -1 - 26, -2*r + 30 = -5*f. Is -3 at most f?
False
Suppose -5*y + 5 = 0, -3*g + 2*y + 23 = 4*y. Let n = -8 + g. Which is smaller: -2 or n?
-2
Suppose -2*l + 6*l = -4*m + 28, 0 = -3*l - 5*m + 29. Is 8/5 less than l?
True
Suppose 1 = 2*l + 3. Let r(y) = -18*y. Let c(v) = v. Let z(t) = 15*c(t) + r(t). Let n be z(l). Is 4 < n?
False
Let z be 2/(0 - 2/(-1)). Let o be (-1 - (-3)/3)/(-1). Are z and o unequal?
True
Let j = 0.5 + -0.4. Let p = j - -0.2. Let g = p - 1.3. Which is smaller: -2/5 or g?
g
Let c = -0.005 - 0.095. Which is smaller: c or 7?
c
Suppose -14 = s + 8. Do s and -21 have different values?
True
Let p be (3 - 8)/((-1)/2). Is p smaller than 11?
True
Suppose 2*n + 12 = 4*n. Suppose -u - 2 = -11. Suppose 2*d - o = u, -4*d = -5*o - 5 - 4. Is n at most as big as d?
True
Suppose 4 = 5*a - 21. Let j(q) = -q**2 + 7*q - 6. Let o be j(a). Suppose n = -n - o. Is -1/2 not equal to n?
True
Let w = -8.21 - -0.21. Let x = 5 + w. Which is greater: x or 0.1?
0.1
Let r = -3 + 2. Let z be 1*-3 - 4/(-2). Let i be (z/(-1))/5 - r. Do 0 and i have different values?
True
Let l = -0.27 + 0.22. Let d = l + -0.11. Is -1 bigger than d?
False
Let s = -0.118 + 15.118. Whic