l, -r = 4*l for l.
0
Let a(i) = 2*i - 6. Let s be a(7). Solve -s = -2*t - 4*c + 12, -3*t + 4*c = 0 for t.
4
Let g(j) = j**2 + 4*j - 2. Let l be g(-5). Solve l*f + 5*r = 1, -f - 3 = 5*r - 0 for f.
2
Let a = -3 - -8. Suppose -40 = -7*w + 30. Solve 3*c = 2*x - w + 28, -a*c + x = -23 for c.
4
Let k = 45 - 22. Suppose -k - 34 = -3*u. Solve 3*x + 0*g = 2*g, -u = -5*x - 3*g for x.
2
Let b = 22 - 18. Solve -3*j = -b*s + 21, -3*s + 5*j = -2*s - 18 for s.
3
Suppose 3*i - 15 = -g, 0 = -0*g + 2*g. Solve u - 12 = i*z - 37, 4*u + z = 5 for u.
0
Let y = -12 + 12. Solve -2*n = -5*z - 6 - 23, y = 5*n + 3*z + 5 for n.
2
Let l = 1 - -1. Suppose 8*h - 16 = 4*h, 2*v + 2*h = 34. Solve l*w + 4*n - 14 = -0*n, 3*w + 4*n - v = 0 for w.
-1
Let j(o) = -5*o - 25. Let s be j(-6). Solve 4*t + 5*z = 6, t - s*z - 2 - 12 = 0 for t.
4
Let p(g) = g + 13. Let r be p(-9). Suppose 6 = r*v - v. Solve -2*u - v = 5*i + 10, -5*u + 4 = 4*i for u.
4
Let d(s) be the third derivative of -s**6/120 + s**5/20 + s**4/24 - s**3/6 - 5*s**2. Let q be d(2). Solve q*g + 0 - 12 = 3*a, 5*a - 2*g = -20 for a.
-4
Let x = 38 - 36. Solve x*j = -4*c + 4, -3*c - 2 = j - 5*c for j.
0
Let z(u) = u**3 - 3*u**2 - 5*u - 2. Let x be z(5). Let g(h) = -h**2 + 12*h - 36. Let y be g(6). Solve y = -3*i - 4*q - q, 4*i - q = x for i.
5
Let k = 56 - 53. Solve k*o = -s + 2 - 1, 2*s + 3*o - 5 = 0 for s.
4
Suppose -4*u - 36 = -4. Let j be u/(-3) - 14/21. Let v be (j/3)/((-1)/(-6)). Solve 10 = 2*l, -4*z - v*l = l - 17 for z.
-2
Let v be 16/(-6)*18/(-12). Solve 4*s = 4*j, 0*j = -j + v*s + 6 for j.
-2
Suppose -4*w = -2*k - 12, -9 = -w - 2*w + 2*k. Solve 4*z = -3*x + x - 6, 0 = 3*z + w*x - 3 for z.
-4
Let q = 132 - 129. Solve 5*i - i = q*d + 7, i = -2*d - 1 for i.
1
Let o be (-16)/(-104) + (-4)/26. Solve -h + 2 = 2*h + j, 2*j - 4 = o for h.
0
Let x(k) = k**3 + 7*k**2 + 6*k + 5. Let w be x(-6). Suppose -5*r - 10 = -w*v, r - 6 = -3. Solve c - 5*z - 40 = -4*c, c = v*z + 28 for c.
3
Let j be -3 - -6 - 4 - (-3)/3. Solve j = 4*g + 4*k - 7 - 9, -k - 20 = -5*g for g.
4
Let a(t) = -t + 18. Let m be a(0). Let c be m/(-30)*(1 + -16). Solve 2*s = 2*h, 4*s + 27 + c = -5*h for s.
-4
Let c = -1 - -9. Solve 12 - 31 = 3*o - y, -2*y + c = 0 for o.
-5
Let z = 105 - 103. Solve -z*c = n - 8, -2*n - 3*c + 2 + 9 = 0 for n.
-2
Let u(z) = 2*z**3 - 6*z**2 + 5*z + 2. Let w be u(2). Solve -5*h + 2*m = -18, h - 3*m = w*h - 15 for h.
4
Suppose 5*g + 2 + 0 = 3*t, -2*g = -t. Solve -4*d + g*d = -5*h - 4, -4*h - 8 = -4*d for h.
0
Let o(l) = l**3 + 5*l**2 + 3*l + 17. Let d be o(-5). Solve 3*g - 18 = d*g - 3*r, -5*g - 3*r + 30 = 0 for g.
3
Let b be (-4)/(-6) - 128/(-24). Suppose -5 = -b*r + 13. Solve 0 = n + r, 0 = 5*j - 0*j + 2*n + 16 for j.
-2
Let n = -6 - -10. Suppose 3*w + 6 = s, -12 = 2*s - 4*s - n*w. Solve -p = 3, -2*p + s = 4*c + 28 for c.
-4
Suppose 0 = 6*p - 3*p - 3. Suppose 5 + p = 3*y. Solve -3*t - 3*u = 6, 0*t = 5*t - y*u + 3 for t.
-1
Let y = 37 + -12. Suppose -2*u = 4*f - 7*u - 15, -u + 6 = f. Suppose 3*t + 5 - 6 = -4*l, -y = -f*t + 5*l. Solve 0 = t*z + j + 5, -j - j - 10 = 0 for z.
0
Let l(f) = f**3 - 2*f**2 - 4*f. Let g be l(3). Suppose 38 = 5*r - 2*n, r - 5*n - 13 - 13 = 0. Let x = g + r. Solve 0 = 4*i + j + x, 2*i + 29 = -j + 6*j for i.
-2
Let x = 27 - 19. Suppose -4*l - x = -20. Solve 0*n + 30 = -5*n + 2*f, -l*f = 2*n - 7 for n.
-4
Let a(b) = -5*b**2 - 18*b + 5. Let l(j) = -2*j**2 - 6*j + 2. Let v(s) = -3*a(s) + 8*l(s). Let q be v(6). Solve 5*r - 2 = -5*g - 7, -q = -3*r - 2*g for r.
3
Let x be 8*1 - 8*(-1)/(-2). Solve -g - 3 = x*r - 1, r - 1 = -g for r.
-1
Let k(j) = -1 - 4 + j + j + 2. Let d be k(2). Let a = d + -1. Solve a = 5*z + 5*v + 4 - 9, 2*z - 4*v - 20 = 0 for z.
4
Let m = 13 - -16. Solve 4*c + 0*c = 5*i - m, 0 = -4*i - 5*c + 15 for i.
5
Let d(s) = -s**3 + 5*s**2 + s + 7. Let p = 1 + 4. Let r be d(p). Solve -4*n - m = 1 - r, 0 = -4*m + 12 for n.
2
Let t(p) be the second derivative of -p**4/12 - 11*p**3/6 + 15*p**2/2 + 7*p. Let x be t(-12). Solve 0 = -5*u + 4*d + 8, 0 = x*u - d + 2*d + 2 for u.
0
Let m be 1/(4*1/8). Suppose 7*t - m*t - 65 = 0. Solve 2*f = 3*y + t, 6*y - 3*y - 1 = -5*f for y.
-3
Let f(s) = -s**2 + 8*s - 9. Suppose -3 - 27 = -5*y. Let o be f(y). Solve o*w + 4*c = -4, -3*c + 10 = -w - 0*w for w.
-4
Suppose 6*l = 3*r + l - 33, 2*r = -4*l. Let b(v) = v**2 + 3*v - 10. Let h be b(-5). Solve -3*m - 2*g - 15 = h, 0 = -r*g + g for m.
-5
Let q = 9 - 9. Let b = q - -3. Let g be (-7)/((-7)/(-2)) + 7. Solve 3*o = 4*l + 17, 0 = g*l - 2*o - b*o + 25 for l.
-2
Let a = -1 - -3. Suppose 0 = 2*j + a*j - 8. Solve 2*p + 3 = -p + c, -5*p - 16 = j*c for p.
-2
Suppose 4 = -3*f + 13. Suppose f*p = 5*p - 6. Solve 25 = -5*z + 4*i, -2*i = p*z + i + 15 for z.
-5
Let w be -6*(-3)/6 + 12 + -1. Solve 8 = 3*m + l, m + 2*l = -4*m + w for m.
2
Let z = 6 - -2. Let n be (2/3)/(z/36). Solve -5*m + 2*q = 2 - n, 0 = q - 2 for m.
1
Suppose 19*o = 17*o + 40. Solve -s + o = -p - 5*s, p - 5 = s for p.
0
Let v = 35 - 25. Solve -2*t = 2*n - v, 0*t - 4*n = t - 8 for t.
4
Suppose -a = -2*a. Suppose 4*g + 3*i - 43 = 0, -4*g + 3*g + 2*i + 8 = a. Solve -3*r - m + 15 - 1 = 0, 0 = r - 5*m - g for r.
5
Let i = 2 + 1. Suppose 2*m = 3*m - i. Solve 14 = -5*z - 11, -3*x + m*z + 9 = 0 for x.
-2
Suppose -7 = -3*y - 4. Let t be 6 + 9/(-2 - y). Solve t*d = 4*m + 24, 2*d + 7 = 2*m + 21 for d.
4
Suppose -2*k = -33 - 3. Suppose -k = -2*q - q. Solve -2*f - q = 0, 0 = -2*d - 7*f + 2*f - 9 for d.
3
Suppose 0 = -7*x + 16 - 2. Solve -a + 1 = 5*l - 4*a, -5*a = -x*l + 8 for l.
-1
Let y = -5 + 0. Let w be y/(-25) - 48/(-10). Solve 0 = -m - 2, w*a - 3 = m + 19 for a.
4
Let v(a) = a + 5. Let y be v(-11). Let j be 3/y - (-45)/2. Solve -s + j = 4*n, -5*s = 2*n - 7*n + 15 for n.
5
Let w be -6*(1 + (-20)/15). Solve 2*g = 4*q + 8, 5 + 3 = -w*g for q.
-4
Let r be (-27)/(-5) - 6/15. Suppose -2*z = r*n - 5 - 10, -4*n - 4*z = 0. Solve 2*s - n*l + 3 = 0, -4*l - 18 = 4*s + 2 for s.
-4
Let k = 5 + -2. Suppose -5*u + m - 35 = -10*u, 2*m = u - 18. Suppose -3*t - 2 = -u. Solve t = -v, 0 = 5*x - k*v - 2*v + 10 for x.
-4
Suppose s + k = 4, -2*s + 1 = -0*s - 5*k. Solve -4*u - 12 = 0, u + s - 2 = -d for d.
2
Suppose 4*x - 9 = 3. Suppose -x*l = 4*a - 23, a - 6 - 2 = -3*l. Solve 0 = 4*n - 3*n - a, -3*n = 3*u - 3 for u.
-4
Let o = 33 + -31. Solve o*a - 5*i - 2 = 6, 0 = 3*a - 5*i - 7 for a.
-1
Suppose -x - 9 + 3 = 0. Suppose 10 = c + 4. Let r = x + c. Solve -5*g - 4*v + 13 = -6*g, r = -4*g - 2*v - 16 for g.
-5
Suppose -5*w = 3*y - 24, 7*y - 2*y - 14 = -4*w. Solve 4*n = w*n - 2*m, n = -5*m - 24 for n.
-4
Let l(t) = -t**2 + 3*t + 4. Let g be l(6). Let v = -5 - g. Suppose 2 = 5*s + 2*r - 6, -5*r - 7 = -s. Solve 2*o + w = s, -o - 3*w - v = -0*o for o.
3
Let u(h) = -h**3 + 3*h**2 + 5*h + 2. Let n be u(4). Let j = 6 - n. Solve -2*d + j*d - 3*w = -4, 2*d = 4*w - 10 for d.
-1
Suppose 0 = -0*i + 3*i - 3, 4*i = 5*d - 91. Solve 5*t + 2*f - 27 = 0, 4*t - 4*f = -3 + d for t.
5
Suppose -o + f = -10, 2*o = -0*o - 2*f + 36. Let l be 46/o + (-10)/35. Solve -7*c + 2*c + 32 = -l*t, 2*c = -5*t - 12 for c.
4
Let i be (-4)/((-12)/(-9)) + 3. Solve i = 5*c - 2*a + 5, 3*c - 19 + 53 = -5*a for c.
-3
Let h = 0 + 0. Solve -3*n - 11 = -h*j - j, -5*j + n = -27 for j.
5
Let d be (-40)/(-12) + (-4)/(-6). Suppose 5*b + 30 = d*o + 7, 5 = -2*o - 3*b. Solve c + 2 = o*m - 0, -c - 5 = -5*m for m.
1
Suppose 9*f - f = 48. Solve 2*g = 4*z + f, -5*z - 10 + 0 = -3*g for g.
5
Let q = 12 - 8. Suppose 3*m = -m - 44. Let l(h) = -h**3 - 11*h**2 + h + 13. Let i be l(m). Solve 0 = q*s, i*w - 2*s - 6 = -s for w.
3
Let o = 3 - -2. Suppose o*n = n. Suppose 5*z = -5*f + 35, -z = -2*f - n*z + 5. Solve 2*i - 7 - 1 = 4*w, 6 = f*i + 2*w for i.
2
Suppose 4*v = -v. Let q = v + 0. Suppose 0 = -3*j + 2*j + 4. Solve q = g - 5*o + 13, j + 5 = 3*g + o for g.
2
Let q(d) be the second derivative of -d**5/20 - 7*d**4/12 - 4*d**3/3 + d. Let r be q(-6). Suppose -r = -4*n + n. Solve 4*t + 0 = o + 4, -n*o + 26 = 5*t for o.
4
Let c = 10 + -9. Let v be (4 + -3)*11 - c. Solve 5*j - v = -2*a - 3*a, 23 = 4*j - a for j.
5
Let m be (-1)/(1/4) - 2. Let p(b) = 0 - 6 - 9*b - b**2 + 0. Let k be p(m). Solve 5*s + 5*z = -25, -k = 3*z - 3 for s.
-2
Let k be (-10)/45 + (-191)/(-9). Solve 3*i = -4*p + 2*p - 22, p = -4*i - k for p.
-5
Let g be (4 - 2) + 1 - 1. Let b be (-3)/g*2/3. Let q be 1*2 + (b 