*l = -12 for z.
-4
Suppose 0 = -3*i + 49 - 16. Let b = i - 7. Suppose 4*k = -0*k - b*v + 36, 0 = -4*k - 5*v + 41. Solve -25 = -0*d + 5*d + 2*l, 0 = k*d - 4*l + 20 for d.
-5
Suppose 4*m + 26 + 74 = 3*j, 0 = 2*j - 2*m - 70. Let y = j + -36. Solve -y*d - 6 = 5*x - 43, d = 3 for x.
5
Let b = 165 - 69. Let u = b + -93. Solve 2*h - u = 3*l - 0*h, 4*h = -5*l + 17 for l.
1
Suppose -4*z = -u + 7, 4*u + 9 = -u - 2*z. Let m be ((u - 1)/2)/(1 + -2). Let o = 0 - -4. Solve 0 = -3*f - o*t + 7 + m, 10 = -f + 5*t for f.
0
Let k(f) = 7*f**3 + 2*f**2 - f - 1. Let v be k(1). Suppose -v*r = -3*r - 16, -r - 6 = -5*m. Solve -5*d = 2*t + 9, 3*d + 9 = m*t - 5*t for d.
-1
Let c = 59 + -59. Suppose c = 11*j - 2*j - 45. Solve 3*k - j - 13 = 3*f, f - 3*k + 12 = 0 for f.
-3
Let h be (-2)/25 + 17544/4300. Solve -5*z - 16 + 44 = 2*w, 0 = -w + 2*z - h for w.
4
Let w be 4/6 - 35/(-15). Let u be (6 + -126)/(-8) - 8. Solve -w*r + u*i = 2*i - 10, -5*r = 2*i + 4 for r.
0
Let s be -4*(-4)/(-32)*(-1 + 1). Let u(i) = 4*i + 5. Let c be u(s). Solve -5*m + 4*t = 25, 0 = 5*m + 4*t + c + 20 for m.
-5
Suppose 0*o = -2*o + 8. Suppose y - 9 = -3*m - 0*m, 0 = -3*m + 2*y. Let i be (-39)/6*(m - 4) - 2. Solve 2*p = o*w - 2, -3*p + 2*p - 4*w = -i for p.
3
Let k = 171 - 154. Solve -p = -3*t - k, p - 24 + 11 = 2*t for t.
-4
Suppose 0 = -0*q + 2*q - 6. Let c be (10/q)/((-1)/3). Let p be 40/(-12)*12/c. Solve 4*z = 0, -o + z + 3*z = -p for o.
4
Let l = -581 + 585. Solve i = -p - 1, -5*p + 3 = -l*p + 5*i for p.
-2
Suppose -2*j - 2*y + 248 = 2*y, j + 3*y - 126 = 0. Let v be 28/(-4)*j/(-42). Solve 4 = -r + 3*p, 5*p = -r - 4*r - v for r.
-4
Let d be -4 - (-1)/(4/96*4). Solve -4*k + 2*z = -0*z + 14, -2*z - 10 = d*k for k.
-4
Suppose -4*h = -4*n - 9*h + 11, -12 = -4*n - 4*h. Suppose 5*z = 4*z - 30. Let b = z - -33. Solve v - a = -6, -2*a + 21 = n*v + b*a for v.
-1
Let r = -6 + 8. Suppose -t = -2 + 5, -5 = r*a + 3*t. Let j(l) = l**2 + 3*l - 5. Let v be j(-5). Solve -s = -v*d + s - 2, s = -a*d + 1 for d.
0
Suppose 0 = 3*d + 2*d. Let r(u) = u**3 - u**2 - 2*u + 5. Let v be r(d). Solve 0*f - 5*f = -3*l + 8, 6 = -v*f + l for f.
-1
Suppose 0 = -3*j - 4*x + 26, j - 3*x + 25 = 12. Solve 5*u + 13 = j*s, 3*s - 12 = -0 for u.
-1
Suppose 0 = 3*f - 4*h + 6*h - 72, -3*f - 5*h + 63 = 0. Let a = -23 + f. Solve 0 = -4*m - a*u + 2, 3*u - 6 = 2*m + u for m.
-1
Suppose -y = 2*y + 3, 5*y = -2*d + 47. Solve 4*g - 16 = 2*f, 3*g = 5*f - 0*g + d for f.
-4
Let f = 61 - 113. Let h = f - -55. Solve -4 = h*a + y + 10, -2*y + 2 = 0 for a.
-5
Let z(j) be the third derivative of j**5/60 + 2*j**4/3 + 14*j**3/3 + 20*j**2 - 1. Let m be z(-14). Solve m = -2*w + 5*s + 25, -4*s - 9 = -s for w.
5
Suppose 8*c = 10*c - 12. Suppose c*u = u. Suppose b = -u*b - 4*r, 0 = -b - r + 12. Solve -3*s - 3*j = -5*j + b, 0 = -s - 2*j for s.
-4
Let v = 66 - 51. Suppose 0 = -4*s - s + v. Solve 0*n + n + 4*o = -12, n = s*o + 16 for n.
4
Suppose 5*l - 1 = -4*j - 50, -2*l - 4*j - 22 = 0. Let u be (l/2)/(2/(-4)). Solve -4*v - v + u = o, -v = 2*o for v.
2
Let w be 13/4 - 400/320. Solve -y = w*t - 1, -2*t + 5*y + 1 - 6 = 0 for t.
0
Suppose 11*t - 45 + 34 = 0. Solve -k + 4*l + 4 = 0, 3*k - t = -5*l - 23 for k.
-4
Suppose 3*l + 28 = 17*l. Suppose 2*w + 5*i = l*i + 13, 0 = w - 5*i. Solve -4*o + 33 + 12 = w*t, -10 = -o - t for o.
5
Let a be 5 - 8 - (11 - 0). Let q be (-14)/a*(-10)/(-2). Solve q*i - 27 + 4 = -4*h, -4*i - 4*h = -20 for i.
3
Suppose 4*a - x = -277, 3*a + x + 219 = 4*x. Let d = a + 71. Solve -3*p - k - 4 = 0, 0*k + 2*k + 5 = -d*p for p.
-1
Let w(q) = q**3 + 2*q**2 - 2*q. Let p be w(2). Suppose 3*n = 7*n - 4*h + p, 0 = -3*n - 5*h - 17. Let g = n - -6. Solve g*z + v + 1 + 1 = 0, 8 = z - 4*v for z.
0
Let i(c) be the third derivative of -c**4/24 + 4*c**3/3 - 5*c**2. Let g be i(3). Solve h + 12 = -3*h + 2*q, g*q - 9 = 3*h for h.
-3
Let i be (6/4)/1*2. Suppose -x = x, s - i = 5*x. Let z(r) = 2*r + 50. Let n be z(-24). Solve -s*j + 2*y = -0*y + 13, -2*j + n*y = 12 for j.
-1
Suppose 4*r - 2*s - 4 = 6, -20 = 4*r + 4*s. Let f(z) = -15*z - 12. Let t be f(-1). Solve x - 4*w = 17, r = -3*x + 3*w - t + 9 for x.
-3
Suppose -r + 552 = 23*r. Solve 0*u = 4*u + m - 17, m = 4*u - r for u.
5
Let d be 0/((-4)/(6 - 2)). Let c be (2 - d)*(0 + 2). Suppose n - 30 = -c*n. Solve 9 = -r - 3*s - s, 2*r + 4*s + n = 0 for r.
3
Let i = -4 + 20. Suppose -4*s = -i - 0. Solve -s*n = -0*z + z - 11, -3*n + 18 = 4*z for z.
3
Suppose 0 = -3*q - 3*r + 18, 3*q - 22 = -q - 2*r. Let z = 1 - 7. Let h be q - (z/3 + 2). Solve 3*p + 2*p = 0, -h*m = -p for m.
0
Let h(d) = -d**3 + 6*d**2 - 4*d + 2. Let v be h(4). Let x be -3*(-3)/(v/8). Solve -4*n - x + 6 = -2*g, 0 = -4*n + 4*g + 4 for n.
0
Suppose -2*h = 5*t - 9*t + 54, t - 9 = 2*h. Solve t = i - 5*o, 0 = 4*i + o + 2*o - 14 for i.
5
Suppose h - 43 + 10 = 0. Let c be 18/(-8)*(-44)/h. Solve 5*u + x - 15 = 0, -x = -5*u + c*u + 6 for u.
3
Suppose -75 = -20*q + 205. Solve 10 = -4*m - m + 5*s, m + 3*s + q = 0 for m.
-5
Suppose n = -5*i - 2, -4*n - 4*i + 1 = -7. Suppose 0 = 5*h - 1 - 14. Solve h*g - 9 = 6*g + 3*t, 3*g + 15 = n*t for g.
-4
Let y be (-4)/(-9)*171/38. Solve -5*h = -2*v - y, 0 = h - 4*h for v.
-1
Let h(t) = -59*t + 96*t - 49*t. Let y be h(-1). Suppose -18*d + 22*d - y = 0. Solve 4*u - z = 2 + 6, 0 = -2*u - d*z + 18 for u.
3
Suppose -m = 3*w - 19, 3*w - 55 = -5*m - 2*w. Suppose 5*i + 5*b = 15, -3*b + m*b + 12 = 0. Let d = 279 - 276. Solve -d*u + 4 = -2*t - 1, 2*u + t = -i for u.
-1
Let d(t) = -t**3 + 15*t**2 + 19*t - 27. Let c be d(16). Let r(g) = -g**2 + 21*g + 3. Let f be r(c). Solve f*b = -p + 18, -2*p - 2*b = -p - 13 for p.
3
Suppose 0 = 4*z + 16 - 4. Let a = 7 + z. Solve 3*u - 15 = 0, -5*o = -o + a*u - 20 for o.
0
Suppose 0 = -4*z + 3*s + 20, 12*s = 9*s. Solve -5*k = -2*y + z, 2*k = k + 4*y - 19 for k.
1
Let u = 75 - 73. Let i(d) = d - 4. Let b be i(7). Solve -4*m - u*z + 12 = 0, 4 = -2*m + b*m + z for m.
2
Suppose -4*v + 6*v = 4*m + 26, -4*v - 3*m = 3. Suppose -5*h + 3*b + 26 = 0, b - 2*b = h - 2. Solve -5*f + 2*i = 9, v*i = -3*f + h*f - 6 for f.
-3
Let q(j) = 3*j - 2. Let a be q(2). Suppose a*s = 2*s + 6. Suppose s*v - 3*m - 45 = -v, 3*v = m + 40. Solve 5*i + 4*z = 5*z + 5, -3*z - v = -5*i for i.
0
Suppose n - 97 = -4*l, 2*n - 98 = -4*l - 0*n. Suppose 0 = -3*m + 39 + l. Solve 0 = -5*f - 2*o - m, -f + 2*o = -2*o - 9 for f.
-3
Let m(s) = -4*s + 4. Suppose 0 = 3*c - c - 6. Let j(x) = -3*x + 5. Let g(f) = c*j(f) - 2*m(f). Let y be g(7). Solve 4*o - i - 24 = 1, y = 3*o + 2*i - 5 for o.
5
Suppose 2*k - 10 = y, -k - 20 = -5*k + 3*y. Suppose 0 = -5*h + x - 8 + 28, -h + 4 = k*x. Solve -2*o - 3 = -v - h*v, 4*v = 4*o for o.
1
Suppose 114 - 15 = 3*t. Suppose 0 = -5*r + 73 + 102. Let s = r - t. Solve 3*j + j + s = 2*z, -4*z + 4*j - 4 = 0 for z.
-3
Suppose 4 = 4*n - 16. Suppose -95 = -4*a + n*h, 0 = -a + 6*a + h - 126. Suppose -6*p + a = -p. Solve -3*s = -5*s - 8, -p*s - 26 = -3*b for b.
2
Let d(o) = 4*o + 6. Let i(z) = -z - 1. Let a(b) = -d(b) - 3*i(b). Let g be a(-3). Solve 3*u + 5*w = -g*u - 25, -3*u + 5*w - 5 = 0 for u.
-5
Suppose 0 = -f - 5*f. Suppose f = -h + 1, -2*t + 26 = -5*h - 7. Solve 0 = -5*s - 3*w - 21, -3 = -4*s - 2*w - t for s.
-3
Let r = 14 - 7. Suppose -13 = -i - r. Suppose -i*u = -2*u - m - 7, 0 = m - 1. Solve x + 7 = u*g - 3*g, -3 = -3*g + 5*x for g.
-4
Suppose 2 = h - 6*t + 4*t, t = -3*h + 6. Solve 2*j + 3*c = -h*j - 35, 25 = -5*c for j.
-5
Let g be (8 - 1) + 12/(-17 + 11). Solve -3*n + 8 = -2*c, c = -n + 3*n - g for n.
2
Let r be (10/3)/((-7)/(-42)). Suppose 35 = 5*a + 5*p, -4*p = p + r. Solve -4*x = 3*d - a, -2*d + 14 = -2*x - 2*x for d.
5
Suppose r = 3*q - 5, 0*q - 29 = -3*q - 5*r. Suppose -3*m - 1 = 3*u - 4, -3*u - 15 = -q*m. Solve 4*g + 3*a = 22, -g + a = -m*a + 4 for g.
4
Let g = 27 - 27. Suppose g*v + 5 = v. Suppose 0 = -b - v, 0*p - 16 = 3*p + 5*b. Solve 0 = -2*k + 4, -3*k - 6 = -0*f + p*f for f.
-4
Let k be ((-3)/6)/(27/(-36))*42. Suppose 60 = -5*r + 5*v, -2*r + r + 4*v = 27. Let z be (-2)/(-7) - 12/r. Solve 5*p + 15 = z*c, -4*p + p + 5*c = k for p.
-1
Suppose -l + 3*a + 0 = -18, 24 = 2*l - 3*a. Let i be (-3 - (-1 + 1)) + l. Suppose -d + i = -2. Solve d*c - 25 = g, -4 = -4*c + 12 for g.
-5
Suppose 10*b = 13*b - 6. Let p(h) = 7*h + 4. Let x be p(4). Suppose -3*y - 2*i = -x, y + 2 = 2*i + 10. Solve -6*t + 2*t + y = -3*r, 2*r = -