Let g be h(11). Suppose g*n - a = n. Solve -n = -5*x + 4 for x.
1
Suppose s = 3*a - 4, -s - 1 + 2 = 2*a. Let w be (-21)/(-2) + s/2. Solve m = 3*m + w for m.
-5
Let u = -20 + 39. Suppose u + 9 = 5*o - 2*p, -3*p + 33 = 5*o. Solve -9 = 5*c + o for c.
-3
Let l = -4 - -9. Suppose -l*v + 4*v - 3*y - 5 = 0, 3*v = -4*y. Solve 4*q + 16 = -v for q.
-5
Let l(y) = -5*y**3 + y**2 - 3*y + 1. Let w(a) = -a**3 - a + 1. Let b(m) = -l(m) + 4*w(m). Let o be b(0). Solve o*u = 4*u + 2 for u.
-2
Suppose 0 = -4*o + o + 42. Let d = o - 5. Solve -3*h - d = -0*h for h.
-3
Suppose 3*r + 5*b - 29 = 0, -r = -4*r - b + 13. Solve -r*u - 8 = -u for u.
-4
Suppose 0 = -2*f + x + x + 28, -5*f - 4*x = -43. Let p(n) = -n**3 + 6*n**2 + 2*n - 8. Let d be p(6). Suppose d*g = 39 - f. Solve -3 - g = -2*k for k.
5
Let p = 10 - 6. Let u be -1 - (2 + -3)*p. Suppose 0*a = 3*a - u. Solve -3*o + 2*o + a = 0 for o.
1
Let m = 9 + -6. Solve -f - 4 = -m for f.
-1
Let f = -1 - -7. Suppose -6 = -3*g + f. Solve -g*d - 2 = -6 for d.
1
Let b be (1 - 0)*(-3)/1. Suppose -3*i - 31 = -1. Let j = b - i. Solve -3*u + j = -8 for u.
5
Let c(g) = 2*g + 12. Let y be c(-3). Solve -y*r + 7*r - 3 = 0 for r.
3
Let u = 6 + -6. Suppose -x + u*x + 1 = 0. Solve h + 2 = -x for h.
-3
Let u(a) = -a - 3. Let i be u(-13). Suppose -12 = -m - i. Solve -m*j + 0*j = 10 for j.
-5
Let l be (3/5)/((-2)/(-10)). Suppose 5*r = l*r. Solve -3*j + 6 + 0 = r for j.
2
Let y be (-30)/180 - (-14)/12. Solve -y = -4*f + 3 for f.
1
Let n(g) = g**3 - 2*g**2 + g - 3. Let i be n(3). Suppose 4*m + 1 = -3. Let v = m + 4. Solve -v*k = -0 + i for k.
-3
Let q = 2 + 0. Suppose 0*d = q*d - 20. Solve -3*u + 1 = d for u.
-3
Suppose 4*w - 3*l + 5*l + 30 = 0, 0 = -2*w + 5*l - 21. Let p be (-3)/2*w/12. Solve -1 = d + p for d.
-2
Suppose -1 = -3*k + 2*g, 2 = -2*k + 4*k - g. Let f be -1 + 5 - (1 + 0). Solve k*l - f - 3 = 0 for l.
2
Let q be 0 - (-2 + -3)/1. Suppose -m + 4*o = 18, 3*o = m + 13 + 1. Let v = m + q. Solve 12 + 3 = v*t for t.
5
Let j(b) be the third derivative of b**5/10 + b**4/12 - b**3/3 - b**2. Let w be j(1). Solve -l = 3 - w for l.
3
Suppose 2*r = -4*h + 16, 4*h + 0*r - 3*r - 26 = 0. Suppose h = j - g + 3, 0 = -4*g + 8. Solve -16 = -j*y - 0*y for y.
4
Let s(a) = 7*a**3 - 2*a**2 + 1. Let u be s(1). Suppose 0 = u*v - 5*v - 7. Let q = 0 + 2. Solve -q*b = -v*b + 20 for b.
4
Suppose -5*g - 9 - 14 = -3*w, 2*g = -2. Let m(a) = a - 3. Let t be m(w). Solve t*v + 3 = 6 for v.
1
Let a be (1 - 1)/(5 + -3). Suppose -d - 2*j - 3 = 8, -d - 12 = 3*j. Let q be (-3 - a)*12/d. Solve n + 9 = q*n for n.
3
Suppose -3*q - 4*w = 2, -5*w = -10*w - 10. Suppose s - q = -8. Let p be ((-8)/s)/(3/36). Solve 0 = -3*g - g - p for g.
-4
Let r(i) = i**3 + 2*i**2 + 1. Let h be r(-2). Suppose 2*y = -2*g - h - 1, -5*g - 29 = -3*y. Suppose 3*a - y = -0. Solve -a = -z - 2 for z.
-1
Suppose 0 = 6*l - 6 - 6. Solve l*b + 15 = 5*b for b.
5
Suppose 3*d - x + 2*x - 22 = 0, -4*d + 29 = x. Suppose 0*m - 3*m + 37 = 5*c, m + 2*c = 14. Suppose -m*u = -u - 15. Solve u*q - d - 8 = 0 for q.
3
Suppose 5*r = -9 + 34. Solve r*n - 29 = -9 for n.
4
Let i(w) = w**2 - 6*w + 6. Let a be i(5). Let x = a + -1. Suppose t - 2*t = x. Solve k - 1 - 4 = t for k.
5
Let t = -5 + 11. Suppose -4*z + 0*m - m + 14 = 0, -4*m + 8 = 0. Suppose -z*d + t = -0*d. Solve 2*b + d - 6 = 0 for b.
2
Let f be 0/(4/4) + -8. Let p = 10 + f. Solve 0 = -4*c + p*c - 8 for c.
-4
Let z be (-2)/(1/5*2). Let f = 7 + z. Let k = f + 0. Solve 0 = -k*y - y - 9 for y.
-3
Let b = 154 - 152. Solve -10 = -0*d + b*d for d.
-5
Suppose 3*k + 5*i = -4, 2*k = -4*i - i - 1. Let a be 2 - (3 + -4 - k). Solve a = 2*z - 1 - 7 for z.
4
Suppose -25 = 5*l + 3*c, -2*l = l - 4*c + 15. Let g = l + 9. Solve g*v + v = 10 for v.
2
Let l(x) = -x - 3. Let j be l(-3). Let f = -6 + 8. Suppose 0 = -2*b - t - 5, 3*b - f*t - 12 = -2. Solve r + b*r - 4 = j for r.
4
Suppose -3*n + 2 = -7. Suppose n + 7 = -2*a. Let u = -5 - a. Solve 5*d - 2*d - 3 = u for d.
1
Suppose -3 + 4 = 3*k - v, 0 = 2*k - 2*v + 2. Solve -2*d + k = 3 for d.
-1
Let h(b) = -b + 10. Let q(j) = 1. Let d(t) = -h(t) + 3*q(t). Let s be d(8). Let i = 7 - s. Solve i = -2*g - g for g.
-2
Let v = -7 + 10. Let q = v + 2. Let z be ((-18)/3)/(-2) + -1. Solve 0 = z*x + 1 + q for x.
-3
Let n = 4 - 20. Let y be 1 + -1 + n/(-4). Solve 0 = -4*s - 0 - y for s.
-1
Let v be (-6)/10 + (-468)/(-30). Solve 4*n - 5 = v for n.
5
Let r be 0*(-3*2/9)/(-2). Let x be 2*(-6)/(-4) - -2. Suppose -x*l + m = -14, 3*l - 8*m = -3*m + 26. Solve -l*f - 6 + 2 = r for f.
-2
Suppose 4 = 2*s - 3*r - 14, 0 = 5*s + 3*r - 66. Suppose -4*j = 5*v, -s - 7 = -3*j + v. Solve w - 8 = j*w for w.
-2
Let m(a) = -a**2 - a**2 + 3 - 1 - a + a**3. Let c be m(2). Solve c*h = -h - 3 for h.
-3
Let v be (9/(-12))/(12/(-112)). Solve -4*t = -v*t for t.
0
Let b be 3 - (-14)/(-5) - 95/(-25). Suppose 3*s = -5*g + 65, -2*s = -2*g - 3*g - 10. Solve -b*o = -o - s for o.
5
Let z = 2 - 0. Suppose -3*u + z + 10 = 0. Suppose 2*m + 4 = u*m. Solve 0 = -6*y + m*y - 8 for y.
-2
Suppose 0 = g + 4*k - 58 + 8, -4*g = -3*k - 200. Suppose -g = -5*h + 35. Solve -5*x = -8 - h for x.
5
Let x = 7 + 1. Let w = -7 + x. Suppose 2*u = 5*o + w, 0 = 3*u + o - 12 - 15. Solve u = l - 5*l for l.
-2
Suppose -29 = -4*l + 3*s, 3*s - 47 = -5*l - 4. Let d = -8 + l. Let f = 4 + d. Solve c = 2*c - f for c.
4
Suppose 0*q = -2*q + 4. Suppose -q*c + 18 = 5*m, 2*m + c = 5*m - 13. Solve 4 = m*f - 8 for f.
3
Suppose 5*o - 5*x + 5 = 0, x - 3 = -0*x. Suppose 3*a + 2*m = 2, -2 = -a + o*a - 2*m. Solve -j + a*j = 0 for j.
0
Let t = -39 + 39. Solve 4*w + t*w = 20 for w.
5
Let z = 8 - 6. Solve z = m + 1 for m.
1
Let a(u) = u + 1. Let j be a(5). Let d be (-2)/(j/(-3)) - -15. Suppose -122 = -5*y + x, y + 4*x = d + 21. Solve -k + 6*k + y = 0 for k.
-5
Let m be ((-4)/6)/((-1)/3). Let x(s) = -s**2 - s + 1. Let z(y) = y**2 + 5*y - 3. Let c(j) = -3*x(j) - z(j). Let r be c(m). Solve r*l = -l for l.
0
Let y(k) = -5*k + 21. Let g(w) = -w + 5. Let q(n) = 9*g(n) - 2*y(n). Let b be q(-1). Solve c = b*c - 4 for c.
4
Let t(y) = -y**2 + 8*y + 1. Let v be t(8). Let w = -13 - -18. Let r be 32/6 + 10/15. Solve r = -w*h + v for h.
-1
Let y be 1/(-3)*18/(-2). Suppose y*a = 4*a. Suppose 2*o + a = 10. Solve o*n - 4 = -24 for n.
-4
Let l be (0*6/(-24))/1. Solve l*h = -4*h for h.
0
Suppose 3 = -4*c + 19. Let d = -29 - -32. Solve 1 = c*z - d for z.
1
Let r = -11 + 6. Suppose 0 = -f + 5*g + 22, 0 = -2*f - g + 3 - 14. Let d = f - r. Solve 0 = d*j + j + 12 for j.
-4
Suppose -3*o = 3*i - 15, -5*i - o = -10*i - 5. Suppose -k = -i*k - 4. Let h(s) = s**2 - 3*s + 1. Let j be h(4). Solve -k = d - j*d for d.
1
Let l(g) = g**3 - 5*g - 6. Let t be l(3). Solve j - 1 = -t for j.
-5
Let l be (-30)/(-45) - 32/(-6). Let v = 8 + -4. Let m = l - v. Solve -1 = m*r - 3 for r.
1
Let g be 6 + 10/2 + -2. Suppose -3*q - 3 = -g. Solve p = q*p + 4 for p.
-4
Let u be (-2)/(-7) + 2/(-7). Suppose u = 2*a - 0*a - 16. Solve 2*o = 4*o + a for o.
-4
Suppose -2*i + 3*i = -r + 11, -3*i = 5*r - 35. Solve 2*y - i = -0*y for y.
5
Let b = -1 - -3. Let g be (30/(-8))/((-6)/16). Let j(c) = c**2 - 11*c + 3. Let p be j(11). Solve -b*l + g = p*l for l.
2
Let b = -29 + 44. Let u be (-24)/b - 2/5. Let l be 2/(-2)*u + 0. Solve l*f - 25 = -3*f for f.
5
Let q(i) = -6*i - 6. Let a be q(-4). Let p = -1 + a. Solve p = -4*k + 5 for k.
-3
Let x(i) = -7*i + 2. Suppose 5 = o - 4*f, 6*o = o - 4*f - 47. Let u(n) = 10*n - 3. Let j(t) = o*x(t) - 5*u(t). Let d be j(1). Solve 4*l - 2 + 6 = d for l.
-1
Suppose 0 = -5*s + 8*s - 12. Solve 2*q = s*q + 2 for q.
-1
Let o(k) = k**2 - 3*k + 3. Let j be o(4). Let p = j + -1. Solve -z - p = z for z.
-3
Suppose -4*p = -x - 22, 4*x - 4 + 8 = 2*p. Solve p*q - 10*q = -4 for q.
1
Suppose 3*j - 4*j = -3. Let x be 0 - -1 - 5/5. Let y be 2/(-6) - (-14)/6. Solve x = -y*h - j*h + 20 for h.
4
Let b = -5 + 7. Suppose 12 = 3*x - 0*x. Solve -x*c + b = -2*c for c.
1
Let m = -123 + 143. Solve 4*k - m = -k for k.
4
Suppose 2*r + 2*p = 10, -2*r - 5 = -2*p - 11. Solve 1 = -a - r for a.
-5
Let v = -5 + 9. Suppose -1 = r - v. Solve -r*a = -6*a - 12 for a.
-4
Let o = 19 - 5. Let i be (8/o)/(5/35). Solve -i = 2*w - 2 for w.
-1
Let l be (-1 - -2) + -1 + 4. Suppose 0 = l*m - m. Suppose 0*s - 5*s = m. Solve -5*w = -s*w - 20 for w.
4
Let c be 8/(5 - (-6)/(-2)). Solve -t = c*t for t.
0
