
Let l(p) = -53*p + 486. Let z be l(9). Solve -17 + 8 = -z*m for m.
1
Suppose -9*f - 4510 = -4888. Solve -15*j = -f*j + 54 for j.
2
Let v(k) be the third derivative of -13*k**4/8 - 39*k**3 - 127*k**2. Let s be v(-6). Solve -c = -2 - s for c.
2
Let b(x) = x**3 + 24*x**2 - 53*x - 26. Let y be b(-26). Let d be (0 + y)/(-53 - -51). Solve d = -11*g - 24 + 57 for g.
3
Let t be 1/(-1)*(-4 - -1). Let p(a) = -2*a - 44*a**2 + 49*a**2 - 2*a**3 - 9 + 3*a**3. Let g be p(-4). Solve -t*r + g = -0*r for r.
5
Let r = -79 - -114. Let l be 60/(-14)*r/(-15). Solve 2*x = -6 + l for x.
2
Let o = 113 - 97. Let w be (-2)/8*(-28 + o). Solve 0 = -w*b - 0*b for b.
0
Suppose -5*j - 16 = 3*z - 5, -2*j + 4 = 4*z. Solve -z*t = t + 4 for t.
-1
Let i = 16 + -6. Suppose 5*l - i = -40. Let f be (9/l)/((-1)/2). Solve p = -f + 1 for p.
-2
Let g = 67 + -52. Suppose -3*l - 3*b + g = 0, 4*b = l - 21 + 11. Solve 4*h + 14 = -l for h.
-5
Let x be 4085/(-2451)*(-1 + 98/(-10)). Solve -x*c - 105 = 3 for c.
-6
Let p(w) = w**3 + 6*w**2 + 12*w + 41. Let r be ((-8)/(-3))/(4 - 56/12). Let o be p(r). Solve -4 = 7*z - o for z.
3
Suppose 2*b - 3*u - 6 = -u, -2*u = 4*b - 24. Suppose 2*o + 4 = 4*c, 0 = b*c - 2 - 8. Let y = 1 + o. Solve y*h = -2*h - 25 for h.
-5
Let t(z) = -z**2 + 4*z - 1. Let o be t(2). Suppose 2*q - 2*i + i = o, -3 = -3*i. Solve -5 + q = h for h.
-3
Let v = -64 + 52. Let m(i) = i + 14. Let l be m(v). Suppose b - 4*s - 7 = 0, s = -2*b - l*s + 14. Solve -4*g + 13 + b = 0 for g.
5
Let n(p) = 0*p + 7*p**3 + 17 - 8*p**3 - 8*p**2 + 2*p - 1. Let s be n(-8). Solve 4 = -s*r + 4*r for r.
1
Suppose 0 = -4*m + 2*n - 774, 2*m + 11*n = 6*n - 405. Let s = m - -199. Solve s*l + 0*l = 0 for l.
0
Let k = 12833 + -12820. Solve -75 - 16 = k*i for i.
-7
Let j be ((-10)/25)/(2*(-2)/(-10)). Let x be (-17 + j)/(22/(-33)). Solve -x + 11 = -4*v for v.
4
Let d = 22410 - 21960. Solve -453 = -t - d for t.
3
Let c = 44 + -55. Let t(g) = g + 13. Let v be t(c). Suppose -4*n = v*n. Solve p + 0*p + 2 = n for p.
-2
Suppose 5*k = -3*t + 16, 13*t = -3*k + 12*t + 12. Solve 9*y - k*y = 8 for y.
2
Suppose -61*s + 429 = -28*s. Suppose 0 = -10*a - 5 + 55. Solve -3 + s = a*k for k.
2
Suppose -4*q - 2*m + 42 = 0, -m = -2*q + 3*m + 36. Let p be (51/(-204))/((-2)/80). Suppose p*k = q*k - 8. Solve k = b - 1 for b.
5
Let z(m) = 191*m + 22730. Let l be z(-119). Let y be (-1)/(-4) + (-14)/(-8). Solve -y = x + l for x.
-3
Let x = 192 - 316. Let i = x + 136. Solve 7 - i = -a for a.
5
Let a be (-5724)/11880 - 6/(-20) - (-180)/22. Solve 0 = -30*p - a*p for p.
0
Let d(y) = -y**3 + 21*y**2 - 6*y + 113. Let p be d(20). Solve 31*w - p = -424 for w.
-1
Let r(f) = -2*f**2 + 13*f - 1. Let n be r(6). Suppose 4*a + 28 = n*h, -5*a - 15 = -4*h + 2. Solve 0 = -3*u + 5*u + h for u.
-4
Let z(n) be the first derivative of 5/2*n**2 - 6*n + 1/3*n**3 + 31. Let q be z(-6). Solve q*f + 2 = 2*f for f.
1
Let m = -15794 - -15797. Solve 29 = -m*w + 35 for w.
2
Let z = 153 - 150. Suppose 2*q - z*x + 15 = 0, -2*x + 10 = 2*q - 3*q. Solve -o + q*o = -2 for o.
2
Let i = -87 - -87. Suppose -24 = -i*s - 6*s. Let t = 10 + -6. Solve 0 = -t*y - s + 20 for y.
4
Suppose 5*o + 3*b = 4*b + 20, -3*b - 21 = -2*o. Suppose 14 = 5*n - 4*d - 8, -n = -o*d - 11. Solve n*a = 7*a - 5 for a.
1
Suppose 245*r - 339*r = -752. Solve -13*u + 44 + r = 0 for u.
4
Suppose 129 = 2*d - u, -4*d + 238 = -0*u + 2*u. Let y = d - 30. Let i = y - 29. Solve -v = -i*v for v.
0
Suppose 2*k + 3*v - 225 = 0, -161 = -k - 2*v - 46. Let z = 166 - k. Suppose 21 = -10*c + z. Solve -3*j = -j - c for j.
2
Suppose -h + i - 117 = -4*h, -h - 3*i = -47. Let p be 276/34 + h/(-323). Solve 55 = -p*d + 15 for d.
-5
Let g = 2895 + -4304. Let p = g - -1414. Let v(j) = -j**2 + j + 4. Let w be v(0). Solve -w*r = -p*r + 2 for r.
2
Let y(r) = -5*r**2 + 4*r - 15. Let c be y(6). Let h = c - -181. Solve 10 = -h*z + 5*z for z.
-2
Let u(l) = 9*l**2 + 43*l - 42. Let d be u(8). Let r = -876 + d. Let f = 29 + -19. Solve -f + r = -2*c for c.
4
Suppose 2*i - 239 = -867. Let j = i + 317. Solve 4*h - 5 = j for h.
2
Suppose -43*i + 92*i - 33*i = 42*i. Solve i = 2*r + 995 - 989 for r.
-3
Let t(q) = -2*q**2 + 609*q + 3732. Let z be t(-6). Let p(y) = y**2 + 7*y. Let d be p(-7). Solve -z*r - 18 = -d*r for r.
-3
Let q = -1940 + 2084. Solve 0 = -28*c - 32 + q for c.
4
Let y be (2265/7)/5 - (-4)/14. Suppose 13*n - y = 8*n. Suppose -45 = -18*f + n*f. Solve 4*p - 3 = f for p.
3
Suppose 9*d - 8*d = 3. Let o(c) = -c**2 - 27*c + 580. Let l be o(-41). Solve l - d = j for j.
3
Let k(s) = 174*s + 19140. Let d be k(-110). Let r(y) = -y**2 - 7*y. Let x be r(-6). Solve d = i + 7 - x for i.
-1
Let b be (-3 + (-16)/(-4))*0. Suppose b*k = 8*k + 5*k. Solve 0*j - 2*j = k for j.
0
Let s = -22428 + 22583. Solve -s*r = -135*r - 20 for r.
1
Let i(d) = -d**2 + 43*d - 211. Let p be i(30). Let h = 204 - p. Solve 7*m - 4 = -h for m.
-3
Let z(l) = -l**2 + 22*l - 57. Let a be z(3). Suppose a*s = -16*s + 48. Solve -3 = -s*h + 3 for h.
2
Let y(n) = n**3 + 10*n**2 + 11*n + 8. Let c be y(4). Solve 0 = -264*f + c*f - 36 for f.
3
Let t be ((-1)/(-12)*0)/(-2). Let r(h) = -26*h**3 + 2*h + 1. Let a be r(-1). Let l be a/3 - (-2)/(-6). Solve -8*g + 4*g - l = t for g.
-2
Let z(h) = h**3 - 16*h**2 - 32*h + 532. Let g be z(16). Solve 0 = 10*c + g - 30 for c.
1
Let j(v) = -57*v + 2099. Let f be j(36). Solve -f*x + 120 = -256 for x.
8
Suppose -1298 + 1310 = 11*z - 5*z. Let p be (-1 - -2) + 0/(-2). Solve 5 + p = -z*l for l.
-3
Let x = 19506 + -18737. Solve x*p = 777*p + 8 for p.
-1
Suppose 4*c - 157*c = -459. Solve -39*u = -c + 3 for u.
0
Let k be (-2)/(-3)*-10*162/(-30). Solve 145*m - 149*m = -k for m.
9
Suppose 7*i - 3*g = 8*i + 12, -16 = 4*i + 4*g. Suppose -v + 103 - 89 = i. Solve 8 = -v*n + 12*n for n.
-4
Let c be (-5)/(-20) + 2/(-8). Suppose 0 = -2*a - 4*g, -3*a + 3 = g + 4*g. Suppose c*t + 30 = a*t. Solve -14 = -t*f - 4 for f.
2
Suppose 0 = -10*n - 122 + 382. Suppose 6*t - 80 + n = 0. Solve 13*s + 16 = t*s for s.
-4
Let z = -54 - -48. Let g(b) = -2*b - 4. Let q be g(z). Let n = -8 - -12. Solve q = n*k - 2*k for k.
4
Let h(b) = -b**3 + 16*b**2 + 2*b - 12. Let n be h(16). Let p(i) = 45*i - n*i - 22*i + 43. Let g be p(-13). Solve -9 = -g*t + t for t.
3
Let u = -2 - -6. Suppose 5*g - u*g - 22 = 5*s, g = 4*s + 18. Suppose -3 = -3*n, 0 = -a + n + 1 - g. Solve a = -2*q + 2 - 12 for q.
-5
Suppose 2*y = -y. Suppose -3*p + 7 + 2 = 0, 10*j = 9*j + p. Solve 0 = h - y - j for h.
3
Suppose 2*h + 55 = 7*h. Let x(o) = o**3 - 135*o**2 - 2*o**3 + 261*o**2 + 13*o - 20 - 116*o**2. Let q be x(h). Solve -w - 2 = -q*w for w.
2
Let i = -23 + 25. Suppose -i*z - 20 = -56. Suppose -3*d = -3, 24 = 5*f + 2*d - z. Solve -3*a - a = f for a.
-2
Let f be -1*1 - 0 - -1. Suppose 3*u = -9, -3*u + 373 = -4*n - 2*u. Let k = -90 - n. Solve f = j + k*j for j.
0
Let l = 30718 + -30665. Solve l*p = 60*p - 7 for p.
1
Suppose -381 = -3*v - 279. Solve -8*z - 10 + v = 0 for z.
3
Suppose -143*v + 144*v + 56 = 0. Let a = v + 60. Solve -4*n + a = -0 for n.
1
Let m be -4*(-4792)/28*(-21)/72*-3. Solve m*b - 591*b = 40 for b.
5
Let c(q) = -24*q**2 - 10*q - 38. Let n be c(-3). Let l be (-128)/n - (-10)/7. Solve -l*a + 8 = 2*a for a.
2
Let v be 2/(-14) - (-87)/21. Suppose -3 = -v*a + 5. Suppose -3*h + 3*k + 6 = 0, a*k + 2 = -h - 2. Solve 0 = 5*x - h*x for x.
0
Suppose -4*h = 93 + 255. Let q = -83 - h. Suppose 0 = v - 2, -q*i = i - 4*v - 22. Solve 7*o = 4*o - i for o.
-2
Suppose -154 = -24*p + 110. Solve -19*j = -p*j for j.
0
Let z(d) = 6*d**2 + 187*d + 51. Let r be z(-34). Solve -660*x + r*x = 62 for x.
-2
Let x(y) = y**3 + 16*y**2 + 17*y - 34. Let z(f) = -f**2 + 1. Let o(u) = -x(u) + 4*z(u). Let h be o(-19). Solve i + i = h for i.
0
Let x be 2*2*(-35 + 2). Let v be (-1)/1 + x/(-33). Solve 0*s - v*s = 0 for s.
0
Let x be 1350/525*21/6. Solve 38*j - 35*j = x for j.
3
Let y be (-2)/(2/(-5)) - (-1 - -3). Suppose 21 = k + 5*f, 2*k - y*f + 19 = 3*k. Let s = k - 13. Solve 4*m + 15 = s for m.
-3
Suppose -2*z - 2*z - 4*m + 68 = 0, z - 27 = m. Solve z*h = -23*h - 90 for h.
-2
Let l = 16 - 51. Let w = l + 39. Let h(f) = -2*f**2 + 7*f + 6. Let z be h(w). Solve -g = z*g - 3 for g.
1
Let n(h) = -14*h - 10. Let f be n(-1). Let t be (f/10)/(2/125). Solve -3*w + 8*w = -t for w.
-5
Suppose -3*q = -0*q - 6*q. Solve q = 62*s - 71*s + 27 for s.
3