 - j + 9 = -10 for m.
3
Suppose -3*h = 2*h + 155. Let f = -23 - h. Solve -2*n - u + 11 = 0, u = -2*n + 3*u + f for n.
5
Suppose -n - 16 = -4. Let r be n/4*10/6. Let t be (4/r)/(12/(-30)). Solve 3*z + 3*m + m + 26 = 0, 2 = 4*z - t*m for z.
-2
Suppose 27 = 18*o + 9*o. Solve -4*z = 2*f - 6, -o = 3*f - 2*f - 2*z for f.
1
Suppose 5*j = 4*i - 5*i - 120, -288 = 3*i - 3*j. Let c be i/(-45) + (-2)/9. Solve 5*k + 0 = -c*l - 21, 0 = -2*k + l - 3 for k.
-3
Suppose 2*n - 17 = 3*u, -162*n - 2*u = -165*n + 18. Solve 4*g + 29 - 3 = -5*b, 3*g = 4*b - n for b.
-2
Suppose 4*s = -27*s - 11*s. Suppose -2*r - i = -21, 2*r - i + 5*i = 12. Solve v + 2*d - d - 6 = s, 5*d - r = v for v.
3
Let f = -10 + 13. Suppose 47 = f*z - k, -k - 20 = -4*z + 42. Solve -4*h + 4*r - r = -19, 5*h - 2*r = z for h.
1
Let b(h) be the first derivative of -3 + 4*h - 3*h**2 - 1/3*h**3. Let v be b(-6). Solve v*i - 2 = i - 5*k, -k = 2 for i.
4
Suppose 3*a - 108 = -12. Let g be 32/6*24/a. Solve x - g*x + 2*t = -3, 3*t + 12 = -3*x for x.
-1
Let z(o) = -6*o + 64. Let n be z(10). Solve -2*x - 2*s = 10, n = -x - 4*s - 1 for x.
-5
Suppose -2*q - w = -12, -8*q + 12*q - 3*w = 24. Solve -q*k + k + 25 = 5*d, -2*k + 2*d + 10 = 0 for k.
5
Let p = -60 - -79. Suppose -8*i + 13 = -p. Solve -z = i*g + 5, -2*z - 4*g - 5 = 1 for z.
-1
Let s = 9 + -9. Suppose s*h - h = -19. Suppose -h = -m - 11. Solve 2*r = 5*k + m + 23, 0 = 3*r + 4*k + 11 for r.
3
Suppose 60*q - 1057 = 83. Solve 3*v + 4*d = q, 3*v + 3*d - 21 = -6 for v.
1
Let c be 46/12 - (-6)/36. Suppose 4*v = -4, 0*v - 8 = -c*r - 4*v. Solve -r*s = -2*x - 8, 5*x - 1 = 9 for s.
4
Let i(m) = -7*m - 33. Suppose -7*x = -8*x - 5. Let p be i(x). Solve 5*z = -3*y - 5, -5*y + 1 - 22 = p*z for y.
-5
Suppose 4*v = -3*z + 1, 2*z - 4*z - 18 = -2*v. Let g(m) = -m**2 - 6*m - 3. Let y be g(-5). Solve -u = -v*c - y*u - 15, 0 = -2*c + 4*u + 6 for c.
-3
Suppose 0 = 87*u - 83*u - 20. Solve 3*y + y = -d + 5, -4*d + 20 = u*y for y.
0
Let i be ((-81)/18)/(3/(-8)). Let q = i - 12. Suppose -4*a = 3*l - 5, 2*l = -4*a - q*l + 10. Solve n - 17 = 4*n - a*j, 5*j = 5*n + 25 for n.
-4
Let f = 318 - 313. Solve f*r = -3*x + 20, x + 4*r = 4 + 5 for x.
5
Let f(z) = 13*z - 74. Let j be f(6). Solve 2*o = 3*n + 4, 0*n + j*o - 18 = n for n.
2
Suppose -6*h + 4*a + 35 = -h, 0 = -4*h - 5*a - 13. Suppose 0 = -g - h*g - 0*g. Solve g = -3*v - 6, -4*m + 1 + 7 = 4*v for m.
4
Let h = -14 + 14. Let l be (h + 1 + -1)/1. Suppose -1 = -t + 3. Solve r - n = t, -5*r + l*r + 18 = -4*n for r.
2
Let a(l) = -25*l**2 - 1. Let o = 18 + -19. Let p be a(o). Let s be (-2)/11 + p/(-22). Solve 3*d - 4*w - s = 4, -5*d + 19 = 4*w for d.
3
Let p be (-44)/(-154) - (-2)/(-7). Suppose 0 = -p*z - 5*z. Suppose z = 3*j - j - 8. Solve -4*t - 21 = 3*d - t, -3*t = j*d + 25 for d.
-4
Suppose 0 = -4*r - 4*n + 8, 4*r - n = 28 - 5. Solve -23 = -r*c - m + 5, -2*m - 9 = -3*c for c.
5
Let f(r) = r**2 - 6*r + 7. Let a be f(9). Let v = a + -6. Let z = 41 - v. Solve 2*b = 4*y - 5 + 13, 3*y = -2*b - z for y.
-3
Suppose -3*t + b + 9 = 0, t + 2*b - 7*b = 3. Solve 4*u + 15 = 5*n, 0*n + 5*u = n - t for n.
3
Let u = 228 - 226. Solve 3*t + 4 = -u*l, -5*l + 4*t = -0*l + 10 for l.
-2
Suppose -7*k = -83*k + 304. Solve -3*y + r = -1, -k*y = -8*r + 3*r + 6 for y.
1
Suppose 12*n - 30 = -6. Solve -3*t + 0*c - 6 = c, -t - n = c for t.
-2
Suppose 3*z - 3*g + 2*g + 1 = 0, 3*g = -4*z + 3. Solve 0*l = 2*l - 10, z = 4*f - 5*l + 9 for f.
4
Let p(k) = 20 + 4*k - k**2 - 10 - 11. Let g be p(2). Solve -2*w - 4 = -5*t + 2, 6 = -g*t - 2*w for t.
0
Let z = 41 - 14. Suppose -2*s - 5 = z. Let b = s + 19. Solve -2*x + b*x = -2*y - 4, 0 = 2*y - 2*x + 10 for y.
-3
Suppose -6*s + s - 14 = 4*j, 5*s + 3*j = -13. Let l(p) = -p**3 - p**2 + 3*p + 5. Let g be l(s). Solve -9 = -2*n + n - g*o, 3 = -4*n + o for n.
0
Let k = 6 + -3. Suppose y - 6*y + 26 = -l, k*y = 5*l + 20. Solve -y*v + 5*f - 12 = 2*f, -2*v - 7 = f for v.
-3
Suppose -2*j + 14 = 3*r, r = 4*r - j - 11. Solve 2*a = q - 4, -4*q + 3 + 1 = r*a for q.
2
Suppose 8*g - 5*g + 2*g = 0. Solve 3*a - z - 9 = -0, -a - 3*z + 13 = g for a.
4
Suppose 6*m - 11 = 7. Solve 2*o - 3*o = -4*x + 24, -1 = 4*o + m*x for o.
-4
Let l = -51 + 54. Let w = -2 + 5. Let g be (1/(w/(-9)))/(-1). Solve -l*z + 5*z = 3*v - 13, -g*z - 5*v + 9 = 0 for z.
-2
Suppose -9*c - r - 17 = -14*c, 0 = -c + 3*r + 9. Solve 5*z + c*f + 17 = -0*z, 0 = -4*z + f for z.
-1
Let p(i) = -i**3 - 4*i**2 - 2*i - 6. Let b = 39 + -43. Let k be p(b). Let n be 0/(3*2/3). Solve -2*l - k*x - 2 = n, -4*x = 6 + 10 for l.
3
Let h be (-4)/(-10) + (-172)/(-20). Solve 2*f - n = h, 5*f = 5*n + 40 - 15 for f.
4
Suppose 0 = -5*y + 16 + 4. Let r be 1 - (0 - 0) - (-8)/y. Solve 3*k = 2*k - r*m + 9, -3 = -3*k + 3*m for k.
3
Let x(j) = -2*j**2 + 20*j - 14. Suppose -5*h - 3*c = -54, 0*h - 5*c - 21 = -4*h. Let u be x(h). Solve 12 = 7*w - 3*w - 4*y, u*y + 4 = 2*w for w.
4
Let f be (-19)/(-3) + 10/6. Solve a - 8 = n + n, 4*n - f = -4*a for a.
4
Let d(q) = -8*q + 65. Let z be d(8). Solve 4*j - 8 = -l, -z = -3*j - 2*j + l for j.
1
Suppose 5*d + 55 = 5*f, -4*d - 11 - 9 = 0. Suppose 55 = f*r - r. Solve 4*p = c - r, -2*p - p = 2*c for c.
3
Let x = 783 - 781. Solve -4*i + 5 = -w, -w = -3*i + 2 + x for i.
1
Let p(t) = -t**2 + 10*t - 21. Let f(s) = 1. Let o(g) = -3*f(g) - p(g). Let m be o(8). Solve -20 = r + 4*u - 6, m*r - u + 1 = 0 for r.
-2
Suppose 19*c - 18*c = 0, 0 = -5*x + 4*c + 10. Solve 2*j = -3*z + 4*z + x, -2*z - 4*j - 12 = 0 for z.
-4
Suppose 154 = 37*i - 438. Solve -3*j = x, j - 3*x = 2*x - i for j.
-1
Suppose -5*u + 2*u = -6. Suppose -s + u = -1. Suppose -3*n - 5*b = -14, -5*n + 5*b + 0*b = -10. Solve 0*t + s = n*t + 3*d, d = 3*t - 7 for t.
2
Let m(h) = h**3 + 7*h**2 + 13*h + 171. Let u be m(-8). Solve -15 = -9*t + 4*t, -6 = u*n + 3*t for n.
-5
Let i(x) = -6*x - 28. Let w be i(-12). Let c = 48 - w. Solve -z + 1 = -2*b, b - 2 = -c*z - 16 for b.
-2
Let m(p) = p**3 + 2*p**2. Let w be m(1). Solve 4*c - w*r = -c + 10, 3*c = -5*r + 6 for c.
2
Let d = 12 - 36. Let t = -17 - d. Let i be 4/(-26)*(-4 + -11 + 2). Solve -3*w = -2*m - t, 0 = w + 4*w - i*m - 5 for w.
-1
Let m = -107 - -109. Solve 10 = m*s, -3*t - 8 = 2*s - 33 for t.
5
Let z(d) be the third derivative of -d**5/60 - 7*d**4/24 - 2*d**3 - 22*d**2. Let h be z(-4). Solve h*p + 3*k = 2*p - 15, -6 = -p + k for p.
3
Let j(o) = 11 - 6 - 14*o + 6*o + 47. Let u be j(6). Solve 3 + u = -5*x - 4*p, 4*x = p - 14 for x.
-3
Let d be 5/(-20)*58*(0 - -2). Suppose 4*b - 5*b + 4*o = -59, 3*b - 2*o = 157. Let q = d + b. Solve -5*t + 5*h + q + 3 = 0, 8 = t - 2*h for t.
2
Let i(q) = 12*q**3 - q**2 + 1. Let t be i(1). Let k = 16 - t. Suppose -z - 4*g = -9*g - 3, -k*z = 5*g - 12. Solve -1 = -z*l + 4*n, -5*l + 5*n = 2 - 7 for l.
3
Let n(f) = f**3 + 9*f**2 + 8*f - 9. Let w be n(-8). Let u = 12 + w. Let o(r) = -2*r - 7. Let m be o(-6). Solve -a + u*q = 4, m*q - 4*q = 3*a - 4 for a.
2
Suppose 13*c + 6 = 15*c. Solve 2*s - 16 = 4*w, c*s - 4 = -4*w - 30 for s.
-2
Suppose k = 4*m - 28, 3*k - 3*m = 2 - 41. Let o be (-2)/(-10) + k/(-10). Solve 0 = -2*p - o - 3, -6 = 2*n + 4*p for n.
1
Let m be 10/2 - 3 - 2. Suppose m = -2*o - 2*o + 24. Suppose 0 = -2*a - 5*y - 1 - 9, -25 = -a + 5*y. Solve -a*n + 4 = 3*s, -4*n + o = s - 0*n for s.
-2
Suppose -4*a + 2*n - 8 = -36, -2*a - n + 6 = 0. Let u(l) = 12*l + l**2 - 2*l - 6 - 2*l**2 - 3*l. Let p be u(6). Solve -3*b = 5*j - 2*b, j - a*b - 26 = p for j.
1
Let k = 41 + -68. Let g = -23 - k. Solve -3*v = -0*a + 2*a + 16, 3*v - g*a + 4 = 0 for v.
-4
Let p(o) = -o**2 + 2*o + 7. Let b be p(3). Suppose -2*c + 3*c - b*z = -2, 9 = 2*c + 5*z. Solve 0 = -5*g - 25, -4*r + 5*r = c*g + 15 for r.
5
Let c = -4 - -6. Let n(t) = 3*t**2 + 3*t + 3. Let m be n(-1). Solve -v + m*k + 2 = 0, 5*v - 10 = c*k + k for v.
2
Let i = 695 - 693. Solve -2 + 13 = 3*b + 4*n, i*b = -3*n + 7 for b.
5
Suppose 0*i - i = 2*o, -5*i - 18 = o. Let l = i - -8. Solve -2*u + 4 = 0, -l*m + 3*u - 2 = -2*m for m.
2
Let a be 3*(-4 - -4 - 1). Let o(h) = -4*h + 1. Let t be o(a). Let g = 8 + -6. Solve 0 = b + g*f - t, -5*f + 30 = b + b for b.
5
Let y = 46 - 42. Let g be 4 - 9/(-12) - 3/y. Solve g*j - 2*w + 17 = -w, -40 = 5*j + 5*w for j.
-5
Let g = 7 - 2. Suppose 0 = v + g*b - 83, -5*v - 3*b = 86 - 435. Let n = v + -46. Solve -n + 2 = 4*f - 5*o, o - 4 = 0 for f.
0
Suppose 2*j - 97 = 155. Suppose 