). Let i be c(-4). Solve -6 + 1 = -i*q for q.
1
Let o be (-4)/(-14) - 27/21. Let a be 15/1*o/(-3). Let n(q) = 3*q**2. Let s be n(1). Solve -a = -s*u + 10 for u.
5
Suppose 5*w = -11 + 31. Suppose -20 = -4*x - a + 4*a, w*a = -16. Solve 0 = h - 3 + x for h.
1
Let j = 7 + -3. Let w(s) = -3*s - 8 + 7*s**2 - j*s**3 + 3*s**3 - s. Let p be w(6). Solve -p*f - 6 = -f for f.
-2
Suppose 0*t + 112 = 7*t. Solve 5*x + t = 6 for x.
-2
Let u = 45 + -44. Solve -y - 4 = -u for y.
-3
Let w(y) = 6*y**2. Let k = 2 - -1. Suppose -8 = 6*x - x - k*v, 0 = -4*x - 4*v. Let q be w(x). Solve -q*b = -b for b.
0
Suppose 0 = -4*r - 0*r + 12. Suppose 75 = 6*d - d. Solve -r*t - 2*t = -d for t.
3
Suppose -3*l - 2*l + 4 = 3*u, 2 = -4*l - 5*u. Suppose -3*j + 13 + l = 0. Solve 5*m - 10*m = j for m.
-1
Let q(t) = t + 4. Let m be q(5). Solve -25 = -m*p + 4*p for p.
5
Suppose -2*u + 0*u = 0. Solve u - 2 = c for c.
-2
Let s = -8 + 10. Solve -s*k = -3*k - 2 for k.
-2
Let n = 19 - 5. Let j be 4/(-14) - (-214)/n. Solve l + 2*l = j for l.
5
Let u(z) = -z**3 - 2*z**2 + 2*z + 1. Let a be u(-3). Let g(p) = -2*p + 14. Let x be g(6). Solve -a*t - 6 = -x for t.
-1
Suppose -2*o + 5*h = -24, -2*o - 3*h + 5 = -3. Suppose 0*l = 3*l + 2*r - 3, 0 = 5*l - 2*r + 11. Let x = l + 4. Solve -x*z - 22 = -o for z.
-5
Suppose l + 5*w + 1 = -4, 4*l - 5*w = 30. Let y = -2 + l. Suppose -10 + 1 = -y*o. Solve -o*q = 3 - 12 for q.
3
Let v = -42 + 62. Solve 4*q + v = -q for q.
-4
Suppose i - 1 - 3 = 0. Let b = i + -3. Solve -4*k + b = -3*k for k.
1
Let m be (-1 + 2)/((-3)/(-21)). Solve m = -2*z - 3 for z.
-5
Let h(p) = -2*p**2 - 2*p + 2. Let w be h(-2). Let n(o) be the second derivative of -o**3/6 + 2*o. Let k be n(w). Solve 2*f + 0*f = k for f.
1
Suppose g - 9 = -2*g. Let t be (g/2)/((-18)/(-96)). Solve x - t = -x for x.
4
Suppose 0*q = -4*q + 4. Let i = q - -3. Solve 0 = -0*n + 4*n - i for n.
1
Suppose 0 = -0*t + 2*t + 20. Let m(k) = -k**3 - 11*k**2 - 11*k - 11. Let r be m(t). Let p be (r - (-3 - -3))*0. Solve p*u + u = -5 for u.
-5
Let m be 7 + (3 + -4 - 0). Let b be m + 0 - (-7 - -8). Solve 16 = z - b*z for z.
-4
Suppose -2*z = -5*f + 3*f - 26, 0 = -4*z - 3*f + 31. Let l = 6 + -1. Solve 0*m + z = -l*m for m.
-2
Suppose 2 = 2*i, -2*i - 7 = -z - 0. Solve 4*c - c = -z for c.
-3
Let s = 1 + 3. Let o(p) = -2*p**2 - 8*p - 4. Let a be o(-3). Suppose v = -a*k - 3, -21 = -3*v + 5*k - k. Solve 0 = s*h + 9 + v for h.
-3
Let b = 45 + -77. Let x = 112 - 65. Let a = x + b. Solve a = y + 2*y for y.
5
Let q = -5 + 2. Let g(i) = -i. Let y be g(q). Solve k = -y*k - 12 for k.
-3
Suppose 0 = -5*f - 7 + 27. Suppose 4*j = 2*j + f. Solve -q - j = -3*q for q.
1
Let u be ((-36)/2)/(-3)*2. Let g be 0 - (-1 - -1 - u). Suppose 2*b - 3*n + 7*n - 24 = 0, -g = -b + 5*n. Solve 2*t = -t + b for t.
4
Let z = 12 + -8. Let y = z - 2. Suppose 3*r = 4*l - y*r - 23, -3*l = -r - 9. Solve l + 1 = g for g.
3
Suppose 5*w - 2*c + c + 12 = 0, -3*w + 5*c + 6 = 0. Let i be w*4/6 - 3. Let p = 7 + i. Solve -7*v + p*v = -5 for v.
1
Let k(v) = v**3 + 7*v**2 + 4. Let w be k(-7). Solve w*m = 4 + 8 for m.
3
Let m = 170 - 155. Solve 5*c + m = -10 for c.
-5
Let n(f) = -2*f + f + 8*f**2 - 2 - 7 + 1 + f**3. Let t be n(-8). Solve t*q + 2*q + 8 = 0 for q.
-4
Let g(v) = v**3 + 5*v**2 + 7*v + 7. Let m(c) = c**2 - 1. Let i(y) = -g(y) - 2*m(y). Let h be i(-6). Solve -3*w = -2*w - h for w.
1
Let s be 12/(-16)*(-32)/2. Solve -4*g = -8*g - s for g.
-3
Let d(q) = q**3 - 5*q**2 + 6*q - 4. Let l be d(5). Suppose -3*i + 24 = 2*w, 5*i = -2*w + w + l. Let v = w + -6. Solve v = -p - p for p.
0
Let b = 2 - -10. Let d = -10 + b. Solve d*c = 5*c - 15 for c.
5
Let w(c) = c**3 - 2*c**2 - 6*c + 3. Let i be w(4). Suppose -2 = 3*t - i. Let k = 15 + -7. Solve -t*l = -k*l - 25 for l.
-5
Let p = 34 - 30. Solve 0*g - 8 = -p*g for g.
2
Let f = 8 + -4. Suppose 1 = -t + f. Solve t*n = 2*n for n.
0
Suppose 2*v + 0*v = 4. Let d(y) = -6*y - 1. Let n be d(-1). Suppose 3*k + n*w = -v, -5*k = 4*w - 23 + 9. Solve 0*h = 2*h - k for h.
3
Let r(i) = i**2 - 4*i + 2. Let q be r(5). Let n = q + -13. Let f be 12*(2 + 9/n). Solve f = -2*d - d for d.
-2
Let u = 108 + -102. Solve u + 0 = -3*h for h.
-2
Let v be -5 - -4 - (3 - 1). Let n = v + 6. Solve -12 = n*x + 3 for x.
-5
Let t be (-4)/(-3) + (-2)/(-3). Suppose -10 = -2*x + t*o, -5*o = -2*x - 2*o + 12. Suppose 0*r = x*r - 6. Solve -a = -3*a - r for a.
-1
Let v(z) = 8*z + 1. Let j(o) = o**2 - o - 1. Let c be j(2). Let i be v(c). Suppose -25 + 1 = -4*a. Solve -3*u + a = -i for u.
5
Let o be 20/(-6)*12/(-10). Solve o*q = -q - 15 for q.
-3
Suppose 0 = -4*f + f. Let m be (-243)/(-12) + 1/(-4). Solve k + 4*k - m = f for k.
4
Suppose 0 = -5*f - 3*r + 61 - 15, 5*f + 5*r - 50 = 0. Solve 0 = -f*c + 3*c + 20 for c.
4
Let x = 72 + -66. Solve 0 = -x*q + q - 25 for q.
-5
Let b(r) = -7*r - 5. Let t(i) = -i. Let f(x) = b(x) - 6*t(x). Let a be f(-11). Solve -n - n + a = 0 for n.
3
Let f(u) = -u**2 + 4*u + 4. Suppose -6*c = -c. Suppose 5*l + h - 6*h - 40 = c, 9 = -2*l - 3*h. Let w be f(l). Solve 0 = -5*n - 3 - w for n.
-2
Suppose -4*f + 38 = -8*d + 3*d, -8 = 3*d + 5*f. Let s(j) = 6*j + 9*j**2 + 8 - 13*j**2 + 5*j**2. Let q be s(d). Solve -q = 3*x + x for x.
-2
Let v(a) = -3*a + 23. Let n be v(6). Solve n*u = 2 + 3 for u.
1
Let w = 6 - 2. Solve 4*h = w - 0 for h.
1
Suppose 0 = u + 3*s + 2, -u = 5*s + 5 - 1. Let w be -3 + (3 - (-2 + u)). Solve 2*p + 3 = -w for p.
-2
Let w(a) = -a**3 - 3*a**2 - 3*a. Let r be 8/44 - 24/11. Let t be w(r). Solve -t*f - 2 = -f for f.
-2
Suppose 2*z = -6 + 12. Solve -6 + 3 = z*m for m.
-1
Let i be (-70)/25 + (-1)/5. Let n = -3 - i. Solve 2*l = -10 - n for l.
-5
Suppose -5*p + 6*p + 4*a = 28, 0 = -4*p - 4*a + 64. Solve p*q = 8*q + 12 for q.
3
Suppose -4*m + 2 = -h, -2*h + 5*m - 2*m + 16 = 0. Solve h = 4*c + 2 for c.
3
Let b be 9*(-3 + (-29)/(-9)). Solve -x - b*x + 15 = 0 for x.
5
Let l(f) = -f**2 + 7*f + 2. Suppose 3 = 2*w + w. Let v = w + 5. Let k be l(v). Solve -i - k = i for i.
-4
Suppose -u = 4*u. Solve -s - s - 2 = u for s.
-1
Suppose -4*j + 3*s = -22, 5*s = -2*j + 2 + 22. Let b = j - 3. Let a(t) = t**3 - 3*t**2 - 4*t + 6. Let f be a(b). Solve -f*x = -x for x.
0
Suppose -c - 15 = -3*c - 5*r, 5*r - 5 = 0. Suppose -c*f + 4*y = 0, 0*f = -f - 4*y. Solve f*b + 6 = -3*b for b.
-2
Suppose b + 5*g - 6 = 0, 2*b - 57 = g + 4*g. Let i be (-3)/(-2)*28/b. Suppose -4*n = i - 10. Solve n*y + 4 = 2 for y.
-1
Let p be (1 - 0)*2 + 3. Suppose p*t - 2*n - 6 = -0, -3*n - 4 = -5*t. Suppose -2*z = 1 - 5. Solve z*g + t*g = -4 for g.
-1
Let d be 4 + (-1)/(-2)*-8. Suppose 4*v + z + 46 = -8, 2*v = -4*z - 34. Let x = v - -18. Solve x*p + 3 + 7 = d for p.
-2
Let s(z) = -z - 6. Let g be s(-10). Solve 6*j = g*j + 10 for j.
5
Let s(c) = c**3 + 6*c**2 + c + 6. Let r be s(-6). Solve r = -3*d + 11 + 4 for d.
5
Let h(m) = -5*m - 7. Let x be h(-3). Solve 2*l + 0*l + x = 0 for l.
-4
Suppose -203 = 6*u - 239. Solve -u*g = -4*g - 2 for g.
1
Let q(a) = a**2 + 14*a + 5. Let j be q(-15). Solve -6*w = -w + j for w.
-4
Let c = 25 + -21. Let r be -10*(5 + -2) + 2. Let y be 2/(-4) - r/8. Solve -y*n = -5*n + c for n.
2
Let k(a) = -a**3 + 19*a**2 + 21*a - 17. Let v be k(20). Let d = 67 - 40. Suppose 0 = -5*y + 8 + d. Solve -q = y - v for q.
-4
Let h = -5 - -25. Let a = h + -14. Suppose -i = -a*i + 55. Solve 5*f - i = -1 for f.
2
Suppose 1 = b - 2*h, -2*b = b - 2*h - 3. Suppose u + 5*x = 26 - 7, 2*u - 3*x = -b. Let y(r) = r + 4. Let n be y(u). Solve n - 2 = -2*v for v.
-3
Let v(a) = a**2 + 9*a + 11. Let o be v(-8). Let c(z) = z. Let w(j) = -3*j - 1. Let q(y) = -8*c(y) - 3*w(y). Let p be q(5). Solve o*d - p = d for d.
4
Suppose -25 = b - 6*b. Suppose 0 = n + 2 - b. Suppose -o = n*o. Solve o*c = 5*c for c.
0
Let b = 9 + -5. Suppose b*z = -0*z - 168. Let x be 2/7 - 156/z. Solve 4*f - x = -24 for f.
-5
Suppose -4*c + 0*c - 2*v - 54 = 0, 0 = 5*c - 4*v + 100. Let a be 0/(4/(-2)) - 1. Let d = a - c. Solve g = -2*g - d for g.
-5
Let o(u) = u**3 - 3*u**2 + 3*u - 4. Let k be o(3). Suppose -5 = -3*m + 31. Let x be m/2 + (k - 3). Solve -5*p + 3*p = -x for p.
4
Suppose 4*u - 27 = 3*d, -d = -2*u - 2*d + 1. Suppose -2 = 3*z - 2*l - 4, 4*z + l + 1 = 0. Suppose z*v = -u*v + 24. Solve 0 = w + w - v for w.
4
Let i be (-14)/(-6) + 9/(-27). Suppose -4*x - 4 = -i*y, -2*x = 4*y + x - 19. Solve -y*n + 0*n - 8 = 0 for n.
-