 8*n**2 - 9*n + 7. Let g be l(7). Let m = 7 + g. Solve -5*j + 6*v = 2*v - 5, m = -5*v for j.
1
Suppose 0 = 3*s + 9, 0*x + 4*s = x - 15. Let f(t) = t**3 - t**2 - t - 4. Let z be f(x). Let q = 14 - z. Solve 3*a = q*k + k + 14, a - 2 = 0 for k.
-2
Let c(p) = p + 11. Let y(i) = -i - 7. Let g(w) = 5*c(w) + 8*y(w). Let t be g(-1). Let s be -1 - (-3*2 + t). Solve -o + s = 3*x - 2, 4*o - 20 = x for x.
0
Let t be 1/(-1 - (-1 - -1)). Let x be (11 - 3)/(0 - t). Let p be (-2 + 1)*(0 - x). Solve -5*s = -2*a + 21, -s + p = 4*a - 1 for a.
3
Let d be (-8)/28 + 172/14. Solve 0 = z + 3, 3*g - 2*z - d = -0*z for g.
2
Let x(z) = -z**3 - 3*z**2 + 7. Let s be x(-3). Suppose -3 = -3*k - 0, r - s = -5*k. Solve 20 = 5*a, -r*a = -5*w + 2*a - 16 for w.
0
Suppose -18 = -3*w + 3*d, -2*w - 2*d - 4 + 0 = 0. Solve -4*t = -5*j - 5, -3*j = -3*t + w*j for t.
5
Let h = 66 + -48. Solve -3*o - h + 3 = -4*j, o + 5 = 2*j for o.
-5
Suppose -4*q - 3 = -3*a, -4*a = 2*q - 21 - 5. Solve p + 4 = 0, 0 = 3*r + 5*p - a + 16 for r.
3
Let r = 6 + 18. Let y(b) = 2*b**2 + 7*b - 4. Let z(c) = c**2 - 8*c + 6. Let j be z(6). Let o be y(j). Solve x - 5*i + o = 0, 2*i - r = -x - 3*i for x.
-1
Let o be 30/4*(-16)/(-5). Suppose -4*q - 14 = 2*p, -4*q + 7*q = 3*p - o. Solve -p*x - 5*h = -19, -6*x + 2*x = h - 14 for x.
3
Let o = 24 + -22. Solve -q + 2*c + 7 = 0, -q - q = -o*c - 12 for q.
5
Suppose -4*z + 2*z + 4 = 0. Suppose 7*o - 45 = -4*c + z*o, 10 = 2*o. Solve 5*y = -s - 2*s - 4, c*s + 15 = 0 for y.
1
Suppose 0 = -m + 4*c - 15, 5*m - 3*c + 11 = 4*m. Let i(p) = -m + p + 0*p + 0*p - 2*p. Let k be i(-5). Solve 5*r - 16 = 3*t, -3*t = r - k - 10 for t.
3
Suppose 3*f - 14 = n, 0 = 6*f - 4*f - 3*n - 7. Suppose -4*t - 3*a + 23 = 0, 4*t - 15 = f*a - 0*a. Solve 0 = -t*j - 5, c - 1 = 4*c + 4*j for c.
1
Let n be (-384)/224*(0 + (-7)/2). Solve -3*w + 0*w = -12, 5*d = w + n for d.
2
Let f be 2/(1 - -1) - 3. Let l be -1 - (0 + (-6 - f)). Solve l*h = m + 6, 2*h = 4*m + 23 - 9 for h.
1
Let s be (-22)/(-4) - (-33)/(-22). Solve -3*u - 3 = 2*t, -t + 3*u = s*t + 18 for t.
-3
Suppose 25 - 61 = -2*b. Let o = -17 + b. Solve 5*k = -4*l + 6*l + o, 2*l + 3*k + 9 = 0 for l.
-3
Let j be (17 - 8) + (-2)/(-2). Solve -v = 3*w - 8, -2*v - 5*w = 3*v - j for v.
-1
Let a be (-39)/(-12) + (-1)/4. Let s be 2*(2 + (-4)/8). Suppose m + u - 8 = -s*u, -a = -3*u. Solve 5*g + m - 2 = 3*r, -3*g + 14 = 2*r for g.
2
Let z = -25 + 36. Solve 3*r + z = -0*u + u, -4*r - u - 17 = 0 for r.
-4
Suppose 4 = 4*f - 12. Solve -4*w - 6 = 2*g, f*g + 3 = -w + 5*g for w.
-2
Let o be 3 + (-1 - 0) + 0. Solve c + 3 = o*l, 7 = 3*c + l + 2 for c.
1
Let z be (-7)/2*(-12)/21. Let p be (-9)/(z + 0 + -3). Suppose 2*o = 23 + p. Solve 5*t + 20 = -5*v, -o = t + 3*v + 2*v for t.
-1
Let a = 1 - -5. Suppose -1 = 2*h - 3*h. Let c = h + a. Solve x = -3*y - 7, c = -3*x - 3*y + y for x.
-1
Suppose -a - 4*a = -25. Suppose -4*m - 13 = -5*v, 0*m - 5 = 2*v - a*m. Solve 4*h + v*k - 23 = -60, -10 = 5*h - k for h.
-3
Let y = -20 + 5. Let f = 15 + y. Solve -5*n - r + 4*r = f, -3*r = 5*n for n.
0
Let s be (1 - -2)/((-3)/(-2)). Let x = 2 - s. Solve 5 = l, -5*o + 3*l + 5 = -x for o.
4
Let c(g) = -g**2 + 5*g - 2. Let d be c(4). Solve 5*x = -3*r - 2, d = 5*r - x + 4*x for r.
1
Suppose -4 = -4*x + 3*x. Solve 0 = 5*d - x*a + 16, 2*d + 0*d = a - 4 for d.
0
Let z(r) = 2*r**2 + 2*r - 1. Let v be z(-2). Solve -15 = -a + v*o + 2*o, 0 = -o - 3 for a.
0
Let k = -1663 + 431. Let p be 2/(-5) + k/(-55). Solve p = 4*c + 5*i, -3*i - 2 = c - 11 for c.
3
Let q = 28 - 28. Suppose -4*b - 13 + 1 = 0. Let f(y) = -2*y - 2. Let p be f(b). Solve 5*g = -p*l + 28, 5*l + 5*g - 30 = -q*l for l.
2
Let t be (4 - 6) + 5*1. Suppose b = 3 + t. Solve -3*z = -f + 13, 3*f = -0*f - b for z.
-5
Let p be (-2 - 1)/((-6)/20). Let w = p + -16. Let i be 4/w - 105/(-9). Solve -2*h + 5 = g - 8, -g = -4*h + i for h.
4
Let v(h) = h**3 - 7*h**2 + 4*h + 12. Let q be v(6). Solve q = -d + f - 3, -2*d + f = -0*d + 3 for d.
0
Suppose 0 = 4*w + w - 85. Let q be w - 0 - 6/3. Solve -5*a + 5 = 3*i - q, -a - 19 = -4*i for a.
1
Let s(d) = -d**3 - 8*d**2 + 7*d + 10. Let m be s(-9). Let y = -19 + m. Solve -t - 2*t - 2*a - y = 0, 0 = -5*t + 4*a - 37 for t.
-5
Let s = -19 + 45. Solve -o - 5*f = -s, -3*f - 2 + 16 = -o for o.
1
Let q(k) = -k**2 - 5*k - 1. Let y be q(-5). Let n = y - -5. Let b(s) = -3*s**3. Let a be b(-1). Solve 3*x - 6 = -2*u + n*x, 8 = 4*u - a*x for u.
5
Let j(p) be the first derivative of p**2/2 + 4*p - 1. Let t be j(0). Solve -1 = -d - o, -3*d + 10 = -2*d + t*o for d.
-2
Suppose 3*g + g = 100. Let a = g - 17. Let c = a - 5. Solve -7 = -2*t - 2*y - 1, -c*t + 9 = 5*y for t.
3
Let o be ((-3)/(-9))/((-1)/(-15)). Solve 2*k - o*j + 10 = 0, 2*k + 8*j - 3*j + 10 = 0 for k.
-5
Suppose -4*n - 2*w + 4 + 12 = 0, 2*w - 4 = 0. Suppose n*r - 36 = -r. Solve -3*p + 5*u = r + 4, 0 = -4*p - u + 21 for p.
4
Let c = 35 - 31. Solve 0*a - 2*a = -c*k + 4, 11 = -3*a + k for a.
-4
Let p(i) = i**2 - 4*i + 2. Let r be p(4). Let z = -3 - -4. Let q be r + 0 + (-1 - z). Solve -2*v + 7*v + 2*j + 14 = q, 2*v = -3*j - 10 for v.
-2
Suppose 0 = 4*r - 6*r + 6. Solve -4*t = -4*j, 5*j + r = 4*t - 0*t for j.
-3
Let n = 9 - 2. Solve -3*p - 8 = -r, -2*p + 5 = -n*p for r.
5
Let i(w) = 7*w + 0*w + w - 2 - 2*w - w**2. Let s be i(5). Solve 0 = -5*j + 3*g - 15, s*g - 2*g + 3 = -j for j.
-3
Suppose -2*r + 3 = -3. Solve 3*l + 9 = r*c, 3*l + 11 + 2 = c for l.
-5
Let w(q) = -q**2 - 4*q + 7. Let x be w(-5). Solve -g + 2*g + k = 7, -3*k + 6 = -x*g for g.
3
Let u = -58 + 63. Solve 2 = 3*i - u*s - 3, -5*s - 5 = 5*i for i.
0
Let i(h) be the first derivative of -h**2 - 4*h - 3. Let o be i(-3). Suppose -3*s = o*s - 25. Solve s*n + l = -4*l, 0 = n - 4*l for n.
0
Let o(y) = -y**3 + 12*y**2 + y - 7. Let t be o(12). Solve 2*h - 6*j + 2*j = -28, -3*h - t*j + 13 = 0 for h.
-4
Let r(x) = -x**3 + 15*x**2 - x + 22. Let v be r(15). Solve -3*g - 18 = f, 4*g + v*f = 3*f - 32 for g.
-5
Suppose -12 = -0*h + 2*h. Let y be h/2*(-8)/6. Solve 3*o + 2 = 5, -y*a + o + 7 = 0 for a.
2
Suppose -3*q + 2 = -4. Suppose 17 = -w - 0*p + 5*p, -3*p = 4*w - 24. Let o = 24 + -12. Solve 3*u - w*t = q*t - o, -3*t = 0 for u.
-4
Let a = 4 - 1. Let h(g) = -g - 9. Let l be h(-7). Let z(j) = -6*j - 3. Let x be z(l). Solve -5*c - x = -a*k - 0*k, 5*c = -5*k - 25 for c.
-3
Suppose 2*s - 8 = -0*s. Suppose -3*v = 2*v + 3*h, s*v = 2*h + 22. Solve 2*j + 1 = v*p - 3, -4*p + 8 = -4*j for p.
0
Suppose 2*u = 27 + 11. Suppose 4*c + 17 = -u. Let t be c/12 - (-15)/4. Solve -5*x + 8 = t*f, x - 7*f = -2*f - 4 for x.
1
Suppose 0 = 4*b - 29 - 35. Let g be (b/(-10))/4*-5. Solve g*u + f - 8 = 0, 5 = 2*u + u + 5*f for u.
5
Suppose -2*u - f = -6, 5*u + 4*f - 1 = 8. Suppose 5*c - 4 = -14. Let o be (0/5)/(c + 1). Solve -u = -i, o*s + s - 15 = -2*i for s.
5
Suppose -n + 10 = -0*n. Let l be (n/4)/(3/6). Solve l*a - 13 = 2*b, 2*b - 2*a = -3 - 1 for b.
1
Let n be (-3 - 0)/((-6)/4). Let c be (0 + 0)*(-6 + 7). Suppose 2*k - 1 - 5 = c. Solve n*g - 4 = -s + 3*s, -s - 14 = k*g for g.
-3
Let n be (27 - 1)*(-2)/(-4). Let a be -3*(-1 - (1 - 1)). Suppose 0 = -2*r + a - 1. Solve 2*j - v = r, 6*j - 2*j = -v - n for j.
-2
Suppose 5*g = 5*y + 10, y - g + 3*g = 7. Let x be (y + 2 + -2)*2. Solve 0*a - a = -b - x, 0 = 5*a - 3*b for a.
-3
Let o be 4/(-22) + (-108)/11. Let g(q) = q + 12. Let i be g(o). Solve i*x - 3*t = 3, x + t - 3 = 3*x for x.
-3
Suppose 4 = -2*c - 0. Let q be (-18)/12 - 3/c. Solve q*r + 4 = 3*r + 2*j, -20 = -3*r + 2*j for r.
4
Let k(h) = h**3 + 17*h**2 - 18*h + 4. Let u be k(-18). Solve 6 + 0 = 2*j - 4*z, 9 = -u*j + z for j.
-3
Let d(g) = -9*g + 4. Let c(i) = -26*i + 11. Let x(n) = 6*c(n) - 17*d(n). Let u be x(-2). Solve -u*m = 3*b, 3*m = 6*b - b for m.
0
Suppose -5*c - 24 = 11. Let k be 384/112 - (-3)/c. Solve 10 = -a + 4*n - 9, -k*n = 4*a for a.
-3
Suppose -5*x + 0 = 5. Let v be -4 + 2 - x*4. Solve 8 = -v*n + 2*z, -7 = -2*z + 3 for n.
1
Let t(q) = -2*q - 12. Let l be t(0). Let u = l + 20. Solve 4*c + 9 - 2 = -5*s, -2*s + c - u = 0 for s.
-3
Let m be 1/((1 + 0)/1). Let a be 4/12*m*21. Solve a*v = 2*v - 4*k - 30, -4*v + 3*k = -7 for v.
-2
Let t be 150/9 - 4/(-12). Let x = 6 - -1. Let h be 250/8 + x/(-28). Solve 3*g + 2*o - t = 0, -5*g - 5*o + h = -o for g.
3
Let p be (4 - 2) + 0 + -2. Let m(q) = -q**3 + 3*q + 1. Let r be m(-2). Solve h = j - 2 - p, -r*j 