 y.
-2
Let z = -15 + 18. Suppose a = 3*d + 6, z*d + d + 8 = -2*a. Solve -4*b + b = 5*y - 6, y = a for b.
2
Let x = 5 + -3. Solve 3*a - x + 1 = j, -a - 5*j + 11 = 0 for a.
1
Let x be (-3 - -1) + 21/(1/1). Solve -5*f + 0*w + w + x = 0, -w + 13 = 3*f for f.
4
Let h be ((-74)/(-4))/(-1)*-2. Suppose -16 = -p - p + k, -5*p + k = -h. Solve v + 2 = 5*w - p, 4*w - 9 = -v for w.
2
Let h be (-20)/2*2/(-5). Solve h*q - 23 = 4*f - f, -5*q + 2*f = -27 for q.
5
Let k be (-4)/18 + 94/(-72)*-4. Solve 0 = -5*a, 11 - 26 = -k*s + 3*a for s.
3
Let o be (-36)/12 - 9/(-1). Let v be o + -2*2/4. Solve v*m + 2 = 3*s - s, 2*s + 6 = m for m.
-2
Suppose 0 = 10*o - 56 - 4. Solve 0*l - 2*l - 3*n = 4, 0 = 3*l - 3*n + o for l.
-2
Let o = 7 + -7. Let y = o - -5. Solve 0 = 2*a + y*n - 5, -4*a - 2*n + 0 = -2 for a.
0
Suppose 3*d = 4*r - 0*d - 17, 0 = 2*r - 5*d + 9. Suppose -2*m + 7*m = 20. Let i(y) = -4*y + 1. Let z be i(-4). Solve 2*u = 2*k - 0 + r, -m*k + 3*u = z for k.
-5
Let s be (-2)/(1/9*2). Let a = s - -11. Solve 20 = -2*p - 3*p - 5*w, -a*p + w = -7 for p.
1
Let w(j) = 6*j**2 + 2*j + 3. Let s be w(-2). Suppose 0 = 3*q - 5*a - s + 7, a - 6 = -4*q. Let b = 3 + q. Solve -5*g = 4*r - 10, -3*r - 4*g = g - b for r.
5
Suppose 17*o - 45 = 8*o. Solve 3*a + 15 = 0, -6*l + o*a = -4*l - 29 for l.
2
Let q be -2 + 2 - -14 - 2. Solve 3*p + 3*t = 8*t + 32, 0 = -4*p - t + q for p.
4
Suppose -7*p = -4*p. Let c(o) = 2*o. Let k be c(1). Solve 3*n - k = w, -2*w + 5*n - 4 = -p for w.
-2
Suppose -5*p + p - 12 = 0, -4*f - 2*p + 14 = 0. Suppose o - 5 - 15 = -4*i, -2*i = -f*o + 12. Solve 4*d - o*y + 8 = 0, -y + 3*y - 16 = -2*d for d.
3
Suppose k - 4*k = 2*n - 24, 0 = k. Let j = n + -10. Suppose 2*m - 8 = v, 5*m - 22 = 5*v - 2. Solve -5*o = -5*c + 15, v*o = 3*c + j*o + 1 for c.
1
Let h(y) = y**2 - 13*y + 3. Let c be h(13). Solve -15 = i - 4*z, 5*i = -z + c*z - 3 for i.
1
Let b(w) = w**2 + w + 3. Let s = 3 - 3. Let d be b(s). Solve -3*i = a + 15, -2*i - 5 = d for a.
-3
Let a(w) = -2*w + 10. Let u be a(-7). Solve 2*b + 4*h - 10 = 0, -5*b - 5*h - 4 = -u for b.
3
Let v(m) = -m**2 + 6*m - 4. Let j be v(3). Let r = 0 + j. Solve 5*u + 3*z - z + 7 = 0, -31 = r*u - 4*z for u.
-3
Let b(j) = j**2 - 7*j + 11. Let g be b(5). Suppose 4*t + g = 13. Solve 0 = 2*w, -t*w - 7 - 1 = 2*v for v.
-4
Let s be 6/(-10) - 23/(-5). Solve -2*l = -s*h - 10, l = h - 1 + 5 for l.
3
Let v(j) = -j - 5. Let o be v(-9). Suppose -8*z - 5*k + 5 = -3*z, -3*z + o*k = 4. Solve 5*i - 19 = a, -i + z*i = -4 for a.
1
Let h = 8 + -5. Suppose h*v + 0*d = 4*d + 8, -3*d = 3*v - 15. Solve -4*y + v = -3*g, 2*y + 30 = -5*g - 3*y for g.
-4
Let s be ((-5)/(-2))/(4/8). Suppose s*t - 5*p = -2 + 7, 3*t - p - 3 = 0. Let j(i) = 6*i - 1. Let f be j(t). Solve -8 - 2 = -2*a, -5*a + f = -5*c for c.
4
Let f(p) = -4*p**3 + 2*p**2 + p - 3. Let l be f(-2). Solve 4*k - 3*g = l, -3*k + g + 10 = 2*g for k.
5
Let n = 738 + -736. Let b = 6 + -4. Solve -4*q - 4 = -4*m, n*m + 0*m = -2*q - b for q.
-1
Let g = 1 + 3. Solve -t + 5*t = -f - 4, -4*t = 4*f + g for t.
-1
Let t = -1 - 2. Let k be -15*(8/3 + t). Solve x - k - 4 = m, -5 = 5*m + 5*x for m.
-5
Let u(l) = l + 2. Let k be u(4). Suppose 3*b + 3 = -k. Let m(n) = -n**2 - 3*n + 4. Let f be m(b). Solve 3 = 5*g - 4*t, 2*g - 1 = f*t + 5 for g.
-1
Suppose 11*b = 10*b + 3. Let j(v) = -v**3 + 3*v**2 - 2*v + 3. Let i be j(2). Solve 4*c - 5 = -i*o, -4*c + b*o = 19 - 6 for c.
-1
Let r(w) = 6*w. Let z(a) = -2*a. Let m(p) = 6*r(p) + 17*z(p). Let i be m(1). Solve i*k - 22 = s + 3*s, 3*k - 21 = 2*s for k.
5
Let z = 12 + -10. Let m be (-1 - -2)/(z/24). Let h(y) = -y - 1. Let l be h(-4). Solve -r = -d, -l*r + m = -5*d + 4 for r.
-4
Let d = 23 - 21. Solve 4*p = -d*s, 4*p - s - 3 = 3 for p.
1
Let z = -1 - -7. Solve -2*g = -2*v + z, 2*v = -g - g + 2 for v.
2
Let u(i) = -i**3 - 6*i**2 - i - 5. Let a be u(-6). Let f be 8*a/(-2)*2. Let l = -5 - f. Solve l*s + 6 = 3*h, -3*s - 30 = -0*h + 5*h for s.
-5
Suppose -4*l + 5*l - 1 = 0. Let d = 4 + l. Suppose 6*k - 4*s = 3*k - 8, s = 5*k - 15. Solve 5*b - 25 = -k*o + o, -d*o = -2*b - 21 for o.
5
Let o be ((-6)/4)/(4/(-8)). Suppose 0 = o*j - w + 5, 4*j + w = 6*w - 25. Let k be 0/(-2 - (0 - j)). Solve -4*h - u + 24 = 0, 0 = 2*h - 5*u + 10 - k for h.
5
Let o be 4/(-8)*-10 - 2. Let c(l) be the third derivative of 7*l**4/24 - l**3/6 - l**2. Let p be c(o). Solve -5*s + p = 0, 2*s + 3*s - 32 = -3*h for h.
4
Suppose 2*d = 14 - 4. Suppose t + 16 = 2*o - t, -2 = -o - t. Suppose -2*c - o*z + 5 = -1, -5*c = -d*z - 50. Solve 3*a - 3 = -x, -5*x = a - 7 - c for a.
0
Let d = -8 - -3. Let q = 7 + d. Let r be (7/(7/q))/1. Solve 2*y - 1 = 3*p, 0*p + p - 13 = -r*y for y.
5
Let k be 11/2 - (-2)/(-4). Let q be (3/2)/(3/8). Suppose -o - 4 = -c, 20 = 5*c + 3*o - q*o. Solve 0*g - g + 2*w = -7, -c*g = k*w + 37 for g.
-3
Let v be 8/(-2 + -2 + 6). Suppose v*w - 4 = 4. Solve w*i + 4 = 4*r - 2, -4*r + 16 = 0 for i.
5
Let q(u) = -u**2 + 5*u - 3. Let n = 11 + -7. Let y be q(n). Let f be (-4)/14 + 64/28. Solve -4*j - 3 + y = f*g, -3*j - 2 = g for j.
-1
Let y be (-1 - -13)/4 - -1. Let f(p) = -p**2 + p + 2. Let x be f(2). Solve 3*k + y*s + 32 = 4, k - s = x for k.
-4
Suppose -2 = -2*q + 3*v - 0, -4*q = 3*v - 4. Solve 4*j + 4*h = -12, -3*j + 6*j + q = h for j.
-1
Let f = -11 - -26. Solve -5*n + 2*j = f, 2*n + 0*n - 2*j = 0 for n.
-5
Let a = 16 - 16. Solve -4*o = 5*w - 6, 3*o + w + 2*w - 3 = a for o.
-1
Suppose 0*n + 10 = 5*n. Solve 4*b = -12, -n*l - b - 15 = 2*l for l.
-3
Let i(n) = n**2 - n - 18. Let d be i(0). Let y be (-60)/d - (-1)/(-3). Solve -p = -3*p + x + y, 1 = 4*p - x for p.
-1
Suppose 14 - 4 = 2*d. Solve 5*y + 13 = a, 3 = -d*y + 5*a - 2 for y.
-3
Let a(s) = s + 6. Let t be a(1). Solve 0 = m + p + t, -3*m + 2*p - 10 = m for m.
-4
Suppose -8 = -2*i + 10. Let s be i - (-3)/((-4)/(-4)). Solve j + 5*f + s = 0, j + 24 = 5*j - 4*f for j.
3
Let o = -17 - -21. Solve s = -u + 4, 2*s - o = -u + 4*s for u.
4
Let v be 6/8*(-2 - -10). Let z be (-3)/(v*3/24). Let w be (1 + z + 2)*-4. Solve 0*g + 2*g + w*d + 2 = 0, -2*g + 13 = -d for g.
5
Suppose -4*h = -2*h - 6. Let p be 33/(-18) - -2 - (-118)/12. Solve -p = -4*u - i + h*i, -3 = i for u.
1
Let b be ((-3 - -7) + 0)*1. Solve -b*o - 12 = 5*l, 2*l = 3*o - l + 9 for o.
-3
Suppose -q = 2*q - 15. Solve t + 8 = 3*y, -5*y + y = -q*t - 29 for y.
1
Suppose 3*r - 2*q = 3*q + 90, -r = -3*q - 34. Let v be 54/12*(3 + 1). Let t = r - v. Solve -3 = -n - t, -3*m - 5*n = 20 for m.
0
Suppose 0*x + 2 = x - g, x = -4*g + 7. Let c(l) = -2*l - 9. Let j be c(-7). Let z = 6 - 4. Solve 3*q - y - j = 1, z*y - x = q for q.
3
Let f = -5 + 9. Suppose -n - f*n = -75. Suppose -d = 4*d - n. Solve -5*q - 1 = s - 5, -d*s + 12 = q for q.
0
Let g(c) = c**3 - 3*c**2 + 3*c - 5. Let i be g(3). Solve 4*u = 3*a - 13, 4*u = -i*a - 0*u + 8 for a.
3
Let z = -4 + 11. Solve l - z = -3*d, -6*l = -2*l + 5*d - 21 for l.
4
Let j = -1 - -8. Suppose 2*o - j = -3. Solve -o*k - 2*l = -2, -2*k - 2*l = 2*l - 8 for k.
-2
Let z = 0 + 2. Suppose 0 = -z*q - 16. Let j = q + 12. Solve 7 + 5 = 4*b - j*w, 4*b + 15 = -5*w for b.
0
Let v = 91 - 91. Solve v = 4*f + y + 5, 0 = -2*f + 4*f - 3*y - 15 for f.
0
Let y(w) = -w. Suppose -4*i - 4*p - 8 = 0, 0*p = 3*i - 5*p + 6. Let v be y(i). Solve -v*h + 2*u + 3*u + 29 = 0, -2*h = 2*u + 6 for h.
2
Let w be (12/(-2))/(42/(-28)). Solve 0 = -t, -2*f = -f + t + w for f.
-4
Suppose i + 8 = 12. Solve 5*a - f = -3*f - 8, 0 = -i*f + 4 for a.
-2
Let s be ((-10)/(-3))/(1/3). Suppose 5*b = 87 - 77. Let d = 3 - 1. Solve d*z + 5*g = s, 4*z - b*g - 20 = -0*g for z.
5
Let k = -18 + 21. Solve 0 = -2*c - o - 13, k*c + 7 = -0*c + o for c.
-4
Let l be ((-14)/(-49) - 4/14)/(-1). Let i be (0 + 3)/((-3)/(-2)). Suppose l = -i*r + r + 2. Solve 4*x + 7 = -r*u - 11, 4 = -4*u for x.
-4
Let u(j) = -j**3 - 2*j**2 + 3*j - 4. Let g be u(-3). Let m = g - -9. Let q = m - 2. Solve y - 4*c + 14 = 0, -2*y - q*y + 5*c = 10 for y.
2
Let c be 35/(-14)*(-8)/10. Solve -4*n - z = -20, -5*z = 3*n - c*z - 24 for n.
4
Suppose 38 + 127 = 5*d. Suppose 2*h - d = 3. Let c be (5/(-2))/(-5)*h. Solve k - 3 = -5*o + 10, c = 5*k - 3*o for k.
3
Suppose -5*f - 43 + 10 = -4*t, 3*f + 19 = 2*t. Let n = 5 + f. Solve -z - 5*m - 6 = -0, -5*z + 5*m = n for z.
-1
Let j = -20 - -18. Let i be 6/(-2) - (-1 + j). Solve 3*b + 1 = -t, i*b + 2*b = t + 1 for t.
-1
Suppose 0*u - 20 