et c = 0 - -9. Let f = c + -5. Solve f = t*s - 0 for s.
2
Let f(v) = -2*v**3 + 2*v**2 + 2*v + 1. Let d be f(-1). Solve -d*u + u + 2 = 0 for u.
1
Let h be -3*1/(3/(-4)). Let w(i) = i**3 - 3*i**2 - i - 4. Let t be w(h). Let a(u) = u**2 + 2. Let k be a(0). Solve -t = -5*d + k for d.
2
Let r(u) = u**3 + 12*u**2 + 12*u + 6. Let f be r(-11). Let c = f - -8. Solve -19 = -c*k - 4 for k.
5
Suppose 0 = -4*h - h + 25. Let v(a) = a**2 - 5*a + 3. Let r be v(h). Solve -3*f + 0*f + r = 0 for f.
1
Suppose 2*n + z = -z + 4, -4*n + 8 = 5*z. Suppose 2*w + 2 = n*d, -w = -5*w + 3*d. Solve -w - 1 = o for o.
-4
Let i(y) = y**2 - y + 1. Let x = -9 - -6. Let w(t) = t**3 + 4*t**2 + t - 4. Let a be w(x). Let f be i(a). Solve -3 = 2*p - f*p for p.
3
Let c be 4/(-14) + (-656)/56. Let x = 24 + c. Suppose -4*g = -9*g + 20. Solve -x = -a + g*a for a.
-4
Suppose 12 = -0*h + 4*h. Solve 8*l + 5 = h*l for l.
-1
Let v(s) = -5 + 2*s - s**2 + 5*s + 5*s - 2*s. Let m be v(9). Suppose -4*x - 8 = -m*p, 0*x - 8 = -4*p + 2*x. Solve -i - 3 = -p*i for i.
3
Suppose 12*d - 11*d - 2 = 0. Suppose 5*t = d*t + 4*o + 34, 10 = t - 2*o. Solve 3*l = 1 + t for l.
5
Suppose 2*h = 3*v - 5, 5*v - 4 = 2*h - 1. Let k = 3 - v. Let q(b) = b + 18. Let y be q(-15). Solve -k = 5*c - y*c for c.
-2
Let x = 6 + -7. Let r = x - -1. Solve q + r = 1 for q.
1
Suppose 6*b = 7*b - 17. Suppose -4*n + 41 - b = 0. Solve -2*a = -n*a for a.
0
Let s(o) = -o**2 - 6*o. Let r be s(-5). Suppose -2*g = -0*q + r*q, -4*q + 5*g = 0. Suppose 30 = -q*m + 3*m. Solve -7*t = -2*t - m for t.
2
Suppose 1 = -i, j - 2*i = -5*i - 1. Solve 0 = -j*t - 0 + 4 for t.
2
Let f(c) = c**2 - 5*c + 3. Let b be f(3). Let o = b - -9. Solve -6 = -3*v + o*v for v.
-2
Suppose 0 = 4*c - 2*m + 1 - 7, 5*c - m - 6 = 0. Suppose b + 10 = 3*b. Suppose 13 = b*q - 2*w, 5*q - 3*q - w = 6. Solve q + c = -z for z.
-2
Let z be (-69)/(-21) - 2/7. Let u(q) = -q**2 - 5*q + 3. Suppose -16 = 3*j - 1. Let h be u(j). Solve 0*a + z = h*a for a.
1
Suppose 0 = -a, -3*a = -3*m - 4 + 10. Let i = -2 + m. Let r be 5 - 1/2*0. Solve -5*v + r = -i for v.
1
Let p = -11 + 11. Solve p*m = -m + 3 for m.
3
Suppose -4*g = -p + 1, 4*g - 1 = 3*p - 4. Solve r + g*r = -1 for r.
-1
Let q(y) = y**3 - 5*y**2 + 7*y - 2. Let g be q(3). Let t = 2 - -1. Solve -8 - g = t*s for s.
-3
Suppose 3*w + 0 - 6 = 0. Suppose -a - a - 14 = -w*q, -5*q + 2*a + 23 = 0. Solve n = q*n + 2 for n.
-1
Let u = -10 - -6. Let x be (2/(-4))/((-13)/(-208)). Let t be x/12*6/u. Solve 0 = c + 2 + t for c.
-3
Let l be -4 + 0 + (-22)/4*-2. Solve l*g + 10 = 2*g for g.
-2
Suppose 0 = -4*p - 0*p + 688. Suppose -5*c - 3*j = -p, 2*c - 11 - 62 = 3*j. Suppose 5*v - 5 + 0 = 2*s, -3*v + c = 2*s. Solve -7*f + 2*f = s for f.
-2
Suppose -r = -3*r. Suppose r = 6*l - 3*l. Solve l*p + 4 = -p for p.
-4
Let n be (0/(-8))/(0 + 2). Suppose n = 5*t + 3*x - 15, 0 = -5*t - 0*x - 5*x + 25. Solve t = -l - 4 + 2 for l.
-2
Let i = -12 + 17. Suppose -i*v + 37 = -2*r - 0, 0 = 3*r - 12. Solve s - v = -2*s for s.
3
Suppose 4*d - 8 = 8. Let a = 5 + 5. Solve -2 = -d*g - a for g.
-2
Let p(y) = y**2 + y - 2. Let z be p(-2). Suppose -3*v + 9 = 3*g - z*v, -3 = -5*g - v. Solve g = 5*i - 4*i + 3 for i.
-3
Let s(m) = m**3 + 3*m**2 - m + 2. Let v be s(-3). Suppose 4*i = v*i + 2*z, 0 = -i - z. Solve 0*t + t + 1 = i for t.
-1
Let z = -2 + 4. Suppose -z*n + 0 = -10. Suppose r + x - n = 0, 5 = 4*r - x - 5. Solve y - 2 = r*y for y.
-1
Let q = 20 - 9. Let m = q + -8. Solve -i + 0*i - m = 0 for i.
-3
Suppose 0 = 2*p - 18*p. Solve -2*k - k = p for k.
0
Let j = 2 + 0. Solve 3*w - 3 = j*w for w.
3
Let y = 9 - 5. Solve -j + 5*j = -y for j.
-1
Let c = -4 + 7. Suppose 0 = -3*a + 8*a. Suppose a = 2*l + 3*l. Solve c = -l*h + 3*h for h.
1
Suppose -3*f = -13 + 1. Let n(x) = -x - 12. Let t be n(-16). Solve -t = f*p - 12 for p.
2
Let g(d) = -d**2 + 4*d - 1. Let w(v) = v**2 + 4*v + 2. Let m be w(-4). Let q be g(m). Solve -4*l + q*l - 3 = 0 for l.
-3
Let l be (1 + -2 - 1)/(-1). Suppose -n = 3*v - 4*v + l, -n + 10 = 5*v. Solve 15 = -v*w - 3*w for w.
-3
Let q be 2 + (0 - (-4 + -1)). Solve 9*p - 10 = q*p for p.
5
Let i(r) = r + 6. Let y be i(-3). Suppose -n - 2 + 7 = 0. Suppose 0*l + n*l = 0. Solve l*m = y*m + 15 for m.
-5
Suppose -22 = -2*n - 4*p, -2*n + 0*p = -2*p + 8. Suppose 5*s = 19 + n. Solve -s*b = -2 - 10 for b.
3
Let d(q) = -2*q**3 + 2*q + 1. Let l be d(-1). Let n be 1 + 15/3*l. Solve h - 4*h + n = 0 for h.
2
Let y(f) = -f**3 + 4*f**2 + 6*f - 3. Let m be y(5). Let n be 0*((-6)/m)/6. Suppose n*i - 4*i = -16. Solve z + i = 3 for z.
-1
Let k be 2*1 + (2 - 4). Let g be 3/6 + (-61)/(-2). Suppose g - 4 = 3*h. Solve k*f + 3*f = -h for f.
-3
Let k(s) = s**2 - 3*s - 2. Let l be 43/(-4) + 1/(-4). Let m = 15 + l. Let f be k(m). Solve f = o + 1 for o.
1
Let v(f) = f**2 + 8*f - 5. Let k be v(-9). Suppose -5*m = 0, -k*r - 5*m + 12 = -2*m. Solve -p - 8 = -r*p for p.
4
Let k(d) = -d**3 - 12*d**2 - 10*d + 14. Let u be k(-11). Let r(w) = -w**3 - 5*w**2 + 5*w - 6. Let l be r(-6). Solve -4*f + u*f + 4 = l for f.
4
Let n(q) = -q**3 - 6*q**2 + 7*q + 3. Let t be n(-7). Suppose z = t*z - 10. Solve -z*u = -0*u for u.
0
Let o = 4 + -4. Let c = -9 - -10. Suppose 2*i - c = 5. Solve o = 6*k - i*k for k.
0
Let j(o) = o + 15. Let q be j(-8). Suppose -q*r = -3*r. Solve -2*v + 2 + r = 0 for v.
1
Suppose -q + 8 = -5*m - 17, -2*q - 5*m + 35 = 0. Solve -2*u + q = 3*u for u.
4
Let q be -2 + 4 - 2/1. Solve q*c - 4*c - 12 = 0 for c.
-3
Let v(u) = u**3 + 5*u**2 - 6*u + 4. Let h be v(-6). Suppose 3*f + h*n = -27, -2*f - 18 = 3*n + n. Let l = 13 + f. Solve 4*w + l = -8 for w.
-3
Let h(o) = -o**2 - 10*o - 6. Let a be h(-9). Solve -f = -a*f - 6 for f.
-3
Suppose -5*i = 5*x + 75, 4*x - i + 13 + 42 = 0. Let w = 2 - x. Solve 2*b + w = 6*b for b.
4
Suppose h = -u, -3*u + 6*u + 4*h = -2. Suppose 2*o = -u*o. Solve o*d + 3 = -d for d.
-3
Let a(y) = -3*y - 18 + 18. Let z be a(-1). Solve -k + 16 = z*k for k.
4
Suppose -l = 2*v - 33, 0*v + l = 3*v - 42. Solve -r + 6*r - v = 0 for r.
3
Suppose 2*w + 13 = 3*s + 4*w, 2*s + 4*w = 14. Solve 5*k = -s - 2 for k.
-1
Suppose -4*z + 17 = -5*d - 18, -5*z + 3*d + 47 = 0. Suppose a + 4*h - 10 = 0, -3*a - z + 33 = 5*h. Solve -a*u + 12 = -2*u for u.
3
Let z(c) be the first derivative of c**3/3 + 4*c**2 + 5*c - 2. Let x(k) = k**2 + 8*k + 6. Let b(u) = 5*x(u) - 6*z(u). Let y be b(-8). Solve y = 3*q - 0*q for q.
0
Let k be (1 + -2)/(-1)*4. Suppose 5*q - 76 - 4 = 0. Solve -k*j + 8*j = -q for j.
-4
Suppose 5*s = 22 - 12. Solve 3*j = 14 - s for j.
4
Suppose y = 5*y - 4. Suppose 2*x = -y + 5. Suppose 2*d + x*s = -s - 1, -2*d + 2*s = -14. Solve 2 = 2*l - d for l.
3
Suppose -2*u + 6*u = -20. Let z = u + 8. Solve 2*w = -5 - z for w.
-4
Let f(a) = a**3 + 9*a**2 + 7*a - 6. Let g be f(-8). Suppose -v + 30 = -c, 0 = c - g. Solve -v = -5*x - 7 for x.
5
Let a(l) = l**2 - 2*l + 2. Let r be a(2). Solve r*o + 0*o = 0 for o.
0
Suppose -a + 2*y - 1 = -13, 4*y = 5*a - 36. Solve 4*m + a = 2*m for m.
-2
Let v be -1 + 0 - (-28)/4. Solve -p + v*p = 20 for p.
4
Suppose -d + t = 5, -d - 13 = -5*t + 12. Solve d = x + 2*x for x.
0
Suppose 0 = -6*g + 3*g + 12. Let l(v) = v**3 - 4*v**2 - 3*v + 4. Let h be l(4). Let x be g/h*(1 + -1). Solve -2*s + s + 4 = x for s.
4
Let g(t) = -t**3 + 3*t**2 + 3*t + 5. Let y(m) = m**2 + m + 2. Let a be y(-2). Let u be g(a). Let s = u + 1. Solve s*o = -3*o for o.
0
Suppose 0 = 9*s - s. Solve -z - 2 - 1 = s for z.
-3
Let n(p) = p**2 + p - 2. Let u = -5 + 7. Let b be n(u). Solve -2*x + b*x - 10 = 0 for x.
5
Let v(m) = m**2 - 7. Let a be v(-3). Suppose -4*l = a*l - 30. Solve 0*p = l*p for p.
0
Let g be (-15)/(-4) - (-2)/8. Let i = -2 + g. Solve -i*c - 5 = 5 for c.
-5
Let t = -7 - -11. Let j be (-18 + 0)/(7 + -6). Let o = j + 36. Solve t*r - 2 = -o for r.
-4
Let q be (-5)/3*24/(-20). Suppose 0 = -5*w + g + 43, 7*w = q*w + 5*g + 55. Solve -4*n = -0*n + w for n.
-2
Suppose -a + 2*s - 1 = -0, 3*s = -5*a + 21. Solve 0 = 2*q + q + a for q.
-1
Suppose u + 1 = 2. Let f = 7 - u. Suppose f*d = 3*d. Solve -y = 3 - d for y.
-3
Suppose 8*n = 4*n + 76. Solve -n + 4 = 5*w for w.
-3
Suppose 0 = 11*w - 0*w. Solve u = -w*u - 4 for u.
-4
Let a be 10/(-15)*66/(-4). Solve -5*s + a = 1 for s.
2
Suppose 0*x = -4*x. Solve x*w - 5*w - 10 = 0 for w.
-2
Suppose 0 = -10*y + 6*y + 84. Let d = 4 + y. Solve -3*h + d = 2*h for h.
5
Le