 - 8*d - 1. Let f be h(-7). Suppose -f*o - 20 = -2*o. Let a be (-27)/o + 2/(-5). Solve i + a = -0*i for i.
-5
Let z be 8/(-40) + (-11)/(-5). Suppose 1 = -p + z. Solve -f + p - 5 = 0 for f.
-4
Let b(h) = h**3 - 7*h**2 + 14*h - 18. Let w be b(5). Solve -w*c = 4*c for c.
0
Let f(v) = 2*v**2 + 8*v + 9. Let j be f(-4). Solve -s = 14 - j for s.
-5
Let k(t) = 2*t + 14. Let f be k(-7). Solve f = -2*z - 3*z - 20 for z.
-4
Suppose 3*k = -5*d + 115, d = 6*d + 5*k - 125. Let y = -21 - -31. Let w be 4/d + (-2)/y. Solve -z + w*z = 0 for z.
0
Let l be (-48)/4*2/(-3). Solve l = -3*o + o for o.
-4
Let y be 1*(-7 + 1 - -1). Let s = 11 + y. Solve -4*d + d - s = 0 for d.
-2
Suppose 4*j = j - g + 8, -4*g = 4*j - 24. Let t be j - -1 - (-2 - -1). Solve -7*v = -t*v + 8 for v.
-2
Suppose -2*l = -h - 2 - 0, -2*h - 3*l = -10. Let m(j) = -4*j**2 - j + 4*j**h + 5*j**2 + 2 - 4*j**2. Let n be m(0). Solve -2*q + n = -4 for q.
3
Let x(n) = 2*n + 45. Let b be x(-20). Solve b*j + 19 = -6 for j.
-5
Let x be 160/(-25) - (-4)/10. Let z = x + 6. Let l be (1 + -1)/(1 + 0). Solve z = 2*t + 10 - l for t.
-5
Let w(p) = -p**2 + 6*p + 10. Let z be w(7). Let g(s) = -s + 7. Let h be g(5). Solve 25 = -z*k - h*k for k.
-5
Let y = 19 + -19. Solve 0*n - n - 5 = y for n.
-5
Let i be 6/39 + (-24)/(-13). Suppose -3*o = -1 - 5. Let f = -22 + 32. Solve o - f = -i*c for c.
4
Let f(s) = 2*s + 4. Let x be f(-4). Let c = x - -5. Solve -3*m - 7 = -c for m.
-2
Let c(b) = -b**3 - 2*b**2 + b - 2. Let h be c(-3). Let q = -1 - -1. Suppose q*w = 2*w - h. Solve a - w*a = -2 for a.
2
Suppose 14*v - 11*v + 9 = 2*m, 3*m + 5*v - 4 = 0. Solve -6*t - 15 = -m*t for t.
-5
Suppose 0 = -8*u + 5*u + 9. Solve 0 = -u*s + 2 + 1 for s.
1
Suppose -5*m = -0 - 10. Suppose 5*r = 5, 2*r - 24 = m*f - 0*f. Let q = f - -18. Solve q = -4*n - 13 for n.
-5
Let w(q) = -4*q**3 - 2*q - 1. Let y = -6 + 1. Let m = 4 + y. Let v be w(m). Solve 3*k - v = 4 for k.
3
Let x be 3/54*-4 + 40/18. Solve -x*w + 2 = -4 for w.
3
Let u(m) = -m**2 - 12*m + 10. Let c be u(-13). Let s be 6 + 6/3 + c. Solve -s*d + 6 = 1 for d.
1
Let m = -6 - -9. Let v(z) = 2*z**2 + 9*z + 4. Let t be v(-4). Solve t = -a - m*a - 4 for a.
-1
Suppose -1 = -2*b - u, 1 = -4*u - 3. Let r = 4 - b. Solve 2*y + r*y + 25 = 0 for y.
-5
Suppose 5*l - 2*l = 0. Suppose l = 4*v - 14 + 6. Solve -m - v*m - 3 = 0 for m.
-1
Let w = 19 - 16. Let i = 2 - -1. Suppose w*s + 13 = 2*j, 3*j - 7*s = -i*s + 18. Solve 0*b = j*b - 2 for b.
1
Let a(i) = -i**3 + 6*i**2 + 5*i - 6. Let h be a(6). Suppose 0 = -3*n - 0*n + h. Suppose -o = o - n. Solve -o*g + 14 + 2 = 0 for g.
4
Suppose 3*k - 11 = 4*y - 1, -3*y - 9 = -3*k. Solve 0 = -k*t - 3*t + 25 for t.
5
Suppose 3*n + 11 = f, 3*f + n + 5 = 18. Solve -4*a - a = -f for a.
1
Let j be (-1 - -3) + 3*-2. Let i be (6/j)/(3/(-6)). Solve i*s + s + 4 = 0 for s.
-1
Let n be ((15 + -14)*(-1 - -1))/3. Solve n = -5*v - 2 - 13 for v.
-3
Let y(j) = -j - 2. Let s be y(-5). Suppose 23 = 4*b - 5*o, -2*b - 2*o + s*o = -7. Solve 2*i = 4 - b for i.
1
Suppose -m + 1 = 4. Let w = 25 + m. Solve -w = -5*x - 7 for x.
3
Suppose -6*j = -j - 25. Let c(p) = p**3 + 7*p**2 + 3*p - 1. Let k be c(-6). Let l(t) = t**2 + 2*t - 1. Let i be l(-3). Solve k = j*z + i for z.
3
Suppose -4*l - p + 4*p = -97, -78 = -3*l + 4*p. Let z = -12 + l. Let k = z - 6. Solve -i = -k*i for i.
0
Let z(p) = -3*p**2 - 19*p - 3. Let u be z(-6). Solve 0 = o + u*o - 4 for o.
1
Let o(u) = -1. Let w(x) = x + 5. Let d(p) = 6*o(p) + w(p). Let k be d(1). Solve -3*q + q + 10 = k for q.
5
Suppose 2*g + 14 = -3*l + 6*g, 3*l - g - 1 = 0. Solve -5 = l*c + 3*c for c.
-1
Let j(p) = -3*p - 8. Let q be j(-4). Solve 0 = x - 5*x - q for x.
-1
Let f(p) = 6*p + 20. Let d be f(-3). Suppose 0 = 3*m - t - 1, 5*t - t = m - 4. Solve 2*c + 0 + d = m for c.
-1
Suppose 3*v - 43 = -i, 2*v = -2*i - i + 24. Suppose 4*p - v = -p. Suppose -3 + 6 = p*o. Solve o = 3*x + 4 for x.
-1
Suppose -b + 2*b - 20 = 0. Solve m = 6*m - b for m.
4
Let n(t) = 2*t**2 + 2*t + 2. Let h be n(-1). Solve 0 = 2*b - h for b.
1
Let a(g) = 3*g**2 + 3*g + 4. Let i be ((-32)/20 + 2)*-5. Let z be a(i). Solve z + 0 = -5*o for o.
-2
Let l be (-72)/(-3) - 1/(-1). Let f = -15 + l. Let n be 2/f - (-18)/10. Solve -2 = p + n for p.
-4
Let h(x) = -8*x + 9. Let q be h(1). Solve p + q = -1 for p.
-2
Suppose 5*q - 3*q = 4. Let g be 7*6/(4 + -2). Let h = g - 8. Solve q*p + h = 3 for p.
-5
Suppose 0 = 3*p - 0*p - 5*m - 56, 4*p - 5*m = 68. Solve 0 = -3*z - z + p for z.
3
Let r be (20/(-16) + 1)*-4. Solve -4 = 5*y + r for y.
-1
Suppose 0*f + 25 = 3*u + 5*f, 2*u - f - 34 = 0. Solve -11*s = -8*s + u for s.
-5
Let j = -3 + 7. Let y be (j/3)/(-2)*-12. Let t be (-1 - 3*-1) + 1. Solve -t*v + y*v = 15 for v.
3
Let b = 0 - -3. Let t(r) = b*r + 4 - 3*r - r. Let x be t(4). Solve x = -2*v + 1 - 3 for v.
-1
Suppose 0 = -2*i - 0*i, 3*i - 21 = -3*l. Solve -5*n + 13 + l = 0 for n.
4
Suppose 0*k = 4*k + 4*t - 4, 5 = -k + 5*t. Solve -3*y - 3 - 9 = k for y.
-4
Suppose -5*o + 3*o + 4 = 3*w, -2*o = -w + 4. Let m = -7 - o. Let s = m - -12. Solve 0*n - s = -2*n for n.
3
Suppose 10 = 8*a - 3*a. Suppose -4*f + 6 = -a. Solve -3*c = -c + f for c.
-1
Suppose 2*h - 5*y = -10, 0*h + y = -3*h + 2. Solve h*q - 2*q + 10 = 0 for q.
5
Let w be (-3 - (-1 - 2))/(-1). Solve w = -2*o - o for o.
0
Let h(s) = 0*s - 3*s**2 + s + 0*s - 2. Let o be h(2). Let u = o - -20. Solve u = -0*p + 2*p for p.
4
Let r be 6/(-4)*1*-2. Suppose 5 = -3*q + 4*j, -15 = -4*q - 4*j + 25. Let u be (33/15 + -1)*q. Solve 6*o - u = r*o for o.
2
Let p be 3/((3 + 6)*(-2)/(-30)). Solve -p*c + 8 = 3 for c.
1
Let d = 27 + -17. Solve -h + d = -3*h for h.
-5
Suppose -2*v = 5*t - 0*t - 19, -16 = -4*t - 2*v. Suppose 3*k + 0 = -4*b - 2, -3*k = t*b. Suppose -2*a = c + 2*c - 2, 2*a = -4*c + 4. Solve -y = -k*y + c for y.
2
Suppose 0 = -2*y - 2*q - 10, 5*y + 15 = -4*q + q. Solve y = 2*f + 3 - 5 for f.
1
Let t(y) = -y**3 + 9*y**2 + 4. Let p be t(9). Solve 0 = m - 0*m - p for m.
4
Let u be -3 - -3 - 1*16. Let t be 1/(-3) - u/3. Let m = -2 + 2. Solve -t*o + m = -15 for o.
3
Let t = -32 + 33. Solve -4 = 5*b + t for b.
-1
Suppose -p + m - 3 = 0, 5*p + 5*m + 15 = m. Let v be (1 + 0)*(0 + 0). Let a = v - p. Solve -a*y - 8 = -2 for y.
-2
Suppose 3*f + 9 = 2*u + u, 3 = -5*f + u. Solve f = -5*h + 3*h - 8 for h.
-4
Let m = -12 + 20. Solve 5*v - 2 = m for v.
2
Let d be 6/4*(-3 + 5). Let l = -3 - -5. Solve -l*a = -d*a for a.
0
Let f be -2 + (56/(-35))/((-4)/10). Solve -f*s = -4*s - 10 for s.
-5
Let t(r) = -5*r**3 - 2*r - 1. Let u be t(-1). Let w = u + -3. Suppose 0 = -5*j + 24 + 26. Solve -w*s = -s + j for s.
-5
Suppose -4*c - 20 = 4. Let p be 8/(-6)*9/c. Solve p*y = -y for y.
0
Suppose -5*s - 5 = -4*p, 4*p + 0 = 2*s + 2. Solve u = -p*u - 5 for u.
-5
Suppose 3*f + 10 = -2*f. Let v be f/(-9) - 18/81. Solve 3*a - a - 10 = v for a.
5
Let w be -4*(-4)/((-48)/(-9)) + -3. Solve w = 2*z - 0 + 2 for z.
-1
Let y(i) be the second derivative of -i**4/12 + 13*i**3/6 - 4*i**2 - 5*i. Let s be y(12). Solve s + 0 = b for b.
4
Let m = 7 + 9. Let p = -10 + m. Solve z = -z + p for z.
3
Suppose -8*p + 4 = -6*p. Let h be 6/4 + (-1)/(-2). Solve h + p = 4*y for y.
1
Let f = -6 + 10. Suppose 0 = -2*n - 2*p + f*p + 8, 4*n = 3*p + 18. Let d be 6/18 + 16/n. Solve d*o + 4 = o for o.
-2
Let m be -4 - (1 - (0 - -2) - 23). Solve 2*r - 6*r - m = 0 for r.
-5
Suppose 0*n = n - 5. Suppose s + 27 = n*s - 3*g, 2*g - 28 = -5*s. Solve -2*j = -s*j for j.
0
Let o = 2 - 7. Let j(f) = -f**3 - 6*f**2 - 5*f + 4. Let m be j(o). Solve 6 - 2 = m*g for g.
1
Let l(j) = j - 8. Let s = -18 - -28. Let b be l(s). Let n(c) = -c**3 + 3*c**2 - c - 1. Let u be n(b). Solve 4*t + 11 = -u for t.
-3
Let z be (-110)/(-30) - (-2)/6. Solve -6*m = -7*m + z for m.
4
Let g = -7 + 11. Suppose -6 = g*h - 26. Solve -4 + 19 = h*v for v.
3
Suppose 0*r - 4*r = 44. Let m(p) = -p - 8. Let w be m(r). Solve -w*v = -2*v for v.
0
Let h be ((-14)/16)/(1/4)*-2. Solve -5 - h = -3*o for o.
4
Let l(d) = 2*d**2 + 9*d - 5. Let n be l(-7). Suppose 5*u - 4*m = 5, u - 2*m = 5*u - n. Let p = 37 - 21. Solve u*q = p - 1 for q.
3
Let q(h) = h**3 - 2*h**2 + 4*h + 3. Let v(l) = l**3 + 1 + 2 - l**2 + 5*l - l**2. Let m(j) = 4*q(j) - 3*v(j). Let a be m(3). Solve -y - 2*y - a = 0 for y.
-5
Let y be (-14)/(-35) - 26/(-10). Suppose -2*p + 6 - 4 = 0. Solve -y = o - p for o.
-2
Let n