+ 2 for k.
1
Let s(x) = 2*x**2 + 13*x - 17. Let w = -155 + 147. Let a be s(w). Solve 0 = g + 4*l - a, 2*l + 10 = -g + 5*g for g.
3
Suppose -2*l - 5*h = -73, 63 = 5*l - h - 79. Let g = 31 - l. Solve -4*f = g*c - 14, c + 4*f = 4*c + 19 for c.
-1
Let b = 19 - 17. Let n be 22/3 - (-28)/(-84). Suppose 78*t - 77*t - n = 0. Solve 3*r = -2*r + 5*x + 5, 3*x = b*r - t for r.
-4
Suppose 2807 = 11*q + 2774. Solve -2*f - 4*o = -3*o - 13, q*o = -5*f + 35 for f.
4
Let l = 10495 - 10475. Solve b + 4*k = 23, -54*k + l = -50*k for b.
3
Suppose 2*f - 19 = -3*u, 0 = -27*f + 25*f + 4*u - 2. Solve -4 = f*w + v - 23, 0 = -4*v + 16 for w.
3
Let w be 184/(-6)*(-9)/(-54)*-9. Suppose 2*o - w + 42 = 0. Solve 3*g + 14 = -j + o*j, -2*g - 14 = -3*j for j.
2
Suppose 2 = 3*b - 19. Let a = -9 - -25. Suppose -10*l + a = -8*l. Solve 3*z = 4*f - l, -2*f - 4*z + b = 3 for f.
2
Let j = -99 - -131. Suppose 70 = 2*v - 0*v. Let y = v - j. Solve -y*i - 4 = -2*x, 5*x - i = 4*i + 10 for x.
2
Let f(h) = -h**3 + 41*h**2 + 246*h - 711. Let c be f(46). Solve c = 5*m + 12*u - 7*u, 0 = m - 2*u + 4 for m.
2
Let k = -23 - -25. Suppose -k*l - 27 = -5*l. Let i be ((-30)/l)/(-3 + 21/9). Solve 5*p = 10, -i*j - p = -3*p - 6 for j.
2
Suppose -19*q + 6*q + 156 = 0. Suppose 0 = -2*j - 5*t - 39 + 24, 0 = -2*j + 4*t + q. Solve -5*l + r - 20 = 3, j = 4*l + r + 13 for l.
-4
Let m = 494 - 217. Let i = -274 + m. Solve 3*r = -i*y + 24, y = 3*y - 5*r + 12 for y.
4
Suppose -8*m - 108 = -116. Let w(u) = -u**3 + 5*u**2 + 7*u - 4. Let y be w(6). Let b be (0 - y)/(1/(-2)). Solve j + m = -b*c, 0*c + 5*j + 28 = 3*c for c.
1
Let v = 71 - -426. Let n = v - 497. Solve -x + u + 3 = -3*x, n = -x + u - 3 for x.
-2
Suppose 2*a - 5*j - 3 = -74, 0 = -a + 5*j - 43. Let t = a + 28. Suppose 0 = -t*o + 4*o, 4*p - 4*o = 0. Solve 0 = 2*y + 5*m - 17, y + m + 0 - 4 = p for y.
1
Suppose 3*n + 17 = -p, 2*p + 9 = 3*n + 38. Let y be n*6/(-21)*1. Solve -2*t + o - 6 = 0, -5*t - y*o = 7 + 17 for t.
-4
Let b be (8/(-10))/((-4)/150). Let h be (-24)/5 + 24/b. Let w = -2 - h. Solve 27 = 5*n - 2*p, -n = w*p + p - 2 for n.
5
Suppose -5*j - 7*j + 48 = 0. Let t be 111/39 - j/(-26). Solve 2*k + t*w + 1 - 8 = 0, 4*k - 2*w = 6 for k.
2
Let s = -7660 + 7671. Solve -5*n - 10*g + 15 = -s*g, 4*g = -20 for n.
2
Let m = 8853 + -8851. Solve 0 = -2*h + m*x - 14, 27 - 22 = x for h.
-2
Let v = 9340 + -9334. Solve 0 = -2*i - 4*n - v - 0, 0 = i + 5*n + 12 for i.
3
Suppose 216*c - 66 = 183*c. Solve c*f + 5*p + 12 = 0, 3*f + 6*p - 2*p + 4 = 0 for f.
4
Let c = 81 + -74. Let y(p) be the third derivative of -p**5/30 + 5*p**4/8 - 5*p**3/6 + 14*p**2. Let x be y(c). Solve -5*a - 4*d + 13 = x, -3*a - 5*d = -4 for a.
3
Let p be (-10 - 261/(-18))*((-40)/(-15))/2. Solve -p = -3*q + 3*a, 9*q - 24 = -a - 6 for q.
2
Let c be -16 - -19 - (9 + 1). Let m be (15/(-6))/(3 + c/2). Suppose 2*f - m*f = -3*w + 36, 0 = -2*w + 4*f + 16. Solve 5*k + w = -v, 3*k + 3*v - 5*v = -20 for k.
-4
Let p = 31872 - 31868. Solve 4*d = r - p, -4*d - 1 + 17 = 4*r for d.
0
Suppose -5*r - 684 - 191 = 0. Let c = -172 - r. Solve 5 - 20 = -c*u, -4*h + 4 = 4*u for h.
-4
Suppose -75*f = -76*f + 3, 5*f - 5 = 5*a. Solve -c = -a*q - 0*q - 2, -2*q + 2*c = 0 for q.
-2
Let g(s) = 7*s + 206. Let i be g(-26). Suppose 33*l = i*l + 108. Solve 7*a - 3*a - 2*c = -l, 0 = a + c for a.
-2
Let s(f) = f + 1. Let b be s(3). Suppose b*j = -p - 3, -p = -5*j - 17 - 25. Suppose p + 4 = 3*o. Solve 0*x = -5*x - m + 19, 5*x = 2*m + o for x.
3
Let f be 21/2*16/72 - 25/75. Solve -r + 17 = 5*q, 0 = -f*q + 7*r - 11*r + 14 for q.
3
Let v(y) = 3*y**3 - 2*y**2 - y + 2. Let j be v(-2). Let q = j - -32. Let r be 0 + 7/(14/q). Solve -4*u = c - 5 - 0, 5*c = r*u + 25 for c.
5
Let d = 50 - 45. Suppose -85*l + 193*l = 540. Solve -l*a + 20 = d*h, 3*h - 2*a = h - 12 for h.
-1
Let a = 46070 - 46049. Let b(j) = 2*j + 7. Let g be b(-5). Let n be (-2)/6 + (-16)/g. Solve 4*w + x = -3*x + 20, -w = n*x - a for w.
1
Let x be (12/4)/(-1) + 14 + -6. Solve -r - 4 = -4*d, -5*d = x*r - d - 4 for r.
0
Suppose -55*z - 22 = -517. Solve -5*q - z*l = -10*l + 30, 0 = 2*q + 4*l - 10 for q.
-5
Let b(q) = -5*q + 117. Let i be b(23). Suppose 0 = i*f + 4*o - 14, -28*o = -27*o - 2. Solve 25 = 5*r + 5*w, -15 = -f*r + 2*w - 7*w for r.
5
Let u be (-1)/((-3)/(-12)) + 13. Let n be 1 + 3 - (5 - u). Suppose n*l - 34 = -10. Solve 3*k - 4*f + 20 = f, -l*f + 12 = 0 for k.
0
Suppose r = 2*b - 11, b + 51 = -2*r + 74. Solve 3*y - 9 = -i, 23 = -4*i + y + r for i.
-3
Suppose -2*f = 9 - 9. Suppose -5*v - k - 98 = 0, f = 2*v + 4*k - 5*k + 35. Let p = 25 + v. Solve 5*c + p = 3*g + 21, -4*g = -2*c + 20 for c.
0
Let d(a) = 3*a - 120. Let x be d(38). Let w be 8*(2 - (-15)/x - -1). Solve -1 = h + m, -w*h + m = -0*m - 16 for h.
3
Suppose -5*t + 25*q = 27*q - 21, -5*q = 3*t - 5. Solve -t*j - 13 = w, 11*j + w = 7*j - 11 for j.
-2
Let n be (16/(-8))/(3/(-6)). Solve -w - 7 = -3*j, n*j + 2*w = 7*w - 9 for j.
4
Let d(b) = -486*b + 10. Let p be d(-1). Suppose 0 = z - p + 491. Solve z*i + j + 28 = 3*j, -16 = 5*i + j for i.
-4
Let y = 6 + -4. Suppose -69*j - 22*j = -455. Suppose -2*k - 8 = -m, 0*m - 2*k + 4 = 2*m. Solve 0 = -3*r + j*a - 21, -y*r + m*r + 5*a - 11 = 0 for r.
-2
Suppose 5*b - 38 + 1 = 3*u, -b + 25 = -5*u. Let z(s) = b + 4*s + 2*s**2 - 3*s - 3*s - s**2. Let q be z(0). Solve 3*g + 5*d + 19 = 0, 0 = 2*g + q*d + 16 for g.
-3
Let f(h) = -46*h + 2. Let r be f(2). Let j be 2 + ((-5)/2)/(3/r). Let c = 79 - j. Solve -3*p = 5*x + 13 - 1, -p - 5 = c*x for p.
1
Let b(i) = i**3 - i**2 + i - 4. Let c be b(2). Let v be (-2 - c)/(1/(-2)). Solve 3*s + 7 = 5*z - v, -4*z = 4*s - 12 for s.
0
Let j be (120/96)/(35/448). Solve -16*r + 21*r - 8 = 2*n, -4*r + 4*n + j = 0 for r.
0
Let v = -9173 - -9202. Solve 4*t = -2*m + 5*t + 7, -4*m = -5*t - v for m.
1
Let q(j) = 12*j - 19*j + 23 + 5*j. Let w be q(7). Solve 0 = 3*i - 5*g - 17, 5*i = 4*i - 2*g - w for i.
-1
Let n be (-3)/12 - 452/(-16). Let i be n/(-6) - -4 - (-32)/(-6). Let q(h) = -h**2 - 7*h - 1. Let u be q(i). Solve 0 = -d - 3, -2*s + 14 - 31 = u*d for s.
-1
Let s(z) = 7*z + 152. Let c be s(-14). Let f be 279/c - 2/12. Solve 3*r + 0*r - 20 = 5*g, -3*g = -f*r + 12 for g.
-4
Suppose -19*m + 31 = 12. Suppose -4*o + 9 = m. Suppose 0 = -2*q - 7 + 1, -3*q = 3*b. Solve -r - o*r = b, 2*n - 2*r = 12 for n.
5
Let z = 17 + -13. Let a be ((-6)/(-5 + 6))/(-1). Suppose 0 = a*y - z*y - 6. Solve -2*v - v = y*n + 15, v = 2*n + 10 for v.
0
Let k(p) = -p**2 - 14*p + 18. Let n be k(-15). Let f be ((-4)/n)/(12/126*-7). Solve -3*c + 4*d = -0*c + 7, 0 = 2*c - f*d + 6 for c.
-5
Let v = 21181 - 21179. Solve 0 = w + 3*w + 20, v*w - 5 = 5*d for d.
-3
Let x be (5 + 3 - 17/2)*-10. Let z be 1*(-3)/9*-15. Let h be (-170)/(-8) + 2/(-8). Solve -3*p + h = z*i + 7, x*p = -10 for i.
4
Let n = 6688 - 6673. Solve 0 = -2*j - m - 1, -3*j + 13*m = n*m + 4 for j.
2
Suppose -u + 203 = 6*u. Suppose -4*h = -n - 58 - 5, 3*n + u = 2*h. Let p be (-20)/(-90) - h/(-9). Solve -c = -0*c - 5*m + 6, -p*m = -2 for c.
-1
Let h(z) = 808*z - 9686. Let u be h(12). Solve -5*c - 41*t + 40*t = -12, -4*c - t + u = 0 for c.
2
Suppose -4*c + 12 = 2*c. Suppose -c*n - 8*n = 0. Solve -3*x - 4 = -5*x, 4*g - 3*x - 14 = n for g.
5
Let a be 65/(-715) + (-89)/(-11). Solve -w + 5*i + a = 0, -10*w + 5*i + 14 = -12*w for w.
-2
Suppose 9*u + 120 = 33*u. Let v be (108/(-10))/((-3)/(-10)). Let a = 41 + v. Solve -3*l + 0*l + 26 = -4*o, -3*o - a*l = u for o.
-5
Let w(g) be the third derivative of -4/3*g**3 + 14*g**2 + 0 - 1/24*g**4 + 0*g. Let v be w(-13). Solve -2 = -3*l + 3*u - 17, 19 = -2*l + v*u for l.
-2
Suppose 41 = 5*r + 77*j - 74*j, 2*r - j = 23. Solve -11*h + r*h + q - 5 = 0, 13 = -5*h + 2*q for h.
-1
Suppose 4*i + 38 = -5*y + 33, 10 = -2*i. Solve 5*l = -y*q + 4 - 23, -l = -3*q - 7 for q.
-3
Suppose 2*r + 5*r + r = 0. Suppose -f - 2*d - 8 = r, 0 = -3*f - d - 3 + 4. Solve 4*u = 4, 5*b = -0*b + f*u + 23 for b.
5
Let i be 378/(-63)*(-3)/6. Solve m + m = 3*h + i, -3*h = 2*m + 15 for h.
-3
Let k be 224/120 - 2/(-15). Suppose 0 = -4*a - 3*z + 31, k*a - 4*z + 24 = 3*a. Solve 5*r + 0 = -5*m - 5, 0 = -m + a*r - 1 for m.
-1
Let n be (-7)/(-5) - (-4)/(-10). Let b(a) = 4*a**2 + 14*a - 245. Let m be b(15). Let d = -863 + m. Solve n = -p - 4*z, p + 5 + 2 = d*z for p.
-5
Suppose -4*c = 2*p - 12, -4*c + 6*p - 3*p + 2 = 0. Let n be 0/(-1 - -6 - c