j - 1 = -n. Solve 5*m - j = -7 for m.
-1
Suppose -4*o - d + 11 = 0, 3*d - 8*d = 4*o - 23. Suppose -2*p - 16 = o*b - 42, -37 = -4*p - b. Let t be 2/p + (-35)/(-20). Solve 0 = -3*s - 1 - t for s.
-1
Let a = 8 + -6. Suppose -a*c - 3*c = -20. Suppose -2*g + c = z, 5*z + 26 = g + 2. Solve -7 = -g*u + 1 for u.
2
Let r be -4*(-4)/16 - -3. Suppose -r*o = o - 25. Solve -5*d - o + 20 = 0 for d.
3
Let y = 35 + -28. Let x(g) = -g**3 + 3*g**2 - 2*g + 3. Let d be x(2). Suppose d*j = y*j. Solve 4*t + 0 - 16 = j for t.
4
Let g(q) = q**3 - 8*q**2 + 5. Suppose -16 = 4*b - 6*b. Let c be g(b). Solve 3*h + c = -7 for h.
-4
Let y(r) = r + 3. Let b be y(-3). Suppose 4*a - 8 = 4. Suppose -v - v = 0, 5*g - 5*v = 15. Solve a*h - g - 3 = b for h.
2
Let s = -52 + 37. Let u = s - -25. Solve u + 5 = -5*l for l.
-3
Suppose 0 = -z + 5*s + 34, -7*z + 66 = -2*z + s. Suppose -3*h + 2*h + z = 5*k, 5*h - 22 = -k. Solve 5*x = 3*x - k for x.
-1
Let j(a) = -a - 3*a + 3*a + 5*a. Let z be j(1). Solve -19 + 7 = -z*h for h.
3
Let i = 5 + -3. Suppose 3*x - 1 = -2*d + 1, 10 = -2*d + 3*x. Let u be d + 4 + 2 + 2. Solve -u*s = -i*s for s.
0
Let r = -5 + 9. Solve -t = t - r for t.
2
Let m(s) = -s + 7. Let g be m(5). Let c be (0 - -1)*15/3. Let k = -5 + 8. Solve c*z = -k - g for z.
-1
Let q be 0 - (-2 + 4/(-1)). Suppose -h = -q*h. Let a(x) = -x**3 - 9*x**2 + 8*x - 14. Let t be a(-10). Solve t*p - 2*p = h for p.
0
Suppose -5 = o - 2*o. Suppose o*k + 3*r - 14 = 0, 0*k - 3*k = -r. Let n(s) = -s**2 - 6*s - 6. Let x be n(-4). Solve 0 = -x*w + k - 3 for w.
-1
Let k(u) = -u**2 + 3*u + 4. Let i be k(4). Suppose z = -3*z + 64. Suppose p + p - z = i. Solve 0 = -g - g - p for g.
-4
Let j = 2 + 1. Solve 5 + 10 = -j*i for i.
-5
Let j be -4 + (4/16)/(4/304). Solve 5*f = -0 + j for f.
3
Suppose 5 = -5*u + h - 6*h, -4*u + 2*h + 20 = 0. Solve -u*c = -5 - 10 for c.
5
Suppose 3 - 6 = -l. Let y = l - 2. Solve -d + 3 = -y for d.
4
Let k(s) = s**3 - 7*s**2 + 3. Suppose -10 = 2*d + 2. Let n = d - -13. Let x be k(n). Solve -r - 12 = x*r for r.
-3
Suppose -5*b = 25, 5*y - 5*b - 4 = 31. Solve a = y*a - 1 for a.
1
Suppose b + 3*k + 7 = 6, -4*b + 12 = 4*k. Solve -f = -b*f for f.
0
Let l = 19 + -9. Suppose l = -4*a + 6*a. Solve -5 - 5 = a*j for j.
-2
Let x = 9 + -6. Solve x*s - 5*s = -8 for s.
4
Suppose -4*r + 3*b = -27 - 17, -2*b = -8. Let x = r + -11. Solve -x*y = y for y.
0
Let c be 4 - (-2 + (-1 - -3)). Suppose -5*w + 2*p - 2 = -4, 2*w - 5 = 5*p. Solve w*o = c*o for o.
0
Suppose -4*y - 6 = -14. Solve y*d + 20 = -3*d for d.
-4
Suppose 2*s + 5 = -3. Let d(c) = c**2 + 6*c - 6. Let y be d(-7). Let z = y - s. Solve 2*m + 9 = z*m for m.
3
Let w be (-2)/(-2)*30/10. Suppose -36 = -5*t - w*a + 7*a, -t - a = 0. Suppose c + t*c = 0. Solve c = 2*u - 5*u for u.
0
Let c = 25 + -21. Solve 8 = c*l - 8 for l.
4
Let c = 25 + -15. Suppose 5*b - 5 = -5*d, 2*b + 9*d + c = 4*d. Solve -b*q = -q - 12 for q.
3
Let d be (-15)/(-6)*(-92)/(-10). Suppose 5 = -3*b + d. Solve b*g = g + 15 for g.
3
Let w be 21*1*2/6. Let j = 36 - 15. Let m = 36 - j. Solve m = w*r - 2*r for r.
3
Suppose -11*m = -90 - 86. Solve -f - 3*f = -m for f.
4
Let c(q) = -q**2 + 8*q + 22. Let m be c(10). Solve 7 = -m*n - 3 for n.
-5
Let v(o) = -o**3 + 2*o**2 - 1. Let w be v(-1). Let c be 3/(1 + w/(-8)). Solve c*l = -l for l.
0
Let p(o) = o**2 - 8*o + 15. Let q be p(8). Solve 0 = 7*c - 2*c + q for c.
-3
Let w be 21/(-12) - 2/8. Let b(x) = x**3 + 3*x**2 - 2*x - 4. Let v be b(-3). Let y be (-1 + v - -1) + w. Solve 0 = 3*j - y*j - 15 for j.
5
Let o(q) = 2*q + 58. Let d be o(-27). Solve -d*p = -p - 12 for p.
4
Suppose -k - 115 = -6*k. Suppose 5 - k = -j. Solve 2 = 4*m + j for m.
-4
Let x(n) = 3*n**3 - n**2 + 2*n - 3. Let a be x(2). Suppose c - 3*w - a = 4, -5*w = 25. Suppose 0 = 3*q + q + z - 8, 0 = -5*q + z + c. Solve -6 = -h - q*h for h.
2
Let g(y) = -5 - y**2 - 7*y - 4 + 4. Let m be g(-5). Solve 0 = 2*d - m + 1 for d.
2
Suppose -v = -2*v - 0*v. Solve v*y - 1 = y for y.
-1
Suppose -50 = -4*r + 2*r. Let b = -17 + r. Solve b = -3*y - 4 for y.
-4
Let q be (130/(-30))/((-1)/3). Suppose l = m + 2*l - 8, m + 2*l = q. Solve 5*z = 2*z - m for z.
-1
Let m = 7 + 8. Suppose 4*c - c - 3*d = m, -4*d - 2 = 5*c. Solve 3*j = -8 + c for j.
-2
Let o(r) = 4*r - 16. Let h be o(5). Solve 3*t = 4*t - h for t.
4
Let d(r) = -r**3 + 5*r**2 + 7*r - 5. Let p be d(6). Let m be p + -2 + -1 - -2. Solve m*i = 5*i - 10 for i.
2
Let f = 11 - 8. Solve -1 = f*h + 14 for h.
-5
Suppose 7*n - 6*n = 0. Suppose 2*i - 5*c - 9 = 0, 6*i = i - 3*c + 38. Suppose 0*h + i = h. Solve n = -5*u - 2 + h for u.
1
Let l be 3/1 + 0/(-3). Let n(k) = k**3 + 2*k**2 - k - 2. Suppose 0 = 4*u - 8*u - 8. Let s be n(u). Solve l*a + 4 + 2 = s for a.
-2
Suppose 5*f + 6 = 4*g, 0 = -2*g + 3*f - 1 + 3. Solve -9 = g*o + 11 for o.
-5
Let g be (-210)/(-9) - (-2)/3. Suppose -5*k - 2*s = -0*k - 16, -5*k + g = -2*s. Solve -5 + k = -f for f.
1
Let b be (2/5)/(1/5). Solve b*l = -3*l - 5 for l.
-1
Let i = -6 - -8. Let x be ((-6)/(-9))/(i/9). Solve -1 = 4*t + x for t.
-1
Let f = 6 - 1. Suppose 0 = f*z - 28 + 3. Let k(s) = -s + 9. Let m be k(7). Solve m*u - z*u - 9 = 0 for u.
-3
Suppose 5*w + 2*r - 7*r = 40, 4*w = -5*r - 13. Let t(v) = -v**3 + 2*v**2 + 5*v - 4. Let s be t(w). Solve 5*u + 15 = s*u for u.
-5
Let h = 7 - 3. Let f = 7 - h. Solve 2*l - l - f = 0 for l.
3
Suppose 39 = 2*d - 37. Suppose 0 = 3*a + 4*r + 34, -a = -4*a - 5*r - d. Let c = -5 - a. Solve -16 + c = -3*n for n.
5
Let k = 9 - 9. Let t(l) = -l - 1. Let p be t(-3). Solve k = p*h - h + 5 for h.
-5
Let x be (-2 + (1 - -9))/2. Let g = 28 - 17. Solve x*f = -g - 1 for f.
-3
Suppose -2*b = -5 + 1, 0 = p + 4*b - 12. Let y(x) = x**3 + 6*x**2 + x + 7. Let f be y(-6). Let d(j) = -8*j - 57. Let k be d(-8). Solve f = p*g - k for g.
2
Let m(g) = -9*g - 16. Let p(j) = -4*j - 8. Let v(f) = -2*m(f) + 5*p(f). Let w = 0 - 6. Let o be v(w). Solve -a = o*a + 25 for a.
-5
Suppose -4*f + z = -z - 26, f - 2*z - 11 = 0. Solve f*v + 21 = -4 for v.
-5
Suppose 5*k = -1 - 4. Let o be 2 - (0 + k)*0. Suppose -2*i + 2*v = -4*i + 12, -i + 9 = o*v. Solve 0*h = i*h for h.
0
Let n = 61 - 54. Solve -n*i = -2*i for i.
0
Let g(c) = -c**2 - 9*c + 12. Let v be g(-10). Suppose 3*z + 10 = 4*k, k - z + 0*z = v. Suppose 5*s + k*q - 2 + 10 = 0, -2 = q. Solve 3*l + s = -3 for l.
-1
Suppose -4*b - 31 + 11 = -4*n, 0 = 4*n + b - 15. Suppose 41 = 5*s + 26. Solve r + n = -s*r for r.
-1
Suppose -26 = -5*n + 14. Suppose -3*k + k = n. Let g = -4 - k. Solve -8*t + 4*t = g for t.
0
Let n(v) = -v**2 - v + 4. Let d be n(-3). Let u be (-3)/(-3) + d - -11. Solve -10 = -5*t + u for t.
4
Let w be ((-46)/69)/((-4)/30). Solve -w = -3*u + 7 for u.
4
Let z = -12 + 14. Solve -z*d - 3*d - 20 = 0 for d.
-4
Suppose 0 = a - 5*a + 20. Suppose 1 = -a*r + i + 4, -3*r - 3*i = 9. Suppose 30 = 2*o - 2*b, 0 = 2*o - 4*b - 18 - 10. Solve 3*f + f + o = r for f.
-4
Let r(b) = b**2 - 13*b + 3. Let h be r(13). Solve 2*s = h - 1 for s.
1
Let x(h) = -6*h - 3. Let u be x(-2). Let d = u - 9. Solve 0*l - l + 3 = d for l.
3
Let k = 15 + -7. Suppose -3*z - 2 + k = 0. Suppose -8 = -2*m - z*m. Solve -2*w + w = -m for w.
2
Suppose -3*k = -3, 3*g - 2*k = 2*g + 1. Solve 12 = 3*m - g for m.
5
Suppose -2*b + 45 = 5*c, c = -0*c + 4*b + 9. Solve -4*q + c = 1 for q.
2
Suppose 2*b + 6 = 2*a, -b - 9 = 5*a + 12. Let f be 45/b*(-6)/9. Solve 7 + f = 3*u for u.
4
Let n be 2/(-10) + 273/15. Let p be n/(-15)*15/(-6). Let d(t) = t**2 - t + 2. Let l be d(0). Solve 5 = -p*o + l for o.
-1
Suppose 0*p = -p + a + 12, 0 = -5*p - 5*a + 80. Solve -p - 6 = -5*s for s.
4
Let t = -5 - -12. Let m be (-2)/((-4)/(-11))*-2. Suppose 0 = 3*k + f - m - 5, -2*k + t = -3*f. Solve -4*r - 11 = k for r.
-4
Let y = -6 + 11. Let f = 51 + -49. Solve 3 = y*x - f for x.
1
Suppose -3 = -3*x + 2*x. Suppose x*h = 2*h. Solve 0 = -4*n - 4 - h for n.
-1
Suppose 2 = -3*h - 4*r, -r - 2*r - 16 = -5*h. Let p be (6/(-12))/(2/(-12)). Suppose p*o = h*o + 10. Solve b = -b + o for b.
5
Let q(u) = 2*u**2 + u - 1. Let c be q(1). Suppose -y + c = -2. Solve y*f + 0 = -16 for f.
-4
Let y(i) = -i**3 + 5*i**2 + 2*i - 5. Let q be y(5). Suppose 8*g - 3*g = -5*l + 45, 4*l = 12. Suppose 26 = 5*p + g. Solve 0 = q*z + 11 + p for z.
-3
Let m(b) = b**2 + b - 1. Let g(h) = h**3 + 4*h**2 + 5*h - 6. Let a(x) = -g(x) + 4*m(x). Let f be a(0). Let z = -40 +