ve -r*k + 10 = -15 for k.
5
Let b = 10 + -7. Suppose 5*d - 4 = -b*q, -1 = -5*d - q + 7. Solve d = -3*v - 4 for v.
-2
Let y = -57 + 66. Solve y = -b + 7 for b.
-2
Suppose b = -2*b - 4*q - 11, -4*q = -5*b + 35. Solve d + 12 = -b*d for d.
-3
Let b = -100 + 68. Let m be 15/4 - 8/b. Solve 2*a = m*a + 6 for a.
-3
Let u be (-66)/(-6) - (1 - -1). Let y be (-2)/u - 16/(-72). Solve -3*z - 3 - 3 = y for z.
-2
Let j(a) = a**2 + 3*a + 3. Let y be j(-3). Suppose -3*f + 0*v + 19 = 2*v, -y*v + 30 = 5*f. Solve -f*o + 6 = -6 for o.
4
Let o = -2 + 3. Let k be o/(2 - 47/24). Let r be k/14 + 4/14. Solve r*m = 2 + 2 for m.
2
Let m = 1 - 1. Suppose -6 = -3*u - m. Solve u = -3*x - 7 for x.
-3
Let y be 4/(1/(-50)*-4). Suppose 3*f - 5*z - 34 = 0, -4*z - z - y = -5*f. Suppose x - 4*r - 4 - 6 = 0, x + 5*r + f = 0. Solve j = -x*j - 12 for j.
-4
Let p = -21 + 55. Let c be (-8)/(-20) - p/10. Let j be (1 - 1)/(c/(-3)). Solve 12 = 4*f - j*f for f.
3
Suppose -g + 4 - 2 = 2*c, 4*c - 34 = -5*g. Let s be (-18)/15 - (-2)/g. Let b = s - -3. Solve t = b*t + 5 for t.
-5
Let g(v) = 9 + v - 4*v + 2*v. Let m be g(8). Solve m = y + 2 for y.
-1
Suppose -c - f = 2*c + 1, 0 = 2*c + 5*f + 18. Let p be (-2)/10 - 64/(-20). Solve -p*z - 5 = c for z.
-2
Let w = 41 + -29. Suppose 0 = -5*n - 3*q - 19, 4*n + 3*q = -q - 20. Let x = -2 - n. Solve -3*c = -x*c - w for c.
4
Let v(j) = j**2 + j. Let o be v(-2). Solve -6 = -o*m - 2 for m.
2
Suppose -2*s = -56 - 98. Suppose -a + s = 4*h - 24, 4*a = -3*h + 79. Solve -6*i = -i - h for i.
5
Let k(f) = 4*f + 9. Let b be k(-6). Let n(w) = 4*w - 9. Let j be n(-5). Let s = b - j. Solve 4*v = -2 - s for v.
-4
Suppose -d + 4*d - 3 = 0. Let n(s) = 10*s**2 + 1. Let g be n(d). Solve 3*p - 4 = g for p.
5
Suppose -3*p - 12 = -2*v, 3*v - 2 - 2 = p. Solve 3*x - 6*x = v for x.
0
Let r = -10 + 11. Solve -5*z - r = -26 for z.
5
Let v = 30 + -25. Solve p = -0*p - v for p.
-5
Suppose -6*k + 38 - 8 = 0. Solve 9*h - 4*h = k for h.
1
Suppose -c - 1 = 0, v - c = -3*c - 8. Let w be 10*(-1)/7*-7. Let d = w + v. Solve -d*t = -t for t.
0
Let k be (1 + 0)*-1 - (-95 + 88). Let v be (-1)/(1/(-24)) - -1. Solve z - k*z = -v for z.
5
Let o(h) = h**2 + 6*h + 6. Let c be o(-6). Let q(n) = -4 + c - 3 + 10*n - n**2 + 0. Let b be q(9). Solve 0 = -3*k - 2 + b for k.
2
Let z(h) = h**2 + 6*h + 7. Let q = -1 - 4. Let k be z(q). Solve k*a + 3 - 1 = 0 for a.
-1
Let q be -4 - (-6)/2 - -6. Solve 2*g = 1 - q for g.
-2
Suppose 0*l + 6 = -3*l. Let d be (l - -2 - 2) + 10. Let p = -8 + d. Solve -2*b + 7*b = p for b.
0
Let b = 1 - -1. Suppose 10 = 2*p - 2. Suppose -5*n + 21 - p = 0. Solve -j = -b*j + n for j.
3
Let d(k) = -k**2 + 20*k + 5. Let z be d(20). Solve x = z*x for x.
0
Let l = 36 + -22. Solve -4*u - 2 = l for u.
-4
Suppose 11*b - 17*b = -24. Solve b*v + 12 = -8 for v.
-5
Let h = 19 - 9. Solve y - h = -y for y.
5
Let t be 2/7 - (-6)/(-21). Let k = t + 8. Solve 7 = -3*i - k for i.
-5
Let q(w) be the third derivative of -1/60*w**5 + 0 - 2*w**2 - 2/3*w**3 + 0*w - 3/8*w**4. Let t be q(-8). Solve t = 4*a - 0*a for a.
1
Let f be (-37)/7 + 8/28. Let t = 0 - f. Solve 0*z = t*z for z.
0
Let w = 6 + 0. Let k = 15 + -18. Let d = k + w. Solve -4*a - d = 1 for a.
-1
Let g = 58 - 29. Suppose v = -4*d + d + 19, -g = -5*d - v. Suppose d*t = -2*y + 2*t + 8, 3*t = 0. Solve -h + y = h for h.
2
Let t = -181 - -182. Solve 11 = 4*g - t for g.
3
Suppose 3*a = -5*n - 8, -n + 8 = 4*a + n. Suppose 4*f = a*t, t = 4*f + 2*t. Suppose 3*d = g, 5 = g + 2*d - f. Solve 2*l = 3*l - g for l.
3
Let b(n) = -n**2 + 4*n + 3. Let m be b(4). Suppose 5*u - 14 = -4. Solve -u*w = -3*w + m for w.
3
Let o(h) = 2*h - 14. Let l be o(9). Solve -l*w + 6 + 14 = 0 for w.
5
Let v(w) be the third derivative of -w**4/24 + w**2. Let y be v(-3). Solve -p = 1 + y for p.
-4
Let j(l) = 21*l + 4. Let i(v) = -21*v - 3. Let n(m) = -5*i(m) - 4*j(m). Let z be n(1). Solve 4*p + 0 - z = 0 for p.
5
Let x be (-1 - 0)*(-6 + 0). Suppose -3*t - 4*d + 0*d + x = 0, 10 = 5*t - 4*d. Solve t = 4*o + 22 for o.
-5
Let l(y) = y**2 + 3*y + 4. Suppose -2*b - 6 = a, a = -5*b - 0*a - 15. Let i(s) = 2*s + 3. Let w be i(b). Let c be l(w). Solve -2*f - 2 - c = 0 for f.
-3
Let l = -9 - -29. Solve -5*j + 0*j - l = 0 for j.
-4
Suppose 87 - 3 = 7*z. Solve 0 = 4*b + z - 0 for b.
-3
Let f(g) = -g**3 - 6*g**2 - 2*g - 12. Let r be f(-6). Solve s = -r*s - 1 for s.
-1
Suppose x + 4*x - 40 = 0. Suppose q - 25 = 5*f, -3*q + 2*f = -f - 27. Solve -m = -q*m - x for m.
-2
Let d(q) = -q**3 - 9*q**2 - 2*q + 10. Let k be d(-9). Let g = k + -18. Solve 5*a - g = 3*a for a.
5
Suppose 80 = 4*i + 3*x, 3*i = 5*x + 95 - 6. Let t = i - 20. Solve 6 = -t*w + w for w.
-3
Let t(v) = -5*v - 1. Let r be t(7). Let l be (-1)/(-1)*-2 - r. Let y(n) = n. Let s be y(5). Solve -l = s*z - 9 for z.
-5
Let x = 16 + -16. Solve -6*i + i = x for i.
0
Let u be (2 - 12/9)*6. Solve -u*a + 2*a - 6 = 0 for a.
-3
Suppose -b + 2*v + 2*v = 0, 0 = -4*v. Solve 0 = 5*y - b*y for y.
0
Suppose 0 = -n - n + 8, -4*f = 4*n - 20. Solve -f = k + 2 for k.
-3
Let t = -1 - -4. Suppose 0 = -3*w + 3 + t. Solve -1 - w = 3*r for r.
-1
Suppose -12 + 44 = 4*l. Let o = l + -5. Solve o*t - 6 = 3 for t.
3
Let x be (3/1)/((-2)/(-6)). Suppose -6 - x = -3*w. Solve 3*c = w - 2 for c.
1
Let y be 4/6*(-165)/(-22). Let p be y*(-3 + 84/20). Let g(s) = -s**2 - 5*s - 3. Let t be g(-3). Solve -t*a + 3 = -p for a.
3
Suppose 4*w - 2*s - 68 = 0, 5*w - 2*w - 33 = -3*s. Let r = -13 + w. Solve -r*i = -1 - 7 for i.
4
Let g(p) be the first derivative of p**2/2 + p + 2. Let q = 7 - 0. Let h be g(q). Solve 2*s - h = -2*s for s.
2
Suppose 4 = -3*f - 2*p, f - 6*f + 35 = -5*p. Let h be 10*1*f/5. Suppose b = -h*r, -4*b = r + 19 - 4. Solve -q + 2*q - r = 0 for q.
1
Suppose 0 = 4*h - 4. Suppose -7 = -2*m - 3*p, -p + h = -0*p. Suppose m*s = s. Solve 4*l = -s*l + 8 for l.
2
Let o(s) = -s**3 - s. Let c be o(0). Suppose 0 = -c*q - 2*q + 4. Suppose -5*n - 20 = 0, -3*y + n + 32 = -n. Solve q*l = -y + 4 for l.
-2
Suppose 6 + 2 = 2*i - 4*w, 0 = -4*w - 4. Suppose i*l + 12 = 3*f + 7*l, 0 = 5*l - 15. Let p be 1*f*(-8 + 8). Solve -3*j + p*j = 0 for j.
0
Suppose -3*n - 1 = 17. Let z = -1 - n. Suppose z*s - 55 = 5. Solve -g + s = 2*g for g.
4
Suppose 7 + 9 = 4*c. Suppose -5*o + c*n = -20 - 12, -2*n = -3*o + 20. Solve q = 3*q + o for q.
-4
Let u be -1*(-3 - (-2 - -1)). Let b(t) = 2*t - 8. Let r be b(4). Suppose r*j - 33 = -2*j + 5*i, 3*j - 3*i - 27 = 0. Solve -j*s + 2 = -u for s.
1
Suppose 2*y = -2*y. Let m(w) = w + 4. Let g be m(y). Solve l = g*l for l.
0
Let n(x) = x**2 - 11*x - 5. Let d be n(8). Let k = -23 - d. Solve -k - 14 = -4*g for g.
5
Let k be (40/35)/(4/14). Solve 5*p = 9 - k for p.
1
Suppose 2*j - 18 = -z, -z + 4*j - 6 = 6. Solve -z = 2*c - 2 for c.
-3
Let t(d) = 2*d**2 - 3*d**2 - 4 - 2*d + 8*d. Let g be t(5). Let p be 2 + (1 - g) + 1. Solve 8 + 4 = p*w for w.
4
Let u = 7 + -3. Suppose -3*m + 36 = 3*l, 5*m + 0 = -l - u. Solve -4 = -5*s + l for s.
4
Let h = 11 - -11. Let c = h - 16. Let u = c - 3. Solve -3*q = -6*q + u for q.
1
Let t be 8/1 - (-2 - -5). Solve 4 = t*s - s for s.
1
Let j be 2/(-6)*(0 + -6). Let g(w) = 2*w**j - w**2 + w - 2*w. Let k be g(1). Solve k*b = 3*b + 15 for b.
-5
Let w(f) = f**3 - 8*f**2 + 10*f - 1. Let o be w(7). Solve y = 6*y - o for y.
4
Let a be (-3)/((-2)/(4 - 2)). Suppose p - 2 = 2, 3*p = 3*s + a. Suppose -r = f + s, -2*f + 3 + 16 = -3*r. Solve f*w = -w + 6 for w.
2
Let s(l) = l - 11. Let r be s(6). Let u(j) = -j**3 - 6*j**2 - 7*j - 5. Let a be u(r). Let k be 4/8 + 9/6. Solve k*p + a = -5 for p.
-5
Let c(t) = -3*t - 2*t + 3*t + 3*t - 1. Let w be c(1). Solve p = -w*p for p.
0
Suppose -x - 3 = -5. Let f(s) = -7 - 4*s + 13*s + s**2 + 0*s**x. Let h be f(-10). Solve -h*w + 2 = -1 for w.
1
Let j(b) = b**2 + b - 19. Let c be j(-6). Solve 0 = -4*i - 9 - c for i.
-5
Let i(r) = -r**3 - 9*r**2 - r - 3. Let p be i(-9). Solve 0 = t - p*t - 5 for t.
-1
Let x = 28 + -26. Suppose 2*w = 3*w - 2. Suppose -p + 0 + 2 = 0. Solve w = -p*g - x for g.
-2
Suppose 0 = -43*q + 49*q - 54. Solve q + 7 = -4*m for m.
-4
Suppose 0 - 4 = -d. Suppose -8*p + 6*p + d = 0. Let w be (12/(-2))/((-3)/p). Solve 4 - 12 = w*o for o.
-2
Let d be 3*((-10)/(-6) - 4/6). Solve -d = h + 2 for h.
-5
Let c be (-11 - -7)/((-2)/1). Solve -1 = c*g + 9 for g.
-5
Let y(a) be the second derivative of a**4/6 - a**3