z for l.
1
Let i = 10 - 7. Let m(a) = a**2 - 3*a + 1. Let c be m(i). Let j(z) = 3*z - 1. Let p be j(c). Solve 0 = h, -4*f - 3*h = -p*h - 12 for f.
3
Let t = -10 + 13. Suppose 0 = -4*k + t*k + 4. Solve -k*a - 5 = -f, -a + 4*a = -4*f + 20 for a.
0
Let q(y) = 3 + y**2 + 0 - 2. Let v be q(0). Let m = 3 - v. Solve -4*p + m*n + 14 = 0, 3*p - 2*n = p + 8 for p.
3
Let c(v) = -2*v + 27. Let o be c(11). Solve 0 = 3*x + 2*d + 2, 0*x + o*d + 30 = 5*x for x.
2
Suppose -r + 1 = 5. Let t(i) = i**2 + 5*i + 4. Let b be t(r). Suppose b = -7*h + 3*h + 8. Solve -10 = 3*m + h*c, 3*m - c = 5*m + 7 for m.
-4
Suppose -1 = g - 8. Let l be ((-1)/(-2))/(g/42). Let f be ((-3)/2 - -1)*-10. Solve 0 = -3*u - f*p - 40, 4*u = l*u + p for u.
-5
Let l be 6/27 + (-94)/18. Let y(o) = -7*o + 3. Let g be y(l). Suppose -u + 8*v = 3*v - g, -v = u - 8. Solve -5*x = -2*m + 9, 3*m - 5*x = -m + u for m.
2
Suppose 0 = 5*j + 3*z - 25, -28 + 8 = -4*z. Let x be (j/5)/(5/25). Solve -x*r + 4*g + 22 = 0, -4*g - g = 20 for r.
3
Suppose 4*t - 2 = 2*t. Solve -4*v + 17 = n, v - t = n - v for n.
5
Suppose -u - 3*u = 0. Suppose 4*l - 6*l - 12 = 0. Let j be 2/l + (-100)/(-12). Solve j = -k + 5*h, u*k + 4*h - 7 = k for k.
-3
Suppose 12 = 2*j + 2*j. Suppose j*u - u = 2. Let a be 1*15*(u - 0). Solve q = 4*h - 11, q - a = -3*h + 2 for h.
4
Let i = 16 - 4. Solve 2*y = -2*s, i = -5*y - 8 for s.
4
Let k(n) = 8*n - 15. Let q(m) = -7*m + 14. Let y(z) = 5*k(z) + 6*q(z). Let f be y(-8). Solve s + 10 = -5*d, -5*s + s = 5*d + f for s.
-5
Let u(n) = -n**3 + 9*n**2 - 18*n + 5. Let p be u(6). Suppose 3 = 2*v - v. Solve 3*h - h + v = i, -p*i = h + 18 for i.
-3
Suppose s - 4*f = 6*s + 2, f = 5*s - 13. Solve 0 = -3*b + k + s, 3 = b - 5*k + 21 for b.
2
Let f = 21 - 6. Let g be (-1)/(-2 - f/(-9)). Solve 12 = 4*h - 4*m, g*m = -2*h - 0 - 9 for h.
0
Suppose s - 4*s = 0. Solve 10 - 4 = -3*p + 3*w, s = p - 4*w + 17 for p.
3
Let y(s) = -4*s**3 - s**2 - 1. Let j be y(-2). Suppose 0*h - 4*h = -20. Solve -5*k - 17 = -4*n, 2*n + j = -h*k + n for k.
-5
Suppose 0 = f - 5*z + 12, 3*f + 3*z = 47 - 11. Let y = f - 5. Solve 0 = -2*t - 4, -y*x - 10 = -2*x + 5*t for x.
0
Suppose i - 4*s = 5*i - 28, 6 = 2*s. Let g = i + -2. Suppose -3*c + 58 = 5*b, 2*c - 34 = b - 4*b. Solve -5*l + k + b + 11 = 0, 5 = l + g*k for l.
5
Let a = 7 + 4. Let r be 19/4 + (-2)/(-8). Solve r*l - 2*d - 10 = a, -3*l = -4*d - 21 for l.
3
Let h = 3 - 2. Let x be (3/6)/(h/6). Suppose x*f = 4*c - 15, -3*c + 2 = -3*f - 13. Solve c*q + q - 20 = 5*z, -3*q + 6 = 3*z for z.
-3
Suppose -3*g = -3 - 3. Suppose a - 29 = 3*u + g*u, 5*a - u = 25. Let y be (75/(-10))/((-2)/a). Solve 2 = -5*l + k, 2*l + l + 4*k + y = 0 for l.
-1
Suppose -9*k + 15 = -6*k. Solve 2 = -2*a - k*f + 12, -3*a + 15 = -5*f for a.
5
Let v be -3 + 3*(-20)/(-12). Let m be v*(0 + 4) - 3. Suppose -5*j = -29 + 9. Solve j*o + 3*n - 10 = 5*n, -23 = -m*o - n for o.
4
Let i = 3 - 3. Let h(l) = -l + 2. Let w be h(i). Solve -4 = w*s, 6*s - 4 = -3*k + 2*s for k.
4
Let r = 1 - 1. Suppose 3*j - 5*q + 10 = 0, r*j = -3*j - q + 20. Solve -1 = s - 0, -j*c - s - 21 = 0 for c.
-4
Suppose -3*m - 18 = 3. Let y = m + 13. Solve -4*d + l = -17, l + 6 = 3*d - y for d.
5
Suppose 0*s = -2*s - 3*u + 16, 5*u - 10 = 0. Solve -s*y + 37 = 3*h, 5 = 5*y - 4*h - 4 for y.
5
Let a = -76 - -5. Let n = -30 - a. Solve -4*f = t - 13 - 11, -4*t - 5*f = -n for t.
4
Suppose 3 = 4*d - 13. Solve 8 = b + 3*n, -5*b + d*b = -5*n + 16 for b.
-1
Let c = -8 + 10. Suppose -c*a + 2 + 0 = 0. Solve -a = -r - 3*p, -5*r + 0*r - 5 = 5*p for r.
-2
Suppose -6*m + 3*m + 15 = 0. Solve 0 = m*x + 10, 2 = -3*o - 5*x + 1 for o.
3
Suppose 0 = 3*o - 5*n - 25, 2*o - 4*o = -4*n - 20. Let v(t) = -t + 2. Let c be v(o). Suppose -c = -4*l + 6. Solve l*g + 4*d = -20, g = -d + 6*d + 18 for g.
-2
Let l be ((-4)/3)/(16/(-24)). Solve 0 = -2*c + 10, 0 = l*k + 2*k + 3*c - 19 for k.
1
Suppose -2*u - 2*r - 21 = r, 2*r = -3*u - 19. Let v be ((-18)/(-3) - u)*-1. Let f = 20 + v. Solve 0 = n + 5*a, 5*a + f = -5*n + 31 for n.
5
Suppose -4*m - 5*t = -27 - 5, 3*t = -3*m + 24. Suppose -4*o + m + 0 = 0. Solve 5*c = -4*u - 10, 2*u + 6*c + o = 2*c for u.
-5
Suppose -3*z + 9 = -w - 0*z, 0 = -5*z + 20. Solve l - 11 = -2*g, w*l - 17 = g - l for g.
3
Suppose 7*y = 9*y + 3*a - 15, 2*a = -3*y + 10. Solve 5*n + 25 = -2*q, -2*n = 3*q - y*q + 10 for q.
0
Suppose -3*y + 5 + 4 = 0. Suppose -96 = -y*w - w. Let n = w - 14. Solve -5*d = -5*k + n, -4*k + 2 = -d + 6 for d.
-4
Suppose -4*v + 40 = -2*x, 4*x - 8 = 4*v - 52. Let w = -7 + v. Suppose 4*q - 5*q + w = 0. Solve q*h - 5*h - 2*t = 14, -2*h - t - 8 = 0 for h.
-2
Let n be 1 - 0/(-2 - -1). Suppose 3*u - 2*c - 2*c = 12, 0 = 3*u - 2*c - 12. Let a be 0 + 24 + 0/1. Solve -a = -2*s + 5*p - n, 0 = -u*p - 20 for s.
-1
Suppose 11*r - 54 - 23 = 0. Solve -t - i - r = -0*t, 3 = -3*t + 3*i for t.
-4
Let w be (-106)/(-22) - (-6)/33. Let r = w + -4. Suppose r = q - 4. Solve -5*c + 2*h + 14 = 3*h, 4*c + q*h = 28 for c.
2
Suppose -4*z + 4*w = -20, -7 = 2*z - 4*z - w. Suppose z*l = 144 - 12. Suppose 0 = -5*d + l - 3. Solve -5*c + 24 = -a, -2*c + d*c - 16 = 0 for a.
-4
Let f = 9 + -8. Solve 3*m + f + 23 = -5*g, -m - 4*g = 15 for m.
-3
Suppose 2*h = -0*h + 100. Suppose -6*d = -d - h. Let x(n) = -n**3 - 6*n**2 - 4*n + 7. Let m be x(-5). Solve 3*s + 2*s = 5*p + 15, m*p = -d for s.
-2
Let i(l) = l + 5. Let b be i(-3). Solve 5*s + 9 = -4*t, b*s = -2*s + 5*t - 40 for s.
-5
Let g = 0 - -3. Suppose 0*x - g*x = -12. Solve 4*u + 8 = x*z, -2*z + 0*z - 5*u = -4 for z.
2
Let r(f) = f**2 + 5*f + 7. Let t be r(-3). Solve m + 5*u = t, -2 = -4*m + 5*u + 2 for m.
1
Let w = 32 + -26. Solve 3*s = 2*u + w, -3*s + 15 = -8*u + 3*u for u.
-3
Suppose 0*k + 14 = 2*k. Let x = 10 - k. Solve -2*s = -4*c - 2, -x*c - 2*s - 3*s = -31 for c.
2
Let h = -3 - -3. Solve 2*z - c = h, 4*z + 0*c - 3*c = -2 for z.
1
Suppose 6*m = 5*m + 32. Solve 6 - m = 3*v - 4*x, -v + 23 = 5*x for v.
-2
Let i be (-7)/(-2)*4/7. Solve -3*a + 2 = 5*k, 2*k + 0*k - 4 = i*a for a.
-1
Suppose -2*w + 6*w - 20 = -4*f, 5*f - 13 = w. Suppose -2*q = f*q. Let l = q + 3. Solve -3*g = l*b + 3, 2*g - 6 = 2 for b.
-5
Let m be (-2)/5 + (-13)/5. Suppose i + 0 + 3 = 0. Let t = i - m. Solve t = 3*p - 2*p - 4*n - 19, 3*n + 9 = -p for p.
3
Let l(v) = -v**2 - 19*v - 28. Let j be l(-16). Solve -3*o - j = -4*i, -5*i = -o + 5*o + 6 for o.
-4
Let d(x) = 2*x - 7. Let h be d(5). Let a be ((-9)/h)/(3 + -4). Solve 21 = -5*s - 3*k, -4*s - a*k - 2 = 16 for s.
-3
Let f be 6/(-1 + 3) - 12/4. Solve i + v - 6 = f, 0 = 5*v - 18 - 7 for i.
1
Suppose -4*w + 33 = -27. Solve 2*x + 8 = x + 3*v, 5*v - w = 2*x for x.
-5
Suppose 2*x - x = 32. Suppose -5*h + h + x = 0. Let k(d) = -d**3 - 5*d**2 + 2. Let f be k(-5). Solve -2*o - 3*y - h = -y, 0 = -o + f*y - 7 for o.
-5
Suppose -2*o + 14 = 4*l, 4*l - o - 28 = -l. Solve 0 = -2*i + 3*i - 3, c - 11 = -l*i for c.
-4
Let o be 1 - (4/(-1))/(-4). Let a(v) = -2*v - 6. Let s be a(-4). Suppose -s*r = -4*u + 14, 3*u + 14 = 4*u + 3*r. Solve w = -y - u, 3*w + 7 = -y - o*y for w.
-1
Let p be 3 + (-66)/(0 + -3). Suppose 0 = 2*o - 9 - p. Let d = -8 + o. Solve -2*c = -5*f - 1, 6*c = f + c - d for f.
-1
Let v(j) = -6*j - 11. Let x be v(-2). Let t(k) be the first derivative of 3*k**2 - k + 1. Let m be t(x). Solve -15 = m*y - 4*a, 6 = y - 5*y + 2*a for y.
1
Let c = -18 + 18. Solve g + p = 3 - c, 3*g + 5*p = 11 for g.
2
Suppose 4 = -2*n - 4*w, -4*n + 13 = w - 7. Let x(k) = k**3 - 7*k**2 + 6*k + 4. Let p be x(n). Solve 0 = -p*j - b + 13, 3*j - b - 19 = -4 for j.
4
Let s = 95 + -73. Solve 0 = -4*d - 3*r + 17, 2*r = 4*d - 0*d - s for d.
5
Suppose -2*h - 6 = -3*v, 4*h + 0*h - 24 = -3*v. Suppose o + 4*o = 140. Solve -5*p - h*k + 12 = k, 5*p - o = 4*k for p.
4
Let b be (-8)/(-6)*3/2. Let h be (-10)/15*(-6)/(-4). Let o be -2*(-3)/(4 + h). Solve o*r + b*k + 1 = -k, -5*k = -2*r - 25 for r.
-5
Let x = 19 - 19. Solve 0 = 2*r + 2*c + 10, 2*r - 3*c - 3 - 2 = x for r.
-2
Suppose 12 = -2*z - 0*o - 4*o, -28 = -4*z + 5*o. Solve 0 = 5*t - 3*p + 1 - 4, z*t = -5*p + 26 for t.
3
Suppose -5*y + 57 = -68. Solve -2*d - 2*d - 25 = u, -3*u = 2*d + y for d.
-5
Let i(k) = -k**2 + 4*k - 2. Let b be i(3). Let g be 2/4*4/b. Solve -4*h = -2*w - w + 1, -g*h = 8 for w.
-5
Let y be (-6)/15 + (-88)/(-20). Suppose 2*d - 3*t - y = -t, 0 = 4*d + 2*t - 20. Solve 2*q = d*p - 26, 5*p = q + p + 21 