 10 = -2*g for p.
-2
Suppose 0*k - 4*k = -64. Suppose k = o - 2*n, -2*o = 3*n - 19 + 1. Solve o = y - 4*m + 2, 0 = -y + 3*m + 7 for y.
-2
Let q be (-8)/40 + 102/10. Solve 5 = 3*t + 2*i, 3*i = -3*t - 2*i - q for t.
5
Let o(k) = k**3 + 6*k**2 - 8*k - 5. Let t be o(-7). Suppose t*g + 23 - 113 = 0. Let n be 3/6 - g/(-2). Solve -3 + 18 = -5*r, r = 4*u - n for u.
5
Suppose -125 = -4*o - o + 5*r, -2*o + 53 = -3*r. Suppose -g = -3*g + o. Solve u - 2 = 3*a - g, -3*u - 4*a = -25 for u.
3
Let c(j) = 88*j - 4. Let r be c(3). Let i be (6/(-8))/((-5)/r). Suppose -3 - 24 = -2*m - 3*d, -4*m - d + i = 0. Solve -2*q = -2*t + q + 1, -m = 3*q for t.
-4
Let b = 10 + -3. Suppose 0*i + 2 = i. Suppose i*q = -q. Solve 2*s + b = -t, q*s - 4*t - 18 = -2*s for s.
-1
Let w = -3 + 6. Suppose x = w*x. Solve b + 5 = 0, x*b = y + 2*b + 13 for y.
-3
Let j be (0 - -3)/(-2 + -1 + 4). Solve 0 = -4*n - j*f - 4, -2*n = f - 3*f + 16 for n.
-4
Let c = -16 - -18. Solve -4*s - c = -5*u, 3*s + 3 = -4*u + 17 for u.
2
Let n be ((-5)/(-2))/(1/2). Solve 0*g = -n*g + 3*p + 1, -3*g - 9 = -5*p for g.
2
Let b(q) = q**3 - 5*q**2 + 2*q - 5. Let v be b(5). Suppose -1 - 5 = 5*s - 3*t, -5*s - 10 = -v*t. Solve -4*j - 5*k = 11, j - k - 3*k + 8 = s for j.
-4
Suppose 4*m + 0 = 16. Let n(u) = -3*u**2 + 40*u - 3. Let j be n(13). Solve -3*i + 5*g - 14 = 0, -3*i + m*g = -0 + j for i.
2
Suppose 4*z - 9 = 7. Solve -z*h = -4*x + 8, 3*x + 4*h - 9 - 4 = 0 for x.
3
Let x(v) = 8*v**2 + 2*v**3 - v**3 + 0*v**2 - 4 + 12. Let w be x(-8). Solve 3*o + 6 = -3*m, w*m - 2*o = 4*m - 14 for m.
-3
Let p(o) = o**3 + o + 5. Let x be p(0). Let m = 5 - x. Solve -5*s + l - 5 = m, s - 3*l + 2 = -s for s.
-1
Let g be 8/(-20) + (-104)/(-10). Suppose 21 = -19*h + 26*h. Suppose -3*i + 17 = 5*b - 2*i, -5*i - 27 = -3*b. Solve g = -h*t + z - 4, -b*t = -4*z + 24 for t.
-4
Let j(i) = -i. Let f be j(0). Suppose f = 3*m - 7 - 35. Solve -d - m = 2*z, z - 5 + 6 = d for z.
-5
Suppose -5*k + 0*k + 2*r + 5 = 0, 0 = 2*k + 5*r - 31. Solve 21 = 2*o + 3*y + 2, k*o - 21 = -2*y for o.
5
Let q be -3 + 13 - (2 - 1). Solve -q = x - 0*o - o, -4*x = -5*o + 40 for x.
-5
Suppose 0*f + 12 = 4*f. Suppose -4*s = -f*s - 10. Solve -3*n = -5*i - s, 5*n = i + 27 - 3 for n.
5
Let v = 12 + -9. Suppose -v*h - 1 + 7 = 0. Suppose -2*g - 2*g + z = -4, 4*g - 12 = -z. Solve -5*c - j - 19 = 0, c + h + 4 = g*j for c.
-4
Suppose -2*w = 19 + 13. Let p be (-38)/(-8) - 4/w. Solve d - 5 = -2*s - 0*d, 23 = p*s - d for s.
4
Suppose 0 = -y - 2 + 5. Suppose 3 = -y*i + 4*i. Solve -4*x - i*n - 11 = 0, -4*x + 3*n - 1 = -20 for x.
1
Suppose -8 + 4 = -2*x. Solve -x = 2*j - 3*w + w, 4*j = 2*w + 4 for j.
3
Suppose -2*q + 1 = -3. Let h be ((-17)/(-2) - 0)*q. Suppose 0 = -4*d - 3*g + 56, -2*d + 4*g = -43 - 7. Solve -3*n = -k + d, -5*k - 4 = 3*n - h for n.
-4
Let g be ((-8)/6)/(4/6). Let a(q) = -3*q + 2. Let h be a(g). Solve 3*i - 2 = -2*t - h, t - 3*i = -3 for t.
-3
Let q be 0 + (-2 - -3 - -9). Let h(p) = -p**2 - p + 11. Let c be h(0). Let l be (1 - c)*1/(-2). Solve j = -j + 3*t - q, -l*j = -t - 1 for j.
1
Suppose i = 1, 5*p - 27 = i - 3*i. Solve 0*u + 2*u + j - 13 = 0, -p*j - 10 = -5*u for u.
5
Let n = 1 + 1. Let v = n - -3. Let j(s) = -s + 3. Let z be j(0). Solve k - 25 = v*w, -w - 29 = -z*k - 2*k for w.
-4
Suppose -3*t = t - 12. Let g(i) be the second derivative of i**4/6 - 2*i**3/3 + i**2 + i. Let m be g(2). Solve -q = -t*c - 10, -18 = -q + 6*q + m*c for q.
-2
Let n be 4 + -4*6/(-3). Suppose -3*r + n = r. Solve 0 = -r*g + s - 4*s - 15, 4*s + 16 = 0 for g.
-1
Let i = -9 + 2. Let q be 4 + i + (-2 - -11). Suppose q = -5*x + 3*w + w, -4*x - 3*w + 20 = 0. Solve -2*d - x = -5*g + 6, 0 = -3*d - 5*g - 12 for d.
-4
Suppose -5 = 5*k - 20. Suppose -2*r - 3*s = -k*r + 1, r - 5 = -s. Solve g + 0*g = -t + r, -2*t + 14 = 4*g for t.
1
Let v(d) = -d**3 - 6*d**2 + 17*d + 13. Let t be v(-8). Let m = 0 + 5. Solve -t*f + 4 = 3*p - 18, 5*f = m*p + 30 for p.
-1
Suppose 11*s = 6*s. Let f be (-4 - -3)*(0 - s). Let a(y) = -y - 1. Let l be a(-1). Solve 0 = 5*i - f*i - 2*w + 20, 5*w = l for i.
-4
Let i = -74 + 78. Solve 0*v + 2*v + 6 = l, -i*l + 18 = -2*v for v.
-1
Let y be -5*(-1 - (-4)/(-20)). Suppose -y*h + 84 = -2*h. Solve 5*z - h = -d + 3, -d + 12 = 2*z for d.
4
Suppose 17 = 4*w - 3. Solve -w*u + 29 = 5*f - 1, 0 = -5*f - 3*u + 20 for f.
1
Let k(m) = -m**2 + 7*m + 4. Let u be 1/((-8)/(-14))*4. Let h be k(u). Solve -2*c - 6 = -4*c + 2*s, -c - 17 = h*s for c.
-1
Suppose 8 = 3*o - b - 12, 48 = 5*o + 2*b. Suppose -n - n = -o. Solve -16 = -3*z + x, -6*z + z - n*x = -21 for z.
5
Let v be (2/8 + 1)/(4/48). Solve 2*j - 4*d - 14 = 0, -2*d - v = -4*j + 1 for j.
3
Let r be 5*3/18*(-6 + 12). Let u be (0 - 6)/(9/(-24)). Solve -4 = -g - 3*t, -r*g - u = -g - 4*t for g.
-2
Let n(y) = -y - 6. Let f be n(-8). Let p = 0 + 1. Let b = -1 + p. Solve -f*l - 2*v + 2 = b, 1 - 4 = 5*l + v for l.
-1
Let a(i) = -i**3 + 4*i**2 - 6*i + 6. Let g be a(4). Let f be g/(-12) - (-10)/4. Solve -f*m - 4*j - 13 = 15, 3*j + 13 = m for m.
-2
Let d(z) = z**2 + 4*z + 2. Let q be d(-5). Let c be (1/2)/((-1)/(-20)). Let u = c - q. Solve 0 = r + 4*i, -3*r - u*i - 7 = -4*r for r.
4
Let j be (24/15)/(4/10). Suppose 10 = j*a - 126. Solve -40 = 3*z - 5*m, -a - 16 = 5*z - 5*m for z.
-5
Let d(g) = -g. Suppose -2*n = -3*n - 3. Let r be d(n). Solve 0 = -i - a + 4, r*i + 5*a - 16 = -0 for i.
2
Let n(k) = k**2 + 4*k + 4. Let p be n(-2). Solve 28 = 4*o + 3*i, p*o + 3*i = 5*o - 8 for o.
4
Let p(f) = 4*f - 2. Let i(d) = -6 - 1 - 1 - d**2 + 2 - 9*d. Let g be i(-8). Let u be p(g). Solve 3*x - x + u = 2*a, -12 = -4*a for x.
0
Let b = -38 + 38. Solve -11 = -5*m + u + 2*u, b = -3*m - u + 1 for m.
1
Let w(l) = -2*l + 1. Let o(i) = -6*i + 4. Let n(q) = -5*o(q) + 14*w(q). Let u be n(5). Solve 2*g + 3*b - 6*b + 17 = 0, 3*g = -u*b for g.
-4
Let t = 2 + -3. Let i be (1 + t - -6) + 1. Let u = -2 + i. Solve 3*h = u*c - 16, -2*h + 2*c - 3*c + 11 = 0 for h.
3
Let c(t) = -t**3 - 2*t**2 - t + 1. Let k be c(-2). Suppose -39 = -k*l - 0. Let g be (-1)/3 - 20/(-6). Solve 3*p - 15 = g*d, 0*d + l = p - 3*d for p.
1
Let k be (-2)/(-4) + 65/(-10). Let m = 0 - k. Let i = -9 + 21. Solve 0 = 2*f - 4*d - i, 2*f = -0*d - 2*d - m for f.
0
Suppose 0 = 3*a + 4*j - 12, 5*j - 8 = -2*a - 0*a. Solve -5*v + g = 3*g - 1, g = a*v - 6 for v.
1
Let o(i) = 11*i**3 - i**2 - i + 2. Let d be o(1). Suppose -2*l = -0*l + 20. Let g = d + l. Solve -g = q - 2*y + 4*y, 3*q - 4*y + 3 = 0 for q.
-1
Let j = 19 - 31. Let i be (j - -12)/(1 + 0). Solve -p - 3*p + 5*d + 9 = i, -3*p = -4*d - 7 for p.
1
Let z = -9 + 17. Suppose -z - 4 = -3*g. Suppose g*r = 8*r. Solve 2*k = -3*k + q - 7, 2*k + 2*q + 10 = r for k.
-2
Let z = 9 + -7. Let g(f) = f**2 - 5*f + 6. Let x be g(4). Suppose -v = -x*v. Solve -t - 4 = v, 0 = -2*n + 6*n - z*t - 8 for n.
0
Let v = 9 - 7. Let p be 16/20*(-20)/(-8). Solve 4*q - p = -a, -2*q + v*a = -1 - 5 for q.
1
Let w = 8 + -5. Solve -5 + 2 = -2*n - 5*o, 4*n - 19 = w*o for n.
4
Suppose -5*o - 456 = -o. Let h be o/(-27) - (-4)/(-18). Solve -2*j + h*n + 18 = 0, -4*j = -j + 4*n + 3 for j.
3
Let w = -14 + 10. Let m = w - -4. Suppose m*q + 7 = q. Solve -3*l + 4*n + 11 = 0, 3*n + 3 = 4*l - q*l for l.
1
Let c be -3 + 2 + 0 - 7. Let h(b) = b**3 + 8*b**2 + 3. Let u be h(c). Solve q + 2*o - 1 = 0, 4 = u*q + 2*o + 3*o for q.
3
Let q be (-14)/(-21) + 4/3. Let h(k) = k**2 + 8*k. Let m be h(-8). Solve r + 4*c - 14 = m, 0*r - q*c = -3*r - 14 for r.
-2
Let u(c) = -9*c + 1. Let m be u(-1). Suppose 0 = 5*s - m*s + 65. Solve 5*n - 16 = 4*l, 3*n + 3*l - 28 = -s for n.
4
Let m(k) = -k + 10. Let n be m(5). Solve -4*l - 2*a = -3*l, n = -5*a for l.
2
Suppose 3*k + 3*t - 39 = -9, -5*k - 2*t + 59 = 0. Let x = k + -8. Suppose -4*y - x = -5*y. Solve 5*w - 8 = -2*d - 2*d, -y*w = -4*d + 8 for d.
2
Let m = 63 + -59. Solve -4*x - 3*c + 3 = -8*x, c = m*x - 7 for x.
3
Let i(c) = -6*c + c**2 - c**2 + 9 + 0*c + c**2. Let g be i(7). Solve 0*a + 5*a = l - g, 2*a - 4 = 3*l for l.
-4
Let h(v) = v**3 + 9*v**2 + 2*v - 46. Let c be h(-8). Solve -5*o - 3 = 22, -3*o - 23 = c*x for x.
-4
Let y = 1 + 8. Solve -4*i - 6*q = -3*q - 18, -3*q = i - y for i.
3
Let i(r) = 4*r + 17. Let u be i(-3). Solve -5*j = h + 27, -h - u = -j + 4*h for j.
-5
Let l(z) = z**3 - 14*z**2 + z - 11. Let o be l(14). Solve -2*n + 2*w = 4, n + o*n = 2*w for n.
2
Let t = -17 + 22. Su