*h - s - 40, 2*h - 2*s - s = 3. Suppose -h = -i - 2*i. Let c = -3.644 - -3.584. Which is bigger: i or c?
i
Let a = -133.68 + 134.28. Let m be 2 + 0 + 0 + 4. Is m less than a?
False
Let a(c) = 2*c**2 - 96*c + 86. Let n be a(47). Let t be 686 - ((-140)/28 - n/1). Which is bigger: t or 682?
t
Let o = -1185 - -1181. Suppose 2*g - 5*w + 7 = 5, 22 = 3*g + 5*w. Let a = g - 8. Is a < o?
False
Let v = 12 + -7. Let b(s) = s**2 - 2*s - 16. Let r be b(v). Which is smaller: -7/4 or r?
-7/4
Let u = 287.1 + 35.9. Let j = -322 + u. Which is bigger: -28 or j?
j
Let h(w) = 38*w**3 - 7*w**2 - 12*w + 65. Let t be h(4). Let f = 2408 - t. Suppose -4*j - 4*o = -300, 4*o - 2*o - 10 = 0. Which is greater: j or f?
f
Let b be (-24)/16 + 9/2. Let p be ((-1)/(-2))/(-1*b/12). Let u(y) = 2*y + 4. Let g be u(p). Is -5 greater than g?
False
Suppose -2 + 0 = 2*h. Let v be 13 + ((-1819272)/(-35259))/(-4) - (-2)/(-23). Which is bigger: h or v?
v
Let v(o) = -2*o**3 + 194*o**2 + 35*o - 1342. Let u be v(97). Is u at most 2052?
False
Let q(n) = -2*n**2 + 11*n - 3. Let z be q(5). Let l(y) = -y + 23. Let b be l(9). Suppose -12*k + b*k = -z. Which is greater: k or -2/13?
-2/13
Suppose -2*j - 3*b + 693 = -141, 0 = b. Is 417 not equal to j?
False
Let v be 4/(-9) + 0/1. Suppose 16 = -6*k + 4*k + 4*h, -5*k - 12 = -3*h. Suppose k = -4*a + 4*m + 12, a + 7 = 6*a - 3*m. Which is greater: v or a?
v
Let l(v) = -v**2 - 2*v + 1. Let m = -214 - -208. Let u be l(m). Which is bigger: u or -24?
u
Let p = -2 + 1. Let w = -156 - -154. Let y be (-1 + (-4 - w))*39/663. Which is bigger: y or p?
y
Let j = 2242 - 20179/9. Which is smaller: 125 or j?
j
Let v be -6*(14/105)/((-1)/5). Suppose -70 = -y + f, -v*f + 146 = 3*y - y. Are y and 0 unequal?
True
Let f(v) = -v**3 + 4*v**2 - 8*v + 14. Let d be f(3). Does d = -0.0032?
False
Let x = 1839 + -266658/145. Let z = x - 409/8265. Suppose 28*v - 18 + 46 = 0. Which is smaller: v or z?
v
Let f = -2.53 + 4.44. Let k = 0.21 - f. Are k and 7 unequal?
True
Let r = 4.788 - -192.912. Let w = -198 + r. Do 3/53 and w have different values?
True
Let g(q) = 2*q**2 + 5*q - 6. Let z be g(-4). Let n be z*3/18*-3. Let y be 21/14*(-2)/n. Which is bigger: -11 or y?
y
Let f(u) = 41*u + 350. Let o be f(-8). Let h(n) = -2*n**3 + 4*n**2 - 2*n - 2. Let l be h(3). Let i = o + l. Which is bigger: i or 2/9?
2/9
Suppose 4*s = -5*f + 60 - 51, 2*s = 3*f - 23. Let v be (-3)/f + (4452/(-20))/(-1). Which is bigger: v or 224?
224
Suppose -32*h - 37000 = -27*h. Let n be 1970/h + 3/12. Which is greater: n or -1?
n
Suppose -12*s + 114 = 402. Let k be 16*((-6)/s)/(-1). Which is greater: k or 7?
7
Let x be (2/6)/(6/36). Suppose m + x*g = 78, 4*m + 3*g - 395 = -73. Suppose 3*a - 4*n + 2*n + m = 0, 2*a - n = -55. Is -1 at most a?
False
Let p = -1489 + 160813/108. Let s be 15/6*(-2 + (3 - -1)). Suppose 18 - 23 = -s*j. Are j and p non-equal?
True
Let w(z) = z - 18. Let u be w(20). Let l be ((-48)/(-15))/(u/10). Let q be (-302)/l - 4/32. Which is smaller: q or -18?
q
Let t(v) = -v**2 - 17*v - 2. Let g be t(-16). Let a be (g/(-9))/((-6)/270). Which is smaller: a or 75?
a
Let i(r) = 117*r**3 + r**2 + r. Let x = -94 + 92. Let o be i(x). Let w = o + 8396/9. Which is smaller: 0 or w?
w
Let h be (8/(-1110))/((-2)/(-5)). Suppose 0 = 220*k + 31 + 189. Which is bigger: h or k?
h
Let t(v) = -v**3 - 10*v**2 + 16*v + 2. Let d be t(-11). Let p be (-2)/3 + (d/156 - -1). Let o = p + -565/78. Which is greater: o or -7?
-7
Let u be (3 - 1) + -3 + 3. Let c(b) = 5*b**2 - 90*b + 16. Let k be c(18). Is u smaller than k?
True
Let x(p) be the third derivative of p**5/30 - 7*p**4/12 + p**3/2 + 6*p**2 - 2*p. Let l be x(7). Is 3 at most l?
True
Let g(b) = -b**3 - 5*b**2 + 68*b + 20. Suppose 45*q = 42*q - 33. Let l be g(q). Which is smaller: l or -4?
-4
Let w be 391847/(-6340) - 0 - 3*-1. Let l = -7/1268 - w. Let o = 117/2 - l. Which is smaller: 2 or o?
o
Let q be 12/(-5 + (-3817)/(-759)). Which is greater: q or 416?
416
Let y(x) = 2*x**2 + 9*x + 6. Let q be y(-4). Suppose -q*u - 7*u + 27 = 0. Let s be -4 - 436/(-16) - u/12. Is 22 bigger than s?
False
Let i be 94385/13459 + -3 + -4. Is 0 <= i?
True
Let z = -266183/163 + 1633. Let q = -2 - -3. Which is smaller: z or q?
z
Suppose -25 = -3*t + 5*o, 0*t + 2*t + 20 = -4*o. Let v = 3324 + -1459235/439. Is v at least as big as t?
True
Let d = -8055706 + 604260077/75. Let r = -1095 + d. Which is greater: 1/2 or r?
1/2
Let t = -8452/3465 - 2/385. Suppose 50*z + 79 + 21 = 0. Is t less than z?
True
Let n = 15 - -34. Suppose -32*t = -39*t - n. Do t and -35/6 have the same value?
False
Let u(h) be the third derivative of 5*h**4/24 + 31*h**3/6 + 32*h**2 - 1. Let l be u(-17). Is -53 at least as big as l?
True
Let r = 18172699/1502 - 12099. Which is bigger: r or 0?
r
Suppose -3*r = -r - 18. Suppose 25*i - 27*i - q + 17 = 0, 20 = 2*i + 4*q. Do r and i have the same value?
False
Let v = 242 - 242. Suppose -j + 23 = -4*r, r = 5*j + 3*r - 5. Suppose 4*n - 5*t - 39 = 0, -3*t - 18 - 12 = -j*n. Is n smaller than v?
False
Let m(s) be the third derivative of -s**6/40 - s**5/30 - s**4/12 + s**3/3 - 5*s**2. Let o be m(1). Let t be (-2)/(-6) - (o - -5). Is 4 at least t?
True
Let s = -441 + 763. Which is smaller: s or 324?
s
Let t = -71 + 125. Let a = -35.64 + -15.36. Let k = a + t. Which is greater: -0.11 or k?
k
Let m be 0*(1 + 6)/(-7). Suppose 5*i + 3*s - 1012 = m, -s = -4*i + 546 + 250. Are 200 and i unequal?
False
Let d = -11.904 - -13.83. Let a = 0.0029 - 0.0769. Let b = a - d. Which is greater: 0 or b?
0
Suppose 25*u - 52597 = 118*u + 15386. Which is greater: u or -730?
-730
Let v be (2/(-8))/((-2)/40). Suppose -b + v*a + 57 = 0, -2*a - 96 - 2 = -2*b. Suppose -r + 2*r - 27 = l, b = r - 5*l. Are 22 and r nonequal?
False
Let s = 17768/849979 + -5/3926. Does s = 0?
False
Let u be (-62)/(-142)*(15/(-14) - (-236)/413). Is 1 less than u?
False
Let p = 51 - 47. Suppose 2*q + 165 = 3*d, 0 = 5*d - p*q + 8*q - 275. Let k be ((-1)/(-55) - (-10)/d)*5. Which is greater: k or 1/35?
k
Let h be (-1)/((-20)/36)*70/(-21). Let k(f) = 14 + 14*f + 35 + 5 + 10. Let c be k(h). Is -21 > c?
False
Let z(m) = -10*m - 315. Let c(w) = 5*w + 157. Let t(l) = 5*c(l) + 2*z(l). Let f be t(-31). Which is greater: f or -30/37?
f
Let b be (-1)/3*-87 + 4. Suppose b = 5*f - 8*f. Let m(c) = c + 2. Let u be m(f). Which is smaller: -8 or u?
u
Let s = 1.71 - -2.67. Let d = s + -0.38. Let x = 4 - d. Is -2 bigger than x?
False
Let l = -4587 - -4523. Is l at least as big as -7?
False
Let v(y) = 2*y**3 + 4*y**2 + 20*y + 20. Let w be v(-2). Let k be (-2)/14 + -2*146/14. Is w equal to k?
False
Let a = -17263 + 51073/3. Let o = a + 242. Let p = -3 + 5. Which is greater: o or p?
o
Let m = 18564 - 18568. Let u = 0.98 - 1. Which is smaller: u or m?
m
Let z be (12 - 8)*-6 - -2. Let x be 2/(-6) - (6 - z/(-3)). Which is smaller: -3/113 or x?
-3/113
Let n = -446 - -221. Let b = 220 + n. Is b at most -0.03?
True
Let i(j) = -2*j**2 - j + 9. Let v be i(0). Let a = -30 + v. Let z = a - -5. Are z and -18 unequal?
True
Suppose 2*x - 1 = x + 4*n, -4*n - 2 = -2*x. Let g be (-2 + 4 - x) + (-12)/18. Suppose 6*i - i + 5 = 0. Which is bigger: g or i?
g
Suppose -46*w + 2429 = 32*w - 11611. Is 173 < w?
True
Suppose -47*n = 1102*n - 19533. Let l = -9 - -2. Let i = l - -5. Which is bigger: n or i?
n
Let r = -11232 - -7783. Is -3448 at least r?
True
Let l(h) be the third derivative of h**6/120 + 3*h**5/10 - 5*h**4/3 - h**3/2 - 20*h**2 - 2*h. Let j be l(-20). Which is bigger: j or -28/9?
j
Let c = 11550 + -11550.2. Are 4259 and c equal?
False
Let y = 5102 + -5105. Is y > 1/51?
False
Let m(d) = 2*d - 8*d**2 + 3 + 9*d**2 - 2*d**2. Let f be m(-2). Let u be ((-6)/9)/((-3)/(-45)*2). Is u > f?
False
Let c(i) = 584*i - 54. Let z be c(9). Let k be (15612/z - 3)/(6/9). Which is smaller: k or 0?
0
Suppose t = 5*t + 3*x - 1466, t = -3*x + 362. Suppose 33*i - 41*i - t = 0. Are -49 and i unequal?
True
Suppose 4*x + 4*p = -4, 4*x - p = -x + 13. Suppose -x*m - 2*f = -30, -4*m = -9*m + 2*f + 61. Suppose 0 = 8*a - 5 + m. Which is bigger: 1/77 or a?
1/77
Let m = 20270 - 20265. Which is smaller: m or 16.5?
m
Suppose 0 = 2*t - 2*b - 10, -3*t - 11 = -4*t + 4*b. Suppose -36*g + 30*g - 42 = -20*g. Suppose 6*f - g*f = -t. Which is greater: -4/25 or f?
-4/25
Suppose 4*c = -4*m - 0*m + 8, -2*m - 2 