 Solve 3*r = r + k - 9, -2*r = 4*k + b for r.
-4
Let x be 1*-2*1/2. Let i be ((x + 4)/(-1))/(-1). Solve i*s + 3 = -2*l + 13, l = s - 5 for l.
-1
Let d(f) = f + 10. Let y be d(-7). Let x be 20/(-6) + (-1)/(-3). Let i = 5 + x. Solve n - k = 7, 0 = y*n + i*n - k - 27 for n.
5
Let z = 10 + -1. Suppose x = -2*x + 9. Solve -2*w - 3*i = 0, -z = -w - 0*w + x*i for w.
3
Suppose 0 = -2*f + 8 - 2. Solve 2*a + 3*m = 20, -3*a + 23 = f*m - 1 for a.
4
Let a(h) = h**2 - 11*h + 13. Suppose 0*p - 46 = -5*p + 4*t, p - 3*t = 7. Let f be a(p). Solve -4*z + 15 = 3*y + z, 0 = -f*y + 5*z - 15 for y.
0
Let c(n) = n**2 - 4*n + 4. Let p = 14 - 10. Let f be c(p). Suppose -16 = -5*a + f. Solve -4*t - a*h = 0, 10*t + 12 = 5*t - h for t.
-3
Let i = 3 + -8. Let u be i/10*(-1 - 3). Let l = 0 + u. Solve 0 = 3*n - l*q + 10, 2 = -7*n + 4*n - 2*q for n.
-2
Let q be -4*((-74)/(-8) - 1). Let j = q - -47. Suppose -3*m + 5 = -2*z, 2*z - 24 = -5*m + 11. Solve -m*n - j = 3*d, -2*d - 2*n - 6 = -d for d.
2
Suppose -4*z - 10 = -9*z. Let o(q) = q**2. Let t be o(z). Solve -4*u = 2*f + 10, -u = -2*f - 1 - t for u.
-1
Let m be -1 + (-3)/(3/13). Let k = m + 18. Solve 3*n - 12 = -0*g - 2*g, -4 = -4*g + k*n for g.
3
Let s = 13 - 5. Suppose 0 = -0*j - 2*j. Suppose j = -4*z - 7 + 23. Solve 4*a + s + 6 = p, -3*p + 18 = -z*a for a.
-3
Let d(z) = z**2 - 5*z + 6. Let b be d(4). Let t = 21 - b. Suppose 3*u = -9, 2*l + 2*u - t = l. Solve -n - l = 5*q, q + n - 2*n = 1 for q.
-4
Let o = -23 + 27. Solve 0 = -3*c + o + 5, 1 = 4*v - c for v.
1
Let u be (-1)/((-11)/22 + (-6)/(-20)). Solve 2*f = l + 4 + u, 2*l + f = -3 for l.
-3
Suppose t + 0 = 4*n - 3, -2*n - 2*t = -14. Solve 2*y = -n*r - 8 - 12, 0 = 2*y - 2*r for y.
-5
Suppose 4*x + 0 = -8. Let j(t) = 11*t**2 - t - 1. Let h be j(x). Let u be (-58)/(-18) - 10/h. Solve 4*w = 2*k + 3*k - 13, 34 = 5*k + u*w for k.
5
Suppose -3 + 4 = -4*h - 5*v, -5 = -3*h + 2*v. Let m be 24/(-18)*(-2 - h). Solve -2*o = -4*w + o - 18, -2*o + m = 0 for w.
-3
Let v = -42 - -45. Solve -v = j + 4*p, 6*j - 26 = 2*j + 3*p for j.
5
Suppose 5*q - 34 = 21. Solve 3*z + j = -q, 2*z - 2*j = -3*j - 6 for z.
-5
Let g be (9 - 220/24) + 26/12. Solve 0 = 5*c - 25, -q + g*c - 8 = 2 for q.
0
Suppose 1 + 5 = 3*r. Suppose 0 = -r*d - 17 + 5. Let m be 9/2 + d/4. Solve m*v + 14 = 2*x + 3, 7 = -2*v + x for v.
-3
Let w be ((-3)/5)/(7/(-35)). Solve 0*j = 5*j + 2*l - 16, -14 = -w*j + l for j.
4
Let h(y) = -y**3 - 6*y**2 - 9*y - 4. Let p be h(-4). Solve p = 3*x - 5*d - 10, -x + 4*x + d - 16 = 0 for x.
5
Let u(a) = a**2 + 4*a. Let c be u(-5). Solve 0 = -2*n + h - c, -5*n - 5*h = -n - 11 for n.
-1
Suppose 0 = 17*z - 0*z. Solve 0 = -4*k - z*d - d - 3, -4*d = 4*k + 12 for k.
0
Suppose -38 = -2*m - 6. Suppose 5*j - m + 1 = 0. Let h be 2/j + 110/6. Solve -24 = -4*b - u - 3, u = 4*b - h for b.
5
Let o be 4/3*(-6)/(-4). Let u(a) = a**3 + a**2 - 2. Let v be u(o). Suppose -v = -h - h. Solve 5*b - 3 = 2*m + 4, -5 = h*m for b.
1
Suppose 23 = 5*a + 3*j, 3*a + j - 5 = 8. Let i = 11 + -6. Solve -a = -4*m - 4*b, i*b = -0*b + 15 for m.
-2
Let a(u) = -2*u + 15. Let x be a(5). Solve -x*c = -2*l - 4 - 1, -4*l + 5 = 5*c for l.
0
Suppose 43 = 4*a - 5. Suppose -7*u + a = -4*u. Solve 1 = -k + u*g, -k + 0*k + 5 = 2*g for k.
3
Suppose -4*c - 84 = -25*c. Solve -m + 14 = 4*t - 0*t, 2*t - c*m = -2 for t.
3
Suppose 5*g + 4*m - 19 = 0, 4*g + 0*g - 9 = 3*m. Suppose -g*a + 6 + 54 = 0. Solve -3*u - 10 = -n, 0*u = -3*u - n - a for u.
-5
Let o(y) = y**3 + 5*y**2 - 4*y. Let f be o(-6). Let i be ((-8)/(-12))/((-4)/f). Solve i*q = q + 3*x, 0 = -5*q + 3*x for q.
0
Suppose 3*h = 11 + 4. Suppose m - 2*m = 4*s - 16, -h*s - 2*m = -20. Let p be (-6)/(-12) - (-14)/s. Solve -z + 4 = d, 10 = 4*z + p*d - 3*d for z.
2
Let p = -2 + 2. Let n(x) = -6*x - x + 5*x**2 + 0 + x**3 + 1. Let y be n(-6). Solve y*j = -m + 2*j + 1, p = 4*j for m.
1
Suppose -6*m = -7*m + 2. Solve 4*w - 6 = -2*g, 3*g + w = -m*w + 9 for g.
3
Let d = 50 + -45. Suppose k + 5 - 3 = 0. Let q be (2/3)/k*-9. Solve -4*z = z - 2*l + d, 3*z - 3*l + q = 0 for z.
-1
Let v be 16/7 - 18/63. Solve 4 = -v*d + s, -5 = -5*d - 3*s - 4 for d.
-1
Let g be 3 + 4*(-2)/(-4). Solve z + y = 3*y - 3, g*z = 3*y - 22 for z.
-5
Let q(a) = a**2 + 6*a + 7. Let w be q(-6). Suppose -w*z = -3*z. Let c(x) = -x + 20. Let u be c(z). Solve 0 = -5*t - 3*o - u + 6, -5*o = t - 6 for t.
-4
Let o = -3 - -1. Let x be (2/(-4))/(o/4). Suppose -8 = -3*q - y, -5*y = q - 4*y. Solve -w + 5*z - x = 0, -2*w - 5*z = -2 + q for w.
-1
Let r(c) = -2*c - 2. Let f be r(-3). Solve -f*v + 3*u - 13 = -3, 3*v + 2 = 5*u for v.
-4
Let x = 9 + -7. Solve j + 24 = 4*j - 3*d, -x*j - 4*d - 8 = 0 for j.
4
Let l(c) = -2*c**3 + c. Let j be l(-1). Let b be (1/j*-2)/(-2). Solve 2*f - f - b = -3*d, -27 = -d + 5*f for d.
2
Suppose v + 9 = 3*b - 0*b, 4*b - 12 = 2*v. Let r = 0 - 0. Solve k = 5, 4*g + 0*k + k + b = r for g.
-2
Let q(i) = i - 11. Let b be q(11). Solve -3*a = -b*k + k + 12, -3*k + a = -4 for k.
0
Let w = 19 + -12. Let o = 10 - w. Solve -2*c - o = v - 5, c = -3*v + 11 for c.
-1
Let g = -9 + 12. Let v = -9 - -5. Let s(f) = -3*f + 5. Let d be s(v). Solve -4*h = 4*w - 8, d = 4*h - 2*w - g for h.
4
Let s(l) be the first derivative of l**3/3 - 2*l**2 - 2*l - 1. Let q be s(4). Let a be 1*2*-1 - q. Solve 0 = 2*m - 4, -7 = o - a*o - 2*m for o.
-3
Suppose -d - 4 = 1, 5*w = -5*d. Solve 3*n + w = -4*j - 2, 5*j + 2*n = 0 for j.
2
Let z be (-4 + -1)*16/20. Let l = 9 + z. Let v(x) = x**2 - 4*x - 2. Let u be v(l). Solve 4*j - 13 = -s, 5*j = 3*s + u*j + 17 for s.
-3
Let c = 19 - -2. Suppose 0 = 3*m + 15, 0*y = y - 3*m - c. Suppose 2*i - 2*s = 10, 2*i + 4 = y*i + 4*s. Solve i*w - 2 = 4, -z + 6 = 3*w for z.
0
Suppose -2*n + 3*z + 7 = 0, -2*n + 3 = 2*n + 5*z. Let r be (12/(-9))/(3/(-36)). Suppose 5*a - 4 = r. Solve -4*h = a*k - 32, 2*k + 0 = 4*h - n for k.
5
Suppose 2*h = -5*g + 9*g + 38, 4*g + 29 = h. Suppose 3 = 2*i - 1. Suppose -i*z = z. Solve 3*k + v = h, 5*k - v - v - 4 = z for k.
2
Let p = 19 + -19. Solve p = -5*m + 2*h - 23, -h - 12 = 5*m + 14 for m.
-5
Suppose d + a + 202 = -d, -5*a = -10. Let f = d + 187. Suppose 9*i - 4*i = f. Solve 2*n + 2*m = 12, -i = -3*n - m - m for n.
5
Suppose -5 = -q + 3*a, 0 = -3*q + 2*a + 2*a + 10. Solve -5*f + 27 = -2*c, -6*f - 3*c + 17 = -q*f for f.
5
Let s be (-5)/(-1) + -2 + 5. Suppose -s = -5*m + 7. Solve 0 = 5*x + 2*q - 3, 2*x = -m*x + 2*q - 13 for x.
-1
Let m be (-6)/(-9) + (-10)/15. Suppose m = -5*w + w. Solve 6*h - h - f + 18 = w, 27 = -4*h + 5*f for h.
-3
Let r = 45 + -10. Solve 0 = -3*z - 2*z - 5*f + r, 0 = -4*f + 8 for z.
5
Let p be 1 + 1 - (-8)/(-4). Let u be -1*(-2)/((-2)/1). Let j be p + u + (3 - -2). Solve 4*z + 20 = 3*x - j*x, -3*z = -2*x + 4 for x.
-4
Let n be (9/(-6))/((-6)/52). Let c = n - 6. Let z = c + -2. Solve 2*v + 14 = -5*f, -5*f - z = 2*v + 3*v for v.
3
Suppose 4*o = 3*x - 52, 0 = -x + 3*o + 13 + 1. Solve -r = 3*w + 11, -8*w - x = -4*r - 4*w for r.
1
Let i be 3/(-2)*32/(-12). Solve -b = -m - i, m = 3*b + 3*m + 13 for b.
-1
Suppose 0 = -x + 3*x - 22. Let q be 8/(-44) + 156/x. Solve z = 5*f - q, 2*f - 12 = -3*z - f for z.
1
Let f be 5/(-4*2/(-16)). Let n be 26/f - (-20)/50. Solve 5*p + 25 = 4*d - 1, -6 = -n*p - 3*d for p.
-2
Let j be 2/(-6)*-4*-3. Let k = j + 6. Suppose -s + k*s - 3 = 0. Solve 0 = -5*u - 3*t - 22 + 6, 0 = s*u + 5*t for u.
-5
Suppose -2*t + 4*t - 4 = 0. Solve -3*k + t*m = -5, -2*m = -3*k - k + 10 for k.
5
Suppose -4 - 2 = -3*j. Let b(p) = 2*p**2 - 2*p - 2. Let u be b(j). Solve -2 = 2*t + 2*x, u*x + 7 = 5*t + 4*x for t.
3
Suppose -4*m + v - 10 + 24 = 0, 5*m + 5*v - 5 = 0. Suppose m*n - 20 = n. Solve 2*j + n = 0, -a + 11 = -0*a - 2*j for a.
1
Let m = 6 - -1. Suppose -2*p = -m*p + 10. Solve 0 = 3*n - d - p*d, n - 5*d = 20 for n.
-5
Let s(g) = g**2 - 2*g - 4. Let t be s(6). Let v be (2/4)/(2/t). Let y = v - 1. Solve -6 = y*r - 2*x - 22, -r = -x - 6 for r.
2
Let d = 21 - 13. Solve -d = -4*a - 0*a - 3*l, -l = 2*a - 6 for a.
5
Let b(l) = l + 2*l**3 - 5*l**2 - 3*l**3 + 5*l. Let g be b(-6). Let m be g - 5/((-5)/2). Solve -5*c = 4*k + 8, 2*c = 3*k - 4*k - m for k.
-2
Suppose -4*t = 5*l - 7, 0 = 3*l + 3 - 0. Solve 4*j + t*y = -2*y - 7, -4*y = -3*j - 13 for j.
-3
Let t be (-16)/(-24)*(-30)/(-4). Solve 17 = -0*x + 5*x - k, 0 = -x - 4*k - t for x.
3
Suppose -t = -5, 0 = -0*a - 5*a - t + 20. Solve -y + 2*k 