se v - 2 = -0*v. Let r = 7 - v. Suppose g - r*y - 5 = -0, -g - y + 11 = 0. Solve -2*h - 2*h - 5*i + 13 = 0, -g = -2*i for h.
-3
Let i = -47 - -50. Solve -i*x + 6*x = -d + 6, -10 = -5*d + 5*x for d.
3
Let x = 28 + -6. Suppose -3*j + 4*v + 19 = 0, 0 = -5*j - 7*v + 4*v + x. Solve 2*t + 10 = -2*t + j*u, -3*t + u = 2 for t.
0
Suppose -5*v + 5*x = -3*v + 18, -5*v + 4*x - 11 = 0. Let b(r) = r**3 + r**2. Let g be b(v). Solve -5*o - 5 = c + 4, 4 = g*c - o for c.
1
Suppose -3*t = -2*s + 7, -5*t + 4 = s - 6*t. Solve 0 = 3*z + 2*z - s*q, -2*z + 3*q = -2 for z.
-2
Suppose 0 = -4*v - 4 + 28. Let k(a) = 5*a - 2. Let w be k(v). Suppose 6 - 26 = -5*f. Solve -y - 3*i = 2, i - f*i = -5*y - w for y.
-5
Let z(v) = -v**3 - 4*v**2 + 5*v + 10. Let j be z(-5). Solve -3*h = -7*h - 5*o + 25, -2*o + j = 2*h for h.
0
Let o(u) = 15*u**2 - 4*u + 2. Let q be o(2). Suppose -9*y = -3*y - 30. Suppose 0 = -y*f + 8*f - q. Solve 4*c + 3*z - f - 13 = 0, 4*z = 20 for c.
4
Suppose 4*l = -8*l. Let k = 3 - 0. Suppose 3*w - 18 = -3. Solve -15 = -b + w*p, -k*b + 2*b - p - 9 = l for b.
-5
Let s(r) = r**2 - 12*r - 1. Let c be s(13). Solve -g - g + 3*v = c, -5*g - 13 = v for g.
-3
Let a(w) = w**2 + 5*w + 4*w - 9 - 4*w + 0*w**2. Let y be a(-7). Solve -5*x = -x + 3*b - 19, -5*x + y*b - 20 = 0 for x.
1
Let u(l) = 64*l**2 + l + 1. Let c be u(-1). Suppose 0 = 3*q - 3*b, 0 = -2*q - 0*q + b. Suppose 4*f - c = -q*f. Solve 5*v + 4*t - f = v, -4*t + 8 = 2*v for v.
4
Suppose 5*h - 5*z - 15 = -6*z, -2*h + 3*z + 6 = 0. Let p = 9 - h. Suppose -2*o - 24 = -p*o. Solve 2*r - n = -3, 0*n - o = -4*r - 2*n for r.
0
Let y(u) = -6*u - 5. Let a be y(-4). Solve -4*v + 5*c + a = 0, -2*c = 10 - 4 for v.
1
Suppose 0 = 8*l - 5*l - 6. Solve 5*q + 3*v - 9 = 0, 4*v = -l*q - v - 4 for q.
3
Suppose -g = -0*g + 4. Let n = -1 - g. Let l be 4*2*3/6. Solve -l*q + 5*h = -12, q - n*h - 18 = 4*q for q.
-2
Let w be (-1 + 2)/(4 - 5). Let q be (-12 + w + 1)/(-1). Let m be 3/4 - (-18)/8. Solve 6 = -3*b + b + l, -m*b - q = -3*l for b.
-2
Let z = -4 - -5. Suppose 3*o - o - 1 = -p, -z = -4*o - p. Solve -4*b - 1 = -i - o, -4 = -4*i + 4*b for i.
1
Let f = -1 + 2. Solve 3*i - f = -2*i + 3*l, 3*i = l - 1 for i.
-1
Suppose 3*b = 7*b + 32. Let d = 8 + b. Solve -t - 12 = -d*t - 2*v, v + 12 = -4*t for t.
-4
Let n(h) = 2*h**2 + h - 2. Let g be n(-2). Suppose 3*i - 16 = k, -2*i + 5*k - 10*k + 5 = 0. Solve -g*s = -i*o - 31, 3*s - s = 5*o + 23 for s.
4
Suppose 0*d - d = -25. Suppose 0 = 6*c - c - d. Solve 4*t + 3 = w, 5*t = -c*w + 4*w - 15 for t.
-2
Suppose o = 4*s + 3*o, 0 = s - o - 6. Solve -2*j = -i + 6, 2*j - 3*j - 3 = -s*i for i.
0
Let s(a) be the third derivative of a**4/24 + a**3/2 + 13*a**2. Let w be (-4)/6 + 2/3. Let m be s(w). Solve -m*r + 2*l = 2*r, 2*r = 2*l for r.
0
Let c = -21 + 42. Suppose -3*p - 3*q + c = -6*q, -5*q = 4*p - 1. Solve v - 2 = -i, -i = p*v + 1 - 0 for v.
-1
Suppose 0 = -3*o + 6*o - 6. Solve 3*c = o*f - c + 8, -c = f + 4 for f.
-4
Suppose 2*c + i = -3*i + 42, -3*c = 3*i - 63. Solve -2*t - t = w - 13, 0 = -2*w - 5*t + c for w.
-2
Let u be 29/9 - 4/18. Let z(g) = -g**3 - 8*g**2 - g - 8. Let f be z(-8). Let i be (-38)/(-5) + 10/25. Solve -3*j + t + f*t = i, -24 = u*j + 3*t for j.
-4
Suppose 2*q + 3*z = -9, 0*q + 4*z + 26 = 2*q. Solve 3*g + 2 = 4*g - 3*k, 12 = q*g - 3*k for g.
5
Suppose 0 = -z - 20 + 24. Let h be 2/(-2) - (1 - 5). Solve u = -h, z*t + u + 5 = 2*u for t.
-2
Let v be ((-3)/2)/((-2)/100). Suppose -w + 4*w = 5*x - v, -2*x + 2*w = -26. Solve -2*i = -2*u - 3*i - 7, 3*i + x = -3*u for u.
-1
Let x be 123/9 - (-5)/15. Suppose 1 = 5*l - x. Solve 5*p - 12 = 5*b + 18, 2*p + l*b - 2 = 0 for p.
4
Suppose -13*o - 16 = -17*o. Suppose 0*z - 25 = -4*z + 5*p, 12 = o*p. Solve r + r - 4*l = z, 4*r - 11 = -l for r.
3
Let m be (13/(-2))/(3/(-6)). Let c = -8 + m. Let i be 0 + 1 + 1 + 1. Solve 6*w - 3*w = l + i, -4*l = -c*w + 5 for l.
0
Let s(g) = -12*g - 1. Let f be s(-2). Let n = -12 + f. Solve 0 = -4*l - 2*h - 9 - 1, -3*l - n = -2*h for l.
-3
Let o(u) = 3*u - 1. Let a be o(1). Suppose 0*v + a = v. Suppose 8 = -3*z + 5*z. Solve -4*b - 4 = -3*y, -3 = 5*b - z*y + v for b.
-1
Suppose -r + 0*f - 8 = 2*f, 0 = 4*r - 3*f - 12. Suppose r = -7*c + 8*c - 2. Solve 0 = 2*q + 4*s, -s = c*q + 1 + 2 for q.
-2
Let z(k) = 4*k**3 - 2*k + 1. Let d be z(1). Solve -3*o + 10 = -8*c + d*c, -4*o = -4*c for o.
-5
Let c be 1 + -1 + 2/1. Suppose -l + c = -h, -4*h + 2 = 4*l - 6. Suppose 2*n - 2*t = -6, -3*n - 65 + 88 = 5*t. Solve 0*a + 3*a - o - 13 = h, o = -n for a.
4
Let s = 1 - -1. Let d be -6*(s/(-4))/1. Solve 5*t + d = -0*t - f, 4*t + 3*f + 9 = 0 for t.
0
Let n(d) = -d**3 - 5*d**2 + 7*d + 3. Let s be n(-6). Let i = s - -3. Solve i*f + 26 = -2*f + 4*w, -5*w = -5*f - 45 for f.
-5
Let a be (0 - (-1 - -1)) + 4. Let f = 8 - a. Solve 0 = f*k - 3*j - 7, 2*k - 1 = -2*j + j for k.
1
Let h = 18 - 13. Solve 0 = 5*q + h*c - 10, q - 3*c = -2*q for q.
1
Suppose 4*r - 3*r = 3. Suppose -m + r + 1 = 0. Solve -f - 2*f = m*p, p = -4*f + 13 for p.
-3
Let r(i) = 7*i**2 - 3*i + 1 + i**2 + i. Let t be r(1). Solve 5*l - 10 = -p, -t + 39 = 4*l - 4*p for l.
3
Let r be (-60)/(-24) + (-1)/2. Suppose -f + 0 = r*x - 7, -5*f + 4*x + 7 = 0. Solve -f*z + 2*z = -2*m + 4, m + 3 = -2*z for m.
1
Suppose 2*y + 10 = 0, -3*n - 50 = 4*y - 3*y. Let h = -11 - n. Solve -s + h*a = -3*s - 2, 4*s = 5*a + 22 for s.
3
Let t(g) = g + 12. Let f be t(-10). Solve -4 = -5*j + 3*q, -f*j - 14 = 5*q - q for j.
-1
Suppose -z + 4 = -4. Let w = z - 5. Suppose -5*j = 4*s, -w*s + 4*j = -j. Solve -2*g = 3*o - 14, o + 3*g = -s*o + 14 for o.
2
Suppose 3*m = -2*p + 40, -m + 4 = -7*p + 3*p. Suppose 0 = -4*l + m - 0. Solve 32 = 4*w - 5*y - 0*y, l*y = w - 15 for w.
3
Let h = 9 - 16. Let r = h + 4. Let m = -3 - r. Solve -3*i - 4*t + 7 + 10 = m, 0 = -3*i - 2*t + 7 for i.
-1
Suppose -5*n - 2*n = -126. Solve 2*i = -4*k - 6, 0*k - n = k - 5*i for k.
-3
Let j = 2 + 2. Let g = -22 + 22. Let f(h) = -h - 2. Let m be f(-6). Solve m*t - t = -2*c + 16, g = -j*c + t + 4 for c.
2
Let q = -57 + 62. Solve -q*h = -m + 25, h = -3*h - 3*m - 1 for h.
-4
Let b be (-4)/20 - 33/(-15). Let l = b - 0. Solve 5*u - 26 = l*h, h - 6*h = -2*u + 23 for h.
-3
Suppose -3 = -3*d + 2*t - 0, -3*t + 18 = 3*d. Let j = -2 + d. Let q be (0 + (-1 - -1))/j. Solve -4*k - 3*u - 13 = q, 6*k + 12 = 3*k - 3*u for k.
-1
Let i be -4 + (1 - 0)*8. Solve 0 = -2*l, -l - 1 = i*z + 15 for z.
-4
Let i = 0 + 0. Suppose 4*b - 2*b = i. Solve 3*h + u = -b*h + 16, -4*u = -3*h + 11 for h.
5
Let v(f) be the third derivative of -f**5/60 + 7*f**4/24 - f**3/6 - 6*f**2. Let y be v(6). Solve 3*k - y*p - 10 = 0, k - 4*k = -3*p - 6 for k.
0
Let b be (-3 + 3 + 0)*-1. Suppose h + b*h = 0. Suppose h*v = -3*v + 15. Solve -2*x + 12 = 2*x + 2*d, -4*x + v*d + 26 = 0 for x.
4
Let g = -3 + 0. Let l = g + 3. Suppose -2*b + 2*u + 12 = 0, 2*u + 18 = 2*b - 3*u. Solve 5 = -l*t - 2*t + a, 4*a + 40 = -b*t for t.
-5
Suppose 0 = -3*l - l + 20. Suppose l*g - 5 = 5. Solve 3*j = 4*i + 3, -g*j + 9 = 4*i - 13 for i.
3
Let l(i) = i**2 - 5*i + 2. Let d be l(6). Suppose 6*c = d*c. Solve 4*v + c + 2 = -2*n, -2*n = -3*v + 16 for n.
-5
Let x be (-66)/(-10) - 6/10. Let p = x + 4. Suppose -y - y = -p. Solve 0*q + q + 5*o + y = 0, 5*q + 2*o = -2 for q.
0
Suppose 5*n - 13 = -x, -2*x + 2 = -0*n - 2*n. Suppose x*b - 2*b = 4*z + 2, -4*b = -3*z - 8. Let w = z + 3. Solve 2 = i + c, 3*c = w*i - 5*i + 2 for i.
4
Let q(z) = -z + 1. Let n be q(-4). Solve 4*d - n*i + 8 = 0, -4*d + 5*i - 10 = d for d.
-2
Suppose 4 = 2*v + 2*g, -5 = -4*v + 2*g + 3. Solve 5*a - 25 = -s - 0*s, 4*s - 10 = -v*a for a.
5
Suppose 3*c = 6*c - 12. Let z = c + 4. Suppose 5*y = -r + z, -r - 4 = 3*y - 8. Solve 0 = -3*p - 0*p + 9, -y*j + 2*p = 0 for j.
3
Let f be (-9)/(-3) - 2/2. Suppose -5*k + f*t = -15, -2*k = 2*k + 4*t - 40. Solve 0 = 3*j - 8*j + 2*c - 10, 4*j - k*c = -8 for j.
-2
Suppose -11 = -5*l + 4. Suppose 0 = -l*s + f + 10, 0*f = -4*f - 4. Suppose s*p - g - 15 = 8, 2*g - 26 = -3*p. Solve -p = -3*n - 5*t, -4*t - t + 4 = -n for n.
1
Let h(m) = m + 8. Let s be h(-4). Suppose -14 = -2*z + 3*z. Let y = z - -16. Solve -y*t = -2*x - 4, -1 = -s*x + t - 12 for x.
-3
Let u(l) = l**3 + 7*l**2 - 9*l - 7. Let d be u(-8). Solve -d = -2*k - 4*t + 15, -5*k = -2*t - 16 for k.
4
Let h(c) = 2*c**2 - 2*c. Let l(u) = u - 3. Let n be l(5). Let y be h(n). Solve -3*v = -