
Let x(n) = -n**2 + 5*n - 3. Let k be x(4). Suppose 5*c - 2 = 3*u - k, c = -4*u + 14. Suppose 0*r = -4*r. Solve r = -s - u*s + 12 for s.
3
Let s be (-11)/(-4) + 1/4. Suppose s*j - 7 = -1. Suppose j*o + 0*o = 0. Solve 5*x = -o*x for x.
0
Let q(o) = o**3 + o**2 + 3*o + 20. Let j be q(0). Solve -3*w = 2*w + j for w.
-4
Let o(y) = -y + 2. Let q be o(-4). Solve q*z + 5 = z for z.
-1
Let s(q) be the first derivative of -q**2 - 5. Let z be s(-2). Solve 2*a + 0 = -z for a.
-2
Suppose 28 = -5*r + 8. Suppose -j - 28 = -4*z + 3*j, 0 = z - 5*j - 19. Let m = z + r. Solve m = 2*c - 0*c + 6 for c.
-3
Let a(o) = o + 1. Let m be a(2). Suppose 3*i + 54 = 5*r, -3*r = m*i + 15 - 57. Suppose r = -0*v + 2*v. Solve -g = -v*g for g.
0
Let l be 2 - 4 - (-8 + 1/1). Solve 5*z + 15 + l = 0 for z.
-4
Let o = -21 - -42. Suppose o - 1 = 4*r - 4*m, -m - 4 = 0. Let z be (-26)/(-8) + r/(-4). Solve 3*t - 3 = z for t.
2
Let n(v) = 2*v - 3. Let h be n(4). Solve -10 - h = 3*r for r.
-5
Let u = -13 + 13. Solve u = g + g for g.
0
Let s be 10/(-25) - (-108)/20. Solve 0 = h - 2*h - s for h.
-5
Let w(u) = -2*u + 1. Let d be w(-2). Suppose d*x - 27 = h, 0 = x + 4*x + 3*h - 39. Solve m - 3*m + x = 0 for m.
3
Let t = -6 - -8. Suppose 3*v = 2*v - t, 5*o = -v + 28. Suppose -3*u + o = -6. Solve -3*l = -u*l - 4 for l.
-4
Let x be 1 - (-1 + 3*-1). Suppose -3*b = -x*b + 4. Let q(t) = -t**2 + 10*t - 12. Let z be q(8). Solve -z = 2*d + b for d.
-3
Let n(h) = -h**3 - 7*h**2 - 6*h - 3. Let o be n(-6). Let s be (3/(-6))/(o/72). Solve 4*p - s = 4 for p.
4
Let d(g) = 4*g**2 - 24*g + 2. Let c be d(6). Solve 2*p + c + 4 = 0 for p.
-3
Let m(p) be the first derivative of -p**2/2 - 3*p + 4. Let c be m(-4). Solve -5 = 3*h + c for h.
-2
Let o(y) = 2*y**3 + y**3 - y + 11 + 5 + 14*y**2 - 4*y**3. Let d be o(14). Suppose z - 5*f = -2*z + 7, -3*z + 13 = f. Solve 4 = d*v - z for v.
4
Let a(d) = d + 7. Let o be a(-4). Solve -m + o = 2*m for m.
1
Suppose 4*l + 2*u - 53 = -l, 21 = 2*l + u. Let a = l - 7. Solve 4*p - 2*p - a = 0 for p.
2
Suppose -2*n - 5*o - 6 = -4*n, 0 = -2*n - 4*o - 30. Suppose 0*u - 3*u = -27. Let x = n + u. Solve -x*c - 2 = -6 for c.
2
Suppose -22*q + 12 = -19*q. Solve s = -q*s + 10 for s.
2
Let h be (17 + 4/(-2))/1. Suppose 4*o - 10 = 2*o. Suppose 35 = o*y + 5. Solve y*c = c - h for c.
-3
Let r be 3 + 6*4/(-8). Solve 4*h - 4 = -r*h for h.
1
Let g = 102 - 102. Solve -2*m + 7 - 3 = g for m.
2
Let b be 28/(-5) - 2/5. Let s = 8 + b. Solve 0 = 5*x - 7 + s for x.
1
Let d(t) = t**3 + 15*t**2 + 13*t - 10. Let z be d(-14). Solve -2 - 10 = z*u for u.
-3
Let k(f) = 2*f - 1. Let l be k(4). Let b(d) = -d**3 - l*d**2 + 8 + 2*d - 1 + 0*d**2 - d. Let x be b(-7). Solve -3*v - 9 = -x for v.
-3
Suppose -5*v + 0*a = -4*a + 11, -3*a + 11 = -v. Solve -1 = 2*o + v for o.
-1
Suppose -4*f = -0*f - k, -3*k = -5*f. Let v = -2 + 5. Suppose f = j - v. Solve j*u + 6 = u for u.
-3
Let s(g) = -g + 27. Let m be s(0). Let c be (-2)/(-9) + 210/m. Solve -4*f + c = -12 for f.
5
Let z be 13 - (1 - -2 - 1). Solve 4*r - 1 = z for r.
3
Let n = 41 + -26. Suppose r + 15 = 5*t, -2*r + 15 = 5*t - n. Solve -t*q = -7*q for q.
0
Let o be ((-10)/(-8))/(2/8). Suppose -o*n = -9 - 1. Solve -l + 15 = n*l for l.
5
Let l(a) be the third derivative of a**5/60 - 7*a**4/24 + 5*a**3/6 - 2*a**2. Let u be l(7). Suppose u*t = -0*t. Solve -5*j + 0*j + 25 = t for j.
5
Let m = -3 + 3. Suppose k + w + 5 = 2*k, m = 3*k + 4*w - 1. Solve -3 = 3*x + k for x.
-2
Let c(x) = x - 5. Let d be c(9). Suppose 5*b - 2 - 19 = -3*q, -12 = 4*b. Solve d*m - m - q = 0 for m.
4
Let s = -143 - -155. Solve -8*g + 20 = -s*g for g.
-5
Let u(x) = -x**3 - 9*x**2 - 7*x + 8. Let o(a) = -a**3 + 7*a**2 + 6*a + 8. Let w be o(8). Let c be u(w). Let z = 0 + c. Solve z = 3*g + 1 - 4 for g.
1
Suppose -6*n = 3*n - 18. Solve -n*i + 4 = -4*i for i.
-2
Let s be 1/((-2)/(-4)) - -1. Let n(j) = -s*j + 3*j + 7*j - 4*j. Let g be n(2). Solve -g = 3*u + 6 for u.
-4
Suppose 3*u + 2 = 4*u. Let s be 0*(3 - u)/1. Solve -4*p - 3 - 9 = s for p.
-3
Suppose -4*c - 5*x + 25 = c, -3*x + 17 = 5*c. Solve c = p + 2 for p.
-1
Suppose p - 7 - 13 = 0. Suppose 5*o - 30 + p = 0. Solve -o*c - 3*c = 0 for c.
0
Let a(u) = u - 18. Let z be a(8). Let j be ((-8)/3)/(z/15). Solve j*d + 6 = d for d.
-2
Let k(x) = x - 1. Let s be k(3). Let b(m) = 3*m - 1. Let r be b(s). Solve -3*h = -1 - r for h.
2
Let y(h) = h - 1. Let m be y(0). Let b be 1 + -2*m/(-2). Solve b*k = 3*k for k.
0
Suppose s = 5*s + 4. Let n(h) be the first derivative of 4*h**3/3 - h**2/2 - h + 3. Let f be n(s). Solve 0 = f*i - 3*i for i.
0
Let z be 1 + 2 + -1 + -2. Suppose 3*h - 4*h = z. Solve h = -a - 4*a - 15 for a.
-3
Let a = 11 - 8. Solve 3 = a*i - 3 for i.
2
Let x be 1 - -1 - (0 - 2). Suppose 4*a - 3*a - 2 = 0. Solve x*y + 4 = a*y for y.
-2
Let d be ((-12)/10)/((-6)/20). Suppose d = 5*h - 6. Let f be -2*(2 - 7/h). Solve 0 = -5*p + 23 - f for p.
4
Suppose 19 - 13 = 2*q. Solve 4 = q*u + 13 for u.
-3
Let g(q) = -q + 5. Let w be (-3 - -1)/2 + 6. Let s be g(w). Let l be -1 + 4*1 + 2. Solve s = t - l*t for t.
0
Let l be 18/4 + 33/(-22). Solve -10 = l*j - 5*j for j.
5
Let m = 15 - -11. Solve -4*h + m - 10 = 0 for h.
4
Let h = -4 + 5. Suppose -4*p = 2*j - 5*j - h, -4*p = 5*j - 41. Let q be 2/(-4)*0/(-1). Solve 15 = -q*a - j*a for a.
-3
Suppose 4*b - 12 = -0. Suppose -4*v + 5 + 11 = 3*n, b*n - 13 = -v. Solve -x = n*x for x.
0
Let a(c) = c**3 - 7*c**2 + 7*c - 4. Let w be a(6). Solve 3*k + w = -13 for k.
-5
Suppose 0 = l - 0*l. Suppose -2*o = 2*n + 3*n - 86, l = 4*n - 5*o - 49. Suppose 0 = 5*w + 20, d - w - 13 = w. Solve -d*v - n = -v for v.
-4
Let m(i) = i - 1. Let u be 2/((2 - 1)/3). Let v be m(u). Solve -v = 3*j - 2 for j.
-1
Suppose 5*j - 6 = 9. Suppose -p - 8 = -j*p. Suppose -3*o = v - 8, 2*v - 52 + p = 2*o. Solve -v = 4*t - 8*t for t.
5
Let j = 19 - 14. Solve j*r - 4 = r for r.
1
Suppose -6*v - 1 = -7*v. Solve q - v = -0*q for q.
1
Let m be (4/(-5))/(2/(-5)). Let n be 2/(-4)*-3*m. Solve 1 + n = -i for i.
-4
Let c be 0/1 + (-10)/(-2). Let d(n) = n**2 - 2*n - 7. Let y be d(c). Let k = 11 - y. Solve k*r + 6 = 6*r for r.
2
Let a(g) = g**2 - 2 - 1 - 3*g + 2*g. Let r be a(0). Let f = r + 8. Solve f*v = 4*v for v.
0
Let u = 3 - -2. Solve 4 + 1 = u*l for l.
1
Suppose -4*i + 16 = -0*i. Suppose -2*t - 4*g = 10, i*g + 1 = t - 6*t. Solve 2*k = -t*k + 20 for k.
4
Let p(r) = r**3 + 7*r**2 - 9*r + 1. Let n be p(-8). Let t = 15 - n. Solve -2*j - t + 0 = 0 for j.
-3
Suppose 8*l = 3*l + 40. Suppose -4*x + 4*u + l = 0, -5*u - 2 = x - 2*x. Suppose -20 + 5 = -5*j. Solve -r - x*r = j for r.
-1
Let p be (-63)/(-15) - 1/5. Suppose -4*y = 6*y - 20. Solve -p*i = 10 - y for i.
-2
Suppose -2*f + 11 = 2*y + f, y - 3*f = 1. Solve -p = y*p - 5 for p.
1
Suppose -3*m - 2*m + 35 = -4*f, -3*m = 2*f - 43. Suppose 0 = -16*u + 14 + 2. Solve 2*t + m = u for t.
-5
Let v(p) = 2*p**2 + 4*p. Let l be v(-3). Solve l*x - 3*x = -12 for x.
-4
Let q be (9 - 6) + 0/2. Let j(i) = -i**2 + 2*i**2 + 1 + q + 7*i. Let u be j(-7). Solve 0*m = -m - u for m.
-4
Let z be (-10)/4*(-32)/20. Let d be (-2 + 1)*(0 + -3). Suppose j + d - z = 0. Solve -j + 5 = -2*t for t.
-2
Let l = 17 - 15. Solve l*b + b = 0 for b.
0
Let h(y) = -y + 15. Let b be h(15). Solve 20 + b = -4*l for l.
-5
Let c be -1 + -1 + (14 - 10). Suppose 3*l - 5 - 4 = 0. Solve 0 = l*n + c*n + 5 for n.
-1
Let k(o) = -3*o - 3. Let v = -5 + 3. Let w be k(v). Solve -5*s = -4*s - w for s.
3
Let o = 4 + -2. Suppose 0 = -o*g - g. Let j(w) = -w + 24. Let f be j(15). Solve 3*a - f = -g*a for a.
3
Let b be (-34)/(-8) - 2/8. Suppose 4*p - b = 2*p. Solve 2*a + 0 - p = 0 for a.
1
Let z = 30 - 27. Solve 20 = -z*s - s for s.
-5
Let x(l) = l**3 - 8*l**2 + 9*l - 9. Let w be x(7). Suppose -n = 1 - 0. Let j = w + n. Solve 4*f + 0 + j = 0 for f.
-1
Suppose -4*o + 3 = -3*o. Solve -a - 6 = -o*a for a.
3
Let x(h) = -h**3 + 6*h**2 + h - 4. Let q be x(6). Solve -10 = 3*w + q for w.
-4
Let p(s) = -s**2 + 6*s + 2. Let g be p(6). Let n(h) = h - 4. Let u be n(4). Solve -k - 3 - g = u for k.
-5
Let t be (-1 - -2 - 1)/1. Solve -p + 3*p - 6 = t for p.
3
Suppose 0 = 4*v - 3*a + 79, -3*a + 1 + 2 = 0. Let o = -9 - v. Solve 4*m - o = 6*m for m.
-5
Let r = 2 - 2. Suppose -2*y - 1 + 11 = 0. Suppose 0 = -2*c + 3*c - y. Solve -c*v + 0*v = r for v.
0
Let x = 0 + 1. Let f = 11 - x. Solve -4*o + f = -6 