8 + 2 + 0. Let s = 2 + 0. Is s smaller than g?
False
Let q(p) = 7*p + 15. Let y be q(6). Suppose 3*t - y + 48 = 0. Is t <= 2?
False
Let r = 506 - 489. Suppose -l - 1 = -15. Let k = l - r. Is k less than -5?
False
Suppose -2*q + 22 = -4*o + o, 3*o = -3*q - 12. Let r = -7 - o. Let j be (r + 3/3)/(-1). Which is bigger: 2 or j?
2
Let z = -191 - -191.5. Is z smaller than -2?
False
Let a be ((-9)/(-6))/1*(-40)/1050. Let u(m) = m**2 - 9*m - 8. Let k be u(10). Which is smaller: k or a?
a
Let b(d) = -5*d - 2. Let y be b(-1). Let t be y*(-2)/12 - 1/2. Which is greater: 2/305 or t?
2/305
Suppose -6*n - 6 = -5*n. Let t be ((-4)/n)/((-50)/(-30)). Is 3 bigger than t?
True
Let l be 5 - 25/45 - 4. Is l < 0?
False
Let i = -0.24 - -0.21. Let w = i - 5.97. Which is greater: -2/7 or w?
-2/7
Let w be -1*2/(24/(-9) - -3). Let g be (-63)/w*28/(-315). Are 0 and g unequal?
True
Let c = 119/3 + -39. Suppose -i - 1 = 0, 0*s + s + 2*i = 4. Suppose z + 5 - s = 0. Which is smaller: z or c?
c
Let i = 19 - 24. Let h be (-5 + i)*12/8. Let t be (65/h + 4)*0. Is t equal to -1/42?
False
Let y = 10 + -15. Let n = -37.992 - -38. Let o = -0.108 + n. Is o > y?
True
Let q(h) = -h**2 + 5*h - 3. Let d be q(4). Let v be (-412)/1776 - d/(-4). Let b = 985/777 + v. Is 1 <= b?
True
Let u = 53/63 - 5/9. Suppose 4*z = -k + 1, 2*k - 13 = -2*z - 11. Is u > k?
False
Let z(f) = -9*f**2 + 3. Let p be z(-2). Let a be (-2)/p*(-27)/45. Is 0 < a?
False
Let i = -1158 - -1157.54. Which is smaller: i or -3?
-3
Suppose -a - 1 = -3*d, 2*a + 2 = -2*d - d. Which is smaller: 20/31 or d?
d
Let t be 36/24*2*-1. Is t bigger than -14?
True
Let z = -40 + 45. Suppose 3*c = 62 - 17. Suppose 0 = c*n - 18*n + 15. Are z and n unequal?
False
Let u = -11 - -6. Let r = -427 - -427.1. Which is smaller: u or r?
u
Suppose -4*j - 4 = -0. Let b = -10 + -157. Let h = 834/5 + b. Which is bigger: h or j?
h
Let f be 3/((-42)/58) + 1. Is f < -4?
False
Let i be ((-3)/3)/(3/15) - -6. Let z = 6.23 - 0.23. Which is smaller: z or i?
i
Let v = -2336/215 + -294316/6235. Let w = v + 58. Let s = 3 + -2. Is w not equal to s?
True
Let n = 24.4 + -24.3. Which is smaller: n or 59?
n
Let p = 12 + -11.3. Let u = p - -6.3. Let n = u + -7.5. Which is smaller: n or -1?
-1
Suppose 7*a + 2*z - 12 = 5*a, a = -3*z + 16. Let d be a*(-4)/(176/20). Which is smaller: d or 1?
d
Suppose -4*v - 27 = 1. Let w(d) be the first derivative of -3*d**2/2 - 14*d - 13. Let a be w(v). Is 7 < a?
False
Let b be 4/(-6) + (-2510)/(-30). Let f = b + -122. Let k = -41 - f. Which is smaller: k or -5?
-5
Let q = 0 - 2. Let j = -39 - -38. Let n = j - q. Which is greater: 1/8 or n?
n
Let v(f) = -f**2 + 6*f + 69. Let y be v(11). Suppose 5*p = 2 + 43. Suppose -10*o - y = -p*o. Which is smaller: -16 or o?
-16
Let g = -4 - 5. Let z be (1/(-24))/(g/(-18)). Which is bigger: 0 or z?
0
Suppose -3*s + 0 = -6. Suppose 11 = s*n - 5. Let i be n/9*11/(-44). Is i >= 0?
False
Let o = -215/117 + 21/13. Let u = 2 - 1.7. Is u less than o?
False
Let d = 3.54 - -0.46. Suppose -5*f = 4*f + 36. Are d and f equal?
False
Let y = 42 + -4. Which is bigger: 51 or y?
51
Let i(b) = 2*b**3 - b**2 - b - 1. Let o be i(-1). Let a be (4 - (o + 8))*0. Let r be (-4)/(-6)*6/(-182). Which is smaller: r or a?
r
Suppose -3*h - 3*x + 24 = 0, 2*h + 3*x - 8*x + 5 = 0. Let v be (-3)/h*(56/(-6) - -2). Is v less than or equal to 3?
False
Let f(h) = -h**3 - 9*h**2 + 26*h - 6. Let k be f(3). Is k equal to 7/5?
False
Suppose 3*o + 7 = 4*i, -3*i - i - 28 = 4*o. Let w be (i/3)/(345/(-117) - -3). Do -12 and w have the same value?
False
Let x = 2 - 7. Let i be -3 - -4 - 14 - x. Is -1 greater than or equal to i?
True
Let m = -70/11 - -8. Suppose 2*u + 26 = 4*p, -3*p + 2*u + 8 + 14 = 0. Suppose -y - 2*z = p, -3*y - z + 4*z = -15. Is m at most y?
True
Let k be ((-447)/(-4))/(15/(-1120)*-14). Is k at least as big as 595?
True
Let y = 617 + -600. Is y equal to 16?
False
Suppose -56 + 98 = -7*u. Is u < -6?
False
Let n be ((-60)/45)/((-2)/(-36)). Let y = n - -23. Let j(w) = 11*w**2 - 3*w - 1. Let b be j(y). Is 15 smaller than b?
False
Let n be ((-3)/18)/(2/18). Are -1 and n unequal?
True
Let s be (50/(-12) - 4/(-6))*2. Which is smaller: s or -47/8?
s
Let s(j) = -j**2 - 5*j + 14. Let k be s(-7). Which is smaller: 32 or k?
k
Suppose 3*l - 5*l = -4. Let f = 94 + -117. Let d = 23.3 + f. Is d greater than l?
False
Let y(o) = -o**2 + 38*o + 11. Let m be y(39). Is -39 smaller than m?
True
Suppose -4*f = -7*z + 33, 2*f = -2*z + 7*f - 6. Suppose -3*x = -23 - 103. Suppose 3*u + 15 = x. Does z = u?
False
Let h(y) = -y + 4. Suppose u - 2*u + 8 = 0. Let q be h(u). Let z be (q/(-10))/(2/(-10)). Is z less than or equal to -9/4?
False
Suppose -r + 27 = k, r + 4*k - 33 = k. Suppose 2*u = -36 + r. Which is greater: -4 or u?
-4
Let i be (-198)/7 - (-2)/7. Let h be 3/2*i/(-21). Which is bigger: h or 16/11?
h
Let c = 1 + -37. Let a = 20 + c. Let l = a + 38. Is 21 greater than l?
False
Let f = -20.604 + -0.596. Which is smaller: f or 3/4?
f
Let v be (-5 + 4)/((-2)/6). Suppose -4*q + 7 = -5*m, 2*q - 5 = v*q + m. Let b = 0 - 2. Is q at most b?
True
Let d = 0.54 + 4.66. Let o = d - 3.2. Which is smaller: -1/6 or o?
-1/6
Suppose 4*n = 12, 66*w = 63*w - 2*n + 9. Let y be (1 + 0)*(-8)/62. Which is smaller: w or y?
y
Suppose 0 = -y + 4*q - 2, 3*y + 2*q = 2*y + 22. Let u = y - 11. Which is bigger: u or 20/11?
u
Let j = -1.404 + -0.096. Which is smaller: j or 4?
j
Suppose -a = 28 - 19. Let w = 10 + a. Which is greater: 3/2 or w?
3/2
Suppose 0 = -y - 3*o - 11 + 88, -4*y - 4*o + 340 = 0. Suppose y = 6*k + 11. Is k at most 12?
False
Let s = 165 + -172. Which is greater: 27 or s?
27
Let c(s) = s**2 - 7. Let m be c(-3). Let p be (-2 + m)/(4 + -5). Let k = -1 - 0. Which is bigger: k or p?
p
Let q = 53530038770/5481 - 9766473. Let h = -2/203 + q. Which is smaller: h or 0?
0
Let t be -5 + (-74631)/(-12870) + (-40)/50. Which is smaller: 0 or t?
t
Let i = -2590 + 1486. Let q = -2153/2 - i. Let w = q - 111/4. Is 0 greater than w?
True
Suppose -4*s = -2*s - 6. Let j be 3 + (1/2 - s/6). Is 24 bigger than j?
True
Let d be (23 + -28)*2/(-30). Which is smaller: -3 or d?
-3
Let p(j) = 1. Let y(q) = -q + 13. Let x(i) = 6*p(i) - y(i). Suppose 0 = u + b + 3, -7*b = -5*u - 3*b + 12. Let t be x(u). Is -6 < t?
False
Suppose -7 = 18*v + 11. Is -10/7 greater than or equal to v?
False
Let r = -99 + 111. Let a(d) = 4*d - 32. Let z be a(r). Is 86/5 greater than z?
True
Let f(i) = -i**2 - 2*i + 50. Let s be f(10). Is -69 greater than s?
True
Let y = 423/156310 + 2/2695. Is y < 0?
False
Let v = -0.36 - -3.96. Let g = -3.4 - v. Is g greater than or equal to 1?
False
Suppose 0 = -2*o + 4. Suppose -o*h = 5*w - h - 15, 5*w = -5*h - 5. Suppose w*n - 3*k - 31 = -2*k, -2*n + 38 = 4*k. Is 8 bigger than n?
False
Suppose 2*b + 11 = 5*b - x, b = -5*x + 9. Suppose -3*o + 7 = b*o. Which is bigger: o or -2/13?
o
Suppose 3*r = -b - 7, -5*r = -3*b + 22 + 13. Suppose -p + 4*p = -2*j, -2*p = b*j. Is 2 < j?
False
Let i be (9/6 - (-5)/(-2))*1. Let n be 219/(-9)*(-3 + 2). Let l = n + -24. Which is greater: i or l?
l
Let g be (-4644)/43*(-2)/9. Which is smaller: g or 42?
g
Let m = 4 - 4.5. Let f = m + 0.2. Let z be 3 - (-2 + (-76)/(-16)). Is f equal to z?
False
Let o(a) = 8*a + 730. Let s be o(-42). Which is smaller: s or 392?
392
Let h = -2341 + 2341. Is h greater than 6/251?
False
Suppose 3*d - 2 = 2*k, 5*k = -4*d + k + 16. Suppose -16 = -7*b + 3*b. Let o = b - d. Which is greater: 1/2 or o?
o
Let c(p) = p**3 + 6*p**2 - 11*p - 31. Let j be c(-7). Which is smaller: -13 or j?
-13
Suppose 0 = 8*u + 352 - 376. Which is smaller: 99/29 or u?
u
Let f(s) = 17*s + 92. Let v be f(-8). Does v = -34?
False
Suppose t - 176 = 100. Let x be (4/30)/(t/60). Do x and -1 have different values?
True
Suppose 0*y - 2*y + 2*p + 18 = 0, p = 4*y - 30. Suppose -4*c = -2*o - 40, 2*c - 2*o = y*c - 50. Which is smaller: c or 8?
8
Let y be 3/(-3) + (-38183)/99. Let s = y - -1160/3. Which is greater: s or 1?
1
Let h(m) = -4*m**2 - 5*m + 6. Let q be h(7). Let r be 125/q*(-6)/(-20). Which is smaller: r or -1?
-1
Let d be 132/(-4)*16/24. Let z(q) = -7*q + 5. Let f be z(4). Let y = f - d. Is y > -2/5?
False
Suppose 6*b + 527 - 1511 = 0. Are 163 and b nonequal?
True
Let f = -11 + 9. Let k = -1 - 19. Let t be f/(k/(-42)) + 1. Which is smaller: t or 