*x = -3*z - 14 for z.
-3
Suppose 0*s = 9*s - 99. Suppose 9*w = 29 - s. Solve -c + w*n - 6 = 0, -8*c + 3*c + 3*n = 16 for c.
-2
Suppose d = -3*f + 19, 30 = 4*f - d - 0*d. Let p = f + 3. Let m be 2/10 - (84/20 + -4). Solve -2*v - 2*r - 12 = m, 0*v + 4*r = 3*v - p for v.
-2
Let i be (-1184)/(-192) - (-14)/(-12). Solve -n - 5*d + i = 0, 5*n - d + 29 = d for n.
-5
Let a = 240 + -227. Solve -2*f + 3*m = -a, 5*f - 4*m - 14 = 4*f for f.
2
Let z be 10*(-4 + 3)*1/(-2). Suppose -z*i + 12 = -3*i - p, 23 = 3*i - 4*p. Let c = -36 - -54. Solve -r = -2*x - 2, 5*x - 43 = -i*r - c for x.
1
Let h(g) be the third derivative of -g**4/24 + 3*g**3/2 + 13*g**2. Let y be h(6). Suppose 4*f - 5*f + 28 = 0. Solve -7 = 2*t - 3*p, -f = 5*t - 0*p + y*p for t.
-5
Let k be 3 + 0 + -3 + (-14)/(-2). Suppose -16 = -4*w + 2*a, -1 = 2*a + k. Solve -2*v + 3*v + 1 = -w*t, 0 = -2*t + 2*v + 8 for t.
1
Let s = 8 - -22. Let o be s/(6 - 4) - (-2 + 2). Solve -2*j + 4*z = 20, -2*z = -5*j - 3 - o for j.
-2
Suppose 24 = 4*c - 16*c. Let j be (-2)/(c + 4 + -3). Solve 4*s = -3*n + 1 + 2, 2 = 5*s + j*n for s.
0
Let z(k) = -k**3 - 5*k**2 + 12*k + 37. Let w be z(-6). Solve 5*l = 2*p + w, -1 + 3 = -p + 4*l for p.
2
Let o be (7/(-2))/7*0. Suppose -4*c - 24 + 104 = o. Suppose 0 = 2*h - 2*x - 34, x - c = -4*h + 23. Solve -3*p + h = 0, -d + 7 = -2*p + 3*p for d.
3
Let u(t) = -t**3 - 4*t**2 - 7*t - 8. Let j be u(-3). Solve 0 = j*s - o - 2, -s - 4*o - 8 = -5*s for s.
0
Let b be 10/(80/56) + -4. Solve -5*m - 29 = -3*t + t, -5*t + b*m + 25 = 0 for t.
2
Suppose -4*c + 8 = 0, 0*i + 3*c = i - 7. Solve -z - 4*u + 2 = -i, -5*z = 3*u + 10 for z.
-5
Let a be (-7)/(-21) + (-77)/(-21). Solve a*x + 14 = 2*x + 3*y, x - 7 = -2*y for x.
-1
Suppose 3*o + 0 - 6 = 0. Suppose -o*n + 4*p = 3*n - 30, -10 = 2*p. Let b be (-105)/(-20) - (-1)/(-4). Solve -3*f = n*q + 10, b*f = 5*q + 3*f - 13 for q.
1
Let w be (-3 - -2 - -1)/(8 + -9). Let j(t) = -t**3 + t**2 + 3. Let n be j(0). Solve -z - n = -w*z - r, 4*r = z for z.
-4
Let l be (-2)/10 + 1476/205. Solve -12 = -3*d, -d - l = 4*w - 31 for w.
5
Suppose 2*h = 2*m - 22, 2*h - 6*h = -5*m + 54. Suppose -m*z = -8*z. Solve -x + 8 = b - 2*x, z = b + 5*x + 16 for b.
4
Suppose -4*j - 2*y - 636 + 200 = 0, -5*y = -2*j - 218. Let b = 113 + j. Solve 5*u + 0*h - h = -22, 0 = b*u + 5*h + 6 for u.
-4
Let h(i) = 12*i + 74. Let g be h(-6). Solve -3*y - g*t + t = 5, -y + 5*t = 23 for y.
-3
Suppose o + 12 = y - 6, 3*y - o = 64. Solve 3*p - 13 = -l, -11*p + 12*p - y = -5*l for l.
4
Let j = 431 - 420. Solve s - 9 - 4 = 5*h, -4*h + s - j = 0 for h.
-2
Let g = -55 - -55. Solve 16 = 5*o - 4*c, 16 = 3*o + 4*c - g*c for o.
4
Let i(t) = -3*t - 35. Let r be i(-15). Suppose -g = -6*g + r. Let h(p) = -2*p - 10. Let q be h(-7). Solve -2*f = 4*n + g*f - 4, -4*n + 28 = -q*f for n.
4
Suppose -4*t + 4 = -12. Suppose t*k - 3*k + 3*s = 2, 4*k = -4*s + 24. Suppose -k*d + 12*d - 16 = 0. Solve 0 = -2*g + d*o + 14, -3*o = -0*o + 3 for g.
5
Let a = -42 - -59. Let i be 2/3 - 602/(-42). Let h be (-2)/(-4) + (-7)/((-42)/i). Solve 5*y + a = -4*r, -2*y - h*r = -2 + 6 for y.
-5
Suppose 58 = -8*i + 37*i. Solve -2*q - 7 = 3*u - 15, 4*q + 16 = i*u for q.
-2
Suppose s + 5 = 29. Suppose 2*g + 3*b = 14, 0 = -4*g - 5*b + s. Let k(v) = 2*v**2 + v - 1. Let r be k(g). Solve 5*c = 4*c - 1, 3*n + r*c = 10 for n.
4
Let p(o) = o**2 + 16*o - 13. Let h be p(-17). Suppose h*s = s. Solve 5*x - t - 4*t - 25 = s, -11 = -x + 3*t for x.
2
Let d(g) = 13*g + 1. Let k be d(3). Let r = 266 - 303. Let w = k + r. Solve -3*z = 2*c - 8, -w*c = -2*c + 4*z - 4 for c.
4
Let x(n) = -n**3 + 10*n**2 - 8*n + 1. Let z be (18/(-4))/(13/(-26)). Let t be x(z). Solve k - 6 = -2*k, 0 = 4*r + 3*k + t for r.
-4
Suppose 0 = 113*z - 106*z. Solve -7 = 5*c - 3*k - 3, z = c - k for c.
-2
Let u = -36 - 1. Let r = u + 40. Solve 4*x + r*b + 8 = -9, 2*b = 2*x + 12 for x.
-5
Suppose -22*m = -15*m - 21. Solve m*j = x - 0*j + 1, 2*x + 5*j - 20 = 0 for x.
5
Let a(m) be the first derivative of 7*m**2/2 + 4*m - 12. Let s be a(3). Suppose 0 = 4*t + 5 - s. Solve -4*x - x + 29 = y, -4*y = t*x - 41 for x.
5
Let k(u) be the second derivative of u**5/20 + 13*u**4/12 - u**3/6 - 4*u**2 + 9*u. Let q be k(-13). Solve -q*x = -5*i + 5, x = 2*i - 2 - 2 for i.
3
Suppose -3*x + 2*t = -34, -184*x - 5*t - 30 = -186*x. Solve 0 = -2*c + x, -8*z + 5*c = -12*z + 25 for z.
0
Suppose -q + 26 = 5*x, 22*x - 18*x - 15 = 5*q. Suppose -5*u = 0, 2*p = -2*u - 0*u + 4. Solve 2*s = -6, -a = -s + p*s + q for a.
2
Let f = 38 - -14. Let w = f - 37. Solve 6*t - t - 5*h - w = 0, 5 = 2*t - 3*h for t.
4
Let u be (-2)/(-6) - 2/6. Suppose -4*y + 3 + 15 = 5*t, -3*t + 10 = 2*y. Solve 3*g + 9 = u, t*v - 4*g - 1 = 17 for v.
3
Let o = 104 - 102. Suppose o*h - 4 = 6. Solve -5*j - 3 = h*i + 7, -2*j - i = 2 for j.
0
Let f be (18/(-8))/3*-4. Let z(k) = 41*k + 906. Let s be z(-22). Solve -3*b = -0*l + f*l, s*b = 5*l - 36 for b.
-4
Let z be 14 - (-1 - (4 - 4)). Suppose 2*y - 4*y = -6. Let q(u) = -u**3 + u**2 + u + 3. Let a be q(0). Solve 3*m - o = -0*m - 11, y*m - a*o + z = 0 for m.
-3
Let s = -1488 - -1488. Solve 3*k - 1 = 5*c + 8, s = -5*c - 2*k - 19 for c.
-3
Let i be (120/(-210))/(((-2)/14)/1). Solve j - n - 3 = -i, -22 = 2*j + 3*n for j.
-5
Let n = 105 - 41. Let u be 16/(-24) - n/(-6). Suppose -4*g + 6*g = u. Solve 15 = -3*k, 2*w - 3*k = g*w + 3 for w.
4
Suppose -2*z = -5*n - 14, 2*n + 3*z - 4 + 2 = 0. Let t(y) = y**3 + 3*y**2 - y + 2. Let q be t(n). Solve -3*g - 8 = -a - q*g, -2*g - 4 = -2*a for a.
3
Suppose -46 = -4*v - 2*z, 0*v + v - z = 10. Let s be -3 + -10 + (-1 - -5). Let l = s + v. Solve -7*b - 2*o + 9 = -2*b, 3*b + 1 = l*o for b.
1
Let i be 2/2*14*(-2)/4. Let y(c) = -c**3 - 7*c**2 + 2*c + 16. Let p be y(i). Solve -6 = -0*m + 2*m + 5*r, -3*m - p*r - 9 = 0 for m.
-3
Let h(g) = 17*g + 19. Let o be h(-5). Let y = o - -70. Solve -12 = 5*r + b, 2*r - 2 - 2 = y*b for r.
-2
Let a be 0/(3/(-1) - -5). Suppose a = 3*t + 2*t. Suppose -4*r + t*r = -16. Solve c = -0*c + 4*i - 14, r = 4*c - i for c.
2
Suppose g + 2*y = 2 + 7, -g + 6 = y. Let r(s) = 8 - 3*s**3 + 17*s + 2*s**3 + 16*s**2 + 8. Let n be r(17). Solve 5*v = 4*i + n, g*v - 3*i + 8*i + 20 = 0 for v.
0
Let b(l) = -6*l. Let t be b(-1). Let i(n) = n**2 - 7*n. Let v be i(9). Suppose 0*p - v = -t*p. Solve -4*g = -p*r - 2*g - 10, 0 = -4*r + 4*g - 12 for r.
-4
Suppose 9 = 3*w - 5*o, 2*o - 15 = -4*w - w. Suppose 3 = -4*q + w*u, -2*q - u = -0*u - 11. Solve -q = -r - 2*x, -7*r + 2*r + 5*x - 15 = 0 for r.
-1
Suppose 0 = -v - 2*v - 45. Let u be (v/10)/(9/(-120)). Suppose -6*x + u = -x. Solve 5*q - 4*w + 22 = 0, 2*q - x*w + 6 + 10 = 0 for q.
-2
Suppose 4*k + 13 = 13. Solve -m - 2 = g, 4*g + m + 0*m + 5 = k for g.
-1
Let n be 2/(-1 + 26/22). Let a = 15 - n. Let w be (4*3/12)/1. Solve -a*k + 8 = -3*o, w = 4*k + 2*o - 7 for k.
2
Let p(l) = 10*l - 428. Let f be p(43). Solve -f*q + 2 = -4*q + g, 0 = 5*g for q.
-1
Let y = -40 - -24. Let v = -13 - y. Solve -l - v = 2*h, 6*h = 4*l + 4*h - 18 for l.
3
Let k = 106 - 102. Solve 2*a = 2*i + 1 + 1, 0 = -k*i - a + 21 for i.
4
Suppose 0 = -4*b + 2*d - 12, -5*b = -5*d + 26 - 1. Let w be 36/(8 - 4) + b/(-1). Solve -w = 2*x - 4*v, -3*x + v - 5*v + 35 = 0 for x.
5
Let b be 3 - (4/(-6))/((-84)/(-126)). Solve -4 = -3*y + 5*h, y + b*h + 6 = 2*h for y.
-2
Let v be 11/(-11)*(1 - 1). Suppose v = -i + 2. Suppose 13 + 1 = i*m. Solve 3*s + 9 = -m*c + 4*c, -4*s = 3*c + 10 for s.
-1
Let d = -53 - -56. Suppose 9*q + 3*p = 4*q + 19, 5*p = -d*q + 5. Solve 0 = -q*t - 5*i - 45, -7 = 2*t - 4*i - 19 for t.
-4
Suppose 7*h - 3*h = 56. Let c = h - 17. Let i = -1 - c. Solve -i*w + 4*y + 8 = 0, -w - 2 = -4*y - 6 for w.
4
Let q(m) = -9*m - 24. Let c be q(-4). Solve 0*h - 8 = -2*h - 5*b, -3*h + 5*b = -c for h.
4
Let p be ((-3)/(72/40))/(5/(-6)). Solve -v - 2 = -p*q + 8, 2*v + 15 = 3*q for q.
5
Suppose -4*g - 2*w + 10 = 0, 4*g = 9*g + 5*w - 10. Solve 5*i = i + g*l + 4, -2*i = l - 12 for i.
4
Let p = -31 - -3. Let s = -26 - p. Solve 5*f - c + 4*c = -40, 5*f = -s*c - 35 for f.
-5
Let n(s) = s**3 + 30*s**2 - 32*s - 29. Let u be n(-31). Let p = 30 - 10. Solve 0 = -v - u*m + 10, 0 = 5*v + m + 3*m - p for v.
0
Let y(x) = x**2 - x. Let p be y(0). Let a(w) = -w**2 - 8*w - 7. Let k be a(-6). Suppose h + 8 = k*h. Solve 0*z + 2*z = -h*s - 2, p = -5*s + 5*z + 25 for s.
2
Let b(c) = -c**3 + 8*c**