w + 6 = j for w.
2
Let a be 4 + (15/(-5) + 3)/1. Solve 0 = -5*u + 21 + a for u.
5
Let p(t) = -2*t**2 - 85*t - 31. Let g be p(-42). Solve -5*x + g - 36 = 0 for x.
-5
Let s(f) = -f**3 - 14*f**2 - 15*f + 2. Let m be s(-13). Let d = m + -25. Let p(o) = 4*o - 1. Let n be p(2). Solve -n*z - 8 = -d*z for z.
-2
Let b = 3 - 2. Let d = b - -4. Solve -d*l = -l for l.
0
Let r(q) = -2*q. Let u be r(-2). Let o(p) = -u + 3*p**2 + 2*p + 0 + 3. Let f be o(1). Solve -f*b = -0*b - 8 for b.
2
Let q be (-7)/(-3) + (51/9 - 6). Solve -f + q = 4 for f.
-2
Let d be 57/12 - (-8)/32. Suppose 0 = -d*z + 7*z - 6. Solve z + 3 = 3*a for a.
2
Let j(s) be the third derivative of -s**4/24 - s**3/3 - 5*s**2. Let n be j(-7). Solve 3*d - n = 4*d for d.
-5
Let v = -850 + 852. Solve -9*k = -v + 29 for k.
-3
Let d = 9 + -1. Suppose 4*i - d*i + 16 = 0. Suppose -2*m + 2 = i*j - 2, 4*j = 5*m - 10. Solve 2*c - 8 = -m for c.
3
Let x(l) = l + 8. Suppose 4*j + 8 + 16 = 0. Let m be x(j). Let i(k) = -k**3 + 2*k**2. Let c be i(m). Solve p + c = -4 for p.
-4
Suppose 2*y - 7*s + 5*s = 24, 0 = 2*y - 5*s - 30. Let p = -38 - -38. Solve -4*n - n - y = p for n.
-2
Let p(a) be the second derivative of a**3/6 + 13*a**2/2 + 3*a + 3. Let u be p(2). Solve 0 = -t + 6*t - u for t.
3
Suppose 21 = v - 4*h, -5*v + 89 = h - 5*h. Solve v*f = 22*f - 15 for f.
3
Suppose s = -2*s + 6. Let u = 6 - s. Let o = -222 - -222. Solve u*q + 0*q - 12 = o for q.
3
Let j(f) be the second derivative of 0 + 5/2*f**2 - f - 1/20*f**5 - 3/4*f**4 + 0*f**3. Let n be j(-9). Solve 0 = 2*s + n + 5 for s.
-5
Let p(u) = -u**2 - 10*u - 8. Let o be p(-9). Suppose s = 4*w - 5, o = -w + 3. Solve 0*r = s*r for r.
0
Let y be 5757/202 + 1/((-2)/3). Solve y - 31 = 4*p for p.
-1
Suppose -3*l + 2 + 4 = 0. Suppose -2*f = -4*o + 14, -3*f + l*o = -1 + 6. Let d be 0 - f - (-20 - -5). Solve -4*t - d - 6 = 0 for t.
-5
Suppose -5*c = 2*v - 17, 5*c = 4*v - 2*v - 7. Let g be v/(-14) - 60/(-140). Solve 4*i - i + 6 = g for i.
-2
Suppose 10*m = 41 + 429. Solve 14*w - m = -5 for w.
3
Suppose 61*p - 9885 = 4328. Solve p*c + 4 = 229*c for c.
-1
Let i(a) be the third derivative of -a**5/60 + 7*a**4/24 - 2*a**3/3 + 3*a**2. Let k = -13 + 19. Let v be i(k). Solve -v - 1 = -3*x for x.
1
Let s be 5/(-2)*78/(-15). Suppose 0 = -4*k - s + 29. Solve 2*a + k = -0 for a.
-2
Suppose -2*q = -0*q + 5*q. Suppose 0 = 5*i - 10, -4*x + 2*i + 16 = -q*x. Solve -4*p - x = -1 for p.
-1
Let h = 4 + -1. Suppose -22 = h*g - d + 6*d, -2*g + 3*d + 17 = 0. Solve -g = 5*u - 16 for u.
3
Suppose 19 = -4*q + c, -3*q - 33 = c + 2*c. Let z be (-9)/q + 15/(-6). Let o be (1 + -1)*z/2. Solve -p = -o*p - 4 for p.
4
Suppose 4*c = 7*c - l + 20, -16 = 3*c + l. Let d = c - -21. Solve d = 4*u - 5 for u.
5
Let z(v) = v**3 - v - 1. Let p be z(-1). Let g be p*((-6)/(-3))/(-1). Solve -4 - g = -2*x for x.
3
Let z be (-7)/((-35)/(-20)) - 2. Let r(a) = -a**2 - 3*a + 23. Let n be r(z). Solve -4*o - o = n for o.
-1
Let p(c) = c**3 - 13*c**2 + 22*c + 7. Let r be p(10). Let y = r + 73. Solve y = -0*i - 3*i for i.
0
Let f(w) = -w**2 + 14*w - 29. Suppose 4*u - q = 8*u - 40, 5*u = -q + 51. Let t be f(u). Solve r - t*r = 6 for r.
-2
Let b = -44 + 46. Solve 4*g + b = 3*g for g.
-2
Let j = -597 + 605. Solve 14 = 6*m + j for m.
1
Let t be 268/12 - (-2)/3. Solve -4*y + 3 = t for y.
-5
Let q(c) = -2*c + 10. Let a be q(6). Let m(f) = f**2 + 2*f. Let v be m(a). Suppose v = 19*p - 14*p - 15. Solve p*d = -0*d + 12 for d.
4
Let q(i) = i**2 + 13*i - 10. Let p be q(-14). Suppose -8 = -p*v - 4, 0 = 4*g + 2*v - 14. Solve -1 - 5 = g*y for y.
-2
Let a(q) = q**2 + 6*q + 9. Let k be a(-4). Let h be 0/(k*(0 + -1)). Solve 5*f + h = 5 for f.
1
Suppose -3*y + 64 = -5*c, 0 = 2*y + c + 1 - 22. Solve -y*w + 17*w + 8 = 0 for w.
-2
Let t = 4 + 3. Suppose 4*z - 2*z - 4 = 0. Suppose -1 = 2*h + z*m + 1, 2*h + 8 = -4*m. Solve h*k = -t + 3 for k.
-2
Let p = -4 - -56. Let z = p + -49. Solve 0 = o + z - 1 for o.
-2
Let q(v) = 2*v + 4. Let g be q(-9). Let k = g + 14. Let i be -2 - 14/(k - 2). Solve -2*d = -3*d + i for d.
5
Let i = -4 - -17. Let v be (i + 1 + -4)*(-3)/(-6). Solve -v*g + 5 = -0 for g.
1
Let f(s) = -s + 8. Let n be f(5). Suppose 2*d - 11 = -n*m, -3*m + 0*d = d - 13. Suppose 4*p + o = 37, -4*p = -m*o - 55 - 0. Solve 3*h = h + p for h.
5
Let s(x) = x - 5. Let b be s(5). Suppose 3*n - 3 - 3 = 0. Let v be (b/(0 + 3))/n. Solve -2 = 2*m - v for m.
-1
Let o be ((-1)/2)/((-1)/6). Suppose 4*c + 8 = 4*u, -2*u = -0*u - c + 1. Let t be 4 - 6 - (u - o). Solve 2*k = 4*k - t for k.
2
Let h = 117 - 111. Suppose 3*j + h*f - f + 25 = 0, 0 = -5*j + 3*f + 15. Solve 0 = -o - j*o + 3 for o.
3
Let t be (12/10)/((-1388)/140 + 10). Solve 0 = -t*g - 5 - 23 for g.
-2
Suppose -i = 0, -5*p + 5*i - 18 = -98. Suppose -n = -5*n + p. Solve 0*g = n*g - 20 for g.
5
Suppose -3 = -9*r + 6*r. Solve -r + 9 = 2*s for s.
4
Let o(y) = y**2 - 33. Let s be o(6). Solve s*c + 2 + 10 = 0 for c.
-4
Let g = 9 + 9. Suppose 0 = -3*s - g - 30. Let w = s + 31. Solve -b = -4*b - w for b.
-5
Suppose -3*j - 2*p = 2*p - 24, 0 = -2*p. Solve -7 = -i + j*i for i.
-1
Let i = -15 - -19. Solve -i*m + 11*m = -28 for m.
-4
Let j(l) = -l**3 + 13*l**2 - 12*l - 3. Let r be j(12). Let d = -3 - r. Let z(b) = -b**2 + b + 5. Let f be z(d). Solve -5*p + 20 = -f for p.
5
Let a be (-6)/7 + (11250/(-70))/(-9). Solve -15 = -a*l + 22*l for l.
-3
Suppose 0 = -16*c - 14 - 82. Let h(s) = -2*s - 9. Let r be h(c). Solve 0 = 4*t + 7 - r for t.
-1
Suppose 183*k - 171*k - 24 = 0. Solve 0 = 3*v + k*v for v.
0
Suppose -25 = -5*z + 6*r - 3*r, -z + 3*r + 17 = 0. Suppose 3*g - 18 = -3*k, -z*k + 2*g = 6*g - 20. Solve -3*u = 10 + k for u.
-4
Suppose -5*v = -15, -9*v + 9 = 3*w - 6*v. Let o(u) = -2*u - 5. Suppose 2*z = 3*b - 1, 2*z = b + 3 - 10. Let a be o(z). Solve 3*h - a*h = w for h.
0
Let l = -26 + 29. Suppose 2*r = -l*f + 17, 2*r = -3*f + 2*f + 11. Suppose -f*d - d - 13 = -v, -3*v = d. Solve a + 1 = -v for a.
-2
Suppose -5*c + 9 + 141 = 0. Let i be c/9*18/12. Solve 3*o - i*o = 0 for o.
0
Let t = 611 + -601. Solve 5 = z + t for z.
-5
Suppose -2*a = 4*g - 2*g - 6, 2*g - 2*a = -14. Let p(v) = 3*v + 6. Let u be p(g). Solve u*t = -t for t.
0
Suppose -u + 3*q = -29, 13*u + 92 = 17*u - 4*q. Suppose -2*r + 20 = 3*w + 2*r, 0 = -3*r - 3. Solve 0 = 3*i + u - w for i.
-4
Suppose 0*q + 8 = q. Let c be 10/8*(1 + 3). Suppose -d + q = c. Solve 2*h - d*h = 0 for h.
0
Let u be (35/((-980)/126))/((-2)/4). Solve -11*c + 14*c = u for c.
3
Suppose -4*n + 5*n - 5 = -i, -4*i + n + 15 = 0. Suppose -1 = 3*k - i*k. Solve -k - 5 = -3*w for w.
2
Let m(a) be the second derivative of -13*a**5/20 + a**4/12 + a**3/6 + a**2/2 + 10*a. Let j be m(-1). Solve -3*c + 5 - j = 0 for c.
-3
Let k = -341 + 356. Suppose -3*o = -4*o + 6. Solve -o*p = -p - k for p.
3
Let o = 116 - 126. Let q = o + 11. Solve -q = 2*u - 11 for u.
5
Let y(w) = w**3 + 25*w**2 - 23*w + 78. Let q be y(-26). Suppose 0*n = 3*n - 15. Solve d = -q - n for d.
-5
Let h = -1357 + 1357. Solve h = -s + 3*s - 6 for s.
3
Let g be -5*1/(-1)*1. Let b = 62 + -42. Let z(q) = 5*q**3 - q + 1. Let h be z(1). Solve h*c - b = -g for c.
3
Let w be (-5)/5 - (-4 + 1). Suppose -12 + 0 = -w*u. Solve -u = -4*d + 2 for d.
2
Suppose 0 = -6*s + s + 5. Let y = -155 + 158. Solve -x = s + y for x.
-4
Let k = -3745 + 3752. Let u be (-76)/(-10) + 2/5. Solve 0 = 3*b - k - u for b.
5
Let f(n) = -n**2 - 6*n - 19. Let d be f(-6). Let l = 24 + d. Solve 0 = -4*u + l - 1 for u.
1
Let c(u) = -u**2 + 57*u - 585. Let l be c(43). Solve -41 = l*i - 7 for i.
-2
Let m(u) = 4*u**2 + 6*u + 1. Let b be m(-2). Let l(d) = 2*d - 4. Let a be l(4). Solve -a*w - w - b = 0 for w.
-1
Suppose 0 = -0*o + 18*o - 72. Solve -2*l = 2*l + o for l.
-1
Let l be -12 + 1480/88 + 4/22. Solve l = -11*a + 10*a for a.
-5
Let p = -142 + 144. Let x be 6/(-21) + 170/7. Suppose -o = o - x. Solve o = -p*m - m for m.
-4
Let d = -287 + 293. Solve -7*a + d = -5*a for a.
3
Let j(x) = x**3 + x**2 - x - 1. Let i(s) = 4*s**3 - 4*s**2 - 12*s + 13. Let r(v) = i(v) - 3*j(v). Let o be r(8). Solve 2*g - o = 2 for g.
5
Suppose y + 4*i = 0, i = -5*y + 2*i + 42. Suppose -y*w = -3*w. Solve -p = -w*p for p.
0
Suppose 4*v - j = 0, -v - 2*j = -11 + 2. Solve -v = -2*d + 3*d for d.
-1
Suppose -2*b + 2*h - 118 = 0, -4 = -h - 2. Let c = b + 59. Solve -w + 2 = -c for w.
4
Suppose 0 = 4*b - 4, 