4. Solve 0 = 2*y - y + s for y.
-2
Let x(m) = -m + 7. Let n be x(5). Let b be 27 - (-2 + 6 + -3). Suppose n*v + 10 = b. Solve 5*l - v = 2 for l.
2
Suppose -15*x = -14*x. Suppose x = -3*v + 8*v. Solve 2*n + 0*n = v for n.
0
Let w(z) = 6*z + 29. Let d be w(-4). Solve 4 + 6 = d*h for h.
2
Let p(j) = j**3 + j**2 - 1. Let u(g) = -7*g**3 + 7*g**2 - g + 15. Let h(l) = -6*p(l) - u(l). Let o be h(13). Solve o*y - 10 = -y for y.
2
Suppose 0 = j - 3*m + 13, 0*m = 5*j + 4*m - 30. Solve 7 = j*v - 3 for v.
5
Suppose 4*m + 3*d = 22 - 7, -5*d = 15. Suppose 0 = -5*g + 2*s - s + 10, 4*s + 20 = 0. Solve 0 = -l + g - m for l.
-5
Suppose 11*r + 16 = 19*r. Let x be 1/5 + 28/10. Suppose 8*c - x*c = 0. Solve -y + r*y = c for y.
0
Suppose 5*k + t - 6 = 0, 5*t = 5*k + 1 - 31. Solve -5*l = -3 - k for l.
1
Suppose 4*k - 44 = -4*x, -4*x + 39 = 3*k - 0*k. Solve n - x = -n for n.
3
Suppose k + 0 - 14 = 3*l, 2*k - 4 = -2*l. Solve -3*c + 2 = -k*c for c.
-1
Let i(k) = -k**2 + 6*k. Let j be i(6). Solve j = -2*h + 5*h + 9 for h.
-3
Suppose -m - 3*q = -9 - 10, -4*m = 2*q - 26. Suppose -4*h - 3*r + 4*r - 129 = 0, -5*r = -5*h - 180. Let j = -21 - h. Solve 0 = -m*p - j + 2 for p.
-2
Let z(s) = -1 + 0*s**3 - s**2 + s - s**3 - 3*s**2 + 2*s**3. Let f be z(4). Let p be f + (-3)/1 - -7. Solve -3*n = -p*n for n.
0
Suppose 4*r + r - 22 = -p, 2 = -p + r. Suppose 0 = p*s + 3*b + 3, -2*s - 2 = s + 2*b. Solve -5*o + 2 + 13 = s for o.
3
Let w(b) = b**2 + b. Let o be w(0). Suppose o = -3*r + r + 6. Solve s = r - 5 for s.
-2
Let j = -15 - -27. Solve -3*z - j = -0*z for z.
-4
Suppose 0 = 4*l - 2*i + 5*i + 9, 3*l - 6 = 2*i. Solve l*c = -4*c + 12 for c.
3
Let p(r) = r. Let y be ((-1)/(-3))/((-1)/3). Let q = 1 + y. Let d be p(q). Solve d*m - 20 = 4*m for m.
-5
Suppose -3*j = 2*h - 6*j - 8, j + 16 = 4*h. Let k(a) = -5*a + 0*a - 3 + a**2 + 0*a. Let w be k(6). Solve h*r + w = 3*r for r.
-3
Let d = -14 - -16. Suppose f + 2 = d*f. Solve 2*h - f = -0*h for h.
1
Let z(q) = -q**3 + 2*q**2 + q + 1. Let t be z(2). Suppose m = -0*m - t. Let s be -2 - (2/2 + m). Solve s*l = -5*l for l.
0
Suppose 3*c + 2*c + 25 = 0. Let d be (c + 2/1)*-5. Suppose 5*m + 0*m = d. Solve 0 = -2*g + g - m for g.
-3
Suppose 5*l - 5 = -20, -2*x + 2*l = -6. Solve 0 = -x*k - 5*k for k.
0
Suppose 0 = -7*j + 8*j - 3. Solve 0 = -j*n + 5*n - 8 for n.
4
Let z be -3 - (2 + (-1)/(-1)). Let u be 88/33*z/(-4). Solve u*w - w = 6 for w.
2
Let m(j) = -2*j - 8. Let z be m(-6). Suppose -2*q = 2*t + 2*q, -t = -z*q. Solve -3*b + t = -9 for b.
3
Suppose -5*m + 30 = -u, -4*m + 4*u = u - 35. Let v be 4/(-10) - 508/(-20). Solve -m*w + v = -0*w for w.
5
Let v(r) = 0*r**2 - 6*r - 12*r + 5*r - r**2 - 10. Let k be v(-12). Solve 0 = z + z + k for z.
-1
Suppose 0 = 2*h + 2*h + 5*o - 4, 2*o = -8. Solve -3*t + h = -t for t.
3
Let o(t) = t**3 - 5*t**2 + 3. Let z be o(5). Let q be 2/7 - 96/(-7). Suppose -z*u = -3*d - 7*u + q, -2*d - 2*u + 8 = 0. Solve -d*c = -c for c.
0
Let k be 0 + 2 - (-2 + 0). Suppose 4*s - 5*m + 3 = 0, -3*s - k*m + 9 = -4*s. Solve 0 = s*b - 13 + 4 for b.
3
Let b be (-2)/(-7) - 24/(-14). Suppose -19 = 3*w - 22. Solve -b = i - w for i.
-1
Let i be (-1 + (-5)/(-4))/((-3)/(-12)). Solve 6 - i = 5*d for d.
1
Let p be ((-2)/3)/((-16)/(-72)). Let s be p/(0 + 6/(-8)). Solve 0 = -0*b + s*b - 8 for b.
2
Let i(y) = -y**3 - 3*y**2 + y - 4. Let o be (-22)/4*(-6)/3. Let v = -15 + o. Let h be i(v). Solve x - h = -3*x for x.
2
Let a = -2 - -2. Let w = 2 - a. Solve 2*y - 8 - w = 0 for y.
5
Suppose 3*r - 3*x - 45 = 0, -x = -3*x + 4. Suppose -5*p = -5*o - 10, 2*p + r = -5*o + 7. Solve p - 5 = -j for j.
5
Let y be (-64)/(-12)*(-3)/(-2). Suppose 68 = 5*i + 2*d - 6*d, 0 = -4*d - y. Solve i + 8 = 4*g for g.
5
Let g be ((-12)/(-8))/(-3)*-2. Suppose -w + 8 - 4 = 0. Let s be -1*-1*1 - -10. Solve g + s = w*x for x.
3
Let w be -5 + 76/14 - 25/(-7). Solve 0 = w*m - 7 + 3 for m.
1
Let k(y) = y + 4. Let w be k(0). Suppose 2*i = w*b - 8, i - 3 = -7. Let u = 76 + -51. Solve b = -2*v - 3*v - u for v.
-5
Suppose 0 = 4*t + 3*n - 4 + 12, -2*n = 4*t + 4. Let r be (-18)/5 + (-2)/5. Let s(u) = u**3 + 4*u**2 + 3. Let j be s(r). Solve -j*f + 4 = t for f.
1
Suppose s - 15 = -4*f + 6, 5*f - 4*s = 0. Solve -2*r = 2*r + f for r.
-1
Let g = 2 + -2. Suppose 0 = -4*x - 5*v + 76, 4*v - 58 = 3*x - 6*x. Suppose -3*w = 2*k - x, -w + k = -0*w - 8. Solve w*u - 2*u = g for u.
0
Let d = -2 + 12. Suppose d = 4*f - 2*f. Suppose 5*k - 5*g - 35 = -0*g, 3*k + 2*g - 1 = 0. Solve f = 2*r - k for r.
4
Let b(t) = -t + 9. Let r be b(7). Suppose 0 = -5*o - 3*n - 2*n - 10, -4*o - 2*n - r = 0. Solve 4*h - 17 = -o for h.
4
Let d(g) = 10*g**2 - 11*g - 9. Let m(l) = -5*l**2 + 5*l + 4. Let f(n) = -6*d(n) - 13*m(n). Let j be f(-2). Solve 7*q - 2*q + j = 0 for q.
-4
Suppose 4*n + 2 = 14. Solve -n*y + 5 = -10 for y.
5
Suppose 0 = 5*t + 9 + 31. Suppose 0 = -4*n - 5*g - 41, 4*n - g = 6*n + 13. Let i be t*(-1 - 2/n). Solve -j + i = -0*j for j.
4
Suppose 2*i - 4 = -v - 0, -i = 5*v - 2. Solve k + 4 = i*k for k.
4
Suppose 2 + 7 = 3*r. Suppose 0 = r*u - u. Solve 3*y + 6 = -u*y for y.
-2
Let w(o) = -o**3 - 10*o**2 - 10*o - 7. Let x be w(-9). Let h be (-20)/(-2) - (3 - x). Solve -t - h = -4*t for t.
3
Suppose 0 = -3*s - 4*g + 31, 4*g - 17 = -2*s + 9. Solve s*l - 8 = 3*l for l.
4
Let c(h) = -2*h**3 - 24*h**2 - 2*h - 19. Let y be c(-12). Solve x = 2*x + y for x.
-5
Let x(q) = q**3 + 6*q**2 - 2*q - 8. Let f(l) = -2*l + 4. Let c be f(5). Let v be x(c). Let j = -2 + v. Solve 4 = 3*o - j*o for o.
4
Let t = -17 - -18. Solve 0 = x - t - 4 for x.
5
Suppose f - 29 = -3*f - 5*x, -3*f - 7 = -2*x. Solve 4*t - f = -13 for t.
-3
Suppose 0*a - 3*a = 0. Let x be a/(2 + 0 + 0). Suppose -5*k = 5*i, x*i + 2*i + 24 = 4*k. Solve 0 = k*c - 3*c - 4 for c.
4
Suppose 42 = 47*n - 41*n. Solve -n = -2*i + 1 for i.
4
Suppose 0 = 6*k - 2*k. Solve 0 = -k*v - v for v.
0
Suppose -6*i - 225 = -15*i. Solve i = 3*l - 8*l for l.
-5
Let p(z) = 2*z. Let j be p(1). Let n(t) = -t**3 + 9*t**2 + 9*t + 15. Let y be n(10). Suppose 3*g + 1 = y*r, -j*r + 5*r = -2*g + 12. Solve -b = -0 - g for b.
3
Let w be 19 + 6/(-2) + 0. Solve 0 = -3*i + 7*i + w for i.
-4
Let b(l) = 3*l - 5. Let q be b(5). Solve 5*t - 5 = q for t.
3
Suppose -h = -8*h + 105. Solve 5*p = -10 - h for p.
-5
Let a be 2/1*(13 + 4). Let i = -19 + a. Solve 2*k - i = -3*k for k.
3
Let m = 3 - 7. Let t(s) = s + 10. Let d be t(-5). Let z = d + m. Solve -3 - z = 4*n for n.
-1
Let p = -154 - -154. Solve p = -2*j + 4*j + 4 for j.
-2
Suppose 5*p - 16 - 4 = 0. Suppose 3*x = -l - p, 0 = -0*l - l - 2*x - 2. Solve -5 = -l*m + m for m.
5
Suppose 3*h + 3*z = -2*h + 19, 3*h = 3*z - 3. Solve h*a + 3 = 1 for a.
-1
Let m(s) = 37*s**2 + s - 1. Let g be m(1). Suppose -4*u + 15 = -g. Solve u = 5*z - 12 for z.
5
Let t = 14 + -14. Solve t*m - 12 = -4*m for m.
3
Let n(d) = -d**3 + 5*d**2 - 2*d + 2. Let l be n(4). Let g = 9 - l. Let a be (g + 0)*-3 + -3. Solve -y + 5 = -a*y for y.
5
Suppose 3*q - q + 4*l = 30, 12 = 4*q - 4*l. Let z = q + -3. Solve -z = -3*s + 2 for s.
2
Let k = 54 - 52. Solve 5*a + 6 = k*a for a.
-2
Suppose p - 16 = -3*p. Let b(c) = -c**2 - 10*c - 21. Let l be b(-6). Solve -i = -l*i + p for i.
2
Suppose 4*o = 2*x + 70, 3*x = -0*o + o - 20. Let g = 24 - o. Solve g*h = 2*h - 5 for h.
-1
Suppose 10 = 3*c + 4*v - 2, -2*v = -c + 4. Let n = -4 - -2. Let u be c/14 + n/7. Solve -3*s + 4*s + 5 = u for s.
-5
Let n = 0 + -1. Let o be 4/(n - (-2 + -1)). Solve -a - 15 = o*a for a.
-5
Let r = -32 - -33. Let f(h) = -h**2 - 6*h - 2. Let x be f(-4). Suppose 2 = 4*g - x. Solve n - r = g*n for n.
-1
Suppose 5*i = 10*i + 30. Let h be 3/(-9) + (-2)/i. Solve h*a = 5*a - 5 for a.
1
Let x(p) = -5*p - 25. Let k be x(-5). Solve 3*t - 3 = -k*t for t.
1
Let g(h) = h**3 - 9*h**2 + 7*h + 8. Let p be 41/5 + 1/(-5). Let v be g(p). Let q = 3 + 1. Solve v*f = q*f for f.
0
Suppose 5*o = 60 - 15. Let a(q) = -q**2 - 8*q - 8. Let t be a(-6). Solve -t*s = -7*s + o for s.
3
Suppose 5*i = 2*i + 51. Suppose 1 = -4*u + i. Let q = u + -1. Solve 0 = 4*d - 5*d + q for d.
3
Let w(t) = -t - 15. Let o be w(0). Let r be (o/(-9) + -2)*-12. Suppose 0 = r*y - 9 - 19. Solve -y*u - 8 = -3*u for u.
-2
Let y = 10 - 10. Suppose y = -3*p + 12. Solve -p*f = -3*f + 3 for f.
-3
Suppose -o = 3*o. Suppose -h = -o*h - 6. Solve 0 = 6*w - 3*w + h for w.
-2
Let v = 266 + -169. Suppose -2