 = 3*a - v, -7 = 2*a + 3*v for a.
-5
Let k = 166 - 151. Solve 0 = -5*u + 5*y + 5 + k, 8 = -4*u - 2*y for u.
0
Suppose -27*u - 7 = -4*q - 26*u, 0 = -q - 3*u + 18. Solve -q*g = 6, 0*g - g = -4*v + 22 for v.
5
Suppose 3*b - 21 = -c, 3*c = -2*b + 5*c + 6. Solve -2*j + 3*j - 2*k - 6 = 0, 2*k = -j - b for j.
0
Suppose -17 = -5*x - 2. Let u be x*-1 + 72/12. Solve 2*z + 0*c - 22 = u*c, 2*c + 8 = 0 for z.
5
Let g be 1*10/90*0. Let k be (-2)/4*(-11 - -5). Solve 9 = b - g*u - 2*u, -3 = -4*b - k*u for b.
3
Suppose -9*z = -100 + 19. Solve -3*y - 3*b - 3 = -z, 2*b + 6 = 0 for y.
5
Let x be 82 - -2 - (6 + -2). Let u = 83 - x. Solve -h = -u, t = 4*h - 7 - 4 for t.
1
Let j(d) = -d**3 + 6*d**2 + 9*d - 9. Let c be j(8). Let y = -34 - c. Solve 7*m = 3*m - 5*o + y, 5*m = -o + 23 for m.
4
Let x(i) = 6*i - 6. Let y be x(3). Suppose 0*h - y = -3*h. Suppose -h*k + 23 = 3. Solve 4*t + k*c = -31, -2*c + 1 = -4*t + 3*c for t.
-4
Let v = 9 + -6. Let r = -81 + 116. Solve b + 2*n + 20 = 5*n, -r = 4*b - v*n for b.
-5
Let w(s) = -s**2 + 8*s - 9. Let c be w(6). Solve 12 = -2*q - 4*z, z = c*q - 4*z - 15 for q.
0
Suppose 2*x - 29 = 3*m, x + 2*m - 18 = -0*x. Solve 2*u + n + n = -4, -5*u - x = -n for u.
-3
Let x(i) = -3*i**2 + 11*i - 1. Let g be x(3). Solve 5*l = -g*b - 7 - 8, -4*b = 8 for l.
-1
Suppose 6*g - 4*g = 10, -5*i - 2*g + 25 = 0. Let t be 6/i - 0 - -6. Suppose -5*u + o + 14 = -0*u, 4*u - 4*o = t. Solve -4*k - 9 = -k, -3*q = -3*k + u for q.
-4
Let c = 22 + -42. Let q = c - -30. Let p(a) = -a**3 - 5*a**2 - 2*a - 9. Let u be p(-5). Solve -1 = z - l, 3*l = z + q - u for z.
3
Suppose 0 = -z - z + 10. Let p be (0/2)/(7 - 4). Suppose p = -3*i + 3*o - 6, -i - 2 = -z*i + 2*o. Solve -f - 1 = -i*l, l + 5*f = -0*l - 5 for l.
0
Let b = 956 - 956. Solve -3*g = -6, 5*t + b*g - 9 = 3*g for t.
3
Let u = -5 - -7. Suppose 4*g - 5*c - 64 = 0, 32 = 3*g - g + u*c. Let t = 30 + -25. Solve l - 1 = 3*y, 8*y - 4*y + g = t*l for l.
4
Let s = 30 - 30. Let a(t) = -5*t + t**2 - 8 + s - 2. Let v be a(7). Solve 2*z = -3*z + v*x - 15, -4*x = -z - 19 for z.
1
Suppose d - 8 = 12. Suppose -20 = -0*y - 4*y. Suppose -t = 5*z - 5*t + 1, 4*z + y*t - 32 = 0. Solve -3*h = 3*u, -z*u = -2*h + h - d for h.
-5
Let o be (-105)/(-63)*(4 - 1). Solve 4*c + 5*g = 3*c - 15, -10 = o*g for c.
-5
Let m = 10 - 7. Let a be (-8)/m*18/(-8). Suppose -3*s = -a*s. Solve -o - 4*o + 2*r + 6 = 0, 2*o + 4*r - 12 = s for o.
2
Suppose 66*u - 61*u + 245 = 0. Let j = 52 + u. Solve 0 = -2*i + s + 3, -2*i + 40 = j*i + 4*s for i.
4
Suppose 0 = 5*s + 2*c - 18, s + 34*c = 33*c + 6. Solve 4*k - 3*q + 14 = 0, -s*q = -4*k - 6 - 6 for k.
-2
Suppose -7*n + 22 = 1. Let m(a) = a**2 - 7*a + 4. Let o be m(5). Let k be (2/(-4))/(o/72). Solve -l = -w + k, -n*l = -l + 3*w - 3 for l.
-3
Let h be (60/(-300))/(1/(-20)). Suppose -3*f = -2*f. Solve 0 = -h*a - 2*l - l + 5, 3*l - 9 = f for a.
-1
Suppose -5*h + 3*h + b = -17, -5*h + 2*b + 42 = 0. Solve 2*d - h = -d - g, g - 5 = 0 for d.
1
Suppose -4*i = 8, -2*i + i + 98 = 4*v. Suppose v*w = 20*w + 20. Solve 0 = x - 5*q - 11, 0*q - 4 = w*x + 4*q for x.
1
Let h be 40/5*(2 + -1). Let a be -2 + (-3)/(-2)*2. Let n be 2/(-8) - 102/(-24). Solve 3*v + 8 = d, v - a + h = -n*d for v.
-3
Let t = 876 + -873. Solve -t*i - 2*s - 16 = 0, 37 = -2*i - 4*s + 13 for i.
-2
Let q = 680 + -675. Solve q = b + k, 5*b - 2*k = 8 - 4 for b.
2
Let n = -134 - -68. Let m = n + 114. Let a be m/9 + 3/(-9). Solve 0 = -a*s - z + 1, 4*z - 5 = 2*s - 1 for s.
0
Suppose -5*r + 20 = 5*l, 4*r - 30 = l + 1. Solve 3 = -5*s - 3*i, -10*s = -r*s - 5*i + 29 for s.
-3
Let f(p) = 11*p - 2. Let d be f(2). Let o = -6382 + 6402. Solve 4*j + o = 0, 0*h + d = h - 4*j for h.
0
Suppose -2*d + 4 = -0. Let w be d + -2 + 4/2. Let p = 4 - -26. Solve 2*z + 5*x = p, z + x - w*x - 1 = 0 for z.
5
Suppose -10*b + 49 = -1. Solve -3*o = 4*x - 2*x + 19, -b*x - 25 = 0 for o.
-3
Let v = 25 - 42. Suppose -8*y + 19 = 75. Let z = y - v. Solve 3*p - 5*o + z = -2, 2*o = -3*p + 9 for p.
1
Let r be 5 - 5*(11 - 10). Solve -2*i + 23 = -3*g - 7*i, r = 2*g + 5*i + 22 for g.
-1
Let w = -592 + 594. Solve w*g + m - 7 = -1, 0 = -3*g - 3*m + 9 for g.
3
Let q be -5*(18/15)/(-3). Suppose -3*j + q*j = -4. Solve -o - 2*f - 1 = 0, j*o = 5*o + 5*f + 10 for o.
5
Let g(f) = -2*f**3 - 2*f**2 + 2*f. Let j be g(-2). Let x(d) = -2*d + 14. Let b be x(j). Solve o = -o + b, 3*c - 3*o = -6 for c.
1
Let s(r) = r**2 - 4*r + 2. Let c be s(4). Let p be (-6)/(-27) - (c + (-388)/36). Solve 0 = 5*w - u - 3 + 2, 3*w - 3*u + p = 0 for w.
1
Let h = 685 - 682. Solve -13 = -5*d + q, 6 = -d + h*q + 3 for d.
3
Suppose 0*z = -8*z + 24. Let f(q) = -q**3 + 3*q**2 + 3*q + 1. Let o be f(z). Solve -7 = -a - 2, 2*a - o = 3*v for v.
0
Suppose 15*j = 20*j - 15. Let x be (2/j)/((-4)/(-18)). Suppose x*q + 0*n = -2*n, -4*q - 4 = 4*n. Solve -2*w = -2*g, -g + q*w - 4 = 1 for g.
5
Let t be ((-11)/((-165)/(-9)))/(3/(-15)). Solve t*n + 2*u = 5, 2*n - 4*u = 4*n + 10 for n.
5
Let b = 361 - 357. Solve -2*a - 1 = -5*g, -3*g - b*a - 16 = -1 for g.
-1
Let h(s) = -s**2 - 8*s - 3. Let y be (63/(-14))/(1/2). Let x be h(y). Let n be (-68)/(-18) - x/54. Solve 4*l - q = -0*l - 11, -15 = n*l + 3*q for l.
-3
Let q be (-8)/2 - (-33 - -14). Let w be 6/q + 12/20. Solve 5*z - 2*d = -20, 0 = -3*z - 2*d + w + 3 for z.
-2
Let v = 23 - 22. Let a be 18/2 + (v - 5). Solve -2*t - 2*r + 5 = -r, 5*t - 20 = a*r for t.
3
Let y = 237 - 233. Solve -2 = q - y*t - 0*t, -4*q + 5*t + 3 = 0 for q.
2
Suppose h + 1 = 4*d, 3*d + h + 3 = -2*h. Let u(w) = w**3 + w**2 - w + 3. Let p be u(d). Solve k + 4 = p*g, 4*k - 5*k = -5*g + 8 for g.
2
Suppose -f + 29 = 26. Solve 0 = -3*s + m + 11, f*s + 3 = -5*m + 20 for s.
4
Let i be -8 + (2 - 0)*1. Let r be i/(-9) - 25/(-3). Let t(s) = -145*s - 1300. Let c be t(-9). Solve -2*h + r = -3*n, -5*n - 12 + 2 = -c*h for n.
-5
Let v(f) = f**2 - 10*f - 119. Let m be v(17). Solve -5*y = -4*z - 12 + 37, m = 4*z + 3*y - 17 for z.
5
Suppose 2*t - 4 + 1 = -3*c, 2*t + c = 1. Solve 5*s + 4*f - 6 = 7*s, -5*f = t for s.
-3
Let n(d) be the first derivative of d**2/2 + 4*d + 1. Let w be n(-9). Let p = -3 - w. Solve -14 = -5*u - j, p*j = 3*u - 2*j - 13 for u.
3
Let g = -8 + 61. Suppose 5*t = 3*q + g, -2*t - 3*q = 2*t - 37. Solve -5*z - 10 = -4*d - 3, 5*d + t = 0 for z.
-3
Let t = -14 - -16. Suppose 2*k - 2 = 0, -2*s - 68 = -5*s - t*k. Solve 3*u = -2*l - s, 4*u - 3 = u + 3*l for u.
-4
Let f(y) be the third derivative of -y**5/60 - y**4/8 + y**3/3 - 31*y**2. Let l be f(-3). Solve 5*g + 5 = 4*k, -7*g + l*g + 25 = 2*k for k.
5
Let p be 2*9/(-18)*(0 + -1). Solve -z + p = 2*y - 6*y, -7 = 2*z + y for z.
-3
Let s = 466 + -461. Solve -m - 1 = v, s*v - 2*v = 3*m + 15 for v.
2
Let g be (2/4)/((-6)/(-84)). Suppose -4*t = -g*t. Let i be 2 - (2 - 0)*-4. Solve u - 4 = 3*r - t*u, 3*r + 2*u = -i for r.
-2
Suppose -3*j = -5*x + 34, -x - 4*j = -4 + 11. Solve -11 = -2*v + f, 0*v - 4*f = -x*v + 32 for v.
4
Let h = 34 + -29. Solve -2*x + h*v = -10, v = 3*x - 7*x + 20 for x.
5
Let z be 2/(-4)*(1 + -1). Suppose g = -z*g + 15. Solve 0*u + g = 5*q - 5*u, -3*u - 11 = -5*q for q.
1
Suppose -n + g = -g - 2, 0 = 4*g. Let u be (-6)/n - 3/3. Let m be 3/4 + 3/u. Solve 0*x - 22 = 2*x - 4*t, 2*t - 10 = m for x.
-1
Let v(w) = w**3 - 3*w**2 + 21*w - 63. Let g be v(3). Solve 0 = -4*k - 3*h - g*h + 18, 3*h - 15 = -3*k for k.
3
Suppose 3*h = -2*h. Let q(k) = -k**3 + 21*k**2 + 22*k - 52. Let b be q(22). Let a = b + 55. Solve 2*v - f = -0*v - a, h = 4*v - 3*f + 7 for v.
-1
Let l = 38 + -34. Suppose 9*y - 7*y = l. Solve 0 = k - 3*j - y - 5, 5*j = 3*k - 13 for k.
1
Let d(h) = 86*h - 771. Let i be d(9). Solve 2*w = i*u + 1, 3*u - 2 = w - 1 for w.
2
Let p = -28 - -65. Let a = p + -37. Solve 17 + 4 = 4*s - v, 4*s - 4*v - 24 = a for s.
5
Suppose 2*q - 3*p = 16, 0 = q + 5*p + 2 + 3. Let m be (q - (-36)/(-6))*-2. Solve 0 = 5*o + 5*u, m*o - 5*u + 4 = 6*o for o.
-4
Let i be (5 + -1)*((-36)/(-48) + (-1)/(-2)). Let o(h) = h**3 + 4*h**2 + h + 5. Let z be o(-4). Solve i*k + 11 = -3*l, -5*k + z = -4*l + l for l.
-2
Let q = 13 + -6. Suppose q - 22 = -5*z. Let j be 15/((-2)/((-6)/z)). Solve m + 3*v = j, 1 + 9 = 2*v for m.
0
Suppose 0 = -21*l + 13*l + 40. Solve 5*t = 2*j - 6, -4*j + 1 = -l*t - 11 for t.
0
Let b be ((-2)/4)/(2/(-12)). Let k(g) = g**3 + 2*g**2 - 15*g. Let j(f) = 2*f - 49. Let w be j(22). Let p be k(w). S