y - d for l.
3
Suppose 3*i + n - 17 = 0, 0 = i - 0*n - 5*n + 5. Solve -1 = -i*b - 16 for b.
-3
Let i(l) = l - 4. Let r be i(5). Let v be (-10 - -8) + (r - -2). Suppose -3*s = -5*o - 26, 4 = -5*s - 3*o + 2. Solve s = f - v for f.
3
Suppose h - 5 - 1 = -4*a, -5*h + 5*a = -80. Suppose 3*r = g + h, -5*g + 1 - 6 = -2*r. Let b be -6 + 9 - (0 - g). Solve 2*x - 4*x + b = 0 for x.
2
Suppose -3*u - 532 = f, -6*f + f + 722 = -4*u. Let a = -172 - u. Solve 0 = -r + 4*r - a for r.
2
Let w be 54/12 + 1/(-2). Suppose w*x = x + 99. Suppose -5*p - 5*g + 1 = -4, 5*p - x = 2*g. Solve 8 = -p*q - 2 for q.
-2
Suppose -j - 3 = m - 5, 4*j = 4*m + 32. Solve j*q + 6 = 3*q for q.
-3
Let x(m) = -10*m**3 + 2*m - 1. Let b be x(1). Let i = -5 - b. Suppose 3*l - 3*q - 8 = i, 2*q = l - 6. Solve -r - l = -0 for r.
-2
Let t(b) = -2*b**3 - 20*b**2 + 22*b. Let w be t(-11). Solve w = -15*n + n + 14 for n.
1
Let h = -35 + 60. Suppose -4*q + 2*q = -10. Suppose -25 = -21*c + 16*c. Solve q*p = c - h for p.
-4
Suppose 4*j = j - y - 21, 3*y = 9. Let h(a) = 2*a**2 - 33*a + 12. Let s be h(16). Let l = s - j. Solve -l = -4*w + 4 for w.
2
Let f(b) = -b**2 - 8*b - 3. Let j be 2*-5 + 3 + 0. Let n be f(j). Suppose -5*c - 2 = -q, -5*q - n*c + 3 = -7. Solve -q*u = 3*u + 20 for u.
-4
Let g(q) = -3*q**2 - 9*q - 3. Let i be g(-2). Solve 0 = i*u - 4*u + 3 for u.
3
Let n be 6/(-14) - (405/(-63) - -3). Solve 6*f = -27 + n for f.
-4
Let m = -151 + 153. Suppose m*j = 2*k + 2*k, 6 = 3*k. Solve 3*g = -g + j for g.
1
Let d(s) = s**3 + 14*s**2. Let a be 1 + 472/(-32) - (-2)/(-8). Let h be d(a). Solve -p - 1 - 1 = h for p.
-2
Let g(q) = -2*q - 33. Let z(r) = -r - 33. Let l(i) = 3*g(i) - 4*z(i). Let w be l(14). Solve 0 = -4*s + w*s + 4 for s.
-4
Let o(y) = -y + 6. Let m be ((-6)/(-5))/((-1)/(-5)). Let v be o(m). Suppose w = -v*w. Solve -n - 1 - 2 = w for n.
-3
Let n be 7 + (-2)/(-2 + 0). Solve -n + 44 = 9*o for o.
4
Let h = -84 - -86. Suppose -h*l = -6*l. Solve 0 = k - l*k for k.
0
Suppose -3*j + 16 = j. Let i be (1 - (-18)/(-12)) + (-1)/(-2). Let l be 39/(-13) + (-8)/(-2). Solve i = j*h - l - 3 for h.
1
Let i = 103 - 173. Let w = -67 - i. Solve -4*q - w - 13 = 0 for q.
-4
Let p(q) = -q**3 - q**2 + 3*q - 1. Let z be p(-3). Let m(l) = -l**2 + 10*l - 11. Let f be m(z). Solve f*j - 3 = -13 for j.
-2
Let z be ((-4)/6 - (-49)/42)*0. Suppose -u - 5*o + 15 = z, o + 3 = 5. Solve 0 = -3*q + u*q for q.
0
Let c(y) = -y - 22. Let k be c(-5). Let g = -12 - k. Solve -g = 3*p - 2*p for p.
-5
Let p(b) = b**2 - 11*b - 273. Let g be p(23). Solve 0 = g*a - 7*a - 4 for a.
-1
Let w = -5 - -8. Let s(f) = f**3 + 6*f**2 - 8. Let j be s(-5). Solve 4*r = -w - j for r.
-5
Let y(j) = j**2 - 10*j - 9. Let h be y(11). Suppose -h*f + f = 16*f. Solve -10 = -5*z - f for z.
2
Let x be (2/16)/((-4)/(-352)). Solve -x = -2*p - 13 for p.
-1
Let s = 129 + -67. Suppose 0 = -5*v + s - 17. Suppose f - h + 2*h = v, -4*h = -4*f + 4. Solve y - 16 = f*y for y.
-4
Suppose c - 4*y = -64, 0 = 2*c - 5*y + 18 + 98. Let v = 53 + c. Solve -3*g = 7 + v for g.
-4
Let j(m) = -m**3 - 28*m**2 - m - 28. Let v(q) = -27*q**2 - q - 2. Let l be v(-1). Let r be j(l). Solve r = 2*g - 0*g - 10 for g.
5
Suppose -24 = 3*t - 7*t. Let p(n) = n - 3. Let i be p(t). Suppose i*v - 7*v + 8 = 0. Solve a = v*a for a.
0
Suppose -10*h + 1036 = 64*h. Solve -h = 3*u - 14 for u.
0
Let h = 525 - 525. Solve h*r - 12 = -3*r for r.
4
Let o be (-135)/(-36) - (-1)/4. Suppose -j + 4*r = 16, -j - o = 2*j - r. Suppose j = -p - p. Solve 12 = 4*q - p*q for q.
3
Let p = -84 + 92. Solve -2*y + 2 = p for y.
-3
Suppose 32*k - 99 = 29*k. Let l = k - 29. Solve 4*r = 16 + l for r.
5
Suppose 0 = -5*v + 4*u + 51, 0 = -5*v - 2*u + 6 + 21. Let s = 76 - 69. Let a = v - s. Solve a = -2*b - 8 - 2 for b.
-5
Suppose -p = 3*p - 10*s + 4, -4*p = -5*s - 6. Solve -5*j - 19 = -p for j.
-3
Suppose x + 3*x = 0. Suppose x = -2*m + 1 + 5. Let j = -3 + m. Solve j = -v - 0*v + 1 for v.
1
Let g = 284 + -276. Solve 0 = -g*d + 9*d - 1 for d.
1
Let q = -221 + 224. Solve q*t + 7 + 2 = 0 for t.
-3
Suppose 0*s - 6 = 3*u + s, 5*u = -4*s - 17. Let c be 56/(-14) - 1*u. Let v = c - -9. Solve 0 = w + w - v for w.
3
Let j(p) = -p + 2 + 5*p - 7*p - 7*p**2 - 7*p - p**3. Let f be j(-5). Solve -i - 12 = f*i for i.
-4
Let i = 1 - -3. Suppose -2*f = -8 + i. Suppose 43 = 4*c + 3*s, -f*s + 11 = 2*c - 9. Solve 0 = 4*u - c - 3 for u.
4
Let l(i) = -4*i + 59. Let k be l(15). Let a be 2 + (-2*k/(-1) - -3). Solve w = -a*w for w.
0
Let c = 23 - 18. Suppose o = -3*j + 2*o + 15, c = j - 5*o. Suppose 3 = x - j*n, 2*x - 4*n - 5 = 1. Solve x = 5*d + 23 for d.
-4
Suppose -5*t + 1092 = 987. Solve -10*a + t = -17*a for a.
-3
Let a = 22 + -21. Let m be 10/4 - a/(-2). Solve p + m = 2*p for p.
3
Let b be (-1 + -3 - -3)*-1*25. Solve 5*s = -0*s + b for s.
5
Let t = 237 + -228. Solve -7*h = -t*h - 8 for h.
-4
Suppose -2*k - 6 + 4 = 0. Suppose 4*r - 12 = -4*j + 3*j, -4*r + 4*j + 32 = 0. Let s = k + r. Solve s*f = -f + 20 for f.
5
Let g(o) = -2*o - 25. Let a be g(-14). Suppose a = -3*l + 12. Solve -13 = l*t + 2 for t.
-5
Let z(x) = 3*x + 34. Let q be z(-10). Suppose -2*w - q = -p, 2*w - 3*w = 2*p + 2. Solve 10 = -p*l + 5*l for l.
2
Let w = 6 - 4. Suppose 2*k - w*g = -3 + 5, -3 = k + 3*g. Solve 5*s - 30 + 5 = k for s.
5
Let y be (14/(-7))/(1/2). Let v be y - (4/(-1) + -5). Solve 12 = v*d - 2*d for d.
4
Let h be 9 + 4 + -7 + 4. Suppose 0 = 4*g + g - 10. Suppose s - g = 1. Solve -h = -s*d + d for d.
5
Let n(g) = g**3 + 8*g**2 + 2*g - 14. Let c be n(-6). Let h = -40 + c. Solve -h = 4*u + 6 for u.
-3
Let q(b) = -12*b - 176. Let p be q(-15). Solve -p*k + 5*k = -2 for k.
-2
Let j(o) = o**3 + 2*o - 2. Let a be j(2). Solve k = -a*k + 7*k for k.
0
Suppose -25 = -3*z + 8. Suppose -22 - z = -11*l. Solve -o + l = 2*o for o.
1
Let w(r) = -r - 3. Let v be ((-2)/3)/(4/42). Let x be w(v). Suppose 0 = m + m - x. Solve -4 = -2*t - m*t for t.
1
Suppose 4 = l, 0 = 4*w - 3*w + 2*l - 8. Solve -8*m + 11*m - 6 = w for m.
2
Let j(x) = x**3 - 13*x**2 + x + 2. Let s be j(13). Let c = 18 - s. Solve -c*z = -0*z - 12 for z.
4
Let h(q) = -q**3 - 13*q**2 - 14*q - 18. Let w(z) = 7 + 1 - 2*z - 2. Let i be w(9). Let g be h(i). Solve -j - g = -4*j for j.
2
Let a = 9 + -16. Let b be (-143)/(-7) + 3/a. Suppose -4*z = z - b. Solve -z*u - 25 = u for u.
-5
Suppose 4*k + 8 = 0, i - 4*k + 10 = -5*k. Let x = i - -8. Solve x = -4*n - 18 - 2 for n.
-5
Let p be (-20)/(-15) + 1 - (-8)/(-24). Solve -6*d + 7*d = p for d.
2
Let g = -5 + 7. Let u be 5 + 45/(-5) + (-18)/(-3). Suppose -u*b = b - 5*j - 24, 0 = g*b + j - 3. Solve k = b + 1 for k.
4
Let c(p) = -p**2 + 6*p + 107. Let h be c(12). Solve -h*u - 4 = -37*u for u.
2
Suppose 2*h - h + 5*l = -13, 4*h - 2*l = 14. Suppose 2 = k - f, h*k - 3*f = -4*f + 4. Solve y - k = 1 for y.
3
Suppose -3 = -i + 7. Suppose 5*o = 4*u + u + i, 0 = -4*o + 5*u + 10. Solve o*m - 3*m = 9 for m.
-3
Let o be 24/32 - (-18)/8. Let s = 0 + o. Let j be 6/4 + s/6. Solve 0 = j*p - 3 + 13 for p.
-5
Let f(v) = -87*v + 446. Let m be f(5). Solve 14*z = m*z - 6 for z.
-2
Let i be 1/6 + 3277/678. Solve -7*g + 12 - i = 0 for g.
1
Suppose 3*q - 39*x = -34*x + 15, 5*x = 2*q - 15. Solve 12 = -12*y - q for y.
-1
Suppose 5*d = 3*u + 8*d - 21, 2*u - 4 = -4*d. Solve -3*z = -7*z - u for z.
-3
Let f(y) = -4*y - 4. Let d be f(0). Let p(o) = -o**3 - 5*o**2 - 7*o - 9. Let l be p(d). Solve -l*j = j for j.
0
Let d = -342 - -342. Solve -7*r + 3*r = d for r.
0
Let h(b) = 18*b + 44. Let o be h(-2). Solve 0 = o*a - 3*a + 10 for a.
-2
Let b = 410 - 403. Solve 4*m - 5 - b = 0 for m.
3
Let b(r) = -8*r + 220. Let l be b(27). Solve 0 = l*j + j for j.
0
Suppose 0 = 36*n - 187 - 137. Solve 0 = -n*f + 16*f + 7 for f.
-1
Suppose 4*h - 2*t - 4 = 2*h, 0 = 5*h + 3*t + 6. Solve h*i + 5*i = -20 for i.
-4
Let k(u) = 9 + 3*u**3 - 4185*u + 4183*u - 2*u**3 + 11*u**2. Let c be (-1)/2 - 42/4. Let f be k(c). Solve 6 = 5*n + f for n.
-5
Let q = 17 + -19. Let d be q + (1 - 0) - (-2 + -1). Solve 0 = h + d + 2 for h.
-4
Suppose 0 = -5*n + 42 + 48. Solve -4*y + n - 2 = 0 for y.
4
Suppose -4*y + 35 = 3*y. Suppose w = 3*d + 1, 5*w = y*d + 6*w + 15. Let z be (1/3)/(d/(-36)). Solve 21 - z = 3*j for j.
5
Let m(z) = 4*z**2 - z - 4. Let b be m(2). Solve -4*j + b - 2 = 0 for j.
2
Suppose 4*v = -5*j + j + 20, -5*j + v = -1. Suppose -10*p = -11*p - j. Let 