 15, -y*p + 17 = -b + 5 for p.
3
Let k = -86 - -86. Solve k = 5*l + 3*x - 24, 0 = x - 3 for l.
3
Suppose 4*z - z = 0. Suppose z = h - 2*h + 2. Solve -h*r + 5*r - 4*v = 8, 7 = r + 3*v for r.
4
Let d = -464 - -469. Solve a - d*j = 3*a - 17, 11 = a + 3*j for a.
-4
Suppose 23 + 17 = -5*x. Let j = -8 - x. Suppose -4*n - 5*k = 5, 6*n - n - 5*k - 5 = 0. Solve 5*b = -j*b - 15, n = 5*q + 3*b - 6 for q.
3
Let o be (8/(-3))/((-2)/9). Let j = -2 + 4. Suppose 0 = -22*m + 6*m + 48. Solve -4*d + 9 = 3*k, -o = -3*k + j*d - m for k.
3
Let n = 2625 - 2620. Solve -n*m = h - 8, 16 = 4*h + 4 for m.
1
Let x(i) be the first derivative of -i**2 - 16*i - 7. Let w be x(-8). Solve -2 = -0*t - 2*t - 4*y, w = t - 5*y - 1 for t.
1
Let x = -785 - -785. Solve 5*d + 5*a = 3*a - 23, x = 5*d + a + 24 for d.
-5
Let j be (-11)/(-2) - 4/8. Suppose 2*m + 2 = 3*a - 11, 4*m + j = -a. Solve -4*u = -5*i + i, 5*i + a*u = 40 for i.
5
Let z(r) = 3*r**2 - 31*r + 10. Let w be z(10). Solve 5 = -5*y, w = 2*f - 3*y + 8*y + 3 for f.
1
Let q be (-4)/18 + 9*(-28)/(-1134). Solve -3*u - 7 = -q*u + 4*l, -5*u = -5*l + 35 for u.
-5
Suppose k + 1 = 3. Suppose 4*a + k*a = 30. Solve 5*c = -t - 23, a*t = 2*c + c - 3 for c.
-4
Let b(r) = 2*r**3 - 18*r**2 - 19*r. Let v be b(10). Solve -3*j + 6 = 2*p, -4*j - v = 3*p - 9*j for p.
0
Suppose 3*x + 7*j = 4*j + 18, 0 = -4*x + 4*j + 16. Solve -18 = -o - 4*l, 13 = x*o + 5*l - 2 for o.
-2
Suppose 0 = -c - 4*a - 10, 26 = 3*c - 3*a + 71. Suppose 8*r = 12 + 12. Let m be r - c - 0/2. Solve 5*l = -3*n + 9*l + 26, 0 = n - 3*l - m for n.
2
Suppose 0*o + 2*o = u - 4, o + 1 = 0. Let x(p) = -p + p**2 - u*p + 2 + 0*p + 2. Let y be x(4). Solve 2*g - k = y, -2*g + k + 18 = 2*g for g.
5
Let c be 102/27 + (-2)/27*-3. Solve c*l - 10 = 5*j + 31, -22 = 2*j - 3*l for j.
-5
Suppose -5 = -x - 0*x. Let b(l) = -2*l - 45. Let d be b(-24). Suppose -d*n - 4*r = -0 - 2, -7 = -4*n - r. Solve -3*j + 6 = 3*t, 2*j - j + x*t = -n for j.
3
Suppose -4*p + 0*z + 5*z = 20, 2*p - 3*z = -12. Suppose p = 2*h - 0*h. Suppose h = -2*o - 0*o. Solve 5*f - 7 = 5*x - 2, o = 3*x + 2*f - 17 for x.
3
Let d be 20/20*(0 - 0). Solve -16 = -y - 3*u, 0 = 2*y - d*y + u - 12 for y.
4
Let u be ((6*-1)/2)/(6/(-92)). Let v = u - 41. Solve -v*g + 4*p = 23 + 12, 8 = -g + p for g.
-3
Let x = 125 - 126. Let v be (x/3)/((-10)/60). Solve 3*y - 4 = -v*c + 1, 5*y - 4*c - 45 = 0 for y.
5
Let v(c) = -c**3 - c**2 + c + 8. Let m be v(0). Suppose 5*f - 2 - m = 0. Let t = f - 0. Solve 4*o = -x + 20, -t*o + 8 = 5*x - 2 for x.
0
Let q = -1676 - -1682. Solve 4*z = -5*h - 3, 3*h = q*h - 5*z + 24 for h.
-3
Let h = -421 + 423. Solve h*l = -5*k - 2 - 11, 4*k = -3*l - 16 for l.
-4
Suppose n = -64 + 67. Solve -12 = n*b - u, b + 2*u = 7*u - 18 for b.
-3
Let s be 6/21 - ((-72)/(-56) + -6). Solve s*d - 21 = -h, 0 = -5*h - d - 4*d + 5 for h.
-4
Suppose 1 = -4*g + 9. Suppose -12 = -5*d - 4*y + 2, -2 = -3*d + 4*y. Suppose k + 4 = d*k. Solve -k*f = -5*v + 36, -5*f + f = g*v + 8 for f.
-4
Let l(d) be the third derivative of -d**5/60 - 7*d**4/12 + 9*d**3 - 8*d**2. Let n be l(-17). Solve z - q = 3*z - 14, 4*z - n*q = 8 for z.
5
Let l be (-11)/(-6) + (-57)/(-342). Solve l*o = -2*i - 3*o - 1, 5*o - 3 = -4*i for i.
2
Suppose 60 = 7*v + 5*v. Solve 0 = w + 4*z - 2*z - 5, 0 = v*w + z - 16 for w.
3
Suppose -4*y = -7*y + 4*i + 38, -22 = -2*y + 2*i. Suppose 3*x - y = 4*r, 3*r = -3*x + 4*r + 6. Solve 0 = -5*p - 20, 2*p + x = w + 2*w for w.
-2
Let j = -2957 + 2961. Solve -5*h + 25 = j*q - 0*h, 3*q + h = 16 for q.
5
Suppose 0*n = 2*n + 5*i + 10, 4*n + 4*i = 4. Suppose 0 = -4*p + 3*z + 94, 2*z + 92 = -p + n*p. Let t = 25 - p. Solve 0 = -t*k + 4*k + 5, 0 = 5*r - 3*k for r.
-3
Suppose 25*y - 12*y - 65 = 0. Solve 3*d + 2*s - y = -0*s, 3*d = 4*s - 19 for d.
-1
Let t(k) = -k. Let h(p) = 8*p - 5. Let s(w) = h(w) + 4*t(w). Let y be s(2). Solve 0 = 2*o - 10, 7 - 2 = -4*l - y*o for l.
-5
Let u = -512 + 517. Solve 3*a = 15, -u*m + 29 = -3*m + 5*a for m.
2
Let h(t) = 4*t**2 + 2. Let v be h(3). Let n = -34 + v. Solve 5*o - 2*f + 8 = -4*f, -4*o + n*f = -16 for o.
0
Let j(a) = -a**2 + 5*a + 11. Let y be j(6). Solve 0 = -3*l - 4*n - 3 - y, -l - 11 = 3*n for l.
4
Let f be -2 - -1 - -1 - -2. Let u(i) be the first derivative of 2*i**3/3 - 5*i**2/2 + 4*i - 1. Let w be u(2). Solve f = -w*n + 2*q, 10 = 2*n + 4*q - 18 for n.
4
Let v = -1011 - -1014. Solve v*t = 3*j + 6, -2*j + 4*j - 8 = -2*t for j.
1
Let q(b) = -b**3 + 16*b**2 - 25*b - 18. Let l be q(14). Solve -4*n = -v - v + l, v - 4*n = 22 for v.
2
Let i(h) = h**3 + 43*h**2 - 38*h + 274. Let k be i(-44). Solve -3*p - 4 = -5*m + 3*m, -k = -5*m - 3*p for m.
2
Let k = 1 - 0. Let u be (-40)/(-5) - k*2. Let x(t) = -t + 14. Let o be x(u). Solve 0 = -4*z + 3*r + 21 + o, r = 4*z - 23 for z.
5
Let g(y) = 2*y**2 + 13*y - 7. Let p be g(-10). Let f be p/12 + 6/8. Solve 5*s + 0*s = -10, -2*m - s = f for m.
-2
Let y be -5*6/(-18)*-3 - -6. Solve 5*n + 15 = 0, 2*n - y = 3*i - 4 for i.
-1
Let x(k) = -3*k + 8. Let r be x(-6). Let o be (-1 + r)*6/30. Let t be (-4)/(-6)*(1 + 2). Solve 5*h - t*s - 8 = -s, 3*s = -o*h - 4 for h.
1
Suppose -23 = -8*m + 17. Solve -2 = -m*h + 3*i - 0, -4*h - 28 = 5*i for h.
-2
Let w be (8/(-6))/1 - (-156)/36. Solve 0 = q + 4*y - 2*y - 5, -w*q = -y + 6 for q.
-1
Let a be 0/(-1*3 - -1). Suppose 6*j = 8*j - 24. Suppose -j*b + 16 + 8 = 0. Solve b = o - 3*u, 0 = -2*o - 5*u + 4 - a for o.
2
Let j(w) = -2*w + 8. Let i be j(-6). Let q = 165 - 161. Suppose -f - q*f = -i. Solve -f*m = -c + 11, c + 4*m = -0*c - 21 for c.
-5
Suppose 28 = 3*s - 35. Let g be -10*2/8*-2 - 0. Suppose -g*p - 5*p = 0. Solve -2*q + 10 = p, -5*t - 6 = q - s for t.
2
Let d be 3/1 + 14/(-1). Let g = d - -14. Let l be 2 + -2 + 3 - -16. Solve -g*h + 0*i = -i - l, -12 = 3*i for h.
5
Let k = -81 - -46. Let a = 37 + k. Solve 4*r - z + a = -17, 4*z = -3*r - 19 for r.
-5
Let x(z) = -93*z - 367. Let o be x(-4). Solve -o*a + i + 20 = 0, -3*a + 3*i - 4 = -28 for a.
3
Let d(b) = -b**2 + 2*b + 10. Let y be d(4). Suppose 2*n - 3*n + y*k - 7 = 0, -4*k + 5 = -5*n. Solve 2*r - i = -n*i + 8, 2*i - 14 = -5*r for r.
2
Let r = -70 - -72. Let j be 2/((-18)/(-36)*2*r). Solve o + 5*i = -23 + j, -2*o + i + 11 = 0 for o.
3
Suppose -34 = -5*f - 2*u, -4*f - 2*u = 3*u - 17. Solve -4*q - f = 3*g - 0*g, 0 = -4*g + 16 for q.
-5
Suppose 5*t + 17 + 8 = 0. Let o be 6 + (0 - -2) + t. Solve 5*n + 4*v - 6 = 0, v - o - 3 = n for n.
-2
Suppose 0 = -2*g - 3 + 9. Suppose 3*y = 39 + 12. Solve -y = g*c - 5*s - 0*s, -4*c + 20 = 4*s for c.
1
Suppose -2*l + 4 = -6. Suppose 4*z - 85 = l*y, 0 = 2*y + y + 15. Solve -g + 7 = -2*v, -10 = -5*g + z for v.
-1
Suppose -12 = -5*r - 2*v - 0*v, 4*r + 4*v = 12. Suppose 2*g - 6 = -2*s, -s + 11 = r*s + 5*g. Solve -2*y - 1 + 5 = 2*x, -3*y + 8 = s*x for y.
4
Suppose -57 - 63 = -5*b. Let p be 15/(-20)*-1*b. Let n be 54/p - (-1 + -1). Solve -h = 5*g - 1, -3*g - n = -5*h + 2*g for h.
1
Suppose -2*k + 256 = 58. Suppose -87 = 4*j - k. Solve 5*c = 4*a + 4*c - 20, 0 = -2*a + j*c + 20 for a.
4
Suppose 65*a = 72*a - 14. Solve -a*y = -2*r + 1 + 13, -5*y = 25 for r.
2
Let r(h) = -h**3 - 12*h**2 + 27. Let i be r(-12). Let o = i - 22. Solve o*x + 3*u = 10 - 1, -x - u + 1 = 0 for x.
3
Let h be (-140)/(-24) + 30/(-36). Solve -3*z = -h*w + w, z + 4*w = 16 for z.
4
Suppose 3*v - 7 = -y - v, 2*y - 2*v = 14. Suppose -2*k + 11 = y. Solve -2 = -k*x, 0*b = 3*b - x - 8 for b.
3
Suppose -35*d = -26*d - 45. Solve -3*u + 12 = -3*q, 5*u = d - 0 for q.
-3
Suppose 5*j - 15 = 0, -j + 22 = 3*r + 7. Suppose 0 = 11*l - 14*l - 5*w + 51, -7*l + 145 = 3*w. Solve 3*d = 5*s - 0*s - l, r*s = -d + 21 for d.
1
Suppose -3*t - 2 = 13. Let f = -16 - t. Let h = -11 - f. Solve q - 7 = 2*s - 3*s, -4*s + 4*q + 12 = h for s.
5
Let w be (18/4)/(1/2). Let c = -491 - -485. Let f = w + c. Solve 2*t = 2*u + 4*t + 6, t - 5 = f*u for u.
-2
Suppose 0 = -5*f - 2*a + 16, -4*f = -4*a - 11 - 13. Solve 0 = -2*z - 4*w - 6, -w + 4*w = -f*z - 7 for z.
-1
Suppose 4*p - 3 = 5*r - 11, 0 = -3*r + 4*p. Solve -s = r*m - 5 - 1, 0 = -m - 5*s - 8 for m.
2
Let k = -23 + 12. Let z(a) = -2*a - 18. Let j be z(k). Solve -4 = -4*f, f = -2*c + j*f - 9 for c.
-3
Suppose -2*u + 3*u = 1, -2 = -2*k + 4*u. Let l be k/7 - 55/(-35). Solve 0 = -3*w + 3*v - 21, l*v - 15 = 3*w + v for w.
-4
Suppose n + l = 4, 12 = 5*n - l + 10. Suppose -3*d + 0*d + 6 = -q, 12 = 3*