ve -8*m = -p*m for m.
0
Suppose -3*v + 4*v - 5 = 0. Let w = 23312 + -23298. Solve -v*h + w + 6 = 0 for h.
4
Let w(t) be the third derivative of -15*t**4/8 - 2*t**3/3 - 17*t**2. Let p be w(-5). Let z be 28/13 + (-34)/p. Solve i = -i + z for i.
1
Suppose -2*r = -2*s + 6, 3*s = -42*r + 44*r + 8. Let q be 1/s*-6 + 5. Solve -1 - 1 = q*a for a.
-1
Let w(h) = h**2 - 5*h - 6. Suppose 4*l = 7*l - 18. Let k be w(l). Let j = 1644 - 1644. Solve q - 4 + j = k for q.
4
Suppose -37*v - 17*v = -1026. Solve 31*u - 167 = v for u.
6
Let q(d) = -2*d**2 + 16*d + 4. Let x be (0/2)/(3 + -5). Suppose x = -3*i - 0*i + 24. Let b be q(i). Solve -b*m + m = 15 for m.
-5
Let x(p) = -23*p + 115. Let a be x(5). Suppose -3*v - 133 = -139. Solve v*r - 6*r - 20 = a for r.
-5
Suppose 0 = -0*w + 5*w - 4*m + 156, -m = 3*w + 97. Let i = -22 + w. Let j = -38 - i. Solve 4 = 5*a - j for a.
4
Suppose -v + 300 = 5*v. Let i be ((-4)/((-24)/v))/((-1)/(-3)). Suppose d - g - i = -4*d, 4*d + 2*g = 20. Solve d*s - 9 = 11 for s.
4
Suppose -5*b = 3*r + 25, 5*r + 11*b + 25 = 6*b. Solve -45*i - 253 - 107 = r for i.
-8
Suppose 0 = w - 4*w - j - 45, -4*w - 60 = 3*j. Let d(c) = -c**2 - 16*c - 12. Let s be d(w). Suppose 0 = -4*y + 4. Solve -v - s - y = 0 for v.
-4
Let d(x) be the first derivative of -1/4*x**4 + 7/3*x**3 - 3/2*x**2 + 21*x - 20. Let t be d(7). Solve 3*o + t*o - 15 = 0 for o.
5
Suppose m = -3*t + 1733 - 423, 4*m = 5*t - 2172. Solve 0 = -55*j + 106 - t for j.
-6
Let g = 38 + -36. Suppose -25 = -4*m + 5*b, 5*m = -2*b - 0*b + 23. Suppose -6*f + 3*f = -m*n + 69, f = n - 13. Solve g*c = -3*c - n for c.
-3
Let c = -57 - -76. Suppose -61 = -10*t + c. Solve 11*r - t*r = -3 for r.
-1
Suppose 224*r + 822 = 227*r. Let b = r - 260. Solve -3 = -17*c + b*c for c.
1
Let o = -375 - -381. Let y(s) = 3*s**3 + s**2 - 5*s + 10. Let j(p) = p**3 - p**2 + 1. Let b(v) = -4*j(v) + y(v). Let f be b(3). Solve 3*q = o*q + f for q.
-3
Let d(q) = 14*q + 344. Let h be d(-22). Solve -82*b + h*b + 46 = 0 for b.
1
Suppose 1 = -t + 3. Suppose 4*h - 3*u = t*u - 190, -h - 37 = 4*u. Let r = h + 55. Solve r*c - 5*c = -20 for c.
-4
Let d be (-45)/6*((-8)/3)/2. Let u be d - (0 + (-2 - -2)). Solve 8*n + 6 = u*n for n.
3
Let s be 2082/14 - 378/(-1323). Solve -175 = 54*c + s for c.
-6
Let h = -245 + 245. Suppose 6*k + 7 = -v + 11*k, h = -3*v + 2*k + 5. Solve 6*o = v*o - 12 for o.
-4
Let t(m) = -m**3 + 4*m**2 - 2*m - 2. Let k be t(3). Let z = k - 5. Let f be (-10*(-4)/32)/((-1)/z). Solve f - 3 = -2*p for p.
-1
Let q(x) = x**2 - 11*x - 5. Let v be q(13). Let g be (-7 - 0)*432/v. Let w = g - -147. Solve -w*u = u + 16 for u.
-4
Let i be (3 + 140/(-21))*6/(-2). Suppose -i*u + 7*u = -20. Solve 2*n - u = 1 for n.
3
Let y be (-16)/(5/1 - 792/144). Solve 25*b = 9*b - y for b.
-2
Suppose 0 = 9*p - 528 - 399. Suppose 0 = -o - 0*o - 4, -p = -5*w + 2*o. Solve -3*n - 4 = -w for n.
5
Let r(k) = k - 3. Let q be r(-6). Let j(b) = 782*b**3 - 781*b**3 + 15*b + 23*b - 32*b + 10*b**2 - 2. Let a be j(q). Solve -a = -5*w - 0*w for w.
5
Let u be 15748/279*18/4. Solve u*v = 262*v + 40 for v.
-5
Let z(u) = u + 14. Let a be z(9). Let g = 52 - a. Suppose 0 = -4*r + 31 + g. Solve 5 = -5*c + r for c.
2
Suppose -3*n = -2*j - 127, 5*j = 8*n - 10*n + 34. Solve 5*q - n = -67 for q.
-6
Let y(a) = 5*a**3 - 2*a + 1. Let m be y(1). Let g = 140 - 90. Suppose 47*w - g*w = -3. Solve 3*s + w = m for s.
1
Let f = 255 - -153. Let d be (f/(-30) - -13) + (-103)/(-5). Solve d - 12 = -2*h for h.
-4
Let i(r) = r**3 - 12*r**2 + 10*r + 16. Let j be i(11). Let y be (j + (-84)/18)/(2/60). Solve 0 = -17*u + 12*u - y for u.
-2
Let r = -173 + 431. Let w = 261 - r. Solve t = 5 - w for t.
2
Suppose -5*f - 8*p + 3*p + 235 = 0, -3*f + 133 = 5*p. Let l = f + -27. Solve -5*v - v = l for v.
-4
Let q(h) = h**2 - 21*h + 72. Let r be q(18). Suppose -3*z = 2*y, -2*z - z - r = -4*y. Solve 0*t - y*t = 15 for t.
-5
Suppose -16*u - 23 = -29 - 42. Let f = 4 - 3. Solve -u = l - f for l.
-2
Let m(a) = -3*a**2 - 232*a + 403. Let q be m(-79). Solve 0 = q*d + 513 - 481 for d.
-4
Let s(p) = -p**3 + 12*p**2 - 29*p - 11. Let g be s(8). Suppose -w = 5*a - g, 5*a - 5*w - 1 = -2*w. Solve 0 = 3*q + a*q + 20 for q.
-4
Let t = -637 - 87. Let h be 12/54 + t/18. Let o be 2*12/h*-10. Solve 0 = o*r - r - 25 for r.
5
Suppose 159*d - 1200 = 149*d. Solve 0 = 30*t - 6*t + d for t.
-5
Let k(s) = -s**2 + 8*s + 5. Suppose -3*a = 9*a - 60. Let i be k(a). Suppose i = 6*t + 2. Solve t = -3*p - 0*p for p.
-1
Let w(n) = n + 11. Suppose 2*b + 5*j = 9*j + 42, -3*b + 42 = j. Let d be w(b). Solve 5*s - 21 = -d for s.
-1
Suppose 5*p - 6 = 4*z, -z = p + 4*z - 7. Suppose -p*d = -b, 2*d - 4 + 12 = 5*b. Let f be 2 + (5 - 4/d). Solve o = 5 - f for o.
2
Suppose 0 = r + 4*s + 7 + 6, 4*r = -2*s + 4. Let f = r + -3. Suppose -4*o - 2*w = -20, 4*o - 2*w = 17 - 13. Solve -o*h - h + 8 = f for h.
2
Let b(y) = 5*y**3 - 58*y**2 - 30*y + 85. Let p be b(12). Solve p*n - 63 = 4*n for n.
7
Suppose 62*m - 1287 = 624*m - 4097. Solve 172 = m*d + 167 for d.
1
Suppose 5*s = 3*s - 90. Let n = -41 - s. Suppose -5*k + 4*k + n = 0. Solve -k*a = -3*a - 1 for a.
1
Let t be (12 - -9) + (-9 - -4). Solve -25*z + t = -9*z for z.
1
Let c be (-102)/(-6) - -3 - (1 - 1). Suppose y = -3*t - 15, -4*y + 2*t + c = -2*t. Solve y = 4*x + 12 - 16 for x.
1
Let q(v) = 22*v + 250. Let m(c) = -33*c - 242. Let g be m(-7). Let n be q(g). Solve 41 = n*d + 9 for d.
4
Let c be -51 + 153/(-54 - -57). Let i(b) = -b**2 - 7*b - 1. Let n be i(-4). Solve -13*w + n*w = c for w.
0
Suppose -4*v + 2254 = 5*y - 503, 13953 = 25*y - 4*v. Solve -y*s + 559*s = -12 for s.
-6
Suppose 2*j = -5*t + 469, -2*j - 4*t = -6*j + 1008. Solve -267 = -5*v - j for v.
4
Suppose 9891 = 10*c + 9701. Solve -14*b - 5*b = c for b.
-1
Let o(h) = -105*h + 19. Let j be o(-1). Suppose -18*u - 13*u = -j. Solve i + u = 3 for i.
-1
Let f = 129 - 125. Solve -740 = -f*m - 764 for m.
-6
Suppose -28*j + 26*j = -4*r + 60, 2*j - 4 = 0. Solve 0 = 10*c + r*c - 104 for c.
4
Let s be 20/(-10*7/(-35)). Solve 0 = -s*u - 7*u - 102 for u.
-6
Let m(i) = -45*i + 1890. Let o be m(42). Solve 41*d + 189 + 57 = o for d.
-6
Suppose t + 4*t = 19*t. Suppose -2*q = 2*q - k - 58, t = 5*q + 5*k - 85. Solve -3 + q = -3*n for n.
-4
Let s = 129 - 195. Let i = s - -69. Suppose 0 = -i*y - 3*p + 3, -y + 5 - 4 = 4*p. Solve -g = -2 + y for g.
1
Let f = -494 - -502. Suppose 15*q + 5 = 20*q. Solve -q = -7*w + f*w for w.
-1
Let k(m) be the second derivative of 0 + 1/6*m**4 + 0*m**3 + 1/20*m**5 + 4*m + 3/2*m**2. Let l be k(-2). Solve -13 = l*a - 4 for a.
-3
Let l(t) = -20*t - 162. Let c(z) = -5*z - 40. Let w(q) = 9*c(q) - 2*l(q). Let g be w(-8). Solve g*d - 8 = 8 for d.
4
Let i(l) = l**3 + 16*l**2 - 6*l - 93. Let z be i(-16). Suppose 4*d - 4*k = 124, -z*d + 18*k = 14*k - 89. Solve -v + d - 32 = 0 for v.
3
Let g(f) = -f**3 + 28*f**2 - 31*f + 60. Let l be g(27). Let n = -40 - l. Let y(d) = -2*d - 8. Let a be y(-6). Solve -a*o + 4 = -n for o.
3
Suppose 0 = 4*l + 5*y - 578 + 214, -212 = -2*l + 5*y. Suppose 3*p - 96 = 4*n + p, 4*n + l = 4*p. Let a be ((-6)/(-12))/((-4)/n). Solve 7*b = a*b for b.
0
Let i = 6509 - 6489. Solve 11*r - i*r = 18 for r.
-2
Let n(x) = 23*x - 15. Let v be n(-11). Let m = 272 + v. Let i = -1 - -5. Solve i*d - m = 8 for d.
3
Let c be 1*2 - -222*1/2. Solve -22*o + 179 = c for o.
3
Suppose 3*g + v = -0*g - 30, -20 = 2*g - 3*v. Let w be 3/(15/g - -2). Solve 4*b = w*b for b.
0
Let z be (27/(-18))/(46/(-92)*2/130). Solve 211 + z = 58*j for j.
7
Let m(b) = 4*b**2 + 4*b - 4. Let i be m(3). Let f be 20/110 + 872/i. Solve -3*q = 5 - f for q.
5
Let m = -10383 + 10814. Solve -12*n = m - 383 for n.
-4
Let r(q) = -q**3 + 9*q**2 + 6*q - 13. Let a be r(5). Solve -k - a = 38*k for k.
-3
Suppose 4*r = 7*r - 726. Let x = -236 + r. Solve 8*j - x*j = 0 for j.
0
Suppose 36*g - 203 = 229. Solve 19*l - 7*l = -g for l.
-1
Let i = -141 + 847. Suppose -4*c + y = -2*y - i, 5*c - 900 = -5*y. Suppose 5*w - 238 = -c. Solve -q - w = 2*q for q.
-4
Let d = 138 + -105. Let z = -30 + d. Solve -g + 4 = z for g.
1
Suppose 12787 - 17678 = -73*w. Solve -w + 7 = 20*m for m.
-3
Suppose -5*u + 64 = 3*j, -j + 22 = -3*u + 5*u. Suppose 1 = -x - 4*q, -2*x + 8 = 16*q - j*q. Solve w + 8 = x*w for w.
4
Let q be (-240)/(-5)*-1*(-4)/8. Solve 33*n - q = 27*n for n.
4
Let t(i) = -289*i + 2005. Le