 12*d - 15. Let c be y(w). Let q be c/(-10) + 22/4. Solve 2*v = r + 2, r = -1 + q for v.
3
Let n(s) = 3*s - 3. Let d be n(4). Suppose p + q = -q + d, 2*p - 38 = q. Let i(k) = 2*k + 3. Let o be i(3). Solve 5*z + 5*u = -18 - p, z + o = -2*u for z.
-5
Suppose q = -2*d - 5, q - 4 = -5*d - 18. Let b be 12/18 - 58/d. Suppose -25 = 2*i - i - 5*t, b = 3*i + 4*t. Solve 3*h + 12 = 2*z - h, i = 3*z + 2*h + 22 for z.
-4
Let j be (3/2)/(11/44). Suppose 60 = -j*z + 10*z. Solve 0 = -4*n + 2*b + 3*b - 20, -3*b - z = 3*n for n.
-5
Let j be ((-9)/12)/(1/(-4)). Solve 0 = -j*o + 2*q + q - 3, 13 = 5*o + q for o.
2
Suppose 3*g - 4*a = 18, 2*a = 3*g - 3*a - 15. Solve -3*b + 4*w + 6 + 3 = 0, 2*b - g = 4*w for b.
-1
Let q = -3 + -1. Let p = q - -9. Solve 2*t = 7*t - 5*g - 15, -4*g - 13 = -p*t for t.
1
Suppose -21 = 5*k + 29. Let w = 15 + k. Solve -5*q + 1 + 11 = -v, 3*v = w*q - 6 for q.
3
Suppose 0 = -f + 6*f - r - 24, -3*f = -5*r - 32. Let j be ((-8 - 0) + 6/3)/(-2). Solve -5*d + 5*n = -15, -f*n - j - 8 = -3*d for d.
1
Let w(i) = i**2 - 2*i + 1. Let s be w(1). Let d be 37/(-2) + 1/2. Let r = -4 - d. Solve 3*k + r = -5*c, -3*k - c + s + 2 = 0 for k.
2
Suppose h + 1 - 6 = 0. Solve 4*f - 10 = -f, r = 2*f - h for r.
-1
Suppose 13*g - 33 - 32 = 0. Solve -3*m - g = h - 0*h, 4*h = -3*m + 7 for m.
-3
Let w(y) = -y**2 - 6*y - 5. Let v be w(-4). Solve c - 5*d = -9, 3*c = -c - v*d - 13 for c.
-4
Let y = -5 - 6. Let g = y + 15. Let v(p) = -p**3 - p**2 + p + 1. Let j be v(-2). Solve -5*l + 3 - g = -j*f, 5*l = -f - 13 for f.
-3
Suppose -3*m - 9 = 4*q, -2*m + 9 = 2*q - 5*m. Suppose q = b - 3*b + 6. Solve -b*s + 4*r = -0*s + 23, 0 = -s + r - 6 for s.
-1
Let p(y) = 2*y - 17. Let t be p(13). Let f = t + -5. Suppose 7*b = 3*b. Solve b*g - 12 = -2*h + f*g, -2*h + 17 = -5*g for h.
-4
Let v = 6 - 4. Let w = 13 - 9. Let r = -3 + 17. Solve -r = -2*f + v*d, 0*d = w*f + d - 18 for f.
5
Let y = 183 - 179. Solve -r = 2*r + 3*h, y*r = h - 10 for r.
-2
Let p(r) = -1. Let j(i) = i**3 + 6*i**2 + 3*i + 1. Let o(w) = j(w) + 2*p(w). Let d be o(-3). Solve -3*l = -0*m - m - d, -3*m + 2*l = 16 for m.
-2
Suppose -5*p + n - 4*n - 11 = 0, -3*p - 5*n = -3. Let i = 1 - p. Solve -a = 3*t - 5*a + 7, -i*a + 5 = 0 for t.
-1
Let y(z) = -3*z - 16. Let s be y(-7). Solve b + s = -3*k, 3*k - 3*b = -2*b - 1 for k.
-1
Let j(x) = x**2 + 3*x - 4 + 2 - 6*x. Let u be j(3). Let m = 5 + u. Solve 5 = g - t, g - m*g = 2*t + 6 for g.
1
Let h be 3 + 1 + (-4)/(-4). Suppose 3*r + 2 = 26. Suppose -h*z + r*z = 0. Solve 0 = y - 3 - 2, -3*s + 2*y + 2 = z for s.
4
Let b(d) = -2*d**3 - 28*d**2 - d - 9. Let r be b(-14). Suppose -4*v - 55 = -9*v + 5*s, 0 = 4*v + s - 64. Solve 15 = f + 2*h, f + 3*h = v + r for f.
5
Let r = -1 - -6. Let p = -2 + r. Solve -p*y + 15 = 0, -3*d - 5*y + 21 = d for d.
-1
Let a(q) = q**2 - 6*q - 3. Let o be a(6). Let n = o - -8. Suppose n*y - 15 + 0 = 0. Solve -z = -0*z + c, 4*z = -y*c - 4 for z.
-4
Let o = 9 - 5. Suppose 0 = 2*m - o*m + 10. Suppose 4*t - 6*t = 0. Solve t = m*z - r + 2*r + 2, 2*z - 4*r = 8 for z.
0
Let o = -31 - -34. Solve 5*t - 27 = 5*a + o, 6 = -3*a for t.
4
Let b(x) = x + 9. Let o be b(-5). Suppose 0 = -o*t + 6*t. Solve 4*v + g - 9 = t, -3*v = -v + 2*g - 6 for v.
2
Let p be 2/(-9) - (-28)/(-36). Let x be 3/(-1)*p*1. Let k = x + -3. Solve -q - 3*q + 5*a + 4 = k, -4*q = a + 20 for q.
-4
Suppose v - 5*q = 17 - 58, -q + 151 = -3*v. Let l be v/(-7) + 2/(-7). Solve 3*a + 11 = -2*u, -l = 3*u - 0*u - 5*a for u.
-4
Let h be 6 + (0/(-1) - 1). Let q = h - -1. Solve 3*b - 5*p - 22 = -0*b, q = -3*p for b.
4
Let d(w) = -3*w**2 - 7*w - 2. Let a(l) = 4*l**2 + 7*l + 3. Let x(f) = 4*a(f) + 5*d(f). Let k be x(7). Solve -k*s + 14 = -4*v, -2*v = s + v + 13 for s.
-1
Suppose -17 = -3*f - b, -4*f + 0*f + 16 = 3*b. Suppose -f = -4*j + 1. Let d be j/(-1 + (3 - 1)). Solve d*r - 3*c + 6 = 0, 4*c - 7 = 1 for r.
0
Let a = 15 + -25. Let i be 24/5 + (-2)/a. Solve -16 = -3*m - 4*t, -11 = 2*m - i*m + t for m.
4
Let k = 0 - 0. Suppose k = -2*o + i + 6, -i = o - 4*i - 8. Solve -5*c + u = -17, 9 = o*u + u for c.
4
Let z be 46/11 - 2/11. Let x = 2 - z. Let p(b) = -3*b + 2. Let j be p(x). Solve -20 = -5*y, -5*s = -j*y + 4*y + 41 for s.
-5
Let s = -32 + 22. Let i(f) be the third derivative of -f**4/12 + 2*f**3/3 + 3*f**2. Let p be i(s). Solve -3*q + 5*k = -p, 0 = q - 3*k - 2 - 10 for q.
3
Let w(i) = i + 15. Let d be w(-13). Solve 3 = -l + d*l - 3*v, 2*l - 2*v = 2 for l.
0
Let f(t) = -t. Let c be f(1). Let m = 1 + c. Suppose m = 2*y - q + 1, -y = q - 8 + 4. Solve 10 = -2*d - 3*h, 5*h + y + 1 = 4*d for d.
-2
Let h(i) = -i**2 - i + 2. Let w be h(0). Solve -2*y - w = c, -5 = y + 3*c + 1 for y.
0
Let d = 11 + -11. Solve 0 = o + 8*k - 4*k + 13, d = -5*k - 10 for o.
-5
Let t be 0 + 2 - (1 + 1). Let g = 0 + t. Suppose -5*f + 25 = a + 4*a, -f + 3*a + 5 = g. Solve 3*k - f*v + 15 = 0, 5*k + 3*v + 12 + 13 = 0 for k.
-5
Suppose -35 = -5*z + 5*k, -5*z + 14 = -2*k - 6. Solve 2*t - z = -x, 4*x - 1 = -3*t + 2*x for t.
3
Let b(p) = -p**2 - p + 205. Suppose 2*q + 2*q = 0. Let v be b(q). Suppose -i - 4*i + v = 0. Solve 21 = -5*u + 4*u + 4*y, -5*u - i = -4*y for u.
-5
Let o(k) = -k**2 - 2*k + 4. Let x be o(-3). Let a be 7/7*x*2. Let s be 0/1 + a + -2. Solve 0 = 4*v + v - 3*p + 25, s = -3*v + 5*p - 31 for v.
-2
Let a = 5 + -9. Let f = 8 + a. Solve -2*d + 6 = x - 4, f*x - 1 = 5*d for d.
3
Suppose 3*p + 15 = -2*z, -3*z - 8*p + 3*p - 25 = 0. Solve z = -5*g, 10 = -3*v + v + 5*g for v.
-5
Let y be (-64)/(-20) - 1 - 2/10. Let i = 3 - -1. Solve y*l + j + 2 = 0, -10 = -j - i*j for l.
-2
Let o(k) = k**3 + 4*k**2 + k - 2. Let v be -1*(-1 + 0)*-3. Let w be o(v). Solve 0 = -5*d - 20, -d + 28 = w*q - 3*d for q.
5
Let d = 11 - 7. Let g = d - 4. Let s be (1/(-2))/(4/(-24)). Solve -s*t - 2*h + 12 = -0*t, g = -4*t + 2*h + 16 for t.
4
Let i = -40 - -28. Let v be ((-3)/2)/(9/i). Solve 4*o + 41 = -5*p, v*o + 3*o - 5*p - 5 = 0 for o.
-4
Suppose 3*m + 2*o - 14 = 0, m + 2*o - 10 = -0. Solve 2*v + 2*n - m + 10 = 0, 4*v = 3*n - 2 for v.
-2
Let s be -5 + (6 - 2) + 3. Solve 3*p - s*l = 14, -2*p - 10 = -p + 3*l for p.
2
Suppose d - 3 = -0. Suppose 4*u + 15 = 3*n, 4*u + 15 = 9*u + d*n. Solve -j + 5 = -q - 0*j, u = -5*j for q.
-5
Suppose c - 3*j = 8, -2*j + 49 = 5*c - 42. Let u = c - 11. Solve 5*b - 14 = u, 0 = -5*i - 3*b + 37 for i.
5
Let c be -2*(-3 - -4) - -8. Let z(i) = 2*i**2 - 9*i - 3. Let f be z(7). Solve -3*p - 4*g = -27, 4*p + c*g = 2*g + f for p.
5
Let x = -9 - -10. Solve 0 = 5*s - a + 3 - x, 3*s - 4*a = -8 for s.
0
Suppose -7*v - 7 = -21. Solve -22 = -5*p + 2*u, -v*p + 2*u + 10 = -0*u for p.
4
Let l(p) = -3 - 4*p + 2*p + 0*p + 3*p. Let k be l(3). Solve -n + 2*q = 8, -3*n + 4 = q - k for n.
0
Suppose 2*h - 2 = 6. Suppose -4*s + 14 = 5*l, 9 = 5*l + 5*s - 6. Solve -2*x + 0*x - 3*u = 1, -6 = -l*x + h*u for x.
1
Let n(w) = -w**3 - 8*w**2 - 7*w - 4. Let b be n(-7). Let g be -15*2*b/24. Solve 0 = -g*f + 2*m, 4 = 2*m - 6 for f.
2
Let l = 42 + -39. Solve 0 = 3*g - b - 0*b + 13, 4*b + l = g for g.
-5
Let s be (2/(-6))/((-1)/9). Suppose -s*r - c + 16 = 0, -8 = -r - c - 0. Solve 3*a = -q - 18, 0 = q - 2*q - r*a - 23 for q.
-3
Let i(l) = -8*l + 4. Let x be i(-2). Let f be ((-10)/(-6))/(2/6). Solve 4*p - f*h = -23, 4*p + 0*h - 4*h + x = 0 for p.
-2
Let i = 53 + -22. Solve 0 = -3*s + 5*m - i, 4*s - 3*m + 2 + 21 = 0 for s.
-2
Let m(x) = -5 + 18 - 2*x + 3*x. Let s be m(-11). Solve -l = 3*u + 6, -s*l - 1 + 0 = -5*u for u.
-1
Let z = 1 - -3. Let h = 6 - z. Suppose 0 = 2*o - h*w, 5 = 2*o + 2*w - 3. Solve 0 = -g - 3*j - 9, o*g + 5*j + 5 = -11 for g.
-3
Suppose -i - 2*i + 5*o + 7 = 0, -5*o - 11 = -4*i. Solve -5*b = c + 20, 4*c + i*b - 1 = -17 for c.
0
Suppose 3*y = -o - 2*y - 5, y + 1 = o. Suppose 0*m = 2*m + p - 4, 0 = -3*m - 2*p + 6. Suppose 8*c = m*c + 54. Solve -2*h - c = 5*b, -4*b - 4*h = -o*b for b.
-3
Suppose -5*i + 2*r = 83, 2*i + 3*i - r = -79. Let o = i + 18. Solve x - 4*z - 7 = o, -4*x = -z - 10 for x.
2
Suppose 7*n - 9 = 4*n. Solve 2*o = -o + 3*c + 3, o - 5 = n*c for o.
-1
Suppose -8*l + 4*l = 0. Suppose l = o - 4*o. Solve 4*n + 4*a + 8 = 0, 3*n + 4 = -4*a - o for n.
-4
Suppose 5*l = s - 3, 2*s - 7*s - 8 = -2*l. Let w be 5 - (-5 + l + 3). Suppose -w*j + 36 = -4*j. Solve 3*k = -0*k + 2*g + j, 30 = 3*k + 5*g for k.
5
Suppose -3 = -2*b + 1. Suppose 3*u = 2*u + b*f - 10, 4 = f. Let 