 0 = y*d - 5*m + 18, -5*d + 6*m - 11 = 2*m for d.
1
Let v(o) = o**3 - 5*o**2 + 3. Let t be v(5). Solve t*f + r + 13 = -2*f, 0 = -4*f - 5*r - 23 for f.
-2
Let o = -78 + 81. Solve 5 = -5*v + 5*y, 3*v - o = 5*y + 2 for v.
-5
Suppose 4*z = 7*z + 3. Let o(n) = 7*n**2. Let x be o(z). Solve -5*l - 5*b = 30, x = -5*l - b - 7 for l.
-2
Let w = -20 + 31. Let f be 0/((-8 - -3) + 3). Suppose -5*t + 2 = -t + 2*k, -5*t - 2*k + 4 = f. Solve t*a = 3*x + w, -a = -2*a - 4*x for a.
4
Let j be (12/8)/(3/6). Solve 6*x - j*x + 6 = 3*f, 4*f = 3*x + 6 for f.
0
Let f(q) = -q**2 - 5*q + 1. Let u be f(-4). Suppose 0 = 3*z - u*z + 8. Solve 3*b - 14 = b - z*k, 3*k = -b + 11 for b.
-1
Suppose 2*w - 18 = -5*d, -3*w - 4*d + 4 + 16 = 0. Suppose 5 = v + w*v. Suppose 5 = 3*i - v. Solve 2*k = 4*g - 14, 0 = -0*g - g + i*k + 11 for g.
1
Suppose 185 = 14*i - 123. Solve -2*f - 3*c = f + 9, -c = -4*f - i for f.
-5
Let w(z) = z**2 - 8*z + 10. Let v be w(7). Suppose 1 = n - 1. Suppose n*q + v*q = 15. Solve f = 3, 4*f = 5*x - 1 + q for x.
2
Let o(t) = t**2 + 4*t + 7. Let b be o(-4). Solve -3*d + 5 = -4*w, -w - d = d - b for w.
1
Suppose g + g - 5*z = 2, g = -4*z + 27. Let m be (-4)/22 + 24/g. Solve -m*a - 3*d = 1 + 3, 4*a + 3*d = -8 for a.
-2
Suppose 2*q + 9 + 1 = -2*d, 3*q + 4*d = -11. Let x be 2/((6/(-2))/q). Let u = x + -4. Solve 15 = g + 4*i, -2*g - u = 3*i - 7 for g.
-5
Suppose 2*u = 5*m - 23, 5*u - 20 = -3*m - 0*u. Solve 2*k - 3*x = 4 + m, 4*x = k - 17 for k.
-3
Let h be 1 + 0 + 4 + -3. Suppose -h*n = -n - 20. Suppose -2*v + 25 = 2*v - 5*b, n = 3*v - 5*b. Solve 5*t = -2*s + 5, -3*s - 5 = -v*t - 6*s for t.
1
Suppose -5 = -5*p + 5. Solve 7 = -3*f + l, 4*f - p = 5*l - 4 for f.
-3
Suppose 3 + 3 = 3*n. Let v be 32/(-20) + n/(-5). Let g be 2*-2*v/4. Solve 2*l - l = -2*y + g, 4*y = 4 for l.
0
Suppose t - 17 = -4*z, t - 2*z + 3 = 2. Let s(f) = f - 9. Let c be s(10). Let l = c + t. Solve 3*h = u, 0 = -u - 5*h + 2 + l for u.
3
Let y be (1 - -5)*84/24. Solve 2*m + 2*g = 2, y = -4*m + 2*g - g for m.
-4
Let i(b) be the second derivative of 29*b**5/20 + b**4/6 - b**3/6 - 4*b. Let w be i(1). Solve 4*d = -d + 5*l + w, -d - 3*l - 14 = 0 for d.
1
Suppose -3*p - 16 = -5*r, -4*r - 7*p + 35 = -2*p. Solve -y + 10 = -r*y - w, -3*w + 15 = -3*y for y.
-3
Let o = 29 - 18. Let z = o - 6. Let n = 5 - z. Solve 3*b + 4*r - 19 = n, 15 = 2*b + 5*r - 7 for b.
1
Suppose -3*g - 3 + 9 = 0. Solve -4*b = -5*p + 5, 5*b - 11 = -g*p + 24 for p.
5
Suppose 0 = 3*m - 5 - 10, -m = -4*s - 29. Let h be s*(-2)/(12/3). Let t(p) = -p**2 + 7*p - 5. Let v be t(4). Solve h*f = 4*w + 11, -3 = -4*f + 3*w + v for f.
1
Let r(m) = m**3 + 12*m**2 + 12*m + 15. Let q be r(-11). Solve -4*k - 2*w = 8, -w - 3*w - q = 4*k for k.
-3
Let q(a) = -a**3 - 10*a**2 - 9*a + 9. Let g be q(-9). Let u = 12 - g. Solve -4*b - 12 + 3 = u*w, 5*b + 20 = 5*w for b.
-3
Let u be (-25)/(-9) + (-2)/(-9). Let n = u - -2. Solve x + 2*r - n = 0, -3*r - 6 + 3 = -2*x for x.
3
Let b(g) = g**3 - g**2 + g - 1. Let c be b(1). Suppose 7 - 10 = -u. Solve -2*w - u*p = -1, p + c = 3 for w.
-4
Let l(z) = -z**3 + 5*z**2 + 7*z - 4. Let i be l(6). Suppose v - 3*v + m + 7 = 0, -5*m + 40 = 5*v. Solve v*u + 15 = 0, -i*c + 2*u - 3 = 1 for c.
-5
Let v = 105 + -102. Let c be -1*3/(6/(-10)). Suppose -3*p - 1 - 2 = -t, -5*p + c*t - 15 = 0. Solve p = l + 2, -2*f = -7*f - l + v for f.
1
Let g be (-2)/10 - (-18)/15. Solve -l = z - g, 0*z - z - 11 = -5*l for l.
2
Let o = 22 - 20. Solve -h + o*a + 1 = 0, 3*h - 2*a - 3 = -0 for h.
1
Let d be 8/(-28)*14/(-4). Let f be 2/2 - (2 - d). Solve f = 5*t + 15, 5*t - 2*t = -2*k - 13 for k.
-2
Let c be (-4 - -2) + (4 - 2). Let v = 0 - c. Solve v = -k + 4, 0*w - 4*w = 3*k - 4 for w.
-2
Let x(a) = -a - 1. Let c be x(-4). Solve 2*g = -5*b - 11, -b + 0*g = -c*g - 8 for b.
-1
Let t(b) = -b**2 - 9*b + 14. Let x be t(-10). Solve -w + x - 21 = -5*k, -k + 1 = -w for k.
4
Suppose 5*h - t = -0*t + 20, -2*t = 4*h - 30. Solve -4*m - 5*d = 6, h*d + 0 = 4*m + 26 for m.
-4
Suppose 5*u - 6 = 3*u. Suppose -3*o - 3*o + 18 = 0. Solve -22 = o*s - 2*g, u*s + 32 = 3*g + g for s.
-4
Let f = 141 + -137. Solve 0 = 3*i + i - 3*b + f, 28 = -5*i - 2*b for i.
-4
Let p(f) = -f**3 - 2*f**2 + 3*f. Suppose 8 = 4*r + 20. Let a be p(r). Solve -3*q - 2*z - 9 = a, q + 2*z + 1 = -2 for q.
-3
Let y(h) = 4*h**2 - 2*h + 1. Let l be 4/2*(-2 + 3). Let n be y(l). Solve -2*b + 4*r = 6, -13 - n = -2*b - 4*r for b.
5
Let o(p) = -p**3 - 7*p**2 - 6*p + 3. Let v be o(-6). Let k = 1 + v. Suppose -8 = -18*t + 136. Solve k*h + r - 2 = h, -2*h + 4*r = t for h.
0
Suppose -3*u = -0*u - 4*i - 12, 3*u = -3*i + 12. Let v(s) = 4*s + s + 4 - u*s. Let o be v(-2). Solve o*r - 8 = m + 3*r, 12 = -3*r for m.
-4
Let k be (-10)/(-4)*(-30)/(-25). Solve k*c - 11 = 4*v, c + 3*v + 7 = 3*c for c.
5
Let c(h) = h + 4. Let m be c(4). Suppose 8*w - 8 = u + 3*w, 2*u - 16 = 2*w. Suppose 0 = 3*i - 6*i + u. Solve 15 = d + 4*j, -m*d + i*d = j for d.
-1
Let d be (-28)/6*30/(-7). Let m = -17 + d. Solve 17 = 5*j - 0*p + m*p, 4*p - 16 = -5*j for j.
4
Suppose 0*r = -5*r - 475. Let q be (0 - 1)/(2/8*-4). Let t be q/4 - r/20. Solve t*w - 6*k + 4*k = 1, -3*k + 9 = 3*w for w.
1
Suppose 4*l = 10 + 2. Let h(d) = d**3 + d**2 + 10. Let a be h(0). Let x be (1/(-2))/((-1)/a). Solve -l*j + 0*t + t = x, 5*t = 3*j + 1 for j.
-2
Let s be 15/6 - (-1)/2. Suppose 2 = -k, -18 + 0 = -2*f + 2*k. Let c = -1 - -4. Solve -c*u - t = 2*t + s, 4*u = -5*t - f for u.
2
Suppose -3*s + 0*s = 5*c - 25, 3*c + 43 = 4*s. Solve -5*o - f + 1 + s = 0, -o - 4*f + 6 = 0 for o.
2
Let u be (-3 - 3)/(0 - 2). Let m = -6 - -7. Suppose -5*o + m = t - 9, 4*o = -2*t + 14. Solve t*p = 4*j - 10, u*p + 6 = -0*j + j for j.
0
Let s = -10 + 29. Suppose 4 = -3*n + s. Suppose -2*m + n*r + 10 = -5, 4*r - 34 = -3*m. Solve -h - 4*b = 20 - 7, 0 = 5*b + m for h.
-5
Let x = 161 - 154. Solve -x = -3*n - q, -4 = 2*n + 3*q + 3 for n.
4
Let r be -1*(3 + -2)/1. Let o be (-1)/((-2)/(-4)*r). Let v(y) = 2*y - 1. Let c be v(o). Solve -4*h - 15 = -x, -c = -2*h - h - 4*x for h.
-3
Suppose j = -6 + 11. Suppose -84 + 29 = -5*c. Solve 4*f - 2*f - c = -3*q, -q + j*f = 2 for q.
3
Let n(g) = -2*g - 4. Let c be n(-2). Solve 4 = 2*r - 3*j + 5*j, -4*r + 5*j - 28 = c for r.
-2
Let k be -3 + 4 + (-23 - -2). Let z = -16 - k. Solve -4*h - l = -13, -3*h + z*h - 3*l + 13 = 0 for h.
2
Suppose 8 = i - 4*c, 3*i + 0*i = 3*c + 15. Solve -2*o - i*q - q - 22 = 0, 2*q = -3*o - 11 for o.
-1
Let u = -2 - -1. Let o be -1*0*(-1)/u. Suppose 2*n - 6 = 2*g, -4*n = -0*n - g - 15. Solve -c + 3*y = -10, -20 = n*y - o*y for c.
-5
Suppose g = -g - 2, g = 5*q + 74. Let s = -15 + 10. Let c be ((-12)/q)/((-2)/s). Solve 5*o - 5*h + 25 = 0, -3*o + c*h - 8 = 3 for o.
-1
Suppose 9 + 3 = 4*y. Let r be 0 - (-7 - (1 - y)). Solve -g = -4*k - k + 5, -r = -g for k.
2
Let l = 22 - 18. Solve 0 = 5*v - r - 3 - 11, 4*r - l = 0 for v.
3
Let a(q) be the third derivative of -q**6/30 + q**5/60 + q**4/24 + q**2. Let f be a(-1). Solve 4*x + 12 = f*m, 1 = -2*m + 3 for x.
-2
Let g = 1 - -10. Solve 3*u - 4 = -p + 9, u + 2*p = g for u.
3
Let x = 50 - 48. Solve r = -r - 3*q + x, 5*q = -5*r for r.
-2
Let j be (-4 + -1)/(-2 + 1). Suppose 0 = -5*t - 0*t + 15. Suppose -t = -j*r + 22. Solve 4*s + 25 = r*w, -4*s + 22 - 2 = 4*w for w.
5
Let q = -102 + 212. Suppose 2*w + 3*w - q = 0. Solve 2*u + w = 4*g - g, -g - 2*u = 6 for g.
4
Let q(j) be the first derivative of -j**4/4 + 2*j**3/3 + 2*j**2 + 3. Let f be q(3). Suppose f*l + 5 = 35. Solve 0 = -5*r - 4*z + z - l, -3*r = 3*z + 6 for r.
-2
Let a(b) be the third derivative of -b**4/24 - 7*b**3/6 + 3*b**2. Let i be a(-12). Suppose 0 = 2*p - 9 - i. Solve 0 = 5*n + 4*l + 3, -p = -5*n + l - 25 for n.
-3
Suppose 2*g + 3 = k, -5*k + 2*g = -13 - 10. Let y = -4 + 4. Suppose 4*z - 36 = -y*z. Solve -h - 5*i - 3 = 3, -k*h = 4*i + z for h.
-1
Suppose -4*g = -g - 9. Solve -g*t - 9 = 0, 3*f + 1 = -f + 5*t for f.
-4
Let m be (-110)/(-8) - (-7)/28. Suppose -2*x + l = -m, -4*x = -6*l + l - 40. Solve h - x*h - 22 = v, 0 = 2*v + 4 for h.
-5
Suppose -4*r + 6 = -10. Solve -9 = 3*z + r*d, -z - 3*d = 2*z + 6 for z.
1
Suppose 4*i - 3*s = 3, -1 = -4*i - 0*s + s. Suppose -2*r + 14 = 4*z, 4*r - z + 0*z - 10 = 0. Solve i*j - 11 = r*k - 2*j, 5*k - 2*j + 13 = 0 for k.
-1
Let c(t) = 3*t**2 - 3*t + 4. Let s be (4 - -1) + -1*2. Let u be c(s). Suppose -u = -5*m - 