 x for w.
5
Suppose 8 = -8*v + 80. Suppose 0 = v*g - 17*g + 40. Solve 0 = 4*j + g + 15 for j.
-5
Let h = -21 + 25. Suppose 2*k - 3*k - h*c = 36, -4*k = -3*c + 49. Let p = k - -16. Solve t - 4*t + 9 = p for t.
3
Let y(i) = -4*i + 1 - 14 + 1 - 4. Let s be y(-4). Solve s = -c + 4*c - 3 for c.
1
Let s = 0 - -2. Let g be s*(-2)/(-1) + -2. Suppose 0 = g*k - 0*k - 2. Solve 2*t - k = 1 for t.
1
Let z = -269 - -274. Let i(n) = -4*n**2 + 7*n + 3. Let q(g) = -7*g**2 + 13*g + 6. Let h(p) = 5*i(p) - 3*q(p). Let b be h(z). Solve b*v = -v for v.
0
Suppose 7*o = -12 - 23. Let y(s) = -2*s**3 + 3*s**3 + 7 - 2*s**3 - 4*s - 6*s**2. Let g be y(o). Solve g*p = p - 2 for p.
-2
Let x(o) = 4 - 4 + 2 - 4*o. Let d be x(7). Let m = -1 - d. Solve -m = -5*v - 0*v for v.
5
Let g be (-1)/2*((5 - 5) + 0). Suppose -5*z + 5*s - 15 = g, -3*s + 7 + 2 = 0. Solve z = -p - 2 + 6 for p.
4
Let f(o) = -182*o - 152. Let j be f(-1). Solve 0 = 6*v - j + 12 for v.
3
Let z = -8 + 10. Suppose 20 = k + 4*k. Suppose 5*p - 2*d = 10, 36 = k*p - 0*p + 4*d. Solve 3*b - p = z for b.
2
Suppose 0 = -4*a + 12, -2*a = -4*o + 6*o - 12. Suppose -o*x = 13 - 28. Solve x = -2*r - 1 for r.
-3
Let i(q) = 0 + 5 - 3 - q. Let s be -3 + (-5 - (-20)/4) + 3. Let z be i(s). Solve 5*w - z = 13 for w.
3
Let p(m) be the second derivative of -m**6/720 + m**5/40 - m**4/4 + 4*m. Let y(t) be the third derivative of p(t). Let v be y(-3). Solve v*i - i = -10 for i.
-2
Let i = -866 - -874. Solve 12*l + i = 32 for l.
2
Suppose 12 = -3*c, -3*i + 16 = -c - 6. Suppose 5*o - s + 2 = -2*s, 3*s = -4*o - i. Let x = -9 + 12. Solve 5*y - 2*y + x = o for y.
-1
Let v(m) be the second derivative of m**4/12 + 2*m**3/3 + m**2 - 8*m. Let y be v(-5). Let k be 0*(y/2 + -3). Solve c = -k + 2 for c.
2
Let p be (-6)/(-15)*((-62)/(-4) - 3). Solve 7*t - p*t + 4 = 0 for t.
-2
Let w = -359 + 359. Solve w = -17*z + z + 48 for z.
3
Let p(o) be the second derivative of o**4/12 - 3*o**3/2 + 3*o**2/2 - 2*o. Let y be p(9). Solve -2*i - 5 = y*i for i.
-1
Let y = 17 - 10. Let q be (-21)/y - (-3 - 2). Let l be (2/(-3))/(q/(-15)). Solve -21 + 6 = l*n for n.
-3
Suppose -4*x + 1 - 5 = 0. Let s(j) = -16*j - 7. Let w(a) = 17*a + 5. Let k(v) = -2*s(v) - 3*w(v). Let z be k(x). Solve -7 = -5*q + z for q.
5
Suppose 3*o = 17 - 11. Suppose 5*d - 2*d = -o*g - 1, 2*d = -3*g - 9. Solve -4*h - d = 13 for h.
-4
Suppose -2*b = -b + 6. Let a = -3 - b. Suppose a*y - 5*d + 10 = 0, -7*d = -2*y - 2*d - 10. Solve 8 = 2*m - y*m for m.
4
Let a be 8/(-3)*(2 - (-21)/(-6)). Solve 0 = a*c + 9 - 13 for c.
1
Let v(w) = w**3 - w**2 - w + 1. Let i be v(2). Let x = 1 + -13. Let y(r) = -r**2 - 12*r + 4. Let h be y(x). Solve -15 = h*q - i for q.
-3
Let s(v) be the third derivative of -v**5/60 - 11*v**4/24 + 7*v**3/3 - v**2. Let q be (-234)/(-130)*60/(-9). Let u be s(q). Solve 4 = l + u for l.
2
Let p = -361 - -364. Solve -p*j = -5*j for j.
0
Let x = 864 + -848. Solve -x + 4 = -3*i for i.
4
Suppose -5*d + 2*u + 183 = -u, 4*d = u + 145. Solve 0 = 3*x + 9*x - d for x.
3
Suppose 3*x + 5*i - 235 = 0, x + 2*i - 162 = -x. Let f = x - 82. Solve 0*m + f*m - 6 = 0 for m.
2
Let k = -1083 + 1113. Solve k - 20 = -2*u for u.
-5
Suppose 13*g = 21*g + 48. Let y be (0/(36/g))/4. Solve y = 2*z - 2 - 4 for z.
3
Let q be (4 - -1)*((-88)/(-528) - 67/(-30)). Suppose l - 4 = 3*n + 6, 28 = 5*l - 4*n. Solve 4*s - l = q for s.
4
Suppose -30*j = -17*j - 10*j. Solve -k + j*k = -2*k for k.
0
Suppose -2*l - 6*w + 19 = -3*w, 4*l + 5*w - 37 = 0. Solve -l*t - 55 = 3*t for t.
-5
Let h = 432 + -429. Solve h*z - 12 = 3 for z.
5
Let j(q) = q - 7. Let a(h) = -2*h + 14. Let n(r) = 4*a(r) + 10*j(r). Let f be n(11). Let b be (2/f)/((-6)/(-72)). Solve -b = x - 6 for x.
3
Let o(h) = h**2 + h - 41. Let n be o(-8). Let k(l) = -l**2 - 12*l + 6. Let i be k(-12). Solve -i*w = -w - n for w.
3
Let l = -2 + 4. Suppose -13 = -l*d - 49. Let t be (-12)/d - 44/(-6). Solve q = -3*q + t for q.
2
Let c(j) = -j + 10. Let p be c(10). Suppose -19*m + 14*m + 25 = p. Solve -m*n = -n for n.
0
Let y = -8 + 3. Let t be (-15)/y - (2 - -1). Suppose k + 2*k = t. Solve 5*f + 20 + k = 0 for f.
-4
Let w(z) be the first derivative of z**3 - z**2/2 - 1. Let f be 10/(-45) - 11/(-9). Let l be w(f). Solve -l*a + 2 + 2 = 0 for a.
2
Let z = 419 + -405. Solve z*a + 66 = -4 for a.
-5
Suppose -123*w = -133*w. Solve v + 11 - 15 = w for v.
4
Let m(y) = y**3 + 2*y**2 - 30*y - 42. Let p be m(-5). Solve 4*n = -21 + p for n.
3
Suppose 12 = 2*a - 0. Solve -3*h = -a*h + 12 for h.
4
Let i be (1 - (4 + -5))*3. Solve -i*x + 24 = -0*x for x.
4
Let o = 363 - 336. Solve -3 = 8*z - o for z.
3
Let m(c) = 7*c**2 + 86*c + 26. Let a be m(-12). Solve u + 6 - a = 0 for u.
-4
Suppose 0 = 7*w - 3*w + 5*k + 425, w - 4*k = -80. Let h = w + 104. Solve h*u - u = 0 for u.
0
Let v(y) = -y**2 - 50*y + 409. Let r be v(-57). Solve -6 = -r*x + 24 for x.
3
Let d be ((-341)/44)/(-31) - 38/(-8). Solve -n = -d*n - 20 for n.
-5
Let c(d) = -d**3 - 2*d**2 + d + 4. Let o be c(-2). Solve t = o - 0 for t.
2
Suppose 3*i - k + 3 = -0*i, -i + 6 = 2*k. Suppose i = -2*p + 4*j + 22, -2*j + 6*j = -16. Solve 0 = -4*u + p - 19 for u.
-4
Let f = -199 + 238. Solve -3*r - f = -36 for r.
-1
Let f be 8/4 + 0 + -37. Let k = 38 + f. Solve -2 = -k*i - 5 for i.
-1
Let w(j) = 4*j**3 - 5*j**2 - 4*j + 2. Let a be w(2). Solve -7*h = a*h - 11*h for h.
0
Let l = -31 - -36. Suppose -l*v = 2*y - 21, -2*y + y + 3*v + 16 = 0. Solve -y = 2*i - 5 for i.
-4
Let i(k) = -k**3 + 18*k**2 - 18*k + 41. Let u be i(17). Suppose -3*o + u = -4*v, -4*o + 3*v + 31 = 6. Solve -o*n = n for n.
0
Let v(b) = b**2 + 6*b - 35. Let f be v(4). Solve 3 = f*z + 8 for z.
-1
Suppose 4*g + 2*c = -6, 5*c - 20 = 5*g + 10*c. Solve -g = -a - 3 for a.
-2
Suppose -6*q = -2*q - 8. Let r = q - 0. Let i be 11 + -2 + 1 - r. Solve -u = -3*u + i for u.
4
Suppose -8*t = -24 + 672. Let l = t + 86. Let w be (-87)/(-15) - 2/(-10). Solve -3*q = -l*q - w for q.
-3
Let g(l) = l**2 + 6*l - 14. Let u be g(-8). Suppose 0*f + 5*f - 5 = 0. Solve -j + u = f for j.
1
Let k = -28 - -20. Let s be k/2 + 120/15. Solve -s*i - 12 = 4 for i.
-4
Suppose -34 + 10 = -3*m. Solve -12 = 4*w + m for w.
-5
Let i be -12*(-18)/(-24) - -17. Solve 0 = 4*t + i + 8 for t.
-4
Suppose 2*b = -10, 4*b = -4*v - b + 223. Let z = v + -50. Solve z = -5*t - 3 for t.
-3
Suppose -4*i + 5*j = -16, -3*i + 11 = j - 1. Suppose -4*o = -5*v + 23 + 20, 3 = v + 2*o. Solve 3 = i*k + v for k.
-1
Let p(k) = 16*k + 2. Let o be p(3). Suppose 6*c + o = 16*c. Suppose 6*d - 30 = 4*d. Solve -d = 2*f - c*f for f.
5
Suppose -184*x + 187*x = 0. Solve 6*p = -x*p + 12 for p.
2
Let q = -435 - -410. Let k = -21 + 1. Let z = k - q. Solve 0 = 2*d - z - 5 for d.
5
Let j = -21 - -24. Suppose 2 - 17 = 2*a - 5*s, 4*s - 12 = -2*a. Let p = 6 - 2. Solve a = j*h + h + p for h.
-1
Suppose -2*o - 32 = k, 2*o = 4*k - 3*o + 141. Let z be 7 + k/4 - (-7)/2. Solve -2*f + 4 = z*f for f.
1
Let v = -561 - -563. Solve 0 = 7*p - v*p - 10 for p.
2
Let n(v) = -3*v**3 + 2*v**2 - v - 2. Let z be n(-1). Suppose -5*m - z*u = -14, -4*m + 2*u + 2 = -4. Solve 0*h - m = 2*h for h.
-1
Let d be (-4)/(-6) - 83/3. Let v = 29 + d. Let s(z) = -z**3 + 4*z**2 - 3*z + 2. Let c be s(v). Solve 4 + c = -2*y for y.
-4
Let f(u) = 4*u + 11. Let m(s) = -9*s - 23. Let z be ((-2)/2)/((-5)/(-65)). Let k(l) = z*f(l) - 6*m(l). Let c be k(5). Solve 10 = c*y - 10 for y.
4
Let q(z) = 102*z + 726. Let b be q(-6). Solve b = -2*j + 122 for j.
4
Let r = 12 - 22. Let i(j) = j**2 + 12*j + 25. Let k be i(r). Solve 0 = k*d - 4 - 1 for d.
1
Let z(o) = 9*o - 16. Let v be z(5). Let j be v/(-174) + (-31)/(-6). Solve -s + 6*s = j for s.
1
Suppose 4*b = 3*b + n + 5, 3*b - 21 = 5*n. Solve -4*o + 2 + b = 0 for o.
1
Suppose 3*m + i = 40, -3*m + 2*m + 35 = -4*i. Let k be -75*(-3 + 1 + 25/m). Solve -k = 4*v + v for v.
-5
Suppose 3*a = 2*c + 4 - 21, 0 = -c + 4*a + 21. Let i be (-6)/(-10) + c*88/20. Solve 5*j = -15 + i for j.
-2
Let w(b) = -b**2 + 5*b - 4. Let c be w(3). Let p be (-657)/(-12) + 7/(84/(-9)). Let s be (p/(-45))/((-2)/((-20)/(-2))). Solve c*z + s = -0*z for z.
-3
Let f = 15 - 4. Let v = 13 - f. Suppose -4*u + 15 = -u + 4*w, -u = -w + v. Solve q - 2 = -u for q.
1
Suppose 3*c = -2*o + 128, -5*c + 3*o + 28 = -4*c. Solve 148*g = 158*g + c for g.
-4
Let b(x) = 45*x**2 - 24*x**2 + 0 - 10*x - 10*x**2 - x**3 + 1. Let 