5*m + 18 for m.
4
Let p = -49 + 53. Solve 3*b + 18 = -2*h - 1, -b + p*h + 3 = 0 for b.
-5
Let d be ((-2)/(-2))/((7 - 12)/(-20)). Suppose 2*a = 5*n + 1 - 18, -d*a + 4*n - 4 = 0. Solve -c - 14 = -a*g, 3*c - 5*c + 5 = 3*g for g.
3
Let i be (-9)/(-6) + -2 - (-810)/20. Let y be ((-8)/(-5))/(-2)*i/(-16). Solve -w + y = -4*c, 4*c - 4 = -3*w + w for w.
2
Suppose -61 = -10*a + 159. Suppose -x = -0*x - a. Solve -4*c + f = 14, c - 5*f = 4*c + x for c.
-4
Let c(p) = -p + 12. Let v be c(0). Suppose b - v = -2*b. Let q be 22/3 + 2/3. Solve -5*t + b*o - 4 = 0, 3*t - 3*o - 32 = q*t for t.
-4
Let n(g) be the third derivative of -g**5/60 - 3*g**4/8 + 31*g**3/6 - g**2. Let p be n(-11). Solve k - 2*h = 3, 6*k - 3*k - p = 2*h for k.
3
Let d be 1*(-10)/(-8) - (-1890)/216. Solve 4*o - d*m = -11*m + 21, 0 = 5*o - m - 24 for o.
5
Let x(c) be the third derivative of -c**5/60 - 3*c**4/4 + 2*c**3/3 + 17*c**2. Let k be x(-18). Solve 5 + 3 = -2*w - 3*d, k*w - 3*d - 20 = 0 for w.
2
Let k = 2 - -3. Suppose 5*x + 0*x = -70. Let t be (-24)/x - 22/(-77). Solve -5*r - k*m = -40, t*r + m - 4 = 3*m for r.
5
Let s be (3 + -1)*54/(-8)*2. Let q(o) = o**3 + 28*o**2 + 28*o + 27. Let z be q(s). Solve -h - r = -2 - 1, z = -r for h.
3
Let f = -44 + 43. Suppose -29 = 4*s + 3. Let n be (0 - s) + -2 + f. Solve -2*a + 4*a - 5*b + 2 = 0, 5 = -n*a + 4*b for a.
-1
Let w(l) = l + 11. Let n(y) = -y - 4. Let b be n(-10). Let x be (-32)/b + 2/(-3). Let t be w(x). Solve g - 28 = -t*i, 3*g - 10 = -i + 4 for g.
3
Let q be (3 - -1) + 0/(-2). Let d(z) = -12 - q*z + z + 4*z. Let j be d(12). Solve j*o - 3*o - 10 = -5*x, 3*o - 3*x = -12 for o.
-5
Let b = -709 + 725. Suppose k = -5*q, -q = 3*k - 2*q - 16. Solve k*j = m + 2*j + 12, b = 4*m + 4*j for m.
0
Suppose 5*w = -0*w - 20, f = 4*w + 26. Solve 3*x - f = -5*v + x, 0 = -4*v - 4*x + 8 for v.
2
Let o(p) = -p**2 - 21*p - 15. Let x be o(-20). Solve -1 = -5*w + 4, b + 4*w - x = 0 for b.
1
Suppose 5*y - 75 = -5*a - 20, -a + 26 = 4*y. Let f(d) = 2*d - 14 + 3*d + 0*d - a*d. Let o be f(-14). Solve -r = -2*m + 9, -m = -o*m - 3 for r.
-3
Suppose c + 7 = 11. Suppose -c*u + 9 = -11. Solve 5*k = u*r - 20, -r + 5 = 4*k + 1 for k.
0
Suppose 4*d - 3*z = 23, 21*z + 15 = 18*z. Solve d*o + 10 - 8 = 0, -4*o - 6 = -g for g.
2
Suppose -3*w - 4 = -4*w. Let b be (-5 + 4)*(-2 - w). Solve -5*x = -2*m + b, -2*x + x = -m for x.
-2
Let v = -122 + 122. Suppose v = 5*y - 30 + 5. Solve 3*s + 4*o + 7 = 2*s, -2*s - y*o - 5 = 0 for s.
5
Let s be -1 + -26*(-3)/6. Let r = s + -12. Let p(x) = 2*x**3 + 2*x**2 - 2*x + 1. Let y be p(1). Solve -3*f - 2*m + y = r, -3*m + 8 = -1 for f.
-1
Let l(p) = p**3 - 7*p**2 + 3*p - 5. Let s be l(7). Let y = s - 16. Let f(j) = j**2 + j + 4. Let o be f(y). Solve 0*r = -r, -5*u - o*r + 5 = 0 for u.
1
Let z(b) = -b**2 + 6*b + 2. Let w = -6 - -7. Let c(i) = -1. Let l(s) = w*z(s) + 3*c(s). Let a be l(5). Solve 20 = a*k, -2*g - 2*k = 2*g - 22 for g.
3
Let m(q) = -q**2 - 10*q + 3. Let t be m(-11). Let y = t - -7. Let g be (5/(-4))/(y/4). Solve -5*c - 2*j = -0*j - 8, g*c - 2*j + 8 = 0 for c.
0
Let s = -1087 + 1097. Solve 2*l - 5*k = -0*l - 4, 0 = -5*l - 3*k - s for l.
-2
Suppose 2*h = -h - 5*b + 49, 5*h = 3*b + 25. Let y be ((-130)/(-4))/5 - 4/h. Solve 0 = 3*w - 4*q + 2, y*w + q = 3*w - 7 for w.
-2
Let i(j) = -12*j + 1. Let t be i(5). Let n = -28 - t. Solve -s - 5 = 3*v + 6, 0 = 5*s + 3*v + n for s.
-5
Let v = 183 + -178. Solve -2*t - v*x + 3 = 0, -2*t + 6*t - 5*x = 21 for t.
4
Suppose -3*o + 6*o - 6 = 0. Solve -16 = -f + 4*m - o, f = -m - 1 for f.
2
Suppose -36 = x - 4*x. Let j be (0/((-6)/(-2)))/(-1). Solve q + x = -2*q + 5*p, j = -q - 5*p + 16 for q.
1
Suppose 10 = -2*n + 4*f, -5*f = -18*n + 13*n - 5. Solve -n*c + 5 = 3*z - 5*z, -c + 10 = z for c.
5
Suppose 3*i = -5*v + 20, 4 = 4*i - 2*v - 14. Solve -i*m = -3*k - 26, 3*m = -2*k - k + 6 for k.
-2
Let m = 1140 + -1127. Solve 5*d = 4*f + m, 6*f - 2*f = d - 9 for f.
-2
Let d = 61 + 34. Let m be 23/((-1311)/(-222)) - 4/(-38). Suppose m*c + 57 = 3*q, 0 = q - 6*q + 3*c + d. Solve 0*w + 16 = -3*u - 5*w, 2*u = -5*w - q for u.
3
Let l = 34 + -31. Suppose f = -i + 3, -3*i + 8*i - 15 = -l*f. Solve i*y = 3*v, -3*y = -7*y - v + 5 for y.
1
Let u(m) = -2*m**2 - 3*m - 1. Let y be u(-3). Suppose 54 = -5*f + h - 5, 5*h + 65 = -5*f. Let v = y - f. Solve v*c - 3 = -1, 0 = -3*w + c - 1 for w.
0
Suppose 19 = -3*b - 5*p, 4*b - 1 = -3*p - 8. Suppose b = y + y. Solve -16 = -q - 4*s, -4 = -3*q + 3*s - y for q.
4
Suppose -3*s = -b - 26, -5*s + 2*b = -2*s - 28. Suppose 4 + s = 4*a. Solve -3*i + 2*x + 2 = 1, -a*x = -3 for i.
1
Suppose 2*b - 3*g = 1 + 13, 35 = 5*b + g. Let l = 27 - b. Let d be (10 - 11)/((-2)/l). Solve -3*s + 18 = y, d = -4*s + 3*s + 5*y for s.
5
Let s = -17 - -39. Let b = s - 17. Solve b*w = v + 3 + 17, v = w for v.
5
Suppose -3*k + 23 = 8. Let p = -9 + 11. Solve 2*v + k = 3*c, 0 = -2*c + p*v + 3*v + 18 for c.
-1
Suppose 0 = 4*j + 3*n, 7*j + 5*n = 3*j. Suppose 3 = 3*l - 3. Let q(r) = r**2 - r - 1. Let d be q(l). Solve a = -4*w + d - j, 0 = -2*w - a + 1 for w.
0
Let z = 3 + -2. Let n = 71 + -45. Suppose n = 2*w + 10. Solve -5*s - v - w = -1, -z = -3*s + 2*v for s.
-1
Let i be (5 - 90/12)/(10/(-8)). Solve 2*c - i*r - 2 = 0, 2*r = -2*r - 16 for c.
-3
Let f = 7 + -3. Suppose -32*g + 27*g + 50 = 0. Solve g = f*u + k, 3*u + u - 5*k = -2 for u.
2
Suppose -5*v + 48 = -x, 3*v + x = -2 + 26. Suppose 13*d - 17 = v. Solve -d*f + 5*w = w, f + 4*w = 0 for f.
0
Let o = -31 + 53. Let u = -11 + o. Let m = 14 - u. Solve 3*t + 2 = -2*w + t, 3*t - m = 0 for w.
-2
Let h(m) = -m**2 + 4*m - 7. Let k be h(6). Let r = k - -23. Solve 13 = -t - 2*p, 0 = 2*t - r*t + p - 6 for t.
-5
Let a(n) = -n**2 + 33*n - 12. Let b be a(32). Solve -q - q + b = -4*x, -3*q - 4*x - 10 = 0 for q.
2
Let l = -2 - -10. Let b = 3 + 0. Suppose 0 = 4*j + 3 - 11. Solve b*p + j*r = -4, 0*p - r = -p - l for p.
-4
Let i be (-5 + (-30)/12)/(-6)*4. Solve i*h - 10 = 4*r - 5*r, 2*h - 5*r - 4 = 0 for h.
2
Let y(c) = 16*c - 302. Let w be y(19). Solve 2*q - 3*f = 17, 4*q + w*f + 4 = -2 for q.
1
Suppose -40 = -5*y - 5*z, 0 = -y + 4*y + z - 16. Solve x = 2 - 3, 0 = -o - y*x for o.
4
Let z be 8*(-5)/(-20) - -2. Solve 0 = n + 5*l + 20, -z*l = n + 4 + 12 for n.
0
Let x be (-2 + -16)/6 + -3 + 10. Solve -x*v + 18 = -2*o, -5*v = 4*o - v - 12 for o.
-1
Let q(n) = n**3 + 10*n**2 - n - 5. Let m be q(-10). Let r = -4 + 7. Let a = 117 + -115. Solve -f = -a*b + r + 3, m*b - 4*f = 18 for b.
2
Let o(c) = 2*c**2 + 64*c + 79. Let u be o(-31). Solve -l + 4*b + u = 0, -b = -5*l + 4*b + 25 for l.
1
Let t be 0 + 2/12*0. Solve -u = -2*o + u, -3*o + 2*u = t for o.
0
Let k = -24 - -28. Suppose -8*r + k = -12. Solve r*l = -a - 4, l + 2*a = -a + 8 for l.
-4
Let c = 4 - 3. Let z = -7 + c. Let x be (z/18)/((-2)/12). Solve 0 = x*s - 6*s - v - 21, 3*s = 5*v - 10 for s.
-5
Suppose 6 = 5*x - 4. Suppose -p = -2 - 0, 3*l + 232 = 2*p. Let u = l - -80. Solve -4*b + 4*m = -20, 22 - 2 = u*b + x*m for b.
5
Let u be (1/(-3) + (-981)/(-27))/2. Suppose u - 23 = -5*p. Let l = 10 - 5. Solve -2*o + 3 = -4*f + p, l*f = o + 5 for f.
2
Let v = 6 + 12. Suppose 4*o = 5*y + 3 - v, 0 = o. Solve -3*b + 11 = -4*x, 3*x = b - y - 4 for x.
-2
Suppose -4*s + 8*s = 0. Suppose s = -5*g + 10. Solve -g*i - 6*u - 17 = -3*u, 0 = 3*i + 5*u + 27 for i.
-4
Let c be 0*(2 - 10/4). Suppose c*s = 4*s. Suppose 4*b - 13 - 3 = s. Solve 2*r - v = -1 - b, r - 2*v + 10 = 0 for r.
0
Let w = -118 - -111. Let m = -9 - -1. Let h = w - m. Solve -h = -x + 2*x + 2*v, -3*v + 15 = -4*x for x.
-3
Suppose -3*y = 2*y - 25, -2*v + 20 = 2*y. Let q(w) = -13*w - 63. Let r be q(-16). Let u = r - 143. Solve -3*z + u*x - x - 6 = 0, 2*z - v*x + 17 = 0 for z.
-1
Suppose -19 = -18*b + 17. Solve 4*w = 2*u - 2, 3*w - b*u + 3*u + 14 = 0 for w.
-3
Suppose 3*v + 6 = 6*v - 4*n, 0 = -5*v + n + 10. Suppose -u = -3*l - 1 - 10, -3*u = v*l - 44. Solve a - 5*j + 15 = -u, 2*a = 2*j - 18 for a.
-4
Let k = -20 + 40. Suppose 4*s - 23 = z, 2 = -5*s + 4*z + 39. Solve -2*w + 5*f + k = 0, -w - 2*w - 5*f + s = 0 for w.
5
Let y be 0 + -2 - (0/8 - 5). Solve -2*i = 2*n - i + 5, -y*i - 15 = 5*n for n.
0
Let v be ((-15)/(-45) - 20/6) + 5. Solve 0*t = -3*t - v*g + 5, -4*t - 2*g + 10 = 0 for t.
5
Let t = -2124 + 2134. Solve 10 = -t*f + 8*f - 3*u, 4*f + 20 = -3*u for f.
-5
Suppose -20 = -4*i - y, -4*i = 4*y - 121 