*k. Let b be l(-4). Let x be (-10)/b*(9 - 11). Solve -x*v - 6 = 5*o - 36, 0 = 3*o - 4*v - 11 for o.
5
Let c(h) = -2*h**2 + 9*h - 1. Let t(y) = y**2. Let n(l) = -c(l) - t(l). Let f be n(9). Suppose 2*g = 5 - f. Solve -3*b + 2*o = -g, 1 = 3*b + 5*o + 6 for b.
0
Suppose 0 = -5*y - 6 + 16. Suppose 0 - 30 = -y*k. Solve 3*l - k + 2 = 4*o, -5*l - 9 = o for o.
-4
Let n(z) = 2*z - 20. Let k be n(12). Solve -s - 5*l + 15 = -2*s, -k*s - 3*l = -32 for s.
5
Suppose 0 = 3*u - 2*u - 3. Suppose 3*x = 12, 2*m - u*x = -m + 3. Solve 0 = 3*y + m*i - 20 - 9, -12 = -3*i for y.
3
Let l be -3 + 18 + (-4)/4. Let n be (-4)/10 - l/(-35). Solve 3*z + 6 = n, -c + 4*z + 16 = -3*c for c.
-4
Let b be (-3 - 10/(-3))/(1/51). Solve -2*s + b = -3*c, -2*s + 5*c = 3*s - 30 for s.
1
Let n = 16 + -15. Let s be n/(1/4) + -1. Solve b - 20 = -0*b + s*k, 4*k = -3*b - 5 for b.
5
Let l be -3 - (-3)/(-2)*-2. Suppose 0 = -4*n - l*n - 28. Let p be (-58)/n - 4/14. Solve b - 20 = -5*u, 2*u - b - b = p for u.
4
Let n be 3/(-5 - -2) - -1. Solve 4*f = -2*q - 18, n*f + 3*q + 5 = 5*f for f.
-2
Let g(d) = -d**2 + d. Let j(c) = -c**3 - 18*c**2 + 19*c - 12. Let q(b) = 6*g(b) - j(b). Let t be q(-13). Solve 2 = u + 3*i - 5, -4*u = -4*i - t for u.
4
Let m(j) = -j**3 + 2*j**2 + 3. Let t be m(3). Let q be t/(-12) - (-6)/4. Solve -3*a = -2*s + 13, 3*a - q*a - 14 = -3*s for s.
5
Let o(g) = g**3 + 4*g**2 + 4*g + 3. Let d be o(-4). Let w = 23 + d. Suppose 6 = x + 4*t, -5*t = -4*t - 1. Solve x*v = -i - v + 11, i + w = 4*v for i.
2
Suppose -4*f + 2*u - 33 = -7*f, -2*f - 4*u + 30 = 0. Let b = -6 + f. Let m = 18 - -2. Solve 0 = -b*y - 0*n + n + 11, 4*y - m = 4*n for y.
3
Let k(b) = 3*b + 3. Suppose 2*h - l = -0*l - 5, 32 = -5*h - 4*l. Let c be k(h). Let r = -9 - c. Solve 0 = 2*s + z + 1, s - 2*z + 13 = -r*z for s.
-3
Suppose 0 = y - 2*y + 2. Let v be -6 + -2 + y + -1. Let t = v + 11. Solve -t*m = -5*b + 31, b + 3*b + 8 = -5*m for m.
-4
Let v be 2/(-6) + (-3)/(-9). Let f(a) = 5 + v*a**2 + 3*a**2 - 2*a**2. Let x be f(0). Solve -4*o - o + x*d = 40, -o - 16 = -3*d for o.
-4
Let m be (-3)/(-1) + -2 - -14. Let p = m - -10. Solve -5*k - 5*q + q = -p, 4*q - 15 = 5*k for k.
1
Let k be (-6)/(-3) + -1 - (0 - 2). Solve -2*m - 14 = 2*b, 5*b - k*m + 3 = -0 for b.
-3
Suppose 4*f - 20 = -2*l, 2*l + 2*f = 3*f. Let i be l/(-8) - 39/(-12). Solve 0 = -i*u - 3*k + 27, -3*u - 7 = 5*k - 42 for u.
5
Let l = -66 - -30. Let k = 20 + l. Let b = 26 + k. Solve b = 5*w - 3*q, w - 3*q - 19 = 5*w for w.
-1
Suppose 3*i + 0*i + 6 = 0. Let k be (2 - 2) + -1 - i. Let q be -1 - -1 - (-3 - k). Solve -4*r - q = 3*w - 0, 4*w - 3*r - 28 = 0 for w.
4
Let y(s) = -s**2 + 5*s - 8. Let q be y(5). Let k = -3 - q. Solve 2*m + 11 - 1 = 3*b, -k*b - 5*m - 25 = 0 for b.
0
Let y be (21/(-2))/((-6)/4). Let x(s) = 5*s - 4. Let k(i) = i - 1. Let v(f) = 6*k(f) - x(f). Let a be v(y). Solve 3*d - 4*d + a*c - 6 = 0, -4*d + 2*c = 6 for d.
-1
Suppose g - 4 = -1. Suppose g*p - 20 = -4*b, -3*b + b + 24 = 5*p. Solve i - 4 = 0, b*v + i = 5*i - 20 for v.
-2
Suppose -4*d - 4*t = -12, t = 2*d - 6 - 3. Solve d*x + x - 3*g + 5 = 0, -4*x = 3*g - 23 for x.
2
Let s(c) = c + 16. Let z be s(-15). Solve k - 7 = u + z, -3*u - 3*k - 6 = 0 for u.
-5
Let d = -10 - -14. Suppose -2*h = -5*p + d, 2*h + 1 = -3. Solve j = -4*q + 8, 4*q = 2*j - p*q - 4 for j.
4
Suppose -27 = 2*c - b - 0*b, -3*b + 36 = -3*c. Let r = -13 - c. Solve -4*a - r*l = 2, 3*a - 5*l + 24 = 55 for a.
2
Suppose 8 = z - 2. Solve 3*a = -5*d + 4*d, -3*d - z = -a for d.
-3
Let c be 2/4*8/2. Suppose f = c + 1. Suppose -f*k - 23 = -o - k, -2*o + k + 31 = 0. Solve 0*m + 3*m = -s + 5, 4*s = -5*m + o for s.
2
Let d be (1/(-4))/((-12)/144). Solve 5*w = k - 0*k + 23, 0 = -3*w + d*k + 21 for w.
4
Let p = 14 + -8. Solve -2*n + 12 = 2*z, -21 = -p*z + z - 2*n for z.
3
Suppose 28 = 2*a + 5*a. Solve 5*g = 5*m - 2 - 3, -a*g - 28 = 2*m for g.
-5
Suppose -2*o + 6 = 2*u, 7 = 4*o - 2*u - 5. Solve -5*x + o*c + 5 = -20, 5*c = 4*x - 33 for x.
2
Suppose 3*i - 4 - 5 = 0. Let a(z) = -z + 5. Let x be a(-5). Solve -i*c + 15 = -2*c + 3*g, -x = -2*c - 2*g for c.
0
Suppose 2*d + 0*d = -v - 4, -3*d = 2*v + 8. Let f be (3 + d/(-1))*1. Solve 4*g + 4*b - 4 = 0, 0 = 4*g - f*b - 0*b + 31 for g.
-4
Suppose 6*y - 3*y - 9 = 0. Solve -y*k = -o - 5 - 6, 2*o = 4*k - 16 for k.
3
Let s = 165 + -139. Solve 0*o + 4*o + 12 = f, 4*f = 5*o + s for f.
4
Let b(g) = 3*g**2 + 2*g + 1. Let t be b(-1). Solve 0 = t*d - 2*s - 8, -4*d + s - 14 = 3*s for d.
-1
Suppose 5*k + 2*w - 12 = 0, -5*k - 2*w - 2*w = -4. Suppose 5*p = k*p - r + 9, 3*p + r - 19 = 0. Solve 2*u - 2*z + p*z - 19 = 0, 0 = 2*u + 5*z - 25 for u.
5
Let p be (-4)/(-3) + (-40)/(-6). Let b(u) = -5*u - 1. Let q be b(-1). Suppose -2*n = h - 13, -3*h = -n - 0 - q. Solve 5*k - p = f, h*k - 5*f = -k + 19 for k.
1
Let p = -44 + 48. Solve 5*c = l + l - 7, -l - 5*c = p for l.
1
Let k(p) = p**2 - 3*p + 1. Let v be k(2). Let o be (v/(-3))/(2/18). Suppose -2*b + 5 = 2*z - 3, 3*b = 2*z - 13. Solve o*f = -15, -w = w - f - z for w.
0
Let u = -2 + 7. Let q = u - 7. Let d = 2 + q. Solve 0*m - 25 = -2*m + 3*i, -4*i - 20 = d for m.
5
Let k = 52 - 23. Let t(o) = -o - 8. Let a be t(-8). Suppose 5*s + 4*u - 3*u - 30 = a, 3*u = 2*s + 5. Solve 3*w + k = -s*f, 3*f - 4*w + 5*w = -15 for f.
-4
Suppose 6*v - 9 + 3 = 0. Solve -5*y = 4*n + 30, -n - v = -2*y - 0 for y.
-2
Let z = 8 - 6. Suppose -w + 4 = 3*n, -w = z*n - 1 - 0. Let u = w + 5. Solve u - 12 = -4*g - 2*y, 3*y - 16 = -5*g for g.
2
Suppose 5*f + 25 = 0, 5*l - 3*f = 21 + 19. Solve 10 = l*x - 2*b, 0 = 4*x - 5*b + 3*b - 10 for x.
0
Suppose -4*w = -7*w + 6. Solve -4*g + 1 + 3 = -w*l, -2*g + 3*l = 6 for g.
3
Let p be ((-24)/(-3))/(-1 - 28/(-20)). Solve -2*h - p = 5*a - 3*h, -3*a - 12 = h for a.
-4
Suppose k + 32 = 5*k. Solve -4*h = -v - 3 + k, -5*h + 3*v - 1 = 0 for h.
-2
Suppose 5 = 2*g - g. Let u be (3 + -2)*(-1 - 1). Let c be (-1)/(u + 7/4). Solve 5*r = -c*s - 31, -3*r - 2*s - 2 = -g*r for r.
-3
Suppose 2*b + 6 - 16 = 0. Let c be 3*2/12*0. Solve c = b*o - 4*y - 21, o + 3*y = 3*o - 14 for o.
1
Suppose 3*h - 2*o = 9, 4*h - 12 = -0*o + 4*o. Solve n - 2 = 4*r, 2*n - h*r = -2*r - 3 for n.
-2
Let m(c) = 2*c - 30. Let z be m(16). Solve 0 = -3*s + 12, -z*t + 3*s - s = 12 for t.
-2
Let r be 120/28 - (-4)/(-14). Suppose d + 4 = 2*s + s, -d + 17 = r*s. Solve 0 = -d*j + 3*v - 7, -j = v - 0*v + 3 for j.
-2
Let d(c) = c**2 - c - 2. Let s = 9 - 7. Let l be d(s). Suppose 5*u + 7 - 2 = 5*p, -2*p - 5*u + 30 = l. Solve -4*j - 4 = -4*q - 2*j, 0 = p*q - j - 2 for q.
0
Let z(g) = -g**3 + 3*g + 1. Let h be z(-2). Let j = -8 + h. Let m(u) = u**2 + 4*u - 1. Let q be m(j). Solve y + 4 - 3 = -4*f, -2*f = -q*y - 4 for y.
-1
Suppose 0 = -q + 4 + 1. Solve 2*v + 5*d = -q + 1, -4*v + 4*d = 8 for v.
-2
Let x be (-6)/(-9) + (-68)/(-6). Solve -j + 2*c + x = 0, j + 0 = 3*c + 16 for j.
4
Let u be 12/(-3) - (-7 + 2). Let h be u - (1 - 9)/4. Solve 5*f + 15 = h*x - 8*x, -14 = 3*x - 2*f for x.
-4
Let r = 117 - 114. Solve -h + 29 = 5*z - r*h, 0 = h + 2 for z.
5
Suppose s + 1 = 0, b + s = -2*s. Let i be (-1)/2 - b/2. Let r = 7 + i. Solve -r*m - 45 = -4*t, t - 5 = -2*t - 2*m for t.
5
Let y = 38 - 27. Suppose -k - 2*k = -9. Suppose 0*i - 5*i = -20. Solve k*t - y = x, -i*x - t - 4*t = -41 for x.
4
Suppose 0*n - 54 = -3*n. Let p be (n/5)/(4/10). Solve -g - p = -y, -3*g - g + y = 21 for g.
-4
Let a(k) = 4*k + 3. Let m be a(-7). Let o be ((-40)/m)/(4/10). Solve 2*w = -4*h - 3*w, 5*h - o*w - 41 = 0 for h.
5
Let p(l) = 2*l**3 - 4*l**2 + 3*l - 2. Let g be p(2). Solve -w + g*r + 8 = 0, -5*w + 4*r - 4 = -w for w.
-4
Suppose 3*w + 2 = 5*n - 4, -3*w - 5*n - 6 = 0. Let t = 4 + w. Suppose r + 0*v - 22 = 4*v, 4*r + t*v + 2 = 0. Solve -2*h = -r*q + 8 - 20, 2*q + 6 = -4*h for h.
1
Let v(b) = 7*b**3 - b**2 + 1. Let y be v(1). Suppose 3*w = 5 + y. Solve -2*x = 5*p + 31, 3*x + w = p - 0*p for p.
-5
Suppose -2*v + 2 = -4*v. Let d = 1 + v. Let r = 4 - d. Solve -4*t + r*f + 16 = 0, -3*f - 1 = 2*t + 11 for t.
0
Let n = -1 + -1. Let t be (n - 4)*2/(-2). Let u be (32/t)/(6/18). Solve -3*q = 5*g - 35, -5 = -4*g - q + u for g.
4
Let m(f) = -f + 11. Let b be m(6). Let i be 6/(-4) - 2/4. Let u = i - -20. Solve -l = 5*x + 7 + 11, 2*x = b*l - u for l.
2
Suppose 0 = 2*i - 0 - 16. Let v(m) = -4*m**3 - i*m**2 - 13 + 5*m**3 - 4*m - 3*m. Let q be v(9). Solve 5*r + 0*r + 10 