ve m*p - 2 = 13 for p.
5
Let f(r) = -11*r**2 + r. Let l be f(-1). Let x be (3/l)/((-5)/20). Solve -x - 9 = 5*i for i.
-2
Let j be (-1)/(-1) + (-4 - -18). Solve 3*o = -2*o - j for o.
-3
Let x = -4 + 7. Solve -2*d + x = -d for d.
3
Let p = -18 + 23. Solve 3 = -p*q - 2 for q.
-1
Suppose 0 = -2*q - s + 3 + 4, 0 = -5*q + 3*s + 34. Solve q*v + 15 = 2*v for v.
-5
Suppose -r = -6*r - 10, -r = 2*h - 94. Let u(z) = z**3 - 2*z**2. Let c be u(3). Suppose 4*q = 2*k - h, -c = 5*q - 4. Solve -k = -3*t - 7 for t.
5
Let r = 8 + -6. Suppose 4*x = x + 2*f + 10, 4*f - 28 = -r*x. Solve x*p - 10 = 4*p for p.
5
Let o(q) = q. Suppose 5*f - 4 = 3*s, -3*s - 2*s = 2*f - 14. Let c be o(f). Solve k = c*k for k.
0
Suppose -9 = -2*u - u. Suppose h - 4 - 6 = 4*i, i + 3 = 0. Let v = h - -4. Solve u - v = -z for z.
-1
Suppose -6 = -4*y - 5*t + 4, 3*y = 5*t + 25. Solve -5 = 2*n + y for n.
-5
Let z = -8 + 17. Solve 3*c - z = -0*c for c.
3
Let c(h) = 3*h - 2. Let f(l) = 2*l - 1. Let r(x) = -5*c(x) + 8*f(x). Let p be r(0). Suppose -4*a + 31 + 25 = 0. Solve 3*v - a = -p for v.
4
Let s be -2*((-13)/2 + 5). Solve -2*a + s = a for a.
1
Let n = -97 - -101. Suppose 24 = 4*i - i. Suppose -c - 1 = v - i, -c = -2*v - 1. Solve n*h - 4 = v*h for h.
2
Let c be 13/(-78) + (-10)/12. Let n be (c + 3)/(3/15). Solve 0*z + 5*z - n = 0 for z.
2
Suppose 0 = -5*q - 4*o + 2, 4*o + 12 = 3*q + o. Let n(s) = -4*s**2 + 3*s + 2*s**2 - 3*s**2 - 2 + 4*s**2. Let v be n(q). Solve v = -g - 2*g for g.
0
Let z = -2 + 1. Let t(a) = -10*a**3 - a**2 + a + 1. Let r be t(z). Solve 2*d = -d - r for d.
-3
Let o(b) = b**2 - 4*b - 8. Let n be o(8). Let i be (-1)/6 - (-52)/n. Solve p = -i*p for p.
0
Let z = 7 + -3. Suppose -y - 5*v = 5, y + 4*v = 4*y - z. Suppose y = 4*x + 20, 8*o - 3*o + 3*x - 25 = 0. Solve 0 = -3*l + l + o for l.
4
Suppose -24 = 39*s - 51*s. Let p = -2 - -5. Let j(c) = -5*c - 3. Let q be j(-2). Solve 0 = -s*w - p - q for w.
-5
Let v be -3 - 8 - 0/1. Let u = v - -13. Solve 0*d = u*d for d.
0
Suppose 7*v + 3 - 45 = 0. Suppose 4*y - 3*b - v = 13, 3*y + 3*b = 9. Let o = -3 + 8. Solve -o*z = -16 - y for z.
4
Let l(b) = b. Let n be l(0). Let y = 20 + n. Solve 0 = -2*k - 2*k - y for k.
-5
Let v(d) be the second derivative of d**5/20 + d**4/3 + 2*d**2 - 2*d. Let i be v(-4). Solve -i*b = b for b.
0
Let d be 4*2/8 + 2 + 0. Solve 0*u = -d*u + 15 for u.
5
Let n(r) = -9*r**3 - 2*r - 1. Let b be n(-1). Let m be b/(-15) - 47/(-3). Solve -4*x - m = 5 for x.
-5
Suppose 4*v - v - 15 = 0. Suppose -c - v = 4*c + 4*u, 0 = 5*c + 3*u. Solve -t = c*t for t.
0
Let c(u) be the third derivative of u**7/5040 - u**6/120 - u**5/30 + 2*u**2. Let d(s) be the third derivative of c(s). Let b be d(8). Solve b*n = -n for n.
0
Let i be 18 - 16 - (-5 - -1). Solve o = -o - i for o.
-3
Let p = -1 + -18. Let a = 23 + p. Let u = 4 - 2. Solve 0 = -a*b - u - 18 for b.
-5
Let h be 5*(-3)/9*-3. Let q = h + -4. Solve r - q = -4 for r.
-3
Let y(p) = -p + 10. Let b be y(7). Let w be b/(-2)*20/(-6). Solve 4*r - 3*r = -w for r.
-5
Let o(b) = -4*b + 4. Let p be o(4). Let k = -9 - p. Solve 4 = -k*c - 2 for c.
-2
Let g = 15 + -12. Solve -6 = -g*s - 0 for s.
2
Suppose t + d - 1 = -3, 3*t = d + 10. Solve -h + t = 3 for h.
-1
Let t(g) = -3*g**2 - g - 2. Let o(x) = x**2 + x. Let u(y) = -y**2 + y - 1. Let w be u(0). Let s(r) = w*t(r) - 4*o(r). Let b be s(-2). Solve -n + b*n = 3 for n.
1
Let y(o) = -4*o + 5. Suppose 2*k + 4 = -2*b, -3*k + 9 = -2*b - 10. Let a be y(b). Solve -5*z + a = -0 for z.
5
Let q(r) = -19*r + 2. Let n be q(-1). Solve -5*b + n = -4 for b.
5
Let x(i) = -3*i**3 - 4*i**2 + 3. Let d be x(-1). Let l = -5 - -10. Solve -3 = -l*g + d for g.
1
Suppose 7 - 34 = -9*a. Solve 1 = 2*d + a for d.
-1
Suppose -4*s + 15 = 3*n, 33 = 5*s - 0*n - n. Let b = s - -11. Solve 3*y - b = -2 for y.
5
Let n(x) = 3*x**2 - 5*x - 3. Let g be n(4). Let y be 1/1 - 0/(-5). Let f be 2 - 2*y/(-2). Solve g = f*d + 2*d for d.
5
Let m(g) = 8*g**2 - 4*g + 2. Let t be m(1). Let r = -8 + 10. Solve t*u = r*u - 8 for u.
-2
Let m be -3 + (0 - -1) + (-13 - -16). Solve m = -j + 2 for j.
1
Suppose 14 = 2*u + v, 3*u - v - 49 = -2*u. Suppose f = 5*o - 11, -5*f + u = -3*o - 2. Solve -f*j - 2 = 6 for j.
-2
Let t(w) = 0 + w**3 - 4*w**2 + 3 - 2*w**2. Let i be t(6). Suppose -5*p = -h - 10, 0 = -3*p - 4*h + h + 6. Solve -p*b - i - 5 = 0 for b.
-4
Suppose 3*w - 4*w + 3 = 0. Solve 0 = w*b - 3 for b.
1
Let w be (-1120)/(-182) + (-2)/13. Solve 2*o + w = -o for o.
-2
Let b be (0 - -1)*10/2. Suppose -3 = 4*v + 21. Let t be 4 - 2 - (-6 - v). Solve 0 = f - t*f + b for f.
5
Let w be 4/6*9/2. Suppose 0 = 2*j - 4*m + 2, 4*m = w*j - 0*m - 1. Suppose 0*s - 12 = -2*s. Solve 3*l - s - j = 0 for l.
3
Let q = -19 - -22. Solve -g + q*g - 4 = 0 for g.
2
Let r = -27 + 23. Let h be (-27)/6*r/6. Solve g = -h*g + 12 for g.
3
Let a(o) = -o**2 + 15*o + 6. Suppose 5*i - i - 60 = 0. Let j be a(i). Let v = 2 + 3. Solve -v*k = -2*k + j for k.
-2
Let b(j) = -j + 6. Let r be b(4). Solve a = r*a + 5 for a.
-5
Suppose -2*y + 5*q - 3 = 0, -3*y + q + 19 = 4. Let b be y/(-8) + (-149)/4. Let w = -18 - b. Solve 0*o - 5*o + w = 0 for o.
4
Let z be (2 + -2)*(-8)/32. Let j(a) = a + 8. Let g be j(-7). Let m be (-4)/(2*(z - g)). Solve 0 = -2*n - m*n + 12 for n.
3
Suppose -3*f - 6 = -21. Suppose 6*i + 3*p = 3*i + 9, -p = -3*i - 11. Let a be (0 - 1 - -1)/i. Solve a*w - f*w = -10 for w.
2
Let v be (-2)/(-11) - 6/33. Suppose -p = -v*p. Suppose p = -2*z + 6. Solve 0*j - z = -j for j.
3
Suppose 0 = d - 3 - 3. Suppose u - d = -u. Suppose 0*c + c = -3*m + 9, 0 = -5*m + u*c + 15. Solve -4 = m*k - 1 for k.
-1
Suppose -7 = 2*l + 3*q - 6*q, -4*q + 20 = 0. Solve l + 5 = -3*n for n.
-3
Let q(n) = n**2 - 8. Let k be q(7). Let g = k + -25. Solve 3*l = -l + g for l.
4
Let u be 15/10*(-8)/(-3). Solve 5*m - u = 16 for m.
4
Suppose -2*v = v - 30. Suppose 0 = u + 12 - 2. Let t be 2/u + 66/30. Solve -t*j + 0*j + v = 0 for j.
5
Suppose -4*h - 18 = -5*z, -4*z + 2*h = 4 - 16. Solve 1 = -r + z for r.
1
Let b(y) = -y**3 - 4*y**2 - y. Let j be b(-4). Let t = j + 8. Solve -4*x + t = -8 for x.
5
Let m = 15 - 9. Solve 2*g + 12 = m*g for g.
3
Let l be ((-9)/6)/((-2)/(-20)). Let t = -21 - l. Let x be (-5 - t) + (-2)/2. Solve x = -2*w + w for w.
0
Let y be 896/420 + 34/(-30) + 1. Solve d - 6 = -y*d for d.
2
Let g = -2 - -10. Let s = 17 - g. Solve 5*t - s = 6 for t.
3
Let h = -5 - -1. Let b = 1 - h. Solve -p - 20 = -b*p for p.
5
Let h be 5/(2 + -1 - 0/4). Solve 3*k = h*k + 4 for k.
-2
Let a be ((4 - 3)*-1)/(-1). Let b = 45 + -43. Solve b = x - a for x.
3
Suppose -34*i = -35*i. Solve 3 = -j - i*j for j.
-3
Let u be (-30)/42 + 1 - (-36)/21. Solve -u - 1 = -3*w for w.
1
Suppose 3*u + 2 = 4*u. Suppose 0 = u*t - 3*t. Solve -r + t*r + 4 = 0 for r.
4
Suppose 0 = -8*u - 5*u + 26. Suppose 3*r + 0*r = 0. Solve -u*y + 6*y - 4 = r for y.
1
Let m(a) = 28*a**3 - a**2 + a - 1. Let n be m(1). Suppose -u + 4*u - n = 0. Let h = -3 + u. Solve 3*c - 5*c + h = 0 for c.
3
Let j = -5 - -10. Suppose -3*p = -d + 12, 0 = -2*d - j*p + 2 - 0. Solve -5*s + 1 - d = 0 for s.
-1
Let q be (5 - 5 - -4) + -4. Solve q = -p - 5 + 1 for p.
-4
Let k = -63 + 68. Solve -20 = -k*q - 0*q for q.
4
Suppose 0 = -p - 3, -4*j - 5*p = j - 5. Suppose -2*h = -4*h + j. Solve x = h*x + 1 for x.
-1
Let o = -5 - -5. Let v = 50 - 50. Solve -2*h + v - 10 = o for h.
-5
Let i(d) = d**3 + 5*d**2 + 4*d + 3. Let o be i(-4). Suppose o*y + 9 = 6*y. Solve -x + 8 = y*x for x.
2
Let q(r) be the third derivative of -r**5/60 + r**3/6 - 2*r**2. Let b = -7 - -6. Let f be q(b). Solve f = 4*g - 0*g - 16 for g.
4
Let r be (-48)/(-32) + 1/2. Solve -r*h = -5*h for h.
0
Let t(n) = 2*n**2 - 6*n + 2. Let b be t(4). Suppose -5 - b = 5*x. Let g be (2/(-5))/(x/30). Solve -g + 2 = -j for j.
2
Suppose -73 = -4*v - h, 0 = v + 3*v - 5*h - 43. Solve v = 4*z + 5 for z.
3
Suppose -3*m = -4*m. Suppose -3*z + 13 = 1. Let g = m + z. Solve -k = g*k for k.
0
Suppose 0 = 5*i + 2*p - 19, -3*p + 8*p = -2*i - 5. Solve i*y + 1 = -4 for y.
-1
Suppose 2*d - 5*d - 3 = 0. Let g be 6/(d + 3) - 1. Solve 0 = 5*y - 6*y - g for y.
-2
Let t be (1/(-3))/((5/(-6))/5). Solve -u + 4 - t = 0 for u.
2
Let q(g) = -g**2 - 6*g + 3. Let r be q(-6). Suppose -4*n + 2*x - 6*x + 36 = 0, -2*x = -2*n + 2. Suppose -9 - 1 = -n*m. Solve a - r = -m for a.
1
Suppose 3*s - 17 = -4*i, 3*s + 0 = 4*i 