 = d**3 + 5*d**2 + 3*d + 1. Let n be l(-3). Solve 4*t - 6 = n for t.
4
Suppose -3*s = -2*s - 3. Suppose -v - 12 = -s*v. Solve -5*x - 31 = -v for x.
-5
Let x(f) = -f**3 - 6*f**2 + 4*f + 7. Let q be x(-6). Let t = 38 + q. Suppose 0 = -4*d - g + t, 0*g + g = 3*d - 14. Solve -1 = -4*w + d*w for w.
-1
Let s(q) = q**2 - 3*q - 4. Let n be s(5). Suppose 0*f - 3*f = 12. Let j = f + n. Solve -j*p - p = 0 for p.
0
Suppose -m - 3*m = 5*v - 15, -3*m - 3*v = -12. Solve -4*i + 7 + m = 0 for i.
3
Let c be (8 - 77/11) + 7 + 1. Solve -10*s + c*s = 0 for s.
0
Let q = -4 - 1. Let z be (4/4)/((-1)/q). Solve 3*m - 6 = z*m for m.
-3
Let z(k) = -4*k - k + 8 - 5 + 4*k. Let r be z(0). Solve 6 = 3*g + r for g.
1
Suppose x - 3*x + 10 = 3*l, 2*l - 3*x = -2. Solve l*h - 4 = 4 for h.
4
Suppose -2*n - 29 = -5*j, -3*j + 0*n + 11 = 2*n. Let t(c) = -c**3 - c**2 - 2*c - 2. Let l be t(-2). Suppose 24 = -4*u + l*u. Solve 0 = -j*v + 2*v - u for v.
-4
Let f = -13 - -16. Solve -l = -f*l - 4 for l.
-2
Suppose -4*k - 20 = 5*x, -4*x = -k - 2*x + 8. Solve k = 4*o - 2*o for o.
0
Let b(z) = z**3 - 6*z**2 + 1. Let u be b(6). Suppose 11 = 3*h - u. Suppose 3*k - 24 = h*r, 5 + 7 = -4*r. Solve -k*c - 5 = c for c.
-1
Let m(j) = j**2 + 3*j - 6. Let x be m(6). Suppose -x = -0*o - 3*o. Suppose -5*b - n + 21 = 0, 6 = b + 4*n - 2. Solve b*l - 4 - o = 0 for l.
5
Suppose -5*k - 5*c + 40 = 0, 8*k - 40 = 3*k - 2*c. Let n(o) = -o + 11. Let z be n(k). Solve -z*w - 3 = -6 for w.
1
Let f be 15*(-1)/9*-3. Suppose 0 = 2*q + 4*b, -3*q + f*b = -5*q. Solve 0 = -s - q*s + 4 for s.
4
Let x be (-5 + -2)*32/(-56). Let u(y) = -y**2 + 9*y - 9. Let g be u(6). Solve g*p = x*p - 20 for p.
-4
Suppose -3*c = -5*c. Let q(i) = i**3 + i - 6. Let l be q(c). Let p(k) = k + 8. Let g be p(l). Solve 0*v + 4 = g*v for v.
2
Suppose -12 = -3*w, -3*i + 3*w = -i. Solve 0 = 2*k - i - 0 for k.
3
Suppose -4*f - 5*d + 55 = 0, f + 3*d = 1 + 4. Let b be 2 + -4 - (0 - 7). Let l = b - 1. Solve 0 = h + l*h + f for h.
-4
Suppose 0 = -c - 0*c - 3*x - 8, -8 = c - x. Let z = 14 + c. Suppose -g = 5*d - 13, 5*d + 2*g - 5*g = 1. Solve 0*a = d*a + z for a.
-3
Suppose -2 = 2*n - 2. Let b(m) = m + 1. Let j be b(1). Solve n*h + j*h - 6 = 0 for h.
3
Let i(n) = -n**2 + 8*n + 20. Let t be i(10). Solve 4 = 4*k - t*k for k.
1
Suppose -2*t - 2*l + 6 = 0, 3*t + 4 + 8 = 4*l. Solve t = 5*x - 2*x + 3 for x.
-1
Suppose -t = -11 + 3. Let f = 8 - t. Solve f*j = -5*j for j.
0
Let n(p) = 5*p - 2. Let o be n(2). Suppose -2*x + o = -8. Solve 2*h - x = -0*h for h.
4
Suppose -3*f = 2*f - 6*f. Let k be 2/8 - (-30)/8. Let a = 9 - k. Solve f = 2*c + 3*c - a for c.
1
Let p(s) = s + 5. Let i be p(0). Let u = 8 - i. Suppose -4*n = 5*k - 18, -k + 0 = -u*n + 4. Solve k*v - 6*v = 16 for v.
-4
Let h = -36 + 67. Solve h - 11 = 5*o for o.
4
Let x(m) = m**3 + m**2 + 1. Let t be x(0). Solve -3*u - t + 7 = 0 for u.
2
Suppose 85*y = 84*y + 3. Solve 9 = 3*h - y for h.
4
Let f be 1/1 + -7 + 1. Let u = 8 + f. Suppose 5*m + 3*w = 37, m - 5*w = 2*m - 25. Solve -28 + u = m*d for d.
-5
Suppose -3*w = -4*w + 2, 0 = -2*t + 2*w + 2. Let b be 272/(-51)*6/(-8). Solve -b = s - t for s.
-1
Let y be 14/2 + -3*(-20)/(-15). Solve -i = 2*i + y for i.
-1
Let v be ((2 - -1) + -1)*-4. Let g be (v/(-3))/(3/9). Let p(h) = -h + 9. Let c be p(g). Solve -4*x + 5*x + c = 0 for x.
-1
Suppose 4*j + 4*t = -4, 0*t = 4*j - 4*t - 28. Let g(y) = y**3 + 4*y**2 - y + 2. Let a(m) = -m + 1. Let z be a(5). Let w be g(z). Solve -j*v + 9 = -w*v for v.
-3
Suppose 5*g + 4*v - 15 = -v, v - 5 = -2*g. Solve g*u + 10 = -0*u for u.
-5
Let j = 16 + -16. Let t = -24 - -40. Solve -4*p + t + 0 = j for p.
4
Let g be (-6)/2 + (-8)/(-2). Let i = g + 2. Solve 0 = 3*l - i for l.
1
Let t = 43 - 11. Suppose 0 = -4*p - 4*f + t, -p + 4*p - 3*f = 6. Suppose -p*j - 40 = 3*d - 8*d, -d = -2*j - 13. Solve -2*k - d = -1 for k.
-1
Suppose 4*q - b = 15, 3*q = -2*q - 3*b + 6. Solve 6 + 3 = -q*m for m.
-3
Suppose 6 = 6*l - 4*l. Solve -l = -j - 0 for j.
3
Suppose -4*q - q = -15. Suppose -73 = -4*c - q*j, 0 = 2*c - 2*j + j - 29. Solve -7*b - c = -3*b for b.
-4
Let z(a) = a**3 + a**2 - a - 2. Let v be z(2). Solve 3*h = h - v for h.
-4
Suppose 0 - 2 = -4*r + 2*o, 5*o - 7 = 4*r. Solve -1 - r = -m for m.
3
Suppose -2*d + 7*d = 0. Suppose d*f + 5*f = 15. Let y = 1 + f. Solve -3 + y = j for j.
1
Suppose -2 + 1 = -s. Let m be (s + 3)/((-2)/(-4)). Solve m = -q - q for q.
-4
Let z = 34 - 34. Suppose -c - 17 = 5*h, 3*c - 2*h + 3*h = 5. Solve -c*r + z = -9 for r.
3
Let i(y) = -2*y. Let s be i(-1). Let f be (s - (-8)/(-2)) + 7. Solve 3*x = -2*x - f for x.
-1
Suppose -3*w - 4 = -5*w. Suppose 0*d + d + 6 = -4*p, 0 = w*d - 3*p - 10. Let y = -9 + 15. Solve -y*a = -d*a for a.
0
Let y be -3*(5 + 2 - 0). Let x = y + 41. Solve j - 6*j = x for j.
-4
Suppose -5*c + 4*c = -3. Suppose -3*b - w = -0*w - 13, -2*w = c*b - 14. Suppose 0 = -b*u - 4*s + 82 + 34, 5*u - 4*s - 118 = 0. Solve -u = -5*n - 1 for n.
5
Let j = 2 + -5. Let w = 15 - 10. Let g = j + w. Solve -5*x = g - 7 for x.
1
Let a(v) = 2*v + v**2 - 5*v + 0*v + 4*v. Let m be a(1). Solve g = m*g for g.
0
Suppose -1 = -v + 1. Suppose -3*t + 3*z = -24, v*t + 20 = 4*t - 3*z. Suppose t*w = -w. Solve 2*c - 8 = -w*c for c.
4
Let w = 2 + 2. Suppose -3*n + w = -5. Solve s + 0*s = -n for s.
-3
Let n be 4*(9/(-6) + 2). Solve 0 = -n*x - 2 - 0 for x.
-1
Let c be 1/(-2*1/(-6)). Let j(g) = -6*g - 15. Let u be j(-4). Let k(x) = x + 24. Let p be k(0). Solve u = -c*l + p for l.
5
Let n be 63/15 + 4/(-20). Let l be 3 + 2/(n + -6). Solve -l*o = -2 - 4 for o.
3
Let k(c) = c**3 + 7*c**2 + 2*c + 14. Let f be k(-7). Solve v + 0*v + 3 = f for v.
-3
Let p = -17 - -19. Let x = -2 + 5. Solve 5 = p*y + x for y.
1
Let a = 41 - 39. Solve -a*g = 2*g - 4 for g.
1
Let m = 60 - 57. Solve -5*d + m = -7 for d.
2
Suppose -i + 0*i = -4. Let k = 0 + i. Suppose 7*u - 12 = k*u. Solve u*f - 5*f - 1 = 0 for f.
-1
Let h = 8 + -22. Let u = -29 - -8. Let b = h - u. Solve 0 = -2*w + 1 + b for w.
4
Suppose -2*v + 2 = a, 3*a = v - a - 19. Suppose 3*n = 3 + 3. Suppose n*l - 7*l = 0. Solve l = -h + v*h - 6 for h.
3
Let p be (-270)/(-50) + 6/(-15). Solve p*z - 10 = -0*z for z.
2
Let f(q) = q**3 + 2*q**2 + 4*q + 5. Let v be f(-4). Let p = v - -63. Solve 0 = 4*x - 0*x - p for x.
5
Suppose -3*c + 5*c = 2. Let x = -10 - -12. Solve x*v + 5 = c for v.
-2
Let t = -4 + 6. Suppose 24 = -m + t*m. Suppose 3*q - m = x - 5*x, 3*x - 18 = -4*q. Solve w - x = -2 for w.
4
Let k be (-9)/(-6)*-2*1. Suppose -5*z + 1 = 4*p - 15, 5*p - 20 = 4*z. Let m = k + p. Solve 3 = 2*g + m for g.
1
Let p(t) = -t + 8. Let s be p(-17). Solve -s + 5 = -4*o for o.
5
Let r(i) = -2*i - 16. Let y be r(-10). Let w(b) = b**2 + 10. Let f be w(0). Solve -f = -y*a - 26 for a.
-4
Let l be (-5 - -4 - -6)*1. Solve -2*o + 1 = -l for o.
3
Let r be -2*(-3)/(-18)*-3. Solve -5*f + 4 + r = 0 for f.
1
Suppose 0 = -5*o + 2*o + 3. Suppose o = -y + 3. Suppose -v = -2*v - g + 3, 0 = y*v - 2*g + 6. Solve q + v*q - 3 = 0 for q.
3
Let p be (10/(-6))/((-5)/15). Suppose -p*l + 4*y = -y - 15, -4*y - 8 = 0. Solve -4*a + 9 = l for a.
2
Suppose 2*m + 5 = 3*m. Solve -m*s = 43 - 18 for s.
-5
Let p(s) be the second derivative of -s**3/3 - 2*s**2 - 2*s. Let n be p(-3). Solve -3*o + 11 = n for o.
3
Let a be 3 + 5/(5/2). Let i be (0 - 1)*(-4 - a). Solve -t = 2*t - i for t.
3
Let k = -17 + 19. Solve -h - k - 3 = 0 for h.
-5
Let w be -6*(8/12 + -1). Suppose 0 = 3*q - 2*r - 9, 0 = -5*q + w*r - 6 + 21. Solve -4*k + 9 = -q for k.
3
Suppose n - 1 = 1. Solve n*s - 5*s = -3 for s.
1
Let d = -25 - -40. Suppose -3*t + d = 3*z, 0 = 2*z - 5*t + 6 + 12. Suppose -2*q = -6, 3*s + 10 = 4*s + 3*q. Solve -p - z = s for p.
-2
Let i(s) = 5*s**2 + 1. Let x be i(-1). Let p be 3 - (4 - (-3 + x)). Solve -3*q = p*q + 20 for q.
-4
Let d = -74 - -77. Solve d*p - 4 = -1 for p.
1
Suppose 5*t - 37 - 78 = 0. Solve 8 - t = 3*z for z.
-5
Suppose -3*d = q + 5, 3 = -5*d + 4*q + 23. Suppose -1 = -p + 1. Solve -i = -d*i + p for i.
-2
Suppose -4*m - 1 + 3 = -2*i, -m - 3*i - 3 = 0. Solve -w - 2 + 7 = m for w.
5
Suppose -5*x - 12 - 14 = -3*i, 4 = -4*i - 3*x. Solve i*d = d + 4 for d.
4
Let a(g) = g**3 + 5*g**2 + 2. Let h = -18 - -13. Let u be a(h). Solve -u*d = -5*d for d.
0
Let a(h) = h**3 + 3*h**2 + 4. Let p be a(-3). Suppose p*w - 3*w = 2. Solve -4 = w*g - g for g.
-4
Suppose -6*f + 7 = f.