ppose 3*a = o*a - 40. Solve -3*b + a - 3 = v, -4*v = 3*b - 32 for v.
5
Let o = -18 - -24. Let x(t) = -2*t - 4. Let j be x(-3). Suppose -j*n + o = -2. Solve 0 = 4*q + n*d, 4*q - 4 = -0*q - 3*d for q.
4
Let i be (60/25)/(2/5). Solve 0 = 2*x + 6, -2*n - x - 5 = i for n.
-4
Suppose 11 + 23 = 2*w. Solve 5*k + 3 = -0*k + 2*u, -3*k - w = -5*u for k.
1
Let b(t) = t**2 + 4*t + 3. Suppose 16 = -3*s - q, -3*q = 8*s - 3*s + 32. Let k be b(s). Suppose l - 3*l = -6. Solve -l*o - 2*d + k = d, -d - 4 = -4*o for o.
1
Let p(k) = -k**2 + 7*k + 14. Let y be p(8). Solve 4*w - 3 = 5*z - 10*z, -y = w - z for w.
-3
Suppose -5*v - 4 = 11. Let d(f) be the third derivative of f**5/60 + f**4/24 - f**3/6 - f**2. Let j be d(v). Solve -3*g - 4*l + 20 = -2*g, j*g - 24 = -l for g.
4
Let b = -8 - -14. Suppose 0 = 3*i - i - b. Let a be ((i - 3) + 1)/1. Solve 2*c = -x - 3, -x - 2*x + a = c for x.
1
Let a = -15 - -17. Let p = 2 - 2. Let w = a - p. Solve -w*b = -2*t, 4*b = 3*t - 4 + 2 for b.
-2
Let j(x) = 2*x - 26. Let q be j(14). Solve 5*o + 2 + 1 = q*s, 0 = 2*s + 5*o + 7 for s.
-1
Let h(s) = -s**2 - 10*s - 6. Let d be h(-7). Solve -4*m + 2*m - 4 = -f, -3*m - d = 3*f for f.
-2
Suppose -c + 18 = 4*p, 9 = -2*p - p. Suppose -k = q - c, 4*k - 12 - 12 = -q. Solve 15 = 4*z - 5*v, 3*z + 13 - q = -4*v for z.
5
Suppose 8 = -3*h + 44. Suppose -5*t + 13 + h = 0. Solve 0 = 2*f - 2*u - 3*u + 19, 0 = t*f + u + 7 for f.
-2
Let t(a) = a + 15. Let r be t(-5). Solve -v = -2*i + r, -i + 2 = 3*v - 3 for v.
0
Suppose -4*c = -12 - 0. Suppose 1 - 4 = -3*y. Suppose c*i - y - 5 = 0. Solve -5*s + 5 = 0, -i*s + 19 = -5*z + 2 for z.
-3
Let m = 1 - -1. Suppose -8 = -5*a - 2*n - 0*n, -3*n = -m*a - 12. Solve -3*o = o - 4*i - 28, -3*o + 5*i + 31 = a for o.
2
Suppose -2*j = -10, -5*u - 4 - 91 = -j. Let t = -17 - u. Solve -4 = -3*m - 2*f + 1, -f + t = 0 for m.
1
Let h = -4 - -8. Solve -3*c = 3*k - k + 4, h*c = -2*k - 4 for c.
0
Suppose -5 = -10*n + 5*n. Solve g = l + n - 3, -4*l - 2 = -2*g for g.
-5
Let s(m) = m + 1. Let t be s(-1). Suppose k = -t*k. Suppose k = -3*o - 4 + 7. Solve -5*y = 5*j - 35, y - j + 0 = o for y.
4
Let p be 5*(-1 - (-11)/5). Solve -2*f = -w + 3*f - 22, -3*w = -3*f + p for w.
3
Suppose 3*l = -15, 3*m + 10*l - 5*l + 10 = 0. Let z = m - 5. Solve 2*t - 2 = -z*t - 2*j, -2*t + 5*j = -23 for t.
4
Let x be (12/(-4))/(-6)*0. Solve -7 = 4*w - 3*i - 2, x = -5*w - 3*i - 13 for w.
-2
Let z be (-2)/(-8) + (-152)/(-32). Let c = z + -7. Let j be 0/2 - (c - -1). Solve 5*y = -5*h, j = y - 4 for h.
-5
Let h = -24 - -41. Let c = h - 38. Let q be c/(-3) + -1 - 1. Solve 3*p = 3*j + 3, -j = 2*p - 0*p - q for j.
1
Let k = -59 - -64. Solve -3 = 4*t + k*n, n = 3*t - 3*n - 21 for t.
3
Suppose -2*y + 4*n - 123 = -5*y, 3*n + 9 = 0. Suppose 0 = -6*q + 141 + y. Solve -5 = 2*m - 3*m, -5*m + q = 3*w for w.
2
Let c(z) = -z**3 + z**2 + z + 7. Let b be c(0). Solve 0 - b = -3*t + 2*u, 3*t = 3*u + 9 for t.
1
Suppose 0*n - 48 = -4*n. Suppose 3*a - 8 = 4*b + n, -4*a - 3*b = 15. Solve 4*o - 4*f + f + 7 = 0, -2*o + 4*f - 16 = a for o.
2
Let w = -187 + 194. Let z(k) = 2*k - 1. Let x be z(2). Solve 0 = -4*a - 3*n - 7 - w, 0 = x*n - 6 for a.
-5
Let q = -3 - -5. Let v be (1/3)/(q/12). Suppose -y + 20 = 5*t, -3*t - v + 6 = -y. Solve h + 4*s - t = -6, 4*h + 3*s = 14 for h.
5
Let d(k) = 3*k + 3. Let i be d(2). Solve -10 = x + 2*x + n, i = -2*x - 3*n for x.
-3
Let y(d) = 4*d - 11. Let j be y(3). Let a(p) = 5*p**2 + 2*p - 2 + 4*p**2 + 1. Let o be a(j). Solve -o = 6*c - c, 3*q - 1 = 5*c for q.
-3
Suppose 0 = -3*k - 12 + 51. Let u = k + -9. Solve c - 2*c - 14 = -4*y, 2*y = -5*c - u for y.
3
Let t be (2/(-2))/(3/(-51)). Solve 4*n - 5*a = -t, -2*n + 2*a = 2*n + 14 for n.
-3
Let t be 7/(-2)*(-6)/3. Let s = -4 + t. Solve -5*r + 27 = n, 2*n - s*r + 6 = -r for n.
2
Suppose -5*z - 2*a - 4 = -2, -z + 3*a = -3. Let o be 2 + 6 + (1 - z). Let f = o + 8. Solve 2*n = -3*b + 6*b + f, 2*n - 8 = 0 for b.
-3
Let u = 105 + -103. Solve 7 + 0 = u*y + g, -15 = -3*y + 3*g for y.
4
Let o(h) = -h**3 - 3*h**2 - 3*h - 6. Let j be o(-3). Solve -4*l = -12, -m + j*m = -5*l + 7 for m.
-4
Let g(f) = 0*f**2 + 4 - 5*f**2 - f + f**3 + 3*f**2 + 0*f**3. Let d be g(3). Suppose 3*s - d = 5. Solve -2*a - 22 = s*v, -2*v - 5*a = 10 + 3 for v.
-4
Suppose -2*r = -5 - 3. Let t be 10/r*24/15. Suppose -n + 10 = t*n. Solve 3*d - 13 = -4*a + 3*a, -4*a + 2 = n*d for d.
5
Let i(l) = l - 8. Let a be i(11). Suppose q + 3*p = 4, -4 = -2*q + 5*p + 4. Solve -j + 2 = -5*y - 14, a*y = -q*j - 28 for y.
-4
Suppose 2*p - 10 = 2*z, p - 3*p + 13 = -5*z. Let l(o) = -o**3 - 9*o**2 - 9*o + 7. Let k be l(-8). Let i = -7 + k. Solve 3*y + i = w + 4*w, 5*y = -w - p for y.
-1
Let u = -16 - -22. Solve -a + 3 = -4*s - s, 0 = -2*s - 2*a + u for s.
0
Let k be (8/(-28))/((-2)/14). Solve 0 = -k*d + 4*u + 10, 0 = 5*d + 2*u - 5*u - 18 for d.
3
Suppose 0 = 5*y + 4*g - 34, 5*y = 2*y + g + 17. Solve p = -p - y, -3*a = -2*p + 9 for a.
-5
Suppose q + 6 = 3*q. Solve 0 = q*b - 4*b - n + 8, -2*n = -6 for b.
5
Let m be 0 + (-2 + -1 - -5). Suppose 0 = n - m*n + 13. Solve -4*a = -5*k - n, 4*a + 8 = 3*k + 19 for a.
2
Suppose 3 = -2*v - 4*o + 1, 3*v + 4*o + 1 = 0. Solve -f + v = -z, -z = 5*f - 2*z - 21 for f.
5
Let r be 6/(12/30 - (-4)/15). Solve -m = -2*v + 2*m - r, -4*v = 5*m - 15 for v.
0
Suppose 4*w + 16 = 2*i + 3*w, 2 = w. Solve 2*h - 5 - i = -3*j, 3*j - h - 11 = 0 for j.
4
Let v = -48 + 63. Solve 2*i - 18 = 5*i + 4*u, 0 = -5*u - v for i.
-2
Suppose 0 = 2*q + 13 + 25. Let f be -2 + 0 - (q - 3). Let o(m) = m - 6. Let w be o(8). Solve -5*s = 2*b - 7*b - f, 4*s - 10 = w*b for s.
1
Suppose -9 = 9*z - 12*z. Solve -3*m = -z*b + b + 6, 0 = -4*b + 3*m for b.
-3
Let z be -4 + (3 - (-3 + -1)). Solve 5*f - z*k = 24, -2*f + k + 13 = 4 for f.
3
Let p(x) = x**2 - x + 2. Let y be p(2). Let q = 1 + 5. Solve 4*f + 17 = -3*h, q*h - y*h - 4 = 5*f for f.
-2
Let p(o) = 5*o - 11. Let x be p(4). Let k = -6 + x. Solve 3 = k*r, 5*r + 0 - 2 = n for n.
3
Suppose -8*q + 14 + 82 = 0. Solve 0 = -4*t + 4*c - q, -4*t + c + 0*c - 9 = 0 for t.
-2
Let c be (-3 + 3 + 10)/2. Suppose 0 = -c*a - 1 + 11. Solve -2*m - a*m - 9 = -5*o, -5*o = -5*m - 10 for m.
-1
Suppose -x + 15 = -0*x. Solve -15 = w + 5*u, -4*u - x = -5*w - 3 for w.
0
Let z(q) = q + 21. Let d be z(-10). Solve d = -4*r - 3*y, r = -3*y + y + 1 for r.
-5
Let n(l) = -l**3 + 17*l**2 + 17*l + 31. Let u be n(18). Solve 4*p - 4*a = -20, 4*p - a - 2 = -u for p.
-2
Let z(p) = p**2 + 6*p + 5. Let f be z(-5). Suppose f = v + 3*v - 8. Solve v*o + 5*k = -17, -4*o + 41 = -2*k - 3*k for o.
4
Let s be (-3)/(-2)*(-4)/(-6). Let r be (6 + -2 - s)*3. Solve t + 2*k = 3, -3*t - r = -2*t - k for t.
-5
Suppose 2*p - 4*h - 10 = 0, -3*p + 4*h = 5*h + 6. Let b be (p - (3 + -4))/(-1). Solve 0 = 4*y - 5*u + 25, b = -y - 5*u - 0*u for y.
-5
Let w = -22 - -35. Solve -2*y + 2*z + z = 19, z - w = 2*y for y.
-5
Let m be (9/(-2) - -4)*-8. Solve 4*k - 2*l = -2, -3*k + l - m + 0 = 0 for k.
-3
Let y(g) = 2*g**2 - g. Let w be y(-1). Solve 5*c - w*c - 2*p = -4, 3*c - 4*p + 10 = 0 for c.
2
Let f = -35 + 37. Solve -c + 8 = 2*j + f*c, -5*c - 16 = -4*j for j.
4
Suppose 0 = -4*d - 4*b + 72, -4*d = 2*b - 39 - 43. Let k be 219/15 + 2/5. Let v be 1*k/9*3. Solve q = 3*t + 15, 4*q + d = v*t + 55 for q.
3
Suppose -10 + 30 = 4*j. Solve r = d, -7 = -d - 2*r + j for d.
4
Suppose 5*i + 522 = 3*x, 4*x + 4*i + 519 = 7*x. Let a be (-3)/(-4) + x/52. Solve 4*c - 2*l - 6 = 0, 10 + a = 5*c + 4*l for c.
2
Let k = -1 + 7. Let r = k + 0. Suppose -2 + r = t. Solve u + 7 + t = -2*w, 2*u = -2*w - 16 for w.
-3
Suppose -5*f - 27 = -3*m, -6*f + 5*f + 17 = 5*m. Solve 2*l = -3*h - 6, -m*l + 2*l - 6 = -3*h for h.
0
Suppose 5*a = -4*z + 4, 2*z = 6*z - 5*a + 36. Let l = -1 - z. Solve -l*m - 12 = -3*y, 16 = -5*m - 3*y - 12 for m.
-5
Let v be (1/((-2)/4))/(-1). Let n(d) = d**2 + 2*d - 4. Let q be n(-4). Let b = 9 + 13. Solve 2*x + 8 = j, v*j + 3*j = q*x + b for x.
-3
Let g(o) = 4*o + 24. Let p(b) = -2*b - 12. Let c(f) = 6*g(f) + 13*p(f). Let x be c(-13). Solve -5*r + x = 2*s, -2 = s - 4 for r.
2
Let g(o) = o**2 + 3*o. Let r be g(-3). Let w be -1*(r/1 - 3). Let i = w - 3. Solve 4*l = -2*y - 4, i = -2*y + 2*l + 11 - 3 for y.
2
Let d = -122 - -128. Solve -3*b - 6 = q - 2, -5*q = b + d for b.
-1
Let s be (2 - (-26)/(-5))*-5. Let r = -12 + s. Solve r*c - 5*a = 8, -c + 10 = 4*c + 