y.
-5
Suppose 10*z = 5*z - 30. Let x be (-44)/z + (-16)/(-24). Solve 4*i + 0 = x for i.
2
Let n = -92 - -96. Let b = -1 - -1. Solve b = -x - n*x for x.
0
Suppose 4*p + t + 9 = 4*t, 0 = -p + 2*t - 1. Let q be (2 - (-9)/p) + 1. Solve 2*c + 2*c + 4 = q for c.
-1
Let j(x) = 7*x**2 - x. Let a be j(-1). Let v be a + (-12)/3 + 1. Solve -2*y + y + v = 0 for y.
5
Let c = -6 + 2. Let o(j) = j**2 + 3*j - 2. Let f be o(c). Solve -f*m - 20 = 3*m for m.
-4
Suppose -3*z + s - 1 = z, -17 = 3*z - 4*s. Let p(x) = 147*x**2 + 1. Let c be p(z). Let v be (-2)/7 + c/28. Solve -3*t + v = -10 for t.
5
Let p be 173/9 + (-4)/18. Suppose -5*o - 43 = -68. Solve -o*q = -p - 1 for q.
4
Suppose -w + 1 + 0 = -2*f, 0 = 3*f - 2*w + 3. Solve -s + 2 = f for s.
1
Suppose 20 = -3*n + 17. Let j be 0 - (-6 + (2 - n)). Solve -16 = -j*y - 4 for y.
4
Let g be (-6)/8 - (-270)/40. Solve y = g*y - 10 for y.
2
Let d be 0/(-5 - (-3 - -1)). Let o be (14 + 0)/2 + d. Solve 0 = o*n - 3*n for n.
0
Suppose -5*r + a - 3*a = 6, 0 = r - 3*a - 9. Solve r = 3*x - 6*x for x.
0
Let m be 1/1 - 3/(-3). Solve 5*j = m - 12 for j.
-2
Let y be ((-8)/(-2) - 1)/1. Solve 3*c - y = 2*c for c.
3
Suppose i + 0 = -4. Let n(o) = 2*o + 10. Let t(x) = x + 5. Let g(z) = i*n(z) + 9*t(z). Let v be g(0). Solve v*d - d = -12 for d.
-3
Let q(i) be the third derivative of i**6/120 - 7*i**5/60 - 7*i**4/24 - i**3 + 3*i**2. Let j be q(8). Solve j*o = o - 1 for o.
-1
Suppose 4*l = -12, 5*i - l - 4*l = 5. Let j be i - 6/(-2) - 1. Solve -1 + j = -a for a.
1
Let t = -54 + 86. Suppose -4*p = -2*h - 14, -p - 5 = -4*p - 4*h. Suppose 4*q = -s + 17, s - t = -4*q - p*s. Solve -z = -q*z + 10 for z.
5
Let j = 37 + -66. Let b = j + 34. Let m(n) = 2*n - 4. Let z be m(3). Solve -z = b*x - 7 for x.
1
Let p(m) = m + 13. Let g be p(-10). Let j be (30/25)/(g/(-10)). Let a = j + 9. Solve 0 = -4*v - v + a for v.
1
Let o(n) = -5*n - 1. Let u be o(-1). Suppose -5*l - 10 = -u*s, s + 0*l = l + 3. Solve 0 = s*p - 0 + 25 for p.
-5
Let s(m) = -m**2 - 7*m + 6. Let q be s(-7). Suppose -q = -3*d + 9, -3*n = 4*d - 29. Solve -b = n*b - 8 for b.
2
Let m(g) = -g**3 + 4*g**2 - g. Let f be m(3). Solve -4*v + f = -6 for v.
3
Let q be ((-12)/8)/(4/(-40)). Solve -3*n + 0*n - q = 0 for n.
-5
Let f = 28 - 26. Suppose f*j - 14 = l - 4, 0 = -5*l - 4*j + 20. Solve l = -4*i - 8 - 8 for i.
-4
Let y(h) = -2*h**2 - 14*h - 6. Let c be y(-5). Solve 4*n = -2 + c for n.
3
Let d = -158 - -163. Solve 3 = -4*a + d*a for a.
3
Let d(i) = -i - 2. Let h be d(-5). Solve 10 = h*j + 25 for j.
-5
Let v(g) = -3*g + 6. Suppose 5*c - 6 = 19. Let t be v(c). Let k = -2 - t. Solve -3*m + 8 = -k*m for m.
-2
Let c = -37 - -52. Suppose -3*x + c = 5*f - 2*f, -3*x = -2*f - 15. Solve f*a = -a for a.
0
Suppose -46 = 4*m + 2*a - 4*a, -3*m + 2*a = 37. Let k be (-14)/(-21)*m/(-2). Solve -2*i = -k*i for i.
0
Let o = 167 + -159. Solve -o*q + 13*q = 5 for q.
1
Suppose -v + 13 = -2*s, -23 + 53 = 3*v - 3*s. Suppose 0 = -c - 2*p + p + 5, -3*c = 5*p - 19. Solve z + c = v for z.
4
Let f = 42 + -38. Solve -25 = p + f*p for p.
-5
Let w be (-3)/(-1) + 0/21. Solve -2*n + n = -w for n.
3
Suppose -s - 3*s = -12. Suppose -7*p + 24 = -s*p. Solve 14 + p = -5*k for k.
-4
Suppose z - 3*w + 7 = 0, -3*w - 4 + 13 = 0. Solve z*f + 3*f = 5 for f.
1
Let f = 35 - 31. Let u be (-2)/(-3) - 46/(-3). Solve 0*m = f*m - u for m.
4
Suppose 5*s - v + 0 = 120, -3*v - 15 = 0. Solve 3 = -5*w + s for w.
4
Let k(u) = -u + 7. Let q be k(5). Suppose 0 = 2*x + 5*h - 1, 7 = 6*x - 3*x + q*h. Suppose x*y + 42 = 5*z + 4, 5*y = -4*z + 23. Solve 0 = -z*v + 3*v + 8 for v.
2
Let w(k) = k**2 + 4. Let v = -2 - -2. Let j be w(v). Solve x - j*x = -9 for x.
3
Let q(v) = -v. Let x be q(-4). Suppose -21 = -s - 4*u, -x*s - 2*u + 9 = -u. Solve 11 = 5*g + s for g.
2
Let b = 12 - 25. Let v(r) = 15*r**2 + 14*r + 1. Let d(j) = 7*j**2 + 7*j + 1. Let p(g) = b*d(g) + 6*v(g). Let f be p(-5). Solve -2*n + f = 1 for n.
1
Let r be ((-40)/(-6) + 0)*3. Let i be (8/r)/(1/80). Let g be (-4)/10 + i/5. Solve -2*s + 0*s = -g for s.
3
Let w = 1 - -9. Let h = 20 - w. Suppose 4*o - 3*n - 11 = -2*n, -o = 4*n + h. Solve -3*g - 7 = o for g.
-3
Suppose 2*v + 4*b - 24 = 0, -5*v + 5 - 1 = -4*b. Solve 0 = r + v*r + 15 for r.
-3
Suppose r = -k - 0*k - 1, 5*r = -3*k + 5. Solve 4*t = 2*t + r for t.
2
Let h = 25 + -23. Solve h = -a + 1 for a.
-1
Suppose 2*i - n + 118 = n, -n + 251 = -4*i. Let j be ((-3)/2)/(12/i). Solve 6*l - j = 2*l for l.
2
Suppose 36 = 5*z - 44. Solve 2*v = 6 - z for v.
-5
Let u = 11 - 3. Solve 5 = -u*d + 9*d for d.
5
Let f(x) = -7*x - 11. Let a be f(-8). Suppose -5*h + 4*k + a = -2*h, 2*h = -5*k + 30. Solve -h = 4*p - 9*p for p.
3
Let r be (22/(-3))/((-2)/15). Suppose 5*s = -4*v + r, -2*s + 45 = 2*s + 3*v. Solve -o + s = -4*o for o.
-5
Suppose -2*t = 4*y + 24, -4*t - 6*y - 45 = -y. Let r(l) be the first derivative of l**2/2 + 14*l - 4. Let q be r(t). Solve -q*u - 17 = 3 for u.
-5
Let f = 81 + -55. Solve -5*r = 1 - f for r.
5
Suppose 36 = 6*b - 2*b. Solve -1 = -2*y + b for y.
5
Suppose 2*d = 7*d. Let u be (d - -1)/((-2)/(-16)). Solve 3*r - u = 5*r for r.
-4
Suppose -13 = -3*s + 26. Solve 2*l + 3 - s = 0 for l.
5
Let g(m) = m + 2. Let v be g(1). Solve 6 = -0*x + v*x for x.
2
Let b = -46 + 50. Solve -7 = -3*r - b for r.
1
Let j = 0 + 2. Suppose j*b = -0*b - 4*a + 20, 2*b + a - 8 = 0. Solve -v + b = -2*v for v.
-2
Suppose 2*y + 5 = 5*n, 0*y = -3*y + 3*n - 3. Solve 2*p + 2*p + 20 = y for p.
-5
Let d(i) = -i**3 - 5*i**2 - i - 3. Let r be d(-5). Let y be (-1)/((-2)/8*r). Suppose y*a = -a. Solve a = 5*k - 0*k + 25 for k.
-5
Suppose 0 = -5*q + 2*z + 8, -3*q + 5*z + 20 = -0. Let v be (-1 - q)*(3 + -12). Suppose v*n = 4*n + 130. Solve n = 5*x + 6 for x.
4
Suppose j - 18 = -v, -3 = -5*j + 2*v + 66. Suppose -3*h - 2*h = -j. Solve h*o = o + 10 for o.
5
Let q = 0 - 2. Let u be 0 + 4 + 0 + q. Suppose -2 = w + u*v + 2*v, 0 = -v - 1. Solve w = -f - f for f.
-1
Let l be (2/3)/((-1)/(-18)). Let x = l + -8. Solve -x*f + 4 = -6*f for f.
-2
Let v = -43 + 47. Solve 3*h + v = h for h.
-2
Suppose -5*u - 3*y = -16, -4*u - 5*y + 18 = -0*u. Solve 0 - u = -2*l for l.
1
Let r(x) = -2*x + 3. Let v be r(6). Let t = v + 13. Suppose -3*i - t = -7*i. Solve u = -i + 6 for u.
5
Suppose -4*y = -1 - 3. Let r be (-2 + 1 + y)/(-1). Solve -4*v + 2*v = r for v.
0
Suppose 2*x - 5*m = 17, -x + 7 = 4*m + 18. Solve -5*h - 4 = x for h.
-1
Let u = 16 + -11. Suppose u*a - 2*a - 9 = 0. Suppose -2 = 2*z - a*z. Solve 0 = -z*j - 0*j for j.
0
Suppose -4*f = -4*v + f + 23, -3*f - 13 = -2*v. Solve 4*r = -22 + v for r.
-5
Let k(a) = -a**2 + 9*a. Let b be k(7). Let y be (-2)/(-7) - 32/b. Let r be 1/((-27)/(-12) + y). Solve -r*h - 3 = -3*h for h.
-3
Suppose 0 = -2*r + 2*v + 10, 5*v + 13 = -r + 3*r. Solve r - 2 = 2*j for j.
1
Let d = 24 + -43. Let t be (-8)/(-32) - d/4. Solve -i + 2*i + t = 0 for i.
-5
Let s be (-39)/(-7) - 21/(-49). Suppose 1 - 5 = -q, -2*n = -q + 6. Let t be ((-6)/4)/(n/4). Solve -t = -3*d + s for d.
4
Let f(w) = w**3 + 6*w**2 - 9*w - 8. Let a be f(-7). Let g(x) = -x**3 + 7*x**2 - 6*x + 2. Let b be g(a). Suppose 0 = -b*q - q. Solve q*y = -y for y.
0
Let z = 14 - 10. Solve -z*i + 6*i = 0 for i.
0
Let c be (3 - 2)/((-1)/1). Let o = c + 6. Solve -11 - 14 = -o*y for y.
5
Suppose 2*d + 2 = 2*n, 3*n - 7 = -5*d + 12. Let o be d/(-3) + 15/9. Let w be (o - -3 - 3)*1. Solve 2*s + 1 = -w for s.
-1
Suppose -5*l + 32 = -o, 0 = 4*l - 0*o - 2*o - 28. Let r be l/(-10) - (-39)/15. Let n = -9 + 13. Solve -2 - r = n*y for y.
-1
Suppose 2*s + 2*s = 44. Let l(q) = q**2 - 10*q - 6. Let d be l(s). Solve w - d = -4*w for w.
1
Suppose -6 = -2*w + 4. Suppose -w*b + 19 = -16. Let z(q) = -q**2 - 7*q - 3. Let y be z(-6). Solve y*i + 8 = b*i for i.
2
Let k = 7 + -3. Suppose 3*z - 4*w - 28 = 0, -2*z - k = -2*w - 20. Let g be z + 4/(1*-2). Solve -g*a = -4*a + 6 for a.
3
Let v(t) = t**3 - 3*t**2 - 6*t - 5. Let b be v(5). Solve -o + 6*o + b = 0 for o.
-3
Suppose -k = -3 + 2. Let h = 2 + k. Solve 4*u - h = 3*u for u.
3
Let p = -21 - -32. Let r = p + 14. Solve f = 6*f - r for f.
5
Let l(a) = 2*a**2 - 4*a**3 + 4*a**3 + 4*a - a**3. Let u be l(3). Suppose -13*h = -55 - 36. Solve u*i - h + 4 = 0 for i.
1
Suppose 5*v - 4 = 26. Solve 2*m = v*m - 8 for m.
2
Suppose -65 = 4*q - 5. Let h be (-1)/(-5) + (-132)/q. Solve 5*g = 34 - h for g.
5
Let t = 42 + -21. 