e (-5)/((-15)/18) + 3. Let g(b) = 2*b**2 + 19*b + 1. Let q(a) = -3*a**2 - 37*a - 1. Let s(k) = -5*g(k) - 3*q(k). Let h be s(16). Is y greater than h?
True
Let s(n) = -n**2 + 7*n - 6. Let i be s(5). Suppose 2*p = z - 854, -2*p + 5*z - 373 - 465 = 0. Let o be 1650/p + 4/(-26). Are i and o equal?
False
Let a(k) be the first derivative of 15*k**4/4 - 2*k**3/3 - 3*k**2/2 + 5*k - 44. Let t be a(2). Let r = t + -110. Which is bigger: r or 6/77?
r
Let v be ((-1)/(-3))/(3/27). Let l(c) = 3*c**2 + 10*c - 43. Suppose 5*m - 29 = 4*r, 3*r + m = -4*m - 13. Let a be l(r). Is v greater than a?
False
Let i be (22580/58)/(-9 + 13). Let y = i + -195/2. Which is smaller: y or 1?
y
Let t be ((-6)/8)/(1/(-428)). Let z be ((14439/18)/(7/42))/15. Let b = t - z. Which is bigger: -1 or b?
b
Let q(w) = w**3 + 8*w**2 - 89*w + 18. Let l be q(-14). Let o be l/(-176)*(2/3)/1. Are o and -3/5 non-equal?
True
Let v(r) = r**3 - 2*r**2 - 15*r + 66. Let o be v(8). Let p = -349 + o. Is p less than -10?
True
Let h = -304 + 293. Let u be (-2)/h + (-402)/396. Is u smaller than 9?
True
Suppose 5*h + m - 62 = 0, -2*h + 3*h - 4*m = 25. Let t = -645 - -621. Let p = t + h. Which is smaller: 0 or p?
p
Let m(j) = 23*j**3 + j**2 - 3*j. Let k be m(2). Let z = k - 203. Which is smaller: -24 or z?
-24
Let y be (3/1*-181)/(117/(-78)). Is y smaller than 2526/7?
False
Suppose -104 = -y - 4*j, 7*y - 4*j = 3*y + 456. Suppose y = 3*o - 5*t, -5*o = -0*t + 4*t - 236. Let h = o - 45. Is -1/72 at most h?
False
Let i be (-136)/950 + (10540/500 - 21). Which is smaller: 1 or i?
i
Let a(v) = -52*v**2 - 625*v - 1877. Let b be a(-3). Are b and -464 nonequal?
True
Suppose 4*h - 4*g - 112 = -4, 0 = 5*g + 15. Let q be (-18)/h - 92/(-16). Suppose 1 = 2*p - z, -2*z = q*p - z + 1. Is -2 greater than or equal to p?
False
Let q be -1 + ((-517396)/(-164) - (4 + 1)). Let m = q + -3149. Which is smaller: -0.04 or m?
m
Let j be 2302/(-420) + 135/(-25) + 5. Let d = -37/6 - j. Which is bigger: -1 or d?
d
Suppose 57 = -30*h + 207. Let j = 629 + -8183/13. Which is greater: j or h?
h
Suppose -24*g = 50*g + 48544. Which is smaller: g or -675?
-675
Let t(y) = -99*y**2 + 16478. Let g be t(0). Is 16478 <= g?
True
Suppose 10*l + 74 + 36 = 0. Let y = l - -13. Suppose -3*q - 33 = y*t + 20, -5*t - 107 = -q. Which is bigger: t or 2/9?
2/9
Suppose 0 = 4*k - 3*k + 124 + 392. Which is smaller: k or -517?
-517
Let l = 106 - 61. Let r(u) = 284*u - 1432. Let t be r(5). Let g be (l/t)/((-20)/(-15)*-9). Which is bigger: 1 or g?
1
Suppose -7*m + 2*r = -2*m - 6, -3 = r. Let c = -588 + 757. Which is smaller: m or c?
m
Let v be 1468/(-89540)*61 + (-15 - -16). Which is bigger: v or -1?
v
Let q = -6571 - -3562. Is q < -3009?
False
Let o(a) = 6*a + 111. Let m be o(-18). Suppose -m*p - 7 = -4*p. Are 36 and p unequal?
True
Let k = -0.149 - -0.149. Is k <= 233?
True
Let t = 127 + -53. Let s be (4 + (-293)/t)*(-8)/(-6). Let f(k) = -3*k + 3. Let c be f(1). Which is smaller: c or s?
c
Let s be 70 - 0*1/(-4). Let i = s - 74. Which is smaller: -2 or i?
i
Let u(j) = 44*j + 1320. Let d be u(-30). Are -22/171 and d non-equal?
True
Let f = 75614/83 - 911. Suppose b + 5 = 0, q - 6*b = -11*b - 17. Suppose -5*z + 21 = 4*p, -3*z + p = -q*z + 9. Which is smaller: f or z?
f
Let a = 2.34 - -0.01. Let n = -25.35 + a. Let k = 8 + -7.9. Are n and k equal?
False
Suppose 5*y = -4*m + 16, -5*y - 95 + 30 = -5*m. Let j be 115/69 - 24/m. Which is smaller: 8/85 or j?
j
Let j = 319 + -2234/7. Let y = j + 41/238. Which is greater: 1/6 or y?
1/6
Suppose 44*x + 124 = -18*x. Is x equal to 149?
False
Let g = -21.75 + 31.75. Suppose 5*r + 45 = -0*r. Let u be 1*-3*(-6)/r. Which is bigger: g or u?
g
Let m = -0.7274 - -0.6274. Which is bigger: m or -755?
m
Let o = 56 - 95. Let c = -66 - o. Let p be 8/(-36) - (-2 + (-75)/c). Are -1 and p non-equal?
False
Let n(o) = -o**2 - 3*o + 17. Let a be n(-7). Let g = -1411 + 1405. Is g less than a?
False
Let d = 0.15 + 384.85. Let b = -380 + d. Which is bigger: -9 or b?
b
Let n be (-6)/(-2*18/24). Let w(z) = 2*z**2 - 13*z + 13. Let g be w(7). Which is bigger: n or g?
g
Let x(o) = 13*o**2 - 29*o - 164. Let j be x(-9). Do 2/7 and j have different values?
True
Let p be -2 - ((-10)/(-5) + -4774). Suppose 5*y = -2*c - p, y + 919 = 4*c - 57. Let n = 16258/17 + y. Which is smaller: 0 or n?
0
Let j(i) = 15*i - 2 - 1 + 3 - 2 + i**2. Let f be j(-15). Let v be -4 + (4 - 6) - f. Which is bigger: -9 or v?
v
Let l = -215 + 218. Suppose -5*k - 10 = -y, 3*y = 2*k - l - 6. Is y less than -9?
False
Let x be (3/(-2149))/(80/(-70) - -1). Which is smaller: 1 or x?
x
Suppose -11*w + 60590 = 354. Are w and 5477 equal?
False
Let f = -7507.57 + 170.57. Which is smaller: f or 1?
f
Let b(h) = 2*h**3 + 3*h + 3. Let p be b(-1). Let t be ((-21)/p)/((-21)/1120). Let l be (t/(-12))/(-4) - 3. Which is bigger: l or -16?
l
Let i = -80 - -80. Suppose 9*s - 2*s - s = i. Suppose 13*m - 11*m + 10 = s. Which is smaller: -4 or m?
m
Let k be 3*(-1074228)/230193 - -14. Is k at most as big as -1?
False
Suppose 12 = -961*q + 949*q. Which is smaller: q or -24/89?
q
Let i be (-1)/(-1*(5 - -2) + 21082/3000). Which is smaller: -37 or i?
-37
Let m be (((-154)/(-28))/(-11))/(2/1808). Is m less than -452?
False
Let r(h) = 431 + 9*h - 439 - 36*h. Let i be r(2). Is i smaller than -64?
False
Let k be 105 + 3211 + (13 - 1). Is 3329 less than k?
False
Let f be (91/(-637))/((-218)/2). Is f bigger than 7?
False
Let q be (-84)/(-3)*((-2)/14 + 1). Suppose -4*i = 4*p - 54 + 38, -5*i = p - q. Are -3/127 and p nonequal?
True
Suppose 5 = -n + u, 2*n + 2 = -5*u + 27. Suppose -j + 21 + 28 = n. Suppose 10*a - j = -9. Which is smaller: 0 or a?
0
Let q = -34 - -68. Let i = -2339 + 2344. Suppose -n - i*y - 22 = -y, 5*n = -y - q. Is n greater than -1/3?
False
Let c be 0 - -1*1/3. Suppose -2*h - 2*m = 12, -2*h = 4*m - 2425 + 2451. Which is bigger: c or h?
h
Let f = 24426 - 24425. Which is smaller: 17/171 or f?
17/171
Let d = -15 - -1. Let g be (-22)/374 + (3/(-68))/((-6)/(-672)). Which is bigger: g or d?
g
Let f = -2404 + 2509. Let p = -8 + 12. Suppose p*m - 2*n = -m + f, n - 97 = -4*m. Are 20 and m unequal?
True
Let y(z) = z**2 + 21*z + 7. Let c be y(-21). Suppose c*n = 11*n + 24. Suppose -4*b = -13 + 33. Which is bigger: b or n?
b
Let l(y) = -4*y**2 - y + 39. Let k be l(-8). Let p = -245 - k. Are 0 and p equal?
False
Suppose -3*j + 124 = -218. Suppose -j*z - 15 = -129*z. Let c = -56/37 - -2074/1517. Which is smaller: z or c?
c
Let g(c) be the third derivative of c**5/60 + 3*c**4/4 + 37*c**3/6 - 65*c**2 + 1. Let z be g(-15). Which is greater: -11 or z?
z
Let s = 1844/83 + 406480/249. Is 1654 at least s?
False
Let m = -52980 - -210491/4. Is -358 at most m?
True
Let m(t) = -t**3 + 6*t**2 + 4*t - 26. Let y be m(6). Let i be y*6/(-4) + 20 + -298. Is i equal to -275?
True
Let z(s) = 0*s**3 + 112*s**2 + s**3 - 14*s + 5 - 99*s**2. Let c be z(-14). Suppose -o = -0*i - c*i - 26, -6 = 4*o + 2*i. Do o and -6 have the same value?
False
Suppose 5*u = t + 17909, 10*t + 10739 = 3*u + 3*t. Which is bigger: -1 or u?
u
Suppose 0 = -5*s - a - 2168 + 447, 4*s = -a - 1376. Let v = s - -346. Is v greater than 4/203?
True
Let s(v) = v - 7. Let z be s(5). Let t = 78189.8 - 78190. Is t less than z?
False
Suppose 4*h + 750*j + 4 = 748*j, -j - 2 = h. Let u be 3/55*-2 + 0. Which is smaller: u or h?
u
Let r(k) = k + 24. Suppose -a = -6*a - 120. Let u be r(a). Suppose u = 4*s + 5*d - 20, -5*s - 2*d = 4 - 12. Which is bigger: s or -5/13?
s
Let l(s) = s**3 + 5*s**2 - 7*s + 10. Let h be l(-6). Let p = -3191/4 - -815. Which is greater: p or h?
p
Let g = 16032/7 + -299995/133. Which is greater: g or 35?
35
Let q = -31/245 + 114/49. Which is smaller: q or -26?
-26
Let l be (5/5 - -5) + (2475/(-36))/11. Is -1543 at least as big as l?
False
Suppose j = 4*j - 9. Let p be 284/(-12) + j - 0. Let w = 1776 - 1798. Which is greater: w or p?
p
Let b = -1160 + -24. Let c = b + 146817/124. Let z = c - 277/3596. Which is smaller: z or 1?
z
Suppose 0 = -3*t - 0*t + 99. Let n be 158*((-1185)/75 - -16). Which is smaller: n or t?
n
Let q = 180 + 74. Let y = -253.5 + q. Which is bigger: 1 or y?
1
Let a(b) = -12*b + 199. Let c be a(17). Let o = 58 + c. Which is smaller: -1 or o?
-1
Suppose 3*u = 14*z + 1230, 4*z - 1640 = -4*u + 5*z. Which is smaller: u or 406?
406
Let 