 Solve 6*x - l*x + 16 = 0 for x.
-4
Let d = -306 - -319. Solve -d*o + 56 = 4 for o.
4
Let p = -7 - -24. Suppose -15 = -p*t + 14*t. Solve -5*o - 25 = -t for o.
-4
Let z be 5/(-1)*16/(-10). Let u = -202 - -194. Let l = u + z. Solve q + 5 = -l for q.
-5
Let s be (-2)/3*75/(-10). Suppose -i = -2*z + i + 4, -i + 16 = s*z. Solve z*m + 11 = 2 for m.
-3
Let y(i) = -i**3 - 26*i**2 - 50*i - 32. Let a = -22 - 2. Let p be y(a). Solve 4*d + 0 + p = 0 for d.
-4
Suppose 26 = 5*j - 4*i, 0 = j - 4*i - 0*i - 18. Suppose 4*t = 2 - j. Solve t*q - 5*q + 20 = 0 for q.
4
Suppose 4*l - x = 12, -x - 3*x = -l + 18. Suppose l*z - 56 = -5*s, 0 = 3*s + 2*s - 5*z - 70. Let b = -5 + s. Solve -5 = 3*p + b for p.
-4
Let d be (-4 - (-1 + 1)) + (9 - 2). Let u be (-3)/d - 3 - (0 + -4). Solve u + 4 = f for f.
4
Suppose 3*k + 5*i + 15 = k, -2*k - 2*i - 6 = 0. Let z(x) = x + 5. Let n be z(-5). Let d(o) = -15*o - 58. Let b be d(-4). Solve n*g - g - b = k for g.
-2
Let v(i) = i**3 - 9*i**2 + 17*i + 3. Let d be v(6). Let f be 12/(d + 9/2). Solve 3*t = -f - 4 for t.
-4
Suppose x + 3*x = p + 161, -47 = -x - 2*p. Solve -4*u - 29 = -x for u.
3
Let o = 4 - 7. Let z be -3 + 12 - (4 + -2). Let a = z + o. Solve 28 = a*r + 8 for r.
5
Let w(d) = 2*d. Let b(j) = -j. Let s(p) = -b(p) - w(p). Let l be s(-1). Solve u - 2 = -l for u.
1
Let w = -15 + 34. Suppose -w = -4*n - m, 2 = -5*m - 3. Solve f + 0*f = n for f.
5
Let r be 3 + (-42)/(-18)*-3. Let y(v) = -2*v**2 + 2*v**2 + 4*v + 6 + v**2. Let t be y(r). Solve -6 = -3*k + t for k.
4
Let c(n) = n + 20. Let z be c(-10). Solve z*q - 15*q = 25 for q.
-5
Let s = -33 + 46. Let b be s/(-11) + (-4)/(-22). Let x be 4 - (6 + b) - -5. Solve 7 + 5 = -x*c for c.
-3
Let j = 8 - 5. Suppose -j*w + 3*k = -27, -w + 2*k + 5 = -9. Let h = -1 + 1. Solve -w*p = -h*p + 12 for p.
-3
Suppose 6*r + 11 = 233. Let l = r + -33. Solve 0*z + l*z - 16 = 0 for z.
4
Let b(a) = 3*a**2 - 2*a**2 + 8 + a + 5*a - 2*a**2. Let v be b(7). Let g = v - -2. Solve 10 = -g*l - 2 for l.
-4
Let j(t) = -t**3 + 7*t**2 + 14*t - 25. Let s be j(8). Suppose -p = -5*y + 9 + s, -8 = -y + p. Solve l + y = 3*l for l.
3
Suppose 21*q = 15*q + 36. Solve q = 4*g - 7*g for g.
-2
Suppose -36 = -2*t - 5*z + 7, 2*t - 33 = -3*z. Suppose 0 = 21*s + 144 + 3. Let u = t + s. Solve -4 + u = m for m.
-2
Suppose 3*b - 114 = -5*k, 5*k - 3*b = 2*k + 78. Solve -29*j + 5 = -k*j for j.
1
Suppose 3*l = -3*g + 237, 0*l - 5*g = 3*l - 245. Let y = 79 - l. Solve v + y*v - 25 = 0 for v.
5
Suppose 53 = 45*r + 8*r. Solve 8*d - 7 - r = 0 for d.
1
Let j(o) = -2*o**3 - 3*o**2 - 10*o + 7. Let k be j(-4). Suppose 130*a - k*a = 18. Suppose -2*w + 2 = -2*p, -3*w = p - 9 - 2. Solve p*z + 0*z - a = 0 for z.
3
Suppose 80 = -3*a + a. Let c = 61 + a. Suppose -1 = -4*v - 5, 0 = 4*j - 5*v - c. Solve 5*n + j = n for n.
-1
Let g(h) = 10*h + 220. Let l be g(-21). Solve l*n - 5 = -15 for n.
-1
Let x = -1 - 5. Let u = 10 + x. Solve -u*s + 4 + 12 = 0 for s.
4
Suppose -4*h - w + 17 = 0, -10 = w - 3*w. Solve p - h*p = 5*p for p.
0
Suppose -318 = -2*f - 308. Solve -f*c - 2*c = 0 for c.
0
Let m(b) = -b**2 + 2*b + 19. Let l be m(8). Let a = l - -32. Solve 15 = -a*j - 2*j for j.
-3
Let j(y) = -8*y - 17. Let s(z) = -2*z - 4. Let d(m) = -6*j(m) + 26*s(m). Let f be d(-2). Let x be (-24)/(-10) + 6/(-15). Solve 12 = -f*l + x*l for l.
-3
Suppose 1 = -8*z + 1. Solve -5*i - 171 + 176 = z for i.
1
Let m(p) = -2*p + 31. Let f be m(12). Let z = 12 - f. Solve z*u = -6 - 4 for u.
-2
Let a be 4*(-67)/7 + 2/7. Let q = a - -40. Solve 2*y = y + q for y.
2
Let a = -1540 - -1583. Solve 0 = 10*i - a + 3 for i.
4
Suppose -90 = -4*x + 174. Suppose 0 = -t + 72 - x. Solve t = -y + 8 for y.
2
Let l = -2 + 7. Suppose -57*g + 19*g + 84 = -26*g. Solve 8 = -l*y - g for y.
-3
Suppose 2*m - 3*o - 45 = 0, 0 = -5*m + 2*o - 0*o + 96. Solve -2 = -4*y + m for y.
5
Let h(c) = -c**3 - 12*c**2 - 22*c + 10. Let v be h(-9). Let s be -3 + -3 + v/10*-2. Solve 3*k + s = -5 for k.
-2
Let o(m) = 5*m + 170. Let h be o(-33). Solve 5*j = h - 0 for j.
1
Let k = 3 + -3. Suppose -44 + 32 = -6*y. Solve y*i + i - 6 = k for i.
2
Suppose 0 = j + 14*j - 30. Suppose 2*y + 2*y - 8 = 0. Suppose y*a + 3*h - 25 = 0, 0*h + 95 = 5*a + h. Solve -a = j*c + 2*c for c.
-5
Let y be (236/6 - 1)*3. Suppose y = 2*x + v, 2*x + 2*v = -v + 117. Let j = x - 32. Solve 0 = -4*c - c + j for c.
5
Suppose 17 = 13*z + 4. Let o(x) = -x**3 + 3*x**2 + 7*x - 9. Let a be o(5). Let m = -24 - a. Solve m = n - z + 6 for n.
-5
Suppose -5*c + g - 3*g = -4, 2*c - 4*g + 8 = 0. Solve -2*d + c = -8 for d.
4
Suppose 2*b + p - 6*p = -45, -170 = 5*b - p. Let q = b + 36. Solve 3*t = -q - 5 for t.
-2
Suppose 15 = -0*h - 3*h. Let b(y) = -3*y - 10. Let m be b(h). Suppose -u - 2*n + 5 = 0, 3*n + 51 - 13 = m*u. Solve -u + 27 = 4*i for i.
5
Suppose -458 = -8*r + 102. Let m = -68 + r. Solve m*y = -3*y - 20 for y.
-4
Let j = 20 + -10. Suppose -5 = 5*k - j. Solve k - 3 = -h for h.
2
Let x = 608 - 601. Solve -x*o - 4 = -3*o for o.
-1
Let m(p) = 12*p - 20. Let i be m(2). Let o be 0*i/(-8)*-1*1. Solve u + 3 = -o for u.
-3
Let t = 11 + -6. Suppose 5*h - 21 = 2*h. Let p(i) = i**3 - 6*i**2 - 4*i - 17. Let c be p(h). Solve 6 = t*o - c for o.
2
Let w(z) = -z - 1. Let s be w(-1). Suppose 0 = a - 6 + 3. Solve 0 = p - s - a for p.
3
Let o = 1130 + -1130. Solve 23*b - 71 + 2 = o for b.
3
Suppose 90*d - 79*d = 0. Solve d = -9*g + 5*g + 8 for g.
2
Suppose 5*i - 28 = -2*i. Let d = 1 + i. Let y be (-1)/(-1) - (1 + -12). Solve w + y = d*w for w.
3
Suppose -3*u + 5*z = 7, 5*u = 2*z - 12 - 6. Let i(p) = -5*p - 20. Let w be i(u). Solve w = 2*b + 3*b for b.
0
Let y(s) = -s**3 + 15*s**2 + s - 13. Let d = -4 - -19. Let g be y(d). Suppose g*z + 6 = 5*z. Solve z*i + 5 = -1 for i.
-3
Suppose 2*q = -1 + 5. Suppose -4*v + 6 = -3*f, q*v - 6*v + 2 = -5*f. Solve -1 = c + v for c.
-4
Let r(p) = -3*p - 15. Let h be (0 - 27/3) + 3. Let u be r(h). Solve u*n - n = -4 for n.
-2
Suppose f + 3*h = 81, 0 = -4*f - 4*h + 142 + 142. Let l = f - 65. Solve 11 = 4*x - l for x.
3
Suppose 0 = -g - 107 + 127. Solve g*q = 24*q - 16 for q.
4
Suppose -15*b + 99 = 3*c - 17*b, -2*b = 3*c - 99. Solve -39 = -6*n - c for n.
1
Suppose -3*m + 2 = -m + 2*a, -2*a - 2 = -2*m. Let v(f) = -1 + m - 1 - 3*f. Let i be v(-1). Solve -2*u = i*u + 16 for u.
-4
Suppose 0 = n + n - 2. Suppose 5*r + y - 5 = r, -5*y = -4*r + 23. Solve -1 = r*f + n for f.
-1
Let r = -1612 + 1636. Solve -12*z = -18*z + r for z.
4
Let h = -108 + 112. Solve h = 4*d - 16 for d.
5
Let x(w) = -w**2 - 9*w - 8. Let t(u) = -2*u**2 - 17*u - 15. Let q(v) = 6*t(v) - 11*x(v). Let z be q(-2). Suppose -5*g + 9*g = z. Solve f - 3 + 5 = g for f.
-2
Let g be (-4)/(-14) + (-16)/56. Suppose 5*s - 72 + 32 = g. Solve -q = -3*q - s for q.
-4
Suppose 5*t = 7 + 3. Let k(s) = 4*s - s**2 + 1 - t*s - 6*s**3 + 5*s**3 + 0*s**3. Let x be k(-2). Solve x = 2*i - i for i.
1
Let y = -21 + 16. Let q = y + 7. Suppose 5*z = 4*w - 0*z + 11, 17 = q*w + 5*z. Solve -w + 5 = 4*f for f.
1
Suppose -12*k = -9*k - 45. Solve k - 5 = -5*w for w.
-2
Suppose 0 = 103*r - 63*r - 1000. Let j(i) = -i**2 - 7*i. Let z be j(-7). Let w(x) = -x**3 - 5*x**2 - 4*x + 5. Let n be w(-4). Solve -r = n*l - z for l.
-5
Let l = -11 + 12. Let c(u) = 10*u**3 - u**2 - u + 1. Let o be c(l). Suppose d = y, 3*d - y = -d + o. Solve 0 = 5*q + d + 7 for q.
-2
Suppose -3*z - 292 + 313 = 0. Solve 2*h = 3 - z for h.
-2
Suppose -4*t - 5*y + 5 = -11, 3*y = t - 4. Solve 2*z = -2*z + t for z.
1
Let i = -41 - -45. Let u = i + 17. Solve -3*k - 6 + u = 0 for k.
5
Let z be 97/9 - (301/63 - 5). Let t(b) = -b - 8. Let v be t(-12). Solve 0 = 3*f + v + z for f.
-5
Let m = 45 - 28. Suppose -16*a + m*a = 5. Solve -a*h = -7 - 3 for h.
2
Suppose 0 = -36*n + 828 + 216. Solve -19 = 5*v - n for v.
2
Let l be (54/45)/((-4)/(-30)). Suppose 0 = -2*f - 2*w + 8, 2*f - 4*w + l*w = -7. Suppose -f*t + t + 40 = 0. Solve -4 = n - t for n.
1
Let r = 104 - 99. Suppose -3*u + g = -15, -4*g = 2*u + 3*u - 25. Solve -r*i = -10*i + u for i.
1
Let d(p) = p**2 - 9*p + 2. Let s be d(10). Solve 5*r = s - 7 for r.
1
Let f(k) = k - 4*k + 14 + 4*k. Let c be f(-8). Solve -4*g = -c*g - 8 for g.
-4
Let u be ((-4)/8)/1*-6. Suppose 8 = -2*k, -u*k - 14 = -3*d - k. Solve -1 = -s - d for s.
-1
Suppose 0*m + 40 = -5*m. Let h = m + 15. Suppose -5*a + 8 + h = 0. Solve a*c = -2*c + 10 fo