
Let u(i) = i**2 - 10*i + 10. Let h be u(9). Suppose -3*m + 2*l + h = 0, 5*m = 2*m + 5*l - 2. Solve m + 11 = 4*o for o.
3
Suppose 4*b - 5*k - 1 = 0, 0*b = 2*b - 4*k + 4. Let l = 2 + b. Solve -l = -3*m + m for m.
3
Let q(n) = n**2 - 9*n + 3. Let u be q(9). Solve -w = u - 2 for w.
-1
Let d(f) = f**3 + 4*f**2 + 7*f + 30. Let m be d(-4). Suppose 20 = y + 4*y. Solve m*q - y = -12 for q.
-4
Let f be (4/10*-2)/((-2)/35). Let i(s) = -s**3 - 4*s**2 + 1. Let w be i(-4). Solve 5*n = -f - w for n.
-3
Let i be 40/14 - (-2)/14. Solve i = -3*x - 0 for x.
-1
Let t(p) = -p**2 - 3*p + 2. Let l be t(-2). Solve 2*n - 3*n - l = 0 for n.
-4
Let j be ((-2)/(-4))/(2/40). Solve -5*k = -0*k - j for k.
2
Let b = 2 + 3. Suppose 0 = -5*g - b*y + 30, -y + 5*y = 3*g + 3. Solve c - 4 = g*c for c.
-2
Suppose 5*b - 4*v = 7, 6*b - 4*b = v + 4. Solve 0 = -0*s - b*s - 15 for s.
-5
Let v = 95 + -94. Solve 3*g = 4 - v for g.
1
Let a be 4/(-16)*-6*(2 - 0). Solve -a*m + 2*m - 2 = 0 for m.
-2
Suppose 3 = 3*k - 6. Let q = 1 + k. Solve 0 = -2*b - 10 + q for b.
-3
Let f = -10 + 5. Let v = f + 8. Let i = v + -1. Solve i*m - 7*m + 20 = 0 for m.
4
Suppose -2*t = -30 - 0. Suppose 4*d - l - t = 0, -d - 19 = -5*d - 3*l. Solve -3 = -d*i + 5 for i.
2
Let u(g) = g**2 + 5*g + 6. Let h be u(-5). Suppose 4*s = h*s. Solve -k + 4 = -s*k for k.
4
Suppose 13 = -0*q + q. Suppose -8*i - 100 = -q*i. Solve -6*d = -d + i for d.
-4
Let f(p) = 2*p - 3. Let c be f(2). Solve 2*r - 3*r = -c for r.
1
Let c(k) = -k - 3. Let z be c(-3). Solve z - 3 = -v for v.
3
Suppose -14*d + 92 = 9*d. Solve -3 = -d*a + 9 for a.
3
Let j = -9 - -15. Let z = j - 2. Solve 0 = 2*g - z - 0 for g.
2
Let k be (-1 + -1)*-2 - -1. Solve 6*y - k*y - 3 = 0 for y.
3
Let c(j) = -j**2 - 7*j - 10. Let o(i) = i**2 + 7*i + 11. Let m(y) = -7*c(y) - 6*o(y). Let t be m(-4). Let w be (-36)/t + 3/(-2). Solve w = -3*n - 3 for n.
-2
Let w(u) = u**3 - 12*u**2 + 11*u - 3. Let b be w(11). Let j(g) = -g**3 - 3*g**2 - 4*g - 2. Let i be j(b). Suppose -n = -6*n. Solve 3*x - x + i = n for x.
-5
Suppose 3*i = l + 1, 3*i = 4*i - l + 3. Let d(a) = a**2. Let y be d(0). Solve y = j + j - i for j.
1
Let s = 18 - -19. Let j = s - 28. Solve -p - 2*p + j = 0 for p.
3
Let w = -1 - -4. Suppose 4*m - 2*d = -10, -8*m = -w*m + 5*d - 25. Solve m*o = 5*o - 5 for o.
1
Let j(c) = c + 14. Let p be j(-10). Solve -g + p*g = 0 for g.
0
Let x be 17/3 - 10/15. Suppose -c + 4*k - 9 = 0, x*c - k = 4*k. Solve 0 = -5*t - 2 - c for t.
-1
Let m = -2 + 5. Solve -4*y + m = -3*y for y.
3
Suppose 4 = 4*l - 4*m - 0, 3 = 4*l - 3*m. Let x be (-1 - 2)/6*l. Solve x = 4*f + 4 + 8 for f.
-3
Let y = -9 + 15. Let p be (-384)/64 - -1*31. Solve y*a - p = a for a.
5
Let v = -8 - -16. Let a be -1 - 1 - (v + -11). Solve -4*n - a = 3 for n.
-1
Let i be (-2 + 8)/(3 + -1). Suppose -3*o + 15 = -5*y, 2 = -2*o + 5*y + 17. Solve o = -a - i*a for a.
0
Suppose -3*w = -5*v - 33, -2*w - w + 4*v = -30. Suppose 3*l - 9 = -9. Solve h + h - w = l for h.
3
Suppose 3*d + x = 17, -x - 20 = -5*x. Suppose 5*w - 6 = -1. Let y be (2 + -14)*(-3)/12. Solve 0 = y*i - d + w for i.
1
Suppose 4*f = 4*g + 4, -7*g + 3*g + f = -2. Solve -3*l + 4 = g for l.
1
Suppose -2*a + 3 = -3. Let f(z) = z - 1. Let s be f(4). Suppose 0 = s*c + c. Solve -a*o + 5 - 2 = c for o.
1
Let j(l) = -3*l - 10. Let c be j(-4). Solve u - 2 = c*u for u.
-2
Suppose 15 = 130*r - 127*r. Solve 0 = -r*g - 0 - 5 for g.
-1
Suppose -4*i + 3*t = t - 22, 3*i = -2*t - 1. Let a be -3 - (26/(-10) + 16/(-40)). Solve -v = i - a for v.
-3
Let m = -32 - -45. Solve -m = -5*k + 2 for k.
3
Let k(y) = -y**2 - 18*y + 40. Let h be k(-20). Solve 4*l + h*l + 8 = 0 for l.
-2
Let j(z) = -2*z + 10. Let i be j(5). Solve i = p - 0 - 2 for p.
2
Let w(l) = -3*l - 8. Let q = 11 - 18. Let j be w(q). Solve 5*a - j - 2 = 0 for a.
3
Suppose 5*i - 6*i = 0. Solve -4*a + a + 6 = i for a.
2
Suppose 60 = u + 2*u. Let p = u + -10. Let g = p - 6. Solve g*b = -b for b.
0
Suppose 5*f + 19 = 54. Solve -f = 4*t + 5 for t.
-3
Let d = -1 + 2. Let r be 3 + d + 1 + -2. Solve -t + r = -4*t for t.
-1
Let d be 12/15*(-10)/(-4). Solve 0 = 3*m + d + 4 for m.
-2
Suppose 4*d - 22 = r - 6*r, 8 = -2*r + 4*d. Solve -r*x = x + 15 for x.
-5
Let q(n) = -n - 23. Let x be q(-10). Let i = x - -13. Solve -3*h + i*h + 6 = 0 for h.
2
Suppose 5*k = 4*h + 13, 6*k = -2*h + k + 1. Suppose 9 = -2*a + 1. Let f = h - a. Solve f*c = c + 5 for c.
5
Suppose -5*t + 5 = -0*t. Solve 0 = d + t - 4 for d.
3
Suppose 3*t - 10 = -1. Solve -t*q = q for q.
0
Suppose 0 = 3*f - 2*f + 4*w - 20, -f - 3*w + 22 = 0. Let u = f + -25. Solve -5 = n - u for n.
-2
Suppose -3*w - v + 4*v = -3, 4*w = -v + 24. Let z be 50/18 + (-2)/(-9). Solve -z*x - 2 = -w*x for x.
1
Suppose -18*h + 7*h = 0. Solve -2*o + 4*o + 4 = h for o.
-2
Let j be 7/3 + (-1)/3. Suppose -l - g - 4*g + 44 = 0, -3*l - j*g = -119. Suppose -4*p - 20 = -2*v, 5*p + l - 14 = 5*v. Solve 4 = a - v for a.
4
Suppose 2*p + 1 - 11 = 0, 4*o = 2*p - 34. Let l(y) = -y**3 - 7*y**2 - 6*y + 4. Let h be l(o). Solve -4 = h*v + 8 for v.
-3
Suppose u - 21 = 3*m + 56, 4*m + 2*u = -106. Let t = 16 + m. Let p(v) = -v - 6. Let c be p(t). Solve -c*w = -2*w - 4 for w.
2
Let r be 2/5 + (-46)/(-10). Suppose 5*o = -5*u + u + 15, r*o = 2*u + 15. Solve u = a - 2 for a.
2
Let q be (-48)/40*(-15)/6. Suppose 3*p = h - 3 - 7, 2*p - 8 = -q*h. Solve 0 = -j + h*j for j.
0
Let g(b) = 2*b - 1. Let m be -2 + (8 - (2 - -1)). Let p be g(m). Solve -p*u - 4 = -3*u for u.
-2
Let i = -6 - -19. Suppose i*b = 9*b. Suppose 2*o - 6 = -b. Solve o*q + 23 = 8 for q.
-5
Let n = -10 + 14. Suppose 2*u - 13 = -5*h, 3*u + 0*u + 4*h = 9. Let o be (5 - 0)*(2 + u). Solve 0 = -n*d + o*d for d.
0
Let v(y) = 2*y - 3. Let f be v(3). Let a = 4 + -4. Solve -f*p - 12 = -a*p for p.
-4
Let w be -3*(-8)/(-6) + (-45)/(-3). Let l(y) = y + 4. Let u be l(0). Suppose -2*x + u = -6. Solve -x*d + w = -4 for d.
3
Let o = -17 + 26. Suppose o*r - 34 = 7*r. Solve -r = 3*q - 5 for q.
-4
Let f be 3/(((-4)/6)/(-2)). Let w(m) = m - 6. Let x(o) = o - 6. Let b(c) = -2*w(c) + 3*x(c). Let j be b(10). Solve j*k - f*k + 10 = 0 for k.
2
Let b be 1 + 1 + -5 - -8. Suppose -3*m = 2*m + b. Let k be 2 + (0 - (3 + m)). Solve k = -d - 0*d for d.
0
Let k = -11 + 15. Solve 0*v = -k*v + 8 for v.
2
Let f be (-90)/(-21) + 8/(-28). Solve 20 = -f*o - 0*o for o.
-5
Suppose 4*x - 2*x = 0. Suppose -5*v + 13 = 4*n - 3*n, -23 = -5*v + 4*n. Solve x = -v*w - w - 8 for w.
-2
Let p = -95 - -65. Let w = -5 - p. Let q(m) = 5*m + 12. Let l be q(-2). Solve l*k - w = -3*k for k.
5
Suppose 0*p + 3*p = -h + 10, -10 = -5*p + 5*h. Solve x = -p - 1 for x.
-4
Let n(f) be the second derivative of -f**7/2520 + f**5/60 + f**4/6 - 2*f. Let x(q) be the third derivative of n(q). Let r be x(0). Solve -d + r = -0 for d.
2
Let b be 2/6 - 20/(-12). Let k be 2*(b/(-2) - -2). Solve 9 = -k*u + 1 for u.
-4
Suppose 5*a - i = i + 2, i = a - 1. Suppose -w + 14 - 1 = 5*s, a = -4*s + w + 14. Solve -s*y = 1 + 2 for y.
-1
Let l(s) = s**3 + 7*s**2 + s + 10. Let i be l(-7). Suppose i*r + 0 = 12. Solve 20 = -0*o + r*o for o.
5
Let n(c) = c**2 + 12*c + 16. Let d be n(-11). Solve 0 = m + 4*m - d for m.
1
Suppose -3*c + 34 - 7 = 0. Let w = c - 5. Suppose -s = w*s - 20. Solve 0*o = o - s for o.
4
Let x(c) = -c**3 + 10. Let k be x(0). Suppose -30 = d - 6*d. Suppose t + 8 = -4*z + d*z, 5*z - 21 = 3*t. Solve z*s - 5*s - k = 0 for s.
-5
Suppose 2*s + n - 23 = 0, 2*s + 2*n - 58 = -3*s. Let r(o) = o + 2. Let a be r(0). Suppose a*j = -4*j + 78. Solve 5*h - j = s for h.
5
Suppose -4*m - 2*b = 2, 5*b = 4*b + 3. Let t be (-2)/m*-2*-2. Suppose -2*h + 5 = -3*h - 3*i, 0 = 3*h + t*i. Solve -h*d = -2*d - 6 for d.
3
Suppose -2*b - 1 + 9 = 0. Solve -5 = b*g + 3 for g.
-2
Let r be -1 - -6 - (3 + -7). Solve -3*z + 0*z - r = 0 for z.
-3
Suppose t + 2*f = 5, -3*t + 5*f = -t - 37. Let n be (t + -1 - -2) + 0. Let p = n + 9. Solve 3*y - p + 6 = 0 for y.
5
Let h(t) = -2*t + 1. Let b be h(-2). Let r be b - (1 + 1) - -1. Suppose -3*z + 7 = 4*z. Solve r + z = -u for u.
-5
Let y be ((8/3)/(-4))/((-6)/45). Solve 7*u = y*u for u.
0
Suppose 12 = -0*c - 3*c. Let k be 1/c + (-25)/(-4). Let t be 3/2*16/k. Solve 2*g - t*g - 8 = 0 for g.
-4
Suppose -5*p + 3*u = -96, 0 = 3*u - 10 + 1. Let v be 6/p + (-44)/7. Let n = v - -6. Solve n = -0*x - x - 2 for x.
-2
Let w = 12 + -10. Suppose h - w