et x be 1 + (-42)/28 + 1/2. Suppose -2*o = -6 - x. Solve o*j + 3 = 2*j for j.
-3
Let n = -20 + 20. Let x be (2 - n) + (0 - -1). Suppose 0 = x*a - 5*a. Solve l + l = a for l.
0
Let s be 6*(-3 - 14/(-4)). Suppose 2*d - 8 = -3*d + 2*y, s*y - 13 = -5*d. Suppose -d = -b - 0. Solve 2*u + b*u - 12 = 0 for u.
3
Let v(n) = -13*n**3 - 2*n**2 + 4*n - 3. Let m be v(2). Let j = m + 113. Solve 2*s + 2 - j = 0 for s.
2
Let j be 2 + -3 + (1 - 17). Let i = j - -19. Suppose f = -0 + 3, -c - i*f + 11 = 0. Solve -c*d + 13 = 38 for d.
-5
Let t(c) = c**2 - 22*c - 54. Let o be t(25). Let j = o - 21. Let i = 1 - -9. Solve i = 2*p - j for p.
5
Let a(j) = -j**2 - 3*j + 2. Let d be a(-3). Solve 2*s - d*s = 2*s for s.
0
Let g = -834 + 834. Solve -2*t + 9*t - 21 = g for t.
3
Suppose -4*a + 5 = -3. Let j be -6 + (0 - 0) + 4. Let b be (-272)/(-28) + j/(-7). Solve a*l = 7*l - b for l.
2
Suppose 5*o + 5*k = 230, 2*o - k - 3 = 83. Suppose -4*i = -o - 24. Suppose 4*j + 9 = i. Solve -3*q = -q - j for q.
1
Suppose 4*p + 3 = -3*r, 3*r - 1 + 4 = -5*p. Suppose 0 = -4*o - 2*c - p - 26, -10 = o - 3*c. Let n = o + 9. Solve y - n*y = 3 for y.
-3
Suppose -56 = -24*h + 88. Solve -h*y + 3*y + 9 = 0 for y.
3
Let m = 5 - -8. Let z(w) = 2*w**2 - 2*w - 1. Let n be 3 - 4/1 - 0. Let u be z(n). Solve u*o - m = -1 for o.
4
Let u be (11/(-1))/(64 + -65). Solve 7*b = -32 + u for b.
-3
Let u = 335 + -335. Solve u*l - 5*l = -10 for l.
2
Let o(c) = -c**2 - 28*c - 75. Let n be o(-25). Solve n = -9*h + 7 + 11 for h.
2
Suppose 11*p - 12 = 8*p. Solve -p*n - 6 = 2 for n.
-2
Suppose 2*w - 5*x - 135 = -2*w, 0 = 5*w - 4*x - 180. Solve 24*y - 16*y = -w for y.
-5
Let n = 765 + -741. Solve -n*t = -26*t - 10 for t.
-5
Suppose -5*q + t = -57, 0 = -71*q + 74*q - 3*t - 27. Solve q*s = s for s.
0
Suppose 4*j - u = 4, -5*j + 2*u + 6 + 2 = 0. Let v = 20 + -23. Let a be (2/4)/(v/(-12)). Solve j = 5*r - a*r - 6 for r.
2
Suppose 291 = -4*x + 4*h - 3*h, -h = 4*x + 293. Let f = x + 83. Solve 0 = -0*l + 2*l - f for l.
5
Suppose -3*v + 11 = 2. Let m(h) = -3*h - v*h - 14 + 2*h. Let g be m(-4). Solve 7 + g = -3*a for a.
-3
Let f be 2/6*(66 + -15). Solve -9*y = 1 + f for y.
-2
Suppose -2*x + 7*x = -6*x. Solve -l + 8 - 4 = x for l.
4
Suppose 2*z + 3*s = 2, s = 4*s. Let g be 3 - z - (-1 + 0). Solve c + g = 4 for c.
1
Suppose 4*a + 3*u = 82, 3*a - 9 = u + 46. Let c = a + -16. Suppose 5*n + 5*k + c = -2, -12 = 4*k. Solve h - n = -5 for h.
-3
Let r(v) = -v**3 - 6*v**2 + 12*v - 28. Let a be r(-8). Suppose -5*i = a*c - 2, c - 2*c - 7 = 5*i. Solve -c*j = -5*j for j.
0
Let c(h) = -5*h**3 + h**2 + 7*h + 3. Let x(q) = 4*q**3 - 6*q - 3. Let k(y) = 5*c(y) + 6*x(y). Let t be k(3). Solve 2*l + 2*l = t for l.
3
Let v be 1/(-12*11/(-396)). Solve m + 2*m = v for m.
1
Suppose 2*k + 6 = 2*p, -k - 2*k + 4*p = 12. Let j(a) = 3*a**2 - a + 2. Let l be j(2). Suppose l = -0*y + y. Solve -y + k = -4*t for t.
3
Let k be (2 - 3)/(5 - 6). Let w be (20/16)/(21/20 - k). Solve -w = s - 6*s for s.
5
Suppose -3*p = -6, -5*u + 7 = -3*p - 37. Solve 12*w = u*w + 10 for w.
5
Let i(k) = -k - 43. Let d be i(0). Let x = d - -48. Solve v + 4 - x = 0 for v.
1
Let v be (-1)/(((-4)/(-9))/(-4)). Solve v*q = -3 + 3 for q.
0
Let y(b) = -2*b - 15 + 7 + 16. Let l be y(4). Solve m + 4 - 8 = l for m.
4
Let c = -50 + 70. Suppose -5*x + c = f, 8 = x + x - f. Let h = 6 - x. Solve -h - 2 = w for w.
-4
Let r be 14 + (-495)/36 + 1/(-4). Solve -2 + r = -x for x.
2
Suppose y + 26 = 3*f - 5, 3*f = -2*y + 19. Suppose -2*p + 20 = -2*k, 3*k = 2*p - 4*p - 5. Solve -6 = p*o + f for o.
-3
Let o(b) = -b**3 + 3*b + 68. Let r be o(0). Let s be (r/(-34))/((-2)/8). Solve y + s = -3*y for y.
-2
Suppose -3*x = 3*a + 2*x - 14, -5*x = -2*a + 1. Suppose 0 = -a*p + 4 - 1. Suppose -p = -k + 1. Solve 0*d = k*d + 10 for d.
-5
Let l be (1 + 1)/((-6)/(-78)). Let u = l + -24. Let c(o) = o + 2. Let g be c(3). Solve -r - g + u = 0 for r.
-3
Let d(k) = 2*k**2 + 2*k - 2. Let s be d(1). Let v be (0 + -4 + 2 + s)/(-3). Solve v = -0*w - w for w.
0
Let s(i) = 2*i**2 + 13*i + 65. Let r(u) = -3*u**2 - 26*u - 130. Let d(g) = 3*r(g) + 5*s(g). Let b be d(17). Solve -2*t = b*t for t.
0
Let z(w) = 46*w + 287. Let d be z(-5). Solve 0 = 58*a - d*a + 1 for a.
-1
Suppose d + 2*y = -134, 4*d - 4*y + 0*y = -488. Let h = 129 + d. Solve -2*f + h = 13 for f.
-5
Suppose y + 7 - 2 = a, -2*a - 15 = 3*y. Suppose a = -0*q - 4*q. Solve -g + 3 + 2 = q for g.
5
Suppose 0 = -8*l - 8, o = 3*o - 2*l - 14. Solve 25 = o*j + 1 for j.
4
Let b be (3/5)/((-2)/(-10)). Let g = -17 + 25. Suppose b*f = -f + g. Solve 3 = f*j - 1 for j.
2
Suppose 0 = f + 1345 - 1398. Solve -4*c = -f + 49 for c.
1
Let g(y) = -76*y - 222. Let j be g(-3). Solve -2 = -4*n + j*n for n.
-1
Suppose -u - 3*u = 52. Let h(l) = 32 - 12*l**2 - l**3 + 162*l - 31 - 149*l. Let j be h(u). Solve 2*q - q - j = 0 for q.
1
Let q(p) = 425 - 8*p**2 - 444 - 3*p - 4*p**3 + 3*p**3. Let m be q(-8). Solve 8 = -m*r + 13 for r.
1
Let f be 0*4/(-24)*3. Let z = 1 + 3. Suppose -2*i = -z, 2*r = -i + 6 - 0. Solve f*h = -r*h + 8 for h.
4
Suppose -p + 5*a = -3*p + 236, -462 = -4*p - 5*a. Suppose 17*u + 11 - p = 0. Solve -z - 10 + u = 0 for z.
-4
Suppose 4*x + 40 + 96 = 0. Let y = 37 + x. Let i(h) = -h - 1. Let b be i(-3). Solve b*g = -y*g for g.
0
Let p(f) = -2*f**2 + 9*f - 6. Let c be p(3). Solve c*b - 6 = -0 for b.
2
Let n(t) = 9*t - 4. Let w be n(2). Suppose 6*i + 2 = w. Solve i*z = -0*z for z.
0
Suppose -4*w + 3 + 9 = 0, 2*w = -2*a + 12. Suppose -3 = -5*p - 8. Let m = a + p. Solve b = -m*b for b.
0
Let b be (-3)/(-2 + 4 + -3). Let l be 8/12 + 22/b. Let v(n) = -n**3 - 2*n**2 + n - 3. Let o be v(-3). Solve -10 = l*p - o*p for p.
-2
Let g = 30 + -83. Let l = 57 + g. Solve -l = -0*i - i for i.
4
Let c be 68/8*(0 - -6). Solve 55*w = c*w - 12 for w.
-3
Let u = -801 + 801. Solve -77*z + 76*z - 4 = u for z.
-4
Suppose 2*x - x = 3. Suppose 2*w = -2*d + 4, 2 = -3*d + 3*w + 20. Solve -h + d = x*h for h.
1
Suppose 86*c = 91*c. Let h(y) = 1 - 1 + 0 + y. Let k be h(c). Solve k = -0*i - i for i.
0
Suppose 7*i - 3*i = -3*p + 12, -16 = -4*p + i. Let n be (-3)/(45/6)*-30. Let d be ((-32)/n - -2)*-6. Solve -p*a = -d + 12 for a.
-2
Suppose -34 - 156 = -5*i. Suppose -3*r - i = 3*d + 853, 2*r + 5*d + 585 = 0. Let k be (-1)/3 + r/(-36). Solve u - 3*u = k for u.
-4
Let t(m) = -2*m + 2. Let d(j) = j**3 - 10*j**2 + 7*j + 17. Let g be d(9). Let b be t(g). Solve -13 = 3*c - b for c.
-3
Let i(b) = -b**2 + 7*b - 10. Let k be i(3). Suppose k*r + 3*r - 22 = -4*d, 2*d - 12 = -3*r. Solve -d*g = -0*g for g.
0
Suppose 3*m + 0*w + 3*w = 132, 5*m - 3*w - 244 = 0. Suppose 5*s = m - 17. Solve -3*o + 9 = -s for o.
5
Let v(t) = t**2 + 32*t + 33. Let x be v(-31). Solve -x = -2*r - 8 for r.
-3
Suppose -4 = 30*q - 32*q. Let z = -9 + 12. Suppose -1 = -3*x + q*w, -z*w + 7 + 2 = -x. Solve 2*u - x = -u for u.
1
Let j = 21 + -18. Suppose 0 = j*m - 8 - 4. Solve 0*c - 8 = -m*c for c.
2
Let a(u) = -6 - u + 0 + 3 + 2*u. Let r be a(3). Suppose 0 = 2*g, 4*g = -4*v - g + 24. Solve -3*d + v = -r for d.
2
Let z(l) = -l**3 + 9*l**2 - 7*l - 7. Suppose 2*b - 3*q - 28 = 0, -12 = 4*q - q. Let s be z(b). Let f(h) = -h - 2. Let d be f(-4). Solve -s - d = m for m.
-3
Let r(l) = -l**3 - 14*l**2 - 25*l - 8. Let d be r(-12). Solve -2*w = d*w - 12 for w.
2
Suppose 2*a + 4*m = -12, -m + 7 + 18 = -3*a. Suppose -t + 16 = -0*t - 5*o, 4*t = -2*o + 42. Let u = a + t. Solve 3*l + u + 0 = 0 for l.
-1
Let k(y) = 2*y**2 - 7*y + 14. Let x be k(4). Solve -12*f + x = -3*f for f.
2
Suppose 6*m = -18*m + 216. Solve -2*p + m = 3 for p.
3
Let s(r) = 3 + 4 + r - 2. Let x be s(1). Solve x*a = 2*a - 8 for a.
-2
Let c be -2*(0 - (0 + 1)). Suppose d - c = -0. Solve 0 = -d*s - 1 - 3 for s.
-2
Let i = 16 + -8. Suppose -c = -5*s - 30, -3*s + 2*s = -c + 10. Let n = i - c. Solve 0 = n*v - 0*v - 15 for v.
5
Let o = -225 - -21. Let v be (-2)/8 - o/48. Solve 4*f = 3*f + v for f.
4
Suppose 3*i - q = 50, -44 = -7*i + 4*i - 2*q. Suppose -2*d - i = -6*y + 3*y, 2*y + d + 1 = 0. Let w be 30/y*36/54. Solve 0 = -l - l - w for l.
-5
Let v(i) = -i**2 + 6*i - 6. Let r be v(3). Solve -r*u + 6 = 12 for u.
-2
Let i be (1 - -3) + -4 - -62. Suppose 4*b - 16 = 0, 4*b = 4*m - 22 - i. Solve -7*j = -2*j + m for j.
-5
Let d be 10/1*(-5 - (1 - 3)). Let j be (25/d)/((-1)/6). Solve 25 = -0*p + j*p for p.
5
Let r(z) = z**3 - 