0 = u - 4*a + 9. Let d = u - -6. Let t be (-7)/d + (-6)/18. Solve t*c + 7 = 1 for c.
-3
Let k = 6 + -3. Let v = 4 + -1. Solve -v - k = 3*u for u.
-2
Let d = 7 + -5. Suppose -x + d = -3. Solve -s = -x*s for s.
0
Let q(f) = f**3 + 5*f**2 + 6*f. Let i be q(-4). Let d(c) = -2*c - 12. Let z be d(i). Solve -z*y - 2 = 6 for y.
-2
Suppose -6*b + o + 25 = -b, 2*b - o - 13 = 0. Suppose -b*y - 2*i = -7*y + 24, -5*i + 3 = 3*y. Suppose y = -4*w + 6*w. Solve w*h = h for h.
0
Let p(s) = 2*s**3 - s**2 - 4*s. Let y be p(2). Solve -y*m = -m for m.
0
Let j(n) = -n**3 - 2*n**2 + n + 4. Let a be j(-2). Solve -a*c = -c for c.
0
Let k(t) = -t**3 + 8*t**2 + 9*t + 1. Let g be k(9). Solve -g = -3*n - 4 for n.
-1
Let t(x) = 3*x - 12. Let a be t(5). Solve a*r = -r - 12 for r.
-3
Let y be 1*(-2)/1 + 7. Let r be (y + -1 + 2)/2. Suppose -k - u + 5 = -0, 0 = -r*k + 2*u. Solve k*a - 3 - 1 = 0 for a.
2
Suppose l - 19 = -3*l - 3*x, 0 = 3*l - 5*x - 7. Suppose 0 = -5*h - l*o + o + 25, 4*o = 0. Let z = h + 0. Solve 2*s = z*s for s.
0
Suppose -4*t = 1 - 13. Suppose k - 6*k + 59 = -b, -52 = -4*k + 2*b. Let x be (1 + (-3)/9)*3. Solve -x*y - k = -t for y.
-4
Let s(o) = o**3 - 9*o**2 - 9*o - 8. Let y be s(10). Suppose n = -y*n. Solve 0*h + 3*h - 15 = n for h.
5
Let a(v) = v**3 - 6*v**2 + 6*v + 5. Let f be a(5). Solve -3*y - f = -5*y for y.
5
Let i(a) = 3 + 1 - 5*a - 5 + 4*a. Let h be i(-2). Let z = h + 1. Solve 2*b = -z*b for b.
0
Let z(f) = f**2 + 5*f - 6. Let w = 2 + -8. Let b be z(w). Suppose b*i + 1 = i. Solve 2*h + i + 5 = 0 for h.
-3
Suppose 0 = 31*f - 35*f. Solve -2*w + f*w = 10 for w.
-5
Let x = 6 + -6. Solve p - 2*p - 4 = x for p.
-4
Let x = -4 - -1. Let r = x + 3. Solve 10 = 2*g - r for g.
5
Suppose -f - 10 = -5*y + f, 3*f = 0. Let v be 2 - 5/(10/(-6)). Let b be 3 - (v + (-9)/3). Solve -5 = -y*d + b for d.
3
Suppose y + 1 = -3. Let g be (y/8)/(3/(-18)). Suppose -24 = -2*x + 4*o, 2*o + g*o + 19 = -3*x. Solve 0 = -0*r + x*r + 4 for r.
-2
Suppose -4*f - 12 = 3*w - 7*w, -2*w + 3 = -5*f. Solve 0 = 8*u - w*u - 4 for u.
1
Let c be (-20)/(-3 - (3 + -4)). Let l be 10/1*4/c. Solve l*u = 7 + 9 for u.
4
Suppose 2*z - 28 = -5*a, 2*z + z = -a + 16. Suppose -6*v = -4*v - z. Solve v*l = -l for l.
0
Let v(k) = -k**3 - 4*k**2 - k - 4. Let d be v(-4). Suppose f = -f + 4. Solve y - 3 + f = d for y.
1
Suppose -12*l + 21 = -5*l. Suppose -i - 3 - 1 = -q, -5*q + 6 = 2*i. Let h = i - -2. Solve u + 5 - l = h for u.
-2
Suppose 0 = -x - 2 + 17. Solve -4*u + x = u for u.
3
Let r be (-1)/(-2)*12*2. Let y be (-9)/(-2) + 3/(-6). Solve 4*s = y - r for s.
-2
Suppose -5*y - 5 + 15 = 0. Solve -y*m - 10 = -4*m for m.
5
Let b = 24 - 17. Suppose 2*n = 2, 0*i - 4*i + 12 = 4*n. Suppose i + 30 = 4*j. Solve 5*h + b = -j for h.
-3
Let z(h) = h**3 - h**2 + h + 2. Let c be z(0). Solve c*s = -s - 3 for s.
-1
Suppose -y - 10 = 4*r - 2*y, -4*r - 5*y = 22. Let b = r + 5. Solve -1 = b*o - 5 for o.
2
Let m(i) be the third derivative of i**5/60 + i**3/6 - i**2. Let x be m(1). Solve -8 = 3*j - x for j.
-2
Suppose 4*b + 10 = -6. Let q(z) be the second derivative of -z**3/2 + 2*z**2 + z. Let t be q(b). Solve -a - t = 3*a for a.
-4
Let d be (5 + -2 + 2)*3. Suppose 0 = -3*b - 2*q + 6, -d = -2*b - 0*b - 5*q. Suppose -4*r = 3*z + 7, -2*z - 2 = 4*r - b. Solve r*c = -2*c + 16 for c.
4
Suppose -3*q + 3*n + 73 = 7*n, -4*n - 42 = -2*q. Let c be q + (-2 - (-3 - -1)). Suppose 4*v + 7 - c = 0. Solve 7 = v*g - 5 for g.
3
Suppose -2*x = 2*p - 10, -3*x - x + 2*p + 8 = 0. Suppose -2*g + 3*i + 4 = 0, 0*g + 19 = 3*g + 2*i. Solve 0 = -2*u - x*u - g for u.
-1
Let r be 3 + 0 + 6/(-2). Suppose -t + 11 + 0 = r. Solve 2*z - t + 1 = 0 for z.
5
Let s(j) be the third derivative of j**4/24 + 7*j**3/6 - 2*j**2. Let g be s(-3). Suppose 2*r - 2*p + 6*p - 14 = 0, p = -g*r + 14. Solve -2*k = -1 + r for k.
-1
Suppose 3*y + r - 16 = 0, 0*r - 1 = -r. Solve y*n = -0*n for n.
0
Suppose 0 = -48*v + 45*v + 6. Solve -v = u + u for u.
-1
Let q(r) = r**2 - r + 3. Let y be q(0). Suppose y*u - 2*u - 4 = 0. Suppose 10*x = 9*x. Solve -12 = -u*a - x for a.
3
Let b = 34 + -29. Solve -w - b = -0*w for w.
-5
Let l(p) = p - 7. Let s(r) = r - 6. Let v(a) = -2*l(a) + 3*s(a). Let z be v(8). Suppose 0 = n - 4*q - 13 - 9, z*n + 7 = -3*q. Solve n = d - 3 for d.
5
Let s(l) = -l**3 + 3*l**2 + 4*l + 2. Let c be s(4). Let j be ((-2)/(-1*c))/1. Let q be (0 + j + 0)*3. Solve -q*b + 9 = -0*b for b.
3
Let i(f) = f**3 - 6*f**2 + 2*f - 7. Let j = -1 + 7. Let x be i(j). Solve 0 = -x*t + t - 20 for t.
-5
Let x be (-1)/3 - (-192)/36. Solve -x*m + 0*m = 0 for m.
0
Let o = -39 + 45. Solve o + 14 = 5*j for j.
4
Let v = -11 + 13. Suppose -x - v*m + 5 = 0, -x + 1 = -0*m - 2*m. Solve x*t = -0*t - 15 for t.
-5
Suppose -4*a + 38 = 2*d, 33 = 3*a + 2*d + d. Let y = 10 - a. Solve y*b + 15 = 5*b for b.
5
Suppose 4*z = -2*r - z - 7, 3*z = -15. Solve 0*q + r = 3*q for q.
3
Suppose 0 = -2*a - 4*n + 28, a - 3 + 19 = 4*n. Let g be 3/(1 - (-2)/a). Solve 0 = g*q + q for q.
0
Suppose l + 2*l = 0. Suppose -3*i + 2*i = l. Solve i = 4*p - 0*p - 16 for p.
4
Let u = 1 - -1. Let t = 3 + u. Suppose 4*y - t*y = -3. Solve -2*s - 3 - y = 0 for s.
-3
Suppose -4*d + 2 = 2*u, 0*d + 5*u + 13 = -d. Let l be (-119)/(-11) + (-8 - (-450)/55). Solve 3*s - l + d = 0 for s.
3
Let q be (-2)/(-4) + 26/(-4). Let f(y) = y**3 + 7*y**2 + 7*y + 8. Let w be f(q). Let g be w + (4/2 - 0). Solve u = g*u for u.
0
Let o = 1 + 2. Suppose o*j + 14 = -4*f, j - 3*j = -f - 9. Let i be (j - (4 + -2))/2. Solve 5*m + 2 + 3 = i for m.
-1
Let d = 10 - 10. Suppose d = 5*x + r - 4*r - 1, -4*r = 5*x + 13. Let b be (-3)/3 - 2*x. Solve 2 = -q - b for q.
-3
Suppose 3*o - 3*l + 3 = 0, -2*l + 17 = -o + 3*l. Let v = 3 - o. Solve -3*k + 0*k = v for k.
0
Let v(c) = -c**3 + 4*c**2 + 7*c - 6. Let y be v(5). Suppose -4*t - q + 10 = -t, y*t - 2*q = 0. Suppose -t*s = 2*s. Solve z = -s*z for z.
0
Let c = 28 + -20. Let b = 69 - 65. Let g = 14 + -6. Solve -b*p - c = g for p.
-4
Suppose -4*c + 20 = 3*g, 5*g + c - 10 = 6*c. Suppose -g*a + 5 = -15. Solve -a*f - 23 - 2 = 0 for f.
-5
Suppose -50*u + 15 = -45*u. Solve u*z = 4*z - 5 for z.
5
Let z = -3 - -5. Solve -3*x - z*x = 5 for x.
-1
Suppose -2*j + 20 = 18. Solve -4*v - 7 = j for v.
-2
Suppose -2*l - 4*x = -20, 0 = -3*l + 2*x + 3*x - 3. Suppose 5*j = -l*c + 109, -3*c + c + 3*j = -27. Solve 5*t - 1 = -c for t.
-4
Suppose -3*v + 6*v - 10 = -4*q, q = 4*v + 12. Solve -6*b + q = -2*b for b.
1
Suppose 5*f - 2*l = 39 + 25, 2*f - 5*l = 34. Let o = -8 + f. Let h = o + 11. Solve 5*v + h - 5 = 0 for v.
-2
Let b = -14 - 18. Let a be ((-6)/4)/(6/b). Solve 3*n - a = -n for n.
2
Let l be (-132)/9 + 1/(-3). Let t = -30 - l. Let q be 4/(2*(-3)/t). Solve -n + q = n for n.
5
Suppose 0 = -x, 2 = -2*p + x + 6. Suppose -4*f - 13 = 3*c, 2*c + 0 = f + 6. Solve -o = -p*o + c for o.
1
Let w(j) = j**3 + 6*j**2 - j - 3*j - 3*j**2 - 3 - 7*j**2. Let c be w(5). Let g = c + 3. Solve 3 - g = a for a.
-2
Suppose 0 = -2*i + 7 + 1. Suppose 0 = i*z + 5*q + 5 + 7, -2*z = -5*q - 24. Solve z - 5 = b for b.
-3
Suppose 0 = -0*j + 4*j - 28. Let p(t) = t**2 - t + 2. Let i be p(2). Let o = j - i. Solve 0 = o*a - a for a.
0
Suppose -5*d + 2*k - 14 = -3*d, 0 = 3*k. Let o = 32 + -49. Let p = d - o. Solve -6*j + j - p = 0 for j.
-2
Let p(a) = a**2 - 17*a + 18. Let o be p(16). Solve -o*f - 13 + 5 = 0 for f.
-4
Let q(f) = 7*f**2 + 2*f - 2. Let s be q(1). Solve s = -2*u + 17 for u.
5
Let a(x) = 3*x**2 - 6*x**3 + 2*x**3 - 2 + 2*x**3 + 5*x. Let l be a(3). Let g be (-88)/(-14) - (-4)/l. Solve -g*n = -4*n - 10 for n.
5
Suppose 6 + 4 = 5*m. Solve m*t + 0*t = 4 for t.
2
Let m = 130 + -130. Solve d + m*d - 5 = 0 for d.
5
Suppose z + 10 = 6*z. Suppose 0 = -5*w - u + 19, 0 = -0*u - 2*u - z. Suppose -w = 2*p - 4*p. Solve p*m = 7*m - 10 for m.
2
Let z = 1 + -1. Let k(o) = 2*o**2 + 2*o - 2. Let y be k(2). Suppose 5*a + 0*a = y. Solve s - a*s - 2 = z for s.
-2
Let q = -123 + 123. Solve -3*s + 6 = -q*s for s.
2
Let i be 5 + -7 + (4 - 1). Solve 3*s - 8 = i for s.
3
Let q(x) = x - 12. Let s be q(9). Let y be -2 - s*(-3)/9. Let c(t) = t**2 + 4*t + 4. Let m be c(y). Solve h = -m + 2 for h.
1
Let t be 1/((-2)/(-36)) + -2. Suppose -4*b + s + 15 = 0, b - t - 9 = -4*s. Solve 0 = u - b*u + 8 for u.
2
Let s = -21 - -11. Let t = 15 + s. Solve -t = 3*b + 1 for b.
-2
Suppose 6*d = 77 + 19. Solve 5*m + d = 