ose 5*s + 3 = 23. Suppose -28 = -b + 5*c, -6 = 5*b + 5*c + s. Solve 3*z + b*x + 10 = 4*x, 0 = 2*z - 2*x for z.
-5
Suppose r + 2 = -t + 6, -6 = -4*t + r. Let d be (1 - 1)/((-4)/t). Solve 10 = 5*f + 3*g - d*g, 5*g - 2 = -f for f.
2
Let g = 269 - 264. Let c(y) = y + 4. Let v be c(-4). Solve 2*t - 4*l = -v*l + 30, -40 = -g*t + 3*l for t.
5
Let s(g) = -g**3 + 11*g**2 + 5*g + 4. Let t be s(12). Let w be (4/(-8))/(2/t). Solve -5*f + 24 = -k, -k + 3*f - w = k for k.
-4
Suppose p = -4*p. Suppose -g - 3*j - 12 = 0, g - 2*j + 0 - 13 = p. Suppose 0*f + 3*f = 15. Solve -q + 24 = f*c, -g*c - 12 = -3*q - 6*c for q.
-1
Let y(u) = 2*u**2 + 1. Let z be y(-1). Suppose 5*w + 6*o = 3*o - 14, -o = 5*w + 8. Let h be 2/(w - (-3)/2). Solve 0 = -2*j - z*t + 9 - h, -2*j = -2*t for j.
1
Let x = 5 + -2. Suppose 0*t = -3*t + 33. Suppose -3*r = i - t, -x = i + 2*i - 3*r. Solve -3*g + 12 = -5*l, g + i*l = 4*g - 12 for g.
4
Let f(a) = a**2 + 7*a + 6. Let l be f(-6). Suppose -i - 2*j + 4*j + 8 = 0, 3*j + 21 = 2*i. Let d = i + -13. Solve -d*z + 2*z - 9 = 3*q, 4*z - 2*q = l for z.
-1
Suppose -3*q + 26 = m, -2*q = 6*m - 2*m - 54. Solve 0 = 2*o + 3*y - 5 - 2, 4*o = -5*y + m for o.
-1
Suppose 5*r + 25 = 5*k - 0*k, 0 = -4*r - 16. Let b = 1 - k. Solve 2*x - 3*c - 2*c + 12 = 0, x - 2*c + 4 = b for x.
4
Let r(z) = z**3 - 6*z**2 + 2*z - 7. Let y be r(6). Solve -y*w - 4 = 2*b + 11, -2*w - 2*b - 6 = 0 for w.
-3
Suppose 0 = 2*p + 2*p - 4. Solve p = -4*r - 2*u - 13, r + 5*u = -8 for r.
-3
Let i(h) = -h**3 + 11*h**2 - 9*h - 17. Let a be i(10). Let x be 1 - 2 - 10/(-1). Let v = x + a. Solve 4*z + 2*p = -6, -4*p = -v*z + 3*z - 9 for z.
-3
Suppose -2*y = -f - y + 5, 3*f + 2*y - 15 = 0. Suppose -3 = 2*r - 9. Let j = f - r. Solve 2*u - 9 = -4*s + 7*s, -3*s = j*u + 9 for s.
-3
Suppose 5*p + 15 = 2*u, 5*u + 0*p - 6 = 2*p. Solve -5*v = 2*t - 5, 0 = -u*t - 3*t for v.
1
Let f be 2 + -2 + 0/(-4). Solve 4*s - 4*h = -20, f = s - 5*s - h - 15 for s.
-4
Let k be 1 + -2*(3 + -4). Suppose k*i - 2*i = 3. Solve p = -4*d - 3, -p = -3*d + i*p - 7 for d.
-1
Let g(t) = -3*t**2 - 5*t - 4. Let b(h) = -8*h**2 - 15*h - 11. Let q(a) = 4*b(a) - 11*g(a). Let r be q(6). Solve -y - 2*f = 10, -3*y = -0*f - 3*f - r for y.
-2
Let t = 2 + 3. Suppose -3*y = -t*y + 22. Solve 0 = -4*j + 2*j - 3*q - 4, y = j - 5*q for j.
1
Let d be -1 - -1*(3 + 3). Suppose 0 = -d*n + n + 12. Solve -2*u + 0*u + w - 5 = 0, -5 = -n*u - w for u.
0
Suppose f + 5 - 9 = 0. Solve z + 3*z - f = -4*g, 13 = 5*g - 3*z for g.
2
Suppose 5*d + 0*d - 15 = 0. Solve -6 + 0 = -2*t, 4*t = d*r + 18 for r.
-2
Let h = 32 - 57. Let c = -2 - h. Solve -c = b - 4*p, -b + 4*p = -4*b + 11 for b.
-3
Suppose 2*n + 5 + 23 = 5*j, -j - 3*n - 8 = 0. Suppose j*x - 2*k - 140 = 0, -3*x - 5*k - 53 = -4*x. Solve 7 = -2*c + 5*z + x, -z - 7 = -c for c.
3
Let m = -16 + 32. Let r = -9 + m. Solve 5*f - r = -j, 3*f - 2*j + 4*j = 7 for f.
1
Suppose 8 = -n + 29. Solve -b + 5*q + n = 0, 5*b - b - 2*q + 6 = 0 for b.
-4
Let l(b) = b - 4. Let t be l(4). Suppose t = 4*v - 2 - 2. Let d = 8 - v. Solve -2*w + d*w + 4 = -2*c, 5 = 2*w + 3*c for w.
-2
Let j(d) = -146*d + 1. Let a be j(-4). Let b be a/35 + (-4)/(-14). Suppose u + g = 12, -4*u = g - b - 16. Solve 2*o = w, 6*o - 5*w = 3*o - u for o.
1
Let r be (12 - 11) + 2/(-2). Solve 3*u + 8 = 4*z - 6*z, 3*u - 5*z + 1 = r for u.
-2
Suppose 0 = -h + 5*h - 20. Solve 3*w - 2*w - h = 0, w = 4*d + 5 for d.
0
Suppose -3*k = -35 + 14. Solve -3*t + 5*o = -11, -3*t + 2*o + 1 = -k for t.
2
Suppose 2*t - 1 + 3 = 0. Let b(p) = -12*p. Let n be b(t). Solve -5*q + n = 2*j, 2*j = 5*q - j - 7 for q.
2
Let g(v) = -4 - 5*v + 0*v - 3*v. Let k be g(-3). Suppose -3*w = -4*x - 12, -w - x - k = -6*w. Solve -y - 3 = 5*m, 3 = 5*m + w*y - 0 for m.
-1
Let s = -15 - -20. Solve 0 = -5*q + s*c, -16 = q - 4*q - 5*c for q.
2
Suppose 0 = -5*a + 2*b + 12, 7*a - 3*b = 3*a + 4. Solve -a*g = -5*t - 11, t - 6 = -g - t for g.
4
Suppose 5 = 4*x - 3. Solve -4*m - x*q = 2 - 4, -3*q - 15 = 0 for m.
3
Let q = -13 - -15. Solve -3*r = -3*y + 6, -q*y + 3*y = -r for y.
1
Suppose 0 = -6*q + 4*q + 6. Let v(k) = k**2 + k + 3. Let i be v(0). Suppose i*c = 1 + 5. Solve 0 = d + q*p + 11, 0*p - c*p - 24 = 4*d for d.
-5
Suppose -2*n = 2*d - 12, -28*n + 4*d + 30 = -23*n. Let j be (-94)/(-10) + 4/(-10). Let h be 8/3 + (-6)/j. Solve -h*s + n = 3*c, -2*c + 2*s + 3*s = -4 for c.
2
Let n(h) = -h**2 + 5*h + 2. Let d(b) = b**2 + b + 5. Let i be d(0). Let s be n(i). Solve 3*v + s*r = -2*r + 11, -5*v + 5*r = 40 for v.
-3
Let s(f) be the second derivative of -f**4/12 - 5*f**3/6 + f**2 + 2*f. Let d be s(-5). Suppose -2*p - d = -10. Solve 5*q + 4*t = 27, 3*q + 4 = p*t + 1 for q.
3
Let i be (1/(-3))/((-1)/18). Let w(l) = l**2 - 6*l + 3. Let t be w(i). Solve 2*o + 5 = g + t, -3*g = 3*o + 12 for o.
-2
Suppose -2*k = k. Suppose k = 4*w - 9*w + 15. Solve -3*s + 1 = j - 12, 0 = -w*s + 12 for j.
1
Suppose 3*l + 3 = -4*i, -2*i = i - 4*l - 4. Suppose -4*g + g + 84 = 0. Solve r - j = -6, 3*r - 7*r + 5*j - g = i for r.
-2
Suppose -15 = -3*v, 4*b = -2*v - v + 71. Let x be (-136)/b + 4/(-14). Let a be (x/(-20))/(1/4). Solve i + 1 = -2*m, -m - a*i = -3*m + 8 for m.
1
Let c(d) = 3*d**3 - 2*d**2 + 3*d - 2. Let k be c(2). Solve q = -4*y - 20, -2*q = q + 2*y + k for q.
-4
Let w(f) = 7*f - 2. Suppose 0 = 4*p - 2 - 2. Let v be w(p). Solve -b - 7 = -v*a - 21, 4*b = -4 for a.
-3
Suppose 12*n - 9*n = 0. Solve -2*r = n, -3*a = -4*a - 2*r for a.
0
Let q be (0 - -4)/2 - -1. Solve -z + i + 16 = -4*z, z - 2*i + q = 0 for z.
-5
Let x be -3*4/(-6) - -1. Suppose -2*t = 6, 33 = n + t - 19. Suppose 2*h = -o - 2*o + n, 5*o - 38 = -h. Solve 0 = -3*b + 3*s - 11 - 4, 5*b = x*s - h for b.
-4
Let u be ((-2)/3)/(1/(-3)). Let x be (-2)/(-10) + 44/5. Suppose -x = -4*z + 7. Solve 0 = z*y - u*a + 50 - 20, 3*a = -3*y for y.
-5
Let i(o) = -o**3 - 5*o**2 + 7*o + 2. Let h be i(-6). Let s be 2/h - 2/(-4). Solve -5*p + 22 = 2*d, s*d - 5*p = -4*d - 16 for d.
1
Let l be ((-4)/(-3))/(-2)*-30. Solve 0 = 7*o - 2*o + 5*k + l, -k = -5*o - 8 for o.
-2
Let a be 32/18 - ((-20)/9 - -2). Solve 7 = -3*s - h, a*s - 10 + 4 = 2*h for s.
-1
Let j be ((-4)/2)/2 + 10. Let w = j + -3. Let k = w + -1. Solve -5*y - 5*u - 30 = 0, -k*y - 3*u - 21 = -y for y.
-3
Suppose 21 = -5*p + 6. Let o be 0/(18/(-3) - p). Solve -2*u + 4*a + 2 = -o*u, -a + 1 = -2*u for u.
-1
Suppose -136 + 48 = -2*f. Suppose i - 5*i = -f. Solve -5*t - z = -0*t + i, 0 = 4*t + z + 9 for t.
-2
Let y be 2 - (4 - 3) - -1. Solve o + 3 = v, 0 = y*v - 4*v + 4*o + 16 for v.
-2
Let i be (-4)/6*(-18)/3. Suppose 2*h + 0*h = -10. Let x = h - -12. Solve 2*m = x*m - y - 11, 28 = 4*m + i*y for m.
3
Suppose d - 5*n = 2, -n - 25 = -4*d + 21. Solve -3*j + 10 = -5*x - d, 3*j = -5*x + 2 for j.
4
Let w = 20 + -20. Solve w*f + 20 = 4*d - 5*f, 2*f + 8 = -d for d.
0
Let n be (8/(-6))/((-14)/(-42)). Let j = n - -4. Solve -5*z + 5 = 5*l, j = 5*l + 2*z - 0*z - 11 for l.
3
Let o(t) = t**3 + 3*t**2 - 3*t - 4. Let i be o(-3). Solve i*r + 4*l - 4 - 4 = 0, -26 = -5*r + 2*l for r.
4
Let c = 10 - 6. Solve -c = -2*n + k + 1, n = -2*k - 10 for n.
0
Let f be 2/(-6) + (-93)/(-9). Suppose 0*y = -5*y + f. Suppose 5*i + 2*h = i, 2*h + 10 = i. Solve r - 9 = -i*t, 3*t - y*t - 4*r = -18 for t.
2
Suppose -4*k = -3*k. Let z be 3 - (k - (-2 - -2)). Solve 0 = z*q - 3*m + 15, -5*q + 0*m - 17 = 3*m for q.
-4
Let h(x) = x - 7. Suppose -4*a + 13 = -23. Let c be h(a). Solve -4*i = 5*b - 7, c - 10 = 2*b - 2*i for b.
-1
Suppose 2*i - 10 = -2. Let j(r) = -r**3 + 3*r**2 - 2*r. Let s be j(2). Solve 2*m = -s*m + i*k - 20, k - 5 = m for m.
0
Let s be (4/(-6))/(8/(-12)). Let k(b) = 2*b**2 - b + 1. Let f be k(s). Solve f*h - z + 7 = 0, -4*z + 19 = -5*h - 6 for h.
-1
Let r be -1 + 1*-1*0. Let i(x) be the third derivative of -x**4/12 - 14*x**2. Let l be i(r). Solve 4*f - 2*v = -14, -l*f - 22 = 5*v - v for f.
-5
Suppose -4*f = -5*x + 1, f + 14 = 6*x - 2*x. Solve 3*v - 9 = 4*t, v - f = -v for t.
0
Let u be -1*(2 - 0 - 2). Let n = -75 + 107. Solve u = -3*h + 5*t - n, -2*h = -0*t + 2*t for h.
-4
Let n be (-3)/((-33)/54 + 3/6). Solve -3*o + 5*s - 20 = 2*o, 2*o - n = -5*s for o.
1
Suppose 7*t + 35 = 12*t + 3*c, -2*c + 14 = t. Let u(o) = -12*o**3 - o - 1. Let w be u(-1). Solve k + 3*k = 2*h + w, 0 = -t*h - k + 3 for h.
0
Let k = -7 + 7. Suppose -3*a + 112 = -2*y, k*a + 5*y + 180 = 5*a. Solve -