3 + w**2 - w. Let o be v(1). Let k = 7 + o. Solve k*y - 5*y = -10 for y.
-2
Let r be -7*(2/(-7) - 0). Suppose 3*g - 6 = r*g. Solve -15 = -g*k + k for k.
3
Suppose -35 = -5*k - w, -49 = -10*k + 7*k + 5*w. Solve 20 = k*y - 4*y for y.
5
Let x(l) = 4*l**2 + 22*l + 25. Let g be x(-5). Solve 0 = -3*k - 12 + g for k.
1
Let b = 50 + -34. Solve b*c = 12*c - 20 for c.
-5
Let u = -35 + 60. Solve u = 5*v + 10 for v.
3
Let p = 84 - 86. Let r be (p/(-4))/(((-65)/(-90))/13). Solve -4*s - 11 = r for s.
-5
Let y(b) = b**3 - 13*b**2 + 2*b + 5. Let h be y(13). Suppose 5*d - 106 + h = 0. Solve 4*x + d = -x for x.
-3
Let m be (-3)/(-3 - -9)*-6. Suppose -m*z + 6 + 3 = 0. Solve q + 6 = z for q.
-3
Let c be (1/2)/(-3 + 35/14). Let w be (1 + 0)/((-49)/(-42) + c). Solve 4*l - 26 = -w for l.
5
Let a(s) = -s**2 - s + 15. Let w be 2 - 8 - -3 - -5. Suppose -2*n = w*n. Let f be a(n). Solve 5*r = -0*r - f for r.
-3
Let x be (-5 + 4)/(2/(-6)). Suppose 3*r - 12 = x*w - w, -3 = -w - 3*r. Let i = w - -9. Solve i - 1 = a for a.
5
Let k(x) = -x**3 - 6*x**2 + 8*x + 9. Let n be k(-7). Let z = n + 2. Suppose 2*d + 3*g = z*d - 7, -5*d - g + 9 = 0. Solve 0 = 4*q - d*q + 8 for q.
-4
Let j(h) = 2*h**3 - 62*h**2 + 168*h. Let n be j(28). Suppose -4*q + 3*o = -10, 2*o = 5*q - 0*q - 9. Suppose q + 2 = x. Solve u + x + 1 = n for u.
-4
Suppose -24 = 2*y + 64. Let j be (-77)/y - 1/(-4). Let a be ((-3)/j)/(16/(-32)). Solve -a*m + 1 = -8 for m.
3
Suppose -o = o - 8. Suppose -12 = -3*k - j - 2*j, o*k - 20 = -2*j. Suppose -k*n + n = -10. Solve -2 = c - n*c for c.
2
Let a be ((-4)/(-10))/((-2)/(-80)). Let w(x) = 2*x**2 - 17*x + 17. Let y be w(6). Let h = y + a. Solve h*r - 7 = 5 for r.
4
Let w be (12*((-35)/(-10) + -2))/2. Solve -28*k + 31*k = w for k.
3
Let v be 1/(4/12*-1). Let j(d) = d**2 - 1. Let z be j(v). Suppose 2*g + z = 4*x, -5*x + 0*g = -4*g - 16. Solve 4*i - i = x for i.
0
Suppose -3*u - f = -7, -12*u + 7*u - 4*f = 0. Solve -1 = 3*m - u*m for m.
1
Let o = 247 + -231. Solve x + o = -3*x for x.
-4
Suppose -g + 6*g - 4*x - 108 = 0, -4*g = -x - 93. Suppose 8*p = 4*p + g. Solve 5*j + p = 11 for j.
1
Let z(a) = -6*a**3 + a**2 - 1. Let g be z(-1). Let q be ((-495)/(-66))/((-10)/(-24)). Suppose 5*w - 5*v = q + 27, 0 = -2*v - g. Solve -w*o = -o - 20 for o.
4
Let g(w) = -6*w + 4. Let c be g(-4). Suppose 0 = 2*x - 8, 2*m - m + 2*x - c = 0. Solve -8*k = -4*k + m for k.
-5
Suppose p - 6*p = m + 169, 0 = -3*p - 5*m - 97. Let n = 49 + p. Let g = -11 + n. Solve -g*a = -2*a - 10 for a.
5
Suppose -3*s - 24 = -s + 2*g, -3*g = 2*s + 22. Suppose -167*f + 166*f + 16 = 0. Let w = s + f. Solve 1 = -w*b + b for b.
-1
Suppose 2*b = b - 4, -4*r - 8 = 5*b. Suppose -24 = -9*t + r*t. Solve t*y - 2*y = 0 for y.
0
Let f be (-10)/(5 + 2 - (-667)/(-87)). Solve 18*u - 12 = f*u for u.
4
Let z = 122 + -117. Solve 4 = -4*j + z*j for j.
4
Let s = -410 - -416. Solve 7*t = -13 + s for t.
-1
Let x(k) = 9*k**3 + k**2 + k. Let j be x(3). Suppose -22*i = -5*i - j. Solve -3 = 4*n - i for n.
3
Let m = 27 - -4. Suppose 0 = -4*k + 2*l - 0*l + 26, -5*k + l = -m. Solve -3*u + 0*u + k = 0 for u.
2
Let h(f) = -f**2 + 6*f + 4. Let s(o) = -3*o**2 + 17*o + 11. Let b(t) = -11*h(t) + 4*s(t). Let z be b(4). Let r = -4 - z. Solve 6*n = r*n + 6 for n.
3
Let z(a) = -26*a**2 + 14*a**2 + 9 + 13*a**2 - 8*a. Let m be z(7). Solve -m - 4 = -3*v for v.
2
Let n be (-53 - -55)*5/2. Suppose -m + 8 = -5*m. Let h be (-8)/((-33)/15 - m). Solve -n*a - 15 = -h for a.
5
Let m be (-4)/(-2) - (-3)/3. Suppose -22 = -m*i - l, 2*l = 5*i + 3*l - 40. Suppose -3*w = 5*c, 6*w = 2*w + 4*c. Solve w = -2*r - r + i for r.
3
Let p = -2 + 4. Let m(z) = 8*z - 3. Let r be m(1). Solve r*l + p = 22 for l.
4
Let t(p) = -p**2 - 26*p + 297. Let g be t(-34). Solve -29 = -2*m - g for m.
2
Suppose -5*h - 2 = -2*b - 6*h, -2*h = 5*b - 5. Suppose 0 = 2*d - 5*j - 25, -j - 5 = 2*d - 0*d. Suppose o + n + b = 5, d = -2*n. Solve 2*p - o = -0*p for p.
2
Let d = 6 - -4. Let q(i) = i**2 + 13*i + 19. Let o be q(-12). Suppose -11*t = -o*t. Solve -d = -5*m - t*m for m.
2
Let s = 262 - 255. Solve -4*v = -s*v + 9 for v.
3
Let b be (14/4)/7*12. Suppose -b*d = -2*d. Solve s + d = -5 for s.
-5
Let w = 293 - 288. Solve w = d + 8 for d.
-3
Suppose -32 = -15*a + 28. Solve -a*u + 10 = 6 for u.
1
Let k be (-55)/(-9) + (0 - (-5)/(-45)). Solve r - 3*r = -k for r.
3
Suppose 9*b = 35 + 10. Solve 12*r - 7*r + b = 0 for r.
-1
Let f = 26 + -24. Suppose -5*d - c - 5 = 0, -f*d - 7 - 3 = 2*c. Solve -4*l + d*l = 0 for l.
0
Let t be 12/28 + 6/(-14). Suppose 12 = 2*w - t. Solve 5 = w*z - z for z.
1
Let u = 16 + 20. Suppose 62*a - 68*a = -u. Solve -5*v + 11 = a for v.
1
Let r be 187/(-33) - (-2)/(-6). Let q(c) = -2*c**2 - 12*c. Let m be q(r). Solve m = a - 3 for a.
3
Let w be (-8 - -7)*5/((-15)/9). Suppose -w*f + f - 2*j - 2 = 0, -4*j - 10 = 2*f. Solve -f = -3*h + 3 for h.
2
Suppose -5*r = 5*i - 125, 4*i - 47 = -2*r + 53. Solve 0 = 2*j + 17 - i for j.
4
Let g = -18 - -5. Suppose -y = -3*x - 31, y + y - 57 = 5*x. Let u = y + g. Solve -u*l = l for l.
0
Let d = 39 - 35. Suppose m = -4*o + 41, -d*o + 13 = -2*o - m. Solve -4*v - o = 7 for v.
-4
Suppose 16 - 63 = -5*f - 3*q, -8 = -2*q. Solve -12*k + f*k - 25 = 0 for k.
-5
Let l be (-11 + 4 - (-34 - 0))*1. Solve 8*d + l + 13 = 0 for d.
-5
Suppose 0 = -5*r + 35 - 10. Suppose -r*d - 8 = -9*d. Solve 3*h = h - d for h.
-1
Let i be (12/(-10))/((-1)/5). Suppose -5*h + 721 = 701. Solve -w - i = -h*w for w.
2
Suppose 0 = -4*l - b + 175, -58 = -3*l - 2*b + 77. Solve -8*n - 3 = -l for n.
5
Suppose 3*o - 33 - 9 = 0. Let k = 17 - o. Solve 5 = k*m + 8 for m.
-1
Let g = 307 + -313. Let a be -3 - g/5*(-30)/(-9). Let k be 21/9 - (-2)/3. Solve k*b = 5 + a for b.
2
Let g(h) = h**3 + 4*h**2 - 2*h - 4. Let y be (4/8)/((-2)/16). Let m be g(y). Suppose -21 = -m*d - 9. Solve 0 = o - d*o + 8 for o.
4
Suppose 4*u + 20 = 2*b, 3*b - u = -16 + 31. Solve -w = -0 - b for w.
4
Let a(v) = v**2 + v. Let l(g) = -5*g**2 - 11*g + 17. Let j(w) = -4*a(w) - l(w). Let i be j(-9). Solve 0 = 5*o + i + 14 for o.
-3
Let u be 40/64*-4*(-8)/10. Solve -2 - 2 = -u*t for t.
2
Let b be (-4)/(-3)*-3 + 67. Suppose -37 = -5*r + b. Solve -r = 5*t - t for t.
-5
Let s = -417 - -421. Solve 7*c = s*c - 3 for c.
-1
Let m be -3 - ((-162)/(-30) + (-4)/10). Suppose 8*s + 16 = -4*f + 3*s, -5*f = 3*s + 20. Let v be 2 + -2 + m/f. Solve v = 5*y - 3 for y.
1
Suppose 7 = x + 9. Let m be (x/(-8))/(2/24). Solve -2*g - m = -11 for g.
4
Let j be 20/70 + 1 + (-285)/(-7). Let c be 9/(-6)*7/(j/(-4)). Solve 0 = 2*d - c + 11 for d.
-5
Let k be -4 - -9*12/9. Suppose -2*g - 2 + k = 0. Solve g = p + 5 for p.
-2
Let y(u) = u**2 - 12*u - 10. Let k be y(13). Solve 38*g + k = 39*g for g.
3
Let f be 0 + 0 - (-20)/4. Suppose -4*m + 92 = f*i, -m + 12 = i + 3*m. Suppose -2*x + 14 = -q, -5*q + 0*q - i = 0. Solve -x*h = -h for h.
0
Let y = 199 + -197. Suppose 5*f - 10 = -m - 1, -5*m = 4*f - 3. Suppose -2*s - 1 = -c - 0, 0 = -f*s - 3*c + 19. Solve -s = -v + y*v for v.
-2
Suppose 28*s + 11*s = 0. Solve -27*w + 29*w - 2 = s for w.
1
Suppose -3*c - 5 = -4*b, -3*b - 2*c + 24 + 1 = 0. Suppose 0 = 4*m - b*m + 2. Solve 3*k = m + 1 for k.
1
Let x(w) = 2*w + 8. Let s be x(-4). Let p be s*((-4)/2 - 10/(-6)). Solve -5*b + p*b = 0 for b.
0
Let x = 28 - 32. Let r = 7 + x. Let a be (-2)/(-6) + 23/3. Solve r*i + i = -a for i.
-2
Let z(a) = -24*a + 120. Let v be z(5). Suppose 0 = -c - 1 + 6. Suppose 4*w + 5*x = -17, -2*w + 41 - 12 = -c*x. Solve v = -4*h + w + 14 for h.
4
Let b = -1719 + 1814. Solve z + 93 = b for z.
2
Let x be 0 + (-1 - -1)/1. Let u be (5 - (-4 - -9))/(-2) + -2. Let o be u/4*x/(-6). Solve i = -o*i - 4 for i.
-4
Let j(i) = -2*i**3 - 4*i**2 - 17*i - 30. Let k be j(-2). Solve 3*b = 4*b - k for b.
4
Let r be -2 + 7 - (0 + 0). Suppose 5*t + 12 = 3*g - r, 3*t + 3 = 0. Suppose 111*q - 97*q = 70. Solve 0 = -g*z - z - q for z.
-1
Let m be -2 + (3 - 4) + 0. Let h be 3*(m - (-6 - -2)). Solve 2*u + 2 = h*u for u.
2
Let a(b) = 31*b**3 + 2*b**2 - 1. Let x be a(1). Let k be (-1)/(-3) + x/12. Let w(l) = -8*l + 2. Let r be w(0). Solve r = k*s + 5 for s.
-1
Let k be ((-54)/90)/((-1)/10). Solve k = -2*g + 4*g for g.
3
Let o be 3/(-6) - 5/(-10). Suppose 2*t = 5*y - 33, o = 2*t + t + 12. Solve n + y = 2*n for n.
5
Let d(g) = -5*g - 5. Let s be (4 + -3)/(1/5). Let t be s/(-3)*(8 - 5). Let