 3, -80 = 5*v - 4*l. Let f = v + 12. Solve -4*j + 2*j = f for j.
0
Let f(j) = -2*j. Suppose -2*s + s = y + 7, 0 = -5*y - 4*s - 30. Let n be f(y). Solve -5*i + n*i + 2 = 0 for i.
2
Suppose 0 = -k - k + 14. Suppose k = 2*s - s. Suppose -c - y + s = y, -5*c + 23 = 4*y. Solve 10 = c*r - 5 for r.
5
Let p(i) = 4*i - 10. Let h(l) = -11*l + 26 - 20 + 23. Let w(y) = 3*h(y) + 8*p(y). Let d be w(5). Solve -m - 3 = d for m.
-5
Let m = -7 - -21. Let i be m + -2 - (0 + 2). Let w = i - 6. Solve o = -w*o + 20 for o.
4
Let g be (6/4)/((-9)/(-168)). Let h = 24 + -36. Let t = g + h. Solve t = 4*r + 4 for r.
3
Let s be -3 - 12/9*-6. Suppose -s*g = q - 4 - 5, 3*q - 9 = 3*g. Suppose -3*l + q = -2*l. Solve -c = -0*c + l for c.
-4
Let i be (-4)/(-2) + ((-50)/(-5) - 7). Solve 28 - 3 = -i*h for h.
-5
Suppose 0*y = 2*y. Solve 0 = -y*d - 2*d - 2 for d.
-1
Let y(m) = m + 7. Let o be y(-8). Let p be (1*0/(-1))/o. Let h = -3 - -5. Solve 0 = -p*q - h*q - 10 for q.
-5
Suppose -3*k - 3*z = -0*z - 12, 4*k + 20 = 5*z. Suppose -b - 30 = -4*y + b, -22 = -3*y + b. Solve u - 3 + y = k for u.
-4
Let u(l) = -7*l**2 + 3*l. Let r(q) = -q**2 - q + 4. Let h be r(0). Let j be u(h). Let t be ((-24)/10)/(15/j). Solve 2*a = -2*a - t for a.
-4
Let f be 14*(-4)/(-8)*-2. Let i = f - -16. Solve -i = -2*b - 12 for b.
-5
Let o be 1 + 4 - (1 - 1). Suppose 2*r + r + 3 = -3*s, -o*s - 17 = r. Suppose -r*h + 8 = -16. Solve -3*x - 25 = -h*x for x.
5
Let j(n) = -4*n - 1. Let z be j(-1). Suppose -4*o = -o + z. Let u be 3 - (0 - (o - -2)). Solve -4*i + 5*i - u = 0 for i.
4
Let m be ((-128)/48)/((-2)/3). Solve 3 = -m*q + q for q.
-1
Let l(c) = -13*c - 2. Let t be l(-1). Let i be (2/4 - 1)*-6. Solve i*o + 2 - t = 0 for o.
3
Let r = 85 + -83. Solve -r*v - v = -3 for v.
1
Suppose -3*u - g - 4 = -4*u, -4*g = 8. Solve -5*y = -u*y + 3 for y.
-1
Suppose -s = -9*x + 5*x - 16, -2*x = 2*s - 2. Solve s*n = -n - 20 for n.
-4
Suppose 5*k = 8*k - 12. Solve 0 = k*p - p + 3 for p.
-1
Let u = -19 - -23. Solve 4*g = -12 - u for g.
-4
Suppose -t + 4*k - 8 = -5*t, -3*t + 3*k = -12. Suppose -4*c - 4*r = c - 20, 5*c - t*r = 55. Solve 2*g - c = -0*g for g.
4
Let a be (1 - 4 - -1) + 4. Let o be a/(-10) - 2/(-10). Solve o = -b - 2 - 2 for b.
-4
Let m(i) = -i**3 + 7*i**2 - 5*i - 4. Let n be m(6). Solve -3*l = -l + n for l.
-1
Let j be (10/(-4))/(-5)*4. Solve -2*w + 3*w - j = 0 for w.
2
Suppose 0*c + 3*p = c + 6, 0 = -2*p + 4. Solve c = -2*r + 1 + 5 for r.
3
Let d = 11 + -3. Solve -4*w + 0*w - d = 0 for w.
-2
Suppose 2 - 47 = -3*s. Suppose 0 = -j - 2*j + s. Let n = j - 4. Solve -4 = -h + n for h.
5
Let f = -11 - -13. Suppose -3*x = -x. Solve x = f*w + w for w.
0
Let y(m) = 4*m**2 + 1. Let q be y(1). Solve q*c + 14 = -6 for c.
-4
Let n(g) = -g**2 - 6*g + 2. Let b be n(-6). Solve -3*w = 4 + b for w.
-2
Let s(d) = d**3 - 4*d**2 - 4*d - 2. Let j be s(5). Let h = -11 + 23. Solve j*g = h + 3 for g.
5
Let y(z) = z**2 + 3*z - 4. Let n be y(-4). Suppose -u + 4 = -n*u. Solve 8*f = u*f for f.
0
Let z(a) = -a**3 + 8*a**2 - 8*a + 7. Let g be z(7). Suppose g = 4*s + 2*y - 30, -5*s + 0*s - 2*y = -37. Solve -4*h - 1 - s = 0 for h.
-2
Let n = -17 - -25. Solve w - 3*w + n = 0 for w.
4
Let o = 7 + -11. Let p = 4 + o. Suppose p = 5*l - 9 - 1. Solve l = -v - 3 for v.
-5
Let j(w) = 2 + 0 - 3*w + 4*w. Let g = -44 + 42. Let d be j(g). Solve 3*p + d*p = 9 for p.
3
Let f(l) = l**3. Suppose 0 = -5*i + 27 - 12. Suppose -3*x = 5*m - 11, 0*x + 1 = i*m - x. Let j be f(m). Solve -3*v = -j + 7 for v.
-2
Suppose 8 = 4*a, -5*d + d - 2*a + 20 = 0. Suppose -d*f + 5*z = 7 - 38, 3*f - 3 = -3*z. Suppose 3*b = 3*x - 12, 2*b = -3*x + 6*x - 16. Solve 0*m = f*m - x for m.
2
Let m be 2/(-4) - 30/4. Let b = 12 + m. Solve -c + b*c = 0 for c.
0
Let j = -6 + 6. Suppose 0*r - 2*r + 8 = j. Let g(v) = -v + 4. Let d be g(r). Solve d*o = -3*o for o.
0
Let x be (48/168)/((-2)/(-14)). Solve 0 = -3*u + x*u for u.
0
Let d(z) = -z**2 + 3*z - 3. Let v be d(3). Let b = v + 5. Solve -x = b*x + 3 for x.
-1
Let n be (6/4)/(12/(-64)*-4). Solve -n*i + 2 - 10 = 0 for i.
-4
Let s(h) = 12*h**3 + h**2 - 1. Let q be s(1). Let x be (-4)/(-6) - (-64)/q. Suppose 5*j - 4 = x. Solve j*m + 0*m = 0 for m.
0
Let u be (6/(-8))/(1/(-4)). Let r be 132/21 + 6/(-21). Solve u*y = y + r for y.
3
Suppose -5*h + 3*h - 17 = -r, -r + 18 = -3*h. Suppose -2*n + 5*n + 36 = 0. Let y = n - -12. Solve 3*p - 6*p - r = y for p.
-5
Let t = -56 - -62. Solve q - t*q - 20 = 0 for q.
-4
Suppose -2*d + 5*z - 29 = -5*d, -3*d + 3*z + 69 = 0. Let w = 5 + d. Suppose 0 = 3*j - 3*c - w - 16, -2*c + 10 = j. Solve 0 = -5*a - 13 - j for a.
-5
Suppose -5 + 1 = -2*r. Solve c - r = -6 for c.
-4
Let h(d) = -d**2 - 8*d - 9. Let o(a) = -a**2 + a - 6. Let y be o(0). Let f be h(y). Solve 2*b + f*b - 5 = 0 for b.
1
Let h be ((0/(-3))/(-1))/2. Suppose h = -2*n - 2*n. Let q = n - -4. Solve q*k + 10 + 2 = 0 for k.
-3
Let k be (0/((-4)/(-2)))/1. Let n be k/(9/(12/4)). Solve -l - 1 = -n for l.
-1
Suppose 0 = 4*q + 10 - 22. Let f(r) = -2 + 2*r**2 - 2*r - 2*r**3 + 7*r + r**3 + r**2. Let z be f(q). Solve -z = -5*y + 7 for y.
4
Let u(t) = t**3 + 5*t**2 + 2*t - 3. Let g be u(-4). Solve -c = g - 1 for c.
-4
Let u(q) = -2*q**3 + 2*q + 3. Suppose -o = -5*o - 8. Let a be u(o). Let x be (-200)/a*6/(-4). Solve 5*r = r + x for r.
5
Let t = 50 + -50. Solve 0 = 2*k - t*k - 10 for k.
5
Suppose 2*v - 18 = -4*h + 4*v, 2*h - 2*v - 10 = 0. Suppose 4*t = -h*p + 7*t + 14, 2*p + 2*t = 14. Solve -p*l = -6 - 19 for l.
5
Let d = -4 + 32. Let v = 2 + d. Suppose -2*n + 2*c = n - 46, 2*c = 2*n - v. Solve -4 = -5*a + n for a.
4
Suppose 3*r + 6 = 4*r. Let w(k) = k**3 - 7*k**2 + 5*k + 6. Let i be w(r). Suppose i = 2*t - t - 2. Solve -1 + 7 = -t*a for a.
-3
Let g be -2 - (2 + 0 + -4). Suppose 3 = b + 2*k, b - 4*b - 5*k + 8 = g. Solve 5*p - b = 9 for p.
2
Let a be 63/6*4/2. Suppose 5 = 2*l - a. Let t = l - 8. Solve 0 = -t*f - 15 - 0 for f.
-3
Suppose -3*y + 2 = -1. Suppose -y + 5 = 2*x. Let k = 11 + 1. Solve -x*j = 2*j + k for j.
-3
Suppose 0 = -10*z + 5*z + 15. Let k be 40/15 - 1/(-3). Suppose 3*g = -k*t - t + 26, -5*g = -2*t. Solve -g*j - j = z for j.
-1
Suppose 4*j - 1 = b + j, -5*j = 25. Let q = 12 - 20. Let i be ((-4)/q)/((-2)/b). Solve -i*o + o = -6 for o.
2
Let l be 102/27 - (-2)/9. Suppose 0*s - l*s = -12. Suppose -20 + 8 = -3*p. Solve -p*b + s*b = -4 for b.
4
Let b be ((-9)/(-6))/(1/2). Let i be -1 - ((3 - b) + -3). Solve 4*l + 2 = i*l for l.
-1
Suppose -6*h + 15 = -h. Let c(f) = f + 10. Let p be c(-6). Solve l = -h*l - p for l.
-1
Let z = -18 + 38. Suppose 0 = -7*x + 3*x + z. Suppose 80 = x*d - 5*s, -3*d = -d + 3*s - 32. Solve -p - 3*p = -d for p.
4
Let z = -15 + 10. Let l = z + 8. Solve l*y - 5*y + 2 = 0 for y.
1
Let v be (-1)/4 + (-11)/4. Let b(o) = -o**2 - 4*o + 3. Let g(p) = -p**2 - 5*p + 3. Let c(a) = 3*b(a) - 2*g(a). Let m be c(v). Solve m = -3*z + 9 - 0 for z.
3
Let w be 2 + (3/(-3) - -1). Solve w*y + 0 - 6 = 0 for y.
3
Suppose 3*a + 15 = 8*a. Suppose 93 = -3*t + 3*f, a*f - 8 - 25 = t. Let p be (4/6)/((-5)/t). Solve -p*j - 1 = -9 for j.
2
Let i(s) = 2*s - 2*s - 2*s**2 + 1 + s**3 - 4*s**3. Let o be (-9)/12 + (-1)/4. Let j be i(o). Solve j*c = -2*c for c.
0
Suppose 0 = -3*d - 2*d + 20. Solve -2*l - 8 = -d*l for l.
4
Let n be -1*0/(-4) - -9. Let v be n*(-8)/(-12) + 3. Suppose b = -o - 3*b - 5, 19 = 5*o - 2*b. Solve o*w = -v - 0 for w.
-3
Suppose -3*a - 2*a = -10. Solve -2*k = a*k - 12 for k.
3
Suppose 5*i = 2*i - 12. Suppose 2*v + 1 = 15. Let h = v + i. Solve h*k = -4 + 1 for k.
-1
Let s be 4/((-3 + 1)/(-1)). Solve -s*u + 9 = 3 for u.
3
Let h(m) = m**3 + 7*m**2 - m - 6. Let t be h(-7). Let k be t*(2 - 0) + -2. Solve -5*d + k*d = 0 for d.
0
Let o = -79 + 83. Solve q - o*q = 12 for q.
-4
Let z(j) = j**3 + j**2 - 2*j + 3. Let f be z(2). Suppose 0 = 5*s, -3*s - 20 = -4*x + s. Suppose -2*c - c = 4*l - 23, -c = -4*l + 19. Solve f = -x*p + c for p.
-2
Suppose -2*i + 8*i - 24 = 0. Solve -o - 1 = -i for o.
3
Suppose -3*n - 3*r = -12 - 3, 0 = n - r + 1. Suppose 3*a + 0*a = 15. Solve -a*j = -n*j + 15 for j.
-5
Suppose 0 = -2*g - 4 - 0. Let r be g/4 - (-18)/4. Solve -2 = -3*c + r*c for c.
-2
Let i be 74/(-4) - (-1)/2. Let d = -10 - i. Solve d - 2 = -3*z for z.
-2
Let o(v) = -3*v + 5. Let y be o(-4). Suppose -3 = -5*n + y. Suppose -x + 10 = -0*x + n*i, 2*i = -3*x + 40. Solve 2 = 3*q + 