 = w for w.
0
Let t(h) = -9*h - 38. Let a be t(-6). Solve 0 = -g + 4*g + r + 11, -4*r = -a for g.
-5
Let w = 11 - 11. Solve 4*i + 8 = 2*y, -4 + w = -y - 5*i for y.
4
Suppose -2*l + 2 = -6. Let h(r) = 2*r - 3. Suppose -m + 3 = -1. Let u be h(m). Solve -l*i = -u*j - 10, 3 = -2*i + j + 5 for i.
0
Let h be (-1)/(-4) - (-39)/(-12). Let l be h*(5 - 1) + 2. Let b = l - -35. Solve -4*p + 4 - b = -3*y, 3*y - 2*p = 15 for y.
3
Suppose -5*a - 9 = -8*a. Suppose 3*v + 6 = -3*l - 15, 12 = -3*l. Let z = v - -5. Solve 2*r + 5*d = 3, -3*r - z*d + 2 - a = 0 for r.
-1
Let i(g) = -g + 2. Let v be i(-5). Suppose -2*j = -v*j + 145. Solve -5*t - 10 + 33 = n, -3*n - 5*t + j = 0 for n.
3
Suppose 4*x = x + f + 1, -5*f + 25 = 0. Suppose -x*d + 14 = 4. Solve 0 = -3*c + d*a - 24 - 7, 5*c + 2*a = 0 for c.
-2
Suppose -2*t = 8 - 16. Solve z + 2 = -5*x - 0*x, -8 = 3*x + t*z for x.
0
Let k = -4 + 6. Let y(z) = -z**3 + 3*z**2 - 3*z + 2. Let t be y(k). Suppose t = 6*u - 2*u - 12. Solve -2*i - 5*p = 18, 5*p - 7*p + 8 = -u*i for i.
-4
Suppose 3*o - 10 = -1. Let z be (-4)/12 + (-2)/(-6). Suppose -o*r = -4*y + y + 3, z = 5*r + y - 19. Solve r*w = -b + 6*b - 25, -w - 3 = b for w.
-5
Let g(x) be the third derivative of -7*x**4/12 - x**3/2 - x**2. Let l be g(-2). Let h = -14 - -18. Solve -5*u = -h*d - l, u - d = -u + 10 for u.
5
Let o(q) = q**3 + 5*q**2 + 3*q - 4. Let x be o(-4). Suppose x = 2*y - 24. Solve y = -u - 0*u - 2*r, 4 = -r for u.
-4
Let x(v) = 4*v**2 + v. Let l be x(-1). Suppose -l*y - 3 = 3*z, 0*y - 4*y = 3*z. Solve 0 = y*k + 4*w - 10, -k - 8 = -3*k - 3*w for k.
-2
Let x(l) = l. Let u be x(3). Suppose 0 = 6*a - 42 - 30. Solve 4*o - 16 = 4*f, u*f = 3*o + o - a for f.
-4
Let p(t) = t**2 + 9*t + 14. Let i be p(-8). Solve -2*b = -i*b + d + 16, 0 = -b + 4*d + 19 for b.
3
Suppose -4*v - 44 = 2*d, -5*v - 81 + 16 = 5*d. Let n be 0/(6/v*3). Let o = n - -3. Solve -4*r - 10 = -3*r - 5*m, 0 = o*r - 5*m for r.
5
Let y(i) = i**3 + 11*i**2 + 10*i + 8. Let a be y(-10). Suppose a = -2*g + 4*g. Solve -5*u - 8 = -3*d, -g*d - 1 = -0*u + 5*u for d.
1
Suppose -o + 7 = 3. Solve -3*j + 6*i - 3*i = 3, -3*i = -o*j - 3 for j.
0
Let s be -1 - -44*(-3)/(-2). Suppose 0 = 5*i - s - 90. Suppose -2*q + 3*k = -i, -k + 3*k - 87 = -5*q. Solve -z - 2*n = 4*z + q, -5*z = -n + 14 for z.
-3
Let g = 2 - 1. Suppose -g = 2*k - 7. Let z be (k/(-1))/(6/(-4)). Solve z*s + 4 = -b - 0*b, 3*b = 6 for s.
-3
Suppose 5*i = 13 + 32. Let g = 0 + 4. Solve -2*q - 4*o + g = 0, 3*q - o + 2*o + i = 0 for q.
-4
Let w(m) = m**2 + 9*m - 10. Let d be w(-10). Solve -3*n = v + 17, 4*v + d*n = -n - 13 for v.
-2
Suppose -4*f - 4*l = f - 11, -3*f + l = -10. Suppose f*v + 10 = 2*a, -a - v + 5 = -3*v. Solve -a*w = -3*h - 32, 0 = -5*h - 2*w + 2 - 14 for h.
-4
Suppose -5*a - 1 = -21. Solve -a*x - 3*l = -21, -5*l + 9 = -3*x + x for x.
3
Suppose 3*b + 3*l - l = 36, l = -2*b + 25. Solve 0 = 2*c - 2*q + 6, -9*c + 4*c = -4*q + b for c.
-2
Let b be (16/4)/(-4) - 11. Let a = -10 - b. Solve 5*v = 2*j + 15, -2*j + 3*v - 9 = a*j for j.
0
Let f be 1 - ((-6)/(-2) + -6). Let l = f + -4. Solve -24 = -3*t - 5*s - 1, l = -2*t + 2*s - 6 for t.
1
Suppose -6*n = -2*n + 56. Let o be (21/n)/(3/(-22)). Solve 3*z = 5*j - 14 - 9, 5*z - o = -4*j for j.
4
Let u be (9/5 - 3)*5. Let z(d) = d**2 + 6*d. Let r be z(u). Solve r = 5*v + 20 - 5, 2*v = -5*j + 14 for j.
4
Let c be (-3)/3*-1*-9. Let g = c - -15. Suppose -g*m + 13 = -m + 2*u, 2*m - 3*u - 9 = 0. Solve 7 = -2*z + i, -z - i - 2 - m = 0 for z.
-4
Let y be 10/2*(-1 + 2). Let d = y - 2. Let h = -32 + 37. Solve -d*z = h*r - 17, -4*z + 2*z = 2*r - 6 for z.
-1
Let r(l) = -6*l - 15. Let g be r(-3). Solve -g = 4*s + v, -3 + 2 = -s - 2*v for s.
-1
Let y(b) = 6*b**2 + b. Let f be ((-2)/(-4))/((-2)/4). Let n be y(f). Suppose -2*x = -4*x. Solve 2*g - 5*i + 35 = -x*i, -n = 4*g + 3*i for g.
-5
Suppose -y + 4 = -5*h + 11, -3*y = -4*h - 1. Let c be 1 - 1*(h - 3). Let x = 2 - c. Solve -4*z - 23 = k + z, 2*k - 2*z - 14 = x for k.
2
Suppose 5*a = 4 + 6. Suppose q = -q + 6. Suppose -z - q*j = 4, -3*j - 14 = -a*z + z. Solve 0 = -z*c - 2*s - 17, 11 - 3 = 2*s for c.
-5
Suppose -4*n + 14 - 6 = 0. Solve -w + 20 = 3*w - 4*j, 4*j = n*w - 10 for w.
5
Let d be (-1)/((-26)/25 - -1). Suppose -4*a - 3*r = -4*r - 31, -5*r = -d. Solve -4*j - 3*n + a = 0, -5*n + 0 + 15 = 2*j for j.
0
Suppose 4*j = 4*p + 4, 0*j + 4*j + 5*p - 4 = 0. Let k(l) = 4*l. Let i be k(j). Solve w - 1 = -5*a + 8, i*a + w - 7 = 0 for a.
2
Let i = 53 + -48. Solve 2 = c + 3*z - 1, 0 = 2*c + i*z - 6 for c.
3
Let r = -95 + 100. Solve -2 - 3 = -q - r*w, 0 = 4*q + 2*w - 2 for q.
0
Suppose -i + 6 = -2*i. Let k be (-22)/i - (-3)/9. Solve -v - k*v + 13 = -y, -3*v + 12 = -2*y for y.
-3
Let z(k) = k**3 + 5*k**2 + 3*k - 2. Let r be z(-4). Let h(b) = b**3 + 4*b**2 + 4*b + 2. Let g be h(-2). Solve -g*q + 2 = -2*c - 0*q, 0 = 2*c - 5*q + r for c.
-1
Suppose 0 = -v - 4*v + 30. Suppose v*s = s + 25. Solve -50 = -5*r + s*a, 0 = -4*r - 2*a + 3 + 7 for r.
5
Let o(j) = -j**3 + 5*j**2 - 3*j + 2. Let k be o(4). Suppose -5*v = -5*p - 15, k*p - 4*p - 9 = -v. Solve -5*g - 1 = -3*q, -2*q = p*g - 7*g - 4 for q.
-3
Suppose -2*s - 2*s - w + 13 = 0, -2*w = -3*s - 4. Let j = 4 + -2. Solve -13 = -9*f + 4*f - 3*b, 0 = -s*b + j for f.
2
Let c(b) = 0*b - 8 + 0*b + b. Let d be c(10). Let u(f) = f + 10. Let r be u(-6). Solve 10 = -5*p, -r*i + 0*i - d*p = 12 for i.
-2
Suppose -3*i - 37 = 17. Let s = -13 - i. Let x(v) = 4*v**2 - 2*v - 1. Let y be x(-1). Solve -s*d = j + 23, -y*j + d = -d + 7 for j.
-3
Suppose -5*c = 2*k - 25, 5*k + 17 = 4*c + 96. Solve k = -2*b + 5*d, 0*b + 3*b = 5*d - 20 for b.
-5
Let i = -28 - -30. Solve -i*w + 4*o + 8 = 2*w, 0 = -4*w - 4*o - 8 for w.
0
Let z(s) = 4*s + 1. Let m be z(-3). Let b = m + 16. Suppose 0 = -f + o + 6, 2*o = b*f - f - 18. Solve 2*y + f*d = 10, d + 15 = 3*y + 3*d for y.
5
Let f be 7/7 + -1 + 3. Solve -f*w + 5*c = -6, -3*w - w - 18 = 2*c for w.
-3
Let q = 9 + -4. Suppose -q*i = 2*j + 17, -i = 2*j - 4*i - 23. Solve 11 = s + 4*d, 0 = -j*s - 3*d + 2*d - 16 for s.
-5
Let j be (0*1/2)/(-1). Let h = 6 - 1. Suppose -m = -0*m - h. Solve 0 = -a - c + m, j*c + 5*c = -a + 9 for a.
4
Suppose 1 - 19 = -6*o. Solve 2*w + 15 = o*t, -5*w - t + 15 = 2*t for w.
0
Let i = -29 - -34. Solve 5*q + 10 = i*y, -2*y - 3*q = 3 + 3 for y.
0
Let p(z) = 2*z**2 + 3*z + 4 - z**3 - 1 + 5*z**2 + 5*z. Let l be p(8). Solve l*u + 4 = -2*o, o - 2*u = -0*u + 5 for o.
1
Let y(x) = -x**3 + 5*x**2 + 7*x + 5. Let w be y(6). Suppose 0 = -5*u + r + 22, 2*u + 2*u - w = 3*r. Solve 0 = -u*k - 0*a - a - 20, -4*a = 20 for k.
-3
Let y be (-57)/(-11) + (-8)/44. Suppose -c - 3*g + 2*g - 4 = 0, 4*c + 9 = 3*g. Let t = c - -5. Solve 3*r + 3*v = t*r - 3, 0 = -y*r - 3*v - 3 for r.
0
Let q(x) = -2*x + 3. Let s(l) = l**2 + 4*l + 3. Let t be s(-4). Let p be q(t). Let z be p/(-1) - (-1)/(-1). Solve 0*n - z = 2*n + 2*r, 2*r = -5*n + 10 for n.
4
Let m(y) = -y. Let q be m(-5). Suppose 4*t = -4*p, 5*p - q = 2*p - 4*t. Let r = 10 + p. Solve 12 = s - 5*o + 40, 0 = r*s + 2*o + 5 for s.
-3
Suppose -5*j + 4*j = -3. Let b be 6 + -2 - j/1. Let o be ((-2)/4)/(2/(-12)). Solve 2*z + 5*p = -2 + b, -z = o*p for z.
-3
Suppose -4*n = -11 - 9. Solve 3*m + 8 = 4*z - m, -n*z = 5*m for z.
1
Let p(h) = h**3 + 9*h**2 - 12*h - 15. Let a(k) = -k**3 + 3*k**2 + 3*k - 6. Let i be a(4). Let u be p(i). Solve u*b - 10 = 5*c, -6*b + 10 = -4*b - 5*c for b.
0
Let r(s) = 4*s**2 + s - 1. Suppose 4 = -3*n + 5*n. Let i = n - 1. Let h be r(i). Solve -v = 3*w - 20, h*v - 31 + 11 = 0 for w.
5
Let u be 2*(1 - (-2 - -2 - 1)). Solve 4*h + 5*a + 24 = a, 0 = 2*h - u*a - 12 for h.
-2
Let d = -71 - -80. Solve -6 = -4*w + 2*f, -4*w = -f - 4*f + d for w.
4
Suppose 4*f - 12 = -k + 3, 0 = 4*f + 4*k - 12. Solve 0 = -4*m + f*w + 20, -2*w + 9 = -5*m + 25 for m.
2
Let y = -23 - -27. Solve 6 = 5*i + 4*q, -y*i + q = -q + 16 for i.
-2
Let d(q) = -3*q - 6. Let c be d(-3). Solve -18 = l - 5*g, -c*l - 24 = 2*l - 3*g for l.
-3
Suppose 32 = 6*c - 2*c. Solve 5*d - d = -c, -2*f - 3*d = 8 for f.
-1
Suppose -5*s = 5*a + 105, 2*s - 2*a = a - 27. Let k = 28 + s. Let f be ((-6)/5)/((-4)/k). Solve -5*q - d - 25 = f*d, -5*d = 0 for q.
-5
Let m be 7 + -6*2/(-4) + -1. Solve -4*x + 2*c = -2*c - 16, 3*c + m = 2*x for x.
3
Let q(j) = j**2 + 12*j. Let l be q(-5). Let b be ((-14)/l)/((-1)/(-10)). Let o = 5 + -3. Sol