*p + 5*k, -q*k = k - 9 for p.
-5
Let x = -13 + 23. Let z be (-6)/4*x/(-3). Solve 4*u + 1 = z*j + 41, -8 = 2*j for u.
5
Suppose 21*t - 8 = 17*t. Solve 14 + 8 = t*w + 3*n, 5*w - 3*n = 13 for w.
5
Suppose -6 = 3*s, 4*i - 117 = 5*s - 47. Solve -x - 4 = m - 1, 5*m - 2*x + i = 0 for m.
-3
Suppose 4*f + 5*z = -25, -f + 2*z = 4*f - 10. Suppose f = 2*k - 6 - 2. Solve -3*s - k*o - 14 = 0, -3*s + 4 = o + 3 for s.
2
Let d = 22 - 14. Suppose 0*z + d = 2*z. Suppose 2*w - 10 = -z. Solve 13 = 2*i + 3*r, -i + 5 = w*r - 2*r for i.
2
Suppose -3*n + m = -26, 3*m - 2 = n - 0. Let l = n + -18. Let h = l + 13. Solve o = -o + 5*b + h, -2*o + 7 = -3*b for o.
5
Suppose -6*i + a = -2*i - 28, -3*i = 4*a - 40. Suppose -12 = -z + i. Let s = z - 12. Solve -4*d = -5*q + s + 27, q = 2*d + 13 for d.
-5
Let l(i) = 2*i + 29. Let y be l(-17). Let s(u) = u - 1. Let t be s(-6). Let b = y - t. Solve b*x + x = -3*q - 15, -4 = 2*x for q.
-3
Let y(v) = 16*v + 1. Let h be y(1). Solve p = -r - 4*r + h, 0 = -p + 5*r - 13 for p.
2
Let w be (2 + -1)/(10/(-60)). Let l = -9 + -1. Let h = w - l. Solve -6*g + h*n = -g - 21, 5*g = 2*n + 13 for g.
1
Suppose 5*x - s - 2*s = 35, -5*x - s + 15 = 0. Suppose 0 = r + 2 + 5. Let f(u) = -u - 5. Let l be f(r). Solve -5 = l*y + a, 3*y - x*a = -3*a + 5 for y.
0
Let n(b) = -4*b - 32. Let w be n(-18). Solve 4*q + 4*d - w = 0, -3*q = -d + 6*d - 40 for q.
5
Let i(m) = m**2 + 3*m - 2. Let t be i(2). Let x = -8 + t. Solve 5*s = b - 16, x*s + 2*s = -8 for b.
-4
Let j be (-21 - -19)*(0 + -1). Solve n - 4*n = j*y - 19, 22 = 5*y - n for y.
5
Let y = -3 + -1. Let h be 133/76 + (-1)/y. Let a(x) = -x**2 + 5*x - 4. Let u be a(3). Solve -u*j = 3*d + d, d = h for j.
-4
Let z = -16 - -17. Let f be (z - 2)/(1/(-5)). Suppose 5*k - 15 = 5. Solve -r + k*s = -15, f*r + 0*s = 4*s + 27 for r.
3
Let s = -54 + 59. Solve f + 10 + 4 = -s*k, 4*k = -8 for f.
-4
Let i(f) = f**3 + 5*f**2 + 3*f - 4. Let b be i(-3). Suppose 34 = -2*d - 38. Let j be (-8)/d - (-68)/18. Solve n + 0*u = -4*u - j, b*n + 3*u = -3 for n.
0
Let o(u) = u**3 - u**2 + 4*u + 3. Let j be o(3). Solve -5*v + j = -4*h, -h + 5*v - 5 - 22 = 0 for h.
-2
Let j(p) = 4*p**2. Let m be j(-1). Let b = 9 + -2. Suppose -k = -35 + b. Solve k = 4*x + m*r, 3*r = 2*x + 11 - 0 for x.
2
Let a(x) be the second derivative of x**3/6 + x. Let h be a(4). Solve 5*u = -3*k, 3*u = -h*k - 14 + 3 for k.
-5
Let z(x) = x**3 - 9*x**2 + 6. Let c be z(9). Solve 2 = 4*v + 3*n + 8, -v = 3*n + c for v.
0
Suppose -13 = 4*g - 3*g. Let j = g + 18. Let i be (-3 - -1) + 2 - -3. Solve h + 3 = -m, -4*h - 17 = i*m - j for m.
0
Suppose -3 = -5*z + 12. Let d = z - 3. Suppose 5*x - 20 = -5*s, -3*x - 5 + 29 = -3*s. Solve -6*a = -a - 3*i - 8, d = -a + 5*i + x for a.
1
Let r = 0 - -4. Suppose -4*g = -g - 18. Suppose f - 1 = 11. Solve f = o - r*t - g, -2*o = t for o.
2
Let j(q) = -2*q - 17. Let g be j(-11). Solve -7 = g*c - a - 0, 4*a + 8 = 2*c for c.
-2
Let j = 17 - 26. Let k = j + 11. Let z be 0/(0 - (k + -1)). Solve z = -4*g - a + 3 - 19, 3*g = -5*a - 29 for g.
-3
Suppose -2*o = 3*o + 20. Let d = 6 + 6. Let s = d + o. Solve 4*i = -s, -3*a + 8*a - i = 12 for a.
2
Let d(l) = -l + 8. Let f be (-126)/(-24) - 3/(-4). Let y be d(f). Solve -3*a - 12 = a, 11 = -y*s - a for s.
-4
Suppose 4*d + 41 = b, 2*b + 2*d = 7*b - 115. Let x = b - 18. Solve -4*y - x = -5*q - 23, -3*q - 12 = y for q.
-4
Suppose 4*j = 7*j - 15. Let q = j - 2. Solve 3*o + q*d - 6 = -o, -4*o + 2*d = 4 for o.
0
Let u(v) = v**3 - 7*v**2 + 6*v - 2. Let o be u(7). Let t = o + -60. Let b be (t/(4 - 2))/(-1). Solve 4*x - 1 = 3*q, 2*x + b = 5*q + 7*x for q.
1
Let u be (-1)/4*-2*4. Solve 5*q - 4*h = -u + 3, -4*h + 5 = q for q.
1
Suppose 17 = -4*b + 5*s, -4*b - 2*s = 5 - 23. Suppose 0*y = -5*y + 15. Solve k - y*u + 1 = -u, 3*k + 3 = b*u for k.
-1
Let q = -108 + 112. Solve 5*f + 2*l + 19 = 0, 7*f - q*l + 7 = 2*f for f.
-3
Let o(r) = r**3 - r**2 - 1. Let d be 0 - (-2 + 0)*1. Let g be o(d). Suppose 18 = l + g. Solve 2*j - 5*i - l = 0, 0 = -5*j - 4*i - 11 - 34 for j.
-5
Suppose 0 = -7*g + 3*g - 48. Suppose 2*p - 65 = -5*c - 3*p, -2*c + 5*p + 47 = 0. Let j be (-1 - 2)*c/g. Solve -r + 2*o - 17 = 6*o, -4*r = -j*o + 8 for r.
-5
Let v(u) = 2*u**2 - 14*u + 14. Let x be v(6). Solve -2*q = -x*y - 12, -5*q - 5 + 19 = -y for q.
2
Suppose -3*m + 9 + 6 = 0. Solve 3*a - a + 6 = 2*o, 3*o = 5*a + m for a.
2
Suppose 0 = -3*n - 3*p + 3 + 24, 0 = 5*n + 2*p - 33. Let z be (-2)/(-9) + 60/(-27). Let a = -2 - z. Solve a = -4*u - n*g + 10, -6*g + 4*g + 4 = -2*u for u.
0
Let h = 1 + 1. Let p = -72 + 74. Solve p*y + h = -s, -1 = -3*s + 11 for y.
-3
Let j(h) = 2*h + 1. Let g be j(2). Let i(q) = 3*q - 1. Let l be i(1). Suppose -p + g = l. Solve 4*k + 1 = -p*t - 21, 0 = 5*t - k + 6 for t.
-2
Suppose -2*f - 4 = -m, 0*m - 4*m - 4 = 2*f. Let u = f + 6. Solve -13 = -4*n - k, u*n + k = -3*k + 4 for n.
4
Let k be (-224)/(-98) - (-4)/(-14). Suppose -i + 3*c - 11 = 0, 2*i - i - 9 = -c. Solve -2*t - 4 = -i*w + k*t, t - 1 = -w for w.
1
Suppose 0 = 3*o + a - 11, 4*o + 3*a + 0*a = 13. Solve p + 8 = -2*h, p - o = 2*h + 8 for p.
2
Let f(u) = u - 3. Let z be f(9). Solve -3*i = 5*b - 18, 4*i - 3*b + z = i for i.
1
Let j be (-2)/((-8)/4) + 1. Solve 0 = -2*p - 2*h, 5*p = j*p - h - 2 for p.
-1
Suppose 12 = 2*q + 6. Solve -q = -y - 2*c, 3*y - 7 - 4 = -4*c for y.
5
Let g = 136 + -131. Solve 5*o + q = -4*q - 10, -o = -g*q + 2 for o.
-2
Suppose 28*c - 4 = 27*c. Solve 4*u + 16 = -3*b, -u - 4*b - 21 = c*u for u.
-1
Let a be 4/(-5) - (-68)/10. Let r(z) = -z**2 + 5*z. Let d be r(5). Suppose -4*l = -d*l - 32. Solve -v + a = 4*x, -l = 5*v - x + 4 for v.
-2
Let y be -4 + 6 + 31 + -2. Solve 0 = 2*b + b - 5*z + y, -z = 4*b + 3 for b.
-2
Let p be (-8)/(-2)*(2 + -1). Suppose -p*q - 3*x = 2*x - 15, 0 = 3*q + 3*x - 12. Suppose 2*s = s. Solve -q*j + 10 = w, -w - w + 5*j - 10 = s for w.
0
Suppose 4*q = -58 - 14. Let g be (-2)/9 + (-544)/q. Solve 0 = 5*w + 5*o - g, 0*w + 14 = -w + 3*o for w.
1
Suppose 3 = -3*b + 2*b. Let v be (-6)/((27/6)/b). Solve -14 = i + 2*n, v*n - 5 = 5*i + n for i.
-4
Suppose -2*f - 5*t + 9 = -4*f, 3 = 4*f - 3*t. Let v = f + -2. Let c = v + 0. Solve 2*d + 2*j + 4 = 0, 2*j = -4*d - c - 1 for d.
1
Let x = 0 + 4. Solve -2*f = r + 3*f - 3, 4*f - 12 = x*r for r.
-2
Let t(s) = -s**3 + 7*s**2 + 5. Let c be t(7). Let q be 1/(-3 + c + -3). Let u = 6 + q. Solve 3*i - u = h - i, -3*h - i + 11 = 0 for h.
3
Let u be (0 + 9)*2/12*2. Solve 0 = 5*b + 2*w + 11, b - 3*w = u*b for b.
-3
Suppose 2*t - 2*i = -0*t + 10, 5*i = -2*t + 45. Suppose -2*p = -4*c + t, 0*p + 32 = 4*p + 5*c. Solve 5*f + 0*f + p*r = -30, f = -r - 8 for f.
-3
Suppose 3*l = 4*l - 3, 15 = 3*g + 5*l. Suppose -3*z + 12 = 4*k, 2*k + g*k - 6 = 4*z. Solve -5*t + 3*q - 31 = z, -t - 3 = q - 0 for t.
-5
Suppose -2*o - 4*j - 16 = 0, 0 = -2*j - j - 3. Let c be 63/5 - o/15. Solve -3*z + c = -5*r + 36, -4*r - z = -15 for r.
4
Let v = 3 + -1. Suppose -v = 2*h + 130. Let j be 53/11 + (-12)/h. Solve 0 = -2*b - 2*y + 8, -2*b + 4 = -j*b + y for b.
0
Suppose b - 25 = -4*b. Suppose -3*k + 12 = 4*r, -2*r + 0*r - 2*k = -4. Solve r = f - 5*v - 18, -b*v - 16 = f for f.
4
Let r be (2/(0 + 1))/((-14)/(-49)). Suppose -3*a + 5 = -4. Solve -5*w - 35 = 5*o, -o - r = 3*o - a*w for o.
-4
Let y(z) = -z + 9. Let o be y(3). Let a = 13 - o. Solve 40 = 5*m + 5*f, 0 = 2*m + f - 4 - a for m.
3
Let g be (5/2)/(2/4). Suppose 0 = -5*z + g. Solve h = -z, d + 4*h - 1 = 2*d for d.
-5
Let l(t) = t**3 - 4*t**2 - 9*t + 2. Let u be l(6). Solve 3*a = k + 4*a, -u = 2*k - 3*a for k.
-4
Let z(g) = -g**2 - 7*g + 9. Let p be z(-9). Let o(c) = -c**2 - 10*c - 5. Let j be o(p). Solve u - 10 = -s - 3*u, 0 = -j*s - 4*u + 16 for s.
2
Let o = 0 - -2. Suppose -o*b - 14 = -4*b. Let t(h) = -h**3 - 12*h**2 - 20*h. Let p be t(-10). Solve 5*r + 3*l + 27 = p, -2*l = 5*r - b*l - 5 for r.
-3
Let r be 5/(-2) - (-4)/8. Let f = r - -2. Solve -5*x + 6 = 2*d, -2*d - d + 9 = f for x.
0
Let a be (9/12)/(1/24). Let q = a - 5. Let h be -5 - (-4 + -1) - -3. Solve -h*g - 13 = m, 4*m = g - 0*m + q for g.
-5
Let j(x) = -3*x - 1. Let i be j(-2). Solve -i*q = -4*m - 2, 2*q = 2*m - q + 2 for m.
2
Suppose 2*i = x + 5, -5*i = -0*i - 4*x - 11. Let o = 2 - 5. Let z = o + i. Solve -g + z*m - 2 = -4*m, 0 = 4*g - 5*m + 8 for g.
-2
Let o = -31 - -32. Suppose a + a - 6 = -2*z, 3*a - o = z. Let x(b) = 5*b*