 7*s - 5. Solve -3 = -y*k + 1 for k.
2
Suppose -15 + 3 = -4*z. Solve -8*r - 20 = -z*r for r.
-4
Suppose 2*j = -2*o, 0*j = -j - 5*o - 16. Let p(y) = 4*y + 6. Let c(d) = -d. Let t(a) = 3*c(a) + p(a). Let k be t(7). Solve 1 - k = -j*l for l.
3
Suppose -2*s - s = 0. Suppose -3*q = -3 - s. Let o(l) = -2*l - 1. Let g be o(-3). Solve -2*k = -g + q for k.
2
Let w(f) = f**3 - 12*f**2 + 10*f + 11. Let l = 93 - 53. Suppose -4*h + q + l = 0, -h + 31 = 4*q + q. Let m be w(h). Solve -5*z + 5 - 25 = m for z.
-4
Suppose -4*a = 10 + 6, 4*q = 4*a + 20. Let g = 10 + -6. Suppose b - q = -g*y, 16 = 3*b - y - 0*y. Solve b = -4*d + 1 for d.
-1
Suppose 0 = -2*a + 5 + 9. Solve -2*i = -a - 1 for i.
4
Let c(b) = b**2 - 2*b - 1. Let y be c(3). Let n(z) = -z**3 + 5*z**2 + 7*z - 6. Let m be n(6). Suppose m*a + 4*a = 0. Solve a = 3*p - 2*p + y for p.
-2
Suppose -r = r. Suppose 0*g = g + 2*y - 5, 2*g + 5*y = 12. Solve -m - g - 4 = r for m.
-5
Let i be (-8)/6 + 6/(-9). Let g = i - -7. Solve -g*d = -d for d.
0
Let t = 5 - -1. Let b = 6 - t. Solve b = 2*z + 2 for z.
-1
Let s = -4 - -12. Suppose 2*n = 6*n - s. Solve 0 = -3*x + n + 1 for x.
1
Let a(x) = x**2 + 2*x - 8. Suppose -4*b = -4*i + 24, -5*b + i - 30 = -i. Let f be a(b). Solve 0*w + f = 4*w for w.
4
Let q = -47 + 56. Solve 3*i - 24 + q = 0 for i.
5
Suppose -15 = 2*i - 7*i. Solve x - i*x + 8 = 0 for x.
4
Let i(r) = r**3 - 7*r**2 + 7*r - 4. Let f be i(6). Suppose -5 = f*m - 3*c, -3*m - 8 = -4*m - 2*c. Solve 3*l + m = 4*l for l.
2
Suppose -7*b = -5 - 9. Solve -b*s + 12 = 2 for s.
5
Suppose -3*o + 8 + 4 = 0. Let x be (-1 - 1)*(7 - (-45)/(-5)). Solve 0 = -o*n - 0*n + x for n.
1
Suppose 0 = -2*o - 5 + 13. Solve 6*l = 2*l + o for l.
1
Let q = 1 - 11. Let k = q + 9. Let t be 6/(-3)*k - 2. Solve t = l - 0 - 1 for l.
1
Let g be -4*((-2)/4)/1. Solve 8 = -g*u - 0*u for u.
-4
Suppose -2*p + 3*i + 116 = 3*p, -4*i = -2*p + 38. Let q = -5 + p. Suppose 0*u + 2*u - q = 0. Solve 2*d = -0*d - u for d.
-5
Let k = 29 - 5. Suppose b - k = -3*b. Solve -12 = b*s - 2*s for s.
-3
Suppose 10*n = 15*n - 50. Solve 6*m + n = m for m.
-2
Let m be 5 - (-12)/(-4) - -1. Solve 0*s = -m*s for s.
0
Suppose 0 = 3*v - 6*v + 9. Suppose -l + v*l = 0. Solve l = 5*z - 1 + 16 for z.
-3
Let y = 17 - 17. Solve -2*o + 2 + 0 = y for o.
1
Suppose 36 - 1 = 5*t. Suppose 5*m = t*m - 8. Solve -3 - 17 = -m*k for k.
5
Let x(a) = -3*a. Let b be x(-2). Let k be (-2)/(24/(-63) - 6/21). Solve -k*p + b*p + 15 = 0 for p.
-5
Let m be (-14)/(-4) + 4/(-8). Let u be -3 + m + -1 + 2. Solve u + 2 = 3*g for g.
1
Let p(w) = 3*w + 32. Let y be p(-10). Solve y*d - 5 = 3 for d.
4
Let c(s) be the first derivative of -s**4/4 - 2*s**3/3 + 3*s**2/2 + 3*s - 4. Let z be c(-3). Suppose 1 = 3*b - 5*f, 3*f + z = 6. Solve -b*o = -5*o - 9 for o.
-3
Let a = 8 - 8. Suppose -3*x - 2*o + 15 = -4, -4*o + 20 = a. Solve -x*z = -z + 6 for z.
-3
Let r(l) = -l**3 + 6*l**2 - 5*l - 2. Let o be r(5). Let v be 94/(o + 4) + -3. Suppose -5*x + v - 9 = 0. Solve 0 = -x*d + 2*d + 5 for d.
1
Suppose -3 = -2*z + z. Suppose 5*s - 34 = -z*o, 3*s + 5*o - 22 = 8. Suppose 17 - s = 4*g. Solve -g*p - 2*p + 20 = 0 for p.
4
Let u be -6 + 86/11 + (-2)/(-11). Solve 3 + 1 = -u*r for r.
-2
Let j be -1 + (-1 - 0) + 14. Solve -4*o = -0*o - j for o.
3
Let t be (47 - 5)/6 + -3. Let y(r) = 72*r - 4. Let q be y(4). Let m be 1/(-5) - q/(-20). Solve m = -t*h - 2 for h.
-4
Let f = -3 + 6. Let o = 19 - 4. Let l = o - -1. Solve f*t + l = -t for t.
-4
Let x(c) = c**3 - 10*c**2 - 2*c + 22. Let l be x(10). Solve -l*b + 1 = -b for b.
1
Let g(y) = -10*y**2 + 3*y - 53. Let m(i) = 3*i**2 - i + 18. Let z(v) = 2*g(v) + 7*m(v). Let n be 4/(-34) - 8/(-68). Let p be z(n). Solve -p + 0 = -4*u for u.
5
Let a = 64 - 64. Solve q + 1 - 3 = a for q.
2
Let y(w) = w**2 - 5*w - 4. Let c be y(7). Solve 5*g = c + 10 for g.
4
Let c be (-1 - -3)*4/8. Let v = c + 2. Solve -12 = v*f + 3 for f.
-5
Let f(m) = -2*m + 10. Let c be f(5). Solve -4*x = -c*x + 16 for x.
-4
Let y be (8 - -1) + -1 + 0. Solve -3*w + 2 - y = 0 for w.
-2
Let b = -2 - -3. Solve b + 7 = 4*h for h.
2
Suppose -o = -3*i, -2*i = i + 3*o. Solve i*p + 2*p = 0 for p.
0
Let h be -6 + 6 - (-1 + -2). Suppose 2*p - 24 = -2*j - 2*p, -2*j + 24 = 2*p. Suppose n = -h*n + j. Solve -2*i + n*i = 0 for i.
0
Let f(m) = -m**2 - 7*m - 4. Let w be f(-6). Suppose -1 = -v - 3*l + 5, 0 = -v - l + w. Solve 3*n + n + 12 = v for n.
-3
Suppose -3*m + 133 = -4*l, 3*m + 4*l - 105 = -4. Suppose -4*p - 3*r - 45 = -7*p, -r = -3*p + m. Solve p = -n + 4*n for n.
4
Let w be 0 + -1 + 1 - -4. Suppose -3*m = -2*f - 24, 0*m + 3 = m + f. Solve -r = -w*r + m for r.
2
Suppose j + 1 = 2*j. Suppose 0 = 5*t - 0*t. Suppose 3*b - 6 + 3 = t. Solve 0 = r + b + j for r.
-2
Let q(a) be the second derivative of a**3/3 + 3*a. Let v be q(1). Solve v*i = i - 2 for i.
-2
Let s be (-2 - -5) + 4 - 1. Solve -s + 10 = -2*u for u.
-2
Suppose 9 = 3*g - 6. Solve 2*s + g = -3 for s.
-4
Suppose p - j - j - 15 = 0, 4*j + 20 = 0. Suppose g + p = -0*g. Let c = g + 7. Solve n = -6 + c for n.
-4
Let h(s) = s**2 - 8*s - 5. Let b be h(6). Let d = -13 - b. Solve y = -d*y for y.
0
Let n(f) = 20*f - 8. Let s(d) = -60*d + 25. Let u(c) = 10*n(c) + 3*s(c). Let j be u(-5). Let p = -75 - j. Solve p - 10 = -4*z for z.
-5
Let w be (2 + (-3)/(-1))*(-16)/(-40). Solve 4*d - w = 2*d for d.
1
Suppose -2*p - 3 = -5, 7 = 5*t + 2*p. Solve 0 = -2*y + t + 9 for y.
5
Suppose -2*b = 3*b + 10. Let m be 152/6 + b/6. Suppose -4*o + 16 = -0*o. Solve -m = -o*k - k for k.
5
Suppose 10 = -0*p + 2*p. Suppose -u + 19 = 4*o, -u + 0*u - 1 = -o. Suppose o*v = 5*m + 29, -3*v + 22 - 5 = m. Solve k = v*k + p for k.
-1
Let u = 36 + -32. Solve 5 = u*s - 7 for s.
3
Let q(w) = w**2 - 2*w - 9. Let a be q(5). Solve -6 = -a*s + 4*s for s.
3
Let g be 4/(-28)*0 - (-1 + 1). Solve 6*j - j = g for j.
0
Let f(o) = -o**3 - 6*o**2 + 7*o + 6. Let k be f(-7). Let r = k + -3. Suppose -r = s - 7. Solve -s = -3*b + 2 for b.
2
Let w be (-2)/(-2 + 0 + 0). Let c be (w/2)/((-1)/6). Let m = c + 4. Solve 3 = 2*z - m for z.
2
Let s be (-20 + 0)/(-3 - -2). Suppose 7*u = 8*u - 5. Solve -s = -m + u*m for m.
-5
Let w(x) = x**3 - 11*x**2 - 8*x - 12. Let p be w(12). Solve 5*a = -11 + p for a.
5
Let c = 5 + -2. Suppose -c*g = -4*g. Solve 4*f - 3*f - 3 = g for f.
3
Let o(x) = 2*x - 10. Let k be (-65)/(-10) - 3/2. Let l be o(k). Solve l = -p + 6*p - 10 for p.
2
Let m(d) = -2 + 3 + 3 - d. Let w be m(4). Let l(q) = -q**3 + 2*q**2 + q. Let t be l(-1). Solve -t*u - u = w for u.
0
Let a(t) = t**2 + 5*t + 9. Let k be a(-4). Solve 3*j = k*j + 2 for j.
-1
Suppose 2*z = -3 + 1. Let g = 2 + z. Solve 4*h - 11 = g for h.
3
Let d(b) = -b**3 - 16*b**2 + 17*b + 3. Let i be d(-17). Let u be 0*((-16)/(-6) - i). Solve u = -2*q + q + 2 for q.
2
Let x = -54 + 80. Solve -5*u + x = 1 for u.
5
Suppose -2 = 5*u + 3. Let i = 5 - u. Let o = 6 + -4. Solve -4 = -i*b + o*b for b.
1
Let m(y) = 2*y - 2. Let z be m(3). Suppose -z*o + o = -6. Solve -o*h + 0*h + 4 = 0 for h.
2
Let d = 2 - 3. Let v = d + 0. Let s be 2 - (-2)/v*-1. Solve -s*y - y + 25 = 0 for y.
5
Suppose 74 = 2*y + u, 3*u = -u - 8. Let o = y - 26. Let c(z) = z**2 - 3*z + 4. Let t be c(3). Solve o = t*q - 4 for q.
4
Let p(q) = -q**2 - q + 0*q**2 + 6*q + 14. Let l be p(7). Solve 0*i - 2*i - 6 = l for i.
-3
Suppose -2*m + 6 = -0*m. Solve -m*w = -6*w + 12 for w.
4
Let l = 4 - 10. Let t be 24/9*l/(-4). Suppose 0 = k - 4*k + 3. Solve -k = t*h - 13 for h.
3
Let u = -17 - -23. Let j be u/(-1 + 4) - -2. Solve 0*h = -4*h + j for h.
1
Let r = 0 + 2. Suppose -r*x = -3*x + 4. Solve x*l = 5*l + 1 for l.
-1
Suppose 0 = 3*p + 5*a - 49, 5*p - 65 = -a - 4*a. Solve -7 = 3*k + p for k.
-5
Suppose 0 = -3*r + 4*c + 7, -5*r + c = -6*r + 7. Solve r*t + 3 = 2*t for t.
-1
Let c(l) = l**3 - 7*l**2 - 2. Let a be c(7). Let y be (4/6)/(a/(-6)). Solve o = -y*o for o.
0
Suppose 6 = -4*i - 4*j - 6, -6 = 2*j. Suppose i = 2*r - 25 - 7. Solve -2*n + r = -6*n for n.
-4
Let b(g) = -2*g + 1. Let a be b(3). Let t be ((-4)/2)/(a/(-10)). Let l = t - -7. Solve l*s + s + 4 = 0 for s.
-1
Suppose 13*t = 10*t. Solve 6*i - 2*i - 8 = t for i.
2
Let m = -18 + 10. Let y be (-18)/(-8) + 2/m. Solve -y*x - 12 = x for x.
-4
Suppose y - 2*i = -8, -y = -2*y + 3*i - 13. Suppose 5*j - 10 = -3*z, -2*z - y*j + 2 = -6. Solve -7 = 4*p + z for p.
-3
Let r be 114/15 - 6/(-15). 