or k.
5
Suppose 2 = 5*d - 3. Let g(n) = n**3 + n. Let v be g(d). Solve -r = 2*u + 13, -2*r + 8 = v*u + 26 for u.
-4
Let q(g) = g**3 - 6*g**2 + 7*g + 2. Let i be q(5). Let t = 17 - i. Suppose -t*d = -10*d + 15. Solve r = j + d, -4*r + 5 = 5*j + 2 for j.
-1
Let n(f) = f - 1. Let b be n(2). Suppose i = 3*q - 4, -9 = -3*q - i - b. Solve 5*g - 25 = 0, -q*g - 6 = 3*r - 5*g for r.
3
Let v(q) = q**2 + 5*q + 4. Let y be v(-5). Let k be (-1)/(3 + 30/(-9)). Solve k*r - y*j + 4 = 0, 5*r - 4*j = -1 - 11 for r.
-4
Let p(g) = g - 1. Suppose 2*y - 5*m + 14 = 0, 4*m + 0*m = y + 13. Let x be p(y). Solve -x*t + 3*t + n = 0, n + 15 = 2*t for t.
5
Let q be 1/((-7)/(-4)) + (-30)/(-70). Solve 5*m + 3*b = 18, m + 2 = 4*b + q for m.
3
Let x(l) = -2*l - 19. Let z be x(-11). Let w(i) = 3*i**2 - i - 2. Let c be w(2). Solve -3*m + c = 2*g - m, -16 = g - z*m for g.
-1
Let i(w) = -w**2 - 10*w - 9. Let l be i(-8). Suppose -3*f = -l*f. Let k = 8 - 8. Solve -h = k, q - 5*h + 3 = -f*h for q.
-3
Let x be (4/(-6))/((-2)/24). Suppose -5*o - x = -5*d + 7, 0 = -d + 5. Solve -4*z - 2 = -z - o*f, 3*z - 3 = 3*f for z.
-4
Let g = 18 + -14. Let k be (9/(-6))/((-2)/g). Solve -f + 3 = 2*y, y + k*f - 18 + 4 = 0 for y.
-1
Let x(m) = -m**3 + 10*m**2 + 13*m - 20. Let i be x(11). Solve -2*s - s = -i*k + 15, -k + 4*s = -15 for k.
3
Let m(k) = -k**2 - 9*k + 2. Let s be m(-9). Suppose 0 = s*c + 4, -5*n - 20 = -6*n + 5*c. Solve -4*z + n = -2*h, 4*z + 0*z = 4*h for h.
5
Suppose 0 = -5*p - 0*i + 2*i + 8, -4*p = 3*i - 11. Suppose -p + 22 = 4*k. Solve 4*g + 3*d = -8, 5*g - 4*d = -k*d - 21 for g.
-5
Suppose 2*d = 69 - 25. Solve -4*s = -k - 1, 3*s + 2*k = 7*k + d for s.
-1
Suppose -5*t + 2*t + 36 = 0. Let d = 8 - t. Let o be 5/20 - (-1)/d. Solve -5*s - 14 = 2*a, -4*s + a + 3*a - 28 = o for s.
-4
Let l(h) = h**2 + 12*h + 1. Let s be l(-12). Let i = 4 - s. Solve -i*j = t - 13, -t + 2 - 9 = -j for t.
-2
Suppose 5*k - 17 = 3. Let m(a) = -24*a**3 + a**2 - 2*a - 2. Let o be m(-1). Suppose r - o = -4*r. Solve 20 = r*y + 5*u, -5*y + 7 = -4*y + k*u for y.
3
Let o = 10 + -8. Solve 0 = 2*v + 2*j + 10, 7 = -3*v - o*j + 3*j for v.
-3
Suppose -4*w + 18 = a, 5*w = 2*a + 17 - 1. Solve 0 = 3*i + s - 4, 0*i = 3*i + w*s + 2 for i.
2
Suppose h - 5*w + 17 = 0, -4*h = 2*w - 31 + 11. Suppose 0 = h*t + 15, -3*v - 2*v = -t - 20. Solve -v*i - 35 = -5*r, -r - 3*i = 3*r - 1 for r.
4
Let y be 15/(-10)*(-20)/15. Solve 4 = -4*l - y*k - 0, -5*l - 4*k - 11 = 0 for l.
1
Let g = 16 - 22. Let c be (8/(-12))/(2/g). Solve -2*h + c = -2*s - 0*s, -3 = 2*h - s for h.
-4
Suppose 0*p - p + 43 = 5*f, 0 = -3*p + 4*f + 72. Suppose -8 = -q + y + 2, -q + p = 5*y. Solve 3*x = -n + q, -2*n - 3*n + x = -1 for n.
1
Suppose 0 = 8*p + p - 18. Solve -4*b - 4*k + 18 = -p*k, 5*b - 5*k = 15 for b.
4
Suppose 5*n - 2 - 3 = 2*o, 11 = 4*o - 3*n. Suppose -2*c = 5*g - o, 6 = 2*c + 3*g + g. Solve -8 = -k - 2*v, -c*v = 3*k - 3*v - 8 for k.
0
Suppose 5*s = k + 17, 2*k + 4*s - 28 = -2*k. Solve 0 = 2*a + a + k*u - 3, -2*a + 5*u = -9 for a.
2
Let f(u) = 6*u - 31. Let v be f(6). Solve 3*t = 3*h + 2*t + 5, v*t = -20 for h.
-3
Let z be (-1)/(-2) + (-63)/(-6). Let d = -8 + z. Solve d*q = 4*t + 27, 4*q + 2*t - 19 = -5 for q.
5
Suppose 0*u + u + 12 = -4*a, 0 = -3*u + 3*a + 9. Let i = u + 23. Solve -4*o + 3*q = i, 2*o + 0*o - 11 = -3*q for o.
-2
Suppose -4*v = -7 + 3, -4 = -2*x + 2*v. Suppose -a - 2*g = -10, 5*a + x - 66 = 3*g. Solve -4*r = -o + a, -12 = 2*r - r + 2*o for r.
-4
Suppose 2*y = -j - 3, -4*y = -y + 2*j + 6. Suppose y = s - 4. Solve 7 = r + 4*f, 15 = -s*r + 5*f - 20 for r.
-5
Let c(y) = 16*y**2 + y. Let w be c(-1). Suppose -u = 2*u - w. Solve -7 - 15 = 4*z + 2*g, -u*g = -z + 22 for z.
-3
Let c = 10 + -5. Solve 5 = 5*o, 3*o + 12 = c*l - 0*o for l.
3
Let l be (-10)/(-6)*216/60. Solve 3 = 3*h - t + l*t, -5*h + 5 = t for h.
1
Let b be (-30)/(-4)*2/3. Suppose -j + 0*y + 17 = 3*y, b*y - 35 = -3*j. Solve j*k + 2 = 3*k + 4*r, -5*k - r = -17 for k.
3
Let b = -59 - -59. Solve -4*q - 4*d = -6*d + 16, -3*d + 12 = b for q.
-2
Suppose 2*i - 45 = -5*r, -5*r = -3*r + 3*i - 18. Let m = r + -4. Solve 0 = -m*f + 20, 0 = -3*s + 3*f - 16 - 11 for s.
-5
Let t(j) = -4*j**3 + 3*j**2 + 2*j. Let k be t(-1). Solve -k*m = u + 6, -2*m - 4*u + 3*u = 3 for m.
-1
Let p(c) = 4*c**2 - 4*c + 3. Let o(j) = j**3 - 3*j**2 + 2*j + 2. Let m be o(2). Let z be p(m). Solve 3*q + q - 3*k = -z, 12 = -4*k for q.
-5
Suppose b = -s + 4, 3*s - 5*b = -2*s + 30. Suppose -12 - 4 = 4*u, 18 = -m + u. Let w be 2/(-11) + (-4)/m. Solve 5*r + i = -w*i + 27, s*r - i - 23 = 0 for r.
5
Let r(j) = j**3 - 2*j**2 - 3*j + 1. Let k be r(3). Let i be k/((-3)/(-4))*3. Solve 0 = -5*m + 5*x, 8 = -6*x + i*x for m.
-4
Let z be (-2)/(-5) + (-46)/(-10). Let b = 18 - 8. Suppose d = -d + b. Solve z*u = -d, -3 = -3*t + 5*u + 8 for t.
2
Suppose -4*g - g = -5*h - 25, 2*g + 5 = -3*h. Suppose 0 = 6*b - g*b - 12. Solve 2*l - 3*y = 3*l + b, 0 = 4*l + 2*y + 2 for l.
0
Let d be (0 + -3)*(-3 - -2). Solve 4*m - 5 = d*o, 0*m = o - m + 1 for o.
1
Suppose 0 = -5*z - i + 10, 0 = 2*z - z + 4*i + 17. Let m be 3*2/(-3) + 0. Let w = m - -6. Solve -z*g = -6, -2*g + w = -2*x + x for x.
0
Let y be -10*(2/5 + -1). Suppose -y*v = -v. Suppose -4*z - z + 25 = v. Solve -3*x = z*i + 22, -x = 2*i + 2*x + 16 for i.
-2
Let p(w) = 4*w + 21. Let d be p(-4). Solve 0 = -3*x - d*a + 17, 0*x = -3*x - 3*a + 15 for x.
4
Suppose 0*w + 32 = 2*w. Solve q - 2*q + 3*b - 8 = 0, 5*q - b = w for q.
4
Let r(z) = -z**3 - 4*z**2 - 4*z - 1. Let p be r(-3). Let s be p/(-10) - 52/(-10). Solve -26 + 3 = q + s*j, 9 = q - 3*j for q.
-3
Let w = 10 - 8. Solve 4*j = 4*x + 14 - w, 2*j - 18 = -4*x for j.
5
Let u(o) = -2*o - 8. Let v be u(-6). Solve 4 = -3*g - v*j - 5, g - 4 = j for g.
1
Let w be -1 + (3 - 1)/1. Let d = 1 + w. Solve 6 = -m - k, -3*m = 2*m - d*k - 5 for m.
-1
Suppose k - 2*y + 3*y - 2 = 0, -3*k + 3*y + 6 = 0. Solve -s = -k*v + v + 5, 4 = v for s.
-1
Let z be (-14)/(-21)*(-18)/(-4). Suppose -2*g = -2*v - z*v + 11, -g = -3*v + 7. Solve -2*m - h = -1, -v*m + 2*h = -2*m + 7 for m.
-1
Let z be 37 - -1 - (2 + 0). Let w be 6/((-5)/(-2) - 1). Suppose -w = -2*u + 2*a - 6, 4*u - z = -4*a. Solve 0*d + 5 = 5*d, 5*r + 24 = u*d for r.
-4
Let o = 9 - 5. Suppose 3*c = 5*q - 37, 0 = -q - 3*q - 5*c. Solve -n - 6 = q*d + 2*n, 0 = 2*d + 2*n + o for d.
0
Let p = 0 + 7. Let w = p + -4. Solve 3*m + 2*m - w*g + 17 = 0, -2*g + 6 = 2*m for m.
-1
Suppose s + 3*j + 10 = 3*s, 5*j - 15 = -3*s. Suppose 5*h = 4*a - 36, 28 = -2*a + 4*a - s*h. Solve 0 = -4*l + 20, -2*l - 5 = t + a*t for t.
-3
Let p be 2/9 - (-20)/(-9). Let g = -7 - p. Let o = -2 - g. Solve 5*s + 3*d - d - 14 = 0, o*s = -4*d for s.
4
Let z be (-4)/(-14) - 99/(-21). Suppose -17 = 3*u - k, 0*u + z*u + 31 = -k. Let v be (u/4)/3*0. Solve -8 = -3*w + p, v = -4*w - 4*p + p + 15 for w.
3
Suppose -2*q + q + 5*u - 13 = 0, -2*q = -u - 1. Solve 3*p - 23 = -q*t, 6*p = -3*t + p + 37 for t.
4
Let s(z) = z**2 + 6*z + 9. Let j be s(-5). Solve 4*p - j*k + 2*k = -8, -5 = 5*p - 5*k for p.
-3
Let c(n) be the second derivative of -n**5/5 - n**4/6 - n**3/6 - n**2/2 + 3*n. Let x be c(-2). Solve 0*a = 5*a - 2*j - 10, 0 = -3*a - 5*j - x for a.
0
Let m be (-1 - 3)/((-1)/(-1)). Let j be ((-2)/m)/(1/2). Solve 4*p + 8 = 0, -4*b - j = 4*p + 7 for b.
0
Suppose -21*p + 2 = -20*p. Solve p*t - t - 5*o = 4, -5*o = 0 for t.
4
Let w = 10 - 10. Solve 3*x - 12 = w, 3*h = 4*x - 45 + 17 for h.
-4
Let p be 2 + 0 + -2 - -6. Let s be (-9)/(-2) + 1/(-2). Solve -s*l - 5 = -5*i + p, -1 = i for l.
-4
Let o(s) = -2*s**2 - 43*s - 46. Let d be o(-20). Solve 5*f + 2*t = 3*t + 18, 2*f - d = -3*t for f.
4
Let k be 21/6 + 6/4. Suppose 0 = -g + 6 - k. Solve -3*s - 6 = 3*q, -s - g = -4*q + 16 for s.
-5
Suppose 5*n = 4*g + 20 - 60, -4*n = -3*g + 31. Suppose -f + 5*y = 18, -4*f + 8 = g*y - 20. Solve 2*s + 12 + 0 = u, 0 = -f*u + 4 for s.
-5
Let m be 3 + 0 + -2 + 2. Let h(r) = -2*r - 6. Let o(g) = -6*g - 18. Let z(c) = m*o(c) - 8*h(c). Let i be z(-4). Solve 0 = 3*w + 2*p + i + 2, 0 = -3*p - 6 for w.
0
Let w = 37 - 35. Solve -7 = -3*z - 2*j, -w + 13 = 4*z + 3*j for z.
-1
Let o be (-11)/(-6) + 3/18. Suppose 1 + 2 = 3*l. Suppose -l + 7 = 3*i. Solve 8 = i*f, -o*p = -3*p - 4*f + 16 for p.
0
Let b = 55 + -50. Solve 5*q - 5*r + 11 = -9, 2*r = 5*q + b for q.
1
Let t(o) = 11*o - 44. Let i be t(6). Let l be 116/6 + 3/(-