2 = -4*v for w.
3
Let g(m) = -m + 3. Let k be g(-4). Suppose k*z = 4*z. Solve 0 = -2*w + 3*n - 11, -3*n + z*n = -15 for w.
2
Let g(v) = -v + 2*v - 2 + v. Let i be g(11). Solve -2*r - 5*h = i, 4*r = -r - 5*h - 35 for r.
-5
Let w(y) = -y + 1. Let o be w(-4). Suppose 10 = o*b, b + 0*b = 3*a - 40. Let v be 1 - ((-3)/(-3) + -4). Solve -v*m - h + 0 = 2, -4*m + 5*h = a for m.
-1
Let k be 6/3 - (0 + -1). Let x = k - 1. Let n = -1 + x. Solve 3*h + n = -i, -h - 2 = -3*h for i.
-4
Let b be 4 + -2 - (-30)/2. Suppose -r + 2*k - 3*k = -7, -b = -3*r - 2*k. Suppose 0*x = r*x. Solve d - 4*j + 5*j - 2 = x, -2 = -d + 2*j for d.
2
Let q(f) = 3*f - 19. Let i be q(8). Solve -t + 17 = -3*s, -3*t - i*s - 13 = 6 for t.
2
Suppose -2*g = -7*g + 10. Solve 3*p + 0 + 6 = -3*a, -4*p + 10 = -g*a for p.
1
Suppose 6*p - 4 = 4*p. Let r = -14 + 27. Solve 2*u - 5 = 3*g, g = -p*g + 4*u - r for g.
1
Let a be (-12)/(-10)*(-20)/6. Let r = a + 8. Solve 4*y - 3*l = 7, 0 = -r*y + 4*l + 3 + 1 for y.
4
Let a = 7 + -4. Suppose -s + 12 = a*s. Solve 5*y = -3*g - 14, -s*y + 4*y - g = -6 for y.
-4
Suppose -z - 4*f - 4 - 4 = 0, 2*z + 5*f = -7. Let k(t) = -t**2 - 5*t + 3. Let u be k(-5). Solve -s + 17 = -u*b - 0*s, z*b + 14 = -3*s for b.
-5
Suppose -39 = -5*p - 9. Suppose 2*l = l + p. Let q be 1/((-21)/l)*-7. Solve -5 = 4*s - 3*v + q, 6 = -2*v for s.
-4
Let h be (-6 + (17 - 1))*2/5. Solve 0 = -h*r + 5*y + 15, -r + 0*y = -2*y - 6 for r.
0
Suppose 3*v = -2*v + 65. Suppose 2*w = -3 + v. Suppose 5*a - 5*q + 15 = 0, 3*q - w = 4*a + a. Solve a*n - g = -3*g + 10, 5*g + 2 = 4*n for n.
3
Let l be -2*2 - (4 + -3). Let r = l + 23. Suppose 0 = 2*v - r - 0. Solve -3*t = 2*f + 9, 4*t - 5*f = v - 44 for t.
-5
Let j(u) = -u**2 + 11*u + 1. Let a be j(11). Suppose -r + 6 = a. Solve k + 6 = -3*z + r*k, -5*z - 10 = 5*k for z.
-2
Let f be 2 - (-3 - -2 - 2). Solve 5*n + f*r - 3 + 18 = 0, -3*n = -3*r + 15 for n.
-4
Let c(d) = d**3 + 5*d**2 + d + 3. Let u be c(-5). Let t = 8 + u. Suppose 3*f + t = v, 0*v + 2*v - f = 2. Solve 0 = 3*x + x - 4*k, v = 4*x - 3*k + 2 for x.
-2
Suppose 3*w - 13 = -5*c + 3*c, 2*c = 10. Suppose -3*i - w = 4*b, -2*b - b - 3 = 3*i. Solve 0 = -5*v - 4*q - 17, q = b*v + 3*v + 27 for v.
-5
Suppose 34 = 4*v - 2*v - 4*h, -16 = -4*v - 5*h. Solve -4*r - 16 - v = 5*w, 0 = -5*w + 2*r - 25 for w.
-5
Suppose s + 0 = 4. Suppose 10 = s*n - 2*n. Solve n*h - v + 9 = v, h - 9 = 4*v for h.
-3
Let n(g) = g**2 - 2*g + 1. Let z be n(3). Let o = -6 + 8. Suppose -3*p + o*c + z = c, -4*p + 3*c - 3 = 0. Solve 2*w - 4*i - 6 = 0, 2*i - 5*i = -p*w for w.
-3
Let u be (2 + 2)*(0 + 3)/3. Solve -u*l - 6 = j + 4, j - 4 = 3*l for l.
-2
Let y be 0/(5/((-10)/4)). Suppose -3*z - 2*t = -8, t + 0 + 2 = y. Solve 5*k + l = -13, z*l - 14 = 5*k + 9 for k.
-3
Let n(w) = w**2 + 9*w + 5. Let k be n(-8). Let h be (k + 0 + -2)/(-1). Solve 2*a = 5*d + 13, h*a - 3*d - 11 = 3*a for a.
4
Let v = -9 + 8. Let p(s) be the second derivative of s**4/6 + s**3/6 + s**2/2 + s. Let z be p(v). Solve 3*d + z*l - 11 = 0, -4*d - l = -6 - 7 for d.
3
Suppose 0 = 3*m - 2*j - 22, 2*m - 12 = j + 3*j. Let l = 11 - m. Let r = 3 - l. Solve r = 4*d + 2*u - 0*u + 26, -2*u - 6 = -d for d.
-4
Suppose -7 = -3*m - 1. Solve 4*j = -3*k + 6 + 3, -5*k + m*j = -15 for k.
3
Let g(a) = a + 5. Suppose 10 = c + c, 10 = -4*b - 2*c. Let o be g(b). Solve -j - 6 = -3*y, -j - 2 = -y - o for y.
2
Suppose -4*r + 6 = 2*p, 3*r - 3*p = -5*p + 6. Suppose r = -3*i + z + 35 + 39, 2*i - 4*z - 56 = 0. Let s = -14 + i. Solve m = -4*a - 2*m + 26, 0 = 5*m - s for a.
5
Let d(c) = -c**3 - 6*c - 12*c**2 + 15 + 17*c - 10*c. Let a be d(-12). Solve 0*b + b - a = z, 4*z - 2*b + 10 = 0 for z.
-2
Let x(z) be the second derivative of z**3/3 + z**2/2 - z. Let n be x(-5). Let f be (n/6)/((-3)/10). Solve 0 = -5*g - 4*p - f, 2*p = 4*g + p + 4 for g.
-1
Let k be (-3)/(0 - (-12)/(-8)). Solve -3*j = -5*z + k*j, -z - 2*j = -12 for z.
4
Suppose -4*h + 13 + 7 = 4*l, 3*h - 4*l - 8 = 0. Suppose h*v = 2*v + 18. Suppose -4*i = -i - v. Solve -3*j - t + i = -4*t, -3*j + 7 = t for j.
2
Suppose -v = 4*v + 20. Let i be 3*3/(18/v). Let h(t) = -2*t - 2. Let c be h(i). Solve -3*d - 2*d - 18 = -2*u, 14 = -c*u - 3*d for u.
-1
Let a(b) = -b**3 + 2*b**2 + b + 1. Let o be a(2). Suppose 5*c + 2*p - 8 = 0, 3*c - 6*p + 16 = -2*p. Let m = c + o. Solve 4*y = -m*r + 8, r - 2*r + 5 = -y for r.
4
Let k be (-7)/(-3) - (-2)/(-6). Suppose -2*a = -2*f - 4, 2*a - 2*f - 4 = k*f. Solve -16 = 5*y + a*c + 4, 3*c + 20 = -5*y for y.
-4
Let w(u) = -u**3 + 12*u**2 + 3. Let c be w(12). Solve i + 5 = 0, c*t - 7*i + 2*i = 13 for t.
-4
Let s(g) = g**2 - 4*g - 4. Let p be s(5). Let b be (-4)/8*(p - 9). Suppose -3*f = -b*w - 0*w - 28, -8 = 2*w. Solve -4*k + 5*a = 1 + 25, 3*k = -f*a - 4 for k.
-4
Suppose -15*n - 9 = -16*n. Let x be 4/3 + (-3)/n. Solve 2*z - 3 = 3*o, 4*o = -3 - x for z.
0
Suppose -3*m + 190 = -110. Suppose -5*v + 5*x = -m, 0*v + v + 5*x = -4. Solve -4*i - k = -v, -4*k + 3*k = -4*i + 16 for i.
4
Let n = 54 - 35. Let c = n + -16. Solve -2*r - 9 = -3*j, c*r = -5*j + 5*r + 15 for j.
3
Let y(t) = -5*t - 1. Let s be y(-1). Solve -r + c = -5, -r - s*c - 20 = -2*r for r.
0
Let m(r) = -3*r - 3. Let x be m(-2). Suppose x*n = 7*n + 20. Let q = n - -8. Solve q*u + 6*h = h - 34, 4*u + 22 = -2*h for u.
-3
Let z = 24 + -16. Suppose 4*c - 3 = -d + 2, 2*d = c - z. Suppose k - 4*j - 24 = 0, -7 = 3*k - 6*k - j. Solve 2*v - w = 6 + 3, 22 = k*v + c*w for v.
5
Let f(v) = -v**2 + 7*v - 1. Let s be 12/10*(-2 - -7). Let b be f(s). Let y = 7 + -2. Solve t + 4*m = 8, b = y*m - 0 for t.
4
Suppose -g + 6 - 3 = 0. Solve g*a = -5*m + 12, 0*m + 4*m - 2*a = 14 for m.
3
Let v(j) = -j**3 + 9*j**2 + 10*j - 2. Let o be v(10). Let z be (o/(-2))/((-2)/(-34)). Solve 0 = 4*y - r - z, 0 = -5*y + 4*r - 4 + 17 for y.
5
Let w(k) = k**2 - 9*k + 10. Let j be w(8). Let s = -32 + 37. Solve -s*d - t = -5*t + 12, d - 6 = -j*t for d.
0
Let a(i) = -12*i + 6. Let q be a(-8). Suppose -10 = -4*y + q. Let h be (-20)/(-6) + (-1)/3. Solve -3*o - 5*r = -y, h*r - 7*r = 3*o - 23 for o.
1
Suppose 32 = -0*s - 4*s. Suppose 3*f = 11 + 13. Let c = s + f. Solve -4*h - 25 = -c*y - 5*y, 7 = -h + 2*y for h.
-5
Let n = -25 - -29. Solve p - 17 = -n*m, -3*m + 1 = -8 for p.
5
Let u(s) = s - 1. Let i(d) = 5*d**3 - 1. Let p be i(1). Let b = p - 0. Let a be u(b). Solve -5*h = -3*g + 25, a*h - g = 5*h + 10 for h.
-5
Let s be 21/4*16/4. Suppose 4*k = 0, -4*a + 0*k - 2*k - 112 = 0. Let v be a/s*(-4 + 1). Solve -5 = -3*i + 4*p, -2*i = 3*p - v - 5 for i.
3
Suppose 0*f + 3*f + 5*o = -19, 4*f = 5*o + 33. Solve b + f*t = 0, 4*b + 0*b = 3*t for b.
0
Let o(q) = q**2 + 6*q - 5. Let h be o(-8). Solve -5*m + 10 = 3*k, 9 = 3*m - k - h for m.
5
Suppose -z + 0*z = -3. Suppose -5*p - z*d = 0, -p + 3*p - d = 0. Let q(l) = l**2 - 5*l + 6. Let x be q(4). Solve -2*s = 4*o - 8 - 4, p = o - x for s.
2
Let j be ((-6)/(-8))/((-4)/(-32)). Suppose -4*y - v + 2 = 9, -2*v = j. Let h = 3 + y. Solve 4*n - 11 = -o, -4*n = -7*n + h*o + 22 for n.
4
Let t(o) = -3*o - 2*o + 4 - o**2 + 0. Let d be t(-5). Suppose 4 = -5*x - d*q, -q = 4*q + 5. Solve 2*c - i + 3 + 3 = 0, 2*c + 3*i - 2 = x for c.
-2
Suppose -r = -2*v + 42, 3*v + 4*r - 84 = -32. Solve v = -3*t - 5*x, 2*x + 12 = -t - t for t.
-5
Let v be 4/(-10)*(-4 + -1). Let o(z) = 4*z + 2. Let h be o(v). Let f = 31 + -13. Solve -4*s = 4*u - h + 2, 3*u = s + f for s.
-3
Let l(u) = -6*u**3 - u. Let s be l(-1). Solve -10 = 3*w + j, s = -w - 0*w - 4*j for w.
-3
Let v(d) = -d**2 + 8*d - 4. Let q be v(6). Suppose p + p = q. Solve k - 3*i - 4 - 1 = 0, 24 = -3*k - p*i for k.
-4
Suppose 2*d - 3*p = -9, 0 = -4*d - d - p + 3. Solve 2*o = -m - o + 4, -3*o = d for m.
4
Let v be (-46)/(-11) - (-10)/(-55). Solve -z + 11 + 3 = 4*o, -3*z = -v*o + 22 for o.
4
Let r = 5 + -2. Solve 0 = j - 0*j, -z - r*j = -5 for z.
5
Suppose -2*k + 5*u - 4 = 0, u = -k - 3*u + 11. Solve 15 = k*x - 4*t, -5 + 18 = x - 4*t for x.
1
Suppose -5*j = -4*u - 42, j - 22 = 3*u - 7. Suppose j*i - 3*i + 2*a - 25 = 0, 4*a = 2*i + 10. Solve -9 = -4*r - i*b, -r - 3*b - 3 = -7*b for r.
1
Let i = -4 + 6. Suppose -4*o + 10 = -i*o. Let z = -3 + o. Solve -4*l - 6 = -2*b, 3*b - 9 = z*b + 5*l for b.
-1
Suppose 0 = 2*m - m - 5. Solve 13 = -2*c - 3*g, 2*c - m*g - 23 = 4*c for c.
1
Suppose 10 = 5*k - o, -6 = -2*k - o + 5. Suppose 4 = k*m - 2. Suppose 3 = m*y - p - 1, 8