, z*h = 15 for x.
-1
Let b be 74/(4 + -2) + -10. Solve -5*g - 2*p = b, 0 = 4*g + 4*p + 11 + 13 for g.
-5
Let o be -6 + (1 - -2)*19/(171/30). Solve o*m - 4*r = -11 + 3, 3*m + 11 = 4*r for m.
3
Let q = 263 + -261. Let v = 51 + -35. Let j be ((-2)/(-8))/(41/40 + -1). Solve -q*a = 3*a + x - j, a + 3*x = v for a.
1
Let u = -40018 + 40041. Solve 3*b + 0*t = 5*t - u, -2*b + 4*t - 18 = 0 for b.
-1
Suppose -2*p = 15*t - 12*t, -5*t = p. Suppose -5*k - 5*n - 10 = p, -2*n = -k + 3*n + 22. Solve -5*r = k*z + 21, 4*r + 5*z + 10 = -0*z for r.
-5
Suppose 11*h = 6*h + q + 51, -4*h - 4*q = -36. Solve -j + h = g + 4, 0 = g - 2*j for g.
4
Let d be (-2)/((-75)/280 + (-4)/(-28)). Solve 3*m + 123 = -16*q + 47, q - d = 5*m for m.
-4
Let v(i) = i**2 + i + 8. Let g be v(-3). Let a = g + -14. Suppose 4*n - 16 = -a*n. Solve -4*m - 12 = x, n*m = -0 - 12 for x.
0
Let r be -4 + (-12)/32*-4*-42. Let l = r + 71. Solve h - l*a + 6 = 0, 4*h = 2*h + 2*a for h.
2
Let s(a) = a**2 + 1 + 8*a**2 + 22*a - 20*a**2 + a**2. Let d be s(2). Solve -5*q = -d*v, -q + 0*v - 2*v - 9 = 0 for q.
-3
Let p(i) = 2*i - 20. Let w be ((9/(-2))/(-3))/((-3)/(-28)). Let t be p(w). Solve 4*h - 3*h - 9 = -2*c, 0 = c - 2*h + t for c.
2
Let d be (-301)/1 + -2*4/8. Let n = -287 - d. Solve -w = -6*w - n, -3*w = -5*t + 19 for t.
2
Suppose 3*j - 187 + 289 = 0. Let s be (-2)/17 + (-208)/j. Solve -2*p = -2*y + s, -4*p - 4 = -y + 8 for p.
-3
Suppose -30 + 0 = -6*b. Suppose -114 - 41 = b*i. Let s = i + 31. Solve -5*h + s*p - 2*p + 10 = 0, 4*h - 5*p = 8 for h.
2
Let o(s) = -s**3 + 17*s**2 - 16*s - 39. Let k be o(16). Let d = k + 38. Let c be ((-3)/d)/(-3) + 5 + 4. Solve -2*q - 2*u + 4*u = -c, 4*q - u - 16 = 0 for q.
4
Suppose -18*y - 20*y + 180 = -2*y. Let j be 15/4 - 3/4. Solve -6 = j*g + 3*a, 2*g - 5*g - y*a - 10 = 0 for g.
0
Let l(u) = u**3 - 2*u**2 - 87*u + 72. Let j be l(10). Solve -h = 2*s - 6, -3*h + 20*s = 18*s - j for h.
2
Let u(v) = 7*v**2 - 12*v - 3. Let f be u(-3). Let x = 99 - f. Solve 5*n + x*z = n - 1, 3*n - 3*z = 15 for n.
2
Suppose 5*t = 90*g - 88*g + 95, 83 = 3*t + 4*g. Solve 0 = -3*a - 3*o + t, 3*a + 11*o - 9*o = 18 for a.
4
Let x be ((-363)/121 + 1*-1)/(4 - 6). Solve -4*c - 226*a = -222*a, -c + x*a + 12 = 0 for c.
4
Let q(r) = 13*r - 10. Let g be q(1). Let u be 94/14 - (-2)/7. Solve u = -g*f + x, 3*f + 5*x + 13 = 2*f for f.
-3
Let o be 3551/1139 + (-2)/17. Solve -2*v = 3*n + 2, o*n - 4 = -4*v - 8 for n.
0
Let v = -226 - -227. Suppose v = 9*p - 35. Solve -4*k - 24 = -p*z, -2*z + 5*z = 3 for k.
-5
Let x = -424 + 434. Let q be -1 - 11/(-7) - x/(-7). Solve 3*w - o + 8 = 3*o, 3*w = q*o - 4 for w.
0
Suppose 92 = 5*k - 3*n, -k - n = 3 - 23. Let r = -1112 - -1135. Suppose r*g - k*g = 8. Solve g*i + i = 3*d, -2*d + i + 3 = 0 for d.
3
Let g = -806 + 1402. Let u = g - 589. Let n(m) = -m**3 - 6*m**2 + 5*m + 5. Let s be n(-7). Solve -j + 3*a + a = s, -2*j + u = a for j.
1
Let j(k) = 109*k - 2330. Let d be j(22). Solve -5*g = 70*a - d*a, -3*a = -5*g - 25 for g.
-2
Let w = 12839 - 12799. Solve -w*f - a + 19 = -43*f, -3*f - a = 11 for f.
-5
Suppose -2*h + 6 = 0, 14 = 4*s - 3*h + 399. Let l = s + 95. Solve 4*b = -m - 2, 3*b = m + 1 + l for b.
0
Suppose 3*n = 6*n. Let z(w) = 2*w + 24. Let b be z(n). Let v(s) = 3*s + 4. Let j be v(0). Solve 0 = 4*h - j*g - b, 4*g + 15 = -3*h - 2*h for h.
1
Suppose 4*l = 2*y + 378, -y - 567 = 2*y - 4*l. Let b = y + 189. Suppose v + 2*v = 12. Solve 3*w - 16 = -v*i + 7*w, 5*w = b for i.
4
Suppose 123*o = 58*o + 325. Let b be 2/(-6) + (-184)/(-12). Suppose -z + 6*z = b. Solve 0 = 4*y - z*k + 9, -3*y + 4 = -o*y + 2*k for y.
-3
Let s = 6100 - 6098. Solve 0 = 5*h + 4*m - 22, -2*m = s*m - 12 for h.
2
Let y be (-2 + 6)*(-5)/(-10) + 1. Let a be -3 + y + 3 + (-2 - -3). Solve 4*d - 8 = a*k, k + 9 = -2*k for d.
-1
Suppose -10 = -8*q + 22. Suppose x + q*f = 22, x - 5 - 2 = -f. Solve k = -x*k - 3*o - 12, -5*k = 2*o + 17 for k.
-3
Let t = 9142 + -9138. Solve -t*h - 36 - 12 = -4*j, -3*j = 5*h + 4 for j.
7
Let r(o) = -47*o + 1. Let s be r(1). Let v = 48 + s. Solve 0*q - v*q + d = 4, 0 = -2*d for q.
-2
Let g(u) = u**3 + 6*u**2 - 9*u + 58. Let h = -475 + 467. Let a be g(h). Solve 4*s - 4 = -6*d + a*d, 0 = -s for d.
1
Suppose -21*t + 977 = -2278. Let c = t + -150. Solve -z = 3*p - 0*z + 12, -5*p - 30 = c*z for p.
-3
Let a(w) = -w**2 + 2409*w + 12082. Let s be a(-5). Solve 2*g - 2*d + s = 0, -2*g + 17*d - 9 = 18*d for g.
-5
Let i be (4/2)/(4/(-14)). Let c = 5 + i. Let z be 1284/44 - c/(-11). Solve 4*f + 6 = 5*h + z, 4*f + 2*h = 2 for f.
2
Let n = 10781 + -10773. Solve 0 = 5*r + 5*f - 43 + n, f - 3 = r for r.
2
Let i be ((-1264)/4 - 7)/1. Let k = -323 - i. Solve 4*l - 3*l - 2*q - 2 = k, 0 = -2*l + 3*q + 4 for l.
2
Let j = 16 + -13. Suppose -3*v - 2 = -r, -3*v - 22 = -2*r - j*r. Solve -18 = -4*c - 2*a, 0*c - r*c - 5*a = -30 for c.
3
Let v be -1 - 240 - 0*5/10. Let c = v - -246. Solve -4*z = -0*b + 2*b - 22, c = -5*b + 5*z for b.
3
Suppose 0*o + 4*o - 48 = 0. Let a be 24/o - (1 - 3). Suppose 9 - 25 = -a*u. Solve -4*h - 16 = -u*p, -2*p - 5*h = -2*h - 3 for p.
3
Suppose -3*b - 3*h - 22 = -8*h, 3*h = 4*b + 22. Let u be b/(-2) - (-1 - 1). Let g be ((-7)/(21/24))/((-4)/2). Solve 5*p - 5 = -g*d + 2, -p - 5 = u*d for p.
3
Suppose 6*u - 10*u = 4*h - 16, -2*h + 4*u = -8. Solve 2*x - h = -n - 1, 4*x + 12 = 4*n for x.
0
Let n = 3395 + -3390. Solve -5*c + 5 = -4*t + 8*t, -3*t = n*c for t.
5
Let i(n) = 2*n**2 - 3*n - 2. Let a be i(3). Suppose 6*t - 39 = -a*t. Solve q + 3 = -2*q + t*b, 0 = -4*b + 12 for q.
2
Let r = 63157 + -63154. Suppose 2*p = 10 + 2. Solve -4*c - p = -2*t, -r*t + 7*t = -12 for c.
-3
Suppose 4*v - 4*u = -20, 5*v - 6*v - 5*u + 43 = 0. Solve -5*m - v*k = -23, 18*m + k = 14*m + 17 for m.
4
Let s = -115 + -380. Let c = -493 - s. Solve 3*b = 3*v + 3, -2 + 3 = c*b - 3*v for b.
2
Let o = -18409 + 18412. Solve -90*r = -88*r + 2*s + 16, -3*r = -o*s - 6 for r.
-3
Suppose -4*b - 4*v = -20, 0 = -5*b + 7*b + v - 5. Suppose 0 = -5*o - b*o. Solve 1 = 3*x - c - 0*c, -3*x + 2*c + 2 = o for x.
0
Let j be -1 - -3 - 2*(9 - 8). Suppose j = -12*m - 7*m + 76. Solve -m*z + 0 = 4*n - 12, 6 = -2*n + 2*z for n.
0
Let k = 2428 - 2426. Solve 9 = k*q - o, -q = -6*o + 7*o + 3 for q.
2
Let p be (-13015)/70 + (-8)/112. Let t = -183 - p. Solve 4*m - 28 = t*l, 1 + 7 = 3*l + 5*m for l.
-4
Let v(a) = -a**3 + 26*a**2 + 28*a - 31. Let f be v(27). Let p(q) = q**2 + 22*q + 80. Let m be p(f). Solve k + k = x - m, k - 2*x = -7 for k.
-3
Let t(c) be the first derivative of c**4/4 + 6*c**3 + 33*c**2 + 15*c + 172. Let w be t(-13). Solve w*d - 4*d = -a - 10, -3*a + 15 = 3*d for a.
0
Let q(w) = -49*w - 572. Let b be q(-12). Solve 15 = -5*i, 5*c = -5*i - 9 - b for c.
-2
Let z = -33085 + 33147. Solve -1 = -2*o - 3*l, -o - l = -61 + z for o.
-4
Let t(d) = -d**3 - d**2 - d + 5. Let f be t(0). Suppose 16 = 24*l + 88. Let n be -4*l/8*2. Solve 2*g + 7 = -f*y, 2*y - y + 15 = n*g for y.
-3
Suppose 0 = 34*u - 33*u + 4, 3*u + 16 = 4*z. Solve 0 = 4*b + 11*m - 12*m - z, -3*b + 12 = 3*m for b.
1
Let d(q) = -q**3 + 11*q**2 + 7*q - 20. Let f be d(11). Suppose f*t = -53*t + 105*t. Solve t*w + w = -5*u, -2*u - 13 = 3*w for u.
1
Let v = 1606 + -1586. Solve -d - p = 5, -d - d = 4*p + v for d.
0
Suppose 577*v = 555*v + 66. Solve -4*j + v*n = 5, -6*j + 4*n = -3*j - 5 for j.
-5
Let q(t) = t**2 - 26*t + 144. Let b be q(8). Solve b = -5*y + 2*h - 11, -16 = 2*y + 4*h - 2 for y.
-3
Let u(q) = q**2 + q + 9. Let s be u(0). Let w = -26685 + 26688. Solve -w*p - c + s = c, -4*c = -p + 17 for p.
5
Let q = -39 + -260. Let t = -294 - q. Solve -u - 3 = -x - 0*x, x - t*u - 7 = 0 for x.
2
Let q = 1097 - 1065. Solve 0 = -3*a - 5*z - 16, 0 = q*a - 33*a - 2*z - 7 for a.
3
Let l = -57 - -261. Let d = l - 184. Solve -2 = 5*y + 2*t, 2*y + 2*t = 6*t - d for y.
-2
Let x(s) = -22*s + 159. Let y be x(7). Suppose y*c = 5*t, -5*t = -4*c - 5 + 3. Solve 4*v + 12 = c*k + 2, -4*v - 20 = 0 for k.
-5
Let o = -1099 + 1081. Let y be (1 - o) + (-15)/(-7 - -22). Let j be 1*-2 - (-15)/3. Solve -4*x + 7 = -1, -j*t + 3*x - y = 0 for t.
-4
Let d(f) = -f**3 + 7*f**2 + 16*f - 112. Suppose 0 = 17*p - 170 + 51. Let z be d(p). Solve 3*a - c + 3 = z, 4 + 0 = a - 2*c for a.
-2
Let d(w) = 7*w**2 + 157*w - 22. Let i be d(-22). Let p = i - -94. Solve -3*b - p = -0*b - 3*f, 4*b - f + 17 = 0 for b.
-5
Let a(q) = 15*q - 