3*k - 25. Let w = -34 - -34. Solve n - 2*i + 13 = w, -i = n - 5*i + s for n.
-5
Let o be 4 + (-4 - 20*2). Let p = o - -44. Solve 5*d - 7 = -p*l, -4*d + 3 = -l - 11 for l.
-2
Let s = 8 - 6. Suppose -p + 34 = -2*p. Let g = -31 - p. Solve s*b + 16 = -2*u, -u = g*b + 22 - 6 for u.
-4
Let l be 24/9 + (6 - 120/18). Solve 4*q - 4*j = -0*q - 16, 0 = 2*j - l for q.
-3
Let z = 22 + -26. Let u be (-21)/(-14)*z/(-3). Solve -u*x + 7*x + 11 = -4*a, 3*x + 3*a = -6 for x.
-3
Let j(f) be the second derivative of -f**3/6 - 7*f**2 - 52*f. Let w be j(-16). Solve 7 = -4*z + 23, 5*u = w*z - 33 for u.
-5
Suppose o = -2*c - 0*c + 6, -2*o = 4. Let a = c - 0. Solve -4*b + a = -g, -g = b + 3*g + 16 for b.
0
Let n = -36 - -21. Let o = n + 20. Solve -2*j = 5*q - 17, 0*j - 3*j - o*q = -13 for j.
-4
Let w = -15 + 10. Let m = 7 + w. Suppose -3*b + 4*b = -5*y + 20, -3*b = -m*y - 9. Solve -b*k - 2*n + n + 18 = 0, 4*n = 12 for k.
3
Let t be 31 - (5 - -2)/7. Solve t - 11 = -3*w - 2*z, -3*w = z + 14 for w.
-3
Let d(i) = 2*i**2 + i - i**2 + i**2 - 2. Suppose 4*s + 18 = -5*s. Let u be d(s). Solve 4*k + q - u*q = 24, k - 4*q = 19 for k.
3
Suppose 2*b - 54 = -24. Solve 0 = o - 4*o + 3, 0 = 5*q + 5*o - b for q.
2
Suppose 6*a - 2*a = -t + 14, 3*a + 3*t - 6 = 0. Let n(k) = k**3 + 4*k**2 + 5. Let z be n(-4). Solve c - 5 = 2*c, 45 = -a*y - z*c for y.
-5
Suppose -l + 2*l = -3. Let g = -229 - -230. Let c be (1 - (g + l))/1. Solve c*f - 27 = 3*k, 2*f - 30 = 5*k - 0*f for k.
-4
Let h = 1776 - 1774. Solve -12 = -3*x, -h*l + 3*x + x - 14 = 0 for l.
1
Let k = 42 - 31. Let o = k + -7. Solve 0*d - 16 = 5*q + o*d, -2*q - 9 = -d for q.
-4
Let r = -28 - -31. Suppose 2 + 5 = r*v + 2*z, -28 = -4*v + 2*z. Solve v*m - 4*y = -2*y - 7, m + 3*y = 2 for m.
-1
Let q(v) = v**3 - 3*v**2 + 4*v - 2. Let k be q(2). Suppose 0 = k*z + 2, -7 = -h + 3*z - 0. Solve -4*x - 32 = h*f, -f = -5*x - 3*f - 31 for x.
-5
Suppose -6*t + 8 = -7*t - 2*y, 0 = 5*t + 4*y + 10. Solve -3*j = -4*j + 4, j = -t*g + 4 for g.
0
Let s(p) = -p + 7. Let q be s(5). Suppose 8 = -q*o - 2*o. Let g be (-186)/(-12) - (-1)/o. Solve -g = 2*z + 2*f - 5*f, 2*f - 10 = 2*z for z.
0
Let m be (-75)/4 - (-12)/16. Let j be (-10)/(-3)*m/(-15). Suppose 4*a - 5*a = 2*a. Solve z + j = f, a = f + f - 10 for z.
1
Let u be (-2 - 12/(-8))*0. Let r = -3 + u. Let y be (0*4/(-16))/r. Solve -3*s + 0*s + 9 = y, -17 = 5*q - 4*s for q.
-1
Let a = 60 + -57. Suppose 15 = 2*h + a*h - 4*v, -5*v = -4*h + 12. Solve -l + h*l = -5*r + 14, -5*r + 26 = -2*l for r.
4
Let d = 16 - 11. Suppose -d*z = -z. Suppose -3*n + 2 = -j, 7 = -2*j + 3*n + 9. Solve -j*k + 16 = 2*x, -x + z*k = k - 3 for x.
-2
Let o be 18/(-4)*8/3. Let t = 133 + -116. Let s = t + o. Solve 5*n + 0 = -5*k + s, 4*k + 3*n - 4 = 0 for k.
1
Let g = -26 - 24. Let i = g + 54. Suppose -5 - 5 = 5*d, 2*a = -3*d + 4. Solve -k - i*k = -2*u - 14, 5*u + 20 = a*k for k.
2
Let f be 368/80 - (-2)/5. Solve 4*a - 3*i = -f*i - 10, 0 = -3*a - 4*i - 10 for a.
-2
Let m = -4 - -4. Let t(h) = -2*h**2 - 2*h + 51. Let j be t(m). Suppose -j = -5*r + 44. Solve -3*a - 5*k = -2*a - r, -a + 1 = -k for a.
4
Let z be (-88)/11 + 12 - -10. Solve 0 = -4*q + 11*t - z*t + 2, 2*q + 4 = t for q.
-1
Let d be 1*(-1 + 6 + -4). Solve -6 = -3*k, 4*t - d = -4*k + 19 for t.
3
Let n be -1 + (-1 - -4) + 0. Solve 0 = -4*z + 3*v + 19, z - 1 = -n*v - 10 for z.
1
Let s be -1 + 2 + (-147 - -151). Solve s*w - 6*w - 2 = -u, -5*w - 3*u = -30 for w.
3
Let j be (-237)/(-316) + 3/(-4). Solve j*f - 10 = 2*h + 2*f, -10 = -4*h + 2*f for h.
0
Suppose -5 = -3*o + y, -y + 2 = -5*o + 7. Suppose o = -14*f + 23 + 19. Solve -6 = 3*c - f*a - 0*a, c + 14 = 4*a for c.
2
Let y(w) = -w - 1. Let p be y(-14). Solve 5*c + 2*i + 2*i - 37 = 0, -i = 2*c - p for c.
5
Suppose 0 = -s, 19*x - 5*s - 6 = 17*x. Solve 5*b + 2*q - 4 + 5 = 0, -2*q = x*b + 3 for b.
1
Suppose -2*m = 2*i - 10, 2*m - 4*m + 15 = i. Solve m = 5*a + 2*k + 2, 5*a + 3*k - 12 = 0 for a.
0
Let w be 2/10 - (-5)/(-25). Suppose w = -2*z - 0*z + 20. Let h be 44/10 + 6/z. Solve 3*f = 4*p + f + 4, -h*f = -p + 8 for p.
-2
Suppose 17*v - 13*v = 3*g - 9, -2*v - 6 = -2*g. Solve v = -6*s + 2*s + m - 5, s + 5*m = 4 for s.
-1
Suppose 4*h = 8*h - 12. Suppose -h*u - u + 20 = 0. Solve -3*t + 2 = 5*i, -7 = -5*i + 3*i + u*t for i.
1
Let q = -70 - -67. Let v be -3 - (-3)/q*-3 - -2. Solve -p + c = v*c + 5, 2*p = -3*c - 13 for p.
-2
Let l = 9 + -7. Suppose 5*u = 3*i - 49, i - l*u - 3*u = 23. Let f = i + 7. Solve -2*k + 2*p + 12 = 0, 2*p = -3*p - f for k.
2
Let o = 12 + -3. Suppose -2*m = -8*m + 30. Suppose a - 12 = -2*v - 2, 25 = m*v - 4*a. Solve v*l - s - o = -1, l + 2 = -s for l.
1
Let o be (-36)/(-24) + 2/4. Suppose c + 4*c - 3*b - 9 = 0, 0 = o*c + 2*b + 6. Solve -3*s + t + 3 + c = 0, -4*t - 12 = 2*s for s.
0
Let r be (27/6)/(6/8). Suppose -r*j = -53 + 5. Solve -4*g = 3*b - 0*b - 22, 0 = 4*g - 4*b - j for g.
4
Let n(h) = -h + 7. Let w be n(4). Suppose 0 = r - 19 + 13. Let p be 60/36*2/4*r. Solve p*i + 17 = 4*c, c + w*i = -c + 3 for c.
3
Suppose 5*b + 73 = -37. Let j be (-2)/11 - 92/b. Let k be 3/12*4*4. Solve -4*a + a + j*i + 18 = 0, -k*a + 5*i = -23 for a.
2
Suppose -28 = -2*y + y. Let c be 1 - (2/(-2) + y). Let a = -2 - c. Solve 3*o = -3*u - 0*o + a, 0 = 4*u - 5*o + 13 for u.
3
Let o(s) = s**3 + 2*s**2 + 4*s - 5. Let x be o(1). Let b(u) = -1 + u + 1 - 2. Let t be b(7). Solve -t*d + x*q - 15 = -3*q, -2*q = -3*d - 5 for d.
1
Let m be 10*(21/12)/((-2)/12). Let a = -105 - m. Solve a = n + 3*y + 10, -3*n - 5*y = -2*y for n.
5
Let q be -1*((-4 - -3) + 1 + -4). Solve q*d = 2*p + d + 5, -d - 5 = -4*p for p.
2
Suppose 0 = 3*x - 35 - 13. Let l(c) = c - 13. Let o be l(x). Solve -d + h + o*h + 13 = 0, 2*h = -2*d + 6 for d.
5
Let b be -2*(2/12*3 - -61). Let p = -121 - b. Solve -2*u + 9 = 3*m, 0 = -p*m - 0*u + u + 13 for m.
5
Let p(s) = s**2 + s - 12. Let y be p(-4). Let n(i) = 2*i + 3. Let x be n(y). Solve -b = x*v + v - 2, -3*b = -3*v + 9 for v.
1
Let z = -17463 - -17466. Let t be -1 + 1 - (0 - 0). Solve -5*a + 2*g + 15 = t, -z*a + 9*g = 4*g - 9 for a.
3
Let x = -479 + 481. Let n(q) = q**2 + q - 1. Let m be n(2). Suppose -3*y + 5 = 5*j + 2*y, m*j + 4*y - 6 = 0. Solve -x*i - 2*p = 10, 4*p = -j - 10 for i.
-2
Suppose 0 = -y - 5*b - 19, -2*y - 14 = -2*b + 6*b. Solve -3 - y = -2*r + 2*p, -p = -3*r for r.
-1
Let l(v) = v + 1. Let h be l(-9). Let g be (-9)/(-12) + (-18)/h. Solve -1 = 2*t - p, -5*p - 2 - g = -5*t for t.
-2
Let z be ((-20)/(-6) + -1)/(3/(-117)). Let v = 94 + z. Solve -m + 2*b + 4 = 0, -m = v*m - b - 2 for m.
0
Let v(k) = 8 + 2*k**3 + k - 27 + 0*k + 21*k**2 - 3*k**3. Let g be v(21). Solve -12 = -4*n - g*h, -2*h = n - 7*h - 25 for n.
5
Let j = -19 - -30. Suppose j*o - 7*o = 0. Suppose -3*k - 2*k + 2*h + 50 = 0, 2*h = 10. Solve r - 1 = -3*l - o, l = 2*r + k for r.
-5
Suppose 57*z - 580 = -124. Solve 4*i - b = z, -2 = -4*i + 3*i - 3*b for i.
2
Let u be (242/77)/(10/35). Solve m + 2 = -3*m - 3*q, 5*m - 3*q - u = 0 for m.
1
Let l(d) = -d + 1. Let g be l(-3). Suppose 14 = b - g*f, -4*b - 4*f + 29 = -27. Suppose 0 = -2*n - 0*n + b. Solve -m + 5*z + 3 = 0, -4*m + 0*m + z = n for m.
-2
Let u be -6*(-5)/(-15)*(0 - 1). Solve 0 = 2*c + d + 2*d + 9, -u*c + 2*d + 6 = 0 for c.
0
Let h(j) = 4*j + 106. Let o be h(-26). Solve -q - o*q + 19 = 2*m, 0 = 4*q + 3*m - 27 for q.
3
Let z(b) = -b**3 - 14*b**2 + 32*b + 2. Let x be z(-16). Suppose 5*m = -5*g - 10, 4*g - x*g = -3*m - 6. Solve 5*k - 10 = g, -4 = 2*n - 3*k - 0 for n.
1
Let y = 29 - 25. Let u be (-14)/7 + -1*(-4 - 0). Solve j = 4*j + y*c + 27, 0 = u*j - 3*c + 1 for j.
-5
Let x = -14 + 20. Solve -x*q + 2*q = i + 3, 0 = 4*i - 4 for q.
-1
Suppose 27*l = -2*l + 116. Solve l*i + 8 = 5*h - 13, 0 = -5*i - 20 for h.
1
Let r(p) = p**3 - 11*p**2 - 80*p + 2. Let l be r(16). Solve -4*m = -4*n - 20, 2*n + l*m + 7 = 3*m for n.
-2
Let z be (14/84)/(1/30). Solve -3*p + 3 = 3*w, 0*w = 2*w - 5*p + z for w.
0
Suppose 3*v + 8 = -s + 15, 2*s + 2*v = 18. Solve 3*b + 2*b = -4*i - 25, 4*i + s = -2*b for b.
-5
Let d = -6 + 28. Solve -d = -5*i - p, -2*i - 4 + 26 = -4*p for i.
5
Let m(a) = 3*a + 10. Let q be m(-4). Let y = 21 + q. Suppose g - y = -8. Solve 1 = -4*d - 2*j - g, -17 = d + 4*j for d.
-1
Let z = -87 + 84. Let f be (-3)/6*(z + -3). Solve 4*u - p = 3*p + 8, -4*u = p - f for u.
1
Suppose -4*x = i - 8, 0 = 5*x - 10*i + 8*i - 23. Solve 