-5
Suppose -25*w = -31*w + 24. Solve w*j + j = 15 for j.
3
Let f = 9 + -4. Suppose k - f*k + 20 = 0. Solve -5 = k*v - 30 for v.
5
Suppose -32*i - 16 = -36*i. Solve -i = 2*d - d for d.
-4
Suppose -3*s = 4*d - 6, 0 = -5*d + 4*s + 6 + 17. Suppose -2*a + 9 = 3*t, -5*t = 2*a - d - 12. Let r = -4 + 6. Solve -2*i + a = r for i.
-1
Let v(c) = c**3 + 9*c**2 - 23*c - 8. Let k be v(-11). Solve t = k*t for t.
0
Let z = 53 + -45. Solve -3*t - t - z = 0 for t.
-2
Let i(w) = -2*w - 16. Let j be i(-8). Solve 4*d + 2 - 10 = j for d.
2
Suppose 24 = 4*s - 5*v, 0 = -3*s - 3*v - 0*v + 45. Solve 1 = -2*h + s for h.
5
Let b = -7 - -9. Suppose 0 = -3*m + 6*n - b*n + 34, -5*n - 38 = -3*m. Solve -m*a + a = -25 for a.
5
Let f = 74 - 47. Suppose 3*x + 10 = -k + 3, 4*k = -x + f. Let a be 4 + (0 - (3 - 2)). Solve a*i = -k + 20 for i.
4
Let n(w) = w**2 - 9*w + 9. Let c be n(8). Let b(o) = 17*o**2 - 1. Let a be b(c). Solve -3*m + 7*m + a = 0 for m.
-4
Let z(j) = -3*j**3 - j**2 + j - 1. Suppose 0 = 2*m - m - 1. Let k be z(m). Let r = k - -4. Solve n + 1 = -r for n.
-1
Suppose 0 = 2*n - 0*n - 18. Solve -6*c - n = -3*c for c.
-3
Let t(s) = -3*s**3 + 2*s**2 - 3*s + 4. Let p(d) = -d**3 + d**2 + 1. Let c(h) = -4*p(h) + t(h). Let q be c(3). Solve q = v + v - 10 for v.
5
Suppose -h = -2*j - 5*h + 32, -3*h - 11 = -j. Let r be (j - 0)/((-32)/(-16)). Solve -r*y = -2*y + 15 for y.
-3
Let q = 82 + -56. Let i be q/5 + 1/(-5). Solve 4*j + i = -j for j.
-1
Let a be ((1 - 3) + 2)/(-1). Suppose -1 = 4*u - v - 4, -2*u + 3*v - 11 = 0. Solve a*x - u = -x for x.
2
Let a be (-3)/12 + 39/12. Suppose a*j - 24 = 3*v, -j + 2 = 2*v + 21. Let s(d) = -d - 9. Let n be s(v). Solve n*l = 2*l for l.
0
Suppose 35 = -4*p - 5*i, -3*p - 38 + 5 = -3*i. Let g(m) = m**3 + 9*m**2 - 9*m + 12. Let q be g(p). Suppose -q*o = -0*o. Solve -4*y - y - 15 = o for y.
-3
Let n(x) be the second derivative of x**5/20 + 3*x**4/4 - 5*x**3/3 + 5*x**2/2 + 4*x. Let a be n(-10). Solve -a*p - 2 = 8 for p.
-2
Let i(u) = -u**2 + 7*u - 6. Let o be i(5). Solve -l = -2 + o for l.
-2
Let d(o) = -o + 1. Let u be d(-2). Suppose k - 5 + u = 0. Solve k*i = -2*i for i.
0
Let d(n) = n**3 - 4*n + 3. Let c be d(2). Suppose 3 = -c*r + u, 0 = -0*r + 3*r + u - 3. Solve -5*m - 10 + 0 = r for m.
-2
Let k = -76 - -91. Solve 0*s = 3*s - k for s.
5
Let x = 10 - 8. Suppose -x*l - 2 = -4. Let w = -2 + 2. Solve -2*k - l + 9 = w for k.
4
Let l be (-3)/(-2)*(-6)/(-9). Solve l + 2 = -n for n.
-3
Suppose 3*k + 4*q - 6 = 7*q, 0 = -2*k + q + 2. Solve k*o = 5*o - 5 for o.
1
Let m be (6 + -1)*(-7 - -6). Let t = -1 - m. Solve t*x - 7 = 1 for x.
2
Let d(b) = -b + 3. Let q be d(0). Solve q = 5*a - 2*a for a.
1
Suppose 5*x - 4*x = 5*q - 7, x = 3*q - 5. Let y be ((-2)/(-1) - 2)/q. Solve -o + 2*o + 3 = y for o.
-3
Suppose 2*l - 4*l - c = 13, -4*l - 28 = 4*c. Let f = l + 10. Solve 7 = f*n + 23 for n.
-4
Let v be 56/30 - 6/(-45). Solve 5*r + v = -8 for r.
-2
Let i(n) = -n**2 + 4*n + 1. Let r be i(3). Suppose 5*v - 4*v - r = 0. Solve -v*d = -d for d.
0
Suppose 0 = 5*h - o - 33, -3*h - 2*o = -h - 6. Suppose -3*t + 3 = -9. Suppose 6 = -3*y + 5*p, 5*y - t*p = p. Solve -y*g = -h*g for g.
0
Let k = 9 + -8. Let l be k*-5*(-21)/35. Suppose l*i + 15 = -4*r, 2 - 7 = i. Solve 4 = -4*w - r for w.
-1
Let h(p) = p + 12. Let l be h(-9). Solve -f - 2 = -l for f.
1
Let c(r) = -r**3 - 2*r**2 + 2*r + 3. Let z be c(-3). Solve -o + 20 = -z*o for o.
-4
Let w(h) = -2*h + 1. Suppose -3*g = -4*g - 2. Let j be w(g). Solve -2*t = -j*t - 15 for t.
-5
Let x(k) = 4*k + 7. Suppose 2*m = -4 - 6. Let y be x(m). Let w be 1 - (y - -3)/2. Solve -t = -4*t - w for t.
-2
Suppose 0 = -3*r + 2*r + 8. Let x be (-4 + 2)/((-4)/r). Solve 10 = x*h + 30 for h.
-5
Let c(o) = 4*o - 4. Let u be c(1). Solve -3*q = -u*q for q.
0
Let f be (10 - 9)/(0 - (-2)/8). Solve t = f*t + 9 for t.
-3
Let g(b) = b**3 + 6*b**2 + 6*b + 7. Let y be g(-5). Suppose c - y*c = 0. Solve 2*m = -10 - c for m.
-5
Suppose 5*u = 4*u + 2. Suppose 0 = -u*l + 4 + 6. Solve 8 + 2 = l*r for r.
2
Let v(i) = -i**3 - 5*i**2 - 5*i - 1. Let o be v(-4). Suppose -u = -4*q + 17, -4*u - 2*q = o*q - 37. Solve -p + 1 = -u for p.
4
Suppose v - 44 = -38. Solve 5*w = 3*w + v for w.
3
Let d = 25 + -25. Solve d = -f + 4*f - 12 for f.
4
Let q = -5 + 10. Suppose -2*v + 5*c + 34 = -0*v, q*c = -20. Suppose -3*i - k + 13 = 0, i - 3*k + v = -2. Solve i*n - 1 - 8 = 0 for n.
3
Suppose 4 = 3*n - 5. Suppose 3*j = n*m + j + 11, 0 = 4*m - 5*j + 17. Let c be ((-2)/m)/(4/18). Solve r - c = -2*r for r.
1
Let z(s) = -s**3 + 14*s**2 + 31*s + 19. Let w be z(16). Solve -4*p = -p - w for p.
1
Let j(d) = 2*d - 6. Let g be j(5). Let z be 1/g - (-188)/16. Solve 0 = 2*p - 6*p + z for p.
3
Let f = -56 + 34. Let q = 28 + f. Solve 2*s - q = -0 for s.
3
Let b(f) = 5*f. Let p be b(2). Let o = 0 + p. Let m be ((-10)/25)/((-2)/o). Solve 5*w + 3 = -m for w.
-1
Let o be (22/3)/((-4)/(-6)). Let x = -6 + o. Suppose -x*y + 3*y = 0. Solve 4*j - 5*j - 3 = y for j.
-3
Let d(t) = -t + 10. Let a be d(5). Suppose -p - 4*p = a*c, -2*p = 3*c - 2. Solve -c*w = 3*w for w.
0
Let j = 3 + -3. Suppose j = p + p. Let g be (5 - -3) + 0 + -2. Solve -g*a + 5*a + 5 = p for a.
5
Let u(j) = j**3 - 25. Let s be u(0). Let o = s + 28. Solve -q = -2 + o for q.
-1
Let k = 8 + 4. Let c = k + -10. Solve 0 = c*b + 3 - 9 for b.
3
Let p(c) = c + 12. Let d be p(-10). Solve d*a = -3*a + 20 for a.
4
Let a(j) = 2*j**2 + 4*j + 2. Let r be a(-2). Solve -r*f = -3*f + 4 for f.
4
Let f = -11 - -15. Solve 5*j + f + 6 = 0 for j.
-2
Let b(o) = o**3 - 2*o**2 - 4*o + 3. Let q be b(3). Solve 5*d + 0*d = q for d.
0
Suppose -a + 15 = -13. Suppose -3*i - 2*i = -25. Suppose b = i*b - a. Solve 25 = -2*z + b*z for z.
5
Let o(p) = -p**2 - 7*p + 10. Let g be ((-6)/8)/(1/(-4)). Suppose -18 - 6 = g*n. Let i be o(n). Solve -4 = -i*w + w for w.
4
Suppose a = t - 1, 0 = 2*t + a + 2 - 7. Suppose -7*s + 15 = -2*s - 2*r, -5*s = t*r - 35. Let z be 16/6 + (-2)/3. Solve -z = f - s for f.
3
Let r(c) = 9*c - 2 + 4 + 6*c. Let f be r(3). Suppose 6*u + 3*l - 51 = u, 0 = 5*u + l - f. Solve -1 - u = -2*j for j.
5
Let m = 2 + 0. Solve -2*n = -0 + m for n.
-1
Suppose 0*i = -2*i + 24. Let a(q) = q - 6. Let c be a(i). Let u(m) = -m**3 + 7*m**2 - 6*m + 6. Let v be u(c). Solve -2*h - h - v = 0 for h.
-2
Suppose 110*b + 70 = 120*b. Let w(q) = -3*q - 8. Let o be w(-6). Solve -2*m = -b*m - o for m.
-2
Let y(c) = -c + 27. Let f be y(23). Solve x = -f*x + 25 for x.
5
Suppose -g = 3 + 13. Let i = g - -16. Solve i = 5*t - 5 - 20 for t.
5
Let j(c) = -3*c + 1. Let f be j(-2). Solve 3*x = 5 + f for x.
4
Suppose 0 = -6*a + a. Solve a = -3*j + j - 6 for j.
-3
Let d(g) = -g**3 + 2*g**2 + 3*g + 2. Let o be d(-1). Solve -2 = -4*k + o for k.
1
Let p(m) = 3*m + 2*m + 0 - 1 - 2*m. Let l be p(2). Suppose -4*o = -3*c - 34 - 6, -l*o + 4*c + 50 = 0. Solve o = -4*q + 26 for q.
4
Let l(a) = -a. Let n be l(-8). Solve 0 = -o - o - n for o.
-4
Let q = 19 + -23. Let h be 1/q - (-85)/20. Solve -h*w + 0 - 4 = 0 for w.
-1
Let r = 20 - 4. Suppose 5*v - 9 - r = 0. Solve v = -f - 0 for f.
-5
Let m(l) = -2*l - 3. Let t be m(-11). Suppose 0 = 4*b + t + 5. Let o be b/(-18) + 8/3. Solve 4*s + o = -1 for s.
-1
Suppose 4*n - 4*a + 0 + 16 = 0, 0 = -2*n + a - 3. Solve -n = -3*x + 5 for x.
2
Let d(w) = -w - 2. Let f = -13 + 8. Let s be d(f). Solve -4 = -m - s*m for m.
1
Let w = 5 - 8. Let j = w - -3. Solve -4*g + 8 = -j*g for g.
2
Let p(a) = 5*a + 3. Let b be p(-2). Let x be (-3 - (b - -2)) + 2. Solve -o = x*o for o.
0
Let v(c) be the first derivative of -c**4/4 + 5*c**3/3 + c**2/2 + 7*c + 2. Let k be v(6). Let u = k - -35. Solve u = 3*f + f for f.
3
Let h be (-2 - -12) + 1 - 0. Let r be (-2)/11 + 2/h. Suppose -3*u + 2*b = -4, r = u + 2*b - b - 8. Solve u*i = i for i.
0
Let m(r) = r**3 - r. Let x be m(1). Let y be (0 - 6/4)/3*0. Solve 2*n + y*n = x for n.
0
Let g(m) = -m**2 + 6*m - 8. Let t be g(4). Solve c - 2 = -t*c for c.
2
Let j(r) = -2*r - 42. Let b(l) = l + 14. Let x(y) = 8*b(y) + 3*j(y). Let p be x(12). Solve 2*f = -0*f + p for f.
5
Let f(j) = j**3 - 8*j**2 + 8. Let b be f(8). Solve b = -0*c + 2*c for c.
4
Suppose 0 = -z - 3 + 15. Solve -3*s - s + z = 0 for s.
3
Suppose 3 = 5*k + 2*s, -s = 4*k - 3*s - 6. Let o be -12*k*1/(-2). Solve -3*g + o + 6 = 0 for g.
4
Let s = -19 - -33. Let x be 4/s + (-36)/(-21). Suppose v + 