Solve a*c + 25 = -u*c for c.
-5
Suppose -3*n - 2*y + 1 = -7, -3*y - 7 = -5*n. Solve 3 = -3*b + n*b for b.
-3
Suppose 2*d + 3 = 5. Let c be 14/21*6/d. Suppose 5*p + 4*x - 32 = 0, -p + c*x - 2 - 6 = 0. Solve -h + 10 = p*h for h.
2
Suppose 0 = -4*q - q + 125. Let p = 31 - q. Solve m - p = -m for m.
3
Let f be 21/28 - (-10)/8. Solve -f*z + 0*z = 0 for z.
0
Let f(c) = -c - 24. Let s be f(-13). Let g = 13 + s. Solve -1 = -g*h + 1 for h.
1
Let g(f) = 2*f**3 + 1 + 2*f - 7 - 5*f**2 - 5*f - f**3. Let c be g(6). Solve p = -2*p - c for p.
-4
Suppose 0*x = 2*x - 6. Suppose -y - x = -7. Solve -y*s + 0 = 12 for s.
-3
Suppose 0 = 2*w, 4*w + 6 = 4*y - 10. Suppose j = -2, -2*n - 6 = -y*n - 2*j. Solve b - n + 0 = 0 for b.
5
Suppose 0 = -2*f + 8, 0*m + 5*m + 4*f = 1096. Let t be (1/(-2))/((-4)/m). Suppose 3 = -4*u + t. Solve -3*r - u = -0*r for r.
-2
Let z(x) = 5*x - 10. Suppose 49 = 5*r + 14. Let i be z(r). Suppose 3*t - i = -2*t. Solve -2*c - 1 = -t for c.
2
Suppose -3*x + 2 = -10. Suppose 0 = b - 0*b. Suppose 0 = -b*c - 5*c. Solve c = x*m - 9*m - 15 for m.
-3
Let i = 37 - 33. Solve -i*p = p for p.
0
Suppose 47*y = 43*y + 20. Solve 7 + 3 = -y*c for c.
-2
Let k(d) = -5*d**2 - 34*d - 14. Let o be k(-6). Solve 2 = -4*r + o for r.
2
Let n(j) = j + 15. Let o be n(-15). Solve -6 + o = -3*x for x.
2
Let t = 6 + 4. Suppose 0 = 3*c - 62 + 14. Suppose 0 = -f - 3*f + c. Solve m + f*m = -t for m.
-2
Let w(k) = 4*k - 4. Let t be w(5). Suppose 5*p + g + 0*g = 15, -3*p + t = 2*g. Solve -2*s + 4*s = p for s.
1
Let p be (-2)/(-4)*(-8)/(-2). Solve -2 + 6 = p*r for r.
2
Suppose -3*l + 28 = -17. Let h = 27 - l. Suppose -4*p - 12 = 0, 0 = 3*m - p - 0*p - 12. Solve m*s + h = 7*s for s.
3
Suppose 9 = 2*s - 15. Suppose -n - 2*z - 2*z + s = 0, -6 = -5*n - 2*z. Solve -4*t = -n*t + 4 for t.
-1
Let p(q) = -q**2 - 20*q. Let k be p(-20). Let t = -1 + 1. Solve t = -3*i - k*i for i.
0
Let d(n) = n**2 - 10*n + 2. Let g be d(10). Solve 0 = 6*a - g*a for a.
0
Suppose -2*r + 18 = 7*r. Solve -r*i + 2 = 10 for i.
-4
Let f = -4 - -8. Let n(x) = 2*x - f + 3 - x. Let q be n(1). Solve q*m = m + 5 for m.
-5
Suppose 5*h = 29 - 9. Suppose -h = -2*m + 4. Solve v - m = 3*v for v.
-2
Let z be (-2)/((2/(-2))/10). Suppose -4*n - a - 2*a = 0, 3*n + 3 = -3*a. Suppose 4*q - n*o - 25 = z, 0 = 5*q + 4*o - 33. Solve -3*f + 0*f = -q for f.
3
Let u be (-27)/3 - -2 - 0. Let q = 10 + u. Let o = 54 + -34. Solve -q*f = -7*f + o for f.
5
Suppose 55 = 2*u + 49. Solve 3*c - u - 3 = 0 for c.
2
Suppose j = -2*j. Suppose 3*n + j*n = 0. Suppose -w = -n*w. Solve w = -4*g - 2 + 14 for g.
3
Let m(c) = -7*c. Let b be m(-1). Suppose -3*n - 5 = -4*z, 2*n - b*n + 2*z + 15 = 0. Suppose 2*j - n = 3. Solve j*g - 3 = 1 for g.
1
Let o = 50 + -32. Suppose -3*u + 7 = -n + 1, 3*u + 3*n = o. Suppose 0*t - 5*t + 35 = 0. Solve -2*k + t + u = 0 for k.
5
Let z(n) = -2*n - 1. Let d be z(-2). Suppose 3*x = -d*q + 18, -2*x - 3*q = 3*x - 24. Suppose 4*v + 2*u = -0*u + 34, -x*u - 26 = -5*v. Solve h = v - 2 for h.
5
Let g be (2 - -1)/(6/18). Suppose -g*r = -11*r. Solve r = 5*d + 2 + 13 for d.
-3
Let t(k) = k**2 + 8*k + 20. Let a be t(-5). Solve -8*j = -a*j for j.
0
Let i(c) = -c**3 + 15*c**2 - c + 15. Let o be i(15). Solve o = -3*b + 6 - 18 for b.
-4
Let j be -5 + (3 - 4)*-4 + 2. Solve -l + j = -2 for l.
3
Let m be 10/(-6)*3 + 12. Solve -m*x = -6*x - 2 for x.
2
Let w(l) = l**2 + 11*l - 12. Let o be w(-12). Suppose 2*t - 4 = -o*t. Solve t*d + 2 = -0 for d.
-1
Suppose 3*o - 21 = -15. Solve -3 = a - o for a.
-1
Let x(s) = s**3 + 3*s**2 - 4*s - 3. Let i be x(-4). Let j(t) = -t**2 - 5*t - 4. Let n be j(i). Solve 4 = -n*c - 0*c for c.
-2
Suppose 10*n - 14*n = -12. Solve -n*x = 2*x for x.
0
Let r = 16 + -12. Suppose r*h - 8 = -3*g, -4*g + 5*h + 25 = g. Solve 0 = -g*x - 0*x + 16 for x.
4
Let s = -11 + 1. Let k = 14 + s. Solve -2*i + k*i = 10 for i.
5
Let g be (-6)/(2 + -5 + 1). Let s be (4/(-3))/((-4)/42). Suppose -s = -3*x + k, 2*x + 0*x - k = 9. Solve x = -g*p + 2 for p.
-1
Let r(u) = -u - 2. Let w be r(-7). Suppose -w*s + 7 + 3 = 0. Suppose 20 = -4*y, 0 = 4*v - 0*v - 4*y - 52. Solve -v = -0*j - s*j for j.
4
Let i = -99 + 172. Let x = -41 + i. Suppose -2*v - 2*v - 24 = -2*j, 5*v = 3*j - x. Solve -j = 4*z - 0*z for z.
-1
Let d(g) = -g + 10. Let b be d(6). Suppose 15 = 3*k - c, c = b*c + 9. Solve -4*r + 0*r = k for r.
-1
Let f(t) = -t + 2. Let m be f(0). Let y be 34/10 - 21/(-35). Solve -y + m = i for i.
-2
Let k = 34 + -13. Suppose -2*t = k - 7. Let n = 11 + t. Solve 5*s + 1 = -n for s.
-1
Let m(l) = l + 7. Let t be m(-3). Let u = t - 1. Let k = 1 - -9. Solve -u*v + k = -v for v.
5
Let o = 6 - 4. Solve -o*r = -1 - 7 for r.
4
Suppose -2*g + 44 = -0*g. Suppose 5*p = -4*h - 0*p - 13, -h = 5*p + g. Solve u = -h*u for u.
0
Suppose -2 = -4*y + 3*w - 2*w, 0 = 5*w - 10. Suppose 16 = -5*n + y. Let k = -3 - n. Solve -2*l + 4*l = k for l.
0
Let q be (-2)/(-4) - (-4)/8. Let v = 24 - 17. Let j = q + v. Solve -3*z - 25 = -j*z for z.
5
Suppose -7*p + 2*p = -3*w - 37, 5*p + 3*w = 13. Let o = p + -4. Let i be (-1*o)/(3/(-6)). Solve -i*d = -7*d - 15 for d.
-3
Let c = 6 - 3. Let p(x) = -4*x**2 + 2*x**3 - c*x**3 - 2*x + 1 - 1. Let k be p(-4). Solve 0 = -4*r - k - 0 for r.
-2
Suppose 3*o - 11 = k, 19 = 3*o - 0*o + k. Suppose -3*j + 2 + 4 = 0. Suppose y + 2*z - j = 0, z = -2*y - 0*y + 7. Solve -1 = y*v - o for v.
1
Suppose 0 = -5*f - 5*q, -2*q + 0*q = -2*f. Solve f*j + 12 = -3*j for j.
-4
Let d = 22 - 16. Solve 2*f - 16 = d*f for f.
-4
Let f be (2 - -1)/1*(-140)/(-84). Solve f*s + 3 = -22 for s.
-5
Suppose 0*l - 18 = c + 3*l, 4*c - l = -20. Let i be ((-12)/c)/(1 + 0). Solve -r + i*r - 5 = 0 for r.
5
Let h be 32/24*(-1)/(2/(-3)). Suppose 2*p + 2*c = -6, -c - 12 = 3*c. Solve p = -2*v - h - 6 for v.
-4
Suppose 10 + 0 = 5*t. Let d(m) = -m**3 - 5*m**2 + 4*m - 8. Let y be d(-6). Suppose 34 = y*q - 14. Solve -g - q = t*g for g.
-4
Let h be (7 + 5)/(-4)*-3. Solve h = -2*u + 5*u for u.
3
Let r(n) = n**2 + 5*n + 6. Suppose -4 = 2*i - i. Let b be r(i). Solve b*p + 0 = 6 for p.
3
Let v = -13 + 25. Solve 2*f = -2*f - v for f.
-3
Let s(z) = 2*z - 4. Let k be s(4). Let b(v) = 8*v**2 + v - 1. Let m be b(1). Solve -2*n + k*n = -m for n.
-4
Let u(z) = -z + 11. Let g be u(7). Suppose -2*b + 11 = 3*y - 12, -2*y = g*b - 26. Solve -b = -p - p for p.
2
Let v = 5 + -4. Let o = 6 - v. Solve 0*x - 20 = o*x for x.
-4
Suppose 4*m = 38 + 10. Suppose 0 = 2*d + 2*h - m, -4*h + 0 = -16. Solve -u + d = u for u.
1
Suppose -2*n = -0*n - 6. Suppose -p - n = -5. Solve -h + p*h + 4 = 0 for h.
-4
Suppose 4 + 6 = 5*o. Suppose 23 = 3*f - 5*r, o*f - 7*r = -2*r + 22. Solve -3*i - f - 11 = 0 for i.
-4
Suppose p = 2*p + 5*t + 1, -2*t - 18 = -4*p. Let x(a) = -a**2 + 5*a + 3. Let n = 1 - -4. Let y be x(n). Solve -p = y*v - 1 for v.
-1
Suppose 20*d + 4 = 22*d. Solve -2*g - d = -0*g for g.
-1
Suppose -3*y + 5 = 4*z - 20, 0 = 5*y - 2*z - 85. Let t = -10 + y. Let b = 0 + t. Solve 0 = v - b for v.
5
Suppose -6*q = -17 - 7. Solve 2*a - q = -2 for a.
1
Let a = 21 - -4. Solve -2*d - 3*d = -a for d.
5
Let w = -26 + 26. Solve w*g = -g + 2 for g.
2
Let d(z) = 5*z**3 - z**2 + 2*z - 1. Let a be (0 + 1)*(-2 + 3). Let q be d(a). Solve -5*w = -5 - q for w.
2
Suppose -1 = -f + 7. Solve 2*s + 0 = -f for s.
-4
Suppose -4*i - 21 = 4*k - 1, 0 = -4*i + 4*k + 20. Solve i*b + 1 = -b for b.
-1
Suppose 5*w = 7*w - 4. Solve 0 = -w*o - 3 + 1 for o.
-1
Suppose 0 = 6*a - a + 50. Let m = -10 - a. Solve r + 1 = -m*r for r.
-1
Suppose v = -2*d + 9, 5*d - 4*d + 2*v = 9. Let g = d + 2. Solve p = -0 + g for p.
5
Let q(r) = r**3 - 7*r**2 + 8*r + 4. Let s be q(6). Solve -3*l - s = -7*l for l.
4
Suppose -5*y = -21 - 4. Let k(p) = -2*p + 5*p**2 + 2*p**3 - 5*p**3 + 4 + 2*p**3. Let j be k(4). Solve 37 = y*x + j for x.
5
Suppose -8*v = -3*v - 15. Solve 0*r - 15 = -v*r for r.
5
Let t = -18 - -20. Solve -1 = -t*x + 1 for x.
1
Let v be 6/15 + 21/(-15). Let g = v + 4. Solve g*m - 6*m = -9 for m.
3
Let o(t) = t**3 + 5*t**2 - 8*t - 9. Let c be o(-6). Let g be -2 - (-1)/(c/18). Suppose 0 = g*s - 11 + 3. Solve -9 = s*d + d for d.
-3
Let v = -8 + 11. Let s be v*(3 + 20/(-12)). Suppose 0 = p + 5*o + 24, 0*o + 10 = -2*o. Solve s*f + p = -7 for f.
-2
Suppose -4*k + 126 = 2*k. Solve k = -5*o - 4 for o.
-5
Let h be (-8)/(-12)*-3 - -2. Let l(y) be the third derivative of -y**6/120