 Let x be j(-1). Which is smaller: z or x?
x
Let h = -25291 + 152825/6. Which is smaller: 179 or h?
179
Let r(x) = -4*x**2 + 380*x - 348*x + 3*x**2 + 102. Let h be r(30). Is h > 163?
False
Suppose 4 = 14*h - 18*h. Let y be ((-2697)/(-58))/(3 - 1 - -1). Is h at least as big as y?
False
Let g = -99 + -79. Let l be ((-1)/3*19)/(g/(-15036)). Let b = l - -535. Which is smaller: 1 or b?
b
Let m(p) = -5*p**3 - 3*p - p**3 - 6 - 6*p**2 + 8*p**3 + 4. Let f be m(4). Suppose f*w - 21*w - 6 = 0. Which is smaller: w or -5?
-5
Let j(w) = -3*w**2 + 10*w - 9. Let c be j(3). Let n be (14/46 - 0)*c/(-21). Let g(l) = -l**3 - 2*l**2 + 2*l - 2. Let a be g(-3). Is n >= a?
False
Suppose 2*p + o - 9 = 0, 5*p = o + 3*o + 3. Let b = -29 - -33. Suppose -b*d - 31 = -2*r - 3, -7 = -p*r - d. Which is smaller: r or 0.3?
0.3
Let b = 62 + -8. Let h = b - 83. Let n = h - -31.5. Which is smaller: n or 2?
2
Let t(x) be the second derivative of 1/20*x**5 + 13*x + 1/4*x**4 - 5/6*x**3 - 5/2*x**2 + 0. Let g be t(-4). Is g >= -5/3?
True
Let n = -42922/45 - -954. Let c be ((-18)/(-12))/((-2)/(-8)*-6). Which is bigger: n or c?
n
Let c(h) = 4*h - 28. Let v be c(7). Let w = -73/190 - -6079/15770. Which is smaller: v or w?
v
Let c = -33.1 - -33. Let m(h) = 2*h**3 + 11*h**2 - 9*h - 3. Let v be m(-6). Suppose 3*r - v = 3*p, 2*p - 5*r + 4 = -3. Is c bigger than p?
True
Let q = -3729 - -3728. Which is greater: -10504 or q?
q
Let o be 639/(-1562)*2212/3 - (-1 - 2). Does -300 = o?
False
Let z = -2305259/180 + 12807. Which is bigger: z or -1?
z
Let v(d) be the first derivative of -d**3/3 + 7*d**2/2 - 12*d + 13. Let z be v(6). Let c be 1*z/(-15)*-1. Are c and 1 unequal?
True
Let j = 76/11 - 78/11. Suppose 19*a - 591 = 150. Suppose -a*q + 44*q = -5. Which is bigger: q or j?
j
Let q(n) = -n + 2. Let u = -8 - -11. Let t be q(u). Let i be 4/(-4) - 3/(3/t). Is -1/71 at least i?
False
Suppose 134*g = 125*g + 99. Let c be 2/g - (-105)/(-33). Suppose 10 = 3*p + 4. Is p < c?
False
Let a = 302 - 239. Is a less than 125/2?
False
Suppose 6*j - 4*j = 0. Suppose -2*c + 3*c = -4*u - 109, 5*u - 5*c + 105 = j. Let i = u + 24. Is -28/9 greater than or equal to i?
False
Let l(m) = m**3 + 10*m**2 - 51*m - 323. Let o be l(-12). Which is bigger: o or -7/4930?
o
Let t = -204 + -966. Let b be (-258)/t - (-2)/(-30). Which is bigger: b or -3/5?
b
Let h = -19393 - -19397. Suppose i + i = 6. Let r be (i/(-195))/(h/8). Which is smaller: r or -1?
-1
Let z(b) = 25*b - 26*b**3 + 11*b + 36 + 36*b**2 + 27*b**3. Let t be z(-35). Are t and -5/27 unequal?
True
Suppose 133*u = 103*u. Which is greater: u or -5/886?
u
Let l be 0/8 + (-824)/(-1). Let i be l/120 + 1/3. Is i >= 8?
False
Suppose -19*z - 1036 = -15*z. Let u = z + 300. Is 34 less than u?
True
Let w be 2 - (-32)/(-6) - -2. Let a be 24/32 - 482/(-8). Suppose 2 = -62*n + a*n. Is n > w?
False
Let g = -368 + -341. Let z be g/4*16/15. Let m = z + 189. Is m less than -2/7?
False
Let t(o) = 146*o - 2919. Let y be t(20). Which is greater: y or -1/75?
y
Suppose 44 = -4*i + 5*u, -u + 33 = -5*i - 1. Let y = 7 + i. Is -14 smaller than y?
True
Let x = 769 + -496. Let g = -144 + x. Which is bigger: -1 or g?
g
Suppose w - 3*t = 814, 2*w + 3*w - t - 4126 = 0. Suppose w = 2*l - 16*l. Is l less than -60?
False
Let j(t) = 301*t + 3012. Let f be j(-10). Let d = 713/2163 - -20/103. Is f greater than d?
True
Let t = -2324 + 3987. Is -3/5 bigger than t?
False
Let g = -530 + 1781. Suppose 913 = 2*w + g. Which is smaller: -170 or w?
-170
Let i(m) = -m**3 + 48*m**2 - 90*m - 725. Let x be i(43). Is 4648 bigger than x?
False
Suppose -6*d + 109 - 109 = 0. Is d smaller than -5/3632?
False
Suppose -24*d + 23258 = -3*d + 8*d. Is d >= 816?
False
Suppose 0 = -7*v + 4*v + 198. Let w = v + -112. Let p be (-14)/(-8) + -2 - (-3553)/(-76). Is w not equal to p?
True
Let b = 25.48864 + 0.51036. Let j = -26 + b. Let t = 0.001 + j. Is 6 smaller than t?
False
Let d = 0.17743 - 0.07743. Let x = -145.22 + 0.22. Do d and x have the same value?
False
Let t(w) = 509*w - 7568. Let r be t(34). Which is smaller: 9740 or r?
r
Let x = -11766 - -7141. Is x less than -4625?
False
Let t = 16 - 50. Suppose 0 = 32*u + 732 + 452. Which is smaller: u or t?
u
Suppose -4*l = 2*l + 3*j + 5064, -2*l = 2*j + 1684. Is l < -843?
True
Let i be 2/(-5) + 26/(-10). Let j be (90/(-8))/i*-8. Suppose 18919 = -759*r - 5369. Is r equal to j?
False
Suppose 19*k + 820 - 839 = 0. Which is greater: 7/163 or k?
k
Suppose -2*q = 4*m - 10, 0 - 2 = -m - q. Suppose 0 = s + 2*r - 5*r - 2, 2*s - 7 = m*r. Which is smaller: 6 or s?
s
Let r(t) = 5*t**2 - 8*t + 16. Let o be r(7). Suppose -5*f - j + 517 = -4*j, -2*f = -3*j - o. Suppose -4*w = 5*n + 246, 8*n = 6*n - 3*w - f. Are n and -46 equal?
True
Let q = -57 - -111. Suppose 16*m = 18*m - q. Is m < 27?
False
Let j = 1782.01 - 1782. Is 7 smaller than j?
False
Let z = -0.2032 + 0.3032. Is -340/3 less than or equal to z?
True
Let t = 5 - 2. Let b be (1452/180 - 8)/(7/294). Which is smaller: t or b?
b
Suppose -316*p + 344606 = 81378. Which is smaller: p or 844?
p
Let p be 364/(-84) + 100/30. Which is smaller: p or -3/680?
p
Suppose -5*u + 25 - 20 = 0. Let v = u + 409. Are v and 410 equal?
True
Suppose -23*g = -27*g. Suppose -128 = 3*c + 5*t - g, -t = -3*c - 122. Which is smaller: 2 or c?
c
Let s be 6/(-5) + 2 - 8442/90. Let h = s - -94. Let o be 592/(-496) - h*-1. Which is bigger: 0 or o?
0
Suppose 9*f = 14*f - 70. Suppose 9*h - f = 7*h. Which is greater: h or 3?
h
Let l(a) = 71*a**2 + 410*a + 2423. Let q be l(-6). Is q <= 2519?
True
Suppose 44*f - 595 = -75*f. Suppose 5*m = 3*m - 80. Let p be ((m/(-6))/(-4))/(f/(-2)). Is p greater than 27?
False
Suppose 6*m = 28 - 10. Suppose -5*b - 5*s = 100, 4 = b + m*s + 26. Is -20 < b?
True
Let m be (-1055)/180 + ((-2)/(-42))/((-72)/(-126)). Suppose -20 = 5*t + x, 3*x = 2*t - 0*x + 25. Is t at least m?
True
Let w = 287 + -291. Let k be ((-8)/28)/(w/364). Let m = 2/7 - 0. Which is greater: m or k?
k
Suppose 4*y + 2 = -q, -q + 10 = -3*y + 33. Let f(p) = p**3 + 14*p**2 - 19. Let h be f(q). Are h and -22 unequal?
True
Let j(c) = c**3 - 3*c**2 + 4*c - 39. Let h be j(4). Is -278/43 at least as big as h?
True
Let g(l) = -l**3 - 4*l**2 + 7. Let s be g(-3). Suppose -15 = -2*w + 3. Suppose 0 = 2*z + 43 - w. Is z equal to s?
False
Let x = -3189 + 3188. Which is bigger: x or 17/75?
17/75
Let u = 687 + -696. Let j(a) = 5*a**2 + 15*a + 3. Let x(c) = -6*c**2 - 16*c - 4. Let n(w) = -7*j(w) - 6*x(w). Let h be n(8). Is u at most as big as h?
True
Let l = 328 + -367. Let s(h) = -h**3 + 12*h**2 + 19*h + 87. Let m be s(14). Is l <= m?
True
Suppose -5*t = -0*t - 290. Suppose 2*j = 2*m - t, 5*m - 12 - 113 = -5*j. Suppose -3 = 3*z, 8*s + z - 134 = 3*s. Is m < s?
False
Let p be -4*(-35)/10*8/(-7). Let k be (81/(-18))/(-2*(-3)/p). Suppose k = -0*y + 3*y. Which is smaller: 8 or y?
y
Let o = -89.37 - -3768.37. Let a = 3662.07 - o. Let r = a - -17. Which is bigger: r or 0.04?
r
Let x(c) = c**3 + 2*c**2 + 6*c - 9. Let f be (7 - (-144)/(-16))*(1 - -4). Let h be x(f). Is h at least -869?
True
Let l = -3505/4 + 882. Let j be 8/(-20) + (-13)/5 + 8. Suppose -4*n + 24 = -5*s, -6*n + 4*n = j*s - 12. Which is bigger: n or l?
n
Let x be 2 - (-3 - -3) - (5 - -30). Let j(y) = y**3 - 13*y**2 - 40*y + 116. Let g be j(15). Which is smaller: x or g?
g
Let b = 521 - -64. Suppose -11*y = b - 112. Are y and -43 nonequal?
False
Let w(v) = -v**3 + 21*v**2 - 56*v + 43. Let z be w(18). Let k be 2/z - 25/(-35). Is -2/119 at most as big as k?
True
Suppose -4*r - 28 = -11*r. Suppose -r*t + 81 = 2*z - 27, -4*t + 3*z + 118 = 0. Is t less than 0.5?
False
Let l = -503/25 + 13606/675. Suppose 1 = -5*o + 6. Is l less than o?
True
Let h = 12697 - 12720. Which is bigger: -199 or h?
h
Let m = -6/301 - -527/41538. Which is bigger: -1 or m?
m
Let i be 2*(-2145)/(-2820)*-4. Which is bigger: i or -6?
-6
Let p = 982 - -95. Let x = 882 - p. Which is bigger: x or -198?
x
Let l = -3839/5772 - 3/1924. Is -1415 >= l?
False
Let f be (2 - (-104)/1)*(-16588)/1392. Which is smaller: f or -1262?
f
Suppose -45*h - 34 + 14 = 25. Does h = -11/1095?
False
Let y(a) be the second derivative of a**5/20 - a**3/6 - a**2/2 + a + 1. Let r be y(-1). Which is greater: 3 or r?
3
Suppose -3*v + 4*s = -6*v + 301, 0 = 3*v - 5*s - 346. Let a = 64 - v. Let j = a + 171/4. D