e 4 = -5*m - f, m - 5*f + 2 = -4. Let k be 9*(m + (-8)/(-6)). Solve -u - k*u = 0 for u.
0
Suppose -2*i + 4 = 2. Let t = 1 - i. Let v(s) = -s**2 + 10*s - 12. Let n be v(2). Solve t = -p + n - 3 for p.
1
Let u(a) = -a**2 + 4*a + 2. Let f be u(5). Suppose 4*p + 0*p - 12 = 0. Let c = p + f. Solve 6*h - h + 10 = c for h.
-2
Let m = -52 - -62. Solve 3*s = -2*s + m for s.
2
Let t(a) = a + 7. Let l be t(-5). Suppose -5*r + l*r - 6 = 0. Let s be (-117)/(-12) - r/8. Solve 8*g = 3*g - s for g.
-2
Suppose 0*w = 4*w - 8. Let u be w + (-2 - (-4)/1). Let j be (-16)/(-10) + (-2)/(-5). Solve -q - u = -j for q.
-2
Let o(z) = -7*z + 82. Let k be o(11). Solve -3*j + k = -4 for j.
3
Let l(y) = 6*y + 1. Let b be l(1). Suppose r = -3*x + 13, -r = -x - 0*x + b. Solve -f = -x*f + 4 for f.
1
Let q(r) = 2*r**2 + 2*r. Let c be q(-2). Let i(t) = -t**3 + 5*t**2 - 2*t - 3. Let g be i(c). Let b be 3/(-9) + (-1)/(-3). Solve b = -0*f + g*f for f.
0
Suppose -5*h = -h - 16. Suppose 5*z - 11 = -q, h*q + 4 = -4*z - 0. Suppose -l + 40 = z*l. Solve -5*y - l = -0*y for y.
-2
Suppose -5*c - 4 = -7*c. Suppose 7 - 3 = c*p. Solve -o = p*o - 9 for o.
3
Suppose -1 = -h + 2*q + 3, h - 3*q = 4. Solve 0 = h*x - 6 + 2 for x.
1
Suppose -4*p - 2*y + 48 = 0, -3*p = y - 5*y - 36. Let m = -10 + p. Solve 0*d - m*d = 8 for d.
-4
Let v be (-2 - -1)/((-2)/10). Let c = 7 - v. Solve -3*z + c = -1 for z.
1
Suppose 5*l - 3*l - 16 = 0. Suppose 5*q + 1 = 2*r, 3*q + 7*r - 18 = 2*r. Suppose 5*x = -5*k + 5, 2 = x + q. Solve k*h - 2*h = l for h.
-4
Suppose -2*p - 6 = -4*p. Solve -p*f - 2 = 10 for f.
-4
Suppose 0*t - 32 = -3*y + 2*t, 13 = y - 3*t. Suppose d = -d + y. Solve d = -0*r + r for r.
5
Suppose 3*x - 8*h = -3*h - 10, 2*x = -4*h + 8. Solve -j - 4 - 1 = x for j.
-5
Let j be 0 - (2 + (1 - 5)). Solve j - 8 = 2*m for m.
-3
Suppose -5*g + 2*o + 31 = 0, -3*g + 0*o = 5*o. Let d be (-6)/(-10) - (-2)/g. Let z be (1 - d)/(-1 - 0). Solve -a - 5 + 0 = z for a.
-5
Suppose 0 = -2*y + a - 1, -2*a - 10 = 3*y - y. Let k = 2 + y. Solve x = -k*x for x.
0
Suppose -9*q = -2*m - 6*q + 10, -m = q. Suppose m*h - 10 = h. Solve -10 = -4*c + h for c.
5
Let f(v) = 4*v**2 - 14*v. Let r(g) = 3*g**2 - 9*g. Let s(a) = -5*f(a) + 7*r(a). Let u be s(-7). Let c be 2 - (-1 + -1*22). Solve u*x - 5*x = c for x.
-5
Suppose 2*g = 3*v - 4, -3*g = -8*g - 5*v + 40. Suppose -w + 6 = g. Solve w*d - 4*d = 0 for d.
0
Let t(r) = -r**2 + 7*r - 4. Let o be t(6). Let b be 4 - 0 - 7 - -28. Suppose 0*i = -2*i + 6. Solve o*h + i*h = b for h.
5
Let r = 23 - 20. Suppose -r*g = g - 32. Solve -g = u - 5*u for u.
2
Suppose -40 = -4*t - 2*o, 0 = -2*t + 4*t + 5*o - 28. Let s = 0 + 7. Let y = s + -2. Solve y*p = -1 - t for p.
-2
Let a(l) = -2*l + 43. Let x be a(20). Let n(j) = j**3 + 4*j**2 + 2*j - 2. Let t be n(-2). Suppose t*d - 36 = -2*d. Solve x - d = -2*i for i.
3
Let u(n) = n**2 + 2*n + 1. Let x(q) = -5*q**3 - q**2 + 2*q - 1. Let c be x(1). Let g be u(c). Let h be (g/10)/((-3)/(-15)). Solve 0 = h*f - 3*f - 25 for f.
5
Suppose 2*t = 5*t + 6, -32 = 5*m - 4*t. Let y be (-7)/(-28) + (-14)/m. Solve 5*a - 6*a = -y for a.
2
Suppose 0 = n - 4 - 3. Solve -1 = 3*t - n for t.
2
Let a(q) = -q**3 + 5*q**2 - 4*q + 2. Let w be a(4). Suppose 4*d - 3 = -h, 0*h = w*h + 10. Let x be 8502/338 + -1*(-4)/(-26). Solve x = 3*z + d*z for z.
5
Suppose -2*h + 2*r = 0, 3*h - 35 = -2*h - 2*r. Solve h*j = j for j.
0
Suppose -j + 2 - 1 = 0. Let n be (-2 + j - -5) + -1. Suppose 0 = -i - n, 2*g + 2*i - 2 + 8 = 0. Solve -3*k + 6 = -g*k for k.
2
Suppose -g = 2*g. Suppose d + 10 = -d - 5*s, 0 = 5*d - 5*s - 10. Solve d = -4*q - g*q for q.
0
Let i(v) = -v**3 - v**2 + 1. Let k be i(1). Let g(n) = 3*n**2 + n. Let a be g(k). Solve -2 = a*t - 0*t for t.
-1
Let h be (2 - 2)*1 + 4. Let n = h - 2. Suppose 0 = -4*x + 5*c + 24, -3*x + 8*x - 9 = c. Solve -x = -n*q + 1 for q.
1
Let g be (-1 - -9)/(2/(-5)). Let m = g - -23. Solve m*l + 5 = 4*l for l.
5
Suppose -2*p - 1 + 11 = 0. Suppose 2*f + 5*y + 5 = -6, -3*f = -p*y - 21. Suppose 3*v + 0*i = -3*i + 3, -4*i + 4 = -3*v. Solve v*w = w - f for w.
2
Suppose 4*f - y = 51, -y - 5 = -6*y. Let r(j) = j - 13. Let z be r(f). Solve z = 2*u - 8 - 2 for u.
5
Suppose -r + 9 - 3 = 0. Suppose -f + r*q = q - 13, 2 = -q. Solve -3 = -f*p + 6*p for p.
-1
Let k(i) = -i**2 + 1. Let y be k(0). Suppose y = c - 2. Solve -4*r = -c*r + 1 for r.
-1
Let s = 4 + -9. Let i = s - -14. Let t = 0 + 2. Solve d - i = -t*d for d.
3
Let r = -2 + 5. Suppose r*p + 2*p = -15. Let n be (0 + 5)/((-3)/p). Solve 0 = -2*x - n + 15 for x.
5
Suppose -r = 2*p - 8, 4 = 5*r + 3*p - 15. Suppose -r*f + 3 - 1 = 0. Solve c + f = 4 for c.
3
Let g(l) = -l + 6. Let k be g(5). Suppose -3*q = k - 7. Let w(m) = -m**3 + 4*m**2 - 3*m + 2. Let u be w(q). Solve -t + u = -0*t for t.
4
Let c be (-10)/5 - 4/2. Let n be (-30)/4 + 2/4. Let z = c - n. Solve 0 = 3*f - z - 0 for f.
1
Suppose 0 = 5*k - 5*u, -3*u = -3*k - k + 3. Solve a + 0 = k for a.
3
Let v(c) = -c**2 + 17*c - 12. Let t be v(16). Solve -4*a + t = -4 for a.
2
Let y(i) = 3*i + 1. Let t be (-2)/(5 - (3 + 0)). Let c be y(t). Let g be c*(1 - (-15)/(-6)). Solve -g*h = -10 + 1 for h.
3
Suppose -5*q + 8 = -4*y, 3*q + 4*y - 19 = 5. Suppose 5*j - 2*m - 32 = 0, 2*j - q*m = -5*m + 20. Let z be 0*(-2 - -1)*-1. Solve 2*x + z = j for x.
4
Let r(l) = 2*l**2 - 3*l - 9. Let d be r(3). Solve d = -0*h + 2*h - 10 for h.
5
Let q(k) = -k + 7. Let b be q(6). Let x = 3 + b. Solve 0 = -x*h + 3*h + 3 for h.
3
Let a be ((-3)/(-4))/(6/(-24)*-1). Solve 0 = -0*b - a*b - 12 for b.
-4
Let x = -4 - -10. Let h = 33 + -36. Let q = x + h. Solve 0 = -4*r + 3*r + q for r.
3
Let d(l) = -l**2 - 16*l + 82. Let m be d(-20). Solve -m*y - 3 = y for y.
-1
Suppose 17 = 2*q + 3. Let l be 6/(-18) + q/3. Solve l*y + 16 = -2*y for y.
-4
Suppose -21 = i - 4*i. Suppose -19 = -3*s - i. Suppose 3*x + 5*r = 12, -5 = s*x + 3*r - 21. Solve x*g = 7 + 5 for g.
3
Let b = -4 - -9. Suppose b*p = 2*p. Suppose p = -c + 3*c - 4. Solve -5 = c*k + 1 for k.
-3
Suppose -5*i + 13 = -k, -5*i + 17 = -i - 3*k. Let h(g) = -2 + 0 + 4*g + i*g. Let t be h(2). Solve t = -4*z + 26 for z.
4
Let f(n) = n**3 - 9*n**2 + 5. Let u be f(9). Solve 4 = -u*b + b for b.
-1
Suppose -4*c + 11 + 8 = 5*u, 10 = 2*u + 4*c. Suppose -2*i - 25 = -u*q, -q - 8 = 3*i + 2. Solve -q*p - 6 = -1 for p.
-1
Let x be ((-11)/55)/(2/(-10)). Solve x + 3 = 2*k for k.
2
Suppose 0 = -4*f - 12, -7 = -q + 2*f + 2. Let c be (-231)/(-9) - 2/q. Solve 2*t = 7*t - c for t.
5
Suppose 0 = -5*g + 4*b + 30, 0 = -5*g + b - 4*b + 30. Suppose -4*a + 0*a + 8 = 0. Let h(p) = p**2 + 2*p - 3. Let s be h(a). Solve s*u - 1 = -g for u.
-1
Suppose -2*p + 4 = -2*g, -4*g - p + 17 = -0*p. Solve j + 20 = -g*j for j.
-5
Let j = -34 - -34. Solve j = 4*x + 1 - 5 for x.
1
Let d(s) = -s**2 + 9*s - 6. Let p be d(8). Let m be 22/1 + 1 + 1. Suppose -5*b + 2*o - 4*o = -88, -2*o = -2*b + m. Solve p*c = -2*c - b for c.
-4
Suppose 36 = -7*q + 2*q + 3*g, 27 = -4*q + 3*g. Let x be (-2)/q - 4/18. Suppose -2 = -5*t + 13, x = -d + 3*t - 6. Solve 3*k - 18 = -d for k.
5
Let w(j) = -j**2 - 9*j - 2. Let n be w(-8). Suppose -l = -n - 9. Solve 7*t + l = 4*t for t.
-5
Let p = 1 + -4. Let h = 4 + p. Let z(n) = n - 2. Let u be z(5). Solve h + u = -2*x for x.
-2
Suppose -3*r = 4*q - 37, 20 = 4*r - 5*q + 3*q. Let n(c) = 2*c + 2. Let u be n(1). Let t = 26 + -14. Solve -r*p = -u*p + t for p.
-4
Let f = 51 - 31. Suppose 2*r - f = -2*r. Solve -r = -c - 4 for c.
1
Let u(q) = 2*q - 1. Let a be u(3). Let c be (-83)/(-5) - 3/a. Suppose -4 = -5*x + c. Solve 3*j - x*j = 0 for j.
0
Let a(b) = 2*b + 19. Let o be a(-9). Solve 3*d + o = -2 for d.
-1
Suppose -v + q = 3*q - 6, -3*v + 10 = -2*q. Suppose -7 = -v*s + 13. Suppose 0 = s*z - 49 - 16. Solve 3*j - 2 = z for j.
5
Suppose 5*q + 2*u + 0 = 34, -6 = -2*q + 3*u. Suppose -2 - q = -4*a. Solve -3*y = a + 10 for y.
-4
Let x(r) = -r**2 - 9*r + 11. Let z be x(-8). Let s = z + -12. Solve s*j + 15 = 2*j for j.
-3
Let m(x) be the third derivative of -x**6/120 - x**5/10 + 5*x**4/24 - x**3 - x**2. Let f be m(-7). Let t = f + -5. Solve 0 + 3 = -t*k for k.
-1
Let b(k) = k**3 - 3*k**2 - 2*k - 5. Let f be b(4). Suppose -3*i + 23 = -5*w, -f*i + 4*i - 2 = -4*w. Solve 5*p - i = 4 for p.
2
Suppose 2*u + 3*m - 15 = 0, -6*u + 3*u = 3*m - 15. Solve 2*d - 4*d - 4 = u for d.
-2
Let v = -8 + 11. Suppose -2*j = -0*