pose -g*k + 10*k = 0. Solve 3*u + 3 = -k*u for u.
-1
Suppose -4*i - 24 = -3*s, s - 5*i = -6 + 14. Suppose 4*v = -v - 100. Let a be 2/s + 5/v. Solve a = -4*h + 1 - 9 for h.
-2
Let m be (-11 - 65)*(-1)/(-2). Let b be 8/6 + m/(-57). Solve -20 = -3*y - b*y for y.
4
Suppose 5*k + 3*d - 77 = 2*d, -k + 11 = -2*d. Let p = 3 - k. Let o be 2/6 + (-176)/p. Solve 2*i = -i - o for i.
-5
Suppose 5*p - 5*m = -7*m - 576, 5*m = -15. Let l be p/9*(-12)/8. Suppose 2*b - 29 = -l. Solve 5*y + b = -0 for y.
-1
Suppose 17*c - 29 - 90 = 0. Solve 5*o - c = 3 for o.
2
Suppose 0 = 4*u - 5*f + 25, 9 = u + 2*f - 1. Suppose 5*i = -35, 3*m + 53*i - 50*i + 12 = 0. Let y = -2 - -4. Solve m*n + y*n = u for n.
0
Suppose 17*c = 13*c - 120. Let f be (12/(-18))/(4/c). Solve 3*l - f + 2 = 0 for l.
1
Let o be (-3)/9*-3 + 24/4. Suppose 0 = o*x - 2*x - 10. Solve x*b = -b for b.
0
Let u be (4 + -6 - -3) + (-44)/(-2). Solve -3 = -4*v - u for v.
-5
Let b = 28 + -13. Solve 0 = -5*l - b - 0 for l.
-3
Let j be (6/14 - 364/49)/(-1). Solve -j*v = -5*v for v.
0
Suppose 0 = -5*p + 6 + 24. Suppose -3*j = -2*l + 7, -4*l + 2*j = 7*j - 3. Suppose 0 = -4*q + l + p. Solve 0 = q*x - x for x.
0
Let u(x) = 4*x**2 - 30*x - 10. Let p be u(8). Suppose 0*o - l + p = o, l = -3. Solve -4*a = -a - o for a.
3
Suppose 0 = 2*k - 6 - 8. Solve 7*j = -28 + k for j.
-3
Let n(c) = c**2 + 4*c + 3. Let t be n(-4). Solve -u + t = 1 for u.
2
Let t = -252 - -254. Solve 2*w + t*w = 4 for w.
1
Let c = 60 + -66. Let v be ((-27)/18)/(c/8). Solve -j + 3 = -v*j for j.
-3
Suppose -u + 3 = 5*b - 12, 6 = 2*u - 2*b. Solve u*v - 1 + 26 = 0 for v.
-5
Let q = -10442 - -10443. Let k(r) = -r**2 - r + 2. Let b be k(0). Let m = b + 3. Solve -m*s + 19 = -q for s.
4
Let x = -10 - -12. Let z(n) = n + 8. Let k(v) = -5*v + 2. Let q be k(2). Let b be z(q). Solve b = -0*l - x*l - 6 for l.
-3
Let r be (2/(-1) + 504/(-12))/(-2). Let b be 114/r - 18/99. Solve -15 = b*i - 2*i for i.
-5
Suppose -79 = -3*g - 4*r, -5*r = 3*g - g - 55. Let v = -23 + g. Solve i - v = -i for i.
1
Let p(m) = -2*m - 37. Let c be p(-19). Let u be ((2 + -5)*c)/(9 + -12). Solve 3*y = 4*y - u for y.
1
Let u be (-1 - 1) + 40/10. Let r = 29 + -27. Solve r*m - 6 = u for m.
4
Suppose 5*t + 3 = 5*k - 2, k - 3*t = 3. Solve 2*o - 9*o + 14 = k for o.
2
Let c(a) = -a**2 - a + 1. Let q(w) = 2*w**2 - 8*w - 11. Let y(d) = 3*c(d) + q(d). Let h be y(-8). Let m = -11 + h. Solve 2*i - m*i = 0 for i.
0
Let m(u) = -5*u + 26. Let j be m(6). Let p = j + 8. Solve x = 3*x + p for x.
-2
Let b be -3 + 1 - (-50 + 30). Suppose 2*p + b = 4*p. Solve p*w + 6 = 6*w for w.
-2
Let l = -732 + 756. Solve -l = -8*r - 16 for r.
1
Let w(u) = -u**3 + 14*u**2 + 15*u + 3. Let p be w(15). Solve -4 = n - p for n.
-1
Suppose 22*f = 31*f - 99. Solve 18 - 7 = -f*s for s.
-1
Let v(o) = -o**2 - 35*o - 264. Let r be v(-24). Solve r = 6*t - 5*t + 1 for t.
-1
Let y = 540 - 531. Solve y*a + 3*a + 48 = 0 for a.
-4
Let z(p) = p**3 + p**2 - 3. Suppose -3*q - 4 = 2. Let b be z(q). Let c be (-2)/b - (-60)/35. Solve r = -r + c for r.
1
Let h(g) = 5*g**2 - 5*g + 6. Let s(t) = 6*t**2 - 4*t + 8. Let z(c) = -5*h(c) + 4*s(c). Let j be z(8). Solve 0 = -4*k + 6*k + j for k.
-5
Let c = 20 - 67. Let q = c - -51. Solve q*m - 7 - 5 = 0 for m.
3
Let g = -462 - -470. Solve -12*h - 16 = -g*h for h.
-4
Let g = 59 - 55. Let a be ((-18)/15)/(2/(-25)). Solve a = g*h - 5 for h.
5
Suppose l + 31 = -0*l + r, 2*l = 4*r - 64. Let p = l - -33. Solve -12 = -p*y - y for y.
3
Let l(w) = w**2 - 5*w - 2. Let c be l(6). Suppose 3*g = 2*g + 4. Suppose 0 = 2*f - g - 12. Solve -f - 4 = c*y for y.
-3
Let m(v) = -v**2 - 18*v + 98. Let z be m(4). Suppose 5 - 1 = o. Solve -r + z = o*r for r.
2
Let r = 365 - 359. Solve 18 = 6*l - r for l.
4
Let p = -295 + 298. Solve 2*w - p*w + 5 = 0 for w.
5
Let l(o) = -o - 2. Let h be l(-2). Let j be (-76)/(-152) + 0 + 26/4. Suppose -3*n + j*n = h. Solve n = 4*v - 3 - 17 for v.
5
Let c = 24 - 21. Solve 10 = -c*f + 16 for f.
2
Let x be (-88)/(-14) - (-204)/(-714). Solve -2*g + x = 2 for g.
2
Let r = -29 - -25. Let h be -3*(r + 1 - -2). Solve h*a + a - 4 = 0 for a.
1
Suppose 5*a + 2*h + 19 = 0, h - 4*h = -5*a - 9. Let i(x) = 7*x**2 + 9*x - 9. Let q be i(1). Let u = q + a. Solve -b - 2 = -u for b.
2
Suppose -2*u - 5*p - 18 = 0, u - 2*p = 2*p + 4. Let d be u + (6 - (-4 + 3)). Solve d*o + 0*o + 6 = 0 for o.
-2
Let u be (-1*4)/(-4 - (-21)/6). Suppose -h = -4*j - 5*h - 12, -u = j + 2*h. Solve -5*n - j = 3 for n.
-1
Suppose 4*c - 4*a = -0*a - 60, -a + 2 = 0. Suppose 5*k = 8*k - 15, v = 3*k - 2. Let z = v + c. Solve 5*w + z*w + 25 = 0 for w.
-5
Suppose n = -n + 8, -2*m - 4*n = -44. Suppose 2*q - 83 = -3*q + p, p - 45 = -3*q. Suppose 2*s - 14 = -2*h, -4*s - 5*h + q = -m. Solve s*x - 5 = -0 for x.
1
Let b be -2 - 64/(-12)*3. Let y be (-126)/(-12)*48/b. Suppose 3*m + m - y = 0. Solve -m = -h + 4*h for h.
-3
Let m(i) = -3*i - 13. Let j be m(-3). Let h be (-5 - (-62)/10)/(j/(-50)). Solve v = 4*v + h for v.
-5
Let o(s) = s + 1. Suppose -3*u - 15 = 5*r - u, 2*r - 5*u - 23 = 0. Let h be o(r). Solve -4*i + 1 + 15 = h for i.
4
Let i(p) = -p + 1. Let j be i(-3). Solve 0 - j = m for m.
-4
Let a = -36 + 36. Suppose a = -3*w + 5 + 7. Solve -29 = -5*r - w for r.
5
Suppose n + 3*c - 2 = 0, -4*c = -0*c. Suppose -15 = -n*i - 3*o, -3*i + o - 20 = -3*o. Solve -j + i = 3 for j.
-3
Let g = -40 - 12. Let a = -50 - g. Solve 11 = 3*k + a for k.
3
Let u = 63 + -158. Let h be (u/(-15))/(2/6). Let j be h/4 + 2/8. Solve 4*t + 25 = j for t.
-5
Let v(i) = -2*i + 26. Let z be v(0). Let n be z/6 - 8/(-12). Let c = 19 + -13. Solve -3*b = -n*b + c for b.
3
Suppose 5*t = -4*c + 19, -11*t + 8*t + 5 = 4*c. Solve 0 = r + t - 2 for r.
-5
Let t(d) = -d**3 + 4*d**2 + 4*d + 7. Let i be t(5). Suppose 6*u = i*u - 4. Let m = u - -1. Solve m - 2 = 2*a for a.
-1
Let v = -615 - -633. Solve 3*j + v - 27 = 0 for j.
3
Let j(d) = -d + 10. Let n be j(8). Suppose 0*k = k + n. Let l(t) = -3*t**3 - 2*t**2 + 3*t + 2. Let p be l(k). Solve 0 - p = -4*m for m.
3
Let m be (-15)/(3*4/(-8)). Solve -m = 6*c - 34 for c.
4
Let j(r) = 0 + 6 - 3*r + 8 - 13. Let y be j(-3). Solve g + y = 6*g for g.
2
Suppose 27 = 14*g + 139. Let s be (15/(-10))/(6/g). Solve -s*z = -z - 3 for z.
3
Let q(b) = -b**2 + 1. Let i(z) = -5*z**2 + 13*z - 8. Let t(g) = -i(g) + 6*q(g). Let c be t(-14). Suppose 3*a + 3 = 12. Solve -4*d + a*d - 1 = c for d.
-1
Suppose 3*b + 3 = 3*f, 4*f + 0*f = -4*b + 20. Suppose -10*d - 8*d = 0. Solve d = -c + b for c.
2
Let b be ((-4)/(-10))/(-4*5/200). Let o be (2/(-16) + (-11)/8)*b. Solve 5*l = o*l + 3 for l.
-3
Let i(b) = 74 - 7*b - 38 - 37. Let s be i(-1). Solve -u + s = u for u.
3
Let w be (-6)/(17/(493/(-6))). Solve -w*k = -26*k - 3 for k.
1
Suppose 10*g - 15*g + 15 = 0. Solve -1 = -a + g for a.
4
Suppose 15*o = -o + 96. Solve -34 + o = -7*v for v.
4
Let z(x) = -x**2 + 2*x + 3. Let c be z(3). Let y be -33 - ((-7)/14)/((-2)/4). Let k = 38 + y. Solve k*f + 8 + c = 0 for f.
-2
Suppose -u + 6*u = -30. Let a be (-1 - -1)*(-2 - 9/u). Let r be (-2 + (-16)/(-10))*-5. Solve 0 = -o + r - a for o.
2
Let c be (0*(-2)/(-2))/2. Suppose -d - d - 4*b + 20 = c, -2*b + 10 = -3*d. Solve d = 2*j - 2 + 4 for j.
-1
Let c = -27 + 35. Let j be (4/(-5))/(c/(-20)). Suppose 0 = j*v + w - 5, -4 = 2*v + 2*w - 14. Solve v*l - 3*l = -6 for l.
2
Let b(l) = -34 - 36 + l + 83. Let n be b(-9). Solve 0*c = c - n for c.
4
Let i(q) = q**2 + 2*q + 1. Let d be i(-1). Let t(c) = c**2 + 4*c + 7. Let r be t(-3). Suppose -r*h - 16 = -20. Solve 2*j + h - 9 = d for j.
4
Suppose 32*c - 37*c = 25. Let r be (-2 - 52)/3 - -1. Let k = c - r. Solve 0*s - k = -4*s for s.
3
Suppose 17 = 4*h - 51. Suppose 10*v = h + 13. Solve 0 = -4*l - 9 - v for l.
-3
Let w(x) = x**2 + 7*x + 16. Let l be w(-4). Let v(a) = a**3 - 11*a**2 + 14*a - 35. Let u be v(10). Solve u = -l*k + 25 for k.
5
Suppose 61 = 18*x - 65. Solve 4*w = x*w + 9 for w.
-3
Suppose -31*d + 22 = -102. Solve 12 = -8*c + d*c for c.
-3
Let m be 4/4 - 18/(-3). Let y(n) = n**3 - 7*n**2 - n + 9. Let t be y(m). Let k be 2 + 3 - 0/1. Solve -k*i = -t*i - 6 for i.
2
Let f be (-4)/(-8)*-12*(0 + -12). Let j = f + -67. Solve -x + j*x = 20 for x.
5
Suppose -5 + 0 = 4*n - 5*s, -2*n - 4 = -4*s. Suppose 18*q - 21*q + 6 = n. Solve 0 = -3*m + q*m for m.
0
Let u be -7 + (42/(-7) - -13) - -28. Solve 0 = -38*k + u*k 