 - 13 = -o, 0 = 5*o + 3*a. Solve -13 = -4*c + o for c.
4
Let b = 0 + 4. Let n(x) = 2*x - 6. Let p be n(b). Suppose -16 = p*y - 4*c, -3*y + 11 = 5*c - 9. Solve 3*w = -y*w for w.
0
Let u be 3*(-2)/3 - -4. Solve -u*a = 3*a - 25 for a.
5
Suppose 3*v - 6 - 12 = -c, -3*v = -15. Suppose -12 = -4*z, -5*z - 6 = -c*t - 6*z. Solve -2*p + p = -t for p.
1
Suppose x = -2*x + 15. Let f(o) = o**2 - 5*o + 3. Let b be f(x). Solve -2*z + z = -b for z.
3
Suppose -2*c - 5*k + 60 = 0, 2*k = 4*c - 0*c - 96. Solve -c = -6*b + b for b.
5
Let m = -54 + 18. Let w = -24 - m. Solve -4*u + w = -0*u for u.
3
Let j = -64 + 68. Solve 5 - 17 = -j*u for u.
3
Suppose -59 = -5*m - 3*a, m - 3*a - 13 = -4*a. Solve 0 = m*p - 7*p - 6 for p.
2
Let x(b) = b**3 - 3*b**2 - 5*b. Let o be x(4). Let s be o*(-3 - 1 - -3). Suppose -z = 3*z - 8. Solve z*r + 2 = s for r.
1
Let a(o) = -o**3 + 3*o**2 + 3*o + 4. Let f be a(4). Let i(x) = -x**3 + 11*x**2 - 17*x - 4. Let g be i(9). Solve f = 2*z + 15 - g for z.
-5
Suppose 0 = 4*b + d + d - 16, 10 = -b + 3*d. Suppose 6 = -5*o - 3*w, -3*w - b = 4*o + 4. Solve o*c - 9 = -3*c for c.
3
Let c = 20 - 11. Let m be 2/((-2)/(-3))*1. Suppose -5*s + 19 = 3*w - 2, s - w = 1. Solve m*y = -s - c for y.
-4
Let l be -2 - (-2 + 3 + 3). Let t = 7 + l. Solve 0 = -o - 2 + t for o.
-1
Suppose -20 = -3*i - 8. Suppose 2*q = -0*q + 18. Suppose i*h - 5*f + 3*f - 36 = 0, -4*f + q = h. Solve -v - 2*v = -h for v.
3
Let f(i) = i**2 + 6*i + 1. Let b be f(-6). Let h be 4*2 - (b + -3). Solve -2*n = -0*n + h for n.
-5
Let n be (-1)/(-3) - (-110)/(-6). Let u be 32/12*n/(-8). Let z be u*3/3*1. Solve 0 = -4*v - 2 - z for v.
-2
Suppose z - 4*z = 3*j - 3, j = -3. Suppose -4*t + 20 = 0, -z*d = -3*d + 3*t - 15. Solve 0 = -d*l + l for l.
0
Suppose 0 = -5*z + l + 2 - 3, -5*z - 5*l = 25. Let o = 2 - z. Solve -5*j = -o*j for j.
0
Suppose -4*c + 2 + 6 = -3*v, -3*c - 2*v + 23 = 0. Solve c*m - 6 = 2*m for m.
2
Suppose 2*y - 6 = -2*v + 4*v, 0 = 5*y - 3*v - 13. Let o = y + -6. Let p be 68/12 + o/6. Solve 15 = -p*t - 0*t for t.
-3
Let f(g) = g**3 + 6*g**2 + 2*g - 4. Let j be f(-4). Suppose n - j = -3*n. Suppose -16 = -4*k + 4*h, 2*k - 3*h + 5 - 16 = 0. Solve -l = -k + n for l.
-4
Let p(z) = 2*z + 7. Let k(o) = 4*o + 15. Let u(r) = -2*k(r) + 5*p(r). Let f be u(-7). Let a be (0 + 2 - f) + -1. Solve 0 = q + q + a for q.
-5
Suppose 82 - 17 = 5*d. Solve -4*n = 5 - d for n.
2
Suppose -9*a + 4 = -7*a. Solve -3*g = -g - a for g.
1
Let z = -13 - -22. Let b be (-2)/(-5) - z/(-15). Suppose 4*d - 3 = 4*t + b, 0 = 2*t + 2. Solve -l + 0*l = d for l.
0
Let j(q) be the second derivative of -q**3/6 + 4*q**2 - 3*q. Let y be j(8). Solve y*r = 3*r + 6 for r.
-2
Suppose -4*u + 5*y = -20, 3*u - 5*y + 16 = -9*y. Let o be (3 + u)*20/12. Solve -q + o*q = -12 for q.
-3
Suppose 3*i = -2 - 1, -5*r = 2*i - 8. Solve 3*h + 15 = -r*h for h.
-3
Suppose 0 = -3*y + 33 - 3. Let o = -8 + y. Solve 3*l - 15 = -o*l for l.
3
Let a = 3 + -3. Suppose a = 6*n - 7*n + 16. Solve 5*w + n = 1 for w.
-3
Let v(b) = -b**3 + 11*b**2 - 9*b - 6. Suppose -15 = 2*z - 63. Let h = z + -14. Let o be v(h). Solve 4 - 12 = o*x for x.
-2
Let l(p) = -p**3 - 2*p**2 + p - 3. Let f be l(-3). Let r(g) = g**3 - 8*g**2 + g + 5. Let h be r(8). Let m = h + -9. Solve 3 = m*a - f*a for a.
3
Let i(z) = 2*z**2 + z - 1. Let w be i(-2). Let f = 8 - w. Solve 0 = -f*d - 1 - 2 for d.
-1
Let n = -43 + 49. Solve n = s + 1 for s.
5
Let r(l) = l**3 - 6*l**2 + 5*l. Suppose -q - 3*h = -5, -h - 12 = -5*q + 13. Let k be r(q). Let f = k - -3. Solve -t + 0*t - f = 0 for t.
-3
Let r be (-1*(0 - 3))/1. Suppose -r*m + 9 = -0. Suppose b = 2*h + 8, 3*b = b - 3*h - 12. Solve -m*t + t + 10 = b for t.
5
Let q = -13 + 8. Let r be (-2)/q + 4/(-10). Solve 4*w - 6*w - 2 = r for w.
-1
Let b be (-3)/1 - (-4 - -6). Let t be (b/10)/((-1)/14). Solve -3*v + 5 + t = 0 for v.
4
Let x(h) = -h**2 - 8*h + 12. Let a be x(-9). Suppose 0 = -a*j + 7*j. Solve 2*t = -j*t for t.
0
Suppose 0*t = 5*t - 0*t. Solve n = -t*n for n.
0
Let j = -3 - -4. Let h = 4 - j. Solve 0*d = h*d - 3 for d.
1
Suppose 4*p - 6*p + 4 = 0. Suppose 4*q + 8 = 2*x + p*q, -3*x + 15 = -4*q. Solve -4*r = -x - 7 for r.
2
Let w be 1/(2/4) - -3. Suppose w = 3*z - 1. Solve 4*s = z*s + 10 for s.
5
Suppose -2 = -4*c + 50. Suppose -4*l - 2*x = 3*x - c, -2*l = 5*x - 19. Let v be ((-4)/l)/(2/12). Solve -4*u - 4 = v for u.
-3
Let c be 1517/(-5) - (-10)/25. Let r be 2/(-9) - c/27. Let o = 10 + -7. Solve r = 2*d + o for d.
4
Let j(f) = 7*f**3 + f**2 - 3*f + 1. Let k be j(1). Solve 3*h - k*h = 3 for h.
-1
Let p(q) be the third derivative of q**4/24 - 7*q**2. Let x(h) = -h**3 + 3*h**2 - 2*h + 1. Let z be x(2). Let c be p(z). Solve -o - 4 = c for o.
-5
Let s = 14 + -11. Solve 0 = -s*t + 5*t for t.
0
Let g = 37 + -33. Solve 5*h = g + 1 for h.
1
Suppose -3*t + 5 = -x + 1, 0 = 5*t + 5*x. Let m be (0 - 0)*1/t. Suppose -3*y = -2*q - 81, -3*y = -m*q + q - 72. Solve 3*r = -2*r + y for r.
5
Let h = 3 + -3. Let i = 0 - h. Solve 5*q + i + 25 = 0 for q.
-5
Suppose -8 = -4*x - 0. Solve -w + x + 2 = 0 for w.
4
Suppose a - 5*a = 2*c - 30, -4*a + 2*c + 26 = 0. Solve 4*f = -a + 3 for f.
-1
Let i(c) = -c**2 + 3*c - 6. Let h(s) = -s. Let z(u) = 2*h(u) - i(u). Suppose -5*x + 22 = 2*m - 0*m, -x = 2*m - 6. Let f be z(x). Solve -2*y = f*y - 8 for y.
2
Suppose -51 = -2*x + 3. Solve -5*f - x + 7 = 0 for f.
-4
Let j be 6*(1 - (-9)/(-6)). Let y be j + (-3 - -1) + 1. Let k = y - -7. Solve 0 = k*w - 1 - 2 for w.
1
Let k = 0 + 5. Suppose -k*r + 2 + 2 = 4*q, 2*q - r = 16. Let z be (-8)/28 - q/(-21). Solve 15 = -5*n - z*n for n.
-3
Suppose -80 = -2*p - 30. Solve -6*s - p = -11*s for s.
5
Let g(q) = -8*q + 50. Let j be g(6). Solve -y + j*y = 4 for y.
4
Let r(k) = 13*k - 1. Let u be r(1). Let p be 3 - (1 - (3 - 2)). Suppose 3*b + 2 + p = -2*n, n + b = -1. Solve n*j + u = -j for j.
-4
Let v(x) = x**3 + 6*x**2 + 5*x - 3. Let s be v(-5). Let r(y) = y**3 + 7*y**2 + y + 4. Let o be r(-7). Let p = o - s. Solve -t = -p*t for t.
0
Let l(c) = 5*c + 3*c - 4*c. Suppose 4*d + o - 8 = 0, 2*d - 2*o = 2*o - 14. Let w be l(d). Solve w = p + p for p.
2
Suppose 60 = 5*a - 0*a. Solve s + a = -3*s for s.
-3
Suppose -2*o + 1 = -7. Solve -8 = -y - o for y.
4
Suppose -5*j + 0*j = -100. Let b be (-10)/j - 27/(-2). Solve -5*y - 12 = b for y.
-5
Suppose 2*m = -5*l + 25, 4*l - 20 = -m - 4*m. Suppose 3*y + 3*d = -3, 2*d + 1 = -l. Solve -y*n = -4*n for n.
0
Suppose -2*a + a = -4. Let q = -1 + a. Solve 4*y - 3 = q*y for y.
3
Let w(j) = -j - 2*j - 1 + 5 + 0*j. Let p(n) = -4*n + 4. Let z(d) = -2*p(d) + 3*w(d). Let y be z(0). Solve -y*s + 5*s = 0 for s.
0
Let s = -33 + 37. Solve -v - v = -s for v.
2
Suppose -3*n + 20 = 3*g + 2*g, -2*n + 4 = g. Suppose 0*t - 10 = -2*t. Suppose 4*v = -t*p + 5, -4 = 4*v - p - 3. Solve 3*k + v - 3 = n for k.
1
Let g = -8 - -11. Solve -l + 4*l = g for l.
1
Let i = 8 - 13. Let p be (-3)/(-5) + (-17)/i. Solve -2*h + p + 2 = 0 for h.
3
Let o be 0/(-3) + (5 - 1). Suppose -o*n + n - 21 = 0. Let x = 3 - n. Solve x = -3*q + 25 for q.
5
Suppose m - 3*x = 11, -m - 2*m + 53 = -4*x. Suppose -3*h = 3*o, o = h - 6*h + 20. Solve h*n - 2 = m for n.
5
Let s be 6/(-9) + (-34)/(-6). Suppose -4 = -s*y + 1. Let b = 3 - y. Solve -3*r + 20 = b*r for r.
4
Let h = -6 + 3. Let f(q) = -6*q - 3. Let k be f(h). Suppose -k = -6*s + s. Solve -l - s = -4*l for l.
1
Let w be (-1)/(-2)*-4*15/(-6). Solve 3*z = w*z + 2 for z.
-1
Suppose 0 = 5*i + 22 + 33. Let k = i + 15. Suppose -5*w + 3*p = -22, -3*w = -8*w + 4*p + 26. Solve 0 = -0*j - w*j - k for j.
-2
Let i be 1 - (-1)/(-2)*2. Suppose 4*k + 3*a - 26 = -i*k, 2*k - 2*a - 20 = 0. Solve k = -0*s - 2*s for s.
-4
Suppose 0 = -y + 4 + 5. Suppose 0 = 3*n + 3 - y. Let x(l) = l**3 - 2*l**2 - l + 2. Let f be x(n). Solve 2*u - u = f for u.
0
Suppose 0 = -l + 2*k + 2, -8 = -3*l - 2*k - 2. Solve l*q = -q - 3 for q.
-1
Let c(t) = t**3 + 3*t**2 - 1. Let b be c(-2). Let z be b - (4/2 + 1). Suppose 0 = -z*l + 4*l - 8. Solve 6 + 4 = l*o for o.
5
Let l be 0/(-3)*(4 + -3). Let q = 13 + -8. Suppose -q*c = -l*c - 10. Solve -4*t + c*t = 0 for t.
0
Let f = 11 - 8. Let i(p) = -p**2 - 7*p + 8. Let m be i(-8). Solve m = -3*l - 6 + f for l.
-1
Let g be -5 + -7 - -7 - -27. Suppose 2 = -d + 8. Solve 4*m + d = g for m.
4
Let w(k) = k**3 - 8*k**2 + 7*k + 2. Let h be w(7). Solve 6 = n + h*n for n.
2
Let a(u) 