*d + 5*w - 28, 3*d + 4*w = 28 for d.
4
Suppose -898*v + 856*v = -168. Solve -v*h + 13*f = 16*f + 35, 0 = -2*h - 2*f - 20 for h.
-5
Let v be -1*(4 + -5 + -2). Suppose 8*b + 1 = 17. Suppose -6*n + n + 100 = 0. Solve v*z = -2*z + m + n, 0 = 2*z - b*m for z.
5
Suppose 12*f - 1753 = -1693. Solve -2*d = -7*x + f*x - 10, 2 = 2*x + d for x.
-1
Suppose 0 = 8*w - 48 - 49 + 73. Solve 8*m - 3*v - 20 = 0, 5*m - 2*v = w*m for m.
4
Suppose 1102*p + 232 = 1218*p. Solve p*n + 2 = -z, z - 5*n + 5 = -8*n for z.
4
Let h be (-2)/((-117)/(-6) + -20). Solve -5*o = h*u - 37, 0 = 3*o + 1 - 16 for u.
3
Suppose -20 = 286229*s - 286233*s. Suppose -3*x = -15 - 0. Solve r + s = -2*b - 0*b, x*b - 4 = 3*r for b.
-1
Let s(q) = q**3 - 37*q**2 - 2*q + 144. Let h be s(37). Solve -3*c + 4*l + 21 = 0, -2*c + 71*l + 9 = h*l for c.
3
Suppose -4*b + 44 = -6*r, 0 = 5*b - 4*r - 22 - 12. Solve 0 = 2*s - 2*d - 4, 3*s + 0*d - 11 = -b*d for s.
3
Suppose 0*b = 2*b. Suppose 9*a = a + 16. Let j be (-15)/(-12) - (-7)/4. Solve -j*u + 15 = b, -a*n - 2*n - 3*u = 5 for n.
-5
Let s = 302 - 303. Let h(y) = -5*y**3 - 3*y**2 - 8*y - 5. Let v be h(s). Solve 5 = -10*k + v*k + 2*d, 0 = 4*k - 3*d + 4 for k.
-1
Let f = -36180 + 36234. Solve -2*l - 10 = f*a - 59*a, 2 = 3*a - 2*l for a.
4
Let u be 0/2*7/(-63)*3. Suppose -2*l - l + 351 = 0. Suppose u = 6*p + 3*p - l. Solve -3*h - 2*h = 3*c + 28, -3*c - 2*h - p = 0 for c.
-1
Let k(t) = -13*t**2 - 4*t - 20*t + 57 - 14*t**2 + 3*t**3 - 4*t**3. Let b be k(-26). Suppose p - 8 = -p. Solve 0 = -b*l + m - 23, p*l - l = 2*m - 18 for l.
-4
Let p be ((-26)/(-16))/((-18)/72)*12/(-39). Solve 3*t - 6 = 0, 3*b - p*t = 19 - 8 for b.
5
Let s = -15912 - -15918. Solve 7*a = -k + s*a, k - 3*a - 20 = 0 for k.
5
Let z be (7 + -5 - 3/3) + -2. Let a be -78 + 82 + (z - -1) + -1. Solve l + 3*c = c - a, 0 = -4*c for l.
-3
Suppose 5*i - 2*l = -0*i + 19, 0 = 2*i - 5*l + 5. Suppose -2*h - 9*v = -14*v + 10, -10 = h - i*v. Solve -4*d + 8 = h, 0*d = 3*p + d - 5 for p.
1
Let v = 229 - 224. Suppose v*a + 2 - 32 = 0. Solve 0 = -r - x + 2, -r - 3*x = -a + 2 for r.
1
Let f(g) = 49*g + 12. Let a be f(1). Let n be -2 - -2 - 43 - -1. Let m = a + n. Solve 3*z - 6 = -5*p - 16, -3*z = -4*p + m for p.
1
Let c be 0/(-1*3 + 1). Let o be (-2)/(8 + 325/(-39)). Solve 5*m + 5 = 0, s + m - o + 3 = c for s.
4
Let o = 92 - 139. Let v = -41 - o. Suppose 0*t + 5*t = 0, -3*t = 2*s - v. Solve -5*g - s*b + b - 9 = 0, -g + 4*b = 15 for g.
-3
Let n(t) = t**3 - 2*t**2 - 6*t - 8. Let b be n(4). Suppose 4*h + 13*a - 9*a - 76 = b, 5*a + 59 = 2*h. Solve -23 = -3*u - 2*v, -v + 2 = 4*u - h for u.
5
Let w(b) = 3*b**2 + b. Suppose 11*g - 13 = 9. Let k be w(g). Solve -t = -4*n - 5*t + 4, -k = -2*n - 5*t for n.
-3
Suppose -2*i - 3*k + 102 = 0, -4*i + 213 - 25 = -2*k. Suppose 0 = i*q - 49*q. Solve q = -5*l - u + 24, 2*l = 2*u - 0*u for l.
4
Let x be (-1 + 14/12)*12/2. Suppose -2*p - x = -3*d - 0*d, 0 = 5*d + 5*p - 35. Solve 8*h - d = 5*h - 4*l, -4*h - 3*l + 4 = 0 for h.
1
Suppose 6*p - 4*p - 10 = 0. Suppose -7*t = 17 - 570. Let m = -64 + t. Solve -n = -0*n - p*w - m, -n - 2*w - 6 = 0 for n.
0
Let b be -2*(0 + -1 + -3). Suppose 41*j - 253 = -25*j - 55. Solve 0 = -5*v - l + 20, 3 = -j*v + 4*l - b for v.
3
Let p = 1053 - 864. Suppose 0 = 199*d - 178*d - p. Solve -f - 5*v + 2 + d = 0, -3*v - 3 = 3*f for f.
-4
Let z be (28/21)/(0 - (-11)/33). Solve 4 = -2*q, -6 = -z*g + 9*q - 6*q for g.
0
Let p(w) = -146*w + 4390. Let t be p(30). Solve 3*d = -3*r, t*r + 20 = 5*r for d.
4
Suppose -101*m + 24 = -95*m. Suppose -i - m*q - 13 = 1, 4*q = -16. Solve -p - i*h + 6 = 0, h + 4 = 9 for p.
-4
Let c(r) = -8*r**2 - 116*r - 363. Let v be c(-5). Solve 0 = -38*q + 43*q - y - v, q + 4*y = -26 for q.
2
Let o = -12768 - -12771. Let y(h) = -h**3 - 3*h + 8 + 4*h + 25. Let a be y(0). Solve -2*c - 2*c - 5*w = -a, -w + 11 = o*c for c.
2
Let l = 109 + -120. Let m(z) = 6*z + 69. Let t be m(l). Let u be (6 + 0/t)*(-1)/(-3). Solve 8*q = u*n + 3*q - 15, -12 = 4*q for n.
0
Let h be (3 - -5 - 7)*(13 - 2). Suppose -h*o = 8*o - 57. Let j(g) = g**2 + 4*g + 3. Let i be j(-4). Solve -5*m - 22 = -o*t + 3, -i*t + m + 17 = 0 for t.
5
Let c = 101 - 101. Suppose 8*y - 82 + 10 = c. Solve 3*t + 3*b = 5*b + y, 0 = -2*t - b + 6 for t.
3
Suppose 0 = 6*l - 2*l. Suppose 466*f - 749 = 183. Solve 3*y - 3*k = -3, l = 3*y - f*k + 7*k - 21 for y.
2
Let f = -311 - -315. Solve 0 = -2*k - 3*h - 5, 70 = f*k - 4*h + 50 for k.
2
Suppose 0*i = -39*i. Solve -3*v - 10 = -2*b, -3*b + 3*v + 4 + 5 = i for b.
-1
Suppose 2*f = -25*f + 108. Solve f*v = 5*u + 9, -67*v + 69*v = 3*u + 7 for v.
-4
Let r(b) = -b + 4. Let l be r(4). Suppose l = -y + 4*y - 75. Let z = -1109 - -1111. Solve -3*k - z*k - y = -4*n, 0 = -3*k - 15 for n.
0
Let n(k) = -k - 24. Let m be n(10). Let j = -23 - m. Suppose j*z - 8 = 7*z. Solve 3*r = -z*u + 9, 4 = 4*r - 8 for u.
0
Suppose -3*r = -8*r - 15. Let g be (3 - (-25)/(-10))*0 - r. Solve -3*d + g = 4*j + j, 0 = -4*j - 3*d for j.
3
Suppose 3*q + 288 = -2*f, 3*f + 3*q = -24 - 411. Let u = f + 164. Solve 5*x + 7 = 4*x - 2*a, x = 4*a + u for x.
1
Let u be 2 - (5 + 81/(-9)). Suppose 0 = 2*s - s - 4*c - 10, 0 = -4*s - c + 6. Let p be 0/(-4 + u/s). Solve -3*n - v - v + 9 = p, 3*n - 9 = 2*v for n.
3
Let q(j) = -j**3 + 11*j**2 + 27*j - 11. Suppose 2*u + 55 = 5*f + 4*u, 0 = 4*f + 4*u - 32. Let o be q(f). Solve 5 = -5*a + 3*d, 4*a - 2*d - o = 6*a for a.
-1
Let t(s) = -s**2 + 10*s + 2. Suppose 0 = -109*n + 102*n + 70. Let v be t(n). Solve -v*p - 15 = 2*f + f, -f + 3*p + 6 = 0 for f.
-3
Suppose 0 = -2*y + 8*u - 13*u + 155, 5*u = -5*y + 380. Let z be y/50*(3 + -1). Solve -2*m - m = -5*c + 6, 0 = z*c - 3*m for c.
3
Suppose 2*r - 233 = -4*t - 235, t = r - 17. Solve -3 = 4*v + 3*l + r, -l + 7 = -v for v.
-5
Let d(i) = i**3 - 103*i**2 - 3*i + 314. Let x be d(103). Solve 2*f - 2*g - 2 = 0, x*f - g = 1 + 12 for f.
3
Let q be (-24)/16*152/(-6). Suppose -43 = -h + 2*n, -3*h + 34 + 51 = 5*n. Suppose -q*i = -h*i - 9. Solve u + 9 = -b, i*u + 7 = -b + 3*b for b.
-4
Let q be (-100 - -100)/((-8)/2). Solve -34 + 14 = 4*d, q = -5*f + 2*d for f.
-2
Let z be ((-30)/(-3))/(1*2). Suppose -7*c = -9*c + 3*w + 31, -36 = 4*w. Solve 5*k + z*h = 10, -c*k = 4*h - 0*h - 2 for k.
3
Suppose 40*l + 236 = 85*l + 73*l. Solve -z - 3*t + 4 = 2*t, -4 = 2*z - l*t for z.
-1
Let w = 1807 - 1802. Solve -b - 53 + 33 = 3*k, -w*k + b - 44 = 0 for k.
-8
Suppose 0 = -3*b - 3*y + 18, -2*b + 48 = -3*y - 4. Solve 4*q - 6*p = b, 3*q - 5*p = 21 - 8 for q.
-4
Let u be ((-13)/((-52)/1))/((-2)/(-40)). Suppose 16 = -5*b - 4. Let n be (-2)/b + 9/2. Solve n*x + 20 = -0*l - 2*l, -u*l - 16 = 4*x for x.
-4
Suppose -7*x - 29 - 69 = 0. Let r be x/(-3)*1080/252. Suppose q + 3*q - 48 = 0. Solve 4*s = -s + 3*z - q, 5*s = 5*z - r for s.
0
Let n(b) = b**2 + 28*b + 191. Let y be n(-9). Suppose -5*p = -4 - 31. Suppose p*k = -4*k + 22. Solve -4*o = -t - k*t - y, t = -2*o for o.
2
Let p(t) = -4*t + 121. Let l be p(-23). Suppose 0 = -8*k + l - 69. Solve 3*n = -5*j - k, -3*n - 5*j = -5*n + 13 for n.
-1
Let a = 10 - 10. Suppose a*j - 45 = -3*j. Let g = 20 - j. Solve 5*d + 0 - 5 = 0, -g*v = d - 16 for v.
3
Let j = 1105 + -1102. Let h(s) = s - 2. Let m be h(2). Let c(p) = -p**2 - 5*p + 8. Let l be c(-6). Solve m*x + k = -j*x + 10, l*x - 6 = -k for x.
4
Let y be ((-95)/40 + -2)/((-24)/192). Solve -7 = 3*n - 2*m - 20, 0 = -9*n + 4*m + y for n.
3
Let x be 1/(-2)*(-2 + 0). Let v be 24/((-48)/4) - (0 - 1). Let u be (x*v)/((-5)/45*3). Solve -5*d - 6 = u*i, 3*i - 5*i - 4 = -d for i.
-2
Suppose 0 = -l - 59*l + 379 - 79. Solve 4*q + 25 = t, -16*t + 14*t - 3*q = l for t.
5
Suppose -d + w = 2*w - 6, w + 18 = 5*d. Suppose d*i = 4*n - 4, 24 = 3*i + 2*n + 7. Solve 4*x = -p + 9 + 3, -i*x + 9 = -3*p for p.
0
Suppose 0 = 7*j - 6*j. Suppose 3*z + 12 = 5*w, 3*z - 4*w - 4 = -13. Let u be 5/z*(-1 - -2). Solve j = p + p - u*b - 21, p + 12 = -5*b for p.
3
Let k be 3*(-14)/231 + (-68)/(-11). Suppose 0 = -43*c - k*c + 98. Solve 2*n = -3*n - 20, c*o = -5*n - 14 for o.
3
Let m be 96/(-30)*(-15)/6. Suppose 217 - 225 = -2*f. Solve 0 = -m*z + 5*z, 3*y - f*z = -9 for y.
-3
Let u(g) = -3*g - 79. Let i be u(0). Let t = i + -11. Let l = -90 - t. Solve l = -2*w + 4*w + 4*r - 2, -5*w = r - 23 for w.
5
Suppose a + 1 = -67*k + 68*k, -4*a + 1 = -3*k. Let m be 0/(5 - 0 - a). Solve x + f - 4 = -m*f, 0 = 5*x