 + 1 for k.
-3
Let v = -455 - -458. Solve 21 = 5*d + 3*p, d - p = -v*d + 10 for d.
3
Let h(f) be the second derivative of -f**3/2 - 37*f**2/2 + 14*f. Let r be h(-13). Solve 4*b - 17 = -5*t, r*t - t = 5 for b.
-2
Suppose 0 = 3*r + 3*n - 111, -n + 108 = 4*r - 55. Let t = r + -37. Solve b - 4*o + t = 0, 3*b + 2*b + 7 = 2*o for b.
-1
Let i(a) = -2*a**2 + 6*a - 1. Let y be i(2). Suppose y*w = -u - 9, 2*u + u + 3*w + 3 = 0. Solve u*m + 6 = p, -11 = -4*p - 4*m - 3 for p.
3
Let x(n) be the third derivative of 3*n**4/8 - 3*n**3/2 - 22*n**2. Let m be x(1). Solve m = -3*l + j - 11, 0 = 3*l - 6*l + 4*j - 17 for l.
-3
Let t = -25 + 32. Let x(z) = 2*z - 9. Let j be x(t). Solve 4*n + 0*n + 16 = 0, d = j*n + 15 for d.
-5
Let g = -65 - -69. Solve t - 5 = -j + 5*j, g*j = 3*t - 15 for j.
0
Let g(n) be the third derivative of -n**5/60 + n**4/12 + 5*n**3/6 - 27*n**2. Let k be g(3). Solve -k*c = -4*q - q + 2, 2 = -2*c for q.
0
Suppose -v = 5*b + 11, -4*v + b - 5*b + 4 = 0. Solve -h + 4*h - 3 = -3*t, 0 = 5*h - 4*t + v for h.
0
Let r = 143 - 108. Solve 3*f + 5*q = r, -2*f - 4*q = 3*f - 41 for f.
5
Let j be 11 - -1 - 2*(-28)/(-8). Solve j*y = 5*l + 2*y + 27, -4*l = 3*y for l.
-3
Let x(y) = 2*y - 36. Let t(c) = c. Let k(s) = -4*t(s) + x(s). Let f be k(-19). Solve g + 4*m = 6, -f = g - 3*m - 1 for g.
2
Let y(f) = -f - 2. Let g be y(0). Let s be -2*(0 - 1) + g. Suppose s - 18 = -3*t. Solve 3*i = -m + t, 3*i + 14 = 3*m + 8*i for m.
3
Let c be -26*(45/10)/3. Let p = 44 + c. Solve 5*y + 30 = -p*r, 0 = 3*y - 0*y + 5*r + 28 for y.
-1
Let h(v) = 17*v**2 + 138*v + 21. Let i be h(-8). Solve 3*s - 11 = 2*m, 3*s + 0 = -2*m - i for s.
1
Suppose 35 = 5*q - 5*g, 8*q - 5*q - 1 = -g. Solve -6 + 4 = q*v - 3*d, -5*v = -5*d for v.
2
Let n be -5*70/(-50) - 12/(-3). Solve -n = -w + 2*y, 3*y + 11 = 4*w - 18 for w.
5
Suppose 0 = -3*k + 4*k - 2. Suppose 0 = 3*n - k*n. Let p be -3*(3 - (0 + 14/3)). Solve n = 3*m - p*t + 2*t + 3, -3*t = -4*m for m.
3
Let m = 203 - 200. Let w be (-1)/2 + (-15)/(-6). Solve -l = 2*g + 10, -l + w*g = m*l - 10 for l.
0
Let c be (-4 - 90)/(4/(-2)). Let a = c - 44. Solve 0 = -a*b + 1 + 14, 3*b = 4*y + 15 for y.
0
Let q be (-4 - -1)*(-5 - -2)/(-1). Let p(s) = s**3 + 7*s**2 - 18*s + 2. Let k be p(q). Solve -4*l - 7 = k*o - o, 5 = -5*l - 5*o for l.
-2
Let g be 2*(1 - (1 - (-42)/(-12))). Solve -5*d + 3*q = -2*q + 5, 0 = d + q - g for d.
3
Suppose 0 = -r - 4, -14*h - 10 = -12*h + 3*r. Let u be (-12)/(-42) + 19/7. Solve h = -b + y, 3 + 0 = b + u*y for b.
0
Let q = 31 - 27. Suppose 4*n + 5*i - 88 = -17, 3*i = -q*n + 73. Solve 0*b - b + n = -4*k, -3*k - 18 = -2*b for k.
-4
Let w be 6/(-2) + (2 - -4). Let l be (-2)/(-1)*(-1)/(-1). Solve -4 = -p - w*f + 2*f, -9 = -3*p - l*f for p.
1
Let o = -2 - 18. Let w be o/(-30) + (-4)/6. Suppose 13 = 2*p + f, 0 = -p - w*f - f + 8. Solve -h + 16 = -3*h + 5*x, -22 = -h - p*x for h.
2
Let n = -133 + 135. Solve 2*v + 2 = -k, 2*v - 6 = 3*k - n*v for k.
-2
Let m(r) = r**2 + 10*r + 19. Let p be m(-9). Solve -3*n = 3*h - 3, -2*n = -4*n + h - p for n.
-3
Let b = -41 - -46. Let s = -13 - -17. Solve 0 = -3*a + b*f - 19, -s*a = 5*f - 17 - 16 for a.
2
Let b = -2 + 4. Let t be 16/b*3/6. Solve 0 = -m - n - 2*n - 13, -16 = 2*m + t*n for m.
2
Let u = -88 - -97. Suppose 2*h = -h + 27. Solve -3*v = u, 5*d - v - 2*v = h for d.
0
Suppose -4*s = -4*r - r + 40, 4*r - s = 32. Suppose -3*j + 4*y - 8 = 0, -4*y = -3*j + 6*j - r. Solve 4*n + 0*n - 2*o = j, -n = 3*o + 7 for n.
-1
Suppose 19*u + 40 = 97. Solve u*v - 3*w + 8 = -w, 0 = 5*v + 3*w + 26 for v.
-4
Suppose 0 = 21*d - 17*d + 72. Let m = -27 - d. Let h = m + 11. Solve 0 = 4*k + 4*a - 8, -h*k - a - 3*a = -6 for k.
1
Suppose -15*d - 21*d + 180 = 0. Solve g + 10 = -2*j + d*g, 2*g - 10 = 0 for j.
5
Let r = -44 + 44. Solve r*w = w + 3*u + 3, 0 = 4*w - u - 1 for w.
0
Suppose 3*d + 4 = 1. Let y = d + 1. Let z be y/((-2)/(-4 + 3)). Solve z = 5*q - h + 2*h - 10, -23 = 2*q - 5*h for q.
1
Let g = -13 + 19. Let c be (4/g)/(13/78). Solve 0 = c*s + m, 0 = 3*s - m + 5*m for s.
0
Let g(a) = -a**2 - 11*a - 25. Let u be g(-6). Solve 3*y = -d - 13, -5*d + 7 = -u*y - 8 for y.
-4
Let c(g) = 26*g - 30. Let z be c(3). Suppose -121*l = -125*l + z. Solve l = 3*r, -2*r + 4 + 4 = -3*t for t.
0
Let x(w) = 2*w + 76. Let t be x(-36). Solve -t*g = j - 13 + 5, -5*j = 3*g + 11 for j.
-4
Let f = 5 + 2. Suppose -5*m = 25, -y = 151*m - 154*m - 24. Suppose 3*d = -1 + 7. Solve 5*z = -4*p - f, 4*p + 5*z = d*z - y for p.
-3
Let a = 0 - -2. Let m be ((56/(-21))/(-8))/(2/6). Suppose 4*b - 3*d + m = 24, 0 = -3*b - a*d - 4. Solve 5*n - u - 24 = 0, b*n = u - 6*u + 15 for n.
5
Suppose 43 = 4*z - 17. Suppose 3*s - 52 = s. Let o be (-3)/12 - s/(-8). Solve -y + 5*c = 9, -2*c - z = o*y - 5*c for y.
-4
Let s = -18 - -27. Let j be (8 - (3 - (-2 - -4)))*14. Suppose -j = -11*r + 34. Solve -5*g + 2*g + r = 0, -y + 2*g - s = 0 for y.
-1
Let j = -5 - -7. Suppose a - 6*a + j*z + 27 = 0, -3*a + z = -16. Suppose 0 = -4*n, 2*h + n = a*n + 30. Solve 3*k - h = m, -2*m = -4*m for k.
5
Let g be 474/42 + (-2)/7. Suppose g*k = 3*k + 16. Suppose -5*o - 3*j + 11 = 0, 4*o + k*j - 7 = 3. Solve -2*x = 2*r - 6 - o, -3 = -r + x for r.
4
Let a(s) = s - 28. Let d be a(12). Let w(k) = -3*k - 23. Let x be w(d). Let v = x + -22. Solve 5*u + v = 3*u + 5*c, u + c = -5 for u.
-4
Suppose 2 = -6*t - 10. Let i = 7 + t. Suppose -i*g - 21 = -12*g. Solve -5*r - 1 = -g*k, -4*k + 11 + 2 = 5*r for k.
2
Let u(k) = 7*k + 28. Let z be u(-4). Solve -5*t + 35 = 5*l, -4*l = t - z*l - 13 for t.
5
Let h be (-2)/(-4)*10 + -5. Suppose 4*u + z + 2 = 14, -4*u - 3*z + 20 = h. Solve 0 = u*q + 6, -5*q - 3 = 4*n - 8 for n.
5
Let t = -3 - -3. Suppose t = -8*r + 6*r. Solve 2*z = 2*n + 14, r*n + 16 = -2*n + 3*z for n.
-5
Let z(j) = -8*j - 2. Let o be z(-3). Let h = o + -32. Let p = 14 + h. Solve 0 = -2*s + 3*x + x + 12, -3*s = p*x + 12 for s.
0
Let a = -73 - -103. Let v = -28 + a. Solve 4*o + v*h + 10 = 0, 3*o - 4*h - 3 = -2*h for o.
-1
Let p be 4 - (-18)/(-3)*-1. Suppose -5*r + p*r + 15 = 0. Let b be (4 - -1) + r + 1. Solve -x - 8 = 3*y, -5*x - 4 + 0 = -b*y for y.
-2
Suppose -7*x + 2*x = -910. Suppose v + x = 2*y + 3*y, 0 = -y + 2*v + 40. Suppose 2*j = -j + y. Solve -3*d = f - 2*f - j, 3*d = 5*f + 12 for f.
0
Suppose 98 = -5*t + 108. Solve 4*k = -5*h - 33, 0 = t*h + 3*k + 2 + 14 for h.
-5
Let g(z) = 2*z**2 + 4*z. Let i = 31 - 31. Let p be g(i). Solve -2*q + 5*q + y + 7 = p, q = y - 9 for q.
-4
Let j(i) be the third derivative of -i**4/24 - 5*i**3/3 + 23*i**2. Let n be j(-13). Suppose -o - o = 0. Solve 5*h + n*w - w + 19 = 0, 2*h - 3*w + 19 = o for h.
-5
Let k = 15 + 3. Suppose -3 = -7*g + k. Solve -10 = l - 2*y, 2*l - 4*l + 8 = g*y for l.
-2
Let o = -71 - -77. Let s be 16/(16/4) + -1. Solve 3*h + o = z, -h - z = -1 + s for h.
-2
Suppose 5*g + 2*k - 10 = -3*k, 0 = -5*k. Solve g*c = -2, 3*a = 8*a + 2*c + 7 for a.
-1
Let n(x) = -x**3 + 3*x**2 - 2. Let j be n(1). Suppose -8*a + j*a + 40 = 0. Solve -m - z - 3*z + 13 = 0, -a*m + 5 = 5*z for m.
-3
Let z be (13 + -6)*(-5)/(-1). Let r be (z/(-25))/((-2)/10). Solve 0*n + n = -2*c - r, 0 = c - n - 4 for c.
-1
Let p be ((-12)/(-10))/((-2)/10). Let b be ((-2)/(-4))/(p/(-24)). Solve 2*q - 10 = -w - b*q, 0 = q - 2 for w.
2
Let s(z) = 2*z + 5. Let n be s(5). Suppose 8 = 5*j - 2. Suppose w = -4*r - w, -4*w = -j*r. Solve -3*q = 2*u + u - n, r = -u + q - 1 for u.
2
Let k be (-5)/2*16/(-20). Suppose -28 = 5*q - 128. Let n be q/((-1)/(2/(-4))). Solve -s = 2, 0 = k*a + 4*s - 3*s + n for a.
-4
Suppose 0*g = -9*g + 540. Suppose g = 2*t + 6. Solve 3*v + t = -4*b, 0 = -6*v + 3*v + 5*b for v.
-5
Suppose 8 = -3*s + 4*a - 0*a, 10 = 2*a. Solve 0 = s*r - 2*g + g - 17, -r = 4*g - 17 for r.
5
Let c = 581 + -573. Solve -2*u + 8 = 5*s - c, -3*s = -5*u - 22 for s.
4
Suppose -5*d = 2*l - 30, -2*d - 4*l = -142 + 114. Solve 2*g = -2*u + 6, -g - 4 = -d*u - 17 for g.
5
Let g(z) = z**2 + 2*z + 2. Let n be g(-2). Suppose -3*p - n*p = 0. Suppose p*q = 2*q - 6. Solve -5*l = -3*i - 0 + 2, -4*l + q*i = 1 for l.
-1
Suppose -f + 4 = -2*o + 2, -4*o = -f + 2. Let u be o/14*(-2)/8. Solve -3*k + m - 5*m - 11 = 0, u = -2*k + 4*m + 26 for k.
3
Suppose 5*i + 2*u + 277 = -u, 2*u = -8. Let h = 55 + i. Solve 4*g - 8 = -h*l, -l + 2*g + 2*g = 8 for l.
0
Let h(s) = -5*s**3 - 34*s**2 + 6*s + 3. Let i be h(-7). Solve -o + 2*g 