-8). Solve -p*l = 4*a - 4, l - 4*l + 23 = -2*a for l.
5
Suppose 28 = 5*l - 47. Solve d - 10 = -5*w, 10*w = 5*w + l for d.
-5
Let x = 1 + 1. Let t = -2 + x. Solve 3*q = -2*s + 19, -s + t*s = 3*q - 17 for q.
5
Let l = 11 - 8. Let a be (2 - (-1 + -2)) + -1. Suppose l*q - 8*q = -2*u - 26, 5*u + 31 = a*q. Solve 0 = q*p - p - k + 10, -2*k = 3*p + 25 for p.
-5
Suppose g + 4 = 3*g. Suppose -2*s + 4*v - 2 = 0, 2*s - v + g = 3. Let u = s + -1. Solve 5 = 5*f, u*z = -3*z + f - 16 for z.
-5
Let s = 47 - 39. Solve -4*c = 2*l - 6, 2*l + l - s = -5*c for c.
1
Let z(x) be the first derivative of -x**2/2 + 22*x + 8. Let i be z(18). Solve -i*v = -4*f + 20, -3*f - 4*v = -5*v - 15 for f.
5
Let s(t) = -t**3 + 12*t**2 - 18*t - 17. Let z be s(10). Solve -z*d = 4*h + 13, -4*d + 3*h - h = 10 for d.
-3
Let g(q) = 3 - 4*q + 4*q + q**2 + 0*q**2. Let s be g(0). Solve 7 = -2*j - 3*i, j - s*i = -i - 7 for j.
-5
Let s(z) = 4*z**2 + z. Let g be s(-1). Solve -g = 5*q - 2*r, 5*q + 4*r = r + 17 for q.
1
Let a be 3/(-1 + (-3)/6). Let m be 4/a*2/(-4). Suppose m = n - 2. Solve 5*t = 2*i + n*i + 5, 2*i + 12 = -3*t for i.
-3
Let d(g) = g**3 + 10*g**2 + 10*g + 13. Let s be d(-9). Solve 4*o = 2*n - 0*o - 4, -4*n + s*o = 0 for n.
-2
Suppose -2*m + 8 = -0*m. Let a = -4 + m. Suppose -y - 3*y = a. Solve -3*r = s + 7 + 7, y = -4*s - 4*r - 16 for s.
1
Suppose 0 = -2*z - 1 + 7. Let j be 6/(-4)*(-4 - -2). Suppose -12 = -3*u - 3*w, u = 2*w + j*w - 2. Solve z = 2*r + m, 0 = -0*r + 2*r - u*m - 23 for r.
4
Suppose y - 3 = 8. Solve 0*h = -2*s - 3*h + y, h = -3*s + 6 for s.
1
Let b(q) = -q + 4. Let m be b(4). Solve -2*i + w - 7 = m, 2*i + 0*w = 5*w - 11 for i.
-3
Suppose -8 = -4*o - 5*l, o - 4 + 2 = -l. Solve -4*k = -o*b - 6, -4*k + 18 = -k + 3*b for k.
3
Suppose -3*u = 4*f - 4, 4 = 4*f + 2*u - 4. Let r = 4 + 6. Solve 2*a + r = c - 0*c, -3*a - 15 = f*c for a.
-5
Let p = 1 - 1. Suppose -2*m + p*f - f = -6, 0 = 2*m - 3*f + 2. Solve -m*x + 3*t = -0*x - 6, -2 = x + t for x.
0
Let q = 4 - 3. Let h be (-8 - q/1)*-2. Suppose -m = 5*u - h, -3*u - 4 = -13. Solve 4*i - m*d = -d + 10, i = 4*d - 8 for i.
4
Let n(u) = u**2 + 2*u - 2. Let r be n(3). Suppose k - t - 29 = 4*t, -2*k + r = -t. Solve 4*d - 6*x + 4*x + 20 = 0, -d + k*x = 5 for d.
-5
Let q(i) = i**2 + 6*i - 3*i**2 + 4*i**2. Suppose -7*o + o - 24 = 0. Let s be q(o). Solve 5*t = 4*k - 21, -2*t + k = -k + s for t.
-5
Let u = 22 + -15. Let x = u + 8. Solve -b - x = -4*y, -y + 3*y - 3*b = 15 for y.
3
Let r be (-18)/63 - (-2)/7. Solve -k + 2 = d - r*d, k - 2 = -4*d for d.
0
Suppose 0 = 14*r - 42. Solve b + r*n - 3 = 0, 3*b - 3*n + 10 = -5 for b.
-3
Let m(u) = 3*u + 7*u**2 + 2*u - u**3 - 4*u**2 + 0*u. Let h be m(4). Solve 3*o + b = 10, -2*o + 0*o = h*b + 10 for o.
5
Let y(d) = d + 3. Suppose -4*k - 4*j - 24 = 0, 0*j - 9 = 3*j. Let u be y(k). Solve u = q - 3*g - 9 + 20, -5*q + 2*g = -10 for q.
4
Let g = -5 + 10. Let b = g + 0. Suppose 1 = 3*s - 11. Solve -b*n + c - 21 = -2*c, -3*n + s*c - 17 = 0 for n.
-3
Suppose -5*k = 3*w - 21, -3*k + 2*w - w + 7 = 0. Solve 11 = k*z - 3*d + 5, -8 = 4*d for z.
0
Suppose 2*c - 103 = -3*c + 3*y, 4*c + 4*y - 108 = 0. Solve 2*g - 21 = 5*q, -3*g + 2 = 3*q + c for q.
-5
Suppose -2*l + u + 9 = -10, -2*l + 5*u + 31 = 0. Let i = -7 + l. Solve 2*a + 6 = -4*x, a - i = x + 5 for x.
-3
Let v be (-6)/10 - 116/(-10). Solve 2*d - 21 = 3*t, 0 = -3*d - 3*t - t - v for d.
3
Suppose -50 = 2*l - 4*l. Solve -l + 1 = h + 5*w, 4*h = 5*w + 4 for h.
-4
Let i(q) = 5*q - 4*q - 3*q - q. Let f be i(-6). Let d(a) = -a**2 + a + 14. Let p be d(0). Solve -4*k + u - f = 3*u, 3*k = -u - p for k.
-5
Suppose -5*p + 24 = -6. Solve d - 11 = -3*a + p*a, -5*d - 4*a - 40 = 0 for d.
-4
Suppose -5*i = -0*i. Suppose i = m + 3 - 5. Solve -5*g + 4*k = -12, -3*g = -k + m*k + 3 for g.
0
Let w(f) = f + 4. Let n be (4 - 0)/((-1)/(-6)). Suppose -3*p + n = -p. Let x be w(p). Solve -z + 4*d + x = -9, 0 = -2*z - d + 5 for z.
5
Suppose 0 = -4*c + 3 + 9. Suppose -2*q = -q - c. Solve -q*l = -2*k + 4, 4*k + 1 = 4*l + 9 for l.
0
Let h = -31 - -35. Solve 2*c - 3*x = 3*c - 5, -h*x = -3*c + 15 for c.
5
Suppose -2*b + 1 + 5 = 0. Solve 3*o + 8 = b*f + 4*o, o = -f for f.
4
Let g(i) = i**3 - 5*i**2 + i - 1. Suppose -3 = -2*c + 7. Let z be g(c). Solve 2*q = 2*o, 3*q - 5 = z*o - 3 for o.
-2
Let i = 11 + -16. Let o(d) = d**2 + 4*d. Let a be o(i). Solve 0*u = -u - 5*w + 17, w + a = -3*u for u.
-3
Let y(r) = r**3 - 9*r**2 - 8*r + 2. Suppose 0 = t - 5 - 5. Let v be y(t). Solve 2*n + 0*n + 5*w + 17 = 0, 3*n = 2*w + v for n.
4
Suppose v - i - 7 = 0, v - 3 = -5*i - 8. Solve 5*t = -l + 25, 3*l + 0*l - v*t = -25 for l.
0
Let j be 2 - ((-20)/(-25) - (-2)/10). Solve -2*x + j = -3*o, -3*o = 3*x - 4 - 5 for x.
2
Suppose 6*y + 8 = 8*y + r, -2*y + r + 8 = 0. Solve -4*d - 2 = 6, -y*a - 22 = 3*d for a.
-4
Let j = 26 + -14. Let i = 11 + -17. Let t = i + j. Solve -p = -2*m + m, 0 = 2*p - 4*m + t for p.
3
Suppose 0*o = 2*b - 4*o - 18, -2*o = 4*b - 16. Suppose b = f - 0*f. Solve p = -2*a + 15, f*p = -3*a + 50 - 10 for a.
5
Suppose 4*q + 2 = 10. Let y(g) = -g**2 - g + 15. Let s be 3 - (1 - (-2 + 0)). Let m be y(s). Solve -p = 2*r - 3 + 8, -q*p - m = 5*r for r.
-5
Let b be -1 - -3 - (-6)/(-3). Suppose -34 = -h - 5*o, 4*h - 49 = o - 18. Suppose 0 = 5*m - 2*m - h. Solve -m*w + d = -9, 5*d - d + 12 = b for w.
2
Let i be ((-96)/40)/(1 - (-21)/(-15)). Let z(w) = 6 + 2*w - 2*w - w. Let b be z(i). Solve b = -2*q + 2*v - 8, 6*v - 3*v + 18 = -3*q for q.
-5
Let t(o) = o**2 - 6*o - 1. Let b be t(6). Let n = b - -1. Suppose 4*z - 5*z = n. Solve 2*a = -4*m - 2, -m + 3*a + z = 18 for m.
-3
Suppose 9*i - 4*i - 10 = 0. Solve 3*h = -i*p - 16, 0 = 5*p - 5*h + h + 17 for p.
-5
Suppose 3*x + 27 = -36. Let z be ((-20)/(-6))/((-14)/x). Solve 0 = -4*q + 3*c + 20, -3*q - z*c = q + 12 for q.
2
Let b(a) = a**3 + 7*a**2 + 8*a + 7. Let u be b(-6). Let o = u - -8. Solve -3*h - 5 + 2 = -o*l, -2*l = -6 for h.
2
Suppose 2*l + 1 - 21 = 0. Solve 0 = -4*y - 2*t + 8, l*t + 32 = 3*y + 5*t for y.
4
Suppose -2*g - 104 = -4*a, -4*g = 3*a + g - 65. Let v = -1 + 13. Suppose v + 8 = 4*d. Solve -4*n = 3*i - 4*i - a, 0 = -d*n - 5*i for n.
5
Let w(g) = -g**2 - 4*g + 3. Let d be w(-4). Solve 3*u = d*o + 1 + 5, -o - 4*u + 23 = 0 for o.
3
Suppose -f + 3*f + 10 = 0. Let z = -3 - f. Solve 2*p + 3 = -4*u - u, 0 = z*u + 4*p - 2 for u.
-1
Suppose 2*b - 2*y - y = 8, -y + 20 = 5*b. Solve 0 = -3*q + 2*n + 3 - 6, -b = 4*q - 4*n for q.
-1
Suppose 5*k + 5*z + 0*z - 40 = 0, 0 = k + 2*z - 10. Let r(x) = -x**2 + 5*x + 8. Let h be r(k). Solve j - d = h*j + 5, 4*j = -3*d - 18 for j.
-3
Let r(p) = p**2 + 3*p + 4. Suppose -4 = -2*q - 0*a + 2*a, 0 = -4*q + 2*a. Let g be r(q). Solve -2*s - s - 3*o = 30, g*o + 25 = -3*s for s.
-5
Suppose 0 = -3*z + 3, -4*z + 0 = f - 10. Let b be 3/2*8/f. Suppose 3*g - b = 4. Solve 5*t = -m + 22, m = g*t - 4*m + 2 for t.
4
Suppose q + 3*p = 18, -p - 2 - 2 = -3*q. Solve 5*n - q*z - 15 = -z, -4*n + 19 = -3*z for n.
1
Let a(o) = -o**3 + 11*o**2 - 14*o - 11. Let j be a(9). Solve h = -r + 2*r - 5, -5*h = -2*r + j for r.
0
Let a = 22 - 18. Suppose 2*q - a = 6. Solve q*y = 3*t + 34, -3*t = 5*y - 5 - 11 for t.
-3
Let h = 130 - 129. Solve -m - 7 = 3*y, 2*y - 3*y + m = h for y.
-2
Let w(a) = -a**3 + 5*a**2 - 2*a - 5. Let q be w(3). Solve -2*i = c + q, c = -3*i + 4*c + 12 for i.
-1
Suppose 0 = -5*l - 4*t + 10, -6*t + t - 6 = -3*l. Suppose 7*b - 10 = l*b. Solve -2*i - u - 4*u = -23, 0 = -i + b*u - 2 for i.
4
Let d be (-126)/12*8/(-6). Solve -4*p + 2*r + d = 0, 4*p - r + 6*r = 7 for p.
3
Suppose 3*c = 3*z + 7*c - 16, -4*z = 2*c - 18. Solve z = -3*u + k - 3, 2*k = -4*u - 16 for u.
-3
Let y(m) = m**2 + 5*m + 4. Let i be y(-6). Solve 3*u - 5*l - i = 0, -l = -9*u + 4*u + 24 for u.
5
Suppose 9*m = 4*m + 15. Suppose -13 = -m*d + b, -9 = d + 4*b + 4. Suppose -2 = -h - 0*h. Solve 0 = -q - d*q + 2*c + 6, -2*c - h = -2*q for q.
2
Let k(h) = -h + 5. Let v be k(10). Let s = v + 10. Solve b + 20 = -s*y, 3*b + 3 = -2*y + 8 for y.
-5
Let m(q) = -q - 2. Let k be m(-8). Solve -3*t = 3*x + 24, -2*t + x - 1 = k for t.
-5
Suppose 6 = 5*v - 4. Solve -v*a - 5 = j, -3*j + 35 = 2*j - 5*a for j.
3
Suppose -5*r - 4 + 14 = 0. Solve -5*a + r*l = l + 14, 0 = a + 5*l - 18 for a.
-2
Let n(x) = -4*x. Let i be n(-1). Solve -22 = -5*t - 3*l, -t + 5*l = 22 - i for t.
2
Let t(w) = -w - 2. Let s be 