 y*p, 7*n - 2*n + 3*p + 12 = 0 for n.
0
Suppose 17*d - 56 - 29 = 0. Solve -d*x - 3*g = -7*g - 9, -x = g - 9 for x.
5
Suppose 4*a - 5*a - 12 = -2*y, 5*a = 3*y - 11. Suppose 2*i = i + 1. Let d be 1 + -1 - (i + -6). Solve -b = 2*j + y, d*j - 5*b + 2*b = -34 for j.
-5
Let u = 4 - 2. Let y(c) = -c**2 + 8*c + 28. Let q be y(10). Suppose x = 5*x + q, -l - 1 = 3*x. Solve -u*n - f = -7*n - 8, n = l*f - 16 for n.
-1
Suppose 4*h + 25 = 45. Let t = -18 - -24. Solve 6*m = -h*j + 2*m - 2, j + 4*m - t = 0 for j.
-2
Suppose 5*a = 20, 0*w + 2*w - 2*a + 4 = 0. Let z be ((-33)/2)/((-24)/64). Suppose 6*y - z = w*y. Solve 0*l + 4 = -l, -2*l - y = k for k.
-3
Let u be (-10)/75 + (-1078)/15. Let x be 2/7 + u/(-42). Suppose 0 = -x*z - z - s + 7, -2*z + 23 = -3*s. Solve 4*j - 26 - 2 = 5*m, -4*m - z*j - 8 = 0 for m.
-4
Let g = -50 - -54. Suppose -5*f + 2*u - 3*u = -2, 0 = -2*f - 2*u - g. Solve -2*h = -2*i + i + 3, 2*h - 5*i - f = 0 for h.
-2
Suppose 19*f = 87 - 11. Solve -3*a = c - 11, 2*a + a = f*c - 14 for c.
5
Suppose -3*c = c - 88. Suppose 2*a - 1 = -u, -5*a - 2*u = -6*u - c. Suppose -i + 5*i + 3*n = 7, -a*n = -2. Solve 4*g + 5*h + i - 3 = 0, -2*h + 10 = -3*g for g.
-2
Let j be (-11 + -3)*(-4 + 2). Suppose -2*n + n + j = 0. Suppose 6*b - n = -4. Solve -4*o = b*x, 5*x - 3 = 2*x - 2*o for x.
3
Let k = -45 - -50. Suppose -2*z = -k*z + 6. Solve -5*f + 5*l + 35 = 0, -z*f + l = -12 - 0 for f.
5
Suppose 4*w - 9 = g + 4, -23 = -4*g + w. Let m = g + -5. Suppose 0 = 5*r - 3*v + v - 17, 2*v + m = 2*r. Solve -4*n - 7 = -r*p - 2*n, -4*n - 6 = -2*p for p.
1
Let t be (2/(-3))/((-8)/288). Suppose -g + 3*l - t = -0*g, -4*g + 2*l = 66. Let p be (-26)/(-8) + g/(-20). Solve -2*h + 2*c = -c - 16, -5*c = -p*h + 28 for h.
2
Let b be (7 - 97)/(-10) - (5 - 1). Solve -b*i - 5*n + 50 = 20, -20 = -4*n for i.
1
Let p = 121 - 119. Solve -h - p*y = -5*h + 8, -16 = 4*y for h.
0
Let u be ((-46)/(-6) + -1)*252/210. Solve 4*m + 2*i = 8, 5*m = -2*i + u + 4 for m.
4
Suppose 0 = -2*b - 6 + 12. Suppose 6 = 2*m, 2*q - b*q + m = -29. Solve 4*o = 20, -5*o + q = n + 12 for n.
-5
Suppose -80 = -7*j + 19 + 6. Suppose 0 = -b - 2*b + 6. Solve -5*w = m + 26, -b*w - 2*m - j = -3 for w.
-5
Suppose -18 = -4*k + 2*z, -4*z = -2*k - 3*k + 24. Solve -k*q - 2 = -4*v + 2, 21 = -5*q - 3*v for q.
-3
Suppose 3 = -0*b + 3*b. Suppose 4*t - l = -11 - 0, -3*t = l + 17. Let w be (t/((-12)/9))/b. Solve q + 18 = 5*v, -5*q + 2*q = w*v for v.
3
Let d(c) = c**3 - 4*c**2 - 3*c + 8. Let r be d(5). Let f be -6*(4 + r/(-4)). Solve 0 = -2*k + y + 8, 6*y = -4*k + f*y + 16 for k.
4
Suppose 4 = 5*g - 16. Solve -2*o - 4*x = 3*o - 2, 0 = 2*o + 4*x + g for o.
2
Suppose 3*q - 275 + 227 = 0. Solve 2*n - q = 4*j, 4 = -3*n + 5*n for j.
-3
Let t be (-3)/(-2)*4/2. Let b(n) = -2*n - 21. Let g(y) = y - 12. Let j be g(0). Let x be b(j). Solve c = -l - x, -t*l = -c - 2*c - 9 for c.
-3
Suppose 7*u = 13 + 1. Suppose -4*a = -0*a + 12, -2*y = u*a. Solve 5*z + w = 11, 3*z + 5*w - 14 = -y for z.
2
Let l(n) = n**2 + 2*n - 1. Suppose 0 = -3*s + 7*s + 12. Let t be l(s). Solve y - k = 3*y - 4, t*k + 24 = 4*y for y.
4
Suppose -4*x + 4 = 5*q, 5*x = -0*x + 5. Suppose q*w + 2*w - 8 = 4*d, 3*w - 12 = 3*d. Let r = 2 + d. Solve b = -4*h + 4, h + 3*b - r = -h for h.
1
Let n(x) = 2*x - 27. Let v be n(15). Suppose -2*u + v*u + b = 2, 4 = -u - 4*b. Suppose -17 + 13 = -2*o. Solve i - 4*q = 1, 4 = -u*i + o*q - 6 for i.
-3
Suppose 4*x = 2*l - 14, 4 = 2*l - 3*x - 8. Solve 0 = l*q - u + 17, 3*q - 5*u + 3 + 34 = 0 for q.
-4
Suppose -l = 2*s - 19, 0 = -549*s + 546*s + 2*l + 39. Solve 2*i - w + s = 0, -i + 12 = -3*w + 6*w for i.
-3
Suppose 7*n - 3*n + 3*p = -26, n - 5*p - 5 = 0. Let o = n - -9. Suppose 229 = 3*v + 157. Solve -2*f - 4*j + v = 0, o*j - 15 = -f + 5 for f.
4
Suppose -2*f - 10 = 4*g, 3*f = 7*g - 4*g + 30. Solve k + 23 = 5*m, -3*m + 4 = k - f for k.
-3
Let c = 4 + 0. Let z = -283 + 286. Suppose -2*a + 4*u = -22, -z*a - c*u - 12 = 5. Solve 0*p - 16 = 4*n - 4*p, -2*n - a = 5*p for n.
-3
Let n be (-301)/43 - (-10 - 0). Solve 5*d - 10 = -0*d, -n*d = -y - 2 for y.
4
Let x = -31 - -41. Let t = x + -8. Solve 0*n - t*n = -5*i + 2, -3*n - 3 = 4*i for i.
0
Let r be (4/12)/((-1)/(-3)). Let m = 2 - -3. Suppose 3*i = 2*b + 2, -4*b - 4*i + 18 + 18 = 0. Solve m*d = d + k, b*d = k + r for d.
1
Suppose 7*o = 12*o - 20. Solve o*j - 4*x - 14 = -2, j + 4*x + 7 = 0 for j.
1
Suppose 3*r + 0*g - 4*g = -59, -4*r = -g + 70. Let p(n) = n**3 - 3*n + 3. Let u be p(-3). Let c = u - r. Solve 2*j - 5*k = -3*k, 0 = -c*j + 5*k - 15 for j.
5
Suppose 0 = 2*a - 4. Let h = a - -7. Let o(i) = 2*i - 6. Let q be o(h). Solve -j = 2*p - q, -7 = 4*j - 2*p - p for j.
2
Let d be 2/(-6) - (-40)/12. Let f = -1 + d. Solve 3*s = -5*t - f*s, 4*s = -3*t for t.
0
Let w be -15 + 15 - (-12 - 0/(-2)). Solve -5*q + 2*u - w = 0, -5*u - 7 = 13 for q.
-4
Suppose 50 = 3*h + 7*h. Let a(i) = i**2 - 4*i + 4. Suppose 0 = 6*z - 4*z - 8. Let k be a(z). Solve 0 = -4*g + s - 5, -4*g - h*s = k + 19 for g.
-2
Let z(u) = 6*u - 1. Let b be z(1). Let l be 46/8 + 6*3/72. Let h(f) = 2*f - 7. Let v be h(l). Solve 5*q = 2*t + b, 3*q + v = 3*t + 8*q for t.
0
Let v be 2*(15/6)/((-4)/(-4)). Suppose -v*m - 42 = -8*m. Solve 2*c + 5 + 5 = -x, -3*c - x = m for c.
-4
Suppose 26*o = 38*o - 36. Solve -o*v = 3*x + x + 6, -8 = 2*v + 4*x for v.
2
Let c(d) = 2*d**2 + 8*d - 5. Let v be c(-4). Let l be (-170)/51*24/v. Solve -5*n - r - l + 44 = 0, -4*r = -n - 7 for n.
5
Let b(d) = 2*d**2 - 9*d + 6. Let i be b(4). Solve -3*k + 30 = 5*t, -5*k + 11 + 8 = -i*t for k.
5
Let w = 27 - -15. Suppose -2*a + 47 = a - 2*d, 3*d + w = 3*a. Solve 3*v - 16 = -v, -5*h - v = -a for h.
3
Suppose 2*k = 4*k - 10. Let c be (-24)/40 - (-23)/k. Suppose -s + 12 = 2*p, -p - 5*s + c = -11. Solve 2*f - f + p = -v, -4*f - 8 = v for v.
-4
Let t be ((-4)/6)/((-2)/(-9)) - -6. Solve -5 = 2*z - 0*z - t*j, -z = j - 10 for z.
5
Suppose 0 = -6*m + 3*m + 27. Let r be m + 1 - (1 + -3). Let u be 1 - 0*4/r. Solve 0*f - 3*f = 2*b + u, 3*b = 5*f - 11 for b.
-2
Let z(m) = 4*m - 11. Let c be z(4). Let s be 2*(10 - (-2 + 2)). Suppose 6*o - s = 2*o. Solve 0 = -4*p - 5*t + 23, -6*p - c = -p - o*t for p.
2
Let v be (0 + 31/3)*-3. Let m = v - -36. Solve 5 = -5*w - z, -5*w - 6*z - m = -z for w.
-1
Let n be (-56)/(-308) - (-93)/33. Solve 0 = s + 2*m + 9, -5*m = n*s - 5*s for s.
-5
Let u(m) = -4*m - 1. Let d be u(-1). Let k = d + 2. Solve 2*x + 4*j = 20, k*x = 5*j - 5 - 20 for x.
0
Let v = 5 - 0. Let n be (2/v)/((-2)/(-10)). Let r = 586 - 586. Solve n*d - d - 2*i = -7, -3*d + 5*i - 17 = r for d.
1
Suppose 0 = -60*u + 167 + 133. Solve 6*g - 2*g = -u*s + 17, -5*s = -g - 2 for s.
1
Suppose -5*i + 7*i - 4 = 0. Suppose i*y - 92 = -2*y. Suppose -4*g + 3*v = -y, -g + v = -v - 2. Solve -b + g = 5*o, 3*o + 4 = 2*b + o for b.
3
Suppose 0 = -s + 4 - 0. Let d = -4 - -4. Solve 0 = 2*o + 2*o + 5*v - 6, 2*o - v + s = d for o.
-1
Let b be (-1)/(-1*(-2)/(-10)). Suppose o + 0*o - 8 = 0. Let n be (-2)/o + (-68)/(-16). Solve -h - 2 + 12 = -b*r, -3*r - n*h = 6 for r.
-2
Suppose 5*y + 3*w + 2 - 22 = 0, 0 = w. Suppose m = y*m + 3. Let c = m + 4. Solve 3*s = -a + 14 - 1, 4*a = c*s - 23 for a.
-2
Suppose 7*u = 3*u + m + 13, m - 3 = 0. Solve -d = -5*n + 16, 0 = -d - 2*d - u*n + 28 for d.
4
Suppose -a + i + 4 = 7, -3*a = i - 3. Solve -5*x - 2*k = -17, -4*x + 2*k - 7*k = a for x.
5
Let o(y) = -y + 17. Let a be o(7). Suppose 3*u = -v - a, 5*v + 0*u - 2 = -2*u. Solve -4*w - 5 = -5*c, -1 = c - v*c - 4*w for c.
1
Let v(h) = -2*h + 1. Let g(f) = -f + 2. Let s(o) = 3*g(o) - 2*v(o). Let n be s(4). Suppose 12 = n*t - 4*t. Solve 0 = -3*b - 3*x + 9, -4*x + 5 = t*b + x for b.
5
Let d be (200/125)/((-2)/(-20)). Solve -2*f - 4*l - d = 3*f, 2 = 2*l for f.
-4
Let w(d) = 6*d + 2. Let o be w(7). Let q = o - 42. Solve -4*i = -20, -q*t + 0*i + 4*i = 22 for t.
-1
Let g = 466 - 464. Solve g*m - m = -4, -5*i - 3*m - 22 = 0 for i.
-2
Suppose -5*c - 3*g = -57, 2*g - 2 = -4. Solve -3*i + k + 11 = -3*k, 2*i = 5*k + c for i.
1
Let b(k) = -19*k - 52. Let y be b(-3). Solve -5*a = 10, 0 = -3*z - y*a + 4*a + 13 for z.
5
Suppose 2*v + 18 = 11*v. Suppose 0 = 3*o - 19 - v. Solve -w = 3*i + o, 0 = -5*i + 3*w - 10 - 25 for i.
-4
Suppose -i = -2*i - 3*m - 2, 3*i - m = -6. Let k = 9 + -5. Let l = k - i. Solve 0 = 4*a + 3*v - 19, -l = -a - v - 0 for a.
1
Let u be 106*1/34 + (-