Let h = -4195/25016 - -9/53. Suppose 3*u + 7 = 2*c, -c = -6*c - 3*u - 14. Which is smaller: c or h?
c
Let k(u) = 2*u**2 - 12*u - 11. Let c be k(7). Let l be 9555/25 - 2/10. Let w = l + -1517/4. Which is smaller: w or c?
w
Let o(v) = -4*v - 18. Let c be ((-9)/(-6))/((-24)/(-448)). Let j = c + -34. Let b be o(j). Is 7 < b?
False
Suppose 5*r - 5*p = 10*r - 125, 0 = 4*p - 4. Suppose 28*a - 8 = r*a. Which is greater: 3 or a?
3
Let r be (1 - 0) + (-10)/(-1). Let y be (546/(-63))/1*(-192)/104. Is r at most y?
True
Suppose 0 = -22*g + 340421 + 412925. Let d be (-4)/22 + (58212/g)/9. Which is bigger: 1 or d?
1
Let a = 5.23 - 1785.23. Which is smaller: 1/4 or a?
a
Let n be (-79)/(-9954)*1/(163/(-3)). Which is smaller: 0 or n?
n
Let i(w) = -3*w**2 - 14*w + 38. Let o be i(9). Is o < -661/2?
True
Suppose 425 = 5*q - 5*y - 260, y = -3*q + 439. Do 83 and q have the same value?
False
Let c(m) = -m**3 - 22*m**2 + 24*m + 22. Let h be 77/14 - (2 + (-1)/2). Suppose q + 24 = h*p + 1, -46 = 2*q + 5*p. Let a be c(q). Which is greater: a or 4/3?
4/3
Let m(z) = -2*z**3 - 13*z**2 + 8*z - 1. Let t be m(-7). Let l be 4/1*(-4)/t. Suppose 3*o - l*o - 3 = 0. Which is smaller: o or 4?
o
Suppose x + 3*c - 14 = 0, 4*c - 19 = x - 5. Let w = -27472 + 27472.01. Which is smaller: x or w?
w
Suppose 5*o - 27833 - 12367 = 0. Suppose m - 8035 = -n, 2*n + 4*m = 3*n - o. Let x be (-4)/30 + (n/60)/7. Which is smaller: 16 or x?
16
Let x = 4689 + -4687. Is x > 39/14?
False
Let k(g) = 2*g**2 - 18*g - 50. Let v be k(23). Let m be -5*1 + v/135. Which is smaller: -43 or m?
-43
Suppose -19 = -2*h + 6*p - 3*p, 3*p = -15. Suppose -h*k - 10 = 3*m, -5*m + 3 = k + 8. Is m at most as big as -7/43?
False
Let v = 7078 - 7099. Which is smaller: v or -26?
-26
Let m(x) = -13*x + 77. Let g be m(7). Let d be ((-48)/(-72))/(g/6). Let f = 1.535 - 1.5. Which is bigger: d or f?
f
Let v = -2033 - -1830.6. Let m = v + 202. Which is greater: -53/2 or m?
m
Suppose -u - 4*b = u - 68, 2*u - 3*b = 75. Let x be (1/(15/u))/(18/45). Let r be (x/195)/(12/(-80)). Which is bigger: r or 0?
0
Let a = 8887 - 11796. Is -2908 smaller than a?
False
Let q = -119 + 62. Suppose 7*v - 21*v = 812. Is q >= v?
True
Let s(u) = -u**3 - 70*u**2 - 938*u - 104. Let b be s(-52). Is -2/35269 greater than or equal to b?
False
Let s(c) = 29*c + 2. Let g be s(-1). Let x be (36/60)/(g/(-10)). Which is smaller: x or -33?
-33
Let z be 4*(-30)/40 + (-166)/(-60). Let b = -469/90 + z. Is -4 smaller than b?
False
Let k = -13.79 + 14. Let p = -79379 + 79378.7. Does k = p?
False
Suppose 2*s = -2*s - 86 - 42. Which is smaller: -630/19 or s?
-630/19
Let x = -56/15 - -107/30. Let c(b) = -b**3 - 9*b**2 + 9*b - 11. Suppose 112 = -8*u + 32. Let y be c(u). Is x at most as big as y?
False
Let v = -284 - -266. Let p(d) = -d**3 - 16*d**2 + 45*d + 20. Let n be p(v). Is n >= -142?
True
Let s = 0.2 + -0.22. Let a = -14563.02 + 14562. Let w = s - a. Which is smaller: -9 or w?
-9
Suppose -3*q + 73 = -5*k, -24 = -4*k + 6*k + 4*q. Let m be k/21*306/12. Is -18 equal to m?
False
Let p be 479/5 + 1 + (-36)/20. Let k = 99 - p. Which is smaller: 3/13 or k?
3/13
Let z be (1/10)/(16/(-2)). Let f(u) = 16*u**2 - 15*u**2 - u + 9*u. Let i be f(0). Is i not equal to z?
True
Let a = 0.12 - -148.88. Let r = a - 149.02. Is r < 8?
True
Let x be ((-20)/6)/(4/6) + 0. Let b(y) = -2*y**2 - 2*y + 18. Let u be b(x). Does -22 = u?
True
Let d(b) = 215*b**2 + 2*b + 3. Let r(t) = 3*t + 2. Let j be r(-1). Let z be d(j). Let o be (3/4)/(z/(-192)). Is o < -2?
False
Let c = -47 - -37.5. Let o = 4.48 + -6.48. Is o less than or equal to c?
False
Suppose -12*v + 17*v = 0. Suppose 5*s - 37*s = v. Let h = -0.3 - -0.1. Which is greater: h or s?
s
Suppose -9*w + 10*w + 5*b = 20, -2*b + 8 = -5*w. Is w smaller than -1/7236?
False
Let b(d) = -2*d**2 + 65*d + 1392. Let j be b(47). Which is smaller: j or -30?
-30
Let k(c) = -34*c + 1690. Let f be k(50). Which is smaller: 40 or f?
f
Suppose -3*y + 46 = 4. Suppose -3*c - 5*l = -50, 2*l = 4*c - l - 86. Suppose -18*i - y = -c*i. Which is smaller: 9 or i?
i
Let r(k) = -49215*k - 1230370. Let x be r(-25). Let b = 0.76 - -0.04. Let l = 3.8 - b. Is x > l?
True
Suppose 2*r + 354 - 402 = 0. Which is smaller: 27 or r?
r
Let p(s) = -3*s**2 - 18*s - 24. Let j be p(-2). Is 3/2168 <= j?
False
Suppose 2 = 19*i - 23*i - 5*s, 5*i - s = -17. Are i and -71/38 unequal?
True
Let n(b) = b**3 - 18*b**2 + 4. Let r be n(18). Suppose -10 = 4*h - 9*h - 4*s, -r*s = h - 18. Let z = 22 + -18. Which is greater: h or z?
z
Let a(q) = -5*q**3 + 2*q**2 - 5*q. Let r be a(-3). Suppose -w = 11*w + r. Is w not equal to -22?
True
Let b be (1 - (-66)/(-90))/(2/(-3)). Are -0.0645 and b equal?
False
Let b be (-6 - 176/(-33))*((-339)/6 - 0). Let t(d) = -8*d - 2. Let w be t(-5). Which is greater: w or b?
w
Let r = 670 + -623. Is 281/6 at least as big as r?
False
Let n = -7348 + 7320. Which is greater: 0.15 or n?
0.15
Let w = 10257/2 + -4842. Which is bigger: w or -1?
w
Let s(f) = 10*f**3 + 2*f**2 + f. Suppose -k - 5*p - 8 = 0, 3*k - 14 = -5*p + 9*p. Let c be s(k). Is 88 greater than c?
False
Let d = 11975 - 11969. Is d at most as big as -9?
False
Suppose -2325 = 14*a - 3347. Is a at least as big as -1?
True
Let l be 81/162*(-1 - (0 + -1)). Which is smaller: 598/9 or l?
l
Let p = -15 - -53. Let o be 2/(-48)*p/190. Is o at most as big as 1?
True
Let q = -242664/2555 + 90/511. Which is smaller: q or 9?
q
Let n(q) = 2*q**3 - 29*q**2 - 81*q - 69. Let x be n(17). Which is smaller: 5/748 or x?
x
Let k be (-2)/(-8) - (-15)/(-44). Let b(w) be the second derivative of w**5/20 - 5*w**4/12 + w**3/3 - 5*w**2 - 44*w. Let u be b(5). Which is smaller: k or u?
k
Let v be (0 - (2 + 1)) + 5/5. Suppose -2*o = 4*c - 154, 4*o - 421 = -o - c. Which is bigger: v or o?
o
Suppose -4*x = -8*x + 20. Suppose -115 = 3*f + 2*f + x*y, 0 = 3*f - 2*y + 89. Is -27 bigger than f?
False
Let y(p) = -35*p**3 + 22*p**2 + 45*p - 6. Let b be y(-2). Is 273 less than b?
False
Suppose 2*v + 64*l + 62 = 53*l, -l = -v + 21. Let m = -9321/4 + 2342. Which is smaller: v or m?
m
Let r(m) = 24*m - 4383. Let y be r(53). Is y at most as big as -3109?
True
Let v = -23 - -65. Let a be 2/(-9) + 8 + 1821/54. Let y = v - a. Which is smaller: -32 or y?
-32
Let t(a) = 52*a**2 + 137*a + 571. Let v be t(-4). Which is greater: 852 or v?
v
Let r = -57204126 + 492184298621/8604. Let o = 8/239 + r. Let a = -1/72 - o. Which is bigger: a or 4?
4
Let l(w) be the first derivative of w**4/4 + 4*w**3/3 - 13*w**2/2 - 6*w + 14. Let s be l(-5). Is s equal to -4?
False
Let p = 18 - 18. Suppose p*c + 2*c = 2*n - 10, 3*c - 5 = -2*n. Suppose -n*b = -6*b - 34. Is -17 equal to b?
True
Let t(j) = -5*j**2 - 14*j + 2. Let h(o) = 11*o**2 + 29*o - 5. Let w(a) = -6*h(a) - 13*t(a). Let n be w(4). Suppose n = 3*p - p. Which is greater: p or 1?
p
Suppose -8*g + 14 + 10 = 0. Suppose 2*s - w - 73 = 0, -2*w + 127 = g*s - 7*w. Which is greater: s or 32?
s
Let f = -597595/156 - -46568/13. Let g = -961/4 - f. Is -1/3 greater than or equal to g?
False
Let b = -8.8 - -20. Let x = -85.9 - -74.2. Let h = b + x. Does -10/9 = h?
False
Suppose -8*n + 4*n = -16. Suppose 17 = s - h, 0*s = -n*s - h + 58. Suppose -5*g + 20 - s = 0. Which is greater: -6/43 or g?
g
Let b = 271 - 257. Let o be 6/b - (-374)/(-154). Which is smaller: o or -15/28?
o
Let b = -440 + 484. Suppose 3 = -4*n + 4*h + 79, -2*n + b = h. Is -7 at most as big as n?
True
Let r(u) = -u**2 - 4*u + 6. Let n be r(4). Let k(j) = -j**3 + 37*j**2 - 39*j + 82. Let t be k(36). Is n greater than t?
False
Let y be 2*2/(-36) + 16536/164376. Let q = 78319/6088 - y. Are q and 12 nonequal?
True
Suppose -5*k - 36 = b + 795, 4*k - 2*b = -662. Let a(l) = 191*l - 2460. Let p be a(12). Which is bigger: k or p?
k
Let k = -27/119 - -9277/41412. Which is greater: 1 or k?
1
Suppose 0*j + j + 5*m - 20 = 0, -4 = -4*j - m. Which is bigger: -16/33 or j?
j
Let m be (-2079119)/159608 - 13*-1. Which is greater: m or 0?
0
Suppose -2*w - 4*v + 64 = -196, 284 = 2*w - 4*v. Let c be (-9 - (-1240)/w)/((-1)/(-1)). Which is smaller: c or 14?
c
Let g = 179.3 + 695.7. Let h = -875 + g. Is -2.5 at least h?
False
Let v(f) = f**2 + 5*f - 9. Let i be v(2). Suppose 3*t + 5*s = 0, -i*s = -4*t - 3*s. Which is greater: t or -1/80?
t
Suppose -2*g + k - 40 = 120, 0 = 5*k + 10. Let o = 88 + g. 