an or equal to -97?
False
Let x be 10/4 - 3/6. Let q = -3477 + 3454. Is x smaller than q?
False
Let j = 16485 - 9775. Are -1 and j equal?
False
Let k = -0.094 - -167.594. Let c = 167 - k. Is c greater than 2?
False
Suppose -2*s + 4*c + 66 = 0, 3*s + 3*c = 13 + 50. Let k(i) = -i**2 + 30*i - 41. Let a be k(s). Which is smaller: 82 or a?
82
Let m be (0 - -6) + -12*(1 + 894/(-1740)). Is -1 at least m?
False
Suppose -5*u = -t - 52, -2*t - 12 = -u - t. Let b = -256306 - -256315. Are u and b non-equal?
True
Let k(d) be the second derivative of -d**4/12 + 2*d**3 + 14*d**2 + 103*d. Let q be k(14). Is q at most as big as -12/11?
False
Let k = -143 + 92. Let d = k + 64. Let a = 3 - d. Which is bigger: -11 or a?
a
Let t be 24/6 + 14/(-3). Which is greater: t or -1/147?
-1/147
Let u be 0/(-1) + 16/((-1632)/18). Let z be -1 + 1 + (-22)/55. Which is greater: z or u?
u
Let l be 4064/(-15) + 37/111. Let r = 779323/2880 + l. Is 0 != r?
True
Suppose 4*g - 15 = -g. Let i be (g/2)/((-6)/(-36)). Let a = 2 - i. Which is smaller: a or 1/3?
a
Let d(z) = 388*z + 12. Let a be d(-7). Let q = a + 189271/70. Let t = q + -1/14. Which is greater: t or 1?
1
Let r be -108*(-25)/(-347750)*-5. Is r equal to -1?
False
Let d be (((-10)/216408)/5)/(137/(-411)). Which is bigger: d or 0?
d
Let x = 4715309086405/5931 + -795027664. Let c = -2/659 + x. Is 1 less than c?
True
Let o = -442217560/5853 - -75554. Is o != 1?
True
Let y = 16.792 + -974.692. Let m = -878 - y. Let r = m - 80. Which is smaller: -24 or r?
-24
Let z = -1.95 + -0.05. Let w = -2.398 - 40.602. Is w at most z?
True
Let r = -2721 + 391819/144. Let o = r - -4685/144. Which is smaller: o or 34?
o
Let p be ((-44)/(-27))/(4/6). Let x(r) = r**3 + 18*r**2 + 31*r - 14. Let o be x(-16). Suppose -n + 0*k = -o*k + 4, 0 = 3*n - 2*k. Is p at least n?
True
Let q(t) = -5*t**2 + 2*t + 11. Let h(c) = 4*c**2 - 3*c - 11. Let i(v) = 6*h(v) + 5*q(v). Let m be i(-7). Let p be 33/(-18) + 2 + 2/m. Which is bigger: p or 1/3?
1/3
Suppose -7*r + 2*a + 15 = -2*r, 5*r + 4*a - 15 = 0. Let t = 60 + -35. Let q be (r - t/10)*-1. Which is smaller: q or 1/9?
q
Let k be (146/50 - (-21 - -23)) + -1. Which is greater: 1 or k?
1
Let x be ((-1)/8)/((-20)/(-16)). Let j = -347 - -348. Which is smaller: j or x?
x
Let d(v) be the second derivative of -v**4/12 - 4*v**3/3 + 3*v**2/2 + v. Let q = 309 - 318. Let j be d(q). Does -9 = j?
False
Let i be (64 - 61)*2/3. Suppose i*z = 2*c - 33 + 23, 0 = -2*c - 5*z + 24. Is -7 bigger than c?
False
Let h = 244781/160706 + -166/883. Is 2 smaller than h?
False
Let c = -119.925 - -120. Let l = -4.925 - c. Is l greater than 1?
False
Suppose l - l = 11*l. Is l at least as big as 6/1069?
False
Let r be (-2)/((-8)/12) - (2 + 1). Suppose 0 = 5*c - 14 - 31. Is r not equal to c?
True
Let z(j) = j**2 + 68*j - 443. Let x be z(6). Suppose 5*i - 177 = 423. Let t be 2/(i/9) - 0. Is t less than x?
True
Let o = -61.7 - -9.7. Let p = o + 51.8. Let l = p - -0.3. Is -1/25 <= l?
True
Suppose 0 = 2*o, 5*w - o = -0*w. Let d = 2019/5 - 401. Let u = -1144/405 + d. Which is bigger: w or u?
w
Suppose 38 = -p - a - 280, -338 = p - 3*a. Which is greater: -322 or p?
-322
Let x = 31.228 + -34.85. Let c = 0.678 - x. Which is smaller: c or -0.1?
-0.1
Let j be (-2)/(-8) + (-2120417)/8643492. Let w = -4/803 - j. Is w >= 1?
False
Suppose 451*t - 33*t + 344*t + 661*t + 54074 = 0. Let b = 0.3 - 0.2. Let i = 0 + b. Is i < t?
False
Suppose -j - 23 + 29 = 0. Let f(k) = -k**2 + 18*k - 8. Let m be f(j). Let s = m - 59. Which is smaller: s or 4?
4
Suppose 371 = 31*b - 373. Suppose -b*o = -1454 - 1978. Is 146 < o?
False
Suppose -2*n = 2*v + 16, -7*n - 31 = 5*v + 3. Is -204 at most as big as v?
True
Let h be 2/22*((-8)/174)/4. Let f = 86420096942228/67947 - 1271875093. Let k = h + f. Which is smaller: k or 1?
k
Let o = 0.919 - 0.319. Which is smaller: -0.324 or o?
-0.324
Let c be 11466/(-56) - 4*(-3)/(-48). Which is greater: c or -203?
-203
Let b = 601.7 + -596.7. Is b != -59?
True
Suppose -5*l + 8 + 15 = -q, 3*q - 11 = -l. Suppose 14*d = -s + 16*d - 13, -3*s - 39 = 2*d. Let b be ((-12)/4 - s)*2/25. Which is smaller: q or b?
b
Let a(c) = c**3 - 4*c**2 - 2. Suppose -5*n + 7 = -13. Let z be a(n). Let k be z/(-8) - 60/48. Is k equal to -2/45?
False
Let w be 2*(-12314)/(-61420) - (-9)/((-135)/6). Which is bigger: w or 1?
1
Let m be ((-10)/6)/(0 - (-8)/144). Suppose -7*i - 388 + 164 = 0. Are i and m nonequal?
True
Let o be 56/(-70)*20/(-2). Suppose f - 3*v = -9 - 1, 0 = -4*f + 4*v - o. Let l(c) = 3*c**2 - 2*c - 2. Let y be l(f). Is y at most as big as 5?
False
Suppose 4*w = 20, -w + 0 + 100 = -5*r. Let h = -12 - r. Let o be 76/(-12) - -7 - 66/(-9). Which is bigger: h or o?
o
Suppose 26460*s = 26446*s + 70658. Is 5046 bigger than s?
False
Let m = -9 + 27. Suppose 2 = 3*x + 2*y - 5, -5*x = -3*y - m. Suppose 174 = -x*v - 0*f + 3*f, -2*f = 2*v + 128. Which is greater: v or -62?
v
Let h(w) = -w**2 - 7*w + 3. Let g be h(-7). Let n = 0.12 + 0.08. Let y = -4.2 + n. Is g greater than y?
True
Let m = -17.02 - -15.7. Let t = 36.32 + m. Does t = -0.2?
False
Let l be 3*(-1 - (-10)/18). Let f = 868 - 797.6. Let a = f - 70.6. Is a at most as big as l?
False
Let c(o) = o**3 + 7*o**2 + 8*o + 13. Let g be c(-6). Let m be 3*g + 8422/(-2880). Let i = m - 1/32. Which is smaller: i or -1?
-1
Let r = 32189 - 32192.6. Which is greater: -50 or r?
r
Let a = -0.63 - -0.342. Let u = 0.172 - a. Is u at most -0.4?
False
Let y(s) = s - 1. Let r be y(5). Let q be 66*(6 - r)*(-2)/1. Let f = -3444/13 - q. Is -2 >= f?
False
Let n be (9/((-2349)/(-6)))/(-1*492/18). Are n and 0 non-equal?
True
Let f = 1671 - 1670. Let a = -0.11 - 0.69. Let b = -0.88 - a. Is b at most as big as f?
True
Let i be -8 + (6 - 4) + 7. Let k = -685 - -4810/7. Which is smaller: k or i?
i
Let y = -14.6 - -15.35. Let a = 0.65 - y. Which is smaller: 1/6 or a?
a
Let u = 8525.691 - 8625.8. Let g = -100 - u. Let r = g - 45.109. Are r and 1/3 equal?
False
Let p = -50 - 10. Let j = -194 - -135. Is p less than or equal to j?
True
Suppose 5*o = -5*z + 7*z, -3*z = -5*o. Let n be (6/(-1 + z))/(12 + -10). Suppose -2*x - 1 - 5 = 0. Are n and x non-equal?
False
Let q = -21.624 + 4.194. Let c = 0.9241 + -0.3541. Let n = c - q. Which is bigger: n or -1?
n
Let z(u) = u + 41. Let y be z(0). Let b = 47 - y. Suppose 2*g - 145 = -5*h, -11*h + 165 = -b*h - 2*g. Which is smaller: 2/7 or h?
2/7
Suppose 166 - 1321 = 3*r. Let z be (-2)/(-11) + 400/r. Let o be (2 - 2 - -4) + -6. Which is bigger: o or z?
z
Suppose 0*y - 2*y = -12. Suppose y*f - 32 = 5*f. Suppose 4*x = f + 24. Is x >= 14?
True
Let r be 10/300*-2*(-42225)/6. Is r at least 470?
False
Let f be (-844)/14 - 0/7. Let v = f + 60. Let a = 85 - 102. Is v >= a?
True
Let d = -1045 - -1033. Let b be 4*(-7)/(42/9). Is b less than or equal to d?
False
Let i(g) = -58*g + 405. Let f be i(7). Let z be (-17)/(-11) - 5 - -3. Which is smaller: z or f?
f
Suppose -2*x - 17 = -6*x + b, -5*x + 3*b = -30. Suppose f = 2*n - 152, x*f = -0*f + 2*n - 472. Let w = f - -234. Which is greater: w or 73?
w
Let c = 6407 - 6386. Which is smaller: c or 289/14?
289/14
Let f be (-26)/10 + (999/37 - 25). Suppose 2*u = 4*v + 1 - 9, 5*u = -5*v - 80. Let q be 4/(-3) - 4/u. Is q < f?
True
Suppose -c + 8 = -18. Let u = -130 - c. Is u at least as big as -157?
True
Let d = 578547/11 + -52693. Is d at most -97?
True
Suppose -40*w + 6 = -37*w. Suppose -q + 2*d + 3*d = -289, -5*q + w*d = -1560. Is q at least 315?
False
Suppose w + 31 - 65 + 34 = 0. Which is smaller: -4/1847 or w?
-4/1847
Let r = 9262650802/36839 - 251436. Is 1 bigger than r?
True
Let j = -50 + 952/19. Let b = 2422 + -2350. Which is bigger: j or b?
b
Let g = -121 + 127. Let k be 2/4 + ((-45)/g - -7). Are k and -1/188 equal?
False
Let f be 8/(-4)*(-3)/(-10). Let p = -43288 - -43288.02. Is p at most f?
False
Let c = -107 - -106. Suppose -z - 347 = 4*u, -2*z - 1689 = 3*z - 3*u. Let m = 9493/28 + z. Is m greater than c?
True
Let v be 95/57*(-18)/(-2). Suppose -3*w + 3*a + v = 0, -3*w + 6 + 4 = -4*a. Let t = 0 - -9. Is t >= w?
False
Let f(m) = m**3 - 5*m**2 - m + 9. Let i be f(8). Suppose 3*w + 484 = -5*c, c - w = 3*c + i. Does -95 = c?
True
Let d = 15178/3159 - 60/13. Is d != -1?
True
Suppose v + 15 = 5*o, 4*o + 5*v + 28 = 11. Suppose 0*x = 3*x. Suppose 4*h + x*h + 2*u + 154 = 0, 