 -p*w = -190*w - 42 for w.
3
Suppose 3*r - 5*m + 22 = 0, -m - 1 + 2 = -4*r. Let b(p) = 3*p**2 - 4. Let t be b(-2). Suppose 2*j + 2*c = t, -9*c + 8 = -j - 4*c. Solve 1 + r = -j*d for d.
-1
Suppose 0 = 9*v - 54 - 54. Suppose 5*d + v = -o + 28, -2*d + 24 = -4*o. Solve -18 = d*k + 2*k for k.
-3
Suppose 0 = 16*a - 4223 + 1743. Solve -a*k = -157*k + 2 for k.
1
Suppose 0 = 5*f - i - 181, 3*f - 146 = -f + 2*i. Let d = f + -35. Suppose -4*m + 7 = -d. Solve m*r = -2*r - 20 for r.
-5
Suppose 12*t - 1754 + 890 = 0. Solve 3*v = t - 57 for v.
5
Let g = -2 + 2. Let a(u) be the second derivative of -u**4/12 + 2*u**3 + 34*u**2 - 21*u - 3. Let m be a(16). Solve 6*y - m*y = g for y.
0
Let h = 91 + -79. Let g be h*(-24)/(-32)*1. Solve 29 = 5*x + g for x.
4
Let d = 13 + -5. Suppose -536530*y + 594 = -536464*y. Solve 5*o - d*o = y for o.
-3
Let p(t) = 2*t**3 + 15*t**2 + 16*t - 14. Let l be p(-4). Solve 0 = 8*i - l + 2 for i.
4
Let o(q) = -5*q - 88. Let d = 169 + -187. Let f be o(d). Solve v - f = -v for v.
1
Suppose 0 = -t + 4*t - 3*x - 6, -t - 6 = -5*x. Suppose t*p + 5*h - 11 = 0, 19*p + 5*h = 14*p + 15. Solve -p = -3*b + b for b.
2
Let b(t) be the third derivative of 19/6*t**3 - 4/15*t**5 + 1/120*t**6 + 0*t - 3/4*t**4 + 0 + 23*t**2. Let l be b(17). Solve -12 = l*c - 2 for c.
-5
Let v be ((-4)/6)/((-6)/18). Suppose v*j - 12 = -4*j. Suppose 0 = -5*m - 4*o + 12, -5*m + 3*o + 30 = -j*o. Solve -m*i = -i for i.
0
Let o(z) = -2*z**3 - 3071 - 104*z**2 - 6*z + 6*z + 3072. Let g be o(-52). Let q be (-8)/(-6)*9/6. Solve -7 = -q*y - g for y.
3
Let v(w) = w**3 + 7*w**2 - 8*w - 10. Let u be v(-8). Let d be 42/4 - ((-45)/u - 4). Suppose -c - d = -4*k - 3, 0 = -k + 2*c. Solve 4 - k = -2*l for l.
-1
Let n be ((-72)/(-30))/(5/1500). Let z = n - 716. Solve 0*r = -r - z for r.
-4
Let j be 72/(-18) - (2 - 2*5). Let x be (-52)/(-39)*(22/j - 1). Solve l = 4*l - x for l.
2
Let o(g) = g**3 - 7*g**2 + 28*g - 197. Let p be o(5). Suppose -4*n = -2*n + 210. Let x = n - p. Solve -3*j - 4 = -x*j for j.
-4
Suppose -228 = 13*k - 293. Solve 20 - 15 = -k*y for y.
-1
Let m = 7 + -2. Let b(v) = -3*v - 65. Suppose t + 48 = -2*q + 3*t, 4*q + 93 = t. Let f be b(q). Solve m*a + 5 = f*a for a.
-5
Let t(a) be the second derivative of a**6/240 - a**5/20 + 3*a**4/2 - 8*a. Let k(l) be the third derivative of t(l). Let r be k(2). Solve r = 4*h + 17 + 3 for h.
-5
Let p = -352 - -498. Let u = -143 + p. Let b be u/(-12) + (-30)/(-24). Solve 4*v = 5*v - b for v.
1
Let g be 63*11/198 + (-2)/4. Suppose -f = f - 12. Solve f*j - g*j = 0 for j.
0
Let m(y) = y**2 + 5*y + 6. Let k = 98 + -83. Suppose -3*u + k = -3*c, -3*c + 5*u = 2 + 17. Let f be m(c). Solve v = -f*v - 1 for v.
-1
Let x(k) = -k + 6. Let g be x(6). Let i(m) = -83*m**3 + 2*m**2 - 7*m - 8. Let l be i(-1). Let r be ((-11)/((-77)/l))/(3/2). Solve 3*t + t + r = g for t.
-2
Suppose -5*l + 16 = 4*x, 0*l + l = -x + 4. Suppose l*z - 6*z = -72. Suppose z*v + 23 = 239. Solve v + 2 = -5*n for n.
-4
Suppose 0 = 30*l - 29*l + 225. Let s = l - -225. Solve h + s*h + 5 = 0 for h.
-5
Let o(t) = -5*t + 39. Suppose -2*w - 31 = -5*v, 1 + 11 = -4*w. Let r be o(v). Solve r = 5*u - 6 for u.
4
Suppose -41*u + 31*u - 3990 = 0. Let w = 417 + u. Solve 2*t - 10 = -w for t.
-4
Suppose -83 = -3*q + 3*o + 19, 0 = -3*q + o + 106. Let u = 40 - q. Suppose x + v = -3*x - 3, 0 = -4*x + u*v + 12. Solve 2 = -k - x*k for k.
-2
Let q = 38 - 32. Suppose -19 - 35 = -q*x. Suppose -h = 2*h - x. Solve 0*r - 12 = -h*r for r.
4
Let t be ((-38)/(-133))/(7/245). Solve -5*v + 0 = -t for v.
2
Let s(g) = -63*g + 1389. Let n be s(22). Solve -89 + 107 = n*a for a.
6
Let j be (-4)/(-18) + (-16)/(-20) + (-968)/(-990). Solve 983 - 999 = j*a for a.
-8
Let b(x) = 2*x**3 - 3*x**2 + x - 1. Let u be b(2). Suppose 337*j = 7847 - 3872 + 5124. Solve -j*a = -32*a + u for a.
1
Let t(o) = -137*o + 2869. Let j be t(20). Solve 107*u = j*u for u.
0
Let s be ((-572)/(-132))/((-2)/6). Let z(y) = -7*y - 91. Let t be z(s). Solve t = -5*n - 5 for n.
-1
Let g(q) = -q**2 - 16*q - 9. Let w be g(-15). Suppose x - 10 + w = 0. Suppose k - x*u = -0 + 6, -2*k = u - 3. Solve k + 3 = i for i.
5
Suppose 21 + 5 = 13*o. Suppose 2 = o*q - 16. Solve q*r = 6*r - 6 for r.
-2
Suppose -20 = -4*m + 2*q, q = -5*m + 6*q + 30. Suppose 8 + 4 = m*h. Solve -2*k - 3 = -h*k for k.
3
Suppose d = -16*d. Suppose d = 4*x + 15 - 23. Solve -x*l - l + 6 = 0 for l.
2
Let l be 2/(0 - 1/(-13)). Let w be l/8 + 1/(-4). Let d be 7 - (69/207)/(1/(-30)). Solve d = -4*a - w for a.
-5
Let i be -1 + -1 + 6 - (7 - 3). Suppose -s + 0*p - 2*p = 1, 5*s - 2*p - 19 = i. Solve 2*a + s*a = 5 for a.
1
Suppose -16*a + 4954 = a + 1469. Solve 24 = 197*y - a*y for y.
-3
Let p be 2 - (3 + -3 + 3 + -3). Solve -3*o = -p*o + 1 for o.
-1
Let j be (-8)/(((-15)/(-2))/(-15)). Suppose 0 = -4*i + 4*f - 4, 21*i - 2*f = j*i + 10. Solve i*g = -11 - 5 for g.
-4
Let u(w) = -192*w + 1152. Let s be u(6). Solve -26*x = -s*x - 52 for x.
2
Suppose 10196 = -9*f + 10232. Solve -f*g = -13*g - 45 for g.
-5
Let t be 54948/(-171)*(1 - 5/2). Let d = t - 476. Solve 0 = d*z + 4*z - 50 for z.
5
Let x(s) = s. Let a be x(6). Suppose -57*l + 63*l = -12. Let i be (-2 - (a - -3))/(1 + l). Solve -1 + i = -2*u for u.
-5
Let q(m) be the first derivative of -35*m**2/2 + 215*m - 151. Let p be q(6). Solve -p = 3*r + 1 for r.
-2
Suppose -6*u + u = 5*g - 10, u = 2*g + 11. Suppose 0 = 4*c - 12, -u*c = 4*z - 6*z - 15. Suppose z = 99*y - 101*y + 8. Solve 4*t - y + 16 = 0 for t.
-3
Let d be -50*((-1)/(-10))/((-2)/(-24)). Let s = 65 + d. Suppose -7 = p + 3*g, s*p = 4*g - 16 + 76. Solve -3*z + p - 2 = 0 for z.
2
Suppose 39 = 8*h - 129. Suppose h*y - 4*y = 1241. Let x = -52 + y. Solve x = -5*q + 6 for q.
-3
Let c(w) = w**2 - 44*w + 259. Let x be c(7). Solve x = 44*b - 215 + 39 for b.
4
Let d(w) = 5*w**2 + 6*w**2 - 2*w**3 + 2*w**2 + w**3 - 11 + 17*w. Let a be d(14). Suppose 5*c - 12 = -o - a, 5*c + 13 = -2*o. Solve -o = 3*f + 9 for f.
-5
Suppose o + 106 = 3*k, 5*k + 4*o - 273 = -85. Solve 0*w = 9*w - k for w.
4
Suppose 0 = 41*s - 44*s - 4*y + 20, 2*s + y - 10 = 0. Let m be 0 - -15 - 2 - 4. Suppose l - 4*l + m = 0. Solve -q + s = -l*q for q.
-2
Let m = -2238 + 2238. Solve 3*k + 19 - 28 = m for k.
3
Let s(u) = u - 2. Let c be s(10). Let t(w) = 15*w + 110. Let o be t(-7). Suppose v + 3 - 16 = -3*z, o*v + 5*z - 45 = 0. Solve -g - v = -c for g.
1
Let s(d) = d**2 - 2*d + 5. Let z be s(-5). Suppose -38*c = -z*c + 2. Let x(y) = 2*y**3 + y - 1. Let g be x(c). Solve 0 = -g*v - 0 + 4 for v.
2
Suppose 756*o + 3186 = 815*o. Solve 0 = -256*t + 247*t - o for t.
-6
Let j be (8/2 - 0)/2. Let g(a) = -104*a - 84. Let m be g(-1). Solve -2*s = j*s + m for s.
-5
Let h be -1*(-2 + -2) - 1. Suppose -7 = s + 4*a, -4*s + 4*a + 25 = -h*s. Suppose -u = i + 2*i - s, 0 = 3*i + 3*u - 15. Solve -2*m - i - 4 = 0 for m.
-3
Let i(l) = 3*l**2 - l. Let z = 40 + -38. Let t be ((-1)/2)/(1/z - 0). Let x be i(t). Solve x*f - 7 + 3 = 0 for f.
1
Let l(n) = -n**2 - 17*n + 1. Let y be l(-7). Let s = -71 + y. Suppose s*f + 22 = 11*f. Solve 0 = -f*k - k for k.
0
Let u be (0*(-12)/(-60))/(-1). Suppose 6 = 2*l - 4. Solve u = -l*w + 10*w for w.
0
Let r be 3/((3 - 5) + 105/48). Solve r*j = 33*j - 68 for j.
4
Let d(i) = i**3 + 5*i**2 - 6*i + 6. Let l be d(-6). Let n be (4 - 2)*(-4002)/12 - -3. Let b = -662 - n. Solve -l*f + 20 = -b*f for f.
5
Let g = 14 - 18. Let a be (0 - -2)/(-3 - g). Solve 0*m + a = m for m.
2
Let l be 2/(-12) - (1210/(-12))/11. Suppose 0 = -68*p + 65*p + l. Suppose 0 = -5*k - 0*w + 5*w - 10, -2*k = w - 5. Solve p = -4*u - k for u.
-1
Suppose 30*z = 118*z - 2501 - 5331. Solve 55*n + 21 + z = 0 for n.
-2
Let i(c) = 24*c - 235. Let y(m) = 10*m - 117. Let h(l) = 4*i(l) - 7*y(l). Let j be h(5). Solve 0*v = j*v - 27 for v.
3
Let v be ((-3)/6)/((-5)/(-540)). Let b = v - -66. Solve -p + b = 5*p for p.
2
Let r = -17421 - -17452. Solve -14*m = -31 + r for m.
0
Let m = -293 - -282. Let n = m - -13. Solve 6 = n*y + 16 for y.
-5
Suppose 392 = 20*s + 36*s. Suppose s*a = 6 + 50. Solve -2*b + a + 2 = 0 for b.
5
Let m be (-27)/(-5) + (-6)/15. Suppose 2*s - 20 = 5*v, 3*v + 12 = -2*s + m*s. Suppose 14*j = 13*j + 3*b + 36, -4*j - 3*b = -24. Solve s = -2*l - j + 2 for l.
-5
Let d be 8 + 0/((-3)/((-3)/4)). Solve -u + d = 4 for u.
4
Suppose 274 = l + l. Let p = 142 - l. Solve p*s + 8 =