Solve 2*y = i*n - 12, -y - 3*n + 0*n + 14 = 0 for y.
-1
Suppose -3*l + 15 = w, -3*w - 3*l + 25 = 2*l. Suppose w = -u - 4*u. Solve r + 3*f + 5 = u, 3*r = 2*r + 3*f + 7 for r.
1
Suppose -4*h - 23 = -3*x, 0 = x + 3*h - 10 - 2. Suppose x = -0*o - 2*o + 3*t, -5*o + 2*t = 6. Solve -3*z + 4*n - 27 = 0, o*z - n + 8 = -z for z.
-5
Let p(n) = 3*n - 7*n**2 - 1 + 3*n**3 + 3*n**2 - 4*n**3. Let k be p(-5). Suppose 4*b = 20, k*z + 2*b - 25 = 4*z. Solve -z*s = 15, -2*v + 3*s + 4 = -5 for v.
-3
Let t = -46 - -28. Let b = -15 - t. Solve f = -3*r - 11, b*r - 4*r - 5*f - 13 = 0 for r.
-3
Suppose -k + 17 = v, -3*v + 3*k + 30 = -k. Let m = -8 + v. Solve -4*j + 3*b - 6 = 0, m*b - 2 = 4*j + b for j.
-3
Let p(u) = -u**2 - 6*u - 6. Let o be p(-2). Solve -4*d + 0 + 2 = -o*f, 0 = 2*d - 4*f - 4 for d.
0
Suppose 4*q + 0 = 4*r + 8, -5*q - 8 = 4*r. Let h = 3 - q. Solve 0 = -4*w - v - 3, 2*v - 3*v = -h*w - 4 for w.
-1
Suppose 4*u - o = -17, 0*u - u + 5*o = -10. Let l = u - -8. Solve -y = 3*n - 4, -4*n - l = -2*y + 5*y for n.
3
Let t(y) = 3*y**2 - 5*y. Let m be t(2). Solve 2*h - 3*x - m = 0, -3*x - 2*x - 20 = 0 for h.
-5
Let k = 4 - 0. Solve -k*p - 2*r - 14 = 0, -2*p = -4*p - 3*r - 5 for p.
-4
Suppose 5*x + 3 = 18. Suppose -x*f + 2 = -4. Suppose 3*c + f*c - 45 = -5*q, q = 4*c - 11. Solve 0 = q*s - 2*b + 1, 0 = s + 5*b - 5 - 11 for s.
1
Let s(t) = 5*t**2 + t**2 + t**3 + 4 - 2*t**2 - 1. Let k be s(-4). Solve -k*f + 7*l - 3*l = -11, -l - 2 = 0 for f.
1
Suppose 6*i - i - 5 = 3*f, -3*f + 2*i = -7. Solve -f*u + 21 - 1 = 5*r, 9 = -4*u + r for u.
-1
Let s(w) = -2*w - 8. Let k be s(-8). Solve l + 4*l + k = -2*c, 2*c = l - 8 for c.
-4
Let r = -32 - -48. Suppose 2*k + r = -y + 6*y, 4*k = 2*y. Solve 3*c - 7 = -k*d, -d - 3*d = 3*c - 5 for c.
3
Let i(t) = t + 4. Let b be i(-6). Let y = 7 + b. Suppose -12 = 3*j + 3*l, y*j - l - 6 = -2. Solve -2*v + 4*h = v + 10, -v - 2*h = j for v.
-2
Suppose -3*z + 0*z + 5*n + 20 = 0, n + 4 = 0. Let f be (-3)/6*(0 - z). Let s be 4/1 - (f + -1). Solve 5*w = -a - 25, -s*w + 2*w + a - 15 = 0 for w.
-5
Suppose -4*a + 2*j + 148 = 0, 5*a - 106 = 2*j + 78. Suppose -3*c + a = c. Solve 4*q = 5*d, 4*d - 4*q - c = q for d.
-4
Let h(a) = 2*a**2 - 3*a + 3. Let j be h(2). Solve -4*i - 4*b + 7 = -j*b, -3*b = 4*i + 5 for i.
1
Let r(i) = -i**2 + i. Let q be r(0). Suppose q = -7*y + 10*y - 15. Suppose -3*k = 0, 5*v - 125 = 2*k - 0*k. Solve -y*n + 2*g - v = 0, g = 2*n + 3*n + 20 for n.
-3
Let j be 81/15 - (-10)/(-25). Suppose j*r = b + 32, 3*r + 0*b - 20 = b. Solve 4 = -2*n, -5*c - n + 4 = r for c.
0
Let f = -20 + 23. Suppose -11 = -f*c + 1, -5*y - 4*c = -46. Solve 0 = -3*x + y*u - 2*u + 23, x = -3*u - 1 for x.
5
Let i(c) = 5*c**3 - c**2 - c + 1. Let h be ((-2)/(-4))/(3/(-6)). Let z be h/2*(-4 - -2). Let g be i(z). Solve -4*p + 13 - g = 5*j, j = p for p.
1
Suppose -4 = 4*r - 20. Suppose -5*f + r + 6 = 0. Suppose -4*b + 8 = -f*b. Solve 5*y + 9 = -4*h, -y + b*y + 5*h + 8 = 0 for y.
-1
Suppose 15 = 2*n + 3*n. Suppose -f + 4*k + 1 = 0, n*k = 5*f - 0*k - 5. Let h = 10 - f. Solve -5*d = -j - h, -5*d = -0*j + 2*j + 3 for j.
-4
Let v be -1 - -12*4/8. Solve 0 = c - v*c - 2*d - 2, -12 = -4*d for c.
-2
Let g be (-5 + 2)*(-4)/(-6). Let l = 6 + g. Solve -12 = l*j, 3*m + 2*m = j + 8 for m.
1
Let a be (-1)/((-4)/20) - 5. Solve -22 = 4*w - i, 0*w + w - 4*i + 13 = a for w.
-5
Suppose 0 = 2*k + 2*k + 2*c - 14, -3*c = -15. Solve -2*f + 11 = -x, -2*f + 2*x + 13 = k for f.
5
Let m be (-2*6/3)/(-1). Solve -s - o = -1, -s + m = 3*s - o for s.
1
Suppose 5*k - 18 = w, -2*w - k - 16 = -6*k. Let m be 3*(4/(-3) + w). Let g be (-1)/((-4)/(-5) - 1). Solve -g*z + 3*z - m*x + 8 = 0, -5*z + 3*x = 12 for z.
0
Let z(n) = n + 4. Let g be z(0). Suppose 6 - 14 = -2*u. Suppose 5*t = -u + 29. Solve 9 = -4*p - t*w, 2*p = -p - w - g for p.
-1
Let v(g) = 2*g + 10. Let x be v(-3). Solve 0 = 5*k + 10, -3*y - 1 = -5*k + x for y.
-5
Let a be 4/((10/(-5))/(-2)). Solve -2*h = 2*o - 8, a*h - 16 = -0*o + 3*o for o.
0
Let v be 4 - 3 - (-3 + 1). Suppose s + 1 = 0, -2*s = -5*u + s + 18. Solve -v*c + 14 = -2*c - u*g, c - 2 = -g for c.
5
Suppose 3*q - 4*c - 37 = 0, -2*q - 5*c - 6 = -0. Solve -3*t = 2*t - 20, -2*t = -r - q for r.
1
Suppose 10*p = -3*p + 156. Solve 0 = -2*d + 10, -d = l - 4*d + p for l.
3
Suppose -12 = -2*a + 2. Solve 4*x + 5 = -2*r - a, 2 = -5*r + 4*x for r.
-2
Let q be 3/((-2)/(-2 - 0)). Suppose 0 = -q*j - j + 20. Suppose 1 - 4 = -u. Solve -j*k + 1 = a, -2*k = -0*a - u*a - 14 for k.
1
Suppose -2*h + 4 = 0, 13 = a + 5*h + 1. Solve -a*j = 2*b, 3*j = -0*j - 4*b - 3 for j.
3
Let x(o) = 2 + o + 0 + 6 - 1. Let l be x(-4). Solve 3*j = -z + 15, -j + 4*j = l*z + 15 for j.
5
Let g be 0*1*(-2)/(-4). Let w = g - -3. Solve -8 = 2*p + 3*m - 3, 0 = w*m + 9 for p.
2
Let c(a) = -a - 6. Let l be c(-6). Suppose 4*m - 9 - 3 = l. Solve 0 = -5*q + 4*x - 30, m*x - 5 = -5*q - 0 for q.
-2
Let p = -11 + 26. Suppose 0 = 3*o + p, -19 = -3*m - o + 3. Suppose 2*h + v - m = 0, -4*v + 21 = 5*h - 3*v. Solve 15 = 5*g + 4*q, -g + h*q - q - 16 = 0 for g.
-1
Let z(r) = -r**3 - 11*r**2 - r - 1. Let w be z(-11). Solve 5*y - 5*h - 3 + 28 = 0, -w = 2*y - h for y.
-5
Suppose 22 - 7 = 5*y. Solve 0 = 5*u + y*s - 25, 0 = -6*u + u + 5*s - 15 for u.
2
Let f(j) = -j**3 + 7*j**2 + j - 2. Let u be f(7). Solve u*r - 27 = -c, 3*c - 16 = 2*r - 4*r for r.
5
Let d = 10 + -8. Solve 2*q - 4 = 3*y + d, -4*y = 0 for q.
3
Suppose 10 = -l + 3*s, 0 = -5*l + 3*s + 1 - 3. Solve 0 = -5*y + 3*k - l, -5*y + 4*k + 1 - 2 = 0 for y.
-1
Let g = 65 - 50. Solve 0 = -t + 2*f + 3*f - g, -5*t + f + 21 = 0 for t.
5
Let k(w) = -w**2 - 5*w - 1. Let h be (-3 - -1)/((-2)/(-4)). Let t be k(h). Solve 0 = 2*a - a - 2*y + 5, -5*a - t = y for a.
-1
Suppose -4*v = 2 - 26. Let g = 9 - v. Solve -u = 2*t + 15, 2*u = 4*u + g*t + 25 for u.
-5
Suppose 4 = 5*w - i, 4*i = 2*w - 2 + 4. Suppose 0*h - 3*h = 2*h. Solve h*b + w = -b + 2*f, 0 = -2*f + 4 for b.
3
Let v = -3 + 6. Suppose -3*l + 2*z - v = -7, -2*l - 4 = -3*z. Suppose 31 - l = 3*f. Solve -1 = 4*r + 11, 0 = g - 2*r - f for g.
3
Let w be (-64)/(-12) - (1 + (-6)/9). Solve -2*k = 2*h + 2*k - 6, 9 = 3*h + w*k for h.
3
Let b = -25 - -52. Solve -u - 3*g = 22 - 5, 3*g = -3*u - b for u.
-5
Suppose -2*f - 3*g = 5, 0 = 3*f + 2*g + 1 - 6. Solve 0 = -5*x - 3*k - 9, 0 = -x + 4*k + f + 7 for x.
0
Let a = -6 - -6. Solve -p = -5*x - a*p - 17, 5*x + 9 = -3*p for x.
-3
Suppose 0 = -3*v + 1 + 8. Suppose 4*t - 8 = v*t - 5*h, t = 3*h. Solve 4*q - 4*c = -t*c + 10, -2*q - 4*c = -14 for q.
3
Let l be (-4)/(-18) - 21/(-27). Let m be ((-2)/2 + l)/1. Solve 4*c - 4*i = -12 - 12, m = 5*c + 4*i + 12 for c.
-4
Let f = 68 + -64. Solve 2*n = f*y - y - 13, -4*y + 9 = -n for y.
1
Let f be (3/9)/((-1)/(-39)). Let y = 8 + -2. Suppose 0 = k + k - y. Solve -7*m + k*m - 4*q - 28 = 0, -4*q = -m + f for m.
-3
Suppose 2*i = -100 + 108. Solve 3 = i*v + d, 2*v - 2*d - 9 = -d for v.
2
Suppose 334*z = 327*z + 14. Let w(y) = -y**3 + 5*y**2 + 6*y + 2. Let l be w(6). Let u = 4 - l. Solve -5*b - 11 = u*s, -4*b - 6 = -z*b for s.
2
Let h = -21 + 23. Solve 4*d + 7*k - 4*k = 8, h*k + 18 = 2*d for d.
5
Suppose 5*t - 79 = -4. Suppose 0 = -5*j - 0 - 10. Let c be (7/j - -3)*-6. Solve 2*p = h + 5, -t = 8*h - 4*h - c*p for h.
-3
Let k(n) = -n**3 + 5*n**2 + 5*n + 7. Let b be k(6). Let o be 1 - (0 + b + -14). Solve -i - q + o = -4*q, -3*i + 12 = q for i.
5
Suppose -2*a - 10 = -7*a. Let s(w) = w. Suppose -3*y = -2 - 7. Let j be s(y). Solve 0 = j*f - a*o - 1, 0 = 5*f - 3*f - 2*o - 4 for f.
-3
Suppose -3*o = n - 3*n - 18, -3*o + 12 = -4*n. Suppose 4*c - 3*i + o = 0, 4*i + 3 - 24 = -5*c. Solve -5*w = -4*l - 2 + c, -1 = l - 2*w for l.
1
Let b(j) = -j**3 + 13*j**2 + 13*j + 15. Let c be b(14). Suppose c = r - 1. Solve 5*z = 2*q + r*q - 45, -5*q = 3*z - 10 for q.
5
Suppose -3*f + 5 = -7. Let u = 3 - -4. Let a(y) = y**2 - 6*y - 3. Let s be a(u). Solve -5*o + s = f*w - o, -w = 5*o - 5 for w.
0
Let i be (4 + 28/(-6))*-6. Solve -q + 4*y = 16, 3*q + 2*y = i*y + 2 for q.
4
Suppose 5*t = -2*q + 14, 4*t = t + 2*q + 2. Suppose -5*l - 3*k - t*k = -35, -5*l - k + 23 = 0. Solve 0 = 5*d - 2*j - 4, 8 = -0*d - l*d - 4*j for d.
0
Suppose 5*k = i - 29, -i + 4*k - 16 = -3*i. Solve -b + 12 = 4*n, -5*b + 4*n = n - i for b.
4
Suppose 0 = -32*g + 36*g - 16. Solve 0 = -3*h + 6*h - 5*p + g, h + p = -4 for h.
-3
Suppose 3*a = -3*q + 18, 5*q