 k(c) = 6*c. Let d be k(-1). Let u be (-426)/612 - 4/d. Let l(i) = -2*i**3 + 9*i**2 + 18*i + 1. Let f be l(6). Which is greater: f or u?
f
Suppose 2*u + 1076 = -n + 2173, 3*u = -n + 1096. Are n and 1100 unequal?
True
Suppose 45 = -26*i - 7. Let p = 20 + -21. Let s = p - -0.7. Which is greater: i or s?
s
Let q = 28 + 5. Let x = q - 31. Suppose 4*f + o = 2 + 3, 1 = -x*f + 3*o. Which is smaller: f or 0.11?
0.11
Let w be 0/((-30)/21*7). Is 40/41 > w?
True
Let f = 257 - 453. Let w = f - -191. Let d(u) = u**3 - 8*u**2 + 7*u + 1. Let n be d(7). Which is bigger: w or n?
n
Let v = 536 - 600. Let c = -52 - v. Which is bigger: c or 7?
c
Let d be (-402)/938 + 3209/7. Which is smaller: d or 461?
d
Suppose 5*j + 20 = 0, -5*o - 5*j - 1394 = -2*o. Let n = 454 + o. Which is greater: -3 or n?
-3
Let p be (-12)/42*((-28)/(-3) - 7). Let o be (36/(-21))/(2/(-133)). Which is smaller: o or p?
p
Let i = 2030 + -148231/73. Is -2 <= i?
True
Suppose -4*w - 1459 = -5*q, -28 = 12*q - 16*q. Which is greater: w or 2?
2
Let h = -28/201 + 275/3417. Is h > -63?
True
Let s = 7158 + -8009. Is -2/3 at most s?
False
Let q = 148767/7469 - 219/11. Are 0 and q equal?
False
Suppose 48898 + 261507 = -53*v + 76516. Is v less than -4413?
False
Let h be ((-178443)/36)/(-9) + 10 + -21. Which is greater: h or 540?
540
Let u = -7042041/20 + 352196. Let g = 375/4 - u. Which is smaller: -1.55 or g?
-1.55
Let z = 32725 - 32756. Let i be 508/(-16) - (-2)/8. Which is smaller: z or i?
i
Let a = 56 - 122. Let q = -45 - a. Let t = 20.98 - q. Which is smaller: -0.1 or t?
-0.1
Let j(z) = z**3 - 8*z**2 + 10*z - 11. Let b be j(5). Let s be (3*11/b - -1)*-3. Which is bigger: s or -2/421?
-2/421
Let y be (48/4)/((-18)/2979). Is -1985 < y?
False
Let d = -305.6 + 337. Let b = -33.4 + d. Is b less than 4/19?
True
Let z = 701 - 697. Suppose -o = -3*c - 7, 4*c - 1 = z*o - 5. Which is smaller: -134 or o?
-134
Let u be ((-1)/11*-2)/(15/58245). Is u <= 703?
False
Let a be 0/(-2) + 7/(21/9). Let d be (9/(-4))/((-6)/4). Is d less than a?
True
Let k(i) = -9*i**2 + 3*i - 2. Suppose 18 = -4*h - 2*h. Let q be k(h). Is -93 greater than q?
False
Suppose -3*m = 4*h - 51 + 54, 0 = 2*m + 2. Which is smaller: h or -2/17459?
-2/17459
Suppose -108 = -17*w + 20*w. Let k be 35 - (w/162 - 11/(-9)). Is 101/3 bigger than k?
False
Let h = 3940 + -3962. Which is smaller: h or 2?
h
Let t = 1867 - 782. Let n = 1101.33 - t. Let u = n + -16. Do u and 1 have the same value?
False
Let y(w) = w**3 + 12*w**2 + 30*w + 2. Let k be y(-3). Let v be k*-5*(-27)/(-45). Is 21 <= v?
True
Let q be (-549)/(-66) - (-16 + 9 + 16). Which is smaller: q or 0.17?
q
Let f be 2 + -1 + -3 + (-1 - -3). Suppose l + 2*d + 20 = f, 2*l + l + 3*d = -57. Suppose -85 = 6*v - v. Which is bigger: l or v?
v
Let a be (-5)/4023*6*48/40. Which is greater: 1 or a?
1
Let w = -2961.229 - -2966. Let d = -0.229 - w. Is d greater than or equal to -0.8?
False
Let t(d) = d**2 + 20 + 44*d + 0*d**2 + 29 - 29*d. Let p be t(-10). Which is greater: 3/49 or p?
3/49
Suppose -63*p - 2*u - 62094 = -59*p, p + 2*u = -15525. Let j = p - -1474703/95. Is j >= -1?
True
Let p be ((-156)/(-8944)*4/15)/((-489)/(-3)). Which is smaller: p or -1?
-1
Let g(h) be the third derivative of -h**5/60 - 11*h**4/24 - 10*h**3/3 + 37*h**2. Let n be g(-8). Suppose 2*p - 20 = 5*s, -p - n*s + 2 = 18. Is p bigger than 42?
False
Suppose 0*w + w = -2*f + 57, 0 = 5*w + 3*f - 271. Suppose 15*s = 7*s + 424. Is w at most as big as s?
True
Let q(g) = g**2 + 5*g + 7. Let w be q(-4). Let j be (-9)/201*(1/w - 1). Suppose 3*h + 5*b + 7 = -0*h, 0 = -5*h - 2*b + 1. Does h = j?
False
Suppose -4*u + u = 0, t = -3*u + u. Suppose i - 158 = -4*q, -4*q = -t*q - 3*i - 166. Are 41 and q equal?
False
Let y(c) = -c**3 - 21*c**2 - 44*c - 1450. Let t be y(-22). Let b(l) = l**2 - 8*l + 5. Let g be b(6). Which is greater: t or g?
t
Let z(d) = d**3 + 8*d**2 + 14*d + 12. Let w be z(-6). Suppose w = 14*x - 20*x + 354. Let v = x + -46. Which is bigger: v or -1?
v
Let x(d) = d**3 + 7*d**2 - 17*d + 14. Let b be x(-9). Suppose -2*n - r = -5, -5*n - 4*r + b*r + 16 = 0. Which is smaller: n or 8/3?
8/3
Let r = -173.1 - -165. Let j = -330 + 338. Let h = r + j. Are -0.27 and h equal?
False
Let n be -5*(59/(-5) + -3). Is 1045/14 equal to n?
False
Let f = 254 - 150. Let o be (-2330)/f - 36/(-234). Which is bigger: o or -21?
-21
Suppose -39*h + 48 = 30*h - 21*h. Is 3.64 < h?
False
Suppose 0 = -22*i - 4*i + 1560. Let m be 0 - 0 - (-20)/i. Is m at least as big as -136?
True
Let i(j) = -2*j**2 - 16*j - 31. Let t be i(-5). Are 20/209 and t nonequal?
True
Suppose 4*g - 2*m = -854, -4*m + 22 = -2*g - 414. Is g at least -230?
True
Let k = 210497/64 - 3289. Is 0.1 not equal to k?
True
Let b be -47 + 37 - (-7 + -4). Is 20/351 < b?
True
Suppose 3*r + 3*u - 131 = -122, u - 4 = 0. Is -81/385 equal to r?
False
Suppose -120 = 29*g - 34*g. Suppose -y = a + 23, -2*y + 65 = -3*a - g. Let d be (-7)/21*a*(1 - 0). Which is smaller: d or 8?
8
Suppose -4*i + 3*i + 2*k = 2, 0 = 4*k + 8. Let l be 3*3/(i/(-4)). Suppose -3*z - 2*x + 7 = 0, -2*z + 9*x - 17 = l*x. Are z and 1 non-equal?
True
Let i be (-91)/13 - (-9 + (-32)/(-24)). Which is smaller: 18191 or i?
i
Let b = 1/9639 + 9637/19278. Is b <= 3/347?
False
Suppose -2549 = 37*y - 699. Let z = -70 - y. Is z <= 0?
True
Suppose -8*k = -30 + 278. Let w = 379 + -405. Is w less than or equal to k?
False
Suppose -i - 2*q + 3 = 0, -2*q + 3*q = -5*i - 3. Let j = 237209939/55 - 4312769. Let p = 139 - j. Which is bigger: i or p?
p
Let m = 969 + -973. Let i be (474/m)/(1/(-6)*3). Is 240 != i?
True
Let z = 13/3 - 77/24. Suppose 0 = -135*x + 132*x + 888. Let s = x - 295. Is z <= s?
False
Let q = 59 + -59.053. Let y = -0.004 + q. Which is smaller: 1/4 or y?
y
Suppose -2*i - 3*b = 721 + 105, -2*b = 2*i + 822. Which is smaller: i or -409?
-409
Let x = -4720 - -4719. Is -10/1291 at most as big as x?
False
Let g = 25/316 + 2533/19908. Which is smaller: g or -1?
-1
Suppose -4*v = 2*v - 42. Suppose -102 = v*y - 13*y. Suppose -y*t = -21*t - 12. Is t > -3?
False
Let w be ((-56)/12 + 5)*(-8694 + 15). Does w = -2892?
False
Let f(o) = -2*o**2 + 12*o + 143. Let p be f(-6). Which is smaller: -26 or p?
-26
Let u = 1.5 + -1.6. Let r = 0.136 - 0.054. Let n = -0.118 - r. Does u = n?
False
Let h be (-39 + -13 + 4)*23/3. Is h != -367?
True
Let b(k) = 48*k + 1. Let i be b(1). Let t be (6/(-10)*70/(-14))/(54/(-18)). Is i greater than or equal to t?
True
Suppose -737*r - 442297 = 120327 + 2195967. Which is greater: r or -3747?
r
Let r = 504 - 663. Let l = 162 + r. Which is bigger: -0.96 or l?
l
Suppose 0 = 5*f + 12*c - 7*c - 55, f = -3*c + 21. Suppose -196*v - f = -202*v. Which is bigger: -30/67 or v?
v
Suppose -m + 0*m = 3*f + 10, -4*m + f = 66. Let y = 29 + m. Let t = -990 - -1005. Which is greater: t or y?
t
Let z(p) = 8*p**2 + 39*p - 4. Let u be z(-5). Let t be (u/90)/(-5 - 32/(-6)). Which is bigger: 9 or t?
9
Suppose 7*m = 21*m - 14. Let f be (-1)/(((-6)/(-185))/(m/(-5))). Which is smaller: f or 6?
6
Let d = -859 - -859.0465. Which is smaller: d or -9?
-9
Let z be (-1)/4 + 676/(-16). Let n = 41 + z. Let l = 10506.1 - 10506.09. Which is bigger: n or l?
l
Let p = 51.6 - 51. Let o = 3.6 + -3. Let j = o - p. Are 4 and j equal?
False
Let o be (382490/8)/(6612/(-1104)). Let x = o + 7983. Let z = -2234/8265 - x. Are 0 and z equal?
False
Suppose 2*p = -0*p - 4*u - 1418, -4*u - 2832 = 4*p. Let a = 960 + p. Which is smaller: 254 or a?
a
Let n = 15 - -21. Let t be (-8)/n + (-681)/(-27). Suppose -t + 26 = v. Does v = -2/73?
False
Let f = -10333 + 10336. Which is smaller: -332 or f?
-332
Let k(v) = -28*v + 22. Suppose 23*a - 180 = -7*a. Let s be k(a). Which is smaller: s or -147?
-147
Let o = -304318/1509 - -1/503. Which is smaller: -203 or o?
-203
Let w(f) = f**2 + 4*f - 7. Let j be (-5 - 0)/5 + -4 + 0. Let l be w(j). Let r be 160/(-48)*l/10. Is 1 greater than r?
True
Suppose -26*r + 28*r = 14. Suppose 0*l + 637 = -r*l. Is 2 less than l?
False
Let l be 6/10 - 2118*(-256)/120. Let b = 131031/29 - l. Which is bigger: 0 or b?
0
Let y be (424/(-10))/(12/(-30)). Let l be ((-4)/2)/(-6*(-5)/(-825)). Let r = y - l. Is 51 bigger than r?
False
Let n be 0 - (1 - 2) - (0 + 3). Let i be (-1293)/(-7) + (-4 - -7) + n. Let y = i + -186. Is y bigger than 0.2?
False
Let r = -71 - -126. Le