. Let a(d) = d - 1. Let z be a(3). Solve -8 = -i*p + z*p for p.
-4
Let h be (16/10)/(2/10). Suppose 3*d = h + 1. Solve -4*y + d = -y for y.
1
Suppose 2*m = 7 - 3. Suppose -m*q + 2 + 4 = 0. Solve -25 = -q*l - 2*l for l.
5
Let i(y) = -4*y - 4. Let v be i(5). Let f = 12 + v. Let n be (f + 4/2)/(-2). Solve 10 + n = 5*p for p.
3
Suppose -5*t - 2*p = -11, 0 = t - 4*p + 3 - 14. Solve -t = f + 1 for f.
-4
Let o(r) = r**2 + r + 2. Let n be o(-1). Solve -8 - n = -5*k for k.
2
Let g be 2/(-7) + 47/(-7). Let m = -5 - g. Let a be ((-3)/5 + 0)*-5. Solve a + 1 = m*y for y.
2
Let u be (-2)/(-10) - (-273)/35. Let a = -6 + u. Suppose 5*b - 1 = -5*v + 34, -5*v + 36 = 4*b. Solve 0*g + v = a*g for g.
4
Suppose 5*z + 2*f + 2*f = 8, 3*f = -3*z + 6. Let h be (2 - 7) + 3 - -3. Solve v = -z*v - h for v.
-1
Let q(o) = -2*o**2 + 9*o + 24. Let y be q(6). Solve 6*w = 3*w + y for w.
2
Suppose -3*m - 3 = -63. Suppose -9*o = -4*o - m. Solve -o*r = -14 - 2 for r.
4
Let p = 4 - 1. Suppose -p*m = m - 3*l - 45, 3*l - 30 = -m. Solve o = -2*o + m for o.
5
Suppose -2*n = -2*o + 12, -6 = -o - 7*n + 3*n. Suppose -o = 4*l - 26. Solve l*w - 12 = 8 for w.
4
Suppose 10 + 14 = l + 5*p, 5*l - 8 = 3*p. Suppose 0 = l*y - 0*y - 16. Solve 4 + 0 = -y*n for n.
-1
Suppose n - 10 = t, t - 2 = 2*n - 22. Let i = -2 + 4. Let v be 1/(-4) + i/8. Solve -6*u + u + n = v for u.
2
Suppose -6*o + 50 = -o. Solve 4*m - 6 = o for m.
4
Suppose -3*q = -4*q - 3*u - 6, 3*u = 2*q - 6. Let r(d) = -d + 3. Let x be r(q). Suppose -f - 10 = -x*f. Solve 2 = 3*p + f for p.
-1
Let p = 7 + 13. Suppose y + y = p. Let r = -4 + y. Solve 3*z - 6 = r for z.
4
Let t be ((-35)/42 - -1) + (-41)/(-6). Solve -4*p + t = -5 for p.
3
Let h = 17 - 15. Solve 0 = h*o - 3*o for o.
0
Let o = -35 + 19. Let x = -15 - -11. Let p = x - o. Solve -4*i - p = -i for i.
-4
Let d(a) = 3*a + 1. Let i be d(2). Suppose 2 = -5*q + 17. Suppose -q*o = -i - 20. Solve o = -5*w - 11 for w.
-4
Let l(r) be the first derivative of -2*r**2 - 3. Let x be l(-2). Let u = 8 - x. Solve -3*n = -u*n - 6 for n.
2
Suppose -a = -4 + 11. Let r(q) = -q**2 - 6*q + 8. Let u be r(a). Let g = u - -2. Solve 3*j - g + 0 = 0 for j.
1
Suppose -125 = -2*n - 3*n. Suppose l + 2*l + 3*m = 117, 0 = -2*l - 5*m + 75. Let a = l - n. Solve 0*d = -5*d + a for d.
3
Let y be 1 + (-2)/((-2)/1). Let w = 4 - y. Suppose w*a = 2*c - 7*c, a + 5 = -5*c. Solve -a*u = 9 + 1 for u.
-2
Suppose t = 5*h + 34, h - 2*t = t - 18. Let m(g) = g**3 + 6*g**2 + 4. Let i be m(h). Suppose 0 = n - 3*n + 30. Solve -d + i*d = n for d.
5
Let r be 30/40*16/6. Solve 0*a - r = 2*a for a.
-1
Suppose 2*d = -3*d + 30. Let t = 8 - d. Solve v + t*v = 0 for v.
0
Let l = -2 - -2. Suppose l = -8*m + 4*m - 32. Let o(q) = -q**2 - 8*q. Let h be o(m). Solve h*u = -u + 3 for u.
3
Suppose -32 = -4*k - 0*k. Let o = 18 - k. Solve o = 4*l - 10 for l.
5
Let g = 77 + -74. Solve -g*y + 4*y = 0 for y.
0
Let z(d) = -d**2 - 19*d - 18. Let a be z(-18). Solve a = -5*o + 3*o - 4 for o.
-2
Let b(h) be the third derivative of h**4/6 - h**3/2 - 23*h**2. Let u(p) = -p**2 + 5*p - 2. Let v be u(4). Let y be b(v). Solve 6 = y*r - 3*r for r.
3
Let t(k) = k + 1. Let v(f) = -f**2 - 9*f - 10. Let u be v(-7). Let y be t(u). Suppose y*l - 13 = 2. Solve -l*c = -7 + 1 for c.
2
Let g(r) = r**3 - r**2 + 9. Let u be g(0). Let k = -7 + u. Suppose k*m - 3*m = -5. Solve m*i - 13 = -3 for i.
2
Suppose -9 = 4*m - 29. Suppose r - 5 = n, -15 - 13 = -m*r + 2*n. Solve r = h + 2*h for h.
2
Let q(v) = 2*v**2 - 5*v - 4. Let p be q(4). Let l be 12/16 + 50/p. Suppose u = c + 2*u + 1, 5*c - 5 = 5*u. Solve c = -4*z - 1 - l for z.
-2
Let j(z) = z + 2. Let c be j(-5). Let k be (c - -30)*(-1)/(-3). Solve k*i = 4*i for i.
0
Let f(k) = -k**2 + k - 3. Let h(w) = -4*w**2 + 3*w - 9. Let m(s) = -7*f(s) + 2*h(s). Let v be (-1)/(-4) - (-1)/(-4). Let c be m(v). Solve o + 8 = c*o for o.
4
Let c(w) = -13*w + 2*w**2 + 10 - 3 + 3*w. Let d be c(6). Suppose 10 = -s + 4*x, 0*s + 3*x - d = -5*s. Solve s*f - 7 = 3 for f.
5
Let p be ((-36)/(-16))/((-2)/8). Let w(o) = -o - 7. Let g be w(p). Let n(t) = 2*t - 3. Let i be n(3). Solve -i = -g*q - 1 for q.
1
Let o = 2 + 2. Let r be ((-6)/o)/(1/2). Let p(g) = -g. Let t be p(r). Solve -t = -2*h + 5 for h.
4
Let j(a) = -a**3 - 6*a**2 + 5*a + 1. Let z = 18 + -25. Let k be j(z). Solve 0 = -0*r + 3*r - k for r.
5
Let x be 8*1 + -1 - -1. Let a be 5/2*x/5. Suppose s + s = a. Solve -s*n + 10 = 4 for n.
3
Let i be 2/(-6)*(-96)/8. Let x(s) = s**3 + 2*s**2 + s + 2. Let a be x(-2). Let h = a - -3. Solve n = i*n + h for n.
-1
Let i = -13 + 18. Solve i = -5*f + 30 for f.
5
Suppose -4*z + 16 = 0, 4*z - 2 - 54 = -5*s. Let m(g) = -2*g + 12. Let l(u) = 4*u - 24. Let r(w) = -4*l(w) - 9*m(w). Let c be r(s). Solve c = 5*a + 24 for a.
-4
Suppose 3*g + 9 + 57 = 0. Let c = 37 + g. Solve -1 = -4*y + c for y.
4
Let x(o) = o**3 - 5*o**2 + 5*o + 1. Let l be x(4). Let a = 0 - 0. Suppose a = -l*k - 3*v + 36, -2*k - v + 4 = -5*v. Solve -k*h + 2*h = 20 for h.
-5
Let t be 0/1 + 0 + 0. Suppose 16 = 4*i, -4*l - 5*i = -2*l - 8. Let c be (-3)/(l/(-8)*-2). Solve t = -4*g - c - 6 for g.
-2
Let j(y) = -y**2 - 10*y - 14. Let t be j(-8). Solve -t*f - 16 = 2*f for f.
-4
Suppose c + c - 5*l + 9 = 0, 3 = c + 5*l. Let o = c + 7. Solve 2*y - o*y = 0 for y.
0
Let j(m) = -m**2 - 8*m - 8. Let a be j(-7). Let o(q) = 4*q**2 - 1. Let n be o(a). Solve -1 = -2*v + n for v.
2
Let l(b) = 2*b + 7. Let c(h) = 2*h + 7. Let t(p) = -4*c(p) + 3*l(p). Let q be t(-5). Let o = 7 - q. Solve 9 = o*r + 1 for r.
2
Let j(y) = -y - 4. Let b be j(-7). Suppose 32 = b*p - 2*d, 9*d - 15 = -2*p + 4*d. Suppose 2 = -3*g + 14. Solve -g*r - r = p for r.
-2
Suppose 5*a + 5*r - 10 = 0, -2*a - r = -6 + 3. Suppose 0 = 3*w - a - 29. Suppose 16 = 2*d - 5*q, -2*q - w = -4*d + 2*d. Solve -1 = -d*i - 7 for i.
-2
Let n(b) = b**2 + 9*b - 12. Let h be n(-11). Solve 6*t - h = 2 for t.
2
Let u = -5 - 0. Let t = 7 + u. Let v be (-6 + 2 + -1)*-2. Solve 0*j - t*j = -v for j.
5
Suppose -13*l + 69 = -48. Solve l*r = 12*r + 9 for r.
-3
Let s(c) = 11*c + 1. Let p be s(1). Let v be ((-4)/p)/((-2)/36). Solve -v*x = -4*x + 10 for x.
-5
Let s(j) = -2*j - 4. Let c be s(-4). Solve 5 + 11 = c*y for y.
4
Suppose 7*g = 8*g - 2. Let h(p) = -p**3 - 8*p**2 + 7*p - 13. Let n be h(-9). Suppose 4 + 46 = n*f - 5*o, 2*f + 2*o - 8 = 0. Solve -f = g*a + 1 for a.
-4
Let d(s) = -s + 4. Let r be d(2). Solve -3*o + r = -1 for o.
1
Let z be (-3 - 3)*4/(-6). Suppose 5 + 11 = z*p. Solve -3*q + 19 = p for q.
5
Suppose -f = 3*p + 5, 3*f + 0 = -5*p - 15. Suppose -5*x - 2 + 17 = p. Solve 3*b + 0*b = -x for b.
-1
Let a(s) = 2*s**2 - 5*s + 5. Let l be a(2). Solve -5 = -l*o + 7 for o.
4
Suppose -2*l + 6 = l. Suppose -n = -l - 18. Solve 0 = -3*w - w + n for w.
5
Suppose -b + 5*i - 10 = 0, 3*b - 7 - 3 = -5*i. Suppose 2*o = 5*s - 0*o - 20, -3*s + 3*o + 12 = b. Suppose -4*w + 20 = w. Solve 5*c = w*c - s for c.
-4
Let c = 5 - 10. Let n(a) = a**3 + 4*a**2 - 7*a - 4. Let o be n(c). Suppose 0*r = -3*r + o. Solve 0*l = r*l - 4 for l.
2
Let b(w) = w**3 - 9*w**2 + 5. Let u be b(9). Solve -z = -u*z + 20 for z.
5
Suppose 0*v - 5*v = 80. Let s = v + 16. Solve w - 3*w = s for w.
0
Let c(s) = 20*s**2 + 33*s + 18. Let m(p) = -7*p**2 - 11*p - 6. Let w(i) = -6*c(i) - 17*m(i). Let x be w(-10). Solve -v + 20 = x*v for v.
4
Let n(h) = h**2 + 3*h. Let r be n(-4). Let c = 0 + r. Solve c*v = -1 - 3 for v.
-1
Let m be 2/8 + 86/8. Let d(p) = -p**2 + 11*p. Let c be d(m). Solve -i = -c - 5 for i.
5
Suppose 3 = 4*f - 5. Suppose -2*a + 2 + f = 0. Solve -a*c - 4 = -6 for c.
1
Suppose -11 = -4*u + 45. Suppose -4 = 5*a - u. Solve -1 = -a*n + 9 for n.
5
Let x(f) = -2*f - 10. Let s be x(-5). Solve -3 = -m - s*m for m.
3
Let s(b) = 3*b**2 + 6*b + 6. Let c be s(-2). Solve -u = -c*u + 20 for u.
4
Suppose -17 = -3*d + 28. Suppose 24 = 3*r - 5*u, -3*r + 4*u + 9 = -d. Solve r*i - 4*i = 0 for i.
0
Suppose -3*n - 5*p + 4*p - 48 = 0, 5*p = -5*n - 70. Let w = 8 + n. Let v be 2/3 - (-6)/w. Solve -r + 0 - 2 = v for r.
-2
Suppose -2 = -2*n - 0*n. Let r(m) = -9*m + 0 + 18*m - 10*m + 1. Let u be r(n). Solve 3*l + 0*l - 6 = u for l.
2
Let l = 24 - 22. Solve -1 = -l*q - 3 for q.
-1
Let j be 14/42 - 28/(-6). Solve -15 = -j*w - 0 for w.
3
Let r be ((-12)/10)/(4/(-10)). Suppose -2*f + r = -7. Let w be ((-20)/8 - (4 - 5))*-4. Solve 3*g - f*g + w 