Let c = y + 53. Let q = 3 + -3. Solve -c = -4*j - q*j for j.
3
Let z be -3 + (-2 - -2) + 5. Suppose z*a = -3*a + 20. Solve -3 = -a*f + 9 for f.
3
Let r be (3 - -234) + (-3 - (0 - 0)). Let u be 2/7 - r/(-63). Solve -v + 20 = u*v for v.
4
Let m = 248 - 248. Solve m = -t - 3 + 2 for t.
-1
Suppose -13*v - 5*v = 14*v. Solve v = 6*x - 2*x for x.
0
Let x(v) = v**3 - v**2 + v + 6. Let s be x(0). Suppose -2*p = 6 + s. Let i(k) = -k**3 - 7*k**2 - 4*k + 12. Let l be i(p). Solve 0 = 4*n - l*n + 20 for n.
-5
Let a = 84 + 26. Solve 113*w = a*w + 6 for w.
2
Let c(n) = n**3 - 14*n**2 - 15*n - 14. Let m be c(15). Let l be 15/(-35) + (-230)/m. Suppose v = -3*v + l. Solve 0 = -y + v*y + 12 for y.
-4
Suppose t - 5*u - 18 = -0*t, 8 = -4*u. Suppose -t = -r + 14. Solve r = -3*x + 7 for x.
-5
Let h(d) = 2*d**2 - 13*d - 3. Let p be h(7). Suppose 0 = -t + 2*f - 7*f + 35, 0 = -p*f + 8. Solve -i = -6*i + t for i.
5
Let t(w) = 2*w + 15. Let b = 0 + -6. Let h be t(b). Suppose h*m + 2*m = 0. Solve 12 = -m*x - 3*x for x.
-4
Let n = 8 + -6. Let p be -1*(4 - (-4 - -2)). Let t(u) = -u - 5. Let j be t(p). Solve -n*o - 1 = j for o.
-1
Let f(d) be the second derivative of 3*d - 7/3*d**3 + 0 + 1/12*d**4 + 16*d**2. Let h be f(13). Solve h - 3 = 4*t for t.
4
Let o be -31 - -6 - (-3 - 0). Let s be (0 + 1)/(-1) + (o - -26). Solve s*l = l for l.
0
Suppose -s - 9 = -5*r - 4, -5*s + 56 = 2*r. Let v be s/14 + 2/7. Solve v = 3*j - 5 for j.
2
Let d = -1580 - -1587. Solve 12*c - d = 5 for c.
1
Suppose 0 = 8*o + o - 18. Let w = -2 + 2. Solve -10 = -w*x - o*x for x.
5
Let x(m) = m**2 - 3*m + 4. Let s be x(0). Let w be -3*(3 - ((-132)/(-9))/s). Solve -w + 0 = 2*g for g.
-1
Let q = 288 + -283. Solve -j - q = -1 for j.
-4
Let a(m) = -2*m - 3. Let p be a(-4). Let f be (p - 1)/((2 - 0)/1). Solve 0 = f*x - 6 + 4 for x.
1
Let v = -11 + 13. Let a(t) = -t**3 + 6*t**2 + t - 6. Let n be a(6). Solve v*u - 10 = -n*u for u.
5
Let o = 67 - 54. Suppose 3*v = o*v + 5*v. Solve v = 2*d - d for d.
0
Let y = 10950 + -10930. Let u be (-1)/2 + 7/2. Solve u*a + y = -a for a.
-5
Let s(u) = -u + 22. Let k be s(-15). Suppose 5*l - 10 + 135 = 0. Let o = k + l. Solve 0 = 4*t - t + o for t.
-4
Suppose 5*a - 5*d + 335 = 0, -d = 3*a + 4*d + 233. Let h = a - -80. Solve 8*u - h*u = 5 for u.
-5
Suppose 2*m + 6 + 6 = 2*y, -5*m = 5*y + 10. Let u(c) = 3*c**3 - 4*c**2 + 2*c + 3. Let p be u(y). Solve -6*f + p = -9*f for f.
-5
Let q = -24 + -63. Let r = q - -90. Solve 2*h - r = -1 for h.
1
Let n be (16 - (2 - -1)) + 2. Suppose -h = -4*h + n. Solve -3*d = -4*d + h for d.
5
Let t(f) = f + 2. Let y(o) = -2*o**3 - 10*o**2 + 1. Let x be y(-5). Let s be t(x). Solve -5*m - 23 = -s for m.
-4
Let r = -8 - -11. Let w be (24/(-9)*3)/(-2). Suppose -5*f - w*f = -4*f. Solve f*t = r*t for t.
0
Let j = -50 + 49. Let z = 8 + -6. Let p = z + j. Solve -2*f - 3 = -p for f.
-1
Let u be ((-4)/12)/((-28)/24 + 1). Solve -12*r + u = -14*r for r.
-1
Let o be -1 + 13 + (29 - -15). Solve 65*h - 36 = o*h for h.
4
Suppose 134 = 5*o + 9. Let n = -47 - -51. Solve -n*p - o = p for p.
-5
Let l(s) = 12*s - 7. Let c be l(2). Let r = -13 + c. Solve 0*f - 20 = -r*f for f.
5
Let j be 0/1 + 5 - 3. Let c(i) = -46*i**2 - j*i + 11*i + 47*i**2 + 10. Let m be c(-8). Solve 0 = -m*b - b + 9 for b.
3
Let b(y) = -y**2 + 11*y - 4. Let u be b(10). Let p = -14 + 16. Solve u - p = 2*d for d.
2
Suppose 5*l - 4*d - 5 = 0, 3*l - 2*d - d = 0. Let u(p) = p**3 - 13*p**2 + 13*p - 12. Let x be u(12). Solve x = -l*w + 4 + 1 for w.
1
Let j = -12 - -17. Let y be 2/2*(-11 + 53). Suppose -5*g + 25 = 2*m - 30, 4*g - y = -2*m. Solve -g = j*p - 33 for p.
4
Let v = -825 + 828. Solve -v*q - 18 = -3 for q.
-5
Let l(r) = 4*r + 7*r + 0 - 9 + r**2. Let f be l(-12). Solve -5*a + f = -2 for a.
1
Suppose -48 = -6*f + 4*f. Suppose 3*l = 5*l - f. Let t = 15 - l. Solve t = -w - 0 for w.
-3
Let s be 5 - (-2)/(6/9). Solve 13*w = s*w - 10 for w.
-2
Let x(y) = -y**2 - 36*y + 2. Let s be x(-36). Let h(b) = -b**3 - 8*b**2 + 9*b + 12. Let d be h(-9). Solve -s*g - d = 2*g for g.
-3
Suppose -2*o - 2*w = 6, -20 = o + 5*w + 3. Let m(g) = -g + 12. Let x be m(10). Solve d = x*d + o for d.
-2
Suppose -33 = -4*l + 11. Let v = 14 - l. Solve -m + v*m = 4 for m.
2
Let r be 14/3 - (-1)/3. Suppose -4*l = 2*v - 10, 4*v - 5 = -3*l - 0*l. Suppose l*d = 18 + 27. Solve -d = -5*x + r for x.
4
Let n = 6 + -9. Let k = -61 - -61. Let t be (n - k) + 18/2. Solve 4*q + t = q for q.
-2
Let m be 4/(-10)*(-60)/6. Suppose 11 = 5*c - m. Solve c*p = -2*p - 25 for p.
-5
Suppose 4*z = -3*v - 0*v + 55, -z - 105 = -4*v. Let l be v - -6*4/(-8). Suppose i - 4*i + l = 2*q, 4*i = q. Solve q = -h + 5*h for h.
2
Suppose -32 = -5*r + 3*l, 2*r - 3*l = 5*r - 24. Suppose -t = r*t. Solve -2*i = -t*i - 4 for i.
2
Suppose 3*y + 2*u = 4*u - 5, -4*y + 4*u = 8. Let a(b) = -6*b - 2. Let s be a(y). Solve o - s = -o for o.
2
Suppose 2*c = l - 3, 4*l - 4*c + 1 = 13. Suppose 4*z - 11 = -l. Solve 5*i = 3*i - z for i.
-1
Let f be ((-12)/10)/((-6)/20). Let q = 5778 + -5778. Solve d = -q*d - f for d.
-4
Suppose -94 = 3*r + 3*p - 2*p, -5*p = 5. Suppose 0 = 2*w + 3*g + 105, -9*w - 3*g = -11*w - 99. Let l = r - w. Solve 0 = -4*q - q - l for q.
-4
Let q = 193 + -186. Solve 1 = -2*k + q for k.
3
Let y be 21/(-14)*(-40)/6. Suppose -5*k + 5 = -y. Let q(n) = n**3 - 5*n**2 + 5*n - 3. Let r be q(4). Solve 2*z + k = -r for z.
-2
Let m be (27 + -8)/(1 - 0). Suppose 2 = k + v - 5, -3*k = -5*v + m. Suppose 3*f + k = 4*f. Solve -1 = f*g + 5 for g.
-3
Let s(l) = 3*l + 42. Let n be s(-14). Solve 14*r - 6*r + 40 = n for r.
-5
Let n(m) = m**2 - 18*m - 277. Let w be n(28). Solve -5*a - 12 = w for a.
-3
Let j(s) = s**3 - 7*s**2 + 5. Let x be j(7). Let w be (-1 + 1)/((-7)/7). Solve x = -b - w*b for b.
-5
Let r = 277 - 269. Solve r*d = 29 + 11 for d.
5
Let z(o) = -o**3 + 22*o**2 - 19*o - 40. Let v be z(21). Suppose 4*s - 2*y = -8, -3 = -3*s + 2*y - 8. Let j be 1 + s - (0 + -18). Solve 2*m - j = -v*m for m.
4
Let t be 26*(-2 - -1) + 2. Let z = -23 - t. Solve p = -2 + z for p.
-1
Let r = 130 + -112. Solve r*p = 13*p for p.
0
Let n = 25 + -25. Suppose n = 5*l - 2 - 13. Solve l*y = 4*y + 2 for y.
-2
Let f = 29 - 25. Let l be ((-30)/9)/(1/(-3)). Let r be 4/l - (-10)/(-25). Solve s + r + f = 0 for s.
-4
Let d(z) be the third derivative of -z**6/120 - z**5/30 + z**3/6 - 28*z**2. Let m be d(-1). Solve -t + 2 = -m*t for t.
2
Let r be 20 - (-2 + 1)*3. Suppose 4*m - 2*s = 50, 0 = 2*m + 2*s - r - 17. Solve 0 = c - 4*c + m for c.
5
Let s be 114/76*(37 - -1). Solve -5*m + s = 72 for m.
-3
Suppose 6*i - 16 = i - 3*k, 5*k = -15. Suppose 0 = -3*l + 6 + 3, i*u - 4*l - 228 = 0. Let t be (-9)/((-27)/u) + -1. Solve -2*b + 7*b = t for b.
3
Let f(k) = -10 + 1 - 3*k + 0*k. Let y be f(-6). Let v = -5 + y. Solve -l - 5 = -v for l.
-1
Suppose 3 = -o + i + 9, -12 = 4*i. Solve 0 = -6*g - o*g - 0*g for g.
0
Suppose p - 4*r = -11, -10 = 5*p - 4*r - 3. Solve 4*f = 9 - p for f.
2
Suppose -o + 5*v + 18 = 0, -5*o + 3*v + 15 = -3*o. Let i be 10/2*8/10. Suppose x = 4*z - 9, -i*z - 2 = -3*z + 4*x. Solve -c + o*c - z = 0 for c.
1
Let r = 1098 + -1070. Solve 3 - r = 5*u for u.
-5
Suppose -5*q = -3*f + 116, 116 = 2*f + 2*f + 3*q. Let n = f - 21. Let w(h) = h - 8. Let m be w(n). Solve -m - 3 = -2*p for p.
3
Suppose -80 = 2*w - 4*w. Suppose -25*f - w = -29*f. Solve -f = -3*m + m for m.
5
Let l = -32 + 26. Let n = -6 - l. Suppose -5*r = 5*q - 45, n = r - 5 - 0. Solve -q*v = v + 10 for v.
-2
Let u be 80/(-360) - 22/(-18). Solve 0 = -6*i + u + 23 for i.
4
Let a be (4 + -1)/((-12)/(-160)). Suppose 4*z + z - a = 0. Suppose j + z = 3*j. Solve -j - 1 = 5*d for d.
-1
Let d = 46 - 42. Suppose m - 10 = -d*m. Solve -m*k + 7*k = -5 for k.
-1
Suppose -4*t + 5*d = -37, -2*d - 25 = -3*t - 6. Solve t*j - 9 + 12 = 0 for j.
-1
Suppose -x = -a - 6 + 18, -66 = -5*a + 2*x. Solve 3*s = -11 + a for s.
1
Let z be 6/10 + 86/215. Solve -y = -0*y - z for y.
1
Suppose -5*r + 37 - 22 = 0. Solve 2*x + 5 = r*x for x.
5
Let n be ((-4)/16*-11)/((-4)/(-16)). Solve 3*y - n + 8 = 0 for y.
1
Let t(j) = -j + 14. Let x be (((-8)/(-3))/(-8))/(1/(-33)). Let g be t(x). Solve -2*c + g*c + 5 = 0 for c.
-5
Suppose 0 = 5*r - 10*r + 400. Suppose -r = 5*z - 225. Let g = z - 29. Solve g*p = -5*p for p.
0
Let y(m) = -3*m**2 + 15*m - 8. Let f be y(4). Suppose -4*o - 3*g - 6 = 0, -5*o - 1 +