+ y*r = -b for r.
5
Let t(u) = u - 3. Let f be t(7). Solve -f*v = -v - 12 for v.
4
Let a(i) = -i**3 + 3*i**2 - 3*i + 3. Suppose -3*b = b - 2*f - 8, 2*f = 5*b - 10. Let x be a(b). Let n = 18 - 13. Solve x + 4 = n*k for k.
1
Suppose 0 = 3*h + 3*x - 0*x - 6, -5*h + 20 = -5*x. Solve h*m = -0 - 3 for m.
-1
Let o(v) = v + 3. Let s be o(5). Let j = 11 - s. Solve -4*q - j = -11 for q.
2
Suppose j = 1, 2*j = 5*l + 6*j - 24. Solve -l*o + 15 = -5 for o.
5
Let w be 7 - (0 - (0 - 1)). Let o = -3 + w. Solve o*n = -2 - 1 for n.
-1
Suppose -4*s + 5 = -3*s. Solve -s*u = -25 + 5 for u.
4
Suppose 5*y - v = 15, -y - v = 2*y - 1. Suppose -2*w = 4*u - 18, 2*u - 23 = -3*u - y*w. Solve -3*t = u - 20 for t.
5
Suppose k + 3 = -3. Let f be -1*(0 + 2) - k. Suppose -b - v = -2*v - 6, f*v - 16 = 0. Solve 5 = -3*x - b for x.
-5
Suppose 9*n = 8*n. Solve n = c + 4 + 1 for c.
-5
Suppose 0 = -5*w - 0*w + 25. Let j = w - -1. Solve 10 = 4*h - j for h.
4
Let j(p) = p**2 - p - 3. Let y be j(4). Let w = -4 + y. Let b = 6 - w. Solve -2 - b = -3*o for o.
1
Let h(x) = 2*x + 14. Let t be h(-10). Let u be t/24 + (-1)/(-4). Solve u = o - 4*o + 6 for o.
2
Let z(d) = d**3 + 8*d**2 - d - 5. Let v be z(-8). Solve v*c - 1 + 7 = 0 for c.
-2
Suppose 2 = 4*u - 14. Let x = -5 - -6. Let i(g) = 5*g - 1. Let y be i(x). Solve 8 = u*k - y for k.
3
Suppose 0 = -2*l - l + 78. Let n = l + -21. Solve n*w = -5 + 20 for w.
3
Suppose c = 2*i + 4*c - 1, 0 = 5*i + 4*c - 6. Suppose 4 = -i*m + 3*m. Let z be (9/4)/((-1)/(-4)). Solve -z*k = -m*k for k.
0
Suppose 0 = o + 2*d + 2*d + 18, -5*d - 29 = -2*o. Solve -o*u = -u - 2 for u.
2
Let w = -41 - -45. Solve 0*u + w*u = -20 for u.
-5
Let f(m) be the second derivative of m**4/12 - 5*m**3/3 + 2*m**2 + 8*m. Let p be f(10). Solve -p*c = -c + 9 for c.
-3
Suppose -2*v + x - 33 = -6*v, -20 = -5*v + 3*x. Suppose 2*a + 1 = -v. Let w be a/(-6) + (-7)/(-3). Solve -4 + 19 = -w*f for f.
-5
Let f be (-3 + 2 - -5) + 0. Suppose -a = 6*r - r - 45, 80 = 3*a + f*r. Solve 0 = x + 4*x - a for x.
4
Let x(a) = -a**3 + 9*a**2 - 10*a + 2. Let u be x(7). Suppose 3*g = -2*g + u. Solve 3*r + g = -6 for r.
-4
Let d(r) = 4*r - 4. Let q be d(2). Solve -h + q = -1 for h.
5
Let y(m) = -2*m - 17. Let f be y(-12). Suppose 5*h + 8 = f*h. Solve -3*d - 10 + h = 0 for d.
-2
Let j = -1 + 0. Let k(h) = -1. Let v(z) = -z**2 - 5*z - 2. Let q(b) = j*v(b) + 6*k(b). Let a be q(-6). Solve -a*c - 3*c + 15 = 0 for c.
3
Suppose 0 = 2*d - 8, a - d = 3 - 4. Solve 2*s + 3 + a = 0 for s.
-3
Suppose 4*c = -3*o + 19 + 5, 5 = -o + 3*c. Suppose -4*b - 4*s - 3 = 5, 3*b = o*s - 6. Let i be (-1)/b*(8 - 0). Solve 2 = -2*y + i for y.
1
Let d(x) = 5*x**2 - 4*x + 3. Let w be d(2). Let v = w + -11. Solve 6 + 6 = v*n for n.
3
Let v = 0 + 0. Suppose 2*h - 38 = 4*f, 4*f + 0*f = h - 27. Let j = h - 7. Solve v*a + j*a = -8 for a.
-2
Let v be 4/14 - 99/(-21). Let w be -2*(-3)/(-6) + v. Let x be (-2)/8 - (-63)/12. Solve -3*y + x = -w*y for y.
-5
Let v(x) = x + 22. Let n be v(-17). Let q = 31 + -6. Let r = q - n. Solve 4*o + r = -o for o.
-4
Let d(m) = 6*m**2. Let h be d(-1). Suppose 4 = -5*n - h. Let f be (-5 + 3)/(n/4). Solve k = -k - f for k.
-2
Let y = -10 - -6. Let z be y/(-3)*(-27)/(-6). Suppose 5*a - 23 = -o, a + z = -4*o + 3. Solve -a*g + 6 - 1 = 0 for g.
1
Suppose -12 = n + 3*j, -8 = 2*n - 0*j + 2*j. Solve -3*r - 9 = -n*r for r.
-3
Let h = -5 + 10. Suppose -5*y = -4*x - 2 + 178, 5*y + x = -181. Let q = -25 - y. Solve h*n - 9 = q for n.
4
Let v(c) = 1 + c + c - 10 - 2. Let r be v(6). Solve 0 = 3*n + r - 4 for n.
1
Let y(a) = a**2 + 15*a - 15. Let u be y(-16). Let z be (1/(-1) + u)/1. Solve z = -7*d + 3*d for d.
0
Let n = -7 + 8. Let m = 1 - n. Solve m = -0*v + 5*v - 10 for v.
2
Let v(z) = z**3 + 3*z**2 - 2*z - 1. Let c be v(-3). Let t(a) = -a**2 + 20*a - 81. Let n be t(13). Solve -n = -c*j - 0*j for j.
2
Let j be (-174)/15 - 8/20. Let o = 17 + j. Solve -3*v - 1 - o = 0 for v.
-2
Let c = 1 + 1. Suppose -c*z - 5 + 16 = g, 0 = 4*g - 3*z - 11. Solve 10 + 10 = g*h for h.
4
Suppose -y = 2*y. Suppose 3*j - 2*s - 1 = -y*j, -3*s = -12. Solve j*u + 2 + 1 = 0 for u.
-1
Let x(p) = p**2 + 2*p. Let f be x(-2). Suppose -186 = -4*d - 5*s, -5*d + f*s = 4*s - 228. Suppose 5*c - d = c. Solve 3 = 2*b + c for b.
-4
Let i(k) = k - 19. Let n be i(16). Let r be n + 4/8*14. Solve r*z + 2 + 10 = 0 for z.
-3
Let l(y) = -y. Let p be l(-3). Suppose 2*f = -3*f + 80. Suppose 3*d - 6 + 3 = -3*t, 2*d = 4*t + 2. Solve f = p*x + d for x.
5
Suppose 5*b - 30 - 30 = 0. Solve 2*d = -d - b for d.
-4
Let f = 14 + -10. Solve -f*y = -8*y + 4 for y.
1
Suppose -u - 18 = -2. Let x be u/10*(-10)/4. Suppose -x*f + 0*r + 18 = 2*r, -5*f - 3*r = -25. Solve -3*p - 11 + f = 0 for p.
-3
Let u be (-4 - (-2 + -2))/1. Suppose 0*p = -t + 2*p + 9, u = -4*t - 5*p + 10. Solve -24 = -t*d - 4 for d.
4
Suppose 21 = -w + 4*v, -2*w + w = 2*v - 3. Let p(o) = -o**2 - 10*o - 5. Let q be p(w). Solve 2*k - 6*k - q = 0 for k.
-5
Let l(u) = -3 - u + 3*u - 3*u - 2. Let j be l(-9). Solve -5*g + j + 11 = 0 for g.
3
Let a = -47 + 47. Solve 2*r + a*r - 6 = 0 for r.
3
Let d = -41 + 45. Solve -4*f = -0*f - d for f.
1
Let q = -7 + 5. Let o be -2 + (-1 - (q - 23)). Let m be (3 + 1)/(-12) + 22/3. Solve 3*y - o = -m for y.
5
Let w(v) be the second derivative of -v**5/20 - 5*v**4/6 - 11*v**3/6 - 13*v**2/2 - v. Let u be w(-9). Solve -u = -2*j - 13 for j.
-4
Suppose 0*p - 6 = 2*p. Let m be (3/(-2))/(p/4). Solve 0 = 3*x - m*x for x.
0
Suppose -6*g + g + 3*k = -12, -g = 5*k - 8. Solve -g*a - 12 = a for a.
-3
Suppose 0 = 4*h - 4, -5*n = 5*h - h - 14. Solve -11 + 3 = n*t for t.
-4
Let a(n) = n**2 - 2*n - 2. Let s be a(4). Suppose s*p - 20 = 2*p. Solve 0 = -p*x + 12 - 2 for x.
2
Let f = 16 - 9. Suppose 5 + 4 = 3*p. Suppose a = 2*a - p. Solve -2*l - a = -f for l.
2
Suppose x + 4*n = -2, -2*x = -2*n + 5*n - 1. Solve 0 = 3*z - z + x for z.
-1
Let u(g) = 9 + 2*g + g**2 - 4 + 3*g - 1. Let x be u(-5). Let p = 4 - -3. Solve -x*m = 1 + p for m.
-2
Suppose 5*l - d = 29, -2*l + 5*d - 4*d = -14. Let u = l + -4. Solve 0 = 4*y - 21 + u for y.
5
Let w be 2/(-4)*0/(-11). Solve -5 = t - w*t for t.
-5
Let d = 12 + -8. Suppose 3*v - d = -3*r + r, -3 = -4*v - 5*r. Solve -v*g = -g + 1 for g.
-1
Let f be ((-4)/(-5))/1*10. Let p = f - 4. Solve i = p*i - 9 for i.
3
Suppose 9 = -3*z - 15. Let u(v) = -4*v + 1. Let x be u(2). Let m = x - z. Solve 0*w - w = -m for w.
1
Let b(i) = 3*i - 21. Let g be b(8). Solve k = g*k for k.
0
Let g(f) = f**2 - 3. Let b be g(0). Let n(k) = -k**3 - 3*k**2 + 3. Let i be n(b). Let h be (-45)/12*(-8)/i. Solve -6*o = -o - h for o.
2
Suppose 2*n + 1 - 5 = 0. Solve n*w = 6*w for w.
0
Let f(g) = -g. Let s be f(0). Solve s = 4*r - r + 3 for r.
-1
Suppose -2*y + 4*y = -4, -5*p + 3*y + 36 = 0. Solve -2*t = -5*t + p for t.
2
Let u be 11 - (2 + 1 - 0). Let p(d) = d + 3. Let c be p(u). Solve 3*i + 2 = c for i.
3
Suppose 4*u - 2*u = -2*c, 5*c = u + 12. Suppose -8 = -c*l - 2*l. Suppose z = l*y - 1, 3*y - 4*z = 2*y - 17. Solve -y*w = -w + 6 for w.
-3
Suppose 0 = -4*o + o + 21. Solve -o = 3*f - 1 for f.
-2
Suppose -16 = -5*t - 3*w, 3 = 2*t - 3*w + 5. Suppose t*z = -z + 30. Solve c + c = -z for c.
-5
Let s(n) = n**2 + 2*n + 2. Let f be s(-2). Let k be 24/(-4)*(f + -1). Let j be (-9)/k - 1/2. Solve j - 5 = g for g.
-4
Suppose 2*m + 3*l - 8 = 0, m + 0 = -3*l + 4. Solve k + 10 = -m*k for k.
-2
Let s(w) = w**2 - 4*w - 8. Let h be s(6). Solve o - 9 = h*o for o.
-3
Let x(v) = -v - 5. Let s be x(-10). Suppose -s*z + 8 = 2*w - 12, 5*w = -z + 27. Suppose z*m + 0*m = 0. Solve m = -2*g - 3*g + 5 for g.
1
Let b(n) = -n + 9. Let q be b(7). Solve -5*c = -q*c + 3 for c.
-1
Suppose -t - 21 = -3*y - 5, -3*t = -5*y + 24. Let g be 0 + 1 - (34 + -3). Let o = g + 45. Solve -3*m + o = -y*m for m.
-5
Suppose 3*u + 2 = -4*n, 1 - 4 = -n + u. Solve -n = -f + 3 for f.
4
Suppose -5*u - 1 = 9. Let f = 4 - u. Let o be (12/(-3) - -4)/3. Solve f = -2*z - o for z.
-3
Let f be (-2)/(-4) - (-6)/4. Suppose -f*x - 1 + 9 = 0. Solve o - x = 3*o for o.
-2
Suppose 2*c = 7*c. Solve 16 = 4*s - c*s for s.
4
Let p(t) = -t**3 - 6*t**2 - 7*t - 7. Let k be p(-5). Suppose 0 = -2*s - 6 - 2, 0 = 4*l - 2*s - 16. Let r = 12 + -7. Solve -k + r = -l*c for c.
-1
Suppose 5*i = -2*r + 5 + 25, -5*r + 24 = 4*i. Let o be (-6)/(-33) - i/33. Solve -5*a = -10 - o for a.
2
Let q = -4 + 4. Sup