8 - 17. Suppose -5*i = -4 - t. Let p be 1*((-27)/12)/(45/(-36)). Do i and p have the same value?
False
Suppose 9*r + 2*r - 572 = 0. Let a = r - 31. Which is smaller: a or 20?
20
Suppose -6*t + 3*t - 69 = 0. Let m = -25 - t. Let p be 0*(-1)/(m - -4). Are p and 2/21 equal?
False
Let y = -421 - -422. Does 2 = y?
False
Suppose 67*g - 68*g = -3*f - 110, -2*f - 410 = -4*g. Is g > 499/5?
True
Suppose 90 = r + r. Let g be 2/9 + (-40)/r. Which is bigger: g or -0.01?
-0.01
Let t(u) = -u**2 + 27*u - 51. Let i be t(25). Which is greater: i or 7/24?
7/24
Let k = -2 + 4. Let w = k - 14. Which is smaller: -1 or w?
w
Let y(r) = r**2 - 9*r - 6. Let v be y(11). Suppose 3*o + 0*w + w = -v, 2*o - 1 = -3*w. Which is smaller: o or -17/3?
o
Suppose -3*a = 3*q - 5*a + 39, -2*q = a + 33. Let x be 36/40*q/36. Do 0 and x have different values?
True
Let n be ((-224)/616)/(4/(-66)). Is 15 less than n?
False
Let r be (2*-3 + 2)*295/(-20). Do 59 and r have the same value?
True
Let y = 667 + -667.1. Is -230 less than or equal to y?
True
Let h be (-4)/(-40) - 310/5100. Which is smaller: h or 0.4?
h
Let n = -10301/2 - -5266. Let d = n + -21485/186. Do d and 1 have the same value?
False
Let p be (-2*2/40)/(3/(-6)). Let z(f) = -f - 5. Let y be z(-6). Is y at most p?
False
Let p = -60/13 + 1406/299. Let y be ((-36)/24)/(2/(-4)). Suppose 3*u - y = -0. Is u at least as big as p?
True
Let a be -1*5*(-2)/4. Let r be ((-9)/(-6))/(2/4). Suppose 9 = 3*x + 3*k, -2*x - 2*k = -3*k - r. Which is smaller: x or a?
x
Let l(s) = -s**3 + 21*s**2 + 16*s - 290. Let v be l(21). Let n(c) = c**3 + 8*c**2 + 4*c - 1. Let z be n(-6). Which is greater: v or z?
z
Let p be 2121/49 - 0/(-1). Let w = 0 + 43. Let v = p - w. Is v at least as big as 0?
True
Let b = 404 - 402. Which is smaller: -192 or b?
-192
Let u be (-9)/(-6) - 18/12. Suppose u = -5*r + 38 - 13. Suppose l - 12 = -r*l. Which is smaller: 3 or l?
l
Let q = 52 + -19. Let y be (-22)/q + (-2)/(-3). Which is greater: -2/3 or y?
y
Let g = 7.24 - 8.3. Let k = 0.06 + g. Which is smaller: 21 or k?
k
Let r = -97 - -93. Which is greater: -26/7 or r?
-26/7
Let b = 78 + -75. Let l be b + (3 + -6)*1. Is 10 < l?
False
Let x = -0.474 - -0.474. Which is smaller: 1/184 or x?
x
Let i = 8.1 - 0.1. Let a = -7.94 + i. Let n = a - -0.04. Is 2/3 bigger than n?
True
Let i(f) = -5*f**3 + 17*f**2 + 11*f + 15. Let k(n) = 0*n**2 - 4*n**3 - n**2 + 5*n**3. Let o(a) = -i(a) - 6*k(a). Let v be o(-10). Is -11/3 >= v?
True
Let s(y) = -15*y + 3. Let g be s(-1). Let w be ((-1)/228)/(g/24). Which is smaller: w or -1?
-1
Let b be 0 + (-302)/(-18) + (-4)/(-18). Let c be (b/3)/(15/(-10)). Which is smaller: c or -3?
c
Let l = 22.9 + -23. Let p = -0.3 - 5.7. Let v = -6.2 - p. Which is bigger: v or l?
l
Let j = 1.4 + -5.4. Let k = -4.3 - j. Which is smaller: k or -0.2?
k
Let p(t) = 5*t - 35. Let k be p(8). Suppose 4*g = k*g - 1. Is g bigger than 1?
False
Let j = -141 + 165. Is j bigger than 116/5?
True
Let k be (7 + -5 + 0)/(2/6). Let t = 9 - 6. Suppose t*f + n = -3, 0*f + 5*n + 1 = -f. Which is smaller: k or f?
f
Let u = 10.3 - 10.2. Which is smaller: -83 or u?
-83
Let c(v) = v**3 + 10*v**2 + 16*v - 16. Let z be c(-8). Which is smaller: -12 or z?
z
Let a be (-12 - (-1 - 3))*1/(-2). Suppose 0 = -u + 4*x, -2*u + a*x = 3*u. Suppose -3*w = -2*d - 3 - 2, -5*w + 9 = -4*d. Is w at least u?
True
Suppose -4*a - 12 = 0, 0*f - 3*f + 237 = 5*a. Suppose 5*d + 95 = -5*k, -2*d - f = 4*k - 6*d. Let b = 27 + k. Is b smaller than -2?
False
Let q = -22 + 18. Let f be (-18)/q - (-8)/16. Suppose -y - 56 = -5*y - 5*c, 2*c - 53 = -f*y. Is y at most as big as 8?
False
Let p(b) = 2*b**2 - 39*b + 84. Let g be p(17). Which is greater: g or -2/155?
-2/155
Let z(i) = -i**2 - 7*i - 9. Let g be z(-4). Suppose -5*r + g*r = 0. Does r = -6/7?
False
Let x be (-7 - -3) + 4/(2*-1). Let j be (2/2)/(2/(-14)). Is j != x?
True
Let f = 6 - -2. Let r(d) = 26*d - 540. Let k be r(21). Which is bigger: k or f?
f
Let q = -11 - -13. Let t(a) = a + 19 + 0*a - q*a. Let x be t(15). Which is smaller: 2 or x?
2
Let n = -20 + 23. Suppose 0 = -t - 3*l + 4, -t + 0*l + n = 2*l. Let y be 3*((-18)/(-21) + -1). Which is smaller: t or y?
y
Let d = -0.05 + -11.95. Let u = -13 - d. Let g = 0.22 - 0.19. Is u at most g?
True
Let i = 2/433 - -35931/1732. Which is bigger: 21 or i?
21
Let l = -362.27 - -362. Which is smaller: l or 5?
l
Suppose -38*w + 15*w = -3013. Is w at most as big as 127?
False
Let v = -16 + 26. Let j(b) = -b**2 - 9*b + 35. Let t be j(-14). Let o = t + 34. Is o smaller than v?
True
Let o = 4619606/443 - 10428. Which is greater: -1 or o?
o
Let d = 7217/60911 - 3/3583. Let p = 4 - 3. Which is smaller: d or p?
d
Let s be (-15)/(-12)*(0 + 4). Suppose -h + s*h + 24 = 0. Let n = -27 - -19. Which is bigger: h or n?
h
Let j(k) = k**3 + 12*k**2 + 13*k + 16. Let h be j(-11). Suppose -4*f - 4 = -2*w, 1 = 2*f - 3*f + 2*w. Let l be f + (-8)/h + 3. Which is greater: l or 2?
l
Suppose 0 = -a - 3*s - 46, a + 4*a + 210 = 5*s. Let p = a - -41. Let j = -254 + 2788/11. Which is smaller: j or p?
p
Let m be (-5)/10 + -2 + (-1239)/30. Let y = -44 - m. Let c be -2*(-1 - 2/(-4)). Which is smaller: c or y?
y
Let j = -4687/5 - -933. Which is smaller: -3 or j?
j
Let i(c) = -6*c - 1. Suppose 0 = 3*n - 6*n - 3. Let s be i(n). Suppose 0 = 4*r - 9*r + s. Is 1 != r?
False
Let h be (0 - 1*-1) + -1. Let o = -57 + 61. Let c be (-8)/12*2/o*3. Does c = h?
False
Let i be (10/26)/((-1)/4). Let a be (12/(-18))/((-4)/(-18)). Is i less than a?
False
Let f be 330/27 + 10/(-45). Let h be ((-39)/6)/((-3)/f). Is h < 0?
False
Let n be 6/48 - (6/24 - 0). Are n and 0.94 equal?
False
Let w = 98 - 98. Which is smaller: -82 or w?
-82
Let i = -5 - -6. Let q = -22 + 21. Let s = i + q. Is 1 >= s?
True
Suppose -k - 9 = s - 6*s, -4*k - 3*s = -10. Let x be -1 - (76/(-74) + 0). Which is greater: k or x?
k
Let j = 14 - 19.5. Let v = -12.5 + 10. Let b = v - j. Which is bigger: b or 2?
b
Let o = 40286 - 40492.41. Let d = o - -205. Let k = -1.3 - d. Is k equal to -0.1?
False
Let q(y) = 39*y - 293. Let l be q(11). Which is greater: l or 133?
l
Let v be (-42)/(66/11) + 1490/214. Do v and 2/5 have the same value?
False
Let l be 0 + (-1 - 0 - -5). Suppose 0 = -2*c - 0*c + l. Suppose 2*m - 8 + 24 = 3*f, -c*m = f. Which is smaller: -5/6 or m?
m
Let f = 0.08 - 0.08. Let v = f - 2.2. Let h = -0.2 - v. Are 2 and h unequal?
False
Let i = -7.8 - 2.2. Let v = i + 9. Let g = 1.3 - 0.3. Is v greater than g?
False
Suppose -20*c = -37 + 17. Suppose 8 = -2*z + 4*z. Is z at least c?
True
Suppose 5*q = -2*c + 21, 0*q + 5*c - 18 = -q. Let u be ((-6)/(-99))/((12/(-9))/2). Let m = u + 35/22. Which is greater: m or q?
q
Let c = 43 - 39. Let v be c + (-20)/8 + -2. Are v and -11 non-equal?
True
Let k = 71/7 + -2088/161. Which is smaller: k or -3?
-3
Let h = 4/3845 - 6677/2722260. Do -1 and h have the same value?
False
Let z(c) = 27*c**3 - c**2 + 4*c - 3. Let h be z(1). Does -2/13 = h?
False
Let m be 3/2*(-1 - 118/(-30)). Suppose 6*a + 14 = -40. Let c be 1/5 + a/(-105). Which is greater: c or m?
m
Let s = -82 - -128. Suppose l = 4*k + s, -5*l + 235 = -2*k - 49. Is l less than 58?
False
Suppose 10 = 2*z + 6. Suppose 39 = -h - z*j, 32 + 104 = -4*h - 4*j. Is -28 greater than or equal to h?
True
Let p(f) = -f**3 + 34*f**2 - 16*f + 1. Let o be p(32). Is 1536 at most o?
True
Let u = -307/155 - -80/31. Let s = -15 + 7. Let o = -6 - s. Is o >= u?
True
Let y be (7/(-2) + 3)/44. Let t = 961 + -962. Which is smaller: t or y?
t
Let l(r) = -r**3 - 10*r**2 + 63*r + 52. Let c be l(-15). Which is smaller: c or 231?
231
Suppose -2510*q = -2506*q + 4. Do 154.7 and q have the same value?
False
Let b(r) = -50*r - 4. Let c be b(3). Let x = c - -124. Is -29 bigger than x?
True
Let c = -2.248 - -0.248. Let j be (-10)/(-4)*16/(-50). Is j < c?
False
Let d = -7.2 + 5.2. Is -90 >= d?
False
Let m = 460385 - 144561093/314. Let n = m - -350811/1570. Let i = n + -222. Which is bigger: i or 0?
i
Let s = 11 + -15. Let u(o) = o**2 + 2*o + 8. Let a(w) = -3*w**2 - 5*w - 23. Let m(x) = -6*a(x) - 17*u(x). Let l be m(2). Which is smaller: s or l?
s
Let c be 6/(-8)*2/3. Suppose -7*k = 5*k + 24. Let o be k/3*(315/55 + -6). Are o and c equal?
False
Let y = -30.9 - -20.9. Is y less than -1?
True
Let z(g) = g**3 + 10*g**2 + 5*g - 36. Let w be z(-9). Is w grea