 be 25 + 1*(-1)/(-1). Let m = z - 17. Solve -2*a - m = a for a.
-3
Let p(v) = -v**3 + 8*v**2 - 10*v + 9. Suppose 2*i - 10 = i. Suppose -w - 4 = -i. Let b be p(w). Solve -4*c = b - 5 for c.
-4
Let r(v) = 8*v**3 + v**2 - 1. Let y be r(1). Solve i + i = y for i.
4
Let f(i) = -i**3 - 10*i**2 - 10*i - 6. Let b be f(-9). Solve -b - 9 = 4*t for t.
-3
Let t(j) = j + 4. Suppose 4*u + 5*z = 0, -4*u + 2*z = -2*z. Let f be t(u). Solve f*w = -1 + 9 for w.
2
Let j be 1 + (-2 + 0 - -4). Solve -j*u + 5*u - 8 = 0 for u.
4
Let f be -1 + 1 + 2*1. Let l(w) = w**2 - 14*w + 5. Let t be l(14). Suppose 0*v + t*v = -4*h - 20, 3*v + 12 = -4*h. Solve h*b = f*b + 6 for b.
-3
Let u be (4/4)/(2/8). Suppose -z - 4*y + 9 = 0, 0*y - u*y = -4*z - 4. Let k = z + 0. Solve p + 1 + k = 0 for p.
-2
Let l = -14 + 17. Suppose -s + 0*x + 10 = l*x, -4*x = -5*s + 12. Solve -s*u = -2*u for u.
0
Let q(p) = 5*p**2 - 9*p + 8. Let l(a) = -6*a**2 + 10*a - 9. Let z(s) = -4*l(s) - 5*q(s). Let x be z(4). Solve 0 = -4*i - x*i for i.
0
Suppose -5*r + 21 = 5*l - 4, -5 = -5*r - l. Suppose -4*a + r*a = -8. Suppose -9 = a*z - 3*z. Solve z = 2*n + n for n.
3
Suppose n - 11 = 4*a, 3*a + 3 = n - 2*n. Suppose -2*o + 30 = n*o. Solve 0 = -o*p + 2*p + 20 for p.
5
Let z = 5 + -3. Solve -z*b + 5 = -3*b for b.
-5
Let d = -48 - -51. Let b = -1 + 1. Let g = b + 0. Solve 3*a - d = -g*a for a.
1
Suppose i = 3*i. Let a = -21 - -34. Solve -5*k + a - 3 = i for k.
2
Let c(z) = -3*z**2 + z**2 + z**2 + 5 + 5*z + 5*z**2 - z**3. Let s be c(5). Solve f = s*f for f.
0
Suppose 3*z - 4*i = -0*i - 8, i = z + 2. Solve z = -3*u + 6 - 15 for u.
-3
Let s be 44/6 - 10/(-15). Let w(t) = -t**2 + 7*t + 10. Let f be w(s). Let l be (f - -1)/(-3) - -3. Solve 1 + 1 = l*o for o.
1
Suppose -4*k + 16 = 0, -12 = -5*p + k - 4*k. Suppose -2*c + c = p. Let f be c/(-2)*3/6. Solve 3*s + f*s = -6 for s.
-2
Let r(u) = -u**3 + 7*u**2 + 9*u - 8. Suppose 0*l + 3*s - 31 = -2*l, -2*s = -2*l + 6. Let b be r(l). Solve -3*g + 11 - 2 = b for g.
3
Let w be (-9)/(36/(-40))*1. Solve -4*k + 9*k + w = 0 for k.
-2
Let z = 2 - -2. Let s(l) = -l**3 + 5*l**2 - 4*l + 5. Let b be s(z). Suppose -15 = -5*x + b*c + 5, -x + 7 = -4*c. Solve -x*d + 6*d - 3 = 0 for d.
1
Let z(m) = 1. Let t(s) = -5*s - 6. Let i(v) = -t(v) - 5*z(v). Let p be i(2). Solve 0 = 4*w - p - 1 for w.
3
Let q(x) = -x**2 + 8*x + 11. Suppose 2*f + f - 27 = 0. Let m be q(f). Solve -m*o - 1 = -5 for o.
2
Let u be ((-1)/(-1) - 1) + 0. Suppose -4*g = -3*r - 1, -2*r + 13 = -3*g + 3*r. Solve g*z + 8 - 24 = u for z.
4
Let t(x) = -3*x - 7. Let o be t(-3). Suppose 4*s = 5*i + 26, 2*s - 6*s - 2*i + 12 = 0. Suppose 0 = n - 4, d + n - s = 3*d. Solve -y + d*y = -o for y.
2
Suppose -4*l - l = -40. Solve -d - d = l for d.
-4
Let k be (-40)/(-30) - 10/(-6). Solve 8 = 5*v + k for v.
1
Let c(k) = k**2 - 5*k + 2. Let x = 7 - 4. Let n be c(x). Let g = -1 - n. Solve 0 + 6 = g*t for t.
2
Let p = 28 - 23. Solve -3*r + p + 7 = 0 for r.
4
Suppose 3*n - 35 - 1 = -3*k, 4*k - 20 = 0. Solve -5*w + 2 = -n*w for w.
-1
Let n be ((-1)/(-3))/((-1)/(-6)). Solve 2*l = l + n for l.
2
Let v(j) = 3*j - 14. Let i be v(5). Suppose 0 = -0*o + 4*o - 12. Solve 2 + i = -o*d for d.
-1
Let k(c) = c**2 - 7. Let m be k(3). Solve -6*q + m*q + 8 = 0 for q.
2
Let g(u) = -8 + 0 + 1 - u**3 + 1 + 10*u**2 + u. Let m be g(10). Solve 4 - 20 = -m*q for q.
4
Suppose -6 = -3*b + 6. Solve -b*u + 15 = -1 for u.
4
Let v be (81/(-36))/(6/(-16)). Solve -v - 2 = 4*d for d.
-2
Let z = 69 - 67. Solve d = z*d + 5 for d.
-5
Let r be -2 + 5 - (-4 - -2). Suppose 0 = 3*n - r*g + 1, 4*n - 2*g - g - 6 = 0. Solve n*f - 3 = -9 for f.
-2
Suppose 27 = -n + 35. Solve 4*u + 8 = -n for u.
-4
Let t(f) = f**3 + 4*f**2 + 4*f + 3. Let i be t(-3). Suppose -2*s - 11 = 3*x + 2*x, -s + 2*x + 8 = i. Solve -a = -s*a - 1 for a.
-1
Let q = -59 + 64. Solve 2*k - q*k - 12 = 0 for k.
-4
Let m(p) = 2*p**3 - 2*p**2 - 2*p. Let l be m(2). Suppose 4 - 24 = -l*k. Solve 0*c + 5*c - k = 0 for c.
1
Let s = 11 - 8. Suppose k + 5 = -j - j, s*k - 25 = 2*j. Solve 0 = -k*g + 3*g for g.
0
Suppose 0 = -3*g - 3*p - 15, 3*p = -4*g - 2*p - 23. Let s be (g + 2)*2/4. Solve a + s*a = -5 for a.
-5
Let k(i) = 2*i**3 - 4*i + 4. Let s be k(2). Solve 0 = -3*g - s + 9 for g.
-1
Let z(y) = y**3 + 4*y**2 - 7*y - 4. Let k be z(-5). Suppose -3*v - 23 = -w, -3*v + 0*v + 2*w - 25 = 0. Let f = 12 + v. Solve f*a + k + 4 = 0 for a.
-2
Let r be 2/((-51)/(-15) + -3). Let y be 17/2*(-2 - 0). Let a = -2 - y. Solve r*x - a = -40 for x.
-5
Suppose 4*o + 1 = -3*p + 7, 2*o = 2*p + 10. Let k be (-3)/(12/(-88)) + -2. Suppose 4 = -0*b + 2*b. Solve 0 = o*s + b*s + k for s.
-4
Let x(o) = -o**3 - 3*o**2 + 3. Let u be x(-3). Suppose 5*g - 15 = -5*d, u*d = 3*g + 1 + 8. Let i = 0 + g. Solve 0 = f - i*f - 4 for f.
4
Let x(j) = -j - 5. Let a be x(-4). Let q = 9 + a. Let p = q + -4. Solve p - 12 = -4*g for g.
2
Let i(s) = s**3 - s - 1. Let u be i(2). Suppose -2*h + 2*a = -38, -5*h + 3*a - 4*a = -65. Solve 3*r - u = -h for r.
-3
Let c be 8/4 + 7 + -3. Let p be -3 + (15 - (c - 3)). Solve -3*s + 0 - p = 0 for s.
-3
Let n be (-3)/(-9)*(1 + 0 - 1). Solve n = -2*j - 0*j for j.
0
Let r(z) = -4*z + 58. Let l be r(14). Solve -l = 3*k - 5 for k.
1
Let u(y) = 2*y**2 - 1. Suppose 0 = -l + 2*l + 2. Let s be u(l). Solve h + s = 3 for h.
-4
Let w = 10 + 1. Let y = w + -6. Solve -y = -5*s - 0 for s.
1
Suppose 3*b - 13 = 11. Let y = 11 - b. Solve -y*g = -6 - 6 for g.
4
Let t be (-20)/35*(-14)/4. Suppose 2*m - 14 = -2*i, m - i = t*i - 13. Solve 4*p - m - 2 = 0 for p.
1
Suppose 0 = 4*c - 8 - 12. Suppose -32 = -c*g + g. Suppose -3*b - 2 + g = 0. Solve -b*f = -4*f - 6 for f.
-3
Let m = -20 + 35. Solve -5 = -4*d + m for d.
5
Suppose 50 = -n + 3*n. Let b(w) = w - 4. Let a be b(6). Suppose -u = -8 - a. Solve u*z = 5*z + n for z.
5
Let a = 104 + -95. Solve -4*i + 10 = -a*i for i.
-2
Let k(w) = w**3 - 6*w**2 + 4*w - 1. Let m be k(5). Suppose 5*q = 3*c - 31, 0 = -q + 2*c - c - 7. Let d = q - m. Solve 2 = -p - d for p.
-3
Let v(x) = -5*x - 2. Let m be v(-4). Let c be m + -1 + 0/(-1). Suppose 2*g - 3*h - 9 = -g, -3*h = -4*g + 11. Solve c = -5*r + g for r.
-3
Suppose 25 = 7*u - 6*u. Solve 3*h + 2*h = -u for h.
-5
Let g be (2/4)/((-2)/16). Let i(a) = a**3 + 4*a**2 - a + 4. Let l be i(g). Suppose c - 26 = -u + 6*c, -5*u = -4*c - 25. Solve -3*n + l = -u for n.
3
Let z(k) = -k - 18. Let l be z(-6). Let i = l - -24. Solve -5*v = 13 + i for v.
-5
Suppose 5*y = y. Solve y = 4*c - 0 + 4 for c.
-1
Let o be ((-30)/45)/(1*(-3)/9). Suppose w - 3*a - 3 = 3*w, 5*a + 5 = 2*w. Solve o*f = -w*f for f.
0
Suppose 6 = -10*o + 12*o. Solve -s - 1 + o = 0 for s.
2
Suppose 4*t - 5*t = -5, -3*t = 5*j - 150. Suppose -2*g - 3 = -j. Solve o + g = -2*o for o.
-4
Let b be ((-120)/50)/(4/(-10)). Solve -b - 19 = 5*z for z.
-5
Let z be 4*7/(-126) - (-112)/18. Solve 2*d = z*d + 12 for d.
-3
Suppose 0 = 3*u + 3 - 9. Let z be 7*u*(-2)/(-4). Solve -5*a = -13 - z for a.
4
Let v(k) = -k**2 + 4*k + 2. Suppose -2*g - 4*t - 12 = 0, -2*t + 3*t + 25 = 5*g. Let p be v(g). Let j(u) = -u - 5. Let z be j(-6). Solve p*m = 3 - z for m.
1
Let y be 1 + -5 + (1 - -4). Solve y = -3*l - 2 for l.
-1
Let z = -23 + 34. Let n be -13 - -15 - 2/(-1). Solve -z = -n*g + 9 for g.
5
Let r(x) = 2*x**2 - 5*x + 5. Let f be r(3). Solve -4*j + 0 = f for j.
-2
Let y(p) = p**3 + 6*p**2 + 6*p - 8. Let q be y(-4). Solve q = -s - 3*s for s.
0
Suppose -5*j - 8 = -28. Let g(b) = 4*b**3 + b**2 - b + 1. Let o be g(1). Solve -a = -o*a - j for a.
-1
Let a(k) = k - 5. Let v be a(7). Let y be v + 1 + 1*2. Suppose -5*t = -g, 2*g - 60 = -3*g - y*t. Solve -g + 30 = 4*s for s.
5
Let a = 5 + -5. Solve a*j + 4 = j for j.
4
Suppose a = 6*a, 2 = u + 4*a. Let t(x) be the third derivative of x**5/60 + x**4/24 - 3*x**2. Let b be t(-2). Solve b = -u*r + 6 for r.
2
Let r(u) = u**2 + 6*u + 6. Let s be r(-6). Let t = 16 - s. Suppose -6 = -2*w, 9*w = 5*i + 4*w - t. Solve i - 1 = -2*g for g.
-2
Let m = 1 + -5. Let a be (4 - 4) + (1 - m). Suppose g + 20 = a*o + 6*g, 5*g = -o - 4. Solve 0 = 5*t - 1 + o for t.
-1
Suppose 26 = 4*i - 2*s, -i = -0*i - 2*s - 11. Solve 0 = -i*c + 3 + 7 for c.
2
Let x(n) = -n**3 + 4*n**2 + 5*n + 2. Suppose -5*h + 17 = -8. Let y be x(h). Solve -y*c = -c - 2 for c.
2
Let n = 2 - -1. Suppose 31 = n*w + 4. Solve -4*b - w = -b for b.
-3
Let v = -8 + 13. Suppose