olve -2*l - l = -p for l.
4
Let a(p) = p**2 + 2*p - 1. Let z be a(-3). Solve 0 = -z*b - 8 for b.
-4
Suppose 12 = 2*w + 2. Let v = 16 - 18. Let z = v + 11. Solve w*p = -z - 1 for p.
-2
Suppose 2*x - 2*o = -3*x + 36, 5*x + 4*o - 48 = 0. Let v(m) = m**2 - 12*m + 15. Let f be v(12). Let n be ((-12)/f)/(1/(-5)). Solve 4*a + n = x for a.
1
Let j(r) be the third derivative of -r**6/120 + r**5/12 - 5*r**2. Suppose 0 = n - 6*n + h + 26, 2*n - h - 11 = 0. Let s be j(n). Solve s*t = 5*t for t.
0
Suppose 5*l = 4*y - 16, 3*l + 3*y + 4 = 4*y. Solve l = -2*d + 2 for d.
1
Let x be (0 - -1)*(2 + -7). Let y = 8 + x. Suppose p = 4*p - 9. Solve p*l - y = 3 for l.
2
Let w be (-6)/(-39) - (-80)/(-13). Let f be w/3 + (-4)/(-1). Solve l + 15 = -f*l for l.
-5
Let r(t) = -t**2 - 5*t + 4*t**3 + 4*t**2 - 3*t**3. Let c be r(-4). Solve 20 = w + c*w for w.
4
Suppose -5*x + 11 = 1. Suppose 0*y + x*y + 25 = -5*c, -2*y = -5*c - 25. Solve -2*g - 4 = -y*g for g.
-2
Let s(x) = -x**2 - 3*x + 12. Let z be s(-5). Solve -z = -0*u - u for u.
2
Let g = -8 - -12. Solve -d + g*d = -6 for d.
-2
Let f(k) = -k - 12. Let g be f(-15). Solve -i = -0*i + g for i.
-3
Let q be (3/2)/((-6)/(-8)). Suppose -4*n + 1 - 10 = k, -n - 3 = k. Let i = n + q. Solve i = -2*z - 2*z - 12 for z.
-3
Let t(l) = l**3 - 4*l**2 - l + 3. Suppose 2*z - 2 = 6. Let q be t(z). Let u be 5 + q/((-1)/1). Solve 0 = u*s - s + 5 for s.
-1
Let c(a) = 2*a**3 + 3*a**2 - a - 1. Let s be c(1). Solve s*o + 3 = -6 for o.
-3
Let m = 0 - -3. Suppose 5*c = -10, t = -c - 5 + m. Solve t = 6*j - 3*j for j.
0
Let u = 113 - 113. Solve u = -5*h + 19 - 4 for h.
3
Let a be 1/(0 - (-2)/16). Let t = -7 + a. Let m = -3 - -3. Solve -q = -m - t for q.
1
Suppose -5*h = 3*w - 4, -2*h + 7*h - 10 = -5*w. Solve -z = -w*z for z.
0
Let u(b) = -6*b + 38. Let s be u(6). Solve -2*r + 0*r - s = 0 for r.
-1
Suppose 0 = 3*b - 6*b + 12. Let f(t) = -t**2 + t - 1. Let u be f(0). Let o be -1 + u + (-4)/(-2). Solve o = -b*g - g + 25 for g.
5
Let f(v) = 2*v - 3. Let b be 13/4 - 4/16. Let n be f(b). Let s = n + -3. Solve 3*w + 0*w = s for w.
0
Let f be (6/(-9))/(4/(-72)). Solve -2*h - 2*h - f = 0 for h.
-3
Suppose -5*y + 3 + 17 = 0. Solve y*v = 2*v - 2 for v.
-1
Let p be 8*(3 - 5/2). Solve 6 = -t + p*t for t.
2
Let d(z) be the first derivative of -z**4/4 + z**3 + z**2 - z - 2. Let g be d(3). Solve 10 = -0*v - g*v for v.
-2
Let i(w) = -w**3 - 2*w**2 + 3*w + 3. Let z be i(-3). Suppose -x - z = -6. Solve 7*c - x*c = -8 for c.
-2
Let c(b) = b**3 + 14*b**2 - 15*b - 10. Let n be c(-15). Let t = -6 - n. Solve -t*d = d - 15 for d.
3
Let s(y) be the second derivative of -y**4/24 + 5*y**3/6 - y**2 + 2*y. Let t(z) be the first derivative of s(z). Let m be t(5). Solve m = 4*o - o - 6 for o.
2
Let i be (-5 + (-7 - -9))/((-6)/10). Solve 17 = -i*f - 3 for f.
-4
Suppose 0 = 4*f - 17 + 5. Solve -f*m + m + 10 = 0 for m.
5
Let l(r) = 2*r**2 - 3*r - 4. Let g be l(3). Suppose -5*b = -30 - 20. Solve b*a = g*a + 15 for a.
3
Let p = 1 + 2. Solve 0 = 5*f + 18 - p for f.
-3
Let j be (1/(-2)*(-1 + 1))/(-1). Solve -4*g + j*g + 8 = 0 for g.
2
Let j(d) = -5*d + 8. Let z be j(4). Let y = z - -13. Solve -y = u - 0*u for u.
-1
Let k = 3 - 10. Let l = k - -11. Solve -l*x + 6 = -x for x.
2
Let v(m) = -m + 1. Let l(d) = d - 2. Let i(t) = -3*l(t) - 7*v(t). Let n be i(1). Solve y = -n*y for y.
0
Let a be 3 + 1 + 6/(-3). Solve 0*b + a = b for b.
2
Suppose 0 = 7*s - 2*s - 15. Solve k = s - 4 for k.
-1
Let q(k) = k**3 + 6*k**2 + 4*k - 1. Let x be q(-5). Suppose 2*u + g + x = -3*u, 20 = 4*u - 5*g. Suppose -18 - 6 = -3*i. Solve u*s - i = 4*s for s.
-2
Let c(f) be the second derivative of -f**4/12 + 2*f**3/3 + f**2 - 5*f. Let s be c(4). Solve s*d = -3 - 3 for d.
-3
Let g = -8 + 18. Solve -g = w - 6*w for w.
2
Let i(g) = 5*g**3 - 2*g**2 - 3*g + 4. Let z be i(1). Solve z*t = 2 + 2 for t.
1
Suppose 24*m - 5*m = 38. Solve 8 = 4*l - m*l for l.
4
Suppose -5 = s - 6. Let x(o) = o + s - 3 - 3 + 3 + o**2. Let m be x(3). Solve 9*k + m = 4*k for k.
-2
Suppose -3*g + 8*g = 15. Solve 6*n = g*n - 3 for n.
-1
Let z(k) = k**3 - 6*k**2 + 4*k + 7. Let r(p) = 7*p - 1. Let q be r(1). Let d = -1 + q. Let a be z(d). Solve 0*v + 6 = a*v for v.
3
Let z = -25 - -28. Solve z = -o - 1 for o.
-4
Let p be ((-1)/3)/(3/(-45)). Suppose 0 = p*c, 2*z = -2*c - c. Solve z*s - 25 = 5*s for s.
-5
Suppose -33 = -14*p + 9. Suppose 2*i + 5*n = 2*n - 19, -5*i - 5*n - 35 = 0. Let s = p - i. Solve -s*z = 3 + 2 for z.
-1
Let f be ((-16)/(-6))/((-2)/(-12)). Suppose -p - f = p. Let j = p - -15. Solve j*h + 8 = 3*h for h.
-2
Let q = -17 - -33. Suppose -q*n - 11 = -17*n. Solve n = 3*l + 5 for l.
2
Let c = -4 - -6. Suppose -4*u - 19 = -3*x - c*u, -3*u - 18 = -x. Let i be (-2 - (-10)/x)*15. Solve -t - 3*t = -i for t.
5
Suppose -4*k + k + 2*j + 4 = 0, 0 = 2*j + 4. Let m(o) = 1. Let d(s) = s - 6. Let y(w) = d(w) + 4*m(w). Let x be y(2). Solve f + x*f + 4 = k for f.
-4
Let i = -26 - -28. Solve 4*c - i*c = 0 for c.
0
Suppose 5*i + 0*m - 2*m - 45 = 0, 15 = -3*m. Suppose 0 = 4*u - 5*f - 0 - i, 0 = 2*u + 3*f - 9. Solve -u*z + 3 - 6 = 0 for z.
-1
Let m be (-32)/(-14) - (-18)/(-63). Suppose -3*d = 2*j - 11, -5*j = d - 0 + 5. Let y = 3 + j. Solve v = m*v - y for v.
1
Let w = -4 + 4. Let s be 6 + w - (-4 + 4). Suppose -s = -4*o + 2, -3*o = 4*v - 22. Solve -3*j - v = j for j.
-1
Let f = 12 + -9. Let o be (f/1 - -2)*5. Solve -j - o = 4*j for j.
-5
Suppose 0 = -23*z + 22*z + 8. Solve -3*a = -z*a + 15 for a.
3
Let m(v) = v**2 + 8. Let a be m(0). Let k be (-2)/13 + 123/39. Suppose -z + 5 = k. Solve z*i = a - 2 for i.
3
Suppose -z + 16 + 9 = -4*q, 3*z = 3*q + 75. Suppose -15 = -6*c + 3*c. Suppose 2*b + 2*b + h = c, 5 = 2*b + h. Solve b*m - z = 5*m for m.
-5
Let l = -14 + 14. Solve -5*r + 11 - 1 = l for r.
2
Suppose -55 = -5*j + 5*k, -4*j - 4*k = -7 - 5. Suppose -f - f = -4. Let i be f - 2 - (0 + -2). Solve -i*v + 1 = -j for v.
4
Suppose -7 = 4*q - 15. Solve 4*y = q*y + 6 for y.
3
Suppose 0 = 3*u - h - 14, u + 0*h - 28 = 5*h. Solve u + 9 = -4*x for x.
-3
Let f(l) = -7*l - 1. Let a be f(-1). Suppose 18 - a = 4*k. Solve 0 = -k*v + v - 10 for v.
-5
Suppose 0 = 11*v - 10*v - 3. Let s(n) = 4*n**2 + 1 + n - 5*n**2 + 2*n**2. Let r be s(v). Solve -3 + r = -2*q for q.
-5
Let z(p) = -3*p + 2. Let g be z(7). Let w = g - -21. Solve 2*q - 4*q - w = 0 for q.
-1
Let k be 42/12 + 2/4. Solve 2*p = -k - 6 for p.
-5
Let f(h) = -3*h**2 - 20*h + 20. Let t(a) = 2*a**2 + 10*a - 10. Let r(j) = -3*f(j) - 5*t(j). Let y be r(8). Solve 0 = -i - i + y for i.
3
Suppose 0 = -2*h - 5*h + 28. Solve -3 = -h*f + 1 for f.
1
Suppose 0 = -a - 4*a + 55. Suppose -a - 9 = -4*u. Solve -u*j - 3 = 2 for j.
-1
Let b(k) = k**3 - k + 7. Let y be b(0). Solve -y - 1 = 2*f for f.
-4
Let h = 16 - 13. Let m be 1/h - 44/(-3). Solve -3*l = 2*l + m for l.
-3
Suppose -k = k - 6. Suppose -4*z + 66 = -5*t, 0 = -k*t + 5*t + 4. Let u be 4/z + 4/(-14). Solve u*o + 2*o = 4 for o.
2
Let u(f) = f**2 - 4*f - 7. Suppose 3*r = -3*n + 15, 2*n = 7*n - 4*r - 34. Let h be u(n). Let i = 10 + -10. Solve -h*p + 6 + 4 = i for p.
2
Let a(z) = z - 8. Let m be a(10). Let r = 7 - m. Solve 3*l - r*l + 4 = 0 for l.
2
Suppose -35 = -3*x + 5*t, -2*t + 9 = 5*x + 2*t. Let a = 39 - 60. Let b be (-18)/a*7*2. Solve x*s = s - b for s.
-3
Suppose 0 = -3*d - d + 20. Suppose 19 = d*i + 4. Solve -3*k + 2*k - i = 0 for k.
-3
Suppose 0 = 4*r, 0 = -2*a + 7*a - 2*r - 10. Let u = -4 - -6. Suppose h = a*b - u, b - h - 3 = -4. Solve -2*l + b*l + 3 = 0 for l.
-3
Let s = -11 + 13. Solve -3*q - s*q - 10 = 0 for q.
-2
Suppose 0 = 2*g - g - 4. Solve g*s + 15 = -1 for s.
-4
Suppose -2*b + 75 = 3*b. Solve 3*x + 2*x = b for x.
3
Let c(q) = 2*q**2 - 9*q + q**3 + 6*q**2 + 2 + 0*q**3 + 0*q**3. Let s be c(-9). Solve -o = -s*o for o.
0
Let a be (-2)/(-6) + (-42)/(-9). Solve 5 + 10 = -a*n for n.
-3
Suppose -d + 3*d = 4. Suppose -3*o = d*o - 10. Solve -j = -o*j for j.
0
Let w = 1 + 2. Let j be 3/3*w/1. Solve 2*i + 5 = j for i.
-1
Suppose -11*v = -16*v + 25. Let d be (-6)/(-4) + (-1)/2. Solve -d = -v*b - 6 for b.
-1
Let l = -56 + 61. Suppose 9*t + o = 4*t + 1, -5*t + 3*o = 3. Let c = 0 + t. Solve c = k - 6*k - l for k.
-1
Let x(n) = -3*n - 5. Let g be x(-3). Solve o + 0 = -g for o.
-4
Let o(n) = -2*n + 7. Let t be o(-3). Solve -3*j = -t + 1 for j.
4
Let q = 27 - 17. Suppose -2*y - 2*b + q