 2*v for o.
2
Let z(w) = -6*w**2 + 79*w + 167. Let v be z(15). Solve h + v*a = 4, 12*h - 10*h - 8 = 4*a for h.
4
Suppose -l = -3*p - 20, -339*l + 2*p = -334*l - 22. Solve -3*z = -5*y + 6 - 1, -4 = -l*z - 4*y for z.
0
Let z be 3 - 1 - (0 + 1 + -1). Suppose z*l = 5*j + 15, -5*l = 5*j + 22 - 7. Solve 5*q = 2*v + 15, l = 4*q - 3*v + 1 - 13 for q.
3
Let a = -250 - -245. Let r be a*2/4*-4. Solve -5*q = 5*p - r, p - 7 = -5*q + 11 for q.
4
Suppose 1 = -3*z + 7. Suppose 3*m + 184 + 527 = 0. Let n = -230 - m. Solve -2*b - k = z - 1, b + 2*k = n for b.
-3
Let q = 6287 + -6284. Solve 1 + q = -o + 2*s, -4 = -s for o.
4
Suppose -3*g + 5 = -0*y + 2*y, 19 = 5*g - 2*y. Suppose 2*o = g*j - 8*j + 15, 0 = -5*o + 5*j - 15. Solve 3*a + 2*a - 12 = 4*s, o = 4*a for s.
-3
Let v be -5 - (18/(-3) + (-15)/((-15)/(-122))). Solve 3*t + 121*w - 2 = v*w, -w = t + 6 for t.
-2
Suppose 0 = v + 4*j - 14, 3*v - 19 = -4*j + 7. Suppose -v + 10 = 2*r. Solve 0 = 3*n + 5*t - 35, 5*n - 41 = -2*t - r*t for n.
5
Let k(o) = -29*o - 172. Let j be k(-6). Solve -5*a - 25 = 5*i, -3*i + 2*a - 12 = -j for i.
-4
Let h = -303 - -302. Let u be ((-175)/55)/h - (-2)/(-11). Solve g + 1 = -3*d, 5*g + u = -2*d - 2 for g.
-1
Let l = -182 + 48. Let s = 137 + l. Solve -1 = -3*z - a + 3, -4*a = -s*z - 1 for z.
1
Suppose m = -1 + 5. Suppose -13*w = -0*f - 5*f - 124, w - 4*f - 71 = 0. Solve 3*x + m*j = -4, 2*x - 3*j - w = 5*x for x.
0
Let a = 45 + -27. Let j be (18/15*(-5)/(-9))/((-2)/(-27)). Solve 5*v - j = 4*l, 2*v - a = -3*l + 4 for v.
5
Let p be (32/6)/(1082/8115). Solve 4*a - 4*m + p - 12 = 0, -5*a = 2*m for a.
-2
Suppose -2*f + 4*p + 24 = 0, -3*f + 27*p - 22*p = -31. Solve r + 1 = 0, 0 = -f*s + s + r + 1 for s.
0
Let p be (-195)/130 + -3 + 15/2. Solve 2 = d + 21*m - 19*m, p*m + 6 = -3*d for d.
-6
Let p(a) = -a + 19. Let d be p(-14). Let k = d - 4. Let y = -27 + k. Solve 1 = -3*u - 5*r, y*r - 5*r + 1 = u for u.
-2
Let a = -163 - -163. Let w(k) = 2*k**2 - 23*k - 33. Let s be w(13). Solve 4*y + 5*z - s = 3*z, -z + 3 = a for y.
0
Let o(l) = -2*l**3 - 293*l**2 + 442*l - 293. Let c be o(-148). Suppose 8*t - 3*t - 15 = 0. Solve -t*j + 2*g - 5*g = c, -9 = -3*g for j.
-4
Suppose 4*m - 2 = -3*p, -2*p - p + 8 = -2*m. Let n(i) = 6*i + 129. Let o be n(-21). Solve p*s = o*y + 3*s - 10, -45 = -5*y + 4*s for y.
5
Let w(p) = -39*p + 2420. Let x be w(62). Solve -15*f = -20*f + t - 5, -4*f + x*t = 4 for f.
-1
Suppose -31*g + 406 + 59 = 0. Solve b + 2*h + 7 = g, b = 2*h for b.
4
Suppose -1169*o - 1 = 2*n - 1166*o, 3*n = -5*o - 3. Solve -5*v + 4 = f, -n = 5*f - 12*v + 13*v for f.
-1
Let n(c) = -7*c**3 - c**2 - 30*c - 31. Let b be n(-1). Solve b*z = -4*s + 15, -8*s = -11*s + z + 16 for s.
5
Let l(y) = -273*y + 1913. Let p be l(7). Solve 5*g = 6*j - 8*j - 25, -10 = p*g + 3*j for g.
-5
Let r(u) = -56*u - 3307. Let m be r(-63). Solve -m*l + 222*l - 2*t + 6 = 0, 3*l = -5*t + 4 for l.
-2
Suppose 88*z - 154*z = -132. Solve -2*a - z*v = 2, 9 = -5*a + 4*a - 5*v for a.
1
Let z be ((-212)/6)/((-86)/(-1161)). Let w = z + 479. Solve -o - 30 = -5*a, -2*a + 3*o + w*o + 35 = 0 for a.
5
Suppose -15 = 125*q - 130*q, -3*q + 1 = -2*w. Solve 2*v + 4*l = -0 - w, 0 = v - 5*l + 9 for v.
-4
Let h(c) = -2*c + 36. Let x be h(15). Suppose -n = n - x. Suppose -9 = -n*l, 13 = -2*b + b + 5*l. Solve 20 = 2*k + 4*o, b*k = -3*o + 2 + 14 for k.
2
Suppose -3*l + 18 = 25*a - 17*a, 2*a - 16 = 5*l. Solve -5*f - 2*h + 21 = 0, -a*h + 2 = -4*h for f.
5
Let h(s) = -2*s + 2. Let t be h(-3). Suppose z = -2*z + 9. Let i = 86 - 84. Solve i*p + z*n = -t - 4, p - 2*n - 8 = 0 for p.
0
Let j = -116 - -98. Let b be -3*12/j + 0. Solve i - 2 = b, 5*i - 12 = -4*d for d.
-2
Suppose 10 = -8*r + 10*r. Suppose -r = 2*b - 5. Let a = 55 - 51. Solve a*u = 2*q + 12, 3*q + b*q - 2*u = -6 for q.
0
Let p be (-3 - 285/(-25))/(33/110). Suppose -1 = -2*f + 5*r, r = -5*f + 5*r + p. Solve 4*z + 4 + f = 0, -3*o + 21 = -4*z for o.
3
Suppose 78 = 1292*h - 1266*h. Suppose -f = -2 - 1. Solve h*q - q = -f*x + 3, -3*q = -4*x - 13 for q.
3
Let r be (17/(-2))/(4/48). Let y = r - -105. Solve 2*a - 3*x + 0*x = -17, y*a = -4*x for a.
-4
Suppose 16*h - 3584 = 8*h. Let c be 2/8*10*h/280. Solve -c*z + 20 = 4*t, 4*z - 5*t + 9 + 7 = 0 for z.
1
Let q(d) = -9*d**2 - 40*d - 33. Let c be q(-3). Solve -3*z + 6*z - 11 = h, c = -3*h for z.
3
Suppose 0 = 4*v + 5*k - 10, 4 = -2*v - 5*k + 14. Suppose v = 5*r - 8*r. Solve 0*s - s - 1 = 4*l, r = 5*l + s for l.
1
Let u be 134/11 - 56/308. Let f = 16 - u. Suppose 2*t = 5*r + 11, -2*t + 1 = 2*r + 3*r. Solve 4*q = 3*s - 16, -3*q - s + f - t = 0 for q.
-1
Let s(b) = 102*b + 1226. Let q be s(-12). Solve 5*m - 2*r = -0*m + 7, -q*r = m + 1 for m.
1
Suppose 20 = 5*j + 5. Let v(r) = 3 + 10*r**3 - 55*r**3 + 31*r**3 + 3*r + 13*r**3 + 2*r**2. Let n be v(j). Solve 2*y + y + 6 = n*i, -y + 4*i - 11 = 0 for y.
1
Suppose 28 = 4*b - 4*t, -2*b - 3*t = 2*b. Suppose 7*j - b = 11. Solve 0*k = -4*s + k, -s - j*k = -9 for s.
1
Let s(q) be the second derivative of q**4/12 - q**3/6 + 6*q**2 - 893*q. Let d be (2 - 1) + 1*-1. Let w be s(d). Solve 2*l + 6 = 4*j - w, 6 = 3*l + 5*j for l.
-3
Suppose -7*o + 855 = -741. Suppose 8*h - o = -52. Let b = h - 22. Solve b = -0*g + g - 3*p + 6, 2*g = 3*p - 6 for g.
0
Let s(b) = -b**3 - 7*b**2 - 3*b + 5. Let j be s(-4). Let p = j + 58. Let r be 70 - (418/19 + 45). Solve 3*i = 3*v + r, -3*i = 6*v - v - p for i.
4
Suppose 14 + 1 = z. Let c be (6/z)/(2/20). Suppose -3*g + i + 20 = 0, 0 = -2*g + i - 6 + 22. Solve c*b = -t + g, b + 4*b + t = 5 for b.
1
Let s(n) = -13*n - 3*n - 55 + 22 + 23. Let p be s(-2). Let f be 33/p + 3/2 + 2. Solve -4*w = -2*x + 7 + 3, -f = 5*w - 4*x for w.
-5
Suppose 12*v = 6*v + 144. Suppose 71 + v = 19*u. Solve 8*t = -2*b + 3*t - 21, u*t = -4*b - 27 for b.
-3
Let x(y) = y**2 - 11*y + 35. Let i be x(6). Let g = -26 + i. Let q = -17 - g. Solve 1 = r + 4*j, r + 4*j + 19 = q*r for r.
5
Suppose -12*a + 173 = 149. Solve v = -4*f - 21, 11*v + a*f + 18 = 9*v for v.
-5
Suppose 4*w + 5 = d, 13*w + 5 = 14*w. Solve -o = -3*n + 2*o, -2*n - 3*o - d = 0 for n.
-5
Let u be 12/(-5)*120/(-32)*2. Let o = -29 - -33. Solve -u = -f + 2*f + 4*i, -o*f + 4 = -3*i for f.
-2
Suppose -485 = -r - 163. Let p = 327 - r. Solve 5*u + 30 = p*x, 4*x - 12 = u + x for u.
-3
Suppose 64*p = 6*p + 116. Solve -4*t = -5*j + 18, -6*t + p*j = -2*t + 12 for t.
-2
Suppose -4*q - 204 = 4*z - 6*z, z - 123 = -5*q. Let r be z/144*(-1 + 5). Solve 2 = 4*d - 3*d + 4*o, d = r*o + 2 for d.
2
Let p = 100 - 98. Let o be p*(2 - 0 - 5/10). Solve -2*t - 7 = -o*w + 4*w, 13 = -3*t - 2*w for t.
-1
Let b(o) = -140*o - 2935. Let j be b(-21). Solve -2*a = 5*i - 17, 2*a - j*i + 20 = 7*a for a.
1
Let g be (38/(-6))/((-4)/(-12)). Let x be 10 - (g - -4)/(-3). Solve -o - 6 = z, x*z + o + 20 = -2*o for z.
-1
Suppose p - 20 = 19*w - 16*w, -28 = -2*p + 4*w. Solve 4*f + 54 = 4*s + 62, 5*f - 4 = p*s for s.
-2
Let g(y) = 14*y**3 - 2*y + 1. Let w be g(1). Suppose 0 = v - 9 - w. Let b = v + -22. Solve b = -o - z + 1, 5*o - 1 = -3*z + 2 for o.
0
Let i = 8 + -5. Let v be (38/(-6) - -3)/(5*2/(-15)). Solve -5*s + 20 = -v*g, s + g + i*g = 4 for s.
4
Suppose 42 = 2*j - 0*j. Let n be 6/j*(-112)/(-16). Solve -5*a + 16 = 4*u, 3*a - n = -u + 2 for u.
4
Let f be 21/(-7) + 3 + 2. Suppose -3*k = -0*k - 9. Solve -2*v = k*u + 1, v = f*u + 3 - 0 for v.
1
Let o = 184 + -180. Suppose 6*v - o = 4*v. Solve -5*d = -v*a + 24, 4*a + d = 4 - 0 for a.
2
Let j be 6/(-8) + 2673/12. Suppose -17*p - j = -11*p. Let b = p - -41. Solve -19 = -3*t - b*u, 15 = 2*t + 5*u - 0*u for t.
5
Suppose -2*s + 15 = -9. Let l(x) = -x**3 + 10*x**2 - x + 14. Let g be l(10). Solve -2*w + 5*h + g = 0, 4*w + 4 = -2*h + s for w.
2
Let c(k) = k + 16. Let b = -77 - -73. Let p be c(b). Solve -s + 2*m = -3*m + 16, 3*m - p = 0 for s.
4
Let z be -77 - -94 - 89/5 - 648/(-10). Solve -5*r - 3*x - 37 = 0, 12 = -z*x + 61*x for r.
-5
Suppose 0 = 2*d - 4*l - 124, -d + l - 4*l = -47. Suppose 10*g - d = 6*g. Solve -2*i - 3*k = g, 3*k + 0 = 3*i + 6 for i.
-4
Suppose 3*i + 18 = 0, 218*i + 2 = 4*w + 219*i. Solve 42*b - 26 = 39*b - w*c, 2*c - 14 = -b for b.
6
Let t(i) = -37*i - 37. Let a(d) = -2. Let w(g) = -2*a(g) + t(g). Let o be w(-1). Solve -3*b - 23 = 4*m - 0*b, 0 = 4*m - o*b - 12 for m.
-2
Let p(z) = -13*z**2 - 1034*z - 316. Let l be p(-79). Solve l = 5*n + 3*x + 232, -25 = 5*x 