25 = 0, q - 5*x + f = -11 for q.
5
Let x = -17 - -20. Solve 3*d = -o - 19, 0 = 4*o - d + x*d + 26 for o.
-4
Let m be (-4)/14 - 846/(-21). Suppose 39 = -0*l + 3*l. Let n = l + -5. Solve n*o - 4*o = 5*u + m, -2*o = 3*u + 2 for o.
5
Let h = 6 - 4. Let s(p) = 2*p - h*p + p. Let w be s(4). Solve 2*a + 0 = -r + 5, 4*r + w*a = 0 for r.
-5
Suppose 4*b = -5*f + 60, 2*f + b = -0*f + 21. Let s be 4/1*69/12. Solve 3*z + 2*q = f*z + s, -3*q + 2 = -z for z.
-5
Suppose u - 2 = -u. Let z be u + 2 - (-5 + 7). Solve 3*t + 2*j - 2 - z = 0, 0 = -3*t + 5*j - 18 for t.
-1
Let k(l) = l**2 - 2*l + 2. Let u be k(2). Solve -t = 2*v + 1 + 10, -v = -u*t + 3 for t.
-1
Suppose -11*i = -22 - 0. Solve 2*m = 2*a, -a = i*m - 7*m + 8 for a.
2
Let p(h) = h**2 + h - 2. Let q be p(-3). Solve -2*y - q*s - 11 = -1, 4*s = 3*y - 15 for y.
1
Suppose -6*v - 38 = -98. Solve 2*z + 3*n + n = v, 4*z = 4*n - 40 for z.
-5
Suppose 4*p + 7 = 4*q - 1, 0 = 4*p + 2*q - 16. Solve 4*s - 20 = 0, 20 = p*y + s + s for y.
5
Let w be (8/10)/((-4)/20). Let r = w + 7. Solve k + r = 3*k - 3*q, -3*q = 9 for k.
-3
Suppose 2 - 20 = -6*l. Solve -l*w + 2*k = -8, 3*k = 5*w - 21 + 7 for w.
4
Let y(l) = l**3 - 5*l**2 + 3*l - 2. Let x be y(4). Let t be 3/(1 + (-3)/x). Solve 2*i = -2*i + 2*q - 12, t*q + 23 = -3*i for i.
-5
Let f be 7 + (-4 - -4) + -3. Solve 4*x + 36 = -0*x - f*l, 0 = 3*x - 4*l - 8 for x.
-4
Suppose 69 = -4*q - 83. Let l = -23 - q. Let v = 23 - l. Solve -d = -5*x - 13 - v, -5*d - 11 = 4*x for x.
-4
Let o(h) = 7*h - 2*h + 12*h - 6. Let q be o(4). Suppose 4*l - q = 26. Solve 0 = 3*k - 2*f + 4, -k - 4*f + l = -0*k for k.
2
Let a = -1 + 1. Let t be (-1)/((-4)/80)*-1. Let o be t/(4/8*-4). Solve -5*l - 7 = -v, 4*v + a*l = 2*l + o for v.
2
Let m be 3/(-2)*8/(-6). Solve -5*z + 8 = 3*x, -4*z = 3*x - 2 - m for x.
-4
Let z = 5 - 5. Let w = 5 + z. Solve 2*s + 2 = 0, -w*k - 6*s = -3*s - 2 for k.
1
Let o be ((-3)/(-6))/((-3)/24). Let f(a) = -a**3 - 4*a**2 - a - 2. Let n be f(o). Solve -v + 14 = -5*g, g + n*v + v = -6 for g.
-3
Let a be -1 + 3 - (-1 + 2). Let i(y) = y**2 - 3*y + 2. Let v be (8 - -1)*(-3)/(-9). Let w be i(v). Solve t = -w*t - 2*b + 1, -5*t - 2*b = a for t.
-1
Let h = -20 + 24. Suppose x + 18 = 6*x + h*o, 2*o - 12 = -4*x. Solve -3*q + t = -2*t + 3, x*q + 2*t + 10 = 0 for q.
-3
Let r(v) = v**2 - v - 4. Let x be r(-2). Solve 0 = -3*t + 4*k - 13 + 2, -7 = t + x*k for t.
-5
Let o(k) = -3*k + 1. Let h be o(3). Let a be 4*1 + 16/h. Solve 2*w + 5 - 17 = b, 0 = -2*b - a*w for b.
-4
Let g = -9 - -10. Suppose 3*t = g + 8. Let v be t/((-5)/(20/(-6))). Solve 0 = -4*z - 3*c - 6, 0 + 4 = -z - v*c for z.
0
Let s = 1 - -1. Let o = 1 - -6. Solve 2*x = s*d + 2, -o*x + 3*x + 5*d = -1 for x.
4
Let d(q) = 5*q - 4. Let h be d(3). Let s(n) = n + 1. Let y be s(-7). Let t = y + h. Solve -4*l - t*m = 25, m = 2*l - 0 + 9 for l.
-5
Let c = 1 - -2. Suppose 0 = 2*f + i - 33, -3*f - 2*f + 83 = 2*i. Suppose -4*m + 11 + 5 = 0. Solve -5*g + f = n, m*g + c*n - 9 = 3*g for g.
3
Let j(x) = x - 9. Let a be j(5). Let w be -1*(a + 0 + 1). Suppose -w*u + u = 5*y - 13, -y - 15 = -4*u. Solve 0*o - 3*o - 3*h = 30, u*o = -h - 25 for o.
-5
Let v be ((-1)/4)/(3/(-24)). Solve v*n + 2*k = -k - 12, 0 = -3*n - k - 4 for n.
0
Suppose 2*b + 10 = 60. Solve -2*z + 5*w = z + 17, 5*z = 5*w - b for z.
-4
Let o = 1 - -1. Suppose 4 = o*y - 4. Suppose 4*l - l - 9 = 0. Solve -l*s + 2 = 2*i, y*i - s + 2*s = -6 for i.
-2
Suppose -u = 7 - 2. Let r = u + 7. Let q = r - 0. Solve 0*i + 2*j = 2*i, -5*i = q*j - 35 for i.
5
Suppose 30 = 4*d + 10. Let r(g) = -g - 3. Let q be r(-6). Solve 2*n + l = 4, -d*l + 10*l = -q*n + 6 for n.
2
Suppose -6 = 2*y - 2*f, 0*y - 5*y - 3*f + 25 = 0. Solve 10 = -n + 2*q, y*n + 31 = -2*n + 5*q for n.
-4
Let u(y) = -4*y**3 - 2*y**2 - 4. Let n be u(-2). Solve -2*d - n = -2*j - 6, j - 27 = 5*d for j.
2
Let b be ((-6)/10)/((-1)/35). Solve -3*v = -0*u + u - 12, 2*u - b = -5*v for v.
3
Let m(v) = 4*v + 15. Let b be m(-6). Let l be (-1 - b)*(-5)/(-20). Solve -w + 2*w - 3*i = -l, w - 2*i = -3 for w.
-5
Let u = -16 - -28. Let l be (u/(-4))/(2 + -3). Let g = l - -1. Solve 2*c + 4*f = g, c + f + 1 = 2 for c.
0
Suppose 4*u + 15 = 7*u. Suppose -u*r - 5 = -25. Let m(k) = -2*k - 1. Let d be m(-2). Solve 0 = t - 2*v - 5, 2 = t - d*v - r for t.
3
Suppose 0 = -2*f + f - 3. Let g(t) = -t**2 + 5*t + 5. Let n be g(4). Let z = n - f. Solve -z = -0*j - 2*j - o, 0 = 5*j + 3*o - 32 for j.
4
Let l(m) = -m**3 + m**2 - 5*m + 1. Let u(f) = -f**3 - 5*f. Let j(d) = -4*l(d) + 3*u(d). Let p be j(3). Solve -4*t - 3*r + 14 = 0, -4*t = -2*r - 26 + p for t.
5
Suppose -3*b = -4*b + 4*s - 25, -b - 20 = -3*s. Let h be 1/(b/3 - -2). Solve 2*x + 5*n = -h*x - 20, -x = -5*n + 4 for x.
-4
Suppose 0*g = 3*g - 15. Solve -g*x + 15 = -5*f, -4 + 7 = -3*f + x for f.
0
Suppose 3*o + 40 - 108 = -5*g, -2*g + 3*o = -23. Suppose 0 = -5*y + 9 + 31. Let b = g - y. Solve -5*h + 20 = 0, 3*k + b*h - 20 = -0*h for k.
0
Let s be (-1 + 2 - 1) + 4. Let c(k) = 2*k - 4. Let o be c(s). Solve 0 = 5*u + q + 22, -3*u + o = 2*q + 13 for u.
-5
Let y be 29*1 + (16 - 12). Let l = y - 27. Let z be (0 - 1)/((-2)/6). Solve 0 = 4*n - r - l, 0*r - 6 = -z*r for n.
2
Suppose -111 + 21 = 5*k. Let i be (k/3)/((-2)/1). Solve -8 = -j - 3*j, 0 = i*o - 4*j + 14 for o.
-2
Suppose 5*d - 2*j - 22 = -0*j, j = 2*d - 8. Solve 4*q = d*h - h + 7, 2*q + 2*h = 8 for q.
3
Suppose -5*n - r + 0*r = -24, 5*n - 20 = -5*r. Solve 0 = n*a + 2*o - 17, 2*a - 4*a + 5*o = -30 for a.
5
Let f = -20 + 38. Solve -5*m + 14 = 4*z - f, -m - 8 = -4*z for m.
4
Let d(n) = n**3 + 12*n**2 + 10*n - 8. Let b be d(-11). Suppose -h + 5*t + 19 = 0, 4*t = -8*h + b*h + 8. Solve -3*g - 2*g - 19 = 4*w, -11 = h*g - w for g.
-3
Let p(n) = 6 - 4 + n + 1. Let x be p(0). Suppose 5*a = -x*g - 11, 2*a = -0*g + 5*g - 23. Solve -13 = g*m - i, -3*m + 5 = 5*i + 30 for m.
-5
Suppose -16 = s - 6*s - 4*y, 23 = 5*s - 3*y. Let b(t) = 2*t + 1. Let n be b(s). Solve 0 = -p + 3*w - 19, -n + 44 = -5*p + 3*w for p.
-4
Let d = -13 - -18. Let r = -8 - -13. Let f be r/15 - 2/6. Solve f*j - 6 = 2*j - 2*a, d*a - 15 = -2*j for j.
0
Suppose -2*b + 6 = 3*n + 2, 0 = 4*n + 8. Let h be 16/7 + 2/(-7). Suppose h*c - 9 = -3. Solve 2*l = x - c, 0 = b*x - 3*l + 7*l - 1 for x.
1
Let u = 44 + -42. Solve -2*v - u*v = t - 11, -5*t = -v + 8 for v.
3
Let z = 45 + -42. Solve -2*s - 3 = -j, j + 2*s - 2 = -z for j.
1
Let d(r) = -3*r - 11. Let j be d(-8). Suppose 3 = -2*s + j. Suppose v - s = -0. Solve 19 = v*g - p, 3*g - 9 = -0*g + 3*p for g.
4
Let u be (-81)/(-15) + (-4)/10. Let b = 28 + -12. Solve -4*k - h - 2 = b, 0 = u*k + h + 23 for k.
-5
Suppose -5*o - 2*x + 29 = x, -3*o = -2*x - 6. Solve 3*c + 8 = o*c - 2*t, 2*c + 4 = -t for c.
0
Suppose -6*d + 12 = -3*d. Solve d*j = -3*f + 7, 0 = -4*f - 0*f - 3*j for f.
-3
Let s be 1*5 - 90/18. Solve 4*c + 5*p = s, 0*p + 2*p = c for c.
0
Let u = 8 - 5. Let f be u/(-1) + 14 - -3. Solve 0*g + 4*g - t + 11 = 0, g = -2*t - f for g.
-4
Suppose -3*v = -9, -4*v - v = 5*s - 35. Solve -2*j - 3*j - 20 = 5*a, s*a - 5 = 3*j for j.
-3
Let h(k) be the third derivative of k**5/60 + 7*k**4/24 - 13*k**3/6 + 4*k**2. Let g be h(-9). Solve -2*f + 3*i - 1 = 0, -f - 2 = -g*f + 2*i for f.
1
Let l(g) = 2*g + 0 + 1 - 8. Let z be l(5). Let v = 15 + -13. Solve 0*b - 6 = 2*b - v*u, -5*b = u - z for b.
0
Suppose 3*m + 35 = 2*b + 8*m, -5 = b - 2*m. Solve -4*w - 20 = -r, -w + 0*w = -5*r + b for w.
-5
Suppose 4*j + 3*w + 59 = 0, -2*j + 3*j = -2*w - 21. Let c = 16 + j. Solve 4*f - 17 = -2*k - c, 0 = 4*f - 3*k - 32 for f.
5
Let h be 0 - 0 - (-1 - 1). Suppose -3*w = -7 - h. Let g be (2/(-4))/(1/(-26)). Solve g = -j - 4*v, -w*j + 4*v - 10 + 3 = 0 for j.
-5
Let g(p) = -p - 6. Let u be g(9). Let l be (24/u)/(4/(-20)). Solve 5*m - n - 14 = 0, -2 = 5*m + n - l for m.
2
Let l = 62 + -40. Solve -2*s - 2*i + l = s, -5*i = -25 for s.
4
Let u(a) = -5*a**2 - 8*a + 3*a + 0*a**3 - 7 - a**3. Let i(x) = x**2 + 5*x + 1. Let p be i(-3). Let y be u(p). Solve d + 5*f = -y, d + 2*f + 3 = -3 for d.
2
Let j be ((-8)/6)/((-1)/((-9)/(-6))). Suppose -3*h + 2 = -2*h. Solve n = -k - j, -2*k - 4*n + h = n for k.
-4
Let p = 8 + -5. Let z be 12 + 0 + (-3 - -3). Suppose 4*t + 0*t = 0. Solve t*h - 5*f - 7 = 4*h, 3*f - z = p*h for h.
-3
Let l = -209 - -220. Solve -4*w - 6 = -s, l = 4*s + w + 4 for s.
2
Let n(z) = 3*z - 10. Let j be n(6).