 7*z + 2*z, 4*p + c*z = 22 for p.
5
Let l be (-15)/(-6)*(-6)/(-5). Let j be ((-11)/l)/((-2)/6). Suppose 5*i - j = 3*q, -6*q + 13 = i - 3*q. Solve i*f = u + 18, 3*u = -2*u + f - 14 for u.
-2
Let j be (-1 + 3 - 5) + 8. Let s(t) = 2*t**2 - 3*t. Let u be s(2). Suppose u = j*n - 8. Solve 5*b + 2 = 3*w + 10, 5*b + 3*w = n for b.
1
Let v(y) = 3*y**2 - 2*y - 3. Let f be v(-1). Solve -r + 2*x = 3*r - f, 3*x + 10 = -r for r.
-1
Let a be 2*(0 + 1/(-2))*-4. Solve 0 = a*p + 2*m + 16, 2*p + 3*m + 0*m = -4 for p.
-5
Let l be (4*(-7)/70)/((-2)/65). Solve 3*h = 4*u + l, 2*h - 5*u - 11 = -0 for h.
3
Let u = -40 - -66. Let l = 25 - 20. Solve -2*w = -4*t + u, -l*t + 2*w - 18 = -49 for t.
5
Let n be 8/(-2)*1/6*3. Let h(u) be the first derivative of u**2/2 + 2*u + 1. Let b be h(n). Solve 12 = 2*x - b*r + 3*r, 0 = x + 3*r - 9 for x.
3
Suppose -5*a - 18 = -5*x + 17, 2*x = 4*a + 12. Suppose -3*h + x = -h. Solve 6*f + 5*r = 4*f + 26, -3*f + h*r - 7 = 0 for f.
3
Suppose 0 = 3*u - 2*z - 5 + 15, u = -4*z + 20. Solve -3*t + 19 + u = 5*a, t - 8 = -2*a for a.
5
Let s(i) = -2*i**3 - 3*i**2. Let d be s(-2). Solve -2*m + 5*t = 19, 17 - 49 = -4*m - d*t for m.
3
Let a be 12/78 + 2/(-13). Suppose 2*u + a - 2 = 0. Solve 4*s = -3*c + 3*s + u, -c + s = -3 for c.
1
Suppose -4*a = -2*z - 0*z - 8, 5*a = -2*z + 10. Suppose -3 = -a*q + 7. Solve -u - 3*u + 2*w = 22, -4*u = -q*w + 25 for u.
-5
Let q(p) = 2*p**2 - 2*p - p**2 + 2*p - 2*p + 6*p**3 + 1. Suppose -5*v + 2 + 3 = 0. Let r be q(v). Solve -4*u - 21 = 5*i, -u + 2*u = i + r for i.
-5
Suppose -4*p + 6*p = -6. Let s = 18 - 4. Let y be 12/(-18) - s/p. Solve 5*o - y*o + 21 = 5*d, 0 = d + o - 3 for d.
4
Suppose -s - 2*s = -15. Suppose -5*b + 145 = 5*v, 2*b - v + s*v - 52 = 0. Let k = -29 - -32. Solve -3*y + 9 = 4*x + 2*y, 4*y - b = k*x for x.
-4
Let k(c) = -c + 4. Suppose 0*p - 2*d = -p + 2, -5 = 5*d. Let a be k(p). Solve -a*j + 0*j = -y + 16, 6 = -2*j + y for j.
-5
Let l be (0 + -2)*4/(-2). Suppose -2*o + o = l, -c + 2*o = -16. Suppose 0 = 5*v + 5*d - 85, 0*d - 3*d = 9. Solve 0 = 4*x + v, 4*z - 3*x - 31 = -c for z.
2
Let s(x) = x**3 - 5*x**2 + 4. Suppose a - 4*a + 15 = 2*d, -2*a + 10 = 5*d. Let k be s(a). Solve 0*l - 2*l - 2*j = 4, -1 = -3*l + k*j for l.
-1
Let s(f) = f**2 - 2*f - 3. Let i be s(3). Solve -3*g + 4*d - d - 6 = i, -16 = -2*g - 2*d for g.
3
Let w = 40 + -37. Solve 1 = -a - 2*i + w*i, -i + 4 = 0 for a.
3
Let v = 5 - 0. Solve -5 = -c - 0*c, -k = -v*c + 23 for k.
2
Suppose -6 = -4*d - 2. Let u(p) = 19*p + 1. Let l be u(d). Solve -3*b - l = -4*v + b, 20 = 3*v - 4*b for v.
0
Let t = -22 - -26. Solve -3*v - 4*y + 32 = 0, -2*y = t*v + v - 30 for v.
4
Let i(c) = 2*c**2 + 1. Suppose 5*s = -2*l + 12, 0 = -5*s + 4 + 6. Let p be i(l). Solve 4*r + 4*n + 5 = 3*r, -4*n = p*r - 1 for r.
3
Let z = 68 - 48. Suppose 1 = 4*x - 3*b - z, 9 = 4*x + b. Let k(j) = 12*j. Let t be k(1). Solve 3*h = w - 9, -h - t = x*h for w.
0
Let z = 36 + -21. Solve -4*q = 5*u - 6 - z, 2*u - 10 = 0 for q.
-1
Suppose -15*r = -13*r - 6. Solve 4*c - 7 = -r*n + 3, n - 14 = -4*c for c.
4
Let a = -105 + 112. Solve 6*t - a = 2*l + 3*t, 3*l = 4*t - 11 for l.
-5
Suppose 5*k - 46 = 64. Suppose -2*j = 4, -j = -0*z - 4*z + k. Solve -2*p + 2*t = -5*p - 8, 5*t = -z*p - 15 for p.
-2
Suppose 4 = -2*z + 4*c - 0, z - 23 = -3*c. Let r = z - 5. Solve 7*x + 2*f - 21 = 2*x, -r*x + 18 = 3*f for x.
3
Let a(p) = 2*p**2 + p. Let t be a(-2). Let x = 6 - t. Solve -2*k + 6 = x, 2*z + 5*k - 3 = 18 for z.
3
Suppose 3*p + 4*w = 49 - 16, -w = -p + 18. Solve -h + p = 4*u, 3*u - 1 = -4*h + 7 for h.
-1
Let x be 1*4*1/1. Let m(t) = -t**3 - 11*t**2 + 3. Let u be m(-11). Suppose 0 = 4*g - u*g - 2. Solve -g*y + 4 = -0, -x*y = 5*z + 17 for z.
-5
Let r(a) = 4*a + 3. Let v be r(2). Solve 4*t + v = w, 5*t = -4*w + 7*t - 12 for w.
-5
Suppose m - 26 = 5*x, -3*m + 2*x + 6 = -20. Suppose 5*t = m*t - 21. Solve 3*p = -c + 11, -3*p + p - t = -5*c for c.
5
Let p be (-2)/(-8) - 27/(-4). Let s(u) = -2*u**3 - 26*u**2 - 4*u - 50. Let h be s(-13). Solve -2*x = -3*v - 3*x + p, 0 = -h*v + 2*x + 18 for v.
4
Let j(l) = l**2 + 5*l + 6. Let r be j(-4). Suppose 0 = -5*d + 2*f + 58, f + 40 = 2*d - 4*f. Solve -4*h + d = -a, a = 2*h + r*a - 2 for h.
2
Suppose 5*w = 3*a + 3*w - 51, 5*a - w - 78 = 0. Solve 5*h + 4*d - 16 = 0, a = -2*h + 2*d + 7 for h.
0
Suppose 3*c + o = 53, -4*c + o + 48 = -25. Solve -2*f - 3*l - 2*l = 25, -3*f - l - c = 0 for f.
-5
Let s be (4/(-10))/((-2)/10). Suppose -3*h - 5*y + 22 = -9, -4*h + y = -49. Suppose h = 5*x - 8. Solve x*l - 15 = s*m + 13, 4*m = 3*l - 31 for m.
-4
Let y = -25 + 31. Solve -7 = j + 2*q, 3*q = 2*j + 5*q + y for j.
1
Let f = 28 + -25. Solve 5*t + f*o + 6 = 0, 2*o = -2*t + 4*o - 12 for t.
-3
Suppose -3 = 4*g - 5*g. Suppose 5*t + 3*q = -0*q + 29, 3*t = -3*q + 21. Solve -g*r - 23 = 4*f, -r + t*r = -f - 17 for f.
-2
Let b(t) = -t - 6. Let k be b(-10). Let y be (k/(-1))/((-4)/6). Solve 0 = 2*g - 3*g + 4*h + 2, -2*g - 2*h = y for g.
-2
Let u(r) = -r**3 - r**2 + 4*r + 3. Let k be u(-2). Let s be k + 0 + 2 + 1. Solve -2*g + 7*g - 10 = 0, -s*t + 5*g - 8 = 0 for t.
1
Suppose 0 = -i + 3*z - 1 - 2, -5*i + 5*z = 5. Suppose -4 = -2*l + l. Let y = l - i. Solve -j = 6*d - y*d + 5, 5 = -4*d - j for d.
0
Suppose -o - 3*h = -13 - 1, 3*o - 32 = -4*h. Suppose -3*r - 2*m - o = 2, -2*r - 13 = -5*m. Let c = r + 4. Solve -3*k - 2*k - f = c, -2*k = 4*f - 18 for k.
-1
Let m = -7 + 5. Let h be 10*(-2)/(-2 + m). Solve 4*t = y - 12 - 6, -h*y = 5*t + 10 for y.
2
Let t = 40 - 9. Solve -5*n - 34 - 1 = 4*i, 0 = 2*n + 5*i + t for n.
-3
Let z be (0 - (-2)/(-4))*-14. Let p = 5 - 0. Suppose 4*v - 25 = -4*f + 3*v, 0 = -4*f - 4*v + 40. Solve c - 2*c - 23 = -p*w, -f*c - z = 2*w for w.
4
Suppose 21 = 6*m - 3. Solve -4*b + 4*w = 2*w + m, -2 = -w for b.
0
Let i(w) = -7 - 4*w**3 - 1 + 5*w**2 + 5*w**3 - 10*w. Let k be i(-6). Let g(p) = 2*p**2 + 2*p. Let a be g(-2). Solve -c + 0*c + 5 = -3*o, 0 = -c - a*o - k for c.
-4
Suppose -3*d + 0*d + w - 4 = 0, -5*w = -2*d + 19. Let z(n) = n**2 - 5*n - 4. Let q be z(5). Let f be 2/d*18/q. Solve 3*j - 16 = 5*a, 0 = -0*a + f*a + 6 for j.
2
Suppose -5*m + 7 + 8 = 0. Solve 3 = -m*u - 0, -4*l - 2*u = 22 for l.
-5
Let m(v) = v**3 - 6*v**2 + 8*v - 10. Let n be m(5). Solve 2*u = -n*k + 24, 2*u + 3*k = 7*k - 12 for u.
2
Let o = -44 + 47. Solve h - 2*h + 4 = -d, o*d + 12 = h for h.
0
Suppose 7*i - 2*i = 120. Let r = -20 + i. Solve -2*k + k - 6 = -g, 3*g - 19 = r*k for k.
-1
Let r = -35 + 52. Solve -2*u = -4*j - j - r, 2*u = j - 3 for j.
-5
Suppose w = -q + 17 + 3, -3*w + 40 = 2*q. Suppose 25 + 25 = -2*j. Let x = j + 35. Solve -v + 7*c - 3*c + q = 0, -2*v = 2*c + x for v.
0
Suppose 3*t + w = -0*w + 15, 3*w - 25 = -4*t. Solve -2*o = 5*y + 18, -y + t*y + 7 = -5*o for y.
-4
Let i = -26 - -28. Solve 0 = p + i*n - 9, -3 - 5 = -4*n for p.
5
Suppose -32*o + 27 = -29*o. Solve -3*g - o = x, -7*x = 3*g - 2*x - 3 for g.
-4
Suppose 2*v - 1 = 3. Suppose 0 = 5*y + 5*g + 15, -y - 4*g + 8*g + 22 = 0. Let t be (-4 - (2 - y))/(-1). Solve t*d - 4 = 6*d, v*j - 8 = 4*d for j.
0
Let s(u) = -u**2 + 10*u + 5. Let l be s(8). Let q(a) = a**2 - 3*a - 3. Let t be q(4). Solve 4*w + t - l = -4*r, -5*w + 4*r = -16 for w.
4
Suppose -49 = -3*w - z, 11*z = -5*w + 12*z + 71. Solve 5*b + w = -t, 4*b + 5*t - 4 = -37 for b.
-2
Let a(p) = -p**2 + 18*p - 25. Let o be a(16). Solve 2*s + 2*i + 23 = o*i, 0 = -2*i + 10 for s.
1
Suppose 13*r + 9 = 16*r. Solve 5*g - 27 = 3*f, -2*f - f - r*g = 3 for f.
-4
Let m be (-8)/(-6)*132/8. Suppose -r - m = -3*r. Solve u + r = 2*b, -3*b + 28 = -3*u + 2*b for u.
-1
Let a = 20 + -5. Suppose 5*j - a - 18 = 2*v, 5*j + v - 21 = 0. Solve 3*x = 2*x + 4*m - 1, j*m + 20 = -3*x for x.
-5
Let c be (-27)/(-5) + (-6)/15. Suppose 0 = 4*l + c*s - 45, -4*l - s + 30 = s. Solve 9 = -2*u + 3*q, -l*u + 7*u - q - 1 = 0 for u.
3
Suppose -3*p = -s - 18, p + 2*s + 16 = 3*p. Let v(f) = -f**3 - 2*f**2 + 2*f + 2. Let x be v(-3). Solve -k + 13 = -3*h, -p*h - x*k = -k + 16 for h.
-4
Let y = 107 - 102. Solve -10 = -5*h - 4*j, y*h + 3*j - 9 = 1 for h.
2
Let u be -5*(-2)/5 + -1. Suppose 46 = 4*x + 5*g + u, 0 = -4*x - g + 25. Let p be 5/(-8)*-2*4. Solve -11 - p = -4*t + 4*j, x*j - 4 = -3*t for t.
3
Suppose -33 = -2*q - 9*q. Solve 5*j - 4*s = 45, -q*j - 5*s - 10 = -0*j for j.
5
Let h = -4 - 0. Suppose 0 = 4*f - 5*i - 17, 33 = 6*f - 3*f + 3*i. 