Suppose 3*w + 3 + 12 = 3*j, -2*j + 4*w + 20 = 0. Solve 0 = -r - j*r for r.
0
Let p(u) = -u**3 + 8*u**2 + 9*u + 3. Let a be p(9). Suppose a*y = 6 - 0. Solve -y*v + 5 = -v for v.
5
Suppose 5*m = -0*m. Suppose -3*c + 38 + 10 = 0. Solve m = l - 5*l - c for l.
-4
Let u(c) = 1. Let z(h) = 5*h - 1. Let f(s) = -4*u(s) - z(s). Let k be f(-3). Solve 3*d - k = -0*d for d.
4
Let n be 0/(-2) - (4 - 22). Suppose -3*w - n = -0*w. Let f(o) = o + 8. Let c be f(w). Solve 6*v = c*v for v.
0
Suppose 2*o + 16 = o + 4*j, 5*o - 3*j = -12. Solve 2*z + o*z = 8 for z.
4
Let j(i) = i**2 - 3*i - 5. Let n be j(6). Let y = -5 + n. Let f = -4 + y. Solve -u - 7 = -f for u.
-3
Let u(b) = b**2 - 17*b + 16. Let k be u(16). Solve 0 = -4*p - k + 8 for p.
2
Suppose 2*i - 27 = -19. Solve 5*b + 5 = i*b for b.
-5
Let m(l) = l**2 - 3*l - 2. Let i be m(4). Suppose 0 = -i*v + 5 + 1. Solve 20 = z + v*z for z.
5
Let c(b) = -b + 4. Let w be c(0). Suppose -9*q = -11*q + w. Solve -3*h = -2*h + q for h.
-2
Let x(d) = d**3 - 2*d**2 + 2*d. Let a = -4 + 7. Let s be x(a). Solve 8*o + s = 3*o for o.
-3
Suppose 5*l + 10 = 5*h, 3*l = -2*h - 1 - 5. Suppose 7*m - 3*m - 16 = h. Let r be m/(6/((-3)/(-1))). Solve 0 = 2*o + r + 2 for o.
-2
Suppose 39*s = 47*s - 96. Solve 3*d = 6*d - s for d.
4
Suppose -6*l + 0*l + 12 = 0. Solve 0 = -3*a + l*a + 2 for a.
2
Let g(a) = a**3 + a**2 + a + 2. Let p be g(0). Suppose 40 = 4*m + 4*z, -p*m - 2*m + 40 = -2*z. Solve -6*q = -q - m for q.
2
Let q(w) be the first derivative of w**2/2 + 4*w - 1. Let u be q(-3). Solve t - u = -5 for t.
-4
Let s(g) = g**3 + g**2 + 31. Let t be s(0). Let w = t - 16. Solve n = -4*n - w for n.
-3
Suppose -6*a - 20 = -a. Let u = -1 - a. Suppose 2*c - 2 = -0. Solve -u*g + c = -11 for g.
4
Let h be -2 + -1 + (-5 - -16). Solve -u = u - h for u.
4
Let c be 3 + -2 + (-1 - -5). Let i = 8 - c. Suppose -15 = i*j - 8*j. Solve j*n - n = 8 for n.
4
Let v = -2 - -4. Let u(r) = 2*r**2 - 4*r + 3. Let k be u(v). Solve -k*q = 19 - 4 for q.
-5
Let t be 1*(-9)/(-7) + 2/(-7). Solve 0*b = b + t for b.
-1
Suppose 6*g - 4*g - 4 = 0. Solve g*r = 3*r for r.
0
Let q be ((-20)/(-15))/(2/(-12)). Let x be q/(-6)*(-12)/(-8). Solve j + 1 = -x for j.
-3
Suppose -5*l - b + 8 = -16, -3*l = -4*b + 4. Suppose -l*u - 10 = u. Let o be (-9)/(-1 + u)*3. Solve -3*k = -o - 3 for k.
4
Suppose -5*m - 14 = -2*g - 0*m, -2*g + 8 = -2*m. Let h(j) = -1 - g - j - 1. Let y be h(-12). Solve -3*i + i = -y for i.
4
Let w(f) = 3*f - 28. Let y be w(10). Solve 1 + y = 3*o for o.
1
Suppose -12 = -21*j + 24*j. Let m be 0 - (0 + 0 + -4). Let q = j + m. Solve q = a + 2*a + 6 for a.
-2
Let w(q) = -q**2 + 12*q - 3. Let c be w(13). Let b be c/(-8) + 0 + 0. Solve 0 = b*i - 3*i - 3 for i.
-3
Let n be (-13)/5 + 2/(-5). Let y = 0 - n. Solve -1 = -c - y for c.
-2
Suppose 2*u = 7 + 7. Let i be 3 - u - -6*1. Solve i*n = n - 4 for n.
-4
Let g be 2062/6 - (-6)/(-9). Suppose -g - 169 = -4*y. Let f be 2/3 - y/(-6). Solve -5*t - f = -2 for t.
-4
Let a(y) = y + 1. Let k be a(3). Let s(l) = -5*l - 14. Let p be s(-4). Suppose 0 = p*n - 12. Solve n*j = k*j for j.
0
Let g(l) = -l**3 - 5*l**2 + 5*l + 4. Let k be g(-6). Suppose 0 = 3*q - 3*o - 9, 4*q + k = -4*o + 46. Solve -q*d = -3*d - 9 for d.
3
Suppose -5*l = -9 - 11. Let s(h) = -8*h**3 - h**2 - h. Let m be s(-1). Solve 4 = l*y - m for y.
3
Suppose -3*c + 5*c - 15 = -5*p, 50 = 2*c - 2*p. Solve -5*i + 5 - c = 0 for i.
-3
Let w(q) be the third derivative of q**5/60 + 5*q**4/24 - q**3/6 - q**2. Let u be w(-6). Solve -u = -2*l - 1 for l.
2
Let y(v) = -8*v**2 + v + 1. Let l be y(-1). Let h = l + 11. Solve -h*b - b = -16 for b.
4
Suppose -3*n = n - 40. Let m = -7 + n. Solve 3*y + m = 6 for y.
1
Let o(i) = -i**3 + 4*i**2 + 6*i - 3. Let n be o(5). Suppose -37 = -n*b - 5. Let d = -1 + 2. Solve 0 = -5*r - d + b for r.
3
Suppose -k - 7 = -4*w, 2*w - 9 = -4*k - 1. Let l = 11 + k. Solve 0 = -4*z + z + l for z.
4
Let v = 7 + -4. Solve 14 + 1 = v*w for w.
5
Let i be (5 - -7)*2/8. Suppose p = 3*p, -p = i*y - 12. Solve -z = -y*z for z.
0
Suppose c + 8 = 3*o + 2*c, 20 = 4*o - c. Solve -3 = o*a + 5 for a.
-2
Let h = 20 + -23. Let a be 6*(h + (-10)/(-3)). Solve u = -u + a for u.
1
Let y(w) = w**3 - 5*w**2 - 5*w - 1. Let b be y(6). Let k = 8 - b. Let d = -1 + 1. Solve d - 6 = -k*m for m.
2
Let f = 26 + -41. Let v = 21 + f. Solve a - 10 = v*a for a.
-2
Let m = -5 - -5. Suppose -2*s + 4*n - 4 - 4 = 0, -n + 2 = m. Suppose -3*y + 2 + 7 = s. Solve 0 = -y*c - 14 - 1 for c.
-5
Let h = -1 + 4. Suppose 0 = -5*k - 2*a + 15, 4*k + 6 = -0*a + 2*a. Let x = -6 - -10. Solve h*v - x*v = -k for v.
1
Let l(s) = -3*s + 2. Let h be l(-1). Solve -h*z - 4 - 11 = 0 for z.
-3
Suppose -b - 4 = -6. Let v = 14 + -10. Solve b*o = v - 6 for o.
-1
Suppose 0*r + 2*r + 16 = o, -2*o - 2*r = -14. Solve 3*f - 1 = -o for f.
-3
Suppose 2*t = -2*t - 5*b - 28, 4*b + 24 = -4*t. Let q be (4 + -2)/(t/(-1)). Suppose -d + q = -4*a, 9*d - 7*d - 2 = 4*a. Solve a*o = o for o.
0
Suppose 3*o = 5*n - 9, 4*n = -3*o - 0*o + 18. Solve -o*l - 3 = -l for l.
-3
Let v be (-2)/5 - (-132)/(-20). Let h = -7 - v. Suppose -4*p = -h*p - 60. Solve -4*c = c - p for c.
3
Let a be (-1 + 1)*(-6)/(-12). Solve 0 = -a*q - 3*q for q.
0
Let t = -48 + 67. Let w = t + -17. Solve u = w + 2 for u.
4
Suppose -5*m = -5 - 5. Suppose 5*o = m*w + 6, -4*o = -4*w - 0*w - 12. Solve -2*c + o*c = 6 for c.
-3
Let a(m) = -2*m**2 + 2*m + 3 - 5*m**3 + 0*m**3 + 4*m**3 + 3*m. Let z be a(-3). Let k = z - -3. Solve k = -5*x + 1 - 21 for x.
-4
Let u(h) = -h**3 + 7*h**2 - 4*h - 6. Let p be u(6). Let g(b) = -b + 6. Let f be g(p). Let y be 0*(-3)/(-6) + (0 - -1). Solve -v - y + f = 0 for v.
-1
Let a(s) = -3*s**2 - 35*s + 13. Let i be a(-12). Let k(j) be the second derivative of j**4/2 + j**3/6 + j. Let z be k(i). Solve -2*q + 17 - z = 0 for q.
5
Let t(m) = m**2 + 6*m. Let i be t(-6). Let r(l) be the third derivative of -l**4/24 - 7*l**3/6 - 6*l**2. Let k be r(-8). Solve i = -5*b - k - 4 for b.
-1
Let f = -5 - -7. Suppose 0 = -f*u - u + 15. Suppose 4*z - 4*t + 4 = 0, 1 = -z + 4*t - 3. Solve z*k + 10 = u*k for k.
2
Let g(m) be the first derivative of -m**2/2 - 2*m + 1. Let y be g(-2). Solve 3*q + 0*q + 15 = y for q.
-5
Let b(m) = m**3 + 6*m**2 - 8*m - 5. Let s be b(-7). Let r be (2 + -2)/(s*1). Suppose -d + 2 = 2*x, r*x + 1 = -x. Solve -10 = g + d*g for g.
-2
Suppose 0 = -4*u + j - 0*j + 17, 3*u = -3*j + 9. Solve 0*p = -4*p - u for p.
-1
Let k be 3/(6/(-4))*-2. Suppose 2*p - k = -0*p. Solve -4*y = -14 + p for y.
3
Let v be 4*-1 + (-2)/(-1). Let w(p) = -p + 1. Let z be w(v). Solve -n + 2*n = -z for n.
-3
Let p(o) = 5*o**2 - o. Suppose 3*y = 5*y - 2. Let t be p(y). Solve 0 = t*u - 6 - 10 for u.
4
Suppose 0 = -2*s + 5*d - 37, 3*s + d = -4*d + 7. Let w be (-16)/s + (-2)/3. Suppose 0 = w*u + u. Solve u = -0*z + 3*z + 3 for z.
-1
Suppose 3*o + 31 = 5*j - o, 4 = -o. Let p = -10 - -7. Let k = j + p. Solve k*t = t for t.
0
Let k(r) be the second derivative of r**4/12 + 7*r**3/6 - r. Let p be k(-7). Let m(j) = j**2 - j + 3. Let x be m(p). Solve 0 = x*c + 2*c - 5 for c.
1
Let u = 34 - 28. Let f(x) = -2*x - 4. Let n be 4/10 - 17/5. Let w be f(n). Solve s = -w*s - u for s.
-2
Suppose 2 = -i + 5*f, -i - 2 = -2*i + f. Suppose 2*z + 2*d - 8 = -0*d, -16 = -4*z - 2*d. Let k be z/(-16) - 17/(-4). Solve i*n = k - 1 for n.
1
Suppose -l + 8 + 2 = 0. Let i be (-2 + -2 + 2)/(-2). Let x be 2*(-2 + i + 3). Solve x*r + l = -2 for r.
-3
Let c = 5 - -4. Let q be 39/c - (-2)/3. Suppose -2*h = q*z - 6, -4*h - 2 = 2*z - h. Solve 0 = p - 2*p - z for p.
-2
Let h(i) be the second derivative of -i**3/3 - 3*i**2 + 5*i. Let a be h(-3). Solve -2*o - 5 + 13 = a for o.
4
Suppose -10 = -2*j + j. Solve 2*x + 0*x - j = 0 for x.
5
Let f = -37 + 41. Solve -f = 2*d + 6 for d.
-5
Suppose 2*t + 2 = 4*t. Let c = 4 - t. Solve c*k = 2*k for k.
0
Let o(r) = r + 8. Let s = -148 + 64. Let y be s/15 + 4/(-10). Let h be o(y). Solve -2 = -h*p + 2 for p.
2
Let o(w) = -4*w - 61. Let z be o(-16). Solve 3 - 9 = z*v for v.
-2
Suppose -1 = 4*d - 13. Suppose 0*f + 4 = -f, 0 = -i - d*f + 6. Suppose 3*j - i = 5*x - 2*x, 10 = j - 3*x. Solve -4 = j*o - 5*o for o.
4
Suppose 1 + 2 = -3*u. Let v be (u + -3)*(-6)/8. Solve 4*a = -23 + v for a.
-5
Suppose -20 = s - 6*s - f, 4*s - 5*f = 45. Solve 2*w = s*w - 15 for w.
5
Let m(k) = -k**2 + 9*k - 7. Let t be m(6