
Let g = 4 + -1. Suppose 5*j - f + 32 = 0, 5*j = -3*f - 27 + g. Let q = 11 + j. Solve l - q + 2 = 0 for l.
3
Let u(g) = -2*g**2 - 27*g - 5. Let k be u(-13). Suppose t - 5*i + 15 = 2*t, t - 2*i - k = 0. Solve -d = d + t for d.
-5
Let u be (3 - 13) + 7 - (-7 + 2). Solve -6 = -u*m + 5*m for m.
-2
Let h(f) = 2*f**2 - 48*f + 160. Let p be h(20). Solve p = -4*k + 6*k - 7*k for k.
0
Let i be ((-12)/5)/(10/75). Let k be -4 + (-12)/i*9. Solve -6*s + k*s = 16 for s.
-4
Suppose 0 = -4*j + 3*n + 24, 36*j = 41*j - 3*n - 27. Solve 2 = j*m - 1 for m.
1
Let f(u) be the second derivative of u**4/12 - 7*u**2/2 - 12*u. Let q be f(-3). Suppose -5*g = -5*c + 5, -2*g - c + q = c. Solve d = -g + 3 for d.
3
Suppose 0 = 16*g - g - 120. Solve -35 = v - g*v for v.
5
Suppose -3*c = -0*u - 2*u - 13, -5*u = 2*c + 4. Solve c*o = -2*o for o.
0
Let g(y) = -17*y - 15. Let d be g(-2). Let l(s) = -s**3 - 2*s**2 + 5*s - 2. Let t be l(-4). Let i = d - t. Solve 0 = -4*v + 7 + i for v.
4
Let p = -12 - -16. Let o be p + 16/1 - -1. Let b(f) = f - 2. Let t be b(3). Solve 4*k - o + t = 0 for k.
5
Let c(v) = 9*v + 9. Let l be c(6). Let m = l + -59. Solve 2*d = m*d + 6 for d.
-3
Let s = 274 + -269. Solve 8*y = s*y - 3 for y.
-1
Let u be (1 + 33)*16/(-8). Let y be (-2)/(-17) + (-332)/u. Solve 0 = y*m + 17 + 3 for m.
-4
Let k(t) = 8*t**3 + 4*t**2 - 3*t**2 - 2 - 10*t**3. Let l be k(-1). Solve 0 = x - 0*x + l for x.
-1
Let o be (-170)/(-8) - (-15)/(-12). Solve -21*d = -16*d + o for d.
-4
Let c = 25 + -20. Suppose 4*t - 112 = -0*t. Suppose z + 3*z - t = 0. Solve c*p = -22 + z for p.
-3
Suppose 3*a = -4*g - 94, 3*a + g + 91 = -0*g. Let l = a + 35. Solve 0 = l*n - n for n.
0
Let n = 16 - 15. Let p be 8*(-1 + n/(-2)). Let t = -8 - p. Solve -t*v = v for v.
0
Let v(d) = -d**2 + 29*d - 190. Let f be v(17). Solve 0 = 15*o + f + 1 for o.
-1
Let i be (-2)/12 - (-1349)/426. Solve -i*j + 2 = 8 for j.
-2
Let d(s) = s**3 - s + 12. Let f be d(0). Solve f*u = 7*u + 15 for u.
3
Let l be (-5 - (-3)/((-3)/(-4))) + 3. Solve -5*d - 15 = -l*d for d.
-5
Suppose 0 = -d + 3 - 1. Let j = -70 - -77. Solve j*p + 20 = d*p for p.
-4
Suppose 4*i - 2*a - 21 = a, 4*i - 22 = 2*a. Let j = i - 12. Let t be j*(-7)/((-84)/(-8)). Solve 0 = -y - t for y.
-4
Suppose 50*k = 7*k + 344. Suppose -6*q + 3*q = 5*a - 17, -3 = 3*q. Solve -k*i = -a*i - 8 for i.
2
Let w be 32/(-6)*3423/(-1304). Solve w*j = 19*j - 10 for j.
2
Let t be 0 - 4/(-2*(-5)/(-30)). Solve -2*p + t = 2*p for p.
3
Suppose 2 = -10*w - 8. Let j be ((-1)/(-2)*w)/((-3)/12). Solve t = -j*t for t.
0
Let f be -6 + 0 + (-210)/(-21). Solve w + 6 = f for w.
-2
Let p = -13 + 7. Suppose 0 = -4*c - 20, 2*m + 5*c - 29 = -m. Let v = m + p. Solve 4*x = -0*x + v for x.
3
Let h(j) = -j + 2. Let r be h(2). Let b(m) be the third derivative of m**4/24 + m**3/2 + 27*m**2. Let a be b(-1). Solve r = -3*y + y - a for y.
-1
Let z = -49 + 18. Let p = z + 59. Solve 5*h = p - 3 for h.
5
Suppose -g + 63 = -2*f, 2*f + 2*g + 75 = -g. Let v = f - -33. Solve -5*u + 0*u - 15 = v for u.
-3
Suppose -5*h - 16 + 16 = 0. Suppose h = -2*b - 0*b + 5*x + 48, 0 = -2*x + 8. Solve 0 = -4*j - 14 + b for j.
5
Suppose 2*d + 4*g - 6 = 0, -d + 6*g + 3 = 11*g. Suppose 2*u - 25 = -5*f, 0 = 5*u + 3*f - 4*f - 22. Solve d*j = u*j + 6 for j.
-3
Suppose 12 = -3*z + 30. Suppose -z*h = -9*h. Solve 4*r + h*r = 0 for r.
0
Suppose -5*l + 5 + 6 = -3*a, -a - 17 = -5*l. Solve -d + a = -2*d for d.
-3
Let d be (-2)/(-3)*(-5 - (-2 + 18)). Let u = d - -18. Solve 4*b = -0 + u for b.
1
Suppose -15 = 3*q, 0*p - 5*p + 3*q = -70. Solve 31 + 24 = p*d for d.
5
Suppose 2*b + 8 = 0, 653*b = -3*a + 657*b + 28. Let l be (4/5)/((-2)/(-25)). Let u be 2/5 - 4/l. Solve -a*p = -u*p for p.
0
Let r(z) = 23*z - 37. Let o be r(2). Solve -2 = -8*u + o*u for u.
-2
Suppose -5*b = -4*b - 36. Suppose 0*g = -4*g + b. Let m = g - 4. Solve 6 = -2*o + m*o for o.
2
Let p(y) = y + 59. Let k be p(24). Solve 0 = 2*m - k + 89 for m.
-3
Suppose -3*x - 2 = -4*l + 2, 2*x + 3*l - 3 = 0. Suppose x = 4*d - 32 - 28. Solve 2*v = -v + d for v.
5
Let h(t) = -6*t + 11. Let o(g) = 3*g - 6. Let f(m) = 6*h(m) + 13*o(m). Let j be f(5). Solve -2*l - 5 = -j*l for l.
5
Let x = -2487 - -2503. Let p be (1 - (-13)/(-7))*7. Let f = 9 + p. Solve f*r + x = -r for r.
-4
Suppose 5*i - 42 = -h, 2*h - 2*i = -i + 29. Let v = h - 13. Suppose -10 = -v*o - o. Solve y = -o*y for y.
0
Let o = -199 - -201. Suppose 5*b = -0*b - 5*k + 5, 0 = 4*k - 4. Solve -o*n + b*n = -2 for n.
1
Suppose 3*v - 3*c + 34 = 8*v, 46 = 5*v - 3*c. Solve -9*z + v*z + 1 = 0 for z.
1
Let l(f) = -14*f**3 - 26*f**2 - 47*f + 11. Let j(x) = 5*x**3 + 9*x**2 + 16*x - 4. Let o(g) = -17*j(g) - 6*l(g). Let s be o(5). Solve -3 = -s*a + 1 for a.
2
Let r(a) = -a**2 + 5*a + 10. Let q be r(6). Suppose -2*l = -q*t - 5 - 1, -3*t + 4*l = 7. Let b be (t - 12/(-3)) + -2. Solve -3*y + 7 - b = 0 for y.
2
Let u(y) = -y**2 - 8*y - 5. Let j = 26 - 33. Let g be u(j). Solve -l - g = -3 for l.
1
Let w be (-1)/((-108)/243 + (-118)/(-306)). Solve -w*r + 20 = -21*r for r.
-5
Let s(i) = -i**3 - 18*i**2 - 17*i + 1. Suppose 0 = h - 8*h - 119. Let p be s(h). Solve 0 = 4*d - 3 - p for d.
1
Let s(q) = -3*q**2 + 39*q + 37. Let o(d) = d**2 - 13*d - 12. Let j(z) = -8*o(z) - 3*s(z). Let v be j(14). Let t be 0/v - 0 - -1. Solve t = -w - 4 for w.
-5
Let l be 0/7 + (0 - -2). Suppose 21 = l*u + u. Suppose -4*r + 2*a - 12 = -u*r, a + 21 = 3*r. Solve -r = -5*g - 31 for g.
-5
Let y(j) be the second derivative of -j**4/12 - j**3/6 + 5*j**2/2 - 6*j. Let r be y(4). Let h be (12/r)/((-2)/10). Solve h = 2*g - 2 for g.
3
Suppose -4*w = 4*w - 96. Solve 13*v - w*v - 3 = 0 for v.
3
Suppose 4*c = -2*v + 18, 2*c - 15 = -4*v + v. Suppose 5*f - 35 = 2*g, 0*f + c*g + 3 = 2*f. Solve j = -2*j + f for j.
3
Let w be ((-9)/2)/(2/4). Let q = 24 + w. Suppose -3*a + q = -0*m + 2*m, -3*a - 5*m = -24. Solve 4 = -a*k - 5 for k.
-3
Let z = -11 - -19. Let p = z + -11. Let u be p - -1 - (-4)/2. Solve u = -0*m + m for m.
0
Suppose -9 = -5*n + 2*x, -3*x + 29 - 5 = 5*n. Suppose n*w + 4*u = 7*w - 4, 4*w + u = 4. Solve -w = v - 4 for v.
3
Let d(u) = u**2. Let x(n) = -7*n**2 - 5*n + 4. Let s(w) = 4*d(w) - x(w). Let r be s(1). Solve -3*a + 6*a - r = 0 for a.
4
Let u(p) = -16*p - 2. Let j be u(1). Let i = 7 - j. Solve -b = 4*b - i for b.
5
Let z = 12 - 7. Let r = z - 2. Let f = r + 1. Solve 3*l - 2*l = f for l.
4
Suppose 8*q = 5*q + 9. Suppose 0 = n - h + 20, -q*h - 8 = -0*n + n. Let f = -13 - n. Solve c + 0*c = -f for c.
-4
Let f be 9 - (-15)/(-24)*-4*-2. Solve 6 = f*w - w for w.
2
Suppose -b = -29 - 21. Let r be (-1 - 4)*(-30)/b. Let j be 3 - -3 - (r + 1). Solve 0 = x - 4 + j for x.
2
Let p = -15 - -23. Suppose -3*z - 4*l + 28 = 0, -9 = -5*z - 5*l + 36. Suppose -30 = z*x - 14*x. Solve m = x*m + p for m.
-2
Let d = -1 - -7. Suppose 2*t - 3*k - 13 = 0, -k = -t + 197 - 192. Solve -t*o = -d*o - 20 for o.
-5
Let w(d) = 29 + 2*d**2 + 19 - 4*d - 36 - 3*d**2. Let f(h) = -h**2 + 4*h - 1. Let l be f(5). Let q be w(l). Solve 3 + q = -3*z for z.
-1
Suppose 3*u - 7*u = -5*w, 3*w - 32 = -4*u. Suppose 15 = u*x - 2*k + 4*k, -4*x + k + 12 = 0. Let v(l) = -l - 3. Let h be v(-7). Solve x*y - 4 = h*y for y.
-4
Suppose -23 + 8 = -t. Let p(o) = 16*o + 46. Let d(f) = -3*f - 9. Let x(r) = -11*d(r) - 2*p(r). Let j be x(-6). Solve t = 4*s - j for s.
4
Let x(g) = -g**3 + 11*g**2 + 14*g - 3. Let t be x(12). Let y be 1/((-21)/(-9)) - 9/t. Solve -5*p + y*p = 15 for p.
-3
Suppose 134 = -7*q + 148. Solve q*h = 3*h for h.
0
Let l(q) = -q**2 + 6*q - 4. Let z be l(5). Let r be z/(-6)*-4*(2 + 1). Solve -1 = -r*k + 3 for k.
2
Let l(s) = -25*s**3 - s**2 + 5*s - 6. Let n be l(2). Let m be (12/10)/(15/n*-2). Solve -d = d + m for d.
-4
Suppose 2*w + 1 = o, -3*o - o - 4*w = -16. Suppose -21 = -5*l + 4*b, b = o*l - 2*b - 12. Solve 3*g = l*g - 6 for g.
3
Let m(w) = 6 - w**2 - w**2 + 0*w**2 - 3*w + 3*w**2. Let y be m(3). Solve y = -4*s + s for s.
-2
Let v(i) = -i**3 - 5*i**2 + 6*i - 2. Let f be v(-6). Let b be 2*5/2 + f. Suppose 0 = s + s - 5*a - 19, 15 = b*s - 3*a. Solve 2 = -j + s*j for j.
2
Let s be 5 + (2/(-1) - 0/(-8)). Solve 6*p = s*p + 15 for p.
5
Let j(o) = -o**3 - 6*o**2 + 8 + 8 - 10 + 8*o + 4. Let t be j(-7). Suppose -8 = t*f - 7*f. Solve 0 = f*g - 4*g for g.
0
Let k be ((-4)/(-14))/(1/14). Suppose 3*q - 88 = -k. Let x be 12/(-28) + 96/q. Sol