*r = -20, -3*r = 5*f + 12. Solve 2*x - x - 2 = f for x.
2
Let p(x) = x**2 - 1. Let b(n) = -n**2 - 7*n - 8. Let f be b(-5). Let t be p(f). Solve 0 = -k - t*k - 16 for k.
-4
Let o(m) = m**3 + 7*m**2 + 5*m + 9. Let u be o(-6). Suppose 2*l + 4*i = 2, 5*i + 0 = l - u. Solve 0*c + 25 = -l*c for c.
-5
Let g = -17 + 17. Suppose -p - d - d + 4 = g, 4*p + 3*d = 21. Solve 2 = -4*y + p for y.
1
Suppose 4*s = z + 11, -5*s - z - 3*z = -40. Solve 0 = 3*b - s*b - 1 for b.
-1
Suppose 3*a - 2*l - 17 = 66, a + l - 31 = 0. Solve -9 = -4*o - a for o.
-5
Let x be (1 + -21)*2/(-4). Let t be ((-36)/x)/(6/(-20)). Let p(l) = 2*l**2 + 18*l - 15. Let j be p(-10). Solve -y = -j*y + t for y.
3
Let v(s) be the first derivative of s**2/2 - 6*s + 2. Let q be v(8). Solve -q*n + 8 = -6*n for n.
-2
Suppose 1 = -2*a - 3*q, 2*a + 0 = -4*q - 4. Solve a*w + 9 = w for w.
-3
Suppose 0 = 5*r - 1 - 134. Suppose -r - 9 = -3*s. Solve s = 6*c - 3*c for c.
4
Let o(p) = -p**2 + 2*p + 7. Let b be o(5). Let c(h) = -2*h - 4. Let i be c(b). Solve -4*n = -n - i for n.
4
Suppose -27 = -3*t - p, -4*t = -5*p + p - 20. Solve 3*c - c = -t for c.
-4
Suppose -2*v + 3*l = l - 4, -5*v + 2*l = -16. Suppose v*h - 2 - 2 = 0. Solve -k = -1 - h for k.
2
Suppose 4*y - 16 = 3*y - 3*t, -3*y = -4*t + 17. Let n = -2 + 5. Suppose -3*z = -n*p, y = -p + 3. Solve -z*h = 3*h for h.
0
Let u be 0 - -1 - (-4 - -3). Suppose -u*d + 22 = -2*s, -3*d + 3*s = -2*s - 31. Let r(v) = 2*v - 12. Let l be r(8). Solve d = l*o - o for o.
4
Suppose -5*i + 3*v + 66 = -2*i, 0 = i - 5*v - 30. Suppose 5*a = -0*a + i. Solve a*f + 0*f = 4 for f.
1
Let x = 29 - 21. Solve -12 = -4*u + x*u for u.
-3
Suppose 3*c - 2*g = -10, -3 = -3*g + 12. Suppose 0 = 3*b - c*b. Suppose -5*s = -3*w + 17, 5*s = 2*w - b - 13. Solve -8*n = -w*n - 12 for n.
3
Let n be (6/3 - -3)*-1. Let y be (n + 3)*(-6 + -2). Solve y = -3*c + 4 for c.
-4
Let g = -8 + 11. Suppose -g*d = -d - 236. Let q be 3/12 + d/8. Solve -z + 6*z = -q for z.
-3
Suppose k + 2*s = 3*s, 4*s = 5*k - 2. Solve 0 = -k*c + 1 + 5 for c.
3
Suppose -5*z + 3*z = 0. Let p(j) = -j**3 + 3*j**2 + 2. Let q be p(3). Suppose -f + q*f = 6. Solve -3*l = -z*l - f for l.
2
Suppose 4*s + 4*l - 22 = 3*l, 0 = -s + 4*l - 3. Suppose -4*w + 4*y = -64, 3*y + 5 = -w + 17. Let f be (w/12)/(1/4). Solve 0 = f*x - s - 0 for x.
1
Let o(x) = 4*x**2 + 5*x + 4. Let y be o(-2). Solve 4*m - 6 - y = 0 for m.
4
Let g(a) = -a**2 - 19*a - 54. Let b be g(-6). Solve 5*x - b = 1 for x.
5
Suppose 0*l - 2*l = -3*h + 4, l + 2 = -2*h. Let p = l + 2. Solve -n - n = p for n.
0
Let d(z) = -z**2 + 3*z + 10. Let h be d(5). Suppose h*n = -5*n + 2*u + 30, -5*u - 33 = -2*n. Solve 5 = n*f + f for f.
1
Suppose 2*l = -0*l + 4. Suppose -l*p - 2 = -3*p. Solve 12 - p = -5*h for h.
-2
Suppose -3*h - 7*h + 100 = 0. Let p be 9/15 + 4/10. Let q be p/(((-2)/h)/(-1)). Solve 0*z = z + q for z.
-5
Let w be 2*2*(-6)/(-8). Let v be (6/(-4))/(((-39)/(-18))/(-13)). Solve -v = -0*j + w*j for j.
-3
Let g(r) = r**2 - r - 2. Let o be g(2). Solve o = 5*d + 4 + 1 for d.
-1
Let b(q) = q**3 - 6*q**2 + q. Let d be b(6). Solve 5*l + d + 4 = 0 for l.
-2
Let f be (4 - 1)/((-1)/7). Let k(i) = -8*i + 1. Let p be k(2). Let x = p - f. Solve x*n - n + 15 = 0 for n.
-3
Suppose 0 = 2*w + 2*w. Let q(t) = t**2 - 8*t + 6. Let m be q(7). Let b be 2 + 1*(m - -2). Solve w = b*d - 4*d for d.
0
Let i(g) = -2*g + 15. Let z be i(7). Solve 0 = -3*m - 2 - z for m.
-1
Let d(i) = i**2 + 2*i - 4. Let w be (-24)/(-15) + (-2)/(-5). Let h be d(w). Solve 1 - 13 = -h*v for v.
3
Suppose -3*f + 7 = -2. Suppose 2*l - l - f = 0. Let p = 17 - 9. Solve 25 = -p*i + l*i for i.
-5
Let z = 6 - 6. Suppose 5*v + 3 = p + 14, -5*p - 4*v + 32 = z. Solve r = -p*r for r.
0
Let u(f) = -7*f - 40. Let c be u(-6). Solve -2 = c*o - 0 for o.
-1
Let w(b) = b**3 + 7*b**2 - 2*b. Let v be w(-6). Let h = v + -28. Suppose -5*l = -31 + 11, -4*m = -5*l - h. Solve 1 = 3*o + m for o.
-3
Suppose -2*v = -0*v - 10. Let o(t) = t**3 - 5*t**2 - 14*t + 2. Let w be o(7). Solve -w = n - v for n.
3
Let s(f) = f**3 + 2*f**2 + f + 1. Let j be s(-2). Let i be j - -1*15/(-3). Let w(d) = d + 8. Let n be w(i). Solve -n*c - c = -6 for c.
2
Let b be (4/20)/((-3)/(-15)). Let u(c) = -c**2 - 1. Let w be u(-1). Let y be b/1 - (w - 0). Solve y*o = 4*o for o.
0
Let r(o) = 2*o**2 + 3*o + 1. Let g(p) = p + 12. Let c be g(-7). Let i = -7 + c. Let s be r(i). Solve 2*x - s = x for x.
3
Suppose -50 = 4*f + 2. Let s be (1 + 0)*f*-1. Suppose 5*n = -2*k + 7 - 1, -4*k + 12 = -5*n. Solve k = -2*u + s for u.
5
Let m(x) = -x**3 - 14*x**2 + 15*x + 5. Let a be m(-15). Solve 0 = -a*h - 26 + 1 for h.
-5
Let t(y) = 2*y + 1. Let n be t(1). Suppose 4*x + f - 3*f = 12, 2*f - n = -x. Solve 0 = -2*h + x*h - 3 for h.
3
Let v be (-3)/((-28)/8 + 3). Solve -v = 2*a + 2 for a.
-4
Suppose 2*h - 4 = 4*i - 26, -3*i + 2*h + 17 = 0. Suppose -2*a = 4*r - 16, 19 = 5*r + i*a - 11. Solve r*p + 15 = 5 for p.
-5
Let n be 0*(3 + -2 - 2). Suppose -h = 0, 2*h = -2*c - h + 6. Let r = c + n. Solve -r*l = l for l.
0
Suppose -5*y + 8 = 2*k, -6*y + k + 11 = -y. Solve 0*x = x - y for x.
2
Let l = -14 - -23. Solve 3*w = l - 0 for w.
3
Suppose 3*t + 4 = 10. Suppose -3*w = l - t*l + 7, 5*l + 3*w = 35. Suppose -23 = -l*u + 6*u. Solve 4*p + u = 3 for p.
-5
Suppose 18*v = 17*v + 5. Solve 2*n + 12 = v*n for n.
4
Let q(l) = -l + 6. Let o(f) = -f**3 + 7*f**2 + 8*f + 3. Let g be o(8). Let t be q(g). Suppose 3*y + 3*v - 12 = 9, 4*v = 4*y - 4. Solve 0 = -y*x + 3*x - t for x.
-3
Suppose -4*p = 10 + 2. Suppose -7*o = -3*o + 176. Let h be o/(-12) + p/(-9). Solve 0*z - h = -z for z.
4
Let a(s) = s**3 + 3*s**2 - s. Let h be a(-3). Suppose j - b = 6, -2*b - h*b = j + 24. Solve -j = -z + 1 for z.
2
Let y be (-110)/12 + 7/42. Let j be (9/(-12))/(y/24). Suppose -5*g + 38 = 5*m - 112, -2*g - 102 = -4*m. Solve 5*b + j = m for b.
5
Let o = -4 - -6. Let h = 4 - o. Solve -3*q = h*q + 15 for q.
-3
Let z be 4 + 156/(-42) + (-38)/(-14). Solve -25 = -2*l - z*l for l.
5
Let t(l) be the third derivative of -l**6/120 + l**5/10 - l**4/6 - 5*l**3/6 + l**2. Let v be 0 - 4/2 - -7. Let m be t(v). Solve -6 = 3*a - m for a.
-2
Let f be (-28)/(-2)*(-3)/(-6). Solve 8 = -f*y + 3*y for y.
-2
Let h be (36/(-63))/((-1)/14). Let x be 153/36 + (-2)/h. Solve -4*j + x = 12 for j.
-2
Suppose 0 = -3*i - 2*o + 12, 5*i - 2*o - 33 = -o. Let u = -4 - -7. Suppose u*f - 6 = i. Solve -f + 5 = -d for d.
-1
Let r = -15 - -18. Suppose 2*g = -7 + 21. Suppose -g = -p + r. Solve a = 3*a + p for a.
-5
Suppose 5*w - 2*w - 9 = 0. Let v(f) = 2*f - 9. Let z be v(6). Suppose 0 = 4*i - z*i - 9. Solve w*c - 3 = i for c.
4
Suppose -5*f = -f - 8. Let o be 1/4 + 209/76. Suppose o*k = 3*p, k = 2*k + f*p - 15. Solve -3*j + 2 = -k*j for j.
-1
Let c be 2*1/3*6. Suppose 0*t = -t + 3, -4*k - c*t = -56. Solve k + 4 = 3*z for z.
5
Suppose -20 = 4*x - 9*x. Solve x*r + 19 + 1 = 0 for r.
-5
Let q be 1*(2 - 3)*0. Solve 3*d + 2*d - 10 = q for d.
2
Let m be 3/4*(-6 - -34). Suppose -8*s + m = -s. Solve -u - 2 = -s for u.
1
Let b(a) = -a**2 - 7*a - 7. Let j be b(-5). Solve -3*f + j = 15 for f.
-4
Let j be 2/(-6) - (-20)/(-12). Let u be 0 + (-1 - (1 + j)). Suppose u*m + 3*m = 12. Solve 6*z - m = 2*z for z.
1
Let g be (-1 - (1 - 1))/((-1)/9). Solve -5*n + g = -6 for n.
3
Suppose -12 = 5*j - 17. Let t be 9*(j - 4/12). Solve -5*p = -9 - t for p.
3
Let v be (-4 - 0)*(11/(-4) + 2). Solve v*g - 1 - 2 = 0 for g.
1
Let q be (12 + -16)*(-10)/8. Let f be 3/(3/2) - 0. Suppose -5*i + f*t = -i - 22, 3*i - q*t - 27 = 0. Solve -i*y = -11 - 5 for y.
4
Let f = 15 + -8. Suppose 20 = -2*s + f*s. Solve 3*z - 3 = s*z for z.
-3
Let r(m) = -m + 9. Let l(i) = -3*i + 1. Let d be l(-1). Let h be r(d). Suppose -5*j + 30 = h*b - 0*b, -4*j + 12 = b. Solve 10 - b = -2*t for t.
-3
Let l = 8 - 6. Let j(q) = 0 - 4*q - 2*q**2 - 3 + 3*q**2. Let z be j(6). Solve -z = l*p + p for p.
-3
Let f be (-5)/((-1)/2*2). Suppose 3*u - 15 = 4*q - 0*q, -5*q = -4*u + 20. Suppose 14 = u*c - 1. Solve 0 = -f*w + c - 13 for w.
-2
Let p be (-4)/(-5)*(-80)/(-32). Solve v + p = -2 for v.
-4
Let p(z) = -z**3 - z**2 + z + 8. Let b be p(0). Let t = -4 + b. Solve -t = -2*f + 4*f for f.
-2
Suppose -y - 107 = -3*b, -3*y - 29 = -b - y. Solve -12 + b = 5*x for x.
5
Suppose -1 = 2*g - 3*y, -g + 1 = y - 6. Solve -14 + 6 = g*q for q.
-2
Suppose -4*g + 3*y = 7, -3*g = -