+ 0*v + 3*v + 10 = a for l.
-1
Suppose 264 = 5*y + 3*g, 4*y - 6*g = -g + 189. Let t = y - -20. Suppose t = -0*o + 3*o - i, 0 = o - 3*i - 13. Solve 4*x + o = 3*z, -3*z = -2*z + 5*x + 17 for z.
3
Suppose -9*h - 4*q = -13*h - 12, -3*h - q + 3 = 0. Solve 3*d - 5 + 0 = a, h = 4*d + a + 5 for d.
0
Let y be (-12)/(-33) - 620/(-110). Solve 6*v + 7 = 3*x + 2*v, 0 = 3*v - y for x.
5
Let g(q) = -7 - 11 + 5*q**2 + 2*q + 15. Let h(s) = -s**2 - s. Let b(w) = g(w) + 4*h(w). Let i be b(-2). Solve -m + 5*z - 19 = 0, -5*z = 2*m - i*m - 17 for m.
1
Suppose 33 - 23 = -q. Let a = q - -25. Let c = 5 + 0. Solve 3*d = a, 2*n - 3*d - 18 = -c*d for n.
4
Let u(y) = y**2 - 18*y + 73. Let j be u(6). Solve 4*o - h - 2 = -j, 4*o + 5*h - 19 = 0 for o.
1
Let o = 26 + -26. Let p(h) = h**2 - 15*h + 9. Let r be p(16). Solve -6*f = -5*f - 4*z + 20, f + 5*z - r = o for f.
0
Let s(g) be the third derivative of -g**6/120 + 7*g**5/60 + 5*g**4/12 - 2*g**3 + 13*g**2. Let d be s(8). Solve -d*o - 4*v + 28 = 0, 18 = 2*o + 5*v - 11 for o.
2
Let f = -65 - -152. Let g = 90 - f. Solve 0 = g*n - 3*o + o + 3, -3*n - 24 = 5*o for n.
-3
Suppose -20*a - 2 = -21*a. Suppose -s = -d - a*s + 6, 5*s - 22 = -d. Let w = -5 + 12. Solve -15 = -3*g - 5*u, w = 3*u - d for g.
0
Suppose -12*z = -42 - 30. Solve -d + w = -4, -5*d + 30 = -w + z*w for d.
5
Suppose -15*z + 36 = -6*z. Solve 0 = -z*i + 3*c, -4*i + 2*c + 7 = i for i.
3
Let q(r) = r. Let l be q(6). Let o be 68/5*(-55)/(-22). Let n = o + -30. Solve n*h - 5*k + 30 = l*h, -h + 13 = 2*k for h.
5
Let l(k) = k. Let z be l(5). Let d(a) = a**3 - a + 3. Let w be d(0). Suppose -3*f - w = -2*m + 1, 3*m = 5*f + 5. Solve 7*h = 4*h - 12, 3*i - z = m*h for i.
-5
Suppose -5*m + 23 = -2*s, -3*s + 7 = -3*m - 7*s. Solve 12*t - 3*r = 9*t - 27, -19 = t - m*r for t.
-4
Suppose 4*p = -3*u + 45 + 4, 0 = -5*u + 4*p + 39. Solve 5*t = f + f + 33, t = -4*f - u for f.
-4
Suppose u - 8 = -4*l, -2*l - 15 = -3*l + 3*u. Suppose -5*c = -25, -5*k + l*c - 7 = -k. Suppose 2*h + 0*h = 10. Solve -b - y = 4*b - 26, -h*b + k*y = -23 for b.
5
Suppose -4*k + 5*k + 5*t = 6, 78 = 5*k + t. Suppose -10 = 3*y - k. Solve -5*m + 15 = 2*a, -11 = -3*m + a - y for m.
3
Suppose -2 = -2*d + 3*x - 0, 2*d - 12 = -2*x. Suppose -17 = 2*r + 4*p - 1, d*r = -p + 3. Solve r*m - 16 = y + 2*y, 5*y + 15 = m for m.
5
Let y(p) = -p**3 - p**2 - 1. Let k be y(-1). Let o be (k - -6) + -7 + 5. Solve -l = -5*l, o*i = -5*l - 3 for i.
-1
Let i(n) = n**3 - 3*n + 3. Let z be i(2). Suppose z*h = 2*g, 2*h - 3*g = g. Suppose m - 3 = -h. Solve -5*f = 3*s - 14, -1 = 2*f - m for s.
3
Suppose -r - 4*z + 28 = 0, 3*r - 18 = 2*r - 2*z. Solve 0 = -3*q - 5*v + 3*v - 14, 0 = 2*v + r for q.
-2
Suppose 4*t - 20 = 4*v - 16, 13 = 5*v + t. Solve -v*p - 1 + 0 = g, 0 = -4*p - g - 7 for p.
-3
Let k be ((-2)/(-8))/((-378)/48 + 8). Solve -3*q - q = 4*b + 16, -22 = -k*b + 4*q for b.
1
Suppose 6*g + 4*i = 3*g + 12, -5*g - 4*i = -20. Solve -g*m = 3*o - 5*o - 20, -2*o + 7 = 5*m for m.
3
Let t = -4 - -34. Suppose 8*z = 2*z + t. Let w be (5 - z)*(-3)/6. Solve -p + 2*s + 0 = 7, -5*s + 15 = w for p.
-1
Suppose 0 = -5*j + 76 - 21. Suppose -4*g + 5*g - j = 0. Solve -3 = -u + c - 0*c, g = 4*u - 3*c for u.
2
Let t be (40/14)/((-40)/(-420)). Solve 1 = h - 4*m + 17, -5*h = 2*m - t for h.
4
Suppose 7 = -6*q + 2*q - 5*o, q + 7 = 4*o. Let g be (-2 - -2)/(q + 5). Let x be (-77 + 89)*2/((-4)/(-3)). Solve 5*i - 1 = 3*d, 0*i - 3*i - 4*d + x = g for i.
2
Let x = 23 + 52. Suppose -72 = i - x. Solve -5*m - 5 = 5*g, 4*g - 31 = i*m - 0 for g.
4
Let g = 11 - 9. Let q be g + 0 + (-30)/(-10). Solve h + 4 = 5*b, h + 0*h = -q*b + 6 for h.
1
Suppose -3*h - 3*b + 15 = 0, -3*h + 5*b + 18 = -5. Suppose -4*v = -n - 60, 15*n = -4*v + 10*n + 36. Solve -h + v = 3*i + u, -16 = i + 5*u for i.
4
Let q = -1408 - -1432. Solve 4*b - q = 4*s - 0*b, 0 = -5*b + 25 for s.
-1
Suppose 0 = 3*y - 2*y. Let c be 21/(6 - 3) + -2. Let u = -7 - -12. Solve y*w - 2*w - 23 = -c*g, -5*w = -u*g + 20 for g.
5
Let r(v) = 4*v. Let g be r(1). Suppose g*j = -2*l + 20, -2*j - l + 6 = -2*l. Solve 0 = 2*u + j*b - 0*b + 4, 0 = 3*b for u.
-2
Suppose 0 = -50*m + 334 + 16. Solve 4*q = -y - 13, -2*q + 23 = -m*q + y for q.
-4
Suppose -k = 3 - 7. Suppose -2*b - 3*b = -10. Let f = 3325 - 3321. Solve 0 = -w + k*j - b, -6*w - f = -4*w - 3*j for w.
-2
Let v = -3 - -6. Let w = -70 + 70. Let l = v + w. Solve 4*h - z = 3*z - 4, -l*h + 2*z - 7 = 0 for h.
-5
Let u = 111 + -106. Solve l + 2 = 0, 2*d - u*l - 26 = -2*d for d.
4
Let j(w) = -4*w**2 + 33*w - 54. Let u be j(6). Solve 4*s - 9 = -3*b, -b + u + 3 = -3*s for b.
3
Let a(o) = o**2 + o + 11. Let c be a(0). Let d(j) = j**2 - 11*j + 2. Let v be d(c). Solve i + 3*b = -v*i - 15, -4*b = -5*i + 2 for i.
-2
Suppose -4*g + 2*g - 12 = 0. Let a(d) = -7*d**2 - 6 - 17*d - d**3 - 3 + 1 + 8*d. Let z be a(g). Solve i = 2*i + n - 2, 5*i - 5*n - z = 0 for i.
2
Suppose -4*w + 32 = -0*w. Let q be 3*(2/(-6) - 1). Let u = q + w. Solve -5*m + 6*g = 3*g + 13, 5*g - 13 = u*m for m.
-2
Suppose 9*t = 7*t + 6. Solve -2*s - p = -2, 4 = -t*s + 5*p + 7 for s.
1
Let g(v) = -v**3 - 7*v**2 + 11*v + 45. Let s be g(-8). Solve 10 = 2*c, -2*r + 5*c - 14 = s for r.
-5
Suppose 897 = 9*k - 219. Let b = k - 120. Solve 0 = -n + u + b + 1, 5*u = 2*n - 16 for n.
3
Let z be -14 + 2 + 4 + -3. Let a = z + 21. Let m = -8 + a. Solve 0 = 2*b - 5*d + 4, -5*b + b + 5*d = -m for b.
3
Suppose 3*v = -2*v - 40. Let n be -1 + -1 - (2 + v). Let c(r) = -r**3 - 6*r**2 - 6*r. Let h be c(-5). Solve -n*x - w + 15 = 0, -h*x - 2*w = -0*w - 21 for x.
3
Suppose -5*z + s + 8 = 2*s, 4*s - 8 = 4*z. Solve 4 = 5*f + a - 5, -z = 3*f - a for f.
1
Let o = 5 + 1. Suppose o*q - 129 - 27 = 0. Solve q = 5*x - 3*g, 0 = -5*g - 7 - 3 for x.
4
Let x = 16 + -5. Let i be (x - 8)*(-4)/(-6). Solve 2*q = -i*m + 3 + 3, q + 2 = 4*m for q.
2
Let t be 4/18 + (-414)/1863. Solve 4 = u, 3*j - 6*u + 8*u - 17 = t for j.
3
Suppose -5*u = g - 20, -4*u + 22 = -2*g - 8. Suppose -4 + 2 = -2*q + 2*z, -4*z = 2*q + 4. Solve q = -4*b - 2*h - 6, -2*h - 5 = u*b + 2 for b.
-1
Let h = -31 + 53. Suppose -8*c + 34 = -h. Solve -2*v + c = -d, 4*d - 4*v = -9 - 11 for d.
-3
Let w be 6/(-4)*(-1 + -9). Let g = 16 - w. Solve r = -j + g, r + 0 = -4*j + 7 for j.
2
Let i be 2 + ((-3)/6)/((-5)/(-10)). Solve -3*m = -5*p + 12, 0 = 5*m + 3*p - 5*p + i for m.
1
Let t be 4/(7 - 5)*4/2. Solve 2*i - 2 = -4*m, t*m - 7 = 2*i + i for i.
-1
Let q = -50 + 35. Let j = 18 + q. Suppose j*d = d. Solve -2 = -4*v + 2*m, 0 = -5*v - d*m + 2*m for v.
-2
Let k = 96 + -148. Let p = k + 56. Solve -30 + 0 = 5*a - p*s, -5*s = 4*a - 17 for a.
-2
Suppose -3*c - 7*a + 2*a = 11, -5*c = 4*a + 1. Solve 5*f - f - 4 = -4*x, c = -x for f.
4
Let v(b) = b**2 + 72*b + 528. Let d be v(-64). Solve -9 = h + l, 2*l = -h + 6*l + d for h.
-4
Suppose -14*g = 8*g - 110. Solve -12 = 4*t - 4*y, 4*t + 7 = g*t + y for t.
2
Let h = 141 + -133. Let m(g) = g**3 + 7*g**2 - g - 2. Let k be m(-7). Suppose -k*z = -2 - h. Solve -18 = -4*b + z*p, 2*b + 3*b - 4*p = 24 for b.
4
Let d be (3/6)/(3/(-24)). Let c be (-2)/((-6)/(-3)) - d. Suppose -9 = -4*z + c. Solve -2*w + 4 - 11 = -z*r, 4*r = 4*w + 12 for r.
1
Let z be ((-86)/(-3))/((-16)/(-24)). Let t = z - 28. Solve -5*l = 4*u - t, l = 3*l + 2 for u.
5
Let v(d) = -d**2 - 355*d + 2. Let o be v(0). Let g be 10/3*(-18)/(-5). Solve 4*b - g = 5*n, -b + 10 = -o*n - 2*b for n.
-4
Let u be ((-2)/(-2)*2)/((-12)/54). Let h be u/(-9) + 4 + -1. Solve 33 = 5*l - h*t, 0 = -l - t + 3 for l.
5
Let g = 380 - 376. Solve 0 = g*t - 2*o + 20, 0 = -2*t + t - o + 1 for t.
-3
Let d be 8/(-10) - (280/50)/(-2). Solve 4*p - 16 = 3*v, -3*p + 4*v + 17 = -d for p.
1
Let o = -33 + 39. Suppose -3*y - o + 18 = 0. Solve -3*r + 3*q = -4*r - 2, -1 = r + y*q for r.
-5
Let u be ((-2)/(-6))/((-5)/(-60)). Suppose 5*b - 53 = -4*m, -4*b + 3 - 4 = -3*m. Solve u*y + 11 = -i - m, 5*y = i - 27 for i.
2
Let r(o) = -o**2 - 10*o + 16. Let x be r(-11). Solve 0 = -3*y - 4*l - 8, 0 = -4*y + 3*l - x*l + 6 for y.
4
Let h be ((-4)/16*0 + 2)*1. Suppose 0 = 3*q - h*q - 4. Solve -q*f = -4*v + 12, 6 - 23 = 4*f + v for f.
-4
Let z = 1906 - 1901. Solve -5*f + 2*r - 6*r - 36 = 0, z*r = 5*f for f.
-4
Suppose 0 = 8*v - 7 - 1. Solve -4*y + v = -q, q - y = -4*q - 5 for q.
-1
Let j(c) = c**3 - 6*c**2 - 12*c + 2. Let i be j(8). Suppose a - 8 = -a - 3*s, -3*a = -s - i. Solve -