 0 = -o*x - 4*j + 1 for x.
-3
Let u = 11 - -44. Suppose -2*c = 5*d - 7*c - u, d - 16 = -4*c. Solve 2 = 4*s - 5*q, q = 4*s - d + 2 for s.
3
Suppose -5*u + 4240 = 5*r, -3*r = 4*u - 1513 - 1030. Let v = r + -847. Solve v*p + 19 - 48 = -5*b, 2*b = 5*p for p.
2
Suppose -a = -2*b - 49, 0 = 5*a - 5*b - 308 + 78. Solve 3*q + 2 = -5*m, m = -2*q + 6*m - a for q.
-9
Let u = 766 + -762. Let v(s) = s**3 - 2*s**2 + 15*s - 71. Let a be v(u). Solve -2*r = -3*f + 3*r - 6, 3*f + 4*r - a = 0 for f.
3
Suppose -54 = -2*u - 4*k, 2*k + 24 = 2*u + k. Solve 5*s - 4*n = -18, s - 3*n + u = -2*s for s.
2
Let k = -373 + 384. Suppose 27 = k*m + 5. Solve 5*b = 2*g + 2*g - 2, -m*g - 5*b = 14 for g.
-2
Let c = -1519 + 1524. Solve -c*y = -5*f - 23 - 27, -4*f - 35 = -3*y for y.
5
Let w be (2 - 0)*(-350)/20. Let b = -35 - w. Let h be ((-4)/8*b)/(-1). Solve 34 = -3*r - 5*l, 4*r - 2*l + 7*l + 37 = h for r.
-3
Let g(m) = -20*m + 6*m + 15 + 71 + 23*m. Let p be g(-9). Solve -2 = 4*u - 3*u, 0 = -p*q - 3*u - 6 for q.
0
Suppose 5*b - 1010 = -5390. Let o = b + 880. Solve o*g + l + 4 = 23, 4*g - 22 = -2*l for g.
4
Suppose 3*n = -4*w + 188, -w - 14 - 44 = -n. Let a be 798/20 - (-6)/n. Let p be a/32 - 6/(-8). Solve q = 3*v - 4, -p*v = -6*v for q.
-4
Let y(k) = -3*k**3 + 25*k**2 - 40*k - 8. Let g be y(6). Solve -z - 1 = -4*n, -4 = -g*z - 2*n - 8 for z.
-1
Let n be ((-862)/(-4))/(1/2). Suppose -2*k - 403 = -n. Solve r - 2*r - 1 = -4*h, -h + 5*r = k for h.
1
Suppose 0 = 10*s - 7*s - 780. Let q = s + -257. Solve 0 = 2*y - 5*l + 29, -4*l - 1 = q*y - 3*l for y.
-2
Suppose -5*w = 5*d - 110, -13*d = 4*w - 11*d - 92. Solve -3 = 5*t + 3*g, 3*g - 3 = -27*t + w*t for t.
-3
Let s be ((-96)/(-44))/8 - 533/(-143). Solve 0 = -22*m + 24*m - j - 3, s*j = 5*m - 9 for m.
1
Let t = 17363 - 17359. Solve -5*z + 8 = 13*v - 14*v, 2*z - 14 = t*v for v.
-3
Let b be 1 - (-2 - 5) - (7 - 11). Let k be (-16)/(-10) - b/(-30). Suppose 5*x = -2*x + k*x. Solve -5*c + 4 + 33 = 3*i, 3*c + i - 19 = x for c.
5
Let s be (-1004)/5522 - (46/(-11) - -2). Let x = 0 - 0. Let n = 1 - -2. Solve -q - n = -s*u, -3*q - 2*q - u + 29 = x for q.
5
Let s(u) = 3*u**3 + 13*u**2 - 10*u + 9. Let m be s(-5). Solve -3*d - m = -116*z + 113*z, -3 = 3*d for z.
2
Let p(f) = 2*f**2 - 2*f - 40. Let s be (2 - -7 - -1)/(4/2). Let y be p(s). Solve 0 = -5*d + 5*r - 5 - y, 0 = -5*d - 2*r - 5 for d.
-1
Suppose 160 + 72 - 20 = 53*b. Let j(h) = h + 4. Let o be j(8). Solve 5*v = -b*y + v - o, v = 2*y for y.
-1
Suppose 73*i = 71*i + 8. Let q(j) = j**3 - 3*j**2 - j - 7. Let g be q(i). Solve -4*m - 3*l = -0*l - 3, 0 = g*m + 3*l - 3 for m.
0
Let f(v) = 15*v - 41. Let y be f(3). Let j(z) = -z**3 + 5*z**2 - 3*z - 4. Let n be j(y). Solve 2*a = -p - 0*p + 13, 5*p - 5*a - 5 = n for p.
5
Suppose 9*i - 10*i = -4. Suppose 3*k = 4*k. Let r = -186 - -191. Solve k = -i*c + o - 7, c = -c - o - r for c.
-2
Let w(h) = 3*h + 16. Suppose -2*f - 24 = 5*t - 10*t, 3*t + 4*f - 4 = 0. Let p be w(t). Solve 3*m = 12, -3*d = d - 5*m + p for d.
-2
Let d = -565 + 560. Let k be (-4 - d) + -3 + 68/2. Solve -4*o - 3*c = o - k, 4*o - 2*c - 8 = 0 for o.
4
Let j = 163 - 156. Let w be -6*(j - 6) + 8. Solve -q + w*u - 2 = -6, 2*q - 2*u - 2 = 0 for q.
-2
Let a be (18/(-4))/((-855)/950). Solve -34*f + 15 = 5*n - 35*f, -a*f - 33 = -4*n for n.
2
Let k(s) = 3*s**2 - 83*s + 138. Let x be k(26). Solve -15 = 3*g - v, x*g - 17 = 10*g - 3*v for g.
-4
Suppose 2*r - 5*p = -2*r + 31, -r + 5*p + 4 = 0. Suppose 2*w + 165 = r. Let x = 89 + w. Solve 3*h - j = 4, 0 = -2*h + 2*j - 3*j + x for h.
3
Let z = 321 - 452. Let k = 133 + z. Solve -m + a - 18 = -4*a, 2*m + k*a = 12 for m.
2
Suppose 0 = -923*k + 933*k - 40. Solve 3*w - 4*j - 10 = -43, 4*j - 36 = k*w for w.
-3
Let v(h) = 8*h + 1. Let w be v(1). Let q(t) = -t**2 + 9*t. Let s be q(w). Let x be s/(1 + -2) + (-33)/(-3). Solve -3*u = -i + 3 + 1, 3*u - 4*i - x = 0 for u.
-3
Suppose 0 = -2*m + 3*b - 7 - 14, 13 = -m + 2*b. Let q be 3/(-1)*7/m. Let w(k) = -2*k + 19. Let l be w(q). Solve 12 = -5*g + 5*x - 8, l*g = 2*x - 23 for g.
-5
Let a be 132/8 + (-6)/12. Suppose -a*r - 15 = -21*r. Solve 4*w = -4*d - r - 1, 5*d = w - 23 for d.
-4
Suppose 18*s = 3311 - 2933. Solve 0 = 4*m - z - 18, 5*z + 11 = -5*m + s for m.
4
Let x = 86 - 473. Let a = -387 - x. Solve a = n + n + 3*b - 16, 0 = -n + 4*b - 14 for n.
2
Let x be (-28)/(-21)*3*9/12. Suppose 4*y - 30 = -5*q, 0 = -y + 5*q - 8 + x. Solve -6*v = y*r - 4*v - 3, v - 4 = 0 for r.
-1
Let u(q) = q**2 - 2*q + 1. Let l be (4 + 6/(-1))/(-2). Let s be u(l). Solve -4*v - 5 = -f - 4, 5*v - 5*f + 20 = s for v.
1
Suppose 0 = -3*p - 6*z + 7*z + 52, -p + 26 = 4*z. Suppose -3*r = -8 - 37. Suppose r*h = 13*h + p. Solve -k - 7 = -2*y, k - 2*y + h = y for k.
-3
Suppose 11*l + 87*l + 8*l = 530. Solve 5*s - 10*s = -l*x - 35, 16 = 4*s for x.
-3
Let n(w) = -w**3 + 31*w**2 + 66*w + 1. Let z be n(33). Let k be -5 + 4 + 1/z*1. Solve b + 4*p = -k*p + 16, -p = b - 4 for b.
0
Let g = 19 - 12. Let z(c) = -81 - 24 - 154 + c - 36 - 21*c. Let s be z(-15). Solve 5*q + 10 = 0, 0*t + s*q + g = 3*t for t.
-1
Let h(w) = 3*w**3 + 24*w**2 - 28*w + 1. Let m be h(-9). Solve 5 = 2*t + 3*x, m = -5*t + 8*x - 11*x for t.
-5
Suppose 4*c = g - 4, -5*g = 6*c - 4*c + 68. Let u = g + 14. Solve -2*a = -2*r + 8, -u*a + 7 = -4*r + 25 for r.
5
Suppose -4*g - 4*f = -52, 5*g - 4*f - 66 = -8*f. Solve -t = 3*h - g, -2*h + h = -3*t - 8 for h.
5
Let i(k) = 2*k**3 - 10*k**2 + 6*k + 13. Let q be (-12)/(-5) + (-22)/55 - -2. Let c be i(q). Solve -2*m = -2*j - 3 - 5, 0 = -j + c*m - 16 for j.
-1
Suppose -122346 = 15*z + 48*z. Let c = 1944 + z. Let a = -30 - -54. Solve -2*l + a = 5*n, -n + 6*l - c*l = 4 for n.
4
Suppose -18*m + 949 + 923 = 0. Suppose 106*j = m*j. Solve -2*d + 5*d - 2*s - 3 = j, s + 3 = 2*d for d.
3
Let r be (-2 + -1)/((-3)/15*3). Let f(y) = y**2 + 12*y - 44. Let t be f(-15). Let x be 242/10 + -3 - t/5. Solve -r*d - 6 = 3*i + x, 2*i + 5 = d for d.
-3
Suppose 0 = -3*q - 1 + 16. Suppose -s + q = -2. Suppose 90*o - 86*o - 8 = 0, 4*o = m - 2. Solve -p + 0*p = -3*x + s, -2*x - 2*p = -m for x.
3
Suppose 4*h + 53*h - 114 = 0. Solve -3*i + h*s + 10 = 0, -i + 4*s - 9*s - 8 = 0 for i.
2
Let l = -9194 - -9196. Solve -l*y = 3*p - 7*y + 26, 2*p = -y for p.
-2
Let h be (-1)/2 - 14/(-4). Suppose 4*c - 5 = -4*c + 11. Solve 5*m - 3 = h*u - 4*u, -c*u = -3*m + 7 for m.
1
Let b(q) = 10*q**2 - 73*q + 23. Let z be b(7). Solve -2*h + z = 8, -4*l + 5*h + 35 = 0 for l.
5
Suppose c = -3*h + 48, 0 = -c + 174*h - 178*h + 55. Solve a + 5*k + 3 + c = 0, 2*a = -3*k - 25 for a.
-5
Suppose 0 = -w + 8 + 14. Let p be -2 + 94 + (-24)/3. Let k be p/w - (-2 - 80/(-44)). Solve 3*m = -4*b + 12, -b + 4 = k*m + 1 for b.
3
Suppose -11 = -6*b + 1. Suppose 2*i - 6 + b = 0. Solve -3*s = -i*y + 6, -s = -0*y - y + 1 for s.
-4
Let p(s) = -7*s - 26. Let x be p(-8). Let q = -29 + x. Let a(g) = 6*g**2 - 2*g. Let y be a(q). Solve 4*t = -0*t - 8, -w = -y*t - 11 for w.
3
Let v be (1/2)/((-2)/(-8)). Suppose 3*g + 14 = -2*w, -3*g - 8 = w + 2. Let m be g*(-6 + 3 + 2). Solve -v*y - y + 2*c - 1 = 0, m*y - 2 = 4*c for y.
-1
Let r(y) = -4*y**2 - 170*y - 79. Let g be r(-42). Suppose -5*t + 5 = -15. Suppose -g*q = -t*a + a - 5, -2*a = 5*q - 30. Solve -2*p = -3*j, q*j = p - 5*p for j.
0
Suppose -3*z + 6 = -r, 5 = 2*r + 17. Solve 6*c - 11*c - 2*j = 17, c - 2*j + 1 = z for c.
-3
Let b = 4367 + -4361. Solve r - 9*v = -b*v, 4*r = -3*v for r.
0
Let w(j) = j**2 + 43*j + 158. Let y be w(-39). Suppose -4*c = 5*r - 0*c - 68, 0 = -4*r + 4*c + 40. Solve 5*q - 3 = -5*l + r, -8 = -y*l for q.
-1
Suppose 7*x - 5*b + 124 = 3*x, 4*b + 62 = -3*x. Let g = 30 + x. Solve 0 = 2*r + 2*s + 5 + 1, -3*r - g*s - 10 = 0 for r.
-2
Let t be -13 + 1 - (88 + -103). Solve t*i - 8 = 12*h - 7*h, 4 = -h for i.
-4
Let q(c) = -57*c**2 - 959*c + 175. Let y be q(-17). Let o(v) = 2*v**3 + 2*v**2 + 2*v - 3. Let k be o(2). Solve y*a = k - 5, -z - a = -6 for z.
2
Suppose -10*z + 39 - 9 = 0. Let r(i) = i**2 - 3*i - 4. Let l be r(z). Let b be -2 + 0 + (l - -8). Solve b*v = j + 5, v + 4*v - 3*j = 12 for v.
3
Let g = 26 + -116. Let c = g + 94. Solve -5*i - q + c*q + 25 = 0, 0 = -2*q for i.
5
Suppose 8*q + 5*l - 35 = 6*q, -q + l = 0. Solve 131 = g - 2*i + 124, -q*g + 29 = -4*i for g.
5
Let t(u) = 28*u + 959. Let q be t(-34). Solve y = -3*s + q, 3*y + 5 = 6*s - 2*s for y.
1
Let n(o) = -o**