, 4*v + 12 = -o for v.
-4
Let b(c) = 6*c**2 + 18*c + 17. Let s be (-6)/(-15) + 91/(-65). Let o be b(s). Solve -m = -2*r, -o*r = 2*m - m - 14 for m.
4
Let b = -217 + 217. Let h(w) = -w**3 - 3*w**2 + w + 17. Let z be h(b). Solve s - 10 = -5*d, 2*s + z = 4*d + s for d.
3
Let o(a) = 3*a + 97. Let q be o(-29). Let p be (-102)/(-255) - (-16)/q. Solve 6 = p*m + 5*d - 7, 0 = -2*d + 2 for m.
4
Let p be ((-136)/(-3))/((-20)/(-30)). Suppose 22 + p = 6*g. Solve 3*t + 2*y = -0*y + g, -2*y = 0 for t.
5
Let n = 23 + -19. Suppose 0 = -n*s + 13 + 43. Suppose s = -7*u + 49. Solve -u*v = p - 23, -3*p = p + 3*v - 7 for p.
-2
Let y = 8 - 5. Suppose -343*h + 156393 = 155021. Solve -2*w - 5*r = -y*r + 10, -5*w = -h*r + 16 for w.
-4
Suppose -25*j + 396 = 125*j - 1254. Solve 2*q - b = -4, 4*q + 2*b = 9*q + j for q.
-3
Let l be (-300)/(-78) + (4 - ((-252)/(-52) + -1)). Solve l*i + 16 = 2*h, 6*i = 2*i - 4*h + 8 for i.
-2
Let d = 25943 + -25921. Solve -5*s = -6*z + 18, -9 = 5*s - d*z + 19*z for s.
0
Let a(g) = -g**2 + 48*g - 118. Let o be a(18). Let h = -401 + o. Solve i + h = -4*x - 0*i, 5*i = x for x.
-5
Let q = -50 + 55. Suppose -q*c + 161 = -19. Let x = c + -33. Solve 0 = 4*u + 5*o - x*o + 22, 0 = o + 3 for u.
-4
Let q(o) = -9*o**3 - o. Let h be q(1). Let r = 3141 + -3119. Let b = h + r. Solve 6 = -2*w + 3*l - 13, 4*l = -4*w + b for w.
-2
Let q(h) = -h - 12. Let b be q(-9). Let a be (-1)/(12/b) + 22/8. Solve 7 = -3*w + a*c + 1, 4*w + 5*c + 26 = 0 for w.
-4
Let h be (2*18/(-16))/(25/(-100)). Suppose 0 = -4*u + 4*g - 48, -u - g - 16 = -6*g. Let t = -11 - u. Solve d - 5*n = t, 2*d - 2*n + n = -h for d.
-5
Suppose 958 = 28*z + 230. Solve -4*l + 30 = 4*v + z, 0 = v - 3*l + 19 for v.
-4
Let p be ((-21)/(-35))/(-1*5/(-25)). Let v(k) = k**2 - 4*k + 6. Let z be v(3). Solve 4*g = p*t + 11, g = z*t + 11 - 6 for t.
-1
Let q = 22355 + -22331. Solve q*c = 29*c + 5*z, 5*c - 4*z = 36 for c.
4
Let s be (8 - 2 - (-29 + 27)) + 0. Let x = -21 - -24. Suppose -4*r + 6 = w + 21, -x*r - 40 = -5*w. Solve 0 = -0*k - w*k + i - s, -2*i + 3 = 3*k for k.
-1
Let j(r) = r**2 + 17*r + 18. Let x(i) = -6*i**2 - 4*i + 16. Let z be x(2). Let o be j(z). Solve -2 = o*f + w, f + 2*f = -4*w - 3 for f.
-1
Let a(g) = 58*g - 55. Let k be a(1). Solve -3 = t + 4*m, 6*t + k = 5*t + 3*m for t.
-3
Suppose -19 = -2*b + c, -2*b + c + 17 = -2*c. Solve -3*v - j - 13 = 0, 3*v - 1 = -3*j - b for v.
-5
Suppose -4*t + t = 5*q - 113, 3*q + 211 = 5*t. Let a = 41 - t. Solve -i + 3*c + 3 = a, c + c + 2 = i for i.
0
Let z = 423 - 396. Suppose -139 = -z*o - 31. Solve 0*s - o*s - 3*f - 1 = 0, 0 = -2*s + 3*f + 13 for s.
2
Let q = -201 + 205. Suppose 22*m - 63 = m. Solve -3*r - 5*v + 18 = 0, -2 = q*r + v - m*v for r.
1
Let d be -6*((-8)/18)/(56/42). Suppose -5*f - 3 = -73. Solve 2 = -2*a + 3*u - 0*u, -d*a - 5*u = -f for a.
2
Suppose 0 = -3*j - 4*u + 19, -24 = -14*j + 10*j - 4*u. Solve 5*d - 4*d + 21 = -j*z, -z = 3*d - 7 for z.
-5
Suppose 0 = -3*a + 3*i - 24, 5*a + 0*a = 4*i - 35. Let z be (-3)/6*(a + -7). Suppose z*y - 6*y = -3*y. Solve 0*n - 4*n - 10 = 2*l, y = n + 2*l - 5 for n.
-5
Suppose -23*u + 10*u + 195 = 0. Suppose 28 = u*n - n. Solve 4*w - 23 = r + 4*r, n*w = -5*r - 11 for w.
2
Suppose -j + 5 = 0, -3*s - 895 + 887 = -4*j. Solve v = 4*t - 3, s*t - 3*v + 19 = 6*t for t.
2
Suppose 0*d = -5*d + 20. Suppose 0 = -296*w + 291*w + 155. Suppose d*h + w = 47. Solve 5*z - 5*c = 20, h*z - 12 = 2*z + 3*c for z.
0
Let p = 4893 + -4892. Solve d = 1, -4*j = 4*d - 11 - p for j.
2
Suppose 0 = 5*l - 2*r - 129, 10*l + 5*r - 3*r - 216 = 0. Solve -4*q + c = -0*c + 1, 4*c = -3*q + l for q.
1
Suppose 179*z - 176*z = 1728. Let m = z + -576. Let a(d) = -3*d - 5. Let k be a(-7). Solve 3*j - 2*t + k + 5 = m, -j - 3*t + 4 = 0 for j.
-5
Let j = -22 + 14. Let o = 1823 - 1825. Let b be (8/j)/(o/2). Solve -5*n = 4*x + 2 + b, 2*x = -2*n for x.
3
Let a = -229 + 250. Let v be (-64)/(-28) + (-6)/a. Solve -4*m + 11 = v*f - f, -2 = -3*m - 2*f for m.
4
Suppose -2*u + 4*s = -48, -2*s + 37 = u + 25. Solve -4*i - 20 = -2*o, 21*o + 3 = -5*i + u*o for i.
-3
Let u = -7067 - -7074. Solve 12 = 5*g + 4*r + 5, g + 5*r = -u for g.
3
Let w(y) = -207*y + 2902. Let j be w(14). Solve 37 = -j*z + 21, -a = -4*z - 12 for a.
-4
Let u(q) = q**3 + 34*q**2 - 799*q - 13. Let n be u(16). Solve 4*f + 4 = a, -4 = -n*a + 7*f - 3*f for a.
0
Let a = 2880 - 2878. Solve 5*z = a*f + 6, 24*z - 22*z - 9 = 3*f for z.
0
Suppose 25*t - 225 = 175. Let v(a) = a**3 - 14*a**2 - 35*a + 48. Let j be v(t). Solve 2*s = 5*l + 20, -s + 0 + 5 = j for l.
-2
Suppose -r - 40 = -3*r. Suppose -r*n - s = -18*n, 0 = -s - 4. Solve 2*d = -4*b + n - 10, 3*b + 3*d = -6 for b.
-2
Suppose x + 3 = 3*c, 38*c - 36*c = x + 2. Solve 5*p - o + 23 = 0, -2*p + o + 2*o - 17 = x for p.
-4
Let n = 55 + 65. Suppose 10*i = -0*i + n. Let j be i/2*16/32. Solve 2*g - 6 = -3*b, -j*b + 16 = b for g.
-3
Let q = 5201 - 5196. Solve -5*u = 5*m + 10, q*u - 6*m + 4*m - 4 = 0 for u.
0
Let l = 4559 - 4559. Solve 20 = 5*a, u + 2*a - 6*a + 11 = l for u.
5
Let y = -6 + 8. Suppose -6*k + 13 = -11. Suppose 3*l + 9*l = k*l. Solve -5*s + t - 15 = l, -2*t + 30 = -5*s + y*t for s.
-2
Let l(i) = -5 - 24 + 11 + 13*i**2 - 12*i**2 - 4*i. Let d be l(7). Solve 5*u + d*q - 2 = 0, 4*u - 12 = -0*u - 5*q for u.
-2
Suppose -24 = 2*y - 60. Suppose -6*n + 42 = y. Solve -n*t = 4*q + 4, 4 = -4*t - q + 2*q for t.
-1
Let k be ((-10)/(-3))/2*(432/18)/8. Solve -2*o + 87*h = 90*h - k, 5*h = 4*o + 45 for o.
-5
Let n = -20 + 15. Let z be 12*(1 - n/(-15)). Suppose -z = -v - 5. Solve 4*d + v*x + 10 - 4 = 0, -3*d + 3*x = 15 for d.
-3
Let j(y) = -y**3 - 34*y**2 + 114*y + 115. Let a be j(-37). Solve 0 = l + a*f + 5 + 2, 8 = -3*l + f for l.
-3
Let j(d) = -3*d**2 + 75*d - 39. Let b be j(23). Solve 0 = -3*v + o - 1, 2*v + 101*o - 2 = b*o for v.
0
Let t be (-1 - -3)*-1 - 4370/23. Let u = t - -194. Solve 3*m + 17 = h - u*m, -4 = m for h.
-3
Suppose -4*k + 12 = -2*b + 6*b, 15 = b - k. Solve 0 = 4*x - 8, b*x - 7*x - 5 = -o for o.
1
Let w = 1516 - 1503. Solve -5*m = 4*f + w - 48, -16 = -5*f + 3*m for f.
5
Suppose 194*i - 109*i = -296*i - 164 + 1688. Let f = -17 - -26. Suppose f + 0 = 3*h. Solve v = -h, 3*x = i*v - 0 + 6 for x.
-2
Let p(b) = b**2 - 3*b + 2. Let h be p(2). Suppose -29*d + 9*d + 580 = h. Solve -d = 5*x - 4*z - 8, z + 1 = -5*x for x.
-1
Let n = 4 - -3. Suppose -5*q + 15 + 26 = 4*v, -q + 3*v - n = 0. Let p(l) = -7*l + 325. Let u be p(46). Solve q*f + 11 = -u*r, 3*r - 6 - 3 = 0 for f.
-4
Let f(a) be the third derivative of a**6/40 - a**5/30 - 7*a**4/24 + 13*a**3/6 - 84*a**2. Let o be f(2). Solve o = h + 4*c - 5, -2*h + 20 = 4*c for h.
0
Let n(y) = -12*y**2 + 199*y + 14. Let a(u) = -12*u**2 + 201*u + 13. Let k(x) = -4*a(x) + 5*n(x). Let h be k(16). Solve -19 = h*f + 5*v + 9, 5*v = 5*f for f.
-4
Suppose -2*z + p + 204 = -2*p, -3*p = 3*z - 276. Suppose v + 93 = z. Solve -2*u = -3*l - 4, 3*l - 1 = 4*u + v for u.
-4
Let z = 160 - 158. Suppose 3*g - 16 = 4*q - z*g, 4*q + 12 = 4*g. Solve 4*t + 4*u - 20 = 0, -2*u = -3*t - q - 9 for t.
0
Let l(g) = -g**2 - 25*g + 31. Let o be l(-26). Suppose 0 = -o*b + 3*k + 20, -k = -4*b - 8 + 24. Solve -b*q + 4 = -0*q - 2*r, 5*r = 0 for q.
1
Suppose 5 = 2*f + h, -7 = -9*f + 8*f + 4*h. Suppose -17 = -3*j - 4*p, 7*p = 3*j + 2*p - 53. Suppose -j*k + 75 = -6*k. Solve n - k = -f*u + 4, u - n = 1 for u.
5
Let a(x) = x**3 + 6*x**2 - 14*x - 2. Let r be a(-7). Let c = r - 19. Suppose o + o = c. Solve 3 = d - 5*z, 2*z = 4*d + 2 - o for d.
3
Let j(s) = -20*s + 31*s**2 - 37 + 0*s**3 - 15*s + s**3 - 56. Let c be j(-32). Solve -4*u = 0, -d - 10 = -c*d + u for d.
5
Let c(l) = 19*l + 118. Suppose 2339*a - 2342*a - 18 = 0. Let p be c(a). Solve 14 = j + 5*m, p*j - 9 = -5*m + 2 for j.
-1
Suppose 3*o = 2*o. Suppose -2*n + 3*n - 5 = o. Suppose 40604*m = 40577*m + 81. Solve 4*l + m*i + 29 = 0, 5*i = -n*l + l - 35 for l.
-5
Let l = -29 + 29. Let b be (l + -3)*(-45)/27. Solve 5 = b*t - 5*s, -3*t + 2*s = 1 - 2 for t.
-1
Let n = 340 + -331. Suppose -8*s + 7 + n = 0. Solve s*z = 4*j - 3*j + 10, -5*j + 5*z = 25 for j.
0
Let x(j) = 5*j**3 - 2*j**2 - 2*j + 1. Let y be x(1). Suppose -y*f + 165 = 13*f. Solve g - 4*k = 4*g + f, 8 = -g + 3*k for g.
-5
Suppose -3*y + 2*v + 48 = 0, y - 56*v = -52*v + 6. Solve 0 = 3*c + 6, -3*c = 3*m + y - 0 for m.
-4
Suppose -103*j + 503 = -66 + 54. 