2*q - 3, -4*q = t*k - 4 for k.
4
Let h(i) = i**3 + 3*i**2 - 5*i - 4. Let r be h(-4). Let t = r - -5. Solve 0 = 5*k - o - 10, t*k - o - 2*o - 20 = 0 for k.
1
Let w = 23 + 6. Let u = -12 + 14. Solve -w = 5*k - 3*h, -u*k + 0*k = 3*h - 1 for k.
-4
Let i be (-9)/(-3) + 7*-2. Let v be i/22 + (-62)/(-4). Solve -v = q + 5*s, 44 = 4*q - 5*s + 4 for q.
5
Let u(j) = -j - 2. Let m be u(-7). Solve 0 = 5*o + m*y - 15, -5*o + 6 = -5*y - 29 for o.
5
Let z = 7 - 8. Let i be (-3)/(z/(-12)*-2). Solve 2*x + 0*l = -4*l - i, -2*x + 2*l = -12 for x.
1
Let y = 2 - 2. Solve -w - 1 = 3*o, 2*o + 14 = -4*w - y for w.
-4
Let r be 30/(-40) - (-1)/(4/39). Solve 0 = 2*q - 3*s + 19, -q - r = 2*q + 2*s for q.
-5
Let d = 3 - 0. Suppose -d*z - z + 5*y = -15, 5*z - 26 = -y. Solve 5*s = 4*u - 0 - 4, 5*s = z*u for s.
-4
Suppose -3*b - 5 = -17. Suppose 5*v + 3*x = 27, -v + 5 = -3*x - 4. Let s be -1 + 3/v*2. Solve 4*l - b = s, -4*n + l - 9 = -4*l for n.
-1
Suppose s + 0*s = 0. Let o(x) = 2*x - 4. Let t be o(3). Let y = t - s. Solve -5*f = -5*d + 10, 0 = -2*d - y*d - 4 for f.
-3
Suppose 3*z - 16 = 2*c, 0*z + 3*z = -c + 1. Let h = -7 - c. Let j be 3 - -2*(2 - h). Solve -4*u + 31 = -3*v, -v + j = 4*u - 0*u for v.
-5
Let i be (6/(-2))/1 - -28. Suppose -5*p = -2*u - 7, -3*p - 4*u + i = -0*p. Solve 0 = -4*m + p*k + 4 + 1, 5*k = -3*m - 18 for m.
-1
Let y be (1 - 0/3) + 33. Suppose -k - 61 = 5*f, -f + 2*k - y = 2*f. Let q be (-16)/2*f/16. Solve -q*n - 3*s = -n - 3, -n - s = 1 for n.
3
Suppose 26 = 4*y - 2*y. Solve 2 = -3*o + 4*t + y, 3*o + 34 = -5*t for o.
-3
Suppose -6*k = -11*k. Solve 0 = -4*i - 12, k = 3*a - 5*i + i for a.
-4
Let r = 12 - 27. Let k = 25 + r. Solve -y - 4*y - 5 = 0, k = -3*x - y for x.
-3
Let y be (-104)/(-18) - 10/(-45). Solve -4*v + r + 17 = y*r, 6 = v + 3*r for v.
3
Let o be (0 + 1)/(3/57). Let j(g) = 4*g**3 + 2*g**2 - g. Let y be j(1). Suppose 5*q + 13 = -x, 2*x - q - 2 = y. Solve -2*w + o = 5*n, -n - n = -2*w - x for n.
3
Let p = -11 + 17. Let y(w) = -w**2 + 11*w - 3. Let b(v) = v. Let x(r) = -4*b(r) + y(r). Let l be x(p). Solve 4*t = 2*m, -5*m + 9 = l*t - 4 for m.
2
Suppose -q + 3*y + 1 = 0, 4*q - q + 5*y - 17 = 0. Solve m - 3*m - 8 = q*c, 3*m + c + 2 = 0 for m.
0
Suppose 10 = 5*y + 3*w - 16, 12 = 4*y - 2*w. Suppose 4*o = n - 0*o + 15, -3*o + 8 = -4*n. Suppose -n + y = r. Solve 3*t = -r*i, 5*t = 4*i - 0 + 18 for t.
2
Let k = 79 + -77. Solve 38 - 13 = -5*b, 0 = -k*a + b + 1 for a.
-2
Suppose 3*f - 2*n = -2*f + 28, -n = -2*f + 12. Suppose 0 = f*u - 6 - 10. Let t = 23 - 12. Solve u*s + t = -5*o - 4, s = 0 for o.
-3
Suppose -x + 4*a = -3, -4*x + 6*a - 2*a + 12 = 0. Solve 5*v + 18 = 3*q + q, x*q - 5*v = 16 for q.
2
Let y(z) = 2*z + 1. Let f be y(-2). Let o = -1 - f. Suppose -p + o*p = 3. Solve 4*s = 5*c - p, 3*s + 5*c = -0*s - 11 for s.
-2
Let k(m) = 2*m - 13. Let a be k(7). Let o be (-54)/(-9) - (0 + a). Solve 5*y - 9 = b - 1, 4 = o*b - 3*y for b.
2
Let d be ((-2)/(-6))/(16/48). Suppose -p - d + 5 = 0. Suppose -2 - 1 = -x. Solve p*j + 13 = -4*l + 3*j, -x*j = 3*l + 12 for l.
-3
Let f = 68 - 48. Solve f = -3*r - r + 4*k, -20 = -4*k for r.
0
Let p(z) = -4*z - 11. Let k be p(-3). Let a(b) = b + 1. Let g be a(3). Let v(i) = -6*i**3 - 1. Let l be v(-1). Solve -l*y + 20 = -5*r, 2*y - k = -r + g for r.
-1
Suppose 12 = 4*o - 0*o. Suppose -72 = h - o*h. Let k be 10/3*h/30. Solve -2*z + 5*a = 14, k*z + 5 = 4*a + 1 for z.
3
Let l be -2*(1 + (-6)/4). Let k be (5/4)/(l/4). Suppose -p - w + 61 = 2*p, 36 = 2*p - 4*w. Solve -k*t + p = 0, n - 6 = -0*t - t for n.
2
Suppose 0*t = t. Suppose t = d + d - 4. Suppose -k = -4*n + 37 + 25, 0 = n + 3*k - 9. Solve -3*j + n = 4*w, 1 = w - d for j.
1
Suppose 6*d - 51 - 15 = 0. Solve -w = 4*p - d, -w - 31 = 2*w - 4*p for w.
-5
Suppose -5*j + 4 = -11. Let p = 6 - j. Suppose -3*i + p*o + 3 = 0, -2*i - i + 13 = 2*o. Solve -i*k + 8*k = 5*g, 30 = 5*g + 5*k for g.
3
Let s be 105/10 - 3/(-2). Let i(m) = m - 9. Let k be i(s). Solve 5*b - k*g = -5, -5*b + 10*b = 4*g for b.
-4
Let v(m) = m**2 + 4*m - 3. Let a be v(-5). Suppose 7*i - 50 = a*i. Let s(p) = 4*p**3 - p**2 + 1. Let z be s(1). Solve 0 = 2*w - i, -4*o - z - 9 = -5*w for o.
3
Suppose 0 = 5*i - 8 - 17. Suppose 2*g = i*g - 15. Solve -2*t - 5 = -6*t + g*a, -2*a = 10 for t.
-5
Suppose 4*a = q - 5, 2*q + 4*a + a = -3. Let k = 2 - -2. Let v = k - q. Solve -2*n + 2*x = 2*n + 6, 2*x = -v*n - 1 for n.
-1
Let q = 57 + -54. Solve 4*j = 3*n - 0 + 2, 2*j - q*n + 2 = 0 for j.
2
Let x be 8/3*9/4. Let z = 9 - x. Solve -z*l + 8*l = 4*r, -5*r = l for l.
0
Let f be 1/((-1)/(4 + -7)). Solve 4*o + 8 = 0, 2*o - f*o - 12 = 5*l for l.
-2
Suppose -7*n + 28 = -5*n. Suppose 5*b - n - 11 = 0. Solve 5*h - 25 = 0, h - b*h = -2*k - 22 for k.
-1
Suppose 2*p - 28 = -4*a, 0*a - a = 5*p - 25. Suppose 0 = -p*d + 6*d - 30. Solve 4*u + 3 = -5*h, 2*h = -h + 2*u - d for h.
-3
Let q be (-1)/2 - (-146)/4. Suppose 4*p + 0*p = q. Let u(j) = -4*j + 33. Let f be u(7). Solve -3*g + 9 = c, 3*g = -f*c + 6*c + p for c.
0
Suppose 15 = -3*a, -2*r - 2*a - 22 = -6*r. Suppose 0 = -r*i - 0*i. Suppose -4*s = -5*d - 4 + 1, -s + 2*d = i. Solve 0 = 2*m + 2*p - 16, p + 8 + s = 5*m for m.
3
Suppose 3*o - 3 = -4*y + 6*y, 27 = 4*o + 5*y. Let a(n) = -o - n - 4*n + 4*n. Let b be a(-5). Solve -w = -2*p, p = -2*p + b*w for p.
0
Let i(d) = d + 8. Let a be i(-8). Solve 2*s + v = -0*v - 7, 3*s + v + 11 = a for s.
-4
Let s(c) be the third derivative of -c**4/12 - 5*c**3/6 - c**2. Let j be s(-9). Solve -5*a = 5*v - 5, v = -a + 3*v + j for a.
5
Suppose -60 = 9*j - 3*j. Let a be (-1)/(-2) + j/(-4). Solve -a*y - 5*b + 1 = -24, b = 5 for y.
0
Let t(l) = l + 1. Let q(s) = -2*s + 11. Let x(n) = q(n) + 3*t(n). Let b be x(-11). Solve -p + 1 = b*m - 3*p, 4*p - 7 = 3*m for m.
3
Let x = -19 + 9. Let s be x/(-4)*8/10. Solve -4*r + 3*k + 11 = -9, 4*r - s*k - 16 = 0 for r.
2
Suppose 3*d - 2*h - 13 = 0, 2*h - 3*h = -d + 5. Suppose -2*l + d*l = 2. Solve -4*i - m - l = -7, 6 = 4*i + 2*m for i.
1
Let i be -6*((-6)/(-4) + -2). Let h(f) = f - 2. Let n be h(4). Let m be -1*n - (-4 + 2). Solve m*v + 8 = i*j + 5*v, -j + 2*v = 1 for j.
1
Let b be 1/((-3)/(-6)) + 2. Let f(w) = -3*w + 5*w - 2 - 1. Let z be f(b). Solve 0 = m + 5*a - 22, 3*m - 5 = -a + z for m.
2
Suppose -3 = -2*l + 4*x + 1, 3*l - 4 = 4*x. Suppose l = -0*n - n. Solve -3*f + 5*f = n, -5*z + 4*f = 20 for z.
-4
Let d = -15 - -11. Let r = d + 9. Suppose 3*z - 2*z - 4*q = 21, 4*z - 4*q = 36. Solve -r*k = 3*c + 2, 4*k - c + 0 + z = 0 for k.
-1
Let z be (2 + (-3)/9)*3. Let g be z + -3 + 1*2. Solve -g*t = -j - 2, -5*j + 3 = -2*t - 5 for j.
2
Let l(b) = 4*b + 3. Suppose -7*m + 6*m = 9. Let c be l(m). Let k be (-6)/c - 6/33. Solve 3*g - 5*n = 24, g = -k*g - 4*n - 9 for g.
3
Let u(z) = -z + 3. Let r be u(0). Suppose 5*y + 7 + 8 = 2*t, -3*y = -5*t + 9. Let k = t + r. Solve -2*c - k*f + 8 = 3*c, -3*f = -5*c + 32 for c.
4
Suppose -4*s - 4 - 2 = -2*b, 5*s = -b + 3. Suppose s = -j - j + 10. Solve 3*l - 5*l - 8 = -2*c, -4*l = -j*c + 15 for l.
-5
Let p be (18 + -28)/((-5)/2). Solve 5*d = 25, 5*l + p*d = -0 + 20 for l.
0
Suppose 0 = 4*y + y - 15. Suppose -3*m = -5*z + y, -2*m - z = -6*m + 13. Solve 2*b + x + 17 = -2*x, 4*b + m*x = -28 for b.
-4
Suppose 0 = 3*c - 4*y, y = -4*c - 4*y. Let p be ((c - -2) + -3)*-4. Solve p*r = -2*g + g - 15, -5*r = 5*g for g.
5
Let m(d) = d**2 - 5*d + 3. Suppose -3*x - 2*x = -25. Let t be m(x). Let o(s) = s. Let p be o(t). Solve 4*r = -p*y + 16, 2*r = -2*y + 7*y - 18 for r.
1
Let r(z) be the second derivative of -z**5/20 - z**4/3 - z**3/3 - 3*z**2/2 + z. Let k be r(-4). Solve k*f + 1 = 2*s, -f + 4*s - 11 = -0*f for f.
1
Let g = -291 + 305. Let h be 9/(1/((-4)/(-3))). Solve g = 2*o - v - 3*v, 0 = 4*o + 2*v + h for o.
-1
Suppose 2 = 2*b - 44. Suppose 0 = -3*t - 4*n + b, 4*t - 5*n + 12 + 9 = 0. Suppose c = -2, -c = 2*q - 5 - t. Solve -q*m + h = 3*h + 2, -3*m = 4*h - 6 for m.
-2
Suppose -6*v + 8 = -7*v. Let f be 0*(2/v)/1. Solve f = 3*p, -5*q - 15 = -0*p + 4*p for q.
-3
Let i be (4 - 2)*8 + 3. Solve 2*l = 5*u + i, -l - 4*u - 10 = 13 for l.
-3
Let v = 7 - 4. Solve 2*g + 3*i + 21 = 0, 0*g - 6 = -3*g + v*i for g.
-3
Let l(k) = -2*k + 21. Let c be l(8). Solve c*u - 2 - 18 = 3*y, 5*u + 20 = -5*y for u.
1
Let n(u) = -u**2 - 5*u. Let w be n(-6). Let h(r) = -r - 6. Let x be h(w). Solve -t = -2*o + 2, 0 = -2*o - x*o + 2*t + 4 for o.