x*b - p + 16, 5*b - p = 8 for b.
2
Suppose b = -0 + 4. Let a(w) = -w**3 + 17*w + 9. Let u be a(-4). Let i = u + 6. Solve 0 = 2*x - 3*f - 5, b*x = 3*f + 2*f + i for x.
4
Let o(i) = 2*i**3 + 9*i**2 - 5*i + 87. Let k be o(-6). Solve -7*s + 15 = 3*q - k*s, 0 = -q - s for q.
3
Let m be 4/(((-4)/36)/(6 + 657/(-108))). Solve -4*l = m*j - 6*j - 1, -2*l = 5*j + 19 for l.
-2
Let t be 1 - (7 + 7 + -15 + 2). Solve t = n, -7*n + 2*n = h + 3 for h.
-3
Suppose -3*l + 394 = 2*l + f, 0 = -2*l + 5*f + 136. Suppose 0 = -0*r + 3*r - l. Suppose 3*c = 7*c - 12. Solve r = 4*k + 10, 0 = 5*p - c*k + 12 for p.
0
Let w(s) = -s**3 - 2*s**2 - 7*s - 27. Let f be w(-3). Solve 0 = f*b - a, 1 = 13*b - 11*b - a for b.
-1
Let g = 3515 - 3513. Solve -25*p = -28*p + 3*t, 5*p = -g*t + 7 for p.
1
Let z be (3/((-27)/(-6)))/(2/(-15)). Let d = z - -3. Let c be (d - (-165)/20)*(-1 - -5). Solve 3*n - 5*l = c, -5*n + 8 = -2*l - 2 for n.
0
Let z be -1*(90/11 + -8) - (-70)/22. Solve -12 = -z*g + 5*m, -6*g - 3*m = -11*g + 20 for g.
4
Let k = -109 - -104. Let q be (6/(k + -1))/(2/(-10)). Solve -q*s = 2*g - 28, -s + 3*s + 4 = 3*g for s.
4
Let w be 3/27 - (-128)/(-18) - -5. Let d be 30/(-12)*4/w. Solve p - 2*y = 1, 2*p + 2*p + d*y = -22 for p.
-3
Let q = -15551 - -15555. Solve 3*b - q*b + 3 = 3*m, m - 5*b = 1 for m.
1
Let v(g) = 9*g**3 + 5*g**2 + 5*g + 3. Let d be v(-1). Let y(p) = 14*p + 89. Let t be y(d). Solve -4*f - 3*k = -f, -4*f - t*k = -5 for f.
-5
Let i(d) = -d**3 + d**2 + 22*d + 6. Let q be i(5). Suppose -9*c - q*c = -0*c. Solve 0 = 3*f - 2*n - 3, 5*f - 4*n = -c + 7 for f.
-1
Let t(x) = -31*x - 7. Let v = 98 - 101. Let p be t(v). Let a = 86 - p. Solve -3*g = -3*w - 12, -4*w + 2*w - 4*g + 4 = a for w.
-2
Let b(a) = -a - 2. Let h(j) = 2*j + 12. Let c be h(-9). Let u be b(c). Suppose -97 = 3*x - 145. Solve -u*l - 11 = 4*n - 47, -n - x = -4*l for n.
4
Let w = -4848 - -4850. Solve 3*i - 27 = 2*u + w*u, i = 2*u + 11 for u.
-3
Let l = 57 + -47. Let n(b) = b - 2. Let u be n(l). Suppose 0 = -u*s + 2*s + 24. Solve -i + 5*a + 8 = s*a, -5*i + 36 = -4*a for i.
4
Let i be (-66)/36 + (-2)/12. Let u be (1 - (-1)/i) + 225/10. Let f(z) = 2*z - 2. Let r be f(3). Solve 2*h + 4*s = -18, -r*s = 3*h - 0 + u for h.
-5
Let z(s) = s**3 - 17*s**2 + 18*s + 3. Let u be z(16). Suppose 30 = b - 7. Let v = b - u. Solve 5 = 4*x + 5*w, -4*x + w = -v*w + 3 for x.
0
Let j = -44 - -46. Suppose 4*n - n - 3*w - 27 = 0, j*n + 7 = -3*w. Suppose 3*m - 17 = g, 2*g = 2*m - 4*m + 6. Solve -3*p = m*k - 17, -p + 12 = 3*p - n*k for p.
4
Let f(j) = j**2 - 3*j - 3. Let d be f(-2). Let z(i) = i + 16. Let o be z(-5). Suppose 0 = 9*q - o*q + 6. Solve -3*l - 2*n + 9 = -d, q*n = 3*l + 9 for l.
2
Let a be (-6)/(-27)*(-4977)/(-158). Solve 0 = 3*d - 5*b - 1, d = 13*b - 18*b + a for d.
2
Let w = -2 - 0. Let z be -5*(-3 - (w - -2)). Suppose 4*m - 5*m - 35 = -8*m. Solve 14 = -3*x + 5*x - 4*g, -m*g = -2*x + z for x.
5
Let l(o) = 4*o + 16. Let j be l(-3). Solve 4*w - r - r = 22, -26 = -2*w + j*r for w.
3
Let v be (-52 - -54)*(-5)/(-2). Solve -7*t + 4*z - 8 = -v*t, 0 = -4*t + 5*z - 4 for t.
4
Let z(y) = -y**2 - 23*y - 25. Let p be z(-22). Let a = p + 7. Suppose 4*x + 2 - 14 = 0. Solve a*l + 4 = 4*g, x*g = -5*l - 1 + 20 for g.
3
Let o(p) = -p**2 + 16*p - 61. Let x be o(6). Let g = x + 5. Solve -g*h = -5*s + 20, -2*h + 2*s - 3 - 7 = 0 for h.
-5
Let d = 303 + -298. Suppose -5*v - d = -p, -3*p + 34 = -0*v + 4*v. Let c = 4 + -2. Solve c*t - 4*i + p = -0*i, -4*i + 25 = t for t.
5
Let f = 76 - 50. Let d(p) = -p**2 - 118*p - 1956. Let h be d(-20). Solve f = h*w - 2*m, -5*w + 3*m = -m - 37 for w.
5
Let p(a) = a**3 - 7*a**2 + 9*a - 14. Let y = 84 + -78. Suppose -13*l = -14*l + y. Let v be p(l). Solve -v*r = -r - 6, -7 = 3*q + 4*r for q.
-5
Let y = 555 + -493. Suppose -22*l = -y - 26. Solve -5*m = l*h - 25, 0 = -m + 4*h - 7 - 12 for m.
1
Let h be -1 - (5 + -4 + 100). Let a = h - -103. Solve -4*y = -c - y - a, -y = -5*c + 9 for c.
2
Let m be 2*(-2)/4 - 11/(-1). Solve 2*g + m = 0, 4*n + 25 = 5*g + 58 for n.
2
Suppose 6*u = 11*u + 1340. Let t = u - -273. Solve t*a = -4*v - 3 - 7, v = a - 7 for v.
-5
Let k be ((-71)/(-20) - 6/8)*480/336. Let h = 3 - -4. Solve -5 - h = 5*q - o, -k*q = -2*o + 6 for q.
-3
Let n be 13/11 + (-78)/429. Let t be (-7 - -4) + 5 + n. Solve -i - t = -3*w + 6, 5*w = 3*i + 11 for w.
4
Suppose 227*b + 5*v - 18 = 230*b, v = 6. Solve l - 1 = q, b*q + 5*l - 4*l = 11 for q.
2
Let s be (-12*(-5)/105 + (-2028)/(-273))/((-4)/(-2)). Suppose -4*f + 40 = f. Let o be (-20)/(-9) + (-2)/9. Solve 5*x - 4 = s*u + o, -u - f = 2*x for u.
-4
Let h = -120 - -123. Suppose -3*k + 4*k + 3*c = 8, h*k + 2*c = 17. Solve 0 = d + 2*p + 3, 11 = k*d - 0*d - 3*p for d.
1
Let w(y) = y**3 - 4*y**2 - 8*y + 43. Let h be w(4). Solve j + 17 = -2*t - 2*j, 2*t = -j - h for t.
-4
Let r be ((-80)/(-25))/(2/5). Suppose -r*w - 45 = -85. Suppose 0 = 5*f - 3*t - 18 + 3, -2*f + 6 = 4*t. Solve w*g = 3*n - 22, -n + 2 = f*g + 4 for n.
4
Let w be 33/(-429) - (-318)/78. Solve 4*y + 16 = 4*p - 12, -4 = -w*y - 4*p for y.
-3
Let c be 5*(-8)/(-10)*(0 - -1). Suppose -c*y - 5*b = -130, -b + 3*b = 5*y - 179. Let m = y + -33. Solve -4*l + 2*l + 4*w + m = 0, -3*l = 3*w - 12 for l.
3
Suppose -4 = 3*o - 19. Let k(p) = -p + 10. Let x be k(o). Let m(z) = 3*z**2 + 41*z - 56. Let c be m(-15). Solve x*h - 2*s = -7*s - 25, c*s = 3*h - 6 for h.
-2
Suppose 33*k + 7 = 40*k. Let v(w) = w**3 - 5*w**2 + 3*w - 11. Let c be 1/10*5*10. Let i be v(c). Solve i*g - 5 + k = 0, 3*d - 2*g - 1 = 0 for d.
1
Let q = -1 + 5. Let k(h) = -48*h + 725. Let m be k(15). Let s(r) = r**2 + r - 2. Let d be s(m). Solve 5*g = q*a + 8 - d, 0 = 3*g + 12 for a.
0
Let x(r) = -95*r + 858. Let u be x(9). Solve 2 = -3*m - 2*t, -5*t + 2 = u*m + m for m.
-2
Let o = -507 + 512. Solve h + 2*h - 3*v = 3, 0 = -o*h - 4*v - 4 for h.
0
Suppose 41*r = 87*r - 184. Solve -3*d - 16 = -x, -3*d = -5*x - r + 24 for d.
-5
Suppose 59 - 60 = c - 3*z, -2*c - 2*z + 46 = 0. Solve 15*h = -r + c*h + 9, h = -3 for r.
3
Suppose 6*a - 29 - 1 = 0. Suppose -a*s - 16 = 3*d, -6*d = -3*d - 5*s - 34. Solve 0 = -4*c - 0*k - 4*k + 28, 3*c = d*k + 3 for c.
4
Let r be (-1926)/214*(-5)/9. Solve 0 = s + g - r, 5*s - 7 + 10 = 2*g for s.
1
Let w(y) = -2*y**3 + 3*y**2 + 34*y + 32. Let l be w(-1). Solve 0 = 5*s - 4*s - l*h - 11, 4*s + h = 18 for s.
5
Let t be 33 - ((-2464)/(-192) + 2/12). Suppose 0 = -5*p - 10, -2*j - 12 = -6*j + 2*p. Solve 4*b - y - 25 = -j*y, -4*y = -t for b.
5
Suppose 3*j + 0*j = -3*p, 4*j + 18 = 2*p. Let d = p + -25. Let u = d + 27. Solve -5*y = 25, u*o + 3*y - 6 = -36 for o.
-3
Suppose -48*u + 1554 = -41*u. Let g = -217 + u. Solve 15 = -g*s, -s = 5*m - 3*s + 9 for m.
-3
Let a be 0 - ((-180)/81 + 4/18). Suppose -3*p + 1 = 5*w - 10, -a*p = -5*w + 26. Let d(r) = -2*r - 7. Let x be d(-6). Solve 0 = j + x, b - 5*j - 22 = w*b for b.
1
Suppose -6*y + 2*y - 2 = -f, 0 = 4*f + 3*y - 27. Let a be (-9 - -9)/(f/1). Solve a = -q + 1, 2*b - 4*q + 4 = -8 for b.
-4
Let v(w) = -42*w - 30. Let t be (1 - 35/15) + (-10)/(-30). Let q be v(t). Solve 2*a + 16 = 4*p, -3*a + 6*a = -q for p.
2
Suppose 4 = -m + 3*k, 4*k = -2*m + 17 - 5. Suppose 0*p = 3*p + 2*c, -p = 4*c. Let g be ((-4)/6)/(6/(-27)). Solve p*u - m*u = r, 5*u = -g*r for u.
0
Let u be (-2)/(-14) - (-3696)/196. Suppose 4*f - u = -4*b + 21, b + 4*f = -5. Solve 3*p - 2*n - 15 = -5*n, n - b = -3*p for p.
5
Suppose 0 = -4*u + 62 - 14. Suppose -14*h = -18*h + u. Let f = -9 - -25. Solve -v - 5*y = -20, 3*v - y + f = h*y for v.
0
Let j(d) = -11*d + 280. Let w be j(24). Let a(r) = -r**3 + 16*r**2 + 2*r - 29. Let m be a(w). Solve m*v = 2*y + 2*y - 4, y + 2 = 0 for v.
-4
Let w = -1410 + 1412. Let l be (-3)/(3/(-2)) - 2. Let f = l - -3. Solve f*s - 3 - 10 = -w*q, 2*q - 4 = 0 for s.
3
Let k be ((-264)/308)/(2/(-252)). Suppose -110*v + k*v = -10. Solve -i - 5 = 4*x, -i = -v*x - 5 + 1 for x.
-1
Suppose -4*a = -9*a - 4*m - 245, 0 = 2*a + 2*m + 100. Let h be a/(-135) + (-23)/(-3). Solve -4*l = -h*l - 2*x + 10, 13 = 5*l + 3*x for l.
2
Let b be 2/24 + (-130)/1560. Solve -a - 3*n = 4, n = -a - b*n - 4 for a.
-4
Suppose -19*h - 3*k - 11 = -20*h, 23 = 4*h - 5*k. Suppose -5*s - z - 2*z + 58 = 0, h*z + 8 = 0. Solve -2*l - 5*b = s, -3*l + 5*b + 31 - 2 = 0 for l.
3
Let o = 3 + 0. Let h be (-5)/((-20)/48)*-1. Let j be ((-18)/(-12))/((-1)/h). Solve 0 