14. Let p be n(16). Let h be (-9)/54 + p/12. Let q = -31310/91 + 2388/7. Which is smaller: q or h?
h
Suppose -4*l + 914 = -3*u, 3*l + 4*u - 332 - 366 = 0. Let y = 1614/7 - l. Let c(v) = 7*v**2 + 308*v + 1813. Let k be c(-37). Which is bigger: k or y?
y
Let c be (-140)/(-35) + 1/((-1)/1). Suppose -2*a - 2*a = -c*k - 7, 4 = 3*a - 2*k. Suppose 0 = -5*m + 8 - 3. Is a less than m?
True
Let a = -6 + 5.97. Let y = -84.16 - -92.16. Is y != a?
True
Let n = -930 + 650. Which is smaller: n or 2/5?
n
Let p(y) = -y**3 - 42*y**2 - y - 46. Let n be p(-42). Let t(l) = 2*l**2 + 11*l + 5. Let z be t(n). Is -10 not equal to z?
True
Let p = 104.1 - 88. Let s = 329105.1 - 329105. Does s = p?
False
Let x(p) = -34*p - 1013. Let y be x(-32). Which is greater: y or 73?
y
Let q = -53/9 + 1670/279. Let t = -112 + 223/2. Is t less than or equal to q?
True
Suppose -g = 3*v + 91, 189 - 46 = -4*v + 3*g. Let t be (-148)/v - 5 - (-1001)/2968. Do t and 24 have different values?
True
Let c = -10429 + 10535. Is 165 at least c?
True
Suppose -47*n + 25*n + 110 = 0. Suppose 3*v + 119 - n = 4*m, 5*m + 57 = -v. Is -42 equal to v?
True
Suppose 18 = t + 2*s, 8*t - 3*s = 3*t + 25. Let g be ((-50)/(-6) - 8/(-12))/1. Does g = t?
False
Let j be 3/(12/3 + -3) - -1. Suppose 48*b - 46*b = j. Let w be 0/(b/((-2)/(-2))). Is w != -1?
True
Suppose g + 2*g - 5*i - 23 = 0, -4*i = -5*g + 21. Let j be g/36*(-4)/(-2). Is j at most as big as 0?
False
Let j(f) = f**3 - 9*f**2 - 11*f + 14. Let d be j(-7). Let u = d - -692. Which is greater: -60/37 or u?
u
Let n(b) = -b - 3. Suppose 5*y = 20, 4*i + 0*i + 16 = 5*y. Let p be n(i). Let v be -64*(-3)/42 + p. Are v and 2 unequal?
True
Suppose 0 = -11*k + 9*k + 20. Suppose m = -0*m - k. Let b(i) = -i**3 - 10*i**2 - 1. Let x be b(m). Which is bigger: 1/40 or x?
1/40
Suppose -4*u + 11295 = 3*l - 5434, 0 = -3*u + 5*l + 12554. Which is bigger: u or 4184?
4184
Let s = 36531 + -36528. Does s = -612/11?
False
Let o(y) = 5*y - 6. Let g be o(2). Suppose 3*t + 28 = g*i, 0*i = -2*i + 3*t + 20. Let v = 10/3 - 47/15. Which is smaller: i or v?
v
Let w = 3.741 + 115.259. Which is smaller: -5 or w?
-5
Let v be (1 + -1)/(6 - (9 - 1)). Suppose 2*i + n + 2*n - 187 = v, -4*i = 3*n - 359. Which is bigger: i or 84?
i
Let s(m) = 5*m + 63. Let c be s(-13). Let z(n) = 18*n**2 + 37*n + 3. Let h be z(c). Is 14/31 < h?
True
Suppose 35*i + 138*i = -75*i - 1197840. Is i bigger than -4829?
False
Let v be (-2551)/63 - (-390)/(-1755). Is 6/13 at most as big as v?
False
Let q = -1197 - -1141.1. Let r = 2394 - 2450. Let s = r - q. Is -12 > s?
False
Suppose 14*n - 17*n = 5*w - 5, 4*n - 26 = 3*w. Let g be w + 1 + (-315)/9. Is g bigger than -27?
False
Let q be (-1)/5 - (-41)/((-4715)/782). Which is smaller: -32 or q?
-32
Suppose 2*g - 102 = -4*s, -4*s - 3*g + 40 = -65. Suppose -39 = 2*n + 1. Let t be 118/5 + 12/n. Which is smaller: t or s?
t
Suppose 0 = -82*c - 152*c + 79*c + 67115. Is 412 at most as big as c?
True
Suppose 4*v + 272 - 288 = 0, 0 = j + v - 2. Let w(r) = r - 1. Let k be w(-2). Is j greater than or equal to k?
True
Let v = -259/12 + 1573/4. Suppose 1532 + 28 = 4*k + 4*b, 2*k - b = 792. Let n = v - k. Is -22 greater than n?
True
Let q = -0.82 + 0.12. Let m = 0.12971 + -0.02971. Which is greater: q or m?
m
Let f(b) = 1029*b**2 - 16*b + 2. Let a be f(21). Let x = a - 8619036/19. Let z = x - -357/2. Is 0 greater than z?
False
Let w be (96/9)/(-4)*6/4. Let i be 14/w - -4*(-4)/32. Is 0.3 less than i?
False
Let x = 9704 + -10079. Which is bigger: -374 or x?
-374
Let p = 14090.924 + -14065. Let i = p - -0.076. Let y = i + -24. Which is greater: y or 0?
y
Let k = 73 - 71. Suppose -x + 4*x - 4*n - 121 = 0, 0 = -x - n + 38. Let h = 38 - x. Do k and h have different values?
True
Let s(a) = -a. Let i be s(-4). Suppose -128 = i*m + 3*f, 4*m = 3*m + 3*f - 32. Which is smaller: -35 or m?
-35
Let t(n) = -123*n - 1663. Let v be t(-13). Is v not equal to -64?
False
Let l(h) = -17*h**2 + 11*h - 393. Let o be l(9). Is o != -1671?
False
Let b(s) = s**2 - s - 1. Let n be b(-1). Let u be 116256/174762 - 2/3. Let z = -2808/23579 - u. Which is smaller: z or n?
z
Let y = -14161 - -2959702/209. Which is smaller: y or 0?
0
Let b = -425 - -151. Let p = -280 - b. Which is smaller: p or 18?
p
Let m(r) = -2*r**2 + 65*r + 319. Let i be m(34). Which is bigger: 4 or i?
i
Let p be ((-82)/445711)/(4/28). Is 0 less than or equal to p?
False
Let v(i) be the third derivative of i**5/60 - 47*i**3/6 + i**2 + 81. Let r be v(-10). Which is greater: r or 55?
55
Let q = -985 + 3860. Does 2874 = q?
False
Let l = 220 + -1. Let w = 207 - l. Which is smaller: w or -13?
-13
Suppose -3*q = -2*n - 104 + 9, -2*q + 2*n + 62 = 0. Suppose -f = 3*h - 13, 3*h = -2*h + 4*f + q. Let r be (-5)/(-3) + h/(-15). Are r and -3/7 nonequal?
True
Let x = 30.4 + -0.4. Let q = 112 - x. Let o = -82.1 + q. Which is smaller: o or -0.072?
o
Suppose 3*z + w = 2*z, -3*w = -9. Let k(v) = 11*v - 10. Let n be k(1). Let u be n/(-2)*(10 - 8). Which is greater: u or z?
u
Let f(k) = -33*k**2 + 15*k - 143. Let z be f(9). Let r = -506710/189 - z. Which is smaller: -1 or r?
-1
Let j = 1812.5 + -1812.1. Which is smaller: j or -2457?
-2457
Let h = 0.2196 - 2149.2196. Are h and -0.2 non-equal?
True
Let b = 662 - 1544. Let w = b + 881. Is -2/27 >= w?
True
Let i be (-2)/(-4) + 1534/(-260). Let o = -1.9 + -2.1. Which is smaller: o or i?
i
Let i be 25/10 + 4/(-8). Suppose 4*s = -p - 4*p - 10, -2*p = 4. Which is smaller: i or s?
s
Let o = 1110 + -608. Let y = o + -502. Which is smaller: 107 or y?
y
Let v(o) = 3*o**3 - 154*o**2 - 265*o - 98. Let q be v(53). Which is greater: -100 or q?
q
Let a be -8*6/(-8)*-1. Let h(n) = 145*n**2 - 12*n + 19. Let g be h(4). Let u = -16073/7 + g. Which is greater: a or u?
u
Let s(l) = -6*l**3 + 3*l**2 + l + 8. Let a be s(-2). Which is bigger: a or 77?
77
Suppose 0 = -5*v + 4*j - 12, -4*v - 2*j = -4 - 2. Suppose 2*a = 432 + 1546. Let u = a - 83075/84. Which is smaller: v or u?
v
Let d be (4*2*5)/1. Suppose 0 = q - 6*q + 5, 10 = 2*z - 2*q. Let n(h) = -h**3 + 6*h**2 + 6*h + 4. Let x be n(z). Do d and x have different values?
False
Let c = -180.1 + 184. Let b = 3.7 - c. Let v = -11.9 - -0.9. Which is greater: v or b?
b
Let u = 402 - 394. Let y(w) = -w**3 + 8*w**2 + 2*w + 9. Let b be y(u). Are 4 and b nonequal?
True
Let i(z) = -5*z**2 + 77*z - 113. Let w(q) = -q**2 + 19*q - 28. Let u(c) = 2*i(c) - 9*w(c). Let l be u(-14). Let m = l - 67. Is 2 bigger than m?
True
Suppose -5*o = -4*b + 34, -2*b - 28 = -2*o + 7*o. Let x be (24/15)/((-2)/(-20)). Is b at least x?
False
Let b be 1/(-1 - (-12)/8). Let u(x) = 8*x**2 - 10*x - 11. Let k be u(b). Let w be ((-1)/(-15))/(13/6). Is k < w?
False
Let p(k) = k + 17. Suppose -9*c - 7 = -8*c. Let s be p(c). Suppose -5*l = h - 34, -l + 4*h + 2 = -9. Which is bigger: l or s?
s
Let l = 101 + 59. Let w = -102 + l. Let h = -58.2 + w. Is 28/5 less than h?
False
Let c(w) = 37*w**2 - w - 1. Let o be c(-1). Suppose -s - g + 6*g - o = 0, s = -3*g - 13. Let v be ((-156)/(-24) + -1)/(1/(-4)). Do v and s have the same value?
True
Let f be (-8)/(-7) - 2640/1848. Let k = 13.4 + 1.6. Let w = k - 8. Are f and w non-equal?
True
Let i be (-50)/(-10) + -2 + 337. Which is greater: i or 8?
i
Suppose 12*s - 3*s - 234 = 12*s. Which is smaller: s or -89?
-89
Let h be (-12968)/(-32)*(31 - 27). Which is greater: h or 1611?
h
Let t be 1771/420*189/42. Which is greater: 19 or t?
19
Let l(j) be the third derivative of j**6/120 - 7*j**5/15 - 13*j**4/12 - 49*j**3/6 - j**2 + 49*j. Let z be l(29). Is -1 at most z?
True
Suppose 5*p - 1348 + 262 = 144. Which is smaller: p or -2?
-2
Let o be (-4)/(-3)*((-10)/(-8) - (-21 + 22)). Let p = 23 - -37. Are o and p equal?
False
Let v be -7 + -3 + (-976)/(-52). Suppose -3*i + 2*i + 16 = 3*x, x = -i + 12. Which is greater: i or v?
i
Let n be (-1)/(-4722)*(5 + (-26)/6)*-6. Which is smaller: -1 or n?
-1
Let d = -837 + 21765/26. Suppose 19 = 3*b + 11*c - 13*c, 0 = 5*b + 3*c - 38. Suppose -u - 6*u = -b. Is u != d?
True
Suppose h = 5*b - 60, 2*b - 5*b + 3*h = -36. Suppose p + s = 10 - 13, 2*p + 4*s = -b. Are -7/16 and p unequal?
True
Let o = -15 - -17. Suppose -a + 6 = -o*p, 5*a - 24 = 3*p + p. Suppose -a = 4*r + 4, 3*c = -2*r - 43. Which is smaller: c or -14?
-14
Let o be (-9)/12 + (-6)/(-8). Let r be (4*4/32 + o)*-1