= -3*j - 3*y + 12, o*y - 3 = j + 3. Solve -j = z*p + 4 for p.
-2
Let b(k) = 2*k**3 + 7*k**2 + 8*k + 3. Let h(x) = 3*x**3 + 7*x**2 + 8*x + 2. Let g(v) = 4*b(v) - 3*h(v). Let r be g(8). Solve 0*o = 2*o + r for o.
-3
Suppose 0*b - 6 = 3*b. Let z = 3 - b. Solve -4*f - 3 - z = 0 for f.
-2
Let v(z) = -z**3 + 9*z**2 + 9*z + 10. Let g be v(10). Solve g = 2*r - 4 for r.
2
Let r = 2 - -5. Let o(q) = q**3 - 8*q**2 + 8*q - 5. Suppose -j - a = -4, 4*j + 4*a - 23 = -j. Let n be o(j). Solve 0 = -p - r + n for p.
-5
Suppose 0 = 4*q - 16, 4*l - 3*q = q - 16. Solve -5*a + 3*a - 6 = l for a.
-3
Let t = -17 - -19. Solve -t*l + 6 + 4 = 0 for l.
5
Let g = 7 + -3. Let t = 3 + -1. Suppose 0*x - 50 = -t*x. Solve g*a = -a - x for a.
-5
Let a(q) = 12 - 2*q - 2 - 12. Let k be a(-3). Solve 12 + 8 = k*v for v.
5
Suppose 0 = 4*a - 2*a - 6. Suppose -a*p = 2*p. Suppose -2*u + c + 4 = p, -5*u + 2*c + 8 = -3. Solve x + 10 = u*x for x.
5
Suppose -g + 4 = 0, 4*g + 2 = -c + 23. Suppose -4*t + 64 = 5*q, c*t + q = 5*q + 121. Solve 5*m = t - 1 for m.
4
Suppose -7*j = -6*j. Let y = 6 + j. Solve 3*i - y = -3 for i.
1
Let c be 0 + (-1 - (-19 + 2)). Let g = 0 + 3. Suppose w = -g*w + c. Solve 0*f = -w*f for f.
0
Suppose -5*n = -0*n - 40. Solve n = 7*w - 3*w for w.
2
Suppose 0 = 4*g + f - 6*f - 16, 5*g - 4*f = 29. Solve -5*a - g = 6 for a.
-3
Suppose -5 = -3*b + 4. Suppose -5*f - h = -20, 3*h - 7*h = b*f - 12. Solve 2*s - f = 6*s for s.
-1
Let o = 57 - 29. Suppose -2*f + 5*r + o = 2*r, -4*f = 4*r - 16. Solve 12 + f = -4*g for g.
-5
Suppose 5*b - b - 32 = 0. Suppose a - 5*a = -b. Solve 2*h + 8 = -a*h for h.
-2
Let v = 12 + -6. Let h = v + -3. Solve h*q = -3 - 6 for q.
-3
Suppose 0 = 3*x - 6 - 15. Solve 0 = 2*k + x + 3 for k.
-5
Let h(s) = -s**3 - 6*s**2 - 7*s + 2. Let i be h(-5). Solve i = -4*a + a for a.
-4
Let q(g) = 9*g**2 + g - 2. Let i be q(2). Suppose -n = -5*n - i. Let d be 177/9 + (-3)/n. Solve 3*b - d = -b for b.
5
Suppose -4*i + 10 = i. Suppose -27 = -5*d - 3*n, 0*n + 20 = 4*d + i*n. Solve 0 = u - d for u.
3
Let x(g) = g**3 - 8*g**2 + 9*g - 12. Let v be x(7). Suppose -5*n + 3*n - 8 = 0. Let j = -3 - n. Solve -v*c + j = -c for c.
1
Suppose -2*y + 3 = 15. Let l be y/(-18) + (-47)/(-3). Suppose -r = g - 4, -4*r + g + l = -g. Solve 3 = r*w - 9 for w.
3
Let n be 0*14/(-7)*2/4. Solve -1 = -n*o - o for o.
1
Let i(y) = -y**3 - 8*y**2. Let g be i(-8). Solve g = 4*b - 0*b - 16 for b.
4
Suppose -2*q = -5*k - 4, -k - 5*q + 10 = -0*q. Suppose 20*d = 24*d - 16. Solve i + 3*i - d = k for i.
1
Let g = 20 - 10. Let b = 11 - g. Solve -p = b + 1 for p.
-2
Let t be (-18)/9*(-6)/4. Suppose t*b - 6 = -0. Solve r + b = 3 for r.
1
Let a be 1 + (-2 - 0) + 3. Suppose -2*h = 3*c - a*c - 3, -h = 2*c. Let d be (-18)/(-2) + c*1. Solve -3*q + 25 = -d*q for q.
-5
Let a(t) = t**2 + 6*t + 2. Let o be a(-7). Let v be o - ((1 - -5) + -3). Suppose -y - 7 = -5*c + 3*c, -4*c + 11 = -3*y. Solve 0 = y*z - v*z + 15 for z.
5
Let k(x) = -x**2 - 3*x + 2. Let g be k(-2). Suppose -g*n + 4*f = -16, f + f = -n + 7. Solve 0 = 4*a - 15 - n for a.
5
Let x(b) = b**2 - 11*b + 13. Let y be x(10). Let c be (3 - 2)*y*3. Solve c - 29 = 4*i for i.
-5
Let h(t) = -t + 4. Let x be h(0). Solve -x*n + 5*n = -2 for n.
-2
Let d(i) = -3*i**2 + 35*i + 17. Let t be d(12). Solve -13 = -t*s - 3 for s.
2
Suppose -4*l + l = 4*o + 4, 5*l - 32 = 3*o. Let a be (l + 0)*(-15)/(-12). Let j(b) = b**3 + 3*b**2 + b + 3. Let u be j(-3). Solve u*v = -v + a for v.
5
Let v(s) be the third derivative of s**5/60 + s**4/8 - 7*s**3/6 - s**2. Let q be v(-5). Solve n = q*n for n.
0
Let b(f) = f**3 - 4*f**2 + 2*f - 2. Let y be b(4). Let v be 21/(-35) - y/(-10). Suppose 3*a = -5*m + a + 8, v = 3*m + 4*a - 16. Solve -p = 1 - m for p.
-1
Let k = -39 - -48. Solve -t - 2*t = -k for t.
3
Let g be 1 - (-5 - -1) - (-13 - -11). Solve 0 = 5*h + g + 3 for h.
-2
Suppose j - 5*c + 9 = -2*c, -5*c = -20. Let a be j/2 + 3/(-6). Let s = 3 + a. Solve 0*u = s*u for u.
0
Suppose 3*c + 2*c = -5. Let k(j) = -j**3 + j**2 + 2*j + 1. Let d be k(c). Let b be d - -2 - -1 - -1. Solve 0*q = -b*q + 10 for q.
2
Suppose d - 5 = -0*d. Let v(q) = 11*q**2 + 11*q + 68. Let w(f) = -4*f**2 - 4*f - 23. Let u(y) = 3*v(y) + 8*w(y). Let x be u(0). Solve 0*g - x = d*g for g.
-4
Let r(k) = 2*k**2 + 4*k + 3. Let h be r(-2). Let l be (3 - 0)/(-1) + 3. Suppose -w + h = 2, l = -3*d - 2*w + 5. Solve g + 0 = -d for g.
-1
Let j = 12 + -8. Let x be -2 + 2 + -1 + j. Suppose x*l = -2*c - 0*l, 3*l + 6 = 0. Solve -c*y = -0*y for y.
0
Suppose 2*o + 3*x - 25 = 0, -3*o + 4*o + 4*x = 20. Suppose -4*l + o = -2*l. Let g = 1 + 1. Solve l = -g*k - 2 for k.
-3
Let m(h) = h**3 - 21*h**2 + 18*h + 44. Let b be m(20). Let t be (15 - 2) + 2 + -1. Solve -b + t = 2*i for i.
5
Let t(n) = 2*n + 2*n - 4*n**3 - 3*n. Let j be t(-1). Suppose 0 = -i - 0 + 4. Solve j*g = g - i for g.
-2
Suppose 3*o = -15, 2*f = -4*o - 7 - 3. Suppose c = -f + 10. Solve c*g - 11 - 9 = 0 for g.
4
Let a = 1 - 0. Suppose -4*m + 5 = -3. Let u = 15 + -4. Solve -m*h = a - u for h.
5
Let b(x) = -x - 5. Let r be b(-7). Let j(t) be the second derivative of t**4/12 + 13*t**3/6 + 7*t**2 - 3*t. Let s be j(-12). Solve -s*a = -0*a - r for a.
1
Suppose -6*q + 11 = -5*q - 2*z, 0 = 4*q + 2*z - 44. Let u be 6/(-4)*(-13 + q). Solve -u*l + l = 0 for l.
0
Let z = -15 + 5. Let l = 14 + z. Suppose 2*d - 12 - 6 = 0. Solve d - 25 = l*q for q.
-4
Let t(c) = -c**2 + 6*c - 3. Let v be t(5). Solve -v*x + 1 = 9 for x.
-4
Suppose 0 = 3*o - 0*k + k - 37, -5*o - 3*k = -63. Let a = o + 6. Let j be 24/(-40) + a/5. Solve j*r - 5*r = 8 for r.
-4
Let p be (-2)/((5/2)/(-5)). Suppose 5*g + a = 16, -5*a = 3*g - 10*a - p. Suppose k - 31 = 3*y, 3*k - 2*y - 90 = -2*k. Solve g*f + k = 1 for f.
-5
Let y(h) = 3*h**3 - 1. Let c(s) = -s**2 - 9*s - 7. Let i be c(-8). Let w be y(i). Solve -w*l - 12 = -6*l for l.
3
Suppose -3 = -4*d + 9. Let h(q) = q**2 + 3*q + 4. Let k be h(4). Suppose d*f = -f + k. Solve f = 4*c - 0 for c.
2
Suppose -5*w + 22 = 7. Let o be ((-4)/10)/((-2)/10). Solve -l - w = o for l.
-5
Let t be 6/(-9) + (-2)/(-3). Suppose 0 = 2*r - 3*r - 2*m + 14, 5*r - 4*m = t. Solve 0 - r = -2*p for p.
2
Let t = 2 + 1. Suppose 1 - 2 = -c. Let v = c + t. Solve -x + v = -1 for x.
5
Suppose 4*b - 2 = 3*b. Suppose -4*g + 12 = 2*d, -b*g - 2*d - d = -10. Solve 0 = 2*p + g*p for p.
0
Suppose 3 = -2*m - 7. Let v be m/(10/(-6)) - -1. Solve v*r = 8 - 28 for r.
-5
Let x = -23 + 25. Let k = 15 - 8. Suppose 0*d = -5*d - 2*w + 10, 0 = 3*w - 15. Solve x*p - k*p = d for p.
0
Suppose -3*k - 4*j + 8 + 1 = 0, k - 10 = j. Let b be 4 - k - (1 + -6). Solve b*p = -2*p + 4 for p.
1
Let b be (2 - 2 - 0) + -2. Let h(m) = m**2 - 2. Let t be h(b). Let q be 135/18 - 3/2. Solve q*i + 12 = t*i for i.
-3
Suppose 3*w - 1 = 5. Suppose r - 6 = 2*x + 5*r, w*x - 21 = 5*r. Solve 3*b = 4*b - x for b.
3
Let m = 12 + -9. Suppose -m*d = o - 5, 0 = o + 8*d - 3*d - 7. Suppose 5*u = 4*v + 3, 2*v - 18 = -o*u - 2*u. Solve j + 2*j = u for j.
1
Let n(l) = -l**3 - 8*l**2 + 7*l - 13. Let c be n(-9). Solve c*k + 10 = -10 for k.
-4
Let n be (4 - (-72)/(-15))*-5. Solve 2*o = n*o - 10 for o.
5
Let l = -70 + 72. Solve l*j - 3*j = 0 for j.
0
Let v be (-4 - 0)/(2/(-4)). Let o = -6 + v. Solve -4*k - 6 = o for k.
-2
Let n = -5 + 1. Let t(z) = -z**3 - 5*z**2 - 4*z. Let p be t(n). Solve -8 = -4*s - p*s for s.
2
Let g(j) = -j**3 + 4*j**2 + 4*j - 5. Let x be g(4). Let i(a) = -a**3 + 4*a**2 - 4*a + 2. Let z be i(3). Let y = z + x. Solve -4*m + y = -2*m for m.
5
Let w = 74 + -74. Solve -3*y + 9 - 24 = w for y.
-5
Let r(q) = 15*q + 3. Let i(d) = d - 1. Let u(t) = -4*i(t) - r(t). Let j(f) = -f + 5. Let p be j(6). Let o be u(p). Solve k + o = -4*k for k.
-4
Suppose 2*l = l + 8. Suppose 3 = 4*m + k, -2*k = 4*m - 3*m + l. Solve -m + 1 = z for z.
-1
Let n(h) be the third derivative of h**6/120 - h**5/30 + h**4/12 - h**3/6 + h**2. Let g be n(2). Suppose 0 = 3*u - 6*u + 6. Solve u*q - g*q = 0 for q.
0
Let t be -5*8/(-20) - -4. Solve -z - t = z for z.
-3
Let t = -5 + 8. Let j be t/9*(0 + 12). Suppose -w = -j*u + 4*w, -2*u = 3*w. Solve 0 = -u*o + 3*o for o.
0
Suppose -2*g = g. Suppose -a + g = -4. Solve 2*y + a = 2 for y.
-1
Let y be (-180)/(-48) + (-2)/(-8). Let x(b) = 21*b**2 - 2*b + 1. Let p be x(1). Solve a + y*a - p = 0 for a.
4
Suppose 2*q = -q + 6. Solve 3*t + 5 = q*t for t.
-5