6*q + r for q.
-5
Suppose -4*j - j = 5. Let r = 0 - j. Solve -c - 2 = r for c.
-3
Let c be 4/(-10)*(-5)/1. Suppose -6*h = -c*h. Let d = 1 + h. Solve 2*k + d + 1 = 0 for k.
-1
Let g be (4/8)/((-2)/(-12)). Solve 0 = -2*f + g - 1 for f.
1
Suppose 0 = 2*r + l + 3*l + 6, 0 = -4*r + 3*l + 10. Let x(o) = -19 + o**2 + 14 + 3*o + 3*o. Let q be x(-7). Solve q*h = -r + 11 for h.
5
Let b(l) = 2*l**2 + 7*l + 5. Let j be b(-4). Solve j = -2*a + 3 for a.
-3
Let r = 10 - 6. Suppose -3*z = -r*z. Solve -5*m = -z*m + 10 for m.
-2
Let x(s) be the third derivative of -s**5/40 - s**4/2 - s**3/6 - s**2. Let v(r) be the first derivative of x(r). Let n be v(-8). Solve 4*d + n = -8 for d.
-5
Let x(a) = a**2 + 2*a - 1. Let g be x(1). Suppose -4*s - 16 = 0, g*k = k - 4*s - 14. Suppose d + 0*d = u - k, 0 = -4*u - 2*d + 8. Solve -4 = -u*r + 2 for r.
3
Suppose 7*f = 4*f. Let o = 0 - f. Solve 0 = -5*j + 20 - o for j.
4
Suppose -25*l = -22*l. Solve 4*v + 4 - 16 = l for v.
3
Suppose -18 = 3*i - 24. Solve 3*l + i = l for l.
-1
Suppose -5 = 4*j - 0*m + 3*m, 0 = 5*j + 3*m + 10. Let z be (-1 - j) + -1 + -1. Solve -z*y + 3*y = -3 for y.
-3
Suppose 2*c + c - 3 = 0. Suppose c = 2*u - u. Solve -9 = 2*f - u for f.
-4
Suppose -9*p = -5*p. Solve 0 = -4*q - p*q + 12 for q.
3
Suppose -4*f - 25 = -5*f + 5*k, 2*f = -2*k + 2. Let u(o) = o**3 - 4*o**2 - 5*o + 4. Let c be u(f). Solve m = c - 3 for m.
1
Suppose 2*o + 44 = 4*r, 0*o = r + 2*o - 16. Suppose 22*p - 20 = 17*p. Let n be 61/p - (-9)/r. Solve 1 - n = 3*b for b.
-5
Suppose o + 4 = 9. Suppose -4*n - 29 = -3*r, 0*n = -n - o. Suppose r*z - 6 = c, c + 3*z + 8 = 26. Solve -x + c*x - 10 = 0 for x.
2
Let y = -26 + 28. Solve -5*k = -y*k - 15 for k.
5
Let o be 3 - ((0 - -2) + -1)*0. Solve -o*c - 20 = c for c.
-5
Let s be ((-132)/22)/(-1*3). Solve 7 = -s*a - 1 for a.
-4
Let c be (-2)/(-7) - (3 - 188/28). Solve 0*b + 4 = c*b for b.
1
Let t be 4/(2/(-15)*-5). Suppose 0 = -d + t - 3. Solve -d*y + 8 = -y for y.
4
Let y = -10 + 14. Suppose -l + 18 = -18. Suppose -4*z = -z - l. Solve 2*f + y = z for f.
4
Let h = -69 - -69. Solve h = 3*w - 4*w for w.
0
Let v(c) = -c - 2. Let f be v(-2). Suppose -3*l + 2*x + 6 = 0, -l - 4*x = -0*l - 2. Solve f*n = l*n for n.
0
Let u(p) = p**3 + 4*p**2 - 7*p - 7. Let t be u(-5). Suppose a + 2 = -4*d + 22, 2*a - t*d - 29 = 0. Solve -5*m + m - a = 0 for m.
-4
Let g(w) = -2*w - 18. Let r be g(-9). Solve r = -0*v - 2*v - 4 for v.
-2
Suppose -13 - 7 = -4*p. Suppose 3*v - i = -3, 0*i + 2*i - 6 = p*v. Solve 0*n - n = v for n.
0
Suppose 5*j - z + 2 = 0, 5*j + z + 3*z = 8. Solve 3*m + 9 = -j*m for m.
-3
Let t(n) = n**3 - 11*n**2 + 2. Let w be t(11). Solve -c + 9 = w*c for c.
3
Suppose 0*z = -4*y - z + 59, 2*y = 2*z + 32. Solve 5*c - y = -0 for c.
3
Let q be (-12)/(-4) + -2 - (-3 + -1). Solve -3 = q*i + 12 for i.
-3
Let t = -9 + 13. Suppose -t*u = -2 - 14. Let a = -34 - -57. Solve a = -u*b + 3 for b.
-5
Suppose -2*o = -h + 12 - 1, 2*h + 4*o = -10. Let z be (8/h)/((-2)/(-3)). Let k(q) = -q - 2. Let l be k(-3). Solve -l = z*b - 5 for b.
1
Let g(y) = -y**2 - y. Let l be g(-1). Suppose -f - f = l. Let k be 0 + f + 2 + -2. Solve k*n = -4*n + 16 for n.
4
Let n be (2 + 14/(-6))*-12. Solve -l + 0 = n for l.
-4
Suppose 14 = -0*m + 2*m. Let v(r) = r**2 + 6*r - 8. Let g be -10 + (2 - -2 - 2). Let y be v(g). Solve -3*j - y = -m*j for j.
2
Let h(c) = c**2 - 6*c + 1. Let u be h(3). Let t = u + 24. Solve -3*i = 4 - t for i.
4
Let r be 8/((-8)/3) + 2*4. Suppose 0 = -t + 5*t. Solve t = -0*m + m - r for m.
5
Let v(o) = o**2 + o - 4. Let n be v(-3). Suppose 3*z - 8 = -z. Solve -z*i - n = -3*i for i.
2
Let g = 19 + -19. Solve -m + 5*m + 20 = g for m.
-5
Let z be 15/6*(1 + 5). Let l = z - 10. Solve 0*q - l*q - 25 = 0 for q.
-5
Let a = 7 - 1. Let j = a + -2. Let g = 2 - -1. Solve g*d - 1 = j*d for d.
-1
Let a be (2 + 0 + -1)*3. Suppose -a*d + 3*n = -12, 0 = -n - 3. Let s be (-68)/(-6) + d/(-3). Solve -s = -3*h + 1 for h.
4
Suppose -4*u = -2*j + 8, -2*j - 4 + 32 = u. Solve j = -3*m - 3 for m.
-5
Let b = -34 + 34. Solve -1 + b = f for f.
-1
Suppose 0 = 2*y - 7*y + 30. Solve 0 = -2*w + y*w + 16 for w.
-4
Suppose -19*p + 180 = -4*p. Solve -3*c - c = p for c.
-3
Let j be 156/27 - 4/(-18). Let o be 0/(2*(-3)/j). Let g be o/((-2)/(-3)*-3). Solve 4*a + g*a = 0 for a.
0
Suppose -2*j + 12 = 2*j. Let f(c) = -c + 3. Let w be f(j). Solve -3*p = -w*p - 3 for p.
1
Let n(l) be the second derivative of l**4/4 + l**3/6 - l**2 - l. Let w be n(-2). Solve 5*z + w = z for z.
-2
Suppose -3*k = 5*x - 5, 0 = -4*k - x + 7 + 11. Suppose -5*y = -8*y + 6. Suppose -o + 6 = k*q - 3*o, -2*q + y*o = 0. Solve 3*a = q*a + 1 for a.
1
Let s(o) = o**2 - 4*o - 6. Let r be s(7). Suppose -8*k = -3*k - r. Solve k*f = -2*f - 20 for f.
-4
Let f(i) = i + 11. Let h be f(-8). Solve -4*s + h*s + 2 = 0 for s.
2
Let f be 4/14 + 54/7. Solve 3*n + f = n for n.
-4
Suppose w + 0 = -4. Let d = w + 9. Suppose -8*i - 14 = -t - 3*i, 4 = 2*t + 2*i. Solve t*j - d*j = 3 for j.
-3
Let n(w) = -w + 4. Suppose -h - h + 8 = 0. Let g be n(h). Solve -d + 3 + 1 = g for d.
4
Let s = -8 + 14. Let k be ((9 - -2)/1)/1. Suppose 0 = -4*t + a + k + 1, 0 = -2*t + 2*a + 12. Solve -s = 4*z + t for z.
-2
Let h(i) = -i**3 + 2*i**2 - i. Let z be h(1). Suppose 5*b - 37 = -z*x - 3*x, 0 = 5*b - 25. Solve x*s + 3 = -1 for s.
-1
Let b be 5 - (1 + 2 + -4). Let p = -3 + b. Suppose 0 = -0*g + 2*g. Solve 12 = p*y - g*y for y.
4
Let a(q) = -2*q - 1. Let t(g) = g**3 - 8*g**2 + 1. Let j be t(8). Let m = j - 2. Let z be a(m). Solve -3*o - z = -16 for o.
5
Suppose 5*q + 5 = 0, -6 = 3*a - 5*q - 14. Solve 2*t - 5 = -a for t.
2
Suppose 2*r - 4*s = -20, 5*r + 2 = -0*s - 2*s. Let l(u) = -u**3 - 3*u**2 - 2*u + 2. Let a be l(r). Solve -10 = a*o - 0*o for o.
-5
Suppose 6*w - 18 = -6. Suppose -w*k + k + 16 = 4*v, 5*k - v = -4. Solve k - 2 = z for z.
-2
Let d(i) = 2*i**2 + i. Let h = -3 + 4. Let z be d(h). Suppose 4 - 25 = -z*k. Solve 4*j + k + 13 = 0 for j.
-5
Suppose -2*f + 11 = 3*c, -c + 0 = 4*f - 7. Let h = 38 - 36. Solve h - 11 = c*z for z.
-3
Let p be 24/(-8)*(-5)/(-3). Let u(h) = 0*h + 0*h**2 - h**2 + 5 - 6*h. Let w be u(p). Solve -3*j = -j - w for j.
5
Let r(k) = -k + 9. Let g be r(6). Solve -g*w = -w + 10 for w.
-5
Let j be (-9 + 8)*1*-11. Let b = j + 3. Solve -4*w - b = 2 for w.
-4
Let r(y) = y**3 - 16*y**2 + 28*y + 5. Let k be r(14). Solve -k = -6*i + 5*i for i.
5
Suppose -z - 7 = -8. Let u be 0*(2 - z)*-1. Suppose u = 3*o - 9, x + o = -4*x + 3. Solve x = -0*a - a for a.
0
Suppose -2*t + t = -4. Suppose -3*g = -t - 8. Let y be 1/((-3)/18*-2). Solve y*w + 1 = g for w.
1
Let n = -5 - 1. Let j(a) = -a - 2. Let v be j(n). Solve 0*y + v = -2*y for y.
-2
Suppose 27*h - 22*h = 0. Solve 3*o = -h*o + 3 for o.
1
Let h = -25 + 49. Suppose 0 = 5*u + 5*g - 40, 0*u - 5*g = u - h. Solve 3 = -s + u for s.
1
Suppose 3*p = 3*c + c + 32, 3*p = -3*c - 3. Solve -16 = -p*a - 0 for a.
4
Let j(k) be the second derivative of -k + 0 + 1/6*k**3 + 1/2*k**2. Let y be j(-1). Solve 3 = -d - y for d.
-3
Suppose 7 - 22 = -5*f. Solve 0*q = -q + f for q.
3
Suppose 7*h = 4*h - 4*y + 14, -8 = -h - 3*y. Solve -4*w - 6 = -h*w for w.
-3
Let v(o) = 2*o**2 - 4 + o**3 + 4*o + o**2 - 3*o. Let t be v(-3). Let l(f) = f**3 + 7*f**2 - f - 7. Let b be l(t). Solve 2*p - 5*p + 6 = b for p.
2
Let f be 48/18*6/4. Solve 7*m - f*m = -6 for m.
-2
Suppose 2*v - 12 = -g, 5*g + 4*v = -3 + 33. Suppose -g*j = j. Suppose j = 5*r - 0*r - 15. Solve 2 = -r*s - 13 for s.
-5
Let k(j) = j**3 + 31*j**2 + 57*j - 27. Let h be k(-29). Suppose 6 = 3*p - p. Solve p*x - h = x for x.
1
Let v = -6 - -8. Let t be v*(-1 - (-15)/6). Solve -r = t*r + 12 for r.
-3
Let h be 11/3 - 2/(-6). Suppose -t - v + 3 = 0, -h*t + 2*t + 4*v = -12. Solve -j + 1 - t = 0 for j.
-3
Let a = -12 + 20. Suppose 6*u = u. Suppose -3*h + 2*h + 5 = u. Solve 12 = h*l - a for l.
4
Let b be 2/1 - 2*-3. Let p = b + -7. Solve 0 = -2*n - p + 11 for n.
5
Suppose 0 = -2*b - 2*w, 0*b - 4*b = -4*w - 16. Solve -2*u - 2 = b for u.
-2
Let z = -7 - -10. Let u be 0*(1 + z/(-6)). Solve u = -3*f + 6 + 3 for f.
3
Suppose 4*a = -0*w - 4*w - 4, a = -2*w - 1. Let p = 17 - 12. Solve w = p*o - 1 + 6 for o.
-1
Let q be ((-4)/(-10))/(1/10). Suppose 5*b + 5*x = -25, x + q = -4*b - 1. Solve b*k - 3*k = -12 for k.
4
Let n be (-2)/3 + (-148)/12. Let x = 19 + n. Let t = -4 + x