 4 = -2*o. Suppose 3*q = o*q. Let n be (0 - (0 - q))/(-1). Solve 0 = b - 5*a + 4, -3*b - 2*a + a + 4 = n for b.
1
Suppose -y - 2*y + 6 = 0. Suppose -y*c - 6 + 10 = 0. Solve -5*v - 3*h = -7*h - 12, 2 = c*v - 3*h for v.
4
Suppose 34 = 4*i + 158. Let z = -19 - i. Solve 2*f - 5*m + z - 1 = 0, -f = m - 5 for f.
2
Let h = 7 - 2. Suppose 0 = 4*p + 4*u - 32, 5*p - 34 = -3*u - 0*u. Solve -3*l - h*x = -15, 10 + p = -3*l + 5*x for l.
0
Let g = 2 - -1. Solve t - 13 = -g*w + w, -w = -3*t + 4 for w.
5
Let h(s) = -3 + 5*s**2 + 5*s**2 + 3*s + 2 + 4. Let v be h(-2). Solve -4*n + v = 5*f + 10, 6 = -n + 3*f for n.
3
Suppose 13 = 5*b - 7. Suppose -b*v + 145 = v. Solve -5*l + 4*t - 40 = 0, 0 = -l + 4*t + 5 - v for l.
-4
Suppose -4*p - 4*p + 32 = 0. Solve -5*k = -5*q + 25, 5*q - p*k - 20 - 4 = 0 for q.
4
Let m(g) = -g**2 + 8*g + 5. Let v be m(5). Suppose 0 = -4*l + o - 26, -3*o = -4*l - 5*o - v. Let t = -4 - l. Solve -2*z + 2*q + 0*q = -t, 1 = 2*z - 3*q for z.
2
Let o(x) = 6*x - 20. Let i be o(4). Solve -2*d + 0*d + m - 9 = 0, m = -i*d - 9 for d.
-3
Let b(d) = d. Let j be b(3). Suppose -j*m + 9 = 0, -49 = -2*s - 2*s - 3*m. Solve 5*p = -s, -2*f + 2*p - 4*p = 6 for f.
-1
Suppose -3*a + 2*x = -10, -5*a - 3*x + 10 = -8*x. Let o = a - 6. Let k = -21 - -35. Solve o = -2*v - 4, -3*v = -2*u - 6*v - k for u.
-4
Suppose 5*o - 3*v = -12, 16 = -3*o + 5*v - v. Let i be -1 - -1 - o/4. Solve 4*g + 5*z + i*z = 10, g + 10 = 5*z for g.
0
Let s be 1/(-3) + (-4)/(-12). Suppose -5*x + 12 + 3 = s. Suppose 0*j = 2*j + 2*w + 8, x*w + 12 = 5*j. Solve a - 2*o = -j*a, -a = 3*o + 5 for a.
-2
Suppose -4*m + 16 = 4*a, 3*m = 3*a + 2*a - 44. Solve -3*k = z - a*k - 15, 0 = 5*z + k - 12 for z.
3
Suppose -3*z + 11 = -s, -4*s - 5 = z - 0*s. Solve -3*r = 3*h + r + 32, z*r = -15 for h.
-4
Let r(s) = s**3 + 3*s**2 + s + 7. Let f be r(-3). Solve -6*p + 3*p + 1 = -n, 5*p = f*n + 11 for p.
-1
Let l(y) = y**3 - 2*y - 6*y**2 + 2 + 6*y + 17*y**2 + 6*y. Let t be l(-10). Solve -2*k - t = -2*q, -3*k + 5*q - 3 - 6 = 0 for k.
2
Suppose -2*y = -y + 2*x - 19, 5*y - 5*x = 50. Solve 0 = -4*h + g + g + 4, -g = 3*h - y for h.
3
Suppose -w = -3*w + 8. Suppose -w*s + 34 = -l, 24 = 2*s + 6*l - 3*l. Suppose -2*u - s = -5*u. Solve u*r - 4*p = 5*r - 10, -4*r - p - 8 = 0 for r.
-3
Suppose c - 4*c + 9 = 0. Solve b - c*x = 4, 0*x - x - 8 = b for b.
-5
Let a(n) = -n**2 + 15*n + 2. Let i be a(15). Solve m + 2*h + 5 = 0, -h - 6 = i*h for m.
-1
Let g = 10 - 1. Suppose 0 = -g*c + 11*c - 10. Suppose 0 = -2*m + 6*m - 108. Solve -4*j + c*d - d = -24, -2*j + 5*d + m = 0 for j.
1
Let l(h) = -25*h + 1. Let n be l(-1). Solve 4*b + g - 14 = 0, -4*b + n = b - 3*g for b.
4
Suppose 5*a - 4 = -4*x, 4*x + 0 = 4*a + 4. Solve -t = -g + 4 - 12, 4*t - g - 17 = a for t.
3
Let q = -107 + 109. Solve 4*p - 8 = 3*v - 2*v, 5*v + q*p + 18 = 0 for v.
-4
Suppose -5*s + 0*s + 60 = 0. Suppose -5*m = -36 - 64. Suppose -p - 2*i - 2 = 0, -3*p = -5*i - 7 - m. Solve -2*k - s = 5*h, 2 = p*k + 2*h + 10 for k.
-1
Let j(t) = 2*t - 9. Let r be j(7). Let p = -1 + r. Suppose -2*f + 56 = 4*s + 6, -p*s + 5*f = -15. Solve -5*z = n - s, z + n + n = 11 for z.
1
Let c be ((-6)/(-9))/((-8)/(-36)) + -1. Solve -6*i + r = -2*i - 8, c*i + 10 = 4*r for i.
3
Let z = 43 + -6. Solve 0 = -2*u + 4*u - k - 14, 5*u - z = 3*k for u.
5
Suppose 0 = 3*j + a - 3*a - 6, -2*a = -2*j + 4. Let f be 3 + 1 + (-1)/1. Suppose -3*s = 2*s. Solve 2*y + 35 = 5*r, f*r - r + j*y = s for r.
5
Suppose -5*a + 15 = -0*a. Suppose 0 = -3*c - 8 - 46. Let l = 22 + c. Solve a*g + 11 = -5*q, -l*q + 5*g = -0*g - 6 for q.
-1
Let l = 61 - 88. Let w = -16 - l. Let n = -1 + w. Solve -5*i - n = 0, -2*y = -0*y - 2*i for y.
-2
Suppose -c - 70 = 5*h, c + 4*c = -4*h - 56. Let d = h - -23. Suppose 0*n = 4*n - 20. Solve -17 = -n*f - 2*a, 4*f - a = 3*f + d for f.
5
Suppose -o - 24 = -p + 3*o, 25 = -5*o. Suppose -r + 100 = 9*r. Suppose -4*a + a + 14 = -p*h, -a + 4*h + r = 0. Solve 4*i - 4*n + 6 + 14 = 0, -a*n = 0 for i.
-5
Let r be 2/5 + 23/5. Suppose 2*q = -2, 4*a - 20 = 3*q + q. Solve a*n + g - 25 = 0, -r*n + 3*g + 3 = -7 for n.
5
Let l be 6/15 - (-103)/5. Suppose j = 3*f - 4*j - l, -5*j = 5*f + 5. Solve 5*o - 4*k - 21 = -2, 11 = f*o - 5*k for o.
3
Let v be ((-10)/(-25))/((-1)/(-5)). Let r = -31 - -44. Let f = 22 - r. Solve -t + 4*w = 4, -3*w + f = v*t - 5 for t.
4
Let i(h) = -h**2 + 3*h. Let c be i(3). Solve 2*b + 10 = -c*b, 10 = -5*w - 5*b for w.
3
Suppose 1 = -4*m + 9. Suppose 0 = -0*u - m*u + 8. Solve 3*o = -5*r + u*o - 26, -2*r = -2*o + 12 for r.
-5
Let h be (1/(-2))/((-2)/12). Let w be (1 + -2)*1*1. Let f = 3 + w. Solve -f*a + 0*i = h*i + 22, 2*a + 2*i + 18 = 0 for a.
-5
Let h be (-15 - -1)*2/(-7). Solve -l - 4*s - h = 0, l = -5*s - 0 - 5 for l.
0
Let v(w) = -w**2 + 11*w - 7. Let y be v(9). Suppose y - 1 = 5*q. Let i = q + 3. Solve -2*n + 5*g = 17, 0*n + g = -i*n - 2 for n.
-1
Suppose 0 = 5*q - 6*q + 10. Solve -3*f = -2*f + l - 5, -4*l - q = -2*f for f.
5
Let b be 3 + 1 + (1 - 1). Solve b*g - 22 = 2*q, -3*q - g - g = -7 for q.
-1
Suppose 0 = -0*c - 2*c + 2*j + 8, 3 = j. Let o(l) = -l**3 + 6*l**2 + 7*l + 4. Let f be o(c). Solve h - k - 4 = 0, 5*k + 6 = -f for h.
2
Let v be 1/((5/4)/5). Solve v*c + 5*x = -0*x - 11, 0 = -3*c + 3*x + 12 for c.
1
Let n = 6 + -5. Let z be (3 + -2)*n + 2. Solve 3*u - 2*u = z*i + 1, -2*u + 2*i - 6 = 0 for u.
-5
Suppose 7*r - 3*r - 16 = 0. Suppose 11 = o - 5*w - 0, -4*w = 4*o + r. Solve p + 5*v = 4 + 1, 2*p + v = o for p.
0
Suppose 0*o + 12 = -2*o. Let i = o - -10. Solve 9 = 3*c - i*k, 3*k + 3 = 4*c - 2 for c.
-1
Let f(i) = -2*i - 5. Let z be f(-4). Solve z*s - 13 = -2*c + 3*c, -c - 4*s = -8 for c.
-4
Let r = 3 + -3. Suppose r = 3*x - 2*x + 9. Let a be (x/12)/((-2)/8). Solve -5*f + q - 13 = 0, -f - 3*q = -2*f + a for f.
-3
Suppose 0 = k + 4*k + 10. Let b be k/(3 - 7)*30. Solve 2*n = 5*g + 3*n + b, -2*g + 3*n + 11 = 0 for g.
-2
Let o be -1*(-4)/(2 + -1). Let a = 4 + -32. Let z be (15/4)/((-21)/a). Solve 3*n = -3*j - 15, 0*j + z = j - o*n for j.
-3
Suppose -6 = -3*j + b + 3*b, -5*j + 2*b = -10. Solve -2*d - 12 = -j*x, 3*x = -3*d - 0*d - 12 for d.
-5
Let x = 12 - 7. Suppose -4*o - x = 31. Let v be (-2 - 0)*o/2. Solve -5*m - 3*c = 8 + 9, 0 = 3*m - 3*c - v for m.
-1
Let v be 4*((-18)/(-8) - 0). Suppose 4*f + 4 = -20. Let t = v + f. Solve -5*a + t*m = -11, -a + 2*m + 0 = 2 for a.
4
Let d(j) be the first derivative of -j**3/3 + j + 1. Let y be d(1). Let b be 1*(3 + y/(-3)). Solve -b*u - 4*x = -12, u - 5*u - 4*x = -16 for u.
4
Let t be 87/6 + 3/(-2). Suppose 1 - t = -3*u. Let r be (2 - 5)/((-1)/15). Solve 0 = u*f - 5*h - r, f = 5*f + 4*h for f.
5
Let f = -3 - 7. Let p be (-3*1)/(15/f). Solve 3*o = m + 9, o - m - 3 = -p*m for o.
3
Suppose 0 = -h + 5*b + 29, -6 = 5*b + 19. Let f = 4 - 13. Let y = -5 - f. Solve 2*d + y*v = -2, 0 = -3*d + 7*d + h*v + 12 for d.
-5
Suppose 5*l + 26 = 11. Let u be (-4)/6*(l - 0). Suppose 4*b + u = 3*f - 4, 2*b = 4*f - 8. Solve 0 = -4*t + 16, -2*t = -3*i + f - 4 for i.
2
Let f be (-1)/(3/(-6)) + 10. Let n = f - 8. Solve n*t + 4*w + 4 = 2*t, 0 = -w - 2 for t.
2
Suppose -3*h + 6*h = 9. Solve -4*c + z = -7, -h*c + z = 3*z - 19 for c.
3
Let k(a) = 7*a + 14. Let g be k(-2). Solve g = -w + z - 2, 2*w + w - z = -8 for w.
-3
Let w(y) = -y + 5. Let i be w(0). Solve -4*o - 4 = -3*q - 3*o, i*q + 2*o = 25 for q.
3
Let x = -4 - -7. Let n be (x/2)/((-1)/(-2)). Solve 3*b - 6 = -3*z, -5*z + 3*z + 9 = n*b for z.
-3
Let u(q) be the second derivative of -q**4/12 + q**2 + 3*q. Let n be u(0). Solve -n*w - 2*w - 20 = -5*h, -4*w = 0 for h.
4
Let k be (2 - 0) + -1 + -7. Let m = -4 - k. Solve 2*s - m*w - 4 = -w, 4*w = 0 for s.
2
Suppose v + 0 - 2 = 0. Suppose y + 11 = v*h, 5*h + 3 - 23 = -5*y. Suppose -4*c = -3*c. Solve h*w - 15 = c, 3*g = 4*w + 4 - 1 for g.
5
Suppose -2*b - 13 = -7. Let j(k) = -9*k + 1. Let f(o) = -22*o + 2. Let l(z) = 5*f(z) - 12*j(z). Let u be l(b). Solve 3 = -3*a, 2*a = -2*d - u - 0 for d.
-1
Let m = -12 + 29. Solve 3*h + m = 4*k + 4, -3 = h for k.
1
Let o = -30 - -50. Let a(h) = h + 7. Let v be a(-6). Let w be 2/(-4)*v*-6. Solve 4*z - o = -3*i, -i = 2*z + w*z - 14 for z.
2
Let q be 9*(2 + 20/(-15)). Solve 2*z - 11 = p, 2*z - q = -5*p + p for p.
-1
Let j = -11 + 2. Let w = -13 - j. Let l = 0 - w. Solve -l*q + 10 = v, -4*v = -q - 7*v - 3 for q.
3
Suppose -5*z + 3*v = -19, -v - 9 = 2*