2*j = x for s.
-2
Let y(k) = 35*k**2 + k + 6*k**2 + 16*k**2 - 1 - 2*k**2. Let o be y(1). Suppose 0 = -0*m - 3*m + 9, 4*p = -5*m + o. Solve 1 = -4*j - s, -2*s + 0*s = p for j.
1
Suppose 2*r - 2 = 5*u - 19, 0 = 5*r + 4*u - 40. Suppose -r*y - 36 = -96. Solve 5*v = 4*b + 25, -5*b - 4*v + y = -v for b.
0
Let t(c) = c**2 - 2*c - 7. Let q be t(5). Suppose -2 = -4*s + 10. Let m = s - 3. Solve 3*y = -4*h + 6, -2*h + 3*y + y - q = m for h.
0
Let i(v) = -7*v**3 - v - 1. Let p = 2 + -3. Let j be i(p). Let l = j - 4. Solve -c - k + 6 = -3, -4*k + 31 = l*c for c.
5
Let u be 6/(-30) + 2/10. Suppose u*a = -5*a. Solve a = 5*r - 2*c - 31, -5*c = 8 + 7 for r.
5
Suppose 7*c - 4 = 3*c. Let f = 2 - c. Solve f = -3*o - 4*i, -2*o + 4 = -o - 3*i for o.
1
Let b(u) = -2*u + 14. Let w be b(7). Solve -y + w = 2*x - 3, 0 = 4*y + x + 2 for y.
-1
Suppose 0 = 2*x - 3*x - 2. Let b = 3 - x. Solve b*w - 5*a = -10, 3 = -4*a + 3*a for w.
-5
Let f = -6 - -13. Suppose -2*o + f*o - 80 = 0. Let w = o + -10. Solve -2 = c - g, c - g + w = 2*c for c.
2
Let o = -4 + 10. Suppose 4*v = -5*d - 26, 2*v - 4*d + 4 = -v. Let r be 96/15 - v/(-10). Solve 6 = -3*k, o*k - 2*k + r = -2*f for f.
1
Let h = -27 + 33. Suppose -2*q = 2 - h. Solve -11 = -x + 5*x - c, q*x - 2*c = -4 for x.
-3
Let d = 31 + -17. Suppose 5*a + 2*s - d = 0, 2*a + 3*a = -5*s + 20. Solve r + 3*z + 15 = 0, -5*r - a*z - 23 = -0*r for r.
-3
Suppose 2 = 2*u + 10, -44 = 4*d + 4*u. Let l(x) = -3*x - 5. Let z be l(d). Suppose s = -3*s + z. Solve 0 = q + 5, -s*a - 10 = 2*q for a.
0
Let a be ((-6)/(-5))/(1/5). Suppose -5*j = 0, -j - 2 = -4*v + a. Let u = -13 + 17. Solve -3*f + 18 = -v*l, 0 = u*f - 9*f + 3*l + 29 for f.
4
Let y be (3/1)/(8 - 7). Let o be ((-14)/y)/((-1)/3). Suppose -c - 2 = -o. Solve 0 = 2*n - 2*j - c, 2*n + 2 = 3*j + 18 for n.
2
Let r be 39/9 - (-1)/(-3). Solve -2*p - 4 = -s, -2*s + 3*s - r = p for p.
0
Suppose -2*a = 2*u - 6*a, 2*u + 2*a = 6. Solve 0 = u*h - 0*h + 8, 4*o - 2*h = 0 for o.
-2
Let n be (-14)/(-6) - 10/30. Solve 4*i - 18 = -n*b, -b + i + 3 = 9 for b.
-1
Let h(a) = a + 13. Let c be h(-8). Suppose 0 = v - c*k - 28, -4*v = -2*v + 3*k - 17. Let p = 18 - v. Solve -f = 3*n - p, 4*n = -5*f + 5 + 9 for n.
1
Let x = -44 + 47. Solve -x*r + 5*l = -22, r - 3*l - 13 = -r for r.
-1
Let c(d) = -d - 4. Let k be c(-5). Let s be (-2 - -2) + k - -1. Solve 5*a + s*u + 4 = 0, -a + 5*u + 10 = 3*a for a.
0
Let g = 0 - 1. Let v = -60 - -63. Let l be (v + (-3)/1)/g. Solve -i = 5*y + 14, -2*i + l = y + 1 for y.
-3
Suppose 4*m + 3*y = -1, y + 0 = m - 5. Let u be (10/(-15))/(m/(-9)). Solve -24 = -4*r - 4*s, -u*r + 8*r - 14 = 3*s for r.
4
Let o be 75/10*(-2)/(-3). Solve 1 = -3*f + x - 6, o*f + x + 17 = 0 for f.
-3
Let s = 36 - 33. Solve 0 = 3*u - 2*v - 1, -9 = s*u + 5*v + 4 for u.
-1
Let b be 160/25 + 3/5. Suppose -b*f + 25 = -2*f. Solve f*d + 9 = -1, -u + 2*d = -5 for u.
1
Let n(s) = 5. Let c(y) = -y + 4. Let q(h) = 2*c(h) - 3*n(h). Let a be q(-6). Suppose -p + a = -5. Solve 0 = -2*t + p, 0 = l + 2*t + 3*t - 27 for l.
2
Let p(f) = -f**2 - 20*f - 14. Let x be p(-19). Solve w = -5*i - 23, 3*i - 5*w - 23 = x*i for i.
-4
Suppose -87*x = -90*x. Solve -5*d + 10*d - 2*i + 7 = x, -1 = -4*d - 5*i for d.
-1
Let d(p) = p**2 - 6*p + 2. Let t be d(6). Solve -6 = -4*q - t*s, 0 = 3*s - s - 2 for q.
1
Suppose 2*j = 3*j - 5. Let g be 1 + 1/(1/2). Suppose p - 3*m = 15, -5*p - 33 = -2*m - 108. Solve -3*q + 3*y = -q + j, p = g*y for q.
5
Let y be (-5)/2*20/25. Let r be (-8)/(-3)*(-3)/y. Solve r*z - 2*x - 8 = -4*x, 3*z - x - 16 = 0 for z.
4
Suppose 3*z + 13 = r, 4*r - z = 29 - 10. Let t be 28/2 + (0 - 2). Suppose r*k = 3*s + 21, -2*k = -7*k - s + t. Solve -k*x + 31 = x + 3*l, -5*x = 2*l - 30 for x.
4
Let h = 17 - 13. Let b be 1/2*(2 - -6). Solve -f = -4*s + b, s + h = 5*s + 4*f for s.
1
Suppose 0 = 3*o + 2*b + 13, -3 = 3*b - 6. Let l = o + 9. Solve -x + t = -5, -4*x + x = -l*t - 19 for x.
1
Let c(v) = 3*v**3 + v**2 - 5*v + 5. Let x be c(1). Solve -x*b = -3*m - 10, -m - 2 = -4 for b.
4
Let c(j) = -2*j**3 - 2*j**2 - 3*j. Let s be c(-2). Suppose 0 = v + v - s. Solve -v*w + 3*w + 30 = -5*b, 0 = -4*b - 3*w + 7 for b.
-2
Suppose 6*b + 27 = -9. Let i be (-19)/(-4) + b/8. Solve 10 = 4*q + i*w - 6*w, 0 = -4*q - 4*w + 40 for q.
5
Let t(j) = 1 + 2 + 0 + 8*j. Let o be t(-3). Let l = -14 - o. Solve -b + 3*g - l = 0, g - 4 = -g for b.
-1
Suppose -5*s = -l - 8 - 0, 3*s - 12 = l. Let b be 12/l + (-11)/(-3). Solve b*o - 9 = -3*f, -f + 9 = 4*o + 2*f for o.
0
Suppose 4*g - g + 147 = 0. Let t be 36/14 - 21/g. Solve 5*j = r + 6 - 17, -t*r - 5*j - 7 = 0 for r.
1
Suppose 2*a - 15 = a + 4*g, 6 = -2*a - 4*g. Solve -a*z + 2*z + 2*o + 10 = 0, 3*z = -4*o for z.
4
Let s be (-8)/(9/(180/(-8))). Solve 2*x = u - 5, -4*x = -4*u - 0*u + s for u.
5
Suppose -9*b + 2 = -25. Solve -2*k = -b*z - 2*z - 2, 3*z = -4*k - 22 for z.
-2
Suppose 0 = -4*r + 14 - 2. Solve 1 = -f + r, -4*a = f - 14 for a.
3
Suppose 2*z - 7*z + 20 = 0. Suppose -2*k - 14 = -k - z*i, -3*k - 14 = -5*i. Solve -2*b - u = 2*u - 13, b - k*u = -4 for b.
2
Let i = -11 - -13. Solve i*t = 5*v - 10, 2*t + 7 = 2*v - 3 for v.
0
Suppose -2 = o - 7. Suppose 0*u - 2 = -2*u. Solve 5*p - 20 = o*f, -p + 4 = -2*f + u for p.
5
Let v(c) = -c + 6. Let i be v(3). Suppose 3*j - 2*j + 4*m + 12 = 0, -2*m - 34 = -i*j. Solve 4*f = k - j, 4*k - 12 + 1 = -5*f for k.
4
Let s be (-1*1)/(-2*(-5)/(-20)). Solve s*f - 7 = -1, -2*d = f - 13 for d.
5
Let w(l) = -l**2 + l + 15. Let b be w(0). Suppose -13 + 4 = -r. Let i = -2 + 5. Solve -5*h - 5*g + 0*g + b = 0, -i*h - g + r = 0 for h.
3
Let u be 20/(-3)*3/(-2). Let d(l) = l - 1. Let q be d(3). Suppose u = 4*w - a, 0 = -5*w - 3*a + q*a + 8. Solve 0*y - 2*m + w = y, 4*y = -4*m for y.
-2
Suppose -2*m - 12 = -16. Suppose 0 = m*h - 1 - 7, 4*s - 4*h - 8 = 0. Solve 4*r + 3*i - 7 - s = 0, 5*i + 17 = 3*r for r.
4
Suppose -2*g - 2 + 0 = 0, -4*g = -2*l + 10. Let u = -12 + 8. Let i be (-2)/u - (-13)/2. Solve -l*w - 2*x + i = -x, w = -3*x + 5 for w.
2
Let i(d) = 2*d - 36. Let x be i(18). Solve 2*y - 2 = x, -3*q + 3*y - 15 = -0*q for q.
-4
Let f = -4 - -11. Let p = f + -4. Let k(x) = x**2 - 2*x + 3. Let m be k(2). Solve -2*l = -4*v - m*l - 3, -p*v + 2 = 5*l for v.
-1
Let n(u) = u**2 + 5*u - 2*u**2 + 4 + 0. Let k = -3 + 8. Let v be n(k). Solve 3*t + 2*c = -0*t - 10, v*c = -2*t - 4 for t.
-4
Let w = -10 + 11. Suppose 0 = z + w - 5. Solve 0 = -2*j - 2*c + 4*c + 18, 0 = 3*j - z*c - 32 for j.
4
Suppose 5*w + 2*r - 3 = 0, -4*w - 5*r - 3 = -2*w. Solve 5*t + 30 = 5*b, t + 3*b - 9 - w = 0 for t.
-2
Let m be (35/(-1) + 1)*(-26)/52. Solve -3*o = 4*a - m + 4, -4*o = -5*a - 7 for a.
1
Let y be (-1)/(-3) + 5/3. Suppose -2*i + 4*i - 8 = 0. Solve y*n = -i*m + 10, m - n - n = -10 for m.
0
Suppose -b + 5 = 5*r, 0 = -2*b - 3*r - 0*r + 10. Let m be ((-4)/6)/(b/15). Let p be m/12*2*-3. Solve -2*v + p - 7 = 4*z, 0 = -5*v + 3*z - 28 for v.
-5
Suppose -4*k - 5*d + 121 = -2*k, 4*d = -5*k + 294. Suppose -k = -5*g - 18. Solve 0 = 3*j + 5*i - g, -j = -5*j - 2*i - 8 for j.
-4
Let r = 69 - 25. Suppose 4*d - 54 = -0*x + 5*x, -4*d - 3*x = -70. Let z = r - d. Solve -z = -4*p + 4*n, -1 = 2*p + 4*n + 3 for p.
4
Let u(o) = o**2 - 2. Let r be u(3). Suppose -1 - r = -2*i. Solve 12 = i*g + k - 5*k, 3*g + k - 1 = 0 for g.
1
Let f = 4 - 7. Let q be f/(-6) - (-3)/2. Suppose -4*t + 3*t + 4*y = 0, -2*y = 5*t. Solve -2*z + t*m + 2*m + 4 = 0, m = -q*z + 4 for z.
2
Suppose 3*b + 12 = 7*b. Solve 5 = 5*v - 5*l, 4*v - 2*v - 6 = b*l for v.
-3
Suppose -4*x = 2*k - 8, -3*k - 3*x = 1 - 10. Let f be k + 0 - (-6)/(-3). Let u be (30 + (-2 - -1))*1. Solve a + u = -5*c, -c + f*c + a = 1 for c.
-5
Let m be ((-6)/(-5))/((-1)/5). Let o be (-196)/(-12) - (-2)/m. Let k be (-104)/(-39)*(-3)/(-2). Solve o = -2*u + 2*y - 5*y, 16 = -k*u + 2*y for u.
-5
Let d(m) = m**2 + 7*m - 5. Let b be d(-8). Let i be (-1)/(b/9*-1). Solve i*o = -3*y - 9, -4*o + 0*o - 4 = 0 for y.
-2
Let i = 4 + -1. Let t be (-2)/i - (-12)/18. Let y be (-14)/(-6) + (-1)/3. Solve -2*s - y*j = t, -s - j = j + 3 for s.
3
Suppose 0 = 2*b + 64 - 144. Solve b = -2*g + 7*g - 5*i, g + 4*i + 12 = 0 for g.
4
Let i = 4 - 0. Suppose -i*w - 112 = s - 4*s, s + w - 35 = 0. Let z = 11 + -8. Solve -b + z*n + 16 = 0, 2*b - s = 5*n - 8 for b.
4
Let o be -8 - -2 - -10 - 0. Let d = 12 + -8. Suppose 11 + 49 = d*g. Solve -5*i - 2 = -3*j, 5*i +