/360. Is -24 less than or equal to y?
True
Let z(x) be the second derivative of x**4/12 + x**3/6 - 5*x**2/2 + 16*x. Let m be z(-4). Let p = 16 + -8. Is m at most as big as p?
True
Let v be (-24)/(-9)*9/6. Let g(c) = 34*c - 50. Let k(i) = -8*i + 13. Let a(d) = 2*g(d) + 9*k(d). Let f be a(v). Are -8/7 and f unequal?
True
Suppose 5*a + f + 7710 = 0, -a - 2924 = 4*f - 1382. Which is bigger: -13880/9 or a?
a
Let v = -0.0132 + 688.0132. Let t = v - 685.1. Which is bigger: 7/3 or t?
t
Suppose -137*b = -131*b + 5880. Let n be (2198/b - (-2)/7) + 2. Which is bigger: 1 or n?
1
Let i be (4/((-24)/(-1882)))/(11/(-231)). Let j be (-12)/21 + i/49. Is j less than -135?
False
Let w(l) = 6*l**3 - 20*l**2 - 79*l + 47. Let u be w(-7). Which is smaller: u or -2437?
u
Let c(p) = -4*p**2 - 101*p - 24. Let n be c(-25). Are n and -48/179 unequal?
True
Let s = -42184/3 - -161755/12. Which is smaller: -582 or s?
-582
Let a = 2345.9764 - 2346. Is 3/8 >= a?
True
Suppose g + 935 = 4*q, -10*q + 15*q = -2*g + 1172. Suppose 5*f + q = -34*f. Let c be 34/(-6) - (-2)/(-6). Are f and c equal?
True
Let s = 3 + -2.96. Let c = s - -0.16. Let d = 2.8 + c. Is d < 2/21?
False
Suppose 5*v + 25 = -4*n - 7, -2*n - 6 = 0. Let a = -270 + 264. Let d(b) = -b**3 - 4*b**2 + 12*b - 1. Let y be d(a). Which is greater: y or v?
y
Let s = 117 - 116. Let i be (-2 - 72/(-45))/(46/(-170)). Do s and i have the same value?
False
Suppose r + 2 = -2*z, 2*r + 4*z = r. Let m be (-15)/20 - (801/r)/3. Which is greater: m or 67?
67
Suppose 1872 = 8*u - 5332 + 2172. Does 624 = u?
False
Let t = 468 - -330. Suppose 3*n = 3*o + 177, -69 - 41 = 2*o - 4*n. Let k be 18/o - (-256)/t. Is 0 greater than or equal to k?
False
Suppose -j + 2*j = 1. Let y be (-1304)/(-826736)*(2 + (2 - 2)). Which is greater: y or j?
j
Suppose 76*l - 80*l = -156. Suppose -l = 4*k - 5*g, -g = 4*k - 7 + 76. Which is bigger: k or -13?
-13
Let v = 222 + -216. Suppose 28 = -2*q + v. Are q and -13 nonequal?
True
Let b(h) = -9*h**3 - 9*h**2 - 36*h + 112. Let v be b(4). Does v = -6760/9?
False
Let t(y) = -y**3 - 24*y**2 - 27*y - 31. Let p be t(-23). Let a = p - 58. Suppose -a*b - 15 = -4*b. Is 16 not equal to b?
True
Let s = 0.0413 - -398.9587. Let p = s + -392. Is -5 < p?
True
Suppose 2*o + 3*i = 5*i - 34, 0 = 4*o - i + 65. Let q be ((-2)/o)/(141/1316). Which is bigger: q or 2?
2
Let j = -0.7 + 5.7. Let o = 8168 + -8169. Is j < o?
False
Let j = -5259710/419 - -12553. Is 1 > j?
True
Suppose -472*c - 1030 = -937*c + 470*c. Are c and -203 non-equal?
True
Suppose -4*d + 3*q - 356 = -228, -108 = 4*d + 2*q. Which is smaller: d or -91/3?
-91/3
Let m(t) = -3*t**2 - 33*t + 102. Let b(d) = 2*d**2 + 33*d - 99. Let u(w) = -4*b(w) - 3*m(w). Let h be u(3). Is 150 <= h?
False
Suppose -4147 = 10*d + 953. Which is smaller: -511 or d?
-511
Let h be ((-5940)/(-14274) + 2*2/(-26))*-25. Is h < -6?
True
Let a(o) be the third derivative of o**4/24 + 7*o**3/6 - 11*o**2. Let u be a(-5). Suppose -74 = -u*c - 4*d, -c + 3*d = -d - 67. Is c less than or equal to 47?
True
Suppose 94*q + 2 = 90*q + g, 0 = -2*q + 9*g - 52. Is 1/20 at most q?
True
Suppose 0 = 2*z + 3*v + 345, -2*z + 12*v - 14*v - 348 = 0. Let g = -15223/86 - z. Suppose 0 = -2*f - 6 + 4. Which is greater: g or f?
g
Let l = -141 + 141.407. Let v = l + -17.507. Let b = 4.1 + v. Is b bigger than 1?
False
Suppose -155*w + 147 = -8. Which is smaller: 44/69 or w?
44/69
Suppose 5*y + 200 = -3*q, 0*y + 3*q = 2*y + 59. Let m(b) = 5*b + 184. Let f be m(y). Let u be (1/6)/((-8)/(-9)). Which is smaller: u or f?
f
Let w = 796.8 - 796.6. Let l be ((-8)/6)/(2/366). Which is greater: w or l?
w
Let s(i) = i**3 - 1 + 4*i**3 + i - 14*i**2 - 4*i**3 - 43. Let q be s(14). Which is bigger: q or -2/5?
-2/5
Suppose 2*v = v + 6. Let f = -5120 - -5122. Suppose -4*b = v - f. Which is smaller: 1 or b?
b
Let g(j) = -979881*j**3 + 2*j**2 - 3. Let b be g(2). Let u = b - -9453884147/1206. Let h = u - -25/18. Which is greater: 0 or h?
0
Let h = 21 + -6. Suppose 2*i = 7*i - h. Suppose i*x + 4*f - 1 = -0*x, -7 = -x - 3*f. Is x less than or equal to -6?
False
Suppose b - 2*b - 868 + 84 = 0. Is -782 < b?
False
Let l(z) = 17*z**2 + 27*z - 11. Let q be l(-8). Suppose -859*a = -q*a - 2. Do a and 9/19 have different values?
True
Let r = 8280/31 - 74573/279. Let s = -1/31 + r. Let d be 102/30 - 1 - 98/70. Is d >= s?
True
Let d = 1713 + 2773. Which is smaller: 4485 or d?
4485
Suppose 207*o = 200*o - 52241. Which is smaller: -7464 or o?
-7464
Let z = -357253/1600023 + 4/6987. Which is smaller: z or 1?
z
Suppose 6*u - 15 = -3. Let q(t) = t**2 - 3*t. Let v be q(u). Let h be v + 6 + (-7 - -3). Which is greater: h or 2/7?
2/7
Suppose -107*t = -109*t - 8. Let o be (t - -4)/(-8 - -11). Which is greater: o or -2/59?
o
Let r = -666 + 1438. Let b = -686 + r. Which is smaller: b or 88?
b
Let q = 1.3256 + -1.3806. Is q greater than -0.11?
True
Let v(x) be the third derivative of -x**6/120 - 13*x**5/60 - 25*x**4/24 - 3*x**3 + 18*x**2. Let c be v(-11). Let a be 36/30 + 12/c. Is 0.07 at most as big as a?
True
Let g = -6.39 + 6.4454. Let w = 2.6146 + g. Which is bigger: w or 2/3?
w
Suppose -5*h + 2*s = -389 + 5383, -4*h - 2*s = 4006. Let a = h - -979. Which is greater: a or -5?
-5
Let j = -1272 + 1270.407. Let q = j - 0.017. Which is smaller: 1 or q?
q
Let k = -2258399/197 + 11464. Let g = 3787/3349 + k. Which is bigger: g or 2?
2
Let m = 277/5695 - 36/335. Let u(b) = b**2 + b - 2. Let f be u(-2). Is f >= m?
True
Let w = 23823.8 - 23824. Let d = 106.738 - -0.262. Which is bigger: d or w?
d
Let s = 86.793 + 0.207. Let x = s + -87.2. Which is greater: 0.09 or x?
0.09
Let x be 19/2*(1 + 1). Suppose x = -2*w - 27. Let j = 24 + w. Which is smaller: j or -4?
-4
Let q be ((390/8)/(-5))/((-1)/44). Let z be (-32)/12 + 2 - (-988)/q. Which is greater: 3 or z?
3
Let c = 20/149 - 3985/1937. Suppose -2*y + m = -4*m - 13, -2*y = -4*m - 10. Are c and y equal?
False
Let g = -457 + 463. Suppose -4 = -4*t + 12. Suppose n + n - g = 4*o, -t*o = 0. Which is bigger: 6 or n?
6
Let t be (-4)/(-11)*(-4668)/(-8). Let a = t - 212. Let f(y) = y**3 - 103*y**2 + 107*y - 511. Let q be f(102). Which is smaller: q or a?
q
Suppose 16*q = -531 - 413. Let k = q + 589/10. Let x = -2.95 - -3. Which is greater: k or x?
x
Let z = -20.94 + 39.6. Let d = -18 + z. Let f = -25.34 - d. Is f greater than or equal to -1?
False
Suppose -171*k = -169*k - 4*n + 140, 260 = -4*k + 3*n. Is k greater than 19?
False
Let q(r) be the third derivative of -r**5/60 - 2*r**4/3 - 10*r**3 - 9*r**2 + 4*r. Let c be q(-12). Suppose l = -4*l, 3*i + l = -39. Which is smaller: c or i?
i
Let p = -6.67 - -8.67. Let i be ((-30)/(-4))/(4/(-8)). Let g = 23 + i. Which is smaller: p or g?
p
Let t(k) = -5*k**2 + k - 2. Let s be t(2). Let r be 10/12 - (656/32 - 1). Which is smaller: s or r?
s
Let i(o) = 5*o**2 + 3*o - 1. Let s be i(-3). Suppose -10*l = 55 + s. Let y be 33/9 + 6/l. Which is smaller: y or 7/4?
7/4
Suppose 0 = -k - 5*x - 6, -9*k = -5*k - x - 39. Let q = 29 - 49. Let d be (6/k)/(q/12). Which is smaller: -1 or d?
-1
Let x = -31679 + 39740. Is 8059 smaller than x?
True
Let g be 4/10 - (-6)/10. Let o = -1784 + 110605/62. Let p = o - -759/310. Which is smaller: g or p?
g
Let f(b) = 217*b**2 - 28*b - 2. Let z be f(-2). Suppose -3*w + 0*g = -g + z, 0 = g - 4. Which is smaller: w or -305?
w
Let b be ((-27)/4 + -1)/(3/(-12)). Suppose 21 - b = 10*c. Do -3/179 and c have the same value?
False
Let k = 7676 + -4581. Which is smaller: -0.1 or k?
-0.1
Suppose -y - 4*u = 8, -5*y - 8*u = -9*u - 65. Suppose 0*c - 4*f = -3*c + 12, 4*f + y = -3*c. Do c and 2/505 have the same value?
False
Let o = -3626 - -3603.15. Which is smaller: o or 0?
o
Let u(s) = -2870*s - 5670. Let a be u(-2). Let n be ((-348)/(-7))/(10/14). Which is smaller: n or a?
n
Let h = 54 + -53.93. Let y be (((-2997)/(-6))/9)/(-6). Let t = y - -9. Is t not equal to h?
True
Suppose 5*q - 1 = 154*x - 150*x, x = q. Is q at most as big as 264/161?
True
Let r(b) = -b**3 + 4*b**2 + 8*b - 23. Let m be r(4). Which is greater: 127/13 or m?
127/13
Let a = 0.00749 - 0.30749. Which is smaller: a or -287?
-287
Let c = -7996 - -8212. Do 192 and c have the same value?
False
Let m(w) = -2*w**3 + 2*w**2 - 3*w - 7. Let h(r) = -r**3 + r**2 - r - 1. Let f(d) = 3*h(d) - m(d). Let s be f(0). Let p be -2 - s*3