*s. Which is bigger: 14/13 or s?
14/13
Let u(z) be the third derivative of z**6/120 - 3*z**5/4 + 11*z**4/3 + 8*z**3/3 + 6*z**2 - 4. Let d be u(43). Which is smaller: 107 or d?
d
Suppose 2*r + g = 20, 4*r + 0*g - 38 = -3*g. Let s(y) = -y**2 + 13*y + 17. Let u be s(r). Suppose -3*b + u = 30. Which is greater: b or -2?
b
Suppose 5*s + 2*y = -3*y, 2*y = 4. Let c be s/(-12) - 164/(-24). Let z = c - 7. Is z not equal to 13?
True
Let a(b) = 14*b - 42. Let u be a(5). Suppose -u*g - 21 = -35*g. Suppose -l = 5*w - 8, 5*l + 5*w - 8 - 12 = 0. Is l less than g?
False
Let s = -36.7 - -82.5. Let z = 7.9 - s. Let f = z - -38. Is f greater than or equal to 3?
False
Let i = 3484/315 - 112/45. Which is smaller: i or 10?
i
Let a = 471 + -467. Which is greater: a or 85/18?
85/18
Suppose 0*j + 3*j + 182 = -4*u, -2*j - 4 = 0. Let f = -19679 + 19638. Is f smaller than u?
False
Let v be 14/(-4)*48/140*10/(-6). Which is greater: v or 82/143?
v
Suppose 0 = -32*g - 16523 - 1685. Which is smaller: g or -567?
g
Suppose -17 = -m + 5*n, -2*m + 0*n - 10 = n. Let y be m + (8 - 6)*(-1 + -17). Is -40 < y?
True
Suppose -3*h = 2*y + 1944, -2*y + 1533 = -5*h - 1707. Let v = h + 647. Which is bigger: 1/28 or v?
1/28
Let o = -108158.822 + 107909. Let v = o - 0.178. Is v at most 1/2?
True
Let b(h) = -170*h + 1. Let c be b(1). Let s = -76652 + 76483. Is c != s?
False
Let t(p) = 236*p**3 - 2*p**2 + 15*p - 14. Let i be t(1). Is i at least 239?
False
Let z = -278 - -412. Let s(v) = 2*v**3 + 93*v**2 + 109*v + 3033. Let c be s(-46). Is z < c?
True
Let k be -1 - -86 - (-110)/(-22). Let i = k + -372. Do i and -292 have the same value?
True
Let c(o) = o**3 - 8*o**2 + 12*o - 61. Let x be c(8). Let a be x/(-2) - -6 - (-2)/4. Is a equal to -4?
False
Let m = 2564957/80 - 32062. Is -0.2 equal to m?
False
Let h = -0.0057 + 0.0804. Let x = h + -187.0747. Is x equal to 1/2?
False
Suppose 5*q - 2*j - 46 = q, q + 5*j = -5. Suppose -80 = -0*c - q*c. Which is greater: c or 17?
17
Let m be (-683552)/1230 + (0 - (-4)/10). Let f = -548 - m. Which is greater: 8 or f?
8
Let x = 1846204/1012729 + -15/13873. Are x and 1 nonequal?
True
Let v(u) = -10*u - 4. Let b be v(4). Suppose 24*w - 8 = 23*w. Suppose -w - 12 = 4*c, -c + 130 = -3*n. Is b less than n?
False
Let m = -294271 + 9417437/32. Is m <= 25?
True
Suppose 4*z - 5*d = -0*z - 15, -4*z - d + 3 = 0. Let a = -6 + z. Suppose -u - 2 = -5*n + 26, 5*n = 20. Are u and a unequal?
True
Suppose -3*i - 4*q = 55341, 483*i = 488*i - 4*q + 92171. Is 1 greater than i?
True
Let h(u) = -u**3 - 14*u**2 - 6*u + 23. Let f be h(-12). Let l = -127 - f. Are 67 and l non-equal?
True
Suppose w - 18 = -7. Let b(y) = -4*y - 16. Suppose -24*u = 88 + 56. Let x be b(u). Which is smaller: x or w?
x
Let b be (2 + -1)*-12 - -5. Let z be (-937802)/648 - (203/(-28) - b). Let t = 1447 + z. Which is smaller: t or 1?
t
Let x(i) = -2*i**3 - 16*i**2 - 16*i - 11. Let j(b) = -3*b**3 - 16*b**2 - 17*b - 12. Let u(m) = 3*j(m) - 4*x(m). Let h = 71 - 54. Let r be u(h). Is r < -59?
True
Let u(b) = -b**2 - b - 8. Let p be u(0). Let n be (p/(-12)*-282)/13. Let l = -5854/403 - n. Is l > 0?
False
Let i = -220 + 220.066. Let m = 0.166 - i. Is 3/91 < m?
True
Let t be (-4383)/5226 + (-2)/(-2). Let h = -335543/938 - -2504/7. Let r = h + t. Do r and 1 have the same value?
False
Let v = 28504.7 + -28507. Is v not equal to -2/11?
True
Let h = 676 - 677. Suppose 5*c + 91 = 2*r - 3, c = -2*r + 82. Let f be -2 + -4 + r/8. Which is greater: h or f?
f
Let z = 145 - 380. Let y = 123 + z. Let r = y - -83. Is r at most as big as -2?
True
Let b = 1706/189 + -32/189. Let q be 8/20*(-110)/(-4). Let r = b - q. Are r and -1 unequal?
True
Let n = -5.81 + 1.61. Let y = -4.1 - n. Which is greater: -161 or y?
y
Suppose -22*f - 4159 - 5059 = 0. Let s = f + 215. Is -206 bigger than s?
False
Let q be 35/420 - 6889/12. Let r = 574 + q. Is r >= -3/101?
True
Let s(n) = -n**3 - 7*n**2 - n - 9. Suppose 0 = -3*t + 4*t - 2. Let k be 603/(-117) + t/13 - 2. Let h be s(k). Which is bigger: -0.2 or h?
-0.2
Let q = -437/6 - -73. Let t = 21 - 19. Suppose 4*w + t*n - 6 = 0, -3*w + 2 = -3*n + 2*n. Which is greater: w or q?
w
Suppose 0 = 772*o - 749*o + 7797. Which is smaller: o or -2033/6?
o
Suppose 4*x = 8, -3*m - 7*x = -10*x - 5637. Is 1882 greater than or equal to m?
True
Let q = 2 - 1. Suppose 5*i + 40 = 30. Let v be -2*(5 + -6) + i/(-9). Which is bigger: q or v?
v
Let s be (((-2)/5)/(1/20))/(-2). Suppose -2*j - g + 18 = -5*g, 5*j + s*g = -11. Is -4/31 >= j?
False
Let i = 4167 + -445867/107. Do i and -0.02 have the same value?
False
Let d = -944 + 943.8. Which is smaller: d or -1.63?
-1.63
Let w = 3139 + -335875/107. Which is smaller: -1 or w?
-1
Suppose 0*k + 2 = -2*k. Let z = 1 - k. Let t = 1.391 + -3.391. Is z at most t?
False
Let b(l) = -l**3 + 7*l**2 - 43*l - 220. Let m be b(-6). Which is smaller: 507 or m?
m
Let v(p) = -2*p**3 + 4*p - 3. Let h be v(2). Suppose -7*g = -3*g - j + 4, -4*j - 3 = 3*g. Let f = g - h. Are 0.2 and f unequal?
True
Let r be (1872/54)/((-8)/12). Is r smaller than -40?
True
Let m = 1 - -9. Suppose 3*z + 2 = 17. Suppose 0 = -z*n - 28*w + 26*w + 6, 4 = -2*n - 4*w. Which is bigger: m or n?
m
Let v = 16122/29 - 556. Suppose 0*a = 6*a - 450. Let y = a + -75. Which is bigger: v or y?
y
Let d be (-542)/(-42) + (-2)/(-21). Let y(c) = 18*c - 53. Let f be y(d). Is 180 != f?
True
Let t(u) = -3*u**2 - 19*u + 5. Let b be t(-6). Suppose -27*z - 336 = -b*z. Which is smaller: -17 or z?
z
Let q(m) = m**2 + 57*m + 782. Let y be q(-23). Which is smaller: -44/43 or y?
-44/43
Let f = -16.037 + -5852.963. Which is greater: 2 or f?
2
Suppose -6*n = -n - 6695. Let v = n - 139257/104. Which is smaller: -1 or v?
-1
Suppose 200*s - 189*s = -1980. Let i be 19*-1 - (-189 - s). Let d = -36 + 25. Is i at most d?
False
Let l = 11120 - 2946794/265. Is l > 0?
True
Suppose 5*h - 4*v = 160, -17*v + 22*v = 0. Is h > 46?
False
Let a(n) = 2*n**3 - 4*n**2 - 32*n + 13. Let p be a(6). Suppose 0 = -b + 44 - p. Which is bigger: b or -66?
b
Let m = -97 - -99. Let k be (-35)/(-10)*m - 5. Suppose 0*h = w - k*h - 5, 4*w + 5*h + 6 = 0. Which is smaller: w or -2?
-2
Let y be (51/153)/(2 + (-38)/18). Is 16.3 at most y?
False
Suppose 3*h = 2*t + 7866, h = 4*t + 773 + 1839. Is h not equal to 2625?
True
Let k be (175/15 + -11)*(-15)/10. Let m = -0.8 - -2.2. Which is smaller: m or k?
k
Suppose -296*x = -308*x - 3372. Which is greater: -841/3 or x?
-841/3
Let h(v) = 41*v**2 - 247*v + 5. Let k be h(6). Which is smaller: k or -4/5047?
k
Suppose -4*v + 3*d = 8285, 9*d - 10337 = 5*v + 8*d. Are -2066 and v unequal?
False
Let y = 266 - 553. Let m = y - -2299/8. Let j be (4/(-3))/((-20)/(-6) - 1). Which is greater: m or j?
m
Let o = 67 + -61. Let q be (-8)/o*17/6. Suppose -5 = g - 0. Which is smaller: g or q?
g
Let u be (-1)/((-1)/2*1). Let k be (-1 - -2)*u/(-2). Let l be ((-102)/50)/((-396)/220) + 0 + -1. Is l less than or equal to k?
False
Suppose 6*n - v = 3*n + 2, 0 = 4*n - 5*v - 21. Let i = 618 + -618.111. Which is bigger: n or i?
i
Suppose 0 = -4*g, 2*r - 14 = 4*g - 2*g. Let f = -5 - 16. Let q be 1*6/(-4)*14/f. Which is smaller: r or q?
q
Let b(d) = -d**2 + d - 3. Let n be b(0). Let i(x) be the first derivative of x**4/4 + 5*x**3/3 + 4*x**2 + 5*x + 1. Let t be i(n). Which is smaller: t or 1?
t
Suppose -4*p + 0*b = -5*b - 6, p = -2*b + 8. Let m(a) = -a**2 - 7*a - 1. Let j be m(p). Let f = -34 - j. Which is smaller: f or 14?
f
Suppose -5*y - 5*x = 0, 3*y + 8 = 2*y - 3*x. Suppose y*s = s - 90. Suppose 2*n = -5*u - 38, 3*n = 4*n + 4*u + 13. Which is greater: s or n?
n
Let k(j) = j**2 - 7*j - 9. Let u be k(8). Let s = -2119/620 - -49/20. Is u >= s?
False
Let v be -7 + -2*(-3)/2. Let s be -4 + 4 - v/(-22). Let c be (-12 - 321/(-27))*-9. Which is bigger: c or s?
c
Let m = 0.6823 + -0.7823. Is m less than 1597?
True
Let g = -37 + 36.81. Let u = g - 0.21. Let b = 1143 - 1140. Is u at most b?
True
Let s = 45424 + -225757/5. Let v = s + -270. Which is greater: 3/8 or v?
v
Let i = -56 + 52. Let l be (40/(-16))/(10/i). Let m = -331.6 + 332. Which is smaller: l or m?
m
Let x(n) = 158*n - 2216. Let k be x(13). Does -168 = k?
False
Let a be ((-30)/33)/(-5) + (-245)/77. Let l = 1 + -4. Let u be (-6)/(9/2 + l). Which is smaller: u or a?
u
Let j(c) = 7*c + 5. Let r be ((-1)/(-3))/((-14)/5