x for b.
-3
Let l = -56 - -160. Let d = -99 + l. Suppose -v + 5 = -2. Solve -3*c = 2*j - v, -5*j - d*c - 2 = -7 for j.
-4
Suppose 10 = 218*o - 216*o. Solve 5 = 3*f + n, -3*n + o = 2*f - 4*n for f.
2
Suppose 3*z + 6 = -24. Let h = 14 + z. Suppose -4*l - 4*m + 9 = -15, h*l = 4*m + 16. Solve -l*k + 5 = o, -3*k - 2*o + 14 - 4 = 0 for k.
0
Let k be (18/8 - 1)*-8. Suppose -40*o + 48*o = 16. Let x be (k/15)/(o/(-15)). Solve -3*v - 15 = x*s + 25, 0 = -2*v - 10 for s.
-5
Suppose -114*f + 78 = -101*f. Solve 35 = 3*q - 5*y, -5*y + 5 = -f*q + 11*q for q.
5
Let w be 6 + -11 + (1 - -4). Solve 3*t + 5*s = 26, 3*t + w*t = 2*s - 2 for t.
2
Suppose 6*q = -4*w + 4*q + 158, w - 32 = -2*q. Let b be 2/(-6) + 583/(-33). Let f = b + w. Solve -5*a - 2*y = -2*a - 17, -4*y = 4*a - f for a.
5
Let w be 0 + (2 + 8 - 7). Solve 1 = -2*y - w, -2*y = -5*j - 11 for j.
-3
Let j(g) = g - 35. Let h be j(27). Let d = -9 - -5. Let l be d/h*(6 + 0). Solve -5*c = -s + 8, -s + c + 7 = -l*c for s.
3
Suppose 2*q + 10 = -2*t + 4*t, t = 5*q + 5. Suppose -5*v + q*m = -m - 19, -m + 1 = 0. Solve -5*p + 0*p + 2*y = -9, 3*y = v*p - 10 for p.
1
Let w(f) = f**3 + 8*f**2 + 4*f - 10. Let a be w(-7). Suppose 0 = a*r - 18*r. Solve 0 = 5*l + 5*z + 20, 3*l - z = -r*z - 16 for l.
-5
Suppose 0 = h - 3 - 0. Let y = h - 1. Solve 2*d + 0*s = y*s, -d - 2*s = 9 for d.
-3
Let v be 2 + 2/((-6)/(-249)). Suppose 0 = -2*t + 115 - v. Solve -2*u + a = 9, -9 = 5*u - a + t for u.
-5
Let n = 390 + -387. Solve -n = -m + t, 3*m - m + t - 12 = 0 for m.
5
Let o(w) = -11*w**2 + 428*w + 42. Let k be o(39). Let a = 17 - 12. Solve a*z + k*m = 17, z + 18 = -z + 5*m for z.
1
Let c(q) be the third derivative of 1/6*q**3 + 0*q + 0*q**4 + 5*q**2 + 1/15*q**5 + 0. Let p be c(1). Solve 5*x - p*b - 25 = 0, 3*b + 2 + 1 = -x for x.
3
Suppose -5*f - 11 = -13*k + 15*k, -4*k - 1 = 3*f. Solve -p + k*m = 0, 2*m - 11 = 3*p - 3 for p.
-4
Let u(p) = p + 6. Suppose -7 = 9*t + 20. Let q be u(t). Solve -5*y = -q*l - 5, 2*y - 5*l - 11 = -2*l for y.
-2
Let b = -5 + 9. Let k = -14 - -17. Suppose -k*d = -l + 11, 0*d - b*d = -l + 13. Solve -l*n = 3*v - 2, 5*n - 5*v + 28 + 2 = 0 for n.
-2
Suppose 0*q = -5*m - 4*q - 2, 7 = 2*m - q. Solve -2*c + 20 = m*i, -6 + 1 = -i for c.
5
Let o(h) = h**2 - 20*h - 44. Let m be o(22). Solve v = -m*v - x, 0 = 3*v - 5*x for v.
0
Let f be (10/4)/(71/568). Solve -5*t = c - 5 + 4, 4*c - 4*t + f = 0 for c.
-4
Let c be (-1)/3 - (-150)/45. Let o be 36/6 + (-12)/c. Solve -w + 4*v + 25 = -4*w, 4*v = -o*w - 22 for w.
-3
Suppose 2*d - 3*g = -15, -2*d + 2*g = 3*g - 5. Suppose d = 4*w + 10 - 26. Solve 2*o - 2 = s, 7*s - 3*s + 4*o - w = 0 for s.
0
Let n(u) = -2*u**2 + 23*u - 27. Let v be n(10). Solve 7 = 4*b - 5*h, 2 + v = -b - h for b.
-2
Let m(a) = 3*a - 26. Let l be m(10). Solve 5*d = l*z + 41, -2*z - 2*z - 3*d = 1 for z.
-4
Let i = -80 + 84. Suppose i*h - 4 - 4 = 0. Solve -h*v + 4*l = 3*l - 9, -v = l for v.
3
Let d = 5 - 0. Suppose 0*w + 18 = 3*w. Suppose -3 - 9 = -3*c. Solve -w = -r - 2*r, d = o + c*r for o.
-3
Let s(t) = -t**3 + 8*t**2 - 8*t - 5. Let o be s(6). Suppose j - o = -17. Solve 0*u - 13 = -j*u + 5*a, 5*u = -a + 19 for u.
4
Suppose 18 = -2*y + 4*c, 3*y - 2*c = -c - 47. Let b = 21 + y. Solve 2*a = 2*g + 4, b*g - g + 10 = 5*a for g.
0
Let b = 76 + -73. Solve b*i - 20 = 4*l, 3*l + 26 = 5*i - 0*l for i.
4
Suppose -7*j - 5 = 9. Let z(d) = d + 4. Let n be z(j). Solve -g = 0, 5*t - 3*g = n*g for t.
0
Let o = 145 + -130. Solve -o = 4*s + d, -4*d - 4 = -5*s - 28 for s.
-4
Let c be 3/10*55/(-66)*-8. Suppose -3*y + 6*y - 43 = -c*o, 0 = o - 3*y - 26. Solve h - 7 = 2*z - 5*z, -4*h - o = -5*z for z.
3
Let q be 34/1 + 40/(-10). Let x be -1*-1*q/3. Let v(i) = 2*i - 7. Let b be v(5). Solve -4*t + 2 = -b*p, 6*t + x = -4*p + 4*t for p.
-2
Suppose 0 = -5*c + 5*g, -14*g - 7 = -2*c - 19*g. Solve 0 = k - 2*q - c, -4*k = 4*q + 8 for k.
-1
Let d(f) = f**2 + 2*f - 3. Let r be d(2). Let v(p) = -2*p**2 + 24*p - 66. Let x be v(6). Solve 4*q + h - 8 = x*q, 2*h = r*q + 21 for q.
-5
Suppose l + 1 = 3*g - 0, -l = 5*g - 7. Solve 0 = -5*v - q - 13, 2*v - q + 3*q + l = 0 for v.
-3
Suppose 23*q - 36 = 10. Solve t + 7 = q*a, 3*t + 3*a = 2*a + 14 for t.
3
Suppose 2*o + 8 = b, -o = -5*o + 8. Solve 2 = -j + 6, u = -2*j + b for u.
4
Let x(h) = 2*h**2 - 40*h + 184. Let l be x(7). Solve -3*a + l*m - 6 = 0, -m = 4*a + 7 + 1 for a.
-2
Let z be (-630)/(-75) - (-4)/(-10). Let s be ((-6)/4)/((z + -3)/(-10)). Solve s*r = 3*d - d - 4, 5*r - 4*d = -10 for r.
2
Let t = 148 - 138. Suppose 0 = -4*x - 7 - 1. Let y be (x/3)/(4/(-102)). Solve -l - 5*n = -5*l - t, -y = 5*l - 4*n for l.
-5
Let c(a) = a**3 + 6*a**2 + 3*a + 14. Let v be c(-6). Let o be (0 + v - -1)*1*-1. Solve n = d + 5, o*n + 2*n - 25 = -5*d for n.
5
Suppose 0 = 9*i - 2 - 16. Solve 0 = -c - 4*k - 4, 4*c - 4*k - i = -2*k for c.
0
Suppose j + 6 = z, 0*z = -5*z + 4*j + 33. Let u(l) = -3 - 24*l - 4 + 17*l + 8*l. Let w be u(z). Solve -w*o + 0*o = -5*h - 2, 0 = h - 2*o + 2 for h.
0
Let o(h) = -h + 12. Let j be o(10). Solve -3 - 3 = -j*z + q, 4*q = 4*z - 20 for z.
1
Let j be (-72)/(-8) + (15/(-3) - 0). Solve -t - j - 1 = a, -2*t + 2*a = -6 for t.
-1
Suppose -4*p + 13 = -7, 5*p + 45 = 5*q. Solve 2*d + q = 2*i + 3*i, -4*d = 4*i for d.
-2
Let s = 4 - 10. Let g(p) = -2*p - 9. Let x be g(s). Solve u - x = 2*u + 2*o, -4*u - 8 = 4*o for u.
-1
Suppose -9*i - 19 = -10*i. Suppose -i = v + 5*u + 2, -2*v + 5*u + 33 = 0. Solve 20 = 5*w, 4*a + 2*w - 12 = v*w for a.
5
Suppose -16*t - 2*t = -36. Let i(f) = -f + 2. Let l be i(0). Let d = -2 + l. Solve -t*g + d*z = -z + 5, 3*g + 11 = -2*z for g.
-3
Suppose -b - 58 = f, -b + 5*b + 5*f = -227. Let n be 22/4 + b/42. Solve -2*s = o - 4, n*o - 3*s + 23 = 2*s for o.
-2
Let b be (-1)/(-2)*(-5 - -5). Suppose b*k = -3*k + 6. Let v be 1 - (0/2 - k). Solve x + 10 = v*q, -q = -x + 3 - 5 for x.
2
Let g = 391 - 387. Solve -2*t = -t - 4*b - 15, g*b + 11 = 5*t for t.
-1
Let k(l) = 7*l**2 - 3*l. Let r be k(2). Let f(c) = c**3 + 2*c**2 - 3*c - 1. Let u be f(-2). Solve u*g = -n + r, -g - 5*n - 7 = -n for g.
5
Let o = -24 + 26. Suppose -3*y + 20 = 14. Solve -y*f = 5*s + 23, -o*s + 5*f = -0*s - 14 for s.
-3
Let g(b) = -b**3 + 2 - 6*b**2 + 9*b**2 - b**2. Let s be g(2). Solve 7*p + 1 = 4*p + 4*a, 5*a = s*p + 10 for p.
5
Let r(j) = 16*j - 524. Let q be r(33). Solve 5*a + q*o = 33, -5*a - 21 = -8*a - 3*o for a.
5
Let t = 157 + -155. Solve -3*i = -t*z + 7*z + 1, 15 = 5*i for z.
-2
Suppose 4*o + 47 = 7. Let k(u) = 3 + 2*u**2 - 10*u - 2*u**2 - u**2. Let s be k(o). Solve -s*z - 5 = 2*z, -5*f + z - 19 = 0 for f.
-4
Suppose 5*x = 10, -2*z + 26 = -z + 5*x. Solve -2*q - z = 3*q - 3*k, -4*k = -8 for q.
-2
Let k(n) = n**3 - 10*n**2 + 2*n - 20. Let l be k(10). Solve 3*u + 2*s + 7 = -l*s, 0 = -2*s - 4 for u.
-1
Let n(d) be the first derivative of 1/3*d**3 - 3*d - d**2 + 7. Let k be n(-2). Solve 0 = k*z - 4*z - 5*f - 4, -z = 5*f + 6 for z.
-1
Suppose o + 0*o = 0. Suppose o*n + 3*n = -12, -3*t = 5*n - 88. Let p = t - 32. Solve 1 = 2*u - 3*v, -p*u - 2 = -2*v - 0 for u.
-1
Let z be 3 - (68/(-18) - 4/18). Suppose -j - 180 = -z*j. Solve -j = -5*t + 5*f, -4 = t + 2*f - f for t.
1
Suppose -3*h + 55 = 2*h. Let y be (0 - 5)*(-7)/35*h. Solve 2 = -3*q - 2*a, 0*q + 3*a - y = -q for q.
-4
Suppose 0 = -5*s + 2*y + 15, 3*s = 5*y + 9 - 0. Solve 5*u + 5 = 0, 0 = 4*r - r + s*u - 12 for r.
5
Let u be (24/40)/(258/60 - 4). Solve f = u*p + 6*f - 16, 3*p = -2*f + 2 for p.
-2
Let f = -12 + 15. Suppose 3*t - 90 = 135. Suppose 0 = 3*j + 3*z - t, j - 3*z + 55 = 3*j. Solve 2 = -3*w + 5*s + 12, -f*w + j = 5*s for w.
5
Suppose 231 - 267 = -12*c. Solve -4*b = -4*w - 24, 5*b = 7*b + c*w + 8 for b.
2
Let t be (17 + -16)*(0 - -5). Suppose -4*w = -c - 3, 3*w - 4*c = -9 - t. Solve i - 6*i - 5*p + 20 = 0, w*i - 12 = -4*p for i.
2
Let p be (57/76)/(6/32). Solve -p*k - 15 + 3 = 4*l, 0 = -3*k + 4*l - 2 for k.
-2
Let c(f) = f**3 + 8*f**2 + 8*f + 14. Let q be c(-7). Solve 4*y + 16 = -3*b, -3*b = -y - b + q for y.
-1
Suppose -9 = -2*m - 3, 2*r - 2*m - 2 = 0. Suppose r*u + 5*i = 18, 3*i - 3 = -3*u + 9. Solve 0*q + 23 = -5*n + q, u*n - 2*q + 6 = 0 for n.
-5
Let c(p) = -p**2 - 11*p - 5. Let g be c(-10). Suppose 8 = 4*z + 3*t, g*t + 13 = -7. Solve 2*k = -2*a, z*k - 3*a - 7 = k for k.
1
Let j = -171 + 30. Let a = j - -145. Solve -u + 2 = 0, 4*d - a*u = -4 - 12 for d.