or x.
2
Let a be (-21)/(-14)*52/6. Solve -2*z - a = -5 for z.
-4
Suppose -2*r = -2*k + 32, 5*k - 6*k + 3*r + 14 = 0. Solve -k + 27 = -2*p for p.
-5
Let o(y) = -12*y - 115. Let z be o(-10). Solve g = -z*g for g.
0
Let v(g) = 4*g**2 + 14*g. Let y be v(-4). Solve 3*d - y*d = -25 for d.
5
Suppose -4*c - 5*n + 66 = 0, 5 + 1 = c - 4*n. Solve -c = -5*v - 4 for v.
2
Let n = -46 + 48. Let s = 0 + 4. Suppose 3*z = -s*m + 5, z + 4*m = n*m + 1. Solve c = 1 + z for c.
4
Let p = -268 - -136. Let f be p/28 - 8/28. Let u be f + 12 + (1 - 5). Solve -u*k + 0*k - 6 = 0 for k.
-2
Let u = 55 + -19. Suppose 5*h = 2*b - 19, 0 = -2*b - 3*b + h + u. Solve -2*c + 3 = -b for c.
5
Let s(k) = k + 9. Suppose -v + 21 = -4*v. Let p be s(v). Let f = -1 + p. Solve -g + 0*g = f for g.
-1
Suppose -3*g + x - 2 = -0*x, -5*g + 2*x - 4 = 0. Let n = g + 5. Suppose -n = v - p - p, 3*p - 9 = 0. Solve 3*y + v = 2*y for y.
-1
Suppose 6 = -2*j + 4*j + 2*d, 3 = j + 5*d. Suppose -40 = j*l - 11*l. Solve -l*s - 23 - 2 = 0 for s.
-5
Suppose -19 - 35 = -9*l. Solve -l*f + 8*f + 6 = 0 for f.
-3
Let v(q) = q**3 + q**2 + 4. Let m be v(0). Suppose -3*f + m*f = 10. Suppose -z + 2*s + 13 = 0, 5*s = -0*s - 25. Solve z*p = 5*p - f for p.
5
Let n(b) = b**2 + 2*b + 26. Let y be n(-7). Let v = -41 + y. Solve 0 = 3*a - v + 5 for a.
5
Let x be 0 + 155/(-3) + 6/9. Let i = x - -54. Solve 4 = -i*v - 2 for v.
-2
Suppose 3*m = -2*m + 65. Let y = m - 22. Let f = -8 - y. Solve -f = -5*o - 21 for o.
-4
Let c(m) be the third derivative of -m**5/60 - m**4/3 + 3*m**2 + 2. Let s(r) = 4*r. Let d be s(-2). Let t be c(d). Solve p + t*p = 0 for p.
0
Suppose y = -5*y + 24. Suppose y + 13 = b + i, -3*b + 55 = 5*i. Solve -m + 6*m = b for m.
3
Let q = -717 + 723. Solve -39 = 11*k - q for k.
-3
Suppose -3*b = 4*h - 11, -3*b + 5 = -h - 26. Let k(v) = 3*v**2 - 14*v. Let i be k(6). Solve i - b = 5*q for q.
3
Let x(h) = 32 - 60 + 19 - 2*h + 37. Let k be x(13). Let y be (-3)/(-2)*(-8)/(-6). Solve -k*g = -2 - y for g.
2
Suppose 3*c - 3 = 0, -324 + 1879 = 4*q - 5*c. Let a be (-6)/8 + q/40. Solve 4*y = y - a for y.
-3
Suppose 0 = 5*m + 2*l - 8, -3*m = -0*l - 3*l - 9. Let u(h) = -h**2 + 19*h + 92. Let w be u(23). Solve -j - m = -w for j.
-2
Let q(u) = -u**2 - 25*u - 94. Let k be q(-20). Solve -5*f + 6 - k = 0 for f.
0
Let d = -1 - -6. Let h be 6/10 + 27/d. Let o be (h/(-9))/((-1)/6). Solve 3*r = o*r + 3 for r.
-3
Let x = 364 + -351. Let c = 0 - -5. Solve c - x = -2*z for z.
4
Let f be 3/(-8) + (-691)/(-8). Let u = 91 - f. Solve 0*z - 15 = u*z for z.
-3
Let z(v) be the first derivative of v**4/4 + v**3 - 5*v**2/2 - 4*v + 1. Let x be z(-4). Let a(k) = 5*k + 36. Let o be a(-6). Solve -3*m - o = -x for m.
-2
Suppose 0 = 8*z - 2*z - 36. Solve -z*t + 12 = -10*t for t.
-3
Let l be ((-136)/32)/(-17) + (-573)/(-12). Solve 43*d - 15 = l*d for d.
-3
Let y = 773 - 710. Solve -64*f = -y*f + 1 for f.
-1
Let n(w) = -w**3 - 11*w**2 - 10*w + 5. Let s be n(-10). Suppose 0 = -s*y + b + 43, 5*y + 5*b - 39 = 8*b. Solve -y*x = -14*x - 10 for x.
-2
Let g = 239 + -237. Solve 2*v - 12 = -g*v for v.
3
Let b(x) = x**3 - 2*x**2 + 1. Let c be b(2). Suppose -c = -k + 1. Suppose -2*t = -2*d - 0*d + k, 2*d = 2. Solve 4 = h - t*h for h.
4
Suppose -11 = 6*s - 35. Solve 5*l - s = -24 for l.
-4
Suppose -11*g = 369 - 1766. Let y = g + -120. Solve 0 = -y*l + 3*l + 4 for l.
1
Let o be 10*(-8)/(-80) - (2 - 1). Solve o*v - 9 = -9*v for v.
1
Suppose 0 = y + 3*f - 5, -3*f + 47 = 5*y - 26. Suppose -19 + 53 = y*a. Solve a*j = -3 + 1 for j.
-1
Let p(w) = 11*w + 2 - 4 + w**2 - 1 - 8. Let b be p(-12). Solve b = -5*f - 4 for f.
-1
Suppose 0*h + 4 = 2*h. Suppose n = 4*b - 10, -4*b + 4 = n - 2. Solve b*p + 2 + h = 0 for p.
-2
Suppose 6*g - 3 = 15. Suppose 4 = -2*o + g*o. Solve -u = -0 + o for u.
-4
Let y be 2/(-4) - (-252)/56. Solve 5*a + 2 = y*a for a.
-2
Let x(r) = -6*r + 28. Let n be x(3). Solve -n*m = -2 - 8 for m.
1
Let b = 859 + -859. Solve b*u + 4*u = -8 for u.
-2
Suppose 14*c - 144 = -2*c. Solve -16 = -c*f + 5*f for f.
4
Suppose 0 = 10*y - 4*y - 24. Suppose -y*t = -22 + 2. Suppose 0*n + 3*p - 16 = -2*n, -2*n + t*p = 16. Solve 1 = -r - n for r.
-3
Suppose -46 = -5*t + o - 35, t + o - 1 = 0. Suppose -3*k = -h - 4 - 5, 5*h - 2*k = 20. Solve t*v = 2 + h for v.
4
Suppose -11 + 31 = 4*p. Suppose p*w = -w - 2*w. Solve -2*f - 2 - 4 = w for f.
-3
Suppose -310 + 318 = c. Solve c*x + 3 = -5 for x.
-1
Let g(w) = -w**3 - 4*w**2 - 2*w - 16. Let h be g(-5). Let b = -15 + h. Solve -m + 1 = -b for m.
5
Let b(t) = t**2 + t - 1. Let a be b(-5). Let c = a + -13. Suppose g = -y, -6*g + 20 = -3*g - 2*y. Solve -g*n = -n + c for n.
-2
Suppose 0 = 5*v + 3*h - 92, 9*h = -4*v + 4*h + 84. Solve 0 = -4*z - v - 0 for z.
-4
Suppose 38*l + 15*l = 0. Solve l = -0*i + 5*i - 20 for i.
4
Suppose -2*d = v - 16, 5*d + 23 = -5*v + 103. Solve -12*p - 16 = -v*p for p.
4
Let d = 213 - 207. Solve d*m = 4*m for m.
0
Let i = 0 - -4. Let t(b) = -3*b**2 - b - 2. Let j(z) = 7*z**2 + z + 5. Let h(d) = -4*j(d) - 9*t(d). Let x be h(i). Solve -x*l - 2 + 0 = 0 for l.
-1
Suppose -n = -q + 12, 4*q - 5*n - 40 = 6. Suppose 0 = -v - 6*v + 196. Let j be ((1/(-6))/(-1))/(v/168). Solve q + j = 5*o for o.
3
Let u be 135/7 + 9/((-126)/4). Solve u*v = 17*v + 8 for v.
4
Let m(o) = -2*o**2 - 33*o - 15. Let w be m(-15). Suppose -7*g + w = -g. Solve g*t + 0*t = 15 for t.
3
Suppose -x - 21 = -25. Solve 14 - 26 = -x*c for c.
3
Suppose -2*u - 14 = -7*u - 4*l, u - 3 = -l. Suppose 3*v = s + 41, 3*s + u = 5*s. Suppose 4*x - 12 - 12 = 0. Solve -4*i - v = -x for i.
-2
Let w(y) = 6*y**3 + 6*y**2 + 7*y + 1. Let s be w(-2). Let g = 40 + s. Solve 20 = 2*v + g*v for v.
4
Suppose -10 = -9*n + 53. Solve 0*z - n*z = -7 for z.
1
Let p(b) = b**2 - 6*b + 3. Let g be p(6). Suppose 7*a - 5*a = 5*h - 96, 0 = -2*h + 2*a + 42. Solve -3 = g*k - h for k.
5
Let b be -2 + (-1)/((-1)/18). Suppose 4*k = 3*p - 38, 3*k + 7 = 1. Suppose -6*t = -4*t, -2*w = 5*t - p. Solve -w*g - b = -g for g.
-4
Suppose 4*o + o - 5*l + 5 = 0, -2*l = o - 2. Suppose -5 = 5*t + 5*u + 5, 3*t + 2*u + 1 = o. Solve 2*r + t*r = 0 for r.
0
Let i(h) = -3*h**2 + 55*h + 39. Let w be i(19). Solve -g + 3 = -w for g.
4
Suppose -8*s - 5 = -9*s. Solve -4*c = c + s for c.
-1
Suppose -y + 3*y - 4 = 0. Let x be 2 + -5 + (-3 - -26). Solve 3*d + y*d + x = 0 for d.
-4
Suppose 105 = -5*v - 2*h, 0*v = 5*v - 5*h + 140. Let n = v - -25. Solve 3*o - 4 = n*o for o.
4
Suppose -18 + 4 = -i + 4*c, -c - 26 = -4*i. Let p = 9 + -5. Let j be 17/2 + 2/p. Solve -3*d - j - i = 0 for d.
-5
Let c(q) = -q**3 + 29*q**2 + 24*q + 228. Let d be c(30). Solve d = -36*y + 12*y for y.
-2
Let w be 9/(-126)*-2 - (-41)/7. Solve -w*v + 0*v - 30 = 0 for v.
-5
Let d = -178 + 182. Solve d*i = 8 - 28 for i.
-5
Suppose 2*l + 4*c = -12, -3*c - 4 = -4*l + 16. Suppose -l*x = -x. Suppose x = 3*z - 4*z. Solve v = -z*v for v.
0
Let h be ((-1)/(-4))/((-14)/(-168)). Suppose 0 = -g + h*g - 4. Solve 0*l = -g*l - 10 for l.
-5
Let l(q) = -13*q + 265. Let c be l(15). Solve -68 = -w - c for w.
-2
Let o = -11 - -14. Solve o + 12 = -5*b for b.
-3
Let f = -24 + 86. Suppose 0 = -60*v + f*v - 8. Solve u = -1 - v for u.
-5
Let u = 287 - 284. Solve -u = -5*y + 7 for y.
2
Suppose -496 + 80 = -8*w. Let q = 58 - w. Solve -4 = q*u - 2*u for u.
-1
Suppose 3*g - 32 = 289. Let o = -104 + g. Solve w + o = -0 for w.
-3
Let r(o) = -o**2 - 6*o + 1. Let d be (-5 - -2)*(-8 - 3). Suppose -2*p + d = 39. Let y be r(p). Solve -4*j - j + y = 0 for j.
2
Suppose -6*j = 6*j - 288. Solve -3*l = 3*l - j for l.
4
Suppose 2*w + 20 + 0 = 3*y, 2*w = -2*y. Suppose -10 - 6 = -y*q. Solve q*p = 2*p for p.
0
Suppose 12 + 33 = -9*p. Let s = 4 - p. Solve k - s = -2*k for k.
3
Let r be 6/4*(-2 - -4). Suppose 1 = -5*v - 2*x, 3*x + 2*x + 18 = r*v. Solve -v = t - 0*t for t.
-1
Let r be (2 - -7 - 8)*(9 - 0). Solve 0 = -5*c - r - 16 for c.
-5
Let b = -87 + 103. Solve -2*n - 6 = -b for n.
5
Suppose 3*r + 207 = 5*h - 102, -3*h + 2*r + 186 = 0. Let g = h - 60. Solve g = -3*m - 2*m + 10 for m.
2
Suppose -2*w = 5*h - 15, 4*w - 5*h = -0*w - 15. Suppose w = 3*o - 4*o + 8. Let a(v) = v**3 + 7*v**2 - 5*v - 11. Let s be a(-7). Solve 4*z - s = -o for z.
4
Let p be 3/(84/(-8)) - 30/(-7). Suppose 0 = p*l - 3 - 9. Solve 0*z = -l*z + 12 for z.
4
Let h(l) = -l**2 + 4*l + 8. Let n be h(4). Let x(v) = -v**3 + 10*v**2 - 15*v + 