+ 3*g, -p = 2*a + 4*g for a.
3
Let k(n) = n + 2. Let f be k(3). Solve -f*v + 5 = -5*r, 7 = v - 0*r + r for v.
4
Let p(z) = z**3 + 7*z**2 + z + 7. Let w be p(-7). Solve 5*y + n - 28 = w, 2 = -y + 3*n - 2 for y.
5
Suppose 2*b = -6*d + d + 4, 5*b = 4*d - 23. Suppose s + 2*g + 8 = 0, -2*s + 5*s = -4*g - 14. Solve n + p - s = d, 2*n - p = 2 for n.
2
Suppose 0 = 4*a - 6 - 2, 0 = z + 2*a - 3. Let f be z/(-2) + 5/(-2). Let r be f + (0 - 0) + 4. Solve -3*q - 15 = -0*q, -r*n - 20 = 2*q for n.
-5
Suppose -k = -5*d - 0*k + 25, 4*d = -4*k + 44. Suppose -q + 8*q - 14 = 0. Solve 2*l = -q*a - a + 13, -a + l = -d for a.
5
Let k(y) = y**2 + 3*y - 7. Let b be k(-5). Suppose b*z + 20 = -z, -a + z = -7. Let t be 9*(a - 15/9). Solve 2*g + t = 7, -2 = c + g for c.
-4
Let s be ((-12)/15)/(4/(-10)). Suppose 0 = 5*w - 20, -4*n - 3*w = -0*w - 24. Solve 2*j = -8, n*y + j = -0*j + s for y.
2
Suppose -3*g + 18 = 3*g. Solve -g*k - 3*l - 9 = 0, 5*k - 2*l - 16 = 4 for k.
2
Let y = 0 + 5. Let p = -20 - -14. Let j be (-14 + -1)*2/p. Solve -y*q - c - 4 = 2*c, j*c + 18 = 3*q for q.
1
Let o(a) = -2*a**2 + 30*a - 5. Let g be o(14). Solve 3*i = -5*x + 15, 4*i - 5*x + 3 = g for i.
5
Suppose 2 = 3*p - 1, 0 = 4*l - 3*p - 13. Let b be 0/((-3)/(1 - l)). Solve -3*v + 2*r - 14 + 4 = b, 3*r = -3*v for v.
-2
Let o(k) = -2*k - 7. Let g(p) = -p + 7. Let v be g(5). Suppose 24 = -v*m - 2*m. Let z be o(m). Solve 5*s - z = 5, 0 = -4*r - 4*s - 12 for r.
-5
Let m be (-639)/(-36) - (-1)/4. Suppose 5 + 10 = 3*x. Solve -5*n + n = 5*q + 3, q - x*n = -m for q.
-3
Let i be (-2)/3*((-18)/(-6) + -6). Solve -2*v - 2 = i*a - 4*v, -5*a = -4*v + 2 for a.
2
Suppose -25 = -7*z + 2*z. Suppose 5*k - 2*i + 197 = -4*i, 0 = -z*k + 2*i - 213. Let p = k + 58. Solve -4*v - 10 + 2 = 2*j, -5*v + j - p = 0 for v.
-3
Suppose -5*w = 0, 2*a + 16 = -0*w + 4*w. Let q = 12 + a. Let l = q + 1. Solve -y = 5, -2*n + l*y + 2 = -17 for n.
-3
Suppose 2*r = 2*c + 10 - 8, 0 = -3*c - 5*r + 37. Solve -5*y = c*g - 16, 4*y - 3*g + 1 - 20 = 0 for y.
4
Suppose -3*a - 3*v + 18 = 0, 5 = 2*a + 2*v - 7*v. Let z = 7 - a. Suppose y - 5*c + 3 = -2, -2*c = -5*y - 2. Solve -z*r = -6*r - f - 15, -4*r + f - 25 = y for r.
-5
Let y(i) = -3*i**3 + i**3 + 8*i - 7*i**2 - 3*i**3 + 4*i**3 + 5. Let v be y(-8). Solve -4*d - v*c = -2*c, 0 = -4*d - c for d.
0
Let o be -2 - (3 - 5) - (-26 - -2). Solve -2*u + 3*u + 2 = 3*d, o = -4*d - 4*u for d.
-1
Let j(p) be the third derivative of p**4/12 - 2*p**3/3 - 2*p**2. Let a be j(4). Solve -2*v - 14 = -a*i, -3*i - 5*v = i - 21 for i.
4
Let g(j) = -j**3 + 4*j**2 + 12*j + 3. Let n be g(6). Solve 3*h - 2 = -r, 0*r + 3*r = n*h - 18 for r.
-4
Let q be -6 - (-5)/1 - (-2 + -2). Let g = -10 + 14. Solve 4*o - 4 = -q*j + 7, -4*j - 4 = -g*o for j.
1
Suppose -5*z = -0*c - 2*c + 44, 5*c = 4*z + 42. Let b be (30/z)/(6/(-16)). Let v be ((-24)/40)/((-2)/b). Solve 5*n + 1 = -2*s - 9, -v*s + n = -2 for s.
0
Suppose 15*b = 12*b + 15. Solve 2*n + 0*j = j + 7, b*n - 19 = 3*j for n.
2
Suppose -k = k + b - 192, 5*b = -2*k + 200. Let v be k/15 + 3/(-9). Solve -2*g = -3*x - 0 - v, 4*g = -12 for x.
-4
Let t = -9 + 14. Suppose -t*c + 14 = -1. Solve 15 = -4*l + 3*j, -l + c*j - 7 + 1 = 0 for l.
-3
Suppose 3*p - 18 = -3*d, -3*d = -3*p + 4 + 2. Solve 12 = 4*k - 4*z, k - 9 = -0*k - d*z for k.
5
Suppose -77 = -4*q + 3*h, 2*h - 11 = -4*q + 3*q. Let y = 4 - 1. Let b = 5 + 0. Solve y*k - q = 2*o, -b = -4*o - 2*k + 1 for o.
-1
Suppose 0 = 5*t - 43 - 12. Let w be (-1 + -9)*t/(-22). Solve -w = l - 3*c, -2*l = -2*c + c - 5 for l.
4
Let o(t) = -t**2 + 10*t. Let r be o(10). Solve r = a - 5*x + 5, 3*a + x - 17 = -0*a for a.
5
Let u(x) = -10*x - 1. Let b be u(-3). Let f = 9 - 5. Solve -k = -4*z - z - b, f*k = 5*z + 41 for z.
-5
Let o(z) = -z + 1. Let n be o(-4). Suppose -i = -w - 5*i + 22, -n*i = -3*w - 19. Solve -20 = 5*k + 3*t, w*t + 8 = -2*k + 6*t for k.
-4
Suppose -4*k - 2 = -6. Suppose 3*y = -g - k, 3*g + 2 = -3*y + 11. Solve -g*s = 5*x + 40, 24 = -s + x - 6*x for s.
-4
Suppose 4*c = -4*l + 6 + 6, 3*c + 9 = 3*l. Let i(o) = 0*o + 4*o - l*o. Let s be i(10). Solve -2*z + s = 2*d, 3*d - d + 3*z = 11 for d.
4
Let s = -29 + 29. Solve 0 = 3*g - s*g - 15, 2*h - 4*g = -16 for h.
2
Let f = 60 - 28. Suppose j - 5*z = 38, 0*j - 4*j - 4*z = -f. Solve 3*d = -2*x + 11, -4*d + j = -4*x + 5*x for x.
1
Let o = 21 - 10. Let c = -8 + o. Solve -c*b - 2*n = 9, 0 = 2*b + n + 5 for b.
-1
Suppose -4*x + 4 = -4*o, 3*o + 4*x = -0*o + 32. Suppose o*n = 7 + 1. Solve -5*v + 11 + 9 = n*i, 0 = -v + 2*i - 8 for v.
2
Suppose 0 = -3*r + 4*t - 5, -4*r + 5*t + 0*t - 5 = 0. Suppose 5*q - 7 = 23. Let f be 0 + 3 + (-2)/(-2). Solve -q = -r*x + 2*i, -f*x = -x + 5*i - 16 for x.
2
Let i be (-20)/(-4) - 0/1. Suppose 11 = -3*k + 4*k + v, -i*v + 39 = 3*k. Let x = -4 - -7. Solve -3*q - x*n - k = -2*q, q = -n for q.
4
Suppose 0 = 5*b - s - 3*s - 4, -3*b = -s - 1. Suppose 4*l - 8 = 3*w, 0 = -w - b*w - 3*l + 19. Solve -i - d = -2 - 4, 0 = -w*i + d + 4 for i.
2
Suppose 0 = -4*h + 10 + 2. Let v be (3 + -3 + h)*5. Suppose -4 = 2*o, 0 = -3*x + o + 2 + v. Solve 5*c = -x*m + 35, 4*m - 1 + 9 = 5*c for c.
4
Let b = 35 - 21. Let k = 19 - b. Solve -3 = 4*d + 4*r + 1, -13 = d + k*r for d.
2
Let b be (2 - (-17)/2) + (-1)/2. Solve -a - 4*g - 12 = -0*a, 3*g = 4*a + b for a.
-4
Suppose 8 = 2*i - 8. Let t be 2/i - (-4)/(-16). Suppose t = -2*r + 4*p + 18, -p = r - 0*r. Solve -r*m = c - 13, -m + 3*m - 6 = 0 for c.
4
Let w(p) = p**3 - 9*p**2 - 7*p - 14. Let q be w(10). Suppose 3*g - 1 = -2*s, -2*s - 5*g = 3*s - 5. Solve i = -0*i - 3*c - 17, 4*c = s*i - q for i.
-2
Let y(l) = -l**3 - 7*l**2 + 9*l + 12. Let u be y(-8). Solve u*f - 5 - 16 = -3*v, -12 = -4*f for v.
3
Let y = -4 + 4. Let j(x) = -x**2 - x - 5. Let p be j(y). Let k be 1/(4/p - -1). Solve 2*w - 4*r - 1 = -k, -3*w + 4*r = 0 for w.
4
Let s(m) = -11*m**3 + 37*m**2 + 2*m + 1 + 12*m**3 - 32*m**2. Let z be (-60)/14 + 4/14. Let g be s(z). Solve 0 = -5*i + 2*o + g, 0 = -3*i + 4*o - 3*o + 6 for i.
3
Suppose -3*x + 6 = -15. Suppose -4*p + d = 3*d - 36, p + d - x = 0. Let i = -6 + p. Solve n + 0 = 2*w + 7, i*w + 19 = 4*n for w.
-3
Let a be 2/(-7) - 30/(-7). Suppose 5*t + 3*k = -2*k + 115, -2*t - a*k + 52 = 0. Solve -4*r - t = -5*g - 5*r, -r = -4*g + 7 for g.
3
Let k be -1*1/(-3)*3. Let j be ((-1)/(-2))/(k/8). Solve -y - 12 = 3*f, j*y - 3*f - 32 = f for y.
3
Let u(k) = -2*k - 3. Let l be u(-2). Suppose 2*n - 5 + l = 0. Suppose j = d + n*j + 3, d + 2*j = -8. Solve v + 2*r = -5, -2*v - d*r = 12 - 4 for v.
-3
Suppose 4*t + p - 13 = 0, 2*t = -0*t - 5*p - 7. Suppose -z + t*z = 0. Solve -3*g = 5*v - z*v - 19, -3*v = -2*g - 19 for g.
-2
Suppose 2*a + 5*s = 3*s, 4*s = 5*a - 36. Suppose 0 = -2*n - 0*u + u + 8, -n + a = -u. Let p be 1/4*6/(-3)*-6. Solve b = n*t - 16, -b + 3*t = 9 + p for b.
0
Suppose -5*n + 0*n = -l - 114, -5*l = -2*n + 41. Solve 14 = i + 4*i + 2*h, h = 5*i - n for i.
4
Let j(c) = -c**2 - 16*c - 26. Let m be j(-14). Solve 5*u - m*o = -5*o - 14, -u - o - 4 = 0 for u.
-1
Let w(z) = -z + 2. Let s = -6 - -6. Let j be w(s). Solve 3*x = -j*t, -4*t + 5 = -x + 19 for t.
-3
Suppose -n - 25 = 4*n. Let h(x) = -x**3 - 4*x**2 + 2*x - 4. Let i be h(n). Solve o + 3*k + i = -5, o - 2*k = 9 for o.
-1
Suppose -2*u + g + 12 = 0, -u + 4*g = 8*g + 3. Solve -u = 3*x + 4*y, -2*x = -y - 1 - 3 for x.
1
Let o be (60/(-14) - -4)*-7. Solve -3*y = o*a + 2, 0*a - 2*a + 5*y = -14 for a.
2
Suppose -3*v = 0, -2*i - v + 2*v + 24 = 0. Let f be 15/i*16/1. Solve -c - 3*c - 3*l - 20 = 0, -4*c + l - f = 0 for c.
-5
Suppose 0 = u + 4*x - 10, 2*u - 4*x + 4 = -0*x. Solve 2*a = 2*q, -a = -2*q + u*a - 2 for q.
2
Let h(w) = -w**3 + 11*w**2 - 12*w + 20. Let p be h(10). Solve -4*q = p, -2*v + 2*q + 12 = -6*v for v.
-3
Let g(k) = -16*k + 1. Let u be g(-1). Suppose u = 2*p - 3. Solve 0 = -5*j - 4*o + p, -2*j + o = 3*o - 6 for j.
-2
Let h be 1/(1 - 12/16). Let f = 12 + h. Solve -f = -2*w + 3*w - 4*b, -4*b = -20 for w.
4
Let i = 60 + -43. Suppose 0 = -4*b + 5*r + 40, 2 = -2*b - 2*r + 4. Solve -c + i = 5*g, b*g - 4*g + 5 = -3*c for c.
-3
Let l be (-12)/9*621/(-36). Solve -2*t - 4*j + j + l = 0, 4*t - 4*j + 4 = 0 for t.
4
Suppose -9 = -y + 2*q, 2*y = -q - q - 6. Let c = 3 + y. Suppose -m + 5 = -4*x, 4*m + c*x = -m + 25. Solve j = -3*o - 7, -m*j + 0 = 5*o + 5 for j.
2
Let p be (-15)/12*2*-2. Suppose -5*y + 10 = -0*s - p*s, -