*b + 5*b + p, s - 3*b = 11 for s.
5
Let s = -115 + 109. Let v be (s/(-21))/((-8)/(-168)). Solve -u - 2*w + 4*w - v = 0, 0 = -3*u - 4*w + 32 for u.
4
Let o be (-3)/((-585)/(-40) - 15). Solve 4 = 4*f - i, 7*f - o*f - 20 = 5*i for f.
0
Let d be ((-245)/21)/5 + (-2)/3. Let z be (-3)/7 - d/(-21)*-17. Suppose 2 = z*w - w. Solve -r + s = 0, -2*r - w*r = 2*s - 6 for r.
1
Let q(d) = d**3 - 67*d**2 - 213*d + 213. Let b be q(70). Solve -5*h - 12 = -9*h + 2*w, h - 3*w = b for h.
3
Suppose -5*k + 69 = 4*t, -3*k - 66 = -4*t - 5*k. Suppose t*u + 260 = 21*u. Suppose -5*i - 8*i = -u. Solve 4*o - 16 = q, 2*o - i*q - 28 + 6 = 0 for o.
3
Let c = -95 + 100. Let w be 1/(-7 + 8)*4/2. Solve x + 1 = 5*y + w, -4*y = 5*x - c for x.
1
Suppose -6 = n + 4*i, 5*n + 35 = -5*i + 5. Let p be (-2)/((-4)/n*(-12)/16). Solve 3*q + 2*q + 8 = 4*r, -q + 8 = -p*r for r.
-3
Let a = 11 - 11. Let o be 2 - (-32)/(-14) - 46/(-14). Suppose a = -g - h, g + g = o*h + 25. Solve 2*r = g*k + 3 - 1, -4*r = -5*k - 4 for k.
0
Let l = 9 - 7. Let i(d) = -2*d**3 - 3*d**2 + 9*d - 5. Let b be i(l). Let h = b - -30. Solve v - h = 5*q, 5*v = 4*q - 2*q + 6 for q.
-3
Let i = -79 + 369. Let n be (435/i)/(2*(-3)/(-40)). Suppose -c - c = -6. Solve -25 = -5*j, n = -4*g - c*j + 33 for g.
2
Let f be ((-12)/(23 - 11))/(3/(-6)). Solve -f*k = -13*h + 10*h, -2 = -h for k.
3
Let a be (-3)/((-15)/(-30) + -2). Solve 0 + 12 = a*m - 5*z, 0 = m + z + 8 for m.
-4
Let z(i) = 4*i - 19. Let s be z(9). Suppose 13*g - s*g + 8 = 0. Let a be 2/(-12) + 93/18. Solve -30 = -a*x + g*h + h, -x + 23 = -4*h for x.
3
Let u = 4547 - 4544. Let j(x) = -x**3 - 3*x**2 - x - 3. Let v be j(-3). Suppose -4*w + 18 - 6 = v. Solve 0 = 2*h - i - w - 0, 2*i - 15 = -u*h for h.
3
Let l be -5*(-41)/15 + 2/(-3). Suppose 5*w - l = 17. Suppose 4*u + 3*q - w = 5, 5*u = 2*q + 31. Solve 0 = 4*b - 3*r - 6, u*b + 2*r = -0*b - 4 for b.
0
Suppose 349 = -5*n + 364. Solve 2*d - 5*i = -17, 5*d + 4*i = -n + 10 for d.
-1
Let s = -201 - -211. Suppose -2 - 18 = -s*y. Solve -5*d + f + 1 = y, 5*d - 5*f = 15 for d.
-1
Suppose -x + 3*u = x + 212, -5*x - 5*u = 530. Let k = -103 - x. Solve -k*r + 3*s = 0, 5*s = r + r + 3 for r.
1
Suppose -13 = 5*o - 78. Suppose 0 = -o*f - 8*f + 84. Solve -2*t = 3*w - 1, -5*t - w - 5 = f*w for t.
-4
Suppose 2*j - 1672 = -74*j. Solve 2*x + 2*y + 10 = 0, -j - 2 = 5*x + 4*y for x.
-4
Suppose -63*l - 22870 + 23059 = 0. Let n = -29 - -50. Solve -5*x = -5, 7 = l*o + x + n for o.
-5
Suppose -2*r + 0*r - q = -19, 5*q + 55 = 5*r. Suppose -5*a + 4*n = -r, 63*a + 8 = 67*a + 2*n. Solve 2*l + 0*b + 5*b = -11, 4*l = a*b + 14 for l.
2
Let o = 13182 - 13172. Solve h = -1, -5*h + 13 = -2*v + o for v.
-4
Let w be (13 + -10)/((273/2704)/7). Solve w*d + 13 = 209*d - 2*i, -i + 1 = 2*d for d.
3
Let a = -8 + 13. Suppose -7*h + 3*h = 5*q - 16, 3*h - 9 = -3*q. Suppose d = 5*o - 82, -2*o + 4*o + q*d = 46. Solve 0 = -l - 5*x + o - 2, -2*l + a*x = 0 for l.
5
Let t = 557 - 23. Let s = 539 - t. Solve s*k = 5*w - 15, -k = 4*w - 4 - 8 for k.
0
Let c be ((-325)/(-26))/25 + (-7)/(-2). Suppose -3*f - 4*q = -q, -4*f - q = -12. Let o = c - f. Solve o*k - 3*k - 17 = d, 2*d = 5*k + 21 for k.
-5
Let u = -416 - -421. Suppose 0 = 4*n - 3*b - 95, 3*n - u*b - 110 = -25. Solve -4 = -f - c + 5, 0 = 4*c - n for f.
4
Let u be 6/(2 - -1)*(1 + 1). Suppose -170 = u*o - 190. Solve -20 = 4*k + 3*m + m, -o = k - 3*m for k.
-5
Suppose -38*s = -28*s - 20*s. Solve -2*d + 2*f = -14, 12*d - 10*d + 4*f - 2 = s for d.
5
Let p be (-4)/(-114)*-3 + 6/57. Solve 12*q + 13 = 9*q + w, p = 5*q - 4*w + 31 for q.
-3
Suppose 65*q - 267 = -24*q. Solve -10*y - 10 = -5*y + 3*l, 0 = -q*y - 4*l - 17 for y.
1
Let d(j) = 0*j + 0*j**3 - 2*j + j**3 + 18*j**2 - 39 + 4. Let u be d(-18). Solve -3*y + 10 = 4*f + 33, 3*f + u = y for y.
-5
Let q be 4 - 1 - (-4)/(-2). Let n be (1 + q)/((-12)/(-18)). Let i = -203 - -209. Solve -n*v = i, 8 = -4*g - v - v for g.
-1
Suppose 4*j + 0*j = 12. Let q = 14 + -17. Let k be -2*-6*q/(-6). Solve 2*g = -0*g - 5*l + 10, 0 = -j*l + k for g.
0
Let m = 703 - 704. Let h be -5 + m/((2/5)/(-2)). Solve w + 3 = -2*t, h = 6*t - t for w.
-3
Let l be ((-77)/(-22) - 2)*(-10)/(-3). Suppose -r = r + l*r. Solve 4*k + 2*c - 16 = r, -2*k = -4*k + 4*c - 12 for k.
2
Let v(l) = 6*l**2 + 3*l - 1. Let p be v(-1). Suppose 4*m + 4*u - 16 = 0, 3*u - 8 = -3*m + p*u. Solve 3*c - 28 = -4*w, 3*w - 3*c = m*c - 8 for w.
4
Suppose n + 0*n + 2*s = 0, -n = 5*s + 6. Suppose 0 = -3*p + 4*z + 2, -z = 4*p - 5 - n. Solve -5*i + 3*l + 6 = 0, -i - p*l = -3*i for i.
3
Let u(g) = -23*g - 11. Let a(w) = 4*w + 13. Let o be a(-4). Let d be u(o). Let m = -54 + d. Solve b + 7 = -2*j, -4*b + j + m*j - 2 = 0 for b.
-3
Suppose -5*b - 3*s + 51 = -6*s, 33 = 3*b - 3*s. Solve o + 2*h + 9 = 0, 0 = 3*o + 5*h - b*h - 23 for o.
1
Let n be (-398)/(-44) - 74/1628. Solve 4*h + n*p - 20 = 8*p, -2*h + 2*p = -10 for h.
5
Let y = 139 - -137. Let i = -272 + y. Solve m = -2*b + i, -2*b - b + 8 = 2*m for b.
0
Suppose -6 = -z - 9. Let b be -3 + 1 + 15*z/(-9). Solve 4*y + l - 5*l + 12 = 0, b*y - 5*l = -7 for y.
-4
Let y(k) = -28*k**2 - 8*k + 19. Let c be y(-4). Let z = c + 404. Solve 0 = -3*w + 3, -2*n - w = n - z for n.
2
Let r = 12094 + -12059. Solve r*t - 39*t - 20 = 2*g, 5*t + 2*g + 24 = 0 for t.
-4
Suppose -35*q + 5*q = 120. Let l be ((-2)/q)/((-12)/(-32))*6. Solve -2*b - l = 5*t, 3*t - 21 = 3*b - 9 for t.
0
Let w(x) = x**2 + 14*x + 49. Let l be w(-12). Let i(y) = 6*y + 1. Let o be i(4). Solve 0*k = -5*k + f + l, 5*f + o = 5*k for k.
5
Let g = -7039 + 7055. Solve 4*y = n + g, -31*n = -27*n - y - 11 for n.
4
Suppose -2353 + 2203 = -75*u. Solve 5*j + 21 = -4*f, 0 = -55*j + 57*j - u*f + 12 for j.
-5
Suppose 1037*h - 341*h = 2088. Solve -h*u + 25 = -5*b, 5*u + b - 1025 = -1030 for u.
0
Let f be (1/(-3))/((-47)/4089). Suppose 6*t + f = 53. Solve m - 3*c = -4*m - 15, -3*c = t*m - 15 for m.
0
Let h be 2/(-14)*126/(-6). Suppose -2*n - 10 = -2*w, h*w - 4*n - 20 = -0. Solve w*s - 5*l - 1 = 4*s, -2*s + 5*l = -7 for s.
1
Suppose -69*y + 110 = -64*y. Let g(u) = 2*u - 42. Let v be g(y). Solve -v*f = -4*w + 10, 5*w - 23 = -2*f + f for w.
4
Suppose 2*b + 2*g - 24 = 0, 5*g = -0*b + 5*b - 40. Suppose -5*j + b = -3*j. Let q = -218 + 220. Solve -25 = -4*y + y + q*m, -m = 2*y - j for y.
5
Suppose 0 = -8*a - 208 + 328. Let n(s) = s**2 - 20*s + 97. Let g be n(a). Solve f - 5*t + 2*t - 2 = 0, -3*t = -5*f + g for f.
5
Suppose -2*i = -3*i - c, 4*c + 18 = 2*i. Suppose i*t + 27 = 4*p, -5*p + 22 + 20 = -t. Let x be (10/4 - p/6) + 6. Solve z + x = -2*j, 5 = -2*j - 3*z - 0 for j.
-4
Suppose -43*z + 265 = -38*z. Suppose -j - 49 + z = 0. Solve -5*d = j*a - 21, -5*d - 3*a = -d - 16 for d.
1
Let y be (164/(-8) + 22)/(2/4). Solve d = o + 1, -4*d - 3*o + y = 20 for d.
-2
Let b = -147 - -149. Suppose 17*u = 5*x + 22*u + 10, -b*x = -2*u - 16. Solve -2*j + h + x + 0 = 0, 2*h = 2*j - 2 for j.
2
Let i be 21/(-2)*(1 + (4 - -1)). Let y = i + 66. Let g = 90 - 67. Solve -4*k - 3*o = 2 + g, y*k = -o - 15 for k.
-4
Let b(s) = s**2 + 8*s - 8. Let n be b(-9). Let z be n/(-4) + 171/76. Solve -3*j + 15 = -z*u, 6*u - 2*u = j - 5 for u.
0
Suppose 53*k - 62 - 362 = 0. Solve -2*s + 3*x = -8, 4*x - 2*x = -k for s.
-2
Let m be (3 - -5) + (-87)/29. Let k be (2/(-11))/(62/(-341))*m. Solve 0 = 2*f - 2*n + 4, 4*f = -2*n + 5 + k for f.
1
Let r be ((-54)/(-81))/(2/15). Suppose 0 = o - r*i + 16, 0 = 2*i + 3*i - 20. Solve -4*s + 5*n = -3, -3*s + 5*n = -o - 2 for s.
-3
Let r be 77/(-33)*(3 - 0). Let b(x) = -9*x - 59. Let q be b(r). Solve -5*p + 4 - 14 = 0, 23 = 3*a - q*p for a.
5
Let b be -3 + 38 + (6 - 12) - 8. Solve 2*l = 5*z - b, 3*l + 2*z + 14 = 11 for l.
-3
Suppose -25 = -5*u - 5. Let j(i) = -3*i - 120. Let w be j(-41). Solve 3*q = u*t, 2*t + t = w*q for q.
0
Let z(m) = -m**3 - 13*m**2 - 25*m - 7. Let o be ((-22)/(-8))/((49/28)/(-7)). Let p be z(o). Solve -4*l - 5*w = -4 - p, -4*w + 3 = -l for l.
5
Suppose -8*o + 2*l - 2 + 34 = 0, l + 7 = o. Solve -o*m + 7 = -2*j, -4*j = -0*m - 5*m + 13 for m.
1
Suppose 18*u - 21*u + 83 = -2*t, 39 = 2*u + t. Let d(i) = 2*i**2 - i - 4. Let g be d(3). Solve r + 5*m = -u, -3*r + g = -0*r - 5*m for r.
-3
Let g be 18 + (12 - (-198)/(-11)). Solve 20 = 8*l - 3*l - 5*y, y = 3*l - g for l.
4
Suppose -3*z = 3*q - 1050, -2*q - 241 = 4*z - 1637. Let p = 353 - z. Solve 4*s - 2 - 14 = 0, -x + p*s 