= 2*g + 2 for p.
-2
Let p be ((-18)/(-3))/(-3) - (31 - 38). Let h be 0*(3/6 - 0). Solve -5*a - 24 = -2*g - a, h = p*g + 4*a - 4 for g.
4
Let t(y) = -2*y - 6. Let j be t(-4). Let a = 167 - 162. Suppose a*b - 4*h = 117, 5 = 5*h - 5. Solve p + n + j*n = -17, b = -5*n for p.
-2
Let u(v) = 2*v**2 + 13*v + 8. Let s be u(-6). Let w be s*4/(24/(-9)). Let c be (1 - 3)*(w + 2). Solve 3 = -c*z - 3, -3*f = -4*z - 9 for f.
-1
Let v = 746 - 742. Solve 4*u - 2*x + 16 = 0, v*u + 4*x - 2*x = -8 for u.
-3
Let n = -16 + 19. Suppose n*a = -4*g + 120, 4*g + a - 124 = -3*a. Let r be (-9)/g - 25/(-3). Solve -2*o - 3*y + 2*y = -r, -4*o + 2*y = 0 for o.
2
Let p(l) = -l**3 - 32*l**2 + 106*l + 39. Let i be p(-35). Let j(r) = -r**3 - r**2 + 3*r + 3. Let w be j(-2). Solve 0*n - n = -i*c - 9, -c - 3*n + w = 0 for c.
-2
Suppose -2*x + y + 46 = -5*x, 5*x = 5*y - 70. Let m be 3*(-23)/x + (-4)/(-10). Solve 5*q = -m, -3*b = b + 2*q + 18 for b.
-4
Let i(c) = -c + 24. Let t be i(11). Solve x = -3*o + t, -5*o + 3*x + 10 + 7 = 0 for o.
4
Let q(k) = k**3 + 4*k**2 - 6*k - 22. Let y be q(-4). Solve 0*w = 4*w - 5*l - 35, 0 = 5*w + y*l - 19 for w.
5
Let b(l) = -2*l - 6 - 2*l**2 + 2*l**2 - l**3 - 3*l**2. Let v be b(-3). Solve -20 = -5*k + 5*s, 0*k - 3*k + 4*s + 17 = v for k.
-1
Let g(s) = s + 12. Let p be g(-10). Suppose -4*b = -5*i - 23, 3*i = -5*b + 24 + 14. Solve -p*w + 4*o + 16 = 2*o, -o + b = 4*w for w.
3
Let z(v) = 18*v - 30. Let m be z(7). Suppose -24 + m = 8*q. Solve -j + 5*y + 21 = 0, -5*j - y + 2*y = -q for j.
1
Let x be (6/((-8)/(-4)))/(-3). Let a be 0*(-1)/(-3)*x. Solve a*i + 4*l = 5*i + 5, 5*l + 10 = 3*i for i.
-5
Let i = 1755 + -1752. Solve -5*s = 10, -i + 9 = 4*y - 5*s for y.
-1
Let j be 55/20 - (-3)/12. Solve -4*x - n - 24 = 0, 10 = 2*x - j*n - 2*n for x.
-5
Suppose -54 + 198 = 36*w. Solve 0 = 5*y - 5*h, 32 = w*y + 4*h - 0*h for y.
4
Let r be ((-3)/3)/((-6)/(-102)). Let n = r - -20. Solve -2*a = 3*k + 8, -5*a - 2 = n*k - 0 for a.
2
Suppose -7*p - 3077 = -3098. Solve -2*a + p*n = 6, -4*a = a - 3*n + 6 for a.
0
Suppose 6*p - 4*p = 92. Let u = p - 41. Solve -4*y = -u*l - y - 20, 4*l = 5*y - 29 for l.
-1
Let c(w) = 2*w + 26. Let d(p) = 5*p + 79. Let n(g) = 17*c(g) - 6*d(g). Let m be n(12). Solve -2*t + 4*f - m = 0, 0*t + 11 = 3*t + f for t.
2
Let m(w) = w**2 - 17*w + 30. Let j be m(15). Suppose -92*k + 94*k - 4 = j. Solve k*f = -6, 5*b - 6 = -7*f + 4*f for b.
3
Let x be ((-6)/12)/((-3)/30). Solve 5*l = -5, 4*l - 1 - x = -2*c for c.
5
Suppose -57*v + 252 = -774. Let i(d) = 76*d**3 - 2*d + 1. Let m be i(1). Suppose 4*n = -n + m. Solve -3*t + v = b + 2*b, -3*b = -n for t.
1
Let n = 0 + 26. Let u = n - 40. Let l be (-49)/u - (-3)/(-2). Solve -l*p + 3*t + 2*t = 9, -2*t = p - 9 for p.
3
Suppose 0 = -18*o + 19*o - 10. Solve -2 - o = -4*l - 2*v, -3*v = 5*l - 16 for l.
2
Let m = -473 + 484. Solve n - m - 2 = 3*l, 5*n + l - 17 = 0 for n.
4
Let m(i) = 2*i**2 + 4*i + 3. Let o be m(-2). Solve -5*h - o*y = -0*h - 37, 0 = 2*h - 2*y - 2 for h.
5
Suppose u = 2*u - 4*i + 29, 4*i - 8 = 0. Let b = u + 27. Solve 0 = -3*g + s - 14, -3*s + b = -0*s for g.
-4
Suppose -40 = -43*i + 33*i. Solve 4*n + o = -3*o + i, -4*n - 12 = -4*o for n.
-1
Suppose -5*j = -4*c - 6*j + 104, 0 = 3*c + 4*j - 78. Solve -20 = -3*g + 8*n - 4*n, c = 5*g - 3*n for g.
4
Let j be 1/(-2) - (-7)/2. Let q be -3*(-2 + ((-10)/(-3) - 2)). Solve -3*r + r = q*g + 10, j*r + 15 = 3*g for g.
0
Let j = 385 - 381. Solve -2*x = 5*l - j - 1, -x - 2 = -2*l for l.
1
Let i(c) = c**2 - 26*c + 29. Let w be i(25). Solve -14 = -2*x - 4*v, -12 - 10 = -w*x - 5*v for x.
3
Let q(z) = 2*z + 18. Let d be q(-9). Suppose -12 = -3*r - d. Solve -3*k - 10 - 6 = -2*h, -r = 2*h + 2*k for h.
2
Let q = 9 - 3. Let c = q - 12. Let x be ((-5)/(-2))/((-3)/c). Solve 3*l = -x*t + 28, -2*t - t = -4*l - 11 for t.
5
Let r(n) = 2*n + 7. Let v be r(14). Let m = v - 31. Let j be 50/(-15)*(-6)/m. Solve 2*i + j*c = c + 4, -c - 8 = 5*i for i.
-2
Suppose -3*a + 2*r - 2 = 0, a - 4 = -2*r - 2. Suppose 4*t + a + 8 = 0, v = -2*t - 4. Solve 3*q + o = 6, v = 5*q - 5*o + 3 - 13 for q.
2
Suppose 0 = -2*r - 8 + 6. Let b be 6/(5 + -2) + 4 + r. Solve -5*g + b*x + 30 = 0, -5*g - 3*x + 6 = -2*x for g.
2
Let i(u) = -u**2 - 18*u + 120. Let z be i(-23). Solve 3*m - 5*m - 1 = c, 0 = -z*m - 2*c for m.
2
Let v(m) = -m**3 - m + 11. Suppose 0 - 6 = -3*x. Suppose -d = -x*d. Let q be v(d). Solve -2*l + 2*j = -6, 3*l - q - 2 = 5*j for l.
1
Suppose -2*t - 167 = -z - 4*z, 3*z = 2*t + 157. Let r = t + 73. Solve 4*c - 7 - 17 = 2*n, r*c + 8 = -4*n for n.
-4
Let p(x) = x**3 - 9*x**2 + 8*x - 1. Let y be p(8). Let q be (-12)/1 + y*2. Let j be (-7)/q - (-18)/4. Solve r - 3 = 2*a, j*r - r = a - 9 for r.
-3
Suppose -4*j - x = 4, 4*j = 2*x - 1 + 9. Suppose -10 = 5*r, j*s = -3*s - 2*r - 4. Solve s*c = 4*c + 12, c = 3*k + 6 for k.
-3
Let r(x) = -x**3 + 2. Let g be r(0). Let p be g + (0 + 2)*1. Let b = -1 + p. Solve -b*q - 3*c + 14 = 2*q, 11 = 2*q + 3*c for q.
1
Let q(d) = -d**2 - 9*d - 4. Let w(x) = -x**2 - 2*x + 7. Let m be w(-5). Let c be q(m). Solve -c*z + n - 12 = 6*n, -4*z - 12 = -2*n for z.
-3
Let l = 40 + -33. Suppose 4*g - 2 = 2. Suppose 4*j = 5*b - g, b + 3*b = 20. Solve 5*f = -2*d - l, -2*d + d = 5*f + j for d.
-1
Suppose 4*a + 0*a + 64 = 0. Let j(i) = i**2 + 16*i - 3. Let u be j(a). Let w be 2/u*(-19 - 2). Solve 4*h - 4 = 2*f, -4*h = 4*f - f - w for f.
2
Let g = -1353 - -1358. Solve -4*f = g*s + 15, -4*f = -0*s + 4*s + 16 for f.
-5
Let l(u) = -u + 5. Let r be l(14). Let y be r + 9 + 0 + 1 + 3. Solve -k - 7 = 4*d + y*k, -d - k - 1 = 0 for d.
2
Let j(d) = -2*d**2 + 18*d + 9. Let x be j(9). Suppose 5*t + 64 = x*t. Solve -5*u + 20 = -5*c, 0*c + 5*c + t = u for u.
1
Let b = -116 + 182. Let i be (44/b)/((-2)/(-3)). Solve 0 = 4*u + v + i + 3, -4*v + 8 = 4*u for u.
-2
Let b be 200/34 + 88/748. Solve j = -2*u + 9, -j + b*u = u + 19 for j.
1
Suppose 650 = -7*o + 12*o. Suppose 7*u - o = -32. Let d be u/49 + 78/21. Solve 8 = -3*g + d*p - 0*p, 4*g + 2*p = 26 for g.
4
Let a be (-1 + 2)*(-2)/(-2). Let z be a/(((-30)/(-25))/6). Solve 0 = -z*n + 3*f + 34, f = -f - 6 for n.
5
Suppose 2*q + 5*a = 4, -q = -0*a - 4*a - 2. Suppose -4*b = q*m + 8, -2*m - 3*b = m + 6. Solve -2*z = 3*u + 10 - 4, 3*u + 12 = m for z.
3
Suppose -3*i = -5*k + 65 - 13, -72 = 4*i - 4*k. Let f be (-9 + 7)*(2 - 1) - i. Solve f + 11 = 4*z + 3*m, 0 = -5*z + m + 16 for z.
4
Suppose n + 14 = 3*z, 2*z - 2*n - 16 = -0*n. Suppose -z*m + 5*d - 12 = -2*m, 5*d - 15 = 0. Solve x = 3*w + 11 + m, -4*w = -2*x + 18 for x.
-1
Let j = 1998 + -1994. Solve 0*n - 2 = 5*g - 2*n, 5*g - j*n = 6 for g.
-2
Let y = -12 + 12. Suppose 3*m - 15 = 0, 2*l + 11 - 5 = 2*m. Solve y*v - 4*a + 14 = 2*v, 0 = v + a - l for v.
-3
Let c = -63 - -79. Suppose -c = -6*n + 2*n + 4*w, -4*w = 4. Solve 5*j = j + 2*t + 4, 0 = -n*t for j.
1
Suppose -3*j - w - 60 = -266, 2*j = -4*w + 134. Let g = -66 + j. Solve 1 = -2*v + g*u, 2*v + 4*u + 0 = -22 for v.
-5
Let v(z) = -z**2 + 7*z + 23. Let y be v(-2). Solve y*w + s = 24, -4*w - 3*s + 15 = -13 for w.
4
Suppose -129 = -36*n - 7*n. Solve -5*j = 4*o + 9, 0*j = -n*j + 3*o for j.
-1
Let i be (30/25)/(15/25). Solve 24 = 4*c + i*z + z, -z = 3*c - 13 for c.
3
Suppose c = -5*z + 14, -z = -3*z + 4*c + 10. Let h = 22 + -19. Let v be 144/56*7*1. Solve 0 = -h*m + o + 14, -z*o = -4*m - o + v for m.
5
Let f = -137 - -140. Let a be 3 + 3/(-1) - 0. Suppose a*r - 2*k = r - 2, 0 = -3*r + 4*k - 4. Solve r = v - f, -v = -q + 3*q + 1 for q.
-2
Let a(k) be the third derivative of -k**4/8 + 11*k**3/2 + 32*k**2. Let m be a(6). Solve 4*x - 6*w = -w + 41, 0 = -3*w - m for x.
4
Suppose -3*w + 20 = -4*c, 4*c + 16 = 3*w + 2*c. Suppose 3*j = -3*l - 0*j + 6, 5*j = -w*l + 4. Solve -5*g = n + n - 27, 2*g - 4*n = l for g.
5
Suppose 0 = -5*u - 5*p - 0 + 40, 2*u + 5*p - 31 = 0. Let w = -18 + u. Let b = 15 + w. Solve 0 = 3*g + q - 8, b*g - q + 10 = 4*g for g.
2
Let p be 4/18 - (-845)/(-117). Let y be 9 + (-6 - -2 - p). Solve -2*u + 4*b - 18 = -7*u, 3*u - y = -3*b for u.
2
Suppose 0 = -7*q + 76 + 50. Let z = 16 + q. Solve -3*m - 2*i + 7*i = z, 0 = -5*m - 3*i for m.
-3
Let v(w) be the first derivative of w**3/3 - 3*w**2 + 8*w - 5. Let g be v(5). Suppose -n - g = -5. Solve -h + 20 = 5*k + n*h, 2*k + h - 8 = 0 for k.
4
Let g(w) = -23*w - 343. Let m be g(-15). Solve 5 = x, -6*c + 7*c + 5 = m*x