7*h - 10 = -2*s - 3*h, 0 = -5*s - w*h - 11 for s.
-1
Suppose -a - 2*a = 0. Let c be (-41)/(-9) + (-3)/(54/(-26)) + -1. Solve -c*x - 2*s - 5 = -0*x, a = x - 2*s - 11 for x.
1
Let m(x) = 4*x + 26. Let w be m(-3). Suppose 0 = -2*d + 3*q + 19, w*d + 2*q = 10*d - 2. Solve 4*c - 15 = -b + 8, 25 = 5*b + d*c for b.
3
Let h be (-186)/(-30) + (-3)/15. Solve 0 = 9*q - h*q - 5*c - 30, -q = -5*c - 20 for q.
5
Suppose -39*k + 36*k - 3*c + 15 = 0, -c - 15 = -4*k. Suppose 0 = -k*s + 5*b + 35, -195 = -2*b - 201. Solve -4 = -4*q - 5*t, 0 = -2*q - 5*t + 7 + s for q.
-4
Let m = 117 + -113. Suppose k - 2*a = 5, -m*k - 3*a + 4*a = -13. Solve -4*o + 3*c - 35 = 0, o - 20 = k*o - 2*c for o.
-5
Suppose -7*o + 58 = 22*o. Solve -o*g = 9*m - 12*m, -m = g for m.
0
Let n(m) = m**3 + 5*m**2 - 5*m - 8. Let b be n(-6). Let v = b - -14. Let r be (2 - v) + -3 - -4. Solve 0 = -3*c + 3*k + 3, -2*c + 4*k - 1 = r for c.
4
Let s(b) = -4 + b**2 - 11*b - 1 - 3. Let c be s(12). Let z be (-3 - -2 - 3)*161/(-92). Solve k = 2*t + 9, -c*t - z = 3*k - 4 for k.
3
Suppose -3*t - 5*i + 2 = 5, 7 = -2*t - 5*i. Suppose -292*g + 17*g = -550. Solve 0 = -t*o - 4, -4*k + g + 1 = -3*o for k.
0
Suppose 0 = -2*a - z + 1, -z + 0 - 5 = 0. Let g(f) = -7*f + 6 + 8*f - a*f + f. Let t be g(3). Solve 4*l - 4 = -d - 3, 0 = -5*d + t*l + 5 for d.
1
Suppose 540 = 127*n + 53*n. Solve 5*z + 2*y - 32 = 6*y, -n = 3*z + 5*y for z.
4
Suppose 0 = 5*f + 5 + 25. Let i be f/12 - 117/(-6). Suppose -i = -k + 9. Solve -4*p - 5*g + 20 = 0, -3*g + k = 5*p + 3 for p.
5
Let p(y) = y**3 + 6*y**2 + 6. Let m be p(-3). Suppose 42*b - m = 51. Solve 2*v = 3*d + 2, -v = -b*d + d for v.
-2
Suppose 0 = f + f - 4. Let q be ((-1)/1)/((-14)/(-28)). Let d be (-6)/q + (-5)/(-5). Solve m - 13 = 2*h, 0 = d*m - 6*h + f*h - 36 for m.
5
Let b = -34 + 41. Let o be 3 + -8 + b - 2. Solve -2*f = -4*x + 4, o*f = 3*f + 5*x - 16 for f.
2
Let k be (3 - 0)*(4 - 112/21). Let w be (-3)/k*40/30. Suppose -3*h = -20 - w. Solve -d - m = 2*m - h, 0 = -3*d - 2*m for d.
-2
Let z = 47 + -144. Let w = z + 101. Solve 3*j + 7 = -5*o + w*j, -4*o - j = 11 for o.
-2
Suppose -450 = -34*s - 41*s. Let n be 0/s + (0 - -5). Solve -5*p - z = -3*z + 15, 2*z = -n*p - 15 for p.
-3
Suppose -111*p - 5208 = -545*p. Solve 4*r + 41 - 21 = -5*w, p = -3*w for r.
0
Let v(p) = p**3 + 4*p**2 - 71*p + 68. Let d be v(6). Solve -27 = -d*g - 5*o, 4*g - 18 = 3*o - 29 for g.
1
Let n = -6830 - -6836. Solve -4*f - 2*m - n = 0, -9 = -2*f - 3*f + 3*m for f.
0
Let w(m) = -14*m - 266. Let t be w(-21). Solve 0*l + l = -2*v + 8, 4*v - t = -5*l for v.
2
Let u = -1344 - -1347. Solve -u*g = -4*r - 7, 19*r - 22*r = -2*g + 5 for r.
-1
Let v be 72*(1 + 1/(-2)). Let g = v + -20. Suppose 2*y + 2 = h, -54*h - 12 = -56*h - 4*y. Solve 2*l + 3*n - n + g = 0, h*l = n - 12 for l.
-4
Suppose 22*c - 14*c + 224 = 0. Let h(k) = -3*k + 6. Let m be h(-8). Let l = c + m. Solve 0*b - f + 1 = l*b, -5*b = -5*f + 35 for b.
-2
Let q be (-4)/(-6) + (-2)/(-6). Let j be (4 - 2)/(390/585). Solve -q = 4*i - b + 3, 0 = -j*i + 4*b + 10 for i.
-2
Let k = -6544 + 6551. Solve 2*b + 6 = 2*p, 0 = -6*p + k*p + b + 3 for p.
0
Suppose 5*g = -x - 28 + 3, 0 = 3*g + 2*x + 22. Let s be -1 + (-5 - (g + -15)). Solve -7*z - s = -2*z - 2*f, 2*f - 3 = -5*z for z.
-1
Suppose -26 = -h - 10. Let f = -16 + h. Suppose f = -d + 9 - 7. Solve d*x + 29 = -5*i, 4 = -4*i + 4*x - 8 for i.
-5
Suppose -1 = z + 4*x - 6, -5*z - 4*x = -41. Let h = -580 - -573. Let p = h + z. Solve 2*l + 3*g + 26 = -p*l, -3*l = 4*g + 23 for l.
-5
Let s(h) = 70*h - 2992. Let v be s(43). Solve 6 = -x + 2*i, -v = 4*x + x - 4*i for x.
-2
Let u be 8/(-16) + (50/(-35))/((-8)/14). Solve -u*n + 2*t = 11 + 1, 4*n = -5*t - 33 for n.
-7
Let b = 122 - 120. Suppose c - b*d - 7 = 0, 5*c - 9*d = -7*d + 27. Solve -o = 3*l - 10, c*l = 3*o - 0*o + 12 for l.
3
Let u be (-504)/(-238) + (54/(-51))/9. Solve -4*l = -4*r + 2*r + 22, u = -l - 3*r for l.
-5
Suppose -246 = -p + 4*t, -5*p = -16*t + 14*t - 1140. Let v = 244 - p. Solve -4*i - 3 = -3*n + 12, -5*i + 3*n - v = 0 for i.
-3
Let v be (-7809)/(-1507) - (-2)/(-11). Solve 0 = 4*g + 2*m + 2, -3*g + 5 - 3 = v*m for g.
-1
Suppose -2*f + 5*b + 18 = 0, 5*b - 50 = -2*f + 2*b. Suppose 10 = -3*v + f. Solve 2*u + 24 = -4*q, -4*q + q - 21 = v*u for u.
-2
Let u(g) = 10*g - 112. Let z be u(12). Let c be 34/z + 315/(-252). Solve 2*m = p + c*p - 2, 0 = -4*m - 4*p - 4 for m.
-1
Let n = 6340 - 6338. Solve n*a - 2*i = -18, -3*a = -65*i + 63*i + 22 for a.
-4
Let i = 426 + -392. Let g be ((-814)/(-99) - 8) + i/9. Solve -x + c = -3*x + 4, -g*c - 2 = -x for x.
2
Suppose w + 17 - 21 = -2*x, 0 = 3*w - 4*x - 12. Solve -4*r - 5*d = 13, -2*d - w = 7*r - 6*r for r.
-2
Suppose 2*n - 8 = -2*n. Suppose -p = 5, -2*p - n = q - 3. Suppose -5*c + 0*c + 15 = -5*y, c = -y + 7. Solve c*f - 17 = 5*i + 18, -f + 3*i = -q for f.
5
Let p(j) = 3*j**2 + j + 2. Let f be p(0). Suppose -y + 5 = 1. Suppose -y*x + 20 = 8. Solve -x*d - i + 5 = 0, 0 = f*d + i - 4 for d.
1
Let l(g) = g**2 + 2*g + 2. Let v be l(2). Solve 0 = 4*m - 2*p - v, 3*p - 38 = -3*m - 8 for m.
5
Suppose 2*l - 3 = -3*u + 2*u, -u + 18 = 5*l. Solve 11*k - 16*k - l*j - 30 = 0, 0 = -4*k + j - 9 for k.
-3
Suppose -32*x + 375 = -1833. Solve -5*f - 4*c - 22 = 0, -71*c + x*c = 2*f + 10 for f.
-2
Suppose 4*i = -p - 5 + 36, -1 = i + 2*p. Suppose i*b - b = 16. Solve 3*c + b*d = -2 - 5, -c - d = 2 for c.
-3
Let y = 15703 + -15698. Solve 4*w + 10 = -7*n + y*n, -w - 2*n - 4 = 0 for w.
-2
Let t = -62 + 69. Suppose 5*h = t*h - 4*m - 22, -4*m - 4 = 4*h. Suppose 0 = h*k + 3*k. Solve i + 1 = k, 0 = -0*o + o + 4*i + 3 for o.
1
Let a(g) = 2*g**3 + 33*g**2 + 16*g + 2. Let f be a(-16). Suppose -5*r - 16 = f*u, -52*r + 51*r - 14 = -5*u. Solve -6*l - 18 = -l - u*d, -2*l - 10 = 2*d for l.
-4
Suppose -8 = d + 4*a + a, -d - 4 = 4*a. Suppose d*m = 21*m. Solve 0 = 4*y - 3*r + 12, -y + m*r - 3 = -r for y.
-3
Let z be ((5 - 5)/(-10))/(5 - 8). Solve -3*j + 5 = -n, n - 7 = -3*j - z*j for n.
1
Suppose -866*d + 22 = -855*d. Solve r = v - 8, v - d*r - 9 - 4 = 0 for v.
3
Suppose 5*z = -5*d - 15, 8*d - z - 11 = 5*d. Solve -5*w + 2*j + d*j = -22, -2 = w - 4*j for w.
6
Let s(d) = -3*d + 18. Let v be s(6). Suppose 16*y - 35 - 29 = v. Solve -y*z + w = -2*z, w = -4 for z.
-2
Let y = -6884 + 6886. Solve -y*u - 5*h = 10, h - 2 = -3*u + 2*h for u.
0
Suppose 6 = 2*j - 18. Let m = j + -9. Let o = -9 - -10. Solve 2*i = 3*x - o, -x - m = -3*i + 2*x for i.
4
Let j be (-286)/(-88) + (-2)/8. Suppose -j*f + 6 + 0 = 0, 3*f = 4*a - 10. Solve 0 = -4*w + a*u - 16, 2*u - 1 + 3 = 0 for w.
-5
Suppose 0 = -0*b + 31*b - b. Suppose b*h - h - h = 0. Solve -2*r = f - h*r - 3, -5*f - 21 = r for f.
-5
Suppose 2*s + 2*f = -44 + 72, 4*s = 4*f + 56. Solve -2*k + 11 = -3*z, -2*z + 0*k - s = 2*k for z.
-5
Suppose -y = -2*v, 4*v - 5*y = -2*y - 4. Suppose -o - n = 4*n - 1, 21 = 4*o + 3*n. Suppose 2*m + v = o. Solve m*a - 4*s = 12, a - 4*s = 3*a + 28 for a.
-4
Suppose 0 = -2*j + 4*j, -2*v = -5*j - 10. Solve -4*b + 20 = -v*u, -2*b = -7*u + 5*u - 10 for u.
0
Let q(n) = n**2 + 84*n + 449. Let w be q(-5). Solve 59*u - w*u = 2*j - 21, -j + 3*u + 13 = 0 for j.
-2
Let r be (-1 - -6) + (-5 - -6). Suppose -i + r = -3*i. Let u be (0/2)/(i + 2). Solve -3*c = 5*y - 18, -16 = -4*y - u*c - 4*c for y.
3
Suppose 94*t = 17*t + 81 + 227. Solve t*s + 25 = -x, -10*x - 30 = 2*s - 6*x for s.
-5
Let v be (-1)/(-5) - 12/60. Let k(t) = 5*t + 7 - 2*t + 4*t - 8*t. Let q be k(4). Solve b + 2*f = -v - 10, f = -q for b.
-4
Let o be ((-196)/21 + 5)*3. Let a be 4 + o/(-26)*(1 + -1). Solve 21 = 3*c + 2*j, a*j + 8 = 6*c - 2*c for c.
5
Let g = -169 - -171. Let z(s) = -s**3 + 4*s**2 - 2. Let l be z(g). Solve 5*u + 13 = 2*f - l, -u - f = 1 for u.
-3
Suppose -y = -58 + 48. Suppose m - 17 = -r, -y*r - 58 = -2*m - 6*r. Solve -4*u + t = -m, 2*t = t - 5 for u.
4
Let z be ((4/56)/(-1)*8)/(12/(-42)). Let r(o) = 7*o**2. Let p be r(1). Suppose 0 = -2*w + p + 1. Solve -5*f = -w*n + 13, -3*f - 2*f - z*n - 31 = 0 for f.
-5
Suppose 7 = 2*c - v, -12*c - 17 = -15*c - 5*v. Solve -45 + 0 = 5*o - c*n, 2*n = 5*o + 35 for o.
-5
Let r = 50 - 53. Let b(m) = -2*m - 13. Let a be b(r). Let l be 1*25/(-5) - a. Solve -5*v + 10 = -2*j, -v - 8 = 2*j + l for v.
0
Let i be 20/(-8)*(-1610)/25. Suppose 5 = i*c - 156*c. Solve -c = 3*d - 7*x + 2*x, -4*d + x = -10 for d.
3
Suppose -29