-215 or i?
i
Let a(f) = f**3 + 13*f**2 - 12*f + 5. Let y be a(-14). Let d = y - -22. Is 3/13 at most as big as d?
False
Suppose 22 = -7*y - 118. Is y > -12?
False
Let j = 68.5 + 37.5. Is -4/3 <= j?
True
Let s be 2*12/(-40) + 1656/(-15). Is -109 greater than s?
True
Let t = 1672 - 1673. Is -6/7 less than or equal to t?
False
Let x(i) = -i + 22. Let v be x(15). Suppose -v*l - 11*l = -18. Let k = 86/5 - 779/45. Is k at most as big as l?
True
Let c(t) = -t + 11. Let x be c(4). Let b be (-2)/4*(0/x - 0). Which is bigger: b or -27?
b
Suppose 0 = 4*v, 0 = -4*s + 2*s + 4*v. Let y = 608 + -5480/9. Which is greater: y or s?
s
Let w be (1330/956 + -2)*(-160)/(-56). Let y = w - -6/239. Which is smaller: y or -3?
-3
Let q = 26 - 25. Is q greater than or equal to 784?
False
Let v be (-118*(-3)/(-20))/(2/4). Which is bigger: -36 or v?
v
Suppose -y = -7*i - 32, 5*i = -0*y + y - 30. Is 23 at least as big as y?
False
Let l = -5/306 - 2/51. Let a be 4/8*(-4)/(-18). Let v = a - l. Which is smaller: -1 or v?
-1
Let p = -2/16105 + -1626581/193260. Which is bigger: p or -8?
-8
Suppose b + 5*n = 4*b - 170, 2*b - 114 = 3*n. Let u be (8/b)/(3/9). Let v be 15/(-4)*-1 + (-8 - -6). Which is smaller: v or u?
u
Let n = -3.8 - -4.74. Let z = -0.06 - n. Are z and -0.9 equal?
False
Let o = 2.5377 - -0.0323. Let p = o - 2.7. Let y = -1631.9 - -1632. Is p less than or equal to y?
True
Let h = -1576 + 1926. Which is smaller: h or -1/2?
-1/2
Let x(m) = -m**3 - 6*m**2 + 6*m - 7. Let h(b) = -9*b + 2. Let t be h(1). Let s be x(t). Is -1/36 at least s?
False
Let f be (-92 - (0 - -1)) + 8/(-2). Is -98 less than f?
True
Let y = -45 - -43. Let f be y/9 - (-747)/81. Is f at most 9?
True
Suppose 0 = 2*o + 6*h - h - 4, 5*h + 2 = o. Let w = -767851/44915 + 30/8983. Let v = -204/13 - w. Which is greater: v or o?
o
Suppose 147 = -5*d + 8*d. Let z = d - 35. Is 15 greater than or equal to z?
True
Let f(t) = 3*t**2 - 3*t**2 + t - 4*t + t**3 - 3 - 5*t**2. Let y = 13 + -8. Let c be f(y). Is c < 0?
True
Let b be 2 - 387/705 - 12/20. Is b greater than 0?
True
Suppose -3*n - 25 = 5*v, 5 = n - 6*n - v. Suppose n = 29*l - 28*l + 2. Which is bigger: l or -10/11?
-10/11
Let h = -208.1 - -197. Let v = 1.3 - -9.7. Let q = h + v. Which is bigger: 0 or q?
0
Suppose -5*p + 7*p - 5*w = 20, 0 = 5*p + 3*w + 12. Which is bigger: p or 1/22?
1/22
Let w = 173 - 173. Which is smaller: 0.2 or w?
w
Let b = -115 - -225/2. Let q = b - -2. Which is greater: 0 or q?
0
Let y be -9 + 2043/(-81) + (-4)/(-18). Which is greater: -211/6 or y?
y
Let d(n) = n**2 + 14*n + 3. Let g be d(-13). Let l be (104/g + 0)*10/(-4). Is 27 greater than l?
True
Let w(t) = -1. Let h(y) = y**2 - 8*y - 5. Let i(q) = -h(q) - 2*w(q). Let a be i(9). Let b be 2/4 + 35/(-30). Which is smaller: a or b?
a
Suppose 1642 = 2*t - 2*u, -2*t - 3*u + 1612 = u. Is 816 at most as big as t?
True
Let j = 12.449 + -0.249. Which is bigger: j or -0.1?
j
Let b be -2*52*(-8)/(-192). Let h = -4 - -1. Which is smaller: b or h?
b
Let y = 656 - 689.3. Let z = y + 34. Let v = z - 3.9. Are 1/4 and v nonequal?
True
Let m be (-123)/(-27) - 4/18 - 5. Is 141 smaller than m?
False
Let q be (-36)/(-270) + ((-1045)/150)/11. Let a = 4.3 - 4. Let w = -0.7 - a. Which is smaller: q or w?
w
Let t = 54350/43 - 1264. Which is smaller: t or -1?
-1
Let g = -299 - -295. Let l = -193/2 - -94. Is l greater than g?
True
Let t be (-204)/216 - (-3)/6. Is t bigger than -1?
True
Let q be (614/(-3))/((-5)/(45/(-2))). Let d = 2789/3 + q. Which is greater: 8 or d?
d
Let w = 1533 - 884. Is w at least as big as 648?
True
Let m be (-6)/(-4) - (-12)/(-8). Is 1/323 greater than m?
True
Let m = 3 + -2.8. Let d = 79.45 - 80. Let y = -0.85 - d. Which is greater: m or y?
m
Suppose -o - 29 - 32 = -2*z, -2*z + 4*o = -46. Suppose m = 3*x - z, 5*x - 10 = 3*x. Let v = 17 + m. Which is greater: -0.11 or v?
-0.11
Let p(x) = 2*x - 1. Let l be p(-1). Let c be 3 - (l + 280/45). Let y = 5 + -5. Is y not equal to c?
True
Let o be ((-12)/8 + (-3)/(-6))*-17. Is o != 17?
False
Let u be 44/(-12) - 10/(-15). Let j be u/(63/(-15))*-1. Is j greater than 1?
False
Suppose 0 = -v + 21 - 2. Let k = -26 + v. Let f be 3/k*(-6)/(-27). Which is greater: 0 or f?
0
Suppose 4*k = 7*k + 21*k. Let c = -1/700 + 533/5600. Is k greater than c?
False
Let d(h) = -h**2 - 3*h + 14. Let x be d(-8). Let t be (x/8)/(2/8) - -3. Is -7 <= t?
False
Let v = -24 + 29. Let g be 18/v - (11 - 7). Which is bigger: 1 or g?
1
Let q be 10/4 + 5/(80/(-24)). Which is smaller: -1/151 or q?
-1/151
Let b be (5/15)/((-1)/3). Let o(g) = 10*g - 2. Let k be o(-1). Let y be ((-4)/210)/(4/k). Which is bigger: b or y?
y
Let h(r) = -r**2 + 25*r + 55. Let t be h(27). Is t < 1/3?
False
Let n = 0.1 - 0.1. Let s = 144 - 167. Do n and s have the same value?
False
Suppose -5*t = -3*t - z - 5, 0 = 2*t + z - 3. Suppose 10 = -t*a - 12. Which is greater: a or -23/2?
a
Let f be 2/(-6) + (-25)/(-3). Suppose 0 = -3*z + 4 + f. Suppose -x - w = -4*w - 1, 4*x + w - z = 0. Which is greater: x or -1/13?
x
Suppose -2 = -2*i - 4*u, 0 = -i - 0*i - 5*u - 8. Let h(x) = x + 36. Let z be h(-29). Is z smaller than i?
False
Let o = 1 + -2. Let m = 17.7 - 25.7. Let z = m - o. Is z smaller than 0?
True
Let l = 29 - 17. Suppose l = -3*r - 0*r. Is -9 > r?
False
Let w be 9652/55537*2/(-1). Let m = -36/79 - w. Which is greater: 0 or m?
0
Let z = 4.32 - 7.32. Let r be (7/(-105))/(4/(-10)). Is z at least as big as r?
False
Let a = -13.88 - -14. Let r = 0.21 + -0.53. Let x = r + a. Is x less than 8?
True
Let j = -522518/51 + 10246. Which is greater: 0 or j?
j
Let u = -14/3221 + 45877/11296047. Which is smaller: -1 or u?
-1
Let y = 13.75 - 1.15. Let a = -14 + y. Let p = a + 1.6. Which is greater: p or -5?
p
Let i = -149222272 + 359178002533/2407. Let p = i + 74/29. Which is bigger: -1 or p?
p
Let n(o) = -o - 6. Let y be n(-6). Suppose 2*w + 2*d + 38 = y, -3*w - d = -0*d + 55. Let p be w/(-9) + 60/(-26). Which is smaller: -2/3 or p?
-2/3
Let h = -259 + 259.1. Is h less than -62.6?
False
Let k(c) = 7*c + 39. Let v be k(-26). Which is smaller: v or -145?
-145
Suppose 3*m - 345 = -4*k, 2*m = 12*k - 17*k + 440. Let f be (6/(-8))/(k/(-48)). Are f and -113 non-equal?
True
Let w be 13 + (-1 + 2 - -1). Let z = w - 16. Are z and -2/23 nonequal?
True
Let f = 3014 - 3025. Are f and -206/19 non-equal?
True
Let x(u) = -u**3 + 51*u**2 + 53*u + 36. Let k be x(52). Is -1/5 bigger than k?
False
Let h be (7/4)/((-270)/45200). Let q = 293 + h. Is q smaller than 0?
False
Let s = 94.0074 - 0.0074. Which is greater: 4 or s?
s
Suppose 3*c + 679 = 2*h, -57*h + 59*h - 697 = -3*c. Which is smaller: 687/2 or h?
687/2
Let h(v) = v**3 + 14*v**2 + 2. Let x be h(-14). Suppose -3*q - x*r = 2*q - 18, -2*q - r = -8. Are 6/7 and q non-equal?
True
Let s be -4 - 405/20 - 10/(-8). Which is smaller: s or -34?
-34
Let n = -0.4 + -0.1. Let a = -199 - -123. Let b = a + 75.9. Which is greater: n or b?
b
Let x(c) = -c**2 + 11*c - 24. Let g be x(2). Which is bigger: 4/7 or g?
4/7
Let y = 19 + -19. Suppose 2*w = 4*a + 7 - 23, -3*w + 2*a - 8 = y. Which is greater: -7 or w?
w
Suppose 3*b - 15 = -3*r, 0 = -b + 6*b + 3*r - 25. Let w(t) = -t**3 + 2*t**2 + t - 1. Let n be w(0). Is b at least as big as n?
True
Let b = -451 - -130791/290. Which is smaller: 0 or b?
0
Suppose -9 = -t + 4*t. Let d = t + 4. Let y be 80/45 + 2/9. Which is bigger: y or d?
y
Suppose 8*r - 32 = 6*r. Suppose -2*k - 12 - r = 0. Which is smaller: k or -10?
k
Let q be (-15)/5 + 1 + 8. Suppose -4*y = -4*b + 12, -3*b + 5*b + q = -y. Does b = -3?
False
Let q(g) = 4*g + 3. Let j be q(-7). Let p = 724 + -749. Are j and p unequal?
False
Let a = 61721 - 431265/7. Let q = a - 112. Which is greater: q or 0?
0
Suppose 2*r - 4 = 4*v, 12*r - 11*r - 2 = 0. Is v < -14/157?
False
Let u = 160 + 3. Let m = u - 122. Are m and 42 non-equal?
True
Let p(u) = -u**2 + 30*u - 104. Let f be p(26). Let h be (f + -1)/(-2 + 1). Which is greater: h or 3/13?
h
Suppose -36*r = 106 - 1330. Is r greater than or equal to 137/4?
False
Suppose 4*j + 0*j - 20 = 0. Let y be 6/(-4)*(-22)/(-33)*-5. Is y bigger than j?
False
Let w = 96 - 190. Let o = 156 + w. Are 62 and o equal?
True
Let z(i) = -i**2 - 10*i - 3. Let b be z(-10). Which is smaller: b or -16/5?
-16/5
Let m(g) be the second derivative of -3*g**3/2 - 37*g**2 - 2*g + 10. L