 Solve -w + s = w for w.
4
Suppose 0 = 3*x - 1622 + 1406. Solve x*g = 57*g - 60 for g.
-4
Let k be 12/9 + 2/3. Suppose -k*u - 4 = 0, 0 = 3*c + 5*u - 2*u - 15. Let a be 1350/175 + 2/c. Solve -2*i - a = -2 for i.
-3
Let i(l) = -l**3 - 5*l**2 + 15*l + 16. Let m be i(-7). Suppose -35 = -4*g + 3*t, 3*g + m*t = 5*t + 45. Solve -2*z = 3 - g for z.
4
Let h = -11375 + 11466. Solve 4*k = -h + 83 for k.
-2
Let r(y) = -78*y - 3973. Let s be r(-51). Solve -s*t - 10 = -30 for t.
4
Let y = -790 - -820. Solve y = -214*v + 208*v for v.
-5
Let c be 6 + -11 + (9 - -60). Solve 0 = -29*r + 13*r + c for r.
4
Suppose 7*i = 2*i + 35. Suppose i*b - 9*b = 0. Suppose b = -n - 2*y + 6, -2*n + 2*y + 4 = -8. Solve 2*p + 12 = n for p.
-3
Suppose 33*x - 782 = 10*x. Let v be (15/(-10))/((-1)/x). Solve 2*s - v + 41 = 0 for s.
5
Suppose -h + 46 = 2*i, 166*h - 2*i - 234 = 162*h. Solve -1545*q + 1537*q = h for q.
-7
Suppose a = 3*a - 18. Let o(y) = -2*y - 1. Let s be o(-2). Suppose 3*k = -5*l + 40, s*k = 6*l - 5*l + 10. Solve -l*h - 34 + a = 0 for h.
-5
Suppose 3*z = 4*h + 121, 3*z - 4*h = -3*h + 118. Let v = z + -37. Suppose 7 = -v*g + 23. Solve -5 = 3*j - g*j for j.
1
Let o = 775 + -760. Let m = 116 - 107. Solve -18*k + o*k - m = 0 for k.
-3
Suppose 55*r - 504 - 431 = 0. Suppose 120 = r*q - 13*q. Solve -w = q - 34 for w.
4
Suppose -12317*p = -12323*p + 90. Solve -104 = 17*g + p for g.
-7
Suppose 11*c - 14*c - 32 = -4*r, 0 = -r - 5*c + 8. Suppose -3*a - 8 - 4 = 4*n, -3*n = -2*a - r. Solve n*o - 2 = -2*o for o.
1
Let f = 1113 - 1104. Solve 16*q - f*q - 14 = 0 for q.
2
Let l(u) = -4 + 6 - 3 - 40*u + 28*u. Let d be l(-4). Let s = d - 46. Solve s = -3*a - 2 for a.
-1
Let z(q) = q**3 - 3*q**2 + 2*q - 3. Let v be z(2). Let u be ((-4)/(-3))/(v/(-9)). Suppose 4*w = 3*p - 15, 13 - 55 = -3*p + w. Solve u*n - 1 = -p for n.
-4
Suppose 0 = -3*j + 55 - 43. Suppose 17 = -k - 5*a, -4*k - j*a - 10 = -2*k. Let w be (k - -7)*(-4)/(-10) - 0. Solve 3*b - 4*b - w = 0 for b.
-4
Suppose 2*d + 740 = -0*d + 76*d. Solve 0 = d*z - 272 + 232 for z.
4
Suppose z = -0*z - 72. Suppose 2228 = 340*w - 121*w + 15806. Let g = w - z. Solve 8*p = 3*p - g for p.
-2
Suppose 0 = 6*o - 11*o + 4*p + 2, 4*o = -p + 10. Let u = 67 - 97. Let l = u - -44. Solve o*d + 4 = l for d.
5
Suppose 2*t = -4*y - 12, 19*t - 20*t + 4 = -3*y. Let m be 270/(-63)*(-8 + (-1 - t)). Solve 8*c - 2*c = m for c.
5
Let t = 13192 + -9052. Solve -t + 4156 = -2*c for c.
-8
Let x = 12733 + -12676. Solve 216 = -x*m + 3*m for m.
-4
Let c = 9 + -5. Let n = 10922 + -10919. Solve 2*t - n*t = -c for t.
4
Let u = 3381 - 3376. Solve 55 = u*m + 10 for m.
9
Let z be 19/3 + -6 + (-104)/6. Let y = z - -29. Suppose -2*n = -6*n + y. Solve -f = -4 + n for f.
1
Suppose 27*b = 6*b + 42. Suppose 0 = b*m + u - 6*u, -19 = -3*m - 2*u. Solve 15*g = 14*g + m for g.
5
Let q = -783 - -773. Let j be -1 + (-8)/q + (-1650)/(-750). Solve -4*s = -j*s - 10 for s.
5
Let x(v) = -3*v**2 - 8*v - 23. Let f(j) = -4*j**2 - 6*j - 21. Let h(s) = 2*f(s) - 3*x(s). Let q be h(-3). Solve q = -r - 3*r for r.
0
Let i(v) = 3*v + 47. Let s(h) = -6 + h - 17 - 4. Let m be s(14). Let k be i(m). Solve 3*w = w - k for w.
-4
Suppose 2*f = f + 3. Suppose -f*g = 3*n + g, 0 = n - 5*g. Suppose 0*z + u + 16 = 5*z, 4*z + u - 11 = 0. Solve n = -z*r - r - 20 for r.
-5
Let z(n) = 10*n**2 + 90*n + 89. Let v be z(-1). Solve -39*t = -36*t - v for t.
3
Let p be -2 - 20/(-14)*(-20 - -6). Let v be (-24)/(-42) - (-4 + p/(-14)). Solve -v*x = -1 - 8 for x.
3
Let p(j) = -j**3 + 8*j**2 - 16*j + 27. Let l be p(6). Let w(n) = -n + 16. Let i be w(11). Suppose c + 5*o - i = 0, o - 1 = -2*c + 6*c. Solve c = -m + l for m.
3
Let t = -17012 + 17161. Solve -t*x + 136*x - 91 = 0 for x.
-7
Suppose 5*p - 3*g - 2710 + 1014 = 0, 0 = p + g - 344. Let c = 362 - p. Solve 0 = c*y - 19*y + 8 for y.
-4
Suppose 0 = -9115*b + 9091*b + 480. Let c = 8 - 3. Solve d - c*d = b for d.
-5
Suppose -2*g + 0*p + 2*p = 18, -5*g + 3*p = 35. Let z = g - -6. Suppose 60*s + 7*s - 308 - 94 = 0. Solve -q = z*q - s for q.
2
Let a be 36/10 + (-14)/(-35). Suppose -62 - 190 = a*h. Let m be h/(-35) - (-1)/5. Solve m*q = -3 + 1 for q.
-1
Let q(t) = 12*t**2 - 43*t + 117. Let w be q(5). Solve 5*i - w + 217 = 0 for i.
-3
Let y(z) = z**2 - z + 8. Let j be y(4). Suppose 0 = -4*c, -10 = -v - 4*v - c. Solve -v*i + j = -6*i for i.
-5
Let m = 102 - 184. Let u be m/(-14) + 5/35. Let d(p) = 2*p**3 - 27*p**2 + 13*p. Let v be d(13). Solve 3*o - u = -v for o.
2
Suppose 167*h - 165*h - 10 = 0. Suppose -4 = -4*v, -h*y + 21 + 19 = -5*v. Solve y = -7*i - 19 for i.
-4
Let u(i) = i**3 + 4*i**2 - 22*i + 15. Let c(f) = 3*f**3 + 13*f**2 - 66*f + 44. Let d(m) = -6*c(m) + 17*u(m). Let y be d(-12). Solve -4*w - y = w for w.
-3
Let o(k) be the first derivative of -k**4/4 + 2*k**3 - 5*k**2/2 + k + 21. Let g be o(5). Let y be g/4 + 2/(-8). Solve y*z = 3*z - 12 for z.
4
Let v(a) = -11*a + 8. Suppose 2 = -2*p + 10. Let i be v(p). Let c = 47 + i. Solve -c = -4*m - 3 for m.
2
Suppose -7 - 14 = -3*c. Let x be ((18/(-24))/((-1)/(-3)))/(150/(-200)). Solve 0 = -x*q - 0*q + c*q for q.
0
Suppose -4*r - 15 = -2*v + 29, 6*v = -4*r + 4. Solve -v*j - 52 + 16 = 0 for j.
-6
Let c(p) = 2*p - 6. Let s be c(4). Suppose -4*b + 12 = 2*f, -14 = f - 3*f - 3*b. Let z(v) = -5*v + 62. Let m be z(f). Solve -w = s*w - m for w.
4
Let p = 2302 - 2299. Solve 6*y - 9 = p for y.
2
Let w(o) = -50*o + 348. Let t be w(6). Solve -126*v + t = -132*v for v.
-8
Let r be 24/(-18)*(11/2 - 1). Suppose -4*k - 4*l = 24, -k - l - 2*l = 0. Let g = r - k. Solve 2*s = s - g for s.
-3
Let m be (-2)/(-4) + (-291)/6. Let p = 63 + m. Solve p = -3*x + 6*x for x.
5
Let s be 81/2 - 15/(-30). Solve -36*r + 15 = -s*r for r.
-3
Let s be (-3)/1 - (-30)/(-3). Let n(u) be the second derivative of u**3/6 + 8*u**2 - u. Let b be n(s). Solve -2*d - 5 + b = 0 for d.
-1
Let q(h) = -181*h + 5450. Let i be q(30). Solve 89*l = 69 + i for l.
1
Let z(n) = -n**3 - 29*n**2 + 34*n + 112. Let q be z(-30). Let s(k) = 2*k**2 + 20*k + 35. Let u be s(q). Solve -3*f = u*f + 12 for f.
-2
Suppose 8*a = -172*a + 1440. Solve a*o = -16 - 16 for o.
-4
Let y(o) = -o**3 - o**2 + 7*o + 5. Let x be y(-3). Suppose -x*v = -11 + 1. Let p be (-3)/(-2)*(v + 2/(-6)). Solve p + 5 = 3*k for k.
4
Suppose -4*b = 3*d, 3*d - 3*b + 2 = 23. Solve 33*f = -161 - d for f.
-5
Let h(d) = -7 - 4*d - 3 - 13*d**2 + d**3 + 11 - 5. Let k be h(13). Let c be ((-7)/(k/12))/(3/4). Solve 10 = 7*o - c*o for o.
2
Let t(l) = l**3 - l**2 - 25*l - 8. Let p be t(-4). Suppose 8*j + p*j = 12*j. Solve j = -3*f + 11*f - 24 for f.
3
Let w(j) be the third derivative of -5*j**4/24 + 13*j**3/2 + 2*j**2 - 27. Let m be w(7). Solve -u = m*u - 10 for u.
2
Let u = -11233 - -11235. Solve -3*j - 20 = -u for j.
-6
Let i(z) = -3*z**3 - 27*z**2 - 14*z + 80. Let k be i(-8). Let f = 4 + 0. Solve k*t - t = f for t.
-4
Let o = 323 - 555. Let b = 238 + o. Solve b*r - 3*r - 9 = 0 for r.
3
Suppose 6*d + 9 = 21. Suppose 45 = 5*k + r, -d*k - 7 = 3*r - 38. Solve k*i + 55 = -3*i for i.
-5
Let l = 6446 - 6432. Solve 9*y = 2*y + l for y.
2
Let t be (8*9/(-27))/(1/117). Let v be (117/t)/(1*1/(-8)). Solve -f = v*f + 20 for f.
-5
Let h be -3*(-4)/(-66) - (-114)/22. Solve 0 = -837*d + 832*d - h for d.
-1
Suppose 0*i + i - 4*x = 3, 3*x = 2*i - 6. Suppose -4*m - 3*r - 6 = 0, -2*m + 4*r = 2*r + 10. Let f = 1 - m. Solve -i*n + 2*n = f for n.
-4
Let r = -14 + 20. Let h be 28/(-2) - (-3 + 8). Let y(q) = -2*q**2 - 39*q - 14. Let x be y(h). Solve -x*c + 2*c = r for c.
-2
Let x be (1002/(-24))/(7/(-28)). Let a = -161 + x. Solve a*z = 8*z for z.
0
Let i(m) = 1 - 1 + 30 + 9*m - 7*m. Let c be i(-14). Suppose 2*x + c = 3*x. Solve -1 = d - x*d for d.
1
Let h be 23392/204 - ((-5)/15 + 0). Solve 20*w - 135 = -h for w.
1
Let a(f) be the third derivative of f**5/60 + f**4/6 - f**3/2 - 14*f**2. Let d be a(2). Let h(r) = -2*r. Let l be h(0). Solve -3*c = d - l for c.
-3
Let s = -46 + 90. Let z = s + -34. Let j(f) = f - 8. Let k be j(z). Solve k*p + p + 12 = 0 for p.
-4
Let l be (-15)/((-1 - -3)/6). Let d be 16/(-72) + (-325)/l. Solve 3*r = -19 + d for r.
-4
Suppose 0 = -5*j + 17*d - 14*d + 4784, d - 2 = 0. Solve -962*i = -j*i + 16 for i.
-4
Let t = 58 + -59. Let q(m) = -3*m**3 + 3*m + 2. Let y be q(t). Suppose 6*a = a, -b = y*a. Solve -1 = f - b for f.
-1
Let l(q) = 36*q