*j**2 + j + 1. Let f be l(-1). Let d be (21/(-5))/(f/(-15)). Solve -3*p - t + 10 = 2, -p = 4*t - d for p.
1
Suppose 2*s - z - 7 + 1 = 0, -5*z = 0. Solve -2*i - i - 5*v = -10, -3*v = s for i.
5
Suppose 7*h - 1 = 13. Solve -2*a + h = x, -4*a + x + 28 = -3*x for a.
3
Let n be 18/8*24/9. Suppose 16 = n*g - 2*g. Suppose -g*x + 5*s = 8, 5 = 3*x - 3*s + 2*s. Solve -2 = 2*y - x*l - 0, -5*y = -4*l + 12 for y.
-4
Let j = -11 + 19. Let b(g) = -g**2 + 6*g + 19. Let z be b(j). Solve 7*w - 5*w = s + 8, 4*s + 17 = z*w for w.
3
Let t(k) = k**2 + k - 1. Let x be t(-2). Let u = 3 - x. Solve -5 = q - 4*c - 1, -2*q + u = -3*c for q.
4
Let q be (-1)/2*0/(-1). Suppose 3 = -v + 5. Solve 0 = h + 2*o - q*o, -3*h - v*o - 4 = 0 for h.
-2
Let t = 438 + -428. Suppose 0 = 2*k + k. Solve k = 2*a + t, -c - 20 = 3*a - 0*a for c.
-5
Suppose -15 = -2*z - 5. Solve 5*c + 18 = 3*c - 3*j, z*j = 2*c - 14 for c.
-3
Let w be 3*3/9 + 4. Solve -19 = -4*m + s, 30 = w*m + 4*s + s for m.
5
Let j be -7 + 5 - 12/2*-1. Solve 16 = 3*q - 4*n, j*q - 8 = 6*q + 2*n for q.
0
Let p = 14 + -8. Let y(c) = c**2 - 5*c - 8. Let b be y(p). Let s be 2 + (2 - (-4)/b). Solve 0 = -3*m - 3*w, 3 = s*m + 5*w + 9 for m.
2
Suppose 5*n - 24 = -n. Solve -4*x = -9*x - 5*u - 15, -n*x = -u - 8 for x.
1
Let j = 1 + 1. Let y = 22 + -20. Solve n - 10 = y*a, 0 = -3*n + j*a - a + 5 for n.
0
Let f = 5 - 3. Let s(w) = 7*w**2 + 0*w**2 + f - 3. Let d be s(-1). Solve 2*h = -4*q + 18, -2*h = -0*h - 2*q - d for h.
5
Suppose 4*j + 3*x = 25, 4*x - 4 = j + 4. Solve 0 = -p + z - 3, 3*z = -4*p + j*z for p.
1
Suppose -w + 2*w = 6. Suppose -3*z - 3*y - 9 = z, z + w = -2*y. Solve -5*d + z*d = 2*h + 7, 0 = -5*d - 5 for h.
-1
Suppose 4*d - 4 = 0, 2*m - d - 6 = d. Solve 3*p - 3 = c + 10, 2*c + m*p - 4 = 0 for c.
-4
Suppose 0 = -4*z + 4*k - k + 11, -k = 3*z - 5. Suppose 4*s = q + 18, -s + q + 13 = 2*s. Solve -z*v + 2 = s*h, v + v = -h - 6 for v.
-4
Let d(s) be the first derivative of 5*s**3/3 - s**2/2 - 2. Let b be d(1). Let a = b - -1. Solve -3*i = 2*i + o - 2, -3*o = -a*i - 6 for i.
0
Let k(w) = -w**3 - 8*w**2 - 8*w - 5. Let h be k(-7). Solve -5*t - 4 = -d - 0, -t = -h*d - 1 for d.
-1
Let l be (3/2)/((-3)/4). Suppose 5*v + 28 = 3*f, -3*v - f + 5*f = 19. Let j = l - v. Solve 0 = 3*s + 2*p + 3*p - 26, -j*s + 2*p - 2 = 0 for s.
2
Suppose 2*s - 3*g - 11 = s, -5*g - 5 = 0. Let y be -2 - -1 - s/(-2). Solve y*m - 5*r + 21 = 8, 3*m + 5*r = 7 for m.
-1
Suppose 0 = -2*x - 0*a - 5*a + 10, 3*a - 20 = -4*x. Solve x*o = g + 12, -4 = 3*g - o + 2*o for g.
-2
Suppose -125 = -5*c - 25. Solve -2*m + 15 = -x, 0 = -2*x - 0*x + 2*m - c for x.
-5
Let z be 2/(-3 - 28/(-10)). Let f = z - -12. Solve f = g + m - 5, -4*m + 16 = -2*g for g.
2
Let r be (18/(-21))/((-4)/14). Solve r*j - j = -3*l - 19, -3*j = 5*l + 31 for l.
-5
Let c(l) = -5*l + 22. Let y be c(4). Solve -5*s = -3*z + 8, 0*z + 2*z = -y*s - 16 for s.
-4
Let h(k) = -k**2 - 8*k + 8. Let d be h(-8). Suppose 0 = -c + d - 3. Solve -o + 3*q = 7, c*q + 11 = -4*o - 0*q for o.
-4
Let o = -2 - -4. Suppose 3*z = 5*j - 130, 3*j = j - z + 41. Suppose -j = -5*v - 3*l, v + 13 = 4*v + o*l. Solve -f + v = -d, 5*d + 15 = -f - 4*f for f.
2
Suppose r - 4*j - 4 = -0*r, 2*r - 3*j = 8. Suppose r*f = 5*f. Suppose -2*z - 2*z + 8 = f. Solve -5*p = g + z*g - 25, -17 = -3*g - p for g.
5
Let u(s) be the second derivative of s**4/2 + s**3/6 - s**2/2 + s. Let a = -15 + 12. Let y be u(a). Solve z + 0*z + 15 = -2*w, 5*z + y = -5*w for w.
-5
Let q be 15/4 + (-2)/(-8). Suppose -2*d + 6*d = q. Solve d = -2*a + k, 1 - 6 = 5*a - 3*k for a.
2
Let p be -1 + 5 + (-5 - -6). Let x be (-4)/(-2) + -3 + p. Solve -x*f + 9 = 3*h - 11, -3*f + 15 = -h for h.
0
Let t(c) be the first derivative of -c**4/4 + c**3/3 - c**2/2 - c - 7. Let v be t(-1). Solve 20 = -4*r - 3*x, -6*r + 2*x - 20 = -v*r for r.
-5
Suppose 7 - 31 = -2*y. Let w be y*(-1 - (-20)/16). Solve b + 6*i - i - 8 = 0, 5*b + w*i = -4 for b.
-2
Suppose 2*v + 3*v - 25 = 0. Solve -i = i - c - 7, 16 = v*i - c for i.
3
Suppose -3*f - 4*a = 0, f + 3*a = 5*a. Let o = -65 + 95. Suppose f*u + u - o = 0. Solve -4*b - 4*m - 8 = 0, -m = -3*b + 4*m - u for b.
-5
Suppose -5*i + 0*i = 2*r - 5, -25 = 5*r. Solve -5*d = 2*a, -3*a + i = 4*d + 10 for d.
2
Let o be (0 + 8)*2/8. Solve 5*s - o*i = -15, i = -i for s.
-3
Suppose 20 = -2*d - 4*a, 5*a - 2 + 27 = -4*d. Let k be (11 - (1 - d))*3. Solve -4*l - 3*r = -7 + k, -l - 1 = -4*r for l.
-5
Suppose 0 = 2*o + 2*x - 6, 0*o = -4*o - 2*x + 10. Solve -30 = -10*f + 5*f - 5*g, 0 = o*f - 2*g - 8 for f.
5
Suppose 0 = 5*v + 17 + 8. Suppose 14 = -q - a, -4*q + a = 10 + 26. Let r = v - q. Solve x = 5*d + 7, 0*d + 7 = 4*d - r*x for d.
-2
Suppose 2 = -2*p + p. Let x = 5 + p. Let f be ((-14)/(-35))/(1/5). Solve b + 9 = -f*t, t = x*b + 3*t + 11 for b.
-1
Let l = -8 + 8. Suppose l*p = 4*p. Suppose r = -4*b + 22, -19 = 3*r - 5*b - p. Solve -11 = -r*u - i, i + 0 = 3 for u.
4
Let a(h) = 3*h + 4. Let s be a(7). Suppose 4*n - s = -g, 5*n - 30 = -3*g + 3. Solve -5*j - 6 = -2*j, -4*q - n = 5*j for q.
1
Let r be 66/4*4/6. Let b = r - 7. Solve 16 = -b*u + 4*m, 0*u + 3*m = -5*u + 20 for u.
1
Let z be 1 - (-2)/((-2)/7). Let y = -4 - z. Suppose y*s = s + 5. Solve -2*x = 10, 5*g + s = -x - 10 for g.
-2
Suppose -2*c = -0*c - 32. Let z = 30 - c. Solve 4*m - 16 = -5*o + 10, o = 4*m - z for m.
4
Let p be -1*(-6)/(-2) - 0. Let h = 0 - p. Solve c = -1, -t = -4*c + 2*c - h for t.
1
Let v(l) = 5*l**3 + 2*l**2 - 2*l + 1. Let p be v(1). Let s = -12 + p. Let n = s - -8. Solve 4*o = 4*q + 28, 5*q + 27 = n for o.
2
Suppose 2*z + 2*n - 17 = -3*z, 3*z - 5*n = 4. Solve -z*m + 7*c - 4 = 2*c, 5*c = m - 2 for m.
-3
Let j be 23 + (2/3)/(6/(-27)). Let p(y) = 3*y - 1. Let t be p(2). Solve 0 = -3*b + 2*f + 1, j = -0*b - t*b - f for b.
-3
Suppose -5 = -x + 3*i, 0*x + 5*x + 3*i - 25 = 0. Solve 0 = 4*q - x*p + 2, -5*q + 4*p + 3 = 1 for q.
2
Let q be (2 - 3 - -1)/(-2). Let a(o) = -8 + o**2 + 2*o + o**3 + q*o**3 - 7*o**2. Let u be a(6). Solve -u*i = -5*w + w + 8, 0 = 2*i + 3*w - 21 for i.
3
Let p = 15 + -12. Solve p*r = 5*s - 1, 2*s - 4*r = s + 7 for s.
-1
Let k = -17 - -52. Suppose c + 4*t = -12, t - 2*t = 5*c - k. Suppose -z - z = -c. Solve -2*q = -q, z = -m + 4*q for m.
-4
Let u(z) = -2*z - 11. Let w be u(-11). Solve 0 = -v + 4*h - w, 0 = -4*v + 3*h + h - 20 for v.
-3
Let f be -2*(-4)/(-40)*-15. Solve 2 - 4 = -f*r + 4*s, 0 = 5*s - 5 for r.
2
Let b = 1 - -4. Suppose b*f - 4*u - 53 = 0, 5*f - 2*u - 13 = 46. Solve 0 = -3*i - j - f, -24 = 3*i + 4*j - 8 for i.
-4
Suppose -p - 2*p - 15 = -3*u, 5*u - 3*p - 15 = 0. Solve 4*a - 2*k + k + 5 = 0, u = 4*a + k - 5 for a.
0
Let n = 8 - 8. Suppose 0 = -n*t - t. Solve -4*w = -2*z + 18, t = -z - z + 5*w + 23 for z.
-1
Let z(x) = -x**3 - 5*x**2 + 7*x + 6. Let l be z(-6). Suppose -3*u + 3 = -l*u. Let t be 3/(5 - 2) + u. Solve 3*c = -5*r - 32, -3*c + 4*r + t = -2 for c.
-4
Suppose 3*k = -3*k + 12. Solve -k*j = -5*w - 15, j - w + 15 = -3*j for j.
-5
Suppose -3*m + 4*m - 3 = 0. Suppose -m*y = -3*o - 33, 2*y + 2*o + 2*o - 28 = 0. Let q be (1 - 1)*4/y. Solve 4*b + 4*g + 12 = 0, 3*b - 2*g + 4 = -q for b.
-2
Let f = -5 + 8. Let t be ((-1)/3)/(f/(-27)). Suppose j + 5 = 0, 2*v - 4*j = -t*v + 130. Solve n + 5*h - 25 = 0, v = 4*n + 3*h - 10 for n.
5
Let q be 128/5 + 4/10. Let y(d) = 12*d. Let w be y(2). Suppose 3*z = -9 + w. Solve -2*t = z*j + q, -j - t - 19 = 4*t for j.
-4
Let n be (2 + -3)/((-14)/28). Solve 0 = 3*h + t + n, -5*t = -2*h - 0*t - 7 for h.
-1
Let n be 5 - (0 + (-1 - -2)). Solve 0*o + 2*o + 6 = n*l, 0 = -5*l + 5*o - 5 for l.
4
Suppose 3*w = -w + 36. Let t(c) = c**3 - 3*c**2 - 4*c + 4. Let m be t(4). Solve -m*q - w = -5*i + 7, 2*i = -q - 4 for q.
-4
Let t = 16 - 11. Let b be (1/(-2))/(t/(-40)). Solve -4*p = 2*v - 16, -2*p + 2 = b*v - 0 for p.
5
Let h = 5 + -3. Let n(w) = 4 - 3 - 2*w**2 + h*w - 2*w**2 + w**3 + 2. Let b be n(3). Solve 4*s + b = -g - 2, g - 2*s + 2 = 0 for g.
-2
Let u(r) = -3*r + 4. Let t be u(-6). Let z(a) = -4*a - 2. Let q(s) = s + 1. Let j be q(-4). Let d be z(j). Solve w = -2*w - p + d, -t = -5*w + p for w.
4
Suppose -6 = 3*m, m + 3*m = 4*q - 8. Suppose q = -2*k - 0*k + 6. Solve -k*d - 2*u + 2 + 0 = 0, 0 = -4*d + 5*u + 18 for d.
2
Let v(d) = d. Let j(a) = -a**2 + 16*a + 1. Let u(i) = j(i) - 6*v(i). Let t be u(7). Suppose -o - o = -t. Solve -p + 0*p - 6 = -2*n, 3*n - p 