8/(-24)). Solve 0*f + 4 = y*f for f.
2
Let x = 0 - -3. Suppose 3*j - x = -3*k + 3, -2*k + 10 = 5*j. Suppose -4*u + 73 = -3*n, -u - 3*n + 7 = -k*n. Solve 3*s = -s - u for s.
-4
Let d(y) = -y**3 - 2*y**2 - 2*y - 1. Let r be d(-2). Let i = -20 - -24. Suppose i*n = -n. Solve -r*w - w - 12 = n for w.
-3
Let d = -5 - -162. Suppose -4*a = -d + 61. Solve -a = 5*q + 1 for q.
-5
Suppose -5*r - 2*z - z = -11, -3*r - 3*z = -9. Solve r = 4*o - 3 for o.
1
Let u(g) = -g**3 - 17*g**2 - 16*g + 13. Let h be u(-16). Solve 5*s - h = 12 for s.
5
Suppose 0*f + 20 = 4*f. Solve k + 0 + f = 0 for k.
-5
Suppose -14 = -4*f + j, -4*j - 31 = -5*f - 8. Let y be (-2)/(-3) + 38/6. Let g(b) = -b - 3. Let h be g(-3). Solve -f*k - 2 - y = h for k.
-3
Let q = 11 - 2. Let p = 14 - q. Solve 2*f + 12 = p*f for f.
4
Suppose 7*j = 3*j + 36. Suppose 12*v - 15*v = 0. Solve -3*u = -v - j for u.
3
Let r(c) = -3*c - 12. Let u be r(-4). Solve 2*a - 5 + 3 = u for a.
1
Let x(f) = 2*f + 3. Let b be x(0). Solve 0 = b*g - 0*g - 3 for g.
1
Let r be 3 - 1*(-2 - -3). Suppose -3*d - r = 4, d = -4*a + 6. Solve 0 = 2*p - a + 6 for p.
-2
Let n be (-2)/9 + 10/45. Solve n = -0*h + h + 5 for h.
-5
Let h(f) = f - 3. Let r be h(7). Solve -r = m + 1 for m.
-5
Let s be (-24)/42 + (-36)/(-14). Solve s*z + 6 = -4 for z.
-5
Let d(y) = y**2 + 3*y + 6. Let a be d(-2). Solve 2*z + 2*z = -a for z.
-1
Let l(o) = 4*o - 1. Let c = 1 + 1. Suppose 0 = c*v + v - 3. Let f be l(v). Solve 0 = f*m - 0 + 6 for m.
-2
Let h(b) = b**3 - 4*b**2 + 4*b - 1. Let z be h(3). Solve -2*v + 10 - z = 0 for v.
4
Let z(w) = -3*w - 1. Let h be z(-2). Let o(l) = -l**2 - l + 1. Let u be o(1). Let g = u - -1. Solve g = 3*r - h - 1 for r.
2
Suppose -4 = h, -h = 4*a + 4*h + 4. Solve 9 + 3 = a*n for n.
3
Suppose y = -3*y + 20. Solve 3*p = y*p for p.
0
Suppose 5*c + 3*y - 40 = 0, c = -3*y + 29 - 9. Solve -4*z - 3 = -c*z for z.
3
Suppose -k = 8*k - 18. Solve -6 = -k*x - x for x.
2
Let i(k) = k + 1. Let u be i(3). Solve 2*r = u - 14 for r.
-5
Let o be 4/14 + 5/7. Let k = o - 1. Let c = k + 3. Solve -c*s + s - 10 = 0 for s.
-5
Let y = 9 + -9. Solve -4*d + 3*d + 1 = y for d.
1
Let c(q) = -q**2 + 5*q + 3. Suppose -3*r = r - 20. Let y be c(r). Let x be (40/6)/(2/y). Solve 2*n = -0*n - x for n.
-5
Suppose 3*h = h + 6. Suppose -q = -h*q + 12. Let u = -4 + q. Solve u*m = m for m.
0
Let k(u) = u**3 - 2*u**2 + 3*u - 2. Let d be k(2). Suppose -2*c - d = -4*c. Solve -c = -2*w + 4 for w.
3
Suppose 5*g + 10 - 20 = 0. Solve -g + 6 = h for h.
4
Suppose -28 = -3*s - 5*j - 2, 0 = 2*s - j. Solve -y = -s*y + 4 for y.
4
Let r(g) = -3 - g**2 + 3 + 2*g - g**3. Let c be r(-2). Solve c = -5*n + 11 + 4 for n.
3
Let h(b) = -2*b**2 + 5*b - 2. Let z be h(3). Let w = 3 - z. Suppose -3*j + 6 = q - 2, 0 = j - 4*q - 7. Solve -7*g = -j*g - w for g.
2
Let h(k) = -k + 2. Let p be h(2). Solve s - 2*s = p for s.
0
Suppose 5*o + 11 = y, -3*o + 27 = 3*y + 2*y. Suppose -2*f - 2*q - 7 = q, -3*q = -5*f + 14. Solve -h = f - y for h.
5
Let z = -65 - -65. Solve 0 = -3*m - z*m for m.
0
Suppose p + 2 = -2*t, -4*p + 3*p = -5*t + 2. Suppose k - 7 = -2. Solve 0*y + k*y = t for y.
0
Let y = 18 + -12. Let a be 0 + 14/2 + -1. Suppose -5*r + a = -9. Solve r*u = y*u + 9 for u.
-3
Let g be 3*(-1 + 2/3). Let v be (-5)/2*(-3 - g). Solve -3*m + v*m - 2 = 0 for m.
1
Suppose -56*a = -58*a + 14. Solve 2*m + 3 = -a for m.
-5
Let b be 6/15 - 2/5. Let o be 0 + (2 - b) + -3. Let g be o/(-3) - (-88)/6. Solve -5*i + g + 10 = 0 for i.
5
Suppose -2*c = 8 - 12. Solve 4 = -c*l + 2 for l.
-1
Suppose 0 = -i - 3*i - 112. Let n be 4/(-7)*i/8. Solve n*h + 4 = -2 for h.
-3
Let d(p) = p**3 - 6*p**2 - 8*p + 10. Let z be d(7). Suppose 0 = -2*v - z*c, 2 = v - 2*c - 12. Solve -v*w = -w - 25 for w.
5
Let f be (4/3)/((-6)/(-9)). Suppose 5*v = f*u + 1 + 4, 4*v - 27 = -3*u. Suppose 6 = s + v. Solve -1 = -s*p + 11 for p.
4
Suppose -3*k + 6 = -6. Let t be 4*(1 + (-2)/k). Let c(h) = -4*h - 119. Let u be c(-30). Solve -3*y = -t*y - u for y.
1
Suppose 0 = -3*t + 2*j + 2*j + 35, 0 = t - 2*j - 15. Suppose -2 = t*z + l - 11, z - 5 = 3*l. Solve 0*s = -z*s - 10 for s.
-5
Suppose -5*h = 2*a - 12, -h - h - 4 = 3*a. Suppose -5*l + h*i = 4 + 4, i = -5*l + 2. Solve l = -d - 0*d for d.
0
Suppose 0 = z + 4 + 18. Let o = z - -38. Suppose -o = -5*a + 9. Solve a*p = -0*p for p.
0
Suppose o = -5*n - 54, -2*n - 4*o = -0*o + 36. Let l = 17 + n. Let g(v) = -6*v + 2. Let d be g(-3). Solve -2*a + l*a = d for a.
4
Let q(l) = -l + 13. Let w be q(9). Suppose -4*k - 5*i + 41 = -6, w*k - 35 = -i. Suppose 0 = -2*n - k + 58. Solve -n + 9 = 4*r for r.
-4
Let z = -1 + 3. Let h(j) = -j**2 + 0*j**2 - 2*j - 5*j - 6 + z*j**2. Let t be h(8). Solve t*x = x for x.
0
Let u(o) = 2*o**2 + o. Let b be u(-1). Let d be 1 - (-1 - b) - -1. Solve 0*j = -j - d for j.
-4
Let x(y) = y + 14. Let t be x(-10). Suppose -5*a + 38 = -3*j + t*j, -3*a - 3*j = -18. Let o = -3 + a. Solve -o*i = -3*i for i.
0
Let a be 0/(-2 + 1 - -3). Suppose a = -v - 0*v. Suppose -2*n = -7*n + 20, v = -4*i - 3*n + 16. Solve 2*c - 9 = i for c.
5
Suppose -m - 2*i - 10 = 9, -m - 5*i - 13 = 0. Let f = 38 + m. Let b(j) = -j - 1. Let k be b(-4). Solve -2*w - k*w = f for w.
-3
Suppose -3*c + 5 + 4 = -l, 4*c - 2 = -2*l. Solve c*b = -b + 15 for b.
5
Let j(y) = y**3 + 4*y**2 - 3*y - 6. Let z be j(-4). Solve z = -5*f + 2*f for f.
-2
Let n = 153 + -148. Solve 4 = -n*k - 11 for k.
-3
Let d = 70 + -58. Solve -8 = 5*z + d for z.
-4
Let z be (-3 - -1)*-1 + -3. Let l be 4 - (z + 2) - 3. Solve l = 3*s + s - 8 for s.
2
Suppose 0 = 5*c - c - 4. Solve c = 4*r - 3 for r.
1
Let i be ((-5 + 1)/(-1))/1. Solve c = -c - i for c.
-2
Let z(q) = 3*q + 21. Let c(d) = -2*d - 11. Let u(f) = 5*c(f) + 3*z(f). Let m be u(5). Solve 0 = m*w - 5*w - 10 for w.
-5
Suppose 4*y = 5*y - 3. Suppose -2*i - 7*l - 4 = -y*l, 4*l = i - 4. Suppose 3*w - 3 = 6. Solve i = h + 2*h + w for h.
-1
Suppose -7*p + 11*p = 20. Solve 32 = p*b + 7 for b.
5
Suppose o - 5 = -1. Suppose o*s = s. Suppose 3*w + 18 - 24 = 0. Solve s = -k + 3 - w for k.
1
Suppose 4*s + 2*c - 53 = 7*c, 4*c = -4*s + 44. Suppose 4*b = 8*b - s. Let j be (-21)/(-9) - 2/(-3). Solve j + b = 3*x for x.
2
Let n = 25 - 17. Solve -a - a = -n for a.
4
Let z = -27 - -31. Solve -7*x = -3*x - z for x.
1
Let p = 30 + -19. Let i(k) = -k**2 + 10*k + 13. Let n be i(p). Solve -n*u - 2*u - 16 = 0 for u.
-4
Let s be (-24)/(-18)*(-9)/(-2). Solve -5*q = -9 - s for q.
3
Suppose 2*j + 5*s = -0*j + 12, -j - 5*s = 4. Solve 0 = -3*w + 7*w - j for w.
4
Suppose -4*d - 7 = 3*w, 0*d - 4 = d. Solve 0 = -s + w*s - 8 for s.
4
Let c be (-6)/(-15) - (-6)/(-15). Suppose c = v - 2*v + 2. Suppose 3*z + 4*b = 49 + 4, 2*z = 5*b - 3. Solve z = v*q + 5 for q.
3
Let o be (-5)/(-1 - 6/(-9)). Let m be 32/10 - (-2)/(-10). Let l be -1 - m/(-2 - 1). Solve l*s + o = 3*s for s.
5
Let y = -5 + 9. Suppose 9 - 1 = y*f. Suppose f + 4 = 3*a. Solve -20 = -7*c + a*c for c.
4
Let h = -2 + 3. Let k(o) = o + 3. Let t be k(-1). Solve -h = g - t for g.
1
Let b be -1 + 1*(-30)/(-2). Let j = -10 + b. Solve 0*x - j = -2*x for x.
2
Let b be ((-88)/(-10))/(14/35). Suppose -4*v - b = -5*v. Solve -v = -5*z - 2 for z.
4
Let g(c) = c**2 - 2*c - 1. Let m be g(3). Suppose j = -2 + 5. Suppose 7*w - 16 = j*w. Solve 2*q - w = -m for q.
1
Let p = 11 - 9. Solve p = -q + 2*q for q.
2
Suppose 5*u = 2 + 3. Let r(a) = 2*a - 1. Let d be r(u). Let t be (10/4)/(d/2). Solve -t*m - 1 = -6 for m.
1
Suppose -u + 12 = 2*u. Let q be 2/u - 10/(-4). Solve -2*v + 1 = -q*v for v.
-1
Let y = 0 - 0. Suppose 3*x - 4*t = 13, y = 5*x - 3*t - 2*t - 20. Solve -2*n - x = -n for n.
-3
Let x be -9 + 9 + ((-12)/(-3))/1. Solve -2*t = -0*t + x for t.
-2
Suppose 0 = -4*w + 4*x + 16, 0 = 4*w - 0*w - x - 22. Solve 3 = -3*j - w for j.
-3
Suppose -4*k - 4 = -3*r - 2, 2*r - 5*k + 8 = 0. Suppose c = -2*c + r. Solve c + 1 = v for v.
3
Let p = -21 + 45. Solve 3*j + 9 = p for j.
5
Let y be 2/(-8) + (-5)/(-4). Let x(g) = 6*g - 1. Let b be x(y). Solve -8 = -b*w + 7 for w.
3
Suppose 15 = -u + d, 0 = -u - 4*u - 2*d - 40. Let p = -22 + 16. Let c = p - u. Solve c = 5*a + 19 for a.
-3
Let j = -3 - -1. Let w = j + 5. Solve 20 = w*u + u for u.
5
Suppose 0 = -5*h + 5, -10 = -3*k + h + 34. Solve 0*b = -3*b + k for b.
5
Suppose -3*t + u + 3 + 14 = 0, 5*t = 5*u + 45. Solve -2*m + t*m = 0 for m.
0
Let z be (-3 + (-2 - -3))*-2. 