Solve u + 16 = 2*y - 2*u, p*y - 2*u - 14 = 0 for y.
2
Let z be 150/12 - 1/2. Solve -b + 4*b - 3 = 2*h, 2*h = -2*b + z for b.
3
Suppose m = -2*v + 5, -2*v + 15 = 3*m - 7*v. Solve -2*u = -2*p + u + 23, 0 = -m*p - 3*u + 5 for p.
4
Let t(l) = -l**2 + 7*l + 8. Let x be t(6). Suppose -2*a = -2 - x. Let y be 2/a - (-44)/16. Solve z + 5*g = 13 + 7, -4 = -y*z - g for z.
0
Suppose -b + 9 = -2*x, b - 7 = -3*x + 4*x. Solve 16 = -2*r - 0*f - 4*f, f = -b*r - 13 for r.
-2
Suppose 18 = 4*f + 2*z, 6*z - 18 = -2*f + 2*z. Solve 20 = k - f*x, -3*k - 2*x + 0*x = -5 for k.
5
Let v be 1 + (-2 - 3/(-3)). Suppose -2*g = -v*g. Solve w = 4*w + k - 17, g = -5*k + 25 for w.
4
Let x be 2 + -1*(2 + 6/(-3)). Solve -4*w = x*u, u - 2*u - w - 1 = 0 for u.
-2
Suppose -4 + 1 = -j. Suppose -s = 2*a, 2*s - 4 = -2*a - 2. Solve -j = -3*v + 12, 3*v - 7 = -s*f for f.
-4
Suppose -2*x + 2 = -2. Suppose -p = 5*q + 1, 0 = 3*q + 2*q + 5. Solve -p*y + x*g = -14, 0 = 3*y + 4*g - 5 - 22 for y.
5
Suppose 5*t - 2*p = -p + 48, t - p - 12 = 0. Solve x + 0*x - t = -2*h, 0 = -2*x + 5*h for x.
5
Suppose h + 35 = 6*h. Let c = 12 - h. Solve 14 = -u + 3*q, 2*u - 4 = -c*q + 1 for u.
-5
Let h be -3*(0 + (-2)/6). Let j be (-3 - -3)*h/2. Solve -2*u + 3 - 1 = j, -u = -5*v - 16 for v.
-3
Suppose -2*y = -5*b + 3, b - 2*y = y - 2. Let x be b*(-1 - (1 + -2)). Solve 5*l + 27 = -2*h + 6*h, -h + l + 6 = x for h.
3
Let y(t) = t**3 + 9*t**2 - t - 7. Let d = -21 - -12. Let x be y(d). Solve 0 = o - 2*k - x - 4, -3*k = -3*o + 6 for o.
-2
Let f(a) = 0*a - 2*a + 3*a + 9. Let o be f(-7). Let j be (-12)/(-15)*(1 + 14). Solve -6 - 2 = -o*n, -4*l - 2*n + j = 0 for l.
1
Let c be 11 - 1/1 - 1. Let d = c - 7. Solve 2*j + 2 = n - d, 0 = -5*n for j.
-2
Let r(c) = -3*c - 10. Let i(u) = -3*u - 10. Let q(t) = -5*i(t) + 6*r(t). Let p be q(-4). Solve -p = -b - 3*l - 0*l, -2*l = -5*b + 27 for b.
5
Let b(k) = -3*k**2 - 2 + 2*k**2 + 4*k + k. Let i be b(4). Let h be ((-6)/(-3))/(1/i). Solve -4*v - 6 = 2*p, 3*v + h*p = v - 18 for v.
1
Let i(x) = 4*x - 13. Let o be i(9). Let f = 62 + -26. Suppose -f = -5*r - 1. Solve -g = g + 5*z + o, 0 = g + z + r for g.
-4
Suppose -3*q + 6*q - 4*k - 12 = 0, 5*q - 20 = -5*k. Solve 0 = -q*j - 2*s - 0 - 2, 4 = j - s for j.
1
Let u(f) = -2*f - 6. Let r = -4 + -6. Let y = r + 6. Let a be u(y). Solve a*t - 4*l = -4, 0*t = -3*t - 2*l + 18 for t.
4
Suppose 10*b - 7*b - 9 = 0. Solve 0 = -2*p - 3*i + 2, 4*i = -b*p - 5 + 6 for p.
-5
Suppose 4*n + 2 = 5*n. Solve -r - r - 2 = 4*a, 2*r = -2*a - n for r.
-1
Let l be 1/4 - 54/(-8). Let k be (-1)/(-1*(-1)/(-17)). Solve -3*h = -2*w + l*w + k, -4*h = 5*w + 21 for w.
-1
Suppose a - 6*a - z - 38 = 0, 2*a - 5*z - 1 = 0. Let g(r) = -r**3 - 8*r**2 - 6*r + 7. Let b be g(a). Solve 4*s + 25 = -5*h - 11, 4*h + 4*s + 32 = b for h.
-4
Suppose -5*x - 6 + 26 = 0. Let u be 24/(-5) - 2/10. Let v(c) = c + 7. Let w be v(u). Solve 5*m - 6 = -x*l, 3*m + w*m - 7 = -3*l for l.
-1
Let c = -90 - -85. Suppose 4*q + w + 3*w = 36, w + 6 = 2*q. Let m = c + q. Solve -4*p - 6 = 3*k, -5*p + k + m*k = -2 for p.
0
Let c(u) be the second derivative of u**3/2 - u**2/2 - u. Let p(z) = z. Let r(a) = -c(a) + 2*p(a). Let b be r(-2). Solve 2*d = b*i - 0*i - 6, 3 = 5*i - d for i.
0
Let m be 6/2 + -1 - 0. Let f(h) = -h - 5. Let q be f(-7). Let y = -4 + 7. Solve -q*u + 3*u + m*b - 3 = 0, 0 = -4*u + y*b - 10 for u.
-1
Let g be 1 + 3 + -10 + 6. Solve -3*w - 3*v + 9 = -g*w, v + 6 = 2*w for w.
3
Let o = -3 - -3. Suppose -d + o*d + 5 = 2*z, -d = -z + 1. Let u = 4 + 1. Solve -u*v = h + 24, -z*v - 16 = -0*v + 2*h for v.
-4
Suppose 0 = -2*i + 6, -19 - 209 = -2*o + 4*i. Suppose -4*p = -p - o. Let x(r) = -3*r - 1. Let f be x(-12). Solve 0 = -4*d - v + 5*v - p, -4*d = -3*v + f for d.
-5
Let p = 14 + -11. Solve -3*a - 8 = -7*a - 4*j, p*j - 4 = -a for a.
1
Let n(m) = -m**3 - m**2 - m + 2. Let t be n(-2). Solve 4*d + h = -3 - 3, 0 = 4*h - t for d.
-2
Suppose 2*c + 15 = 5*c. Solve m - 15 = -5*x, -2*x - c*m + 3 = -4*m for x.
4
Let m = -13 - -16. Solve -3*v = -0*v - m, -4*v = 3*n - 4 for n.
0
Let g(l) = l**3 + 2*l**2 - 7*l + 4. Let p(i) = i - 1. Let x be p(-3). Let c be g(x). Solve 3*k + 13 = o - 1, -5*k + o - 22 = c for k.
-4
Let s = 6 - 1. Let r = 8 + -14. Let i(a) = -3*a - 1. Let k be i(r). Solve -13 = -2*d - 3*g, k = -2*d + s*g - 2*g for d.
-1
Let l be 0*-1*(4/(-8) - -1). Solve 2*r + 0*i = 5*i, l = 4*r + 4*i for r.
0
Suppose 0 = -3*u + 9 + 3. Let b(h) = -4 + u + 0*h + h - 3. Let v be b(6). Solve -5*y = -4*y - 3*l - 6, -v*l - 9 = 0 for y.
-3
Suppose -2*i + i = -3. Let a(g) = -g - 1. Suppose -3*v = -m + 6, v + 6 = -m - 0. Let l be a(v). Solve -l*s + 2*c + 3*c = -i, -3*s + 4*c + 1 = 0 for s.
-1
Let b = 18 + -13. Solve -5*t - 2*n - 3*n = -35, b*n = 10 for t.
5
Suppose 4*w - 14 = 6. Suppose 4*a + 26 = 3*c - c, -w*c = -4*a - 35. Let t be 20*(9/6)/c. Solve -8 = -2*g + 3*b, 4*b = 3*g - g - t for g.
1
Let n be -1 - -3 - (-20 + -3). Solve -3*x - x + n = w, -4*w = 5*x - 45 for w.
5
Let x be 6/(-9)*-21 - -4. Solve 3*m + s - x = 4*s, 2*m + 3*s + 13 = 0 for m.
1
Let q = -7 + 16. Let y be q/3 - (1 + 0). Solve 4*s + 5*b = -0*s - 17, -5*s + 20 = -y*b for s.
2
Let h be -4*(-2 + (-6)/(-4)). Let y be (-32)/(-6) + h/3. Solve 0 = 2*k + 2*p + 14, p - 3 = y*k - 2*k for k.
-2
Suppose 5*p - 13 - 2 = 0. Solve b + p = -a, 0 = a - 2*b + 7*b - 1 for a.
-4
Let f(n) = -n**3 - 6*n**2 - 5*n - 3. Let h be f(-5). Let m = h - -8. Solve 3*b + m*t + 35 = 0, t - 8 = 3*t for b.
-5
Suppose 7 = -c - 1. Let j be c/(-2) + (-1 - 0). Suppose 2*o - 6 = -5*p, 0 = -3*p - 2*o + 1 + 1. Solve -j*y = -p*x - 0*y + 2, -8 = 2*y for x.
-5
Suppose -7*s + 209 = 12*s. Let z(b) = b + 8. Let h be z(-6). Solve 2*c - 16 = -2*k - h*k, -s = -c - 3*k for c.
2
Suppose -5*n = a - 0*a - 33, -2*a + 6 = -2*n. Solve 3*w - 2 = 5*f, -5*w - 3*f - a = -0*w for w.
-1
Suppose r + 3 = 3*y + 5*r, 2*r = 2*y - 16. Solve -3*d = -w + y*w - 8, 3*w - 6 = 5*d for d.
0
Suppose 5*p - 4*y = -25, -17 = 4*p - 3*y + 4. Let t = -6 - p. Solve -n = -t*z + z + 4, 0 = -n - 3*z - 4 for n.
-4
Let w be 0*(-1 - (0 - 0)). Suppose w = -2*m - 0 + 4. Solve -4*l = -3*k - 20, -m*l + k + 15 = l for l.
5
Suppose o - 3 = 4*d + 4, -4*d - 4 = 0. Solve -o*j + 2 = -4, 4*g + 3*j = -10 for g.
-4
Suppose 7*w - 5*w = 8. Solve 0 = -w*u - 12, 4*z + 5*u = 2*u - 29 for z.
-5
Suppose 0 = -3*r - 2*r + 5*l - 10, l - 8 = -5*r. Suppose -2*q - 3*q = -2*f - r, 3*q - 2*f = -1. Solve w - q = 4*y, -y + 6 = 2*w - w for y.
1
Let c(d) = -d**2 + 2*d + 2. Suppose y + 1 = 5. Let i be (12/9)/(y/6). Let q be c(i). Solve b - 5 = q*b - k, -2*k = 3*b for b.
-2
Let p = -122 + 145. Solve 3*c = 5*a + 34, c - 8*a - p = -4*a for c.
3
Let z = -15 - -22. Suppose -x + 11 = 5*k - k, -3*x + z = -k. Suppose -k*u - 14 = -3*r, -5*u - 7 = 3*r + 7. Solve r*d = 2*c, 4*d + 4 = 5*c + d for c.
2
Let r be -1 - -1 - (-1 - -1). Suppose -4*p + 40 = p. Solve -3*g + 3*z - 5 = z, -3*g + 5*z - p = r for g.
-1
Suppose -3*k - k + 24 = 2*l, -l + k = 0. Solve w = l*a + 12, 3*w + a - 5 = 5 for w.
4
Suppose 3*w + 24 = -5*r, -3*w - 14 = r - 7*w. Let q(p) = -7 + 0*p - 3*p + 2*p - p. Let c be q(r). Solve -3*k + 2 = -2*m, 3*m - 35 = -c*k - 0*k for k.
4
Suppose 4*c + 5*t = 21, -3*t = -4*c + 7 + 6. Suppose 5*p = -20, -2*v - 2*p = 2*v - 72. Solve v = -4*o - c*h, 0*h - h = -4*o - 5 for o.
-2
Let f(b) = 2*b - 6. Let l be f(4). Let k(o) = o**3 + 6*o**2 + 6*o. Let c be k(-4). Let x = 8 + -5. Solve -23 = x*d - c, -l*g - d = -3 for g.
4
Let o be 40/12 - 1/3. Let i(y) = -y - 1. Let a be i(-8). Solve a = -2*u + 3*c - 4*c, -c = -o for u.
-5
Let l(m) = -5*m - 10. Let b(d) = -d - 1. Let u(t) = -6*b(t) + l(t). Let o be u(7). Let k be (8/(-12))/((-3)/18). Solve o*z = 2*c - c + 18, 5*z = k*c + 37 for c.
-3
Let m be (1 + 3/6)/(9/12). Solve 0*c - 20 = -c - 4*t, 5 = m*c + t for c.
0
Let g = -27 + 42. Solve -h + 3*q = -q - g, 0 = -h - 3*q - 20 for h.
-5
Let c(f) be the third derivative of f**4/12 + 2*f**2. Let w be c(2). Solve 2*q = -0*n + 3*n - 8, 3*q + 12 = w*n for n.
0
Let m(k) = k**3 - k + 2. Let w be m(0). Let f be 2 + -4 - 11*-2. Solve 3*d = -w*a + 10, a + 3*a - f = 4*d for a.
5
Let f(t) = -3*t**2 + t**3 + 9*t**2 - 2 + t + 7*t - 4*t. Let s be f(-5). Solve -2*r + s = 5*i, 0 = i + i + 2 for r.
4
Let k be 1 + -4 + (7 - -1). Solve 0 = -3*s + t + 10, 0*t + 17 = 4*s - k*t for s.
3
Let n(l) = -6*l**2 - l**3 + 3*l + 0*l**3 - 