p = -p + 4*s - 10 for p.
-1
Suppose 15*v = 13*v + 24. Let a = 40 - v. Solve -i = -5*x - 16, 3*i + 2*i + a = -2*x for i.
-4
Suppose 0 = 4*c - 27*c. Solve c*r - 4 = -3*r + 4*p, -p = 3*r + 16 for r.
-4
Let k = -239 + 259. Let c be (4 - 2)/(4/10). Let t(a) = -a**2 + 5*a + 5. Let w be t(c). Solve 3*o + w*m = m - 25, 4*o + k = -2*m for o.
-3
Let w be (-37)/(-7) - (-4)/(-14). Let y(n) = -6*n + 2. Let g be y(-2). Solve -g = -w*p - t, -1 + 7 = p + t for p.
2
Let l be 1 - 3 - (-1 - 1). Solve l = -5*x + 25, 4 = -5*v - 4*x + 14 for v.
-2
Suppose -9*p - 12 + 3 = 0. Let j(z) = -4*z**3 - 2*z**2 - z. Let n be j(p). Solve 18 = 2*x - 2*i, 3*i - 7 + 4 = -n*x for x.
5
Suppose -2*m = -6*m + 64. Let x be 114/30 - (-3)/15. Let w be 11/(-44) + 17/x. Solve -3*h = -h - 4, w*o + m = 4*h for o.
-2
Suppose -14*s = -15*s + 5. Solve 0 = -s*w + 5*v, 2*w + w = -v + 4 for w.
1
Suppose -36 + 56 = 4*b. Solve b*s = -4*q, -4*s - 45 = s - 5*q for s.
-4
Suppose 40*f - 137 - 103 = 0. Solve 5*z + 4*h + f = 4*z, -z - 5 = 3*h for z.
-2
Let r be ((-3)/4)/(3/(-12)). Solve -3*u - 27 = b + r*b, -35 = 5*b + 4*u for b.
-3
Let n be (-133)/(-4) - (3/4)/3. Suppose -n = -4*a - 5*z, a + 9 + 14 = 5*z. Solve 0*g - a*g - 19 = -3*o, -5*g - 3*o + 5 = 0 for g.
-2
Let v be (6/(-3) - -2) + 20. Suppose 8 = -4*r, 5*t + r = 83 - v. Solve -2*n + f = -t, f = 4*n + 3 - 24 for n.
4
Suppose -49*c + 248 = -41*c. Suppose 3*t - t + c = y, -91 = -4*y - 3*t. Solve y = 5*u - d, -5*u = -u + 3*d - 20 for u.
5
Suppose 10*k - 100 + 70 = 0. Solve -k*m + 4*r = -4*m, -3*r = -m for m.
0
Let s(y) = 4*y + 8*y - 7*y. Let w be s(2). Let c = -5 + w. Solve -5*v + 40 = c*h, 4 = 4*h + 3*v - 25 for h.
5
Let g(t) = -t**2 + 8*t + 49. Let h be g(-4). Suppose 2*o = -3*s + 4, -4*o + 6 = 5*s - 4. Solve 5*a + h = 2*i + 22, o*i = -2*a + 20 for a.
5
Suppose c = 7*c - 156. Let a = 28 - c. Solve 0 = 3*b + a*b - g + 11, -3*b - 2 = 4*g for b.
-2
Suppose -5*w - 4*p = -308, -271 + 99 = -3*w + 4*p. Let l = w - 55. Solve n + 19 = -3*r, 4*n - l*r - 9 = -0*r for n.
-4
Suppose 0 = 5*t - 11 - 14, 0 = -3*o - t + 35. Solve -3*b = 5*j - 4, -b + 7*j = o*j - 4 for b.
-2
Let y be -1 - 6/(-4) - 2/4. Solve 5*r = -y*r - 5*v + 20, 5*v = -r for r.
5
Suppose -51*w = -54*w. Let o be 8 + 1 - (5 - w). Solve -3*a - a - 4 = -4*n, -22 = 2*n + o*a for n.
-3
Let k = 83 - 73. Suppose 0 = 4*f + 2 - k. Solve f*p - 12 = 3*w - p, -12 = 3*w + 4*p for w.
-4
Let c = 0 - -5. Suppose 0 = -j - 4*h, j + 3*j - c*h = 0. Let y(s) = -s**2 + 5*s - 2. Let r be y(4). Solve j = -m, i - r = 2*i + m for i.
-2
Let n be ((-2)/7)/((-18)/126). Solve b - 4*b - 11 = m, 0 = 2*b + n*m + 6 for b.
-4
Suppose 4*s - 2*g = 8, s - 7*g = -3*g - 5. Suppose b + 1 - s = 0. Solve -u - 13 = -b*u - 4*r, -3*r + 12 = 0 for u.
-3
Let u = -17 - -20. Let g be (-88)/(-6) - 2/u. Suppose 10 = 5*n, -n - g = -5*s - 3*n. Solve s*k - 4*k - 2*w + 4 = 0, 2*k - 2*w + 16 = 0 for k.
-3
Let i(j) = 2*j**2 + 5*j - 70. Let v be i(-8). Solve -5*g + 9 = -4*g + 5*f, 2*f = 5*g - v for g.
4
Let s be 16/12*(-9)/(-6). Let w(l) = l**3 - l**2 + 2*l. Let t be w(s). Suppose -5*v - 9 = -t*v. Solve 0*u = -5*u + v*a + 32, 5*u - 40 = 5*a for u.
4
Let c(r) = 26 + 4*r**2 - r**2 + 23*r - 5*r**2 + 3*r**2. Let x be c(-22). Solve 4*v + 16 = x*o, 2*v - 4*o = -3*v - 19 for v.
-3
Let h = 54 + -29. Suppose -h = -7*j + 2*j. Let v = 5 - j. Solve -2*x + x + 2*o = v, -x - o = 0 for x.
0
Let p(b) be the first derivative of b**4/4 - b**3 + b**2/2 + 4*b - 10. Let x be p(2). Solve 3*k = n + 7 - x, -5 = -k - 3*n for k.
2
Let p(x) = x**3 - 15*x**2 + 22*x + 55. Let a be p(13). Solve -m + 4 = c, -a*c - 5*m = -c - 17 for c.
1
Suppose m = 5*u - 9 - 14, 0 = -4*m + 8. Let b be (2/(-9))/(6/(-54)). Solve 4*v = -u*h - 7, h = b*v - 4*v - 5 for v.
-3
Let v(j) = -2*j + 26. Let q be v(6). Suppose q - 301 = -7*g. Solve g = -4*s - 5*y, 0*s - 31 = 4*s + 3*y for s.
-4
Suppose 3*i + p - 36 = 35, 0 = 3*p - 15. Solve -4*u + 17 = -3*o, -5*u + i = 2*o - u for o.
1
Let g be ((-8)/(-96)*-10)/(3/(-18)). Solve p + 4*o = 6, g*p - 10*o - 8 = -8*o for p.
2
Let b = 15 - 7. Let u = -32 + 47. Suppose 3*z + 3 = u. Solve 2*o = 3*n + b, 5*n + 3 = -z*o - 3 for n.
-2
Suppose 0 = 4*b + 3*b - 147. Suppose -3*t + 6*t - b = 0. Solve -t = -2*g + 3*q, 5*g = 2*q + 2 - 1 for g.
-1
Suppose 5*v + 21 = 91. Suppose v = -u + 20. Solve 5*c + z - u*z = 0, -c - 8 = -5*z for c.
2
Suppose 55*t + 53*t = 0. Solve -5 = -j, 4*r - 5*j = -37 - t for r.
-3
Let y(u) = -u**3 - 12*u**2 + 13*u. Let m be y(-13). Suppose -2*v = m, -z + 0*v - v = -5. Solve -16 = -3*d - 5*t, -2*d - 3*t = -z*t for d.
2
Let j = -5 - -11. Suppose 5*k = 4*g - 2, -2*g = 4*k - j*k - 2. Solve 6 = -3*t, k = 2*d - 3*t - 2 for d.
-1
Let o(v) = v**2 - 13*v + 13. Let t be o(11). Let m be (2 + 1)*(1 + -5 - t). Solve 0 = -5*h + m, -4*b + 4*h = 28 for b.
-4
Suppose -5 + 2 = -r. Suppose r*a + t = 6, 0*a + a + 3*t = -6. Solve -d - 4*p = -0*d - a, -4*d + 12 = 3*p for d.
3
Let h = 209 - 203. Suppose -5*k = -98 - 42. Suppose 0 = -b + k - h. Solve 0 = -j - 5*o + b, 5*o = 2*o + 12 for j.
2
Let r(p) = -p**2 + 21*p + 27. Let l be r(22). Suppose 6*q - 2*q - 7 = -l*g, -q = -g + 5. Solve 4*u = -g*h - 4, 0*u + 5*u + 4*h = -4 for u.
-4
Suppose -306*p = -310*p + 12. Suppose 4*j - 57 = 5*c, -3*c - 4*j = -4*c - 5. Let l = p - c. Solve l = 4*w + 5*h, w + 0*w - 4 = 4*h for w.
4
Let k(f) = -f**3 + f**2 + 3*f + 1. Let n be k(-2). Let v = 10 - n. Solve v*m + 0 - 25 = 4*d, 3*m = -4*d - 7 for m.
3
Suppose 7*g - 26 = 2. Let i = g - 4. Solve -5*l = -2*s + s + 22, i = -5*l - 25 for s.
-3
Let d = -10 + 13. Let y(n) = 6*n - 142. Let v be y(24). Let q be (-1 - -2)/((-10)/(-170)). Solve d*g - q = -2*t, 4 = -4*t + v*g - 2 for t.
1
Let y be (2 + -1)/(3/(-39)). Let q be 20 + y - (-1 - -4). Solve 5*s - 3*o = 21 - 6, -4*s - q*o = 20 for s.
0
Suppose 0 = -4*c - 4*h + 28, 0 = c + 2*h + h - 5. Suppose 4 - c = -2*m. Suppose -w + 6 = 3*y - m*w, -3*w = -y - 6. Solve -4*l - 5 = q, y*l + 6 - 3 = -q for q.
3
Let d = -1557 + 1564. Solve 4 = 5*a + k, a - 5 = -d*k + 11*k for a.
1
Suppose x - 14 = -x. Suppose 3*b = 13 - x. Let v(w) = 2*w**2 - 2*w - 2. Let d be v(b). Solve -r + d*k = -1, 5 + 5 = 4*r - 2*k for r.
3
Suppose -3*d + 12 - 4 = o, 2*o + 8 = 2*d. Solve 2*p - a = a + 6, d*p = 5*a + 13 for p.
1
Let l = -26 - -30. Let x(a) = 2*a - 8. Let i be x(l). Let p(u) = u**3 - 4*u**2 + 3*u + 2. Let j be p(3). Solve j = f - 5*g, i = -0*g + 3*g for f.
2
Let z(w) be the first derivative of w**3/3 - w**2/2 + 2. Let a be z(2). Suppose 43*l + 56 - 142 = 0. Solve -4*b - 5*n = -a, b + 0*n + 2*n - l = 0 for b.
-2
Let c(g) = -10 - 5 - 2 - g. Let s be c(-17). Solve -5*m + 8 = -2*t, s*m = 4*t - 2*m for t.
1
Suppose x = 5*x + 4*b + 52, x + 4*b + 7 = 0. Let w be 0/(5/(x/(-9))). Solve 0 = -5*n - d - 15, -12 = -w*n + n + 2*d for n.
-2
Let m = 72 + -75. Suppose 3*k - 7*k = 36. Let x be -1*(k - (m - 1)). Solve -x*u + 0*z = -z - 18, 5*u + 5*z - 30 = 0 for u.
4
Let s(d) = -d**3 + 14*d**2 + 16*d - 13. Suppose 3*q - 2*b = b + 54, -5*q + 69 = 2*b. Let n be s(q). Solve 2*y = 2*f - n*y - 22, 0 = -2*f - y + 2 for f.
3
Let a be (0/2)/((-3)/((-3)/2)). Solve -5*k - 25 + 9 = -q, 2*q + 4*k + 10 = a for q.
1
Let s be (-14)/(-84) + 82/12. Suppose s = 5*g - 13. Solve -2*d - g = 4*u, 2*d = -5*u - 2*d - 11 for u.
1
Suppose 4*h - 105 = -5*u, 2*u + 4*h - 13 - 17 = 0. Solve l - 2*a + 25 = 3*a, -5*a + u = -4*l for l.
0
Let x be (-492)/(-41) + (-9 + 3 - 2). Solve -5*u + 6*u - 9 = -2*j, x*j = 5*u - 3 for j.
3
Let x(j) = j**2 - 2*j - 8. Let c be x(6). Suppose -4*v + 8*n - 3*n = -c, -3*v - 2*n + 12 = 0. Solve 0 = -m + b + 1 - 7, -b = -v*m - 9 for m.
-1
Suppose -98 = 5*o - 113. Solve 14 = 4*q - o*z, -1 = -4*q + 3*q + 2*z for q.
5
Let r(d) = -9*d + 185. Let k be r(20). Solve -4*m - 2*s + 24 = 0, -4*m + 5 = -5*s - k for m.
5
Let w be (-56)/12*(-18)/21. Solve 3*l + 6*q - q + 16 = 0, -w*l = 3*q + 3 for l.
3
Let b = -3 - -3. Suppose 0 = y - b*y. Let w(v) = v**2 + 12*v - 26. Let i be w(-14). Solve -2*s - i*t + 4 = y, -4*s = 5*t - 2 - 8 for s.
0
Let l = 24 + -8. Let s = l + -14. Solve -16 = 4*j, -3*t + s*j = -t - 4 for t.
-2
Suppose -2*c = 3*j + 39, 4*c - 4*j + 3 = -25. Let w = -4 + 10. Let f be (w/c)/(1/(-6)). Solve 8*p - f*p = 4*z, 3*z + 5*p = 0 for z.
0
Suppose 208 = -3*k - 2*f, -5*k + f = 6*f + 350. Let r be k/(-18) - (-20)/90. Solve 0 = -c + y + r*y + 2, y = 0 for c.
