 -m*i + k - 14, -i - r = -k for i.
-4
Let s(f) = -9*f**2 + f. Suppose -w - 2*w = -3*u - 9, 0 = 4*u - 5*w + 14. Let h be s(u). Let b = -4 - h. Solve 0 = 2*y + y + 3*x + 12, 0 = 3*x + b for y.
-2
Let r = -23 + 59. Suppose 19*k = 15*k + r. Solve l + 3*q = 14, 2*q - q - k = 4*l for l.
-1
Let m be (2/6)/(2/6). Let h be 1*-1*15/m. Let b = h - -17. Solve 4*y + 3*n - b*n + 12 = 0, 0 = -2*y + 5*n + 16 for y.
-2
Suppose -3*t = -5*j + 6 + 9, 2*j - 6 = 5*t. Solve j*x = 4*a - 5, -2*x + 0*a + a + 5 = 0 for x.
5
Suppose 3*k = -3*o + 2*k + 2, 5*o - 10 = 5*k. Let v = o - -4. Solve 4*b = -2*u - 2, -v*b - 5 = 5*u - 3*u for b.
-3
Let h = -663 + 681. Solve -2*x = -4*f - h, -x + 3 + 0 = 0 for f.
-3
Let a = 16 + -11. Let u(y) = -y**2 + 10*y + 16. Let m be u(11). Suppose -o - 3*o + 90 = 2*f, f - m = 0. Solve -a*j = i + 5, 0*j + j + o = -4*i for j.
0
Let f(c) = -57*c - 1. Let s be f(-1). Let u be ((-16)/s)/((-2)/14). Solve -5*d - 15 = 0, -u*d = -5*a + 27 - 11 for a.
2
Let m(z) = z**3 + 3*z**2 + 2*z + 72. Let d be m(-5). Solve -2*v = -3 + 1, d = -5*k - 3*v for k.
-3
Let t = 12 + -3. Let x = t + -5. Let b be (-2)/12*(-5 + 5). Solve 2*p - 5*p + 34 = 5*f, b = -x*p - 3*f + 27 for p.
3
Suppose -102*j = -88*j - 84. Solve -2*r = 4*v, -5*v - 2*r + 26 = -j*r for v.
2
Let f be (-18)/(-81) + (-43)/(-9). Suppose 58 = f*z + 8. Solve 0 = 2*x - z, x = -5*m + 3*x - 5 for m.
1
Let u be (-60)/(-4) - (-10)/10. Solve 4*n = -5*s + 1 + u, -4*n = 4*s - 12 for s.
5
Let r = 12 + -9. Let m be 2 + -5 + -1 + 21. Let a = m + -13. Solve 2*h - r*q + 11 = h, -a*q = 4*h + 12 for h.
-5
Let c be (-28)/(-36) - 1/(9/(-2)). Suppose 5 = 3*k - c. Solve -k*a - j = -12, -20 = -6*j + j for a.
4
Let s = 2430 + -2428. Solve y = 3*n - 1 - 3, s*n - 3 = y for n.
1
Let g = 10 + -5. Suppose 123 - 42 = 2*r + 3*a, -3*a = 3*r - 126. Suppose 2*n - 4*u = 40, -g*n = -3*u + 4*u - r. Solve 5 = -f, d - 25 + n = 4*f for d.
-5
Let x(d) = 8*d + 277. Let p be x(-34). Solve -p*q + 5*m - 21 - 9 = 0, 0 = q - 4*m + 12 for q.
-4
Suppose 0*u - 5*u - 2*i = -12, 0 = 2*u - i - 3. Let n = 20 - 21. Let m be (19 - n)*(-4)/(-16). Solve 3*h - 16 = l, -u*h = -m*l + 3*h - 30 for l.
-1
Suppose -2*z = 5*z. Suppose 2*y = -z + 6. Solve 0 = -b + y*w + 12, -4*b = 5*w - w + 32 for b.
-3
Suppose 4*m = -5*g + 66, -5*m + 10*m - 60 = -4*g. Solve -4*k - k = g, 2*k = -2*p for p.
2
Let l(c) = 5*c**2 - c - 1. Let u be l(-1). Suppose u*s - 35 = -5*g, -19 = -2*g + 3*s + 20. Solve 3*t + 2 = -2*p + 3, -4*t - g = 0 for p.
5
Let k(z) = -z**3 + 3*z**2 - z - 2. Let o be k(2). Suppose o = 5*p + 3*r + 2 - 0, -2*p = -5*r - 24. Solve 0*m - 5*m - 4*n = -7, -2*m - 4*n - p = 0 for m.
3
Let f be 0/((-2 - -6)*(-2)/8). Solve 0 = -a - 4*y - f*y + 22, 5*a - 15 = -y for a.
2
Suppose 11*m + 111 = 155. Solve -i + a - 6 = 0, i + 5*a = m*i + 20 for i.
-5
Let j(a) = a**3 + 11*a**2 - 17*a + 9. Let d be j(-13). Let v be (d/16)/3*-8. Let g = v - 8. Solve 3*f - f = g, 5*p + f = 0 for p.
-1
Let d(u) = -u**3 - 7*u**2 + 34*u + 44. Let t be d(-10). Solve t*c = -5*i + 3*c - 20, i + c = -4 for i.
-4
Let h = -25 + -13. Let m be h/(-4) + 11/22. Solve 2*b + m = 5*i, -3*b - 5*i = -0*b - 35 for b.
5
Let s(k) = -k**2 + 4*k - 1. Suppose 14 = 5*a - 2*b + b, -2*a - 5*b + 11 = 0. Let w be s(a). Let z = 31 + -26. Solve z*l + 13 = -2*d, d = -w*l - 0*d - 6 for l.
-1
Suppose -2*v + 4 = 0, -15 = -5*o + v - 7. Solve -2*n - m = -3, -o*n + 9 = -n - 2*m for n.
3
Let h be (-6)/4 + (-1)/2. Let t = 4 + h. Let v be 5/(1/t + 0). Solve -3*s = -6*o + 2*o - v, -5*o + 3 = 4*s for s.
2
Suppose 0 = -33*x + 763 - 103. Solve -s = -3*u + u, 5*s + x = 0 for u.
-2
Let x(d) = -d**3 + 13*d**2 - 21*d + 9. Let q be x(6). Let y be (q/(-54))/(2/(-4)). Solve 4*v + 16 = 0, y*f - 4*v - 18 = -2*v for f.
2
Let f = -8 - -11. Suppose -f*o + 7 = 4, q = 3*o - 3. Suppose 2*j + 20 = 2*k + 4, j + 3 = q. Solve -3*y - 3*p = 0, -3*y - 14 = -k*p + p for y.
-2
Suppose -2*p - 78 + 20 = -l, -3*l + 146 = p. Let i be (4/2)/(20/l). Solve -r = 3*k + 11, 2*r = -3*r + 5*k + i for r.
-2
Let u be (4/6)/((-18)/189) + 11. Solve 4 = -2*c + 5*t - 12, -u*c = -t + 14 for c.
-3
Let c be (11/1)/((-5)/15). Let r = 31 + c. Let p be r*(1 + 7/(-2)). Solve 7 = 3*j - d, j - p*j - 5*d + 22 = 0 for j.
3
Let j(q) be the first derivative of 2*q**3/3 + 3*q**2/2 + 3*q - 31. Let h be j(-2). Solve -10 = -2*p, -17 = -5*k - h*p + 18 for k.
2
Suppose 3*x + 2*d - 54 = 0, -x + 3*x - 36 = 3*d. Suppose l + x = 21. Solve l*n + 3 - 21 = 5*t, -2*n = -2 for t.
-3
Let b(n) = 7*n**2 - n + 1. Let j be b(-2). Let m = -30 + j. Solve -4*g - 2 = 2*z, 2*z + 4*g - m = z for z.
-3
Let c be 46/2*(6 + -7). Let v = c - -26. Solve -v*k + 4*h + 1 = -0*h, 1 = -5*k + 4*h for k.
-1
Let z(s) = 78*s - 601. Let h be z(8). Solve -5*f - 3*w - h = 0, w + 5 = -f - 0 for f.
-4
Let u(t) = -t**3 - 6*t**2 + 5*t + 10. Let a be u(-6). Let d = 22 + a. Let m be 0 - ((-2)/2 - d). Solve -3 = -2*c - 3*i, -i = m*c + 4*i - 5 for c.
0
Let p(r) = -4*r**2 + 2*r**2 + 5 - 3*r**2 + r**3. Let w be p(5). Suppose w*b + 2*z + 84 = 224, -2*b + 42 = -2*z. Solve b = 4*s - 2*f, -4*s - 4*f + 10 = 2 for s.
5
Let q = 4 + -2. Suppose 132 = -8*c + 12*c. Suppose c*d = 26*d + 28. Solve -q*r = d*j - 0*j + 16, 8 = r - 2*j for r.
0
Let z(w) = w**2 + 11*w + 12. Let j be z(-11). Let q be (-5344)/(-480) - 6/45. Solve r + 4*a + j = -q, 4*a = 4*r - 8 for r.
-3
Let o(b) = -50*b + 150. Let g be o(3). Solve -3*r - k + 4 = k, -5*r - 4*k + 10 = g for r.
-2
Let c be -4*(-1)/(-22) + (-65)/(-55). Solve -p + 0*p + 25 = 5*q, -4*q + 3*p = -c for q.
4
Suppose 71*u + 3 = 72*u. Solve -n - 4*k - 7 = 0, 2*k + u = n - 8 for n.
5
Let n(x) = -x - 12. Let w be n(-10). Let c be (5/3 + 1)/(w/(-12)). Solve -2*i = -7*i + 2*m, -c = 3*i + 2*m for i.
-2
Let h be (-6)/15 + (-14)/(-35). Let s be 1/(-1) + h - (-40 + 36). Solve 0 = f + 4*f - 20, -s*o - 18 = -3*f for o.
-2
Let j(a) = -9*a + 2. Let x be j(-2). Solve -4*v = -0*o - 5*o + 21, 5*o - x = 5*v for o.
5
Let d = 25 - 39. Let o(i) = i**3 + 13*i**2 - 11*i - 14. Let s be o(d). Let q = s + 84. Solve -5*j = 4*v - q, 7 = 4*v + 2*j - 9 for v.
2
Suppose -2*f + 4*h + 2 = 0, 0 = 4*f - 3*h - 2*h - 10. Suppose 64 - 19 = f*n. Solve -2*w + t = -n, 5*t = -w + 4*t + 6 for w.
5
Let s be 1/((-2)/14) - -2. Let g be (-20)/(-6) - s/(-15). Let b be 3 - (-2 + (-33)/g). Solve 0*n - 16 = -4*n, -4*z - b = n for z.
-5
Suppose -318 = -8*t + 5*t. Suppose 3*q = -t + 112. Solve q*v + 11 = 3*r, 0 = -4*r - r + 5 for v.
-4
Let p(c) = 2*c - 6. Let t be p(5). Suppose t*m = 3*m + 2. Suppose 4*q + q - 18 = m*k, -4*q = -2*k - 14. Solve -b + 20 = 5*z + b, 5*z - q*b = 20 for z.
4
Let r = -28 + 46. Let i = -13 + r. Suppose -96 = -i*v + v. Solve h - 28 + 4 = -5*n, v = 4*n - 4*h for n.
5
Let w(o) = -o - 2. Let z be w(-2). Suppose z = -q - 0*q + 4. Suppose 2*n + 3*n - 15 = -p, n + p = 7. Solve n*a = 4*g - 2*g + 12, -q*g + 5*a - 27 = 0 for g.
-3
Suppose m = -m - 5*j - 27, 5*j = -4*m - 39. Let d be (m/4)/(1/(-2)). Suppose -d*b = -b. Solve b = -2*x + 4*a + 2, 4*a + 11 = -2*x - 11 for x.
-5
Suppose 35 = 6*x + x. Solve 0 = 2*y - f, -4*f - 10 - 16 = x*y for y.
-2
Let p = 12 - 10. Let h be -1*(-228)/8*p. Suppose -2*u - 62 = -5*f + 36, 3*f = 3*u + h. Solve 0 = -5*i + c - 20, 5*i + 2*c + 0 + f = 0 for i.
-4
Suppose v = -4*w + 15, 0*v = -2*w + 2*v. Let d be (-936)/(-52) - (-2)/1. Solve -w*h + 4*l = -d, 0*h + 2*h - l = 10 for h.
4
Suppose -5*r = -7*r - 10. Let t be -2 - -6 - 3 - r. Solve -z = 4*n - t*z + 17, 0 = n - 4*z + 7 for n.
-3
Let l be (14/(-6))/((-2)/(-6)). Let x = l - -7. Let b = 2 - x. Solve -5*r = 4*i - 9, 0 = -b*i - 2*i - 16 for r.
5
Suppose 17 = 2*n + 5*p, 28*p = 2*n + 31*p - 15. Solve 2*x + 4*w - 14 = 0, 4*w = n + 10 for x.
-1
Let r(o) = 9*o + 184. Let z be r(-19). Solve -5 = b + 3*y, -2*y = -3*b + 3*y + z for b.
1
Suppose 32*h = -432 + 1392. Solve -3*v = -5*v + d + 5, 0 = 5*v + d - h for v.
5
Let p(v) = 61*v + 61. Let y be p(-1). Solve -2*o - h + 3 = y, -h - 6 = -2*o + 7 for o.
4
Let a be (11 + 47/(-5))/(4/10). Let w be (0 - -5)/(0 + 1). Solve 5*k + 4 + 7 = -b, -a*k + 8 = w*b for b.
4
Let o be 2*(15/5 - 2). Suppose 0*k + 4*k = 16. Solve 2*l - o*d = 4, k = l - 2*d - 0 for l.
0
Let w = 419 - 417. Solve 3*v + 4*o = -8, -4*v + w*o = -2*o - 36 for v.
4
Suppose -3*j - 4*j - 168 = 0. Let i = -19 - j. Solve 5*n + 19 = 4*a + 7, -i*a - 30 = 5*n for a.
-2
Let g = 48 - 24. Suppose 1