= -r*f for f.
-1
Let h(s) = -s**2 + 10*s + 9 + 11 - 6. Let l be h(11). Solve -2*p + l*p = 2 for p.
2
Let n be 4/(-2) - 6/(-3). Solve n*u = -u - 2 for u.
-2
Let r = -5 + 8. Solve -s = r - 1 for s.
-2
Let n(y) = y - 11. Let i(w) = -w + 11. Let g(b) = 4*i(b) + 3*n(b). Let x(r) = 8*r**2 - r + 1. Let j be x(1). Let z be g(j). Solve -2*m + z = -m for m.
3
Suppose -7*b + 22*b = 60. Solve -6*k - 8 = -b*k for k.
-4
Suppose -3*l - l = -20. Solve -10 = l*u - 30 for u.
4
Suppose 0 = p - 3*p - 8. Let d = p + 3. Let n be (-9)/3*(d + -1). Solve 3*s + 18 - n = 0 for s.
-4
Suppose 21 = 14*f - 35. Solve -3*j + f = -2*j for j.
4
Let m(g) = g**2 - 7*g - 12. Let b be m(9). Solve -5 + b = j for j.
1
Suppose 2*v + 3*o + 8 = 3, 3*v - 4*o + 33 = 0. Suppose 5*p = -25, 0*d - 3*d + 3*p + 54 = 0. Let c = v + d. Solve k - 25 = c*k for k.
-5
Let q(b) = 3*b + 38. Let m be q(-11). Suppose 4*y - 4*i = 16, 3*i = -3 - 0. Suppose -3*f + 2*f = 0, 5*f = 4*x - 8. Solve -y*l + m*l = x for l.
1
Let q be (2/(-6))/(-1 - (-44)/48). Solve 0 = -f + 6 - q for f.
2
Let u be (-36)/(-15) + 2/(-5). Solve 2 = u*m - 3*m for m.
-2
Let a be (4/(-5))/(2/(-5)). Suppose a*w - 12 = -2*w. Solve y + w*y = 8 for y.
2
Suppose 3*s + 40 = 7*s. Suppose -2*q = d + 1, q - 5*d - 9 - 18 = 0. Suppose 3*k = q*u + s, 3*u + 4 = 4*k - 5*k. Solve 0 = k*i - 0 - 4 for i.
2
Let i(q) = -q**2 - 4*q + 1. Let u(c) = 2*c**2 + 9*c - 2. Let r(j) = -9*i(j) - 4*u(j). Let d be r(1). Solve -3 = -3*m - d for m.
1
Let k be 5/2*96/60. Solve 0 = -k*j + 2*j for j.
0
Let v be (2/(-4))/((-4)/32). Suppose 2 - v = a. Let h = a - -2. Solve h*f - 12 = -4*f for f.
3
Let i = 11 + -11. Suppose 4*d + 4*u - u = 0, i = u. Solve d - 4 = -2*a for a.
2
Suppose 12 = 3*l - 6. Suppose 0 = 2*p - 35 - 15. Suppose -4*x + 9*x - p = 0. Solve -l*t + x = -t for t.
1
Let u be (-6)/(-42) - (-1)/(-7). Solve s - 3*s + 8 = u for s.
4
Let t be 9/(-6) + 26/4. Suppose -t*f + 2*h = -6, 2*h = 2*f + 3*h + 3. Suppose f = l - 2*l. Solve l = -2*u - 0*u + 8 for u.
4
Suppose -2*z + 9 = -3*x + 54, 0 = x - 3*z - 15. Solve 0 = -t - 2*t + x for t.
5
Suppose -5*q + 3 + 22 = 0. Suppose 4*i + g - 12 = -g, -3*i - 2 = -4*g. Solve -i*b + 5 = -q for b.
5
Let p be (-4 + -1)/(3/(-6)). Suppose 0 = 3*h + 5 - 20. Solve 35 - p = -h*u for u.
-5
Let d = 5 - 7. Let y = 7 + d. Suppose -4*n - 14 = 2*x, y*n - 1 = -2*x - 19. Solve -2*b = 1 + x for b.
-1
Let g = 26 + -23. Solve -2*q + g = -5*q for q.
-1
Suppose 5*l - 15 = -0*l. Let i be ((-2)/(-6))/(2/18). Solve -i = l*m + 9 for m.
-4
Let h(t) = -t + 14. Let m be h(12). Solve 0 = m*y - 6*y + 20 for y.
5
Let c = -5 - -1. Let s = 8 + c. Suppose -s*l + 2*a = -70, 3*l + 4*a - 80 = -0*l. Solve 0 = -3*n - 2*n - l for n.
-4
Let k be 2/(-5)*(-10)/(-2). Let z be k*(-1 - 3/2). Solve w - z = -2 for w.
3
Let a(v) = 3*v + 10 - 31 + 9. Let i be a(5). Solve 5*t - i*t + 8 = 0 for t.
-4
Let a = 119 + -117. Solve p = -a*p for p.
0
Let j = 26 + -20. Solve o = j*o for o.
0
Suppose -4*y = -p, 2*p = -0*y - 2*y. Suppose 2*s + 3*s - 4*w - 32 = p, -w + 26 = 3*s. Solve 4 = -4*b + s for b.
1
Suppose -s = 4*h - 34, 2*s - 23 = 2*h - 5*h. Solve 2*l + h = 1 for l.
-4
Let a(i) = -i**3 + 7*i**2 - 7*i + 7. Let d be a(6). Solve 0 = -2*g + d - 5 for g.
-2
Let v be 2/(-4) - (-4)/8. Suppose v = t + 3 - 5. Solve -3*r - t*r = 0 for r.
0
Suppose p - 5*q - 17 = 0, -q + 6 = -3*q. Let v(b) = -b**2 + 4*b - 1. Let c be v(p). Suppose c*g - 30 = -3. Solve y + 2*y = -g for y.
-3
Let x = 8 - 18. Let a be ((-12)/10)/(3/x). Solve 3 = a*l - 1 for l.
1
Suppose 0 = 6*w - 7*w. Solve -6*k + 3*k = w for k.
0
Let b = 13 + -12. Solve b = -j + 4 for j.
3
Let o(n) = -6*n + 10. Let a(l) = -2*l + 3. Let g(t) = 20*a(t) - 6*o(t). Let d be g(-1). Suppose -4*c = 5*u - 25, -c + 1 = d*u - 19. Solve c = 2*q - 2 - 0 for q.
1
Let h be (34/10 + -3)*5. Solve -15 = h*z + 3*z for z.
-3
Let x(s) = s**3 - 4*s. Let h be x(2). Solve -2*q - 2 + 0 = h for q.
-1
Let r(l) be the first derivative of 2*l**3/3 + 2*l**2 - 1. Let j be r(-3). Suppose -5*n + 21 = -v, -2*v = -5*n - j*v + 16. Solve -n*u - 4 = -2*u for u.
-2
Let o = -11 + 11. Let g = 4 - o. Solve 20 = -g*w + 4 for w.
-4
Let j = -547 + 389. Let o = -80 - j. Let x = -47 + o. Solve x = 5*f + 11 for f.
4
Let z be 40/16*54/15. Solve 5*g = 8*g - z for g.
3
Let p(w) be the first derivative of -1 + 13*w - 1/2*w**2. Let c be p(9). Solve -2*l - c - 2 = 0 for l.
-3
Let d(t) = 2*t**3 + 4*t**2 - 5*t + 1. Let u be d(1). Solve 0 = -2*g + 4 - u for g.
1
Let o(n) = -n**2 + 11*n - 4. Let q be o(8). Solve 0 = -5*v - 0*v - q for v.
-4
Let o(s) = -2*s - 7. Let p be o(-6). Let l(f) = -f**2 + 4*f + 6. Let x be l(p). Let r be (6/x)/((-3)/(-2)). Solve q - 5 = -r for q.
1
Let x = -7 - -22. Solve 5*t - x = 5 for t.
4
Suppose x = 2*s - 7*s - 2, -6 = -4*s + 3*x. Solve s = -d - 3*d - 16 for d.
-4
Let m(w) be the third derivative of w**5/60 + w**4/24 - 2*w**3/3 + 6*w**2. Let y be m(-3). Solve y*h + h = 6 for h.
2
Let o(f) be the first derivative of -f**4/4 + 7*f**3/3 - 7*f**2/2 + 8*f - 1. Let l be (5 + -14)/((-6)/4). Let u be o(l). Solve 3*q - 2*q + u = 0 for q.
-2
Let n be 3/(3/(-6) + 2). Solve 9 = q + n*q for q.
3
Let l be 3/(-2)*16/(-3). Suppose 14 = -2*x - 4*b, -b = -5*x + 4*x + l. Suppose d - 17 = -x*m - 0*m, 3*m - d - 7 = 0. Solve -3*o + m*o + 4 = 0 for o.
-4
Let c be (-1)/(-1 - (-12)/11). Let t = -6 - c. Let d be 0 + (2 - 18/(-3)). Solve t*b - d = b for b.
2
Let j(u) = -u - 1. Let f(n) = n**2 + 5*n - 2. Let l be f(-4). Let i be j(l). Solve -i = -2*v + 1 for v.
3
Suppose p = 3*p. Suppose 2*a - 6*a + 16 = p. Solve -3*w - w + a = 0 for w.
1
Let c be (-4)/(-14) + 178/14. Let d = -19 + 29. Let l = c - d. Solve 0 = -5*q + l*q for q.
0
Suppose -2*g = -g. Solve 0 = 2*c - g*c + 4 for c.
-2
Suppose 6*p + 36 = 10*p. Solve -v - 2*v = -p for v.
3
Suppose 0 = f + 2*v + 5, -26 = 4*f + 2*v + 3*v. Let a be 2 - 0/2 - f. Solve a + 14 = -5*b for b.
-5
Suppose s - 5 = 0, -2*m + 5*s = -0*m + 17. Solve 0*z = -m*z + 20 for z.
5
Suppose 2*x + 0*l - 6 = 3*l, -5*x + l + 2 = 0. Suppose -3*h + 0 + 9 = x. Let a = 0 + 0. Solve a*i - 3 = h*i for i.
-1
Let r(p) = -p**2 + 7*p - 5. Let g be r(6). Suppose g = u - 2. Solve 0 = 6*x - 3*x - u for x.
1
Let d(z) = -20*z**3 + z**2 + 2*z + 1. Let b be d(-1). Let g be (1 + -5)*b/(-16). Suppose -i = -g*i. Solve i + 3 = p for p.
3
Suppose 5*w + 3*m + 2 = 0, -2*w - 5*m - 7 = 9. Solve k = 1 - w for k.
-1
Suppose -5 = 5*f, -v - 2*f + 106 = -5*v. Let g be (-87)/v + (-4)/18. Solve -y + 1 = g for y.
-2
Let h = -4 + 3. Let v be 0 - 1 - (h + -3). Solve v = 3*t - 0 for t.
1
Let b(y) = -y**2 - 7*y + 3. Let d be b(-7). Suppose d*c = -z + 2*z + 1, 2 = 2*c. Solve 0*w - 6 = -z*w for w.
3
Suppose t = -6*g + 3*g + 6, g - t = 2. Solve 2*z - g = 4*z for z.
-1
Let n = 18 - 11. Let w be 1/2 - n/(-2). Solve w*v = 2*v for v.
0
Suppose i = -4, 8 = 3*a - a - 2*i. Solve 0 = -a*q + 2*q - 8 for q.
4
Let m(s) = -8*s. Let u be m(-1). Suppose 4*c + 5*a - u = 0, a = -2*c - 3*a + 4. Solve -2*t + c + 0 = 0 for t.
1
Let n(w) = w**3 + 2*w**2 - w - 2. Let z be n(-2). Suppose -12*r = -8*r - 16. Solve 3*m - r*m = z for m.
0
Let l(k) = 2*k**2 - 6*k - 3. Let v be l(3). Let z(j) = j**3 + j**2 - 8*j - 4. Let n be z(v). Solve n*x = -x + 3 for x.
1
Let b(d) = -d + 7. Let f be b(4). Let c be (2 - 1) + (-36)/(-12). Solve -f = c*j + 13 for j.
-4
Let h = 4 - 4. Suppose h*x = -3*x + 6. Solve -3 = -x*n - 1 for n.
1
Let p be (-4)/(-10) - (-6)/10. Let w be 3 + -2 + p/(-1). Solve -z + 0*z = w for z.
0
Let i be 1 + -1 + -1 + 3. Suppose -28 = -i*h + 4*h. Let c be 24/14 - 4/h. Solve c*k + 2*k + 12 = 0 for k.
-3
Suppose 4*z - z + 57 = -5*n, 5*z + 58 = 4*n. Let p = z + 14. Solve p = -f + 4*f + 9 for f.
-3
Let p be (-4)/(-5)*(-10)/(-4). Solve -l + p*l = 0 for l.
0
Let m = 5 + -3. Let j be 13/52 + 102/8. Suppose -3*w - j = 2, -3*x = -5*w - 34. Solve -m*p = -x*p - 5 for p.
-5
Let f = -14 + 11. Let b be f - (0 + -3) - 0. Solve 2*k - k - 2 = b for k.
2
Let x(k) = k**2 - 3*k - 7. Let t be x(5). Suppose -2*h = -3*l - 16, t*l - 4*l - 27 = -5*h. Let j = -2 - l. Solve j*b = -3*b for b.
0
Let t = 4 - -4. Let l(k) = -2*k**2 + 14*k + 11. Let h(g) = -g**2 + 7*g + 5. Let w(f) = -5*h(f) + 3*l(f). Let v be w(t). Solve -n = 2 - v for n.
-2
Let t(r) be the third derivative of r**5/15 - r**3/6 - 2*r**2. Let n be t(1). Solve 4*o - 1 = n for o.
1
Let m(w) = -w**2 - 8*w -