. Let s be c(10). Solve -2*r = s, -m - 4*r - 16 = -r for m.
-1
Suppose -u - 3*i = -15, i = -2*u - 2*i + 30. Solve 0*b - b + 3*a + 15 = 0, 2*b - 3*a = u for b.
0
Let l = 9 - -1. Let m be (l/15)/(1/(-6)). Let a(g) = g**2 - g - 2. Let u be a(m). Solve -21 = 4*f + j, -4*f + 5*j - u = 3*j for f.
-5
Let m be 11/(198/12) - (-12)/9. Solve -q + 5*t = 23, m*t = q + 4*t - 5 for q.
-3
Let n(h) = 5*h. Let d be n(3). Solve -p + y - 5 = 0, -4*p + p + 4*y = d for p.
-5
Suppose 3*h = h - 22. Let w = 1 - h. Suppose k + 3*k = w. Solve -1 = -k*t - 4, 3*r = 3*t for r.
-1
Let f = -2 + 2. Let w = 74 - 71. Let l be (-4)/10*(-6 - -1). Solve -w*n + 1 = l*z + 6, f = -4*n - 5*z - 16 for n.
1
Suppose 4*f - 6 = -0*w + 5*w, -6 = -w - f. Suppose -5*k + 42 = o, 3*o + 10 - 1 = 0. Solve -t = w*a + 3*a - k, a + 11 = 3*t for a.
1
Let q be (2 + (2 - 3))/((-1)/(-15)). Solve z = -2*a + 6, -q = -4*a - a + 5*z for a.
3
Let u(v) = v**2 - 4. Let q be u(-3). Let x = q + -4. Solve -b - i - 2 = -0*b, -4*b + 3*i = x for b.
-1
Suppose -l + 7 = -r, -5*l - 4*r + 1 - 2 = 0. Solve -5*m + 5*s + 5 = 0, 4*m + 1 = l*s - 0 for m.
-4
Let p(m) = m**3 + 4*m**2 + 2*m - 4. Let b be p(-3). Let f = 2 + b. Suppose 3*u + f - 10 = 0. Solve z + 0*z - 5*x = 2, u*z - 6 = 2*x for z.
2
Suppose 0 = 9*m - 5*m - 16. Solve 2*a = -3*a - m*c - 16, 0 = 2*c + 8 for a.
0
Let q(p) = 2*p**2 - 6*p - 7. Let z be q(4). Solve 0 = g - z + 6, -2*g - 13 = -w for w.
3
Let p = -8 + 10. Suppose -2*d + a = -13, -5*a = p*d - d + 21. Solve -w = -d*q + 1, w + 2 = -w for q.
0
Let s be 0/3 + 0/(-1). Let o(w) = -2*w**2 - 19*w + 14. Let c be o(-10). Solve 5*v - 3*v - 4*z - 6 = s, 0 = -v - c*z + 9 for v.
5
Let g(t) = 5 - 4 + 6*t + 2*t. Let d be g(1). Let k(h) = -2*h**3 - 4*h**2 - 2*h. Let w be k(-2). Solve f = 5*v + 24, -v - w*f + 3 = -d for v.
-4
Let j(m) = m**3 + 4*m**2 + 6*m + 12. Let b be j(-3). Solve 0 = -x + 3*u + 2*u - 20, -4*x + b*u = 29 for x.
-5
Let g(i) = i**2 + 15*i + 8. Let q be g(-14). Let a be 8 + 3/q*4. Let b = -1 + 3. Solve 4*z = 2*z + b*u + a, 4*z + 3*u = -23 for z.
-2
Let a(n) = -n**3 + 6*n**2. Let o be a(6). Let r = 2 + o. Suppose 2*b + r*b = 84. Solve i + i + b = 3*s, 5*i = 3*s - 30 for s.
5
Suppose -5*p - 36 + 16 = 0. Let b be 0/((-5 - p)*-2). Solve -5*i - 4*n - n + 15 = b, 0 = -4*i - 3*n + 10 for i.
1
Let p = 3 - -1. Solve 5*t = -3*g - 4, p*g + t = -t - 10 for g.
-3
Let f = 5 + 8. Let l(q) = -q**2 + 16*q - 9. Let i be l(f). Solve -2*n - i = 4*t, -4*t - 5 = -0*n - 3*n for n.
-5
Let c = 19 - 9. Let b be (-2 + (c - 1))*3. Solve u = 5*d - b, d = 4*u + 1 + 7 for d.
4
Let u(a) = 3*a + 0 + 6 - 4 - 2*a. Let n be u(2). Solve -b - 3*b - 8 = -4*f, 2*b - 14 = -n*f for f.
3
Suppose 0 = 2*c - 4. Let o = c - -1. Solve -3*r + r = 3*h - 9, -4*r - o = -h for r.
0
Suppose -2*t = 2*u + 6, 0 = -4*u + 3*t + 27 - 4. Solve 0 = -m - 3*a + 7, m + a = u*a - 9 for m.
-5
Suppose 0 = -5*d + 5*i + 165, -i - i = -4*d + 124. Let f = -18 + d. Suppose -4*l = -5 - f. Solve l*v - 1 = -h, -h - 2*v - 3*v = 0 for h.
5
Let t = 12 + -27. Let s = 0 - t. Solve 12 = 5*w + 4*f, 0 = 5*w + 2*f + 3*f - s for w.
0
Let g = 49 + -9. Suppose 10*o = 8*o + 12. Suppose -x - g = -o*x. Solve -f + 5 + x = 5*q, 3*q - 4*f + 6 = 0 for q.
2
Suppose 2*d = 18 + 6. Solve 3*l = -16 + 4, 2*c - l = d for c.
4
Suppose 2*u = 2*d - 32, 0 = 2*u + 2*u + 5*d + 46. Let r = -9 - u. Solve -5*n - 4*v + 2 = -3, r*v = 25 for n.
-3
Suppose 3*a - 15 = -3. Solve 5*y - a*r + 11 = 0, -r = 2*y + 4*r - 22 for y.
1
Let p(d) = 3*d + 8. Let f be p(-2). Solve -3*q + 5 = -z, 2*z = f*q - 5*q + 8 for z.
1
Let m(c) be the second derivative of c**4/12 + 3*c**3/2 + c. Let l be m(-9). Solve -8 = -3*z + 2*o + 2*o, l = -o - 2 for z.
0
Suppose 3*s + 0 = -k + 15, k = -2*s + 11. Solve -p + 2 = 4*o + 7, k*p + 1 = 2*o for p.
-1
Let h = 0 + 2. Suppose h*o - 4 = -0. Solve 16 = 2*b - 4*y, o*y - 3*y + 3 = -4*b for b.
-2
Let x = -2 - -1. Let u be 3 + -2 + x + 0. Suppose u = v - 0*v - 13. Solve 3*o + v = 4*c - 7, 0 = -2*c + 3*o + 10 for c.
5
Suppose 5*o = -t + 16, 3*t = -0*o - 3*o. Solve o*j - 2*u + 18 = 0, 5*u - 3*u + 18 = -5*j for j.
-4
Let u = -46 - -50. Solve -4*n = -12, 0 = u*a + n - 5*n + 32 for a.
-5
Suppose j + 1 = 3. Solve 0 = -2*p + 2*y - 4, p - 5*y + j + 4 = 0 for p.
-1
Let h be 2/(-4) + 3/6. Suppose k + h = -7. Let o = -4 - k. Solve -o*a + 9 = 3*w, 11 = 5*a + w - 0*w for a.
2
Suppose -2*x - 50 = -58. Solve 5*t - 10 = -5*k, x*t + 2*k - 7 = -1 for t.
1
Let c be (4/5)/(4/60). Suppose 0 = -u - 2*u + c. Solve j - 5*j + m = 7, 5*j + 17 = u*m for j.
-1
Let f be -7*2/(-21)*3. Suppose -2*v = -f*j + 3*j + 7, 4*j - 3*v = 27. Solve x - 5*w + 13 = -11, 0 = j*x + w - 8 for x.
1
Suppose -5*o = 34 + 51. Let t = -5 - o. Suppose 5*w = -3*b - 0*w + t, 4*w + 16 = 4*b. Solve 3*r + r = -3*p + 19, 0 = -r + b*p for r.
4
Let j be (-2)/(2/1)*-12. Suppose 0 = z - 5*z + j. Solve 7*n - 2*n = -z*b - 14, n = -2*b - 7 for n.
-1
Suppose 0 = -5*s + 3*s - r + 19, -2*r + 10 = 0. Let k be 4/8 + 38/4. Let y = k - s. Solve -1 = 4*m - y*o, -2*o + 2 = -7*m + 3*m for m.
-1
Suppose 3*o - 65 = n - 18, 0 = -2*o + 2*n + 30. Suppose -2*v = 3*m - 19, -2*m + o = v + v. Solve 0 = 5*a - 3*d + 21, m*d + 2*d - 16 = 2*a for a.
-3
Suppose 0 = -5*f - 2*s - 50 + 719, 0 = 4*f - 3*s - 549. Suppose 5*t = 15, -6*t = 5*x - t - f. Solve 0*p + 5*v - 21 = -p, 5*v = -4*p + x for p.
1
Let s(r) = r + 3 + 3 - 1. Let y be s(-4). Solve y = -5*p + a, 3*p - a + 23 = -6*a for p.
-1
Let z be (-8)/12 - 106/(-6). Solve -d - y + 19 = 2*y, 2*d - 5*y = -z for d.
4
Let a be 2 - (1/(-7) + 3/21). Solve a*j = -2*p, 2*p = 2*j + 2*j + 30 for j.
-5
Suppose -f - 1 = -2*f. Suppose -f - 10 = -d. Solve -2 = 4*v - j + d, 4*j = 3*v for v.
-4
Suppose 6*c = -0*c + 12. Solve 5*i = 3*r + 2, i - c*r - 14 = 2*r for i.
-2
Let p = -124 + 130. Solve i = -5*n + 17, -i - p = -4*n + 4 for i.
2
Let z = -25 - -46. Suppose -2*n = -5*p + 2*p + 32, 2*p - n = z. Solve p = l - 3*u, 2*u = -4*l - 2*u + 8 for l.
4
Let w(u) = u**2 + 9*u + 8. Let r be w(-9). Let f be (1 - 1)/(-2 - -4). Solve f = -4*o - r, -2*m - o + 0 = 8 for m.
-3
Suppose 9 = -27*d + 28*d. Solve x - 6*x + 8 = 3*k, 4*k - d = -5*x for x.
1
Suppose 2*d - 2 = 8. Solve 4 = -c + d*u, 0 = -2*c - 4*u - 0*u - 8 for c.
-4
Suppose -5*m = -3*u - 13, -2*u - 10 = -7*m + 3*m. Solve r - 3*s = -0*r + 15, -m*s - 10 = 4*r for r.
0
Suppose p = -g - 2*p - 6, -4*p = 4*g + 16. Let j(t) = t**3 + 3*t**2 - t - 1. Let o be j(g). Solve -8*n - 7 = 2*q - 3*n, 1 = -3*q + o*n for q.
-1
Let c(l) = 2*l**2 + 3*l - 4. Let q be c(-3). Suppose -2*x = o - 9, -2*x - q*o + 23 = -3*x. Solve b - x*p + 14 = -0*b, -3*p + 19 = -b for b.
-4
Let y(b) = -b**3 + 4*b**2 + 6*b - 3. Let d = 7 + -2. Let g be 0 - d*(1 - 2). Let z be y(g). Solve 4*i - 15 = 3*o, 4*i = -5*o + 5 + z for o.
-1
Suppose w = 4*d - 43, -d - 4*w = w - 37. Let m be d/28 + (-3)/7. Solve 3*j - 4*j = -2*b - 6, m = -2*b - 3*j + 2 for b.
-2
Suppose 11 - 27 = -4*r. Let p be ((-2)/3)/(1/(-42)). Solve -n = r*g - 3, 0 = 4*n + 2*g - 6*g + p for n.
-5
Let t(j) = -j**3 - j + 2. Let r be t(0). Solve -2*q - 3*q = -3*l + 4, 2*l = 3*q + r for l.
-2
Let l = 2 - -2. Let w = -63 + 39. Let u be 10/8 - (-6)/w. Solve -5*x + 3*d + u = -d, l*x + 16 = -d for x.
-3
Let z be 1*2/4*0. Let m(c) = -4*c + 6*c - 2*c + 3 + c. Let o be m(z). Solve -b = -1 - o, 3*h = -b - 2 for h.
-2
Let y be (15/(-12))/((-1)/8). Suppose 8*u - 3*u - y = 0. Solve -5*n + u*o - 4 = 0, 0*n + 2*o = 2*n - 2 for n.
-2
Let i be 8/(-16) + 14/4. Let o(s) = s**3 - 3*s**2 + 2*s + 1. Let r be o(i). Solve 2*b = -2*l, -2*l = -r*l - 4*b + 1 for l.
1
Let j = -3 + 6. Let b be 2 - (2 + 1 + -4). Solve u + j*f = -0*f + b, 2*f = 4*u + 2 for u.
0
Suppose 6 = 3*y - 5*y. Let d(i) = i**2 - 1. Let j be d(y). Solve -2*w + m = -j, -3*m = -0*w - 2*w + 8 for w.
4
Suppose 2*a = 4*x + 10, 0 = 3*x - 4*a + 2 + 18. Suppose -6 = 3*c, 3*s + c + 2*c = x. Solve -5*w - 16 = -s*b, -4*b + w = -2*b - 8 for b.
3
Suppose -9 = 3*l - 4*l. Solve -2*i - v - l = 0, 7 = -2*i + i + 2*v for i.
-5
Let y = 21 + -9. Suppose -4*a - i + 15 = 0, -2*a + 0*i - 2*i = -y. Solve 4*j - 3*c - 35 = 0, 0 = a*j - 2*c + 3*c - 10 for j.
5
Suppose -2*q = -5*l - 3*q + 6, 0 = 2*q + 8. Solve -4*s + 3*s - 12 = -4*k, 0 = l*k + 3*s - 20 for k.
4
Let p = 44 - 26. Let q = 6 + -2. Solve -2*k - g - p = 4*g, -q*k + g = -8 for k.
1
Suppose -2*q + 3*u + 30 = -2*u, 0 = -3*q + 5*u