 5 = 0, 0 = -v - 2*v - d*i - r for v.
-2
Let w(x) = -4*x + 0*x - 6 + 0*x + 2*x. Let u be w(-4). Suppose -u*h + 2 = -d + 1, 6 = 2*h. Solve 2*c - 2*g + 4 = 8, 4*g = d*c - 7 for c.
-1
Let w be (2/4)/(3/24). Suppose 5*c = 6*c - w. Solve -i + c = -o, -4*o + 6 + 3 = i for i.
5
Suppose 5*g + 3*a + 15 = 0, 0*g = -3*g - 5*a - 25. Suppose -5*o + 4*b + 40 = 2*b, g = -5*b. Solve 2*v = -3*m + 33 - o, -4*v + 5*m = 5 for v.
5
Let v be (12/15)/((-2)/10). Let g = 9 + v. Suppose 50 = 2*z + 2*i, 2*z - 2*i - 25 = z. Solve -2*q = -5*q - g*h - z, -4 = 2*h for q.
-5
Let q = 25 + -11. Let f = q + 0. Solve -4*u - 21 = -5*y, 3*u + f = 3*y - y for y.
1
Suppose -3*d + 55 = 19. Let t = d + -4. Solve -t*x = 3*m - 4*x + 9, -4*x = -5*m + 17 for m.
1
Let n = 10 - -5. Let x be 6/n - 264/(-15). Solve -2*q + 5*q + s + 10 = 0, 5*s + x = q for q.
-2
Suppose -8*y = -6*y - 4. Solve -3*b = -5*c, -y*b + 0*b = 2*c for b.
0
Suppose 1 - 3 = i. Let t = 4 + i. Solve z + 3*q = -2*q + 17, 0 = t*q - 6 for z.
2
Let a = -13 - -13. Suppose -18 = -2*s - a*s. Solve -3*d - 2*g - s = 0, 5*g = -4*d - 8 - 4 for d.
-3
Let a(u) = u**3 + 18*u**2 + 17*u + 2. Let f be a(-17). Solve 3*c + 25 = -2*c, f*v + 5 = c for v.
-5
Let m(z) = z**3 + 6*z**2 + 4*z. Let b be m(-5). Solve 0 = b*d + t - 13, -4*d + 4*t - 8 = -28 for d.
3
Suppose 1 = 5*k + 16, 0 = t + k + 2. Solve 0 = -2*p - x - t, -3 = -p + 3*x + 7 for p.
1
Suppose 0 = 3*k - 5*k + 30. Let q = -12 + k. Solve -d = 2*d + 2*s, -q*d + 3 = s for d.
2
Let r(b) = b**3 - 8*b**2 + 2*b - 11. Let j be r(8). Suppose -2*c - 3*c = -a - 12, -2*a - j*c = -21. Solve a = -2*m + 2*g + 1, -m = g - 9 for m.
4
Suppose 0 = 2*h + 2*h. Suppose 0 = -0*p + 2*p - 28. Suppose -2*n + h*n + p = 0. Solve 0 = g - 4*l + n, l = 5*g - 3 - 0 for g.
1
Suppose -2 = r - 5. Suppose -r*g + 20 = -2*g. Solve 0*y = 5*a + y + g, 4*y = 20 for a.
-5
Let w = -1 + -6. Let s = w + 11. Solve -2*v = -3*x - 10, 3*x + s = -2 for v.
2
Suppose 0 = -v + 5, -v = -h - 2*v + 16. Let c = 6 - h. Let n = 8 + c. Solve 0*w + 5*i + 30 = -5*w, -n*i = 6 for w.
-4
Suppose 0*l - 5*l = -25. Suppose -l*p + 4*b + 33 = 2*b, -4*b - 16 = 0. Solve w - 2 - 12 = -p*k, -4*w + 4*k = -8 for w.
4
Suppose 1 - 21 = -5*k. Suppose k*z + 0*z = 8. Solve o = 0, z*f - 5 = 4*o + 5 for f.
5
Let j(p) = 8 - p - 2 + 0*p + 2. Let f be j(6). Let x = 9 - 0. Solve -f*v + 8 = -3*v - 2*u, -2*v + x = -u for v.
2
Let h(x) = -x**3 - 4*x**2 - 4*x - 3. Let u be h(-3). Suppose 0 = -z - u + 2. Let k = -2 + 4. Solve k*t - z = -q, 5*t + 2 = -q + 13 for t.
3
Let x(w) = -w**3 - 6*w**2 + w + 6. Let v be x(-6). Let a = 1 + v. Let n = a - -5. Solve n = 4*p + i, -4*p - 5*i = 2 - 0 for p.
2
Let o = 1 - 3. Let i = o - -6. Solve -4*x = 4, i*y + 7 = 2*x - 3 for y.
-3
Suppose 20 = 5*x - x. Suppose -4*k + 50 = -x*u, 5*k - 2*u - 14 = 57. Suppose -k = -p - 4*p. Solve 5*i + 0*m + 10 = -4*m, 2 = -i + p*m for i.
-2
Suppose 4*w - 8 = 3*y, -4*w - 10 = -5*y - 9*w. Solve 5*m + 39 = 3*d + 7, 3*m + 2*d + 4 = y for m.
-4
Let z(g) = g**2 - 2*g + 1. Let s be z(2). Solve y - 2*i = 5, -y = 4*y - 2*i - s for y.
-1
Let a(f) = -2*f + 12. Let i(w) = 5*w - 24. Let n(x) = 7*a(x) + 3*i(x). Let l be n(-12). Solve -3*z + 32 = 4*k, k - z - 3*z + 11 = l for k.
5
Let o = -7 - -10. Solve -2*n - 25 = 3*n + 3*r, o*r = -3*n - 15 for n.
-5
Let a be (6/4)/(3/8). Solve -4*z + a*u + 10 = -2, 16 = -4*u for z.
-1
Let w be (20/(-6))/((-6)/9). Suppose w*t - 8 = t. Suppose -m = -z + t*z - 2, -z = -2*m - 5. Solve -s + 1 = 0, -6*s + z*s = -3*q - 15 for q.
-4
Let n be (-38)/3 + (-4)/(-6). Let y = 6 + n. Let h be y/27 + (-652)/(-18). Solve -5*s = -4*i - h, -6*i + i - 16 = s for s.
4
Let i(u) = -1. Let a(k) = k**2 + 9*k - 16. Let t(g) = -a(g) + 4*i(g). Let z be t(-10). Solve -r - 6 = z*l, -4*r - 12 = 2*l - 0*l for l.
-2
Let z be (2/(-4))/(14/(-84)). Solve 0 = -5*m - z*u - 20, u + 16 = -4*m - u for m.
-4
Suppose i = -b - 1, 0 = 2*b - i + 4 - 14. Solve -3*r + 3*u = -7*r - 31, 3*r + 27 = -b*u for r.
-4
Let d be (-6)/(-24) + 15/4. Solve 5*f - 3*b = -19, -b + 0*b = d*f + 22 for f.
-5
Let f = -1 + 8. Let l = 16 + -14. Suppose -l*h - 85 = -f*h. Solve 5*c + 6 = p - 18, 2*p + 3*c = -h for p.
-1
Suppose 3*r - r + 19 = p, 3*r + 14 = p. Solve -1 - p = 2*a - 5*l, 3*l - 37 = 5*a for a.
-5
Suppose 4*u = 50 - 6. Solve 0 = -4*g + c - 0*c + u, -2*g + 4*c = -2 for g.
3
Let v be ((-27)/(-6))/(3/12). Suppose -4*w = 4*m, 1 - 7 = -2*w. Let z = m + 5. Solve -3*c - z*y - v = y, 4*c + 5*y = -26 for c.
-4
Suppose n = -4*c + 12, 0 = 4*c - 3*c + 5*n - 22. Let w be 111/39 - 10/(-65). Solve -c*z + 3 = r, 3*r + w*z + 0*z = 0 for r.
-3
Suppose -3*s - s = -3*b - 4, 5*s + 10 = 0. Let z(i) = -i - 1. Let u be z(b). Solve -5*t - 30 = 2*l + u*l, -5*t = -5*l + 10 for t.
-4
Let k be -3*2*1/6. Let t(g) = -6*g**3 + g**2 + 2*g + 1. Let u be t(k). Let r be 34 + 3/u*-2. Solve -c + s - 6*s = -29, -5*s = 2*c - r for c.
4
Suppose 5*w - 18 = -w. Suppose -6*x + 24 = w*n - x, -5*n + 3*x = -40. Solve -10 = 3*q - 4*v, 2*q - 4*q + 4*v = n for q.
-2
Suppose j - 3 + 1 = 0. Suppose -a - 11 = -4*t + 1, -j*t = -3*a + 4. Solve a*u + 2*l = 6*l + 4, u - 1 = -4*l for u.
1
Let l(z) = -z + 6. Let k be l(5). Let r be 10/4 + k/2. Suppose -r*h - 10 = o + 3*o, 0 = -h + 2*o + 10. Solve 4*q + 3*b + 5 + h = 0, 5*q - 5*b - 35 = 0 for q.
2
Let p(h) = -h + 11. Let t be p(9). Suppose -5*z + 6*z = 3*w + 1, -5*z + 22 = t*w. Solve -5*b + 3 = -4*l, 9 = -2*b - z*l - 1 for b.
-1
Let f(b) = -b**2 - 6*b + 2. Let n be f(-6). Suppose o = 4 - n. Suppose 10 = o*x + 3*q - 13, 4*x + q = 21. Solve -23 = -r - 9*z + x*z, 5*r + 2*z = 23 for r.
3
Suppose 5*d - 2 = 7*d. Let o = d + 5. Solve 3*n - 8 = -n + o*m, -4*n + m = -2 for n.
0
Let g = 8 + -6. Let y(p) = -p + 2. Let k be y(-1). Let a be (0 + k)*(-5)/(-3). Solve 4*o = 2*c + 10, -g*o - c - 2 = -a for o.
2
Let b be (-10)/(-45) - (-61)/9. Let u be (-3 - -2) + b - 1. Solve u*l = -5*z + 20, 8*z - 3*z = 25 for l.
-1
Let o be (-15)/9*(-7 - 2). Suppose o = a + 2*a. Solve v - 2 - 5 = 2*s, -3*s - a*v = 4 for s.
-3
Suppose -5*v + 3*v = 2*c - 24, 4*v + c = 36. Let u = -3 + v. Solve u*k = -4*w + 17, -3*k + 4*w - 12 = -3 for k.
1
Suppose -2*s - 21 = -31. Solve -5*l + r - 23 = -3*r, s*l + 2*r = -11 for l.
-3
Let s = 78 - 71. Solve 4*w + s = y, 3 = -5*y + 4*w + 6 for y.
-1
Let q = 11 + -11. Suppose q = 3*w - 6 - 6. Solve -4*p - 4 = 4, w*z = -5*p - 10 for z.
0
Suppose 0 = -4*q - f + 6*f, 20 = 5*f. Solve -2 = s - q*i, 3*s + 5*i - 4 = -10 for s.
-2
Suppose -3*f + 5 = -2*f. Let g be 5*(6/2 - 2). Let c be g/(5/2)*2. Solve 4*s - i = -1, -f = 2*s + c*i - 3*i for s.
-1
Let b(i) = -3*i. Suppose g + 2 = 1. Let a be b(g). Solve -a*z - 3*r = -4*r + 1, 3*r - 7 = 5*z for z.
1
Let u(a) = a**2. Let w be u(-1). Let b = 12 + -6. Solve 0 = -s - 2*s + b, -s = -z - w for z.
1
Suppose 14 = 5*k - 11. Suppose -3*u + k*d = u - 33, 4*d + 12 = -4*u. Let o be -1 + (5 - u) - 2. Solve -2*b = 5*h - 12, o*h - 2*b - 12 = -h for h.
4
Let f(l) be the first derivative of l**4/4 - 8*l**3/3 + 2*l - 2. Let j be f(8). Suppose 0 = j*h - 13 - 1. Solve -d + h*s - 6 = 2*s, d - 3*s + 4 = 0 for d.
-1
Let u(w) = w - 5. Let p be u(9). Solve 0*c - p*a + 20 = c, 0 = c - a for c.
4
Suppose 2*o + 1 = 9. Suppose -4*d = 4*p - 8, 5*p - o*d = -13 + 41. Solve -3*w + 8*w - p*g - 26 = 0, -3*w + 4*g = -22 for w.
2
Suppose -9*b + 3*b + 24 = 0. Solve -u + 9 = -5*s + 3, b*s + 2*u + 2 = 0 for s.
-1
Suppose 4*h = 20 - 0. Suppose 6*o = h*o + 8. Solve 0 = -t + z, 5*t + 3*z = 4*z + o for t.
2
Suppose -4*y = -2*h + 6, 12 = -0*h + 4*h + 2*y. Solve -p = 5*w - 10 - 7, -h*w + 15 = -p for p.
-3
Let y(d) = -d**3 + 13*d**2 + 13*d + 16. Let p be y(14). Let r(m) = -m**2 - 4*m. Let t be r(-4). Solve p*g + n - 3 - 1 = t, g + 2*n = 5 for g.
1
Suppose 0 = c - 1 - 1. Suppose 0 = 3*s - 1 - 14. Solve i + c*z = -2*i + 1, 0 = -i - 3*z + s for i.
-1
Suppose -x - 2*l = -4, 5*x - 3 - 5 = 2*l. Suppose -p + 2*p = 2*w + 12, 0 = -3*p - 4*w - 14. Let y = 1 + p. Solve -v = y*q - 4 - 7, q = x for v.
5
Let w be 1*(-2 + 4 - -1). Suppose -10 = -w*p + p. Suppose -4*z = -a - 18, 4*z - 6*a = -3*a + 14. Solve 2*t + 2*t + 10 = p*l, -z*t + 3*l - 19 = 0 for t.
-5
Let j(v) = v - 3. Let h be j(13). Let c = -5 + h. Solve -3*t = -c*q - 8, 9 = -5*t + 3*q + 1 for t.
-4
Let j = 28 - 2. Suppose -2*q + j = 6. Solve -q = -2*m + x, -3*m + 15 = 6*x - 2*x for m.
5
Let t(p) = p - 12. Let j be t(