 = 4*s + 28, 3*w - b = s + p. Solve -6*y - w = -2*y for y.
-3
Let k = 3 - 0. Let l be k/12 - (-14)/8. Solve -l = o - 0 for o.
-2
Let k(v) = v**3 + 12*v**2 - 15*v - 7. Let s be k(-13). Solve -1 = -5*n + s for n.
4
Suppose 5*z - 4 = 4*w, 5*w - 2 + 7 = 0. Suppose -2*o - 3*q = -9, z*o + 4*q = -o + 12. Solve 2*j = -o*j + 8 for j.
4
Let v be (-3)/(3/(-48)*6). Let w = -2 + v. Solve -4*i - w - 6 = 0 for i.
-3
Suppose -4*o = -5*o + 5. Solve o*n + 3 = 28 for n.
5
Let m(x) = -x**2 + 8*x + 5. Let p be m(8). Suppose 0 = p*g - 2*g. Solve 3*l - 2*l = g for l.
0
Let z be 50/8 + 2/(-8). Let m(q) = 6*q - 1. Let x be m(1). Solve -z*w - x = -w for w.
-1
Let i = 3 - 3. Suppose 4*r + i*r = 48. Solve 3*y - r = 7*y for y.
-3
Suppose -5*p = -5*k - 20, 0 = -2*k + 4*p - 3 - 7. Let x be 10 + k + 4 + -8. Solve -c + x*c = 0 for c.
0
Let j be 4/8 + (-2)/4. Solve j*x = -2*x - 8 for x.
-4
Suppose 9*k - 4*k = -5*i + 65, -5*k = -5*i - 15. Solve -k*v + 6*v = 0 for v.
0
Let z(w) = w**3 + 3*w**2 + 4*w + 2. Let i be z(-2). Let u(j) = 0*j + j**2 + 2*j - 2*j + j. Let n be u(i). Solve -x = n*x + 6 for x.
-2
Let l = 2 - -2. Suppose -15 = l*k - 3*g, 2*g - 9 = 1. Suppose 3*s + 0*s - 3 = 0. Solve k = -2*y + s + 1 for y.
1
Suppose 0 = 3*i, -2*s = -3*s + 4*i + 11. Solve s + 4 = -3*o for o.
-5
Suppose 5*o - 5 = 0, -m + 2*m = o + 119. Let q be (1/(-2))/((-2)/m). Let a = -21 + q. Solve -2*u = u + a for u.
-3
Let i(g) = g**2 - 12*g + 6. Let b(n) be the third derivative of -n**5/60 - 7*n**4/24 + n**3 + 4*n**2. Let u be b(-6). Let l be i(u). Solve y = l*y - 25 for y.
5
Let k(l) = 4*l + 8. Let z be k(-6). Let y be (-156)/z + 6/(-8). Solve -5*w + y + 11 = 0 for w.
4
Let r = 46 + -27. Let z = r + -14. Solve 0*m + z*m + 25 = 0 for m.
-5
Let r(x) = x - 7. Let i be r(9). Solve i = -5*t - 13 for t.
-3
Let q(l) = -l**2 + 7*l - 7. Let x be q(5). Solve -w - x = -1 for w.
-2
Let r(z) = -z + 1. Let q(n) = n**3 + 3*n**2 + 1. Let o be q(-3). Let g be r(o). Suppose g = f - 3*d - d - 7, 0 = -2*f - 3*d + 3. Solve 3*m - f = -0 for m.
1
Let g(z) = z**3 + 4*z**2 - 5*z + 5. Let c be g(-5). Suppose 0 = -c*q + 12 + 8. Solve -q - 2 = -3*x for x.
2
Suppose -2*x - 3*h + 24 = 0, -5*x - 3*h - 33 = -93. Suppose 4*p = 2*g - 20, 0*g + 2*g + x = -4*p. Solve g*y - 4 = -0 for y.
2
Let z = -16 + 16. Solve z*k = k for k.
0
Let t(d) = -d + 4. Let h = 0 - 0. Let y be t(h). Let k be 7/y - 2/(-8). Solve -4*j + 10 = -k for j.
3
Let u be 4*(27/12 - 2). Let v(a) = a - 1. Let s be v(u). Solve s = 3*l + 2*l - 15 for l.
3
Let n be 1/(1 + 0/(-2)). Let z be n/3 + 10/15. Solve 2*l = z - 7 for l.
-3
Suppose -3*i - i + 8 = x, 10 = 5*i - 5*x. Solve 7*c - 10 = i*c for c.
2
Suppose 0 = f - 1 + 3. Suppose -3*j - v + 17 = -1, 0 = 2*j + 2*v - 12. Let a = f + j. Solve -6 + 2 = -a*r for r.
1
Suppose y - 7 = o - 2*o, -2*o + y = -8. Solve 4*g - 5*g - o = 0 for g.
-5
Let k(h) = h - 2. Let y be k(4). Suppose 6 = -3*p, 9 = 2*u - y*p - 5. Solve 0 = -u*m - 1 + 6 for m.
1
Let p(i) = i**3 + 3*i**2 - 2. Let w be p(-2). Suppose w*x - 2*c + 3 - 5 = 0, 3*c = 2*x - 1. Solve -5*n = -3*n - x for n.
1
Let i(k) = -11*k**2 - k**3 - 8 + 9*k + 3*k**2 + 2*k**3. Let z be i(7). Solve 0 = -0*w + 3*w + z for w.
-2
Let m be 1/2*(0 + 0). Let q = 2 + m. Solve 0 = -u - u - q for u.
-1
Suppose 11 = 3*p + y, -2*p + 1 = -3*y + 12. Solve -6 = -p*j + 4*j for j.
-3
Let s be 14/(-28) - 21/(-2). Suppose 32 = 4*u + 3*r + r, -u + s = 2*r. Solve 5 = u*p - p for p.
1
Suppose t + 78 = 3*u - 0*t, -5*t + 110 = 5*u. Suppose y - 6*y = -u. Solve -20 = -a + y*a for a.
-5
Let d be (-48)/(-21) + 2/(-7). Suppose 10 = -c + 4*q, -4*c = c - d*q - 4. Solve x = -c*x + 3 for x.
1
Let f be (-4)/6*(-15)/5. Suppose t - 9 = -f*t. Suppose 3*o - 39 = -t*p - 0*p, 0 = -3*o + 15. Solve m + 3*m - p = 0 for m.
2
Suppose 6*u - 3 = 27. Solve -20 + 0 = u*w for w.
-4
Suppose -9*a = -8*a - 8. Solve 5*i = 2 + a for i.
2
Let r be (-2 - -3)*2 - 7. Let j be r/20 - 18/(-8). Solve j = a + 1 for a.
1
Suppose -33 - 30 = -9*r. Solve -2*p + 5 = -r*p for p.
-1
Suppose q = -3*q. Suppose -p + 3 + 0 = q. Suppose 3*k + 2 = 14. Solve k*v - v + p = 0 for v.
-1
Let c be (-51)/(-7) - 4/14. Solve 2*t = c*t for t.
0
Suppose -5*b + 0 = -t - 24, 0 = 5*t - 4*b + 36. Let f = -1 - t. Let a(y) = -y**3 - 3*y**2 - 2*y + 2. Let c be a(-2). Solve -f = -c*q + q for q.
3
Suppose -v + 23 = 4*q, 3 + 17 = 5*v + q. Suppose v*p - 6 = p. Let y = p - 1. Solve -4 = y*i + 2*i for i.
-1
Let v(j) = 10*j + 12. Let t(w) = w + 1. Let a(l) = 22*t(l) - 2*v(l). Let m be a(4). Let r = -3 + m. Solve -3 - r = -2*d for d.
3
Let n(z) = z**2 - 4*z + 5. Let o be n(4). Suppose 4*u - 63 = -o*m, -2*u + 17 = 5*m - 42. Let d be 2*(-1 - 6/(-4)). Solve d = -5*j + m for j.
2
Let a = 22 - 17. Let x(z) = -z - 1. Let i be x(-3). Solve -a*d + i*d = 0 for d.
0
Let h be (-10)/4*8/(-5). Let m = 7 - h. Solve -m*l - 2 - 4 = 0 for l.
-2
Suppose -4*o = -4*u + 12, -9 = -3*o - 5*u + 6. Suppose 0 = 4*n + 4*h + 2 - 18, -2*n = 3*h - 10. Let g = 5 - n. Solve -5*c + 17 + g = o for c.
4
Suppose 2*h = 0, -i - 3*i - h = 0. Suppose -s + i*s = -2. Let j be (-1)/(-2) + (-5)/(-2). Solve -s*v - 7 = -j for v.
-2
Let o be 3/(-9) + (-4)/(-12). Solve o*w + 2*w = 8 for w.
4
Let t be (2 - 0) + -5*1. Let y = 3 + t. Suppose 0 = -y*x - x + 17. Solve -5*i = -2 + x for i.
-3
Suppose -v = v - 8. Let x(z) = 3 - v + 2*z - 8. Let u be x(6). Solve -c - u*c + 12 = 0 for c.
3
Let x(g) = g**3 - 5*g**2 + 6*g - 8. Let s be x(4). Solve p - 5 + s = 0 for p.
5
Let l = 26 + -12. Let n(u) = -u**2 + 10*u + 5. Let h be n(10). Suppose -2 = 3*c - 2*c + 2*j, 2*c = h*j + l. Solve -c*t + t = -2 for t.
2
Suppose 5*k + 2 = 7. Let b = k - -4. Solve -4*g + b = 1 for g.
1
Let t(q) = -q + 7. Let s be t(-9). Let w = s + -12. Solve 5 - 1 = w*r for r.
1
Let x = -2 + 5. Let b(l) = 10*l + 5*l - 3 + 4*l**2 - l**3 + 0 - 17*l. Let h be b(x). Solve -2 = -h*a + a for a.
-2
Let a(c) = -c**2 + 3*c + 12. Let s be a(5). Suppose k = s*k. Solve k*u = 5*u for u.
0
Let u be 63/(-18)*(-12)/14. Solve -u = w - 8 for w.
5
Let u(g) = -g + 6. Let s be u(6). Solve -20 + s = -4*x for x.
5
Let t(c) = -c**3 - 3*c**2 - 3*c. Let f(r) = -r. Let h be f(6). Let x = 4 + h. Let n be t(x). Solve 7 = -n*z + 1 for z.
-3
Let y = -174 - -176. Solve 7*z = y*z for z.
0
Suppose -c - 4 = 2*z + c, -2*z - 3*c = 3. Let o = z - -3. Suppose -q + 6 = -o. Solve -2*p = -0*p + q for p.
-3
Suppose 3*f - 42 = 3. Solve 2*k = -3*k - f for k.
-3
Let r = 94 + -88. Solve r*a = 4*a - 8 for a.
-4
Let g = 28 - 26. Solve 7*z = g*z + 20 for z.
4
Let w be ((-6)/(-5))/(3/15). Suppose -5*l - w = -66. Suppose 3*m - m + r = l, m - 5*r = -16. Solve -2*s = -3*s - m for s.
-4
Let z(d) = d**3 - 8*d**2 + 5*d + 10. Let n be z(7). Let u(y) be the second derivative of y**4/12 + y**3/2 - y**2 - 2*y. Let t be u(n). Solve -2 - t = 2*o for o.
-2
Suppose -3*p + 8*p = 10, x + 3*p = 21. Solve -y - 4*y + x = 0 for y.
3
Let w be 36/10 - 4/(-10). Let c be (-8)/6*3/(-2). Let v be 0*(-1 - c/(-1)). Solve -w = -a - v for a.
4
Suppose 0 = 3*p - 4*p. Solve 2*h = -p*h for h.
0
Let p = 111 - 111. Solve -4*l + 8 - 4 = p for l.
1
Let g(h) = h + 10. Let i be g(-6). Let v = -2 + i. Suppose -2*l = l - 12. Solve 0*q - l = v*q for q.
-2
Suppose -5*h = -3*p - 32, 2*p + 12 + 8 = 3*h. Let z(q) = q**2 - h + q - q - q. Let g be z(3). Solve -1 = -3*n + g*n for n.
1
Let m(i) = -i**2 - 7*i. Let b be m(-3). Solve 2*d + 2*d + b = 0 for d.
-3
Let u be 1 + 0 + 2 - 0. Let w be (-38)/(-9) - (-2)/(-9). Suppose 0*z = -2*z + 4. Solve -z = -w*o + u*o for o.
2
Let a(p) = 5*p**3 - p - 4*p**2 + 4*p - 4*p**3 - 2*p. Let t be a(4). Solve -2 = -t*c + 3*c for c.
2
Suppose -5*k - 70 = 5*n, 2*n - 30 = 5*k - n. Let u = -9 - k. Solve -4*o + 4 - 24 = u for o.
-5
Let v be (-6)/10 - 12/(-20). Solve v = 4*w - 5*w + 1 for w.
1
Suppose 23 = -5*r + 2*o, 5*r + 0*o = -4*o + 1. Let i(s) = -s**3 - s**2 + 2. Let m be i(r). Solve -5*t = -0*t - m for t.
4
Suppose -2*y - 3*y = 0. Suppose 4*d = -4*w + 84, -5*d + d - w + 90 = y. Suppose 4*z - 5*r = d, -5*z - 2*r = -r - 7. Solve -5*i + 15 = -z*i for i.
5
Suppose -5*v + 19 = 2*h, -h - 3*h + 2*v = -26. Suppose -4*m = -h*m - 3, -m - 51 = -5*t. Let x(b) = -b**2 - 9*b + 3. Let d be x(-9). Solve -d*w - t = -w for w.
-5
Suppose -3*l = -2*n - 11, 5*n + 1 = -4. Solve l*t = t - 8 for t.
-4
Let o = -8 + 16. Let f be o/2 + -1 + 1. Suppose y - 4*a = -y - 16, 0