 + 31 for l.
-5
Let r be 3 + (1 + -2 - 1). Suppose -2*l - 4 + 2 = 0. Let p be (1 + l)*(-4)/8. Solve h = -p*h + r for h.
1
Let j be 8/5 - 9/15. Suppose q + j = 5*z - 3*z, 4*z = 16. Solve 5*v + q = 32 for v.
5
Let l(a) = -4*a**2 + 3 + 3*a**2 + 3 + 4*a. Let s be l(5). Solve 4*w - s = -9 for w.
-2
Let r(l) = -l**2 - 6*l - 6. Let h be r(-4). Let t = h + 11. Let f = 20 - 20. Solve f = 5*v - t - 12 for v.
5
Let n be 5/(-15) - (-14)/6. Suppose -n*b + 3 = -3. Solve b*r = 8*r + 15 for r.
-3
Suppose 6*v = 83 - 17. Solve v = 5*u + 1 for u.
2
Let g(b) = -b**3 - 4*b**2 - 2*b - 1. Let s be g(-4). Let u be (139 + 5)/((-6)/(-4)). Suppose -u = -5*y + 14. Solve 5*x - y = -s for x.
3
Suppose -5 + 1 = -q. Suppose -7 = -3*g - q. Solve -2*u - 1 = g for u.
-1
Suppose 4*s - 4 = 10*w - 6*w, -1 = 5*w - 3*s. Solve 2*m = -w + 5 for m.
2
Let h be 2/15 + (-926)/(-30). Suppose -2*v = 5*b - h, 4*v + 3*b - 4*b - 7 = 0. Solve 0 + 15 = v*p for p.
5
Let s(y) = 2*y**3 - 11*y**2 + 4*y + 7. Let k be s(5). Solve -6*h + k = -4*h for h.
1
Let t = -17 - -27. Solve 0 = 4*f + f - t for f.
2
Let i(m) = m**2 - 2*m. Let x be i(2). Solve 8 = -x*z + 2*z for z.
4
Let m = -77 - -115. Suppose -4*b - 36 = -2*p, 2 = -4*p - 4*b + m. Solve -5*a - p = -2*a for a.
-4
Let s(j) = j + 32. Let l be s(-27). Solve -3*u + 4 = -l for u.
3
Suppose -2*v = 5*a - 6, -5*v + 2*a - 1 = -16. Solve -12 - 3 = v*c for c.
-5
Let z(t) = -1. Let f(x) = 2*x**2 + 4*x + 4. Let y(g) = f(g) + 4*z(g). Let d be ((-4)/(-6))/(4/(-18)). Let w be y(d). Solve 0 = w*r - 2*r for r.
0
Suppose 8*l - 4*l - 5*s = 13, -2*l + s = -11. Suppose 5*n + 30 = 4*a, 3*a - n + 5*n = l. Solve 0 = a*g + 22 - 2 for g.
-4
Suppose -3*u - 1 - 5 = 3*j, -10 = -j + 5*u. Let t be (7/14)/((-2)/(-12)). Solve t*m + 3 + 3 = j for m.
-2
Let u(r) = 5*r + 7 - 8 - 4*r**2 + 5*r**2. Let y(j) = -j**2 - 2*j - 3. Let c be y(-3). Let k be u(c). Solve k*z = z for z.
0
Suppose 2*r + 2*r - 16 = 0. Suppose 3*j = -5*q + r, 3*q + 0 = -2*j + 2. Solve -3*w + w = q for w.
-1
Let h be (-7)/(1 - 2) + -2. Let o be -2 - 26/(-2)*1. Solve 0 = -h*n - 14 - o for n.
-5
Let h(w) be the first derivative of w**4/4 - 8*w**3/3 + 7*w**2/2 + 3*w + 3. Let i be h(7). Suppose 4*t = 9 + i. Solve t*u + 5 = -2*u for u.
-1
Suppose -5*n = -2*p + 4, -4*n + 8*n + 8 = 4*p. Solve 1 + 5 = p*x for x.
3
Suppose i + g - 16 = -g, i = -4*g + 24. Solve 3*z = i - 2 for z.
2
Let u be (-12)/(-8)*(-8)/(-2). Let g be 15/u*2 - 1. Solve 0 = 2*n + g for n.
-2
Suppose l = -l. Let d be l - (-2 + 8)/(-3). Solve -4*t + 10 + d = 0 for t.
3
Suppose -3*d + 3*i - 12 = 0, 2*i = -3*d - 3*i + 28. Let u be d/(-2)*-14 + -2. Suppose -2*w + 7*w = 0. Solve -u*j + w*j = 25 for j.
-5
Suppose 10*h = 5*h. Suppose -a + 5*a = -3*n + 151, -a = -5*n - 55. Suppose 2*y - 7*y + a = 0. Solve h*v - 4*v = -y for v.
2
Suppose -40*d + 37*d = -24. Solve 0 = -2*i - d + 4 for i.
-2
Let o be 1/(-2)*(-32 + -2). Let c = -1 + o. Solve 0*g + 4*g = c for g.
4
Let m(d) = -350*d + 350*d - d**2 + 1. Let v be m(-1). Solve -o - 3 = -v*o for o.
-3
Suppose 3*p + 2 - 23 = 0. Suppose 20 = 6*x - x - 5*d, 2*x - p = 3*d. Suppose 0 = -m + f + 5, 2*m = 4*m + 3*f + 15. Solve -t + m*t = -x for t.
5
Suppose 4*t - 6*t = -36. Let u be (-6)/(-27) + 86/t. Solve 3*o + 7 = -u for o.
-4
Let g(s) = 8*s - 13. Let i be g(2). Solve -i = c + 2 for c.
-5
Let t(m) be the first derivative of m**3/3 - 2*m**2 + 3*m - 6. Let x be t(3). Solve 3*j - 3 + 0 = x for j.
1
Suppose 3 = -f + 2*i, -6*i = 4*f - 3*i - 10. Solve -2 = k - f for k.
-1
Let n(o) = -o**2 - 4*o + 6. Let h be ((-45)/(-36))/((-1)/4). Let t be n(h). Solve m - t = -4 for m.
-3
Let i be (-8)/5 + 6/10. Let g be (-16 - i)*(-15)/25. Suppose 5*n = -4*o + 20, 16 = n + 5*o - g. Solve -u = -n*u for u.
0
Let u = 9 + -6. Solve 11 = -4*w + u for w.
-2
Let k be (0 - -1)*(6 - 4). Solve k*s + 8 = 2 for s.
-3
Let s(f) = -5*f**3 + 7*f**2 - f + 11. Let y(c) = c**3 - c. Let i(q) = s(q) + 6*y(q). Let a be i(-8). Solve 2*k = -k - a for k.
-1
Suppose 10 = 2*i - 0*i. Let x = 23 + -7. Solve i*z - x = z for z.
4
Let l be 0 + 40 - -1 - 2. Let f = -3 + 17. Solve 5*b - f + l = 0 for b.
-5
Suppose -3*u - 15 = 0, -3*b - 2*u - 21 = u. Let f = 5 + b. Solve -f*z = 2*z for z.
0
Let j be -4 + 4 + 8 + -3. Solve -1 = j*u - 16 for u.
3
Suppose -5*j - 2 = -j - 5*l, -3*j - 5*l + 16 = 0. Solve 2*o - 3*o + j = 0 for o.
2
Let y = -4 - -7. Suppose -4*w - 2*m = -2*w + 12, -3*w - y = -2*m. Let j be (-24)/w - 2*1. Solve -16 = -j*b + 2*b for b.
4
Suppose 0 = -3*g - g + 4. Let v = g - -2. Suppose 5*h - 17 = 3*t - 0*t, -t = v*h + 1. Solve -2*o + h + 3 = 0 for o.
2
Suppose -2*x = a - 10, -18 = -4*a - 0*a + 3*x. Let y(w) = w**3 + 8*w - a*w - 1 + 0 - 2*w**2. Let r be y(1). Solve r = o + o for o.
0
Let h be ((-1)/2 - 1)*-2. Let q = 4 + -1. Suppose -q*p + 19 = 5*w, 0*w + 7 = h*p - w. Solve -p = -3*s + 3 for s.
2
Let y(f) = f + 2. Let b be y(-1). Let s = b + -1. Solve s = 5*r - 8 - 2 for r.
2
Suppose 7*y - 16 = 3*y. Solve -y*d - 2 + 18 = 0 for d.
4
Suppose -5*w + 2 + 16 = -z, 0 = -5*w - 5*z. Let b = 14 + -9. Suppose 0 = -b*t - 4*d + 16, w + 2 = -5*d. Solve -t = -3*j - 1 for j.
1
Suppose -o + 20 = 3*t + 4, 2*o = 3*t - 13. Suppose o = -4*v - 5*x, v + 0*x = x + 11. Solve 0*c = -3*c + v for c.
2
Suppose -2 = r - o - 3*o, 0 = 3*r - 3*o - 12. Solve j - r = -j for j.
3
Let s be 225/(-18)*(1 + -3). Solve -8*g + 3*g - s = 0 for g.
-5
Suppose 0 = -3*n + 2 + 4. Solve 5*y + 12 - n = 0 for y.
-2
Suppose 7*s - 8 = 5*s. Solve -t + 0 = s for t.
-4
Suppose -18 = -0*r - 9*r. Solve -r*t - 7 - 3 = 0 for t.
-5
Let m = 68 - 48. Let n be (0 + 0)/(-2 - 0). Solve m = -4*i - n*i for i.
-5
Let a be 0/((3 + -4)*-1). Let y be (0 - -1)/((-2)/(-10)). Let j = y - a. Solve j = 4*x + x for x.
1
Let i(x) = -x**3 - x**2 + x + 1. Let n(d) = 4*d**3 + 6*d**2 - 4*d - 6. Let h(c) = -5*i(c) - n(c). Let o be h(2). Suppose 2 = o*m - 4. Solve 4 = m*k - 0 for k.
2
Let j be 1/3 - (-28)/6. Solve -8 - 17 = -j*u for u.
5
Let b = 22 - 17. Suppose -5*c = -3*a - a - 5, b*a + 5*c = 5. Let d = 2 - -3. Solve 2*r - r + d = a for r.
-5
Suppose 3*o + 2*l = 16 - 2, 3*o - 4*l = 26. Suppose 4*x + 4*f = 0, -5*x - 3*f = -o*f - 40. Let c be 0 + 1 + (17 - x). Solve 3*t + 4 = c for t.
3
Let u(y) = -y**2 - 5*y + 4*y**2 - 2 - 2*y**2. Let w be u(6). Suppose 7*z = w*z + 3. Solve 5*s + 19 = -z for s.
-4
Let r be (2 + -8)/((-4)/2). Suppose 0 = 4*o + 12, r*q - o = 3. Suppose q*p = -p + 2. Solve p = -5*z - 23 for z.
-5
Let p be ((-4)/(-2))/((-4)/(-6)). Suppose u = 2*u - p. Solve u*w = -w for w.
0
Let f be 40/6 + (-4)/(-12). Let h = -2 + f. Suppose 0*s - 3*s + a = 4, 0 = s - 3*a + 12. Solve -3*c - h - 4 = s for c.
-3
Suppose -5*q = 3*r - 35, 3*q + r - 4*r - 21 = 0. Solve -8 = u - q for u.
-1
Let v = 18 + -9. Solve 4*c + v + 3 = 0 for c.
-3
Let h be ((-1)/4)/(1/(-68)). Solve h*f = 12*f - 5 for f.
-1
Let q be 1/4 + (-14)/(-8). Suppose 3*w + 0*w = 9. Suppose o + 4*g + 12 = w*o, -4*o - 5*g = 2. Solve o*z + q + 0 = 0 for z.
-1
Let u(q) = q**3 + 9*q**2. Let x be u(-9). Let l = x - -1. Solve 2*y + 3 = -l for y.
-2
Let a(v) = -v + 1 + 0*v - 1 - 6. Let h be a(-9). Solve h*k + 2 = -1 for k.
-1
Suppose 3*p = -5*u - 0*p - 12, 0 = -5*p + 5. Let g(z) = z**2 - 2. Let c be g(3). Let w = u + c. Solve 4*l - 24 = -w for l.
5
Suppose -4*t - 2 = -5*t. Let n(b) = -4 - 3*b**t + 12*b + b**3 - 5*b - 4*b**2. Let k be n(6). Solve m = k - 7 for m.
-5
Let f be (-25)/10*24/(-15) - 4. Solve -2*s - 3*s = f for s.
0
Suppose -3*f + 1 = -2, 3*f = -l + 3. Solve l = 2*v - 5*v + 6 for v.
2
Suppose 2*j + 3*q - 1 = 0, -j + 3 = -q + 2*q. Solve 5*l + j = -2 for l.
-2
Let p be ((-3)/2)/(21/56). Let q = p + 6. Let w be 2/6 + 1/(-3). Solve w = 3*u + q*u - 15 for u.
3
Let t = 10 - 8. Suppose 0 = -2*v - 4*k - 14, -t*k + 15 = -5*k. Let w = 4 - v. Solve 0*g - g = -w for g.
1
Let k(j) = j**3 + 9*j**2 + 9*j + 10. Let p be k(-8). Suppose 4*y - 5 = 3*i, i = -2*y + 3*i + 4. Let g(r) = 4*r**2 + r. Let x be g(y). Solve 0 = x*t - p*t for t.
0
Let v(a) be the second derivative of a**5/20 - 5*a**4/6 + 4*a**3/3 + 9*a**2/2 - a. Let z be v(9). Solve -n - 4*n - 15 = z for n.
-3
Let s(d) = 4*d**2 + 4*d + 4. Let b be s(-2). Solve 3*r = -r + b for r.
3
Let p = 4 + 0. Suppose 5 = p*y - 3. Solve y*d - 4*d - 2 = 0 for d.
-1
Let z be 43 - (8/(-4) + 5). Suppose 4*j = -0*j + z. Solve 0 = 3*p - 8*p + j for p.
2
Suppose -4*w - 142 = 2*i