e a(v). Solve -4*o + u = 14 for o.
-2
Let x(g) = 6*g - 2. Let m be x(1). Suppose 8 + 4 = m*j. Suppose 8 = 5*t + j. Solve -t = 2*a - a for a.
-1
Let z(q) = -q**3 + 5*q**2 - 3*q. Let l be z(4). Solve -l*a = -0*a - 8 for a.
2
Let k(t) = 9*t + 50. Let w be k(-5). Let c = -2 - -4. Solve -c*u = -w*u for u.
0
Let g = 7 - 11. Let u be g + (-2 - -3) + 5. Suppose -x = u*x. Solve 5*v = -x*v - 20 for v.
-4
Let q(u) = -u**2 - 3*u**2 - u**2 - 13*u + 27 + 6*u**2. Let j be q(11). Solve j*c - 3*c - 2 = 0 for c.
1
Suppose -3*t + 0*t + 3*l = 0, 3*t + 5*l = 0. Solve 5*s + 18 - 8 = t for s.
-2
Let g be (4 - 3)/(-1) + 5. Suppose 0 = -g*z + 2*z. Suppose z*n = -n. Solve h - 1 - 1 = n for h.
2
Let l be (-16)/(-3)*45/6. Suppose -3*j - 13 - 16 = -4*h, -5*h = -5*j - l. Solve -3 = c - h for c.
2
Let j(h) = h**2 - 6*h + 5. Let b be j(5). Let u be ((-33)/(-9) - 4)*3. Let y be u*(-2)/(-1)*-1. Solve 2*z + y = -b*z for z.
-1
Let i = -18 + 8. Let m be (-2)/i + 2340/(-75). Let q = 34 + m. Solve q*j = 8*j + 15 for j.
-3
Suppose -298*i + 282*i + 224 = 0. Solve 0 = 12*l - 19*l + i for l.
2
Let b(l) = l**2 + 8*l + 5. Let u be b(-9). Let w = u + -12. Solve -w*r = -0*r for r.
0
Let k(n) = -15*n - 176. Let q be k(-12). Solve 0 = -q*y - 3 - 1 for y.
-1
Let t(n) = 4*n**2 + 7*n + 10. Let z be t(-5). Let c be 2/(-5) + 480/z. Solve -9 = 3*o + c for o.
-5
Let y(r) = -r**3 - 4*r**2 + 14*r + 12. Let x be y(-6). Let z be 5 + -2 - (-1 - -2). Solve x = 2*k + z*k + 12 for k.
-3
Let n(c) = -c**3 - 4*c**2 + 5*c. Let a be n(-4). Let s be (-9)/(-5)*a/(-6). Let f be -1 + 7 - (s - 10). Solve 0 = 2*q + f for q.
-5
Suppose 0 = 3*s + 3*n - 15, -n = -5*s + 3*n - 2. Suppose 0 = -3*y + 37 + 17. Suppose -5*g + y = -2*h, 0 = -g + 5*h + 5 + 17. Solve s*x + g = x for x.
-2
Let b be ((-22)/(-3))/(9/((-189)/(-14))). Solve -b = 5*u - 31 for u.
4
Suppose 4*t - 4*g = 5 + 3, -3*t - g + 14 = 0. Suppose -3*h + o + 0*o + 13 = 0, -15 = -4*h - o. Solve h*m + 0 = -t for m.
-1
Suppose -28*p + 13 + 211 = 0. Solve -12 = p*a - 12*a for a.
3
Suppose 0 = -4*c + 7*c - k + 1, 2*k = -2*c + 2. Solve 5*m - 2 + 17 = c for m.
-3
Suppose -3*k + 8*k - 33 = -2*m, -3*m = -2*k - 2. Solve -m*u = -32 + 28 for u.
1
Suppose -2*h = -3*h - 2. Let s(t) = -7*t. Let j be s(h). Let c be (-5)/(-1)*18/15. Solve -j - c = -5*b for b.
4
Suppose -215 = -5*r - 85. Let x be (r/65)/(1/5). Let t be 0/((-1)/x*2). Solve 0 = a - t*a for a.
0
Let r be (-1)/(3*(-5)/30). Suppose -15 = -4*q + q. Solve -q*t + r*t = -15 for t.
5
Suppose -131*w - 29 = -5*t - 134*w, 5*t + 4*w - 32 = 0. Solve 8*x = t + 12 for x.
2
Let i(j) = 6*j**2 - j + 1. Let k be i(1). Suppose 80 = n + 2*g, n - 80 = -0*n - 4*g. Let l = n - 80. Solve 2*b + k = -l for b.
-3
Suppose -6*j = -15*j + 72. Suppose -4 - j = -6*p. Solve -p*c - 2*c = -12 for c.
3
Let z(r) = 2*r - 20. Let v be z(10). Solve v = -m - 0 + 1 for m.
1
Let g(k) = -k**3 - 19*k**2 - 18*k + 6. Let y be g(-18). Suppose -8*n + 24 = -y*n. Suppose 5 = 4*p - 5*s - 13, 0 = -5*p + s + n. Solve p*b = b for b.
0
Suppose -2*j + 90 + 89 = 5*k, -20 = -4*k. Let h = 79 - j. Solve 4 = 3*p - h*p for p.
4
Let w = -8 - -14. Let q be (3 - 3) + -3 + -15. Let k = q - -38. Solve w*t = t + k for t.
4
Suppose 5*y - 37 = 4*r + 15, -4*y - 3*r + 23 = 0. Solve -3*q - y = -5*q for q.
4
Suppose -7 = -11*v + 4. Solve 2*i - v = 3*i for i.
-1
Suppose -45 - 39 = -6*w. Solve 13*a - w*a = 3 for a.
-3
Let c = -2667 + 2672. Let h(g) = 2*g**3 - 3*g**2 + 3*g - 2. Let r be h(2). Let d = r - 4. Solve d*t = -t - c for t.
-1
Let g be (118 - 89) + -2 + (1 - 2). Solve -g = 16*l + 6 for l.
-2
Let d be (-3 - (-5)/2)*-6*-1. Let y be 2/((d/(-2))/((-21)/(-28))). Solve -y = p + 4 for p.
-5
Let y = 19 - 1. Let l(c) = c**3 - 17*c**2 - 17*c - 12. Let n be l(y). Solve -o = o + n for o.
-3
Let g = 11 + -6. Let p be ((-4)/g)/((-7)/175). Suppose 4*o + 2*k - p = 0, -4*o = -o - 3*k + 3. Solve f - o*f = 0 for f.
0
Let c = -8 - -11. Suppose -c*o + 35 = 26. Solve -7 - 5 = -o*f for f.
4
Let o(g) = -g**3 - 2*g**2 + 51*g + 115. Let f be o(-7). Solve 2*p = -f*p - 20 for p.
-4
Let j = 26 + -28. Let x be j/(-6) + 1/((-12)/(-176)). Let m be (-1)/((0 - 3)/9). Solve 0 = 2*n + m*n + x for n.
-3
Let j(p) = 6*p**3 - p**2 - 3*p + 1. Let k(a) = -5*a**3 + a**2 + 3*a. Let q(w) = 2*j(w) + 3*k(w). Let g be q(-1). Solve 0*r = g*r - 15 for r.
5
Suppose -4*x + 4 + 6 = 2*w, 6 = -2*w. Solve d + 3 = x for d.
1
Suppose 0 = -2*r + 3*v - 5, 2*r + 4*v - 40 = -2*r. Suppose 4*k = r*i - 19, 0 = k - 0*k + 1. Suppose 2*h = -i*h. Solve h = -l + 1 - 3 for l.
-2
Let l(x) = 3*x**2 - 4*x**2 + 13 - 11*x**2 + 2*x**3 - 2*x + 1. Let k(q) = q + 11. Let c be k(-5). Let r be l(c). Solve 2 = r*o - 4 for o.
3
Let j(c) = 7*c + 383. Let y be j(-51). Solve 7*a = 2 + y for a.
4
Suppose -4*m - 4*n + 384 = 0, 4*m - 5*n - 280 = 68. Suppose -7*j + 3*j = m. Let g = j + 26. Solve 5*c - 2 = g for c.
1
Suppose h = 2*h - 2. Let o = 70 - 36. Let c = o - 27. Solve c = 3*s - h for s.
3
Let k(y) = -y**2 - 11*y + 14. Let x be k(-12). Let z be ((-77)/28)/(x/8). Let h(q) = -q**3 - 12*q**2 - 12*q - 7. Let g be h(z). Solve -4 = -3*p + g*p for p.
-4
Let l(s) = 2*s + 22. Let n be l(-11). Suppose n = -h + 4 + 22. Let i = h + -23. Solve -8 = i*b + b for b.
-2
Let q(l) = -l**2 - 20*l - 91. Let k be q(-12). Solve 4*r - k*r = -5*r for r.
0
Let x(j) = -j**3 + 10*j**2 + 12*j + 1. Let q(p) = 3*p - 4. Let z be q(5). Let n be x(z). Let i be (-3)/9 - (-40)/n. Solve i*t = -0*t - 15 for t.
-5
Suppose n + 17 = 5*m, -2*m = -3*m + 4. Solve n*f - 4 = -1 for f.
1
Let r be 20 + 0/5 - 2. Let z = 2 + r. Solve -5*d = -0 - z for d.
4
Suppose -p + 2 = o - 3, 14 = p + 4*o. Suppose 2*t = 3*h - 2 + 11, p*t - 2*h - 10 = 0. Suppose -2*v - 6 = -4*v. Solve -v*k = -k + t for k.
-3
Let j(p) = -p**3 + 2*p**2 + 5*p + 4. Let u be j(3). Let x(q) = -q + 6. Let n be x(6). Solve n = -2*m + u for m.
5
Suppose 0 = 36*m - 855 - 45. Solve 0*q + m = 5*q for q.
5
Let h = 25 - 19. Solve 5*m - h - 14 = 0 for m.
4
Let f be (50/6)/(100/(-15) + 7). Let b = f - 20. Solve 0 + b = -c for c.
-5
Suppose -2*p + 2*w + 6 = 0, -9 = 5*p - w - 36. Suppose -y + 24 = 3*y. Solve -p*v = -4*v + y for v.
-3
Let w = -102 + 108. Let l(c) = -c**2 + 9*c + 2. Let k be l(w). Solve k = -3*y + 5 for y.
-5
Let i(q) = -2*q + 3*q - 3*q + 8 + q. Let z be i(3). Let t = z - 3. Solve 0 = -6*p + t*p - 4 for p.
-1
Suppose -8 = -22*y + 18*y. Let q be 0 + 1/1 + y. Suppose r + q*r = 20. Solve 3*x = r*x + 4 for x.
-2
Let i = 828 + -828. Solve -2*h + 7*h + 5 = i for h.
-1
Let u = 1435 + -1431. Solve -u = -22*m + 20*m for m.
2
Suppose 72 = 3*b + 3*b. Let k(d) = -d**3 + 12*d**2 - d + 17. Let t be k(b). Let w be (-1)/(-7) + 135/35. Solve t = -x + w for x.
-1
Let p(a) = a**2 - 2*a. Let t be p(2). Suppose 2*c + 4 + 20 = t. Let o = c + 15. Solve 0 = w - o*w - 4 for w.
-2
Suppose -3*i + 85 = 3*s - 14, -2*s = -3*i - 46. Let v(c) = 6*c + 33. Let r be v(-10). Let y = r + s. Solve p + 0 = y for p.
2
Let z(w) = w - 5. Let g be z(5). Suppose -36 = 2*l - 11*l. Solve g = -j + l - 0 for j.
4
Let p = 1350 + -1348. Solve -p*n = -17 + 7 for n.
5
Let o be ((-80)/(-24))/(2/3). Suppose -o*x - 9 = -24. Let n be -1*((-36)/1)/x. Solve -4*d + d = -n for d.
4
Let j(d) = d**2 + 5*d + 26. Let y be j(-7). Solve -y = 2*k + 6*k for k.
-5
Suppose -h - 4*p - 27 + 2 = 0, -h - 19 = 2*p. Let z = -15 - -29. Let l = z + h. Solve 3*w + l = -2 for w.
-1
Suppose -4*m + 8*m = -4*m. Suppose 2*r = -0*r + 6. Suppose w - 48 = -r*w. Solve m = 2*x + 2*x + w for x.
-3
Let q(p) = p**3 - 3*p**2 - 2*p - 5. Let t be q(4). Let v be (15/(-10))/(t/(-4)). Solve c - 1 = v for c.
3
Suppose 13*a - 9*a - 280 = 0. Let c = -66 + a. Suppose 1 = o - 2*o + 2*s, 0 = -4*s + 4. Solve 3*t = -o + c for t.
1
Let y = -1921 - -1921. Let g = 9 - 6. Solve 0*d + g*d + 9 = y for d.
-3
Let j = -1179 - -1197. Solve -j*u + 5*u + 13 = 0 for u.
1
Suppose -3*j - 4*g + g + 24 = 0, 3*j + g = 30. Let m(d) = -2*d**3 - 20*d**2 - 31*d + 8. Let u be m(-8). Solve u = -4*w + 1 + j for w.
3
Let m(k) = 4*k - 42. Let d be (-8)/(-60) - (-9)/((-270)/(-356)). Let q be m(d). Solve 2*c + c = -q for c.
-2
Let c = 1285 - 1281. Solve 0*b - b = c for b.
-4
Suppose 2*g = 24 + 2. Let h be (-91)/(-26) + (-15)/(-10). Solve -7 = -h*c + g for c.
4
Suppose -3 = v + 2. Let y = 7 + v. Solve y = r - 1 for r.
3
Let i(q) = q**3 + q**2 + 2*q - 1. Let u be i(-2). Let l be (u