. Let w be p(-7). Solve l + w = -3*l for l.
-2
Let d(t) = -t**3 - t**2 + 3*t + 2. Let h = -6 - -6. Suppose m - 1 + 3 = h. Let o be d(m). Solve o = -2*v - 0*v - 4 for v.
-2
Let h(t) = -6 - t**2 + t + 0*t - 2 + 9*t. Let y be h(6). Solve -4*v + y = -0*v for v.
4
Let p(i) = -i**3 + 5*i**2 - 3*i - 4. Let b be p(4). Suppose -5*s + 12 = -2*z, b = 4*s - 5*z - 0*z - 13. Let r = s - -13. Solve -5*o - r + 5 = 0 for o.
-2
Let j(v) = v**3 + 9*v**2 - 16*v - 25. Let d be j(-10). Solve 0 = 5*a - 10 + d for a.
-5
Let d = 3 + 2. Let a be (6/4 - 2)*-10. Suppose a*f = -z - 3*z + 26, -3*z = 5*f - 22. Solve -3*h - f*h = -d for h.
1
Suppose 5*z = -5*a + 35, -17 = -3*z + 7*a - 6*a. Let j = z - 3. Solve 2 = c - j*c for c.
-1
Let b = 20 + -17. Solve 0*p - 6 = -b*p for p.
2
Let j = 27 + -2. Solve 2*i = 7*i + j for i.
-5
Let q(y) = 3*y**2 + 15*y - 8. Let z be q(-6). Solve 0 = 4*k + z + 10 for k.
-5
Let b be 0/((-3 - 0) + 0). Suppose x = -5*o - 1, 0 = -5*o - 1 - 4. Solve -2*w - x = -b*w for w.
-2
Suppose 0*l = l. Solve 3*b - 3 = -l for b.
1
Let f(j) = -2*j + 18. Let r be f(-9). Let a be (r/(-16))/(-3)*4. Solve a*b - 5*b = -10 for b.
5
Suppose 4*r - 10 - 10 = 0. Solve 0 + r = 5*w for w.
1
Suppose -3*f = -4*f + 2. Solve -11 = f*x - 3 for x.
-4
Let l be (3 - 3/1)/2. Suppose 2*j - 4 - 8 = l. Solve m = j*m for m.
0
Suppose 0*m = 2*m - 10. Suppose 3*h + 5 = 4*h. Suppose b - h*w - 10 = 0, -8 = 4*b - 3*w + 7*w. Solve b = -m*d - 2 + 7 for d.
1
Let q(w) = w + 25. Let h be q(0). Let v be 0/3 - (0 + -2). Solve v*l + 3*l = h for l.
5
Let t(l) = l**3 + 8*l**2 - 2*l + 2. Let a = 4 + -12. Let k be t(a). Solve 3*o = -k + 6 for o.
-4
Let d(q) = q - 5. Let u be d(5). Suppose -5*c = 10 - u. Let s be (-3)/(1 + (c - 2)). Solve -4*i + 3*i = s for i.
-1
Suppose -20 = -3*q - 8. Suppose -10 = -2*v - q*t, t + 14 = 5*v - 0. Suppose 3 = n - l, v*n - 6*n + 3 = -l. Solve s = -n*s - 1 for s.
-1
Suppose -9 = -3*b, -4*b - 12 = -2*u - 0*u. Let w be (u/(-2))/3 - -8. Solve -i = i - w for i.
3
Let w(m) = m**3 - 8*m**2 + 11*m + 13. Let a be w(6). Solve 3*q = a*q for q.
0
Suppose 4*w + 65 = 3*i, i + 2*i = -3*w + 30. Let c = i - -5. Solve c = -5*q + q for q.
-5
Suppose 8*t = 3*t + 10. Let i be (9 - 3)*1 + (-3)/1. Solve -a = -t*a - i for a.
-3
Let o(w) = -2*w + 27. Let i be o(12). Solve i*l + 5 = -10 for l.
-5
Suppose -18 = -8*t + 6. Solve 0 = -2*r - t*r - 15 for r.
-3
Let i be 0/((-4)/((-12)/3)). Solve 4*l + 3 + 1 = i for l.
-1
Suppose 0*l + 5*z = 4*l - 42, l + 5*z + 2 = 0. Solve -4 + l = -4*k for k.
-1
Suppose 4*r + r - 40 = 0. Suppose 14 = 2*o + 2*z, r + 0 = -o + 4*z. Suppose -2 - o = -3*q. Solve -2*c - q*c - 20 = 0 for c.
-5
Suppose -2*h + 2 = i, -3*h = -5*i + 4 + 6. Solve 3*y = -i*y for y.
0
Let w(m) = -m + 12. Let z be w(5). Solve -3 - z = 5*k for k.
-2
Let x(j) = -j - 2. Suppose 14 = -3*p + p. Let c be x(p). Solve 0 = h - c*h - 16 for h.
-4
Let y = 1 - 3. Let o(c) be the first derivative of c**2/2 + 2*c - 1. Let m be o(y). Solve m*z - 4*z + 4 = 0 for z.
1
Suppose -4*w = 2*a + 6, 5*a = w + 4*w + 45. Suppose -5*g = a*p - 15, -4*g + 0 - 16 = -3*p. Suppose p*h - 5 = 3*h + z, -3*z = 9. Solve 5*s = 4*s + h for s.
2
Suppose 5*i + 84 = 2*m + m, -2*m - i + 56 = 0. Suppose h - 3*x = -3*h + m, -5*h + 2*x = -28. Solve 0 = -2*r + h*r - 8 for r.
4
Let r(g) = -g**3 + 3*g**2 + 2*g - 2. Let i be r(3). Let z be ((-3)/(-6))/(2/80). Let t(j) = -j - 5. Let q be t(-5). Solve i*w + q*w = -z for w.
-5
Suppose 0 = 4*o + 16, -2*f - 2*o + 22 = -0. Let r be (-2)/(-6) + (-5)/f. Solve -20 = -5*c - r*c for c.
4
Let j = -17 + 22. Solve j*n - 1 = -6 for n.
-1
Let h be 1*(-1)/((-2)/8). Suppose -h*x + x = 33. Let u = x + 16. Solve 2*i - 5 = u for i.
5
Suppose -10*t = -8*t - 4. Solve -3*x - 7 - t = 0 for x.
-3
Suppose -4*l + 45 = 3*j, 2*l + 12 = 4*l - 2*j. Let u(n) = n**2 - 9*n + 12. Let o be u(3). Let s = o + l. Solve 6*d - s*d - 6 = 0 for d.
2
Let x(y) = -y**2 + 6 - 4*y**2 + 6*y + 4*y**2. Let c be x(6). Suppose -p + c*p = 25. Solve -2*l = -l + p for l.
-5
Let r(o) = -o**2 - 4*o + 3. Let m be r(-4). Let j = 74 - 72. Suppose -43 + 15 = -4*h. Solve -j = -m*x + h for x.
3
Let b = 46 + -44. Solve 0*f + 6 = -b*f for f.
-3
Let c be 345/(-21) + 6/14. Let u be -3 + (-32)/(c/4). Solve 12 = -u*b - 13 for b.
-5
Let u(m) be the third derivative of m**4/12 - m**3/6 + 2*m**2. Let v be u(1). Solve w + 1 = -v for w.
-2
Let n be 5 + (1/(-1))/1. Solve -2*g + n = -4*g for g.
-2
Let c(f) = -f**2 - f - 2. Let q(d) = d**3 + 2*d**2. Let u be q(-2). Let x be c(u). Let n = 6 + x. Solve -7 = n*k - 15 for k.
2
Suppose l - 1 = -0*l. Let j be (5 + -1 - l)/1. Let a = -5 + 5. Solve 0 = -a*h + h + j for h.
-3
Let p(w) = -w - 5. Suppose 2*c + 13 - 3 = 0. Let n be p(c). Solve -8*q + 4*q = n for q.
0
Let v = 4 - 3. Solve -2*w + 1 = -v for w.
1
Let y(j) = 3*j**3 + j**2 - 2*j + 1. Let x be y(2). Let r be (30/x)/((-3)/(-10)). Solve -r = m + 1 for m.
-5
Let r = 15 + -11. Let v = r - 4. Solve 0 = -2*z - v + 10 for z.
5
Suppose -8*k = -3*p - 7*k + 6, 4*k = 0. Solve o + p*o = 15 for o.
5
Let h = -4 - -5. Suppose 7 = 3*a + v, 2*a + 3*v - 10 = 5*v. Solve -a*r - h = -4 for r.
1
Suppose 0 = 5*w - 3*w - 24. Suppose l - 5*l + w = 0. Suppose 5*b - 8 = -m + l, 0 = 5*b - 2*m - 23. Solve b = -2*g - 7 for g.
-5
Let r = 2 + -2. Let z = -8 - -8. Suppose 3*t - 15 = -z*t. Solve r*i + i + t = 0 for i.
-5
Suppose -1 = 11*g - 1. Solve -4*j = -g*j - 8 for j.
2
Let x(a) = -a**3 + 10*a**2 + 11*a + 4. Let r be x(11). Solve -3 = r*p - 5*p for p.
3
Let t = -21 - -21. Solve -b + 1 - 2 = t for b.
-1
Let v(n) = 0 + 0*n + n + 2. Let j be v(-4). Let m be (-19)/j + 1/(-2). Solve -3*t - 21 = -m for t.
-4
Let d(t) = -2*t**2 - 12*t + 16. Let x be d(-7). Solve x*w - 10 + 2 = 0 for w.
4
Let o = 28 - 16. Suppose 2*k = 5*k + o, -2*d + 4*k + 16 = 0. Suppose -i + d*i = -2. Solve -8 - 2 = i*w for w.
-5
Suppose 2*f + 3*f = 30. Let r = f + -3. Solve r*m + 15 = -0 for m.
-5
Suppose 2*k - 15 = 7*k. Let w(u) = -u**3 - 2*u**2 - 4. Let c be w(k). Solve -3*z + c = 2 for z.
1
Let w = -6 - -9. Suppose 0*u - 4*t = 2*u, -t = w*u - 15. Solve 4 = -2*z + u*z for z.
1
Let p(s) = s**3 + 4*s**2 + 3*s + 3. Let c = 15 + -18. Let y be p(c). Solve -h - y*h = -12 for h.
3
Suppose 15 = 4*g - 5*w, 4*g - 22 = -g + 3*w. Let u = -6 - -3. Let j = u + 5. Solve g*l = 3 + j for l.
1
Suppose 0*b + 2 = b. Solve 9 = b*z - 5*z for z.
-3
Let q(d) = -2*d + 18. Let s be q(7). Solve -s*l = -5 - 3 for l.
2
Let x = 21 + -18. Suppose -5*n = -4*n + 3*t + 15, -x*n + 25 = -5*t. Suppose -2*j = -5*j. Solve j*m - m = n for m.
0
Suppose -5*z + 3*z = 8. Let c(v) = -v - 2. Let o be c(z). Solve -o*w + 0 = -6 for w.
3
Suppose -b = 13 - 17. Let y = 14 - b. Solve -y = -h - h for h.
5
Let g be 3 + (1 - 8) + 1. Let o(n) = n + 6. Let c be o(g). Let m be (-1 + (c - 3))*-15. Solve 2*r - m = 5*r for r.
-5
Suppose -3*q = -5*q. Solve q - 12 = -3*l for l.
4
Suppose 5*w = 3 + 7. Suppose -5*l + 19 = o, 0 = -4*o - 4*l - 1 + 29. Let s = -4 + o. Solve s = -3*g - w - 7 for g.
-3
Let h(m) = m**3 - m**2 + m + 8. Let f = -19 - -19. Let y be h(f). Solve 3 = j + y for j.
-5
Let v be ((-6)/(-5))/((-1)/5). Suppose 40 = 2*z + 3*z. Let j = z + v. Solve j*g = -3*g - 10 for g.
-2
Let o be (-60)/8*(-2 + 0). Solve -2*z - z = o for z.
-5
Suppose 5*d - 20 - 10 = 0. Solve 0 = 4*h - 2*h + d for h.
-3
Let v(q) = q**2 - 5*q - 2. Suppose 0*y - 24 = -4*y. Let a be v(y). Suppose d - 5 = h, d = -4*d - a*h + 25. Solve -5 = d*w - 0 for w.
-1
Suppose o + 2 = -2*r, -2*r = -3*o + r + 39. Suppose 0 = -4*z + o. Solve 0 = z*j + 4 for j.
-2
Suppose 3*i - 4 = -t, -3*i + 5*t = -0*i + 2. Suppose -2*p + 3 = 3*q - i, 0 = 3*q. Solve -p = -5*f - 17 for f.
-3
Suppose h - 5 = 1. Let d be (-16)/(-10)*15/h. Solve -j = -d - 0 for j.
4
Let f be ((-84)/(-16))/((-3)/(-8)). Suppose 5*y - f = -44. Let c be (-2)/y + (-1)/3. Solve c*p - p = -2 for p.
2
Let x be 10 + 5 + (-2 - 1). Solve -t - 2*t - x = 0 for t.
-4
Let m = 5 + 0. Let k(y) = -y**2 - 6*y - 1. Let v be k(-4). Solve -18 - v = m*a for a.
-5
Let g be (-30)/(-9)*12/10. Suppose 5*j + i + 3 = 0, -2*i - 6 = -g*j + 2*j. Suppose 22*v = 24*v. Solve j = -v*c - 2*c for c.
0
Suppose 3*y - 18 + 7 = 4*b, 5*b + 9 = -y. Suppose 1 = -k, -4*q - 4*k + 2 = 10. Let v be q*(3 - y) + 4. Solve -2*m - v + 4 = 0 for m.
1
Let h = 8 + -5. Suppose -2*i - 2*i = -40. Solve -h*z + 2 + i = 0 for z.
4
Suppose