 28 = 2*p, 3*p + 8 = f*p - m for p.
4
Let h(c) = c**2 + 3*c - 26. Let a be h(-7). Solve o - 3*w = 4*o, a*o = w + 6 for o.
2
Suppose 2*k = -0 + 10. Suppose 3*l = -k*n + 267, 2*l - l = 3*n - 149. Let r be 0 - -2 - n/(-3). Solve -3*x = 2*f + 16, 3*x - 4*f = f + r for x.
-2
Let u(w) = w**2 + 4*w - 3. Let a = -4 - -8. Suppose -4*s + 4*j = 28, 2*s + 2 = -a*j - 0. Let r be u(s). Solve 0 = r*f + k - 13, 0 = -2*f - f + 5*k for f.
5
Suppose 78 = -0*l + 3*l. Solve 0 = -2*b - 3 - 5, 4*b + l = -5*y for y.
-2
Suppose -16*c + 18 = -10*c. Let y(n) = 2*n**2 + 8*n - 1. Let s be y(-6). Solve -4*x = 3*u - s, 2*u - c*x + 14 = u for u.
1
Suppose 5*n - 35 = 15. Let z(u) = -u + 13. Let r be z(n). Suppose 0 = -4*c + 3*a + 15, -4*c - 4*a = c - 11. Solve -8 = -4*v + 4*j, 2*j = c*v + r - 5 for v.
-2
Let w(d) = d**3 + 5*d**2 + 6*d. Let c be w(-2). Solve 2*m + c*m = 3*p - 2, 5*m - 13 = 3*p for p.
4
Let c be 34/8 - 10/40. Let y be (-231)/22*c/(-6). Solve -13 = -2*r - 3*a, -3*a + 2 + y = 0 for r.
2
Suppose -d + 10 = d. Let s(k) = k**3 + 26*k**2 - 54*k + 61. Let r be s(-28). Solve -d*g - 40 = r*q, -6*q + 5*g - 10 = -q for q.
-5
Let a be 5/1*(-5)/(-5). Solve -2*i = p + 5, -3*p + a = 2 for i.
-3
Suppose 4 = 5*u + 14, -4*n = u + 2. Solve -4*s - p = -2*s + 3, n = -5*s - 4*p - 3 for s.
-3
Suppose 18 = -2*i - 8. Let k = i - -7. Let r be -2 - 4/6*k. Solve g - 1 = r*g, 1 = -3*w - 4*g for w.
1
Let q(g) = -5*g + 138. Let w be q(27). Solve -7*x + z = -w*x + 10, -x + 4*z - 10 = 0 for x.
-2
Let f be (-9)/(9/2) - -4. Solve -a = 3*t + f*t, -3*a + 3*t = 0 for a.
0
Let g = -168 + 171. Solve 3*v + 18 = g*q - 6, 3*q = 2*v + 20 for q.
4
Let c(d) = -d**3 + d**2 + d + 1. Let j be c(-1). Suppose j*u + 41 + 18 = 3*n, -n + 13 = u. Solve n = -z - 4*w, z + 2*w + 0*w = -7 for z.
3
Suppose 24 - 7 = -f. Let u be 4 + 1 + -2 - f. Solve -2*k = 4*l - 30, k + u = 2*k + 3*l for k.
5
Suppose t + 12 - 15 = 0. Suppose -2*v = 3*r - 25, r = -3*v - 3 + 23. Suppose 0 = -x - r*w - 25, 0 = w + 5. Solve -t*f - 4*m = -2, -2*f + x*f = 2*m for f.
-2
Let b = 1 + -1. Suppose b*t - 2*t = 0. Solve -3*n + 3*g = 12, 3*n - g + 12 = -t for n.
-4
Let z be (-6)/((-15)/9 - -1). Let d = 11 - z. Solve 0 = -4*g - 5*f - 23, -d*f - 7 = 5*g - 3*f for g.
-2
Let a be (39/(-6))/(2/4). Let g = a + 16. Solve -5*i = -0*j + g*j - 6, -5*i + j - 2 = 0 for i.
0
Suppose 5*c + c - 66 = 0. Solve 3*g - 6 = 0, -z - 2*z - 4*g = -c for z.
1
Suppose 3*z = 5*a - 14, 2*a - 5*a + z + 10 = 0. Solve 8 = -2*y, -a*h - y = -3*y - 16 for h.
2
Let k be 3/(1 - (1 + 1)). Let l = k - -9. Solve 3*d + 2*o = 5*o + 12, 0 = -3*d - 3*o - l for d.
1
Suppose 4*x = s + x - 5, s + 2 = -4*x. Solve 14 = -3*q - s*o, -q + 8*o - 3*o + 1 = 0 for q.
-4
Let q(m) be the third derivative of m**5/60 - m**4/3 - m**3/2 + 2*m**2. Let r be q(9). Solve r = 3*x - 2*a, -2*a = -0*x + 2*x - 14 for x.
4
Let h(y) = y**2 - 11*y + 11. Let o be h(10). Let n = -3 + o. Let t be (n + 0)*(-33)/6. Solve -2*r = f + 9, 2*r + t = -3*f - 0*r for f.
-1
Let c(u) = -u**2 + 2*u + 5. Let v be c(3). Solve 5*h + 8 = -v, l = -2*h - 9 for l.
-5
Let n(s) be the first derivative of -s**4/4 + 4*s**3/3 - s**2/2 - 3*s - 2. Let t be n(3). Solve 2*k - t*u = 9 + 16, 0 = 3*u + 15 for k.
5
Let j = 13 - 11. Suppose -u + 18 = j*u. Solve -x = -5*x + 5*v - 27, -v = 3*x + u for x.
-3
Suppose 2*g + 0*r = r + 12, -12 = -5*g - 2*r. Solve 2*c - 4 - 4 = -2*f, -g*c + 1 = f for c.
-1
Let f be (-8)/3*3/(-2). Solve 4*q - f = 2*m, 2 = -2*m + 4*m - q for m.
2
Let c = -9 + 29. Suppose 0 = 5*q + v - 11 - 5, 5*q = 5*v + 10. Suppose 4*y + 5 - 10 = q*l, y + 3*l = 5. Solve 2*z - y = s, s - 6*s = 5*z - c for s.
2
Let z be (-2)/(-3) - (-129)/9. Suppose 25 = -5*t + 45. Solve -r - z = r + 5*u, 15 = -t*r - 5*u for r.
0
Let q be (-2 - (-5 - 0))/1. Let b = q + 6. Solve -4*l - z - 27 = -b, 2*l - 2 = 5*z for l.
-4
Let t = 9 + -5. Solve 11 - 56 = -5*n - t*y, 4*y - 10 = 2*n for n.
5
Let b be 8 - 4 - (-2)/2. Solve b*n = 3*x + 8, -1 = -x + n - 3 for x.
-1
Suppose -104 = -3*g - 4*a, -7*g + 115 = -2*g - 5*a. Suppose -4*y - 8 = -g. Solve -13 = -2*k - y*z, k + 14 = 5*k - 2*z for k.
4
Suppose 5*b = b - 2*g + 6, -9 = -b + g. Solve b*d + h + 4 = 0, h = 5*d + 3*h + 8 for d.
0
Suppose 5*b - 2*b = -12. Let v = 7 + b. Solve 10 = -5*n, v*n = z - 2*z - 1 for z.
5
Let w(q) = -2*q - 8. Let x be w(-4). Solve 3*m = 3*t - x*m - 15, 2*t = 5*m + 13 for t.
4
Suppose -2*c = -12 + 2. Suppose -c*r = -2*r - 33. Solve 5*y + 3*g = -r, 3*y + 3*g = -0*g - 3 for y.
-4
Suppose -p - 12 = -2*t, 3*t + 0*p - 18 = -p. Solve 4*h + 3 = -l, -5*h = t - 1 for l.
1
Suppose -2*w + 16 - 10 = 0. Solve -w*t + 31 = -4*i - 0*i, i = 4*t - 24 for t.
5
Suppose 0*o = 4*o - 220. Suppose 5*x - o = -5*n, 3*n + x - 8 = 25. Let j be (8/12)/((-3)/(-18)). Solve -2*g - z = -3, -g - j*z - n = -z for g.
4
Let j = -3 - -8. Suppose -2 = h, -4*t - 2*h = j - 1. Let i(d) = d**3 + 9*d**2 + 12*d - 11. Let z be i(-7). Solve 3*u = r + r - 1, z*r - 2*u - 4 = t for r.
2
Let g = 76 + -53. Let z be (-56)/(-49) + (-1)/7. Suppose -5*f + 16 = z. Solve -5*i + f*k - g = 0, 2*i + 0*i + 5*k = -3 for i.
-4
Let k be (-18)/(-8) - 5/20. Let i = k + 2. Solve -i*j = j - 15, -4*j = -4*f - 16 for f.
-1
Let z(u) = u**2 - 5*u + 4. Let j be z(4). Suppose -2*m - m + 18 = j. Let y be (-3 - 0)*(-120)/18. Solve -d - 4*a = -17, -d - a + y = -m*d for d.
-3
Suppose -4*a - 7 = 5*x, -4*a + 20 = -4*x - 0. Solve 3*v - 2*c - 10 = 0, -a*v + c + 4*c + 3 = 0 for v.
4
Suppose 2*g - 4*g + 8 = 0. Let u = 4 + 2. Suppose 2*v - u + 0 = 0. Solve g*y = -3*q + 5, -6*y + v*y = -2*q + 9 for q.
3
Let x = 56 + -51. Solve 4*l + z + 8 = 5*z, x*l - 25 = -2*z for l.
3
Let d be (-45)/(-20)*16/6. Solve d = 5*u + 5*n + 16, -n = -3*u + 14 for u.
3
Suppose -38 = -4*m - 38. Solve -4*r = 4*i - m*i + 16, 2*i + 17 = -5*r for i.
-1
Let d = 3 - 4. Let a = d - -1. Suppose 5*h + 3 = -3*f, 5*h - 3*f = f + 4. Solve -2*k + 2*t + 2 = -a*t, 4*k - 5*t - 4 = h for k.
1
Suppose 5*h + 30 = 3*h. Let i be h*2*(-1)/6. Solve -i*r = -q - q + 6, 0 = r + 5*q - 15 for r.
0
Let n be (-8)/(-14)*98/14. Suppose 2*k - n*k - 5*q - 20 = 0, 12 = 2*k - 3*q. Solve 0 = -2*z + 4*m + 8, k*z - 5*z - 2*m = 4 for z.
0
Let g be (-14)/(-5) + (-1)/(-5) - -5. Solve -x - g = -4*y, -3*x = -x + 3*y + 5 for x.
-4
Suppose 0*x - 5*f - 3 = -x, -x + 3*f + 3 = 0. Solve x*q + 5*j = q + 23, -q = -4*j + 8 for q.
4
Let c = 108 + -103. Solve v = -2*f - 3*v, c*f + 4*v = -6 for f.
-2
Let s(k) = k**2 + 5*k - 4. Let o be s(-6). Suppose 5 = -r + o*r. Let u(h) = -h**2 - h + 4. Let g be u(-2). Solve -g*m = r*z + 8, 2*m - z + 1 = 5 for m.
1
Let g be (-2)/(-9) + 2/(-9). Suppose g = -5*j + 13 + 7. Let t be 16/24 - 6/9. Solve 5*a - 10 = t, 0 = j*n - 0*a + a + 18 for n.
-5
Let i(c) = -2 + 6*c**2 - 2*c - c + c. Let f be 1 + 0 - (1 - 2). Let z be i(f). Solve 10 = 5*s + 3*b - z, 0 = 5*s - b - 24 for s.
5
Suppose 3*j = -5 + 14. Solve -3*m + 3*i + 1 - 4 = 0, -3*m - j = -2*i for m.
-1
Suppose u - 2 = 3. Solve -u*s = 2*a + 2, 3*a = -3*s - s + 4 for a.
4
Let f = -5 - -11. Let z(w) = w**2 - 3*w. Let d be z(4). Solve -2*a = -2*q - f, -5*q + 3*a = d*a - 15 for q.
2
Let v = -7 + 6. Let h be 9/2 - v/(-2). Solve 0 = -5*c - h*b - 5, 2*c - 25 - 6 = 5*b for c.
3
Let g be -3 + -2 - -19 - 3. Solve -5*b = -s + 17, b + g = -4*b - 2*s for b.
-3
Let f be 3 - (-6)/3 - 3. Suppose 2*c = -d - c + 7, 0 = 3*d + f*c - 14. Suppose b - r - 13 = -2*b, -b - 13 = 4*r. Solve 0 = -d*j + 8 + 8, -2*j = b*o - 14 for o.
2
Let l be ((-6)/(-15))/(-1)*-10. Solve l*h - 20 = 2*q, -2*h - 3*q = q for h.
4
Let y(s) = -s**3 + s - 1. Let r be y(-2). Solve -3*c - r*x = -24, -c + 5*x - 30 = -6*c for c.
3
Suppose 0 = -0*q + 5*q + 5. Let j be 0*q/6*-3. Suppose -10 = -j*u - u. Solve 4*k = -y + u, 0 = -3*k + 7 - 1 for y.
2
Suppose 3*q + 16 = 2*q - 5*j, -5*q = -5*j - 40. Solve 3*k + 1 = q*d - 6, 5*d - 2*k = 7 for d.
1
Suppose 5*r + 14 = -4*n, 2*r + n = -2*r - 9. Let q be (0 - 2/2)*r. Let g be (-8 + -11)*(0 + -1). Solve -3*z + q*k = -g, 4*z - 8*z + 3*k + 27 = 0 for z.
3
Suppose 0*s = 3*s + 6. Let c = -1 + s. Let d be 1 + c + 7*1. Solve j + 2*b = -14, -3*b + 5 = -d*j - 0 for j.
-4
Let m(k) = -k**3 + 4*k**2 + 3*k + 4. Let o be m(4). Let s be (5/2)/(8/o). Let w be (0 - 4/2)*-1. Solve -11 = -s*z - 4*i, 0*z - 2*z + 6 = w*i for z.
-1
Let y = 11 + -6. Let c be (-5)/(-25) + 24/y. Solve -2*n + 10 = -d, -n + 0*d = d - c for n.