0 for z.
-4
Let f(a) = a**2 - 14*a + 16. Let w be f(13). Let l = 1 + -1. Solve l*b + w = -b for b.
-3
Suppose -8 = -4*g, -4 + 2 = -3*u + 2*g. Suppose 0 = 6*k - u*k. Solve k = -0*b - b + 4 for b.
4
Suppose 14*q - 10*q - 12 = 0. Suppose -2 = -n + q. Solve -2*p + n*p = -6 for p.
-2
Let q be (-4 + 14/4)*-10. Solve -13 = -q*o - 3 for o.
2
Suppose i - 4*m - 14 = 0, 4*m + 20 - 2 = 3*i. Suppose 0 = -k - 0*k + i. Solve -g = k*g for g.
0
Suppose -f = -5*m + 7, 2*m + 8 = -3*f + 4*m. Let p be 1/(((-6)/9)/f). Solve -6*i = -p*i - 3 for i.
1
Let m be 10/14 + -1 - (-1105)/119. Solve -m*a + 2 = -7*a for a.
1
Let p = -4 + 7. Suppose 21 = 4*l - p*y, -3*l + 11 = -5*y - 13. Solve 0 = -l*g - 2*g - 15 for g.
-3
Suppose -4 = t - 7. Suppose 4*c - 3*y - 15 = t*c, -y - 1 = c. Suppose -2*q + 7*q + 5*k + 5 = 0, -2*q = -2*k - 18. Solve c*s - 4 = q*s for s.
-4
Let l be (3/5)/((-8)/(-40)). Suppose -l*i = 2*i - 20. Solve -8 = 3*z + i for z.
-4
Let c be (2/6)/((-1)/(-6)). Suppose 4*l = c*l. Suppose v = -l*v. Solve v*g - 6 = 3*g for g.
-2
Let q(g) = 1 + 5*g + 4*g - 13*g. Let s be q(-1). Solve 0 = 5*p + s for p.
-1
Let b(c) = c**2 + 13*c + 6. Let h be (1 - -1 - -1) + 2. Let w be (-64)/h - (-2)/(-10). Let g be b(w). Solve -3*i + 15 = -g*i for i.
-5
Suppose 3*o + o = 3*y + 15, o - 1 = -2*y. Solve j = o*j for j.
0
Let a(y) = y**3 + 10*y**2 - 9*y + 25. Let r be a(-11). Solve -t + r*t = -6 for t.
-3
Suppose 7*k + 1 = 15. Solve -2 - 2 = k*x for x.
-2
Let g = -12 + 18. Suppose 4*p = p + g. Solve 0 = -3*a + p*a + 3 for a.
3
Suppose 0*k = -2*k - 2*d + 2, -4*k = -5*d + 32. Let t = -3 - k. Solve 0 = -5*q - t*q for q.
0
Suppose -3*l + 2*o + 42 = 0, -l + 0*l + 3*o = -21. Let g be 9/((-39)/l - -4). Solve x - g = -2*x for x.
4
Suppose 6 = h + 1. Let r(z) = z**3 + 3*z**2 - 4*z + 4. Let g be r(-4). Suppose 14 = h*f - y, -6*y + g*y = -2*f + 12. Solve b + f + 2 = 0 for b.
-4
Suppose h = -4*b + 22, -5*h - 4*b = 3 - 33. Solve -5*f + 3 = -h for f.
1
Let a = 6 - 0. Solve a*c - 2*c = 20 for c.
5
Suppose 5*v = 4*u + 1 + 4, 4*u = 4*v - 4. Let b = 12 + -10. Let i = u + b. Solve 3*n = i + 1 for n.
1
Let l = -10 - -12. Suppose l*w - 25 = -3*w. Suppose p + 5*j - 1 = 1, 0 = w*p - 5*j - 10. Solve -p*n = -n for n.
0
Let o(n) be the second derivative of -n**3/6 - 3*n. Let i be o(-2). Solve i*h + 6 = -4 for h.
-5
Let w(m) = -2*m - 1. Let b be w(-2). Suppose -b*i - r = -10, 4*i - 3 - 25 = -5*r. Let p = i - 0. Solve -10 = 4*q + p for q.
-3
Let k(g) = 4*g - 1. Let b be k(1). Solve 0 = b*a + 9 for a.
-3
Suppose -3*n + 12 = -5*n. Let u = -1 + n. Let x be (-107)/u - 2/7. Solve 4*y + x = y for y.
-5
Let d(j) be the third derivative of j**4/24 - 5*j**3/3 + j**2. Let h be d(8). Let t be (h - 0)/((-6)/21). Solve -t*r + 2*r + 5 = 0 for r.
1
Suppose 26 = 5*o + x + 3*x, 2*x = 5*o - 2. Solve 3*g = 5*g - o for g.
1
Suppose -4*r = 8*i - 3*i - 43, 6 = 3*r - 5*i. Suppose 9 = r*j - 4*j. Solve -j*t + 15 = 2*t for t.
3
Let b(s) = s**2 - 2. Let c be b(-2). Let r be 1/4 - (-11)/4. Suppose -1 = -r*a - j, 3*a + j - 11 = c*j. Solve a = -5*t + 3*t for t.
-1
Suppose -2*o - 2*r = -20 - 2, o - 10 = -2*r. Solve 0 = 4*n - 0*n - o for n.
3
Let y(u) = u**2 + 3*u - 2. Let w be y(-3). Let l = -1 - 0. Let n be w/l + (-2 - -4). Solve -p = n*p for p.
0
Let s be (-2)/(-7) + 19/7. Let u be (s/9)/(4/24). Solve 4 - u = h for h.
2
Suppose -4 = -2*v + 8. Solve -4*w + w - v = 0 for w.
-2
Let y(z) = z**3 - z**2 - z + 3. Let h be y(0). Let t(s) = 0 + 2 + s + 3*s**2 - 4. Let l be t(h). Solve l - 3 = -5*a for a.
-5
Suppose -4*s + 2*x = -10 - 20, 4*s + x = 33. Suppose m = -2*j + 7, 5*j = -2*m + 8 + 9. Solve -s = -u - j for u.
5
Suppose -16 + 5 = 2*c + 5*k, -4*k = c + 10. Solve c = -0*s + 2*s for s.
1
Let n(x) = x - 2. Let b be n(7). Suppose 3*z = 2*z + b. Suppose z*d - 4*u = 10 + 8, 4*u + 2 = -3*d. Solve 0*k + d = -2*k for k.
-1
Let s be 2*(-3)/2 + 8. Suppose -1 + 16 = s*z. Solve 0*y = -z*y - 3 for y.
-1
Suppose 0*p - 3 = -p. Solve p*n + 8 = -n for n.
-2
Let o = 2 + -2. Suppose o = -5*d + 40 - 15. Suppose 31 = d*p - 34. Solve -p = -5*v + 2 for v.
3
Let a(t) = t**3 + 5*t**2 - 7*t + 7. Let z be a(-6). Let x = -8 + z. Solve 3*o + x = 2*o for o.
-5
Let q(o) = -2*o**3 + 9*o**2 - 2*o - 1. Let w(x) = -3*x**3 + 10*x**2 - 3*x. Let s(n) = 4*q(n) - 3*w(n). Let r be s(-5). Solve -7*a + r = -3*a for a.
4
Let i = -4 - -6. Suppose -z - i*z = -3. Let t be -1*-2*z*1. Solve v = -v - t for v.
-1
Let w = 8 + -5. Suppose y + n - 5 = w*n, -2*y - 2*n = -4. Solve 0 = y*s - s - 8 for s.
4
Let n(a) = a**3 + 15*a**2 + 15*a + 16. Let h be n(-14). Let u = 0 - 0. Solve r + u*r = h for r.
2
Suppose -4*t = -2*t - 4. Solve -t - 2 = -2*v for v.
2
Suppose -d + 33 = 27. Solve 0 = -5*o + d + 4 for o.
2
Let i(w) = w**3 + 5*w**2 - 5*w + 8. Let h be i(-6). Let s(y) = -y**3 - 5*y**2 - 9*y - 5. Let x be s(-6). Let v be x/10 + 1/(-2). Solve h*r - 6*r + v = 0 for r.
2
Suppose -3*i = -5 - 10. Solve -i*x + 21 - 6 = 0 for x.
3
Let r(y) = -4*y**3 + 2*y**2 + y. Let m be r(-1). Suppose -m*k = -2*k. Solve 0 = -4*i - k*i - 8 for i.
-2
Let c be ((-8)/(-10))/((-2)/45). Let k = 22 + c. Solve 3 = k*i - 17 for i.
5
Let m be 4 - ((0 - 2) + 2). Let i be 2/(-4) + 6/m. Let y(x) = x + 9. Let g be y(-8). Solve i = q - g for q.
2
Suppose 0 = -5*p - 330 + 45. Let c be (-6)/(-4) + p/(-38). Solve -5*w = -2*w + c for w.
-1
Let u = -17 - -25. Let g be 3 + (-3 - (-2)/1). Suppose r - 43 = -4*r - g*s, -5*r = 4*s - 51. Solve u + r = 5*o for o.
3
Suppose 93 = 16*y - 147. Solve -5 = -2*m - y for m.
-5
Suppose -2*h + 4 = -0*h. Suppose 7*y = 2*y. Let s = y + 3. Solve r = -h - s for r.
-5
Let i be (1/(-3))/(1/(-33)). Let h = -6 + i. Solve 4 + h = -3*j for j.
-3
Let l(n) = n**2 - 10*n + 6. Let f be l(10). Suppose 3*m - 3 = f. Solve 0 = -2*z + 7 + m for z.
5
Suppose 4*y - 15 = 17. Suppose -o + b + y = 0, 5*o + 6*b - 10 = b. Solve -o*s + s = 16 for s.
-4
Let n be (5 - (3 - 1)) + 0. Let l = 15 - 15. Solve l = -n*q + q for q.
0
Let t = 16 - 12. Let g = 16 + -9. Solve t*c - 9 = g*c for c.
-3
Let j(q) = -q - 3*q**2 + 3*q**2 - 2 + q**2. Let b be j(-2). Let r be (-1)/2 + 18/b. Solve 0 = -0*h - 2*h - r for h.
-2
Let m = -14 - 52. Let j be 2/(-3) - m/18. Suppose -5*x + j = -2*z - 27, 0 = 3*x + 4*z + 8. Solve -x*d = -5*d for d.
0
Suppose d - 4 = -0. Solve -7 - 9 = d*q for q.
-4
Let t be (-2 - -5)/(6/4). Let q(k) = -7 - t*k**3 + 2*k**2 + 2*k**2 + k**3 - 7*k + 2*k**3. Let u be q(-5). Solve -2*s = -u - 1 for s.
2
Let w be (-13)/((-65)/30) - 3. Solve 1 = w*l + 13 for l.
-4
Let s = -18 - -29. Suppose -10 = f - s. Suppose 3*a - 6*a + 24 = -5*q, -6 = a + 3*q. Solve -4*v + f = -a for v.
1
Let d(m) = 2*m - 22. Let j be d(12). Solve -y = j*y + 6 for y.
-2
Let g = 9 + -5. Let v = 35 - 20. Solve -g*s - s = -v for s.
3
Let y be (-14)/(-49) - (2 - (-78)/(-21)). Solve y*x = 6*x - 16 for x.
4
Suppose 0*o + 18 = 2*o. Suppose -3 = -3*f + o. Solve f*v = -24 + 8 for v.
-4
Let a(v) = -2*v - 1. Let t be a(-3). Suppose -3*z = s - 43, 0*s - 5*s = 10. Solve t*b = 2*b - z for b.
-5
Suppose 2 + 10 = -3*m. Let o be (-1 - 3)*2/m. Solve g + o + 1 = 0 for g.
-3
Let b be (-7 + 7)/(2 - 1). Solve 2*d = 4 - b for d.
2
Let y be 2/(-10) + -4 + (-183)/(-15). Solve 3*u = -u + y for u.
2
Let n be -2*12/8*-5. Solve 0*o + 3*o = -n for o.
-5
Suppose 0 = 2*j + 1 - 9. Let k be 5 + (-2)/j*2. Let f(l) = 3*l - 1. Let h be f(2). Solve 7 = k*i - h for i.
3
Let z(v) = v + 2. Let y be z(0). Let f(t) = -y*t - 1 + t**3 + 3*t - 4*t + 2*t**2 + t. Let j be f(-2). Solve 1 = j*b - 2 for b.
1
Let i(s) = -s**2 + 10*s + 5. Let z be i(10). Suppose z*y - 10 = -0. Let w be 0*(-2 + (-6)/(-4)). Solve w + 2 = y*q for q.
1
Let d(m) = m + 7. Let l be d(-5). Let k be (2 - l) + 4*3. Solve -3*r = k - 3 for r.
-3
Suppose 0 = 2*n + 4*b - 26, 0 = -4*n - 2*b + 19 + 3. Solve 5*z = -2 - n for z.
-1
Let y be 2/5 + 56/10. Suppose 9*l = 4*l + g + 10, -3*l + y = -3*g. Suppose h - 5 = 0, -3*h + 3 = -5*s - l. Solve -j = -s*j - 2 for j.
-2
Let z = -1 - -9. Solve 3*x + z = -x for x.
-2
Suppose -5 = 5*j + 3*k, 3*k + 23 = 2*j + 2*j. Solve -j*p - 5 = -p for p.
-5
Let q(f) = 3*f - 6. Let m be q(7). Let l = m - 10. Solve 0 + 5 = l*b for b.
1
Let s be (-8)/36 + 29/9. Let x(c) = c**2 - c - 2. Let l be x(s). Suppose 0 = -3*m + m + l*j - 6, 0 = 2*m + 4*j - 10. Solve -4 = u + m for u.
-5
Let n(i) be the second derivative of -i**5/20 + 7*i**4