 + 1 = -y + 5, 0 = n - y for n.
-4
Let c(l) = 2*l**3 + 2*l**2 + 5*l + 3. Let v be c(-3). Let u = v - -50. Solve -2*b + 5*k + 9 = -4*b, b + 4 = -u*k for b.
-2
Let i = 1 - -5. Let n(a) = a**2 - 7*a - 8. Let v be n(i). Let d = v - -18. Solve 3*t + 8 = -j, 0 = 4*j + d*t - 3*t + 10 for j.
-2
Let p(o) = -o**3 + 4*o**2 + 2*o - 2. Let h be p(4). Suppose 0 = -5*u + h*u - 3. Let m be (2 + 36/15)*5. Solve -k + 4*b + 14 = 0, -u*k + 0*k = 4*b + m for k.
-2
Let s be -3 + (3 - -4 - 0). Suppose s*c - 39 = 89. Suppose 7*f - c = 3*f. Solve -5*o + 8 = v, -5*o + f*o = -v + 4 for o.
2
Suppose -2*n = -2*c - 0 - 4, 0 = 5*c. Suppose 2*g = k + 7, 3*k + 8 = 17. Solve -n*a - a - g*h = -1, -4*a + 4*h = 20 for a.
-3
Let l(i) = 9. Let b(t) = t + 27. Let z(v) = 4*b(v) - 11*l(v). Let s be z(-4). Let r = 12 + s. Solve -23 = 2*m + r*d, 0 = -m - 3*d - 7 - 7 for m.
1
Let z be 4/10 + (-39)/(-15). Let t = 40 - 35. Suppose 0 = t*o - 40 - 0. Solve 2*w - 4*n = -o, -z*w + 3*n = 8*n + 12 for w.
-4
Let f(g) = g**2 - 8. Let q be f(5). Suppose 2*z = k + q, -z - 2*k + 3 = -13. Solve -5*m + z*m = 2*n - 10, -3*n - 27 = 3*m for n.
-5
Suppose -12*k = 68 - 104. Solve -4*f + k*w = -10 - 5, 4*w + 4 = 0 for f.
3
Let m be 3/(-6)*(2 + 4)/(-1). Solve -f = i + 1, 5*i - 23 = -f + m*f for f.
-4
Let a be 5/(-7) + 2/(-7). Let f(s) = -2*s. Let c be f(a). Suppose -6*g = -26*g + 120. Solve -c*y - 3*d = -g*d - 20, -y = -3*d - 16 for y.
4
Let o = -339 + 364. Solve 0 = 8*u - 9*u + 5*x - 5, -5*u - 3*x - o = 0 for u.
-5
Let z(n) = n**3 - 3*n**2 - 4. Let q be z(3). Let s be (20/8)/((-2)/q). Suppose s*m - m = 0. Solve o - 5*r - 23 = 0, 8*o - 4*o + r - 8 = m for o.
3
Let r(l) = -l**2 + 8*l - 8. Let h be r(7). Suppose -1 = 3*z - 2*z. Let f be 1/(0 - z) - h. Solve 3*y = -k + 13, f*y + 3*k + 4 = 22 for y.
3
Suppose 0 = 4*a + 8, 0 = -2*l - a + 3*a + 44. Let f be 8 - (-2 - l/(-5)). Solve z = -2*m - 1, -z - 4*z + f = -m for m.
-1
Let d be (-1 + 3)*(-18)/(-12). Suppose -4 = d*t + 2. Let s be t/6 + (-150)/(-18). Solve -r - 3*l = -12, 2*r = 4*l - 2*l - s for r.
0
Suppose -s + 4 = -3*r - 15, 0 = s + 4*r + 9. Let c(w) = -w**2 + 11*w - 25. Let z be c(s). Solve -3*m + m + z*u = 20, 3*u = -4*m - 4 for m.
-4
Let o = -3 - -20. Let y be 216/60 + (36/15 - 2). Solve o = 5*d - y*r, -d - 2*r + 11 = r for d.
5
Suppose -2*y - 4 = 3*i, 11 = y - 31*i + 26*i. Solve 0 = -k + y, -b = -2*b - k - 2 for b.
-3
Let q be 78/42 + 6/42. Solve w - 5*w + 4 = -3*a, q*a + 16 = -4*w for a.
-4
Let v = 347 + -347. Solve -4*k + 4*h = 20, -4*k + v*h = -2*h + 14 for k.
-2
Let m be (-1 - -4) + 2*11. Let f be (-10)/4*(-10)/m. Let n = -56 + 61. Solve n*c + p + 11 = 0, -f = c + 2*c - 5*p for c.
-2
Suppose -d + 2 = -5*l, -16*d + 2 = -15*d - 4*l. Solve -m = -5*s + 26, 28 - 1 = -d*m + 5*s for m.
-1
Suppose -2*i - 116 + 3 = 5*q, -4*i = 2*q + 218. Let f be (-15)/18 + (-693)/i. Solve a + 8*y - f = 3*y, 3*a + 15 = 2*y for a.
-3
Let k be (10/12)/((-5)/(-30)). Solve 2*n + k*q = -14, n + 0*n + q = -4 for n.
-2
Suppose 18 = 2*o + o. Suppose -8 = -16*p + 17*p. Let g be (-39)/p - 1/(-8). Solve -g*i - 5*t = 35, -5*t = o*i - 3*i + 29 for i.
-3
Suppose 2*i = -i + 15. Suppose -l = -4*t - 3*l + 198, 0 = i*t + 2*l - 250. Solve -2*s - 4*f = -12, -4*s + 11 - t = -5*f for s.
-4
Let y = -703 - -710. Solve k + 6*v = v + y, -3*k + 4 = -2*v for k.
2
Let v(p) = p**2 + 2*p - 3. Suppose -t = -x + 3, 0 = 3*x - 0*t + t - 5. Let a be v(x). Suppose -a*q + 9*q = 0. Solve -5*z - 6 = -3*m - q, -z = 2*m + 9 for z.
-3
Let s be 82/12 + (-6)/(-36). Solve 0*o = 4*o + 2*y + 2, 4*y = 3*o + s for o.
-1
Let r = 831 + -829. Solve 3*y = 4*l - r*y - 3, y = l - 1 for l.
2
Let g = 4 - -2. Suppose -g*s + 2*s = -16. Solve 0*n = -s*c + 5*n + 13, 2*n + 22 = -4*c for c.
-3
Let o be (-1*(-4 - -6))/(-1). Suppose 5*h + o*h = 0. Suppose 30 = 3*c - h*c. Solve 5*t + 5*i = -0 + c, -3*t + 4 = i for t.
1
Let i be 4/16*-7*-24. Let a = i + -39. Let u = 4 + -2. Solve -u*x - 2*o + 1 = -5*x, a*x + 21 = -3*o for x.
-3
Let i = -47 - -49. Suppose 2*f - 4*f + 19 = -s, 0 = 2*s - i. Solve -4*d - f = -2*p, -5*p - 2*d + d + 14 = 0 for p.
3
Suppose -f + 31 = 26. Solve m - 3*j + 14 - 2 = 0, 20 = -4*m + f*j for m.
0
Let k(x) = 6*x**2 - 2*x + 1. Let z = -9 - -10. Let r be k(z). Let g(m) = -m**2 + 6*m + 6. Let n be g(r). Solve 0 = u - 2*y + n, -5*y + 0*y = -15 for u.
-5
Suppose 28*n - 11 = 26*n + 3*i, 0 = 5*n - i - 21. Solve 0 = n*r + 2*s + 4, -4*r - 2*s = -3*s + 16 for r.
-3
Let g(p) = -2*p + 16. Let w be g(0). Let b = w - 16. Solve -3*r = -l - 3 - b, 0 = 4*r + l - 4 for r.
1
Let x = 1002 - 1000. Solve 4*i = 4, x*h - 5*i + 5 = -4*i for h.
-2
Let i = -20 - -23. Suppose -5*o = 5, -2*m + i*m + 1 = -3*o. Solve 2*c + 0*c + 2*j - 12 = 0, 5*j = m*c + 16 for c.
2
Suppose 3*g + 9 = 2*g. Let x = -4 - g. Solve n = 0, -2*c + 0*c + 10 = x*n for c.
5
Suppose -17*p - 25*p = 0. Solve r - 1 = u, -4*u - u - 5*r - 25 = p for u.
-3
Suppose r - 11 = 5. Let u be 2/(-9) - 174/(-54). Suppose 2*t - 51 = 1. Solve u*x - t - 4 = -5*g, 0 = 2*x + 2*g - r for x.
5
Suppose 17*j - 21 = 14*j. Let m = -2 + 6. Solve 0*i = -3*p + m*i, -2*p + 5*i = -j for p.
-4
Let l = 0 + -7. Let m(d) = -d**2 - 6*d + 8. Let w be m(l). Let s(z) = 4*z - 1. Let y be s(w). Solve y*u = -4*i + 15, -i - 25 = -5*u - 0*u for u.
5
Suppose 0*p + w - 6 = 5*p, 0 = -2*w + 2. Let z be p/(-1*(-4)/(-12)). Let o be ((-24)/(-14))/(14/49). Solve -2*i - 3*j + o = 0, -21 = 3*i - 0*i - z*j for i.
-3
Let c = -2 - -6. Let l be 4/(-10) + 323/95. Suppose -5*w - 5*u = 15, -u = 4*w - 0*w + l. Solve 5*h - h + 3*q = 0, w = c*h - 4*q for h.
0
Let c be 4*(-4)/8 - -9. Suppose -c = 2*t + 5. Let g be t/15 - (-17)/5. Solve 0*q = 2*q + 5*f - 10, 15 = g*q + 2*f for q.
5
Suppose -15*w - 5 = 10. Let d be 7 + (1 + 3)*w. Solve -d*z = 3*b, -4*b + 2*z + 0*z = 24 for b.
-4
Let t be (-13 - 200/(-16)) + 10/4. Solve t*n - 4*b - b = 10, -6 = -2*n + 4*b for n.
-5
Suppose -8*f = -26*f + 36. Let t be -10 + 3 + -1 + 1. Let n be ((-12)/t)/2*14. Solve -6*d = f*j - d + n, -3*j + 3*d = -3 for j.
-1
Let d = 89 + -87. Solve -4*k + 2*q + 14 = 0, -2*k + 0*k + d*q + 10 = 0 for k.
2
Let j(i) = -5 + 4 + 5*i**2 - 34*i + 13*i + 17*i. Let h be j(3). Solve 0*a + 2*a + 23 = -5*p, -5*a - h = 4*p for p.
-3
Let m(n) = 2*n**2 - 2*n - 1. Let h be m(2). Let r(z) = 9*z**2 + 6*z - 5. Suppose 5*d = 2*d + 3. Let v be r(d). Solve h*s + v = -w - 1, -5*w = 10 for s.
-3
Let k be (20/(-36)*-6)/(16/24). Let j(y) = y**2 + y. Let l(i) = -1. Let b(c) = j(c) - l(c). Let n be b(0). Solve -o = -2*h - n, -3 = -k*h + 4*h - 3*o for h.
0
Let n = 246 - 244. Solve -3*w - 12 = 3*r, n*w - 8 = 2*r - 3*w for r.
-4
Suppose r = -l - 7, -5*l - 3*r - 39 = -6. Let j be l/27 - 58/(-18). Suppose -j*p + 17 = 2. Solve 2*y = 4*x - 2*x - 2, 3*y = p*x - 1 for x.
-1
Suppose -3*n - 12 = -2*x, 11*n = 5*x + 8*n - 12. Let f = 4 - 0. Suppose f*c + x*c = 0. Solve c = 4*w + 16, 12 = 5*z + 2*w for z.
4
Let b be (4/6)/(21/630). Solve -5*a + b = -v, -6*a = -v - 5*a for v.
5
Suppose 6*h - 29 = -11. Solve h*r - 5*u + u = 1, 0 = -2*r - 3*u - 5 for r.
-1
Let w(x) = 2*x**2 + 0*x**2 + 7*x**2 - 9*x + 13 + 0*x**2 + x**3. Let l be w(-10). Solve -2*q + 0*n - n + l = 0, -3*n = -15 for q.
-1
Suppose 4*d - 23*d + 95 = 0. Solve 2*p + 4 - 19 = -d*b, p = 4*b - 12 for p.
0
Let d = -22 - -22. Suppose 2*r - 3*s = -2*r + 2, -2*r + 5*s - 6 = d. Solve 20 = -4*f - r*o, -3*o + 6 = 5*f + 32 for f.
-4
Let p be 6/(-6) + (1 - -2). Suppose w - 4*v + 7 = 0, 2*v - 26 = -2*w - p*w. Solve -w*x = 3*u + 11, -u - 16 = -5*u + x for u.
3
Suppose n + 10 = d, -2*d + 3 + 2 = 3*n. Suppose -5*k = -d*k + 8. Solve 6*f - 24 = 4*f - 5*z, k*f - 2*z = 0 for f.
2
Let q be 7 - (-20)/((-10)/2). Let j(i) = -15*i + 16*i - q - 1 + 3. Let o be j(2). Solve 3*y = -5*t + o, 4 = t - 3*y - 7 for t.
2
Let o = 5 + -1. Solve 3*v - 5 = -2*i, -5*v + 2 = -o*i + i for i.
1
Let s be -2*3/(-4 + 4 + -2). Suppose -s*l = y - 0*l, 0 = -y - 2*l. Solve y = 2*f - 2*x + 10 - 0, 3*x - 25 = 5*f for f.
-5
Let i(k) = -5*k - 2. Let q be i(-2). Let n(b) = b**2 - 7*b. Let o be n(7). Suppose 4*p - 20 + 0 = o. Solve -5*t = 3*x + q, -p*x - 5*t = 1 + 9 for x.
-1
Suppose 173*w = 172*w + 7. Let v(z) = z. Let y be v(w). Solve 0 = 4*r - 2*x + 22, -3*r + 5*x + y - 41 = 0 for r.
-3
Suppose 2*d - 4*g - 12 = 0, 2*d + 18*g - 10 = 21*g. Solve 0 = -a - 0*a + l, -4*l = d*a + 6 for a.
-1
Let l(y) = 4*y - 5. Let i b