 = -n*d - p for d.
-3
Suppose 33 = 3*a - 2*m, 3*a - 3*m - m - 39 = 0. Let d = a - 10. Let t be -1*(1 + (-2 - d)). Solve t = 3*g - 6 - 0 for g.
2
Suppose 0 = -i + 4*d + 24, 4*i - 28 = -5*d + 5. Solve -5*p + p = i for p.
-3
Suppose 3*z = z + 4. Let u(n) = 3*n**3 - n**2 - 2*n. Let w(b) = b - 1. Let y(g) = u(g) + w(g). Let t be y(z). Solve -8 = 5*m + t for m.
-5
Suppose -26 = 2*c + 5*m, m + 0 + 19 = -5*c. Let v = c - -3. Suppose 0 = -4*k - 2*k + 12. Solve -10 = k*z - v*z for z.
-5
Let l(o) = -o**3 - 6*o**2 - 7*o - 4. Let b(y) = y + 4. Let i be b(-9). Let s be l(i). Solve z - s*z = -10 for z.
2
Let k = 11 + -4. Let b = k - -1. Solve -2*q - 2 = b for q.
-5
Let a be 1 + (1 - (-1 - -1)). Let v = -6 + a. Let p be v*(-1)/((-3)/(-3)). Solve t - 5*t = p for t.
-1
Let x(z) = 15*z - 2. Let u be x(2). Suppose 5*c - 47 = u. Solve -w + c = 4*w for w.
3
Suppose 5*p - 4*p - 23 = 0. Suppose 5 + p = 4*s. Solve -3*k + 1 = s for k.
-2
Suppose -2*m + 4*v = -0*m + 36, -67 = 4*m - 3*v. Let u = -1 - m. Solve 3*y - 6*y - u = 0 for y.
-5
Let o(y) = 3*y**2 + 2*y + 1. Let s be o(-1). Suppose s*c + 7 = 19. Solve r - 1 = -c for r.
-5
Let m(s) = -s. Suppose 0*p = p. Let o be m(p). Solve o = -5*x + 1 - 16 for x.
-3
Let l be (-2)/(-3) - (-4)/(-6). Let k(x) = -x**2 - 6*x - 5. Let b be k(-4). Solve -b*c + 1 + 2 = l for c.
1
Let x = 10 - 8. Let f be (24 - -4) + 4 - x. Solve 5*y - 5 = -f for y.
-5
Let v = -2 + 4. Let y be v*-2*(-1)/4. Solve 0 = i - y for i.
1
Suppose -13*q = -8*q - 30. Suppose 2*y - 9 + 1 = 0. Let z be (-14)/(-6) - y/(-6). Solve -3*j + z + q = 0 for j.
3
Let f = -4 - -4. Suppose -3*c = -2*r - 2*r + 17, r - 3*c = -7. Suppose -4*l + 7 + 1 = 0. Solve l*s = r - f for s.
4
Let p(g) = g**2 + 1. Let x be p(-3). Let l be (-2)/4*(-3 - 1). Suppose 0 = 2*q + l*q - 12. Solve -2*d = q*d + x for d.
-2
Let o(i) = -i**2 + 4*i + 1. Let a be o(3). Solve -a*x + 5 = -15 for x.
5
Let f(b) = -b**3 - 5*b**2 + 6*b + 1. Let x be 8*(3 + (-9)/6). Suppose 5*g = -18 - x. Let s be f(g). Solve -s + 5 = -2*z for z.
-2
Suppose t - 2*h - 14 - 1 = 0, 0 = 4*h + 20. Let d(i) be the third derivative of i**5/60 - i**4/8 - 2*i**3/3 - 6*i**2. Let p be d(t). Solve 5*u - p = 2*u for u.
2
Let w(a) = -a**3 + 5*a**2 - 3*a - 1. Suppose 1 - 11 = 5*r. Let k be (4 - 3)*-2*r. Let i be w(k). Solve -i = 2*d - 9 for d.
3
Let b(j) = j**2 + 3*j + 2. Let g be b(-2). Solve g = -4*l + 5 + 7 for l.
3
Suppose 6 = -2*k + 14. Solve -k*g - 1 - 3 = 0 for g.
-1
Let p(a) = a**3 + 9*a**2 + 2*a - 9. Suppose 0 = 5*t + 22 + 18. Let i be p(t). Solve -5*o + i = 14 for o.
5
Suppose x + 5 = 5*k, -2*k + 0 = -x - 2. Suppose -3*d = 2*r - 16, -r = 2*d - x*r - 10. Let j = -4 + 6. Solve 0 = -y + j*y - d for y.
4
Suppose 5 = -2*v - 7. Let a = 10 + v. Suppose -7 - 5 = -a*x. Solve -2*r + x = -1 for r.
2
Suppose -3*h - 2*h = 50. Let n be (-1 + 4)/((-15)/h). Solve -8 = n*x - 4 for x.
-2
Let r(c) = -c**3 - 5*c**2 - 3*c + 1. Let s be r(-5). Solve -u - s = 3*u for u.
-4
Let i(a) = -a**3 + 11*a**2 - 11*a + 12. Let q be i(10). Solve 2*j + q*j = -20 for j.
-5
Suppose -3*s + 0*l + 50 = l, -s - 3*l = -14. Solve 2 = 5*b + s for b.
-3
Suppose 3*z + 30 = 8*z. Suppose 2*k + k - z = 0. Let v = 8 + -6. Solve 0 = v*n - 0 - k for n.
1
Let s(t) = -2*t**2 - 6*t**2 + 2 + 7*t**2 + 4*t + 3. Let z be s(5). Solve -2*y - 8 = -z for y.
-4
Suppose w + 3 = 6. Let k be w - -4 - (-6)/(-2). Solve -3*a = k + 5 for a.
-3
Let n be (9/(-12))/((-15)/40). Solve -3*r + 2 = -n*r for r.
2
Let z be 8/12*(-9)/(-2). Solve 3*r + z = -6 for r.
-3
Let i be 0/(2 + -3 - 0). Let s be 4 + 0 + i + -1. Suppose -c - 13 = -4*k, k + 23 = -2*c - s*c. Solve -y = k*y for y.
0
Let s = -34 - -54. Solve -f + 5*f = s for f.
5
Let q(d) = -d**3 + d**2 + 3*d - 1. Let m be q(3). Let a = m - -13. Solve 22 = 5*i - a for i.
5
Suppose 20 = -5*d - 5, -5*s - d = 0. Let l be 0/s + 3 - 3. Solve l = k - 4 + 1 for k.
3
Let l = 5 - 7. Let g be ((-2 - -3)*0)/l. Solve y + 3 = -g*y for y.
-3
Suppose 5*u - 3*u = 24. Solve u = -5*g + 2*g for g.
-4
Let f(d) be the second derivative of 5*d**3/6 + 5*d**2/2 + d. Let t(n) = -n - 1. Let l(q) = -2*f(q) - 11*t(q). Let z be l(3). Solve -z*b - b + 5 = 0 for b.
1
Let t(c) = -c**3 - 4*c**2 + 10*c + 1. Let b be t(-6). Let w(k) = -k**3 + 5*k**2 - k + 7. Let s be w(5). Solve -b + 3 = -s*r for r.
5
Let t = 10 - 2. Let x be 2*(-1 - (-2)/4). Let u be ((-6)/x)/2*1. Solve -u*f = 4 + t for f.
-4
Let k be (8/12)/(4/(-72)). Let j(g) = -g - 9. Let t be j(k). Solve 2*r = -t*r for r.
0
Suppose 0*y = 2*y. Suppose y = -5*w - 10, 17 = 2*f + f - w. Suppose 5*t - 3*i + 7*i + 4 = 0, 0 = -4*t + f*i + 5. Solve t = -6*h + 3*h + 12 for h.
4
Let u be -2 + (-4 - (-3 - 5)). Solve 3 = u*s - 3 for s.
3
Let v(w) = w**2 + 8*w + 7. Let y be v(-7). Let i = y - -3. Suppose 2 = i*l - 4. Solve -l*m - 5 = 3 for m.
-4
Let b(l) = -l**3 - l**2 + l. Let r(a) = -2*a**3 + 5*a**2 - 7*a - 1. Let s(c) = 5*b(c) + r(c). Let n be s(-1). Solve i + 3*i = -n for i.
-2
Let u be ((-4)/(-6))/((-1)/(-3)). Let k = 4 - u. Let h be (0 + (1 - k))*-2. Solve -h*x + 3*x + 4 = 0 for x.
-4
Let r be (2 + -3)/(-2 - -1). Suppose a + r - 5 = 0. Suppose l + l - a = 0. Solve -l*n = -n for n.
0
Let v be (-3 - -5)*5/2. Solve v = 5*f - 5 for f.
2
Let y(c) = -2*c - 7. Let j(m) = m - m - m - 1. Let v(u) = -6*j(u) + y(u). Let k be v(2). Solve -2*g = k + 1 for g.
-4
Suppose n - 4 = h, -h + 0*h = 0. Suppose 0 = -0*a - n*a + 4*r + 16, 4*a - 2*r = 12. Solve -1 = a*k + 1 for k.
-1
Let u be (120/16 - 6)*(2 - 0). Solve -u*q - 16 = q for q.
-4
Let s(g) = g**3 - 8*g**2 + 9*g - 10. Let h be 6/15 - (-24)/(-10). Let z = 5 - h. Let f be s(z). Solve -j = -f + 2 for j.
2
Suppose -6*k + 4 = z - 5*k, 5*k = 10. Solve 0 = 3*d + z*d + 25 for d.
-5
Suppose -2*k + 3*b = -k + 11, 3*k - 4*b + 8 = 0. Solve -s + 9 = -k*s for s.
-3
Suppose -5*v + 5*p + 0*p = -55, 2*v = p + 17. Let f(m) be the second derivative of -m**3/6 + 3*m**2 + 5*m. Let k be f(v). Solve k*g = -4*g - 20 for g.
-5
Let n(t) = -t. Let u be n(5). Let o = 8 + u. Let p be o/(4 + -3) + 5. Solve -5*q + 12 = -p for q.
4
Suppose 10*x - 42 = 4*x. Solve 22 = -5*c + x for c.
-3
Let h = -2 - -4. Solve -h*r - 9 = -5*r for r.
3
Let m(o) = 17*o + 5. Let f be m(4). Let x = 36 - f. Let q = -17 - x. Solve -5*r = -r + q for r.
-5
Let o = 7 + -3. Suppose -4*s + o*w - 108 = 0, w + 29 = -3*s - 44. Let n be (-2)/5 - 60/s. Solve -n*j + 4 + 4 = 0 for j.
4
Let i be (2/4)/(1/24). Solve -3*q = -6*q + i for q.
4
Suppose -4*z - 22 = -2*n, 5*n - 3*z - 45 + 18 = 0. Solve -n - 7 = -5*q for q.
2
Suppose n = 5*n. Solve n = c - 2 - 2 for c.
4
Suppose 3*m + 9 = q + 20, 5 = m. Let r = 59 + -42. Let u = 3 + -2. Solve -q*h + u = r for h.
-4
Suppose 3*y - 3 = -12. Let u be (-2)/(-1) - 9/y. Solve u*i = -0*i - 20 for i.
-4
Let h(v) = -11*v**3 + v**2 + v - 1. Let f be h(1). Let j = f + 10. Let q = 9 + -4. Solve j*l + 10 = q*l for l.
2
Let d = -16 + 18. Solve 3*q - d*q = 4 for q.
4
Suppose 4*w + 0*w + z - 1 = 0, -4*z + 4 = w. Let m = 170 + -166. Solve w = -m*u - u + 10 for u.
2
Let t = 0 - -3. Suppose -6*q + 5*q = -3*i - 34, 0 = 3*i + 2*q + 49. Let o = 18 + i. Solve o*j + 7 = -t for j.
-2
Let m be 12/(18/(-6)) + 0 + 9. Solve j = -4*j + m for j.
1
Suppose -13*t + 8 = -11*t. Solve 3*u + u + t = 0 for u.
-1
Let s(w) = w**2 - 8*w + 2. Let p be s(8). Suppose -4*h + 4 = -p*h. Solve -3*r + h = -r for r.
1
Suppose 2*g - 40 = -5*u, 8*u - 3*u - 10 = 4*g. Suppose y + u = 3*y. Solve y*l + 20 = -l for l.
-5
Suppose -4 = -5*u + 3*u. Suppose -42 = -28*z + 21*z. Solve 0 + z = u*f for f.
3
Let j(v) = 2*v**2 + 6*v + 5. Suppose 2*m = -4*d - 12, -5*m - 3*d = d + 24. Let q be j(m). Suppose -3*h + 2*i = -2 - 5, q = 5*h - 2*i. Solve 0 = -h*p + p for p.
0
Suppose 2*q - 3*v = 21 - 9, 5*v + 20 = -3*q. Let l(w) = -w + 9. Let x(m) = m - 9. Let p(g) = -3*l(g) - 4*x(g). Let d be p(0). Solve -3*n + q*n = d for n.
-3
Suppose -3*v + 115 = 2*v. Suppose 72 = -5*j + 207. Suppose v + j = 5*q. Solve 0*l = -2*l - q for l.
-5
Let z(g) = -g**2 + 10*g - 7. Let x be z(9). Solve 0 = -x*t + t + 2 for t.
2
Let y(x) be the third derivative of -2*x**2 + 0 - 1/24*x**4 + 0*x + 0*x**3. Let k be y(-4). Solve -u - k = -2 for u.
-2
Let m be 2/(-10) + (-3)/(-15). Solve -2*l + 0*l - 10 = m for l.
-5
Let q = -1 - -9. Let c = 3 + -2. Let n be c + -2 + 1/1. Solve -4*s + n = -q for s.
2
Let x = -17 + 23. Suppose 0 = -4*y + 