t o be y(20). Let r be (-8 + 3 - -8)/((-78)/(-32)). Does o = r?
False
Let s = -3 + 2. Let d(w) = -w**3 - 9*w**2 + 2*w - 5. Let b be d(-10). Let u = 227/3 - b. Which is greater: s or u?
u
Let f be (6525/250 - -6)/(-1 - -3). Which is smaller: f or 15?
15
Let z(x) = -x**2 + 18*x - 10. Let t(l) = 9*l - 1. Let i be t(1). Let b be ((-4)/i)/(4/(-144)). Let y be z(b). Is -12 at most y?
True
Let s = -1.8 - -2. Let y = -16.4 - -16.7. Let o = y - s. Are -1 and o nonequal?
True
Let z = -1146 - -1621. Suppose -5*s = 3*h - 584, 3*s + s + 5*h = z. Suppose 6*w = w + s. Is 23 smaller than w?
False
Let r be 4/14 + 80/14. Let s = r - 10. Let o(b) = 9*b - 78. Let d be o(10). Which is smaller: s or d?
s
Suppose -2*m + 1 = x, 2*x - 8 = -8*m + 10*m. Let q be 24/(-20) + m/(-5). Are 1/21 and q non-equal?
True
Let i(u) = -29*u + 79. Let k be i(5). Let y be (-2)/(-6) + (-110)/k - 8. Which is greater: y or 3?
3
Let c be 236/7 + (-6)/(-21). Suppose 2*b = -2*b - 3*w + 108, b - c = w. Suppose -5*n = 5*t - b, -2*n + 5 + 7 = 3*t. Is 6 equal to n?
True
Let p = -631.7 - -626.627. Let f = p - -0.073. Which is smaller: f or 15/4?
f
Let l be (-8)/3*(-441)/1176. Which is bigger: l or 2/2335?
l
Let b = 18224 + -18227. Is b bigger than 1264?
False
Suppose -4*h + 266 = -346. Let k be 4 - ((26 - 28) + h/26). Let o be (-4)/14 - 18/(-14). Is o not equal to k?
True
Let b = -1207.7 - -1190. Which is greater: b or 1/18?
1/18
Suppose y = 3*g + 22, -3*g = -5*y + 23 + 51. Let l(b) = -7*b**3 + b + 1. Let u be l(-1). Is y <= u?
False
Suppose 3454 = 3*t - 4*c, 0 = -3*c + 138 - 141. Does 1 = t?
False
Let p be 11949485/(-1453725) - -5 - 4/18. Let x = p - -224/65. Are -1 and x unequal?
True
Let w = -7927 + 7461. Is -466 greater than w?
False
Let q = -14095 - -16536. Which is smaller: q or 2443?
q
Let f = 2.17618 - 0.17618. Which is smaller: f or 411?
f
Let u(y) be the third derivative of -y**6/120 + 2*y**5/15 - y**4/4 - 4*y**3/3 - 31*y**2. Let n be u(7). Let q = 1 - 0. Is q greater than n?
True
Let h be 194/(-12)*16/14. Let w = h - -55/3. Which is bigger: w or -11?
w
Suppose -7*r + 49 + 35 = 0. Suppose 0 = j - 4*j - r, -10 = w - 4*j. Let h be w/(-14) - 5/(-35). Which is bigger: h or 0?
h
Suppose -7*g = -3*g + 40. Let c be g/60 + (-3)/(-66). Which is smaller: c or 0?
c
Suppose -2*a - 210 = 3*x - 6, 3*a = 2*x - 293. Let r = -101 - a. Which is smaller: -33/5 or r?
-33/5
Let s be (-1)/4 - (-1 - 595/28). Suppose 0 = 2*r - 224 - s. Which is smaller: 122 or r?
122
Let a = -29.963 - 0.037. Let b = 5.2 + 24.8. Let q = b + a. Is -1/3 >= q?
False
Let w be (320672/96)/(10/(-6) - 1). Let o = -1251 - w. Are o and 1 equal?
False
Let r(j) = j**2 + 6*j + 20. Let v be r(-4). Suppose 10*w - v*w = -68. Is 296/9 bigger than w?
False
Let j be -2 - (-9427460)/224*2/(-325). Let o = j - -261. Which is smaller: o or -1?
-1
Let l(r) = -602*r**3 - 2*r**2 - 21*r - 29. Let m be l(-2). Are 0.1 and m non-equal?
True
Let b = -1625 + 199. Let a = -1425 - b. Let l = 11.93 - 12. Is l > a?
False
Let h be 23295/12200 + 7 + -9. Let l = h + 4/61. Which is smaller: l or -1?
-1
Suppose -81*x + 2414 = -10*x. Let t = -131 - -125. Which is smaller: t or x?
t
Suppose d - 1 = 0, 4*d = 5*k + 2*d + 32. Let i(n) = -9 + 6*n - 14*n + 0*n + 5*n**2 + n**3. Let o be i(k). Is o <= 13/5?
False
Let p = -21.8 + 1.8. Let z = 1.15 + -11.15. Let a = p - z. Which is greater: a or -0.3?
-0.3
Let k(d) = 3*d + 13. Let l be 6/(3*5/(-10)). Let m be k(l). Let o be (1/(-4) - m) + 0. Which is smaller: 1 or o?
o
Suppose 0 = s + 20 + 1. Let i be (3/9)/((-8)/s). Let n be -20 + -7*(-330)/105. Which is bigger: i or n?
n
Let g be (-2 + (-1)/(-2))*(-16)/(-186). Suppose -11*d + 10*d + 16 = 0. Let q = d + -15. Which is bigger: q or g?
q
Let m = -283 + 282.867. Let b = m - -0.025. Let q = 18.108 + b. Which is greater: 0.2 or q?
q
Let x = 78 - 117. Let q = 2.02 + -40.02. Let j = q - x. Is -0.34 less than j?
True
Let y be (-110)/4*76/(-190). Suppose y*t - 544 + 1798 = 0. Which is smaller: t or -0.1?
t
Let v = -40991 + 39995. Which is smaller: v or 0.09?
v
Let b be (-9)/68 + 2/8. Let s = 0 - 1.02. Let z = s - -0.02. Which is bigger: z or b?
b
Let s be (-2 + -6 + 9)/(8/8). Is s equal to 75/92?
False
Let l(k) = k**2 + 76*k - 4333. Let t be l(-114). Let y be (5/(70/12))/2. Which is smaller: y or t?
t
Let g(h) = h**3 + 6*h**2 + 9*h + 11. Let s = -555 - -550. Let x be g(s). Is x equal to -38/5?
False
Let m = -371.8 - -371.49. Which is smaller: m or 0?
m
Let t = -17.2359 - -9.2359. Let j be (-1)/1 - (-2)/1. Suppose j + 3 = o. Which is smaller: t or o?
t
Let v = 435 + -417. Let n be ((-8)/4)/(((-60)/v)/10). Suppose -3*u = 2*u - 20. Is u greater than n?
False
Suppose 0 = -3*s + 2*t - 11 + 3, 0 = 4*t - 16. Suppose s = -g + 13 - 15. Let y be 2 - ((-2)/15)/(g/24). Which is greater: -20 or y?
y
Let w = 426 - -36. Let k be (208 + -205)*(6506/42 + (-24)/42). Is w at least k?
False
Let u(s) = -19*s + 6. Let x be u(-11). Let j be 2 + (-15)/6 - x/10. Is j at least as big as -19?
False
Let o = 0.09216 - -14218.90784. Let k = 14186.005 - o. Let a = k + 33. Are 0 and a equal?
False
Let g = 3947 - 4268. Which is greater: -4164/13 or g?
-4164/13
Let t = 676 + -612. Are 34 and t non-equal?
True
Let p = 39 - 28. Suppose 5*z + 3 = y, 5*z - 6*y + 15 = -p*y. Which is bigger: -2/475 or z?
-2/475
Let n = -18.389 + 18.5. Let w = 22.568 + -22.679. Let o = w + n. Is o less than or equal to 9?
True
Suppose 0 = 3*y - 2*i + 5, 4*i = -0*i + 16. Let s be 6/(-18) - y/(-3). Suppose -3*k - 14 + s = -5*j, 5*j = -10. Which is smaller: k or -43/5?
-43/5
Suppose 0 = g + 5*s + 23, g - 5*g = -5*s - 33. Let z be (-2210)/(-6552) - g/(-18)*-3. Is 0 at most z?
True
Let u = 3230 - 3231. Is u equal to 41/2?
False
Let z = 7.03 - 0.03. Let k = 8.91 + -11.7. Let n = 2.69 + k. Is z > n?
True
Suppose 0 = -2*t + 2*r + 8, -2*r + 0 + 2 = 3*t. Let h be -6*(t + 208/(-114)). Let f = -14/19 - h. Which is greater: -1 or f?
f
Let m = 335 + -128. Let l = m + -206.9. Which is greater: 68 or l?
68
Let c be (-19 + 13)/((-6)/4). Let h(f) = -f**2 + 7*f - 8. Let b be h(c). Suppose -3*i + b = 13. Is i not equal to -20/13?
True
Let v be (2997/(-518))/(48/28). Is -4 <= v?
True
Let m = -377/34428 + -1/453. Suppose -2*t = 5*h + 2, -3*h = -4*t - 5 + 1. Which is greater: t or m?
m
Let t(u) = u**3 - 2*u**2 - 2*u. Let v be t(3). Suppose p + p = 4, 0 = -v*b + 3*p + 225. Let w = b + -153/2. Which is greater: w or 2?
2
Suppose 5*q + 26 - 1 = 0, 5*q - 411 = 2*n. Is n equal to -232?
False
Let g be ((-2)/(-12)*0)/(-2). Which is bigger: g or -100/231?
g
Let r = 548.736 - 0.736. Let a = -555.2 + r. Which is greater: a or -3/5?
-3/5
Suppose 5*m - 146 = b + 389, -5*b = -4*m + 428. Let x = 103 - m. Which is greater: x or -84/17?
x
Suppose 2*h + 3*q = h + 53, 3*h - 135 = -3*q. Suppose -h*l = 2303 + 403. Do -64 and l have different values?
True
Suppose 3775 - 1051 = 5*n + v, -v - 1 = 0. Which is smaller: 548 or n?
n
Let h(t) = -2*t**3 - 3*t**2 + t - 4. Let q be h(-3). Let o(m) = -m - 11*m**2 + 9 + 14 - m**3 - q. Let b be o(-11). Which is smaller: 13 or b?
13
Let k = -28 - -11. Let d = k - -18. Let f = 3178/9 + -354. Which is greater: f or d?
d
Let v = 7 + 2. Suppose -v*l = -6*l + 6. Let o be 1 - ((-1)/l - (-47)/10). Is -4 less than o?
False
Let s(w) = -49*w**2 + 5*w + 4. Let o be s(-1). Let d be o/1160 - (-2)/8. Is 0 at least as big as d?
False
Let d = -1965/8 + 252. Suppose -2*m + 40 = 5*i - 0*i, -4*i + 9 = -3*m. Do d and i have the same value?
False
Let w be 1 + ((-2)/2 - (-26 - -3)). Let m be 1/5 - 76/(-20). Suppose -m*c = -9*c + 110. Which is greater: w or c?
w
Let l(k) = k**3 + 9*k**2 + 8*k + 6. Let p be l(-8). Suppose -t = -s + 6, 16 = -t + p*s - 3*s. Let i = 13 + -6. Which is greater: t or i?
i
Let a(x) = x**2 + 27*x - 142. Let h = 384 + -415. Let g be a(h). Suppose 3*d = d - 36. Is d greater than g?
False
Suppose 3*u = -55*a + 58*a + 39, 0 = -a - 3. Is 49 less than or equal to u?
False
Let u = 689 - 240. Let m = 426.3 - u. Let l = m + -5.3. Are 0.1 and l nonequal?
True
Let y(z) = 56*z + 832. Let o be y(-9). Which is greater: o or 1647/5?
1647/5
Suppose -2*o = 5*j + 38, 4*o - 5*j = -10*j - 66. Let b = o + -28. Which is greater: -39 or b?
-39
Suppose -2*m + 2 = -4*m. Let s be m/1 - (2 + -26). Is 1 greater than s?
False
Let n = 3297 - 82406/25. Which is smaller: 0 