lve 0*m = 5*m - 5*f - 20, -2 = -y*m - 2*f for m.
2
Let v(w) = -w**2 - 7*w - 10. Let n be v(-4). Solve -10 = n*p + 3*f, p - 5*f + 18 = 39 for p.
1
Let c(y) = -6*y**3 + y**2 - y - 1. Let m be c(-1). Solve m = -2*w + 3*r, 4*r = 1 - 5 for w.
-5
Suppose 2*o + 8 = -4. Let t = -6 - o. Solve 5*f + z - 5 = 0, 2*f - 2 = 2*z - t*z for f.
1
Let b be 2/3 + 2/6. Solve 0 = -4*h + 4*w - w - b, 3*h - 5*w = 2 for h.
-1
Let u = -142 - -146. Solve -m - 3*p - 18 = 2*m, u*m - 2*p = -18 for m.
-5
Suppose -27 = -4*y + 5. Suppose 6*o - 24 = 3*o. Suppose -j + 0*j + o = 4*l, 0 = l - 5*j - 2. Solve -9 = -2*c - s, 3*c + 5*s - y = l for c.
5
Suppose -3*a = -2*p + 6*p + 15, -2*p - 5*a - 25 = 0. Suppose -8 = -4*r - p. Solve -r*n + 30 = 5*v, -7*v + 5*n = -3*v + 9 for v.
4
Let n(q) = 3*q**2 - 8*q - 3. Let j(y) = -y**2 + y. Let c(o) = 4*j(o) + n(o). Let d be c(-4). Let v be -2 + 5 + d + 2. Solve r + x - v = 0, 5*x - 2*x = 0 for r.
2
Let u(h) = 2*h - 11. Let p be u(7). Suppose -p*i = 2*i. Solve -t + 2*w + 1 = i, 3*w - 22 = -4*t + 2*w for t.
5
Let a(t) = t - 9. Let u be a(11). Suppose -u*q = q. Solve 0 = -0*r + 2*r + 2*x - 2, q = -2*r - x - 1 for r.
-2
Let i(p) = -p**3 - 9*p**2 + 10*p + 3. Let c be i(-10). Solve -c*l + 2*y - 7 = 0, -2*y + 4*y + 5 = -l for l.
-3
Let u be (42/15)/(2/10). Suppose 6*j - 3*j + 4*h = 7, -2*j + 4 = 3*h. Suppose -f = -j*f. Solve 2*b - 3*a - 9 = -f*b, 3*b + a = -u for b.
-3
Suppose -45 = -3*g - 0*g. Let l(z) = -z**2 + 7*z + 5. Let w be l(6). Let f = g - w. Solve 3*o + 8 = -2*s + 3, 0 = -f*s + 5*o - 21 for s.
-4
Let c be 1 - 8 - 330/(-30). Let b = -2 - -18. Solve 2*n + i - 12 = -3*i, c*n - 2*i = -b for n.
-2
Let z = 5 + 0. Suppose -z*a + a = -16. Let x = -2 - -7. Solve -4*m = 3*u + 16, -a - x = 5*m + u for m.
-1
Let p be 4 - (40 + -4)/4. Let l(j) = -j - 6. Let q(r) = 1. Let m(u) = l(u) + 5*q(u). Let t be m(p). Solve 5*d + x + 10 = 0, -d - 6*x + t*x - 2 = 0 for d.
-2
Let g(b) = 4*b**2 - 19*b - 3. Let s be g(5). Solve -2 = s*t + 6, 4*t = 2*q - 10 for q.
-3
Let m = -1 - -1. Suppose m = -5*f - 9 + 34. Suppose -f - 1 = -2*q. Solve 25 = -5*c - l, 3*c + 0 = q*l + 3 for c.
-4
Suppose -4*q + 18 = 2*q. Solve f - 2*f + 4*t + 1 = 0, 2*t + 3 = q*f for f.
1
Let d(x) = -x**2 - 15*x - 31. Let g be d(-12). Solve 0 = 3*v + 4*f - 25, -3*v + f + g = -0 for v.
3
Suppose -5*o - 11 = i, 3 = -3*o + 2*o. Solve x - 4*w = -15 + 34, 0 = x + i*w + 13 for x.
3
Let m(g) = g**2 - g - 3. Let z be m(3). Let u be -1 + -1 + 1*6. Suppose -z*n - p - u = 0, n + 3*n + 16 = -4*p. Solve n = 2*y + l - 4 - 3, -3*l + 9 = 2*y for y.
3
Suppose -8 = -z + 2*v + 6, -4*z + 38 = v. Let y = 40 - z. Let s be ((-48)/y)/((-2)/5). Solve -2*k = s*t, -6*k + k = 2*t - 8 for t.
-1
Let w(f) = -f - 2. Let u be w(-5). Solve 4*l - 4*y + 12 = 0, -4*y + u = l - 3*y for l.
0
Let q(b) = -b**3 - 16*b**2 - 20*b - 72. Let z be q(-15). Suppose -2 = a - 2*a. Suppose a*k = 5*k - 12. Solve 2*g + z*y = -8, -k*g + 4*y - 16 = -y for g.
-4
Let v = -8 + 22. Let a be 1 - ((-1 - -1) + v). Let p = a - -21. Solve o = -3*d + 16, -o + d - p = -2*d for o.
4
Suppose -8*i + 14*i - 12 = 0. Solve -4*g + m + 16 = -2*m, -4*g - 4 = i*m for g.
1
Let f(j) = -j - 4. Let t = 10 - 18. Let i be f(t). Solve -i*z = -3*s - 5, 0*z - 4*z - s = -25 for z.
5
Let d = -10 - -14. Suppose -d*o + 20 = o. Solve -5*n + 45 = 4*p, -o*p = -p - 3*n for p.
5
Suppose b - 9 = -4. Suppose 2*l - 14 = -4*v, 3*l = 4*l - b. Suppose 4 + 10 = 4*z - 2*g, -2*z = 5*g - 37. Solve i = 4*m + z, 2 = -m + v for i.
2
Suppose 0 = -2*h - r + 18, -2*r + 3 + 5 = 0. Suppose -2*q + 3*t = -25, -q - 3 = 3*t + h. Suppose m = -m + 4. Solve 0 = -2*j - j, q*j - m = -s for s.
2
Suppose -4 = -2*p, g - 5*p + 18 = 3*g. Solve -5*n = -g*z - 7, 11 = -2*z - 4*n - n for z.
-3
Let j = 9 - 5. Solve 0 = y + 5*h + 7, 3 = -j*y - 0*y + 5*h for y.
-2
Suppose -5*y = -5*p, -4*y - 2 + 12 = p. Solve 4*d - 1 = 3*s - y, 17 = 3*s + 4*d for s.
3
Let o(w) = w**3 - 6*w**2 - 6*w - 3. Let i be o(7). Solve 4*r + 2*q - 22 = 0, 5*r - 17 - 15 = -i*q for r.
4
Let a(v) = -15*v - 10. Let x be a(-1). Solve q = -3*i + 9, -i + x*q = -0*i - 19 for i.
4
Let q be (-7)/5 + (-10)/(-25). Let d(h) = -2*h**3 + h**2 + h. Let s be d(q). Suppose -4 = -s*r + 6. Solve v = 5*t - 2 - 5, t - 11 = r*v for v.
-2
Let d = -5 + 7. Solve 0 = 2*q + l - 3, q + d*l = -l - 11 for q.
4
Let p be (-1 + 3)*(1 + 0). Let k(z) = -4*z**2 + z**2 + 2 + 2*z**p - 7*z. Let g be k(-6). Solve -3*f + 40 = 4*q + g, 4*f + 2*q = 26 for f.
4
Let a(i) = -i + 1. Let o(x) = -x**2 + 4*x + 1. Let z be o(5). Let w be a(z). Let s be (-2 + 1)*1 - -1. Solve 4*u - 5*k - 32 = s, w*u - k - 7 = -3*k for u.
3
Suppose y = 2*p + 12, p = -y - 1 - 2. Solve -y*a = 5*z - 24, 4*a + 0*a = -4*z + 24 for a.
2
Let t = 63 - 58. Solve d + t*b = 24, 0*d + d = 4*b - 12 for d.
4
Let q(a) = 2*a**3 + a**2 + a - 1. Let p be q(1). Let v be (-20)/(-3) + p/9. Solve -g = -3, -3*l + 2*g = -v*l - 6 for l.
-3
Suppose -2*z + 5*d = 3*z - 40, 4*z = -d + 37. Let i = z - 6. Solve 3*y - 8 - 13 = -3*a, -29 = -5*y - i*a for y.
4
Let h(g) = 3*g**2 - 2*g - 1. Let v be h(7). Let i be 1/(-5) - v/(-60). Solve -y = -i*c + c - 2, 0 = -3*y + 5*c for y.
5
Suppose -36*h = -11*h - 100. Let f(j) = j**3 - j - 2. Let a be f(2). Solve 2*u + a*p = 2, 0 = h*p + 4 for u.
3
Suppose 15 - 103 = -8*f. Solve -5*o + f = a, 0 = 5*a + 5*o + 7 - 2 for a.
-4
Let k = 22 + -18. Suppose -20 = -k*v - 4. Solve -3*s + 3*w = 27, -v*s - 3*w + 3 = 11 for s.
-5
Let v(y) = -y + 15. Let g be v(10). Let c be 23*((-1)/(-1) - 2). Let m = 14 - c. Solve 2*k + 28 = -5*t, 3*t + g*k = 5 - m for t.
-4
Let n = -89 - -91. Solve -3*v = 2*s + 15, -3*v = 3*s - n*v + 5 for s.
0
Let o be 2 + 5/(-2) + 135/30. Solve -5*g - w + 10 = 0, -3*g - 1 + 7 = -o*w for g.
2
Let d = -13 - -18. Solve 0 = -5*r - 2*v + 22, -2*r - v + 4*v = -d for r.
4
Suppose k + 6 = 4*k. Suppose j + k*x - x - 3 = 0, 4*j + 5*x - 8 = 0. Suppose -3*m + 19 = u, j*u - 2*u - m - 15 = 0. Solve z = -4*v - 2 + 7, u*z - 4 = 0 for v.
1
Let p = -30 - -33. Solve -2*l + 25 = -3*l - 5*g, 3*l - 3*g + p = 0 for l.
-5
Let s = 22 + -20. Solve 0 = -8*l + 3*l - p - 1, 0 = -2*l - 2*p - s for l.
0
Let b be (-45)/(-10)*(-12)/(-9). Solve -m - 2*m + 12 = -4*r, -2*r - b = 0 for m.
0
Suppose -7*r + 1 + 174 = 0. Solve -3*d + 4*k + r = -2*d, -d + k + 10 = 0 for d.
5
Suppose -j - 1 = -4. Solve 2*c + j*y = -y - 12, -3*c - 8 = -4*y for c.
-4
Let m be 2 - 7*(0 - -1). Let u(q) = 7*q**2. Let i be u(-2). Let l = i + m. Solve s - l = -5*v, 3 - 2 = 4*v - 5*s for v.
4
Let z = -20 + 21. Let i be (-4 - (-3)/z) + 1. Let v be (1*-7)/(3/(-6)). Solve -l + p - 2 = i, l = 5*l - p + v for l.
-4
Let w(i) = -i**2 + 5*i - 1. Let s be w(3). Solve 0 = -s*r + 3*h - 6, 0*r - 6 = 2*r - 3*h for r.
0
Let d = -170 + 292. Suppose 0 = -3*h - 35 + d. Suppose -76 = -4*z + 4*q, -3*z - 5*q = -36 - h. Solve 5*p = -5*i + 2*i + 26, 4*p + 2*i = z for p.
4
Let t be ((-84)/(-48))/((-1)/4). Let c be (-2)/t + 4/(-14). Solve c = 5*f - 4*n - 4, 3 = -5*f - 3*n - 0*n for f.
0
Let p(a) = a**3 - 4*a**2 + 2*a + 1. Let c be p(2). Let v = 16 + c. Let y = -10 - -10. Solve 4*u = s + 5 - v, 5*u - 2*s + 10 = y for u.
-2
Let g(m) = -m**3 + 5*m**2 - 2*m - 4. Let d be g(4). Suppose 4*t = -8 - 8. Let a be t/14 - 186/(-14). Solve -d*f + f = 5*r - a, -3*f = -3*r + 27 for r.
5
Let c(g) = 2*g + 12. Let a be c(-6). Let q = 41 - 7. Suppose 5*w + 0*u - 32 = -2*u, q = 5*w + 4*u. Solve a*p - 2*p + w = 5*r, -4*r - 4*p = 0 for r.
2
Suppose 18 = 4*j + 6. Solve 0 = -3*p + 5*f + 15, j*p - f = 10 + 5 for p.
5
Suppose -12 + 32 = 5*t. Solve -5*w + 25 = 5*i, 2*w = -4*i + t*w - 4 for i.
1
Suppose 3*y - 8 = -2. Solve -2*i - y*i = 5*w - 26, -3*w + 22 = 4*i for w.
2
Suppose -5*s + 10 = 0, 22 = 4*k + 5*s - 0*s. Solve -24 = -3*z + 4*m, 19 = -2*z + k*z - 5*m for z.
4
Suppose -n + 2*y - 6 = n, 12 = 3*y. Solve 3*v - u = -2 + n, 0 = 4*v - u + 2 for v.
-1
Let o be (-12)/8 + (-2)/(-4). Let a = o + 4. Suppose -u = g + 2*u + 3, a*g - 7 = -u. Solve g*p - 4*q = -23, 0 = -2*p - 0*q - q - 8 for p.
-5
Let d = -40 + 53. Solve -2*x - 2*x - d = -v, 4*v = -4*x - 8 for x.
-3
Let k(a) be the first derivative of -7/3*a**3 - 4*a**2 + 1/4*a**4 - 1 + 5*a. Let b be k(8). Solve -5 = b*q, 4*m - 17 = 3*q - 2 for m.
3
Let i be -13 - -2 - (-2)/1. Let c(x) = -4*x - 1. Let q be c(2). Let k = q - i. Solve 4 = 3*a + 4*o, a + 2*o + 2*o - 12 = k for a.
-4
Suppos