/36) + (-2)/12. Solve 0*l + 4*n = l + g, -3*n = -5*l - 20 for l.
-1
Let x(g) = 9*g - 252. Let y be x(28). Solve 12 = -2*p - 2*p - 2*r, y = 3*p - 2*r + 9 for p.
-3
Suppose 28 = 4*w + 12. Suppose w*y - 3 - 17 = 0. Solve -3*h - y = z + h, z - 3*h - 9 = 0 for z.
3
Let y be -2 - (6/(-10) - (-126)/(-15)). Solve 4*u = -2*h - 8, -5*h + 2*u + u = y for h.
-2
Let p be (-66)/(-17) + (-14)/(-119). Solve 2*j + p*g + 10 = 0, -2*j + 2*g = 3*g - 2 for j.
3
Let l be 4/(-10 - -2)*-36. Let c = 21 - l. Let t be 7 - 3 - 0/c. Solve 4*v + 11 = t*f + f, 0 = -f - 1 for v.
-4
Let g be (-120)/32 + 2/(-8). Let c(o) = -2*o + 6. Let k be c(g). Solve 3*m - 3*u = 3, -2*u + k = 6 for m.
5
Suppose -2*z = 5*o - 31, 3*z - 34 = -3*o - 2*o. Let l be (z - -31)*(2 - 0)/4. Solve -d + 6*s = 3*s - l, 2*d + 2*s + 6 = 0 for d.
2
Let p = -20 + 15. Let g = p + 9. Solve g*q = h + 2, 2*q + h = -3 + 1 for q.
0
Suppose 0 = 2*y - 4*y + 32. Let x = y - 11. Solve -3*i = -x*u - 0 - 5, 4*u = 5*i - 4 for u.
-1
Let r be (-1)/(-4) - (-162)/(-8). Let p = 22 + r. Let d(f) = 5*f**3 - 2*f**2 + 1. Let c be d(1). Solve -n - c*n - p*w + 33 = 0, 2*n = -3*w + 22 for n.
5
Let r be (30/8)/(-19 + 6447/336). Solve -s + 3*x = -2*x + 17, 4*s - r = -2*x for s.
3
Suppose -56 + 11 = -9*j. Solve 12 = j*h - 3*o - 1, -3*h + 3*o + 9 = 0 for h.
2
Let a be ((-175)/(-14))/5*2. Let c(t) = t**2 - t + 17. Let u be c(0). Solve u = 5*h - m, 2*h - 3*m - a = -2*m for h.
4
Suppose 139*o + 120 = 163*o. Solve 5*h + o*w + 4 - 9 = 0, -w + 11 = -4*h for h.
-2
Let n = 126 - 123. Solve -k + 2 = -n*m + 7, -4*m = 2*k + 10 for k.
-5
Let h = -63 - -29. Let o = -34 - h. Solve -4 = 4*w + b, 3*b + 2*b + 20 = o for w.
0
Let j be 5 - (-4 + -1 + 9). Let u be -3 - (-6)/(2/j). Suppose d = -4*d + 30. Solve -2*k + 5*q + u*q - d = 0, 9 = -3*k - 2*q for k.
-3
Suppose -32*q + 28*q + 24 = 0. Solve -2*y + 4 = 0, 0 = 4*s - 2*y - 3*y + q for s.
1
Let d(m) = -2*m**2 + 6*m + 7. Let n be d(-4). Let l = -47 - n. Solve -f + l*f - 5 = -x, -f + 1 = -3*x for x.
1
Let q(t) = t**3 - 5*t**2 - 9*t. Let k be q(7). Let v(x) = -3*x + 119. Let i be v(39). Solve i*m + l = -15, k = -3*m + l - 5*l for m.
-5
Let k(y) = 2*y - 9. Let i be k(8). Suppose 4*t - i = 5. Let z(p) = 4*p - 10. Let q be z(t). Solve 0 = -5*w - 2*h + 18 + 12, h = q*w - 3 for w.
4
Let q = -203 - -225. Solve -5*x = -s - q, -s + 5 = 2 for x.
5
Let a be (5/(-3))/(9/(-54)). Let k be (-2)/(-4)*a + 0. Solve -k*h = 2*n - 12, 14 = -3*h + 5*n + 46 for h.
4
Suppose -2*k - 11 - 27 = 0. Let b = 19 + k. Suppose 0 = 4*n - 8 - b. Solve -4*g = -n*i - 20, 0 = -g + 4 for i.
-2
Let d = -779 + 784. Solve 3*f + 30 = f + 4*v, -3*v - d = 4*f for f.
-5
Suppose -2*n + 0 = -k - 3, -3*k = 4*n - 21. Solve 0*s + 2*x - 7 = -k*s, 0 = 4*s - 3*x + 19 for s.
-1
Let l = 680 - 678. Solve -2*q + 5*b = -l, 3*b = q + 8*b - 1 for q.
1
Let l be (-28)/(-12) + (-2)/(-3). Suppose y + 12 = 4*o, -y - o + 1 + 2 = 0. Solve 2*j + 8 = -l*m - y, 3 = -3*j for m.
-2
Suppose 9 - 14 = -l. Suppose 9 = 2*a + l. Solve 18 = -i - 4*q, -2*i + 24 = -a*q - 2*q for i.
2
Let v(o) = -o - 5 + 0*o - 27 - 6*o. Let f be v(-6). Solve -2*i - 3*r = -7 - 11, -2*i = r - f for i.
3
Let c be 6/((0 - -1) + -2). Let k = 58 + -52. Let m = c + k. Solve -3*x = -b - m*x + 8, 3*b - 10 = -5*x for b.
5
Suppose -3*o + 3 = -0. Suppose 3*c + 11*v - 6*v - 34 = 0, 8 = -4*c + 4*v. Let m be ((-6)/c)/(2/(-13)). Solve 2*n = -0*f + 3*f - m, -4*n - 3*f = -o for n.
-2
Let w(y) = -6*y - 17. Let o(h) = -5*h - 17. Let l(c) = -5*o(c) + 4*w(c). Let a be l(-5). Solve 2*q + 2*q + 5*p = -a, -4*q + 4*p = 12 for q.
-3
Suppose -77 = -25*l - 27. Let t be -2*(-2)/(1 + 1). Let u be t/1*210/12. Solve 4*b = -5*g - b + u, 5*g + l*b - 26 = 0 for g.
4
Suppose -154 = -19*h + 30*h. Let d be (-4)/(-8)*-10 - h. Solve 2*m + 13 = 4*o - 9, 3*m + d = -2*o for o.
3
Let c be (-13)/26*(-8 + 2). Solve 0 = 4*s + u - 2*u - 7, c*u - 9 = 2*s for s.
3
Suppose 0 = 6*n - 18 + 6. Solve -2*m - 1 = -3*d, -9 + n = -5*d + 2*m for d.
3
Let x be -4 + 10/(-5) + -4. Let y(p) = p**2 - 3*p + 2. Let v be y(7). Let c = x + v. Solve -3*s - c = 3*q + 2*s, -20 = 4*q + 5*s for q.
0
Suppose 4*t - 3 = y, 3*t + 3 = y + 4. Suppose t*s - 4*w - 2 = -0*w, 10 = 5*w. Solve -5*j - s*q - 17 = -2*j, 3*q + 7 = -5*j for j.
1
Let h = -122 + 122. Solve 0 = 3*n - 6*n + 3*l - 9, -2*n - 3*l - 6 = h for n.
-3
Suppose -24*j = -5*a - 19*j + 40, 4*a = -2*j + 8. Solve 2*g = -a*b - 3*g + 11, -g = b - 2 for b.
-1
Let c be 0 + -3 + (7 - 2). Solve -c*p = -2*k - 6, 3*p + 15 = -5*k + 2*p for k.
-3
Suppose 4 - 4 = q. Solve -4*l - 8 = -4*p, q = -2*p + 4*p + 4*l - 22 for p.
5
Let n(t) = t**3 + 6*t**2 + 8*t + 20. Let c be n(-5). Solve 0 = -c*p - 5*j, -2*p - 2*j - 3 = 3*j for p.
1
Let d(i) = -i**3 + 12*i**2 - 8*i - 4. Let q be d(11). Solve 4*k - 4*c + q = k, -2*c + 19 = -3*k for k.
-3
Suppose -51 + 43 = -2*l. Solve 12 = -l*k - 3*y, 2*k + 0*y + y = -6 for k.
-3
Let x = -119 + 124. Suppose -3*s + 2*u + 11 = 2*s, 0 = x*s - 5*u - 20. Solve 2*y + 11 = -5*n, -n + s = 5*y + 17 for n.
-1
Suppose 5*y + 4*l = 18, 2*l - 2 = 3*y - 2*y. Suppose y*z = 4 + 4. Solve -3*b - 6 = -f, -2*b + 1 = -f + z for f.
-3
Let k = -39 - -45. Suppose 5*o + d - k*d - 40 = 0, o = -2*d - 1. Let f = 75 + -40. Solve -2*g + 3*g = 4*b - 8, -5*g = o*b - f for g.
4
Suppose -4*i - p + 27 - 3 = 0, 0 = -i + p + 1. Suppose -16 = -i*z - 6. Solve 3*k = -z*m - 2 - 6, -5*m = k + 7 for m.
-1
Suppose 4*p + 5*r = 44, -3*r = -0*p + 5*p - 55. Suppose 7*n = p*n - 20. Solve n = 5*m + 5*l, -m - l = m + 2 for m.
-3
Let d be (-6 - -8)*-5*2/(-5). Solve 0 = -d*o + 3*s - 1, -s + 3 = -0*s for o.
2
Suppose -2*u + 41 = -u + 3*k, 5*u - k - 205 = 0. Suppose -3 - u = -4*w. Solve -5*v + w = 3*p, 3*v - 27 = 6*p - p for p.
-3
Suppose -12*u = -26 - 10. Solve y + 12 = 2*x + 2, u*y = -4*x for x.
3
Suppose 24*h - 3 = 23*h + 2*x, 3*h - 3*x = 9. Solve -2*m + v - 1 = 0, 2 = h*m + 3*v - v for m.
0
Let d = -1 - -4. Let i = 171 + -166. Let a(p) = p**2 + p - 2. Let k be a(2). Solve -4*c - k*x - 6 = -9*c, -c - d = -i*x for c.
2
Let d(j) = 32*j + 131. Let i be d(-4). Solve 2*y - v = 2*v + 7, 1 = -y - i*v for y.
2
Let k(q) = 3*q + 66. Let m be k(-15). Solve -w - 2 = r - 11, m = 5*w - r for w.
5
Let r(y) = y + 2. Let b be r(5). Suppose 90 = 11*w + b*w. Solve -w*g - 5*c = -g - 33, 5*c - 23 = g for g.
2
Let m = -9 + 15. Suppose i - 10*i = 0. Let v = 57 + -54. Solve 2*c = p - i*p + 3, v*c = p + m for p.
3
Suppose -5*a = -5*n - a + 48, n = -4*a. Suppose n = -4*y, 3*h + 6*y - 4*y - 8 = 0. Solve h*v + 12 = -5*p + p, 3*p - 3*v + 3 = 0 for p.
-2
Let m(z) = z**2 - z + 3. Let a be m(0). Suppose 6 = a*j - 9. Suppose j*s = -4*w - 8, 2*s + 3*w + 6 = -s. Solve -n - 3*o - 2 + 6 = s, -5*n = -2*o - 3 for n.
1
Let p(n) = -2*n - 13. Let s(t) = t**3 - 6*t**2 - 3*t + 9. Let g be (6 - -9)*2/5. Let x be s(g). Let u be p(x). Solve 4 = -2*c + 2*i, -23 = 3*c + u*i + 7 for c.
-5
Let m be (3/(-1*(-20)/(-12)))/((-18)/30). Let x = -10 - -14. Solve -m*c + 4*g = g + 6, -x*g = 0 for c.
-2
Let b = 209 - 204. Let x be (6/9)/((-6)/(-9)). Solve -2*l + 2*a = b + x, 3*l + a + 9 = 0 for l.
-3
Let g = -101 - -111. Suppose 3*r = f - 18, 0 = 9*f - g*f + 2*r + 13. Solve -m - 1 = -3*q + 5, -f*q = -5*m - 18 for m.
-3
Suppose 4*j - 11 - 1 = -g, 2*g = 5*j + 24. Let m be (-3 - 2)*6/(-5). Let x(o) = o**2 - 5*o - 4. Let b be x(m). Solve 19 = 5*h - 2*l, -b*h + l = h - g for h.
5
Suppose -5*y = -0*y - 10. Suppose -y*w + 28 = 5*s - 3*w, -5*w - 10 = s. Suppose 0 = -j + 3 + 12. Solve 2*c - v = -7, s*c + j = v + 2 for c.
-2
Let c = 289 + -195. Let n be c/18 - (-10)/(-45). Solve n*j - 12 = -2*f - 0, 4*j - 16 = 0 for f.
-4
Suppose u - 3 + 1 = 0. Suppose -7*b = -u*b - 20. Suppose 20 = x + 3*x. Solve 0 = -2*z + d - 7 - x, -4*d = b*z + 12 for z.
-5
Suppose -45*v - 27*v = -144. Solve -4*o + 2*b = -v*o + 10, 0 = 4*o + b + 5 for o.
-2
Suppose 8*x + 195 = 195. Solve 2*v - g = -2*v - 6, -v - g + 1 = x for v.
-1
Let r = 15 - 17. Let b = -31 - -15. Let f be (4*b)/r - -1. Solve -5*i = 2*g + f, -2 = 5*g + 3*i + 33 for g.
-4
Let d = -578 - -579. Solve -2*x + 4*r - d = r, 9 = -4*x - r for x.
-2
Let h(w) = -w**2 - 6*w - 4. Let b be h(-2). Suppose -2*d - 5*z + 14 = -0*d, 2*z = b. Solve 0*i = c - 2*i - d, 3*i + 3 = 3*c for c.
0
Let v = 17 - 29. Suppose 3 + 1 = -2*r. Let t be ((-6)/(-9))/(r/v). Solve -b - 2 = -3*d + 1, -3*b + t = 4*d for b.
0
Let b b