= -3*x. Suppose x*m - 2 = -i. Are m and -0.2 non-equal?
True
Let c = 1412 - 15544/11. Which is smaller: -1 or c?
c
Let w = -37 - -38. Suppose 6*a = 4*a - 12. Is w at most as big as a?
False
Let k(z) = -z**3 + 4*z**2 + 5*z + 5. Let y be k(5). Suppose x + 3*t = y, 0 = 3*x + 3*t - 9. Which is greater: x or 7/4?
x
Let i be (-240)/2*12/156. Let u = i - -2014/221. Which is smaller: -2 or u?
-2
Let n = -82 - -81.8. Are n and 0.12 equal?
False
Let k = 29 + -3. Is k less than 27?
True
Suppose 0 = -4*f - 23 - 93. Let i = -18 - f. Suppose -1 = 4*n + i. Is n bigger than -3?
False
Let g be 117206/3*21324/(-140). Let u = g + 5951660. Let r = 944 - u. Is r at least as big as 1?
False
Let c = -13/24 - 1/8. Which is greater: -2/11 or c?
-2/11
Suppose 6*r = 4*r - 4*r. Which is smaller: r or -4/11?
-4/11
Let a be (-70)/(-8) - (-1)/4. Let t = -9 + a. Which is smaller: t or -1?
-1
Suppose 4*r - 12 - 16 = 0. Is r not equal to 7?
False
Let d be (9/12)/((-30)/12). Let j = -3 - -5. Is j equal to d?
False
Let d = -15 - -29. Let w = -12 + d. Let a = 0.2 - -0.8. Which is bigger: a or w?
w
Let c = -92/3 - -30. Let y be (-4 - -3)/((-1)/12). Let n be (-1)/4 + (-9)/y. Which is smaller: c or n?
n
Let n = -31 + -13. Let l = -133/3 - n. Is l at most as big as -1?
False
Let s = -1/74 - 289/518. Is -1/4 smaller than s?
False
Let c(d) = 2*d - 6. Let a be c(5). Suppose -2*f = 2*o, -3*f - o + 2*o = a. Let i be 2/(-1) - (f - -4). Is i at least as big as -6?
True
Suppose 2*g = 2*k + 2*k + 16, 2*g = 5*k + 20. Which is smaller: k or 2?
k
Let c(m) = -m**2 + 22*m - 12. Let t be c(10). Let p be 20/6*t/(-15). Let z = p - -166/7. Which is bigger: z or -1?
z
Let v = 0.9 + 0.1. Let o = 133/429 - 5/39. Let a = o - 17/33. Is a less than or equal to v?
True
Let d be ((-3)/(-10))/(105/28). Which is bigger: 1 or d?
1
Let u = -14 + 24. Suppose -4 + u = 3*q. Which is smaller: 3 or q?
q
Let w = 3 + -2.8. Let h = w - 0.3. Let j = 34.1 + -34. Is h >= j?
False
Let g(h) = h**3 + 4*h**2 - 2*h. Let w be g(-4). Which is greater: w or 9?
9
Let p = -58 - -50. Is -9 > p?
False
Let n = -4201/8 + 527. Which is smaller: n or 2/7?
2/7
Let x be (16/6)/((-2)/6). Let l be (-2)/x + 9/(-4). Let u = -77 + 75. Is l <= u?
True
Suppose 0 = -d + 6*d - 25. Suppose s - 13 = -5*v, -d*s + 1 = -4*s + v. Let b be (-1)/2*12/9. Which is greater: s or b?
b
Let h = -18 - -21. Is 2 at most as big as h?
True
Let i(y) = -y**2 + 2*y - 4. Let o be i(3). Suppose -4*d + 2*c - 12 = 10, -3*c = 4*d + 47. Is d > o?
False
Let m be (38/8)/(-4 - -5). Is 5 less than or equal to m?
False
Let b be (-2)/(-6) + (-4)/(-6). Let h = 4 - 1. Suppose -2*g - 5 = -5*o - 4*g, -3 = -3*o - h*g. Is o less than or equal to b?
True
Let g be (-5 + 2)*(-10)/(-6). Is g less than or equal to -7?
False
Let d be (1/3)/((-3)/(-27)). Let a be 2/(-7) - d/(-7). Suppose 2*v + 2 = -0*v. Is v <= a?
True
Suppose -2*q - 8 = f, 3*f - 10 = 8*f + 4*q. Let z be (2 - 0) + -2 - 2. Let v be z/(-7) - 16/(-42). Is f <= v?
False
Suppose f - 60 = -4*f. Suppose 0*m = -2*i - m, -9 = -3*i + 3*m. Let y be (f/(-8))/(i*3). Which is smaller: -1 or y?
-1
Let z(v) be the second derivative of -1/4*v**4 + 0*v**3 - 2*v + 1/2*v**2 + 0. Let p be z(-1). Which is smaller: p or -2/3?
p
Suppose 0 = -k - 17 + 44. Is k >= 26?
True
Let q = 44.29 + -44. Which is bigger: 0 or q?
q
Let a = 71/3 - 559/24. Let b(s) be the second derivative of s**4/12 - 2*s**3/3 + s**2 - s. Let h be b(3). Which is smaller: a or h?
h
Let v = 8 - 4. Let i(b) = b + 2. Let p be i(v). Let t be 2/(-6) + 8/p. Is t less than or equal to 1?
True
Let s be -4 + ((-100)/(-28) - 1). Which is smaller: 0 or s?
s
Let t be (-2)/3*(-141)/(-4). Suppose c = -4*c + 3*o - 126, -34 = c - 5*o. Let i = c - t. Is 2/5 >= i?
True
Let p(l) = l - 8. Let r be p(10). Suppose r*u + 2 = -2*b, -b = 4*b - 4*u - 22. Let x be 1 + (-1)/(b + -1). Does x = -1?
False
Let x = -47/84 - 3/28. Are 0.71 and x non-equal?
True
Let c(s) = -s**2 + 6*s - 4. Suppose 3*z = 21 - 3. Let r be c(z). Does r = -4?
True
Let r be (-67)/(-5) + 9/15. Is r smaller than 15?
True
Let q(h) = 5*h**2 + 26*h + 10. Let g(r) = -2*r**2 - 9*r - 3. Let f(c) = 8*g(c) + 3*q(c). Let a be f(7). Which is smaller: 2/9 or a?
a
Let d(m) = m + 11. Let o be d(-9). Suppose -3*l - r = -0*l - 15, -3*l + 12 = o*r. Which is bigger: l or -0.2?
l
Let x(y) = 5*y + 4*y - 5 - 4*y. Let c be x(4). Suppose 9*d - 4*d - c = 0. Does d = 5?
False
Let u(d) = d - 4. Suppose 0 = k - 4. Let h be u(k). Let l = -3/37 + -22/185. Is h not equal to l?
True
Let h be -2 + (-8)/2 - -3. Let i be (3/13)/(h/2). Does i = -1?
False
Let o = 13 - 10. Are o and 5 equal?
False
Let y = 1.02 - 1.02. Which is smaller: 3 or y?
y
Let b = -0.17 - 6.83. Let k = 7 + b. Let a = -3 + 0. Is a less than k?
True
Let r(b) = -b + 18. Let x be r(13). Which is smaller: x or -2/9?
-2/9
Suppose 8*c = 11*c. Let g = 0 - c. Which is bigger: g or 1/9?
1/9
Let k = 10.6 + -10.6. Let y(w) = -w - 2. Let m be y(-5). Suppose -5*i + 2 = 2*s, m*s = -i - 0*i + 3. Which is greater: s or k?
s
Suppose 4*d = -6*o + 4*o, -3*d = -2*o. Is o <= -3/5?
False
Let l(k) = 3*k**2 - 4*k + 1. Let i be l(3). Suppose -4*u - 5*x - i = 0, x + 1 = -0*u - 3*u. Let w = -1132/7 - -162. Which is bigger: u or w?
u
Let w = -71 + 70. Let t = 3.7 - -1.3. Do w and t have the same value?
False
Let i be 6/(-4) - 9/(-18). Let w(p) = p**3 - 5*p**2 + 4*p + 5. Let a be w(4). Suppose 10 = a*o - 0*o. Which is smaller: i or o?
i
Let r(d) = d**3 - 4*d**2 - 7*d + 3. Let h be 30/(-12)*(-2 - 0). Let u be r(h). Let o be (4/1 + 2)/(-1). Which is bigger: o or u?
o
Suppose 0 = 2*j - j - 3. Let z be j + 2 + 94/(-18). Which is smaller: -8 or z?
-8
Suppose -w - g - 2 = 2, -2*g = -w + 11. Let m be ((-4)/66)/(2/6). Is w bigger than m?
True
Suppose 5*j - 2*j = 30. Let c = -13 + j. Which is smaller: -9/4 or c?
c
Let n = 1 + 3. Suppose 5*x = -3*m + 10 + 12, -4*m + n*x = 24. Let h be (-2)/m + 2/(-2). Is h smaller than 1/8?
False
Let m = -72 - -78.6. Let o = -6 + m. Let b = -2.6 + o. Is b smaller than -0.2?
True
Let v(g) = -g**3 + 5*g**2 - 2*g + 3. Let n be v(5). Let p = n + 8. Is -2/5 > p?
False
Let q = -122 + 120. Is q >= -7?
True
Let h = -185.8 - -177.71. Let s = -0.09 - h. Is s < -0.1?
False
Suppose -6*y = -y - 35. Let d be (-6 + y)*-1*1. Let p be -5 - -4 - 2/(-6). Which is smaller: p or d?
d
Let f be 49/2*(-1 - 1). Let i = 247/5 + f. Let h = -111 - -110. Which is smaller: i or h?
h
Suppose 0*y + 81 = -2*m - 5*y, 4*m + 107 = y. Is -28 <= m?
True
Let p be (141/11)/(-4 + 5). Let w = p - 3785/297. Which is smaller: 1 or w?
w
Let r(u) = -36*u**3 + u**2 - 6*u + 6. Let v be r(-5). Let l be v/1771 + -2 + -1. Let d = -1/253 + l. Are 1 and d unequal?
True
Let f = -1 + -1. Let s be (3/(-2))/(f/4). Suppose 2 = 4*t - 6. Which is smaller: t or s?
t
Let t be 11/3 + 2/6. Let b = 2 - 13. Let n = 14 + b. Is n bigger than t?
False
Suppose 0 = -2*o - 2. Let k = -40 - -57. Let i = k - 13. Do i and o have the same value?
False
Let a = 24 + -24.1. Is a less than or equal to 0.06?
True
Suppose 3*v - 36 = -3*k, 2*k + 53 = 4*v + 7*k. Which is greater: v or 6?
v
Suppose -w = 4*w + 150. Let x = w - -43. Which is smaller: x or -1?
-1
Suppose c + 3*c - 12 = 0. Suppose -2*v + c = v. Let y be (-1 + v)/(2 - 0). Is -2/3 at least as big as y?
False
Let g be (-14)/(-5) + (-4)/(-20). Suppose m + 34 = 5*k, -56 = 4*m - g*k - k. Let p(v) = -v**3 - 9*v**2 + 2. Let q be p(m). Is q at most 2?
True
Let w = 5.7 - 6. Let i = -0.04 + -1.96. Which is smaller: w or i?
i
Let i = -2/41 - -45/82. Let z = 238.06 + -236. Let u = 0.06 - z. Are u and i unequal?
True
Suppose 10*t - 85 = 5*t. Which is bigger: 16 or t?
t
Let k = 3 + -3.2. Let u = 9508/13 - 731. Let f = u + -41/39. Which is greater: f or k?
k
Let a(z) = -z**2 - 8*z + 11. Let v be a(-9). Let d be (4/(-3))/(v/(-6)). Let j(n) = n**3 - 4*n**2 + 4*n. Let r be j(3). Is d less than or equal to r?
False
Let x = 3 + -2.9. Suppose 2*o - 3*p - 13 = 0, p = -5*o + 8 + 16. Suppose -z - a = -6, -14 = -o*z - 2*a + 1. Is z bigger than x?
True
Let q = -21.2 + 14.23. Let r = -7 - q. Let w = -0.03 - r. Which is bigger: -1 or w?
w
Let p = -0.8 + 1.2. Which is bigger: -2 or p?
p
Let a(i) = -132*i - 2. Let b be a(-1). Let q = b + -2472/19. Is q at least 0?
False
Let x(b) = b**3 + 6*b**2 - b + 4. Let z be x(-6). Let w be z/6*14/(-35). Which is smalle