 l + 7 = -0*l. Suppose -3*j = 6, 3*z + 4 = z - x*j. Solve -z*n = -5*a - 5, n + a - 8 = -2*a for n.
5
Let v(o) = 4*o + 1. Let g be (-4)/6*225/(-6). Let k = g - 24. Let b be v(k). Solve 9 = -5*x - 11, j = b*x + 15 for j.
-5
Let n(g) = -g**3 - 5*g**2 + 5*g - 1. Let o be n(-6). Let i = o + -4. Solve k - 3*z = 5, 2*k + 2*z + i = 3 for k.
2
Let c(m) = 6*m**2 - 3*m + 1. Let g be c(1). Let k(q) = 6*q - 9. Let d be k(g). Solve 17 = -4*n - j, -3*n - 4*j = d + 1 for n.
-4
Let i be (-3)/(4/((-24)/9)). Suppose -6 = i*y - 14. Solve -4*u = 5*h + 16, 9*h = -2*u + y*h - 18 for u.
1
Let a(j) = 2*j - 5. Let y be a(-16). Let o = -32 - y. Solve 8 = g + 5*p, o*g - 10 = p + 4*p for g.
3
Suppose 4*s + 3*i = 35, -4*i + 21 = 2*s + s. Suppose s*k - 16 = 7*k. Solve 3*o + 4*b + 0 = -2, 3*o = -5*b - k for o.
2
Let q be (3 + (-44)/8)/((-5)/10). Solve -3 + 34 = 2*z + q*y, 4*z + 3 = 3*y for z.
3
Let l be 0 - 10/45 - (-4)/18. Suppose l*i + 6 = 3*i. Solve -i*f - 2 = -t - 3*f, 3*f = -t + 10 for t.
-2
Let x(y) = -2*y + 5. Let b be x(-5). Let r = -4 - -8. Solve 0 = 3*p + 3*f + 18, r*p = 3*p - 4*f - b for p.
-3
Let r be 63/18 - (-3)/6. Suppose -3*u + 2*c + 3 = 3*c, 8 = -2*u - r*c. Solve -4*o + 12 = 2*d - 4, -u*o - 12 = -4*d for d.
4
Let s = 95 + -91. Suppose -5*a + 25 = -5*r, -s*r - 25 = 4*a + r. Solve -6 = -2*h + 7*h + m, a = 5*h + 3*m - 2 for h.
-2
Let b(m) = 4*m + 9. Let u be b(-9). Let a = 31 + u. Suppose 8 = q + a*x, q - x - 3 = 5. Solve -3*r - r = -5*i + 5, 4*i - 4*r - q = 0 for i.
-3
Let x(p) = p**3 + 7*p**2 + 2*p. Let d be x(-5). Let b = -326 - -329. Suppose b*s - d = s. Solve -3*n + 4*n = -4*f + s, -5*f = n - 24 for f.
4
Suppose 4*f = -3*g + 161, 0 = -2*f - g - 2*g + 79. Let h = -37 + f. Solve 8 = -4*z + h*m, 0 = -0*z + 5*z + m + 10 for z.
-2
Let z(n) = -n**2 + 7*n + 10. Let a be z(8). Let q = a + 0. Solve -2*x = -v - 4, 40 = 5*v + q*x + 12 for v.
4
Let o(m) = m**3 - 8*m**2 + 7*m + 3. Let s be 2 - (3 + 2)*-1. Suppose -s = 7*x - 8*x. Let y be o(x). Solve y*v - 4*j + 26 = 0, -3*v + 4*j - 16 = -5*v for v.
-2
Let i be 63/(-84)*(-17 + 1). Solve i = h + 2*x, 19 + 9 = 2*h + 5*x for h.
4
Suppose 0 = -4*k - 5*v + 105, -v + 13 = k - 12. Solve 3*t + n = 4*n - 21, -2*n + k = -5*t for t.
-2
Let s be 87/(-12) + 10/8. Let b be 2 - (s/(-27) + (-4)/18). Solve b*n - 5*t - 33 = -0*t, -3*n - 13 = 5*t for n.
4
Let c(a) = -a**2 - 10*a + 9. Let u be c(-11). Let n be ((-32)/(-56))/(u/(-7)). Solve -2*r + 6*r + 4 = -n*f, -4*r = f for r.
1
Let i be 114/(-7) - (-2)/7. Let c = i - -27. Suppose -u - 12 = -5*u. Solve 2*j - 1 = -u*o, -j + 5*j = -3*o + c for j.
5
Suppose 11*h - 12 = 21. Solve -2*a + 5*v = -5*a + 13, 0 = -h*a - 4*v + 11 for a.
1
Suppose -5*z - 9 = -2*i, i - 1 = -3*z + 2*z. Solve -5*k + 11 = -2*m - 3, -i*m + 10 = k for m.
3
Let g = 29 + -21. Let z = -4 + g. Solve -17 = -5*r + z*b, -r + 4*r + 2*b = 19 for r.
5
Suppose m - 1 = -4*n + 7, 4*n = 8. Suppose m = -3*p + 4*p - 8. Let b = p - 3. Solve -b*k + 0*k = -25, -3*g - 4*k = -23 for g.
1
Let j = -3 - -5. Let u = 159 + -170. Let f be (j - u/(-4))*-4. Solve -4*p - 6 = -2*c, 4 - f = 2*p - 5*c for p.
-2
Let t = 13 - 4. Let f = t + -16. Let n be (-7)/f - (-4 + 2). Solve 3*d + n + 9 = 4*m, 0 = 4*d - 5*m + 16 for d.
-4
Let n = -386 + 388. Solve -5*u - 13 = -n*t, 5*u - 13*t + 17*t - 11 = 0 for u.
-1
Let x(j) = 14*j + 145. Let g be x(-10). Suppose -3*v + 12 = w, 4*v - w - 5 = -6*w. Solve -5*z = -v*r, -4*r = -g*z - 4 + 2 for z.
-2
Let g be (9 + -3)/(-1*1). Suppose -d + 2 + 3 = -3*p, p - 1 = d. Let c be d/5*15/g. Solve -4*r = -c*x - 22, -11 = -7*x + 4*x - 5*r for x.
-3
Let a(h) = 3*h + 1. Let c be a(5). Suppose -3*u + c = u. Let m = 1412 + -1405. Solve -35 = -4*p + 5*v, u*p + 4*v = 3*p - m for p.
5
Suppose -2 = -3*t + 1, 2*t + 2 = 2*n. Let l be (2 + n)/(-5 - -6). Let m = 5 + l. Solve -3*j + m = 3*y, 0 = -4*j + y - 3*y + 4 for j.
-1
Suppose 0 = -2*l + 7*l. Suppose -1 = -c - l. Let g be 3/6*(c + 3). Solve -h - g*o = -4*o + 4, 2*o + 4 = -3*h for h.
-2
Let g(q) = q - 2*q - 3 + 0. Let h = -52 - -47. Let u be g(h). Solve 0*z + 5 = u*m + z, -4*m + 4*z + 28 = 0 for m.
4
Let k(r) = r**2 + 5*r - 9. Let u be k(-9). Suppose 6 = 3*o - 3. Suppose o*p - 2*h - 12 = 0, 5*p + h - u = -7. Solve p*d + d + 3*n = -27, -d + 4*n = -13 for d.
-3
Let k(y) = -3*y - 9. Let f(s) = 13*s + 37. Let q(j) = -2*f(j) - 9*k(j). Let w be q(-3). Solve 0 = n + 4, -w*n + 41 = -5*i - 8*n for i.
-5
Let d be ((-6)/(-7))/(24/84). Solve 15 = 5*k + 5*p, 5*k - d*p - 23 = -4*p for k.
5
Suppose 3*c - 6*c + 12 = 0. Solve -2*g + 9 = g + k, c*g = -5*k + 1 for g.
4
Let s(u) = u**2 + 5*u - 4. Let n be s(-6). Let k(r) = -r**2 + 31*r - 231. Let t be k(18). Solve 0 = 4*l + 4*h - 12, -t*l + 3*h - 15 = -n*h for l.
0
Suppose -4 = -5*r + 1. Let j = r - 1. Suppose -z + 8 = -0*m - 2*m, 3*z = -2*m. Solve 10 = y - 2*v, z*y = -j*y + 3*v + 17 for y.
4
Let s(n) = -n**3 + 8*n**2 + 15*n + 2. Let q be s(7). Suppose -16*c = -13*c - q. Let m be (-20)/6*(-12)/8. Solve -y - 15 = -m*v, 17 - c = -5*v - 3*y for v.
4
Let q(h) = 17*h**2 + 3*h - 13. Let f(m) = -m - 2*m**2 + 0*m**2 - 2*m**2 + 3. Let o(b) = -9*f(b) - 2*q(b). Let l be o(2). Solve c = -5, 2*j + 5*c = -j - l for j.
4
Suppose 5*k - k + 24 = -4*w, -49 = 4*k - w. Let u = -7 - k. Suppose -4*f - 28 = -p, -9*f = -14*f - 15. Solve c - 3*c + p = 4*t, -u*t + 10 = 5*c for t.
5
Let l(x) = -2*x**3 - 2*x**2 - 2*x - 2. Let k be l(-2). Solve -k = -2*v - 5*o + 5, 4*o = 2*v + 30 for v.
-5
Let p be 0 + 25/1 + 1. Let n(o) = 13*o - 114. Let c be n(7). Let i = c + p. Solve -i*a - q = -a + 3, -6 = a - q for a.
-3
Let v = -339 - -343. Suppose 2*p + w = 4 - 0, 8 = -2*w. Solve p*f + 4 = -v*z, 2*z + z = 5*f - 11 for z.
-2
Let a(u) = 4*u**2 + 2*u + 1. Let r be a(-1). Suppose 0 = 4*d - r*z - 11 - 12, -z - 13 = -2*d. Solve 4*x + 3*m = -32, -x = -4*m + d*m + 21 for x.
-5
Suppose 42*r = 113 - 29. Solve 4*k = -5*w + 2*k + 8, -w - r*k = 0 for w.
2
Suppose 24*t - 25 = 29*t. Let f be (-2)/t + 161/35. Solve 0*h = h + m - f, 0 = -4*h + 4*m + 4 for h.
3
Let s(w) = -2*w**2 + 15*w - 2. Let z(t) = t**2 + 5*t - 7. Let u be z(-7). Let o be s(u). Solve 3*f = -5*q + f - 13, -o*f - 20 = 0 for q.
-1
Let u = -25 + 30. Suppose 2*h + 0*h + 3*n = 1, 3*h - u*n - 11 = 0. Solve -5*t - 24 = h*z, 5*z - 5*t - 2 - 8 = 0 for z.
-2
Suppose -4*x = 2*k - 6, -2*k + 1 = x - 8. Solve 5*n + 16 = -k*w + 6, -2*w = 4*n + 14 for n.
-5
Let m be (-28)/(-21)*(-9)/(-4). Suppose 5*b - 5 = 5. Solve 0 = 3*v + 6, -10 = b*y - y + m*v for y.
-4
Let y(l) = 4*l**2 - 1. Let o be y(1). Let x be 9/o + (-11)/(-1). Suppose 5*v = 6 + x. Solve -4*u = -v, 0 = w - 0*w - 3*u + 7 for w.
-4
Let m = 539 - 534. Solve -m*l + 5*a + 8 = -22, 22 = 3*l - 4*a for l.
2
Let p = -1689 - -1691. Solve -5*v = -q - 18, 0 = -p*v + 5*q - 0*q + 21 for v.
3
Let a(r) = 3*r**2 - 2. Let l be a(-2). Let u = l + -7. Solve 4*m + p = -1, u*m + 17 = -2*p - 2*p for m.
1
Let d(w) = -15*w**3 + w**2 - w - 1. Let r be d(-1). Solve -z + 4*x - 23 = 0, 0 = -4*x + 4 + r for z.
-3
Let k = 982 + -979. Solve 8 = -w + 2*r, 5*w + 6*r = k*r - 14 for w.
-4
Suppose 10*g = 13*g - 6. Solve -5*u = 5*x - x - 7, 0 = 5*x - g*u - 17 for x.
3
Let b = 0 + 3. Suppose -2*x + 2*n + 18 = 3*x, 2*x - 11 = -b*n. Solve -2*u = -x*i + 2*u - 24, 5*i = u - 26 for i.
-5
Suppose -5*r + 2*i = 4*i - 4, -3*i = -r - 6. Suppose x - 4*k + 6*k - 5 = r, -4*x + 2*k = -20. Solve 4*l - 7 = -3*a, -x*l - 2*a + 4 + 3 = 0 for l.
1
Let y = 386 - 382. Solve i + 1 = 4*b + 17, -y*i = 5*b + 20 for b.
-4
Let s(h) = -h**3 + 14*h**2 - 10*h - 16. Let q be (3 - 2)/((-3)/(-39)). Let c be s(q). Solve -3*o + 3*y + 18 = 0, 0 = 3*o - y - c + 7 for o.
5
Let c be 2/(-4)*(-1 - (8 - 1)). Let j be (5/2 - 1)/(c/8). Solve -4*w - 6*u = -3*u + 3, -3*u = j*w for w.
-3
Suppose -352*t + 356*t = 0. Solve -o - 5 = -t*c - 4*c, -c - 2*o = -8 for c.
2
Let d = 63 - 57. Suppose 0 = d*x - 6 - 24. Solve -4*t + 4*q - 6*q + 6 = 0, -9 = 4*t + x*q for t.
4
Suppose p = 5*p. Suppose -3*f + 16 = 4*x, -5*f + 0*x + 3*x + 17 = p. Let b(g) = 5*g + 60. Let v be b(-11). Solve -v*d + c + 0*c = 3, 0 = 2*d + f*c + 10 for d.
-1
Suppose 3*w - 78 = -w + 5*f, 5*w = 3*f + 104. Let v = -16 + w. Suppose 6 = 14*g - 8. Solve -3*d - g - v = 2*u, -u = -d - 4 for u.
1
Let q(f) = -f - 17. Let y be q(-17). Let o(v) = -v**3 - 2*v**2 + v + 5. Let i be o(y). Solve -i*s = -b + 22, -2 = 3*b + s + s for b.
2
Le