7*g + 6. Let w be r(7). Suppose 2*s = 3 + 1. Suppose s*z + z - w = 0. Solve -15 = 5*j + 2*y, 3*j + 5*y - z*y = 0 for j.
-5
Suppose 0 = -z - 2*z + 36. Let h(g) = g**3 - 12*g**2 + 5. Let o be h(z). Solve s - 3 = -2*j + j, o*j = -2*s + 6 for s.
3
Let a(i) = -i - 2. Let d be a(-5). Suppose -7*c + 10*c = 6. Suppose -c*n + 6 = n. Solve -9 = -h + v, -2*h - n*v = -d*h + 13 for h.
5
Let q be (-3 - (1 - 3))*-4. Suppose -4*a - 4 = -12. Suppose 4*b - a*b = 4. Solve -w = -q*c - 10, -1 + 3 = -b*c - w for c.
-2
Suppose 2*s = 5*s - 9. Let q = -275 - -279. Solve -q*g - s*v + 2 = 0, 5*g + 5*v - 3*v = -1 for g.
-1
Let z be 11 - ((-1)/(-3))/(2/18). Solve 2*n - 4*g - z = 5*n, -g = -2*n - 9 for n.
-4
Let y(q) = q**3 + 15*q**2 + 13*q - 1. Let w(b) = -b**2 - b - 1. Let v(f) = 5*w(f) + y(f). Let k be v(-9). Solve 5*x - k*c + 5 = 0, -4*x = -9*x - 2*c - 5 for x.
-1
Let k(j) = -j - 6. Let q be k(-8). Solve 0 = 3*u - u - q*x - 14, -x = -3*u + 13 for u.
3
Suppose b - 5*y + 2*y - 2 = 0, 4*y - 9 = -b. Let h = -3 + b. Suppose -5*k = 3*s - 16, -5*s + 9 + 9 = 4*k. Solve -31 = k*n - 5*p, -h*n = -6*n + 5*p - 37 for n.
-3
Let o(p) = -4*p**2 - 4. Let x(l) = -l**2 + 1. Let h(n) = o(n) - 3*x(n). Let c be h(0). Let f = 12 + c. Solve 5*z + 4*j = 0, -f*z - j - 40 = -5*j for z.
-4
Let q = 6 + -6. Let r be q - (2 - (2 - -1)). Solve -o = -3*p + 7, -4*p + o + 10 = r for p.
2
Suppose 0*c - 2*c = 0. Suppose c*x + 1 = x + t, 3 = 2*x + t. Solve y - x*p = 7, -p = -5*y + p + 27 for y.
5
Let q(w) = -6*w**2 + 21. Let h(k) = k**2 + k - 1. Let f(n) = 5*h(n) + q(n). Let v be f(7). Solve -3*i = i - a + 19, 2*i - v*a + 14 = 0 for i.
-4
Let h = 16 - 14. Solve -h*i = 4*n - 2, 2*n + 6*i - 3 = 3*i for n.
0
Let d(s) = 4*s + 7. Let t be d(3). Suppose 3*f = -2*c + 5 + 1, 0 = -f + 5*c + 2. Solve -f*u - t = 2*u - v, 0 = -2*v + 6 for u.
-4
Suppose 4*r = -3*a + 48, a = r - 0*r + 9. Let f = -66 + 161. Suppose -j = -6*j + f. Solve 0 = -3*o - 6, -5*p + j + a = -3*o for p.
5
Suppose 5*h + 2*h = 49. Solve -3*o = 5*r + 12, -5*r + h*o = 8*o + 14 for r.
-3
Suppose 2*z + 7*z = 0. Suppose -5*y + 3*r = -r - 41, 32 = 4*y - 3*r. Solve 0 = -y*t - z*t + d + 15, -3*d = -15 for t.
4
Suppose -7*h - 10 = -12*h. Suppose -2*b + 2 = 4*o, -3*b = 4*o + 1 - 0. Suppose o*v = v + 14. Solve -2*c = -0*c - q + 6, q + v = -h*c for c.
-5
Suppose -t + 0 = -5. Solve 1 + 2 = t*h + k, 0 = -h + 5*k + 11 for h.
1
Suppose 900 = -2*t + 7*t - 3*j, 3*t - 4*j - 540 = 0. Suppose 3*u + t = -u. Let x be (-10)/u - (-34)/9. Solve -x*a - 3*n = -3 + 8, -1 = 3*a + 5*n for a.
-2
Let o be -19*(-3 - -4)*-1. Solve -l - o = -2*a + 6*a, -a - 4 = 0 for l.
-3
Let a = -12 - -16. Suppose a*r - 1 - 7 = 0. Solve -r*c - 5 = u, -15 = -3*c + 2*c - 4*u for c.
-5
Suppose -7*k = -2*k. Suppose k - 5 = -i. Solve 0 = -3*t - 6, i*t + 0*t + 18 = -4*y for y.
-2
Suppose 3*t + 5*k = -9, 0 = -3*t - t - 2*k + 2. Let u(j) = j + 3. Let l be u(-3). Suppose a - 2*a + 2 = l. Solve 5*m = g + a*g - 4, -m + 2 = -t*g for m.
-2
Let c = 17 + -6. Suppose -10*h + c*h = 7. Solve -3*x = 2*n + h, 8*x + 24 = n + 4*x for n.
4
Suppose 3*v + 6 = v. Let q be (-2 - v)*-1 - -3. Solve -q*k = b - 7, -2*b = -4*k + 28 - 2 for k.
5
Suppose -3*s - 3*g = -0*s + 9, 0 = 5*s + g - 5. Suppose -7*x = -s*x - 25. Solve 3*r - 24 = -3*b, 5*b - x*r - 3 - 7 = 0 for b.
5
Suppose -7 = 6*c - 79. Solve -4*k - 7*i = -2*i + 12, 0 = -4*k - 2*i - c for k.
-3
Suppose 28 = 2*i - 4*o, 0 = -i + o + 3 + 7. Suppose w = i*w - 15. Solve -2*t - 12 = -0*r - w*r, 3*t - r = -4 for t.
0
Let a(x) = -3*x**3 + x. Let g be a(-1). Let m = 9 + -9. Suppose c + g*s - s - 26 = m, 4*c = s + 84. Solve 3*u - 2*j = 6*u + c, 17 = 2*u - 5*j for u.
-4
Suppose n + 11 - 28 = 0. Solve -k + 13 = -5*s - n, 0 = -3*s + 3*k - 30 for s.
-5
Suppose 7*h = -4*a + 3*h + 60, 0 = 4*h. Let w be (-2)/(-2) - a/(-3). Let f be 4/w*(4 + -1). Solve -f*q = -3*q + 2*c - 14, 5*c = 5*q + 45 for q.
-4
Suppose 2*n = 5*s + 6, -9 = -4*s - 4*n + 3. Suppose -5*x + 6 = -2*x. Solve 5*f + 4*k + k = 15, s = -x*f + k - 3 for f.
0
Suppose -s - s = 16. Let t = s + 11. Solve 0 = -a - 4*m - 2, -2*m - 4 = 2*a + t*m for a.
-2
Let r = 1 + 1. Suppose -2*l = r*l. Suppose l = -3*g - 2*g. Solve g*t + t = -3*w - 20, -2*w - 5 = -t for t.
-5
Let v(w) = w - 11. Let z be v(0). Let c(f) = f**3 + 12*f**2 + 11*f + 14. Let o be c(z). Solve 0 = 4*m - u + 16, o = -2*m - 5*u - 16 for m.
-5
Let j(n) = -n**2 - 4*n + 4. Let a be j(-4). Solve -4*g = a*m, -g - 5*m + 24 = -4*g for g.
-3
Let i = -4 - -2. Let u be (-3 - -1 - i)*-1. Let d = 3 - 1. Solve -d = -2*c, -5*v + u*v - 5*c = -25 for v.
4
Suppose 5*m - 2*r = -0*m - 29, 9 = -3*r. Let f = m - -12. Solve 5*p = -f*h - 10, 0 = -5*h + 4*p - 2*p + 4 for h.
0
Suppose 5*a + 6*i = 3*i + 22, -4*a + 2*i = -22. Solve a*v + 6 = -4*k, 5*k = 4*v + 15 - 2 for k.
1
Suppose 5*d - 9 = -64. Let j = -11 - d. Solve -2*l + 12 = 2*l - q, 3*l + q - 2 = j for l.
2
Let g(h) = h**3 + 8*h**2 - 4*h - 10. Let v = 2 + -10. Let u be g(v). Solve -2*f - 5 = 5*o, 5*f + 8 + u = 5*o for o.
1
Suppose 2*s - 14 = -14. Solve 3*i - t = 6*i + 8, s = i - 4*t + 7 for i.
-3
Let m = 131 - 127. Solve -3*f - 2*f = -5*u + 15, -2*f + 18 = m*u for f.
1
Suppose -q + 26 = 5. Let d(l) = l**2 + 6*l - 4. Suppose 2*n = n - 8. Let b be d(n). Solve 2*j = 4*p - b, -3*p + 4*p + 4*j - q = 0 for p.
5
Let r = -3 + 13. Solve -5*a = -5*k - r, 2*k - 11 = -2*a - 3*k for a.
3
Suppose -4*d - r + 12 = 0, 4*r = -5*d - r. Suppose 0 = f + f - d. Suppose 5*z = -3*n + 10, -3*z + z = 2*n - 8. Solve 10 = f*w - 3*p - 3, -p = -n*w for w.
-1
Let o(z) be the third derivative of z**4/24 + 3*z**3/2 + 3*z**2. Let r be o(-9). Solve 0*u = h + 5*u - 14, r = 5*u - 15 for h.
-1
Let f = 111 + -105. Solve -4*g - 4 = 4*o, -2*g = f - 2 for o.
1
Let j(m) = -m**3 - 4*m**2 - 2*m + 6. Let w be j(-3). Solve -4*p - k = -w*k + 18, 2*p = 2*k - 10 for p.
-4
Suppose -39 = 4*s + 5. Let a = 26 + s. Let y = -7 + 19. Solve 0 = -3*v + 4*c - a - 6, v - 3*c + y = 0 for v.
-3
Suppose 5*x - 16 = -4*a + x, 5*a + 3*x = 12. Solve 0 = -5*q - 2*j + 23, a = -5*q - 8*j + 5*j + 27 for q.
3
Let b be 4 + (-6)/(-3 - -6). Solve -10 = -4*r + b*m, -m = 4*r + 3*m - 4 for r.
2
Suppose -3*p = -5*x - 9, 5*p - 18 + 3 = -2*x. Suppose 0 = 2*h + 4, -2*h - 2 = -2*r. Let b = 2 + r. Solve 0 = 3*v, x = -2*k + v + b + 3 for k.
2
Let f(q) = q**2 - 2*q - 2. Let h be f(6). Let j = h - 16. Solve m - j = -2*y - m, 0 = -3*m for y.
3
Suppose -2*f = -6, -r + 4*f - 20 = -5*r. Solve -3*y - g + 4 = -r*g, 0 = 2*y - 4*g + 4 for y.
2
Let y = 7 + -4. Suppose 0 = c - 2. Let s = c + y. Solve -5*m + 14 = 3*x, -5*x + m + s = -9 for x.
3
Let f(w) = w**2 - 3*w - 5. Let d be (-1)/(3/15*-1). Let p be f(d). Solve 20 = 5*i, 0 = -5*r - p*i + 31 + 14 for r.
5
Let p be 18/(-63) + 116/14. Suppose p = 4*q - 12. Solve 5*l = 2*o - q*o + 17, 4*o = -2*l + 4 for l.
4
Suppose 5*j - 3*j = 28. Suppose -5*y + 1 = -j. Solve -r = -y*v + 2*v, 3*v = -r + 8 for r.
2
Let u = -30 + 33. Solve -5 = -5*l - 2*y, y - 17 = -3*l - u*y for l.
-1
Let g = 4 + -2. Suppose 17 = 3*w + u, -2*u + 4*u = g*w - 22. Suppose -r - 1 = -4. Solve 2*s - t = -w, r*s + 8 = -3*t + 4*t for s.
-1
Let a = -55 + 60. Solve -2*q + 7 = -a*b + 2*q, -10 = -4*b - 2*q for b.
1
Let t be (3 - (-20)/(-8))*-2 + 6. Solve 3*c + 2*c - 15 = 5*f, t*c - 25 = -5*f for f.
1
Let q = 14 - 9. Suppose 0 = -x + q*x. Solve -4*a + 2*v - 20 = 0, -4*v - v + 10 = x for a.
-4
Let h = 0 + 2. Suppose -s = -h*s + 15. Solve 2*o = -0*d - 3*d + 25, d = 4*o - s for o.
5
Suppose 3*y = -4*p + 17, 8 = 2*p - p - 3*y. Solve 5*j = -r + 16, -4*j - p = -7*j + 4*r for j.
3
Let y(l) = l**3 + 14*l**2 - 17*l - 18. Let a be y(-15). Solve -4*d = -5*g - 37, a = 3*d + 3 for g.
-5
Let v(d) = -4*d - 3. Let z be v(-2). Solve 21 = -f + z*a, 2*a + 1 + 1 = 3*f for f.
4
Suppose -6 = 4*p - 26. Let j be (-2)/p*-5*1. Solve f + 9 = 5*c - c, 4*f + j = -c for c.
2
Let f = 4 + -2. Let k(x) = 3*x. Let i be k(f). Solve -5*h = s - i, h = -5*s + 6 - 0 for h.
1
Let y be (-17 - -7)*(-6)/10. Suppose -y*t + 4*t + 4 = 0. Solve 5*d - t*s = s + 32, -8 = d + 3*s for d.
4
Let a = 22 + -5. Solve 2*q = -5*w - 33, 0 = 5*w - q - q + a for w.
-5
Let x be (-182)/(-8) + 3/12. Solve 0 = -3*f + 4*p + x, 5*p = -3*f - 18 - 4 for f.
1
Let f(u) = -5*u + 1. Let c be f(-3). Let x be ((-3)/(-9))/(2/12). Suppose -4*j - x = -3*r - 5, 5*j - r = 12. Solve 14 = -i + 3*i + j*n, -2*n - c = 