Solve -p*t - 2*t = 5*v, -4*v = -g for t.
-4
Suppose 0*o + 6 = -2*b + 5*o, -4*o + 8 = 0. Suppose -4*h + b*z = -36, 3*h = -0*h + 5*z + 27. Solve 4*v = 2*l + l + h, l = 5*v - 3 for v.
0
Suppose 4 = 2*w - 8. Suppose 2 - w = -n. Solve -30 = -2*k + 5*h, 2*k - n*k = 2*h - 2 for k.
5
Suppose 2*f + 3*f = 70. Suppose -5*c + 16 = -2*m, 4*c - m = -0*m + f. Solve 12 = c*s + 4*z, 0 = 3*s - 4*s + 2*z for s.
2
Let g be -1 - ((-24)/(-3))/(-2). Let f(w) = 5*w - 1. Let v be f(2). Suppose -v = -3*s - g. Solve 5*z - 8 = 5*i + s*z, 24 = -3*i - 3*z for i.
-4
Suppose 0 = 3*b - 15, 2*m + 2*b = m + 13. Solve -26 = -2*h + 5*s, -5*h - m + 30 = -3*s for h.
3
Suppose -12 = 2*w - 46. Suppose -5*u + 4*x = -28, 2*x + 4 = 3*u + 6*x. Suppose -4*d + 24 = -4*y, -5*d = -y - u - 6. Solve -z + 5*t + d - w = 0, 4*t = 16 for z.
4
Let c be 4/5*70/4. Let s(h) = c - 4*h**2 - 6*h**2 + h + 4*h**3 - 2 - 5*h**3. Let n be s(-10). Solve -n*w + 0 = -2*u + 4, -3*w + u - 4 = 0 for w.
-1
Suppose 9*c + 3*d = 4*c + 72, 2*c - 2*d = 32. Solve -3*a - 4*s = -s - c, 0 = -2*s for a.
5
Suppose -4*q = -0*q. Solve 4*n + 4 = -k, 2*k + 8 = 3*n - q*k for n.
0
Let n be (-1 - 0)*(-3 + 5). Let z be 0/2 + 0/n. Let r = 4 + z. Solve 0 = 5*c - r*l, 0 = -2*c + 7*c - l - 15 for c.
4
Let g(n) = n**2 + 11*n - 14. Let q be g(-12). Let v be (-8 - q)/(3/(-2)). Solve 3*c + 2*c + i = 5, 0 = -v*i - 20 for c.
2
Suppose 2*r = -5*f - 26, -2*r - 3*r - 84 = 3*f. Let c be (-840)/(-108) + (-4)/r. Solve 0 = 2*a + z - c, 1 = -5*z - 9 for a.
5
Let p be ((-9)/12)/((-3)/(-12)). Let s be p*((-22)/(-3))/(-1). Suppose -s = -5*o - 7. Solve -1 - 10 = 2*t + o*d, 2*t + 5*d + 13 = 0 for t.
-4
Let p(y) = y**2 - y - 3. Suppose 3*s + 6 = -q + 3*q, -5*q + 15 = s. Let h be p(q). Solve 0*l - 13 = h*z + 4*l, 2*z + 18 = -5*l for z.
1
Let r = 1 + 1. Suppose 10 = 5*s - 5. Solve -3*u - r - 4 = s*w, -w = -4*u - 3 for w.
-1
Suppose 12 = 5*f - t, -3*f - 2*t + 9 = -6. Solve -f*l + 5 = 4*d - 9*d, 3*l - 3 = 3*d for d.
-1
Suppose 0 = -4*q - 9 - 3. Let d be (4 - 3) + q/(-1). Let m = d - 4. Solve -2*i - 2 = 2*c - 4*c, c + 3*i - 5 = m for c.
2
Suppose -3*n + 0 = -24. Suppose n + 2 = 5*k. Solve 2*v - 2*g = -10, 0*g + 2*g - k = 0 for v.
-4
Suppose 0 = j + 2*j - 24. Suppose 0 = 4*x - 0*x - 60. Solve 2*a + w = 6*w + j, -5*a - 5*w - x = 0 for a.
-1
Let d be (-4)/(-6)*6/4. Suppose 0 = 4*g - 2*c - 2*c - 12, -2*g - d = 5*c. Solve 32 = 4*b - 4*p, -5*b + g*p + 12 + 16 = 0 for b.
4
Let u(i) = -i + 10. Let a be u(6). Suppose -6 = -2*w - 0*w, -a*w + 8 = -2*x. Solve -x*t = s - 7, 5*t - 17 = -4*s + 5 for t.
2
Suppose -5*m = -2*u - 21, -10 = -3*u - 4*m + 16. Solve 3*g = 3*i - 9, 0 - 5 = g - u*i for g.
-1
Suppose 0 = 2*x + 3*f - 18, x + 0*x - 2*f = 9. Suppose 0 = -4*n + 3 + x. Solve -a + 4*p - n - 2 = 0, 5*a = 5*p - 10 for a.
-1
Let y(b) = -b**2 - 9*b - 2. Suppose -16 = 2*o - 0*o. Let a be y(o). Suppose 0*s = -2*s + 2. Solve a = -q - v, v = -2 - s for q.
-3
Let l be 2/(-9) - 61/9. Let x be 4/10 - 108/20. Let t = x - l. Solve -7 = 4*u - 3*o + 1, 2*u + t = o for u.
1
Let d = -3 - -7. Let t(u) = -2*u - 9. Let g be t(-7). Solve -3*c + 2*z - 10 = 0, d*z + 6 = -2*c + g*z for c.
-2
Let z = 76 - 70. Solve i + z = 3*i, -4*w - 5*i = -19 for w.
1
Let u = 44 - 28. Let v = u - -4. Let j = -7 - -11. Solve 5*a = y - 0*y, v = j*y for a.
1
Let s(n) = n**2 - 15*n + 31. Let d be s(13). Solve 2*k = d*v + 15, 5*v = k + 4*k for v.
-5
Let x(k) = -k**3 - 6*k**2 + 7*k. Let u be x(-7). Solve -6*m + 12 = -m + 2*t, -t - 4 = u for m.
4
Suppose -47*t + 43*t = -16. Solve -2*z + t*w + 16 = 0, 4*z + z = -2*w + 4 for z.
2
Let m(y) = y**3 + 3. Let o be m(3). Let a = -4 - -7. Solve -5 = -2*r - 5*h, -5*r + 8*h - a*h + o = 0 for r.
5
Let f(q) = q + 19. Let j be f(-17). Solve 5 = -l - 2*t, j*l + 6*t - 4*t = 0 for l.
5
Let v be -2*(-14)/(-4) - -2. Let p be (-66)/v - 2/10. Solve 5*a = 2*i + p, -5*a - 2*i + i = -1 for a.
1
Let v be (-2180)/(-80) - (-6)/8. Solve 4*r = -2*u + 8, 4*r - 3*u + 0 = v for r.
4
Let u = -11 - -7. Let i be (0 + 6)/((-6)/u). Solve i*j + s - 5*s = 8, 20 = 3*j + 4*s for j.
4
Let h be 96/(-51) + 2 + 343/119. Let c = 0 - -5. Solve -g - 3*a + 7 = -3*g, -h*g + c*a - 13 = 0 for g.
4
Let w(l) = l - 2. Let m be w(0). Let z = 6 + m. Solve -2*h + 2*d - 14 = 0, z*d - 3*d = -h + 3 for h.
-2
Let v = 84 - 68. Solve -2*g - v = 3*w + w, 0 = -3*w + 4*g - 1 for w.
-3
Let y(d) = d**2 - 20*d + 78. Let p be y(5). Suppose -42 = -5*u - 17. Solve 2*j - 5*k = -u, p*j - 2*k - 12 = 5*j for j.
-5
Let k = -5 + 9. Let i(m) be the third derivative of m**6/120 - m**5/10 + m**3/2 + 3*m**2. Let v be i(6). Solve 2*b - 2 = v*z - 9, -8 = k*b for z.
1
Suppose 2*v = 5*v - 72. Let f = v - 21. Solve 4*d = 4*j + j - 5, -5*d + f*j = -10 for d.
5
Let n(q) = -q**2 + 2*q + 3. Let g be n(3). Suppose g*x + 17 = x. Solve -2*z + 9*s = 4*s + 31, -4*z - x = -s for z.
-3
Let o = -50 - -53. Solve 5 = -2*p - 5, -5*p - 16 = o*d for d.
3
Suppose -2*v - 5*q = -22 + 3, -5*q = 3*v - 21. Let j = -7 + 2. Let c = j - -5. Solve u + 4*z - 17 = 0, c = -v*u - 4*z + z + 19 for u.
5
Suppose 4*t - 51 = -3*j - 11, -2*j = 2*t - 24. Suppose -j - 7 = -5*z. Suppose 10 = s - 2*l - 18, -3*l = 5*s - 88. Solve s = -5*k, -6*x + 2*x = z*k - 8 for x.
5
Suppose 2*d + 2*t - 1 = 5, -2*d + 2*t - 6 = 0. Solve u + 10 = -2*g - d*g, -4*g - 18 = u for u.
-2
Let i(t) = 0*t - 3*t**2 + 10*t + 6 + 2*t**2. Let q be i(8). Suppose -k - q = -3*k. Solve -b = 3, b - k - 2 = -4*n for n.
4
Suppose 2*i = -2*i. Solve -h - 20 = -4*c, -5*h = -2*c - i*h + 28 for c.
4
Let d(q) = -q + 7. Let n be d(5). Suppose n*p + k + 5 = 7*p, 5*k = -2*p + 29. Solve z - r - 2 = 0, p*z + 4*r = -0*r + 10 for z.
3
Let a = -2 - -5. Suppose 0 = -4*s + s. Let d = a + s. Solve -5*c + d*x = -31 - 6, -5*c + 29 = -x for c.
5
Let t = -70 + 75. Solve -19 = v + 3*m - 5, -t*m - 21 = 4*v for v.
1
Let y be ((-6)/(-4))/(6/(-8)). Let a = y - -2. Let m be -2 - (a - (1 + 1)). Solve m*i + d + 9 = -i, -4*d - 41 = 5*i for i.
-5
Suppose b = -5*u + 29, -25 = -4*b - b - u. Let v be 8/16 - (-9)/(-2). Let f = b + v. Solve 2*c = -5*n - 0*n - 23, -n + 3*c - 8 = f for n.
-5
Let f be (-2)/7 + 2/7. Suppose f*c + 30 = 3*c. Let l = c + -6. Solve -2*o + 4 = 4*k + 20, l*o - 4 = 4*k for k.
-3
Let o(h) = h**3 + 10*h**2 - 2*h - 15. Let f be o(-10). Suppose -f*q + 1 = -9. Solve -3*p - z = 8 - 3, 3*z = 4*p - q for p.
-1
Let c = -12 + 17. Solve z - 4*z - 15 = 3*u, -3*z - 25 = c*u for u.
-5
Let m be 0/(2/4*-2). Suppose 0 = -m*f + 4*f - 16. Solve -4*r + 3*c = -4, -f*c + c + 20 = 2*r for r.
4
Let h = -45 - -70. Suppose 4*y + 13 = 2*f - f, -3*f + 9 = 3*y. Suppose 0*s + f*s = 25. Solve 2*p - o = -0*o - 3, -s*o + h = 0 for p.
1
Let r(f) = f + 5. Let p be r(-5). Solve 5*z = 5*j + 15, -2*z = -p*z + j + 6 for z.
-1
Let b(t) = -2*t - 8. Let y be b(-8). Suppose 2 = r + 3, 0 = -2*d + 4*r + y. Solve 2*f - 25 = -5*o, 4*f - 9 = 3*o + d for o.
3
Suppose -1 = 4*x + 27. Let t = 26 + -16. Let v = t + x. Solve j - 4*l - 4 = 0, -v*j + 8*l - 2 = 3*l for j.
-4
Let w(f) = -7*f - 1. Let l be w(-1). Suppose 2*k - 4 = k. Solve 3*o + 10*j - 5*j + 6 = 0, 2*o + k*j = -l for o.
3
Let m = -40 - -42. Suppose -s + 8 = -d, 3*d + 8 + 22 = 5*s. Let t = 0 - -2. Solve -k + t*q - 2 = -s, -4 = m*q for k.
-3
Let l be 0/(2 - (1 - 1)). Suppose 2*n = 6*n. Solve 3*o = j + 10, n = j - l*o - o for j.
5
Suppose 11*c + 6 = 12*c. Let w be (1/(-2))/(2/8). Let p(q) = q**2 + q + 1. Let x be p(w). Solve -3*n = -c, 0*y - 5 = -x*y + 5*n for y.
5
Let m be 1/(-2) - (-17)/2. Suppose 0 = -l + h + m, 0 = 4*l + h + 3*h. Let j be 160/9 - (-4)/18. Solve 2*v + z = 11, l*v + 0*z - 2*z - j = 0 for v.
5
Let x be (-18)/(-6)*(-8)/6. Let h = 4 + x. Solve -3*n + h = -3, -4*n = -3*q - 16 for q.
-4
Suppose 6*p - p = 20. Suppose -2*y = -23 + 15. Solve 3*v + p*j = y*v, 4 = 2*v - 4*j for v.
4
Let n be 28/(2*(-2)/8). Let a = -28 - n. Let y = -8 + 13. Solve 0 = 2*m + 4*j - 6, -2*j = 5*m - y*j - a for m.
5
Let r be -1 + (0 - (-5 - -2)). Suppose 5 = -3*j + 173. Suppose -p = -m - 4 - 0, -j = -5*p - 4*m. Solve r = 2*o + v + v, -p = -4*v for o.
-1
Suppose v - 5*v = -16. Suppose 15 = v*s - s - 2*i, 0 = -s - i + 5. Solve 5*y + 5*x = -0*y + 20, s*x = 15 for y.
1
Suppose d = -d + 8. Solve g - 17 = -d*o, -4*g - 19 = -5*o - 3*g for o.
4
Let j be (-1)/3 - 1/(-3). Let d(p) = p**3 - 4*p**2 + p. Let v be d(4). Let o = 29 - v. Solve j = 5*a - 5*w - o, -2*a +