*n + 2*y - 5 - 3 = 0, 2*y = a for n.
-2
Suppose -l + 2 + 2 = 0. Solve -2*z + l*f + 3 = 11, 16 = -4*z - 5*f for z.
-4
Let u be -6*(4 - 27/6). Solve -3*w - 3*n + n - 3 = 0, w = u*n - 1 for w.
-1
Suppose 0*s = -5*s - 20. Let v be ((-16)/12)/s*9. Let y be (-4)/6 + 17/3. Solve -2*f + 3*x + 13 = 0, v*f - y*x - 17 = -3*x for f.
5
Let o(x) = -x + 5. Let k be o(0). Suppose 27 = 3*c + k*v, -4*c + v = -v - 10. Suppose -2*g + 5*g - 48 = 0. Solve 0*f - 5*l + 2 = f, -4*f + c*l - g = 0 for f.
-3
Let w(y) = -3*y - 57. Let r be w(-19). Solve -4*c + 16 = -t, c + t + 3*t - 21 = r for c.
5
Let y = 119 + -114. Let o be (4 - 1)/(3/(-2)). Let v be (o/3)/(2/(-39)). Solve 3*r + y*z - 4*z = v, -16 = -4*r - z for r.
3
Let q = 21 + -21. Let z(j) = -2*j**3 - 3*j**2. Let o be z(-2). Suppose 2*y + 4*t = -18, 4*y + 0*y = o*t + 24. Solve 5*i + 5*f = q, -3*i - 2*f - 3 = -y for i.
-2
Let s be 6 + (0 + -2)*1. Solve -s*o - 4 = -4*h - 0*o, -h - 1 = -2*o for h.
3
Let m(h) = 6*h + 3. Let j be m(-6). Let y = j + 20. Let a = y - -19. Solve -v - 1 = 5*i - a*i, 5*i = 4*v + 8 for v.
3
Suppose -5*g + 5 = 0, 3*t + t - 5*g = -77. Let p be t/(-3) - 3 - -13. Solve 0 = -4*a - p, 2*o - 8 = 4*a + 6 for o.
-1
Let b be 4 - 125/30 - 25/(-6). Solve -t - 1 - 4 = 0, -w = -b*t - 18 for w.
-2
Let r = -160 - -165. Solve -a + 8 = -r*a, -4*z + 24 = -4*a for z.
4
Suppose 4*m + 3*z - 79 = 0, m + 2*z = 4*m - 38. Solve 5*t - i = 20, 4*t = -0*i - 2*i + m for t.
4
Let m be (-6)/15*(-25)/5. Solve 11 - 3 = 5*y - 4*u, 0 = -2*y - m*u + 14 for y.
4
Suppose -4*z + 7 = -4*o + z, 5*o + 4*z + 19 = 0. Let d be 1/o - (-7)/3. Solve -5*q - 2*j + d = -4*j, 0 = -q - j - 1 for q.
0
Let j be 7 - 1 - (3 - 0). Solve -8 = -j*n + 5*z, 4*n = z - 4*z - 28 for n.
-4
Suppose -4*q - 9 = -7*q + t, -q + 2*t - 2 = 0. Solve 3*w - 12 = -2*v, -q*v - 2 = 2*w - 10 for w.
4
Let p be 26/10 + 6/(-10). Solve -4*v = -p*y + 14, -4*v = 2*y - 2*v + 4 for y.
1
Let v(l) = l**3 + 2*l + 3. Let f be v(0). Solve r - 2*r + 5*w + 15 = 0, 7 = f*r + 4*w for r.
5
Let v(o) = 19*o + 1. Let y be v(4). Suppose 5*k = 4*b + y, b - 12 = 5*b. Solve -3*u = 3*t - t - 4, -4*u = -t + k for u.
-2
Let q be -4 - ((-11 - 6) + 4). Solve -2*a - p = -q, -3*a + 1 = -2*p + 5 for a.
2
Let t(p) = p**3 + 7*p**2 + 7*p + 6. Let o be t(-6). Let q be 2 + 0 + o + -2. Solve f + 2*w + 3*w + 4 = q, -2*w = 4*f - 2 for f.
1
Let m(s) = s**2 + 3*s - 8. Let a be m(-5). Solve 0 = -x + a*i + 7, -x + 0*x - 3*i - 13 = 0 for x.
-1
Let c = 4 + -2. Let w = -27 + 29. Solve 0 = -c*v + 5*g + 5, -w*v - 4 = -0*v - 2*g for v.
-5
Suppose -7*k = -6*k. Solve 2*v - 10 = 0, k = -h + 5*h + v - 13 for h.
2
Let u be 6*(-1 + 4 - 2/(-3)). Solve -17 = -2*q - 3*v, q + 3*q - u = -2*v for q.
4
Let c(a) = 2*a - 1. Let x be ((-28)/8)/7*-16. Let g be c(x). Solve 4*m + g = -5*r + 3*m, 3*r + 22 = 2*m for r.
-4
Let t = -3 - -11. Suppose 2 = -2*b + t. Solve 2*c - 7*c - 25 = -b*n, -c + 5*n = 5 for c.
-5
Suppose 9*z = 8*z + 12. Solve 2*p + 15 = 4*j - 3, 0 = -p + 3*j - z for p.
-3
Let p = -2 + 5. Let z = 12 + -9. Suppose 4*d + 5*w - 12 = 0, w + z = d + 5*w. Solve 0 = d*a + 3*s - p, s + 3 = -2*a + 4*s for a.
0
Let k = -30 - -40. Solve -2*w + 2*u + k = -w, 0 = 5*w + u - 6 for w.
2
Let t be 3/(-5) + 26/10. Suppose -t*c = c - 6. Solve -p - c*p + 4 = i, 5*p = -i + 4 for i.
4
Suppose 6*q = 3*q. Let s = q + 5. Suppose 4*w - 3 = s. Solve 3*a + 4 = w*d + 5, -5*d = -3*a - 2 for d.
1
Let k = 1 + 1. Suppose 4*j - 82 = -k*q, 2*q = 3*j - 3*q - 55. Let c = j - 13. Solve 4*y + 13 = -c, -3*r + y = 4 for r.
-3
Suppose 26 = 3*t - 49. Suppose 0 = 7*m - 2*m - t. Solve m*p - 13 = -4*v - 1, -4*p = -4*v + 12 for v.
3
Let k(c) = 2*c**2 + 3*c + 3. Let z be k(-2). Solve -5*r - z = -4*w + 3*w, -4*r = -2*w + 10 for w.
5
Let j(w) = -w + 13. Let o be j(6). Suppose 0 = -2*s + o*s - 10. Suppose -d = 3*d. Solve d = 3*h - 4*v + 16 + 3, -s*v + 7 = -h for h.
-5
Suppose 4*t + 20 = 9*t. Let m be 2/(2/(-1)) + 0. Let f be 42/12 + m/2. Solve -3*k - 15 = -0*s + f*s, -t*s = 5*k + 24 for s.
-1
Let h(x) = 3*x**2 + 7*x + 6. Let y(o) = -4*o**2 - 6*o - 7. Let t(j) = -3*h(j) - 2*y(j). Let d be t(-8). Solve 5*f + 40 = -5*l, 12 = -0*l - d*l + f for l.
-4
Let d be (0 - -6)*(-1 - 2). Let h = -15 - d. Solve -h*w = -2*o - 8, -3*w + 18 = -o + 2*w for o.
2
Let l be (-4)/(-14) + (-48)/(-28). Suppose 0 = 3*q - 5*n - 20, -16 = -4*q - 0*q - 4*n. Solve 0 = 2*h - 2*o - l, 2*h - 6*o - q = -o for h.
0
Let r be (-1 - (1 - 2)) + 4 + 18. Solve r + 6 = 4*n + 4*w, 0 = -n - 2*w + 10 for n.
4
Let x = -133 - -135. Solve 12 = -x*m - 2*f, 8*m + 3 = 3*m + 4*f for m.
-3
Let f be (5/(15/2))/((-2)/(-12)). Solve -2*u - f = 4*r, r - 5*u = -14 + 2 for r.
-2
Let g(n) = n**3 - 4*n**2 + 4*n - 13. Let m be g(4). Solve -3*v = f, -m*f - 3*v - 7 + 1 = 0 for f.
-3
Let z(k) = -24*k**3 + k + 1. Let p be z(-1). Suppose -3*c = f - p, 2*f + 2*c = -f + 72. Solve 3*y = -3*d + f, -3*d + 2*y = -y + 6 for d.
3
Let o = -18 - -28. Let f = 8 - 8. Suppose f = 2*q - o - 38. Solve x = -4*d - q, -5*x - d - 45 = 4*d for x.
-4
Let q be 24/20*((-21)/(-6) + -1). Let t(r) = r**3 - r**2 - 2*r + 3. Let c be t(2). Solve n = 3*f - 19, q - 26 = 2*n - c*f for n.
-4
Let j = 23 - 13. Let a = -7 + j. Solve -2 = a*q + 4*l - 11, 0 = 5*q - 3*l + 14 for q.
-1
Let u = 7 - 4. Suppose 0*q - 2*v = 2*q + 20, 5*q + u*v + 44 = 0. Let h = 13 + q. Solve 0 = 3*a + 5*o - 10, 0*a - o = -a + h for a.
5
Suppose -77 + 80 = a. Solve 5*m = -25, -a*r = 2*r - 3*m - 30 for r.
3
Suppose 9*w = 16 + 2. Solve w*x + 4 = 0, -s - 4*x + 7 = 2*s for s.
5
Let u(x) = x**2 - 3. Let k = 0 + -2. Let n(c) = -2*c**2 + 3. Let v(a) = k*n(a) - 3*u(a). Let q be v(0). Solve 2*j + 9 = 3*g, -j + 3 = -q*g - 3*j for g.
1
Let s(a) = -a**3 - 10*a**2 - 12*a + 1. Let x be s(-9). Solve -4*c = -16, 0 = 4*w + 3*c - x for w.
4
Suppose -3*v - 4*u = -124, -3*u + 53 = 3*v - 70. Let b be v*(1 - 0 - 0). Solve k = -o, o - b = 5*k - 4*o for k.
-4
Let q(h) = h**2 + 5*h + 3. Let b be q(-5). Let t(i) = i**3 - i**2 - 2*i + 1. Let l be t(2). Let s = b - l. Solve -s*w + k + 3*k = -2, -4*k + 1 = w for w.
1
Suppose 0 = -2*c - 0*a - 2*a + 18, a + 45 = 5*c. Let p be 6*((-6)/c + 1). Solve 0 = p*g + 5*o - 10, -3*g - 3*o = -7*g - 32 for g.
-5
Let m(h) = -h**3 + 5*h**2 - 5*h + 7. Let k be m(4). Solve -2*v + 1 = j + k, 4 = -5*v - 2*j for v.
0
Suppose 0 = 5*o - o - 2*f, -3*o = -4*f. Suppose -4*d + 0 = -12. Suppose q = -o + d. Solve -q*y + 4*t = -0*t - 6, 2*t + 4 = y for y.
-2
Let g = 14 + -24. Let o = 10 + g. Suppose 3 = n - o. Solve -3*a = n*m + 21, 3*m - 3*a = -2*a - 5 for m.
-3
Let l(m) = -m**2 + 4*m + 3. Let o = -5 + 9. Let a be l(o). Solve -a*y + y + 3 = -3*u, -y = -3*u - 6 for u.
-3
Suppose -4 = -2*y + 4. Suppose y*d = 20, -3*d + 22 = 4*s - d. Solve n + 23 = 4*j, -s*j - 2*n = -4*j + 11 for j.
5
Let p(i) = -4 + 6 + 0 + 4 + 2*i. Let h be p(9). Solve 5*z - 3*r - h - 4 = 0, -z - 4*r + 1 = 0 for z.
5
Let r = 0 - 0. Solve r = 5*v + 4*o - 9, -o - 3 = 1 for v.
5
Let h = 12 - 7. Suppose -17 = 2*i - h*k, -k + 4*k = -i + 19. Let u be 4 + -1 + (-2 - -2). Solve u*v = 3*j + 1 + 8, -3*v = i*j + 19 for v.
-1
Suppose 4*v = 5*w - v - 160, -2*v - 35 = -w. Let k be -2 + 1 + 2 + 1. Solve -i + 3*c + w = 3*i, -k*i + c = -13 for i.
5
Let n be 0 - -1 - 0 - -2. Solve 4 = -3*f - w - w, -n*w + 3 = 0 for f.
-2
Let p(l) = l**2 - 7*l + 12. Let f be p(6). Solve 3*m - v + f*v = 3, 5*v = 0 for m.
1
Suppose -9 = -3*r - 0. Suppose 5*y + r = 4*y. Let u be y/12 - 9/(-4). Solve 3*s + s + 2 = 5*k, u*s = 2*k - 2 for s.
-3
Suppose -2*b - b = -12. Solve 0*t - b*t - 4*n - 8 = 0, 4*t + 5*n + 10 = 0 for t.
0
Let f = -3 - -8. Solve 5*d = g + 7, f*g - d - 2*d = 9 for g.
3
Suppose -4*p = 4*t - 36, 2*p - 9 = 3*t - 2*t. Let k be p/(1 - (1 + -2)). Solve 3*u = l - 0*l - 7, 0 = k*l - 4*u - 16 for l.
4
Suppose -5*v = -6*v + 4. Suppose a - 2*w = -3*w + 7, v*w = -3*a + 24. Suppose -2*h = -a*h + 4. Solve g + t = -g + 13, 5*g = -h*t + 30 for g.
4
Suppose 32 = 4*v - 3*m, -1 = 3*m + 11. Solve 6*h + 40 = 2*h - v*y, -2*h - 3*y = 22 for h.
-5
Let t = 2 + 1. Let q be 116/(-14) - (-4)/14. Let w = 25 + q. Solve 1 = 5*k - t*x - 24, -w = -k + 3*x for k.
2
Let i be ((-3)/(-4))/(3/8). Suppose -4*q + 2*a = -2*q - 40, 5*a = 2*q - 55. Suppose 5*n = -j - 0 + 19, -5*j - 5 = 0. Solve -n*k = 20, i*d - 4*d + q = -k for d.
5
Suppose -2*w + 4*m = -56, -3*w = -0*w + 4*m - 54. Solve 5*x - 2*f + 0 = 2, -3*