k - s*p + 17 for k.
-5
Let b be (-12)/(-8)*4 + -3. Suppose -7*s + 48 = -b*s. Solve 4*y = 2*y - 5*d - 28, -s = 2*y + d for y.
-4
Let j = -16 - -18. Let h(t) = 3*t + 1. Let f(q) = 2*q. Let b(w) = -4*f(w) + 3*h(w). Let o be b(4). Solve u = -z - 3 + j, 5*u - o = -2*z for z.
-4
Suppose 9 = -4*p + 7*p. Solve p*q = 5*q + 4*v + 18, 4*v = q - 15 for q.
-1
Let i = -21 - -31. Suppose 0 = -3*a + 3*p - 9 - 6, a + 4*p = -i. Let v be 3*6/(-9) - a. Solve -2*c + 2 = -o, c + v = -2*o - 0*c for o.
-2
Suppose 3*f + 4*x - 1 = -2, 2*f = 2*x + 18. Suppose 0 = -2*h + f*h. Solve -3*q + 15 = 0, h = -2*v + 7*v + 4*q - 35 for v.
3
Suppose 2*u + 3*t - 6 = 0, 3*t = -4*u - 2*t + 14. Suppose -4*a = -8, 5*r - a - 2 - u = 0. Solve -2*x = -r*m - 1 + 5, -2*m - 2 = 4*x for x.
-1
Let c be (15 - 14)*(4 + 1). Solve -t - v - v = 10, -c*v = -3*t + 25 for t.
0
Let k = 0 - 0. Suppose k*o = -2*o + 6. Solve 5*p + 0*h = -4*h - 41, 4*h = o*p - 1 for p.
-5
Let d be 3 - (1 + 1) - 1. Solve 4*z = -5*y + 10, d*z - 2*z - y + 8 = 0 for z.
5
Suppose 5*r - 19 = 36. Suppose -2*j = -j - r. Solve -3*d = -4*q + q - 6, q + j = 4*d for q.
1
Let w be (-2 + 3)*-1 + 11/1. Solve c + 6 = m, m = 5*c - 0*c + w for c.
-1
Let g = 8 + -4. Solve -5*y + g*r = 0, 5*r + 15 = -3*y - 22 for y.
-4
Suppose -c = -5*j - 64, 11 = 2*c + 3. Let t be j/(-10)*30/9. Solve -t*y = 4*d + 8, 11 = -2*d + 3 for y.
2
Let t(q) = -9*q - q**2 + 1 + 2 - q + 0*q**2. Let g be t(-8). Solve f + 1 = 0, w - 5*w = 3*f + g for w.
-4
Let a be (-1)/(-1 - (-12)/9). Let q = a + 8. Solve -1 = 3*s + 3*d - 13, 5*d = q*s for s.
2
Let y = 5 + 0. Suppose 0 = -5*m + 3*m + 8. Suppose -4*z - x = -0*x - 96, 5*z - x = 120. Solve 5*u = w + z, -m*w - u = y + 7 for w.
-4
Suppose 3*a + 0 - 18 = 0. Let i = a - 2. Solve 5*h - 5*r + 25 = 0, -r = -h + i*h + 15 for h.
-5
Let s = 7 + -7. Solve -2*n = 2*o + 2, -3*n - 4*o + s*o - 1 = 0 for n.
-3
Let f = 0 - 0. Let o(l) = -l**3 - l + 3. Let m be o(f). Suppose 3*k = 10 - 4. Solve m*n - k*n - 1 = 0, 0 = -5*g - 5*n + 5 for g.
0
Let m = -21 + 26. Solve 6 = j + 2*a + 1, -11 = -2*j - m*a for j.
3
Let k(f) = -f**3 + 7*f**2 - 6*f + 3. Let t be k(6). Let q = t - 4. Let o be (q + (-15)/6)*-2. Solve -s - o = -2*d, 2*d = d - 3*s for d.
3
Suppose 3*i + i = 0, 0 = 5*b - i - 10. Solve 0*j = 4*j - 5*c + 40, -b*j + 2 = 3*c for j.
-5
Let j be (-1 + 1)/(3 - 2). Solve j = -m + 5*g + 25, -5*m + 2*g + 0 + 33 = 0 for m.
5
Let y(i) = 2*i - 1. Let k be y(1). Let c(j) be the first derivative of 3*j**4/2 - j**2/2 - 3. Let t be c(k). Solve 0*s + t*s + 4 = 4*n, -s - 3 = -3*n for s.
0
Let a = 24 - 18. Solve 0 = u + a*j - j - 9, -j + 21 = 5*u for u.
4
Suppose 2*u + 4*p + 8 = 3*u, -u = 5*p + 10. Let m be (-1 + u)*(9 - 11). Solve 2*o + 9 = 3*g, 5*o - m*g + 19 = 2*g for o.
-3
Let u = 5 + 0. Let z(p) = -p**2 - p + 17. Let v be z(-4). Solve -45 = u*d + v*r, r - 21 = -d + 6*r for d.
-4
Let a = -49 + 69. Let s(l) = 0*l + 10 + 2*l - 3*l. Let b be s(8). Solve -2*p = b*p - a, 3*v - 2*p + 16 = 0 for v.
-2
Suppose 3*n + n - 96 = 0. Let u be ((-6)/4)/((-9)/n). Solve 2*m - 4*b = 8, -m - 4*m = -2*b + u for m.
-2
Let g = -12 - -21. Let w be ((-2)/3)/((-6)/g). Suppose -w = -2*p + 1. Solve -2*b + i + p + 0 = 0, 5*b - 3*i - 4 = 0 for b.
-1
Let p be 3/(-1)*7/(-21). Solve 5*d = 2*k - 11, -2*k + 4*d = -11 + p for k.
3
Let j be 4*(-20)/(-32)*-2. Let t(o) = o + 10. Let f be t(j). Solve -2*r = f*g + r - 31, 5*g + 5*r - 35 = 0 for g.
5
Suppose 0 = -2*h - 8, 2*m + 2*h - 22 = 5*h. Let q(a) = -a**2 + 5*a + 3. Let i be q(m). Solve 4*u + 0*u + k = -16, i*u - 4*k + 12 = 0 for u.
-4
Suppose 4*g - 3*g = b - 3, -21 = -2*b + 5*g. Let r be 2/b + -1 + 5. Solve i + r*k = -2*i - 27, i = -5*k - 29 for i.
-4
Suppose 0*u + 5*u - 40 = 0. Let i = 13 - 6. Suppose -i + 4 = -3*z. Solve -f = -4*d - u, -z = 3*d + 5 for f.
0
Suppose 0 = -8*l + 3*l + 5*x + 35, 2*l = 5*x + 26. Suppose l*n = n + 4. Solve -f + 18 = 4*b, 3*f = -4*b + 12 + n for b.
5
Suppose -4*u - 3 = 5*w, 0 + 6 = -3*u. Suppose w = -j + 3. Suppose 2 = j*x - 6. Solve 0 = -x*r - 12, 30 = -3*a - r - 4*r for a.
-5
Suppose 3*z + 13 - 1 = 0, 3*z - 8 = 2*d. Let a be (-7)/(-5) - (-4)/d. Let h(w) = w + 26. Let n be h(-12). Solve l = 4*q - n - 4, q = 3*l - a for l.
2
Let g(c) = 2*c**2 + 7*c - 1. Let o be g(-4). Solve 5*m = 3*f - 4*f - 4, -4*f + 1 = o*m for f.
1
Let y = -104 + 105. Solve s - m = 2 + y, 0 = -2*s + m + 5 for s.
2
Let b be 1/(-2) + (-1)/(-2). Solve -8 = 2*s, b = 2*r - 0*s + 2*s + 14 for r.
-3
Let m be 20*-6*2/(-16). Suppose 3*j + m = -12. Let y(v) = -v**3 - 9*v**2 + v + 13. Let n be y(j). Solve -5*k = -n*w + 23, -5*k + 6*k - w + 5 = 0 for k.
-3
Suppose m - 2*m = -1. Let h(v) = 14*v**3 + v - 1. Let i be h(m). Suppose -4*y + 60 = 4*p, y + 0*y + 5*p - 35 = 0. Solve 4*f - y = r, -3*f - i = -7*f - r for f.
3
Suppose -60 - 72 = w. Let x be 2/3 + w/9. Let y be (x - 0)/(-1 + -1). Solve 10 = -o + 2*s, -y = -5*o - 4*s - 1 for o.
-2
Suppose -z - 13 = -5*m, 3*z - 1 = -5*m - 0. Solve -28 = 2*w - m*s - 10, -3*w - 35 = -5*s for w.
-5
Let a(d) = d - 1. Let i be a(5). Let x(c) = c + 8. Let z be x(0). Suppose -5*g + 40 = -5*k, -g + 0 = 3*k + z. Solve -g*f = -4*h + 24, i + 2 = 5*h + 3*f for h.
3
Suppose -2*h - 4 = -6*h. Let m be -1*h*(-17 + 1). Solve 0 = -4*k + 2*f + m, -4*f - 17 = -k + 1 for k.
2
Suppose -6 = 5*j + n - 28, j = 2*n. Suppose -5*u + 7*r = 2*r - 50, 2*r = 0. Let d = -7 + u. Solve 9 = -x - j*m, -2*x - 4*m = x + d for x.
3
Let u = 66 - 63. Solve -n = -3*b + u, -b - 5*n = 4*b - 25 for b.
2
Let u be (-10)/(-55) - 84/(-22). Solve -p + 5*g = 17, -5*p + 3 = u*g + 1 for p.
-2
Let o(k) = -k**3 + 16*k**2 - 15*k + 5. Let v be o(15). Solve -5*f - 20 = 0, 3*q - f = -3 - v for q.
-4
Let t be (-5)/6*(0 + -6). Suppose 0 = -x - 2*g - 1 + 13, t*g = -10. Solve 4*n + 0*n - 4*z = x, 4*z = -n + 9 for n.
5
Let s be 57/6 - 1/(-2). Let n be (s/(-4) - -1)*-2. Solve v = n*r + 3, -3 + 0 = -4*r - v for r.
0
Suppose 5 = 2*s - 7. Let v = s - 6. Suppose 5*m + z = 10 + 12, 7 = -m - 4*z. Solve m*b + 2*h + 4 = 18, v = -b - h + 4 for b.
2
Let v(f) = 16*f**3 + f - 1. Let x be v(1). Let h be (-1)/((-4)/x) - -1. Solve 4*y = -h*w - 23, w - 1 = -2*y + 4*y for y.
-2
Let j = 9 - 5. Suppose 2*l + 39 = u, j*u + 18 = -4*l + 138. Let s = u - 14. Solve -2*r - t + 4*t = -3, 0 = 5*r + 4*t - s for r.
3
Suppose 0 = -0*j + j - 3*k + 15, 0 = 3*k - 15. Let g(v) = -v**2 + 6*v - 1. Let r be g(5). Let l = j + r. Solve -2*u - d = -l*u - 2, 16 = -4*d for u.
-3
Let i be 1*(9/3)/(-1). Let q be 16/3 + i/9. Solve -l - x + 1 = -0*l, 7 = q*l + 3*x for l.
2
Let r be 1/(6/4 + -1). Suppose -r = -3*h - 26. Let z = h - -11. Solve 0 = n - z*u - 14, 5*n + 29 + 1 = -5*u for n.
-1
Suppose 108 = 3*x - 0*x. Suppose m = -2*m + x. Solve -m = -r + 5*w, 0 = r + 4*w + 1 + 14 for r.
-3
Let u = 26 - 24. Let v be (u/(-4))/(2/(-16)). Solve 0 = -5*x - v*b + 40, -2*x + 12 = 3*b - 11 for x.
4
Let c = 78 - 46. Let o = 4 - 2. Let m be o - 1 - (-6)/2. Solve 4 = 4*h - 4*t, 3*h = -2*h - m*t + c for h.
4
Suppose 4*y = -3*r + 26, -y - 2*y + 5 = -5*r. Solve k + 2*a - 7*a + y = 0, 25 = -5*k - 2*a for k.
-5
Let b = -25 + 27. Solve 3*r = b + 4, -3*r = -4*z + 2 for z.
2
Suppose -5*v + 50 = 5*q, -3*v + v + 32 = -2*q. Suppose 0*k - 28 = -2*k. Solve -c + i = -4*i + v, -i + k = -4*c for c.
-3
Let f be (-3 + 11)/4 - -1. Solve 2*k + 4*s = -20, k - f*s - 15 = -k for k.
0
Let w = 10 + -7. Suppose a = -2*l + 17, 3*a - w*l = -0*a + 33. Solve -4*i + a = d, -3*d + 2*i - 4 = -d for d.
1
Suppose -7 = r - 5*g - 0, g = -4*r + 35. Let o be r*(2 + (-1 - -1)). Let s = o + -11. Solve 3*x + 20 = 2*x - 5*b, 5*b = s*x + 10 for x.
-5
Suppose 5 = 2*r + 1. Let m be (0/(-1))/(r/(-2)). Solve m = 4*j + z - 15, -2*j + 27 = 3*j + 4*z for j.
3
Suppose 2*w - 5*u = -3*u + 14, 0 = w + 2*u - 4. Suppose -3*s = -0*s - w. Let c be (-1)/2 + 20/8. Solve -s*p + 6*l - 1 = l, 2*l = c for p.
2
Let c(s) = s**2 + 15*s + 14. Let i be c(-14). Suppose i = 4*o - 0 - 20. Solve -o*u - 44 + 7 = -3*h, -h = -4 for u.
-5
Let m(x) = x**3 + 2*x**2 - 5*x - 4. Let l be ((-5)/(10/(-12)))/(-2). Let n be m(l). Solve 5*d + 2*g - 12 + n = 0, 5*d - 3*g - 35 = 0 for d.
4
Let p(m) = -m**2 - 10*m + 11. Let i be p(-11). Solve -4*d + 5*z - 12 = i, 0 = -2*d - 5*z - 6 for d.
-3
Let l be 16/32*(9 - -1). Solve -l*d = -m - 5, 0 = -5*m + d - 1 - 0 for m.
0
Let p be (-8)/(-12)*(-27)/(-6). Suppose -3 - 3 = -p*m. Solve 2