 14. Let z(l) = -17*c(l) - 6*h(l). Let f be z(-5). Let j = 9 - f. Which is greater: -1/16 or j?
j
Let r be 13/(-2379)*3603 - -7. Are r and -12 non-equal?
True
Let s be 143/22 - (0 + 9 + -3). Is 5 smaller than s?
False
Let u(z) = -2*z**3 + 13*z**2 + 6*z + 11. Let v be u(7). Is 0.005 greater than v?
False
Let o(b) = -48*b**2 + 870*b - 108. Let a be o(18). Are 19/1438 and a non-equal?
True
Suppose -663 = 5*l + s, -2*l + 25*s - 254 = 27*s. Are -146 and l unequal?
True
Suppose -11 + 6490 = 11*o. Let z = o + -142. Let m be 2 + z/(-279) - 2/6. Which is bigger: m or 0?
m
Let j = -6.535 + -3.465. Is 76/13 at most j?
False
Suppose -1091*p - 40 = -1131*p. Which is smaller: -1/17295 or p?
-1/17295
Suppose 332 + 2851 = 153*w - 489. Let g = 3 + -2. Are g and w non-equal?
True
Let m = -18126 - -4422731/244. Which is smaller: m or -1?
-1
Let g(s) = -s**3 + 3*s**2 + 4*s + 2. Let w be g(4). Suppose w*n + n = -18. Suppose 975*m - 961*m + 70 = 0. Which is greater: n or m?
m
Suppose 4*w + 6912 = -5*o, -2*o - 995 = -w + 1775. Is -1384 equal to o?
True
Let v(x) = 32*x**3 - 5*x**2 + 55*x - 324. Let s be v(9). Is 23094 <= s?
True
Let o be -1*(-530036)/(-65) - 4/(-10). Is 0.3 greater than or equal to o?
True
Let f = 314 + -305. Suppose j + 27 = -5*l, 11*l - 10*l + 5*j - f = 0. Is l less than -14?
False
Let u be ((-138)/(-21))/((-82)/(-3157)). Is u at least 252?
True
Suppose -5*l = 2*c + 23, -2*c - 2*c = -2*l - 14. Suppose -t - 3*n - 3 = 0, 4*t + 0*n + c = -n. Suppose -2*d + 8 - 8 = t. Is d greater than -2?
True
Suppose 0 = -z + 2*z - 2*k - 11, 0 = 5*z - 4*k - 25. Let u = -2173/668755 + 1/5105. Is u <= z?
True
Let q(l) = l**3 - 9*l**2 + 8*l - 72. Let b be q(9). Suppose -p + 275 - 190 = b. Is p smaller than 251/3?
False
Let y be (-2)/5*(-55)/66*3. Suppose -y = -2*q + 1. Is -4/97 != q?
True
Suppose -2*m + 388 = -194. Suppose -4*b - 87 = -i, -4*b + m = 3*i - b. Let a = 131 - i. Do a and 35 have different values?
True
Suppose -7*t = -6*t - 2. Let i be 5 + 0 + (24/4 - t). Let b be (5 - (-100)/(-15))*i. Is -16 smaller than b?
True
Suppose 5 = 2*w - w. Suppose -w*m = m - m. Let z be 30/21 + 1*-2. Is m at least z?
True
Let o be -1 + -3 - (-8496)/59. Which is smaller: o or 11?
11
Suppose -226 + 242 = -5*x - 2*y, -3*x + 5*y + 40 = 0. Is x <= -6885?
False
Suppose 35 = -2*i + 12*q + 169, 4*q + 288 = 4*i. Which is greater: i or 224?
224
Let l be (-15 + 16)*(2 - 7). Let k be -12*3*l/60. Suppose k*i - 3 = -0*i. Is -8/21 bigger than i?
False
Let c = -1.377 + 1.3. Let t = -574 - -574.377. Let n = c + t. Does 0.17 = n?
False
Let g = 1349 - 591. Let b = g + -721. Which is smaller: 71/2 or b?
71/2
Let t = 14300.3 + -14300. Which is smaller: t or -102.3?
-102.3
Suppose -5*z - 273 = 312. Suppose 3*v = -385 + 40. Is z less than v?
True
Let a = 18916973/2219 - 8525. Which is greater: a or 0?
0
Suppose 4*m + 4*l = 4, 6 - 7 = 2*m + l. Let y be 2 - (-1)/(m/(-26)). Suppose -5*k + 72 = -v, -5 = -4*v - 13. Which is smaller: k or y?
k
Let a(g) = 14*g**2 - 9*g + 2. Suppose -4*i + 3*f = -15, -4*i + 4*f + 17 = -f. Let q be a(i). Suppose p + 103 - q = 0. Is p > -3?
True
Let k = 79848 + -881274/11. Which is smaller: -267 or k?
k
Let b = -284515/4 - -71089. Let o = -40 - 1. Which is greater: o or b?
b
Let k = -23.13 + 276.13. Which is smaller: 0.4 or k?
0.4
Suppose 140 = 26*k + 10. Let r(c) = 30*c - 151. Let g be r(k). Which is bigger: 2/331 or g?
2/331
Let t = -33024 + 33215.53. Let s = -192 + t. Which is bigger: s or 1/5?
1/5
Let y(u) be the first derivative of u**4/4 - 2*u**3 + 3*u**2/2 - 2*u - 14. Let m be y(5). Let n = -19 - m. Is -9 equal to n?
False
Let j be ((-5)/(-35))/((-33)/77). Which is smaller: j or -1209/10?
-1209/10
Let h(k) = -k**3 - 1 + 7*k + 7*k**2 + 7 - 10. Let o be h(8). Let q be (-6)/8 + (-33)/o. Do q and 5/3 have the same value?
False
Let y be (0 + 3/5)*(10 + 195). Suppose y*v - 128*v - 385 = 0. Which is smaller: -75 or v?
v
Let d = 5384 - 5390. Are -196/27 and d non-equal?
True
Let z(d) be the third derivative of -d**5/60 - d**4/12 - 2*d**3/3 + 10*d**2. Suppose 0 = l - 2*l, 4*b + 2*l = -12. Let m be z(b). Which is bigger: -11 or m?
m
Let t be (606/(-10))/(336/900). Let i = 31030529/193036 - -2/48259. Let f = i + t. Are -3 and f non-equal?
True
Let n = -216/11 + 2647/132. Suppose 6*j = -0*j. Is n < j?
False
Let y = 0.1 - 0.3. Let p = -143 + 324. Let z = 192 - p. Which is smaller: y or z?
y
Let s = -133 - -127. Let b = -2.9691 + -0.0309. Is s equal to b?
False
Let z(x) = -x**2 + 7*x - 8. Let r(u) = -3*u - 7. Let h be r(-3). Suppose -18 = -l - h*l. Let o be z(l). Which is smaller: -6/11 or o?
o
Let f(t) = -t**3 - 16*t**2 + 216*t - 35. Let v be f(9). Is v at least as big as -116?
True
Let y = 0 + 9. Let i = 7 - y. Let w be i/(-88) - 2/(-8). Is -1 < w?
True
Let c(n) = 30*n + 1438. Let m be c(-66). Is m smaller than -536?
True
Suppose -253 = 9*a + 11*a + 3*a. Let l = -3 + 5. Let q be (-1)/((-1)/l) + -9. Is a greater than or equal to q?
False
Let k = -16676 - -116730/7. Is 745 not equal to k?
True
Let i(z) = -z**2 - 27*z + 3. Let d be i(-25). Let x = d - 53. Let j be (-2)/14 - (-77)/(-98). Which is bigger: x or j?
x
Let k(c) = -c**2 - 22*c + 216. Let t be k(-29). Let p be 2/(-6)*(10 - t). Which is greater: p or -2/85?
p
Suppose -6*s + 1419 = 3*c, -104*s - 1892 = -4*c - 102*s. Is 473 bigger than c?
False
Let b = 29 + -24. Let o = 4 + b. Let v be 2*(-8 + (-96)/(-18)) + 6. Is o bigger than v?
True
Suppose 0 = -3*x - m + 7, -3*x = 2*x + 2*m - 11. Suppose -3*k + o = -7, -4*k + 2*o + x*o + 2 = 0. Is -2 at most k?
True
Suppose 0 = -2*g + 6*g - l + 456, -5*g = 3*l + 570. Let y be (g/10)/((-26)/195). Is y less than or equal to 1/4?
False
Suppose s + 3*n = -5, -21*n - 13 = -5*s - 17*n. Let t be (-2)/10 + 51/480. Which is bigger: s or t?
s
Suppose 8*n = 5*y + 39, 14 = 5*y - 2*n + 5. Let u be 0 + -7*(-1 + 0). Suppose 2*v - v = u. Is v smaller than y?
False
Let u(j) = j**2 - 25*j + 3. Let s be u(25). Suppose 3*r + 17 = -x, -2*r + 15 = -s*r - 5*x. Which is bigger: -33 or r?
r
Suppose 62 - 47 = 4*w + 5*x, -w = x - 4. Which is greater: w or -35?
w
Let w(a) = -a**3 - 5*a**2 + 3. Let x(u) = u**2. Let s(q) = w(q) - x(q). Let n be s(-6). Let p = -102 - -207/2. Is p at most as big as n?
True
Suppose 6*n = 5*n + 8. Let a be (5 + (-42)/n)*-10. Which is bigger: a or 21?
21
Let t = -17100 - -17096.5. Which is smaller: 2/565 or t?
t
Let b = 24510587/242539 - -7/14267. Which is smaller: b or 101?
101
Let b be 2/(-5) + (-33)/(-95). Let y = 865 - 863. Suppose -6 = -2*f + y*z, -13*f + 5*z + 22 = -15*f. Is b < f?
False
Suppose -2*h = 3*n - 134, -6*h + 3*h - 98 = -2*n. Let l be (-3)/(24/n) + (-3)/12. Which is greater: -17 or l?
l
Let w = 18254 + -5576. Is w >= 0.1?
True
Suppose -10 = 2*z + p, z = p - 11 - 0. Suppose -19*s + 25*s = 2118. Let d = s - 356. Which is greater: z or d?
d
Suppose -6*j - 1020 = -8*j. Let b = j - 19892/39. Let q be (287/42)/41 - (-5)/(-12). Which is bigger: b or q?
b
Suppose -30*c = -20*c - 135100. Let s = c + -39685/3. Which is bigger: s or 282?
282
Suppose l + 10*p - 417 = 7*p, -2127 = -5*l - p. Let r = l - 425. Is -2/359 at least r?
False
Let f(l) = 2*l**2 - 35*l + 65. Let n be f(2). Suppose 85 = 5*v - 4*h, 2*h - 68 = -7*v + n*v. Which is smaller: -12 or v?
-12
Let t = -263.726548 - 0.125452. Let x = 264 + t. Which is bigger: -1 or x?
x
Let v be (-2)/(-6) - 5/(-3). Suppose 2*o = -o - v*q + 22, 0 = -2*o - 3*q + 8. Suppose x - o = 3*x, a - 3*x - 10 = 0. Which is smaller: -3 or a?
a
Let s be (9880/(-48) - 4/6)*4. Are s and -826 non-equal?
False
Let h = -29/21 - -12/7. Suppose 4*n = 4*w, 0*n + n = -2*w + 12. Let p be 6*w/6 - 3. Is p >= h?
True
Let r be ((-108)/(-144))/((-6)/8). Is r > 3/6847?
False
Let f = 2643 - 4250. Is f bigger than -1606?
False
Let d be (-10)/25 - (9/15)/((-3)/2). Which is smaller: d or 180/143?
d
Let q = 82009/136 + -603. Let p = q + -161/3400. Is 1 at least p?
True
Let x be 8 - (-10)/((-60)/(-102)). Suppose 5*j = -x, -t - 2*t = -2*j + 152. Is t < -53?
True
Let f = -0.3 + 0.1. Let u(n) = -36*n**3 + 36*n - 35. Let g be u(1). Let o be 3 + ((-1519)/g)/(-7). Are f and o equal?
False
Let x be 6/(-4)*((-5952)/18 - -16). Suppose 41*f = 39*f - x. Is f >= -235?
False
Let o(h) = 1933*h + 7. Let y be o(-1). Let w = y - -146379/76. Which is smaller: w or 1?
w
Let y = -1891407076/19622