 -1 = -a*u - 5 for u.
-2
Let b(h) = -h**3 + 3*h**2 - 88*h - 385. Let l be b(-4). Solve -11*z + 134 = l for z.
5
Suppose d + 7 - 2 = -2*l, -25 = -4*d + l. Suppose d = -81*j + 86*j. Let q be (0*4/8)/(2/j). Solve -8 = -q*s + 2*s for s.
-4
Suppose 178*h = 171*h + 1561. Solve h*t - 218*t = 25 for t.
5
Let z(f) = 2 + f**3 - 12*f - 9*f**2 - 4*f**2 + 9 + 30. Let b be z(14). Let d = -68 + b. Solve 2*v = 1 + d for v.
1
Suppose -75*a + 63*a - 6864 = -78*a. Solve -a*f = -94*f + 20 for f.
-2
Let j be (9/132 - 12/(-66)) + (-47)/(-4). Solve -5*l + 13 = -j for l.
5
Suppose 155*c - m - 44 = 153*c, 5*c - 3*m = 113. Solve -16*j - 12 = -c*j for j.
4
Suppose 15*k + 201 = 20*k + i, -2*k + 78 = i. Solve 0 = k*z - 19*z + 132 for z.
-6
Suppose 5*b - 875 - 312 = 3*l, -16 = 4*l. Let u = -235 + b. Solve -8*g = -u*g for g.
0
Let x be 1/(68/136 - 7*3/54). Solve x*w + 20*w = 232 for w.
8
Let t(i) be the second derivative of -i**2 + 0 + 5/6*i**3 + 34*i. Let j be t(1). Solve j*y + 4 = -y for y.
-1
Suppose -18*m = 12*m - 12630. Let u = -406 + m. Solve u*s - 16 = 19*s for s.
-4
Let p(g) = g**2 + 3*g + 6. Let a be p(-3). Suppose 4*v = 0, -3*i + v - 6 = -a*i. Suppose i*l = 5 + 3. Solve t + t = -l for t.
-2
Let d be ((-72624)/(-85) - -13 - 2/5) + 6. Solve o + d = 868 for o.
-5
Suppose 9*v = 3260 - 1028. Let s = -243 + v. Suppose 0 = -3*a - a. Solve s*c = -a*c + 15 for c.
3
Let m be (-4 - (-3)/((-66)/(-121)))*(2 - -12). Solve -m*y = 21 - 42 for y.
1
Let j = -21 + 19. Let d(z) = -2*z + 4. Let i be d(j). Suppose -i*h + 12 = -12. Solve -h*c = 2*c for c.
0
Let j = -212 + 238. Solve j*u + 2 = 25*u for u.
-2
Let d(t) = -t**2 - 6*t + 29. Let i be d(3). Let k be 0*(-4 + (5 - i)). Solve k = -2*h - 3*h - 20 for h.
-4
Let t be (1908/(-54) + 36)*75/2. Solve -j - 19 = -t for j.
6
Let n(q) = q**3 - 8*q**2 + 6*q + 27. Let o(p) = p**3 + 1. Let y(t) = n(t) - 2*o(t). Let f be y(-9). Solve 4*z = f - 36 for z.
4
Suppose h + 2*b = -0*b + 2, -h = 5*b - 2. Suppose -r = -3*u - 2, h*u - 6 = -3*r + 6*u. Solve -7*y = -r*y + 15 for y.
-3
Suppose -167 = -7*o + 29. Suppose o*p = 31*p - 12. Solve -20 = p*k + k for k.
-4
Let n(u) = -u**2 - 9*u + 3. Suppose 10 = 3*m + 7. Let o(f) = -10*f + 1. Let l be o(m). Let k be n(l). Solve -2 = 4*q - k*q for q.
-2
Let k be (42/8)/((-15)/(-20)). Suppose k*l = l. Suppose l = -8*w + 9 + 7. Solve q + 2 = w*q for q.
2
Let h(w) = w**2 + 8*w - 5. Let k(s) = -1. Let v(r) = -2*h(r) + 6*k(r). Let p be v(-8). Suppose -4*c + p + 96 = 0. Solve -3*n = 2*n + c for n.
-5
Suppose -5*y + 255 = -a - 4*a, -3*y = a - 141. Suppose 2*x + y = 5*x. Let i = -16 + x. Solve -l = -i*l + 3 for l.
-3
Let z = 106 - -32. Solve -12*k - 11*k = -z for k.
6
Let d be 7/(-10 + (-211)/(-21)) - -7. Solve 67*q - 422 = -d for q.
4
Let p(r) be the third derivative of 7*r**4/6 - 79*r**3/2 + 4*r**2 - 25*r. Let h be p(9). Solve 0*d - 5*d = -h for d.
3
Let g be 165*(35/15 + -2). Suppose -o = -2*o - g. Let q = -49 - o. Solve 2*a = -a - q for a.
-2
Let f(o) = -o**2 - 5*o + 8. Let v be f(-6). Suppose 0 = -2*i - v*i. Let b(t) = -t**2 + 2*t + 12. Let g be b(4). Solve i = g*h - 4 for h.
1
Let s = 805 - 799. Let q(p) be the second derivative of p**4/12 + p**3/6 - 9*p**2/2 - 5*p. Let n be q(-4). Solve -6*v + n*v = -s for v.
2
Let v(o) = -4*o + 3. Let b(z) = 3*z - 2. Let j(t) = 3*b(t) + 2*v(t). Let a be j(3). Suppose 17*c = 25*c. Solve -a*f = -c*f - 3 for f.
1
Suppose 99 = 32*a - 253. Suppose -2*o - a = -d - 30, -3*o = -5*d - 39. Solve f + o = 13 for f.
5
Let k be 2/5 + (-28675)/125. Let a = k + 232. Solve -6*r + a*r + 15 = 0 for r.
5
Suppose 13*q - 61 = -178. Let c(v) = -v - 11. Let s(p) = -p - 12. Let d(t) = 5*c(t) - 4*s(t). Let k be d(q). Solve -k*m + 4*m + 4 = 0 for m.
-2
Suppose 0 = -5*c + 2*d - 44, d - 2*d = -c - 7. Let n be (2 - (1 - -2))*c. Suppose 2*k - 16 = -n. Solve -2*p = -k - 1 for p.
2
Let z = -23 - -25. Suppose 14 + z = 4*x. Solve v - 9 = x*v for v.
-3
Let n(a) = a**3 - 7*a**2 + 2*a - 9. Let b be n(7). Let r = b - 4. Let i = 5996 - 5993. Solve r = -4*j - i for j.
-1
Let g be (6/5)/(6/(-15)) - -9. Suppose g*f - 140 = f - l, -4*f + 4*l + 88 = 0. Let t be (-79)/(-9) - ((-6)/f - 0). Solve -5*h = 1 + t for h.
-2
Let y be (3*-4)/(-2)*-1. Let d be 84/y*12/(-14). Suppose -4*c = -0 - d. Solve 0 = -c*f - 3 for f.
-1
Let n(l) be the third derivative of l**5/10 - l**4/8 + l**3/2 + 6*l**2 - 4*l. Let d be n(1). Solve -4*w = -w + d for w.
-2
Let t(a) = -a**2 + 71*a + 124. Let w be t(72). Solve -w*c + 44 = -41*c for c.
4
Suppose 0 = 92*s - 83*s - 18. Solve s*p - 33 + 45 = 0 for p.
-6
Suppose -5*b + 2*b - 63 = 0. Let g be (-74)/(-14) + 6/b. Suppose 4*a - 24 = -g*x, -x + a = -2*a - 1. Solve -x*s + 9 + 3 = 0 for s.
3
Let a = -4799 - -4836. Solve -235 = a*n + 10*n for n.
-5
Suppose 5*c - 7 = -5*v + 18, 4*c + 20 = 4*v. Suppose 15 = 4*z - v. Suppose 6 = 3*o - z*o - 3*a, a = -4. Solve 2*m = -m + o for m.
1
Let p = 557 - 553. Suppose -4*g = 2*s - 8*g - 116, -p*g - 68 = -s. Solve 6*o + s - 18 = 0 for o.
-5
Let q be (1*-7)/(-11*(-4)/(-572)). Solve 67 = 6*m + q for m.
-4
Suppose -3*v + 146 = -5*f, 41 = -3*f + 47. Solve -70*p + v*p = -72 for p.
4
Suppose -30 = -5*s + 4*y - 3*y, 18 = 3*s - 2*y. Let u(q) = -363*q + 11261. Let i be u(31). Solve i = b + s for b.
2
Let o be (2/4)/((-12)/12)*-2. Let z = 99 + -99. Suppose z*g + 3*g = 0. Solve -3*y - o - 11 = g for y.
-4
Let u = 13017 - 12719. Solve u*f - 6 = 299*f for f.
-6
Suppose 3*n = z + 866, n + 5*z = -916 + 1210. Solve -8*f - n = -329 for f.
5
Suppose -2*p = 0, -2*f - 4*p + 16 = 2*f. Let g = -14448 + 14450. Solve f*a = g + 2 for a.
1
Let f(t) = -t**3 - 20*t**2 - 87*t + 28. Let u be f(-7). Solve u = -3*v - 58*v - 244 for v.
-4
Suppose 2 = 2*a, 5*h - 4*a - 6 + 5 = 0. Let c be 7/42 + (-346)/(-12) + h. Let r = 30 - c. Solve r = 4*n + 7 + 13 for n.
-5
Let a(u) = u**2 - 10*u - 5. Let y be (-170)/(-20) - 1/2. Let d be a(y). Let g(j) = 2*j + 42. Let o be g(d). Solve o = -5*f + 3*f - 8 for f.
-4
Let k be 1/(-2) + 27/6. Let v be 0*((-2)/3)/(-2). Suppose k*d - 7 - 1 = v. Solve -r + 2 = -d for r.
4
Let f be (-10)/4 - (-394)/(-4). Let g = 106 + f. Solve -z = -0*z + g for z.
-5
Suppose -5*i - 137*i + 1988 = 0. Solve -i = -3*z - 17 for z.
-1
Suppose 3*d + 4*t - 206 = 1011, -5*d = -3*t - 1980. Solve -4 = -395*z + d*z for z.
-1
Suppose 25 = -p + 40. Suppose 10*f = p*f - 120. Solve 4*r - f = -2*r for r.
4
Let z = 45 + -9. Suppose -4*q = -x - 9, 6*x - 7*x = -5*q + 11. Suppose 0*a - 26 = -4*a + q*g, 4*a - 4*g - z = 0. Solve 9*u = a*u for u.
0
Let q be ((-2)/(-6))/((-4)/(-36)). Suppose q = -y + 19. Solve -i - y = -12 for i.
-4
Let x = -24 - -138. Solve -11*y = 8*y - x for y.
6
Let w be -3 - (-28)/(3 - 1). Let r(m) = 2*m - 27. Let q be r(w). Let y be q/(-2)*6/5. Solve -y*n - 4 + 1 = 0 for n.
-1
Suppose 0 = -22*u + 17*u. Suppose 2*t + 21 - 41 = u. Solve 13*f = t*f + 12 for f.
4
Let x = -148 - -316. Suppose a + 6*a = x. Suppose -2*u - 4*u + a = 0. Solve u*h = h for h.
0
Let m be -2*(365/(-38) + 2/19). Solve -m*i + 22 = -30*i for i.
-2
Suppose 13*o - 1587 = 1845. Let k = o + -261. Solve 0 = k*g - 4 + 7 for g.
-1
Suppose -21*g = -26*g - 5*b + 15, 33 = 5*g - 4*b. Solve -30 + 10 = g*o for o.
-4
Suppose 0*g + 272 = 17*g. Solve 0*c - 4*c + g = 0 for c.
4
Let w be (1/4)/(66/3960). Suppose 25 = -10*l + w*l. Solve -l*y = 9 - 14 for y.
1
Let i be (17 - 13)/(-2 - -1). Let w be (0 + i/10)*-3*5. Solve w*p - 3 = 7*p for p.
-3
Let t(v) = v**3 - 2*v**2 - 35*v + 6. Let a = 216 + -221. Let g be t(a). Solve g = 5*y + 1 for y.
1
Let x(i) = -i**2 - 14*i - 43. Suppose -2*j = -4*j + 2*q - 6, 3*j + 17 = q. Let d be x(j). Solve -9*o = -3*o - d for o.
1
Let j = 241 - 237. Suppose -j*p + a + 1 = 0, p - 10 = 3*a - 7. Solve h = -p + 5 for h.
5
Let u be -2*((-238602)/3036 + 2/22). Solve -u*k + 121*k = -324 for k.
9
Let n be 7 + 7/((-14)/10). Suppose 0 = 4*s + 4, 3*a - 105 = -n*a + 5*s. Solve x = 6*x - a for x.
4
Let l = 2539 - 2521. Solve -11*f + l = 73 for f.
-5
Let l be (-1)/(-2)*150/5. Let q be l/12 - (-1)/(-4) - -2. Let k(j) = 5*j**2 - 4*j - 3. Let t be k(-1). Solve 0*f - q*f + t = 0 for f.
2
Let l(m) be the third derivative of m**6/120 + m**5/10 + m**4/6 - 2*m**3 + 2*m**2 - 11*m. Let t be l(-4). Solve -t - 5 = -3*h for h.
3
Suppose 6*k + 2216 = 2*d + 5*k, -4*k = -2*d + 2216. Solve -d*h + 1102*h - 12 = 0 for h.
-2
Suppose 5*x = -0*x - 2*x.