Let s = 301 + -463. Let u = 164 + s. Solve m + u - 3 = 0 for m.
1
Let c(b) = -b**3 - b**2 - 2*b + 2. Suppose 5 - 2 = 2*g - v, 0 = -g + 4*v + 12. Let m be c(g). Let l = -12 + 27. Solve m*h + h + l = 0 for h.
-5
Suppose 146 = -2*q + 20*q + l, -l = -3*q + 22. Suppose 4*m + 5*j = -8, 3*m - 7*m + 4*j + 28 = 0. Solve m*v = 7*v - q for v.
2
Let b(z) be the second derivative of 7*z**5/20 - z**3/2 + z**2 - 5*z. Let t be b(1). Solve 0 = t*m + 3 - 9 for m.
1
Let p(s) = 2*s**2 - 15*s - 75. Let l be p(-19). Solve -18 = -934*b + l*b for b.
9
Suppose 9*c = 5*c + r + 238, -230 = -4*c - 3*r. Solve -c*v + 61*v = 8 for v.
4
Let z(d) = d**2 + 9*d - 29. Suppose 4*u = x - 53, -9*u + 29 = -11*u + x. Let h be z(u). Solve -12 = v - h for v.
-5
Let x be (90/(-20))/(-9)*382. Solve -426 = -47*z - x for z.
5
Suppose 4*y = 2*h - 20, 0 = h + y + 5. Suppose -4*d + 16 = 4*i - 0*d, h = -i - 5*d. Suppose 5*r + 22 = -3, i*a - 2*r - 20 = 0. Solve -3*g + a*g = -2 for g.
2
Let v(y) be the first derivative of y**2/2 - 6*y - 112. Let a(s) = -s**2 - 12*s - 7. Let p be a(-10). Let x be v(p). Solve 0 = -2*c - 3 + x for c.
2
Suppose 62*s - 32*s = 240. Solve 0 = -15*p + 13*p + s for p.
4
Let d be (17/(-7) - -2) + 6/14. Suppose 5*j - 29 + 19 = d. Solve -10 + 6 = j*l for l.
-2
Let h be 414/15 - (-10)/25. Let b be 7*((-160)/h + 6). Solve 6 = -b*t - 2 for t.
-4
Suppose 316 = 5*q - 4*j, 14*j = -q + 18*j + 76. Let a = -51 + q. Solve -a*y = -60 + 15 for y.
5
Let a(b) = 24*b**2 - 937*b + 48. Let j be a(39). Solve j*h + 60 = 51 for h.
-1
Let k(y) = -1 - 6*y + 4 + 3*y + y**2 + 5*y + 5*y. Let w be k(-7). Solve -9 - w = -4*v for v.
3
Let c = 212 + -207. Suppose 3*l = -3*x + 5*x - 15, -11 = -x + c*l. Solve -11*t + x*t + 10 = 0 for t.
2
Suppose 0 = -5*a + 5*s + 80, 277*s = -a + 282*s - 4. Solve -31 = -a*p - 136 for p.
-5
Suppose -l + 10 = i + 4*l, -i + 3*l + 26 = 0. Let r = -8240 - -8246. Solve -r*d + d - i = 0 for d.
-4
Let s be (-69)/(-15) - 10/(-25). Suppose -s*l + 10 = -4*l. Let v be -1 - 25/l*-2. Solve -12 = -v*j + j for j.
4
Let p be -5 - (5 - (13 + 7)). Suppose -p = -5*k - 0. Solve -4*j = -k - 2 for j.
1
Let b = 606 - 602. Suppose -b*n + n = -n. Solve -2*i = -n*i + 2*i for i.
0
Suppose 38*x - 108 = 32*x. Suppose -43*a = -37*a - x. Solve -5*h + a*h = -10 for h.
5
Let g be (-6)/(-3)*8/24*3. Suppose -g*v = -4*a + 2*v, 2*a - v - 3 = 0. Solve -8*d + a*d = 0 for d.
0
Let p = 566 + -385. Let c = -161 + p. Solve -i = -5*i - c for i.
-5
Let l be (6/(-11))/3 + 6/33. Suppose 0 = -2*j - 2*g + 8, 5*j - 20 = -l*j + g. Solve 3*t = j*t for t.
0
Suppose 20 = -5*j, -2*s + 2 + 46 = -2*j. Let f be (-4 - (-176)/33)/(2/15). Solve f*o - 5*o = -s for o.
-4
Let a = -19 + 78. Suppose 16*g = 581 + a. Solve -g = -r + 9*r for r.
-5
Let m(y) = -13*y + 604. Let z(o) = 5*o - 201. Let i(j) = 6*m(j) + 17*z(j). Let s be i(-29). Solve -2 + 22 = -s*k for k.
-5
Let c be 25 + 5 + -9 - -4. Suppose 0 = 5*i + 5*h - c, -4*i - 7*h = -11*h + 12. Let j be 1/(0 - 2/(-8)). Solve -i = -j*d - 9 for d.
-2
Let t(v) = -4*v**2 - 3*v + 3. Let j(a) = -a**2 - a - 1. Let p(x) = -2*j(x) + t(x). Let r be p(0). Suppose -q = 4*c + 5, r = q - c - 5. Solve q = -2*m - 3 for m.
-5
Let w be (-186)/217*(1 + -50)/1. Solve -w + 8 = 17*k for k.
-2
Let i(u) = -u**3 + u**2 + 3*u - 2. Let l be i(2). Let w(p) = 2*p + 49. Let j be w(-15). Let k = j + -9. Solve l = y + y + k for y.
-5
Suppose -22*l + 15*l - 17*l = -18144. Solve -747 = 3*h - l for h.
3
Let i = -304 - -302. Let a be (21/14 + i)*-2. Solve -a = -2*g + 5 for g.
3
Let m(w) = 6*w - 60. Let d be m(10). Let c be (d + 1)/(12/48). Let a(q) = 3*q**2 - 13*q - 10. Let i be a(6). Solve 0*b + c*b = i for b.
5
Let w(n) = -9*n**2 - 449*n + 94. Let z be w(-50). Solve 25*a = 6 + z for a.
2
Let r(v) = -v**2 + 7*v - 7. Let h be r(5). Let q(s) = 2*s**2 + 11*s + 16. Suppose 4*g = -b - 10 - 0, b = 3*g + 4. Let l be q(g). Solve p - l*p - h = 0 for p.
-3
Let k(d) = 13*d**3 + 25*d**2 - d + 4. Let g be k(-2). Solve 0 = 28*y - 30*y - g for y.
-1
Let j = 9 - 3. Suppose -7 = -4*i + d + 8, d - j = -3*i. Suppose i*t - 30 = -2*t. Solve 0 = 2*g - t*g for g.
0
Let f(n) = n - 7. Let a be f(7). Suppose 4*y = -5*g + 59, a*y - y - 4 = 0. Suppose -5*x - 25 = 0, 3*o - g = -0*o - 3*x. Solve 2*k = -o - 0 for k.
-5
Suppose 2*u = -2*a - 4, 0 = 5*u - 12*a + 8*a - 35. Solve -u*r + 2*r = -4 for r.
4
Let k(g) = -8*g**2 + g**3 - 14 - 1 + 9*g + 5 + 1. Let b = -2 - -9. Let r be k(b). Solve -r*u = 27 - 7 for u.
-4
Let a(u) = -4*u**2 + 14*u - 16. Let x(b) = -7*b**2 + 27*b - 31. Let g(c) = 5*a(c) - 3*x(c). Let k be g(9). Let j = k - -6. Solve 5*w - j = 19 for w.
4
Let y(k) = -k - 6. Let z be y(-7). Let x be 3 + -2 - (1 - z). Let j be (-16)/(-64) - (-4)/((-64)/(-12)). Solve -x = -2*l + j for l.
1
Suppose -8*f = -59 - 61. Let v be ((-9)/(45/20))/(-1). Solve f = -a - v*a for a.
-3
Let c = -127 - -49. Suppose z + 212 = -3*b, 4*b - z + 141 + 130 = 0. Let r = b - c. Solve 3*k - r + 0 = 0 for k.
3
Let r(o) = -o**2 + 29*o - 40. Let t be r(28). Let b be 1232/220 + (t/(-5) - 2). Solve -4*x + 22 = b for x.
4
Suppose 4*r + 253 = i, -3*r - 2*i + 25 = 212. Let l = 75 + r. Let g = 12 - l. Solve g = c + 2*c for c.
0
Let v(i) = -1 + 9 + 2 - i. Let w be v(7). Suppose -2*z = j - 3, 70 = 2*j + 80. Solve -z*l + 5*l + w = 0 for l.
-3
Let p = -250 - -201. Let a = p + 67. Solve 0 = -4*w - 2*w - a for w.
-3
Let r = 1 - -2. Let i(m) = -39*m**3 + m**2 - 3*m - 2. Let w be i(-1). Suppose -a - 27 = -k + 3*a, 3*k - 4*a - w = 0. Solve r*f = -1 + k for f.
2
Suppose -7*m + 1064 = 196. Suppose m = -8*r + 140. Solve -10*f + 9*f + r = 0 for f.
2
Suppose -4*y = -4, 4*y + 633 = -5*b + 4*b. Let h = 671 + b. Solve -h*q = -39*q - 15 for q.
-3
Let o = 21067 - 21036. Suppose 2*t - 13 = 9. Suppose t*i + 120 = o*i. Solve u = -u - i for u.
-3
Let n be (-4)/(-14) + 66/14. Suppose 369*q = -379*q + 770*q - 440. Solve 5*h = -n + q for h.
3
Let f = -2304 + 2402. Solve 350 = 36*q + f for q.
7
Suppose -84*h + 4*h - 21*h = 7*h. Solve h = 7*b - 52 + 24 for b.
4
Let b(l) be the second derivative of -l**5/20 + 5*l**4/6 - 7*l**3/6 - 3*l**2 + 7*l. Let q be b(9). Let z be 1/((-12)/q - (-3)/2). Solve 4*t = z*t for t.
0
Let t(d) = d**2 + 2*d**2 - 3 + 8 - d**2 - 7*d. Let o be t(3). Solve k = 2*k + o for k.
-2
Suppose 4*p + 3*x = -0*p + 101, -77 = -3*p - 2*x. Solve -p - 16 = -15*c for c.
3
Let w(c) = c**2 + 11*c + 37. Let a(h) = 2*h + 18. Let g be a(-12). Let l be w(g). Solve 3*t + 4 - l = 0 for t.
1
Let i = -56 - -64. Let a(d) = 11*d + 159. Let g be a(-14). Solve g*f - i = 13*f for f.
-1
Let o be -1*81/(-15) + 6/(-15). Let t be (o - 1)/((-14)/21). Let p = -3 - t. Solve -p*u - u = 0 for u.
0
Let p be ((-40)/(-45))/4 - 38/9. Let q be (1/3 - -1)/(p/(-6)). Suppose 2*b - 16 = 4*n, 0*b + 2*n = -4*b + q. Solve 0 = -b*i - 2*i for i.
0
Suppose -t - 16 = -5*p, -t - 3*p + 24 = 2*t. Let w(f) = -37 - 20 + 81 - 26 - 4*f**2 + 17*f. Let n be w(t). Solve s = n*s for s.
0
Let b = -208 + 212. Suppose f - b*v - 18 = 0, -v + 12 = 16. Solve h = -h - f for h.
-1
Let q(a) = 4*a + 32. Let x be q(-10). Let h be ((-3 - -75)/x)/(-1). Solve 0 = h*j - 15 - 3 for j.
2
Suppose -4147*w + 4142*w = -55. Solve w*h - 6 = 5 for h.
1
Let w(s) = 0*s**2 + 3 - 10*s**2 + 0*s + 21*s - 5*s + s**3. Let k be w(8). Suppose 2*y + 11 = -5*z, -4*z = 4*y - z + 1. Solve -k*r = -y*r - 1 for r.
1
Suppose 20 = -2*z + 20. Solve 555*b - 554*b - 7 = z for b.
7
Let y = -827 + 1164. Let d = -328 + y. Suppose -8 = -a - a. Solve -d = a*l + 7 for l.
-4
Let j be (-3 - 0/3)/(1 + -2). Suppose -5*g = -2*h - 37, -5*g + 40 = j*h - 17. Solve -6*m + 3 = -g for m.
2
Let p be (3 + (-1)/2)*2. Let g be (-2)/p + (-28)/15*-12. Suppose -g*s + 27*s - 35 = 0. Solve 2 = -j + s for j.
5
Let q = -360 - -368. Solve 23 = -q*a + 47 for a.
3
Suppose 0*r - 5*r + 5 = 5*d, d - 2*r + 11 = 0. Let x be (-426)/d - 1/(4/(-8)). Suppose x = -3*s + 12*s. Solve 2*p = 6*p - s for p.
4
Suppose 13 + 2 = 3*u. Suppose -u*o + 3*x + 56 = 0, -4*o + x + 22 + 20 = 0. Let n = 241 - 239. Solve o = -0*w - n*w for w.
-5
Let y(f) = -3*f + 17. Let g(l) = 13*l - 69. Let v(i) = -2*g(i) - 9*y(i). Suppose -2*a + 61 = a + 5*c, 3*c = -a + 23. Let d be v(a). Solve 1 = p - d for p.
3
Let a(c) = 73*c + 712. Let r be a(-9). Solve -r*i + 46*i + 63 = 0 for i.
7
Let a = -2846 - -2861. Solve 18*o = a - 105 for o.
-5
Suppose -2*m - m + 6 = 0. Let