pose -g = -q*k + 3. Solve k*n - 15 = 4*n for n.
5
Suppose 2*w - 4*w + 8 = 0. Suppose w*y - 2*u = 3*u + 10, -u - 2 = 3*y. Let d be 2 + (2 - 1) + 7. Solve 2*m + 3*m + d = y for m.
-2
Let h = 20 + -50. Let q be (35 + 1)/(45/h). Let t = q + 28. Solve -3*r = -r + t for r.
-2
Let u be 15 + 16/4*1. Suppose -n + u = -5*p, -3*p = -6*p - 9. Solve 0 = 2*t + n + 6 for t.
-5
Let o(f) = f**3 + 5*f**2 + 5*f + 6. Let w be o(-4). Let v = w + 1. Solve 0 = s + 2 + v for s.
-5
Let y(k) = -k**3 - 15*k**2 - k - 6. Let o be y(-15). Suppose 2*s = -3*r + 1 + 2, o = 4*s + 3*r. Solve 4*c - s*c - 1 = 0 for c.
1
Let m(v) = v**2 - 7*v + 3. Let u be 5 + -4 + 2 - -4. Let z be m(u). Solve -i + z*i - 4 = 0 for i.
2
Suppose 16*a - 13*a - 21 = 0. Solve a*j - 5 = -33 for j.
-4
Let g be (5 + -2)*(-20)/(-12). Solve g*x - 10 = 10*x for x.
-2
Let f = 212 + -208. Let i be (4/(-10))/(4/(-160)). Solve f*k + 0*k = -i for k.
-4
Let p be (8/4)/(-2) - 52/(-4). Solve 0 = 6*w - 12*w - p for w.
-2
Let o(v) = -v**3 - v**2 + 12*v + 9. Let s be o(3). Solve -s*u - 44 = 1 for u.
-5
Let p(z) = -7*z - 2. Let q be p(-1). Suppose 79 = -b + 3*f, 5*f - 20 = q. Let i be b/(-36) + (-2)/(-9). Solve -i*l + 15 = 3*l for l.
3
Let r = 133 - 128. Suppose -8 = -r*g + 3*g + 3*d, -2*g - 5*d + 40 = 0. Solve -g = o - 9 for o.
-1
Let m = 39 + -21. Suppose 14 - m = -2*n. Solve -s - n = 1 for s.
-3
Let x(z) = z - 2. Let d be (5 - 3)/((-4)/(-10)). Suppose -3*v = -4 - d. Let l be x(v). Solve a + 2 = -l for a.
-3
Suppose -4 = -11*k + 10*k. Solve 0*z + 2*z = k for z.
2
Let z = -24 - -21. Let x be 1 - z/(-6 + 3). Solve x*c = 4*c + 4 for c.
-1
Let a(i) = -2*i**3 - 23*i**2 + 13*i + 20. Let j be a(-12). Let h be (3 - j/3)*3. Solve h = 2*k - 5 for k.
3
Let q(r) = r. Let h(a) = -a**2 - 2*a. Let s(n) = -2*h(n) - 14*q(n). Let i be s(7). Suppose 12 + 3 = 3*f. Solve i = f*c + 8 for c.
4
Let r be -39 + 0 - (2 + -1). Let g = r + 28. Let a = -10 - g. Solve 3*v - a*v = 0 for v.
0
Suppose r - c = 4, 7*c - 16 = -4*r + 9*c. Solve 0 + 8 = r*s for s.
2
Let p = 213 + -210. Solve -7 + p = -2*f for f.
2
Suppose -u = v - 158, 2*v - 4*u - 186 = 136. Solve -3 = -158*w + v*w for w.
-3
Let b be (-23 + 24)*(12 + -1). Solve b*u - 7*u - 8 = 0 for u.
2
Suppose -x = -5*t + 33, 3*t - 23 = -x - 0*x. Let w = 12 - t. Suppose -y - 3 + 23 = -5*s, -3*y + w*s = -30. Solve 4*z - 17 = -y for z.
3
Suppose -4*z + 6 = 38. Let n = z - -9. Solve 2*d + n = 11 for d.
5
Suppose -6584 = -60*d - 344. Solve -d*o + 10 = -102*o for o.
5
Let g(z) = 2*z**2 + 7*z + 10. Let k = -11 - -1. Let r be g(k). Suppose 0 = -5*j - 3*t + r, 0 = -j + 3*t - t + 15. Solve -4*o = o + j for o.
-5
Let p = 505 - 500. Solve -6 = -c - p*c for c.
1
Let i(q) = -q**2 + 8*q - 9. Let c be i(6). Suppose -5*d - c*w = -8*w - 75, 3*w = 5*d - 67. Solve -d = 2*o - 3 for o.
-4
Let l(h) = -3*h**2 + 42*h + 44. Let f be l(14). Solve 4*q + f = 15*q for q.
4
Suppose 3*r = -2*r + d + 41, 4*r + d - 31 = 0. Solve 3*y = -7 - r for y.
-5
Suppose 20 = -j + 2*j. Let u = -2 - -7. Suppose -u*a + j = -0. Solve a*t + 4 + 0 = 0 for t.
-1
Let k be 7*(-1)/(7/12). Let m(p) = p**3 - 10*p**2 + 3. Let c be m(10). Let o be ((-8)/c)/(8/k). Solve 0 = -o*s + 7 + 13 for s.
5
Let n = -5 - -4. Let w be ((-4)/4)/(1*n). Suppose 6*a - 26 = 5*a. Solve -5*d + a - w = 0 for d.
5
Suppose -w = n + 3*n + 5, -4*n - 10 = 2*w. Suppose n = -3*c + 14 + 1. Solve -c*y + 11 = 1 for y.
2
Suppose -b = 3*b - 20. Let w be 3/3*1*b. Solve h - 2*h = w for h.
-5
Suppose -2*b + 198 = -g - 96, -2*b + 294 = -3*g. Suppose -2*c + 2*v = -2*v - 286, -c = 2*v - b. Let i be (-1)/4 - c/(-20). Solve -3*a + i*a + 20 = 0 for a.
-5
Let y = -38 - -23. Let n = 17 + y. Let v be 2/(0 + -2) + 3. Solve -n*d = v*d + 20 for d.
-5
Suppose 0 = 4*c + 14 - 30. Let g be (-4 + c/1)/(-2). Suppose g = n - 3 - 0. Solve -2*j - 1 = n for j.
-2
Let b be (-1 + 48)/(-3 - -2). Let g = 50 + b. Solve 0 = g*q + 10 - 1 for q.
-3
Let o = 26 - 23. Suppose -2*f = -3*g + 2, g - 16 = 5*g. Let n = f - -7. Solve n*w - 15 = -o*w for w.
5
Let s(p) = -102*p - 242. Let v be s(-3). Solve -v = 4*q + 12*q for q.
-4
Let k be (-12)/28*364/(-78). Solve -12*x + 13*x - k = 0 for x.
2
Let s(g) = 4*g. Let u be s(1). Suppose 5*w - 7*w + u = 0. Solve w*d - 4 = 6*d for d.
-1
Suppose -o + 3*o = -m - 36, -o = -m + 12. Suppose 4*b + 90 = 5*a, -4*a + 0*b + 72 = b. Let j = a + o. Solve 0 = -7*n + j*n for n.
0
Suppose -5*s = -5*x + 20, 4*s - 43 = -2*x - 11. Let g = -5 + x. Solve -k - 1 - g = 0 for k.
-4
Let i be 0 - (2 - 1) - (-126)/21. Solve 19*r = 18*r - i for r.
-5
Let o be (-140)/(-50)*(-6 - -1). Let n = 14 + o. Suppose -w + n + 4 = 0. Solve -w*p = 15 + 5 for p.
-5
Let q be -3 - (-12 + 9) - -7. Solve 0 = -q*c - 10 + 31 for c.
3
Let k be ((-5)/(-10))/(2/4). Let s be 2 + k/(2/4). Suppose -2*z - 8 = -s*z. Solve -f - z = 1 for f.
-5
Let k = -551 - -598. Solve 0 = -5*j + 57 - k for j.
2
Suppose -39 - 18 = -5*s + 4*f, -42 = -5*s - f. Let l be (-20)/(-15) - (-6)/s. Solve -l*c - 2 = -0 for c.
-1
Let f(y) = -5*y - 5. Let m be 40/(-12) + 8/6. Let z be f(m). Solve z = k - 0*k for k.
5
Let y be ((-4)/6)/((-959)/105 + 9). Solve o - 1 = -y for o.
-4
Let f(i) = 2*i**2 + 2*i - 1. Let q be f(-2). Let v(w) = -w**3 + w**2 + 5*w + 6. Let o be v(q). Solve -o*p + 3 = -6 for p.
3
Let n = 24 - 24. Solve n = -v - 6*v - 4*v for v.
0
Suppose 3*a - 39 = -4*d, -2*d = -3*d + 2*a + 18. Suppose 0 = -5*k + 3*k + 4*l - d, 25 = 5*k + l. Solve 2*x - k = -2 for x.
1
Let q = -119 + 124. Suppose 5*o - 2*o + 4*p - 68 = 0, -q*o + p + 75 = 0. Solve 3*l - o = -7 for l.
3
Let l = 68 + -64. Suppose l*j - 3 = 3*j. Solve d + j*d = -12 for d.
-3
Let h(n) = -n**3 + 7*n**2 - 5*n - 4. Let a be h(6). Let i be 2/(3 - 1)*a. Let l be (-24)/(-3)*(-2)/(-4). Solve -l*c + i = -2 for c.
1
Suppose 2*a - 19 = -5*b, 0*a + 2*a + b - 7 = 0. Suppose -2*y = -u - a, 0*y + 2*y = 3*u + 2. Solve 4*t - 5*t = -y for t.
1
Let u be (0*(-3)/(-15))/(-1). Let z(j) = j**3 - 7*j**2 - 7*j - 6. Let b be (-18)/(-63) - (-108)/14. Let n be z(b). Solve n*x + 0*x - 2 = u for x.
1
Let u be ((4 - 14) + -3*1)*-1. Suppose -u = -4*x - 5. Solve v + x = -0*v for v.
-2
Suppose -3*g = -4*s - g + 42, -4*g - 44 = -4*s. Let n = 11 - s. Let i = n - -5. Solve -3*p = -0*p + i for p.
-2
Suppose -25*d + 6 = -94. Suppose 2*v + 4 = -4*y, 0 = -3*v - 6. Solve y = d*s - 4 for s.
1
Let q(g) = 3*g. Let n be q(2). Let x be (-2)/(-10) - (-3584)/80. Suppose -5*l + f + x = 0, 0 - 25 = -5*f. Solve 4*w - n = l for w.
4
Let b(s) = s**3 + 4*s**2 + 2*s + 8. Let g be b(-4). Let v be 3/(-2)*-4 + (g - 1). Solve -v*u - 9 = -4 for u.
-1
Let b(v) = 2*v + 6. Let k be b(-2). Suppose 3*d = -k + 14. Solve 0*n = -d*n for n.
0
Let c(v) = -4*v**2 + 14*v + 4. Let b(i) = 9*i**2 - 27*i - 8. Let x(y) = 3*b(y) + 7*c(y). Let w be x(17). Solve t - w*t = 6 for t.
-2
Let v(l) = 64*l - 128. Let u be v(9). Solve -u = -2*i - 446 for i.
1
Let n be (-70)/(-15) - (5 - (-40)/(-12)). Solve i - 5 = -n for i.
2
Let g(t) = -9*t - 61. Let p be g(-7). Solve -20 = p*n + 2*n for n.
-5
Let l = 245 + -240. Solve 5 = l*c - 0*c for c.
1
Suppose -4*s - 2*h = -7*s + 356, h = s - 117. Let f = s + -119. Solve 0 = f*i + 5 - 20 for i.
5
Let q be 6/10 + 3/(-30)*-94. Let s be 4/(-3) - 4/6. Let f = 9 + s. Solve -f*x = -2*x + q for x.
-2
Suppose -2 + 6 = 2*v - p, -5*v - 3*p + 10 = 0. Suppose v*f - 20 = -10. Solve -f = 2*k + 5 for k.
-5
Suppose -4*p + 0*o + 212 = 4*o, 0 = 3*p + 2*o - 154. Let l be 78/p + (-6)/(-16). Let i be (3/2 + -2)*-24. Solve -l*v - v = -i for v.
4
Let h(c) = c**2 + 11*c + 3. Let n be h(0). Solve -5 = -n*o - 2 for o.
1
Suppose -2*k + 4 = 4*v, -3*k - k = v - 8. Let d(m) = -21*m - 7. Let h be d(7). Let s = -149 - h. Solve v = s*u - 3*u for u.
0
Suppose -5*r + 12 + 3 = 0. Suppose 5 + 1 = -r*s. Let o be (2 + s + 1)/1. Solve 4 = -3*p + o for p.
-1
Let i be (-33)/(-5) + -2 + 9/(-15). Solve 3*o + i + 5 = 0 for o.
-3
Let v(p) = p - 4. Let i be v(21). Let l(c) = c**3 - 16*c**2 - 15*c - 34. Let t be l(i). Solve t = -a - 3*a + 4 for a.
1
Suppose 3*g + 84 = 7*g - y, 0 = -4*g - y + 92. Let h = 48 - g. Let q = -18 + h. Solve -q = d + d for d.
-4
Suppose -6*c = -38 - 88. Suppose 2*w = -5 + c. Solve -20 + w = 3*x for x.
-4
Suppose 114 + 3 = 3*s. Suppose -4*v = -4*o - 68, 5*v - 2*o = 109 - s. Solve 0*t = -4*t - v for t.
-3
Let r = 128 + -117. Solve 3 - r = 4*o for o.
-2
Let g = -8 - -13. Supp