ppose 8*s = 5*q + 7*s - 23, -5*q + 5*s = -35. Solve -u = u - q for u.
2
Let l(d) = 2*d**2 + 4*d. Let x be l(-3). Suppose 8*y + 11 = 51. Suppose y = 2*u - 5. Solve -x = -u*t - 26 for t.
-4
Let j(k) = 2*k. Let l(x) = -x + 1. Let q(v) = j(v) + l(v). Let o be q(2). Solve 0 = 2*b - o*b - 4 for b.
-4
Suppose -2*g = -22 + 18. Solve -5 + g = a for a.
-3
Suppose 6*k - 93 + 3 = 0. Solve 5*c - k - 5 = 0 for c.
4
Let p(h) = -h - 1. Let y be p(-8). Let t = -5 + y. Solve -1 = t*o + 7 for o.
-4
Let w(u) = 2*u - 50. Let n be w(26). Let q(l) = -3*l + 1. Let t(a) = -a. Let g(p) = -q(p) + 4*t(p). Let s be g(-4). Solve -n*z - s + 5 = 0 for z.
1
Let x(y) = y**2 + 12*y + 5. Let c be x(-12). Solve -c*g + 0*g - 20 = 0 for g.
-4
Let w = 39 + -26. Suppose -a = 3*f - 9, 2*f - f - 3 = -a. Solve f*k = -w - 2 for k.
-5
Let a be (-2)/(-5) + (-17)/5. Let x(f) = f**2 - 1. Let s(l) = -l**2 + 2*l + 3. Let q(v) = s(v) + 2*x(v). Let w be q(a). Solve 2*t = -2*t + w for t.
1
Let z(a) = a - 3. Let q be z(5). Solve 2*o = -0*o + q for o.
1
Let s be ((-4)/6)/(3/9). Let l = -2 - s. Suppose n - 1 = -l. Solve r + n + 0 = 0 for r.
-1
Suppose 5 = -2*o - 5*g, 4*o - 1 = 2*g - g. Let n be 1/(-1)*o/2. Solve n = 3*h + 2*h + 25 for h.
-5
Let z be 4/14 - 4/14. Suppose -4*f - 6 = -c + 5, 0 = c + 4*f - 3. Let r be 9/c - 10/35. Solve z*t + t = -r for t.
-1
Let o be (-9)/(396/(-80)) + (-4)/(-22). Solve 5*a + 3 = -o for a.
-1
Let u(y) = -2*y. Let g be u(-1). Let h = 4 - 4. Let l be 1 + (-3)/(3 - h). Solve l*q = -g*q + 8 for q.
4
Let m = -27 - -15. Let b be ((-11)/3)/(2/m). Solve -5*x = b + 3 for x.
-5
Suppose 5*d + 8 = -4*t + 34, -5*t + 4*d + 53 = 0. Solve 5*o = -t - 6 for o.
-3
Let r(g) = -3 + 3*g + 6*g**2 - g**3 - 3*g. Let c be r(5). Suppose k - 5 = 2*a, -3*k + c = a - 0*a. Solve -5*v + k - 2 = 0 for v.
1
Let m = -156 + 161. Solve 3 = -2*u + m for u.
1
Let q be 0/(4/(12/(-9))). Suppose -5*a + 0*a + 25 = q. Suppose 0 = 4*i + a*w - 0*w - 55, 4*i = -w + 43. Solve -k - k = -i for k.
5
Let u(r) = r + 6. Let o be u(-4). Suppose 0 = -5*q - o + 12. Solve t = q*t for t.
0
Let t = -21 - -29. Solve 0 = -0*a + 2*a + t for a.
-4
Suppose 0 = -3*q + 13 - 4. Suppose 2 - q = -o. Solve -2 = x + o for x.
-3
Suppose 0 = 3*f + 12, -v + 1 = -f - 3. Suppose -3*b = b - 12. Solve -b = -t - v*t for t.
3
Suppose 5*a - 2*a - 6 = 0. Suppose -3*v - 3*x + 2 = 5, -a*x - 9 = -5*v. Let b = 1 - v. Solve b = -4*t + t - 12 for t.
-4
Let r be (-2)/(2*(0 - 1)). Solve 0*c + c = r for c.
1
Let m = -6 - -6. Let g be ((-11)/(-4))/(2/8). Suppose 2*o + 0*o + n - g = 0, 5*o = -3*n + 30. Solve -o*b - 9 = -m*b for b.
-3
Let l(o) = -o**3 - o**2 + o. Let v(u) = 4*u**3 + 13*u**2 - 13*u + 5. Let r(c) = -5*l(c) - v(c). Let y be r(7). Solve -y*t = -t for t.
0
Suppose 0*a = 2*a - 3*s - 6, 4*a + s - 12 = 0. Suppose -2*k - 3*o = -a*k + 4, -16 = -4*k - 5*o. Let u be (-7 + 4)/((-3)/2). Solve k = u*y + 14 for y.
-5
Let s(j) be the second derivative of -j**4/12 - j**3/2 + j**2 - 2*j. Let l(g) = -g**2 - 3. Let b be l(0). Let q be s(b). Solve -1 = -q*w + 9 for w.
5
Suppose -4 = -3*d + 5. Solve 5*s = d*s + 2 for s.
1
Suppose -5*i = -13 - 27. Solve 2*y = -2*y + i for y.
2
Suppose -8 = -3*v - 32. Let y = 13 + v. Solve 2*f - y*f = 0 for f.
0
Suppose 3*z = -5*z + 16. Solve 6 = r + z for r.
4
Suppose -6 = -3*y + 24. Solve -z = z - y for z.
5
Suppose -4*v = -31 + 7. Suppose 0 = -8*w + 13*w - 25. Let k = v - w. Solve r + 2 = -k for r.
-3
Let r = 7 + -3. Let i(t) = t + 2. Let u be i(0). Suppose 0*z - 3*w - 11 = -u*z, 3*w = -3. Solve r*s = -z - 0 for s.
-1
Let a(t) = -t**3 + 6*t**2 - 6*t + 5. Let y be a(5). Suppose y = -2*x + 5*h, 5*x = -2*h + 5*h. Let v be (0 - 4/(-1))/1. Solve -v*p = -x*p - 16 for p.
4
Suppose 0 - 16 = -4*n. Solve n*f = -f + 20 for f.
4
Let x(s) = s - 9. Let f be x(7). Let r = f + 4. Solve -15 = r*a - 5*a for a.
5
Suppose a + 1 = 2*p, -5*p - 3*a + 30 = -0*a. Let j be 3*(3/3 - 0). Solve p = 2*f - j for f.
3
Let h = -87 - -96. Solve h + 1 = -2*z for z.
-5
Let c be 3*(-4 - (-56)/12). Solve c*p = 7*p for p.
0
Let o = -9 - -12. Suppose o = -3*w + 3*z, -2*z + 3 = -5*w + 1. Solve w = -y + 6*y + 15 for y.
-3
Let m be 3/((-1)/((-4)/6)). Let d be 2/(-4)*(-4 - 0). Let u = d - m. Solve -2 = -u*w + w for w.
-2
Let p = -4 + 7. Let w be 2/(-4)*4 - -6. Suppose -5*q = -w*q. Solve q = -j - 2 + p for j.
1
Suppose 0 = -2*o + 2. Let c be (o/2)/((-2)/(-4)). Solve 0 = -x - c - 0 for x.
-1
Suppose -6*a - 16 = -4*a. Let m(d) = -d**3 - 7*d**2 + 7*d - 8. Let k be m(a). Suppose 5*j = 21 - 6. Solve k*w - 6 = -j*w for w.
2
Suppose 1 = 4*k - 19. Let s(p) = p**3 - 3*p**2 - 5*p - 2. Let v be 15/(-2)*(-4)/6. Let c be s(v). Solve -k*g = 2 + c for g.
-5
Let p(f) = f + 4. Let t be 3 + 3/6*0. Let m be p(t). Let g = 7 - m. Solve g = 4*h - 6 - 6 for h.
3
Let g be (38/4)/(1/2). Suppose -1 = -5*d + g. Suppose -2 = 2*z - d. Solve 2 + z = -j for j.
-3
Let d(w) = 2*w**2 - 7*w + 3. Let o(y) = 3*y - 4. Let g be o(3). Let s be d(g). Solve 4*a - 2 = -s for a.
-4
Let m = 99 + -83. Solve -m*j = -18*j + 8 for j.
4
Let r = -5 + 10. Suppose -3*y - 3*q + 27 = 0, -y = -2*y + 4*q - 11. Suppose l - r = -4*b, -y*b + 2*l = 15 - 5. Solve b = s + s + 4 for s.
-2
Suppose 0 = 5*c + 4*i + 5, 0 = -2*c - i - 0*i + 1. Let t(f) = 2*f - 7*f + 3*f + 3*f + 9. Let z be t(-5). Solve c*k - z = 2*k for k.
4
Let f(y) = y**3 + 10*y**2 + 6*y + 62. Let a be f(-10). Solve a*r - 3 + 11 = 0 for r.
-4
Suppose -6 = -5*k - 1. Let w be 2*1*(-11)/(-2). Suppose -w = -t + 2*b - 0*b, -6 = 2*b. Solve -t = -g - k for g.
4
Suppose 0*i = -3*i + 12. Let o be i - (-3)/(6 - 3). Solve 3*u + o + 4 = 0 for u.
-3
Let x(h) = -h**2 - h + 10. Let y be x(0). Suppose p + 0*c + 2*c + y = 0, 4*p + 10 = -2*c. Solve -3*t - 2*t - 10 = p for t.
-2
Let i(y) = 2*y**2 + 2*y. Let g be i(-4). Suppose 2*q - g = -2*p + 7*p, 4*p = -q - 14. Let f be (-26)/(-78)*(0 - -9). Solve f*b - q = b for b.
1
Suppose 3*i = i. Solve 0 = 5*u - i*u - 15 for u.
3
Let v(p) = 2*p - 4. Let c be v(4). Suppose 4*s - 2*j = -j - 1, -c*s - 5*j + 29 = 0. Suppose 8 = 3*y - 7. Solve -s + 6 = -y*x for x.
-1
Let f(w) = w**3 + 4*w**2 + 6*w + 6. Let k be f(-4). Let q be (-76)/k + (-10)/45. Let n = 4 + q. Solve 10 = -3*u + n*u for u.
2
Let j = 17 - 12. Let k = j + 1. Solve w + w = k for w.
3
Let n be (3/(-6))/((-1)/34). Let c = -16 + n. Solve 2*x = x + c for x.
1
Let r(b) = 7*b**2 + 3*b - 5*b**2 - 1 - b**2. Let h be r(-4). Suppose -h*q + 7 = -2*q. Solve 13 = -4*z - q for z.
-5
Suppose 2*x - 4*x = -10. Solve 12 = k - x*k for k.
-3
Let s = 119 + -113. Solve 22 = 4*g + s for g.
4
Let a be (-9)/(-7) + 4/(-14). Suppose z - a = 3. Solve -g = -2*g - z for g.
-4
Suppose -2*w + 2 + 6 = 0. Suppose 6 = w*m - 2*m. Let u = m + -3. Solve 3*c = -u*c for c.
0
Suppose -24 = -4*h - 4. Solve h*x = -0*x - 10 for x.
-2
Let t = -12 - -32. Solve -i + t = 4*i for i.
4
Let j(h) = -h**2 - 7*h - 7. Let d be j(-4). Solve 3*l = d - 2 for l.
1
Suppose 0 = 5*v - v - u - 8, 5*v - 31 = -4*u. Solve 0 = -v*h - h for h.
0
Let f be (-6)/2 + 6 + 0. Solve -f*v - 4 = -1 for v.
-1
Let m(b) be the second derivative of -b**5/20 - 2*b**4/3 - 4*b**3/3 + b**2/2 + b. Let a be m(-7). Suppose -4*t + t = -6. Solve -2*y = a + t for y.
-5
Let v(b) = b**3 - 8*b**2. Let n be v(8). Solve 15 + n = -3*m for m.
-5
Let h be 4/(-14) + (-130)/(-14). Let n = h - 6. Suppose 2*f - 50 = -3*f. Solve -n*j + f - 1 = 0 for j.
3
Let z be (4/6*4)/(2/3). Solve z*h = 8*h for h.
0
Let w be (0/2)/(-2 + 4). Let x(i) = -i**2 - 3*i. Let p be x(-2). Solve w = p*m + 3*m + 10 for m.
-2
Suppose 3*v + 60 = -5*w - 2*v, 0 = 3*w - 2*v + 11. Let x = -5 - w. Solve x*f = -0*f - 6 for f.
-3
Let v be (-15)/(-2*2/4). Solve 4*i + 3 - v = 0 for i.
3
Suppose -3*g - 12 = 0, 2*s - s = -4*g - 1. Let n be s/30 - 13/(-2). Solve 4*q = n + 5 for q.
3
Suppose -4*o + r + 36 = 0, -2*o + 2*r + 7 + 17 = 0. Solve 0*g + o = 4*g for g.
2
Let a = 12 - 14. Let z(n) = 4*n**3 + n**2 - n + 1. Let r be z(1). Let p = r + a. Solve -p*f - 2*f - 10 = 0 for f.
-2
Suppose 170*f = 166*f + 40. Solve -4*b - f = 6 for b.
-4
Suppose -23 - 17 = -4*x. Solve i - 6*i = x for i.
-2
Suppose 5*s + 96 = 2*u, 3*s + 25 = -u - 37. Let a = -27 - -12. Let f be ((-8)/s)/((-3)/a). Solve 4*r - 6 = -f for r.
1
Let t = -24 - -29. Solve 0 = t*c - 2*c - 6 for c.
2
Suppose -j = -3*j - 4*o + 28, 5*o = 2*j - 46. Suppose 4*k = 5*p + 28, 2*p = -2*k