ose -3*q = -3*a + 30, 3*a - 5*a + 6 = 5*q. Let v = a + -7. Let s = 0 + v. Solve -4 = -5*o + s for o.
1
Let k be ((-4)/(-14) - 0) + 26/7. Solve 0*t = -k*t + 8 for t.
2
Suppose 3*y - 24 = 3*g, -5 = -2*y + 4*g + 7. Let k = 10 - y. Suppose 1 = 5*z - 9. Solve 3*r - z*r = k for r.
0
Let b(r) = r - 1. Let g be b(-2). Let w be 22 - (3 + -3) - g. Solve 0 = -0*z - 5*z + w for z.
5
Let u = -7 + 14. Solve 5*c - 10 = u*c for c.
-5
Let l(s) = -s**2 - 3*s. Let v be l(-3). Suppose 0 = 4*t + 3*a - 31, -t + 0*a - 1 = -a. Solve t = j - v for j.
4
Suppose -4 - 2 = 3*f. Let a(q) = 2*q**2 + 2*q. Let o be a(f). Suppose 0 = 4*n - b + 4*b + 3, -4*b - 4 = 0. Solve n*t = -o*t - 16 for t.
-4
Let z = -21 + 21. Solve z = 4*i + 8 + 8 for i.
-4
Suppose -4 = -d + 2*m, -3*m - 3 = -2*d + 3. Suppose -4*n + 24 = -n. Let y = 9 - n. Solve d*j - y = -j for j.
1
Let i be ((-9)/(-5) + -1)*5. Solve 4*d + i = -4 for d.
-2
Suppose -4*d - 1 = 4*k - 13, 3*d + 31 = 5*k. Let o be (12 + -2)*(-1)/d. Suppose 4 = -4*q - 5*t + 16, 2*t - 32 = -5*q. Solve 3 = -o*b + q for b.
1
Let c = 20 + -16. Suppose -3*w + 8 + 4 = 0, -3*w = -4*p - 4. Suppose 0 = p*z + z - 12. Solve -c*t - z = -3*t for t.
-4
Suppose 0*q - 5 = -q. Suppose -12 + 51 = q*i + 2*h, 3*h - 36 = -5*i. Suppose 0 = -2*d + 2*n, 3*n - 23 = -4*d - i. Solve 2*v = 12 - d for v.
5
Let i(u) = -u**2 - 7*u + 4. Let d(h) = -2*h + 7. Let b be d(7). Let a be i(b). Solve -5*y = -y - a for y.
1
Let r(k) = -k**2 - k + 5. Let q be (-6)/21 - 8/(-28). Let t be r(q). Solve -m + t*m = -20 for m.
-5
Let u(g) = g**2 - 25. Let x be u(-5). Solve 10*o - 5*o - 25 = x for o.
5
Suppose 0 = 2*y + l - 43, -5*y + 109 = -0*l + 3*l. Let x(t) = t - 3. Let q be x(7). Solve 8*v - q*v = -y for v.
-5
Suppose 5*f - 2*f = 0. Suppose f*v - 15 = -v. Solve 5 = 2*t + v for t.
-5
Let u(p) be the third derivative of p**4/24 + 7*p**3/6 + p**2. Let g be u(-3). Solve -g*v - 25 = v for v.
-5
Let f = -12 - -10. Let d be (-2 + -4)*f/6. Solve 3*m + d = -10 for m.
-4
Suppose -3*a = -3*h + 54, -h + a = 3*a - 9. Solve p - h = 6*p for p.
-3
Let x = -96 - -96. Solve -v + 2 = -x*v for v.
2
Let k(f) = f**2 + 5*f + 10. Let t(g) = 3*g**2 + 16*g + 30. Let d(a) = -11*k(a) + 4*t(a). Let n be d(-8). Solve -n*z - 1 + 3 = 0 for z.
1
Let m be 2/(-3)*(-16 - -1). Let n(h) = 5 + h**3 - 10*h**2 - 7 + 5. Let s be n(m). Solve -5*f + 28 - s = 0 for f.
5
Let t be 2/(-4)*0/17. Solve 5*u = -t*u + 10 for u.
2
Let u(p) = -p**2 + 9*p. Let l be u(9). Suppose l = -r + 6*r. Solve x - 4 = -r*x for x.
4
Suppose 0*m = m. Suppose m*k + 5*k - 75 = -4*d, 4*k - 27 = -d. Solve 0 = -2*f - 3*f - d for f.
-3
Suppose 2*l = 15 - 13. Solve 5 - l = -o for o.
-4
Suppose -2*o = 3*o - 0*o. Solve o = -q + 1 + 3 for q.
4
Let n be 4/12 - 76/(-6). Solve 0 = 4*x + 1 - n for x.
3
Suppose -6 = -4*z + 6. Let m be 0 + z/(3/2). Solve m*w - 1 = w for w.
1
Let t = -10 - -15. Let g(m) = 2*m - 5. Let a be g(t). Solve 4*u + a = -u for u.
-1
Let y(n) = n - 6. Let u be y(11). Suppose u*h = 32 + 8. Solve 2*m - 6*m = h for m.
-2
Let u(j) = 3*j - 1. Let f(x) = -15*x + 6. Let i(h) = 2*f(h) + 11*u(h). Let w be i(2). Solve -2*v - 1 = w for v.
-4
Let i be 10 - -2*2/(-4). Suppose 0 = -3*b - 5*v + 19, 3*v + 2 = -b + 11. Let l be 5 - b/(i/3). Solve l*c = -0*c - 8 for c.
-2
Let l = 12 - 9. Suppose -l*b + 4 = -b. Solve -2*v = b*v for v.
0
Suppose 3*x - 45 = 36. Suppose -3*a - x = -2*v - 4, 5*v + 3*a = 26. Let p be (3 + -4 + 2)*3. Solve v*m - 4 = p*m for m.
1
Let t be (-36)/(-10) + 6/15. Solve 5*x = t + 6 for x.
2
Suppose 3*h = 8*h + 25. Let g be ((-7)/(-2))/(1/2). Let d = h + g. Solve -f = d*f for f.
0
Let z = -19 - -26. Solve -3*m - z + 1 = 0 for m.
-2
Let f(g) = g**2 - 5*g - 3. Let n be f(6). Let o = -16 + 19. Suppose -5*p + 8 = -n*h - 4, 2*p + o*h = -12. Solve p*j + 2 = 2*j for j.
1
Suppose -3*q + l = -2*l + 3, 3*q + l - 1 = 0. Solve q = -4*r + 8 for r.
2
Let s(k) = k + 6*k**2 + k - k**2 + k**3 - 4. Suppose -j - 10 = 4*u - 7*u, 5*u - 10 = 0. Let h be s(j). Solve h = -5*y - 1 for y.
-1
Suppose -5*y + 3*r = -12, 0 = 5*y - 7*r + 2*r - 10. Solve -5*c + 2 = -y for c.
1
Let f(o) = o**2 - 8*o + 7. Let k = -11 + 27. Let t be (k/(-10))/((-5)/25). Let w be f(t). Solve 0 = -3*g - 5 - w for g.
-4
Let g = 11 - 8. Let n = g + 3. Let d(c) = c**2 - 6*c. Let l be d(n). Solve l = -0*y + 5*y for y.
0
Suppose -u + 3*i = -3*u + 12, 12 = -4*u + 3*i. Suppose -3*c + 7*c - 32 = u. Suppose -4 = -2*j + 12. Solve -4*a = j + c for a.
-4
Let z = -216 + 216. Solve -6*h + 6 = -z*h for h.
1
Let r = -51 + 56. Solve 0 = -h + r for h.
5
Suppose -4*u + 6*u - 6 = 0. Solve 0 = 7*m - u*m for m.
0
Let n(s) = 2*s**3 - 12*s**2 + 7*s - 11. Let m(g) = g**3 - 6*g**2 + 3*g - 6. Let j(b) = -5*m(b) + 2*n(b). Let w be j(6). Solve -u + w*u = 0 for u.
0
Suppose 4*d - 23 = -7. Solve -15 = w + d*w for w.
-3
Let n(l) = l**3 - 15*l**2 + 14*l + 1. Let o be n(14). Solve 11 = 5*f + o for f.
2
Let t(z) = -z**3 + 7*z**2 - 5*z - 3. Let l = 61 - 37. Suppose l = -0*j + 4*j. Let h be t(j). Solve h = p - 4*p for p.
-1
Suppose 16*o + 96 = 20*o. Solve 5*c - o = 1 for c.
5
Suppose -8*y - 4 = -9*y. Solve y*s + 12 + 8 = 0 for s.
-5
Let a(l) = l**3 - 10*l**2 + 10*l - 7. Let b be a(9). Let k = b + 0. Solve 0*r = -k*r - 4 for r.
-2
Let r(o) = o**3 - o**2 + 4. Let d be r(0). Suppose 0 = -13*g + 9*g. Solve d*a + a - 10 = g for a.
2
Let b(s) = -s**2 - 3*s + 7. Let j be b(-4). Solve 0 - 12 = -j*y for y.
4
Let d be (-35)/4 + (-3)/12. Let p be ((-12)/d*-3)/(-1). Solve p*j + 0 = -8 for j.
-2
Suppose 5 = -2*y + 4*y - 5*j, -5*j - 5 = -3*y. Solve 2*m + 10 = -y for m.
-5
Suppose 0 = -5*h + a + 53, 9*a + 1 = h + 4*a. Let p = -6 + h. Solve p = 3*m - 1 for m.
2
Let z = 8 - 5. Let i be z + -2 + 0 + 7. Suppose 3*c = -g + 4, -3*c - 3*g = -0*g. Solve 4*m = c*m + i for m.
4
Suppose -5*j + 8*c = 3*c - 80, 5*c - 4 = -2*j. Solve -4*u + 0 = j for u.
-3
Let u be 1*2/(-3 - -5). Suppose -h - u = 9. Let p = h + 16. Solve 3*j = j - p for j.
-3
Suppose 4*c - 3*f - 12 - 13 = 0, f = 5*c - 23. Let o be (-105)/10*c/(-3). Solve -3*l - 1 = o for l.
-5
Let b(d) = -d**3 + 10*d**2 - 9*d + 1. Let l be b(9). Solve -3*q + l = -5 for q.
2
Let f be 2*-1 - (3 + -5). Suppose 0*x - 3*x = f. Solve x*m - 15 = 5*m for m.
-3
Suppose 0 = -3*n - 3*j + 18, -n + 10 = 2*j - 3*j. Let z(i) = -i + 7. Let f = 2 + 3. Let q be z(f). Solve q*o - 2 + n = 0 for o.
-3
Let t = 39 + -23. Let i = 8 - 8. Suppose i = a - t. Solve 0 = 4*d + a for d.
-4
Suppose -5*t + 20 = 4*p - 4*t, 0 = -2*p + t + 4. Solve 0*l = l + p for l.
-4
Suppose -4*p - t + 14 = 0, 5 + 0 = p + t. Solve -p = -0*n - 3*n for n.
1
Let u be (1 - 4)/((-4)/(-12)). Let v(q) = q**3 + 9*q**2 + 2. Let n be v(u). Solve -o = -n*o for o.
0
Let i = 15 + -18. Let r be ((-16)/(-4) + i)*1. Solve -2*j - 3 = -r for j.
-1
Let o = 0 + 2. Let b(p) = -3*p - 5 + 4 - o - p. Let a be b(-2). Solve 30 = 5*m + a for m.
5
Let c be (-9)/(-3)*1*(-2)/(-2). Solve -m - 8 = -c*m for m.
4
Let u(j) = 2*j**2 - 2*j + 2. Let b(k) = -k**2 + 3*k - 3. Let a(h) = 3*b(h) + 4*u(h). Let w be a(1). Solve 0 = w*p - p for p.
0
Suppose -5*m + 4 = 4*i, -m + 2*i = -3*i + 5. Let u be 0/(4/(-2) + m). Let a = 3 - u. Solve a*b + 3 = 2*b for b.
-3
Let h be 8/56 + 139/7. Solve -4*m - h + 0 = 0 for m.
-5
Let v(k) be the first derivative of -1 + 5/2*k**2 - 1/3*k**3 + 7*k. Let p be v(6). Solve -3*o - p = -4*o for o.
1
Let h(l) = -l**3 - 5*l**2 + 8. Let u be h(-5). Solve -5*w = -w - u for w.
2
Suppose -4*a + y + 57 + 38 = 0, 3*a = -y + 73. Suppose 4*m = 6*m - a. Suppose m = 5*d - 3*u, 3*d - 7 = 2*u + 1. Solve d = 2*p - p for p.
0
Let u = 0 - -4. Suppose 4*a - 2 - 18 = 0. Suppose -4*j + a = 5*m - 13, -4*m = -8. Solve u*t = j - 10 for t.
-2
Let p(l) = l**2 + 10*l + 12. Let c be p(-9). Solve 10 = -2*z - c*z for z.
-2
Suppose -1 = -4*c - 2*h + h, -3*h - 9 = 0. Let q = 4 + 1. Solve -q = -2*p - c for p.
2
Let a(j) = -2*j + 1. Let c be a(3). Let n = 8 + c. Let p = -3 + 5. Solve p*t = n*t for t.
0
Let r(c) be the third derivative of -c**4/24 + 3*c**3/2 + 4*c**2. Let v(f) = -f**2 - 6*f - 1. Let l be v(-4). Let m be r(l). Solve y = -m*y - 12 for y.
-4
Suppose 5*b - 20 = 2*q, 3*q - 3 = b + 6. Solve 11*w - 15 = b*w for w.
3
Let f(u) = u**2 + 2*u. Let v be f(-3). Suppose -3*k - v = -6*k. Solve 0 = 3*o + 13 - k for o.
-4
Suppose -51 = 8*b - 7*b. Let d be b/(-15) + (-4)/10. Solve 0 = -0*p + d*p + 9 for p.
-3
L