 Let s be z(-3). Suppose 4*n = -s - 10. Let u = n + 22. Solve 0 = 3*m + 1 + u for m.
-5
Let m(l) be the third derivative of 7/60*l**5 + 0 + 5/24*l**4 + 0*l - 10*l**2 - 29/6*l**3 - 1/120*l**6. Let t be m(7). Solve 0*j + 2*j + t = 0 for j.
-3
Let h be (4 - 2)/(((-4)/(-10))/((6 + 3)/9)). Let i be 1/(-2 + 1)*-1. Let x be (i - 1)/(1/(-1)). Solve x = h*b - 0*b for b.
0
Let q be (4 - 30/7) + 1857/7. Let j = -186 + q. Let z = j - 75. Solve z*v - 1 - 7 = 0 for v.
2
Suppose -9*d = -10*d + 6. Suppose 2*k - 17 = -3*o, -o + 2*k + 25 = d. Suppose -6 = 3*h - o. Solve 4 + h = v for v.
5
Let k(v) = -24*v + 49. Let x be k(-4). Let s(c) = 131 + x + 2*c - 296. Let o be s(10). Solve o = -7*i + 11*i for i.
0
Let j = -425 - -1256. Let f = j - 826. Solve 27 = -f*d + 42 for d.
3
Let w(c) = -9*c**3 - c**2 - 2*c + 7. Let z be w(3). Let x = z + 255. Solve -2*n + x = -4 for n.
4
Suppose -310 + 590 = -26*b + 566. Solve -152 = b*a + 8*a for a.
-8
Suppose 151*f - 135*f - 114 = 30. Solve -3*u - 6*u = -f for u.
1
Let b(h) = -h**3 + 7*h**2 - 6*h. Let l be b(6). Solve 56*r - 67*r - 11 = l for r.
-1
Suppose 0 = -8*w + 75 + 37. Solve 28*o = -42 - w for o.
-2
Let u = -159 - -153. Let s be (-2)/u*(17 - 11). Solve -6*c = -s*c - 4 for c.
1
Let m be (5/2)/(10/20). Let b be (m + 2)*(-8)/(-8). Solve b*z + 6 = -1 for z.
-1
Let y = -23511 - -23529. Solve -44*k + y = 238 for k.
-5
Let q(k) = 348*k + 7323. Let d be q(-21). Solve 26*y + 44 = d*y for y.
-4
Suppose 0 = -3*v + g + 25, -g + 20 = -2*v + 4*v. Let h be ((-12)/90)/(v/(-135)). Solve 2*f = -h*f - 16 for f.
-4
Let q(b) = -b**3 + 9*b**2 - 2*b + 22. Let x be q(9). Suppose 4*h + 3*o - 12 = -24, -h - x = o. Solve -3*n + n = h for n.
0
Suppose 68*k = 67*k + 3. Suppose o + 2*o - 12 = 0. Suppose 0 = o*c + k + 1, -5*a + c + 1 = 0. Solve 5*y - 23 - 2 = a for y.
5
Suppose 120 = q + 127. Let a be (-4640)/(-560)*q/(-2). Solve 5*t = -a + 4 for t.
-5
Let a = -296 - -357. Suppose u + 92 = -u. Let t = u + a. Solve -4*f + t = -5 for f.
5
Suppose 31 = 5*b - 4. Let x be (-13)/(39/12) + b + 0. Let k be (-6)/(-15)*45/x. Solve -4*d + 6*d = k for d.
3
Let r(f) = -f**3 - 102*f**2 - 1002*f + 159. Let m be r(-91). Solve -m*k = -261*k for k.
0
Let a be (25/15)/(2 + (-15)/9). Suppose 0*g = -4*g + 8, -3*n + 34 = a*g. Suppose 35 + 9 = 11*m. Solve 2*t + n = m*t for t.
4
Suppose -13*q = -6*q - 70. Suppose -q = 6*h - 10. Solve -4*i + i = h for i.
0
Suppose -5*p - 372 = 3*t - 396, 4*t + 6*p - 32 = 0. Solve 0 = -t*u - 167 + 231 for u.
8
Suppose -4*i - 2 = 3*s, s - 2*i = 2*i + 26. Suppose -8*c + 18 = -6. Solve -s*y = -c*y + 15 for y.
-5
Let m be 5/(-2)*2 + 61 + 25. Suppose 3*f - 108 + m = 0. Solve -12*y = -15*y + f for y.
3
Suppose 6*g - g = -2*q - 4, 4*q + g = 10. Suppose -5*c + 2*s + q*s = -5, 0 = 5*c - s - 1. Let l be -2 - (c + 1)/((-8)/40). Solve -l*a = -a for a.
0
Suppose -134*u - o + 229 = -129*u, -2*u = -4*o - 118. Solve 159 + 29 = u*i for i.
4
Let t(d) = -213*d + 4275. Let w be t(20). Suppose -5*k = 18 - 58. Let h be 10/4 + (-5)/(-10). Solve -w = -h*y + k*y for y.
-3
Let b(i) = 3*i**2 - i**3 - 3*i**2 - 9 - 3*i + 3*i**2 + 2*i**3. Let h be b(-5). Let g = h - -61. Solve -2 = -3*j - g for j.
-5
Let i = -4699 - -4743. Solve -22*y + 66 = -i*y for y.
-3
Let j(u) = 45*u + 206. Let x(l) = -23*l - 101. Let c(s) = -3*j(s) - 5*x(s). Let z be c(-6). Let n be (-2)/(-11) - (-9)/11. Solve -2*f = z - n for f.
-3
Suppose 0 = 3*b + 4*h - 12 - 5, 4*h = -5*b + 31. Suppose b*j = 6*j + 4. Suppose -261 = 9*n - 38*n. Solve -7 = j*f + n for f.
-4
Let m(q) = 42*q + 720. Let b be m(-17). Solve -5 = -b*a + 1 for a.
1
Let t(n) = n**3 - 8*n**2 + 22*n - 90. Let q be t(4). Let m = -58 - q. Solve m = 12*v - 10*v for v.
4
Let w = 47 + -40. Let h be w/(-252)*-8 - (-16)/9. Solve 6 = -2*o - h for o.
-4
Let a(o) = -o + 10. Let x(u) = -1. Let f(q) = 2*q - 11. Let d(p) = f(p) + 6*x(p). Let h be d(12). Let k be a(h). Solve -k*z - 6 = -0*z for z.
-2
Let j = -6882 + 7013. Solve -4*a = -99 + j for a.
-8
Let v(m) = -199*m + 444. Let i be v(2). Solve 0 = 23*r - 138 - i for r.
8
Suppose -3*j = 2*k - 108, 54 = 578*k - 577*k + 2*j. Solve -28*b = -22*b - k for b.
9
Let k = -3099 + 3115. Solve -27 = 25*v - k*v for v.
-3
Suppose 3*d - 2*m = 9, -695*d + m = -691*d - 12. Solve -v + v = d*v for v.
0
Let k = -7 + 11. Let v(r) = 12*r**2 - 2444*r - 803. Let h be v(204). Solve -14*u = -h*u - k for u.
4
Suppose -5*b = -49*b - 42*b + 1806. Solve -22*y + b = -19*y for y.
7
Let g be (-12)/240*4*-10 - -9. Solve -533*s - g = -544*s for s.
1
Let a(s) = 5*s + 81. Let i be a(-11). Suppose -2*o - 240 = -i*o. Solve 24 = o*l - 2*l for l.
3
Let u(m) = 142*m**2 + 5*m - 3. Let a be u(1). Suppose -143*r = -a*r + 2. Solve -3*g = -r*g + 5 for g.
-5
Suppose 0 = 18*v - 26*v. Suppose 6*d - 10*d + 12 = v. Solve d*x + 1 = 4 for x.
1
Suppose 5*x = 2*x - 15. Let q(h) = -6*h - 30. Let l be q(x). Let v = 53 + -51. Solve 2 = v*o - l*o for o.
1
Let s be 53/(-1*(-1)/(-14)). Let o be s/(-49) + (-6)/42. Let k(w) = -w**2 + 6*w - 5. Let l be k(3). Solve l*p + o = 9*p for p.
3
Suppose 49 = 5*p - 3*f, 2*p + 8*f = 7*f + 24. Let u(j) = -j**3 - 4*j**2 + 4*j - 2. Let c be u(-5). Let q be 1 - (c/3 + -1). Solve 0 = 3*n - p - q for n.
4
Let i(h) = -h**2 - 6*h + 2. Let l be i(-6). Let z(g) = g**2 - 37*g + 76. Let x be z(35). Let s be 30/8 + (-3)/(-12). Solve s*k + x + l = 0 for k.
-2
Let x = 11 - 6. Let m be (3 - 0 - 3)/2. Suppose m = w - x*w. Solve w = -5*k - 3 + 8 for k.
1
Let j = -623 - -625. Let p = 270 + -262. Solve 0 = p*d - j*d - 24 for d.
4
Suppose -11*t + 95 = -851. Suppose -t = x - 2*j - 15, 3*x + 188 = j. Let m = x - -65. Solve v = -m*v for v.
0
Let c(m) = 31*m + 1308. Let x be c(-42). Solve -x - 5 = -11*g for g.
1
Let k = 110 + 110. Let q be ((-3)/5 + 0)/((-44)/k). Solve -4*j + 3 = -q*j for j.
3
Let k be (171/15 - 1)*455/14. Let g = -334 + k. Solve -g*s + 3 = -3*s for s.
3
Let t(q) = -23 - 6*q**3 + 5*q**3 - 6*q - 12*q**2 - 8*q. Let z be t(-11). Suppose 4*r + 18 = z*r. Solve r*s + 16 = -s for s.
-4
Let b = 20 - 13. Suppose -2 = -2*n + n. Suppose 5*t = n*o - 8, 2*o - 3*t - 9 = -1. Solve o*y + b = -1 for y.
-2
Let h = -202 - -225. Suppose 4*u - 2*x - 25 + 5 = 0, 5*u = 2*x + h. Solve u*j - 5 = 10 for j.
5
Let v = 7275 + -7006. Solve -12*r - v = -245 for r.
-2
Suppose -29*b + 251 - 87 = -764. Solve -b = -8*w - 8 for w.
3
Let m = -7 - -12. Let v(a) = 6*a - 16. Let x be v(m). Let i be 12/9 - x/(-3). Solve 0 = 3*h - i - 3 for h.
3
Let a = 28186 - 28114. Solve 2*h = -a*h - 148 for h.
-2
Suppose 65*t + 18*t = -13*t + 864. Solve -t*u + 7 = 34 for u.
-3
Suppose -15*h - 140 = 29*h + 300. Let l(s) be the first derivative of s**2 + 25*s - 1. Let u be l(h). Solve -2 - 3 = -u*v for v.
1
Let t be (-12)/3*-9 - 4*(-15)/(-12). Solve -21 - t = 26*h for h.
-2
Suppose 7*j = -3*l + 2*j + 218, -5*l + 356 = j. Solve 66*k - 25 = l*k for k.
-5
Suppose 100*b - 600 = -75*b + 2900. Solve b*i + 29 = 69 for i.
2
Let u(p) = 13*p + 250. Let g be u(-19). Solve 76 - 61 = -g*m for m.
-5
Let v(a) = -a**2 - 26*a + 7. Let w(x) = -x**3 - x**2 + 2*x + 4. Let r be w(3). Let p be v(r). Suppose 0 = 6*t - 2*t. Solve -p*g + 3*g - 8 = t for g.
-2
Let f be (6975/(-62))/3*(-8)/3. Solve -f*j = -110*j - 30 for j.
-3
Let a(n) = -422*n + 2540. Let j be a(6). Solve -j*o + 18*o = -70 for o.
-7
Let b = -43 + 48. Suppose -b*o = -w - 195, 0 = o + w - 38 - 1. Let u be 5*(-1)/(-1) + (o - 40). Solve -z - 15 = -u*z for z.
5
Let r be 78/(3 - (20 - 19)). Solve 18*d + 75 = r for d.
-2
Suppose -2*w = w - 6. Let v(b) = -15 + 39*b**w + 5 - 24*b**2 - 28*b**2 - b**3 - 2*b. Let m be v(-13). Solve -4*s + m = -0 for s.
4
Suppose 0 = -36*v + 22*v + 16*v - 10. Solve v*m = 136 - 116 for m.
4
Let i(b) = -313*b - 1900. Let g be i(-8). Solve 15*m + 604 - g = 0 for m.
0
Suppose 20*h - 25*h + 13 = -k, 5*h + 35 = 5*k. Suppose -4*s + 22 = q, -38 = -0*q - 3*q - 5*s. Solve h*p + 26 - q = 0 for p.
-4
Let c = 7955 + -7950. Solve c*u = -13*u - 10*u for u.
0
Let l(s) = -s**3 - 17*s**2 - 26*s + 68. Let u be l(-15). Solve -6 = u*m - 6*m for m.
-3
Let i(y) = 2*y - 10. Let r be i(7). Suppose 11 = -k + 3*f + r, f = 3*k - 3. Solve 3*c + 2 = k*c for c.
-2
Suppose -25*v - 220 = -47*v. Suppose 23 = 3*x + 5*a, -v*x = -5*x + 4*a - 34. Solve 3 + x = 3*k for k.
3
Let r(u) = 6*u + 58. Let n(p) = -12*p - 117. Let d(f) = -3*n(f) - 7*r(f). Let t be d(-10).