 11. Let i be y(-15). Let l be ((-39)/i)/(3/(-8)). Solve 0 = l*k - 5*k + 1 for k.
1
Let i be 0/((-2)/(-2)) + -3. Let x = 5 + i. Suppose 0 = -3*z + 2*z + 1. Solve x*o + z = 7 for o.
3
Let w(g) = -4*g + 1. Let n be w(-1). Let h = 10 + n. Solve 0*i + 3*i = h for i.
5
Suppose -w = g - 3*w - 26, -3*g = 3*w - 33. Solve 5*y - g*y = 44 for y.
-4
Suppose a - 13 = -2*i, -3*i + a = 2*i - 43. Suppose -2*d + i = -5*r - 13, 2*r + 6 = 0. Suppose 2 = -4*z + 42. Solve -z = -d*j + j for j.
5
Let j be (-3)/((3/1 + -2)*(-3)/20). Let g = -5 - -9. Solve -g*y - j = y for y.
-4
Suppose 0*n - 40 = -5*n - q, -2*n + 13 = q. Suppose 18 = n*a - 0*a. Solve 4 = -a*r - 2*r for r.
-1
Let y be (-13)/(10/(-12) + 19/(-114)). Solve 0 = y*j + 9 - 61 for j.
4
Let l = 727 - 719. Solve -l*p - 5 = 3 for p.
-1
Suppose -c - 11 = n + 14, 5*c - 57 = 2*n. Let t = -25 - n. Suppose -y + 6 = -o, 3*y = -2*o + 4 - t. Solve y*m - 5*m = 2 for m.
-1
Let c(q) = -2*q - 9. Let p be c(-8). Solve 5*f = p*f + 10 for f.
-5
Let w = -30 - -35. Suppose -44 = -w*f - 6*f. Solve 0 = -z - 3*z + f for z.
1
Suppose -2*t + 2 = -5*t + 5*k, 5*k - 26 = -t. Suppose 4861*a + 400 = 4961*a. Solve 0 = -a*d + d + t for d.
2
Let b = 40 + -38. Let p = b - -1. Solve -8*q = -p*q for q.
0
Let o(y) = -2*y - 8. Let j be o(-7). Let g = -1 - j. Let k(u) = -u**2 - 8*u - 7. Let l be k(g). Solve -i = 1 - l for i.
-1
Suppose 78*k + 3192 = 102*k. Solve -k*u + 138*u = 15 for u.
3
Let p = -10 - -82. Let h = -12 + p. Suppose -2*z + 106 = -f + 5*f, -3*f + 5*z = -h. Solve -3*j = -8*j + f for j.
5
Let z(m) = 2*m**2 + 3*m + 3. Let g be z(-2). Solve g*b = -0*b - 5 for b.
-1
Let c(b) = -b**3 + 9*b**2 + 4. Let k be c(9). Let p(h) = -h**2 + h + 7. Let y be p(3). Suppose y + 2 = -k*d + 3*m, 5*d = 2*m + 5. Solve d*u = 6*u - 9 for u.
3
Suppose 2*r = -3*u + 5*r + 6, -2 = -u - 3*r. Suppose 3*x = z - 0*z + 20, 3*x - 4*z = 35. Suppose -5 = 5*t - x*q - 0, 5*q - 25 = 0. Solve -18 - u = t*o for o.
-5
Let k(v) = 8*v**2 - v + 9. Let l be k(-4). Let z = l - 131. Solve z = 4*n - 10 for n.
5
Let q = 3 - 4. Let d be (-5 - -8)*(0 - q). Solve 0 = b + 6 - d for b.
-3
Let t = -2083 + 2098. Solve t*w = 2*w - 26 for w.
-2
Let t = 7 - 7. Suppose 0 = -b - 3, -3*q = -t*b + 4*b - 45. Solve 4*x = 3 - q for x.
-4
Let c be (14 + -8)/6 + 5. Solve -7*q + c = -q for q.
1
Let k be (4/((-8)/(-2)) - 1)/1. Suppose 3*j - 12 = -k. Solve -2 - j = 3*u for u.
-2
Suppose 4*b - 18 = -3*a, 46 = 4*a + 10*b - 12*b. Suppose -3 = f - g - 2, -12 = -3*g. Suppose -5*s + f*m - 2*m = -23, -s - 8 = 4*m. Solve -a = s*p + p for p.
-2
Let h(o) = -14*o - 2. Suppose 4 = 2*b + 2. Let y be h(b). Let w = y + 19. Solve -w*d = 1 + 14 for d.
-5
Let j(x) = -2*x**2 + 4*x + 12. Let i be j(6). Let y be 6/4*(8 + i/6). Solve 0 = -m - y - 2 for m.
-5
Suppose -9*l + 12*l = -9. Let m be (1/3)/(-1)*l. Solve 5*t + m + 9 = 0 for t.
-2
Suppose -5*v + 367 - 32 = 0. Let k = 69 - v. Solve -q - 1 = -k*q for q.
1
Let x(j) = -j**2 + 10*j - 7. Let v be x(9). Suppose -2*i - 1 = z, -4*i + 1 = z + 4*z. Suppose 0 = v*m + 4*h - 3 + 11, h + z = -m. Solve -m + 5 = -q for q.
-3
Let q(h) = -h**3 + h**2 + h. Let t be q(-1). Let v be (-3 + t)/(-1) + 1. Solve l = v*l for l.
0
Let q(z) = -5*z + z**3 - 5 + 7*z**2 - 5*z + 4*z. Let m be q(-8). Let f = -20 - m. Solve 4 = -x + f for x.
-3
Let m(g) = g**3 - 3*g**2 - 3*g + 5. Let s be m(4). Let h(u) = u - 3. Let i be h(4). Let q be -2 + (-2 - -4)*(3 + i). Solve -5*t - q = s for t.
-3
Let z be (-21 - 871/(-39)) + (-4)/3. Solve -h - 24 + 20 = z for h.
-4
Suppose 20 = 4*y, -2*n + 4*n + 6 = 2*y. Solve n*l - l = -5 for l.
-5
Suppose -3*c + 0*c + 1 = -4*w, c + 3*w - 9 = 0. Suppose -l - t = -2, -c*t = -0 + 3. Solve -l*p = 9 - 3 for p.
-2
Suppose 2*x = 4*x. Suppose -41*l = -46*l + 10. Solve l*d + 2 + 0 = x for d.
-1
Let r = 405 + -405. Solve q + r*q = -1 for q.
-1
Suppose -5*j + 3*g + 13 = 0, j + 0 - 21 = -4*g. Let s(x) = 2*x**2 - 8*x + 4. Let y be s(j). Suppose -t - 10 = -y. Solve 0 = 4*q - t for q.
1
Let p = -39 - -42. Suppose 8*v + p*v = 22. Solve 2*q + 6 = v for q.
-2
Let h(l) = -l**2 - 8*l - 9. Let j be h(-6). Let m be (j + -2)/(2 + -1). Let k be (-1 - 1)/(-22 - -27 - 6). Solve m + k = w for w.
3
Let g(f) = -4*f**2 + 8*f + 1. Let y(h) = -h**2 - 1. Let n(z) = -g(z) + 3*y(z). Let l be n(9). Solve 10*b - l*b = -5 for b.
-1
Suppose 5*k = -2*v + 3*k + 24, -3*k - 52 = -5*v. Suppose -13*t + 6 = -v*t. Suppose -t*u + 10 = -2*u - f, 0 = -5*u - 5*f. Solve -6*x + x = -u for x.
1
Suppose 0 = -47*t - 18*t + 455. Let q = 0 - 0. Suppose n - 4*n = q. Solve 4*s - t - 13 = n for s.
5
Let d(c) = c. Let p(n) = -n**2 - 12*n - 15. Let a(u) = -d(u) - p(u). Let m be a(-10). Let w(l) = -2*l**2 + 9*l + 7. Let v be w(m). Solve 0 = -2*s - v + 8 for s.
3
Suppose 0 = -0*f + 3*f - 72. Suppose -f = -3*m - 0. Suppose p - 13 = -4*d, 0 = 3*d - 3*p + m*p + 3. Solve 3*u - 7*u - d = 0 for u.
-1
Let k = 1 + -4. Let f(c) = 8*c + 11. Let w(q) = -9*q - 12. Let y(d) = -5*f(d) - 4*w(d). Let u be y(k). Solve 3 = -u*b - 22 for b.
-5
Let v = -20 - -8. Let t be ((7 + -4)/9)/((-2)/v). Solve t = -2*d + 3*d for d.
2
Let w = 51 - 49. Suppose 2*n - 5 = b + n, w*b = -4*n + 20. Solve b = 3*c - 6 - 0 for c.
2
Let a be 1/3 - (-28)/6. Suppose -3*w = -341 + 1115. Let v be 8/(-40) + w/(-15). Solve 0 = -a*r + v + 3 for r.
4
Let c(y) = -y**3 + 13*y**2 - 42*y + 15. Let s be c(6). Solve -15 = -10*r + s for r.
3
Let s be ((-204)/(-10))/2 + (-2)/10. Let j = s - 10. Suppose 5*a - 4 - 11 = 0. Solve p - a*p - 4 = j for p.
-2
Let n(f) = f**3 - 9*f**2. Let z be n(9). Let u be z*(2/(-4))/1. Suppose u = -0*s - 3*s + 45. Solve 5*v - s = -0*v for v.
3
Let b(k) = k + 10. Let q be b(-8). Let g be 1*(-1)/q*(-39 - -11). Solve -2 - g = 4*v for v.
-4
Suppose 189*x = -149*x + 293*x. Suppose -2*v + 0*v = -2. Let f be v*6*(-1)/(-2). Solve -f*r + 6*r + 6 = x for r.
-2
Let z be 1/5 + (-1694)/(-55). Solve 21*o - z*o = -20 for o.
2
Let n(l) be the first derivative of -l**4/4 - l**3/3 + l**2/2 + 8*l + 6. Let t be n(0). Solve -4*f + t = -0 for f.
2
Let m = -821 - -831. Solve 0 = 5*d + m + 15 for d.
-5
Let r(q) = 2*q - 9. Let a be r(6). Let k be -6 + (a - 0) + 3. Let b = 2 - -1. Solve k = -0*y - b*y for y.
0
Let i be 23/7 - 6/21. Solve -i = -2*d + 1 for d.
2
Suppose 9*x = -27*x + 180. Solve 8 = x*w - 7 for w.
3
Suppose -49 = 3*z - 58. Suppose 3*s - 6 = z. Suppose -5 = 3*c - 4*c. Solve 1 + c = s*v for v.
2
Let d(a) = -a**3 + 35*a**2 - 149*a - 28. Let i be d(30). Let l(y) = 4*y**2 - 4*y**3 - 5*y**2 - y - 7*y**3. Let r be l(-1). Solve 3*u - r = -i for u.
3
Let w = -25 + 25. Suppose 18*q - 22*q + 20 = w. Suppose -25 = -5*o - q*z, 0 = z - 5*z. Solve 9*p = 4*p + o for p.
1
Let j be (12/10)/((-10)/(-25)). Suppose -j*t = -7*t + 4*d - 132, 93 = -3*t + d. Let l be (t/(-9))/((-3)/(-18)). Solve 0*o = -4*o + l for o.
5
Let n(b) = -2*b - 1. Let d be n(-2). Suppose y + 6 = 4*k, -4*y + d*k = -y. Let g = 183 + -182. Solve l + g - y = 0 for l.
1
Let j = -500 + 506. Let c = 12 + -10. Solve c*h = j*h + 16 for h.
-4
Let i(f) = f**2 - 1. Let t be i(-2). Suppose -5*v = t*v - 0*v. Solve -3*n - n - 8 = v for n.
-2
Let c(z) = -17*z + 21. Let a be c(1). Solve 2*j = 6 - a for j.
1
Let t(b) = -2*b - 65. Let f be t(-38). Solve 0 = -f*u + 8*u for u.
0
Let k be (-18)/(-30) - 28/5. Let y be ((-10)/k)/(-1) - -4. Solve -8 = 2*c + y for c.
-5
Let j be (-221)/(-91) + 4/7. Let g be j/(-12) + 1/4. Solve g = 4*c - 6 - 14 for c.
5
Suppose 4 = z - 0. Let d = -29 + 33. Suppose -3*m - 2*m = 5*t + 5, d*t - 4*m - z = 0. Solve -3 = -o - t*o for o.
3
Suppose -90 = 7*f - 146. Solve i + f*i = -i for i.
0
Suppose 4*d + 18*n - 42 = 15*n, -4*n = -4*d + 56. Solve -7*t - 15 = -d*t for t.
3
Let v(p) = -p**3 + 2*p**2 + 40*p - 29. Let x be v(7). Solve 0 = 10*k - 8*k - x for k.
3
Let m = -27 - -22. Let i be 3*(10/(-3))/m. Solve -i - 18 = -4*u for u.
5
Let v be 2*28/16 + (-39)/26. Solve -v*x - 6 = -4*x for x.
3
Suppose -8 = -2*c + 4*c, -3*q - 8 = 2*c. Suppose -i + 10*i = q. Solve i*o = -3*o for o.
0
Let h = 528 - 528. Solve -14*u - 18 - 10 = h for u.
-2
Let o(t) = -3*t + 5*t**3 - 3*t**3 - 3*t**3 - 5*t**2 - 3. Let g = -6 + 1. Let s be o(g). Solve s = 5*j - j for j.
3
Let v(d) = d**2 - 2*d - 3. Let w be v(3). Suppose -3*k - 17 = -2*n - 1, 0 = -3*k + n - 14. Let r be 1/5 - k/(-20). Solve 2*i + 2 + r = w for i.
-1
Let v(z) = -z**3 - 9*z**2 + 5. Let w 