/85
Let l be 5 + -7 - (-609)/(-6). Let b = l + 108. Which is bigger: 5 or b?
5
Let c(d) be the third derivative of -d**5/60 - 7*d**4/24 - 5*d**3/6 - 5*d**2. Let l be c(-5). Which is smaller: l or 2?
2
Let p(d) = d**2 + d - 12. Let q be p(5). Is q equal to 20?
False
Suppose m = -1 + 3. Let h be ((-2)/6 + -1)/m. Let d(g) = g**3 - 8*g**2 + 8*g - 9. Let w be d(7). Which is smaller: w or h?
w
Suppose -3*p - 2*p = -20. Suppose p*s - 3 + 7 = 0. Let l = 14/17 - 148/221. Do l and s have the same value?
False
Let u = 8 + -14. Is -6 at least as big as u?
True
Let w be (-3)/6*(0 + -4). Suppose -5*v = -6*v - w. Let o = 184 + -186. Is o at most as big as v?
True
Suppose -h = 3*h - 4. Let l be (-4)/6 + (-702)/(-567). Which is smaller: l or h?
l
Let g(y) = -y**2 - 3*y - 2. Let b be g(-1). Which is greater: b or 3/7?
3/7
Let v = -13 + 7. Let u be (4/v)/(2/(-54)). Let o be 4/u*(-6)/(-4). Which is greater: o or 0?
o
Suppose 4 = -0*d - d. Suppose -6 = -4*k - 5*h, -2*k + 2 = 2*h - 0*h. Let s be (-4 + k + 4)*5. Are d and s equal?
False
Let u = -2.69 + -0.31. Which is smaller: 2 or u?
u
Let t be (12/(-10))/((-6)/15). Let m(s) = 2*s**2. Suppose o - 2*j - 9 = 0, -5*o + 3*j = -0*j - 10. Let v be m(o). Which is bigger: v or t?
t
Let t = -0.46 + 0.23. Let n = -0.08 - t. Let i = n + -0.05. Which is smaller: 2/17 or i?
i
Suppose 15*r = 17*r + 30. Which is bigger: -10 or r?
-10
Suppose -4*z = 5*h - 6, 5 = 3*h - 0*z + z. Suppose -5 = -c + h*c. Are c and 2/3 equal?
False
Let v be ((-88)/(-32))/((-38)/3912). Let y = v - -283. Which is smaller: y or -1?
-1
Let l = 8 - 10. Let t be l/(-9) - 122074/234. Let w = t + 521. Which is smaller: -1 or w?
-1
Let p = -12 - -35. Which is bigger: p or 21?
p
Let j be (-1530)/210 + (-4)/(-14). Which is smaller: -3 or j?
j
Let v be ((-10)/12)/((-62)/(-1482)). Let r = v - -147031/1178. Let k = -105 + r. Which is bigger: k or 1?
1
Suppose 5*h + 21 = 2*d - 6, d = -3*h - 14. Suppose 10 + d = r. Is 12 >= r?
True
Let j = 46251 + -648005/14. Let q = -71/2 - j. Let s = -6 + 7. Is q at most s?
True
Let w = 10176/37 + -275. Which is greater: 1 or w?
1
Let y(h) = 10*h - 7 - 6*h**2 + h**3 - 2*h**2 - 2*h**2. Let q be y(8). Let p be (-6)/(-10) + 43/q. Is 1 greater than p?
True
Let j = -1/228 - 757/684. Let g be -3*(4 + 66/(-18)). Which is smaller: g or j?
j
Let y(d) = -d**2 - 8*d + 6. Let q(o) = 3*o + 18. Let b be q(-9). Let t be y(b). Which is greater: -12/7 or t?
-12/7
Let m = -169 + 175.9. Let s = -7 + m. Which is greater: 2 or s?
2
Let j be ((-28)/63)/(-1*6). Which is smaller: 1 or j?
j
Let w = -87 - -85.4. Are w and 0 equal?
False
Let j = 12 - 11. Let m be 3 + j/10*-34. Is 2 equal to m?
False
Let i be (7/35)/((-4)/10). Let v be ((-4)/(-30))/(3/330). Let d = 15 - v. Which is smaller: d or i?
i
Let w = 31 - 40. Is 1/3 <= w?
False
Suppose 0 = -0*c - c. Do 1/33 and c have the same value?
False
Suppose 4*n + 22 = 5*q - 10, -5*n = -2*q + 23. Suppose -q*v = v + 5. Let h(g) = -g**2 + g - 3. Let p be h(0). Which is smaller: p or v?
p
Suppose 2*z + n + 1 = 0, -z - n = 2*z + 1. Let h = 556/55 + -98/11. Which is bigger: h or z?
h
Suppose -3*q = -0*q - i - 228, 4*i - 12 = 0. Let x = 536/7 - q. Which is bigger: x or -1?
x
Suppose 0 = 2*d + 14 - 4. Let u = d + 4. Let c be 3/(-12) + u/(-4). Is 1 at most as big as c?
False
Let o = -2/1207 - -143637/2414. Let b = o + -58. Suppose -3*i = -9, 2*f - 6*i = -3*i - 5. Is f <= b?
False
Let q be (-171)/(-33) + -2 + 60/33. Which is bigger: q or 6?
6
Let z(i) = i**3 + 11*i**2 - i. Let o be z(-11). Let j = -10 + o. Is j bigger than -3/5?
True
Let n(z) = -1 + 3*z**2 + 3*z**2 - 1 + 2*z - 4*z**2. Let o be n(-2). Is o at least 9/5?
True
Let k be (-3)/(6/(-2) + 0). Let a = 0 - k. Let q be -1 + (-10)/(-4) + a. Is q <= 1/4?
False
Let s(n) = -n**2 + 17*n - 13. Let y be s(14). Does y = 28?
False
Let w = -3 - -6. Let d be (1 - 3)/((-2)/w). Suppose -j + 5*m = 0, -4*m = -4*j + d*j. Which is smaller: j or -1/5?
-1/5
Let t = -0.052 + -28.948. Let z = -33.1 - t. Let u = 4 + z. Which is smaller: 0 or u?
u
Let s(t) = t**2 + 4*t - 3. Let w be s(-5). Which is smaller: w or 3?
w
Let c = 6 + -3. Let v = c - 1. Suppose 2*p - 2*h = 0, 4 = v*p + h + 1. Which is smaller: p or -1?
-1
Let r be ((-15)/(-25))/((-2)/(-10)). Let g be 1/(-2 + r - 2). Is g > -3?
True
Suppose 0 = -3*o + 2*o. Let p = -3 + o. Is -1 equal to p?
False
Let d(r) = r**3 - 9*r**2 - 11*r + 14. Let q be d(10). Suppose q*j + 21 = 4*t + 3*j, 0 = t - 5*j + 9. Which is greater: t or 7?
7
Suppose 5*j + 4*j = -63. Let n(v) = 3*v + 2. Let p be n(-3). Is j bigger than p?
False
Let k = -7 + 4. Let y be k/4 - 3/(-4). Is y smaller than 0?
False
Suppose -12 = -3*w, w = -3*d - w + 5. Let q = -5 + d. Let h be 2*1 + q + 3. Is h at least as big as 0?
False
Suppose -u + 3*u - 2 = 0. Let l(s) = 6*s + 6. Let x be l(-5). Let q be u/4 - (-26)/x. Is -2 at least q?
False
Let o = 50 + -49. Is 1/74 at least as big as o?
False
Let t = -35 - -21. Let p = t - -18. Are p and 4 equal?
True
Let o(d) = 2*d - 3. Let j be o(3). Let q = j + -5. Which is bigger: -1 or q?
-1
Suppose 4*s = -4*t + 20, -3*t + 13 = 4*s - 2. Suppose 223 = t*c + 43. Let b be ((-8)/c)/(2/(-6)). Is 1 not equal to b?
True
Suppose -2*p = -0*p + h - 26, 4*p - 62 = 3*h. Suppose -p*b + 9*b = -5. Which is smaller: 20/9 or b?
b
Let z = -21 + 15. Let r = z + -1. Let v = r - -8. Which is bigger: v or -1/11?
v
Suppose -4*x = 2*t - 12, -t + 3*t + 5*x = 15. Let z be (-280)/402 + 4/6. Let w = -104/1005 + z. Which is bigger: w or t?
t
Let f = 0.06 - 0.03. Let h = f - 0.07. Let k = h - 0.06. Is -3 bigger than k?
False
Let s = -1.1 + 0.1. Let y = s + 0.9. Let d = -0.2 - y. Are 0 and d nonequal?
True
Suppose -5*x + 135 = -5*w + 10*w, 75 = 3*x + w. Suppose 2*q + x = 4*q. Suppose 5*c - c = q. Are 0 and c equal?
False
Let x be (2 + -2)*(0 + -1). Let d(y) = -y**3 + 5*y**2 + y - 4. Let c be d(5). Suppose 2*u + c = 3*u. Are x and u equal?
False
Let x(i) = -i**2 - 8*i - 1. Suppose -t - 3*y - 3 - 2 = 0, -t = y + 7. Let b be x(t). Let l(j) = -4*j - 1. Let r be l(b). Is 4 at most as big as r?
False
Suppose 0 = t + 3*t. Suppose 33 = r - 27. Let z be 8/r + (2 - 2). Is z greater than or equal to t?
True
Let m be (-21 + 18)*(-10)/6. Which is bigger: 0.3 or m?
m
Let u = 3 + -2. Let z be (-340)/(-455) + 22/(-77). Which is bigger: z or u?
u
Suppose -4*b = -b. Suppose 44 - 18 = 4*r + 2*v, -3*r + 3*v + 6 = b. Suppose 0 = -r*z + 3 + 22. Which is greater: 6 or z?
6
Let d(h) = h**2 - 1. Let p be d(-1). Suppose p = -4*k + 3 + 1. Let s be (-4)/6 + 84/99. Which is greater: s or k?
k
Let y be -2*(15/(-6))/(-1). Let c = y - -7. Suppose -1 = -c*i + 1. Is 0 greater than i?
False
Let p(a) = a**2 - 13*a + 9. Let q be p(11). Is -14 >= q?
False
Let i = 0.23 - 0.25. Which is bigger: i or -2?
i
Let x be 2 - -1*(1 + -1). Suppose -8 + 4 = x*h. Let f be (h - 0) + (-20)/(-6). Which is smaller: f or 0?
0
Let i = 1 - 5/3. Which is greater: i or -0.4?
-0.4
Let b = -68 - -407/6. Which is smaller: b or 2?
b
Let b = 95/147 + 1/49. Which is smaller: b or -90?
-90
Let u(d) = -d**3 + 6*d**2 + 2. Let z be u(6). Let a = -4 + z. Let s = a - 0. Is -3 greater than s?
False
Let l(o) = -5*o + 4. Let j(q) = -14*q + 12. Let k(n) = -4*j(n) + 11*l(n). Let b be k(7). Let s be b*(-3)/(-9) + -1. Is s >= 1?
False
Let r be -6 - -3 - -1 - -7. Suppose -r*x = -4*x - 6. Is 6 equal to x?
True
Let o be 2/14 + (-5)/35. Is 8/37 != o?
True
Let h be 22/(-30) + 4/10. Suppose 20 = -5*k - 4*a, -3*k + 28 = -4*k + 4*a. Is k >= h?
False
Let d = 2 + -2. Suppose -14 = -v + m + 3*m, d = -v - 2*m - 4. Is v >= 2?
True
Let w be (-2 + 168/82)/(-13 - -15). Which is smaller: w or -1?
-1
Let h be 113/3 + 10/30. Which is smaller: h or 37?
37
Suppose -3*x - 15 = 5*j, 5*j + 14 + 1 = 3*x. Is 0 >= x?
True
Let j(p) = -p**3 - 6*p**2 - 2*p + 5. Let h be j(-5). Is -9 at most h?
False
Let b = -17/21 - -1/7. Let u(z) = z**2 + 5*z + 4. Let q be u(-4). Let t be q - 1/(2 + -3). Which is greater: t or b?
t
Let m = 22 - 36. Let y = m - -24. Let g be 1 + y/22*-2. Is g not equal to 1?
True
Let k = -0.8 - -0.6. Which is smaller: 1/2 or k?
k
Let g = -259/228 - -20/19. Let z = -0.2 - 0.8. Which is bigger: z or g?
g
Suppose 0 = 2*t + 2*t. Let x(b) = b**2 - b - 1. Let i be x(0). Is t less than or equal to i?
False
Let t = -1 + 5. Suppose -3*x = -2*y - 19, t*x - 24 = -4*y + 6