Let y(n) = 0*n**3 + 2 - 9*n**2 + n**3 + 3*n**2 + 1. Let z be y(6). Solve z*r = 5*r for r.
0
Let s(z) = -z**2 + 8*z + 7. Let c be s(8). Let f(v) = v**3 - 6*v**2 - 5*v - 6. Let r be f(c). Solve i - r = -3*i for i.
2
Suppose 0 = -3*w + 2*j + 56, 0 = -j - 3*j - 16. Suppose -d + 4*z + w = -3*d, 0 = -3*d - z - 4. Solve l + 2*l = d for l.
0
Let r(q) = q - 1. Suppose 0 = 5*c - 20, 3*t - c - 4*c - 10 = 0. Let g be r(t). Solve 5*s = -11 - g for s.
-4
Let m be (3/5)/((-2)/(-10)). Suppose -m*n + 16 = 5*j - 14, -3*j + 19 = 2*n. Let h = -7 + 7. Solve h*a = -j*a - 12 for a.
-4
Let m = 2 + 1. Let z = 6 - -2. Suppose -4*s = l - z, -4*l - s = m*s - 68. Solve -l = -4*u - u for u.
4
Let y(i) = -6*i - 12. Let k be y(-3). Solve -7*h + k*h = 0 for h.
0
Let b(c) = -c**2 - 2*c + 3. Let h(t) = -3*t**2 - 3*t + 7. Let q(y) = 5*b(y) - 2*h(y). Let s be q(3). Let k = 2 + s. Solve 0 = 5*p - k*p + 5 for p.
-1
Let b = -5 + 7. Let c(j) = -j**2 + 2*j + 2. Let x be c(2). Let h be 4/x + 4 + -6. Solve h*p = -p + b for p.
2
Suppose -d + 3 = 2*s + 7, d + 3*s = -7. Solve c = d*c for c.
0
Suppose 0 = -3*c + 5*c - 58. Let d = c + -7. Solve -5*n + d - 7 = 0 for n.
3
Let a be (-12)/(1 - 10/4). Suppose -a = 4*t, 6*r - 8 = 3*r + 4*t. Solve 0 = l - 4 - r for l.
4
Let c(q) = q**3 + 12*q**2 + q + 16. Let r be c(-12). Suppose 8*g = r*g. Solve g*a + 15 = -5*a for a.
-3
Suppose 6*j - 11*j + 10 = 0. Solve -j*d - 9 = d for d.
-3
Let s(r) = 4*r + 38. Let g be s(-8). Solve 2 = -w + g for w.
4
Let k = -4 + 7. Solve 4 = -k*y + y for y.
-2
Let c be 0/(110/25 + 9/15). Let o(p) = p**2 - p. Let x be o(-1). Solve c*r = x*r for r.
0
Let f(l) be the first derivative of -l**3/3 - 9*l**2/2 + 2*l - 1. Let r be f(-8). Let i = 14 - r. Solve 0*n + i = -n for n.
-4
Let p = 102 - 102. Solve -k - 4 = -p for k.
-4
Let l(k) = -k**3 - 3*k**2 + 3*k + 8. Let c = -15 - -11. Let r be l(c). Solve 3*m + 0*m = -r for m.
-4
Suppose -m = -8 + 3. Suppose 0 = -m*p + 2*p + 9. Solve 0 = w + 1 + p for w.
-4
Let b = 21 - 11. Let k = -6 + b. Solve -k*m - 15 = -m for m.
-5
Let k(j) = -3*j + 8. Let a be k(-4). Let s = 40 - a. Solve -4*c - s = -9*c for c.
4
Let t be 5/3 + (-6)/(-18). Suppose 0*z - 5*a + 9 = -t*z, 9 = 3*a. Solve -5 = j - z for j.
-2
Let l = 39 + -37. Solve 0 = -l*d + 2 for d.
1
Let q(v) = 2*v**2 - 17*v + 13. Let j be q(11). Suppose -4*t - j = -0*t. Let x = -12 - t. Solve x*m + 0 - 5 = 0 for m.
1
Suppose 0 = -3*z + 3 - 0. Let q be -2*2/4*0. Solve d - z = -q*d for d.
1
Let u be (3/4)/((-2)/(-64)). Suppose 3*r + r = -u. Let y be (-3)/r + 87/6. Solve 4*q + y = -q for q.
-3
Suppose 23*t + 12 = 26*t. Solve 3*y - t = -1 for y.
1
Let j be (1 - (2 - 4 - -3))*1. Solve j = -4*k + 17 + 3 for k.
5
Let u = -5 + 15. Suppose -c - 4*c = -u. Solve -4*y = -c + 10 for y.
-2
Let y = 15 - 0. Solve -2*s + 5 - y = 0 for s.
-5
Let u = 1 - -3. Suppose -5*v = h - 2*v - 15, 4*h + u = 4*v. Solve 0 = 3*q - 9 - h for q.
4
Suppose 3*f - f = -4, 2*r + f = 2. Solve 4*i - r = -6 for i.
-1
Let i be (-8)/14 + 12/21. Let y be -1 - ((2 - 3) + 2). Let h(u) = -u**3 - 2*u**2 - 2*u - 2. Let v be h(y). Solve -v*k + k - 1 = i for k.
-1
Let r = -16 - -36. Solve 2*o + 3*o - r = 0 for o.
4
Suppose -33 = 17*j - 28*j. Solve -2 = -j*u + 1 for u.
1
Suppose 1 + 11 = 2*u. Let s(v) = -11*v - 1. Let l be s(-1). Let z = u + l. Solve 0*j = 4*j + z for j.
-4
Suppose -n + 4*l - 4 + 6 = 0, -4*n + 4*l = -32. Let b(o) = -3*o**2 - 26*o + 12. Let a be b(-9). Solve 8*g + n = a*g for g.
-2
Let j = 10 - 19. Let g(b) = -b**2 - 10*b - 18. Let c(f) = -3*f**2 - 30*f - 53. Let z(o) = -6*c(o) + 17*g(o). Let a be z(j). Solve a*n = n - 6 for n.
-3
Let j be (-27)/(-18)*40/3. Solve 5*k + j = k for k.
-5
Let c(u) be the third derivative of u**4/12 + 5*u**3/6 - 6*u**2. Let j be c(0). Solve -o + 4 = j for o.
-1
Let s be (-10 - -1)/(-3)*1. Let g be 0/((-8)/(-4) + -4). Solve 2*v - 5*v - s = g for v.
-1
Suppose -2*h = 2*h + 2*h. Solve -16 = 4*o - h*o for o.
-4
Suppose 5*f + 8 = -2*v + 34, -22 = -4*f - 2*v. Solve 26 = -f*m + 6 for m.
-5
Suppose 6 = 6*h - 12. Solve -12 = x + h*x for x.
-3
Let f be (1/1)/(2/6). Suppose -3*s + x + 69 = 0, -f*s - 2*s - 4*x + 115 = 0. Let m = s + -12. Solve 4*h - m + 31 = 0 for h.
-5
Let d = -4 + -1. Let o = d - -9. Solve -s = o*s for s.
0
Let w(a) = -a**2 + 7*a - 4. Let s be w(6). Suppose z + 5*m - 2 = 1, -6 = -2*z - 5*m. Let p be (8 - -1) + -2 + -2. Solve -z*r - s*r = -p for r.
1
Let d = 59 - 56. Solve d*z - 2*z + 2 = 0 for z.
-2
Suppose 0 = 5*b + 14 - 139. Solve -2*v - 3*v - b = 0 for v.
-5
Let l(c) = -c - 12. Let i be l(-9). Let f be -3*i/(27/48). Solve b - f = 5*b for b.
-4
Suppose -4*w + 10 = -10. Solve 19 + 6 = w*u for u.
5
Suppose q = 3*m - 13, 2*m + 0*m = 10. Suppose 3 = j - q. Solve 0 = -j*t + 5 - 0 for t.
1
Suppose -6 = -9*d + 7*d. Solve d*i - 8 = 5*i for i.
-4
Let c = 1 - -3. Suppose -c*j + 2*j = -10. Suppose -4*f - j*v = -5, 2*f + 3*v - 3 = -f. Solve 3*n + 1 + 2 = f for n.
-1
Suppose 0 = 3*i + 4*d - 130, 6*d - 172 = -4*i + 2*d. Let b be 156/i - 4/(-14). Solve 4*c + b = -12 for c.
-4
Suppose 0 = 3*i - 7*i - 28. Let z = -4 - i. Solve z*a = -0*a for a.
0
Let a(q) = 3*q**3 + q - 1. Let k be a(1). Suppose 5*h + 2*v + k*v = 25, h - v = 1. Let w = -13 - -21. Solve -j = h*j - w for j.
2
Let z = -16 - -16. Let d(o) = o**2 + 3*o + 2. Let k be d(-2). Solve k*b - b = z for b.
0
Suppose 3*t - 196 = 5*i - t, 76 = -2*i + t. Suppose -5*q + 13 = -267. Let b = q + i. Solve -3*c + b = -8*c for c.
-4
Let z = 26 - 16. Let h = 12 - 8. Solve -w - h*w + z = 0 for w.
2
Suppose -4*n = -3*u - 1, 8*n + 1 = 3*n + 3*u. Let g be 0*(-2)/(-8)*n. Solve 0 = -g*y + 3*y - 12 for y.
4
Suppose -3*v = -5*v + 4*m - 14, 5*m = -2*v - 32. Let n be -2 + (v - 0)*-1. Let c = -4 + n. Solve -a = -c*a for a.
0
Let r be (14/1)/((-3)/(-12)). Let b(c) = -11*c - 1. Let u be b(-1). Let g be u/25 - r/(-10). Solve 3*w = g*w for w.
0
Let d(x) = -x + 5. Let o be d(0). Suppose 0 = o*f - 3*f - 6. Solve 8 - f = -a for a.
-5
Let c(m) = -3*m + 78. Let w be c(25). Solve -4 = i - w*i for i.
2
Suppose 0 = 14*v - 8*v - 18. Solve -14 + 5 = -v*n for n.
3
Let k(a) = a**2 + 2*a - 2. Let d be k(-5). Suppose 3*l + d = 4*n, -l - 3 = -4. Solve 0 = n*m - 2*m for m.
0
Let s be -1 + (-2 - -14) + -1. Let t = s - 6. Suppose -5*k + k - 8 = 0, -4*b = k - 30. Solve -t*c + 0*c = b for c.
-2
Suppose 5*w - 13 = 2*g, -2*g - 16 = -3*g - 2*w. Solve 2*n = g*n - 16 for n.
4
Let w be (1 + -1)*1 - -2. Suppose 10 = 5*u - 0*u. Solve -w*a + 3*a + u = 0 for a.
-2
Suppose 5 = 4*j - 3. Solve 3 = j*p + 1 for p.
1
Suppose 0*m - m - 3 = 4*y, 3*m - 3*y = 6. Let d = 2 + m. Solve -3*f - d = -0 for f.
-1
Suppose v - 6*v - 5*d = -140, 4*d + 48 = v. Suppose o = -o + v. Solve -6*g = -2*g - o for g.
4
Let n(h) = -h**2 - 8*h - 8. Let o be n(-6). Solve -4 = 2*l - o*l for l.
2
Let w(v) = -v**2 + 3*v + 3. Suppose 0 = -4*p + 5*l + 17, 0*l + 5 = -5*l. Let k be w(p). Solve k*n - 4*n = 0 for n.
0
Let h = -13 - -16. Solve 3*p = 4*p - h for p.
3
Suppose -7*u = -3*u + 24. Let x be 1*(-2 - u - 4). Solve -4*w + 7*w + 3 = x for w.
-1
Let m be 4/((-36)/3)*-18. Let c be (m/5)/(6/15). Solve p + 0*p - c = 0 for p.
3
Suppose 5*q + 0*q = 5. Solve 3 + q = 2*c for c.
2
Let d be 1 - (-25)/(-35) - 10/(-14). Solve -d = -b - 3 for b.
-2
Let g be (-4)/(-6) - 10/(-3). Solve o + g = -0*o for o.
-4
Suppose -2*h = -6*h + 8. Let m = 2 - h. Solve m = -v - v for v.
0
Suppose -9*n + 6*n = -15. Solve -n*t + 5 + 5 = 0 for t.
2
Let y(j) = -j**2 - 5*j - 1. Let g(x) = -3 + 2 + 3*x - 2*x. Let o be g(-3). Let p be y(o). Solve 2*z + 5 = p*z for z.
5
Let d(f) = f**2 + 2*f + 1. Let o be d(-2). Let x(y) = y**2 + 2*y - 1. Let l be x(o). Solve 4 = l*t - 4*t for t.
-2
Let b be 2 - (-7)/(-2) - (-18)/4. Solve -b*s + 4 - 1 = 0 for s.
1
Let k be 1/((-6)/2)*-9. Let u be -5*((-52)/20 + 2). Suppose -2*i - 2*i + r = -22, 3*r - 9 = -u*i. Solve -i - k = 2*w for w.
-4
Suppose -7*t - 8 = -64. Solve -20 = -3*u - t for u.
4
Let f = -173 + 177. Solve 15 = -f*g + g for g.
-5
Suppose s + b + 4*b + 12 = 0, -s - b = 0. Solve -m + 0*m = -s for m.
3
Let o be 1*3/(-6)*-4. Let y be (o + (-2)/2)*6. Solve -b + y = 2 for b.
4
Suppose o = -2*o - 15, -3*v + 5*o = -37. Solve 0*g - v = -g for g.
4
Suppose 6*x - 25 = x. Solve 11 - 1 = x*t for t.
2
Let v(p) = -p**2 + 21*p - 39. Let l be v(18). Solve -5*a + 5 = -l for a.
4
Suppose 5*m = m. Solve m = 