Let m be (-4964)/(-8) + (d - -1) + 3. Let w = 612 - m. Which is greater: -13 or w?
w
Let p = 0.2 - 0.1. Suppose 2*b = -6*b - 600. Let f = b - -68. Which is smaller: p or f?
f
Suppose 3*l - 8*l = 30. Let h be (-476)/592 + l/(-8) - 0. Are 0.2 and h non-equal?
True
Let b = 6.8 - -46.2. Let g = b - 55.8. Let n = g - -3.8. Which is bigger: -6 or n?
n
Suppose 12*w = 37 + 407. Suppose -5*o = -7 + w. Let m = 0.6 - 0.7. Is m less than o?
False
Suppose 0 = 2*j + 3*l - 9470, -23*j - 14238 = -26*j + l. Are 4743 and j unequal?
True
Let p = -622801680/5267 - -118246. Is p at least 1?
False
Suppose -u + 5 = 3*b, 6 = -5*b + 16. Is 1/32873 bigger than u?
True
Suppose -2*b + 44*t - 3690 = 40*t, -5*t = -b - 1860. Is -1835 <= b?
True
Let x(c) = c**2 - 7*c - 18. Let w(s) = -s**2 + 6*s - 1. Let g be w(7). Let y be (-1 - 0)*(g - (8 - 5)). Let i be x(y). Is 26 at most as big as i?
True
Suppose -4*j + 0*j + 120 = 0. Suppose 32*v = j*v + 260. Suppose 6 - v = 4*a. Is -29 at least as big as a?
True
Let m = 71 - 101. Suppose -807 - 154 = 31*p. Is m equal to p?
False
Let b be -1 + (2 - -17 - 2). Let h(u) = 6*u - 4. Let w be h(2). Let o be ((0 - -16) + -2)*(-7 + w). Which is greater: o or b?
b
Let i be 1583/(13 - 14) + 10. Which is greater: i or -3145/2?
-3145/2
Let v = 149.93 + -21.93. Which is smaller: 0 or v?
0
Let y = 2610 - 2610. Let u be ((-2)/8)/((-52)/12)*-4. Does y = u?
False
Suppose -a + 2*y + 7 = 0, 5*a + 0*y + 9 = -y. Let z = a + 0. Let k be (-16)/(-10)*960/(-2688). Are k and z non-equal?
True
Let r = 6669 - 6221. Which is smaller: -2 or r?
-2
Let d = -28 + 8. Let b be d/16 + 2/8. Suppose -105 + 21 = 7*l. Are l and b equal?
False
Let f be 112/(-364) + 1228/780. Which is bigger: 0 or f?
f
Suppose 0 = k + 3*g - 14, 3*g = -0*k + 2*k - 1. Suppose 2*m + 6 = j - 3*j, -5*j + 30 = -4*m. Let y be j/(k/5 + -46). Which is bigger: y or 1?
1
Suppose -5*f = 2*z - 110, f = 3*z - 6*z + 35. Let u(a) = -a**2 + 17*a + 54. Let s be u(f). Let o = 8 + -13. Which is bigger: o or s?
o
Let c = 1540/27 - 1550/27. Which is smaller: 5 or c?
c
Let f(u) be the first derivative of -u**3/3 + 9*u**2 + 38*u + 24. Let n be f(20). Let j be n/4 - (-68)/88. Which is bigger: j or 0?
j
Let d be -7 - ((-83013)/13113 - 14/21). Do d and 0 have different values?
True
Let y = 7640286 + -2635871819/345. Let d = -152/105 + -8017/105. Let l = y + d. Are l and 0 nonequal?
True
Let p = 17135 - 17393. Which is bigger: p or -1/33?
-1/33
Let l be (105/168)/((-3603)/1828 - -2). Let f = l + -3/53. Which is smaller: 22 or f?
f
Let b = 74285 + -74609.965. Let p = 326 + b. Let n = 0.035 - p. Is n less than or equal to -22?
False
Let o = -7884 + 5946. Which is smaller: -1941 or o?
-1941
Let i be (-1344)/756*((-180)/8)/5. Does 2/141 = i?
False
Let b(r) = 143*r - 686. Let t be b(5). Suppose -i = 5*n + 12 + 23, 4*n + 133 = -5*i. Let p = t + i. Do 4 and p have different values?
False
Let i(w) = -2*w**3 + 12*w**2 + 27. Let g(o) = -3*o**3 + 11*o**2 - o + 27. Let m(y) = 3*g(y) - 4*i(y). Let l be m(-15). Which is greater: l or 24?
24
Suppose 0 = -5*i + 4*x - 863, -138 - 571 = 4*i + 3*x. Let t be 1/(-3)*5*(-18)/i. Is -0.01 less than or equal to t?
False
Suppose -5*v - 8 = -19 - 29, -2*v = -18*p + 20. Let o(n) = -22*n. Let t be o(-5). Let w be (4/t)/((-3)/(-75)). Which is smaller: p or w?
w
Let y = 109 - 106. Let l be -2 - (-6*y/6 + -9). Suppose -5*x = 15 - l. Which is smaller: x or 6/41?
x
Suppose 3*r + 4*m = -39, 3*r + m + m + 21 = 0. Which is smaller: 23/262 or r?
r
Let z = 40 + -49. Let s be -6 - (z + (-9)/((-54)/12)). Let d be (9/21)/(11*1). Which is bigger: s or d?
s
Suppose 13658 - 82571 = -93*y. Is y at most as big as 0?
False
Let b(h) = h**3 + 21*h**2 + 111*h + 20. Let o be b(-11). Let l(q) = q**2 - 5*q - 1 - 7*q + 0 + 5*q. Let w be l(o). Which is bigger: 0 or w?
w
Let m = 27/37 - 44/111. Which is bigger: m or -2.55?
m
Let r = 606 + -758. Let k = -151 - r. Which is greater: k or 11/21?
k
Let u be (-1694)/(-126) - (-180)/(-162)*(-2)/(-5). Is u greater than -119/3?
True
Let i = -160.738 - 0.262. Let q = i + 223. Which is smaller: q or 0?
0
Suppose 3*m + 11*m = 70. Let c be (-5148)/(-80) - 2*(-1)/m. Let p = 65 - c. Which is greater: p or 0?
p
Let x = -194903/42 + 4641. Let c = x + -1/6. Let h be -1*(-2 - 2) + 0. Which is smaller: c or h?
c
Let n be (-18582)/(-266)*(-1)/(-2)*8/18. Is 17 != n?
True
Let b(x) = 136*x**2 - 2*x + 1. Let l(j) = 2*j**2 - 5*j - 11. Let f be l(4). Let o be b(f). Let w be (o/20)/9*9. Which is greater: 7 or w?
7
Suppose -19*c + 12175 = 11776. Is c > 91/5?
True
Let d(z) be the third derivative of -z**5/30 + 13*z**4/24 - 2*z**3 + 12*z**2. Let t be d(5). Suppose 0 = -2*w + 4*u - 2, -5*w - 5*u + t = 23. Is w >= 3?
False
Let j be (-4)/(12/9) - (-30 + -4). Suppose -144 = -4*i - 4*o, 2*i = -4*o + 82 - 2. Is i >= j?
True
Let i be 3*2*2*3. Let m = -72421.4 + 72423.4. Which is smaller: m or i?
m
Let m = -6.5 + 24. Let u = -18 + m. Is u at most as big as -7?
False
Let h = 5 - 14. Let r = -122 + -179. Let f = -302 - r. Which is bigger: f or h?
f
Let t = 401 + -380. Suppose -4*b = -2*j + 740, -t*j = -16*j + 10. Which is smaller: b or -188?
-188
Let u(l) = 2*l**3 + 14*l**2 + 22*l + 5. Let o be u(-2). Which is greater: -13/376 or o?
o
Let o = 158.16 + -162.36. Is -124 less than or equal to o?
True
Let d = 4475 + -4448. Which is greater: 79/3 or d?
d
Let r = 282 - 282.32. Let a = 0.573 - -0.427. Which is bigger: a or r?
a
Suppose 75*u + 5*u + 1728 = 86*u. Which is bigger: u or 286?
u
Suppose 5*p = -5*p + 20. Let g be (-18)/(-72) + p + 1/(-4). Suppose 3*a - 45 = -g*c - 7, c = -4*a + 19. Does c = 22?
False
Let v be (60/35)/(-4 + (-159)/(-42)). Let c be (-54)/(-10) - 6/15. Let i = -9/2 + c. Which is greater: i or v?
i
Let f(a) = a**3 - 40*a**2 + 45*a - 7467. Let b be f(43). Let g(v) = -v - 1. Let x(j) = 3*j + 1. Let n(u) = -9*g(u) - 4*x(u). Let d be n(-4). Is b at least d?
False
Suppose 10*u + 120 = 40*u. Let o be (-11)/((-198)/u) - (-4688)/(-36). Is o bigger than -130?
False
Suppose 4*q = -4*y - 9 - 11, -y - 5*q - 1 = 0. Let a be (-1)/(0 + (-9)/813). Let n = a + -1165/12. Is n equal to y?
False
Suppose 4*h - 2*s - 324 = 7*h, -2*h - 4*s - 216 = 0. Let g = h - 38. Which is greater: -145 or g?
-145
Let z = -133339 - -133084. Suppose -4*g - 3*b - 1019 = -4*b, 3*b - 1279 = 5*g. Is g smaller than z?
False
Let v be (-11 + 48)*(3 + 0 + -2). Let d = v - 112. Is -75 at most d?
True
Suppose -65*r - 26*r = 296751. Which is smaller: -3258 or r?
r
Let l = 177.2 - 183.2. Let z be 1/(-5) - (-42)/160. Which is greater: l or z?
z
Let k be 3/(((-5)/(-3))/(-5)). Let r be 4016/2259 + 1006/(-90). Is r at least k?
False
Let h(i) = -i**2 + 20*i + 8550. Let z be h(103). Is 4/19965 greater than z?
False
Let i be (2 + -1 + -2)/(5832/728 - 8). Is i bigger than -20?
False
Let y(t) = -t**2 - 151*t - 2990. Let f be y(-21). Which is smaller: -0.37 or f?
f
Let q(w) = 23*w**2 - 55*w + 8. Let l be q(4). Is 161 at least as big as l?
True
Let n = 222 + -427. Let x = n - -216. Which is bigger: 15 or x?
15
Let m(p) = -31*p - 11. Suppose 2*n - 5*n - 9 = 4*o, 0 = -5*o. Let c be m(n). Is 83 not equal to c?
True
Let v = 1.43 + -109.43. Let x = v + 107.96. Is 7 equal to x?
False
Suppose 5*a - 20 = 5*f, -2*a + 65 - 61 = -4*f. Let h be (-10)/45 + (-335)/(-9). Suppose -1 = m - k - 2, 5*m - h = -3*k. Which is smaller: a or m?
m
Let y(z) = -12*z**3 - 61*z**2 - z + 21. Let m be y(-5). Let q be (-363)/(-36) - 1/1. Let h = 1925/204 - q. Are m and h equal?
False
Let d be (-181 - (-1)/(-1))/(-2). Suppose 35 = -4*p + d. Let q(o) = o**2 - 11*o - 41. Let g be q(p). Do 0.036 and g have different values?
True
Let p = 0.033 - -0.04. Let l = -450 + 449.497. Let x = l + p. Are x and 0.1 non-equal?
True
Let i be 1*2/(4/2). Let g be 7258/(-90) - (-495)/225. Let b = g + 7760/99. Is b > i?
False
Let x = -262 + 321. Suppose 0 = 6*w + x + 445. Is 3 equal to w?
False
Let j = 22 - 20. Suppose 7*q - 48 = 4*q. Suppose -d = 3*c + 1, j*d = 2*c + q - 2. Which is smaller: d or 6?
d
Let m = -9.03 - -483.03. Let k = m - 473.7. Suppose 3*s - t = 22, 0 = -s - 2*s + 3*t + 12. Which is smaller: s or k?
k
Suppose -a - 76 = u, -3 + 33 = 5*a. Is 18 greater than u?
True
Suppose 0 = -458*v - 83*v + 8115. Let u(c) = -2*c + 5. Let l be u(-4). Which is smaller: l or v?
l
Let y be 4/10 + (-67)/5. Let j =