for p.
4
Let u(g) = g**2 + 2*g + 2. Let k be u(-2). Let j(m) = 0*m**2 + 5 + 4*m + m**k + 5*m. Let c be j(-9). Solve -4*t - 22 = -2*w, -4*t - 3 - 12 = c*w for w.
1
Suppose 6*k = 2*k - 56. Let l = 21 + k. Suppose -5*i + 3 = -l. Solve h + 1 = i*u - 1, -3*u + 4*h = -13 for u.
-1
Let p = -48 + 67. Suppose 5*c + 4*w = 5*w + p, -2*w - 11 = -c. Suppose -26 = -2*x + 2*y, y - 4*y = -c. Solve -t = o - 6*t + x, -4*o + t = 18 for o.
-4
Suppose 0 = -7*y + 8*y - 3. Let g = 8 - y. Solve x + g*t = t + 13, 3*t = -5*x + 31 for x.
5
Let n = -10 + 13. Suppose -20 = -z - n*z. Let i(o) = 7*o + 2. Let f be i(2). Solve 0 = -z*t + 2*q + f, -3*t = q - 4 + 1 for t.
2
Let c(g) be the first derivative of -g**2/2 - 6*g + 5. Let n be c(-11). Solve 25 = -3*x - 3*z + 7, 2*x = n*z + 9 for x.
-3
Let a be 158/5 - 10/(-25). Let n = 48 - a. Solve -n = -4*h + 3*i - 5*i, -2 = 5*h - 3*i for h.
2
Let h(i) = i**3 + i**2 + 1. Let d(a) = 3*a**3 + 2*a**2 + 2*a + 3. Let l(z) = -d(z) + 4*h(z). Let p be l(-2). Solve 5*r - 30 = p*o, 2 = 4*o + 6 for r.
5
Let s = -2 - -4. Let j(v) = v**3 - 5*v**2 - 5*v - 4. Let n be j(6). Solve 0 = -s*h + 5*w + 10, 5*h + 3*w + n = 2*w for h.
0
Suppose 7*l - 7 = 7. Let g(m) = -6*m + 6. Let v(n) = n - 1. Let u(o) = -2*g(o) - 11*v(o). Let q be u(l). Solve -f + q = -t - 2, 3*f = t + 13 for t.
2
Let d = -4 + 3. Let r be (d - 0) + (-2)/(-2). Let x = -3 - -8. Solve -2 = -2*l + q, 4*l - x*q + r*q + 2 = 0 for l.
2
Let n = 1 + 4. Let x = 10 - n. Solve k - 2 = -d - 0*d, 30 = x*d - 5*k for d.
4
Let k be ((-5)/(-3))/(1/3). Solve -w - 4*w = -k*h - 30, -4*w + 21 = -h for h.
-1
Let d(p) = 0*p + 0 + 1 - p. Let s be d(-4). Let r be 1/2*(3 - -1). Solve 10 = -y - 3*m, -s*y + 0*m = r*m - 15 for y.
5
Let n = 17 - 11. Solve -j + h = n, 8 = 5*h - 7 for j.
-3
Suppose -2*z - 5*z = -3*z. Solve 21 = 3*h - 3*i, -5*i = -z*h - 4*h + 33 for h.
2
Let n be (-272)/(-80) - 6/(-10). Solve z - 4*r + 1 = -2, -z - n*r = -5 for z.
1
Let t(u) = -u**2 + 4*u + 4. Let w be t(4). Suppose -4*a + 3*h = -2*a + 25, 0 = 4*h - w. Let p = -6 - a. Solve 2 = -o - 2*r, -p*o + r = -3*o - 11 for o.
4
Let f = 15 + -13. Solve 0*r - 4*p + 20 = 2*r, -2*r + f = -2*p for r.
4
Suppose 4*g - 8 = 0, a - 54 = -3*a + g. Solve -2*k + 0*f - 3*f = -a, -4*f = -5*k + 12 for k.
4
Suppose -35 = -4*z + 3*b, -3*b - 5 = -2*z + 4*z. Suppose 0 = -p + 2. Solve p*f - f - 1 = l, -z*f = -4*l - 9 for f.
5
Let j = 51 - 34. Let u = -3 + 7. Solve 0 = 3*a - 2*q - j, -a - u*a + 3*q = -27 for a.
3
Suppose 7 = 5*d - 3. Suppose 4*x + 54 = 5*n, 15 + 5 = 5*x. Solve -2*c - n = 5*t, -3*t - d*t = 20 for c.
3
Let n(o) = -4*o**2 - 8*o + o**2 + 2*o**2 - 1. Let m be n(-7). Let y be m/(-27) + 47/9. Solve -3*v + 5*p = -0*v - 16, -4*p = y*v - 2 for v.
2
Let i(w) = w**2 - 2*w + 3. Suppose -3*f = -0*p + 2*p - 13, -15 = -5*f. Let d be i(p). Solve -4*y = -j - 0*y + 3, -d*j = 2*y - 9 for j.
3
Suppose -12*j - 2 = -14. Solve j = -f - 0*f, 0 = 4*q + f + 1 for q.
0
Suppose -a + 2*l + 9 = 0, 2*l = -0*l. Let w = -4 + a. Solve -4*c + 0*c - 7 = 3*b, 5 = w*c + b for c.
2
Suppose 0*b = -3*b. Suppose -6*o + 2*o + 8 = b. Let s be (-23)/(-3) - 13/(-39). Solve 5*x - o*k = 2*x - s, -2*x + k = 5 for x.
-2
Let b be (1/(3/(-123)))/(-1). Suppose n - 21 = 4*f - 0*f, 5*n - 4*f = b. Suppose n*x - 35 + 0 = 0. Solve 3*k + x = 4*g, 0 = 6*k - k + 5*g for k.
-1
Suppose 5*a - 2*c - 20 = 0, -4*c + 10 - 28 = a. Let h be (-1 - -4) + -2 + 2. Solve -a*b + 4*q + 2 = 0, q = 3*b - 2*q + h for b.
-3
Suppose 3*r = x + 1 + 5, 0 = r - x - 4. Solve r = 5*m - 5*l + 26, -2*l = 2*m + 2 for m.
-3
Let r be 8/(-5)*10/(-4). Solve -2*p + 0*m - 4 = -m, 4*m = -r*p - 32 for p.
-4
Let a(m) = m + 3. Let v be a(3). Solve 0 = 4*p + 20, -3*h - 4*p = -v*h + 26 for h.
2
Let b = 7 + -5. Suppose -6 = 4*m + 4*q + 2, -2 = b*q. Let j = 4 + m. Solve -s - 8 = 4*y, -y - 10 = -j*s + 4*y for s.
0
Suppose -6*w = -11*w. Let m = 3 - w. Let y be (-1)/6 + 91/42. Solve 0 = -4*k - y*n, 3*k - n + m = 2*k for k.
-1
Suppose -3*o - 6 - 4 = 5*g, -3*o - 2 = g. Suppose 5*m + o + 6 = 2*u, u = -5*m + 3. Solve -2*j - u*h + 19 = 0, 5*j + 10 = -h + 38 for j.
5
Suppose 3*g + 8 = 5*g. Let a = 1 + -1. Suppose -r = -a - g. Solve n = r*u - 9, -u + 0*n + 3*n - 6 = 0 for u.
3
Let c = 0 + -4. Let u = c + 7. Solve -2*p = 2, -u*p - 3 = 2*x + 2*p for x.
1
Suppose 5*o = 2*o. Suppose 4*w - 2*m = 18, 0 = -m - o + 3. Solve 8 = -2*h + 4*l - w*l, 3*h = 2*l + 8 for h.
0
Let u(n) = 5 + 8*n**2 - 9*n**2 - n**3 + 6*n**2. Let l be u(5). Solve 27 = l*h + 3*b - 7*b, 2*h + 2*b = 0 for h.
3
Suppose 2*h - 1 = 3. Suppose -3*n = 2*z - 13, -4*z - 4*n - 5 + 41 = 0. Solve 4*i = -2*y + z, 0*i = -y + 3*i + h for y.
5
Let k = 12 - -6. Solve z - k = -3*m - 5, 5 = -5*m + 5*z for m.
3
Let y = -7 + -3. Let p = y + 12. Solve -p*r + 5*s = -2, -4*s - 6 = 2 for r.
-4
Let z be (6 + 0)/(12/32). Suppose -3*r + z = r. Let o be 2*2/(r/3). Solve 4*h = -2*b + 8, -o*b + h - 5*h = -8 for b.
0
Suppose 3*d = 4*z + 2*d - 17, d + 12 = 3*z. Solve 0 = -3*j - 5*s - 10 - z, 20 = -4*j - 4*s for j.
-5
Let i = -65 - -69. Solve 0 = -4*f - o - 18, -i*f - o - 22 = -2*o for f.
-5
Let z be (7 - (-9)/(-4))*1*4. Solve z = 5*r + 2*o, o + 13 = -r + 3*r for r.
5
Let b = -93 - -94. Let t = 4 + -2. Solve -8 = t*m - 3*c, -5*m + 3*c = b + 1 for m.
2
Let q(t) = -t - 2. Let y be q(-3). Suppose 4*b - 9 = 15. Let u = b - 3. Solve 5*n = 0, -f - n = -u + y for f.
2
Let i = -127 + 142. Solve -4*f + 5*g = -3, 4*g + i = -g for f.
-3
Suppose 5*q + 11 = 26. Suppose r = 5*r + u - 9, -4*r - 5*u + 13 = 0. Let s = r + q. Solve -s*y = -4*h - 32, -h + 2*y = h + 14 for h.
-3
Suppose 6*f - 2*f - 5*p = 58, -2*f = -4*p - 26. Suppose -4 = -2*o + 2. Suppose -2*j + k = j - 3, 0 = 3*j + k + 3. Solve -g = -5*z - f, o*z + 9 = g - j*g for g.
-3
Let v = 27 - -58. Suppose 0 = 3*j - 4*b - v, -b + 0*b - 73 = -3*j. Solve -4*l + 0*k + 3*k + j = 0, -5 = 5*k for l.
5
Suppose -10 = -7*j + 2*j. Suppose 15 = -2*u + 5*u. Solve h - 5*h = w, u*w = j*h for h.
0
Let v(h) = 7*h + 65. Let y be v(-9). Solve 2 = -2*j, y*a + 9 = -j - 4*j for a.
-2
Let j be (6/2 - 3) + 16/4. Solve 2*a = -3*l - 0*l + 1, 0 = -4*l - 4*a + j for l.
-1
Let f = -8 + 12. Suppose x = h + 1, -2*h - f*x - 4 + 32 = 0. Solve h*s - 36 = 4*l, -s - 4*s = 3*l - 13 for s.
5
Suppose -20 = 5*z + 4*n, 3*n - 2*n = -z - 5. Solve z = -2*m - 2*g - 7 - 5, m - 2*g = 3 for m.
-3
Let x = 5 - 1. Let h = x - 4. Suppose a = 5*w, h = -w - 0*w. Solve -4 = 2*d + 4*k - a*k, 0 = 3*k + 3 for d.
0
Suppose -8*w - 5 = -3*w. Let c(n) = 23*n**2 - n - 1. Let t be c(w). Solve 5*x + t = 2*f, x - 3 = -f - 9 for f.
-1
Let z be (0 - (4 + -9))*(-9)/(-3). Solve 3*j - 3*y + z = 0, -5*j + 3*j = -4*y + 20 for j.
0
Suppose -2*t - t + 15 = 0. Suppose -u = -t*u. Solve -a + 1 = u, 0 = -4*g - a - 0*a - 11 for g.
-3
Let k(d) = d**3 - 3*d**2 + d + 3. Let b be k(3). Suppose 4*v - 14 + b = 0. Solve -5*f - 4 = 2*l, 4 = 2*l + v*f + 2 for l.
3
Suppose -5 = -v + c, -4*c = -2*v + 13 + 1. Solve -2*q - 4 = 0, r - q - v*q = 9 for r.
1
Let p(h) = -8*h + 72. Let g be p(9). Solve -5*s - 12 = -2*q - 5, g = -2*s - 6 for q.
-4
Let b = 3 - -8. Solve -2*y - 29 = -4*c - b, -5*y - c + 10 = 0 for y.
1
Suppose y = 3*y - 2, -4*a - y = -9. Suppose 0 = 3*u - 4*x + 12, u + u = -2*x + 6. Solve -a = -u*o + 2*o + 2*i, -2*i = 2 for o.
0
Suppose 0 = -7*h + 2*h - 10. Let w(f) = -11*f - 2. Let p be w(h). Let x = 10 + -6. Solve -x*u + v - 3 = -0*v, p = -4*v for u.
-2
Suppose -12*t = -18 - 6. Solve -4 = 3*f - 5*p, 4*f - t*p + 3*p = 10 for f.
2
Let y = -7 - -2. Let d be (6/y)/((-1)/5). Solve b - 3*i = -d, 2*i = b - 2*i + 7 for b.
-3
Let m be 5/(15/(-9)) - -35. Solve 3*g + 26 = -4*h + g, m = -4*h - 4*g for h.
-5
Let k be (0 + 20)*(-6)/(-15). Let t(o) = o**2 - 7*o. Let a be t(5). Let y = a + 14. Solve 2*s = -n - k, -4*n - y*s - 12 = -0*s for n.
2
Suppose 2*l + 4 = 4*r, -3*l = -4*r + 2 + 4. Let o(m) = -m + 19. Let p be o(r). Solve 0 = -2*a - k - p + 4, -a = -4*k - 15 for a.
-5
Let i be (3/(-2))/((-2)/8*2). Solve 0 = -2*y + 4*y - i*q - 7, -5*q - 5 = 0 for y.
2
Suppose 12 = 2*f + 3*r, 3*r - 6*r = -5*f + 9. Let y be (0 - -12)/((-3)/(-2)). Let a(w) = w - 6. Let v be a(y). Solve -14 = 5*p - 2*o - 0, f*p - v*o = -6 for p.
-4
Suppose 4*y + 7 - 15 = 0. Solve -5*d = 5*f + 62 - 17, -y*d + 5*f = -17 for d.
-4
Let g = -74 - -78. Solve 3*v = 4*d - 20, -5*v = g*d - 31 + 11 for v.
0
Suppose -5*p + 10 = -15