p = 7 for m.
-3
Suppose 3*n - 4*k + 8 = 0, -n + k = -3*k + 8. Solve -r + 1 = n, -r = -c + 4*r - 1 for c.
4
Let m(c) = -c**2 + 8*c + 2. Let d be m(6). Let r = d + -13. Solve s = -4*o + 13, -5 = -2*o + r for s.
1
Let x(c) = -c. Let z be x(-4). Solve 4*s + 32 = 5*n, -3*s = -z*s + 4*n - 19 for s.
-3
Suppose -4*w - 9 = m, w = 3*m - 3 - 9. Suppose 0 = m*k - k - 2. Solve o = 3*s - 3*o - k, 0 = 5*s - 5*o - 5 for s.
3
Suppose -j + 5 = 1. Let s be 1/8*10*j. Solve -4*h = 12, 0*f = -2*f - s*h - 7 for f.
4
Suppose -2*a + a + 4 = 0. Solve -h - a*k - 16 = -5*h, -4*k - 21 = h for h.
-1
Let u(v) = -v**2 + 17*v - 19. Let s be u(16). Let r be ((-1)/s)/((-2)/(-54)). Solve 4*f + r = -c, 3*c - 5*c + 6 = 0 for f.
-3
Suppose -7*a + 12 = -3*a. Let c(u) = 2*u**3 + u. Let w be c(1). Solve -4*y + i + 22 = 3*i, -3*y = -a*i - w for y.
4
Suppose 2*h - 5*r = -h + 32, 0 = 2*h + r - 30. Let b = h + -10. Suppose 6*l = -10 + 70. Solve p - l = -p + 4*k, 7 = -p - b*k for p.
1
Let r = 7 - -3. Solve -r = w - 3*c, w + c - 15 = -w for w.
5
Suppose -5*u + 5 = -5. Let n be (-12)/8 - (-15)/u. Suppose -4*g + 18 = 5*q, 0 = -5*q + 2*q - g + 8. Solve 2*v - o = -1 - 2, -2*v - q*o = -n for v.
0
Suppose -5*y - 3*l + 4 = 0, -4*y + 3*l - 5*l + 4 = 0. Solve -4*k = -g + 15, 0 = 3*g + y + 1 for k.
-4
Suppose -3*f + 16 = -41. Suppose -2*u = -5*l + 16, -f = -2*l + 4*u + u. Solve -4*d - 2*c = 6, -2*d + 0*c = l*c + 4 for d.
-1
Let f(n) = -n**3 + 7*n**2 - 7*n + 6. Let o be f(6). Suppose -3*m + s + 0*s + 7 = o, 2*m - 9 = 5*s. Solve c + m*q = 9, -1 = -5*c - 4*q + 14 for c.
-1
Let v be (136/(-2))/(-4) + -3. Let a = 18 - v. Solve 5*k = 5*i + 20, 0*i - 4*k - 16 = a*i for i.
-4
Let m = -4 - -30. Suppose -i - z - 9 = 0, -z - 4 - m = 4*i. Let r(n) = -n**3 - 7*n**2 + n + 9. Let v be r(i). Solve d + 9 = 2*k, 4*d + 7 = v*k - 11 for d.
-3
Let i = 37 + -29. Let c = -4 - -8. Solve 2*o + c*v = -i, -o + 5*v = -5*o - 16 for o.
-4
Suppose 4*u + 0*d = -2*d + 26, 5*d - 17 = 2*u. Let i = -15 + 11. Let b be (i/(-6))/(6/18). Solve u*v = -8, 21 = b*m + 3*m + 2*v for m.
5
Suppose 5 = 3*u - w + 1, 3*u - 12 = 3*w. Solve 10 = -5*k - g, u*k - g - 4 = 3*k for k.
-3
Suppose 3*n = 9*n - 24. Solve 10 = n*a + 2*j, 5*a - 25 = -10*j + 5*j for a.
0
Suppose -9*i + 4 = -32. Solve 5*d = 4*g - 7, -i*g + g + 6 = -3*d for d.
1
Let k(n) = -n - 5. Let z be k(-10). Let b(q) = q**3 - 3*q - 1. Let c be b(-2). Let i = c - -6. Solve 0*s + 4*s + i*p + 17 = 0, -3*p + 1 = -z*s for s.
-2
Let z be 72/2 + (-12)/(-4). Let i(d) = 3*d**2 - 5*d - 1. Let a be i(4). Let g = z - a. Solve 4*j - 4 + 28 = -2*f, -4*j - g = -4*f for j.
-5
Suppose 28 = -3*g - q, 5*g + q + 50 = -0*q. Let d be (-1)/2 - g/2. Suppose 0*n = -2*n + 10. Solve n*f - d*m - 6 = -21, -4*f + m - 15 = 0 for f.
-4
Suppose -z = -3*g + 12, 0 = -3*g - 2*z + 2 + 1. Suppose k - 25 = -g*l, 3*l - 5*l + 12 = 3*k. Solve -s = 0, s = 4*b - l*b + 25 for b.
5
Let a = -7 - -10. Suppose -2*g - 26 = -5*f, -4*f + 16 = -a*g - 9. Let c = 3 - g. Solve t - 6*t = 3*d - c, 4 = -3*t + 2*d for t.
0
Suppose -u - 5*p - 21 = 0, 5*u - 1 = 2*p + 2. Let s be (u - 1)*10/(-4). Let l be (-1)/((-10)/8)*s. Solve -4*z + 7 = 5*d, -d + l*z - 8 = 5 for d.
-1
Let s be (-2)/9 - (-144)/(-81). Let b be 2/(3/((-6)/s)). Let l be -2*((-3)/b)/1. Solve 2*u - l*v = u - 15, 4*v - 25 = 3*u for u.
-3
Let t be (4/(-6))/((-28)/12 + 2). Solve -4*o = 0, -2*q - 4 = -q - t*o for q.
-4
Let k(v) = 2*v**2 + v - 2. Let u be k(3). Solve 5*s = 4*d - u - 0, 0 = s + 3 for d.
1
Let o(a) = a + 15. Let k be o(-13). Solve -k*u = 3*t + 12, 2*u + 3*u + 23 = -4*t for t.
-2
Suppose 0 = 8*q - 6*q + 40. Let u be (-2)/(-10) - 36/q. Solve -3*g = -u*k + 2*g - 28, 0 = 2*k + 3*g - 4 for k.
-4
Let a be (2 + -4)/2 - -4. Suppose -5*o + 4*i - 4 = 6*i, a*o + 4 = -2*i. Let t be (4/(-3))/((-2)/6). Solve z + t*d = 12, o = -0*z + z + d - 6 for z.
4
Let p = 33 - 27. Solve 4*r + 29 = 3*x, -4*x + 1 = r - p for x.
3
Suppose -4*z = -2*z - 10. Solve d + t + 2*t = 1, 1 = d + z*t for d.
1
Let s(r) = r**3 - 6*r**2 - 2*r + 2. Let p be s(6). Let t(h) = -h - 8. Let b be t(p). Solve 5*q + 15 = 0, v - 8 = b*v + 2*q for v.
-2
Suppose -u = -0*u, 3*r - 4*u = 33. Let s = r - 6. Solve s*o - 2*o - 4 = b, 5*o + 4*b - 1 = 0 for o.
1
Suppose -5*i = -v - 0*v - 4, -3*v = -i - 16. Solve -j = 2*j + 3*p - v, -4*j - 2*p - 2 = 0 for j.
-3
Let j(h) = -h**2 - 3*h + 3. Let c be j(-3). Suppose 3 = -l, -2*o + 6 = -l - c. Solve o*k - 5*s = 25, -2*k = -3*k + 2*s + 9 for k.
5
Suppose 2*q = -4*y + 6, 5*y + 9 = -0*q + 3*q. Let p be 4 - ((y - 0) + -1). Solve x = 4, 3*i + 23 = p*x - 3 for i.
-2
Let s be 2 - 0 - (-1 - 1). Suppose 3*n + 2*q + 19 - 86 = 0, s*n = 3*q + 95. Solve -n = x - h + 6*h, x - 4*h - 13 = 0 for x.
-3
Let n be (-23)/(-5) - (-2)/5. Suppose -2*c - c + 2*j + 46 = 0, n = -j. Suppose 2*o - c = o. Solve -11 = 3*y + 5*f, -6 = -2*y + 3*f + o for y.
3
Let t(a) = -3*a - 1. Let h be t(-1). Solve 0 = -2*b + 2*r + 12, h*b - 4*r = -r + 13 for b.
5
Let i be (-40)/(-6) + (-4)/6. Let d be 2/(-10) + 12/(-15). Let w be (i/2)/(d + 2). Solve -w*a - 10 = 2*f, 5*f + 3 + 3 = 2*a for f.
-2
Let s = -20 + 22. Solve -v - 4*v - 40 = 5*l, 0 = -s*v - 8 for l.
-4
Suppose 12*p - 7*p = 15. Solve 0 = -4*q - 8, -p*d - 5*q - 6 = d for d.
1
Let l be 80/(-13) + 11 - (-4)/26. Suppose -80 = -4*n - 0*n. Solve 2*a - 8 = 4*i, -l*a - i + n = -5*i for a.
4
Suppose -2*q = 3*q. Let x(k) = -k**2 + 2. Let o be x(q). Solve 2*z = 2*a, 4*a + 24 = -4*z + o*z for a.
-4
Let k = 2 - 2. Let h = k - 0. Suppose d + 3 - 5 = h. Solve -d*r = 2*z - 5 - 7, -r + 2*z = 9 for r.
1
Let t be -21 + 0 - (-3 + 0). Let i be 13/3 + t/(-27). Solve k + i*y + 5 = -2, k - 2*y = 7 for k.
3
Suppose 3*r = 4 - 1. Let s = 7 + -10. Let x be 6*r - (s - -4). Solve 0 = -3*k - k + 12, -x*q - 2*k + 16 = 0 for q.
2
Suppose -123 = -3*t + u, 3*u + 78 = 2*t + u. Let h = -30 + t. Let i be (1 + 0)*(1 - -2). Solve h = -i*j, 4*n - 14 = 4*j + 10 for n.
2
Let k be 14/10 - (-6)/(-15). Let q = 2 + -3. Let c be 1/k + q + 2. Solve -c + 8 = -3*l, 2*s - 2*l - 12 = 0 for s.
4
Let z = 0 - -2. Let o be ((-2)/6)/(2/(-6)). Let u = 4 + o. Solve -u = 3*d + z*d, 5*j = d - 4 for j.
-1
Let f be (21/4)/((-9)/(-24)). Suppose 50 = 8*k - 3*k. Let y = f - k. Solve -y*i + z = -11, -5*i = -2*i + 4*z - 13 for i.
3
Let i be -1 - -6*5/10. Solve -5*p - 3*z + 19 = 0, 0*p + i*p - 3*z - 16 = 0 for p.
5
Suppose -24 + 36 = 2*u. Solve -u = -4*r - 5*a + 7, 1 = -r + 3*a for r.
2
Let p be 12/10*(-5)/(-2). Let q = 14 + -16. Let s be (-4)/(-2) + q + p. Solve j = -s*j + 3*k + 3, -5*k = j + 5 for j.
0
Suppose 4*u - 5*u = -2. Solve -4*r - 2*j + u = 0, j - 5*j - 11 = 3*r for r.
3
Let a = 2 - -3. Suppose a*b - 2*b = -2*u - 21, -5*b = 15. Let w = -2 - u. Solve -5*c = -0*p + 4*p + w, 0 = -p + 4*c - 1 for p.
-1
Let d = 0 - -1. Suppose d = 4*o - 19. Solve 3*n + 23 = -o*s + 3, 0 = s + 2*n + 4 for s.
-4
Suppose 3*q - 20 = 7*q. Let h = 1 - q. Solve o + 7 = 3*x + 16, 4*o + 3*x - h = 0 for o.
3
Let w = 23 + -19. Solve -8 = w*j, 0*v - 2*v = -4*j - 10 for v.
1
Let b(k) = 3*k - 2. Let o be b(4). Suppose -3*l - 4*i + 46 = 0, 0*l - 6 = -l + i. Solve -5*x + h = 20, l + o = -5*x - h for x.
-4
Let m = 4 + -2. Suppose -3 = k - 0*k. Let x = k - -4. Solve -9 = -m*c - x, 5*v = 5*c for v.
4
Suppose z = -2*y + 20, -5*z + 60 = -0*y + 5*y. Let u = -54 - -54. Solve -2*k - 8 + u = -x, -y = 4*x for k.
-5
Let z = 0 + 2. Let f be 4*(z + 5/(-2)). Let a be (-5)/1*f/5. Solve -5*i + 2 = -k - 4, 2*k - a*i - 4 = 0 for k.
4
Let g be 18/4 + (-1)/2. Let k be 25/4 - 1/g. Suppose -5*u + 2*u = -k. Solve -5*c - u*a - 3 = 0, -2*a + 2 = 3*c + 7 for c.
1
Suppose -8*p + 20 = -20. Solve 6 = g - 8*w + 3*w, g + p*w + 14 = 0 for g.
-4
Let h(i) = i**2 - 13*i + 17. Let x be h(13). Let z = x + -15. Solve 2*b + 18 = 5*d, -z = -2*b + 4*d - 18 for b.
-4
Let x(y) = 3*y + 8. Let r(w) = 5*w + 15. Let j(p) = -4*r(p) + 7*x(p). Let i be j(4). Suppose 3*f + i*f = 0. Solve s + f*t - t + 1 = 0, -3*s = 5*t - 13 for s.
1
Let v = -17 - -30. Solve c = x + v - 6, 2*x - 21 = -5*c for x.
-2
Let j = 4 + 6. Suppose 0*h - 4*o = 4*h, -5*h + j = -5*o. Solve 7*n - 4*u = 2*n + 1, 2*n - u - h = 0 for n.
1
Suppose 6*a - 11*a + 15 = 0. Solve h - 2 = a*h + 2*o, 3*h = 2*o - 8 for h.
-2
Suppose 0 = 4*h + o + o, -5*h = -o. Suppose h = v, -12 = -n - 0*n + v. Solve -6*a + 4*a = -p + n, p = -a for p.
4
Let r be (20/(-25))/((-3)/15). Solve