 5 for k.
1
Let p(z) = -z**2 + 6*z + 7. Suppose 2*y = -2*q + 22, 3*q + 7 + 9 = 4*y. Let r be p(y). Solve 4*t = -r*t + 16 for t.
4
Let g(y) = y + 2. Let h(w) = w + 1. Let b(q) = 6*g(q) - 7*h(q). Let v be b(5). Suppose 0 = -d - 3*a - 9, v*a + a = 2*d - 10. Solve 4*u - u + d = 0 for u.
-1
Let k(w) = -w + 9. Let a be k(6). Suppose 1 = -a*s + 7. Suppose 0 = -2*o + 5*n - 10, -n + 5 - 3 = -2*o. Solve -s*f + 6 = -o for f.
3
Suppose 3*d + 2 = 3*k + 8, -k - 22 = -5*d. Solve -32 = k*w - 17 for w.
-5
Suppose 24 = 5*t - 4*s, -4*t + 12 = 4*s - 36. Suppose -2*p = -p + 3. Let y be (-4)/2 + (2 - p). Solve 0 = y*g - g + t for g.
-4
Suppose 0*p + 8 = -2*x + p, 2*x + p = -12. Let i(c) = -c**3 - 6*c**2 - 6*c + 1. Let m be i(x). Suppose 2730 = -11*l + 2752. Solve 5*h = l*h - m for h.
-2
Suppose -a + 3*a - 42 = 0. Let d = a + -16. Suppose -k - 5*z = -15, -d*k - 9 = -z - 2*z. Solve 2*u - 4*u + 4 = k for u.
2
Let i(x) = -8*x - 4. Let g be i(3). Let c be (-16)/(-7) - (-8)/g. Let d be ((-3)/3)/(c/(-4)). Solve -1 = d*s + 3 for s.
-2
Suppose -15 = -3*k + 6. Let j(z) = -2*z**2 + 16*z - 11. Let g be j(k). Solve 20 = -l - g*l for l.
-5
Let h = 230 - 224. Solve -h = -7*v + 15 for v.
3
Let f(q) = q**2 - 8*q + 8. Let g be f(8). Let v = g - 6. Solve 0 = -h - v - 3 for h.
-5
Let j(c) = -3*c**3 + 6*c**2 + 5*c - 1. Let d be j(-2). Solve -37 = 3*k - d for k.
0
Let i(s) = 3*s - 22. Let u be i(9). Suppose 0 = u*p + 5*x - 20, -p - 2*x + 1 = -7. Solve p*j - j = -4 for j.
4
Let f(l) be the second derivative of -l**4/12 + l**3 - 7*l**2/2 + 17*l. Let j be f(3). Solve -6 = 4*w - j for w.
-1
Let o = 7 + -6. Let w = 997 + -994. Solve -11 - o = -w*v for v.
4
Let h be -6*((-2)/4)/1. Suppose -2*j + 78 = 4*d, j - 2*d - 35 = -0*j. Suppose 2*s = 55 - j. Solve h + s = 3*t for t.
4
Suppose -2*i - 2*a = -16, 2*a - 35 = -4*i - 3*a. Solve -t = i*t for t.
0
Suppose 0 = -q + 3 - 0. Let t be ((-4)/6)/(8/12). Let f be 1 + -1 + -1 - t. Solve -q*x - x + 12 = f for x.
3
Let d be 7 + (-1 - 1 - 1). Solve -2*b - d*b = 6 for b.
-1
Let u(v) = -2*v - 30. Let d be u(-17). Suppose 0 = 2*h - 10 + d. Solve h*l - 10 = 5 for l.
5
Suppose -f - 4*f = -15. Suppose 0 = -f*a + 5 + 13. Suppose 14 = 5*n + 4. Solve a*w = n*w - 16 for w.
-4
Let c be ((-12)/(-3) + -3)*0. Suppose c = 5*n - 9 - 11. Solve 8 = n*y - 6*y for y.
-4
Let u = 581 + -576. Solve 0 = h + u - 2 for h.
-3
Suppose -2*k + 10 = -0. Let r be (0 - 5) + (-3)/(-4)*12. Solve r*n + k = -15 for n.
-5
Let z(s) = 3*s**2 - 5*s + 3. Let p = -132 - -133. Let x be z(p). Solve 3*c + x = -8 for c.
-3
Suppose 37*y - 32*y = 2*s + 17, s + 1 = 0. Solve 11*o - 8 = y*o for o.
1
Suppose -31*c = -5*a - 33*c + 21, -2*a - 4*c = -2. Solve 2*z - 5 = -a for z.
0
Let f(w) = w**3 - 18*w**2 - 19*w + 5. Let b be 22 + (-5)/((-15)/(-9)). Let g be f(b). Solve 30 = g*r + 10 for r.
4
Suppose 21*b - 15*b - 18 = 0. Solve 7*n - 20 = b*n for n.
5
Suppose -113 = 4*y + 11. Let c = y + 31. Let k(g) = 4*g**2 - 5*g + 4. Let d be k(3). Solve n - 6*n + d = c for n.
5
Let u(g) = g**3 + 12*g**2 + 11*g + 4. Let k be u(-11). Suppose 0 = -4*o - o - b + 13, 0 = 2*o + 5*b + k. Let a be 0/(o/(-6 + 3)). Solve 0 = -3*n - 9 - a for n.
-3
Suppose 0 = -w - 2*h, -w - 18*h - 12 = -13*h. Solve -12 = w*q - 5*q for q.
-4
Suppose -3*y - i = -16, 0 = 4*y + i + 4*i - 25. Solve y*s = 6*s - 1 for s.
1
Let n = -296 - -298. Solve -8*g + n = -10*g for g.
-1
Let c be -1 + ((-2)/1 - -3). Suppose 21 + 21 = 7*u. Solve -2*m + u*m = c for m.
0
Suppose -5*r + 199 = 5*j + 159, -3*j + 2 = r. Solve -22 = -r*k - 11 for k.
1
Suppose 3*u - 126 = -114. Suppose -26*h - 36 = -30*h. Suppose 3*c - 14 + 5 = 0. Solve -c - h = -u*m for m.
3
Let g be (-19 - -4)*(4/(-2))/10. Suppose 24 = 3*k + 3*y, -g*k - 5*y + 34 = -0*y. Solve -5*b + 2 = -k for b.
1
Let h = -80 - -125. Let z = -41 + h. Suppose 2*g = -2*n + 20, 0*g + 5*n = 5*g. Solve -z*k = -9*k + g for k.
1
Let f(c) = -7*c**2 + 4*c + 5. Let l be f(-1). Let n(r) = -r**3 - 7*r**2 - 5*r + 6. Let v be n(l). Solve 4*u + v - 8 = 0 for u.
2
Let h = -646 - -661. Solve 0*v + 5*v = -h for v.
-3
Let u be (-3)/(-3)*2*378/(-12). Let l be (-14)/133 - u/57. Solve m - 4 = -l for m.
3
Suppose 5*l + 3 + 2 = 0. Let c be (0 - l) + (-2 - -16). Suppose -9 - c = -3*j. Solve i + j = -i for i.
-4
Suppose 0 = -5*i - 4*q + 58, 4*i - 3*q + 4*q - 42 = 0. Solve -12*r = -7*r + i for r.
-2
Let m = -16 + 7. Let y(a) = 4*a + 1. Let x(q) = -17*q - 16. Let n(i) = -x(i) - 4*y(i). Let t be n(m). Solve 0 = t*v + v for v.
0
Suppose 5*l - 4*g = -40, -5*l = -g + 26 - 1. Let o be -4 - -3 - 1 - (l + -3). Solve w - o = -0*w for w.
5
Let q(f) = -f**2 + f + 1. Let j(p) = -p**3 - 6*p**2 + 16*p. Let y(k) = j(k) + 2*q(k). Let r be y(-10). Solve -5*l - 3 = r for l.
-5
Suppose 2 = 7*s - 9*s. Let b be (s - 1) + -2 + 12. Solve b = -0*l - 2*l for l.
-4
Let i = 179 + -269. Let q = -78 - i. Solve -q = 3*v + v for v.
-3
Let x(k) = -5*k + 271. Let w be x(30). Solve 119 = -h + w for h.
2
Let q = -31 + 39. Suppose -q = -4*t + 4. Let b = 31 - 13. Solve -3*y = -t + b for y.
-5
Let r be (3 + -2)/2*(-120)/(-12). Suppose r*m + t = 9 + 16, -4*m + 4*t + 44 = 0. Solve 0 = -n + m*n + 15 for n.
-3
Suppose -69*g + 70*g = -28. Let w(m) = -80*m. Let o be w(-1). Let a be 1/7 - o/g. Solve a*x = -0*x for x.
0
Let j be 0/(-3 + -1 - -3). Suppose 24 = 4*q + 4*z, -2*q + 2 = -3*z - j*z. Let g be -15*(-3)/(9/q). Solve 8*a - g = 3*a for a.
4
Let n(v) = -v**3 - 4*v**2 + 5*v + 2. Let y(o) = o. Let w be y(-5). Let u be n(w). Let j = -2 + u. Solve -6 = -j*x + 3*x for x.
-2
Let j(q) = -3*q**2 + 7*q + 7. Let b be j(3). Solve s = -4 + b for s.
-3
Let u = -15 + 23. Suppose u = 3*o - 4. Suppose 0 = -o*z + 5*q + 27, 5*q = 3*z - 0*q - 24. Solve -5*l = -z*l - 10 for l.
5
Suppose -182 + 59 = -3*j. Solve 3 = -j*n + 40*n for n.
-3
Let h be (-21)/(-7) - 1*-2. Let u be 3 + 4 + h + -1. Solve 2*o + 1 = u for o.
5
Suppose 22*m - 24 = 86. Solve -m*t + 12 = -8 for t.
4
Let v be (2/(-6))/((-2)/(-138)). Let g = 34 + v. Suppose g = 4*p + 3. Solve -p*r = -6*r - 4 for r.
-1
Suppose 5*g - 4*k - 56 = -51, -15 = -3*k. Solve -g*a - 63 = -73 for a.
2
Suppose 0 = 8*b - 7*b + 5*t - 21, 0 = -4*b + t. Solve 7*s - b = -15 for s.
-2
Let z(y) = y**3 + 4*y**2 - 9*y + 4. Let q be z(2). Solve -q*k = -12*k for k.
0
Let w = 18 - 14. Let v(k) = 2*k - 3. Let z be v(w). Suppose -2*q + z + 35 = 0. Solve -4*g = g - q for g.
4
Let q = -139 - -141. Solve q*d - 3 = 7 for d.
5
Suppose 3*x - 1 = 11. Suppose -3 = -3*f - 3*j + 6*j, -5 = -5*f - x*j. Solve -g - f + 3 = 0 for g.
2
Let g be ((1 + 2)/3)/((-12)/(-48)). Suppose -v = -g*v. Solve 0 = -4*w - v*w + 16 for w.
4
Suppose 0 = 9*h - 71*h + 4464. Suppose -4*d = -9*d + 10. Suppose -d*t - 5*r + 7 + 8 = 0, -5*t - r + h = 0. Solve -4*q + t = -9*q for q.
-3
Let y = -65 - -69. Suppose -d - y = -h, 0 = -2*d - 2*h + 5*h - 12. Solve d = -0*s + s + 3 for s.
-3
Suppose -2*x - 2*x + 8 = 4*k, k + 2*x + 3 = 0. Suppose 2*b - o - k + 2 = 0, 0 = 2*b + 4*o. Solve 5 = b*s - 1 for s.
3
Suppose 4*s + 7*h = 4*h - 3, 5*h + 31 = 2*s. Suppose -4*y + 24 = -s*w, 5*y + 6 = -5*w + 1. Solve -y*b = -0*b for b.
0
Suppose 342 + 18 = 18*t. Solve -t*x = -24*x for x.
0
Let w = -7 - -8. Let c = 1 + w. Solve 0*o = c*o for o.
0
Let x(u) be the second derivative of -1/12*u**4 + 0 + 13/6*u**3 + 3*u + 0*u**2. Let w be x(13). Solve w = 2*f - 0 - 6 for f.
3
Suppose -5*h - 5*z - 75 = 0, -5*z = -6*h + 3*h - 29. Suppose 0 = -16*a - 127 - 209. Let l = h - a. Solve 0 = -m + 3*m + l for m.
-4
Let p(i) = -2*i**2 - 8*i - 13. Let c be p(-4). Let g = c - -15. Solve r = g*r - 5 for r.
5
Let c = -122 - -175. Let k = c - 50. Solve 8*t - k*t = 15 for t.
3
Let l be 3 + (4/1 - (7 - 8)). Solve 12*u - l = 16*u for u.
-2
Suppose 12 = -96*k + 100*k. Solve -4*q + k = -q for q.
1
Suppose 5*v = -15, 2*v - 46 = 4*y + 4*v. Let a be -2 - (3 - (-3 - y)). Solve 7 = a*o + 17 for o.
-5
Suppose 0*m + 20 = 3*w + 4*m, 5*m - 6 = w. Suppose w*o - 2*o = 0. Let p(r) = -r - 6. Let c be p(-6). Solve o*x + 4*x = c for x.
0
Let c be ((-51)/(-17))/(-2 - -3). Solve 5*m + 3 = c for m.
0
Let l(p) = 3*p - 13. Suppose -2*w - 3*g = -22, g + 1 = 4*w - 3*w. Let v be l(w). Solve -s = v*s - 3 for s.
1
Suppose -2*m - 2*m = -t + 131, -3*m - 257 = -2*t. Let f = -115 + t. Solve -4*q = -8*q - f for q.
-3
Suppose 0 = -4*m + 12, 5*m = -2*n + 233. Solve -105*v = -n*v - 4 for v.
-1
Let v = 19 +