Suppose 0*t - 8 = -s - t, -5*s + 3*t = -24. Suppose -m = a - 1, a + 3*m + 7 = -2*m. Suppose -f - a*y + s = 0, 0*f + 5*f = -5*y + 20. Solve -f*h = -2*h for h.
0
Suppose -3*o + 5 = -4*o. Let l be 48/(-40)*o/1. Solve 2*d - l*d + 16 = 0 for d.
4
Let a = 83 + -77. Solve 0 = a*g - 4*g - 8 for g.
4
Let u(f) = -f - 2. Suppose b = -b + 72. Suppose -2*q - b = 4*z - 0*q, 9 = z - 4*q. Let t be u(z). Solve 3 + 2 = t*j for j.
1
Suppose -3*c = -4*c + 24. Solve -5*i + c = 4 for i.
4
Let v(t) = -2*t**3 - 3*t**2. Let d be v(-2). Suppose -100 = -5*a + 2*y, -2*y = 2*a + y - 21. Solve -2 - a = d*k for k.
-5
Let r(l) = -2*l**3 + 16*l**2 + 15*l - 5. Let u(x) = -3*x**3 + 24*x**2 + 22*x - 7. Let q(h) = 8*r(h) - 5*u(h). Let a be q(9). Solve d + 0*d = -a for d.
-4
Suppose 2*a + 2*a - 2*q - 4 = 0, -a + 11 = 2*q. Let b(z) = -z**2 + 8*z + 6. Let i be b(0). Solve a*s = s + i for s.
3
Let a be 25/2 + 1/2. Let y = a - 13. Solve y*c = 2*c + 8 for c.
-4
Let r(i) = -i**3 - 1. Let k(y) = -4*y**3 + 9*y**2 - y - 6. Let q(h) = -k(h) + 3*r(h). Let s be q(9). Let g = s + -8. Solve g = -4*o - 4 for o.
-2
Suppose 4*s - 2*k = 68, -5*k + 8 + 74 = 4*s. Solve -3*h - s = -3 for h.
-5
Let t = 0 + 5. Suppose d - 2*v - 5 = 0, 0*v + 5*v + t = 0. Suppose 0 = -k + d. Solve -a = -k*a for a.
0
Let z be (2/(-2) - -5)/1. Let a(f) = -f**3 - 3*f**2 - f - 3. Let p be a(-3). Solve p = -z*n + 3*n for n.
0
Suppose 6*g - 3*g - 4*o + 16 = 0, 0 = 2*o - 8. Let a be (-1)/(-3) + (-8)/(-3). Suppose 2*t - a*z = -6, -t - z + 2 = 3*t. Solve x + g*x = t for x.
0
Suppose 4 = 3*s + 1. Let p be -5 + (2 + -1)*s. Let z = 10 + p. Solve -z = -3*f - 18 for f.
-4
Let h(y) = y + 7. Let o = 2 - 5. Let k be h(o). Solve -2 - 2 = -k*t for t.
1
Suppose 2*u - 7 = -m, -1 + 3 = -4*m + 2*u. Let q(f) be the third derivative of f**4/12 + 9*f**2. Let s be q(m). Solve 0 = 3*a - s*a + 5 for a.
-5
Suppose 0*l - 3*s = 4*l + 13, 5*l = 5*s + 10. Let p be (3 + -5 - -1)/l. Solve -6 = -r - p for r.
5
Let z(i) = i - 11. Let x be z(11). Suppose x = -5*f + 16 - 6. Solve -p + f = -2 for p.
4
Let j(m) = -m**3 + 7*m**2 - 5*m + 3. Let g be j(6). Let n be (-24)/(-18)*g/6. Solve 2 = n*z - 6 for z.
4
Suppose 0 = f - 4*f + 12. Solve -4*m + 0 = -f for m.
1
Let i be (12/21)/(8/28). Suppose -2*k + 4 = 5*w, -k + 0 + i = -2*w. Solve 0*q = k*q - 6 for q.
3
Let z(i) = i**2 + 9*i - 7. Let b = 8 - 16. Let f be z(b). Let k = f + 22. Solve 0 = -4*y + 1 + k for y.
2
Suppose 0 = -0*t - t - 16. Let f be (t/(-2))/(1 - -1). Solve 0 = f*u + 9 - 1 for u.
-2
Let x(l) = 7*l - 19. Let m be x(3). Solve m*o = o - 3 for o.
-3
Let b be ((-12)/(-72))/(2/36). Solve 0 = -b*z - 6 - 3 for z.
-3
Let v(l) = 3*l - 4. Let z(f) = -f**3 - 7*f**2 + 8*f + 6. Let w be z(-8). Let u be v(w). Let g = u + -10. Solve g*m = m for m.
0
Let c be (-4)/(-32)*-2*0/1. Solve c = 3*s - s - 4 for s.
2
Let m(s) = -s + 12. Let i be m(6). Solve i*o = 3*o for o.
0
Let j(t) = 3*t**3 + 2*t**2 - 1. Let y be j(1). Suppose 0 = 3*x - a + 4*a + 12, -16 = -2*x + y*a. Let v = 35 + -7. Solve x = -5*d + v - 3 for d.
5
Let q be (0 - -6)*(4 - 15/5). Suppose -w + 1 = -1. Solve -w = -q*d + 4*d for d.
1
Let a = -7 + 10. Let w = a + 0. Suppose -5*c = -6*f + 8*f - 20, 11 = -2*c + 3*f. Solve c*j = -13 + w for j.
-5
Let w = -6 + 8. Let i(r) = -r**3 + 3*r**2 - 2*r. Let a be i(w). Suppose j + 5*s + 28 = 2*j, -4*s - 20 = a. Solve 1 - j = 2*h for h.
-1
Let s(g) = 3*g - 7. Let w(a) = 4*a - 8. Let u(y) = 3*s(y) - 2*w(y). Let b be u(8). Suppose 15 = 2*t + b*t, -5*o + 2*t = 6. Solve -d + 5*d = o for d.
0
Let w = 17 - 17. Solve w + 10 = 2*a for a.
5
Let i(l) = -12*l - 5. Let v be i(-2). Let m = v + -8. Solve m*z - 25 = 6*z for z.
5
Suppose -2*n + 7 = -3*n. Let q = n - -23. Let l = 4 - 1. Solve -l*u - q = u for u.
-4
Suppose 0 = 9*s - 15*s. Solve 0 = -f - s*f for f.
0
Let u be -3 - (-2 + 0) - -4. Let n(f) = f**3 + 2*f**2 - 5*f - 4. Let c be n(-3). Suppose -h = -c*h. Solve -5*b - u - 7 = h for b.
-2
Let j(c) = -c**3 + c**2 - c + 2. Let u be j(2). Let s be ((-2)/u)/(3/18). Solve 0*d + s*d = 0 for d.
0
Let t = 0 + 1. Suppose t = 3*c - 2. Solve -2 = d + c for d.
-3
Let x(l) = l - 1. Let t(s) = -2*s - 6. Let d(j) = -t(j) - x(j). Let v be d(-4). Solve 0*g - g - v = 0 for g.
-3
Let k(b) = 2*b**2 + 3*b - 2. Let z be k(-3). Let c = z - 0. Let n be (-304)/(-12) + 2/(-6). Solve n = c*o - 2*o for o.
5
Let f = -13 - -13. Let k = 24 - 21. Solve f*h + 6 = -k*h for h.
-2
Let t be ((-4)/4)/(2/(-8)). Let y = -18 - -8. Let v(q) = -q**2 - 10*q. Let n be v(y). Solve n*p = -t*p for p.
0
Let k(z) = -z. Let c be k(-2). Let x be (-2)/(-8) - (-15)/20. Let r be (1 - 1)*(0 + x). Solve r = -0*v - c*v for v.
0
Suppose 8 = 7*o - 5*o. Solve -o*x = -5*x - 2 for x.
-2
Let w = 28 - 18. Solve -w = -5*l - 0*l for l.
2
Suppose -4 = 2*p - 10. Let s be -3*(56/(-12))/7. Solve -10 - s = -p*r for r.
4
Let n(b) = b**2 + 6*b + 2. Let t = 2 - 8. Let x be n(t). Solve x*k + 12 = 5*k for k.
4
Suppose -3*v - 38 = -5*p, p - 5*v = 3*p - 9. Let c(n) = 2*n**3 + 2*n**2 + 2*n - 2. Let h be c(-2). Let k = h + 22. Solve -p - k = -3*d for d.
5
Let d be (2 - -2)*(-9)/12. Let n = d - -8. Solve i = n - 2 for i.
3
Suppose z - 4*n - 1 = 4*z, 0 = -3*z + 2*n + 23. Solve -2*c = -15 + z for c.
5
Let l(b) = 13*b - 1. Let i be l(1). Solve -z = -4*z + i for z.
4
Let o(v) = -2*v**2 - 39*v - 15. Let y be o(-19). Solve -3*g - 2 = y for g.
-2
Let d(j) = 4 - 5 + j - 7. Let c be d(8). Suppose u = -0*u. Solve 2*x + c*x = u for x.
0
Let o be (-72)/(-20) + 4/10. Solve o*p = p - 15 for p.
-5
Let n = 16 - 16. Solve -5*k + 3*k + 2 = n for k.
1
Suppose -i = 4*k - 3, 2*i - 5*k = -3*i + 15. Solve -i*t - 1 = 5 for t.
-2
Suppose -w - 4*y - 15 = 0, 5*y = w - 11 - 10. Let h = -1 + 0. Let z = -1 - h. Solve -b + z*b = -w for b.
1
Let m = 2 + -2. Suppose -5*t = -m*t - 10. Let h = 2 - t. Solve h = -3*g - 1 + 4 for g.
1
Let c = 5 - 2. Solve 20 = -c*i + 8 for i.
-4
Suppose 5*r - 12 - 7 = 2*h, 0 = 2*r - 3*h - 12. Let i(s) = 3*s + 1. Let q be i(r). Solve 4*p = q - 26 for p.
-4
Suppose 3*b - 24 = -0*b. Solve q + q = b for q.
4
Let t(l) = l**2 - 2. Let m be t(2). Let g be 2/m + 2 + 2. Solve 0 = -3*k - 2*k - g for k.
-1
Let w = 3 + -5. Let m = w - -5. Let s = 3 - m. Solve s = p - 2*p + 4 for p.
4
Let y(q) = -q + 2. Suppose -2*a + 4*a = -14. Let n be y(a). Suppose -4*c - 3*d = -9, 6*d - d = 3*c + 15. Solve -n = -3*l - c*l for l.
3
Suppose 0 = -b - 0*o + o + 9, -5*o = 3*b - 19. Solve b = 3*v - v for v.
4
Let o(k) = 2*k + 1. Let a be o(-1). Let x be a - (-2 - (2 - -2)). Suppose v = -3*n + 44, -4*v - 23 = -3*n + 26. Solve 4*u - n = x for u.
5
Suppose 0*h + 5*s = -4*h + 27, 4*h - s - 9 = 0. Let r(v) = -3*v**3 + 2*v**2 + v. Let g be r(-1). Solve -h*q = -q - g for q.
2
Suppose -2*s + 5*k = -3, -2*s - 3*s - 2*k = -22. Suppose -74 = -s*h - 10. Solve -5*q + q - h = 0 for q.
-4
Let u(g) = g**2 - 12*g + 36. Let n be u(5). Solve 3 + n = -2*h for h.
-2
Let f(j) = j**3 - 5*j**2 + 2. Let c(g) = g - 5. Let t be c(10). Let k be f(t). Let v be ((-3)/(-2))/((-9)/(-12)). Solve -12 = v*s + k*s for s.
-3
Suppose 0*t + 2*o + 18 = 5*t, 3*t = 4*o + 8. Solve -3*a = t + 5 for a.
-3
Suppose -5*h = -12*h. Solve h*u = -u - 4 for u.
-4
Let w = -2 + 4. Let l be 3 - 2/(w - 0). Suppose l*h - 3 - 1 = 0. Solve -2 = -h*m + 2 for m.
2
Let w(g) = 4*g**2 + 1. Let r(p) = -p**2 - p - 1. Let y be r(-1). Let k be w(y). Solve k*n = -0*n for n.
0
Let c(j) = j**2 + 5*j + 2. Let d be c(-4). Let s be d*(-1 - -3)/(-4). Solve -2*y + y = -s for y.
1
Let z be 0/(3 - (3 - 2)). Solve z*f + 5*f - 5 = 0 for f.
1
Let r(j) = -j**3 - 10*j**2 - 6*j + 12. Let p be r(-9). Let v = p + 17. Solve -v*o = 3*o + 5 for o.
-1
Let h = 8 - 5. Let i be h/2*(10 - 0). Let o = -9 + i. Solve o = y + 2*y for y.
2
Let q be 3/2*(-20)/(-15). Solve -2*n + q + 6 = 0 for n.
4
Let i(u) = u**3 + 7*u**2 + 6*u + 15. Let z be i(-6). Solve 4*j + j + z = 0 for j.
-3
Suppose -4*c - 3 = -35. Let x = 12 - c. Solve 0*t - t + x = 0 for t.
4
Let r be (-12)/(-10)*9/((-189)/(-350)). Solve 5*v - r = v for v.
5
Suppose 4*r = -m + 12, -3*r - 2*m + 12 = 3. Solve -4*b + r*b = 3 for b.
-3
Let w = 15 - 12. Solve -w*i + 6*i = 6 for i.
2
Suppose 4*m = s + 2*m - 10, -3*m = 2*s - 6. Suppose -s = -2*r - 0*r. Let i be 1/(r/(-6))*-1. Solve i*o = 7*o - 10 for o.
2
Suppose 0 = 5*f - x - 19, f + x = 5*x. Solve f*r = 2 - 6 for r.
-1
Let q = -100 - -111. So