+ a/(-14). Suppose -k*o = 1 - 10. Which is bigger: o or -2/17?
o
Let y(n) = -n**3 - n**2 + 4*n - 1. Let x be y(-3). Suppose -x*u = 2*u. Suppose u = 4*w - 21 - 7. Is 4 less than or equal to w?
True
Let c be (-69)/(-138) - (-1 - (-2 - 447/(-1446))). Which is smaller: 0 or c?
c
Suppose 5*c + s + 730 = 0, 2*c = 10*s - 9*s - 299. Which is bigger: c or 14?
14
Let b = -206 - -209. Let i be (1*b/10)/((-12)/32). Which is bigger: -1 or i?
i
Suppose 28*y + 178 + 186 = 0. Let g(z) = 10*z + 129. Let t be g(y). Which is bigger: t or 0?
0
Let g(f) be the third derivative of -1/15*f**5 - 7/12*f**4 + f**2 + 2*f**3 + 0 + 0*f + 1/120*f**6. Let s be g(6). Which is smaller: s or -5/48?
-5/48
Let r be -2*5/(3 - -217)*-10. Let u(v) = v**2 + 0 - 7*v - 12 - v - 3*v. Let z be u(12). Is z < r?
True
Let k be (-54)/(-297) - 53252/308. Is -174 <= k?
True
Let j = 137 - 237. Let l = 0.051 - -99.949. Let p = j + l. Is -43 at most p?
True
Let b be ((-136)/(-140) + -1)/(2322/(-8055)). Let r = -1/258 + b. Which is smaller: r or 18?
r
Suppose 4*f + 2*j - 2250 = 0, 15*f - 14*f = -4*j + 552. Let n = f - 563. Is 19/7 at least n?
True
Let d = -399 + 399. Suppose d = -4*c - 117 - 3. Is -30 less than c?
False
Let y(c) = c**3 - c**2 - c. Let d be y(2). Suppose -d*p + 0*p = p. Suppose p = -4*i - 3 - 1. Do 24 and i have different values?
True
Let n = 842.8 + -966. Let x = n + 123. Is -8 < x?
True
Let b = 29203977 + -59861013/2. Let v = b - -559429631/770. Let h = v - -24/77. Which is smaller: h or 3?
h
Let n(f) be the first derivative of 2*f**2 - 28*f - 10. Let m be n(9). Suppose 6*k + 4*b - 23 = 5*k, -3*b + 12 = 0. Which is bigger: m or k?
m
Let r = -179 + 1255/7. Suppose 3*j - 52 = -4*b + 5*j, 0 = -3*b - 3*j + 39. Let s = -20 + b. Is s at least as big as r?
False
Let k = -108.18 + 108.6. Let h = 0.3 - 0.3. Are h and k non-equal?
True
Let m = 7820 + -8639. Which is smaller: -2455/3 or m?
m
Let h(s) = s - 21. Let t be h(14). Let v = -11.9 + 14. Let w = -0.1 + v. Which is bigger: t or w?
w
Let t(z) = z**3 - 6*z**2 - 12*z - 44. Let p be t(8). Let r(a) = -a**3 - 14*a**2 - 20*a + 47. Let i be r(p). Is 9/85 >= i?
True
Suppose 92 = 3*k - 4*c, 4*c = -k + c + 22. Let d be ((-4)/(-10))/(k/(-378)). Which is smaller: d or -6?
-6
Let p be (-325220)/560 - (2/(-1))/(-8). Which is bigger: p or -585?
p
Suppose 10*r + 140 = 8*r. Let p = r + 86. Let n be (-4)/2 - 4*-5. Which is smaller: n or p?
p
Let v = -127 - -129. Let t be (v*6/16)/((-1)/(-56)). Let r = 1584250/37131 - -2/12377. Which is smaller: t or r?
t
Let r = 24516 + -24460. Are r and 21 unequal?
True
Let o = 7998 - 7840. Which is bigger: o or 148?
o
Let d = 0.6 + 6.4. Let l = -245.986 - -246. Let v = l - -0.286. Which is smaller: v or d?
v
Let o(g) = 7*g**2 + 2*g - 3. Let v be o(2). Let z = -423 + 111. Let j = z - -313. Is j at least v?
False
Let r = -3/380 - -841/10260. Let k = 17.8 - 22. Let u = k - -4.19. Are u and r equal?
False
Let y = 3 - 1. Suppose 89*g - 4019 + 904 = 0. Suppose 5*r = -y*r + g. Is 1 less than r?
True
Let k = -11525 + 11525. Is k < 770?
True
Let k = -670.243 - 0.757. Let z = 671 + k. Is z at least as big as 589?
False
Let w be 2/(4/115) + 8/(-16). Let b(n) = -n**3 - 4*n**2 - 3*n - 1. Let j be b(-2). Let r be -5 - j - -2*w/56. Which is greater: 0 or r?
r
Let m = 1661 - 6747/4. Let d(v) = 2*v**3 + v**2 - v - 27. Let f be d(0). Is m at most f?
False
Let u(h) = 2*h**2 + 10*h - 8. Let c be u(-6). Let p be (3 - (c + -6)) + -1. Suppose p*b + 29 = 9. Is b less than -6?
False
Let o be 0 - (-9)/10125*(-1 - -3). Let d = 223/1125 + o. Which is bigger: d or -2.1?
d
Let m = 16 - 22. Let h(y) = y**3 + 7*y**2 + 4*y + 2. Let k be h(m). Let l be 4/k + 232/(-28). Which is bigger: -9 or l?
l
Let z(q) = -q**2 - 4*q - 2. Let w be z(-2). Suppose 7*p - w*h = 2*p + 13, 3*p = -h - 1. Let k be ((-16)/(-51))/p + 16/(-24). Is 0 > k?
True
Let t be (80/(-32))/(25/10). Is t bigger than -9/121?
False
Let f = -0.2844 + 0.3374. Which is greater: 7.8 or f?
7.8
Let z = -2 - -3. Suppose 5*t - 4*r = -2946, 2*t - 3*r + 6*r + 1160 = 0. Let m be ((-84)/4)/(t/56) + -2. Is m greater than z?
False
Let f = -123.544 + 123. Let d = f - 424.456. Is d less than 1/2?
True
Let i be ((-20)/(-15))/(6/549). Let c be 8/i*(32 - 34). Is c at least 1?
False
Suppose -x + 0*x = -5. Suppose 5*o - x = 20. Suppose 3*w = 18, 2 = -3*g + 5*w - 22. Is g < o?
True
Let q = 4.99 + -5. Let d = 0.06 + q. Let j(k) = -k**2 + 154*k - 1. Let f be j(0). Which is smaller: d or f?
f
Suppose -2*l = -5*g + 32, 40*l - g = 36*l - 10. Which is smaller: 2/5889 or l?
l
Let q be (-2)/((2 - 0) + -23). Let l = -43656 - -435937/10. Let c = 309/5 + l. Which is greater: q or c?
q
Let a = -2281 + 2280.9. Which is smaller: a or -48.28?
-48.28
Let k = 8470 + -1533076/181. Is k at most as big as 1?
True
Suppose 43*t + 15*t - 60 = 28*t. Which is smaller: t or -30.92?
-30.92
Let p be (3/(3/(-4)))/((-1)/(-2)). Let b = -50 - -74. Let w = p + b. Is w smaller than 14?
False
Suppose 20*y + 296 - 316 = 0. Are y and 2/6903 unequal?
True
Let l be (-4)/6 + 10/6. Let n be (-3)/(-2) - (l + (-12)/(-8)). Which is smaller: 0.073 or n?
n
Let i = -34413 + 309133/9. Which is greater: -65 or i?
i
Suppose -24*w - 9*w = -12*w + 22827. Is w > -1087?
False
Let l(i) = -2*i**3 + 26*i**2 - 17*i + 23. Let r be l(11). Is 2244/7 not equal to r?
True
Let r = 295716/13 + -7255399/325. Suppose 818 = -5*m + 2933. Let d = m - r. Which is greater: 0 or d?
0
Suppose -382*q + 438*q + 55328 = 0. Which is smaller: -990 or q?
-990
Let k be (-32)/6 + 3 - -2. Let d(z) = -222*z**3 - 2*z**2 + 3. Let r be d(1). Let x be (-204)/r*2/(-4). Are k and x equal?
False
Suppose 3190 = 5*t - 95*c + 90*c, 7*t = -c + 4426. Which is smaller: t or 3167/5?
t
Suppose 5*n - 39*s + 17 = -35*s, 5*n = -3*s + 4. Is n <= 1/1503?
True
Let r be (-510)/12*(-8)/10. Suppose -3*n - 24 = -3*x, -x - 26 = 5*n + 32. Let m(l) = -l**2 - 11*l + 34. Let v be m(n). Is r >= v?
True
Let s be 1*8/3*(-18)/(-12). Let u = 21 + -21. Let g = 6 + u. Is g greater than or equal to s?
True
Let p = 1182 + -1182. Let z = 4995 - 8146847/1631. Let o = 8129/21203 - z. Is p at least as big as o?
False
Let z = 6405 + -2750. Which is bigger: 3656 or z?
3656
Let j = 0.019 - -0.0407. Let l = -0.4403 - j. Is -23 bigger than l?
False
Let a = -1/305 - 51/3050. Let w(d) = -9*d + 62. Let j be w(7). Is a greater than j?
True
Let w = -39612758/37015 + 11772/11. Which is bigger: 0 or w?
w
Suppose 671 = 16*g - 833. Suppose -6*h + 2*h - 235 = 5*z, -2*z + 2*h = g. Are 1/4 and z unequal?
True
Let v = -162 + -38. Let d = 221 + v. Which is smaller: d or 20?
20
Suppose -3*d = 5*v - 31, -6*v = -3*v - 3*d - 9. Let s(h) = -h**3 + 7*h**2 + 7*h - 7. Let y be s(v). Let p = y + -79. Is -4/5 >= p?
True
Let q be (11/(-22))/((-10)/284). Let t = -69/5 + q. Suppose -2*l - 2*c = 3*l - 100, 3*c = -2*l + 29. Which is smaller: t or l?
t
Suppose -211*p + 12716 = -189*p. Is p greater than 577?
True
Let j be (-1 - -6)*235/5. Suppose 4*b = -5*c + 632, 5*c + j = 4*b - 357. Which is greater: b or 151?
b
Let b(c) = -129*c + 1406. Let v be b(11). Is -54 not equal to v?
True
Suppose 5 = -5*z, -2*c - 4*z = c + 127. Let o be (6/(-10))/3 + (-5304)/130. Is c less than o?
False
Let j = 817 - 535. Suppose 0 = 5*l + 522 - j. Is l at most -93/2?
True
Let s(n) = n**2 + 38*n + 147. Let b be s(-34). Suppose b*d = 9*d - 10*d. Which is greater: 144 or d?
144
Let y = 1.414 + -1.62. Let t = y + -0.094. Is t equal to -0.37?
False
Suppose -15*f = -8*f - 28. Let t be -3 + f + 4 - 5. Suppose t = 3*i - i. Which is smaller: -1/5 or i?
-1/5
Let y = -24 - -29. Suppose -y*n = -79 + 84. Which is bigger: 2/331 or n?
2/331
Let x = 0.1101 + 27.9899. Let c = -5.1 + -22.9. Let b = c + x. Is b less than -0.1?
False
Let u = -101 - -148.4. Let i = u + 3.6. Let d = 51.2 - i. Which is smaller: d or -0.2?
-0.2
Let l = 1812076/341 - 5314. Let r = -4.33 - -3.33. Which is greater: l or r?
l
Let i be 304/(-112) + (2 - -1). Let l = 2.5 - 3.7. Let p = 0.86 + l. Is i at most as big as p?
False
Let c be (-2)/1 - ((-1598337)/61465)/13. Do 1 and c have the same value?
False
Let p = -8 - -48. Let j be (p/(-1836))/((-10)/(-465)). Let t = j - -21/17. Are 0 and t non-equal?
True
Suppose -3*n + 187 = 145. Suppose 3*g + 22 = n*g. Let s = -0.007 - 33.993. Which is smaller: s or g?
s
Let n = 23 - 19. Suppose 3