et s = -4 - -7. Solve s*v = -0*v for v.
0
Let w be (-40)/8*(-1 + 0). Suppose 3*k - 36 = -15. Solve -k*c = -2*c + w for c.
-1
Suppose f - 8 = -3*i, -i = -5*i + 4*f. Let o(t) = -t**3 + 4*t**2 + 7*t - 7. Let p be o(5). Let k be p/(i/2) - 3. Solve k = -h - h for h.
0
Let h = -12 + 14. Suppose -2*l = -k - 4, 2*l - h = 2*k + 6. Solve c = -l*c for c.
0
Let v = 9 - 6. Let r(l) = 9 + l**2 + 2*l - 3*l - 5*l - 2. Let x be r(5). Solve 3*g = x*g - v for g.
-3
Let u be -1 + (-1)/1 + 5. Let v = 1 + 1. Solve v*x - 1 = u for x.
2
Let p be (-2)/8 + 5/20. Let j be 6/2*(0 - -1). Let h = j + p. Solve -y = -1 + h for y.
-2
Suppose -3 = w + 4*b, 0*w - 4*b = 4*w - 12. Solve -w*d + 7*d = 4 for d.
2
Suppose u - 35 = -4*u - 2*o, 0 = u - o. Let r(b) = -b. Let k be r(-1). Solve -k = -u*m + 4*m for m.
1
Let q(v) = 2 - 8*v + 3*v - 3*v + v**2 + 4. Let a be q(7). Let s be -1*(-2)/(-2)*a. Solve -2 = r + s for r.
-3
Suppose 4*u - 120 = -4*s, 3*u - 4 = u. Let n = 40 - s. Solve 0 = -c - 2*c + n for c.
4
Let b(s) = s**2 + 6*s + 6. Let x be b(-5). Suppose 7 = -a - 2*q, 0 = -2*a - 2*a + 2*q - 8. Let g be 3/a + 2 + 1. Solve -3*z = -x - g for z.
1
Suppose -5*y + 58 = a, 5*y - 4*a - 52 = -3*a. Suppose 8*l - y*l = -6. Solve -x - l = -1 for x.
-1
Suppose 0 = -6*r + 5*r + 3. Suppose 3*l = -1 + 7. Suppose z + v + 2 = 0, l*z + z + 4*v + 10 = 0. Solve -r*j - z - 1 = 0 for j.
-1
Let q(b) = 2*b**3 + 2*b**2 + b. Let u be q(2). Suppose 5*m = u + 4. Let w be (2 + 0)*9/m. Solve -w + 1 = k for k.
-2
Let m(v) = -v + 10. Let d be m(10). Let i = d - -12. Solve 4*p + 0*p = -i for p.
-3
Let g be ((-2)/8)/((-6)/192*4). Solve -4*s + 2 = -g for s.
1
Suppose 0*r + r = -5*r. Suppose -2*s - s = -18. Suppose -2*c - 2 = -s. Solve c*l - 10 = -r for l.
5
Let z = 3 + -1. Let o be (z - 3)*1 - -3. Solve -4 = -3*q + o*q for q.
4
Let q be (-20)/(2/(-2 + 10)). Let y be (-1)/(-3 - q/28). Solve -4*z + 15 = -y*z for z.
-5
Let y(v) = 3*v + 9. Let h be y(-3). Suppose 3*g = -h*g. Solve g*m + 1 = m for m.
1
Let q be (-6)/4 - 220/(-40). Solve -q*r = -6*r - 8 for r.
-4
Suppose 4*a - 2*g - g = 0, a = 4*g. Solve 7*b - 4*b = a for b.
0
Suppose 2*b + 6 = -2*g, -b = 4*b - 2*g - 20. Let o(r) = r**3 + 8*r**2 - r. Suppose n + n + 16 = 0. Let w be o(n). Solve 2*u + w = -b*u for u.
-2
Suppose -f = 0, 4*u + f - 4 = -0*f. Let w be -2 - (-10)/(1 + u). Let g(t) = t**2 - t - 1. Let v be g(3). Solve 0 = w*k - v + 14 for k.
-3
Let d be 1*((-1 - -8) + -1). Suppose -d = 4*f - 7*f. Solve -18 = -4*v - f for v.
4
Suppose 2*g - g - 2*h = 14, -61 = -5*g + h. Solve -15*m = -19*m - g for m.
-3
Suppose -d + 2 = -0*q + 5*q, 0 = -5*q. Solve 0 = -s + d + 2 for s.
4
Suppose -10 = -2*t - 0*t. Suppose 3*r - 2*r + 2*w - 6 = 0, t*r + 4*w - 36 = 0. Solve -2*j + 0*j = r for j.
-4
Let m(q) = -q**2 - 7*q - 3. Let l be m(-6). Solve -y + 10 = -l*y for y.
-5
Let s(u) = -u + 1 - 2 + u + 4*u. Let b be s(1). Solve 2*w = -b*w for w.
0
Let n be 72/60*(-10)/(-4). Solve 2*j + 1 = -n for j.
-2
Let i(t) = -t - 3. Let w be i(-2). Let q be (w/(-1))/(9/36). Solve -q*s = -2*s - 4 for s.
2
Let j(x) = -x**3 - x**2 + x + 2. Let v(n) = -n**2 - 7*n. Let d be v(-7). Let m be j(d). Suppose m*k = -i + 1 + 49, 3*i + 25 = k. Solve 3*t + 2*t = k for t.
5
Let c = 2 + 3. Suppose 0 = -q + 6 + 4. Solve c*d - 10 = q for d.
4
Let o = -3 + 3. Solve 5*f + o*f + 15 = 0 for f.
-3
Suppose 10 = 4*d + d. Let g(c) = c**2 - 8*c. Let o be g(8). Let j = o - -3. Solve j*b + 17 - d = 0 for b.
-5
Let k = 7 + -8. Let m be (0/(-2))/(1 - k). Suppose m*s = -s. Solve -5*a + 10 = -s for a.
2
Suppose -2*h = 3*h - 25. Suppose h*p - 20 = p. Suppose -2*f = 3*f. Solve f = -p*n + 17 + 8 for n.
5
Suppose 0 = 4*m - 3*j + 21, 4*j = m + m + 18. Let l be 1/1 - (m - -2). Solve -2*b + 3*b = -l for b.
-2
Let c be (-16)/4*(-3)/6*3. Solve -c = -5*s + 8*s for s.
-2
Let n be (10/(-15))/(1/(-3)). Let o(q) = q**2 + 7*q + 9. Let y be o(-6). Solve y*k = -n*k - 10 for k.
-2
Suppose -2*y + 8 = -4*n, -2*y + 4 = 2*n - 4. Solve -y*h + h = 6 for h.
-2
Let o be -3 - 7/((-14)/40). Solve 3*j - 5 + o = 0 for j.
-4
Let t(j) = 8*j**2 - 9*j + 4*j - 4 - j - j**3. Let r be t(6). Suppose -c - r = -5*c. Solve -5*i + 12 = -c for i.
4
Let q(a) = 2 - a + 5 + 2*a. Let m be ((-30)/24)/((-2)/(-8)). Let w be q(m). Solve 2*f + 4 = -w for f.
-3
Suppose 7*m = 3*m. Solve 2*g + 3*g - 10 = m for g.
2
Let i be (-3)/(-2) + 26/(-4). Let k = i - -10. Solve -2*p + p = -k for p.
5
Let t(c) = 2*c**2 + 3*c**2 - 10*c - 2*c**2 - 4*c**2 - 8. Let r be t(-8). Solve 0*l = 2*l - r for l.
4
Let h = -3 + 10. Suppose -2*m = 4*l + 1 - 29, 2*m + h = l. Let p = -4 + l. Solve -4*y - 1 = p for y.
-1
Let z be (-3)/(-5)*1*10. Suppose 0 = z*m - m - 10. Solve 7 - 17 = -m*o for o.
5
Suppose -2 = -2*u - y - y, 4*u - 3*y - 18 = 0. Suppose -14 = 6*h - u*h + 5*j, 2*h + 3 = 3*j. Let d = -1 - h. Solve -2*c + d + 2 = 0 for c.
2
Let b = 41 - 29. Solve b = -4*v - 4 for v.
-4
Let s = 13 + -11. Solve 0 = -r - s*r + 6 for r.
2
Let h be 9/(-6)*(-16)/6. Suppose h*j - 5*a - 1 + 14 = 0, -3*j - 6 = -3*a. Suppose 0 = -j*y + 5*y - 8. Solve -x - 2 + y = 0 for x.
2
Suppose 3*d = 4*d - 2*z - 48, -2*d = 5*z - 105. Suppose -3*y - 2*y + d = 0. Solve -6*k + y = -k for k.
2
Let x(v) = v - 4. Let a be x(13). Solve 4*c + a = -7 for c.
-4
Suppose -12 = -3*l - 0. Suppose -l*r - 3*w + 4 = 0, -3*w - w = r + 12. Solve -r*f = -0*f + 12 for f.
-3
Let j(s) = -s**2 + 7*s. Let i be j(7). Let b = i - -5. Suppose -b*r = -1 - 4. Solve a = -3 + r for a.
-2
Suppose -3*r - 3*i - 1 = -8*r, -i + 11 = 4*r. Suppose 6 = 2*u - 2*c, 5*c = -3*u + 2*c + 9. Suppose u = 3*d - 6. Solve -r*a = d*a + 10 for a.
-2
Suppose -5*t = -10 - 5. Solve -t = v - 1 for v.
-2
Suppose -6*r - 8 = -14*r. Solve 2 = -p - r for p.
-3
Let u(p) = -p**2 - 12*p - 17. Let l be u(-9). Solve 2*k = 7*k + l for k.
-2
Let u(m) = m + 14. Let p be u(-13). Solve -p + 3 = -b for b.
-2
Let v = 25 + -18. Solve 4*q - 12 = v*q for q.
-4
Suppose j = -2*j - 4*i + 15, i - 3 = 0. Solve 0*u = -u - j for u.
-1
Let i = -12 + 18. Let b be (3 + 5/(-2))*i. Solve 2*r = b*r for r.
0
Let x(k) = -k**3 + 6*k**2 + 6*k + 10. Let q be 8 + (2 - 2) + -1. Let m be x(q). Solve -m*o = o + 16 for o.
-4
Let b be (2 - (-4 - -9)) + 5. Suppose 5*c = 4*w - 31, -w = -0*w + c - 1. Suppose 0 = -w*u + 18 + 14. Solve 0*p - b*p = u for p.
-4
Let i = 3 + 0. Let z = 5 + -2. Solve -z*k = i - 6 for k.
1
Suppose -3*n + 18 = 6*n. Solve -3*q + 5*q = n for q.
1
Suppose 0*l = l. Solve l = a - 3 + 2 for a.
1
Let x = 126 + -123. Solve x*h + 5 = -2*h for h.
-1
Let o(u) = -u - 2. Let x be o(-2). Solve x*p - 3*p = 12 for p.
-4
Let q(h) = -h**2 - 11*h - 1. Let v be q(-11). Let u be (1 - v) + 10 + -3. Solve 6*l - 3*l + u = 0 for l.
-3
Suppose 0 = -13*q + 12*q. Solve q = -x - 4*x + 10 for x.
2
Let l be ((-6)/(-5))/(3/25). Solve l = 6*p - p for p.
2
Suppose -5*q + 0*q = -5*f - 5, 4*f - 5*q = -6. Suppose -2*p - 5*c + f = 0, -c = -4*p - 6*c - 3. Let j = 1 - p. Solve 5*y = 2 + j for y.
1
Let m(n) = 3*n - 4. Let f be m(-10). Let b = 62 + f. Solve b = -5*q + 3 for q.
-5
Let d be 160/75 + (-1)/(30/4). Solve -2*n - 12 = d*n for n.
-3
Let o(x) = -2*x**3 - 4*x**2 - 3*x - 2. Let d be o(-2). Let n = -8 - -13. Suppose 3*h - 6 = -5*m + n*h, d*m - 2*h = 4. Solve m*w = w for w.
0
Let g(f) = f**3 - 4*f**2 + 4*f - 3. Let k be g(3). Suppose -2*i - 12 = -4*m, -5*m + 23 = -i + 5. Solve i*h = 6 - k for h.
3
Let m = 4 - 1. Suppose 75 = -5*p - m*s, 24 = -5*p - 2*s - 51. Let v be (p/(-12))/((-2)/(-8)). Solve 12 = k - v*k for k.
-3
Let h(r) = -2*r - 7. Let i be h(-5). Suppose -5*v = -2*m + i, -7 - 2 = -m - 5*v. Solve -f = -3*f + m for f.
2
Let q(h) = -3*h - 3. Let p be q(-2). Suppose 5*t - 22 = p. Solve 2*w - t = 1 for w.
3
Suppose -5*q = -2*q - 15. Suppose 10 = 3*h - 5, -l + q*h - 21 = 0. Let w = l - 3. Solve 4*t - 3 = w for t.
1
Let r(v) = v**3 - v**2 + 1. Let w(i) = -4*i**3 - 6*i**2 - 9*i - 13. Let q(o) = -3*r(o) - w(o). Let u be q(-8). Let b = u - 1. Solve 2*x - 5 - b = 0 for x.
3
Suppose 8*a - 3*a = 40. Let g(y) = 4*y + 4*y**2 + y**3 - a*y**2 - y. Let h be g(3). Solve -l = -h*l for l.
0
Suppose -15*g - 5 = -16*g. Solve -4*j = -3*j + g for j.
-5
Suppose -4*p = 0, -2*p + 15 = 3*r - 0. Let s(c) = -c**3 + 20. Let f be s(0). Solve -r*i + f = -i for i.
5
Suppose 5*u - 5 = 20. Suppose -q + 16 = u*r, -r + 4*q - q = 0. Suppose -1 = l + j, r*l - 8*l + 5*j = -25. Solv