 Suppose 0 = -3*b + 19 - p. Let a be -2 + (b - 0) + 3. Solve -3*d + a = 1 for d.
1
Suppose -20 = a + 5*f, -3*f = 2*a - 0*a + 12. Suppose a = -o + 11 - 8. Solve 5*w = o*w - 10 for w.
-5
Let b be -4 + (-39)/(-12) - (-6)/8. Let m be (1 - 0/(-3))*1. Let q = 4 - m. Solve -q*i - 12 = -b*i for i.
-4
Let a(o) = o**2 - 2*o - 1. Let m be a(3). Suppose 5*u - 12 = x + 23, 2*u - 14 = m*x. Suppose 5*k + u - 22 = 0. Solve 5*f = k*f for f.
0
Let z(u) = 2*u - 66. Let v be z(35). Solve 0 = -2*s + v + 2 for s.
3
Suppose -3*c = 12, 4*k = 4*c + 11 + 17. Let o be 4*((-6)/4)/(k/(-5)). Solve 26 = -4*a + o for a.
-4
Suppose 0 = -26*b + 19*b + 14. Solve -4 + 6 = -b*t for t.
-1
Suppose -3*f + 0*f + 63 = 0. Suppose -f*d = -29*d. Solve o + o = d for o.
0
Let h be -1*(1 - (-6)/(-4))*6. Suppose -10*x + 65 = h*x. Solve x*j - 6 = 4 for j.
2
Let v be (-5 - -7) + 4*-2. Let q(d) = -d**3 - 5*d**2 + 6*d. Let o be q(v). Suppose o = -3*i + 4*i. Solve i*k + k + 2 = 0 for k.
-2
Let h(p) be the third derivative of -p**4/8 - 43*p**3/6 - 26*p**2. Let b be h(-15). Solve -b*x - 6 = 4 for x.
-5
Let d be (9/12)/(3*(-3)/(-252)). Suppose -4*m = -5*b + d + 33, 2 = -2*m. Solve -4*p + 30 = b for p.
5
Suppose 0 = -4*o - 5*u + 10, -2*u - 3 = 5*o - 7. Suppose o = 4*j + j - 25. Let h(w) = w**3 + 7*w**2 + 3*w + 7. Let z be h(-6). Solve 5*n + z - j = 0 for n.
-4
Let f = 236 + -234. Solve -f*x = 2*x for x.
0
Let a(n) = n**3 + 19*n**2 - 2*n - 38. Let v be a(-19). Solve 6*d - 2 + 2 = v for d.
0
Suppose -5 + 1 = 2*u. Let i be 4/((-3)/(-12) + (-28)/(-16)). Let w = i + u. Solve w = 3*m - m + 6 for m.
-3
Let b(d) = -d**2 + 17*d - 43. Let h be b(14). Let o(z) = -2*z. Let x be o(h). Solve -6 = -x*l - 4 for l.
1
Suppose -a + 36 = 3*a. Let f(p) = -p**2 - 3*p + 4. Let b be f(1). Solve b = -n + 4*n + a for n.
-3
Let j = -263 + 270. Solve -d + j = 2 for d.
5
Let v(s) = 28*s + 373. Let p be v(-13). Solve 0 = -12*z - p*z for z.
0
Let p be 31/(-124) + (-53)/(-4). Solve -p = -x - 18 for x.
-5
Suppose 5*r - 2*s - 59 = 38, 4*r - 2*s = 78. Solve 7*u - 2 = r for u.
3
Let z(o) = -o**3 - 4*o**2 - 2*o - 2. Let l(v) = -2*v - 14. Let y be l(-5). Let c be z(y). Solve 0 = c*p - 4*p for p.
0
Let k(d) = d + 8. Let s be k(-6). Let x be 0 - 1/(s/(-8)). Let c = x - 2. Solve -m + c = -0*m for m.
2
Suppose 10 = 5*z - 5*p, 0 = -2*p - 1 - 7. Let q be (4 + (-14)/4)*(-2 - z). Solve 12 = 3*n - q*n for n.
4
Let k be (-15)/((-1350)/(-12)) - 77/(-15). Suppose 3*j - 2*t = -2, 0*t - 2*t = -2*j + 2. Let s be (-2)/j + (-6)/(-4). Solve -s*w + k*w = 0 for w.
0
Let q = -61 + 64. Solve l - q = -2 for l.
1
Suppose 0*p = -4*p + 20. Suppose -3*v + 2*l + 15 = 0, -39 = -p*v - 5*l + 11. Solve 4*d + v = -1 for d.
-2
Suppose n = 2*k + 4, 2*n + 53*k = 51*k + 20. Suppose -v - 1 = 2*i, 5*v + 2 = -5*i + 7. Solve -j = -v*j + n for j.
4
Suppose -17 + 93 = 4*b. Solve -z - 24 = -b for z.
-5
Let w be 25 + 1 - (23 - 30). Solve 12 = 29*n - w*n for n.
-3
Let y be (-35)/(-10) - 9/6. Let k(f) = -f**3 + 2*f**2 + f - 2. Let n be k(y). Solve -5*j + 3*j = n for j.
0
Suppose 5*a + 2*j = -0*j + 7, 5*a - 4 = j. Suppose 0 = g - 5 - a. Let l = 4 + 0. Solve -l = -2*x - g for x.
-1
Suppose -2*b + 20 = -4*b. Let l = -9 - b. Solve -l - 1 = -2*z for z.
1
Suppose -4*d = -2*k - 0*d + 2, 4*k - 4*d = 12. Let s = k - 2. Let j be 3*((-8)/(-3) + -2). Solve -s*c - 3 = -j*c for c.
-3
Suppose 52 = -4*j + 196. Let i = 38 - j. Solve -g = -i*g for g.
0
Let d be -4*175/(-28) - -7. Solve 0 = d*v - 36*v + 16 for v.
4
Let i be 4 - 5 - (-2 - 6). Suppose 2*f + 3*h = -11, 4*f + h + 2*h = -i. Solve f = -4*l + 6 for l.
1
Let l(v) = -2*v + 11. Let a be l(4). Let c(d) = 2*d + 2. Let r be c(1). Solve -r*x + a = -3*x for x.
3
Suppose 5*x + 15 + 0 = 0. Let b be 5 + (-2 - 0/2) - x. Solve -b*f + 20 = -11*f for f.
-4
Suppose 3*w = -2*n + n - 108, -2*w = -3*n + 72. Let p be (-3 - w)/(-1)*-1. Let i = -30 + p. Solve 5*o = i*o for o.
0
Let u be 13 + (-294)/24 - (-5)/4. Solve -u*b - 3*b = 15 for b.
-3
Suppose 0 = -68*x + 73*x. Solve 2*c + x = 4 for c.
2
Suppose 9*u - 5*u - m = -265, -5 = -5*m. Let t = -60 - u. Solve 3*q - t*q = 15 for q.
-5
Let l(k) = 15*k**2 - 41*k + 12. Let s be l(3). Let z(w) = w**3 - 2*w**2 - 2*w - 4. Let d be z(3). Let f be d/(3*(-4)/s). Solve -2 - 2 = f*p for p.
-2
Let k(q) = q**3 - 2*q**2 - 7*q + 7. Let s be k(7). Suppose -4*i - p + s = 63, 5*i - 174 = -p. Let z be (-6)/(-18)*0 + 4. Solve -14 = z*u - i for u.
5
Let x = -95 - -100. Solve 0 = -x*d - 0 - 5 for d.
-1
Let h(u) = -2*u + 55. Let w be h(22). Solve 13 = 2*c + w for c.
1
Let i be ((-3)/(-2))/((-11)/(-22)). Suppose -t = -i*t. Solve t*c = 2*c - 2 for c.
1
Suppose 0 = -5*m + 10 + 80. Suppose y + 6 = -25*i + 28*i, 5*y - i = 12. Solve -y*o + m - 3 = 0 for o.
5
Suppose -4*q = -f - 717, -12*f - 546 = -3*q - 14*f. Solve -35*p - q = -5 for p.
-5
Let j = 162 - 112. Suppose -3*l - 7*l + j = 0. Solve 0*r - r = l for r.
-5
Let r(y) = -y**2 - 6*y. Let s be r(-6). Let l = 32 - 36. Let f be (1/2)/(l/(-184)). Solve -5*v + 3 - f = s for v.
-4
Suppose 3*g + 5 = 2*j, -4 = 5*g + 1. Solve -19*d + 18*d + j = 0 for d.
1
Suppose 4 - 8 = -4*q. Let i(o) = 6*o + 44. Let r be i(-7). Let k(d) = -9*d**3 + d**2 + d. Let l be k(-1). Solve -r*f = l - q for f.
-4
Let s = 2 + 2. Suppose -4*q + 11 = 3*y + 4, 5*q - y = 23. Suppose -5*z - 2*m = 0, 5*m = -z + 3*z. Solve z*u + q = s*u for u.
1
Suppose 0*y + 2*y - 12 = -2*p, 0 = 5*y - p - 54. Let c be ((-4)/y + (-8)/(-20))*1. Solve -3*a = -c*a for a.
0
Suppose 3*j = c - 0*c - 13, 20 = -5*j. Solve k + c = -3 for k.
-4
Let o be 3/2*176/132. Solve 0 = o*u - 3*u - 5 for u.
-5
Let f = 54 - 53. Let q be 12 + 1 + 1*(f - -2). Solve m + 3*m = -q for m.
-4
Suppose 5*s = 5*u - 45, -9*s - 27 = -3*u - 11*s. Solve -u*c - 2 = -10*c for c.
2
Let r(x) = -x**2 - 8*x + 3. Let f be r(-7). Let k = f + -6. Suppose 0 = 4*h - 8, 3*h + 12 = 4*j + 5*h. Solve -j = u - k for u.
2
Let w(o) = -23*o + 285. Let j be w(12). Solve 5*q + j + 11 = 0 for q.
-4
Let u be (0*4/(-16))/(-1). Suppose -4*l = -2*d - 3*d - 31, 0 = 5*l + 3*d - 48. Let i = l + -6. Solve u*p = -i*p - 15 for p.
-5
Let t be (-20)/(-15) + (-88)/(-6). Let k be (-4)/t - 196/(-16). Let r be (-2 - -1)*-5 + -1. Solve -r = 2*a - k for a.
4
Suppose 61 = 5*z - 29. Let r = z + -16. Solve r*i + 7 = 1 for i.
-3
Let y(i) = -4*i**2 - i + 1. Let p(q) = -12*q**2 + q. Let f(a) = -p(a) + y(a). Suppose j + 0 - 1 = 0. Let s be f(j). Solve 3*b = s*b for b.
0
Let t = 10 + -10. Suppose 4*w + 2*m = -m - 1, -w + 5*m + 17 = t. Suppose -5*s + 2*n = -18, -3*s + 8 = -6*n + w*n. Solve -a - a - s = 0 for a.
-2
Let u be -3*(-8)/(-18)*-3 + 0. Let n(h) be the first derivative of h**3/3 - 3*h**2 - 6*h + 7. Let k be n(7). Solve u = c - k for c.
5
Suppose 4*m + 2*c - 2 = 0, 4*c - 4 + 0 = -5*m. Suppose l = 3*n + 6 - 25, m = 5*l - 25. Solve -v = v + n for v.
-4
Suppose 0 = -3*p - 2*a + 22, 4*p - 3*a + a - 6 = 0. Let g(s) be the third derivative of -s**4/24 + 7*s**3/6 - 13*s**2. Let f be g(p). Solve f = -j + 4*j for j.
1
Let f(x) = x**3 - 5*x**2 + 2*x. Let p be f(5). Let j = -1 - -1. Suppose -4*d + j*o - o = -26, 0 = -d - o + 8. Solve -4*c + p = -d*c for c.
-5
Suppose -g + 2*d + 7 = -0*g, d = -1. Suppose -4*y + 22 = -y - h, 18 = g*y + 3*h. Solve -i + y*i - 15 = 0 for i.
3
Let x = 338 - 336. Let b be 10/(-8) - (-1)/4. Let j be (-3)/9 + b/(-3). Solve -4 + j = -x*u for u.
2
Let f(s) = s**2 + 8*s + 9. Let z be f(-7). Let l be (60 + 0)/3 + 9 + -14. Solve z*w - l = -w for w.
5
Let b(j) be the first derivative of -j**4/4 + j**3 + j**2 - 6*j + 1. Let v be ((-2)/(-8))/((-12)/(-144)). Let q be b(v). Solve -2*d + d = q for d.
0
Suppose 5*c + 5 = f, 8*f - 4*c - 6 + 2 = 0. Solve -32 = -8*o - f for o.
4
Let t(d) = -3*d**2 - 38*d + 22. Let k be t(-13). Solve -2*i - k = i for i.
-3
Let u = 16 - 11. Let g(d) = -d**2 + 5*d - 1. Let x be g(2). Suppose h - 30 = -x*h. Solve 0*t + u*t = -h for t.
-1
Let q be ((-21)/(-14) + -2)*-12. Let u be ((0 + 0)/2)/(-1). Solve u = 3*w - q*w for w.
0
Suppose 0 = 3*j - 2*o - 5, 3*j - 30 = -7*o + 4*o. Solve -x + 3 = j for x.
-2
Suppose 4*x - u - 66 = 2*x, 0 = 2*x + 5*u - 66. Suppose 2*a - x = -2*a - 5*p, -4*p = -20. Solve 0 = -a*r - 0*r + 8 for r.
4
Let o = 45 - 20. Suppose -28 = -w - o. Solve -k = -w*k for k.
0
Let x(y) be the third derivative of -3*y**2 - 1/3*y**3 + 0*y - 1/120*y**6 - 2/15*y**5 - 1/3*y**4 + 0. Let g be 