2*k + 18 = 4*t + 32 for k.
-3
Let x be 297/693 + 33/21 + 1. Let r(s) = s**3 - 5*s**2 + 7*s - 6. Let h be r(4). Suppose 0 = -2*m + h*m - 8. Solve 5*g - 2 + 30 = x*z, 2*g = -m*z - 8 for g.
-5
Let l = -36 + 38. Suppose 7*b = l + 12. Let s(d) = d**2 + 3*d + 2. Let h be s(-3). Solve 6 = 4*u + 2*m + b, -4*m = -h*u + 2 for u.
1
Suppose 68*u - 64*u - 68 = -2*f, 0 = -4*u + 5*f + 26. Solve a - 2*h + u - 1 = 0, -3*a = -3*h + 24 for a.
-3
Suppose -3*z - 2 = -z + 4*i, -4*z + 18 = -3*i. Solve u - 2*v = 17, -120 = -z*v - 138 for u.
5
Let k = -14258 + 14269. Solve 2*l + 139 = -3*y + 138, 3*y = 4*l + k for y.
1
Let t = -231 + 344. Let k = 174 - t. Let z = k + -59. Solve -2*s = z*n + 3*n + 25, 3*n + 2*s = -15 for n.
-5
Let o(j) = 24 + 26*j**2 - 9*j - 11*j + 169 - 27*j**2. Let c be o(-27). Suppose 0*v = 4*v - 8. Solve -6 = c*q + v*w, 5*w - w - 12 = 4*q for q.
-2
Suppose 2*v = -3*a + 36, 4*a + 14*v - 34 = 9*v. Solve -4 = -g, g - 2*g - a = -5*r for r.
4
Let z(x) = 2*x + x**2 - 7 + 1 + 1. Let r be z(-4). Let k = 151964 - 151960. Solve -20 = k*l, -l = -4*d - r*l - 30 for d.
-5
Suppose 18 = 5*a - 4*p - 7, 25 = 5*a - 3*p. Solve 3*d + 1 = -3*r - 17, -a*r - 10 = d for r.
-1
Let b(q) be the second derivative of 1/20*q**5 + 0 + 7/6*q**3 + 5/2*q**2 - 2/3*q**4 + 22*q. Let h be b(7). Solve 5*u + 15 = 4*d + 1, -4*u = h*d + 3 for d.
1
Suppose 2*l = -a - 212, 2*l + 5*a - 22 = -242. Let k be (-2)/10 + (-546)/l. Solve 0 = -2*j - 5*c + c + 10, 4*j + k*c - 5 = 0 for j.
-5
Suppose -465*x = -460*x - 45. Suppose 4*n - 23 = -5*p - 0, -p = 3*n - x. Solve -m - n*j = -5, -j - 7 - 4 = 5*m for m.
-3
Suppose -9 = 5*p + 4*p. Let h = 23 + p. Let y = h + -22. Solve y*v = -3*i + 2*v + 2, 0 = -5*v - 5 for i.
0
Suppose -2*g - 3*m + 18 = 0, 9*g + 4*m - 32 = 5*g. Suppose -5*w + g*j - 3*j + 18 = 0, -5*j + 26 = w. Solve a - 10 = w*a + 5*u, -2*u - 10 = 4*a for a.
-3
Suppose 34 = 3*s - 0*s - 5*t, 0 = -5*s - 3*t. Suppose -5*p - 10 = 0, 4*r - 4*p = r + 23. Solve r*x + 1 = s*d, 2*d + 5*x = 4*d + 1 for d.
2
Let c(w) = -w - 27. Let i be c(26). Let g = i - -101. Let m = -45 + g. Solve 5*v + 2*k = -7, 6 = -m*v - 5*k - 2 for v.
-1
Suppose 8 = -5*s + 4*k, 170 = 4*s - k + 161. Solve q + b + 5 = 0, -3*b + 1 = -s*q - 19 for q.
-5
Suppose -4*i = 4*q - 9*q - 55, 2*i + 4*q = 8. Let c be (1 + -2)/(i + (-558)/54). Solve 0 = f - 5*o + 25 - c, -2*f = -3*o + 16 for f.
-2
Suppose 0 = 87*s - 7*s - 341 - 779. Solve -4*f + 24 = 4*g, -s*f + 10*f + g + 4 = 0 for f.
2
Let i(t) = -17*t + 74. Let x be i(14). Let m = 165 + x. Solve -m = -h - 5*g, -3*g + 16 = -3*h + g for h.
-4
Let k = 5519 + -5516. Solve -k*q + 1 = -4*c, -5*q = 2*c - 4*q + 3 for c.
-1
Suppose 38*x = 58 + 18. Solve 3*i - 4*r = x + 6, i = -3*r + 7 for i.
4
Let c = -351 + 351. Let w be 3 + -2 + (5 - (-12)/(-3)). Solve -h - 2*h = c, -w*h + 5 = -5*a for a.
-1
Suppose 9*f + 832 = 25*f + 16*f. Solve 4*n + 3*o + 1 = 35, -o = -4*n + f for n.
7
Let t(f) = 28 - 3*f**3 - f + 9*f**3 + 4*f**2 - 29*f**2 - 5*f**3. Let x be t(25). Solve 0 = k - 5*k + 3*c - x, -k - 2 = -c for k.
3
Let d = -18 + -1. Let u = d - -23. Suppose -3*l + u = -2*l. Solve -l*w + 5 = -3*y, 4*y + 0*y + 3*w = 35 for y.
5
Let g = 3591 - 3568. Solve 16 = j - m + g, -3*j - 11 = -m for j.
-2
Suppose 9*i - 67 = -13. Let g be 108/(-24)*i/(-9). Solve -2*j = w + 8 - 21, 0 = -5*w + g*j for w.
3
Let h = 2518 + -2516. Solve -14*b + 9*b - s + 30 = 0, 0 = -h*s + 10 for b.
5
Suppose -4*w + 5*m = -20, 2*w - 2*m = -7*m - 20. Suppose -3*t + 11 = 4*o - w*t, -t = -1. Solve 3*c + i + 18 = 0, 2*c + 19 = -o*i - i for c.
-5
Suppose 0 = -3*b + 6. Suppose -21 = -5*i - 1. Let s be -2 - (-80)/15 - 4/(-6). Solve -r + 6 = s*f, 0*f - i*r + 6 = -b*f for f.
1
Let l = 516 + -514. Suppose -22*i + 144 = l*i. Solve 4*h - h + 3*o + i = 0, 0 = 2*h + 4*o for h.
-4
Let c = 781 - 850. Let b be 0 + c/(-15) - (-42)/(-70). Suppose 0*i + 8 = 2*i. Solve -4*g + o + 17 = g, b = i*g + 4*o for g.
3
Let o = -96 + -1. Suppose 3*a = 6*a + 276. Let y = a - o. Solve 0*d = 3*d - 2*i + 25, -4*i = 5*d + y for d.
-5
Let j = 751 - 417. Let z = j - 331. Solve z = 5*r - 2*r, -3 = s + r for s.
-4
Suppose -74*g = 2*h - 69*g + 4, -3*h + 7*g = -23. Solve 3*i - 2*z + 15 = 0, -h*z = -i + z - 15 for i.
-3
Let w be -18*1 - (91 - 113). Solve -z = -2*x + 1 - 3, 0 = w*x + 8*z - 36 for x.
1
Let j(n) = -2*n**2 - 13*n + 99. Let h be j(4). Solve -h = 2*t - 11*s + 6*s, 3*t + 3*s - 9 = 0 for t.
0
Let o(v) be the second derivative of v**3/6 + 4*v**2 - 14*v. Let k be o(6). Suppose -k*x - 6 = -16*x. Solve 3*n - 1 = -5*h + 4, 0 = 2*h - x*n - 2 for h.
1
Let q(n) = -20*n + 590. Let m be q(29). Solve -3*s - 5 = -2*c, -13*s + m = -4*c - 11*s for c.
-5
Let a(y) = -y**2 - 24*y + 44. Let z be a(-25). Suppose -6*i + 11 + z = 0. Solve -b - 11 = -2*b - 3*c, -i*b = -4*c + 2 for b.
2
Let r be (-6)/8 - (-3278)/1192. Solve 3*f - 4*f - 2 = -o, 0 = 5*f + r*o + 31 for f.
-5
Let y = 179 + -179. Let j be 1 + 2 + (y - 1). Suppose -l = -5*l + 8. Solve 0*m - i - 2 = j*m, -3*m + l = -i for m.
0
Suppose -5*k + 10 = -5*v, -k = 4*v - 0*k - 2. Suppose -3*j + 9 + 33 = v. Let a be (-100)/35 - -3 - (-40)/j. Solve 9 = 5*z + a*n, 0 = -2*z + z + n - 3 for z.
0
Let l be 5*((-16)/5 - -4). Suppose -3*b = -l*b. Solve -4*i + 11 = -3*w, 4*i + b*w = 5*w + 5 for i.
5
Let n be (29/(-58))/((-1)/44). Suppose 0 = 8*h - 6*h. Suppose -f + 6 + n = h. Solve -g - j - 8 = 0, -g = g + 5*j + f for g.
-4
Suppose g + 2*g = 3*d + 6, -5*g - 4*d + 37 = 0. Solve -5*q - 5 = -t, q - 13 = 8*t - g*t for t.
-5
Let l(x) = x**3 + 11*x**2 + 8*x - 20. Let m be l(-10). Suppose m = 3*u - 170 + 44. Suppose 5*z - 33 = u. Solve 4*k + 4*i = 5*k, z = 3*k + 3*i for k.
4
Let d(v) = 16*v - 44. Let b(m) = 3*m + 2 - 6*m + 9 - 2. Let w(t) = -11*b(t) - 2*d(t). Let q be w(11). Solve q = 5*u - 10, 0*i + 4*i - 5*u = -14 for i.
-1
Let c(d) = -d**2 + 110*d - 624. Let o be c(6). Solve o = 2*i + 3*h + 4, -4*h - 12 = -3*i + 4*i for i.
4
Let r(f) = f**2 - 57*f + 806. Let k be r(25). Solve -3*o + 11 = d, -4 = -4*o + k*d - 10*d for o.
5
Let d(l) = 12*l - 49. Let c be d(5). Solve -8*f + c*f - 2*u - 10 = 0, 0 = f - u - 5 for f.
0
Let l(u) = -u**3 - 89*u**2 - 1911*u - 144. Let n be l(-53). Solve -5*p = 0, -5*r - 40 + n = -4*p for r.
-5
Let y = 879 + -877. Solve 6 = -3*v, -y*f - v - 14 = -8 for f.
-2
Let w = -3359 - -3360. Solve -4*y - 4*j + w = -27, -4*y + 4*j - 4 = 0 for y.
3
Suppose 0 = 7*c - 5*c - 4. Let d(y) = 4*y - 36. Suppose 38 + 34 = 8*t. Let f be d(t). Solve v + 5 = c*r + r, f = -r - v - 5 for r.
0
Suppose -5*q + 5*k + 494 = -856, 0 = -5*q + 4*k + 1346. Let n be (q/63)/1 + (-4)/18. Solve b - 5*b - 16 = 0, 0 = r - n*b - 17 for r.
1
Let r be (-40)/(-18) + 98/(-441). Suppose -n = r*x - 0*n - 11, 4*x + 3*n - 23 = 0. Solve 2*p + 35 = -4*a - p, p + x = 0 for a.
-5
Suppose 19 = 3*v + 2*j, -2*v + 20 = -15*j + 20*j. Suppose 5*p + s = 23 + 53, 80 = 5*p + v*s. Solve 0 = -3*q + p, 20 + 13 = 4*w + 5*q for w.
2
Let a = 2420 + -2415. Solve 0 = -4*q - 4*j - 12, 8*q - 19 = 9*q + a*j for q.
1
Let q be (54/30)/((-2)/20). Let c(h) = -7*h - 27. Let j(f) = -f - 1. Let d(y) = -c(y) + 6*j(y). Let l be d(q). Solve -n + o + l*o - 12 = 0, 15 = -n + 5*o for n.
0
Suppose 0 = -65*s + 68*s - 24 + 12. Solve -2*z + 3*d - 20 = 0, s*z - 5*d + 18 = -18 for z.
-4
Suppose -27 + 23 = -h. Suppose 0*b + 17 = b. Solve -3*s - 6 = -d, 5*s - h*d + b = 7 for s.
-2
Let n(p) = 195*p + 4878. Let m be n(-25). Solve h + h = 2*r + 2, 3*h + m*r = -3 for h.
0
Suppose 5*w - 212 + 22 = 0. Let r = 40 - w. Solve -r*o = 4*y + 12, 12 = o - 2*y + 2 for o.
2
Let l = -16702 + 16703. Solve -17*d = 4*w - 18*d + l, 3*w + 4*d = 4 for w.
0
Suppose 0 = 12*a - 43 + 7. Suppose 0 = 8*t - 3*t. Suppose 5*w + 2*w - 105 = t. Solve 0 = 4*v + 3*u - 18 - 13, -w = -a*u for v.
4
Let r be 10/2*-1 - (13 - 21). Solve 5 = -r*v - 5*a, -9 + 4 = 5*a for v.
0
Let y be 0/(-37)*(-2 - -1). Suppose y = -3*x + 9, 2*x - 1 = -4*w + 13. Let i = 0 - -3. Solve i*o = -2*h - 18, -2*h + 3*o = -w*o - 14 for h.
-3
Suppose 0*v + 125 = -20*v + 465. Solve -18*d = 5*o - v*d + 3, 3*o = -2*d - 6 for o.
0
Let n = 14478 + -14441. Solve -42*t + n*t + 32 = 4*a, -4*t - 4*a + 28 = 0 for t.
4
Suppose 4*l = l - g + 76, -l + g = -24. Suppose -3*m - 28 + 18 = -2*j, 2*m = -5*j + l. Solve 0 = p + j*o + 13 + 3, p - 5*o - 14 = 0 for p.
-1
Let f = 14585 + -14566. Solve w - f = 5*l - 2*w, 6 = 2*w f