 3*k = 12. Suppose 5*s = 7 + k. Solve -s*d + l + 7 = 2, 0 = -d - 3*l + 20 for d.
5
Let y(g) = g**2 + 2*g - 6. Let f be y(4). Solve q = -5*s - f, -q - q - 3*s = 15 for q.
-3
Let f = 3 - 1. Let o be (36/(-15))/(f/(-5)). Let z be o - -1 - (-3)/3. Solve -5*x - 13 = 2*t, z = t + t - 2*x for t.
1
Suppose -5*w - 2 + 4 = b, -4*w = -b + 2. Suppose -7*p + 2*p = -25. Solve w = d - p*l + 3, -3 = 4*d - 3*d + 4*l for d.
-3
Let o = 5 - 0. Suppose 0 = i + 3 - 8. Solve 4*a = -5*c - 30, -o*a - i*c + 7 - 42 = 0 for a.
-5
Let t be (30/8 + -3)/(2/8). Solve -t*z = 5*d - d + 10, 0 = 3*d - 3*z + 18 for d.
-4
Let c(y) = -y**2 + 2*y. Let g be c(2). Suppose -20 = -b - 4*b. Solve 0 = -s - g*t + b*t + 14, 2*t = 5*s - 16 for s.
2
Let o(m) = m**3 + 5*m**2 - 8*m + 3. Let z be o(-6). Solve 0 = 3*b + 2*v - z, 0 = -4*b + v + 17 + 3 for b.
5
Let x be 9/2 - (-1)/2. Solve -8*u - 4*y = -3*u - 6, 5 = x*u + 5*y for u.
2
Let f(u) = u**2 - 5*u - 4. Let t be f(6). Let s(b) = b**2 - 2*b**2 - 2 + 5*b + t*b. Let w be s(6). Solve -4*z - 4*c - 11 = -c, 0 = 4*z - 4*c + w for z.
-2
Let c(m) = m**2 + 10*m + 14. Let h be c(-9). Solve h*n + 0*k = k + 4, 0 = n - 4*k - 16 for n.
0
Suppose 0 = -4*x - 5*k + k - 4, 1 = -4*x - 3*k. Solve m - 5 = -x*a, 6*m + 35 = 5*a + m for a.
4
Suppose 5*n - 55 + 25 = 0. Solve 3*s + n = 3*l, 0 = 5*l - 17 + 2 for s.
1
Suppose -18 = 6*f + 6. Let l be (-18)/(-72) + (-15)/f. Solve -2*u - 12 = l*p, p - 5*p - 18 = 5*u for p.
-2
Suppose 3*t - 4*l + 32 = 0, -l = -3*t - 5*l - 16. Let q = 19 + t. Solve 2*x + 4*u - 6 = 0, -2*x = x - 4*u + q for x.
-1
Suppose -5*t + 10 = -d - 23, -2*t - 2*d + 6 = 0. Suppose -t*a + a = 3*z - 19, -z + 5 = a. Solve u - 3 = z*p + 1, u + 1 = -2*p for p.
-1
Suppose 2*k = -2*l + 36, l + 0*l = -5*k + 70. Solve 0 = -3*m - 17 + 5, z - 3*m - k = 0 for z.
1
Let l(s) = s + 15. Let p = -34 + 21. Let n be l(p). Solve -2*c + 8 = -5*i, i = -i + n*c - 8 for i.
0
Suppose 3*u + 2*u - 10 = 0. Let y(t) = -t. Let p be y(-3). Solve -x + 10 = -5*v, u*x - p*v = -3*x + 6 for x.
0
Suppose 0 = 3*h - 3*f - 75, -68 + 8 = -2*h + 4*f. Solve -5*u = -3*g + 32, 4*u = -0*g + g - h for g.
4
Suppose 5*m - 5 = -2*u, 5*u + m - 20 = 27. Suppose u = r - 0*r. Solve -t + j = 0, 4 = 2*t + 5*j - r for t.
2
Suppose 3*m = -4*i + 35, -5*i + m + 20 = -0*i. Let s be 32/2 - (2 - 0). Let x = 7 - 4. Solve x*f - j = f + 8, i*j + s = -3*f for f.
2
Let v(m) = m**2 + m - 2. Let p be v(-3). Suppose 3*w - p*y = -65, 3*y - y = -5*w - 65. Let j be (-30)/4*10/w. Solve -3*x = 2*d + j, -4*x - 8 = 4*d + 4 for x.
1
Let y = 78 - 19. Suppose -m + y - 18 = 0. Suppose -2*w + m = -7. Solve l = 2*u + 3, 5*l = 2*u - u + w for l.
5
Let o = 68 - 63. Solve -3*v - 2*c = -13, o*v + 2*c + c = 21 for v.
3
Let m = -26 - -30. Solve -4*r - t = 3*t, -10 = -m*r + t for r.
2
Suppose 3*l - 45 + 3 = 0. Solve -2*y - 21 = 3*z + y, 2*z = 5*y + l for z.
-3
Suppose -3*y = -5*y + 30. Solve -a + 4*a + 3*w + y = 0, -10 = 2*a - 2*w for a.
-5
Suppose -6*m + 69 = -m + 2*g, 4*m - 60 = -4*g. Let a = -1 + 6. Suppose a*v = -q + m, 2*v + 3*v = 2*q + 19. Solve -5*s - 12 = v*c + 4, 2*c = 4*s + 26 for s.
-5
Suppose r - 15 = -2*r. Let f be 5 - (-2)/(-2*1). Suppose 17 = k - 3*k + 5*p, 2*k + f*p = 28. Solve -5*d - 25 = 5*i, -3*d + 14 = -r*d - k*i for d.
-3
Let m = -7 - -11. Let x = 229 - 77. Suppose 0 = m*b - x + 56. Solve -b = 4*o + 3*l, -2*o - o + 3 = -3*l for o.
-3
Let r(c) be the third derivative of -c**4/24 + 29*c**3/6 - c**2. Let f be r(0). Suppose -a + 5*n = a - f, 0 = -n - 5. Solve -15 = -5*b, -k + b = -a*k + 3 for k.
0
Let p(n) = -n**3 - 10*n**2 - n - 5. Let b be p(-10). Solve -2*h = b*l + 3*h + 15, 5*l - 2*h = -22 for l.
-4
Let m(n) = -n - 6. Let b be m(-8). Solve -5*f + v = -25, 3*f + b*f = 3*v + 35 for f.
4
Suppose -5 = -3*o + 1. Solve 9 = -4*s + 1, o*b = -3*s for b.
3
Let b be (-16)/(-9) + 10/45. Suppose b - 6 = o. Let q = -1 - o. Solve 10 = 5*z - 2*w, q*w = -z + w + 2 for z.
2
Let q be 4/(-18) + (-873)/81. Let v be 16/(-4) - 2*q. Solve 0*o + 3*w - 10 = 2*o, -5*o + 4*w = v for o.
-2
Let t(k) = k**3 + 5*k**2 + 3*k + 1. Let s be t(-4). Solve -15 = -i - 2*m + 5*m, 5*i + 25 = -s*m for i.
0
Let r be 3 + 3/(3/(-5)) + 6. Solve -4*a = 4*s - 12 - 16, r*a - 4*s = 12 for a.
5
Let j(r) = r**2 + 1 + 0 + 9*r + 3 + 0*r**2. Let h be j(-9). Solve -8*z = -h*z - 2*t + 16, -5*t + 25 = -5*z for z.
-3
Let x be (-60)/5*(-3)/9. Solve 2 = -2*c + y, -y - x + 0 = 4*c for c.
-1
Let j(p) be the first derivative of p**4/4 + 2*p**3/3 - p**2 + p + 5. Let l be j(1). Solve -4*y - x = l*x + 11, x = -5*y for y.
1
Let i(q) = 4*q. Suppose -2*b - 4 = -6. Suppose -4*x + 3 + b = 0. Let l be i(x). Solve -l*k + 27 = -3*k - 5*p, k - p - 7 = 0 for k.
2
Suppose -10*x + 4*x + 18 = 0. Let q = 5 + -2. Solve q = o + a, a + 0 = x for o.
0
Let x(j) = 6*j. Let q = 2 - 1. Let t = 1 + q. Let o be x(t). Solve z + 5 = 5*d - o, 0 = -5*d - z + 23 for d.
4
Let h be 3 - (-2)/(0 - 2). Suppose 0 = -4*q - 5*l + 3, -h*l = -1 + 3. Solve 5*w - 5*j = 4*w + 11, q = w - 2*j for w.
-4
Let p be 3 + (-1)/(2/(-56)). Suppose 2*u - p = y + 4*y, u - 3*y - 18 = 0. Solve -f = 2*i + 3 - 2, -2*i = -u*f - 19 for f.
-5
Let k = -10 + 12. Solve -o + 6*i - 2*i = 3, -5*i + 3 = -k*o for o.
1
Let w = 33 + -47. Let h be (-40)/w - (-13)/91. Solve -4*q = -16, -h*q = -3*d + 4*d - 10 for d.
-2
Let m be 1 - -19*(2 - 1). Suppose -7*u = -3*u - m. Let t(p) = p**3 - 5*p**2 + 3*p + 1. Let d be t(u). Solve -4*g - 4*z - d = -2*g, 12 = -2*g - 2*z for g.
-4
Let v = -18 + 25. Let y = -5 + v. Solve 4 - 20 = -5*j + 4*z, 3*j = -y*z + 14 for j.
4
Suppose 8*q - 23 = -7. Let s = 18 - 12. Solve -c + 6*c = -q*v - 4, 0 = -3*c - s for v.
3
Let k(n) = n + 55. Let l = -3 + 3. Let u be k(l). Suppose -3*i + u = 2*i. Solve 0 = 4*v + 3*z + 20, i = 3*v - z + 26 for v.
-5
Let r be (-5)/20 - 702/(-24). Solve 4*w + 1 = 4*m + r, 5*m = -2*w for m.
-2
Let l = 10 - -8. Let r be l/(-15)*10/(-3). Suppose -2*p - 5*s + 28 = 0, 3*p = 2*p - r*s + 20. Solve p*w + 3*h + 3 = -2, 2*h + 7 = w for w.
1
Let p(a) = -3*a**2. Let h be p(-1). Let i be 4 - -1 - (0 - h). Solve i*v + 8 = -j, -4*j = 2*v + 7 + 1 for v.
-4
Suppose 16 = 5*b - 59. Solve -2*h - b = s, -4*h = -2*s + h + 15 for s.
-5
Let z be (0 - 2) + 4 + 2. Suppose -5 + 1 = 2*w, -z*w = -4*f + 28. Suppose -5*h + 105 = f. Solve h = 4*t + g, -3*t + 0 = -2*g - 4 for t.
4
Suppose -r + 3 = 14. Let a = -7 - r. Let s be 5/3 + 6/(-9). Solve -5*z + 4 = -s, -5*n + a*z - 24 = 0 for n.
-4
Let a = 4 + -15. Let o = a + 36. Solve -l + y + 11 = l, 5*l - 2*y = o for l.
3
Suppose 12*s - 5 = 19. Solve a + 3*j - 4 = 0, -5*a + s*j - 34 = -j for a.
-5
Let j(h) = -2 + 5*h**2 + 0 + 3 - 2 + h**3 + 4*h. Let o be j(-3). Let z be 2*3/(6/4). Solve o*v = -z*a - 21, -a + 0 = 2*v + 9 for v.
-5
Suppose 0 = 4*v + 2 - 6. Suppose -3*p - v - 5 = 4*s, 5*p - 19 = 3*s. Suppose 3*b = -4*m + 15, -2*b - b = -m - 15. Solve d - b = -2*c + p*d, -d = c + 2 for c.
1
Let u = 225 + -220. Let n = -2 - -4. Solve -3 = -n*z - o, z - u*o = -z - 3 for z.
1
Let c(v) = v + 9. Let t be c(-5). Solve 5*h + 5 = 5*d - 0, 0 = h - 4*d + t for h.
0
Let o(j) = 4*j + 18. Let f be o(0). Solve 2*c - 14 = 2*n + 5*c, 4*n + f = -c for n.
-4
Let k(t) = t**3 + 6*t**2 - 17*t - 4. Let f be k(-8). Solve -f*j = u + 7, -u - 3*j - 10 + 5 = 0 for u.
1
Let s(d) = d + 12. Let h be s(0). Suppose 4*b - i = 2*i - 4, -3*i = -3*b - 6. Suppose -p - 4 = -b*p. Solve -2*l = -5*r + r - 6, -h = p*r for l.
-3
Let x(q) = q**2 + 8*q + 10. Let b be x(-8). Solve 3*d + 1 = 5*o, b = 2*d - 5*d - 4*o for d.
-2
Let a be 6/(-8) + 12/16. Suppose a = -0*v + v. Suppose 0 = 2*l - v*m - 5*m - 10, 5*l + 4 = -2*m. Solve 5*i - 5*w + 51 - 6 = l, i + w = 1 for i.
-4
Let l(m) = m**2 + m - 2. Let k = 4 + -6. Let v be l(k). Suppose v*q = -q + 17. Solve -12 = -4*y - f - 3*f, -y = -4*f + q for y.
-1
Let o be 24 - -1 - (-13 + 15). Solve 6*v = 3*v - 2*p + o, -2*v + 4*p - 6 = 0 for v.
5
Let r = 11 - 8. Suppose 221 = 3*a - 28. Let k be 1/3 - a/(-3). Solve -r*q = 2*x + 2*q, 4*x = 4*q - k for x.
-5
Suppose -13*p + 9*p = -16. Solve -5*q - 4*r = 41, -2*q - 2*r - 22 + p = 0 for q.
-5
Let a = -6 + 10. Suppose -5*n = 15, a*v + 4*n + n = 105. Solve 5*j = x + v, 6*x + 5 = -4*j + x for j.
5
Suppose 0 = x - 5 + 3. Let m(k) = 4*k - 1. Let b be m(x). Solve y - 2*h = -10, -22 = 4*y + 5*h - b*h for y.
-4
Let y(x) = -x**2 + 13*x + 2. Let b be y(13). Suppose -11 =