o(-6). Is z equal to -7?
True
Let l = -8/29 + -71/58. Suppose 3 = 3*g - 2*z, 0 = 3*g + g - 4*z. Suppose 3*v = 4*n - 0*n + 2, -4*v + g*n - 2 = 0. Which is bigger: v or l?
l
Suppose 0 = 4*h + 12, 482 + 172 = 3*q + h. Let d = -3941/18 + q. Suppose -5*y = -c - 5, 3*c + 0*c = y - 1. Do c and d have the same value?
False
Let b = 129.73 + -133. Let r = b + -0.13. Let v = -0.4 - r. Is 0 at least as big as v?
False
Let h be (-3 - -21)*(-1)/(-3). Suppose -18 - 6 = -h*s. Which is smaller: s or -4?
-4
Let j = -25 + 27. Suppose j*v + 30 = -40. Let a be (-13)/42 + (-5)/v. Do -3 and a have the same value?
False
Suppose u + 21 = -3*t + 4*u, 0 = -5*t + 2*u - 35. Let i be 1/2 - t/(-2). Let s = i - -1. Are -1 and s equal?
False
Let t(u) = -u**3 - 11*u**2 - 3*u - 34. Let g(c) = -3*c + 7. Let p be g(6). Let w be t(p). Is -1/89 smaller than w?
False
Let d = 46985 - 14988262/319. Let c = 1/29 - d. Let k = 0 + -0.1. Which is smaller: k or c?
k
Let v = -263/3 + -65/3. Let k = -108 - v. Let w be (10 - (-1566)/(-153))/(12/(-102)). Is k less than or equal to w?
True
Let p(h) = -4*h**3 + h**2 + 20. Let r(n) = n**3 + n**2. Let g(q) = -p(q) - 5*r(q). Let t be g(-6). Which is bigger: t or -21?
t
Let p = 10/21 - -244/105. Let r = -139 + 143. Is p at most as big as r?
True
Suppose -2*m - 6 = -14. Suppose -m*p - 30 + 10 = 2*n, -18 = 4*p + n. Let x(y) = -y**2 - y. Let t be x(1). Do p and t have different values?
True
Let n be (-354)/358 + 5 + -4 + 0. Which is bigger: 1 or n?
1
Let x = 164 - 213. Which is smaller: x or -51?
-51
Let h = -10.2 + 1.2. Let f = -19 - h. Let r = -4 - f. Is -0.1 > r?
False
Let i be (0 - (469 + -4))*(-8)/20. Is i smaller than 369/2?
False
Let z = -74/3 + 25. Suppose -5*c + 302 = -w - 2*w, 3*c - 186 = 3*w. Let p = -57 + c. Which is smaller: z or p?
z
Let h = 17 + -14. Let j be ((-12)/222)/(6/h). Let d be -3 + 0 + (-18)/(-9). Which is bigger: d or j?
j
Let u be (0/(-71))/(2*4). Which is greater: -1/230 or u?
u
Suppose -3*g + 3 = -3*j - 27, 4*j - 3*g = -39. Suppose 4*w + 3*t = 33, -4*t = 2*w + w - 30. Let f be (-57)/w - (-1)/(-2). Is j greater than or equal to f?
True
Let p = 37 + -34. Suppose -2*c - c = p*b + 12, b - 1 = 4*c. Suppose -6 = 4*d + 2. Which is bigger: b or d?
d
Let v = -1199 + 2632. Are 1434 and v non-equal?
True
Let z be -1 + -2 - 14*(-12)/8. Let a be (-72)/(-54)*z/(-4). Are a and 2 non-equal?
True
Let c be -72 + 12/(4 - 1). Let z = -344/5 - c. Are 0 and z nonequal?
True
Let g(n) = -2*n**2 - 4*n - 1. Let a(q) = -q**3 + 9*q**2 + 11*q - 14. Let c be a(10). Let z be g(c). Is z not equal to -19?
True
Suppose -4*k = -2*c + 2852, 4*k + 5*c - 1410 = 6*k. Let b be (-5)/(k - -5)*(2 + 2). Which is greater: b or 1?
1
Let o = 5.03 - 5.13. Let a = -96 - -1058/11. Which is bigger: a or o?
a
Suppose 0 = -0*m + 2*m - 6. Suppose -4 = m*z - z. Let h = z + 9. Which is bigger: h or 8?
8
Let o(s) = s**3 - 2*s + 5. Let j be o(-2). Which is bigger: j or 0.0523?
j
Let b(y) = -y**2 + 3*y + 12. Let g be b(7). Which is greater: -18 or g?
g
Let n be 94/(-70) - 48/60. Which is smaller: n or -1?
n
Suppose -22*m = -20*m. Let r = 529222 + -203750346/385. Let g = -6/77 - r. Is m smaller than g?
False
Let f = 1336 - 1332. Which is bigger: 5 or f?
5
Let c(v) = -v**3 - 7*v**2 - 4*v - 2. Let k be c(-6). Let d = -10 - k. Let h be d/(-16)*6 + 2. Which is smaller: 2 or h?
h
Let t(l) = -10*l + 25. Let o be t(6). Is -36 smaller than o?
True
Let h be 6/4 + 0 - 1. Suppose 7*s - 2*s + 100 = 0. Let k = 20 + s. Which is smaller: h or k?
k
Suppose -2*t = 3*t - 25. Suppose 0 = -3*h - 4*v + 29 - 8, 0 = t*v - 15. Suppose 0 = -h*m + 7 + 5. Which is bigger: m or 5/2?
m
Suppose -g + 4 = -3*l, -5*g = 2*l + 1 - 4. Let b = -579/11 + 90925/1727. Let r = 777/628 + b. Is g greater than r?
False
Let s = -1007/91 + 78/7. Let c be -4 - (2 + 2)/2. Let u be c/30 - 6/(-5). Is u at least s?
True
Let i(z) be the third derivative of -z**6/120 + z**5/12 + z**4/12 - 4*z**3/3 + 12*z**2. Let m be i(5). Which is smaller: 10 or m?
m
Let p be 45 + (-2 - 0/(-2)). Let m = 6528 + -6484. Which is smaller: p or m?
p
Let d be ((-52)/(-12))/((-1)/(1 - -5)). Which is bigger: d or -27?
d
Suppose -3*k + 2*k = 0. Suppose k*h - 3*h + 6 = 0, -3*m = -3*h + 9. Let j be (4/m)/2 + 2. Is j greater than 1?
False
Let v = 0 - 3. Let t be 6/(v - 0) - -1. Let q = t + 6. Is 6 at least as big as q?
True
Let k(b) = 3*b - 1. Let s(h) = -h**2 - 10*h - 6. Let a be s(-5). Let d = a - 17. Let y be k(d). Does y = 5?
True
Let b = 438/553 - 40/79. Let q(p) = 5*p**2 - 3*p - 1. Let g(m) = 4*m**2 - 2*m - 1. Let v(t) = 6*g(t) - 5*q(t). Let l be v(1). Is b > l?
False
Let f = -199.8 + 214. Which is greater: -0.1 or f?
f
Let l(y) = -38*y + 4. Let v(b) = -b**2 - 6*b + 2. Let t be v(-6). Let c be l(t). Let k be 30/16 - (-27)/c. Is 1 at least as big as k?
False
Let o be 2/(-7) - 648239*(-1)/(-525). Let a = 1235 + o. Is a <= -1?
False
Let k = 41 - 23. Let d = -12 + k. Let y = -164.1 + 165.1. Which is greater: d or y?
d
Suppose 4*x = -5*c + 7, -x + 5*x = 5*c - 23. Suppose -3*p + 33 = -c. Let b = p - 11. Which is greater: b or 2/9?
b
Suppose 5*j + 6 + 9 = 0, -5*y - 22 = 4*j. Is y <= -7/3?
False
Let n be (-1)/((-24)/498) - (-2)/8. Let t = 50 - n. Is 27 > t?
False
Let x be (-3)/4*(-30)/45. Is -1/489 >= x?
False
Let v be 15/(-3) - -10*1/2. Which is bigger: v or 14/13?
14/13
Let l = 0.01 + -1.51. Let y = l - -14.5. Let v = 6 - y. Which is smaller: -1/2 or v?
v
Let i(n) = -2*n - 3. Let g = 42 + -48. Let d be i(g). Is 9 bigger than d?
False
Suppose 2*z - 3*c = -3, -1 = 8*z - 3*z - c. Suppose -4*f + z = -8. Suppose 0*y - 3*l = 4*y + 26, 5*l - 26 = f*y. Which is greater: y or -6?
-6
Let n = -34 - -38. Let l(i) = i**3 - 5*i**2 + 3*i + 4. Let m be l(n). Is m >= 0?
True
Let h be -1*(24/(-14))/(-6). Is -201 > h?
False
Let n(h) = h**3 + 7*h**2 - 7*h - 28. Let d be n(-7). Let k = d - 22. Does 2/61 = k?
False
Let j = 126 - 125.66. Let n = -15.76 + 16. Let a = n - j. Is 0.4 < a?
False
Let f be (10 - 16)*1/(-3). Suppose i = -3*x + 34, 18 = -0*x + f*x - 4*i. Is x at most as big as 14?
True
Let z = -21 + 24. Suppose -3*l = -h - 4, -4*h + 5*l - z*l + 4 = 0. Suppose -h*c = -2*r + 7 - 1, 4*r = -3*c + 19. Which is smaller: 4/9 or c?
4/9
Let h = 646/5 + -6866/55. Does -2 = h?
False
Let m = -624 + 623. Is -7/6 smaller than m?
True
Suppose -28 = -0*a + 4*a. Let i = -171.9 + 120. Let w = 52 + i. Does a = w?
False
Let m = -2/835 - -841/2505. Which is smaller: m or 533?
m
Let r = 1 + -3/2. Let h(u) = u + 5. Let y be h(-5). Let x be 1 + y + 33/(-24). Is x at most r?
False
Let i be (3/27*3)/(3/(-9)). Is i > -13/18?
False
Suppose -x - 4*x = -100. Let a be -12*(1 + 15/x). Is -21 smaller than a?
False
Let m = 14677/77 + -2004/11. Is m <= 7?
False
Suppose -10*f - 42 = -162. Let t(w) = 3*w**3 + 3*w**2 + 2*w + 3. Let q be t(-2). Let u = f + q. Which is smaller: 3 or u?
u
Let q = -1 - -4. Suppose -12 = -q*v, 2*p - p - 4 = -2*v. Suppose i + 3 = -0*i. Which is smaller: i or p?
p
Let d = -318 + 316. Let r = 0.2 - 0.6. Are r and d unequal?
True
Let p(m) = 7*m + 83. Let t be p(-13). Do -13 and t have the same value?
False
Let j(h) = -3*h + 2. Let m be j(-1). Suppose -m*o = -6*o - 1. Which is smaller: o or -9/7?
-9/7
Let h = 2/667 - 34025/2668. Suppose -5*v = -0*o + o + 63, -2*v = -5*o + 36. Which is greater: v or h?
h
Suppose -4*m - 4 = -4*n - n, 0 = 5*m - 20. Suppose n*z + 34 = -30. Are z and -16 nonequal?
False
Let q(j) be the third derivative of -j**6/120 - j**5/10 - j**3/6 + 2*j**2. Let t be q(-6). Let h = -2 - t. Which is smaller: 1/3 or h?
h
Let j(s) = s + 19. Let p be j(21). Let q be p/2*(273/35 + -7). Is q greater than or equal to 18?
False
Let q be (3/(-9))/((-190)/(-60)). Suppose 51 - 15 = 4*g. Let v be 11/g - 4/18. Which is greater: q or v?
v
Let i(j) = -3*j**2 - 3*j - 2. Let k be i(-2). Suppose 4 - 7 = -3*v. Let g be (-5 - -5) + (-1 - v/(-3)). Are g and k nonequal?
True
Let h = 0.587 + -0.387. Is h != 0.71?
True
Let a = 2593 - 2568. Which is greater: a or 29?
29
Let q = -169 - -267. Is 100 greater than q?
True
Let n(z) = 3*z**3 - 14*z**2 + 21*z - 36. Let s be n(5). Is s less than 85?
False
Suppose 5*b = 3*b + 12. Suppose -15 = b*v - v. Let q be ((-4)/(-24))/((-1)/v). Is q bigger than -3?
True
Let y(q) = 2*q - 4. Let r be y(5). Let w = -23 + -13. Let a = -29 - w. Which is greater: r or a?
