11. Let j be a(-6). Let b be v(j). Let l = -8174/25 - -327. Which is greater: l or b?
l
Let b = 23 + -14. Let h(a) = 27*a**2 - 6*a + 16. Let m be h(-4). Suppose m*v + 9 = 473*v. Is v not equal to b?
False
Let u(p) = 16*p + 15*p + 70 + 24*p - 67*p - 26. Let f be u(3). Which is greater: f or 18?
18
Let f be 2/(-48)*6 - (327/4 + 3). Which is greater: -66 or f?
-66
Suppose -4*v - b + 325 = 0, b + 6 = v - 79. Let z = 159 + -78. Which is bigger: v or z?
v
Let s = -11 - -17. Let r be s + -5 - -1*4. Let z be (r - 2/1) + -4. Is 0 < z?
False
Let l = -6.4 + 7. Let h = 1.05 + -0.059. Let t = h + 0.009. Which is smaller: t or l?
l
Let i be 32 + (13 - (16 - -29)). Let o = -232/13 - -15325/858. Is o smaller than i?
False
Let f be 1/(56/52 + -1). Suppose -22*j = -f*j + 342. Is j at most 0.3?
True
Let q = -61 - -69. Let r be 12/q*6/(-117). Let a be -1*(4 + -3 + 4 + -4). Which is greater: a or r?
r
Let n(l) be the second derivative of l**5/20 - 11*l**4/12 + l**3/6 - 6*l**2 - l - 17. Let t be n(11). Which is bigger: 3/49 or t?
3/49
Let x = -11.51 - 586.49. Which is smaller: x or 0.1?
x
Let t(z) = -7*z - 38. Suppose 6*h - 10*h - 32 = 0. Let n be t(h). Let x = n + 36. Is 53 bigger than x?
False
Suppose -37*g - 301 = -44*g. Suppose 5*r = -3*b + 50, 3*b + 0*r - 2*r = g. Which is smaller: b or 9?
9
Suppose q = -4, 18*z - 4*q - 1350 = 20*z. Is z != -666?
True
Let b = -200 + 199.669. Let j = 0.531 + b. Which is bigger: j or 0.1?
j
Let p be (-3)/4 - (-575)/980. Suppose 37*x - 4*j + 3 = 34*x, -2 = 2*x + 4*j. Is x greater than or equal to p?
False
Let d(z) = -z - 25. Let q be d(-8). Let f(u) = 7*u + 21. Let n be f(-5). Let r = -121/4 - n. Is r equal to q?
False
Let q = 10223 - 10224. Are 8/103 and q equal?
False
Let a = -357.62 - -296.48. Which is bigger: a or -1/2?
-1/2
Suppose 0*n = 2*n + 4564. Let l = -18291/8 - n. Suppose 0 = -91*a - 66 - 79 - 128. Is l smaller than a?
True
Let y be (39/(-104))/(-4 + (-53)/(-12)). Suppose -5*p + 20 = 5*i, -5*p - i + 0*i = 0. Which is greater: p or y?
y
Suppose -4*q = -5*q + 4*r + 4, 3*r + 3 = 3*q. Suppose 0 = 5*h - 126 + 2916. Let o = -16741/30 - h. Is o greater than or equal to q?
False
Let x(s) = 0*s**3 + 9*s**2 - 4*s - s**3 + s**2 + 0*s**3 + 25. Let l be x(10). Let p be 2 - -2*l/10. Which is smaller: p or -4?
-4
Let c = 33928 - 1866044/55. Is c greater than -3?
True
Suppose 0 = 2*t - 8, -p + 0*t + 5*t = 1009. Let u = -38573/39 - p. Which is smaller: 0 or u?
u
Let t(d) = d**3 + 16*d**2 + 14*d - 14. Let v be t(-15). Let x = -0.033 + -11.267. Let k = 45.3 + x. Is k != v?
True
Suppose 3*l = -0*v + v - 32, 0 = -5*l + 5*v - 60. Let z be (45/(-12))/(3/(-2)). Are z and l nonequal?
True
Let c = -2079 - -2078.99039. Which is smaller: -1 or c?
-1
Let p = -0.4 - 4.2. Let b = p + 66.6. Let v = b - 60.5. Which is greater: 0 or v?
v
Suppose x - 307 = 3*s, -154*x = -s - 159*x - 81. Suppose 3*c + 204 = c. Which is smaller: c or s?
c
Suppose 3*n = m - 2*m + 11, -n - 3 = -m. Let r(b) = b**3 - 3*b**2 - 3*b - 6. Let x be r(m). Suppose 3*y - 7*y = -108. Is x bigger than y?
True
Let x = -326 - -633. Let j = -308 + x. Which is greater: 4/17 or j?
4/17
Let p = -629255577/2017 + 311976. Which is bigger: 0 or p?
p
Let z = -110.44 - -110.24. Which is bigger: z or -4357?
z
Let d(l) = l - 1. Let p be d(1). Let h = 9/4 + 8. Let v = h + -10. Which is smaller: v or p?
p
Let v(i) = -12*i**2 - 3*i - 9. Suppose 4*p - 31 = 5*m, -1 = -5*m - 0*p - 4*p. Let w be v(m). Let d be w/(-30)*(-15)/(-21). Which is greater: 3 or d?
3
Suppose -2*b - 10 = 0, 18 = -3*z - 5*b + 2. Suppose 2*c - 6*c = 8. Let f = z + c. Are 1/85 and f equal?
False
Suppose 35 - 11 = 3*b. Suppose -7*m + 2 = -b*m. Let o = 40 + -409/10. Which is smaller: m or o?
m
Let w be (-27 - -366)/(5 + -2). Are w and 113 unequal?
False
Suppose -i - 33 = -11*n + 17*n, 3*n + 5*i = -30. Suppose -2*y = -2*h - 6, y + 6 = 3*y + 3*h. Are y and n equal?
False
Suppose 0 = -2*w + 4. Let u = 605/208 + 35/208. Is w < u?
True
Let l = 42 + -81/2. Let w(h) = 4*h**2 - 2*h - 9. Let f be w(-4). Let i be 12/f*(-5 - (-35)/10). Is l greater than i?
True
Let a = -11364 + 11363. Which is smaller: 16/1913 or a?
a
Let t be (0 + 19)/(2/38). Suppose -9*q + t = -206. Which is smaller: q or 62?
62
Suppose -r = 2*r - 6. Suppose r*y = -5*m + 46, -y + 3*m = 4*m - 29. Let f be (12/(-5))/(-3 + y/10). Is f at most as big as -5?
True
Let n(i) = -4*i**2 + 2*i**3 - 2*i + 5*i**2 + 10 - 9. Let o be n(1). Suppose 0 = -2*f + 6, 4*z - 9 = -f - o. Which is bigger: z or 2?
2
Let q = -133 + 132.943. Let v = -0.337 - q. Which is greater: v or 0?
0
Let a be 498/21 - (-12)/42. Suppose -4*t + 4*c = a, 0*c - 2 = t - 3*c. Let o(j) = 2*j + 19. Let k be o(t). Which is greater: k or 2?
k
Suppose 0 = -3*g - 3*j, -32*g - 5*j - 2 = -29*g. Which is greater: g or -30/209?
g
Let l = -689 - -1041. Which is smaller: 354 or l?
l
Suppose 5*m - 865 + 223 = 3*p, -p + 1 = 0. Let l(k) = 280*k - 20163. Let i be l(72). Which is greater: m or i?
m
Let l(r) = -3*r**2 - 103*r + 1016. Let p be l(8). Is p less than -46/183?
False
Let k = 86 - 55. Let n = -41.5 - -71.5. Let d = n - k. Which is greater: 0.007 or d?
0.007
Let q(t) = t**3 - 2*t**2 - 11*t - 12. Let x(d) = 2*d**3 - 3*d**2 - 22*d - 24. Let v(l) = -5*q(l) + 3*x(l). Let o be v(-1). Which is smaller: -17/23 or o?
o
Let p = 11 + -16. Suppose -5*g + y - 103 = 0, -5 + 0 = g + 5*y. Let b be (24/30)/((-104)/g). Which is smaller: p or b?
p
Let u(m) be the second derivative of 4*m**3/3 + 16*m**2 + 40*m. Let i be u(-4). Suppose -5*q + 12 - 2 = i. Which is greater: q or 9/5?
q
Let w(h) be the second derivative of -h**5/10 - 17*h**4/12 + 13*h**2 + 16*h. Let b be w(-8). Is 5 at least b?
True
Let a be ((-4)/(-8))/((-9)/6). Suppose -33 - 177 = 5*s. Let i = 40 + s. Is i <= a?
True
Let p = -4782 + 4784. Which is bigger: 55/93 or p?
p
Let z = 0.01242 - 65.01242. Let j = -1.3 - 0.7. Are z and j equal?
False
Let g be (-6 + (-77)/(-14))*(-8 + 10). Which is smaller: 1/1697 or g?
g
Let y be ((-9599)/4)/(1/(-124)). Let m = y + -2386351/8. Let u = 723 + m. Which is smaller: -3 or u?
-3
Let o = -300/13 - -279/13. Is o smaller than -1?
True
Let w be (78/(-4))/(6/16). Let x(c) = -c**3 + 9*c**2 - 13*c + 537. Let h be x(12). Which is smaller: h or w?
w
Suppose -202*n - 425 = -73*n + 91. Which is bigger: -150/31 or n?
n
Let i(z) = -z + 22. Let p be i(27). Let x be (-1 + (2 - -12))/(p/25). Which is smaller: x or -194/3?
x
Let u = -1287 - -675. Let c = u - -28762/47. Which is bigger: 1 or c?
1
Let m = 3 + -6. Let g(z) be the third derivative of -z**5/60 - z**4/12 - z**3/6 + 15*z**2. Let w be g(m). Which is bigger: w or -3?
-3
Suppose 0 = -4*o - 4*w - 880, 2*w + 44 = 48. Is o equal to -222?
True
Let s be 3*(-11 - -3)/(-8). Which is bigger: -54 or s?
s
Suppose -91 + 334 + 497 = 4*l. Which is bigger: 180 or l?
l
Suppose 8*b = b - 553. Let t = 84 + b. Suppose -2*d + 0*d - 10 = -2*i, t*i - 2*d = 13. Which is greater: i or 1/5?
i
Let t = -52.71 + 0.81. Let q = t + 52. Let g = 141 - 3519/25. Is g greater than q?
True
Let w(c) = 1397*c - 4203. Let p be w(3). Suppose 0 = -3*u - 5*h - 8, 5*u + h + 31 = -19. Which is bigger: p or u?
u
Let q be 2/5 + (-3)/(-5). Let u be (-1127)/(-3) - -7*1/21. Let w = u - 1127/3. Which is greater: q or w?
q
Let l = -218063 - -3054157/14. Is l smaller than 90?
False
Suppose -2*z + 16 = -4*v, -39*z + 35*z - 3*v + 43 = 0. Let y be (-98)/(-8) - 18/(-24). Is z > y?
False
Suppose 130*l = -1071 + 693 - 2872. Which is bigger: l or -129?
l
Let o = 17 + -38. Let r = o - -24. Let h = 1.1 - 0.6. Is h less than or equal to r?
True
Let c = 638 + -1346. Let z = c + 11317/16. Which is bigger: -1 or z?
z
Let j = -100 - -118.4. Let r = 35.7 - j. Let p = r - 17. Is 0 greater than or equal to p?
False
Let v be ((-58)/(-3))/(2/6). Suppose 16*i = 1450 - v. Let w = 113 - i. Is 27 at most w?
False
Let k be 229 + (-1)/2*26 + 5. Which is bigger: k or 220?
k
Let c be (-33)/(-12)*44/(-242)*-1. Which is smaller: -544/11 or c?
-544/11
Let v = 60 - 58. Let r = 287 + -286. Is v <= r?
False
Let c be 6/63*-30 + -1. Let u be (0 + 3)/(4/4). Suppose u = d + 2*q + 4, 2*d - 4*q + 18 = 0. Is d > c?
False
Suppose 4 = -2*u, 3*n + 2*u + 14 = -2*u. Let r = -78 + n. Let b be (-4 - r/24)/(4/6). Which is bigger: 1/17 or b?
1/17
Let a = 27 + -24. Suppose -a*m + 6*m = -m. Do 7/16 and m h