ve r*b = -b for b.
0
Let a(v) = v**3 + 20*v**2 + 36*v + 6. Let q be a(-18). Solve -q = 4*k + 6 for k.
-3
Let n(p) = p + 2. Let w be n(0). Suppose w*z = 8*z. Solve -3*d + 4 + 8 = z for d.
4
Suppose -5*g + 4*r = -29 - 2, -2*g + 3*r + 18 = 0. Let k be (8 - 7)/(2/(-18)). Let w be (15/k)/(1/(-9)). Solve -g*m - w = -0*m for m.
-5
Suppose 0 = -3*m + m + 48. Suppose 3*d = 3*h + 30, -2*d - d = 4*h + 68. Let p = h + m. Solve 0 = 4*k + 26 - p for k.
-4
Suppose 3*q + m = -2*m + 18, -q = -m - 6. Solve -q*c = -4*c + 6 for c.
-3
Let i be -3*(3 - (-12)/(-3)). Solve i = 2*j - 3 for j.
3
Suppose -2*h = -3*o - 8 - 14, 2*h + 6 = -4*o. Solve -h = u - 0*u for u.
-5
Let k(v) = -v - 2. Suppose -1 = -d - w, 3*d - 2*d + 3*w - 7 = 0. Let f be k(d). Suppose -3*x + 3 = -m - f, 4*x = 4*m + 4. Solve m = -c + 5 - 1 for c.
4
Let f(z) = 2*z**2 - 2*z - 2. Let y be f(2). Let a be y/2 + -1 + 5. Suppose 4*n = 7*n - 30. Solve a*g + 35 = n for g.
-5
Let d = -4 + 7. Suppose -4*b - b = 3*q + 20, -5*q = d*b + 12. Solve z + q*z = -4 for z.
-4
Suppose 0*y = -2*y. Solve y*c - c = 0 for c.
0
Suppose s = -13*s + 28. Suppose -4*z = -3 - 1. Solve -z = q - s*q for q.
1
Let r = 4 + -2. Let n be (-1 + -2)/(r - 3). Solve 15 + 0 = -n*y for y.
-5
Suppose 3*t + 3 - 30 = 0. Solve 4*m - m = -t for m.
-3
Suppose 0 = 3*s + 2*s + 25. Let v(y) = -y**2 - 9*y - 10. Let p be v(s). Solve 2*z - p = -3*z for z.
2
Let v = 206 - 138. Let f be (-4)/(-18) - v/(-18). Let h(b) = -b**3 + b**2 + b + 2. Let i be h(2). Solve i = y - 0 - f for y.
4
Suppose 4*y + m + m - 14 = 0, 0 = 3*y - m - 18. Let w be (-3)/(0 + 1)*-1. Let h = y - w. Solve 0 = -0*j - h*j + 10 for j.
5
Let h = -3 + 3. Suppose 5*j + 7 - 62 = h. Let n = -6 + j. Solve -11 = n*r + 9 for r.
-4
Let v(n) = n**3 + 6*n**2 + 5*n + 2. Let b = 7 + -12. Let w be v(b). Solve 10 = w*s + 3*s for s.
2
Let t = 67 - 63. Solve -2*b - 6 = -t*b for b.
3
Suppose -3*n + 5*r = -25, 2*n - 10 = 2*r - 0. Let b be 9 + 3 + -2 + n. Solve -q - b = 4*q for q.
-2
Let n be ((-15)/(-10))/(1/2). Suppose -n - 7 = -2*x. Solve x*y = y + 16 for y.
4
Let k = 63 + -59. Solve -k*g = 8 - 0 for g.
-2
Suppose -5*u + 4 = -3*x - 1, 5*u - 5 = -x. Solve -3*d - 2*d + 15 = x for d.
3
Let p(u) = u**2 + 5*u + 4. Let k be p(-6). Solve -3*c = k + 5 for c.
-5
Let c(u) = u**2 + 2*u + 1. Let y be c(2). Solve -z = 2*z - y for z.
3
Let t = 16 + -9. Suppose -15 = -2*k - 2*k + 5*g, -5*g = 3*k + 15. Suppose -4 = c - 4*n, 2 = -k*n + n. Solve c*j - t = 5 for j.
3
Let a be (-10)/(-4)*(-4)/(-1). Suppose 2*z = 7*z - a. Solve 0 = -z*s + s for s.
0
Let t(w) = w**3 - 2*w**2 - 8*w + 2. Let m be t(4). Solve 0 = -c + m*c for c.
0
Let k = -5 + 7. Let g = 7 - k. Solve 5 = g*z + 10 for z.
-1
Suppose 2*w - 2*j = 26, -w - 4*j + 11 = -7*j. Solve -4*c - 6 = w for c.
-5
Let p be (-93)/9 + 2/(-3). Let o be 1*p/(-2)*2. Solve -3*n + 1 = -o for n.
4
Suppose -2*s - 5*b + 42 = 0, 4 - 2 = b. Suppose -4*u + u = 9. Let k be 4/2 + -2 - u. Solve k*g = -g + s for g.
4
Let l = -6 + 16. Let w(r) = r + 6. Let k be w(l). Solve -p + k = -5*p for p.
-4
Let c(p) = -4*p - p**3 - 6 + 5*p + 8*p**2 + 1. Let h be c(8). Suppose h*a = a. Solve -2*m + 6 = -a*m for m.
3
Let q be 5*9*(-5)/(-75). Solve 0 = q*c - 6*c for c.
0
Let m = 20 + -13. Solve -2*a = -m*a - 20 for a.
-4
Suppose 3*r = 41 + 7. Solve -4*q - r = -0 for q.
-4
Let u = -9 - -11. Solve -u*j = -j for j.
0
Suppose 2*v + v = 24. Let w be 18/(-5) + (-2)/5. Let b = w + v. Solve -3*n = -b*n - 2 for n.
-2
Suppose 4*b = -0 + 8. Let w = b - 4. Let j = w + 5. Solve -2*a + j = -3 for a.
3
Suppose r + 2*k = 6*r - 22, -5*r + 21 = -k. Suppose 4*m - 2*m = -r. Let p be 2/12 + m/12. Solve p = -q - 4*q for q.
0
Let k = -6 + 3. Let i(r) = -2*r. Let o be i(k). Suppose o = -5*s + 21. Solve 6*w + 15 = s*w for w.
-5
Let v be (-2)/15 - (-56)/(-30). Let q be -2 + (-4)/v + 0. Solve -n + q*n = 1 for n.
-1
Let b(z) = -z**3 + 6*z**2 + z - 2. Let w be b(6). Let k = -9 + 8. Let q be 0/2 - (-2 + k). Solve -5 - q = w*m for m.
-2
Let s(y) = y**2 + 4*y + 2. Let i be s(-5). Suppose -q + 1 = -0. Let n = -8 - -12. Solve -n*c + i = -q for c.
2
Let y(v) = -v**3 + v**2 + 3*v + 1. Let q be y(-2). Let u(t) = -t + 2*t + 10 - 2*t. Let o be u(q). Solve s - o*s - 8 = 0 for s.
-4
Let b(v) be the second derivative of v**5/20 - 5*v**4/12 - 2*v**3/3 - 4*v**2 - v. Let y be b(6). Suppose -m = y*m. Solve m = 5*f + 9 + 6 for f.
-3
Let w(f) = f**2 + 14*f + 15. Let t = -10 + -3. Let p be w(t). Solve l - p = -0*l for l.
2
Let s be (-6)/12 - (-7)/2. Suppose g - 3 = -7, -s*g = 5*h + 22. Let x be (0 - -4) + h/1. Solve -2*l = x*l - 20 for l.
5
Suppose 2*g = -0*g - 2. Let u be (((-2)/g)/(-1))/(-1). Suppose 3*a + l + u*l = 30, 3*l - 5 = 2*a. Solve a*c + 0 = -5 for c.
-1
Suppose 5*a + 2 = 17. Solve t - 10 = a*t for t.
-5
Let n be 10/(-8)*(-2*5 + 2). Solve -4 + n = 2*z for z.
3
Suppose -q + 6*q - 25 = 0. Suppose -4*d + 1 = -3. Solve -q + d = w for w.
-4
Let b(o) = -o**3 + 4*o**2 + 7*o - 6. Let l = -2 - -7. Let n be b(l). Solve 2*y - 2 = n for y.
3
Let g = -2 + 4. Solve 0 = -0*b - b - g for b.
-2
Suppose -45 = -2*b - 21. Solve 0 = -2*u + 5*u + b for u.
-4
Suppose -1 + 16 = 5*c. Let p be c*-26*(-1)/6. Let k(n) = -n**2 - 7*n + 20. Let w be k(-9). Solve p = -5*h - w for h.
-3
Suppose 0 = -i + i + 2*i. Solve i = -5*q + 25 for q.
5
Let r(x) = x - 6. Let z be r(7). Solve 2*y - z + 5 = 0 for y.
-2
Suppose 0*f + 5*f = 0. Suppose 5*g = 3*c - 454, -2*g + g + 5*c - 104 = f. Let h = -52 - g. Solve -5*d - 12 = -h for d.
5
Let s(l) = -l**3 + 8*l**2 - 9*l + 4. Let p be s(6). Suppose -p = 5*d + 23. Let j be (-2)/9 + (-2)/d. Solve -x = -j*x for x.
0
Let q(u) be the third derivative of -2/3*u**4 + 3*u**2 + 0 - 1/6*u**3 + 0*u. Let n be q(-1). Solve 3*j - 8*j = n for j.
-3
Let g = 5 - 3. Solve 0 = -g*x - 2*x - 4 for x.
-1
Let w(i) = i**2 - 5*i - 10. Let d be w(7). Suppose 0 = -4*l + 5*l - 4. Let b = -3 + 11. Solve l = d*m - b for m.
3
Let f(i) = 2*i**2 + 17*i. Let a be f(-9). Solve 2*v + a = 1 for v.
-4
Let t(n) = 3*n + 2*n - 7*n - 7. Let a be t(-5). Suppose 2*q + 2 = 3*z + 8, -a*z - 9 = -3*q. Solve -q*b = -b for b.
0
Let c be 1/(-4)*3*24. Let o = -3 - c. Solve 4*t = -t - o for t.
-3
Let m be 167/11 - 2/11. Suppose 0 + m = -5*p, 0 = 3*i - 3*p - 18. Suppose r = i*r - 16. Solve -15 = r*c - 3*c for c.
-3
Suppose 4*a - 1 = 2*t + 13, -a + 4*t + 14 = 0. Suppose 5*d = z + a*z - 2, -2*d = -z. Solve -b + z = b for b.
2
Suppose 5*m + 4 + 6 = 0, -2*d + 10 = -5*m. Let f(a) = a + 1. Let j be f(3). Suppose 0 = 4*n + 4*k - 12, -n + 2*k - 6 = j*n. Solve n = -4*u - d*u + 16 for u.
4
Suppose -2*y + 2*q + 2 = 0, -3*q + 1 = 2*y - 6*q. Solve -3*c - y = -5 for c.
1
Let y be 2*-3*3/(-2)*1. Solve 0 = o - y + 4 for o.
5
Let v be (-11 - -11)/(0 - -1). Suppose v = 3*y - 21 + 9. Solve -11 - y = 5*n for n.
-3
Suppose -5*g + 15 = -0*g. Suppose 11 - g = 2*t. Suppose -t*b = i - 57, 1 - 16 = 5*i. Solve 0*s + 5*s - b = 0 for s.
3
Suppose -4*w = 4*g - 24, 0 = -3*g + 5*w + 30 + 4. Let j be g/1 - (7 + -4). Solve j = -2*l + l for l.
-5
Let r = 17 + -15. Solve 18 = -5*f - r for f.
-4
Let k be (-40)/15*6/(-4). Suppose 3*f - 4*p = 26, k*f = -p - 0*p + 22. Suppose -4*z = -20, -5*z = i - f*i - 5. Solve 0 = -i*s + 20 - 0 for s.
5
Suppose 0 = 4*t + 5*h - 95, -3*h = 4*t - h - 98. Solve 5*z + t = -0*z for z.
-5
Let c(k) = -k**3 + 6*k**2 + 3*k - 7. Let u be c(5). Let h = u - 21. Let z be ((-2)/(-4))/((-4)/(-24)). Solve 0 = z*s - 6*s - h for s.
-4
Let x be (30/(-25))/((-3)/10). Let v = x + -2. Solve -2*c + v = -2 for c.
2
Let i = -13 - -18. Let j be (-1)/6 - i/(-30). Solve j*u = 4*u for u.
0
Let a be 4/((-4)/(-10)*10). Solve -1 = -h + a for h.
2
Let x be 100/6 - (1 + 1/(-3)). Solve -5*p = -p - x for p.
4
Let m(y) = -y**3 - 6*y**2 - 4*y - 1. Let c be m(-5). Let q be -4*((-9)/c + -2). Solve 5 = q*n + 1 for n.
2
Let w(x) = x**3 - x**2 + x - 4. Let p be w(2). Solve -p*t - 16 = 2*t for t.
-4
Suppose -4*p = -3*p - 3. Suppose 0 = -p*n - 5 + 17. Suppose -g + 23 = 2*t + n*g, -g = -3. Solve -t*j - 4 + 8 = 0 for j.
1
Suppose k + 5 = -2*q + 16, 0 = 2*k + 3*q - 19. Suppose k*c - 33 = -13. Let o be (-14)/(-4) + 2/4. Solve -o*l + 12 = c for l.
2
Let t = -170 - -172. Let m be 1*(0 - -1 - -3). Suppose -3*y + 0*h + h + 13 = 0, 0 = -m*y + 3*h + 14. Solve -t*g + y = -g for g.
5
Suppose 2*n = -15 + 23. Solve n*w = -w for w.
0
Suppose -t = -15 - 6. Sup