t i be (-216)/308 + (-12)/(-28). Which is smaller: i or 1?
i
Let s = 3.11 - 218.11. Let u = 126 + s. Which is smaller: -0.1 or u?
u
Let a(m) be the third derivative of -m**5/60 + m**4/12 + 17*m**3/6 - 3*m**2. Let p be a(6). Which is smaller: p or 2?
p
Suppose 34*u = 35*u - 5. Suppose -u*x = 3*l - 5, 0*l - 2*x + 1 = l. Are 5 and l unequal?
False
Let v(o) = 5*o**3 + 4*o**2 + o + 10. Let d be v(4). Is d equal to 397?
False
Let z = -149 + 138. Let o be ((-8)/z)/((-6)/(-12)). Which is greater: o or -0.1?
o
Let j(c) = -3*c - 16. Let o be j(-7). Suppose -31 = o*x - 36. Is x at least 6?
False
Suppose -h - 3*z = -26, 4*z - 4 = -0*z. Is 23 bigger than h?
False
Let o be 1909742/(-2470) - 4/(-26). Let d = o + 773. Which is greater: 1 or d?
1
Let v = 806 - 805. Which is bigger: 2/2311 or v?
v
Let m(l) = -7*l**2 + 19*l - 8. Let w(q) = -3*q**2 + 9*q - 4. Let o(t) = -2*m(t) + 5*w(t). Let z be o(2). Let h = -11 - -16. Which is smaller: h or z?
h
Let m be 26/(-10)*-2*5. Suppose 4*k + k - 92 = 3*l, 2*k + l = 28. Let h = m - k. Is h > 9?
True
Let n be (-154)/(-84) + (-6)/4. Which is smaller: n or 0.353?
n
Let x = 22 + -2. Let s be -1 + (-7)/((-21)/x). Let j = s - 6. Which is greater: -2/5 or j?
j
Let h(q) = 2*q + 1. Let v be h(-3). Suppose 5*b = 4*t, 22*b = 23*b - 5*t - 21. Is b greater than v?
True
Let k = -71 - -43. Let s(b) = 3*b**2 - 23*b - 11. Let y be s(7). Is y at least as big as k?
True
Let h = -15.6 + 15.8. Which is greater: h or -2/3?
h
Let z = -279.9 - -280. Let y = 4759 + -61927/13. Is y bigger than z?
False
Let p be 118/295 - 6/15. Is p less than 0.041?
True
Let u = -56 + 112. Let l = u + -55. Which is bigger: 0.08 or l?
l
Let a = 0.254 - -1.116. Which is smaller: 0 or a?
0
Let z = -3098/13 + 238. Which is smaller: 0 or z?
z
Let h(n) = 5*n**2 - 1. Let r be h(1). Suppose r*x - 3*t + 31 = 0, -2*t = -2*x - 0*x - 16. Let v(d) = 5*d - 38. Let s be v(6). Is x less than s?
False
Let g be (-2*30/(-12))/(1/(-4)). Let o be g/(-5) - 12 - -4. Are -40/13 and o unequal?
True
Suppose -4*m = v + 4*v + 4, 0 = -v - 5*m - 5. Which is greater: v or -9/26?
v
Let w be 22/(-60) - (-1)/(-3). Let i be (-6)/(8/(-2) + 8). Let z = i - w. Which is smaller: z or 0?
z
Let b = -90.2 - -90. Is b bigger than 2.8?
False
Let n = -70 + 351/5. Which is greater: n or -26?
n
Let y be (-42)/18*(-19 - -1). Let q = y + -59. Suppose -2*d + 58 = -4*j + d, 0 = -4*j - 3*d - 70. Which is greater: q or j?
j
Let m = -76/165 - -2/33. Let t = 167.83 + -168. Is m < t?
True
Let z be (-1 - 4) + 2 - -8. Suppose 28 - 11 = 2*q - z*j, -4*q - 2*j = -22. Suppose -6*g = -3*g - q. Is 12/7 at least as big as g?
False
Suppose -8127 = -x - 3*x - 3*q, 4*q = x - 2008. Let d be (-598)/x - (-1)/3. Which is smaller: 0 or d?
0
Let r(t) = -t**2 - 8*t + 22. Let c be r(-11). Let l = c + 7. Let h be ((-1)/l)/((-7)/(-196)). Is 9 bigger than h?
True
Let p(m) = -3*m - 14. Let b be p(-6). Let s be 2/(-3) - b/12. Let n = 3598/31 - 116. Are n and s nonequal?
True
Suppose 0 = 4*f - 4*q, -5*f - 4*q = -f + 32. Let a(b) = b**2 + 4*b - 2. Let c be a(f). Which is smaller: c or -11/7?
c
Let t = -2.8 - -3. Let i = 0.068 - 65.068. Let d = -71 - i. Which is bigger: t or d?
t
Let u be (-3)/15 + (-171)/(-90). Which is smaller: u or 1?
1
Suppose -7*d + 2*w + 1015 = -4*d, 3*d + 5*w - 980 = 0. Which is greater: d or 0.2?
d
Suppose -258*m + 70 = -260*m. Is m < -38?
False
Let u be 16/((-176)/33) - (-1 + 18). Is u at most -21?
False
Let c(h) = 11*h + 1. Let k be c(1). Let u be 99/k - 21/(-28). Is u < 33/4?
False
Let f be (-6)/18*(-1)/51. Which is smaller: f or -1?
-1
Let y be (-99)/69*(-1)/(-3). Which is bigger: 1 or y?
1
Let g be (-2 + 0)/((-1)/(-342)). Let h = -9581/14 - g. Is 1 < h?
False
Let p be (-18)/81*5/(3495/9). Is p at most 1?
True
Let x = -349 - -379. Is x greater than 27?
True
Let k = 816 - 816.2. Which is smaller: -188 or k?
-188
Let k = 2 - 2. Let f = -9521.16 - -9521. Is k less than or equal to f?
False
Suppose 245*m - 246*m + 10 = -v, m + 10 = -3*v. Let x = 0.77 - 0.07. Let g = x - -0.3. Which is smaller: g or v?
v
Let w(z) = 5*z**2 - 29*z**3 + 2 + 57*z**3 - 27*z**3 + 5*z + 0*z**2. Suppose 9 = -0*u - 3*u. Let b be w(u). Which is bigger: b or 4?
b
Suppose 5*i - 3*i = 60. Let b = i - 73/2. Which is bigger: b or 1/3?
1/3
Let m = -2 - 0.2. Let a = m - -0.2. Suppose 0 = -0*p - 2*p - 4. Is a bigger than p?
False
Let m = 14.2 - 14. Let a(y) = -y**2 - 9*y - 3. Let t be (-10)/1 - (-2 - -1). Let o be a(t). Is m at most o?
False
Let y = -80 - -76. Which is smaller: 4/7 or y?
y
Let b = 23 - 21. Suppose 10 = 8*u + b. Is -1/25 bigger than u?
False
Let n = -102 + 179. Let p = n - 76. Do -2/89 and p have different values?
True
Suppose -a = -5*g - 0*g + 24, 3*a - 3*g = -24. Let y be (1/a)/(-8 - -9). Suppose -4*f - f = -0*f. Which is smaller: y or f?
y
Let a = 5366 - 5366. Let c = 33571/26 + -1291. Do a and c have the same value?
False
Let o = -18268 - -18243. Let l = 31 + -54. Which is greater: l or o?
l
Suppose k - 5*t + 2 = 0, -24 = -19*k + 23*k - 4*t. Which is smaller: k or -1?
k
Let f be 1220/80*(1 - (-15)/25). Is f less than -1?
False
Let r = 1075339/15 + -71726. Let j = r + 109/3. Is -1 smaller than j?
True
Let x = 27 - 19. Let o be (x/(-10))/(22/(-55)). Suppose 5*w = 2*v - 17, -3*w = o*v - 0*w + 7. Is v bigger than -2?
True
Let p be 22950/76472 + 5/(-20). Let j = -3/121 + p. Are 1 and j equal?
False
Let h = 151/4 + -38. Let q = -863 + 862.87. Which is bigger: h or q?
q
Let b be 3/6 - 23/2. Let f = b + 11. Let z = -724/801 + 4/267. Is z equal to f?
False
Suppose 0 = 3*b - 6*b + 33. Let y(z) = 3*z**2 + 6*z + 11. Let h be y(-2). Do h and b have the same value?
True
Let j = -0.098 + 0.012. Let d = 0.014 - j. Is d smaller than -2?
False
Let k be (6/(-4))/(6/(-8)) + 0. Let p be 6/2 - (-65)/(-21). Which is bigger: k or p?
k
Let k = 297 + -296. Let h be (-8)/(-6) - 1/3. Are h and k unequal?
False
Let w = 35 + -17. Suppose -4*j = -7*j - w. Let z(b) = b**2 + 5*b - 3. Let o be z(j). Which is smaller: 6 or o?
o
Let u be (-8*26/12480)/(6/16). Let q(h) = -h - 6. Let f be q(-8). Suppose -r - v + f = -2*r, 4*v - 7 = 3*r. Is u less than r?
False
Suppose 0 = -g + 2*g - 4. Suppose -g*x + 5*b = 51 + 57, 104 = -4*x + 4*b. Is -22 less than x?
False
Let f(c) = -c**3 - 6*c**2 - 7*c - 5. Let i be f(-5). Let k = 59 + -54. Let p be (17 - k)*(1 + (-1)/2). Which is smaller: p or i?
i
Let s = -441 - -440.08. Is s at most as big as 1?
True
Let q = -197 - -173. Let g be ((-18)/(-10))/(-3)*-5. Suppose 0 = 2*z + g*z. Are q and z equal?
False
Let p = 916 - 11884/13. Let a be (3/9)/((-5)/(-15)). Is p bigger than a?
True
Let a = 3 + -3. Let n(b) = b**3 + 8*b**2 - 2. Let f(u) = -10*u**2 + 3*u - 1. Let g be f(1). Let o be n(g). Which is smaller: o or a?
o
Suppose -3*o = -5*o + 18. Suppose o*j - 7*j = 0. Let y be ((-6)/(-9))/(13/9). Which is smaller: y or j?
j
Let d = 1557 - 1094. Which is bigger: d or 462?
d
Suppose 6*r + 2*m + 10 = 2*r, 5*m = -r + 11. Let c be (-2 - r)*12/8. Suppose -4*d = 3*l + 16, c*l + 7 = 5*d + 27. Which is smaller: 3/23 or l?
l
Let b = 19/21 - 26/21. Is b at least 2/5?
False
Suppose -140 = -13*r + 17*r. Let p be (15/r)/((-10)/7). Are p and 0 non-equal?
True
Let n = 11.4 + -0.5. Let b = -11 + n. Let q = 32/85 + 14/17. Which is smaller: q or b?
b
Let p(i) = -i**3 + 8*i**2 - 2*i - 9. Let m be p(7). Let w = 44 - m. Is 19 <= w?
False
Let r be 72/216 + 8/(-6). Is -58/61 > r?
True
Let i = 974 + -1152. Is -3 at most as big as i?
False
Let p = -861 - -141. Which is smaller: p or -721?
-721
Let y = -118 - -119.976. Let w = 2 - y. Does 1 = w?
False
Let f be 3 - (3 - (4 - 3)). Suppose 8*s + 30 = 13*s. Let r be s + -2 + 228/(-66). Which is greater: r or f?
f
Let w be (0 - 1 - 0)/(-1). Let u be (3 + 0)/(w/(-3)). Let i(s) = 15*s - 22. Let n be i(1). Which is bigger: u or n?
n
Suppose 4*k = 10 - 202. Let a = k + 111. Let d be (72/a)/(18/14). Is 2 >= d?
True
Let t = -149 - -83. Let r be t/8 - 5/(-20). Let s be (r/32)/((-2)/8). Which is smaller: -1/7 or s?
-1/7
Let s = -603 - -603.2. Which is smaller: 179 or s?
s
Let t = -9 - -9.2. Let c = 848 + -4242/5. Which is greater: t or c?
t
Let r = 810.6 - 811. Which is greater: r or 1/31?
1/31
Let b be 87*(-7)/21*-2. Which is bigger: 45 or b?
b
Let w = -16189 + 115004/7. Let q = 241 - w. Which is smaller: 0 or q?
0
Let x(m) = -4