 + 11. Let w be (1 - -9)*(-21)/(-14). Suppose -10*t + 13*t - w = 0. Solve 0 = -t*z + 3*z + g for z.
1
Suppose -2*l + 4*l = 8. Let p = -7 - -11. Suppose 31 + 5 = p*h. Solve l*b = -h - 3 for b.
-3
Let a = -31 + 65. Let m be (-3)/(-5) + a/10. Let j = m + 1. Solve 5*x + 25 - j = 0 for x.
-4
Let b be (-10)/(-25) + (-46)/(-10). Solve -b*y = 2 + 3 for y.
-1
Let v be (-20)/(-15)*3*1. Let k(t) = -2*t - 8. Let c(z) = -z - 14. Let j be c(-7). Let x be k(j). Solve -v - x = -2*q for q.
5
Let l = 44 + -20. Suppose l = 2*w + w. Let t(q) = q - 3. Let h be t(w). Solve i + 2 - h = 0 for i.
3
Let h(v) be the first derivative of -4*v + v**2 + 3*v - 5*v + 6 - 4. Let d be h(5). Solve 0 = -d*q - 0*q + 16 for q.
4
Let x(f) = f**3 + f**2 - 3*f - 2. Let b be x(-2). Let k = -6 - -6. Solve b = 5*q - k*q - 10 for q.
2
Let k(n) = -18*n**2 - 2*n + 1. Let q be k(1). Let a = 22 + q. Solve 2*h = a*h for h.
0
Let j = 23 - 45. Let b = -9 - j. Suppose -2*o = -0 - 10. Solve -b = o*t + 7 for t.
-4
Let n be 22/6 + 1/3. Suppose 2*z = -2*d + 18, -5*d + n*z = -z + 5. Solve 4*t = -0 - d for t.
-1
Let t = -122 - -124. Let b = -1 - -3. Solve t*o = -b*o for o.
0
Suppose 0*p = p - 4. Suppose -4*b = 4*v + p, -2*v - 2 = 5*b - b. Solve b = 2*a - 4 for a.
2
Let p(b) = 8*b. Let u be p(1). Suppose k + 3*z - z - 4 = 0, -5*k + u = 4*z. Solve 5 = -k*r - 5*r for r.
-1
Suppose 2*w + 5*u - 2*u + 11 = 0, 0 = 5*w + 5*u + 15. Suppose -d = -3*d + 6. Solve -d*v = w*v - 20 for v.
4
Let c = 26 - 18. Solve c*t - 10*t = 10 for t.
-5
Let f = 5 + -2. Solve f + 1 = -b for b.
-4
Let w = -8 - -16. Let o(g) be the first derivative of g**4/4 - 3*g**3 + 4*g**2 + 1. Let a be o(w). Solve a*y + 5*y + 15 = 0 for y.
-3
Suppose -2*a = -5*s + 33, 2*a = -s + 4*a + 13. Suppose 4*j + 2*f = 3*j + 2, -s*f = -5. Solve j = -3*n - 0*n + 9 for n.
3
Let a be 32/(-14)*(-112)/32. Let n(t) = 2*t**2 - 2*t - 1. Let r(v) = v - 2. Let m be r(4). Let x be n(m). Solve 10 = -a*c + x*c for c.
-2
Let y(t) = -t**2 - 10*t + 10. Let b = -23 - -12. Let m be y(b). Let c = m - -4. Solve c*u - 2*u = 1 for u.
1
Let g = 6 - 2. Let s(i) = -i - 6. Let x be s(-4). Let p be (3/x)/((-6)/16). Solve -g = -2*q + p*q for q.
-2
Suppose 0*h = -4*n + 5*h + 37, 3*n = -h + 42. Suppose 3*v = -4 + n. Solve 0 = -v*g - 2*g + 5 for g.
1
Suppose -6*l = -2*l - 12. Solve -l = 4*n + 5 for n.
-2
Let b = -12 - -19. Solve -2*r - 20 = -b*r for r.
4
Suppose -35 = -2*g - 3*g. Let l = 11 - g. Solve 2*m + l = -0*m for m.
-2
Let h = -9 + 17. Suppose u - 4*z = 16, h = -0*z - 4*z. Suppose -f = 3*f - u. Solve 2*x + f = x for x.
-2
Let s(n) be the third derivative of -n**4/24 + 2*n**3/3 + 2*n**2. Let p be s(3). Let m be (-1 - p - -2)/2. Solve 3*c = -m*c - 3 for c.
-1
Let k be (-2)/(-2) + 17 + 3. Let b = 23 - k. Solve -4 = b*h - h for h.
-4
Let p = -13 + 14. Let n be 0/((4 + -5)*p). Solve n = -3*y + y for y.
0
Let f = 127 - 125. Solve -f*z + z = 0 for z.
0
Let a(v) = -v**3 - 7*v**2 + 2*v + 9. Let y be a(-7). Let m = y + 7. Solve 2*c - 4*c = m for c.
-1
Suppose 0 = o - 2, k + o - 17 = -5. Solve 3*m + 4 = k for m.
2
Let z(q) = -3*q + 15. Suppose 4*v - 5*h + 5 = 0, -2*v = v + 5*h - 40. Let a be z(v). Solve a = -4*o + 6*o + 6 for o.
-3
Let f(n) = -6*n**2 - 1. Let c be ((-1)/3)/(3/9). Let z be f(c). Let m be (1*20)/(8 + z). Solve -6*s + m = -s for s.
4
Let o be -1*(-1 + 2 + 0). Let y = 1 + o. Suppose -v - 6 = u + v, -3*u - 4*v - 12 = y. Solve u = 3*q - 0*q - 12 for q.
4
Suppose -5*z - 5 - 15 = 0. Let o = z - -8. Suppose 0 = 4*w - 4 - o. Solve -9 = s + w*s for s.
-3
Let z be 32/10 + (-3)/15. Suppose -h + 4*t - 14 = 0, -5*h + 70 = -10*h + z*t. Let n be 4/(-14) - 46/h. Solve 2 = -5*y - n for y.
-1
Let l(t) = 5*t - 7. Let s be l(3). Solve -s = -4*a - 0 for a.
2
Suppose -2*j + 3 = -1. Solve j - 12 = 5*n for n.
-2
Suppose -r = -3*b - 7, b + b = 5*r - 22. Suppose 20 = -3*k - 2*k, 24 = r*h + 3*k. Suppose -h*q + 4*q = -10. Solve -3*z + z = q for z.
-1
Let s(u) = -u**3 - 10*u**2 - 13*u - 11. Let h be s(-9). Solve 2*x = 7*x - h for x.
5
Suppose 24 = 9*n - 39. Solve -a = 2 - n for a.
5
Let g(z) = -z - 3. Let n be g(4). Let w(c) = c**2 + 5*c + 2. Let h be w(n). Suppose -m + 5*m - h = 0. Solve -3*f - 2 = -m*f for f.
2
Suppose 21*z = 20*z + 4. Suppose -a = 2*a. Solve z = -a*q - 2*q for q.
-2
Suppose 0 = 3*y + y. Suppose -7*r = -5*r - 8. Suppose y = -2*o - 4*c + 29 - 3, r*o - c = 7. Solve o*i + 1 + 8 = 0 for i.
-3
Suppose 33*v - 29*v = 36. Solve v + 6 = 3*c for c.
5
Suppose -33 = -8*p + 55. Let j(u) = -u**3 + 5*u**2 - 1. Let n be j(5). Let i = n - -5. Solve -p = -i*y + 5 for y.
4
Let o be (4 - 24/10)/((-1)/(-5)). Solve 4*d = o*d - 20 for d.
5
Let x = 5 - -3. Solve r = -r - x for r.
-4
Suppose 9 = -3*y - 5*b + 28, 3*y = 5*b - 1. Solve -y = -j - 1 for j.
2
Suppose 4*i = i - 4*i. Solve i = 5*m + 6 + 9 for m.
-3
Suppose -2*h + 2*g + 33 = 3*h, 5*h - 40 = -5*g. Suppose 5*f + 0*p - 15 = -3*p, 4*f = 4*p + 12. Solve -f - h = 2*x for x.
-5
Let v be (-10)/(-6) - 6/9. Let j be (v - (-3 - -7)) + 3. Solve 6*d - d - 10 = j for d.
2
Let q = -13 - -30. Let v be 53/(-4) + 6/24. Let p = -8 - v. Solve -4*y = p - q for y.
3
Let j(o) = -3*o**3 + 8*o**2 + 12*o - 26. Let z(y) = y**3 - 3*y**2 - 4*y + 9. Let p(x) = -6*j(x) - 17*z(x). Let i be p(-4). Solve -i*h = -h for h.
0
Let w(g) = 5*g**2 - g - 2. Let h be w(-1). Suppose -m + 10 = h*m. Solve 8 = -m*i + 6*i for i.
2
Let b(l) = l + 2. Let m be b(6). Suppose 5*w = 3*c + 1 - 4, -5*w + 4*c - 4 = 0. Solve 3*j + m - 2 = w for j.
-2
Let t be 2 - 1*(3 - 4). Let z(k) = -10*k - 3*k + 16*k - 2*k**2 + k**t. Let l be z(2). Solve -l*i + 5*i = 0 for i.
0
Let x(g) = 5 - 6 - 7 - 9*g - g**2 + 0. Let c be x(-8). Let u = 6 - 2. Solve u = -j - c for j.
-4
Let t be (-4)/14 - ((-60)/14 - -1). Solve t*c + 10 = -2 for c.
-4
Suppose 4*w = -3*q - 16, w = 1 - 2. Let u be q/(-12) + 1/(-3). Let c be (u + -6)/(3/(-2)). Solve -c*z = z + 25 for z.
-5
Suppose 33 = 5*k + 3. Suppose 8*g = 3 + 13. Solve 0 = -4*o - g - k for o.
-2
Let h be (-8)/20 + 34/10. Suppose -h*a + 6*a = -3*k + 3, 2*k = -4. Suppose -5 - 1 = -a*d. Solve -d*i = -3*i for i.
0
Suppose 0 = -f + 3*o + 30 - 12, 3*o = -2*f + 9. Let b = f - 19. Let r = b + 10. Solve r*w = w - 3 for w.
3
Let h = 29 - 21. Solve 3*y - y = -h for y.
-4
Let t(b) = -b - 12. Let r be t(-9). Let x = r + 6. Solve 5*k - 4*k = -x for k.
-3
Suppose 4*f - 3*f + 74 = 5*w, -3*w = -3*f - 54. Suppose -2*g = -u + w, -4*u + g + 0*g + 21 = 0. Solve u = -5*s - 11 for s.
-3
Let u(o) = o**2 - 3*o. Let a(v) = v**2 - 7*v - 5. Let z be a(8). Let q be u(z). Solve q = 2*m - m + 4 for m.
-4
Suppose 2 = -3*w + 38. Let v(s) = s + 6. Let x be v(0). Solve 0 = x*l - 3*l + w for l.
-4
Let r(a) = -2*a - 3. Suppose 7*i - 12*i = 15. Let s be r(i). Solve 0*k = -s*k for k.
0
Let q = 20 + -16. Suppose -g = -c - 2, q*c - 20 = -0*c. Solve 0 = -g*v + 2*v for v.
0
Suppose -j + 2*j - 3 = 0. Suppose -o - 6 = -j*b - 3*o, b = 5*o - 15. Solve b*d = -d for d.
0
Let z = 26 - 16. Solve z = -0*g - 2*g for g.
-5
Suppose 4*r + 3*u = 43, 55 = 5*r + 2*u + 2*u. Let h be (-34)/(-10) + (-8)/20. Solve 2*c + r - h = 0 for c.
-2
Let h be (-16)/(-3) + (-6)/18. Let r(x) = -3*x - 2. Let o be r(-2). Solve -h*c - o = -24 for c.
4
Let i = 23 - 7. Solve i + 9 = 5*t for t.
5
Suppose 4 = 3*w - 14. Let g be (-2)/4 + 3/w. Solve g = -6*m + m - 25 for m.
-5
Let x(o) = o**2 + 4*o - 2. Let z be x(-5). Let j(f) = -f**3 - 7*f**2 - 7*f - 3. Let p be j(-6). Suppose -4*y + p*y = -1. Solve -7 = z*u - y for u.
-2
Let p(w) = -9*w - w**3 + 5*w**2 - 4 - w + 7*w**2 + w**2. Let o be p(12). Solve -3*m - 2*m - o = 0 for m.
-4
Let x(a) = 3*a**2 + 14*a + 6. Let m(s) = -s**2 - 5*s - 2. Let b(g) = 8*m(g) + 3*x(g). Let i be b(0). Solve -3 - 1 = -i*y for y.
2
Suppose d - 5 + 0 = -2*k, -5*d = 5. Solve -k*s - 2*s - 10 = 0 for s.
-2
Let l = 757 + -752. Let r(h) = 4*h**2 - h - 1. Let q be r(-1). Solve 1 = q*p - l*p for p.
-1
Let h be (-135)/(-25) + (-2)/5. Suppose -2 = -l + o + 5, 4*o + 30 = h*l. Solve 3*c = l*c for c.
0
Let d = -2 - -2. Let i be (-4)/(24/(-3))*d. Solve i = 2*l + l + 9 for l.
-3
Suppose -11 = 5*s - 1. Let k be -1*(-1*2 - s). Suppose -g + 21 = -3*i + 9, k = -2*g + i + 9. Solve g*u - 2 = 4 for u.
2
Suppose v - 6 + 4 = 0. Solve 3*q = -v*q - 25 for q.
-5
Suppose 4*g - a - 97 = 0, 3*a - 53 = -5*g + 64. Suppose -4*s + 17 = 1. Solve -s*b = -4 + g for b.
-5
Suppos