21 = -4*g - p for g.
4
Suppose c + 17 = -0*v + v, 70 = 5*v - 2*c. Solve 8*u - 12*u - v = 0 for u.
-3
Suppose -4*d + 4 = -d + 5*x, 15 = 4*d - 3*x. Suppose d = -2*z + 3*z. Suppose -15 - z = -3*k. Solve -2*w = -k*w - 12 for w.
-3
Suppose 0 = 3*f - 5*u + 1, -u = 1 - 3. Solve -f*m + 0*m = 12 for m.
-4
Suppose 0 = 5*u + 3*w + 2*w + 20, 2*u - 3*w - 12 = 0. Solve -d + 1 = -u*d for d.
1
Let b = -62 - -68. Solve -b = -2*u - u for u.
2
Let g be (12/15)/((-4)/(-10)). Suppose 6*d - 2*d = -g*n, -3*d + 5*n = 0. Solve -x + 0*x = d for x.
0
Suppose -z + 8 = 3*z. Solve 20 = -6*j + z*j for j.
-5
Let i = 0 + 2. Solve 11 = i*v + 1 for v.
5
Suppose -f - 3 = -2*r, 0*f = 3*r - 3*f. Let n = -2 + r. Solve 2*m - n = -9 for m.
-4
Let l(q) = -q**3 - 4*q**2 + 6*q + 3. Let b be l(-5). Let x = -3 + 4. Let t be b*((-3 - x) + 3). Solve -u = t*u for u.
0
Suppose -3*k + 14 = -3*b - 1, -5*b + 4*k = 20. Solve b = -v - 1 for v.
-1
Let h be 0 + 3 - 0 - 3. Let f = 1 + h. Let a be (2/(-5))/((-2)/10). Solve a = -m - f for m.
-3
Let y be 1*(-4 + 0 + 8). Let k be 2 - (0 + -2 + 2). Suppose 4*h - 4*w - 32 = 0, -k*h + w = -12 - 0. Solve 0 - h = y*m for m.
-1
Let u be 3/9 + (-20)/(-3). Suppose 4*w - j - 12 = 0, -j - 6 = -w - 0*j. Let h = w - -1. Solve -u = 5*k + h for k.
-2
Let f = 9 + -6. Let k(b) = b**2 - 3*b + 2. Let t be k(5). Solve f*i + i = t for i.
3
Suppose -94*t = -98*t + 24. Solve 3*n = n + t for n.
3
Suppose -3*j - 12 = -k, -4*k - 4 = 3*j - 22. Let w = 6 - 2. Solve -w*c + c - k = 0 for c.
-2
Let v be -1*(-2 - 3/3). Suppose 2*b - 3*h = 7 + 11, v*b + 4*h = -7. Suppose -w + 16 = b*w. Solve -5 = o + w*o for o.
-1
Let n be (3 + 9)*(-2)/(-6). Let w = n + -2. Let i be (6 - w) + 0 + -1. Solve 5*t + 6 = i*t for t.
-3
Let y be 4/(-3)*(-6)/4. Solve 0 = -y*s - 2*s for s.
0
Suppose 0 = -2*z + 3*z + 5. Let r be (z - 13)*(-1)/2. Solve -2*v + r = v for v.
3
Suppose 4*v - 6*v = -x - 13, 0 = 3*v - 2*x - 17. Suppose 9*w - 4*w - 25 = 0, c = 3*w - v. Suppose -4*b = -2*b + 4, y = 2*b + c. Solve 0 = y*z + 3*z + 25 for z.
-5
Let z be 7*6/(-63)*-3. Solve -25 = -3*v - z*v for v.
5
Let j(z) = -z**2 + 9*z + 7. Let v be j(8). Let a be (1 + 2*-1)*v. Let s be (-2)/(a/9 + 1). Solve s*g - 20 = -2*g for g.
4
Let q(s) = 4*s - 4. Let j be q(3). Suppose 5*a - 10 = 5*c, -2*a + 2*c + 16 = 3*a. Let w(v) = 2*v**2 - 5*v - 4. Let p be w(4). Solve -j = a*h + p for h.
-4
Let k(l) = -3*l**2 + 11*l - 2. Let p be k(3). Solve -p*r + 2*r = 0 for r.
0
Suppose 2*r = 2*z + 10 + 18, -2*z - r - 31 = 0. Let c = 18 + z. Solve 0 = -3*x - c - 6 for x.
-3
Let r(u) = u**2 + 4*u - 3. Let h be r(1). Solve h*q - 1 = 3 for q.
2
Let o be 171/33 - 6/33. Let l be 6 + 1 + 2/2. Solve o*a = 3*a - l for a.
-4
Let a(b) = -b**2 + b. Suppose -q - 5 + 3 = 0. Let m(s) = s**3 + 3*s**2 - 2*s. Let r(x) = q*a(x) - m(x). Let l be r(-2). Solve l - 1 = u for u.
3
Suppose 16 - 24 = -2*t. Solve a + 3*a + t = 0 for a.
-1
Suppose 7 = -l - 3*c, -5*c - 5 = 5*l - 0*c. Let w be ((-8)/(-10))/((-6)/(-15)). Solve w = l*f - 6 for f.
4
Let z(j) = -j**3 + 3*j**2 + 2*j - 1. Suppose 0 = 5*o - 5 - 10. Let a be z(o). Solve -4*l - 1 = -a for l.
1
Let m = -13 - -18. Suppose -m*f + 29 = -11. Solve -2*r = -0*r + f for r.
-4
Let r be (4/10 - 0)*10. Suppose 22 = 5*n + 4*o, 0 = -5*n + r*o + 1 - 3. Suppose 5*w = -2*q - 0*w - 20, 0 = 5*q - n*w - 8. Solve 0 = -p - q + 4 for p.
4
Suppose 0*k + 4 = k. Suppose k*h = 5 + 3. Solve h*o = o for o.
0
Suppose 2*s + 0*s = 2*v - 6, s - 17 = -3*v. Solve 1 = s*a - 3 for a.
2
Suppose 2*s - 2*b - 7 = -1, -3*b = -2*s + 7. Solve 0 = s*d - 14 + 4 for d.
5
Let o = 33 - 46. Let u = o + 21. Solve -3*y + 5*y = u for y.
4
Let o be 0 + 3 - (3 + -2). Suppose 0 = -o*u + 5*k, -5*u + 4*k = k. Solve -m = -u*m for m.
0
Let f be 0*3*(-2)/6. Solve a - 2 + 4 = f for a.
-2
Suppose 3*t + 24 = -3*s, -2 = -2*s + s + 4*t. Let d be (-15)/s*-1*-2. Solve -d*i = 3 + 7 for i.
-2
Let c be (6/10 + -1)*-5. Let k be -1 + 5/(10/6). Suppose 2*s = -k*s. Solve c*d + 0*d = s for d.
0
Suppose f - 11 = 4*h - 3, 4 = 5*f - 2*h. Solve f = 2*u + 4 for u.
-2
Let n(t) = 6*t - 39. Let o be n(7). Solve -o*h - 7 - 8 = 0 for h.
-5
Let i be 4*((-9)/3 + 7). Solve -5*q = -1 + i for q.
-3
Let z = 94 - 88. Solve w = -w + z for w.
3
Let k(w) = w**2 + 10*w - 1. Let y be k(-8). Let r be 51/y + 10/2. Solve -4 = -m + r*m for m.
-4
Suppose -z - 2*z = -9. Suppose -2*g + 13 = -5*n - 40, -z*n - g = 34. Let l = n - -15. Solve -4*t + 16 + l = 0 for t.
5
Let t be (-38)/38 - ((0 - 1) + -12). Solve 0 = 4*b - 0 - t for b.
3
Let z(m) = -m**2 - 8*m + 53. Let w be z(-11). Solve 6*a + w = 2*a for a.
-5
Suppose -21 = -4*z + 3*n, -n - 5 = -3*z + 12. Solve z*d - d = -25 for d.
-5
Suppose -x + 7 + 7 = 0. Let m = 17 + x. Let f be 4/(-6) + (-20)/(-3). Solve 5*v - m = -f for v.
5
Suppose m + 7 = -3*k, 69 = -2*m - k + 6*k. Let o = m - -26. Solve -2*y + y + o = 0 for y.
4
Let o be 2 - (0 + 0 - -3). Let m be o + (-2 - -4) + 0. Suppose q - 5 = -m. Solve q*f - 2*f = -6 for f.
-3
Let g(r) = 2*r + 2. Let l be g(5). Let v = l - 6. Solve 5*h = 2*h - v for h.
-2
Suppose 3*j = -3 - 12, -11 = -2*v + j. Suppose 2*m - 10 = -v*m. Solve p = -m - 1 for p.
-3
Let p be (-2)/11 + -2 + (-57)/(-11). Solve 5*s = 23 - p for s.
4
Let k(a) = 4*a**2 - 2*a - 1. Let c be -2 - 2/(-5 - -3). Let g be k(c). Solve -g*f + 21 = 6 for f.
3
Let b = 3 + -3. Solve 3*u = -b - 6 for u.
-2
Let u(p) = -p**3 + p**2 - p + 4. Let i be u(0). Suppose -i*s = -3*t - 2*t - 10, 0 = 5*t - 2*s. Suppose 3*b = t*b + 5. Solve 5*r + 0 + b = 0 for r.
-1
Suppose -6*r = -8*r + 8. Suppose -p - 2*p - 3*m + 72 = 0, -3*p + 4*m = -72. Suppose 0*o - p = -5*k - o, -4*k + o + 21 = 0. Solve 0 = -j + k*j - r for j.
1
Suppose -5*z + z = 0. Solve z*n = 5*n for n.
0
Suppose -3 + 25 = 11*j. Solve w - j = -w for w.
1
Let q(p) = p**2 + p + 3. Let o be q(0). Solve o*d + 12 = 7*d for d.
3
Suppose k + k = 8. Solve 2*n = 3*n - k for n.
4
Let n(k) be the second derivative of 4*k**3/3 + k**2/2 - 2*k. Let j(f) = 3*f. Let t(a) = 11*j(a) - 4*n(a). Let c be t(6). Solve -i + c = 4 for i.
-2
Let r be (8 + 0)/((-6)/(-3)). Suppose -a = -r*m - 3*a + 30, a - 30 = -5*m. Solve -6 = -m*l + 2*l for l.
2
Let l be 3 - -1 - (1 + -2). Suppose 0*g = -l*g. Let q(n) = -n**3 + 3*n**2 + 4*n - 6. Let x be q(3). Solve g = -x*k + k - 15 for k.
-3
Let z(f) = 3*f - 4. Let o be z(4). Let w be (2 - (-1)/1) + 1. Suppose -w*p + 4 = -3*p. Solve p*t + 20 = o*t for t.
5
Let c(v) = -3*v - 13. Let q be c(-9). Let n be (q/7)/(2/8). Solve 5*w = n + 7 for w.
3
Let d(w) = 30*w. Let l be d(1). Suppose -x + 6*x = l. Let c be (-3*3)/3 + 17. Solve x + c = -4*p for p.
-5
Let d(l) = l**3 + 7*l**2 + 7*l + 9. Let t be d(-6). Let y(k) = k + 4. Let b be y(-3). Suppose -q = -8 + b. Solve q*a = 6*a - t for a.
-3
Suppose o - 5*o + 16 = 0. Suppose 5*w = -3*i + 45, 0 = -o*w - 4*i + 11 + 17. Let u = w - 9. Solve 1 = h - u for h.
4
Let d(r) = r**2 + 2*r - 3. Let y be d(-3). Let x(p) = -4*p - 3. Let z be x(-3). Let b = -5 + z. Solve b*v - 7 - 13 = y for v.
5
Let y = -9 - -11. Suppose 0 = -2*b + 5*f + 20, y*f = 5*b - 8 - 0. Solve b = -0*d - 2*d - 6 for d.
-3
Suppose 2*a - 2 = -20. Let i(u) = -u**3 - 10*u**2 - 9*u + 2. Let s be i(a). Solve -2*b = -s - 2 for b.
2
Suppose 0*b + 4*n = 5*b - 65, -n + 39 = 2*b. Let c = b + -11. Suppose 2*w - c = -w. Solve -7*d = -w*d - 5 for d.
1
Let l(d) = d**2 - d + 1. Let f = -7 + 1. Let u be (f/(-9)*3)/1. Let w be l(u). Solve -w*n = n for n.
0
Let k(m) = m**3 + 10*m**2 - 11*m + 3. Let a be k(-11). Suppose -41 = -2*h + d - a, 0 = 2*d - 4. Solve -u = 4*u + h for u.
-4
Let o(t) be the first derivative of -3*t**2/2 - 11*t + 5. Let f be o(-5). Solve -2*a = -f*a for a.
0
Let n be (-1)/(-3)*(7 + 3 - 1). Solve -4 = n*y + 5 for y.
-3
Suppose 0 = 4*r, 4*r - 15 = -4*f + 13. Solve i + f = 3 for i.
-4
Suppose 0 = -4*q + 2*q. Solve q*g + 3 = g for g.
3
Suppose 6 + 4 = 2*t. Suppose -3 = t*f - 18. Suppose n - f*n = -14. Solve 4*b = -n + 23 for b.
4
Let d(w) = -w - 8. Let a be d(-10). Let z be (8 + 0)/a + -1. Suppose 5*c + 0*c = 0. Solve c = -z*v - 0*v - 15 for v.
-5
Let i be 287/42 + (-1)/(-6). Solve -3 - i = -5*m for m.
2
Let x(u) be the first derivative of -u**4 + u - 6. Let o be x(-1). Solve -4 = o*r + 6 for r.
-2
Let i(z) = z**2 - 4*z - 1. Let a be i(5). Solve 12 - a = 2*l for l.
4
Suppose -5*n = -4*n + 4*j + 10, 3*n - 3*j - 15 = 0. Solve -y + n = -1