/11. Does l = z?
False
Let l(m) = -m + 9. Let q be l(5). Suppose -q*a + 55 = -t, t = -2*a - 6 - 19. Let g be (-4)/18 - (3 - t/(-9)). Are -12 and g non-equal?
True
Let s = 0.0093 + 294.9907. Let l = 307 - s. Which is smaller: l or -0.12?
-0.12
Let i = 15 + -11. Suppose -z - z = -2, -i*z + 4 = 3*f. Let n be 6 + (583/(-22))/(9/2). Is f at least n?
False
Suppose 2*s - 5*v = -93, -2*s = -4*s + v - 105. Let o be 945/s*(-18)/28. Is o at most as big as 12?
True
Suppose -2*m - 160 = -22*m. Suppose 0 = -4*u - m, -3*l - 4*u + 2 - 16 = 0. Which is smaller: -7/6 or l?
l
Let s = 0.47578 + -213.00578. Let d = s + 213. Which is bigger: 0.1 or d?
d
Let g = -12200 - -9674. Which is smaller: -2524 or g?
g
Let c(x) = -181*x - 2125. Let v be c(-12). Is v not equal to 39?
True
Let n be (44/(-6) + (-10)/15)/(2/(-1)). Which is smaller: 105/23 or n?
n
Let r = 0.056 - -0.07. Let y = -0.046 + r. Which is greater: 0 or y?
y
Let p(v) = 2*v**2 + 112*v + 2. Let i be p(-56). Is -1860 >= i?
False
Let n(l) = 2*l**2 - 3*l - 5. Let y be n(-2). Suppose 0 = -y*k + 7*k + 6. Let v = 3 - k. Does v = -1/10?
False
Suppose 0 = 4*x - 3*u + 248, 0*u = 4*u. Let s be ((-28)/(-56))/(1/x). Which is bigger: -32 or s?
s
Let g = -553/6 + 93. Suppose 0*m + 5*u + 1 = -m, -4*u = -3*m + 16. Let p be 1*(0 + m)/4. Do g and p have the same value?
False
Let u be (-10596)/52580 - (209/55 - 4). Which is bigger: u or -1?
u
Suppose -3*u + 59 = 32. Suppose -13 - u = 11*t. Let w be (t/(-57) - 0)*(-6)/(-4). Is w greater than 1?
False
Let a = -22968 - -18897. Is -4071 bigger than a?
False
Suppose 2*i = 8, 18 - 2 = -4*t + 4*i. Let g(z) = z**3 + 135*z**2 - 135*z + 136. Let d be g(-136). Is t greater than d?
False
Let o(x) = -2*x + 4. Let y(f) = -3*f + 5. Let w = -57 + 54. Let k(q) = w*y(q) + 4*o(q). Let d be k(1). Is 6 less than d?
False
Let w be (-58)/203 + 30/7. Suppose 0 = -4*y - 5*u - 381, 13*u = -w*y + 14*u - 351. Which is bigger: y or -88?
-88
Let z be 5 + (30/(-10) - 3). Is z less than or equal to -1/3929?
True
Let w(h) = -5*h + 34. Let c be w(6). Suppose -3*d - 11 + 36 = 5*y, c*y + 3*d = 23. Suppose -y*q + 69 = 271. Are -101 and q unequal?
False
Let g be 2/4 - 5/30. Suppose k - 6 = 9. Suppose w = k - 16. Is g at least w?
True
Let v(p) = -3*p**2 + 3*p - 1. Suppose 18*h - 6 = 12*h. Let x be v(h). Let i(q) = -q**2 - 11*q - 8. Let s be i(-10). Which is smaller: s or x?
x
Let t(x) = 34*x + 29. Let z be t(4). Let c = 164 - z. Which is smaller: c or 0?
c
Let y = 3830 + -3853. Is y < 51?
True
Let n be -10 + (-1 - 0/(-1)). Suppose -5*r + 977 = 3*m, 2*m - 5*r - 733 = -40. Let s = -347 + m. Which is bigger: s or n?
n
Let j = -492 - -858. Suppose 0 = 5*v - 4*f - 1800, -v - j = -2*v + 2*f. Is 357 <= v?
False
Let d = 55 + 4. Let p = 53 - d. Let f be (p/(-4))/((-42)/(-240) + -1). Which is bigger: f or -3?
f
Let k = -4/3379 - 1621876/37169. Which is smaller: -44 or k?
-44
Let v = -3015 - -3015.2. Which is smaller: -3/259 or v?
-3/259
Let s(u) = -23*u - 2. Let k be s(-2). Let a = 14 + -14. Suppose r - 33 - 10 = a. Which is smaller: k or r?
r
Let c(a) = -a**2 - 5*a + 95. Let b be c(-13). Let v be 2 - 5/(2 + -3). Suppose w + v = -4*o, w = o + o + 11. Are o and b nonequal?
True
Let h be 0 + 7/4 + (-63829)/(-568). Which is smaller: 115 or h?
h
Let k = -5892.9 - -5932. Which is bigger: -13 or k?
k
Let z = -37685.08 + 37685. Is -13.72 greater than or equal to z?
False
Let m = 208.0178 - 0.0178. Let v = m + -210. Are 11 and v non-equal?
True
Let r(u) = -u + 18. Let c = 6 + -3. Suppose -3*l - 43 = -5*v + 2, l - 41 = -c*v. Let z be r(v). Are 6 and z nonequal?
False
Suppose -5*g - 360 = 3*f, -f - 131 = 4*g - 6*g. Let p = 125 + f. Which is greater: p or 2/17?
2/17
Let x = -1076784/91 + 11833. Which is bigger: x or 1?
1
Let f be 3/(-9)*((-54)/30)/(3/5). Is 5/939 greater than or equal to f?
False
Suppose 2*x + 220 = 2*n, 2*n + 5*x - 106 = 114. Let k be (5 - 3)*n/(-20). Are -94/9 and k equal?
False
Let m = -3748 - -3525. Which is smaller: -1333/6 or m?
m
Let r = -98 + 103. Let u be (-3 - (-10)/(-4)) + r. Which is smaller: u or -4?
-4
Suppose 0*j = 5*g + j - 107, 3*g - 5*j = 53. Let z(h) = -2*h - 43. Let d be z(-12). Let k = g + d. Is 3 less than k?
False
Let s = -6527/6 + 11141/10. Which is smaller: 27 or s?
s
Let m = -17.5 - 1.5. Let a = 4.6 + -3.92. Let j = 0.88 - a. Is j at most m?
False
Let y = -69 + 73. Suppose y*x + l = -4, 3*l = 4*x + 4 - 16. Is -41 smaller than x?
True
Suppose 3*j + 39 = 4*d, 4*d + 2*j = -4 + 38. Suppose -112 = d*o + 7*o. Which is smaller: -9 or o?
-9
Suppose 3*l + 0 = 6. Suppose -4*x = 2*v + 10, l*x = -0*x + 4*v + 10. Let f = 264 + -262. Which is bigger: x or f?
f
Suppose 3*g = -2*x - 669, g + x = 2*x - 223. Let r = g - -180. Which is smaller: -42 or r?
r
Let o(b) = 474*b**3 - 6*b**2 + 4*b - 5. Let v be o(1). Is 462 at most as big as v?
True
Let b be (-7)/14 + 898/(-12). Suppose 5*y + i + 51 + 329 = 0, -i + 295 = -4*y. Which is greater: b or y?
y
Suppose 4032 = 18*y - 30*y. Let g = y + 332. Which is smaller: g or 3?
g
Let r = 49 + -88. Let t = r + 41. Let w be t + -1 + -2 - -1. Which is smaller: 1/3 or w?
w
Let s = 0.5097 + -0.511. Which is smaller: 0.1 or s?
s
Suppose -99165*n + 99171*n + 9366 = 0. Is -1559 at most n?
False
Suppose -386 + 387 = 2*q - 3*q. Is q bigger than 9/113?
False
Let j be (-54)/(-1134) - (-14844)/(-2142). Which is smaller: j or -2?
j
Suppose -4*h + 4*r + 76 = 96, -4*h - 5*r = -34. Which is smaller: h or -2/6543?
-2/6543
Suppose 5*m - 5 + 0 = 0. Let f be (-10)/(-9)*3 - 12/(-18). Let h be -1 + (-145)/(-30) - f. Which is bigger: h or m?
m
Let r = -267 + -1069. Let s = 140282/105 + r. Which is smaller: 0 or s?
0
Let r = 1.1497 + 0.0643. Are r and 0 unequal?
True
Let k be 155/17 + (-14)/119. Suppose -19*d = -28*d - k. Which is bigger: 2/27 or d?
2/27
Let f = -0.1438 - -3.1438. Let b = 42.43 - -0.57. Is b < f?
False
Let o be -2*(-16)/30 + -1. Let v be 119/4 + 37/148. Let q = v - 31. Which is greater: o or q?
o
Let j(o) = o**3 + o**2 + 3*o - 3. Let w be j(1). Let p be (-213)/284 - w*(-6)/16. Which is bigger: -2/63 or p?
p
Suppose -2313*v + 2311*v + 62 = 0. Which is greater: v or -9?
v
Let z be 148/(-15)*64890/252. Is -2542 at least as big as z?
False
Let z(n) = -4*n**2 + 62*n + 499. Let l be z(-20). Which is smaller: -2340 or l?
l
Let f be (-12)/(-18) + 2/(-3). Let r be f/(-4) - (-6)/(-39). Let y be 6*21/60 + -2. Which is bigger: y or r?
y
Let o(h) be the first derivative of 2*h**2 - 58*h + 10. Let l be o(16). Suppose -4*g - 29 = 3*t - l*g, -3*t + g - 25 = 0. Do t and -7 have the same value?
True
Suppose 192*c = 189*c + 4*u - 4349, 0 = -4*c + u - 5816. Is -1455 greater than c?
False
Suppose -p - 5 + 19 = -3*d, -4*p = 4*d + 40. Let a be (-1)/6 + 23/d + 3. Which is smaller: -1/754 or a?
a
Let x be (100/80)/(2/8). Suppose -s + 5*a = -x, -3*s - a + 20 = s. Do s and -15 have the same value?
False
Let d be (2 - 16) + (-21 - -36). Do d and 16/261 have the same value?
False
Let o(s) = 9*s**2 + 53*s - 20. Let j be o(-11). Let y = 474 - j. Which is greater: 4 or y?
4
Let v(w) = 5*w - 2. Let f(b) = 6*b - 3. Let y(n) = 2*f(n) - 3*v(n). Suppose -3*x - 5 - 4 = 0. Let h be y(x). Is 9 less than h?
False
Let k be ((-33)/(-12))/((-7)/(-4)). Let y = 184 - 183. Do y and k have the same value?
False
Suppose -15*q + 144 = 33*q. Suppose d = -3*u + 1522, -q*u + 1517 + 25 = -3*d. Do u and 509 have the same value?
True
Let j(c) = -69 - 65 + 3*c - 61 + 199 - 7*c - c**3 + 7*c**2. Let w(b) = b**2 + 7*b - 11. Let o be w(-9). Let l be j(o). Is -24 <= l?
True
Let j = 3845/17 - 226. Suppose 0 = -46*c + 32*c + 10 + 4. Which is smaller: c or j?
j
Let m = -359 + 365. Are 224/41 and m non-equal?
True
Let i be 14/(-8)*(-1 + -3). Suppose 0 = 3*d - 48 - 0. Suppose -d = -a - 7. Is a bigger than i?
True
Let c(y) be the third derivative of 17/8*y**4 + 2*y**3 + 0 - 24*y**2 + 0*y + 1/15*y**5. Let r be c(-12). Which is bigger: r or -23?
-23
Let g be (-5)/((-5)/18) - 3. Let m be (-107)/g - (0 + 4/(-30)). Let l be (-48)/(-20) + (-6)/15 - m. Is l < 9?
False
Let p(r) = -17*r**2 - 22*r + 19. Let l be p(-9). Let g be (2/(-35))/(8 - l/(-70)). Which is greater: g or 1?
1
Let o be (-3)/(-15 - -9 - -1209). Which is bigger: o or 1?
1
Let t = 0.20033 - -853.09967. Let j = t - 853. Is 1/62 not equal to j?
True
Let r(z) = -8 + 13 + 11 - 16*z - 1 + 