2*p for p.
-2
Let m = -17 + 20. Let d = m + -2. Solve -2*s + 0*z - d = -z, 0 = -s + 3*z + 7 for s.
-2
Let t be (-2)/(((-13)/(-52))/((-5)/8)). Solve -5*w + 20 = t*k - 4*w, -2*k + 8 = -3*w for k.
4
Let n(p) = 3*p**2 - 1. Let g be n(-1). Solve g*h = -3*m + 5, -h + 20 = -0*m + 5*m for h.
-5
Let t = 2 - -1. Suppose -30 = -t*h - 0*h. Let y(b) = b - 6. Let i be y(h). Solve -3*k + i*n = -27, -9 = -3*k + 3*n + 15 for k.
5
Let t be 0/1 - (-5 + 0). Suppose 5*p = 4*p + t*b - 17, -4*p = -b - 8. Solve 5*y + 12 = 2*m - 5*m, -4*y + p*m = -12 for y.
0
Suppose -16 - 20 = -4*d. Suppose 0 = 2*f + 3*f + 35. Let u = d + f. Solve 5*c = -q - 16, q - 11 = u*c + 2*c for q.
-1
Let n be (-88)/14 + 6 - 163/(-7). Solve -4*g - 2*k - 24 = 0, -4*g = g - k + n for g.
-5
Suppose 4*s - 24 = -2*o, 4*o = 4 + 12. Suppose -3*r = -s*r + 3. Suppose r*b + 16 = -5*i + 41, -3*i = -3*b + 9. Solve 3*n - b*f - 22 = 8, -5 = 2*n + 5*f for n.
5
Let f(z) = z**2 + 3*z. Let l be f(-4). Let t be (-6)/(-4) + 6/l. Solve p - 4*o - 7 = 0, -5*p = -t*p - o + 7 for p.
-5
Let d = 35 - 33. Solve 0 = 2*z - 4*j - d, 4 + 0 = -2*j for z.
-3
Suppose 0 = 39*g - 36*g - 6. Solve -g*n + 5*n = 3*p - 3, -4*n - 2*p = -20 for n.
3
Let x(z) = -17*z + 2. Let s be x(-2). Solve 4*o - s = -4*t - 4, 17 = 4*o + t for o.
3
Suppose 6*q + 0*q = 24. Solve -3*t + 3 = 2*h, -2 = -q*t - 5*h - 5 for t.
3
Suppose 22*p = 26*p - 4. Let q(f) = -f**2 + f. Let v be q(1). Solve v*s = -4*m - s - p, -5*m = -s - 1 for m.
0
Let q(p) = -p + 8. Let a be q(6). Let f be 240/42 - 2/(-7). Suppose 4*z - 12 = 2*x, 4*x - 5*z + 33 = f*x. Solve -a = x*v - 18, 2*s + 14 = v for s.
-5
Let g(h) = -22*h - 4 - 4*h**2 + 6*h**2 + 12*h - 3*h**2. Let z = -7 + 0. Let y be g(z). Solve -n + y = -4*k, 3*n + 5*k = 2*k - 9 for n.
1
Suppose n + 2 = 0, -2*j - 2*n = 2 - 4. Solve -d = j*l - 11, d + 2*d - 6 = 0 for l.
3
Let k(v) = v - 7*v**2 - 7*v + 3 - 6*v**3 - v**3 + 6*v**3. Let g be k(-6). Solve 0 = b - g*b - 5*n + 27, -4*b = -5*n + 21 for b.
1
Let v = -8 + 8. Let m(n) = -n + 4. Let l be m(v). Solve l*a = -0*y - 4*y - 12, -5*a = 0 for y.
-3
Let m(l) = l**3 + 10*l**2 + 7*l - 10. Let c be m(-9). Let u(p) = p**3 - 9*p**2 + 8*p + 4. Let v be u(c). Solve 2*t - t - v*z = -9, 5*z = -2*t - 5 for t.
-5
Suppose 5*o = -2*l + 16, 3*l - 10 = l - 2*o. Let f be 13 + -1 + 2 - l. Solve 2*s + 0*s - t = f, 11 = 5*s + 3*t for s.
4
Let y(q) = -q**2 - 4*q - 2. Let u be y(-2). Let l(p) = -4 + 3 - 4 + u*p. Let n be l(4). Solve -9 = 3*a + i - 4*i, 0 = 4*a - n*i + 7 for a.
2
Let m(o) = -o**3 + 14*o**2 - 26*o + 26. Let u be m(12). Solve -5*z + 14 = -4*a, -6 = -u*a - 3*z - 2 for a.
-1
Suppose 5*h + 2*v = -26, -h - 2*h - 22 = -2*v. Let z = h - -6. Solve 1 = y + 6*l - l, z = 2*y - 2*l - 2 for y.
1
Let i(k) = -k**2 + 2*k + 12. Let j(t) = 3*t**2 - 5*t - 35. Let y(w) = 17*i(w) + 6*j(w). Let g be y(-6). Solve 19 = -s + g*s + v, 2*s - v - 2 = 0 for s.
3
Let b(p) = p**3 - 4*p**2 - 4*p - 2. Let c be b(5). Suppose -5*w + 14 = -2*r, c*w - r = -4*r. Solve -w*l = -2*i - 6*l - 30, -3*l = 15 for i.
-5
Let v(i) = -i**3 - 10*i**2 - 9*i. Let n be v(-9). Suppose n = 3*g - 9, 0*g = -4*y - 5*g + 23. Solve -3*r + y*f = 7, -32 = 4*r + f + 2*f for r.
-5
Let n(x) = -x - 3. Let s be n(3). Suppose 4*u + 9 = 3*u. Let c = s - u. Solve 3*p = c*w + 18, 0 = p - 5*w - 5 - 21 for p.
1
Suppose -8 = 7*s - 3*s. Let b = s - -2. Suppose 0 = -b*z + z - 22. Solve -2*y = 5*w + 3 + z, 0 = 5*w + 3*y + 30 for w.
-3
Let v = 1 - 3. Let y(w) = -3 + 5 - 4 + w**2 + 3. Let z be y(v). Solve -d = 5, -z*a + 0*a = 3*d + 10 for a.
1
Let i = 68 - 64. Solve 3*o - v = -1 + 5, 0 = -5*o - i*v + 35 for o.
3
Let m be (-6)/8 + 77/44. Solve -2*j + 3 = -3*u + m, 4*j + 28 = -2*u for u.
-4
Let c(x) = x + 1. Let p be c(1). Suppose p*y - 10 = 3*y. Let o be (-6)/15 + (-4)/y. Solve o = -2*v - 5*i - 33, -4*i - 11 = 9 for v.
-4
Let a(p) = p**2 - p + 1. Let r(h) = -6*h**2 + 11*h - 4. Let i(v) = -5*a(v) - r(v). Let m be i(7). Solve -c + m = g, 5*g - g = 3*c + 10 for c.
2
Let m be ((-2)/(-6))/(3/63). Suppose 0 = 2*f - m + 1. Solve -5*s = -4*g - 20, f*g - 3*s = -2 - 13 for g.
-5
Let k be (-1 - (-6)/4)*2. Let z = -1 + k. Solve 2*d = -2*a + 4*d + 10, z = -5*a + 2*d + 10 for a.
0
Suppose 4 = -3*n - 2. Let s be -2*(n - (-9)/6). Let g = s + -1. Solve -x = 5*z + 13 - 0, -4*z - 12 = g for x.
2
Let l = -60 - -63. Solve -19 = -4*g + 5*r - 0, -4*r = -l*g + 15 for g.
1
Let v = 79 + -74. Solve 0 = v*y - 5*z - 25, y + 16 = 3*y - 5*z for y.
3
Suppose -3*u = -3*t, 4*t = -2*u + 3*t - 6. Let o be u + 0/1 + 2. Solve v + q - 2 = -o, 5*v - 24 = 2*q for v.
4
Suppose 27 = 3*z - 0*z. Suppose -3*j + 3 = -z. Solve q - j*b = -12, 3*q - 2*b = -5*b + 9 for q.
0
Suppose u + 2 = 5*u + 3*n, 3*u + 4 = -5*n. Solve k - 6*k = u*x + 1, -2*k + x + 5 = 0 for k.
1
Let l = 14 + 0. Suppose 10 = 16*p - l*p. Solve -9 = -4*u - p*f, -4*u + 2 + 0 = -2*f for u.
1
Let m = 19 + -17. Let f be -1 - -2*11/m. Solve f = 5*v, 4*q + 3*v = -0*v + 18 for q.
3
Suppose f - 3*a - 17 = -0*a, 4*f = 2*a + 28. Suppose -3*d - 13 = -4*d + f*s, 23 = 5*d - 4*s. Solve 5*t + 10 = -5*k, 4*k - t + d*t = 2 for k.
3
Let q be (0 + 5 - 5)/(-2). Let a(n) = 5. Let y(i) = -i - 6. Let x(c) = -4*a(c) - 3*y(c). Let h be x(2). Solve h*t = -3*v + 13, q = -v - 2*v - 3 for t.
4
Suppose 5*v - 22 = 2*m, 32 = 4*v + 4*m - 2*m. Suppose 2*l - 9 = -l. Suppose l*w + 6 = 6*w. Solve -2*f = -w, v*z = z - 4*f - 21 for z.
-5
Suppose 4*m = m + 6. Solve -4*y = l + 13, 4*l = m*l - 4*y - 18 for l.
-5
Suppose c - 8 = -c. Let k = c - 1. Suppose -4*p - k + 19 = 0. Solve 0 = -b + 3*m - 16, -p*b + 5*m - 2*m = 28 for b.
-4
Let v be -2*(-3 - -5)/(-2). Solve 3 + v = -5*l, -4*f + l = -21 for f.
5
Suppose 5 = -5*g - 15, -2*j + 16 = -2*g. Solve 2*i = -2*d, j*i + d + 8 = 5*d for i.
-1
Suppose 3*n - 3 = -0*n. Suppose 3*y + 3 = 9. Suppose -t + y = -n. Solve -2*u + 8 = -t*d, 3*u - 6*u = d - 12 for u.
4
Suppose -8 = 2*o - 3*o. Let w be o/10*(6 - 1). Solve 3*z - 5*q = 22, 0 = -w*z - 0*q - 4*q - 24 for z.
-1
Let o(t) = 4*t**2 - 2*t - 1. Let u be o(2). Suppose -j + 3*y + 12 = -4*j, 2*j - 4*y = -2. Let q = u + j. Solve s - 4 = -5*g + q, -2*g - s + 6 = 0 for g.
2
Suppose -5*l = h - 2*h - 25, 25 = 5*l + 4*h. Solve -k = -0*k - 4*d + 8, k - l*d = -11 for k.
4
Let o be (-6)/(0 + 9/12). Let s = -7 - o. Solve 3*q = 3*d + 15, 2*q + 5 = -2*d - s for d.
-4
Let z(x) = -x + 1. Let s be z(1). Let v be 10/20*(s + 2). Solve -5*d - 4*i + v = -4, 4*d - 3*i = 35 for d.
5
Let s = 99 - 94. Solve 5*r = -g - g - 17, s*g = 4*r + 7 for g.
-1
Let l = -22 - -32. Solve -d = -r + 3 - l, -r + 4*d - 13 = 0 for r.
-5
Let n(u) = -u - 7. Let i be n(-5). Let a be 10 + -1 + (-2)/i. Solve 0*w + 10 = 5*h - 2*w, -5*h + 3*w + a = 0 for h.
2
Let m be (-4 - 6/(-2))*-3. Suppose 3 = -4*u + k + 27, -5*u + 9 = 4*k. Solve -p = -3*a - 3 + u, 0 = 4*a - p - m for a.
1
Suppose 0 = 2*p + 1 + 3. Let l = p + 5. Solve -3*h + 7*h - 2*g = 4, -l*g - 17 = 5*h for h.
-1
Let w(q) = -q**2 + 8*q - 7. Let z be w(6). Suppose 25 = -0*c + z*c. Solve -5 = -5*b, -2*b = -c*t + 4 - 1 for t.
1
Let g be 5*(-1)/((-15)/6). Let r = 1 + g. Let t be 34 + r/6*-2. Solve -5*v = 4*z - t, -5*v + 4*z + 3 = -14 for v.
5
Suppose 3*q - 2*t = 72, q - 3*t - 12 - 5 = 0. Suppose -y - 2*i - 7 = 0, 3*i + 12 = -0*y - y. Let x = y + q. Solve -3*m - 26 = -w - 3*w, -5*w + x = -2*m for w.
5
Let g(j) = j**3 + 6*j**2. Let v be g(-3). Let s = 17 + -6. Suppose 4*q = -8, -1 - s = -l + 5*q. Solve 5*r - 19 = 2*f + l, 0 = 4*r - 5*f - v for r.
3
Let j(f) = -3*f - 1. Let p be j(-1). Suppose -4*t + 29 = -c, 2*c = -3*t + 3*c + 21. Let l = -7 + 11. Solve -5*m - 2 + 11 = -3*k, p*k + t = l*m for k.
2
Suppose -17*w = 12 - 46. Solve 0 = 2*b - 5*m - 1, 0 = -w*b + 4*m - 0*m for b.
-2
Let d(f) = -f**3 - 2*f**2 + 2. Let s be d(-3). Let v = 7 - 0. Solve 3*z + v*k = 2*k + 14, 3*z = -2*k + s for z.
3
Let p be 15/10*-7*2. Let h be -2 + 1 - (2 + p). Suppose 2*x = 4*s - 2*x, -3*s = -2*x - 4. Solve 6 = 3*a, 0*a = -2*t - s*a + h for t.
5
Suppose -5*k + 20 = 0, 0 = 4*q + 2*k - 6*k - 24. Let d = 19 + -15. Suppose -d*o - q = -22. Solve 5*x = y - 19, o*y - 4*y - 5 = x for x.
-4
Suppose 0 = -2*h + 18 + 8. Solve -17 = -2*f - 5*p, -h = 4*f - 2*f - 5*p for f.
1
Suppose -3 = -5*h + 4*h. Let d be (-1 - (-3 + (-14)/(-6)))*0. Solve -h*n - 11 = -c, 0*c + 2*c - 5*n - 17 = d for c.
-4
Let d be 5 - -3 - 2 - 3. Let t = 6 + 1. Solve -5