8*m + 23. Let t be f(16). Let p = -52 + t. Solve -2 = l - p*l for l.
1
Let b(c) = c**2 + 9. Let o(j) = 6*j**2 + j + 45. Let w(x) = -11*b(x) + 2*o(x). Let n be w(3). Solve v - 2 = -n for v.
-4
Let f be 1/(9/(-24))*15. Let l be (f/12)/(2/(-3)). Let g be 1 - (3 - l - 0). Solve 0 = -2*d + g*d - 3 for d.
3
Let r = -240 - -245. Solve 3*y = r*y - 4 for y.
2
Let a(l) = l**3 + 3*l. Let d be a(2). Suppose d = j - 2*z, -2*z - 8 = 3*j + 2*z. Suppose -j*n + 3 + 1 = 0. Solve 0 = 2*b + n + 3 for b.
-2
Suppose -4*d - d - 3*z - 75 = 0, -3*z - 63 = 4*d. Let l be (32/d)/(-2*2/24). Solve -2*m - l = 2*m for m.
-4
Suppose -2*m = 4*c + 4, c + 0*c + 2*m + 7 = 0. Let b(t) = 3*t**3 - 3*t**2 + t + 1. Let d be b(c). Solve d = -p - 2 for p.
-4
Let f(n) = -15*n + 8*n + 9*n + 14. Let k be f(-6). Solve k*o = 3*o for o.
0
Let l(s) be the third derivative of -s**6/120 + 7*s**5/60 - s**4/8 - s**3/2 + 6*s**2. Let c = 7 + -1. Let x be l(c). Solve 4*v + x = v for v.
-5
Suppose 4*x + 1 = -3, 2*c = 3*x + 11. Solve 10*h = c*h - 12 for h.
-2
Suppose 2*m - 7*o + 5*o - 10 = 0, -m + 11 = 5*o. Solve 15 = -m*s + 15 for s.
0
Let t = -1 + 4. Let i be -33*(6 - t - 2). Let s be (-44)/i - 4/(-6). Solve -s*w = -7 - 1 for w.
4
Suppose -5*y + 3*u + 59 = 0, -2*y + 31 = 2*y + 3*u. Suppose -40 + 5 = 5*s. Let d = s + 11. Solve 0 = -d*g + 6*g + y for g.
-5
Suppose -v + 4 = -2*j - 0*v, -3*j = -5*v + 6. Let c be (12/(-30))/(j/(-100)). Let f = 20 + c. Solve -2 = -f*b + b for b.
-2
Suppose -3*r + 2*o = -12, 5*r - 5*o + 8 = 7*r. Suppose i + 1 = q, 4 - 33 = -r*q - i. Solve 0 = -b + q*b + 15 for b.
-3
Let c(l) = l**3 + 8*l**2 + 20*l + 40. Let g be c(-5). Solve -12*u = -15*u + g for u.
5
Let r(o) = 5*o + 40. Let c(d) = -2*d - 13. Let i(x) = -11*c(x) - 4*r(x). Let n be i(10). Solve -2*v - n*v = 10 for v.
-2
Suppose 3*r = 3*a + 6, 3*r + 4*a - 27 = 7. Let x = r - 5. Let l(b) = 5*b**2 - 2*b + 1. Let w be l(x). Solve -y + 0*y = -w for y.
4
Let s = 31 - 28. Let p = -10 - -15. Solve -4*r = -s*r - p for r.
5
Let r(p) = 12*p - 1. Let k be r(3). Suppose 7 = 4*c - 13, -4*c + k = 3*j. Suppose 4*u - 5*h - 5 = 3*u, h = -u + j. Solve -u*t + 4 = -1 for t.
1
Let q(z) = -2*z + 6. Let g be q(1). Solve 0 = -g*d - 3*d + 35 for d.
5
Let u be ((-24)/30)/((-4)/10). Let d be 1/2 - (-27)/(-2). Let r = d - -15. Solve -c + r = -u*c for c.
-2
Let s be 1/3 - (-448)/24. Solve s + 6 = -5*q for q.
-5
Let i(j) = 2*j + 10. Let v be (-4)/10 - 154/(-35). Suppose -z = v*z. Let o be i(z). Solve -o = 2*k - 0 for k.
-5
Suppose 3*i - 159 = 39. Suppose q + l = 12, 4*l - 2*l = 4*q - i. Solve 8*k - q = 3*k for k.
3
Let o(r) = -r**3 + 9*r**2 - 16*r + 68. Let f be o(8). Solve f*s - 6*s = 0 for s.
0
Let w = -1 - -1. Let s be (-6)/((w + 8)/4) - -3. Solve s*c = 3*c - 6 for c.
2
Suppose 5*a - 5*y + 3 = -6*y, 3*a - 4*y = 12. Solve a = -2*s - s for s.
0
Suppose 127*f - 122*f = 35. Solve 0 = f*k - 18 + 4 for k.
2
Let w = 2261 + -2249. Solve 3*l - w*l + 18 = 0 for l.
2
Suppose -26*o = i - 29*o - 9, -5*i - 5*o = -105. Solve 2 = 8*w + i for w.
-2
Let l = 16 - 12. Suppose -4*f = -k + l, -f - 3 = 2*f. Let g = 4 - k. Solve 9 = q - g*q for q.
-3
Let l(p) = p**2 - 7*p - 6. Let w be l(8). Suppose -5 = -b - w. Suppose -3*q + 6 = -b. Solve -q*m + 6*m = -6 for m.
-2
Let y(x) = -3*x - 43. Let k be y(-21). Solve -4*f + k = 4 for f.
4
Suppose -x + n - 1 + 0 = 0, 5*x - 4*n + 5 = 0. Let c be (-212)/(-24) - -1*x/(-6). Solve 7*i + 2 = c*i for i.
1
Let c(n) be the third derivative of n**4/24 + n**2. Suppose -43*f + 51*f = 40. Let d be c(f). Solve -3*j + 10 = -d for j.
5
Suppose 0 = -19*o + 245 + 477. Solve -o*r - 4 = -39*r for r.
4
Suppose -2*a = -2*t - 2, 0*a = 4*t + 2*a - 14. Let r(k) = -2*k**2 - 7 + 4*k**t - 13*k - 3*k**2. Let o be r(-12). Solve 0*m + o*m = 5 for m.
1
Let f = 49 - 46. Suppose f*l = -0 + 24. Solve -9*n - l = -5*n for n.
-2
Suppose -75*o + 71*o = 0. Solve z + 4 = -o*z for z.
-4
Let g(w) = -w**2 - 50*w + 162. Let m be g(3). Let k be (-44)/(-2) + (4 - 6). Solve -k = -2*v - m*v for v.
4
Suppose -20*x + 735 - 535 = 0. Solve -18*s - 24 = -x*s for s.
-3
Let t(p) = -59*p - 287. Let u be t(-5). Solve -u*s - 10 = 2*s for s.
-1
Let f(j) = -j**2 - 8*j. Let q be f(-8). Let m(y) = -3*y - 36. Let n be m(-15). Suppose -12*x + 9 = -n*x. Solve x*t = -q*t for t.
0
Let u be 20/(3/(-6)*-2). Suppose 2*w + 6 + 28 = 0. Let b = w + u. Solve 2*r - b*r + 1 = 0 for r.
1
Let a be (4/5)/(1/30). Suppose -3*r + 0 = -a. Suppose x + 16 = -4*i, i + i + r = x. Solve x*t = -t for t.
0
Let a(m) = 2*m - 11. Let g be (-1*12/(-15))/((-6)/(-75)). Let c be a(g). Solve 2*q = 1 + c for q.
5
Suppose 16*n = 38*n - 22. Solve -5*f + n = 6 for f.
-1
Let m be (-4)/14 + ((-66)/14 - -5). Suppose -5*l - 3*t + 1 = m, -2*l + 3*t = -14 + 1. Solve 0 = -f + l*f for f.
0
Suppose -5*h = 9 - 99. Suppose -h = -3*j - 3. Let g(u) = u**2 - 5*u. Let s be g(j). Solve 3*p = -s*p for p.
0
Let r = -321 + 357. Solve -r = 5*v - 21 for v.
-3
Let r(y) = 2*y**2 - y - 2. Let j be r(-2). Suppose -8 = -3*b - 2. Suppose -5*q + j = -b*i + i, 0 = -i - 2*q + 20. Solve -3*d + 0*d - i = 0 for d.
-4
Let l = -6 - -11. Suppose l*r = -2*r. Solve d + d = r for d.
0
Let u be 1*5 - (76 + -82). Solve 6 = u*r - 16 for r.
2
Suppose 0 = o - 5*o + 8. Let u(t) = -t**3 - 2*t**2 + t - 2. Let k be u(-3). Let v be 6/9 + k/12. Solve -f - v = o for f.
-3
Suppose k = -3*z + 16, 2*z - k = 2*k + 7. Suppose -z*y + 10 = -5. Solve 3*d + 0 - y = 0 for d.
1
Let j be 0/(-3 - (-2 + 0)). Suppose -12 + j = -a. Suppose -5*v + a = -3*v. Solve -v*n + n = 20 for n.
-4
Let y = -2 + 7. Solve y*f + 9 = 29 for f.
4
Let u(y) = y**3 - 14*y**2 + 54*y + 24. Let s be u(9). Solve s*r = 101*r for r.
0
Let q = -597 - -604. Let y be (3/(-2))/((-9)/12). Let s = q - y. Solve -a + 6*a = -s for a.
-1
Let q be (26/4 - 10)*16/(-7). Solve -12 = -4*r + q for r.
5
Suppose 10*a - 319 = -2*j + 7*a, -4*a = -2*j + 312. Solve j*x = 156*x for x.
0
Suppose -4*u = 1 - 25. Solve -u*g + 7 - 37 = 0 for g.
-5
Let s = -265 - -269. Solve -7*d = s*d + 55 for d.
-5
Let s = -780 - -783. Solve -c = 2 - s for c.
1
Suppose 0*k + 5*k - 10 = -4*r, 5*r = 5*k - 10. Suppose 3*u - 4*u = -2*g, 5*g + 5*u = r. Solve g*t + 2 = -2*t for t.
-1
Let b(z) = z**3 + 4*z**2 - 5*z + 5. Let j be b(-4). Solve -5*f = -15 + j for f.
-2
Let v = 794 + -788. Solve 7*j = -8 - v for j.
-2
Let x(m) = 21*m**2 + 2*m + 1. Let f be x(-2). Suppose 15 = 6*n - f. Solve -b + 5*b - n = 0 for b.
4
Let u be 2 - -15*12/18. Solve -12*j + 15*j = u for j.
4
Let l(v) = 2*v + 29. Let f be l(-13). Suppose 7 = 5*b - 0*i - f*i, 0 = 2*b - 4*i. Let t be ((-32)/(-20))/((-6)/(-15)). Solve -t = -3*a + b for a.
2
Suppose 0 = 2*p + 4*s + 1 - 7, s - 19 = -4*p. Suppose 0 = -p*k - 8 - 2. Let m(b) = -b**3 - 2*b**2 + 2. Let a be m(k). Solve a*h - 5 = 5 for h.
5
Let p be 1 - (1 + 1 + -5). Suppose r = q + 2*q + 1, 0 = 4*q. Solve -r = -3*m + p*m for m.
-1
Suppose 0 = -3*b + 5*f + 34, -2*f = 4*b + f + 3. Let p be 6/1*2/b. Suppose 0*x - 3*g = -3*x + 15, 4*x + p*g - 4 = 0. Solve -x*o + 2 = 14 for o.
-4
Let o(b) = 71*b. Let p be o(1). Suppose 0 = q + k + 23 + 30, -q = -5*k + p. Let y be (-119)/q + (-2)/16. Solve -s = -y*s - 2 for s.
-2
Suppose 3*n - 19 = 2*n. Let q = -142 - -146. Solve -n + 7 = q*j for j.
-3
Let o be (1 - 5) + -1 + 0 - -20. Solve 0 = -r - o + 13 for r.
-2
Suppose w - 4 = 42*c - 45*c, 0 = -2*w - 4. Solve 16 = c*r + 6*r for r.
2
Let o(w) = w**2 + 14*w + 57. Let r be o(-10). Solve 18 + 16 = -r*j for j.
-2
Let l = -236 - -161. Let y be (-3)/(l/(-21) + -4). Suppose -y - 13 = -4*n. Solve n*a + 7 = -3 for a.
-2
Suppose 0 = 60*c - 69*c. Solve c = -0*s - 3*s - 15 for s.
-5
Let z = -8 + 20. Let a(i) be the second derivative of -i**4/12 + 11*i**3/6 - 13*i**2/2 + 4*i. Let b be a(9). Solve b*h + 13 = -z for h.
-5
Let s = 10 - 10. Suppose s = -6*n + 7*n - 54. Let y = n - 38. Solve 3*d = -d - y for d.
-4
Let z(c) = -3*c + 5. Let h be z(0). Suppose 2*m - 24 = -3*v + h*m, 2*v + 5*m - 30 = 0. Solve 4*k + k = v for k.
2
Suppose 0 = 4*t + q - 1 + 6, t = 3*q + 15. Suppose 6*i - 6*i + 26*i - 130 = 0. Solve -i = n - t for n.
-5
Let u be (-33)/(-55) - (-43)/(-5). Let s(r) be the first derivative of -r**2/2 - 8*r - 6. Let h be s(u). Solve 2*w - 1 - 1 = h for w.
1
Let u(z) = -z**3 + 5*z**2 - z - 5. Let g be u(4). Suppose -8 - g = -3*v. Suppose -v*o + 9 + 41 = 0. Solve p + p = o for p.
5
Let x 