= -5*y, -l*y = -u - 2*y + 13. Let d(t) = t**3 - 5*t**2 + 6*t - 3. Let p be d(u). Solve -p*z - 4 = -3*z for z.
-2
Let n = 1010 + -1007. Solve -2*k - 3 + n = 0 for k.
0
Let u(n) be the second derivative of -n**4/12 - 7*n**3/3 - 4*n**2 - 4*n. Let i be u(-13). Suppose -i*m - f = 4*f, 5*f = -4*m - 2. Solve 4*t + m = 2*t for t.
-1
Let j be 0/(((-6)/(-1))/(-3)). Suppose j = 2*f - 4*f + 34. Suppose -3*t - 5*b + 19 = 0, -2*b = 3*t + 2*b - f. Solve t*x = -5 - 10 for x.
-5
Let c be 2 + -2 + -3 + 6. Suppose 3*q = -3*s + 2*q + 15, -c*q = 5*s - 25. Let l = s - -5. Solve -3*z + 5 + l = 0 for z.
5
Let d be 2/(-4) + (-35)/(-14). Let r be 2 + -6 + d + -10. Let q = 17 + r. Solve q*w = 2*w for w.
0
Suppose 0 = -4*n - 5*a - 9, 5*a + 20 = 5*n - 25. Suppose 2*m + n*k - 3 = 3*m, 0 = 4*m + 3*k - 26. Solve -7*o + m*o - 8 = 0 for o.
-4
Let i(q) = q**2 - 2. Let h be i(-2). Suppose -h*p - 3*p + p = 0. Solve p = 5*o - o - 8 for o.
2
Let c(v) = v**3 + 171*v**2 + 7*v + 1198. Let w be c(-171). Suppose -l = -3*p - 3, l + 4*l = -p + 15. Solve p*t - w = t for t.
-1
Let l(n) = 5*n - 331. Let h be l(71). Solve 11*o - 3*o = -h for o.
-3
Let u(s) = -s**3 - 18*s**2 - 15*s + 34. Let g be u(-17). Solve -17*o + 22*o = g for o.
0
Let t = 1325 + -1253. Solve 3*u = -15*u - t for u.
-4
Suppose 0*v = 5*v - 25. Let c(p) = -p + 7. Let y be c(2). Suppose -80 = -y*r + v*z, -56 = -5*r - z - 0*z. Solve -5*b + 2*b = r for b.
-4
Suppose 44*z = 52*z. Solve -12*n + 4*n + 8 = z for n.
1
Let d = 1277 + -1275. Solve d*k + 9 = 1 for k.
-4
Let b = -45 - -24. Let t = -4 - b. Suppose 0 = -4*m - 3*k + t, 1 + 4 = m + k. Solve -3*h = -m*h + 3 for h.
-3
Let u(g) = 3*g**2 - 60*g + 123. Let q be u(2). Solve -6*v = -q*v - 45 for v.
-5
Let o = 1412 - 1400. Solve o*a - 34 - 14 = 0 for a.
4
Let k(y) = y**3 + 2*y**2 - y + 6. Suppose 1 = 5*n - 4*r, -r + 5 = -4*n - 3. Let a be k(n). Solve a*m = -m for m.
0
Suppose -114*u = -107*u. Solve 3*i = -u*i + 9 for i.
3
Let p be (-1)/(1 - 26/25). Suppose -3*n = -2*n + p. Let m be -4*4/40*n. Solve -4*o = -2*o + m for o.
-5
Suppose -2*i + 3*j = 68, 0 = -0*i + 5*i - j + 170. Let q = 44 + i. Solve 4*n + 6 = -q for n.
-4
Let s be -33*(10/(-15) - 2/6). Solve 34*w - s*w - 3 = 0 for w.
3
Let u be 1/((-14)/46) + 2/7. Let k be -1 - 0 - (u + 0). Solve -9 = k*l + 1 for l.
-5
Let x be 2 + -1 + 72/3. Let r be 8/6*6/4. Suppose 11 = -r*j + 21. Solve 0*d + x = -j*d for d.
-5
Let t be 7/(-28) + 3/12. Suppose 0 = -2*b - 4 + 10. Suppose -5*v + 68 = -m, b*v + 6*m - 52 = m. Solve t = 4*w - v + 2 for w.
3
Let h(d) = d + 11. Suppose -5*b + 4*w = -w + 75, -5*w + 42 = -2*b. Let k be h(b). Solve 6*a = -k - 18 for a.
-3
Let m(z) = 6*z - 3. Let q(s) = -s + 1. Let f(n) = m(n) + 4*q(n). Let l be f(1). Solve -3*x + 0*x = l for x.
-1
Let c(w) = -w**3 - 12*w**2 + 18. Let r be c(-12). Solve 0 = 8*u - r + 58 for u.
-5
Let x(y) = y**2 + 5*y + 8. Let j be x(-3). Solve 0 = -j*n + 5*n for n.
0
Suppose 12*t = 7*t. Suppose c + 5*q - 12 = 0, 0 = -2*c - q + 6 - t. Solve -h - c = -3 for h.
1
Let k be 130 + -136 - (-6 - 0). Solve k = -12*a + 3*a + 9 for a.
1
Let b = 19 - 8. Let x = b - 11. Let c = 3 + 2. Solve x = c*k - 2*k - 12 for k.
4
Suppose -26*o + 64 = -10*o. Solve q - 7 = -o for q.
3
Let a(y) = y**3 - 6*y**2 + 3. Let v be ((-27)/(-12))/(12/32). Let t be a(v). Suppose -15 = -5*l + t*h, 5*h = -2*l + 11 - 36. Solve -4*m = -l*m + 20 for m.
-5
Let o(n) = n**3 - 6*n**2 + 8*n - 12. Suppose -4*k + 4*q + 32 = -0*q, 0 = 3*k - 5*q - 30. Let f be o(k). Solve 0 = f*p + 9 for p.
-3
Let q(h) = -5*h - 14. Let d be q(12). Let x = -70 - d. Solve -x + 0 = 2*j for j.
-2
Suppose -12*j = 4*j - 128. Solve 4*y + 4 = j for y.
1
Let d be (-2)/(1/(-8)*2). Suppose -4*q + 6*q - d = 0. Solve 2 + 2 = -q*z for z.
-1
Let d = 146 + -137. Suppose 3*k - 5*o = 8, -5 = -5*k + 2*k + 2*o. Solve -d - k = -2*y for y.
5
Let i be 0/((-13)/((-52)/8)). Solve -4 = k - i*k for k.
-4
Suppose -3*u = 5*t - 156, 3*u + 116 = 3*t + 32. Let r = t + -26. Solve -r = -4*o - 16 for o.
-3
Suppose -33*i + 33 = -22*i. Solve -m + 4 = -i*m for m.
-2
Let x be (-23 + 20)*(-2)/(-6). Let s be (-1 - x)*((-7)/2)/7. Solve s*l + 2*l = 0 for l.
0
Let d = -151 + 156. Solve 7 + 13 = -d*q for q.
-4
Let n be 2*((-220)/(-30))/(4/3). Solve 15 - n = 4*r for r.
1
Let t(j) = 9*j**3 - j**2 - j + 1. Suppose 4*f = 3*f + 1. Let a be t(f). Solve 2*c + 2*c = -a for c.
-2
Let t be -2 - -4 - 0/(-2). Solve -t*r = -10*r - 0*r for r.
0
Let s = 127 + -71. Suppose s = 2*v + 5*v. Solve -v*l + 4*l + 16 = 0 for l.
4
Suppose -4*a - 4 + 2 = -3*s, -20 = -4*s + a. Solve 2 = s*v - 4 for v.
1
Let m be (-16)/(-40) + 48/30. Solve 2 - 10 = m*x for x.
-4
Let b(d) = -4*d**2 + 13*d + 21. Let j(a) = 2*a**2 - 6*a - 10. Let n(c) = 2*b(c) + 5*j(c). Let u be n(4). Let q = 4 - 2. Solve -u = -6*o + q*o for o.
2
Let c(d) = -d**2 - 2*d + 6. Let g be c(-5). Let o = g - -9. Solve 5*a - 4*a + 2 = o for a.
-2
Let p(h) = 5*h**2 - 2*h - 5. Let o be p(5). Suppose -2*k - 3*k = -o. Let j = k - 19. Solve j = 5*y - 2 for y.
1
Suppose g = -0*g. Suppose -3*f = -g*f. Suppose f = 10*t - 8*t - 10. Solve t = -3*x - 7 for x.
-4
Let s be 9*(-2 + 24/9). Solve f = s*f + 15 for f.
-3
Let c be 1/3 + (-20)/(-12). Let r be c*-1*10/(-5). Suppose 6*d + 20 = 4*u + 2*d, -5*u - 4*d = -7. Solve -r*t + t + u = 0 for t.
1
Let q(g) = 13*g**2 - 4*g**2 + 1 - 2*g**2. Let a be q(-1). Suppose -2*s + 8 = -a. Solve s*p = 3*p for p.
0
Let d = -2831 + 2832. Let t be 13/4 - (-1)/(-4). Solve -4 = -t*p - d for p.
1
Let d(q) = -q**3 - 11*q**2 - 37*q - 30. Let l be d(-5). Solve -13 + 8 = -l*j for j.
1
Suppose 4*g + 1 = -3. Let x = g + 6. Let o(b) = -b**2 + 5*b - 1. Let y be o(2). Solve 0 = x*t - y for t.
1
Let k = -30 - -30. Suppose 0 = -k*j - 2*j + 14. Solve -4*x = -j*x - 15 for x.
-5
Suppose -5*h + 294 = -n, -n = -4*h - 4*n + 239. Solve -h + 53 = 3*l for l.
-2
Let f = 262 - 256. Solve -f - 1 = -7*n for n.
1
Let z(t) = t**2 - t. Let k(r) = -r**2 + r. Let s(w) = 2*k(w) + z(w). Let g be s(1). Let a(y) = y**2 - 7*y - 3. Let c be a(8). Solve 0 = -g*u + c*u for u.
0
Let w(y) = -3*y - 4. Let o be w(-3). Let f(p) = -5*p**2 + 2*p + 1 - p**3 - p**3 + 3*p**3. Let s be f(o). Solve -14 - s = -5*a for a.
5
Let u be -7*-10*(3 - (-6)/(-4)). Suppose -7*k = -35 - u. Solve k = -5*c + c for c.
-5
Let f(h) = -4*h + 23. Let z be f(7). Let i = z - -25. Solve 4*c + c - i = 0 for c.
4
Let c be 2 + (6 - 2) - 0. Suppose 10 = -5*l + 3*l - 2*t, 12 = -3*l - 2*t. Let j be ((-3)/l)/(3/c). Solve j = -3*d - 6 for d.
-3
Suppose -f - 117 = -3*k, -k + 39 = 4*f + f. Suppose -41*t = -k*t - 16. Suppose -t*i = -50 + 10. Solve 0 = -i*x - 0*x for x.
0
Let k(l) = l**2 - 2*l - 6. Let g be k(-2). Suppose -12*h = -11*h - g. Solve 0 = 5*a - 23 - h for a.
5
Let u be (-2)/(-6)*(0 + 0). Suppose 0 = 2*z - h - 43, 5*z - 5*h + 16 - 111 = 0. Let g = -21 + z. Solve u = j + g*j - 8 for j.
2
Suppose -4*k = 2*x + 257 + 57, 3*k + 263 = 4*x. Let v be k/(-24) + 15/(-40). Solve -v*q - 4 = -q for q.
-2
Let v = 728 + -716. Let q be 3/9*3 - 0. Suppose 0 = -3*r + 2*r - 3*n - q, 2*n = 4*r - 10. Solve r*d = -2*d + v for d.
3
Suppose -6 = -2*r - 2*o, 3*r - 26 + 35 = 3*o. Solve r = -c - 3 + 7 for c.
4
Suppose 2*n - 6*n + 12 = 2*u, 5*u - n - 8 = 0. Suppose u*d - 13 = 3. Suppose -d = 2*z, 2*b = 5*z + 37 - 7. Solve 3*c - b*c = 0 for c.
0
Suppose 22*b - 12 = 16*b. Let l be (-1 - -3)*(b + (-3)/3). Solve -10 = -3*r - l*r for r.
2
Let n be 26/10 + 5/((-125)/(-10)). Suppose 3*u - 4*v - 32 = 0, 2*u + 8*v - n*v = -17. Solve -c + u = -1 for c.
5
Let q be 6/(-81) + 2688/1296. Solve 18 = q*i + 7*i for i.
2
Let l be (-18)/(-42)*84/18. Suppose k - 6 = -h + 2*h, 2*h + 6 = 0. Solve p = k*p - l for p.
1
Suppose -v + 7*v + 24 = 0. Let k(g) = g**3 + 4*g**2 - g + 1. Let m be k(v). Suppose m*z + 21 + 7 = 4*x, 0 = z. Solve -2*u + x - 3 = 0 for u.
2
Suppose z = -i + 2*z + 8, 5*z + 4 = -i. Solve w = i*w for w.
0
Suppose -2*h + 0*h + 10 = 0. Suppose 3*q + l = h, 3*q = -4*l - 5 - 2. Solve 0 = i + 1 - q for i.
2
Let w(j) = -2*j - 4. Let u be ((-1)/2)/((-4)/(-40)). Let k be w(u). Let a = 15 + -11. Solve -k*d = -a*d for d.
0
Let a(z) = 4*z - 8. Let y be a(3). Solve w = -3*w + y for w.
1
Suppose -c + 2*b = 36, -5*b = -2*c - 64 - 9. Let g = c - -37. Let k(u) = -u**3 - 2*u**2 + 4*u + 3. Let j be k(-3). Solve -g*t = -j*t + 6 for t.
-2
Suppose 0 = 2*v + 3 + 1, -5*v = 5*d - 165. L