pose -24 = 2*x + 8. Let j be (x/10)/(34/(-85)). Let z = 1 + 1. Solve j = z*o + 10 for o.
-3
Suppose -6*g = -g - 50. Suppose 6 = 4*n - g. Solve 2 = -2*o - n for o.
-3
Let s(j) = -7*j + 1. Let a be s(1). Let r be (2/a)/(2/12). Let i be (1 - -1)/(r/(-4)). Solve i + 11 = -3*x for x.
-5
Let w be (-8 + 70/10)/((-1)/15). Solve 123*o - 128*o + w = 0 for o.
3
Let u = -4 - -24. Suppose -u = -5*l - 5. Suppose -16 = -5*r - 3*d, -5*r + 22*d = 21*d - 8. Solve 0 = -2*w + l*w + r for w.
-2
Let t(l) = l**2 + 42*l + 381. Let y be t(-13). Solve -2 = -y*x + 2 for x.
1
Let s = 583 - 583. Solve 0 = -s*b - 5*b for b.
0
Let j = -449 + 456. Solve 0 = -5*d + j + 3 for d.
2
Let s(u) = 7*u**2 - 109*u - 162. Let n be s(17). Let v(z) = -z**3 - 4*z**2 - 5*z - 6. Let f be v(-4). Let y be (-132)/(-28) - (-4)/f. Solve -y*l + n = -l for l.
2
Suppose -5*s = -3*v + 4*v - 17, -3*s + 9 = 0. Solve 10 = -v*r + 7*r for r.
2
Suppose -2*s = -4*v, 2*s - v = 7 - 4. Suppose -3*u = s*u - 5. Solve -4 = -r - u for r.
3
Suppose -25*g + 18*g = -84. Solve 0 = g*z - 9*z - 6 for z.
2
Suppose 10 = 6*y - 4*y. Suppose -y*h + 13 = -2. Let w be (-132)/(-9) + h/9. Solve 0*u = -3*u - w for u.
-5
Let w = 202 - 201. Solve -w + 13 = 3*o for o.
4
Suppose 0 = p - 3*l - 2, 2*l + 4 = 4*p - 4. Solve 0*v - p*v = 0 for v.
0
Let u be -1 + 12 - (1 - 3). Let a = -10 + u. Suppose 0 = -2*n - 5*c + 5, n - 3*c = a*n - 7. Solve 0 = -7*h + 2*h - n for h.
-1
Let o be (-13 - -9) + (48/2)/2. Solve -76*h + 80*h - o = 0 for h.
2
Let n be ((-70)/(-10) - 6)/((-2)/(-50)). Solve 0 = 11*d + 3 - n for d.
2
Suppose 0 = -y + 2*a - 10, -y = -a - 3*a + 20. Solve 142*l - 138*l + 16 = y for l.
-4
Suppose -5*r - 242 = 3*m, 4*m - 3*m - 246 = 5*r. Let u = 102 + r. Suppose 8*d - 3 = u. Solve -4*v = -d*v for v.
0
Let k = 1480 + -1448. Solve 0 = k*a - 23*a + 18 for a.
-2
Suppose -2*r + 2 = -3*c, -2*c + 0*c - 5*r - 33 = 0. Let a be ((-9)/2 - c)*0/(-3). Solve a = -5*o + 4*o for o.
0
Suppose -5*o - 5*i + 55 = -50, 3*o + 2*i = 62. Solve o = 29*m - 25*m for m.
5
Let i(o) = 290*o**2 + 2*o + 48 - 291*o**2 + 6*o. Let d be i(11). Solve -10 - d = -5*p for p.
5
Let y(j) = -j**2 + 10*j + 3. Let h be y(6). Solve -8*k - k = -h for k.
3
Let o = 93 - 88. Suppose 20 = o*w - 5. Solve -x = 4*x - w for x.
1
Suppose 0*t = 2*t - 4. Suppose -5*h = 2*y - 15, -y - h - t = -5. Suppose y = x - 2*x. Solve x = 3*m + 2*m for m.
0
Let l be (-1 - -1 - -1) + 1. Let b(p) = p - 6. Let j be b(8). Let n(c) = c**2 + 8*c + 9. Let x be n(-7). Solve 0 = l*h + x + j for h.
-2
Let d(g) = -g**3 - 8*g**2 - 3*g - 6*g - 20 - 5*g + 2*g. Let i be d(-7). Let f = 6 + -2. Solve -f*h = -h - i for h.
5
Let y(l) = l**3 + 3*l**2 - 2*l - 3. Let d be y(-3). Suppose -d*a + 11 = -19. Suppose -15 = -4*p + 5*j, 5*p = 3*j + a - 1. Solve p = -v - 1 - 1 for v.
-2
Let t be 0 - (60/(-5) - -4). Let p(j) = j - 5. Let o be p(t). Solve -2*n - o = n for n.
-1
Let p be (5/3)/(2/30). Let l = -19 - -24. Suppose l*r + 2 = 27. Solve 0*b - p = r*b for b.
-5
Let w = -1 - -1. Let x(f) = 2*f**3 - 16*f**2 + 20*f - 40. Let o be x(7). Solve -2*k - o = -w for k.
-1
Let j(n) = -10*n - 16. Let q be j(-10). Solve q*o - 85*o = 0 for o.
0
Let l = -39 - -57. Let n = l - 37. Let s = 22 + n. Solve s*k = -4 - 5 for k.
-3
Let n = 0 - -5. Let i(u) = -2*u + u - 20 + 25. Let z be i(-4). Solve 0 = -n*r - 16 - z for r.
-5
Suppose 9 = x + 2*u - 0, 5*x - u = 56. Let s(q) = -q + 14. Let v be s(x). Solve -v*o + 5 = -4*o for o.
-5
Let t(j) = 6*j**2 + 36*j + 6 + 0*j**2 - j**3 - 27*j. Let k be t(7). Solve z - k = 6*z for z.
-4
Let r be 7*((-2)/(-10) - 112/(-140)). Solve 5*b - r*b = 8 for b.
-4
Suppose 2*r = 2*h + 20 - 176, h - 5*r = 70. Solve 3*w + h = 92 for w.
4
Suppose 2*c + 12 = c. Let k = 10 + -6. Let p be 1/(c/k)*-12. Solve 0*i - 8 = p*i for i.
-2
Suppose -3*t + 56 = -4*p, -t + 6*t = 2*p + 28. Let w = p - -11. Let a be (1/w)/(13/(-156)). Solve 3*h = 11 + a for h.
5
Suppose 123 = 7*j - 122. Solve 38*k = j*k for k.
0
Let x be -1 + (-1)/(-3) + 21/(-9). Let u be (-5)/((-20)/(-3))*(x - 1). Solve 4 = u*s + s for s.
1
Let x(n) = 46*n - 176. Let p be x(4). Solve -6 = 14*u - p*u for u.
-1
Let w(a) = a**2 - 4*a. Suppose -3*f - 12 = 0, -5*n - 3 + 33 = -5*f. Suppose n*k - 12 = -2. Let z be w(k). Solve 3*t + z = 2 for t.
-1
Suppose 0 = -3*k - 4*l - 1 - 3, -k - 2*l - 4 = 0. Suppose -6*c + k*m = -3*c - 9, -5*m = 0. Solve -c = -h + 2 for h.
5
Suppose 0*m = m. Suppose m = h - 148 + 148. Solve h = 3*g + g + 12 for g.
-3
Let u be (10/(-4))/(3/(-66)). Suppose -s = -5*x - 0*s + u, 4*x - 4*s - 60 = 0. Solve -p + x = p for p.
5
Let g = -12078 - -12083. Suppose 0 = 3*v + 4*f - 16, 0 = 2*v + 3*f - 16 + 5. Let m be 1 + (1 - (v + -2)). Solve 2*k - g - 3 = m for k.
4
Let l(s) = s**3 - s**2 - 3. Let w be l(0). Let p = 5 + w. Suppose u = -h + p, -5 + 1 = -4*h - 2*u. Solve -n = -h*n - 5 for n.
5
Let o be ((-207)/138)/(2 - (-5)/(-2)). Solve 0*i + o*i = 12 for i.
4
Suppose -130 = 4*l - 174. Solve -36 + l = 5*h for h.
-5
Suppose 25*v + 30*v = 9845. Solve 173*u = v*u for u.
0
Suppose 3*m - 5*q = 15, -7*m = -11*m + 5*q + 20. Solve 0 = -m*u + 4 - 14 for u.
-2
Suppose -v = 2*v - 36. Suppose -3*l = -5*l + v. Suppose -j + l = 2*j. Solve y = j*y + 2 for y.
-2
Let j be 3*(-1 - (-32)/12). Suppose 0*v - 5*v = -x + 15, -5*x = 0. Let q be (24/(-18))/(2/v). Solve j = -q*o + 3 for o.
-1
Let x be (-1)/(1/(6/(-1))). Suppose -2*d = -0*d + x. Let o = 7 + d. Solve -3*r - o = -r for r.
-2
Suppose -2*r + 3*j - 22 + 2 = 0, r = 3*j - 16. Let y be 4/14 + (-393)/(-21). Let i be y + 1/(r/12). Solve 6 = 2*w + i for w.
-5
Suppose -667 = -19*o - 39*o - 87. Let j(d) = 3*d - 3*d + d + 5. Let g be j(-5). Solve 2*u - 7*u + o = g for u.
2
Let c(x) = x + 26. Let f be c(-5). Suppose -f*m + 16*m + 60 = 0. Solve -8*u - m = -4*u for u.
-3
Let p be -4 - (-4 + 3) - (3 - -14). Let n be (-104)/(-18) + (-2)/(-9). Let y be 2/3 - p/n. Solve -y - 2 = -3*b for b.
2
Suppose 5 + 7 = 2*p. Let g = -1 - -5. Let l be ((-2)/(-7) - 12/(-56))*g. Solve l*k + 0*k + p = 0 for k.
-3
Let i(v) = -5*v**2 + 149*v + 31. Let c be i(30). Solve 7*u = 6*u + c for u.
1
Suppose -25 = -27*p + 22*p. Suppose 3*o + 1 = -2*t + 14, -4*t = p*o - 25. Solve 4 = -t*c + 3*c for c.
-2
Suppose 2*o - 4*b - 26 = 0, -3*o + b = -2 - 17. Let d(g) = g**3 - 6*g**2 + 4*g + 7. Let s be d(o). Solve 0 = s*r - 0*r for r.
0
Let g = 6 - 2. Let r(k) = k**3 - k**2 - k + 54. Let l be r(0). Suppose g - l = -5*y. Solve z = -z + y for z.
5
Let o = 51 - 69. Let k be (-4)/o - (-2394)/162. Solve 0*d + 3*d = -k for d.
-5
Let m(g) = 15*g - 339. Let k be m(23). Solve -20 + k = -14*t for t.
1
Let f(u) be the first derivative of 3*u**2/2 - 21*u - 11. Let k be f(7). Solve k = -m - 3*m for m.
0
Suppose 2 = -k + 5*r, -3*k + 0 + 11 = 2*r. Solve 2*s - k*s - 3 = 0 for s.
-3
Let a(i) = i**3 - i**2 + 3*i + 2. Let c be a(4). Suppose 75 = -4*v + 5*w - 1, 3*v - 5*w = -c. Let t be 13/2 - (-7)/v. Solve 0 = 3*q - t + 21 for q.
-5
Let v be 2 + 3/(-3) + 3. Solve h = -v*h - 10 for h.
-2
Let r(g) = -3*g**3 - g**2 - 2*g + 1. Suppose -z - 27 = -s, 5*s = z + 2*z + 145. Let x = -34 + s. Let h be r(x). Solve 9*i = 4*i + h for i.
5
Let k = 60 + -87. Let a = -23 - k. Solve 0 = -t - a for t.
-4
Let l be 122/6 - 2/6. Let a be (-30)/(-45) + (8/(-3) - -2). Suppose a = 2*k + k - 2*k. Solve -3*q + 7*q - l = k for q.
5
Let y(a) = -4*a + 6. Let h be y(6). Let z be 50/h + (-2)/9 - -15. Solve -z = -0*p - 4*p for p.
3
Let q = -760 - -762. Solve q = 8*r + 10 for r.
-1
Let n = 385 - 378. Solve 2*b + n = 17 for b.
5
Let l(i) = 77*i - 433. Let z be l(6). Solve 0 = -z*o + 33*o + 8 for o.
-2
Let z be 4/(-11 + -1)*6 - -13. Suppose 0 = 3*g - 4 - z. Solve g*n - 5 = 5 for n.
2
Let s(i) = 2*i**2 + 5*i + 4. Let n be s(-3). Suppose 20 = 5*c + f, -3*f = -13 - 2. Solve 0 = c*p + n + 5 for p.
-4
Let w(x) = -x + 10. Let z be w(8). Suppose -z*u = -i + 6, 0*i = 5*i + u - 8. Suppose -k = -0*k - i. Solve g = -k*g for g.
0
Suppose 23*o - 24*o = -3. Solve -2*w + o*w = -2 for w.
-2
Let f = -150 + 150. Solve f = -2*c + 3 + 3 for c.
3
Let v = 174 - 173. Solve 5 + v = 3*f for f.
2
Let p(j) = -j**3 + 5*j**2 + 6*j - 40. Let x be p(4). Suppose -4*d - 19 = u, 10 + 7 = 2*u - 3*d. Solve u = -x*k - k for k.
-1
Suppose 4*p = 16, -4*p + 4 = -4*o - 12. Let q = 2 - o. Let c(f) = f + 23. Let d be c(-19). Solve d = l + q for l.
2
Let l(r) = r**3 + 10*r**2 - 