 12 for l.
3
Let t be ((0 - 5) + 2)/((-9)/12). Solve -5*g + t*s = -3, 5*s + 8 = g + g for g.
-1
Suppose -5*n - 12 = -2. Let h be (-1 - n)*(-16)/(-4). Solve 3*l - 9 = h*o, 0 = -l - 0*l + o + 3 for l.
3
Let w(t) be the second derivative of t**4/12 - t**3/6 + t**2/2 - 8*t. Let d be w(1). Let i be 5 - ((-1 - d) + 3). Solve 0 = b + 3*z - 6 - 3, i*b - 3 = -z for b.
0
Let k(l) = 15*l - 466. Let i be k(32). Solve -t - 3*y = 5 - i, 4*t = -5*y + 22 for t.
3
Suppose -z + 1 = -3*h, 0 = 2*h + z + 2*z - 3. Let r = 4 - h. Solve -s = -u - r, 3*s + 2*u = -u for s.
2
Let v = -1487 - -1493. Solve -h + 22 = -3*h - 4*m, 2*h - 3*m - v = 0 for h.
-3
Let w = -15 - -26. Let f be w/(-55) + (-126)/(-5). Let j = -10 + f. Solve 5*c + 5*o - j = 0, 3*c - 2*c + 2*o = 5 for c.
1
Suppose 3*j = -v + 35, 7*v - 9*v = -3*j + 29. Solve 5*n + 0*n = -3*s - 22, 3*n = -4*s - j for s.
1
Suppose 4*k - 2*d - 16 = 2, -3*k - 9 = 3*d. Solve 4*l - 2 + 19 = -3*n, -4 = k*l for n.
-3
Suppose -5*d - 1042 + 1062 = 0. Solve -4*a = 3*v + 13, a = -0*a - d for v.
1
Suppose x - 31 = 9. Let p = x - 38. Solve 0*l - p*l - 3*u = 13, 5*l - 4*u - 25 = 0 for l.
1
Let w = 579 - 576. Let a be ((-16)/5)/(4/(-20)). Suppose -g = 5*c - 30, a = c + 3*g - 4. Solve -w*y = -r + y - c, y = 2*r - 4 for r.
3
Let m = -18 - -23. Suppose 10 = -2*o - m*p, -16 = -3*o + 4*p + 15. Solve 0 = -2*l - 4*a + a - 8, -o*l - 20 = 4*a for l.
-4
Suppose 40 = 4*n + 2*o, -7*n = -4*n + 3*o - 24. Solve 0 = 2*l + 2*u + n, -2*l + 19 = -6*l + u for l.
-5
Suppose 38 - 2 = 2*r + 2*a, 5*a + 27 = 4*r. Solve o - 4*b = 22, 0*o - r = -4*o + b for o.
2
Suppose 61 - 16 = 5*j. Let u be 15*(-1 - (-12)/j). Let p(h) = 2*h - 10. Let c be p(u). Solve 4*x + 4*m = -c*x - 24, 6 = x - 3*m for x.
-3
Suppose -121 = -3*v + 4*l, -57 + 18 = -v + 2*l. Suppose -v = -2*k - 15. Solve -6*z + h = -4*z, -4*z - k = 5*h for z.
-1
Let d be 200/120*1*6/2. Suppose -d*h = -13 - 12. Solve 3*i - 6 = u + 1, h*u = 5*i - 25 for u.
-4
Let g(x) = 91*x + 275. Let b be g(-3). Solve 0 = 2*w + 2*s - b, -w - 3*s + 9 = 0 for w.
-3
Suppose -4*a = 5*h - 74, -3*h + 96 = -5*a + 22. Solve 2*z + 4 - h = -5*c, -4*z = 12 for c.
4
Suppose -78 + 21 = -3*u. Let y = 39 + -35. Suppose -4*n + 10 = -2*h, -y*h + n = -0*h - 15. Solve -i = -2*l + 7*l + u, -h*l - 15 = 5*i for l.
-4
Let i(t) = -t**2 + 3*t + 1. Let q be i(5). Let a(o) = -o - 14. Let u be a(q). Let s be ((-2)/u)/(5/25). Solve -3*k - 2 = -l, -4*k - s = 2*l - 3*l for l.
2
Let w be 1*(-7)/(-2)*36/21. Suppose -w*h = -0*h - 36. Solve 5*s - i + h = 3*i, -5*s - 2*i = -18 for s.
2
Let y(c) = -c**2 - 13*c - 23. Let l be y(-11). Let n be 0 + l + 4 + 14/7. Solve -4*p + 4*q = 3*q + 5, 0 = -n*q + 5 for p.
-1
Let u be -1*5 - (-2 - 1). Let h(y) = -y + 1. Let j be h(u). Solve 4*m - 2*m + r = 2, -15 = j*m - 3*r for m.
-1
Let l(n) = -7*n**3 - 2*n**2 - n - 1. Let q be l(-1). Solve -5*x - c + q = 0, 0 = 2*c - c for x.
1
Let b = -1 - -2. Let r = b - 1. Let d be (-15)/(-20)*72/27. Solve 4*k + 18 = -d*t, r*k + 4*k + 19 = -3*t for t.
-1
Let c be (3/(9/(-2)))/((-4)/72). Suppose 2*n - 70 = -c*n. Solve -5*y - 3*g = 29 + n, 5*g = -15 for y.
-5
Let t(g) = g**3 - 7*g**2 + 7*g - 5. Let d be t(6). Let b(m) = -m**2 - 17*m + 2585. Let i be b(-60). Solve 0 = 3*k - i*s + 12 - d, 5*k - s = -11 for k.
-2
Let m(b) = 20*b + 182. Let q be m(-9). Solve -2*y + 1 = -0*d + d, 5*y + 20 = q*d for y.
-2
Let i(w) = w**2 - 11*w + 34. Let r be i(5). Solve -5*c = y + 25, c - 2*c - 24 = r*y for c.
-4
Suppose -x - 1 = -7. Let z be x*5/(-10) - -3. Solve z*j = -j + 4*u + 20, 5*u = -4*j - 4 for j.
4
Let v(r) = r + 2. Let j(u) = -3*u - 8. Let m(i) = 6*j(i) + 22*v(i). Let d be m(-5). Let c = d - -24. Solve -b + 20 = -6*b - 5*w, -2*b + 3*w - 8 = c for b.
-4
Let b be 12 + (3 - (7 + 1)). Suppose h - 2*n = -2*h + b, -13 = -3*h - 4*n. Solve -8*w + h*w - 31 = -4*o, 6 = 2*w + 3*o for w.
-3
Let w = 1233 - 1230. Solve -o - 2 = -3*f - 0, -5*f = w*o + 20 for f.
-1
Let u(l) be the first derivative of -l**2/2 + 2*l + 1. Let p be u(-6). Suppose -p*z + 105 = -3*z. Solve o = -5*d, -4*d + 5*o + z + 8 = 0 for d.
1
Let v be (-1)/(-6) + 91/(-6). Suppose 0*r = 4*r + 52. Let a = r - v. Solve 4*i - 3 = 5*i + 4*w, -9 = 3*i - a*w for i.
-3
Suppose -4*y = -14 - 18. Suppose -3*b + 5*b = y. Solve 5*v - 16 = 2*x, -11 = -b*v + 5*x - 5 for v.
4
Let f = 21 + -22. Let k(c) = 15*c + 1. Let h be k(f). Let n(z) = -z**3 - 13*z**2 + 13*z - 13. Let g be n(h). Solve -3*r + 0 = 2*p + g, -17 = r + 4*p for r.
3
Suppose 2*o = y + 2*y + 170, -4*y + 3*o = 226. Let f = -39 - y. Solve 3*z - f = 2*v, z + 3*v = -0*z - 12 for z.
3
Suppose 5*g = -7 - 18, -h = -g - 11. Let n = -15 + 18. Solve -n = -z + 2*p, 0 = z + 5*p - 2 + h for z.
1
Let a be 20/15 - 4/3. Suppose 3*g = -0*g - 2*v - 74, a = 3*g - 2*v + 70. Let d be 4/6 - (-16)/g. Solve d = n + 5*u - 23, -4*n + u + 5 - 18 = 0 for n.
-2
Let a(h) = -3*h + 6*h - 26 - 5*h + 3*h. Let n be a(0). Let f = -22 - n. Solve 2*x - 2*m + 16 = 3*m, -4*x - f*m - 4 = 0 for x.
-3
Let i = -15 + 9. Let h be (52/i)/(8/(-12)). Let o = -8 + h. Solve 5*m + 8 = -2*y, -17 = o*m + 5*y + 3 for m.
0
Suppose -10*h - 30 = -80. Suppose 6*a - 1 = 5*a. Let p be (-12)/3 + a - -3. Solve -4*w = -3*o - 8, h*o - w + 5*w - 40 = p for o.
4
Let s be (-1 + 1)*(0 - -1). Solve s = m - 4*j - 5, j = 0 for m.
5
Suppose 5*v = -4*a + 74, 5*a - a - 4*v - 56 = 0. Let l(m) = -m**2 + 11*m - 9. Let j be l(4). Let p = j - a. Solve 4*i - 5*z + 6 = -24, 4*i = p*z - 26 for i.
-5
Let q = -64 + 69. Suppose 0 = c + 2*w, -q*c + 2*w + 11 = w. Solve -3*s - 3*a + 5 = c*s, 0 = 5*a for s.
1
Suppose 0 = -2*u + 2*t + 44, 10*t = 2*u + 11*t - 53. Solve 6*g - 4*r = 3*g + 11, 5*r - u = -4*g for g.
5
Let r be 1*(2 + -1 + 0). Let h be 1 + (-8)/12 + (-120)/(-18). Suppose 0 = 4*k + r + h, 0 = 5*a + k - 8. Solve 0 = 2*i - 6*y + 2*y + 4, 2*y = -a*i + 14 for i.
4
Suppose t = -6*t + 63. Let c(v) = v - 6. Let p be c(t). Solve -2*i - 12 = -0*h + p*h, -3*i - 3*h = 15 for i.
-3
Suppose 33*k - 43 - 56 = 0. Solve -m - m = i + 8, -i = m + k for i.
2
Suppose -468 = -7*w - 2*w. Let x = 52 - w. Solve -h - 4*n + 12 = 0, -2*h + x*h = n - 3 for h.
0
Let y = -252 + 271. Solve 4*t + 17 + y = 5*p, -p = -t - 8 for t.
-4
Suppose u = 2*u. Suppose u = -s + 4*p - 17 - 9, -3*p + 39 = -4*s. Let y be (-58)/s - 5/(-15). Solve -4*j + 25 = -j - 5*g, 0 = j - 2*g - y for j.
0
Let b be (-8)/(-7 - ((6 - 15) + 4)). Solve -b*l - 23 = m, 0*l - 5*m = 5*l + 40 for l.
-5
Let g = -407 - -412. Solve -g*u - 3 = -3*l, -3*l + 0 = -3 for u.
0
Suppose 5*z - 4 = -n, 5*z + 0 = -5*n + 20. Solve -c + 12 = 3*l, -29 + 2 = -3*l + n*c for l.
5
Let j(z) be the first derivative of z**3 - 2*z**2 - 10*z - 21. Let k be j(-3). Solve -k = 5*w + 4*d, 3*w = -w - d - 21 for w.
-5
Let x be 5/(-5) + -3 + 67. Let h = x - 61. Solve 0 = -5*p - t, 5*t = h*p + 2*p for p.
0
Let b be 14/35 - (54/(-10))/(-1). Let m(r) = r - 4. Let q(h) = -1. Let k(i) = -m(i) - 4*q(i). Let f be k(b). Solve 0*d = -3*a - d + f, 3*d - 11 = -2*a for a.
4
Suppose 3*z = 8*z - x - 64, 2*z + x = 27. Let b = z - 5. Let l be (b/(-10))/(14/(-35)). Solve 0 = -4*y + 3*i + 28, -12 = -2*y + y + l*i for y.
4
Let o(d) = -d**2 + 6*d. Let k be o(2). Let r be ((-3)/1)/((-6)/k). Let y be (r - 1) + -4 - -8. Solve f = 4*w - 2*f - y, 14 = 2*w + 2*f for w.
4
Let o = 10 - 6. Suppose o*t = -0 + 20. Solve t = -b - v, -b + 3*v + 2 = 3 for b.
-4
Let t = -12 - -15. Suppose 0 = u - t*u - 6. Let i be -6*u/18*4. Solve 2*f - i*x = 4*f + 12, 4*x = 3*f + 8 for f.
-4
Let d be 18 - (-12)/(-8 - -4). Suppose 9*b = 6*b + d. Solve u - 4*u - 7 = 4*f, -3*u = -b*f - 2 for u.
-1
Suppose -f + 3 = 0, 2*s + 2*f = 3*f - 11. Let q(w) = w**3 + 6*w**2 + 3*w. Let m be q(s). Solve u - 4*z = m, 5*z + 25 = -u + 9 for u.
4
Let n = 101 - 63. Let w = 40 - n. Solve 4*g = -3*b + 8, -g + b = -w*g + 3 for g.
-1
Let r be 0 - 8/(-4 - -2). Let o = 11 + -8. Solve o*m + 4*d - 21 = -6, -r*m - 2*d + 10 = 0 for m.
1
Suppose 30 = 5*t - 0*p + 5*p, -2*t + 12 = -4*p. Solve 3*h - t = -3*k - 0*h, -6 = -k - 5*h for k.
1
Let n = 38 + -44. Let a(c) = -c**3 - 5*c**2 + 3*c - 13. Let x be a(n). Solve x*u = -3*l + 16, 0*l = l - 2 for u.
2
Let l(u) = -u**2 + 6*u + 3. Let x be l(6). Let w(d) = -d**3 + d + 2. Let h be w(-2). Solve -2*k + h = -5*i + 41, k + 19 = x*i for k.
-4
Let z be (0/2)/(10 + -12). Solve z = -2*i - 4*n - 24, -6 = 3*i - n + 2 for i.
-4
Suppo