. Let m be t(4). Let f = m - 14. Solve b = c*b + f for b.
-1
Let l(x) = -2*x**3 + 0 + 8*x**2 + 5*x + 3*x**3 + 0*x**3 - 10. Let q be l(-7). Solve -c = -q*c - 6 for c.
-2
Let h be 5/(5/3) + 1. Let n = h + 0. Solve 1 = 5*a - n*a for a.
1
Let t be ((-4)/6)/(2/(-51)). Suppose 0 = -w - 5*s - t, 1 = -4*w + 5*s + 8. Let y be 38/8 - w/8. Solve 2*f - 3*f - y = 0 for f.
-5
Let b be ((-4)/(-6))/((-19)/57). Let j = 1 - b. Solve 1 = j*k + 4 for k.
-1
Let b(l) = 3*l**2 + l - 1. Let u be b(1). Suppose -4*q + 16 = 0, -2*q + 2 = -3*x - 0. Solve x*c + u*c - 10 = 0 for c.
2
Let g = 45 + -28. Suppose -p - 4 = -2*p, -g = -5*k - 3*p. Let j(x) = -x**3 - 2*x**2 - 4*x - 3. Let c be j(-2). Solve -k = c*i + 9 for i.
-2
Let j be -2 + 0 - 140/(-20). Solve -x = -j*x - 8 for x.
-2
Let v(z) = -z + 9. Let k be v(7). Solve 0 = -4*o + k*o for o.
0
Let p(j) be the first derivative of j**2 + 4*j - 3. Let b be p(-2). Solve 3*g - 14 - 1 = b for g.
5
Suppose 5*n = n + 4. Suppose n = x - 1. Solve x*i = 5*i for i.
0
Let s(u) = 5*u**2 + u + 1. Let z be s(-1). Suppose 3*o + 12 = 5*c, z*c = 3*c + 6. Solve 4*a + o = 3*a for a.
-1
Let j(c) = 2*c - 9. Let m be j(6). Suppose -u + m = 2. Let b = 2 + u. Solve 6*n - 3 = b*n for n.
1
Let d = -6 + 10. Let t be ((-2)/3)/(d/(-30)). Solve -4 = -v - t for v.
-1
Suppose -c = 3*c - 28. Suppose 0 = -c*u + 3*u. Suppose 4*r - 3 - 5 = u. Solve k = r*k + 4 for k.
-4
Let u = 26 + -20. Solve 4*v - u = 2*v for v.
3
Suppose -1 = -2*x + 9. Suppose -2*y + x = -1. Solve -y*h = -4*h for h.
0
Suppose 3*f + 0*f = 9. Suppose 6*q - f*q = 0. Solve q = -3*c - 2 - 1 for c.
-1
Let p be 39/15 + (-6)/(-15). Suppose 0 = -p*y - 2*y + 5. Solve 1 + y = 2*r for r.
1
Let s be (-14)/(-4) - 2/4. Let r be ((-2)/s)/(14/(-63)). Solve w = 4*w + r for w.
-1
Suppose 4*t = -4*h + 16, 3*t + 2 = -2*h + 6*t. Let y = 0 + h. Let i be (-2)/7 + 2/7. Solve i*f - y*f = -6 for f.
3
Suppose 3*f + 5*p = -25, -f + 3*p = -2*p - 25. Suppose f = -2*n - n - 3, -n = 2*v - 29. Solve -v = -0*a - 5*a for a.
3
Suppose -13 = o - 18. Solve o*q + 5 + 15 = 0 for q.
-4
Suppose 0 = 2*f - i + 3, -5*i + 3*i + 6 = 0. Solve 5*q + f = -5 for q.
-1
Let f(m) = -m**2 + 8*m + 11. Let l be f(9). Solve l*i - 4*i = 0 for i.
0
Suppose -16 = -3*n - n. Solve p + n*p = 10 for p.
2
Suppose 8*y + 6 = 11*y. Solve 1 = -y*o + 5 for o.
2
Let u(d) = -d**3 - 5*d**2 + 5*d - 4. Let k be u(-6). Suppose 3 = k*z - z. Solve 2*t - z = t for t.
3
Let y = -4 - -7. Suppose y*b + 8 = a, 0 = b - 5*b. Let m = a - 6. Solve m*h = 6*h for h.
0
Let j(r) = -r**2 + 6*r + 18. Let g be j(8). Solve -4 = -y - g for y.
2
Suppose -78*k = -73*k. Solve -16 = 4*y - k*y for y.
-4
Suppose 2*a - 3*a = 2. Let h be 128/7 - a/(-7). Let k be 94/h + 10/(-45). Solve p = k*p for p.
0
Suppose 2*w + 3*t = -7, 0 = 4*w + t - 4*t - 31. Suppose -v + 123 = w*o, v = -o - 2*v + 17. Suppose -a = -3*a + o. Solve 0 = -0*k - 4*k - a for k.
-4
Suppose -3*t = -10*t + 21. Solve -g + 2 + t = 0 for g.
5
Suppose -4*u - u = -20. Solve -u*i = -0*i for i.
0
Let s(g) = -2*g - 10. Let z(x) = 3*x + 19. Let t(f) = 5*s(f) + 3*z(f). Let u be t(6). Let l = -1 + u. Solve -16 = -4*j - l for j.
4
Suppose 0 = 2*f - y + 2, 2*f - 2*y = -4*y + 4. Suppose -2*h - 2*h + 16 = f. Solve -2 = -2*i + h for i.
3
Suppose 5*k = -3*c + 53, -20 = -c - 5*k + 11. Solve -c + 1 = -5*q for q.
2
Let a(x) = 6*x**3 - x. Let j be a(1). Let z be (-2)/(-8) + (-3)/12. Let l be 3 + (z/2)/4. Solve l*n - j*n = 10 for n.
-5
Let v = -19 - -29. Solve 4*o + o = v for o.
2
Let f(p) = 2*p**2 + 5*p - 2. Suppose 5*i = 0, 5*i + 8 = -2*x + i. Let d be f(x). Suppose 0*b = 2*b - d. Solve -b*z - 15 = -0*z for z.
-3
Let y(p) = -p**2 + 2*p + 3. Suppose -8 = -5*s + v + 7, 0 = -5*s + 5*v + 15. Let x be y(s). Solve x = 7*j - 2*j - 5 for j.
1
Let n(p) = p - 1. Let b be n(3). Let s(x) = x**3 - 3*x + 1. Let f be s(b). Suppose f*j - 7 = 5*u, 0 = -5*j - u - u + 22. Solve -3 = -j*t + 5 for t.
2
Suppose -5*p + 15 = 4*i - 3*i, -5*i - 25 = 0. Solve 2*x - p + 0 = 0 for x.
2
Let f be 20/(-6)*30/20. Let x(i) = -i. Let b be x(f). Solve -b*z - 8 = 2 for z.
-2
Let i(b) = b**2 + b + 18. Let r be i(0). Solve 3 = 5*o + r for o.
-3
Suppose 45 = 4*o - o. Let b = 56 + -54. Solve -b*t = t - o for t.
5
Suppose -2*b = b - 9. Suppose -2*a - u - u + 10 = 0, -a = b*u - 7. Solve 2*z = a + 4 for z.
4
Suppose -3*r = -10 - 14. Solve -2*u = -r - 2 for u.
5
Let z(y) = 2*y + 9. Let f be z(-4). Let v be f*-1 - (-8)/8. Solve 4 = l - v*l for l.
4
Let s(p) = -p**2 - p + 3. Let a be s(0). Solve -3*d = 12 - a for d.
-3
Let l be 1 - 0 - (7 + -10). Solve -6 = -p + l*p for p.
-2
Let r(x) = -2*x**2 - 24*x + 2. Let j be r(-12). Solve -j = i - 1 for i.
-1
Suppose -2 = -2*j - 12. Let w(u) = u**3 + 15. Let a be w(0). Let g = j + a. Solve 2*b - g = -2 for b.
4
Let v(i) = -3*i - 20. Let p be v(-8). Let m(c) = -c - 1. Let a be m(-1). Solve a = -f - f + p for f.
2
Suppose 27 = 3*s + 5*l, -4*l + 2*l + 18 = 3*s. Suppose -p + 3*p - 2 = 0. Let u = 4 - p. Solve -1 = u*n - s*n for n.
1
Suppose -3 = -4*w - a, -3*w + 5*a = 18 - 3. Solve w = -5*m + 7 + 13 for m.
4
Let j(t) = -t**2 + 3 + 3*t + 3*t**2 - 1. Let k be j(-2). Let d = k + -2. Solve d*s + s = -9 for s.
-3
Let q be -2 + 2/1 - -4. Let i(o) = 4*o + 3 - 1 + 0*o**2 - o**2. Let h be i(q). Solve 0 = -0*b - b - h for b.
-2
Let x(d) = d**2 + 8*d + 5. Let f be x(8). Suppose 0 = -4*b - 41 + f. Let s = b + -11. Solve 3*m + m = -s for m.
-3
Suppose 0 = -y + 3*y + y. Solve 5*v - v - 8 = y for v.
2
Suppose -6*c = -9 - 3. Solve -c*v = -0*v - 10 for v.
5
Suppose 3*b - 3*g - 2 - 28 = 0, 36 = 4*b - 3*g. Let y be 28/42 - (-20)/b. Solve s - 15 = -y*s for s.
3
Let w be (2 - 2) + 6 + -10 + 6. Solve -w*q + 0*q = 8 for q.
-4
Let z = -50 - -52. Solve b - 2 = z for b.
4
Suppose 0 = -5*w - 0*l + 4*l - 8, 3*w = 2*l - 4. Let s(m) = m**2 - 4*m - 1. Let i be s(5). Let d = -7 - -10. Solve i*j - d*j = w for j.
0
Let b = -5 + 15. Suppose -5*j = r - b, -2*j - 4*r - 29 = -5*j. Solve -3*s + j = 12 for s.
-3
Suppose 4 = -j + q, -j + 3*q - 6 = q. Let k be (0/1)/(2/j). Solve 0 = a - k*a for a.
0
Let f be (-7)/((-63)/6)*12. Let s = f + -4. Solve 3*o = o - s for o.
-2
Let g be 6 + 2 + -3 - 1. Solve 4*w - g = 3*w for w.
4
Let q(i) = -i**2 + 8*i - 4. Let k be q(7). Let l = k - -12. Let a be 3/l + 2/(-10). Solve -c - c - 6 = a for c.
-3
Suppose 4*f - f = 18. Let n be 6/(27/f + -3). Solve y + 6 = n*y for y.
2
Let m be -1*4*11/(-2). Suppose -18 = -5*f + m. Solve -3*x = -f - 4 for x.
4
Let n(y) = -y + 7. Let q be n(6). Solve -2*t - 1 = q for t.
-1
Let o be -34 + -1 - (0 + 1). Let s = -12 - o. Suppose 0 = -3*f + s - 3. Solve -x - f + 2 = 0 for x.
-5
Let c(l) = 2*l - 7. Let t(f) = -f**3 - 4*f**2 + 4*f + 2. Let m be t(-5). Let g be c(m). Solve g*a = 2*a for a.
0
Suppose -2*s + 9 = -7*c + 12*c, -2*c + 12 = 5*s. Solve 4 = 3*y - s*y for y.
4
Suppose -8*n + 3*n - 6 = -3*a, 5*n + 2*a = 4. Let l(z) = z**3 + z**2 + z. Let v be l(0). Solve n = -u - v - 3 for u.
-3
Let t(v) be the second derivative of v**2 + 4/3*v**3 + 2*v + 0 - 1/12*v**4. Let o be t(8). Solve -w = -o*w for w.
0
Suppose 8 = 2*k, -2*k = -2*s - 2 + 4. Suppose 0 = -3*r - 3, 0 = -5*v + 3*v + 5*r + s. Suppose 5*i + v*i - 50 = 0. Solve -4*f - i = f for f.
-2
Let b be 16/10 - 2/(-5). Solve b*i - 16 = -2*i for i.
4
Suppose 4*j + 76 = -4*t + 16, -3*j = -2*t - 35. Let u be (-4)/t - (-27)/4. Solve -1 = -4*c + u for c.
2
Suppose -8 = 2*t - 3*l + 9, t = 2*l - 6. Let h = 17 + t. Solve -h = c - 4 for c.
3
Let h = 15 - 10. Solve -14 = 3*j - h for j.
-3
Let m(y) = -y**2 - 10*y + 1. Let z be m(-10). Solve -4*c + 7 = -z for c.
2
Let n = -8 - -1. Let z(s) = s**3 + 8*s**2 + 4*s + 3. Let g be z(n). Suppose 1 + g = o. Solve -7*k + 2*k + o = 0 for k.
5
Let q(l) be the first derivative of -l**2/2 - 2*l - 1. Let p be q(-5). Let r = 0 - 0. Solve 2*i - 1 - p = r for i.
2
Suppose -17 = -5*u + 2*p, 4*u - 8 = 5*p - 2*p. Solve -u*c = -5 + 15 for c.
-2
Suppose 4*r = -r + 75. Let o be (9/r)/((-3)/(-15)). Solve -o*t + 25 = 2*t for t.
5
Let q(d) = 3*d + 3. Suppose -2*b = -3*r + 2*b + 14, -5*r = -b - 29. Let g be q(r). Solve 4*p - 5 = -g for p.
-4
Suppose -2*v = -4*l - 0*l + 76, -l + 4*v = -33. Suppose -l = -2*h - 3. Solve -h = -2*s + 1 for s.
4
Suppose -7*z = -8*z. Solve z = -x + 5*x - 16 for x.
4
Let n(q) = -q**3 - 10*q**2 - 3*q - 5. Let r be n(-10). Solve -4*u + r = u for u.
5
Let 