t(12). Let c = -1 + 5. Solve -v*l + c*l + 3 = 0 for l.
-3
Let d = 3 - 1. Suppose -d*f = 2 - 14. Let a be f/4 + 14/4. Solve -a*y = -21 - 4 for y.
5
Let z(v) = v**2 - 14*v + 4. Let c = 36 - 22. Let g be z(c). Suppose -s - 6 = -g*s. Solve w + 3 = -s*w for w.
-1
Let s(r) = 7*r - 17. Let d(m) = -13*m + 34. Let v(p) = 6*d(p) + 11*s(p). Let j be v(9). Solve -h - h + j = 0 for h.
4
Suppose 30 = -4*q + 10*q. Solve -f + q = -0*f for f.
5
Let c(h) = h**3 + 9*h**2 + 2. Let t be c(-9). Solve 4 = -t*n + 12 for n.
4
Let x be ((-2)/(-6) + 0)/((-3)/(-54)). Solve -x*i + i - 15 = 0 for i.
-3
Suppose -3 - 9 = -5*i - 4*h, -5*i = 5*h - 10. Let r = 35 + -2. Suppose 3*o + 0*o - r = 0. Solve i*a - 1 = o for a.
3
Let i(d) = d + 13. Let m be i(-11). Solve x - 3*x + m = 0 for x.
1
Let r(a) = a**3 - 5*a**2 + 4*a - 2. Let t be r(5). Let b = 25 - t. Solve -5*y = b - 2 for y.
-1
Let n(j) = -j**2 - 2*j + 2. Let l be n(-2). Solve -l*o - 8 = -0*o for o.
-4
Let z = 5 - 6. Let b be ((-30)/(-8))/(z/(-8)). Suppose 3*p = p - 2*x + 14, 5*p - b = -4*x. Solve -p*r = -6*r + 20 for r.
5
Let a = 1 - 3. Let k = 0 - a. Solve -f - 3 = k*f for f.
-1
Suppose 25 = 3*m - 2*j, 3*m = -0*m - 4*j + 13. Suppose 8 = 3*i - m, -2*z - i = -5. Let y = -140 - -143. Solve -y = v - z for v.
-3
Let x = 82 + -78. Solve 0*c = -x*c + 20 for c.
5
Suppose -40 + 15 = -5*u. Suppose u*o - 23 = 2. Suppose 3*m - 2 = -3*x + 4, 0 = o*x + 4*m - 11. Solve 0 = -2*y + 7 - x for y.
2
Let s(h) = h**2 + 2*h - 21. Let p be s(4). Suppose 0 = 4*w - 0*u + 2*u - 14, -7 = w - 3*u. Solve p*b - 2*b = -w for b.
-2
Let a(d) be the second derivative of 1/12*d**4 + 2/3*d**3 - 1/2*d**2 + d + 0. Let q be a(3). Solve -o = 3*o + q for o.
-5
Suppose -105 = -5*h - 2*j + 5*j, j = -5*h + 105. Suppose 5*u - h = -4*f + 4*u, -u - 7 = -3*f. Solve -8 = -0*y - f*y for y.
2
Suppose 6 = 2*x - 2*n - 6, 27 = 5*x - 4*n. Solve -6 = 3*u - x for u.
-1
Let m(y) = 11*y**2 - 1. Let f be m(-1). Let v be f/(-25) - (-34)/10. Solve -v*n + 0 = 15 for n.
-5
Let d be -1*2*(-19)/2. Let k be d + (-9)/3 + 0. Solve 5*g - g = -k for g.
-4
Let b(q) = q**3 - 7*q**2 + q - 2. Let z = -2 + -1. Let j = z - -10. Let i be b(j). Solve 0*x + x = -i for x.
-5
Suppose -2*r - 10 = 2*a, -3 = -3*a - 4*r - 21. Let n = a + 6. Solve 1 + 3 = -n*b for b.
-1
Let q be (-2)/(-6) - (-88)/33. Let t be ((-6)/3)/(1 + -2). Let p be 0/((-4)/t + 1). Solve p*z - q = 3*z for z.
-1
Suppose -5*v - 1 + 21 = 0. Solve h = -v*h - 20 for h.
-4
Let u = 1 + 1. Let w be (4/6)/(4/12). Solve u + w = -a for a.
-4
Let v = 6 + -4. Suppose 0 = -v*b + 1 + 5. Suppose 2*d - 36 = -7*w + b*w, 3*d - 5*w - 10 = 0. Solve d = -5*i + 25 for i.
3
Let p = 1 - 1. Suppose -30 = -3*a - p. Solve 0*l - 5*l - a = 0 for l.
-2
Suppose -x + 2*x - 11 = 0. Let a be 2/(-2)*(-3 - -1). Let p be a + -3 + x - 2. Solve 4*c - p*c + 20 = 0 for c.
5
Suppose -5*n + 28 - 18 = 0. Suppose p = -n*p. Solve p = -3*m - 1 + 4 for m.
1
Let u(p) = p - 1. Let l be u(1). Suppose 3*g - g = l. Solve g = -3*w - 0*w for w.
0
Suppose 10*y + 5*r - 460 = 5*y, -3*y + 288 = -3*r. Suppose -3*k = -y - 131. Let b be 1/(2 - k/39). Solve 2*a - b + 5 = 0 for a.
4
Suppose 7*a = 2*a + 20. Suppose -4*u + 2*u = 4*n - 16, 4*u - a*n = 8. Solve p + p = -u for p.
-2
Suppose f = -f + 20. Solve g - 6*g - f = 0 for g.
-2
Suppose p = 2*j - 3*j + 9, -3 = -3*p + 5*j. Solve p = -a + 4*a for a.
2
Let p(i) = -2*i - 5. Let n = -2 - -7. Suppose 2*l - 3*f - 4 = 0, 2*l = 5*f + n + 7. Let d be p(l). Solve -d = m + 1 for m.
-4
Let w = 14 - 14. Solve q = -w - 5 for q.
-5
Let y be (0 + -1)*(-1 + -19). Solve 10*r = 5*r + y for r.
4
Let w be 22/3 - (-20)/30. Solve -w*f + 4*f + 20 = 0 for f.
5
Let q be (14/8)/(6/48). Let w = q + -11. Suppose 0 = v - 0*v. Solve w*j + 1 + 2 = v for j.
-1
Let w = 33 - 24. Solve 2*b - 5*b = w for b.
-3
Suppose 3*p + 1 = 2*p. Let h be (p/(-1))/((-1)/(-3)). Solve -w = h*w - 20 for w.
5
Suppose -n + 24 = 4*n + 3*u, 0 = n - 2*u - 10. Let c be 8/12*(0 - n). Let a be (-1 + -1)/(-1) - c. Solve -2*p - p = a for p.
-2
Let v = 0 - -2. Suppose -5*l - v = -12. Solve l = -2*n + 3*n for n.
2
Suppose -a = -3*a + 8. Solve 0*q = -a*q for q.
0
Let v(a) be the third derivative of -a**6/120 + 7*a**5/60 + 7*a**4/24 + 11*a**3/6 + 4*a**2. Let y be v(8). Solve 6 - y = -3*i for i.
-1
Let o(t) = t - 1. Let h be o(7). Suppose -r + 2*r = -2*w + 4, -h = -3*w - r. Solve 0 = -2*l - 4 - w for l.
-3
Suppose 0*d = -d + 3. Let y = -7 - -9. Solve v + d = y*v for v.
3
Let g be -2*(2 - 22/4). Suppose -40 = -4*v - 3*m, 2*v + g*m = 2*m + 34. Solve -5*a + v = -3 for a.
2
Suppose -5*t + t = v - 5, -t + 3*v = -11. Suppose t*s - 20 = -3*s. Solve 6*l = s*l + 4 for l.
2
Let n(x) = x**3 + 12*x**2 + 11*x + 9. Let m be n(-11). Suppose 5*j - 29 = -m. Solve -j = -4*t + 2*t for t.
2
Let m = 18 + -13. Suppose -3*z + g + 10 = -5*z, 0 = -4*z + 3*g - 10. Let u = 9 + z. Solve 0 = -u*c - 30 + m for c.
-5
Let m = 15 - 7. Suppose -a - q = -4, m*a - 22 = 5*a - q. Let t(x) = x**3 - 9*x**2 - x + 12. Let b be t(a). Solve -2*o = -b*o for o.
0
Let z = 130 + -127. Solve -z - 1 = b for b.
-4
Suppose 0 = -4*m + 4 + 8. Solve -m - 12 = -3*o for o.
5
Let u(c) = c + 7. Let g(q) = -q**2 - 3*q - 7. Let o be g(-3). Let p be u(o). Solve p = -3*m - m for m.
0
Let y(t) = -t**3 + t**2 - 2. Let x be y(-2). Suppose 6*f - x = f. Let v be f/4 + (-3)/(-2). Solve -v*o = -0*o - 4 for o.
2
Suppose -4*j + 2 = -3*j. Suppose p = -2*h - 0*h - 5, -2*p = 5*h + 13. Solve -5 - p = j*q for q.
-3
Suppose -g = -4*p - 20, 0 = 4*g + g - p - 5. Solve g*f = -4*f - 12 for f.
-3
Suppose -4*b = 5*f - b - 3, -f + 5 = 5*b. Solve f = 5*p - 0*p - 20 for p.
4
Let g be (-32)/(-6)*((-35)/(-20) + -1). Solve 5*x + 1 + g = 0 for x.
-1
Let r(f) = 3*f**2 + 3*f - 2. Let y be r(-2). Solve 3*v - 8 = y for v.
4
Let y = 58 + -51. Solve y = -5*r - 8 for r.
-3
Let s = -11 + 10. Let z = s + 3. Let l = 4 + -2. Solve 8 = z*d + l*d for d.
2
Suppose -l - 5*y = 5, y + 2*y = -3. Suppose 2 = n, -3*m + 4*n - 1 = -n. Suppose -2*a = -5*u - m*a + 16, 4*a + 28 = 3*u. Solve l = 2*x + u - 12 for x.
4
Suppose 3 = -2*o + 5*o. Let q be (-6)/4*(-3 + o). Suppose -3*a - d = -20, 16 = 4*a + q*d + d. Solve x + x = -a for x.
-4
Suppose 3*c - 55 = -w, -3*w = -3 - 0. Let d be (-4)/(-18) + 68/c. Solve -8*p = -d*p for p.
0
Suppose -4*t - 9 - 11 = 0. Let k be (-47)/t + 2/(-5). Let p be 25/k - 4/(-18). Solve b - 6 = p*b for b.
-3
Let y be 9/(-15)*(-414 + -1). Let o be 2/(-13) - y/(-13). Let n = 0 + 1. Solve -n = -4*p + o for p.
5
Let s(j) = j + 4. Let u be s(-4). Suppose u = 4*n - 4*q, -8*n + 4*n = 4*q - 16. Solve -z + n = 1 for z.
1
Let o = 9 - 9. Suppose 0 = -5*u - 3*t + 7, -5*u + u = t. Let c(z) = -3*z + 1. Let p be c(u). Solve -p*r + o*r = 12 for r.
-3
Let k(p) = p**2 + 3*p - 3. Suppose 3*b - 10 = -2*b. Let c be k(b). Suppose -2*f - 2*f = 5*g - 30, -3*g - 9 = -3*f. Solve -g*j = -c + 1 for j.
3
Suppose 0 = 4*x - 4*f + 12, 0 = 6*x - 9*x + 2*f - 6. Solve -4*p - p + 15 = x for p.
3
Suppose 2*g + f + 4 = -f, -4*f - 26 = -5*g. Solve -20 = g*o + 3*o for o.
-4
Let b = 29 - 28. Solve -4 - b = 5*s for s.
-1
Suppose 0 = -g + 3. Solve -p + g = -4*p for p.
-1
Let y = 11 + -4. Let b = y + -3. Suppose 6*w - w = -2*z - b, 5*z + w = 13. Solve 2*i = z + 3 for i.
3
Suppose 0*f = f, -2*m = -5*f - 6. Solve q = m - 1 for q.
2
Let o(y) = -2*y - 8. Let n be o(-5). Solve 7*k - 5 = n*k for k.
1
Suppose -17 = -3*n + 1. Let l be 4/6 - n/9. Solve 3*s + 3 = -l for s.
-1
Suppose -d + 20 = 4*d. Suppose 0 = 4*f - 4 - d. Suppose f = m - 0*m. Solve 3*x = m*x for x.
0
Let o be ((-24)/(-35) + 18/(-63))*5. Suppose 0 = 3*l + 4*p - 32, l - 3*p = -3*l + 1. Solve -u = -o*u - l for u.
-4
Let i be (-432)/(-44) + (2/11)/1. Solve -i = -r - 5 for r.
5
Let m be ((-6)/9)/((-2)/30). Solve 2*x = m - 2 for x.
4
Suppose -2*k + 29 = x, -5*k + 2*x = -34 - 16. Solve 0 = -5*y + 2 - k for y.
-2
Let v = 21 + -19. Solve -3*h = -v*h + 4 for h.
-4
Let q(y) = y**2 - 5*y - 5. Let b be q(5). Let j = 6 + b. Solve -m = j - 2 for m.
1
Suppose 0 = -q + o - 8 + 27, 2*o = -10. Suppose 5*i - 4 = 2*h, 0*i + q = i + 4*h. Solve 20 = -i*w - 3*w for w.
-4
Let c(a) = a**2 + a. Let x be c(-5). Let g = 29 - x. Solve g = 3*o - 0 for o.
3
Let k(q) = 15*q - 1. Let g be k(-1). Let v be (-68)/g - 2/8. Suppose 3*b - 6*b = -n, 0 = 2*n. Solve 2*d + 0 - v = b for d.
2
Let y = -2 + 17. Solve 1 = -4*b - y for b.