= v*m + 17 for b.
-4
Suppose -4*f - 133 = -145. Solve -10 = -2*q + 2*u, f*q + 2*u = -u - 9 for q.
1
Let p(t) = 2*t**2 - 3*t - 6. Let h be p(3). Let g = -3 + h. Solve -5*x - 20 = -4*n, -n = -g*n - 4*x - 5 for n.
5
Let x(n) = -20*n - 518. Let f be x(-26). Solve 4*o = 4*p - f*p + 6, 0 = -p + 5*o for p.
-5
Suppose -45*r + 118 + 17 = 0. Solve -r*q = -2*l + 2*q + 7, 3*q + 5 = l for l.
-4
Suppose -6*m - 4*k = -m - 23, m + 2*k = 1. Suppose -5*n + m + 18 = 3*p, 5*n - 10 = 0. Suppose 0*f = p*f - 20. Solve 5*d - 12 = 2*s, -28 = -f*s - 4*d + d for s.
4
Let u(i) = 4*i**2 - 9*i - 10*i - 14*i + 32*i - i**3. Let s be u(3). Solve t - 14 = -5*j, -j + 6 = -s*j + 4*t for j.
2
Let z be ((-2)/(-3) - -2)*(-2 - -5). Let b be 11 + 1 - (-3)/(12/z). Solve -s + 5*s + 16 = 0, -2*j - b = 4*s for j.
1
Suppose 4*r = 12, 0 = -3*s - 2*s + r - 283. Let w = s + 74. Solve -c + w = -4*i - 3*c, -3*i = -2*c + 10 for i.
-4
Let k(z) = -z**2 - 10*z - 18. Let t be k(-3). Solve 5*m + 5*d = -15, 3*d + d = -m - t for m.
-3
Suppose 4*q - 2*g = -8, 0*q = -q + 2*g - 8. Let p be q/((-4)/(-2) + -4). Solve 2*x + 5*v + 26 = p, 7*x + 35 = 2*x - 5*v for x.
-3
Let i be (2 + -1)/(2/4). Suppose i*g - 21 = -5*b, -2*g + 15 = 3*b - 0*b. Suppose -h + 8 = b*h. Solve -2*j + 3*p = h, j = -3*p + 2*p - 6 for j.
-4
Let j = -1 - 14. Let m = -12 - j. Suppose 3 = 3*u - m*r, -2*r + 3 = -3. Solve 7 = u*i - 1, -5*i = 4*h + 10 for h.
-5
Let w(x) = x**3 + 5*x**2 - 8*x - 9. Let j be w(-6). Let k be 14/2*(-14)/(-42)*6. Solve -4*h + k = -2*h + t, -3 = -j*h + 3*t for h.
5
Let u(m) = m**2 - 6*m + 9. Let n be u(9). Let t = 17 - n. Let a = t + 23. Solve -o + 2*z + a = 2*o, 0 = 3*o - 4*z - 14 for o.
-2
Let w(m) = -35*m - 35. Let o be w(-1). Solve t + 4*r = -1, o*r + 2*r - 1 = -t for t.
3
Let t be 6/(-9)*(-90)/4. Suppose 7*a - 12*a = -t. Suppose u = l + 2, 4*l + 5 = a*u - 1. Solve p + 11 = -3*z, -z - 1 = u*p + p for p.
1
Let n = 299 - 296. Solve -5*y + 2*o - 5 = 4*o, -6 = -n*y - 3*o for y.
-3
Suppose 4*o - 9 = -y, 3*o - 5*o + 12 = 2*y. Suppose -85 = -y*d - 5. Let a = d - 11. Solve 4*i - 5*k - 21 = 0, -4*i + k = -a - 12 for i.
4
Let i = 8 - 5. Let k = -12 + 11. Let u be 20 + -3 + (-5)/k. Solve -i*l - 2 = 2*w - 0, -u = -2*w + 3*l for w.
5
Suppose 13*k + 8 = 73. Solve 4*b = -5*q + 6, 0 = -3*b - 4*q + k - 1 for b.
4
Let x = 556 + -554. Solve 5*h + 2*m = -3*m + 25, x*m = 2*h + 6 for h.
1
Suppose 2*o = r - 8, -3*o + 19 = 2*r - 8*o. Let u be 1/(-4) - 2/(-8). Solve 4*d = r*x, 3*x - 7*x - 5*d + 26 = u for x.
4
Let p be ((-32)/(-12))/(2/3). Suppose 3*j - 29 = -p*y, -6*j + j + 10 = -y. Suppose -3*h + 18 = 6. Solve 0 - h = 4*r - 2*s, -4*r - 4 = -y*s for r.
-1
Let h be (-2)/(-2) + 1 + 1. Suppose 0*q = -3*q - h*q. Solve -7*x + 3*x = b - 5, q = -4*b - 3*x + 20 for b.
5
Let w = -464 + 468. Solve -5*r + 10 = -2*a, -5*r - 6*a = -w*a + 10 for r.
0
Let p(f) be the first derivative of f**4/4 + 5*f**3/3 + 2*f**2 + 2*f - 32. Let u be p(-4). Solve u*j = 2*h + 5*j - 19, -26 = -4*h - 2*j for h.
5
Let n be -15 - (-4 - (-24)/3). Let d = -39 - n. Let g be ((-1)/(-2))/((-2)/d). Solve -g*l + 31 = 4*p, 0*p - 8 = -5*p + 4*l for p.
4
Let a = 26 + -26. Suppose -m - 2*m + 15 = a. Let p(q) = q**3 + 5*q**2 - 9*q - 2. Let k be p(-6). Solve 3*h + 2*h = m*n + 10, k = 3*h - 5*n for h.
-3
Let i(w) = w**2 + 10*w - 20. Let u be i(2). Solve 5*v - 5*g = 5, 5 = v - u*v - g for v.
-1
Suppose 7*x = -3*v + 6*x + 13, 3*x + 17 = 5*v. Solve v*f + 7*z - 4*z - 23 = 0, 3*z - 21 = -3*f for f.
2
Let w(s) = -s**2 + 4*s + 7. Let z be w(5). Let p be 0*(-3 + 2)/z. Let c be p/(-2) + 60/6. Solve 5*k - 15 = c, -3*l + 2*k - 7 = 0 for l.
1
Let g be (0 - 0)*26/52. Solve g = 11*p - 9*p - 2*l - 6, 0 = 5*p + l - 9 for p.
2
Let j = -3 - -7. Let n(d) = -6 - 14*d**2 - 4 - d**3 - d + j*d**2. Let q be n(-10). Solve 2*s + 8 = -2, q = 3*b + 2*s - 5 for b.
5
Let d be ((-560)/15)/8*(-30)/7. Solve 0*t - 3*t - 16 = 4*p, 2*t + 5*p + d = 0 for t.
0
Let u be 0/(-4 + (-112)/(-24) + (-4)/(-3)). Let v = 6 + 3. Solve 0 = -u*d + 5*d - 4*n - v, 5 = -5*n for d.
1
Let b(g) = -g**2 + 32*g + 373. Let m be b(41). Solve -19*y - 25 = -16*y - m*p, 7 = -y + p for y.
-3
Suppose -3*o + 9 = 2*k, -3*o + k - 6*k + 9 = 0. Let q(u) = 4*u - 6. Let i be q(2). Solve -5*h + o*x = 4, h + 4*h = i*x - 6 for h.
-2
Suppose -5*f - 6 = -16. Suppose 4*x = 3*t - 1, -2*t - 3*t + f*x + 11 = 0. Solve -4*m + 2*z = t*z + 17, 5*m - 3*z = 0 for m.
-3
Let n be (-334)/7 + 4 - (-4)/(-14). Let d be (-1)/(n/56 + (-4)/(-14)). Solve -37 = 5*w - 3*j, -4 = 4*w + d*j + 2*j for w.
-5
Let k be (-6)/9 - 10/(-15). Suppose -15 = -3*l - k*l. Solve -l*a = 4*g - 32, 3*a - 5 = g + 4 for g.
3
Let d(a) = a**3 + 33*a**2 + 86*a - 116. Let k be d(-30). Let j = 4 + 0. Solve 24 = -j*i + 5*m, 19 = i + m + k*m for i.
-1
Suppose -2*v = -4*v + 2*l, 0 = -v - 3*l + 12. Solve v*t + y + 11 = 0, 5*y = -2*t + y - 24 for t.
-2
Suppose -8*t + 2*t + 24 = 0. Suppose -3*j + t*m + 4 = 0, 0 = j + 6*m - 3*m - 10. Solve 6*q = q - 5*v - 20, 2*q + j*v = -16 for q.
0
Suppose 0 = 3*f - 6*f + 9. Suppose 5*r + 4*v - 48 = 2*v, -f = 3*v. Let m be (-52)/(-10) - 2/r. Solve -g - 30 = m*x - 2*g, -5*g + 25 = 0 for x.
-5
Let z(y) be the first derivative of y**2/2 - 6*y + 7. Let f be z(8). Suppose 0 = l - f*l. Solve l = -n + 4*g - 1, 5*n - 22 = 2*g - 9 for n.
3
Let r be -4*((-145)/4)/5. Let d = -12 - -14. Let y be 1/d + 7/2. Solve -y*n - r = -z + 6*z, 2*n - 3 = z for z.
-5
Suppose 0*b = -2*c + 2*b + 26, 5*c + 2*b - 79 = 0. Let l be (66/(-77))/((-1)/7). Let a = c - l. Solve -3*s + 0 = -4*q - 16, -s + a = -5*q for s.
4
Suppose -167*s - 16 = -175*s. Solve s*v - 4*f - 2 = 4, -4*v + 3*f - 3 = 0 for v.
-3
Suppose -2 = -d - 0*d. Suppose z = -0 - 5, 0 = -5*r + 2*z + 45. Suppose 4*n - r = 5. Solve -15 = 5*w + 2*p, -d*p - n*p - 21 = -4*w for w.
-1
Suppose -11*a = -2*r - 10*a + 11, 26 = 2*r - 4*a. Solve 0 = 5*o - 10, 8*x + 2 = 12*x - r*o for x.
2
Let n = 141 + -131. Solve 3 = -t + u + 4*u, 3*t + 4*u - n = 0 for t.
2
Let n(w) = w - 9. Let t(b) = -b. Let s(q) = n(q) + 2*t(q). Let r be s(-11). Solve -2*z + 0 = -4*x + r, x = -1 for z.
-3
Suppose 4*p - 24 = -4*p. Let b(a) = a**2 + 7*a + 8. Let h be b(-6). Solve 3*x = -2*c - 0*x + 1, -h = p*c + x for c.
-1
Let x be (396/84 - 6)/((-1)/7). Solve x*l - 5*l + v = -19, 4*l + 25 = 5*v for l.
-5
Let m be ((-5)/(15/48))/(-2). Let j be ((-34)/m - -3)/((-3)/12). Suppose -y + 11 = -0*y + 3*t, -15 = -5*t. Solve 2*d - 3*u = 5 + y, -4*d + j = -3*u for d.
-1
Let l(z) = 2*z**3 + 30*z**2 + z + 18. Let f be l(-15). Solve f = 3*u + 4*r, 1 - 4 = -u - 2*r for u.
-3
Suppose -2*g = -v - 5, 9 + 6 = g - 3*v. Suppose g = -3*o + 11 - 5. Solve 6*y + 2*w = o*y - 24, 4*y + 22 = -w for y.
-5
Let c be -3 + 5/(-5)*-6. Solve 8*y - 31 = c*y - 2*f, -5*f = -y - 10 for y.
5
Suppose -4*c = 20, 2*b + 2*c = 6*b - 58. Suppose 6*p = 5*n + 7*p - 34, 0 = -5*p - 5. Let x = b - n. Solve x*u = -4*h + 4 + 6, -2*u + 4 = -3*h for h.
0
Let d = 2 - -2. Suppose -d*z - z + 5 = 0. Solve 5*j - 18 = -2*o, j - 4 - z = o for j.
4
Let c = 634 + -631. Solve 4 = -4*a, 0*r + 7 = -c*r - 4*a for r.
-1
Suppose 0 = 85*t - 89*t + 108. Solve -5*v = -3*o - 6, 4*v - o = -6*o + t for v.
3
Let g(c) = 2*c**2 + 39*c - 18. Let i be g(-20). Solve -2*t + 3*x = -8 - 3, 3*t - i*x - 9 = 0 for t.
1
Suppose -5*z = -3*m + 23, -6*m + 3*z + 16 = -2*m. Let v = 5 - m. Solve -i = v*n + 12, 3*i = 5*n + 2*i + 24 for n.
-4
Let u = -11 - -29. Suppose 2*v + 13 = -4*w - 3, 4*v - 2*w = u. Suppose -v*l = 2*g + g - 16, -2*l + 4 = 0. Solve 0 = -g*o - t - 4*t - 13, -3 = 4*o - 5*t for o.
-2
Suppose 5*q - 20 = 2*v - 3, -4*q + 4*v = -4. Let d = -50 - -51. Let l be 2 - (2 - 1)*d. Solve -p + 0*p = b + l, -q*p = -b + 5 for b.
0
Let g(h) = h**2 - 8*h + 21. Let c be g(5). Suppose -a + c = 2*x - 0*a, -12 = 3*a. Solve 4*y - 5*z = -31, x = -0*y - 2*y - z for y.
-4
Let y be (-48)/28 + 2 - 78/(-21). Solve 3*m - y*x + 11 = 8*m, -2*m - x = -5 for m.
3
Let a(o) = o**2 - 2*o - 8. Let q be a(8). Let d be (18/(-15))/((-12)/q). Solve 0 = 3*z + d*w + 15, 5*z - z - w + 20 = 0 for z.
-5
Let g be (-3)/(-15) + (-478)/(-10). Let z = g + -86. Let c be z/(-10) + 3/15. Solve -5*f = 5*j, -3*f - 3*j = -f - c for f.
-4
Let z be (-3)/(-6)*40/4. Suppose 0 = -s - 4*q - 18, q = -z*s + 4*q + 25. Suppose 18 = 4*y + s*y. Solve y*x - 14 = -4*c, 2 = 2*c - 0*c - x for c.
2
Let o = -5 + 23. Suppose 3*d + 2*u - 3*u 