96 + 3. Let k = s + 4545. Is 3 at most k?
False
Let t = -4500937/36 - -125016. Let j be ((-1)/(-6))/(2/123). Let u = j + t. Does u = -0.01?
False
Let p = 1914 - 1915. Which is greater: -218 or p?
p
Let g(y) = -y**3 - 3*y**2 + y + 4. Let u be g(-3). Suppose 4*w + 7436 = c, -u = w + 3. Let a = 96406/13 - c. Is -5 bigger than a?
False
Let k(b) = 4*b - 61. Let u be k(0). Suppose 0 = -3*q + 4*d - 139 + 16, 0 = 4*q - 3*d + 171. Let z = q - 16. Does u = z?
True
Suppose -5*r - 3*s = -10, r - 24 = 38*s - 43*s. Let n = 6 - 10. Let v be (492/(-248) + 2)*n. Is r smaller than v?
True
Let j = -874 - 2984. Is 0 at most j?
False
Let y = 30 + -28. Let l be ((-8)/20)/(y/(-40)). Suppose -w - 1 = -l. Is w less than 2?
False
Let z = 11091 + -23118. Is z > -12028?
True
Let x = 9685790/69 + -33357857669/237636. Let z = 5/828 - x. Which is bigger: z or 0?
0
Let h be ((-6)/(-6))/((3/513)/(-1)). Let c = -391 + 222. Is h less than or equal to c?
True
Let x be 2 - 0 - 0 - -1. Suppose x*o + 4 - 28 = 0. Suppose -5*r + 5 = -0*r, -5*h = 5*r - 45. Is h < o?
False
Let o = 2 - 6. Suppose -32 = -4*i - 4*m, 2*i + m = 2*m + 4. Let s be o*(i + 39/4). Is s > -55?
False
Let b = -907.6 - -808. Let v = 103 + b. Let s = -5 - -17/3. Which is bigger: v or s?
v
Let d be (24 - 1) + (-25)/((-275)/66). Suppose 7*w = -f - d, 5*w = 4*f + 10*w + 93. Is -21 smaller than f?
False
Let n = 178 - 184. Let s be 53/(-105) - (-36)/(-378). Which is smaller: s or n?
n
Suppose 2*m - 13*m + 35101 = 0. Suppose -21*s - m = -188. Is -141 at most s?
False
Let j = -4482.447 - -4717.59. Let t = j + -235. Is t != 1?
True
Let t = 0.01443 - 1.78843. Is -1 less than or equal to t?
False
Let y(n) = 2*n**2 - 11*n + 17 - 1 + 33*n. Let z be y(-14). Let c = -1683 + 1782. Is z greater than c?
True
Let v = -1632 + 4963/3. Suppose 0 = 11*x - 16*x + 85. Suppose x*j - 575 = -8*j. Is v smaller than j?
True
Let o = 13697/7 - 1943. Let d(q) = -q**3 + 13*q**2 + 13. Let z be d(13). Is o smaller than z?
False
Let w(h) = -h**3 + 11*h**2 + 25*h - 93. Let n be w(12). Which is greater: -10 or n?
n
Let t be 1/((-2)/6) + -3341 + -9. Let s = t - -26859/8. Let n(o) = 3*o**2 + o + 2. Let u be n(-1). Do u and s have the same value?
False
Let v = -2.01 - -1.91. Suppose -3*c - 18 = -4*j - c, -2*c - 10 = -2*j. Suppose -12 = j*l + 8. Is v > l?
True
Suppose -45*u = 6*u + 20*u - 39476. Which is smaller: 555 or u?
555
Let k = 48 - 53. Suppose 6 = 3*l, -2*y + l + 10 = 2*y. Let n be -12*(14/4 - y). Are k and n nonequal?
True
Let z = -13268/35 - -379. Is 6 bigger than z?
True
Suppose -4*k = -m + 31, -45*m + 91 = -41*m - 5*k. Is -32 greater than m?
False
Suppose 6*s - 6 = 0, s - 21 + 8 = -3*o. Are o and -149 equal?
False
Let z(t) = 7*t - 68. Let a be z(10). Suppose 14 = 2*s + 4*b, 5*s - a*b - b = 74. Is s less than or equal to 23?
True
Let f = 31 - -6. Let z = f + -22. Let g = 20 - z. Is g smaller than 4?
False
Let h = -1641 + 1738.04. Let o = 82 + -179. Let x = h + o. Is 0 less than or equal to x?
True
Let x = -2424 + 2537. Which is bigger: x or 131?
131
Suppose 111*y = 114*y, 0 = f + y - 6*y + 317. Which is smaller: -316 or f?
f
Let k = 82 + -78. Suppose -l + 0*l = 0, -l = k*p + 20. Let q(b) = -5*b - 54. Let o be q(p). Which is bigger: o or -31?
o
Suppose 5*x - 28 = -a, 4*a + 0 = 5*x - 13. Suppose x*u + 56 = -424. Is -96 smaller than u?
False
Let b = 1324776/35 - 37846. Is b less than or equal to 4?
False
Let x = -174027 - -174060. Suppose -71 = 3*b - 2*i, -97 = 5*b + 2*i - 0*i. Let v = b - -54. Is x smaller than v?
False
Let j = 6.02 + 307.98. Let n = j + -313. Is n bigger than -0.186?
True
Let b(o) = 17*o + 305. Let y be b(-16). Is 22 >= y?
False
Suppose 12*k + 21*k = 33. Which is smaller: k or 1/5409?
1/5409
Let p(f) = 8*f + 40. Let x be p(5). Let j be (-2)/(-3) - (x/(-15) - 7). Let w(i) = -i + 12. Let h be w(0). Which is bigger: h or j?
j
Let u = 34 - 269. Let b = u + 234. Which is smaller: b or -154?
-154
Let a(h) be the second derivative of -h**4/12 + h**3 + 3*h**2 - 8*h. Let v be 14/133 - (-393)/57. Let q be a(v). Is -10/7 < q?
True
Suppose 9*w - 36 = 3*w. Suppose 3*r + 16 = -5*u + 6, 0 = r + 3*u + w. Is -12/11 < r?
True
Let c = -2664 - -2666. Let p = 24.47 + -20.7. Let l = 3.5 - p. Is l greater than c?
False
Suppose -3416 + 13 = -4*x - 3*y, -5*x + 2*y = -4225. Which is greater: x or 846?
x
Let k = -17 - -17. Let t(c) = -7*c + 4. Let j be t(k). Suppose -5*v + 0*v = -3*s + 25, 2*s + 20 = -j*v. Is s greater than -2?
True
Suppose 0*m + 85 = m. Suppose m = -8*i - 299. Which is smaller: -47 or i?
i
Let h(i) = 82*i**2 - 9*i - 14. Let v be h(-2). Let z = v + -333. Is z != -1/577?
True
Let y = 14/19 + -107/171. Let g = 50731 + -1065349/21. Is g less than y?
True
Let o = -171.27 + 6242.27. Which is greater: o or -0.1?
o
Suppose -5*f + 45 = 4*i, 4*i + f - 41 = -16. Suppose 0 = -i*l - b + 6, -5*l = 4*b + 6. Let g be 3 - l - 14*-2. Is g greater than or equal to 29?
True
Let p = 884633891/2151646 + -1/307378. Let r = p - 410. Suppose 0 = -4*s - 4*u + 12, -18*u + 19*u = 2*s. Is r at least s?
True
Let a(x) be the second derivative of -x**3/6 - 2*x**2 - 11*x. Let g be a(-3). Let h = -171 - -160. Is h < g?
True
Suppose 7*p = 14*p + 504. Let n = -77 + p. Does n = -147?
False
Let f be 1 + 4 - (4085/(-5) + -3). Let q be (f/6)/(-11)*2/110. Which is bigger: 1 or q?
1
Let b = -161221 - -94636705/587. Which is smaller: 1 or b?
b
Suppose -99 = -5*q - 4*k, 0*q = -q - 4*k + 7. Let d be 0 + q + 2 + -3. Which is smaller: 23 or d?
d
Let p(n) = -2*n**2 + 3*n + 78. Let c be p(7). Let h be c + (-7 - -3) + 2. Is -1/40 less than h?
False
Suppose -2*f - 2*s = 16, -4*s + 22 = -9*f + 4*f. Let x be (f/4)/(1/((-20)/(-15))). Suppose -2*i - 11 = -1. Which is smaller: x or i?
i
Let w = -5.604 + 16.811. Let b = w - 6.136. Let y = b - 0.071. Is y less than or equal to -2?
False
Let r(i) = i**3 + 8*i**2 - 20*i - 4. Let p be r(-10). Let n be (-1 - 0)/(170/42 + p). Suppose 38 = 4*d + 2*k + 114, 0 = 3*d - 5*k + 70. Is n != d?
True
Suppose -2*l = -427*o + 426*o + 3099, -3111 = -o - 2*l. Is o > 3105?
False
Let t = -8.935 - -9.5. Let y = -0.665 + t. Does y = 220?
False
Let y = -1.74 - -3.86. Let n = 2.7 - y. Is n at most -1/4?
False
Let m = -18566767/1271 - -14608. Which is smaller: m or 0?
0
Suppose 0 = 11*h - 11 + 40 - 7. Which is smaller: 609 or h?
h
Let i(l) = -l - 15. Let z(r) = 4*r + 45. Let h(d) = 14*i(d) + 4*z(d). Let j be h(14). Let s be (-4)/j + (3 - 8/2). Which is greater: s or -1?
s
Let t be (-16592)/(-24) + (13/(-21) - (-2)/7). Is t not equal to 686?
True
Let y = -481/2 + 765/4. Let o = 10991 + -11041. Are y and o nonequal?
True
Let g = 849 + -490. Let o = g + -2515/7. Which is smaller: o or -324/7?
-324/7
Let h be 3*(-8)/3 - 525/(-60). Is h equal to -263.3?
False
Suppose -5*n + 190 = -6*n - 5*t, -5 = t. Is -202 >= n?
False
Let p(o) = 13*o**2 - 8*o - 16. Let j be p(-2). Which is smaller: j or 89?
j
Let v be 0 + (-2)/(-2 - 0). Let j = 78023 + -20832145/267. Is j < v?
True
Let g(l) = -820*l**2 - 98*l - 359. Let b be g(-4). Is b <= -13086?
True
Suppose -2*f - 4*r = -0*f + 16, -4*f + r + 4 = 0. Let g be f/(8 + (2 - 4)). Is 1/618 at least g?
True
Let k be ((-18)/21)/(((-26325)/350)/(-39)). Which is smaller: k or -0.728?
-0.728
Let w be 7 - ((-3240)/16)/(-27). Which is bigger: w or -3.08?
w
Suppose -2*b - 24 = 5*q - 631, 353 = 3*q + 4*b. Which is greater: q or 1614/13?
1614/13
Let c(t) = -t**2 - 11*t + 18. Suppose -5*i = 3*s + 2*s + 35, 3*i = 2*s + 19. Let b be c(s). Is 1 >= b?
False
Suppose -5210 = 34*c + 22704. Which is bigger: -820 or c?
-820
Let o be 8 + 12 + 355/7. Is 70 at least o?
False
Suppose 2*p - 8 = -0. Suppose -5*h + 27 = -p*d, -5*d = 3*h - 6*h + 24. Let t be (5/6*3 + d)*8. Do t and -2 have the same value?
False
Let d be (-2)/(-11) - (-1850048)/(-335544). Let o = 2/1271 - d. Let r = -9 - -14. Is o at most as big as r?
False
Let y = -15.79 + 29.5. Let i = y + 0.29. Let j = i - 15. Is j greater than or equal to 3?
False
Let t be 16/(-14)*(9 + 34)/(-516). Is t greater than 172?
False
Let c = -75/4 + 17. Let y = 3580/231 - 502/33. Which is smaller: c or y?
c
Suppose 4884 = 936*i - 924*i. Is 405 at least as big as i?
False
Suppose 3*q + 6*q + 18 = 0. Let z be 20/((q - -12)/(-10)). Do z and -12 have the same value?
False
Suppose -5*l + 3*c - 129 = 0, c = -5*l + 3*c - 131. Supp