 - 1 = t. Solve 5*h - d*w - 24 = 0, -3*h + o*w = -0*h - 22 for h.
4
Let c = -2 - -3. Suppose 2*o - 1 = c. Let p be o + 2 + 0 - -2. Solve -11 = -r + 5*r - p*w, -5 = -2*r - w for r.
1
Suppose 4*x - 1 = 3. Solve -4*g - 14 = -2*n, 2*n + 5*g + 12 = -x for n.
1
Let f be (-1 + 7)*(-16)/(-12). Suppose t = -4*t - r + 22, -f = -4*r. Let y = -10 - -15. Solve -2*j + 0*j - 23 = -y*g, t*g = -3*j for g.
3
Suppose 0 = -3*t - n - 22, -3*t - 2 - 30 = -4*n. Let f be -3*(t/3 - -2). Suppose -10*o = -5*o - 65. Solve 2*z = 5*x + 2 + 15, x = -f*z - o for z.
-4
Let p be 2/(8/(-22))*-2. Let k(f) = -f**2 + 12*f - 9. Let r be k(p). Suppose r = 4*s - 14. Solve 9 = 5*m - 4*q, 5 + 1 = s*m - 2*q for m.
1
Let w(r) = r**3 + 5*r**2 + 4*r + 1. Let b be w(-3). Let t = 1 + b. Let g be 117/6*t/6. Solve 0 = 5*k + 4*j + g, 2*k - 5*j = k + 18 for k.
-2
Let r(h) = 4*h**2 - 1. Let a be r(-1). Let l(w) = w**3 - 4*w**2 + 2*w + 4. Let m be l(a). Solve 0 = 5*i + 4*k - 2, -m = -i + 3*i + k for i.
-2
Let u be ((-2)/(-4))/(2/(-8)). Let m be (2/(-4))/(u/12). Solve 2*r = -5*o - m + 22, -3*o = -3*r - 24 for o.
5
Let k = -4 + 8. Solve 0 = -2*b + k*b + 5*s - 15, 0 = 3*b - 3*s - 12 for b.
5
Suppose -i - 2 = -4. Let l(m) = m**3 + 7*m**2 - 7*m + 11. Let u be l(-8). Suppose 20 = u*x + i*x. Solve s = -x*p + 15, -s = -2*p + 2*s - 3 for p.
3
Let q(x) = x**3 + 6*x**2 + 3*x - 4. Let p be q(-5). Suppose p*r = 3*r + 6. Let g be 2 + -4 + (r - -3). Solve 0*y + 15 = -g*a + 4*y, 0 = -3*a - 5*y + 12 for a.
-1
Let p = 5 + -4. Suppose m + p = 2. Let x = 4 + m. Solve 5*d = -2*a - 25, d - 2*d - x = 5*a for a.
0
Let q(c) = -c**3 - 8*c**2 + c + 11. Let r be q(-8). Solve r*a + 4 = 3*g - 5, 0 = -4*a - 3*g + 16 for a.
1
Let l = -17 - -20. Solve 4*i - 7 = 5*m, i + m = -l*m - 14 for i.
-2
Let y = 7 - 6. Solve 4*c + 5*i + 1 = 0, -i = 2*c + 2*i + y for c.
1
Let a = -163 - -176. Solve 4*c + 3*w = 5*w + 22, -w + a = 4*c for c.
4
Let u = -2 + 7. Suppose g = u*g. Suppose s + 5*k = 17, g*s = -3*s + k + 3. Solve 2*j = 4*j - s, -2*o + 4*j = 14 for o.
-5
Let i = -5 + 14. Suppose i = -4*c + c. Let b = 2 - c. Solve 5*w + 0*v = -4*v + 5, -v = -b*w + 5 for w.
1
Suppose 4*h - 14 = 18. Solve t - j = -3 + 1, -t + 4*j - h = 0 for t.
0
Let q be 65/(-39) + (-28)/(-6). Solve 2*w + 4 = 7*w + 2*h, -q*w + 5*h - 10 = 0 for w.
0
Suppose -3*h - c + 12 = -4*c, 3*c = 4*h - 15. Solve o = 3*g + 16 - 1, -g = h*o + 5 for o.
0
Let t(w) = 3*w**3 + 4*w**2 + 3*w. Let n be t(-2). Let p = 14 + n. Solve -h - 4 + 1 = -2*i, p = 3*h + 2*i + 9 for h.
-3
Let p(v) = 7*v + 1. Let j = 4 - 3. Let k be p(j). Solve -5*c = -g + 23, -3*g = 2*c - k*g for c.
-5
Let o = 14 + -6. Solve 8*c - o = 4*c, m + 5 = 4*c for m.
3
Suppose -4*i + 3 = -i. Let y = 6 + i. Solve 4*q - 2*o - 16 = 0, -2*q - 5*o - y = -3 for q.
3
Let h(s) = s**2 - 7*s - 3. Let x be h(6). Let d = x - -19. Solve 4*j + 20 = v, -v - v = 2*j + d for j.
-5
Let z be 2/11 + (-42)/(-11). Suppose 4*v + 0*v = 4. Let o be 3 + (-1)/(v/(-13)). Solve -z*t - t - 5*h = 25, -5*t + 4*h = o for t.
-4
Suppose 85 = 4*o + o. Let n(g) = 2*g - 3. Let a be -2*(1/2 - 2). Let w be n(a). Solve -d = 2*b + 3, w*d + o + 3 = 5*b for d.
-5
Let m = -18 - -48. Suppose -2*n = -2*f + 3*n + m, 3*f + 5*n = 70. Solve -3*v = 5*a - 12, a - 5*a - 5*v + f = 0 for a.
0
Let m(r) = 3*r**3 + r - 1. Let k be m(2). Suppose c + 0 = 4. Suppose -44 = -c*x - 4*d, -x + 3*x + 5*d = k. Solve x = 4*h - 2*q, 11 = h + 3*h - 3*q for h.
2
Let w be 8/(-2)*(1 + -2). Let m be ((-4)/6)/(w/(-6)). Let s be (m + -3)*(-4)/4. Solve g = -s*u - 3, -2*u + g - 8 = 3*g for u.
1
Let t = -32 + 32. Solve 4*f - 17 = -x, -2*x = f - t*x + 1 for f.
5
Let f(t) = -2*t + 16. Let m be f(6). Solve 5*c - 2 = 2*c - 4*y, c - m*y = 6 for c.
2
Suppose -1 = a + 2, -5*z - 5*a = 0. Suppose -z*x - 3 = 0, -o - x = -0*x - 2. Solve 5*s + 3*y + 2 = 0, 0 = 2*s + o*y - 5*y + 4 for s.
-1
Let g be (-1 - -2)*-1 + 4. Suppose -4*r = -g*r - 8. Solve -k - 3*b = r, -6*k + 3*b = -k + 4 for k.
-2
Let g(p) = -2*p - 6. Let y be g(-5). Solve -w - 10 = -5*q + 4*w, -y*q + 5*w = -12 for q.
-2
Let g be 237/6 + 1/2. Let k(p) = 4*p + 1. Let a(m) = -3*m - 2. Let t(n) = -5*a(n) - 4*k(n). Let z be t(4). Solve -5*u = 5*r - g, 3*r = z*u - 0*u - 1 for r.
3
Let o(y) = y + 9. Let c be o(-8). Suppose c = i - 1. Suppose 12 = 2*s - 4. Solve 4*p = -2*f - i, 5*f + p = 14 + s for f.
5
Suppose 5*l + 2*t - 2 = 0, 2*l - 3*t + 3 = 6*l. Solve l = -3*q - 15, -p = -3*p + 5*q + 27 for p.
1
Suppose 2*z = -2*i + 3*i + 7, 0 = -2*i - z + 6. Solve 2*n - 3*a + i + 1 = 0, -4*a = 4*n - 36 for n.
5
Let y = 7 + -2. Let q = y - 3. Solve f - 2 - 2 = -q*d, 0 = 4*d + 4*f for d.
4
Suppose 8 = h + 3*h. Solve h*y = -5*a - 15, 3*y - 3*a = 15 + 15 for y.
5
Let q = -7 + 10. Suppose -5*p + 27 = z, -z + p = -q*p + 18. Solve -r = 2*j - z, -2*j + 4*r - 5 = 13 for j.
-1
Suppose -2*c + 2*y - 6*y = -96, 0 = -3*c + y + 123. Suppose -1 = -u + 2*a - 4, 3*u + c = -5*a. Let h = 9 + u. Solve -m + 4 = -4*i, 2*i + h*m = -3*m - 16 for i.
-2
Suppose 2*i = 6 - 2. Let h = 10 - 5. Let z be (-2)/(-5) - 2/h. Solve z = 5*q + 5*n + 15, q + 3 + 3 = i*n for q.
-4
Suppose -3*z = 5*c - 19, 2*z = c - 2*c + 1. Suppose -c = -3*a + 1. Let d be (25/5)/20*(8 + 0). Solve 9 = 5*w + 4*u, -w - d = -3*w - a*u for w.
5
Suppose f = -3*f. Solve f = -3*w, -c + 3*w - 5 = 2*w for c.
-5
Suppose 4*l - 37 = 2*u - 5*u, -4*l = -u - 25. Solve -4*p + 0 = 3*x + 11, 3*x + 2*p + l = 0 for x.
-1
Let q(f) = f**3 + 12*f**2 + 12*f + 11. Let s be q(-11). Let h be (0 - 1)*s/4. Solve 4*a - 11 = 3*d, h = -4*a - 3*d + 37 - 8 for a.
5
Let x be 39/(-9) - 2/(-6). Let j be (-6)/x - 9/(-6). Solve 5*n = -j*y + 40, 45 = 5*n + 2*y + 2*y for n.
5
Let p = 24 - 21. Solve -2*s - 1 = -p*v, -s = -0*s + 3*v - 13 for s.
4
Suppose 2*b = -0*b + 4. Suppose 5*k - 23 = b*n, 4*k + 5*n = -k + 30. Solve 5*r = 2*r + 2*g - 17, -k*r = -3*g + 28 for r.
-5
Suppose 4*f - 1 - 11 = 0. Let q(g) = 4*g - 30. Let t be q(8). Solve t*m - 15 + 4 = f*p, -2 = -5*m - p for m.
1
Let f = 1 + -5. Let d = f + 9. Suppose 0 = -0*i - d*i. Solve 0 = -3*p - i*b + b + 13, -4*p = -3*b - 14 for p.
5
Suppose 0 = -x + 3*k - 4, 6 = x + 4*k - 4. Solve 3*w - 3*i + 11 = 8*w, -x*i + 7 = 3*w for w.
1
Suppose -6 = a - 4*z, 2*a - 3*a = -3*z + 4. Suppose 0*d = -a*d + 4. Solve -x + v = -4, -d*x = -5*x + 2*v + 13 for x.
5
Let y = -55 - -55. Solve 4*b + 10 = -m + 3, y = -b - 1 for m.
-3
Let w = -30 + 32. Solve -5*q = -2*j - 14, 6*q + 4*j - w = q for q.
2
Suppose 5*q + 4*i = 27, 2*q + 5 - 21 = i. Suppose -6 = 4*l - q*l. Solve 10 - 4 = l*t - g, t - g = 4 for t.
2
Suppose 1 - 5 = -2*z. Let c = z - -3. Solve -q - 22 + 1 = c*k, -3 = -5*q + 2*k for q.
-1
Let a = -15 - -19. Solve 0 = a*f - 3*l + 5, f + 3*l + 3 = -2 for f.
-2
Suppose 0*u - 15 = 5*u. Let k = u + 4. Let f = k - -2. Solve -f*o - o + 5*h - 26 = 0, -5*o - 26 = -3*h for o.
-4
Let v be (1*-1)/((-4)/32). Suppose -3*j - 2*p + 13 = 0, 2*j - 4*p = v + 22. Let y = j - 4. Solve y*u = -3*c, 0 = -3*u - 4*c - 7 + 2 for u.
5
Suppose -5*b + b + 20 = -3*d, -d + 5*b - 25 = 0. Let u = d - 0. Suppose u*g + 18 = 3*g. Solve -2*v + g = -4*c + 2*c, 0 = v for c.
-3
Suppose -4*o - 49 = -5*c, 4*c + 13 = -5*o + 3. Suppose 0 = b - 11 + 1. Let j = o + b. Solve -4*i + 2*m = -j, 0 = 4*m + 7 + 1 for i.
0
Let n(j) = -j**3 - 8*j**2 - j + 1. Let l be n(-8). Suppose 3*b = -p + 27, b + 0*b - l = -4*p. Let z = b - 5. Solve 5*s - 3 = z*s + 5*w, 4*s = 2*w + 12 for s.
3
Let o(r) = -r**3 + 5*r**2 - 3*r - 3. Let p be o(3). Let f = p + 1. Solve 2*u + 19 = -3*d, 11 = -3*u - d - f for u.
-5
Suppose -51 = -4*w - w + 4*v, 0 = -5*v + 5. Solve -t + 4 - w = -3*b, 8 = 2*b - 4*t for b.
2
Let w(g) = g**3 - 8*g**2 - g - 4. Let o be w(8). Let v be (6/o)/(2/(-12)). Solve 5 = -v*p - 4*d, 2*p = 4*p - 4*d + 10 for p.
-3
Let i = -15 - -19. Solve -9 = -d - 2*t, i*d - t = -11 + 2 for d.
-1
Let r be (12/(-10))/(1/(-10)). Let g = -7 + r. Suppose 0 = -d + g. Solve -2*i - 14 = 4*k, -16 = i + i + d*k for i.
-3
Let z(l) be the first derivative of -4/3*l**3 - 3/2*l**2 - 1/4*l**4 + 2*l + 3. Let q be z(-3). Solve -4*u - y + 17 = 4*y, q*u - y - 5 = 0 for u.
3
Let q(j) = j**3 + 4*j**2 - 4*j + 5. Let u be q(-5). Solve 3*d = 5*p + 27 - 8, -2*p - 5*d + 11 = u for p.
-2
Suppose -15 = -c - 6. Solve 9*j - 4*j = 5*g - 15, 3*g + 2*j = c for g.
3
Suppose -20 = 2*a - 7*a. Suppose 3*f = a*f. Suppose f = -3*v + 4*y + 5, 0 = -4*y 