3*v for s.
0
Suppose -3*z + 2*z = -5. Suppose 5*y + 15 = 0, 0 = -4*m + 4*y + 48 + 4. Suppose -m = -s - s. Solve z*v = -4*w + 5, s*w + 24 = -v + 4 for w.
-5
Suppose -4*b - 2*y + 4 = -2, -21 = b + 5*y. Solve 9 + 1 = 2*v - 4*t, 4*t + 20 = b*v for v.
5
Suppose -6*l - 314 = -5*g - 4*l, 2*l = -2*g + 120. Suppose 17 = -5*a + g. Suppose f - 5*f + 16 = 0. Solve 3*x + a = -2*q + 5*q, f*q - 3 = -5*x for x.
-1
Suppose -w - 4*x = 0, -3 = 2*w - x - 12. Let q be ((-3)/3)/(1/(-2)). Let f = q + 6. Solve -3*c - p = -2, -4*c = w*p - 0 + f for c.
2
Let v be 5 + (-2)/(-1)*-1. Solve 0 = -2*x - 3*k - v, -2*x + 2*k = 6*k + 2 for x.
-3
Let o(q) = q**2 - 6*q - 9. Let d be o(8). Let v = 19 - d. Solve -k + 3*x + v = 0, 15 = -5*x - 0 for k.
3
Let f(p) = p**2 - p. Let r be f(1). Solve -3*k + r*d - 2*d = 1, 2*k + 4*d + 14 = 0 for k.
3
Let f be (-12*2)/(-3) - 4. Suppose -f*m + 9 = -11. Solve -i - 4 = g - 2, 3*i = -m*g - 14 for g.
-4
Let n be -2*((-21)/6 - -3). Let f be (0 + 0)/(2 + -1). Solve 0*r - 5*h = -3*r - 9, -r + h - n = f for r.
2
Suppose 4 = 3*o - 5. Suppose 5*l + 5*i - 30 = 0, -3*l + 2*l = -o*i - 2. Solve 0 = -5*n + h - 2, -2*n - 5*h = -l - 5 for n.
0
Let o = 7 - 10. Let d be 2*((-18)/4)/o. Solve -d*r - 2*v - 4 = 5, -2*v = -4*r - 12 for r.
-3
Let n be -6*(-3 - -1)*35/21. Solve 5*w + i + n = 0, 4*w - 5*i + 3*i + 2 = 0 for w.
-3
Suppose z + 4*z - 10 = 0. Solve -5*k - 10 = 3*l, -z*l + 0*k = 4*k + 6 for l.
-5
Let w(o) = -o - 2. Let g be w(-2). Suppose 4 = -2*n - 2*l, g*l - 3*l - 6 = 0. Solve -4*a = -n*a - 5*j - 7, 1 = -a + 4*j for a.
3
Let n be -1 + (-2 + 1 - -1). Let z be (2*n)/((-8)/12). Solve -3*d - 11 = z*j + 2*j, j + 16 = 4*d for j.
-4
Let p be (3/4)/(4/(-48)). Let j = p + 14. Solve 9 = -j*r - 0*r + k, -5*k + 19 = r for r.
-1
Let k = -2 - -3. Let x be 1/(-2)*(-6)/3. Suppose 5*v - 5*d + x = -4, 2*v - 5*d + 14 = 0. Solve -3*n = -v*f + 15, k - 4 = 2*n + 5*f for n.
-4
Let r(j) = j**3 + 1. Let i(v) = v**2 + 8*v + 8. Let d be i(-7). Let u be r(d). Suppose -u*b = -5*b. Solve -2*x - 3*g - 11 = -6*g, -5*x - 3*g + 25 = b for x.
2
Let j(d) = -d**3 + d**2 + d - 3. Suppose 2*x = -2*x. Let u be j(x). Let k = -3 - u. Solve -2*n - 2 = -k*m + m, 3*n = 0 for m.
-2
Let q(w) = -w + 3. Suppose -5*x + 31 = -4*y, 0*x + 5*y + 26 = 2*x. Let a be q(x). Solve s + a*r - 5*r = 24, 0 = -5*r - 25 for s.
-1
Let m = 1 + 8. Solve -3*n + 2*o - m = 0, -o + 5 = -2*n - 0*o for n.
-1
Let c(m) = -m**2 + 10*m + 9. Let k be c(10). Let w = -1 + k. Solve -2*a - 2*l = 0, -5*a + w = -0*l + 3*l for a.
4
Suppose 13 = 3*i + 2*t + 1, -20 = -5*i + 4*t. Suppose 2*x - 7*x + i*s + 4 = 0, -2*x + 4*s - 8 = 0. Solve -f = 2*f - y + x, -3*y - 9 = -2*f for f.
-3
Let q(z) = 7*z**2 + 2*z. Suppose -4*y = -9*y - 5. Let l be q(y). Solve -2*w + 5 = -4*w + 3*s, 3*w - l*s = -10 for w.
5
Let r = 19 - 17. Suppose -3 = r*a - 13. Solve -4*c = 2*y - 6, 3*y = a*c - 3 + 12 for y.
3
Suppose -2*r + 7*r = 5*m - 65, -2*m - r + 41 = 0. Solve 10 = -3*u + j, -j - m = 4*u - 0*j for u.
-4
Let s(o) = -o + 2. Let q be s(-6). Suppose -d - 22 = -2*z - 5*d, -4*z + q = -4*d. Solve -3*l = 5*h + 23, l + l - z*h - 18 = 0 for l.
-1
Let i(l) = -l**2 + 5*l - 2. Let k be i(3). Let h be 6/9 - 16/(-12). Let u = 10 + h. Solve -5*c - 3 = -v - 3*v, 4*c + k*v - u = 0 for c.
1
Suppose -8 + 9 = u. Solve -i + 4 = -u, 4*o + 2*i - 10 = 0 for o.
0
Let d(o) = -o. Suppose r - 7 = 4*n, 0*n = -4*r + 4*n + 16. Suppose 3*u - r = -9. Let y be d(u). Solve -t = -y*k + 4*t + 7, 0 = 3*k + 4*t + 1 for k.
1
Suppose 4*s = 5*m + 47, m + 12 = 3*s + 5*m. Let p be (s/10)/((-6)/(-15)). Solve 2*f + 2*v - 15 = -v, p*f - 3*v = -15 for f.
0
Let i = 13 + -8. Suppose 3*t + 3 + 3 = 3*c, 3*c - 4*t = i. Suppose 2*u + z - 18 = 0, 3*z + 5 = c*u - 13. Solve -5*o - 5*p = 15, 2*o - 4*p + u = o for o.
-4
Suppose -p = -6*p + 15. Suppose p*n = 8*n. Solve 4*i + 3*v = n, -3*i = -6*i + 3*v for i.
0
Let l(m) = -3*m**3 + m**2 + 2*m + 1. Let v be l(-1). Solve 4*z + v*f - 14 + 4 = 0, -3*f = -3*z - 3 for z.
1
Suppose 13 = j + 6. Suppose l - 2*l = 2*a + j, -4*l = -5*a - 37. Solve 2*i - 6 = 0, 4*i - 18 = -l*w - 0*w for w.
2
Let y = -162 + 165. Solve -v = 4*s - 8, v + y*s - 23 = -4*v for v.
4
Let a = 12 + -7. Suppose 3*o = 5*m - 93, 37 + 6 = 3*m - 5*o. Let j = m + -9. Solve -c - 4*c - j = -4*h, 2*h + a*c = 6 for h.
3
Let i be (-2)/(-2)*(-84)/(-7). Let u = i + -10. Solve 3*z + 9 = 3*k, 5*z - 6*z - u*k = 0 for z.
-2
Let q be 2/(-8) + 68/16. Suppose q*b - b = -5*h - 1, 0 = -5*h - 25. Suppose 0 = -0*p + p - b. Solve -3*s + 20 = 3*r + 2*r, -p = s - 2*r for s.
0
Let w be 0*(-2)/4 - -5. Let b = w - 3. Suppose 0*t - 3*a - 30 = -4*t, 4*a - 16 = -4*t. Solve -b*j + 2*n + t = -4*j, 0 = 2*j + n + 2 for j.
1
Let q be 12 - 3/6*4. Suppose 14 = 2*l - q. Solve 2*g - 2*z - l = 0, -2*g = -4*g - z + 3 for g.
3
Let q(b) = -5 - 1 + 3*b - b - b. Let m be q(8). Solve u + 4*u + 11 = -f, 0 = -m*u - 3*f + 6 for u.
-3
Suppose 49 = -5*l - 21. Let a be l/(-5) + (-1)/(-5). Solve d - a = 2*d + j, 0 = 5*j + 15 for d.
0
Let x(u) = -4*u**3 + 4 - 4*u**2 - 3 + 3*u**3 + 3*u - 4*u. Let j be x(-5). Suppose 5*z + 6 - j = 0. Solve 2*i = -2, b + 0*i - 5*i - z = 0 for b.
0
Let l = -14 - -27. Solve 4*i + g + l = -i, -8 = -4*g for i.
-3
Let i = 66 + -50. Solve -2*r - r - 2*w = i, -4*r - 4*w - 28 = 0 for r.
-2
Let q(r) be the first derivative of -r**4/4 - r**3/3 + r**2/2 - 1. Let b be q(0). Suppose 0 = -b*m - m. Solve -4*o + 3*d - 10 = d, m = -4*o + 4*d - 20 for o.
0
Let s(g) = -2*g + 3*g - 2*g - 1. Let q be s(-2). Suppose -q = -r + 1. Solve 3*x - 2*x = r*f - 15, 5*f - 15 = -2*x for x.
-5
Suppose 2*m = 1 - 3. Let p = m - -5. Solve -12 = 3*t, 5*i - p*t - 41 = -0 for i.
5
Suppose 16 = -q + 3*q. Solve -4*d - q = d - l, 2*d + 2 = l for d.
-2
Let r be (-10)/(-45) + (-34)/(-9). Solve 1 = -d - 5*p - r, 2*d - 3*p = 3 for d.
0
Suppose 0 = 4*q - 3*b - 75, 5*q - 40 = 2*q - b. Let n = 13 - 11. Let u be (n + 2/4)*2. Solve -i + q = -u*w, -4*w - 11 = -4*i + 1 for w.
-3
Let s(j) = j - 1. Suppose 3 = 3*k, -3*k + 4 = r - 5. Let q be s(r). Let v be 33/(6 - 9/3). Solve -5*t - 5*o - 9 = v, 0 = 3*t - q*o + 20 for t.
-5
Suppose -13 + 51 = -i. Let a be (1/2)/((-2)/92). Let d = a - i. Solve 5*f - 18 - 7 = -5*c, -5*f + d = 0 for c.
2
Suppose 5*d - 15 = 2*d. Suppose -k + 7 = -5*v - 5, -2*k + 14 = -d*v. Solve -5*p + 3*r = -16, -k*p = 3*p - r - 12 for p.
2
Let b = 70 - 66. Solve c - 3*g + 1 = 0, b = -2*c + g + 12 for c.
5
Suppose -3*k + 2*k + 7 = 0. Let j = 11 - k. Solve d = -v + j, 4*v - 10 = -d - 0*d for d.
2
Let l = 1 + -1. Suppose -w - w - 6 = l. Let m be (w/2)/((-3)/6). Solve 5*y + 3*n = 0, 3*y - m*n = -2*n + 14 for y.
3
Suppose 3*c - 2 - 4 = 0. Suppose 33 = -j + c*j. Let r be -2 + (1*j)/3. Solve p = 4*v - 4 - r, 4*v - 10 = -2*p for p.
-1
Suppose 0 = m - 2*q + 5, -2*q + 8 = -0. Suppose 0 = -4*f - 4*g + 45 + 31, -5*f + m*g + 103 = 0. Solve -4*t + 2*i - 3*i + f = 0, -3*t = 3*i - 24 for t.
4
Suppose o - 8 = -0*o + v, 4*o - 3*v - 32 = 0. Solve 5*i + 8*n - 20 = 4*n, -2*i = 4*n - o for i.
4
Let k = 25 + -9. Solve -4*m - 4*h = -k, -2*h = -4 - 4 for m.
0
Let l = -2 + 4. Suppose 3*q - 3 = 0, 0*h = -h - l*q + 6. Solve 2*o + y - 6 = 0, 0 = -5*o + h*y - 2*y + 6 for o.
2
Suppose 19 = u + 3. Solve 6 = -3*q + g - 5, 3*q + 4*g = -u for q.
-4
Suppose 4 + 2 = 2*k. Let f = 22 - 20. Suppose k*u - f*y - 3 = 6, 3 = u + y. Solve 0 = 3*b + 3*l - 1 - 2, 12 = -u*b + 2*l for b.
-2
Let h(o) = 2*o**2 - 5*o. Let n be h(3). Solve -2*x - x + 21 = n*u, -7 = -3*u + 4*x for u.
5
Let k be ((-5)/15*-3)/(2/4). Solve u = -4*h - 3, 0 = k*u - h - h - 14 for u.
5
Let i be (0 + -1)/(2/(-16)). Suppose 0 = i*k - 3*k - 50. Let g(a) = a**3 - 9*a**2 - 9*a - 8. Let z be g(k). Solve h - z*n - n + 2 = 0, -3*n = -3*h + 6 for h.
4
Let b = 100 + -98. Let h = 7 - 3. Solve 3*r - h*m - 45 = -b*r, 0 = -r - 4*m - 15 for r.
5
Let q = -21 + 27. Solve -q = -3*p - 3, 20 = -5*y - 5*p for y.
-5
Let r = -1 + -8. Let y be 4/6 - 21/r. Solve -y*h = -4*g - 24, g - 5*h + 14 = 3*g for g.
-3
Suppose -o = 2*o - 36. Let y = -22 - -31. Let k = -7 + y. Solve k*s = -4*m + 6*m - o, -m = s for m.
3
Let b be 2/(-5) + 4/10. Suppose b = -f + 5*v + 22, 2*f + 3*v + 24 = -f. Let z = 0 - f. Solve -c - 4*d = -6, 2 = 3*c - d - z*d for c.
2
Let r(v) = v**2 - 2*v - 3. Let m be r(-2). Suppose 5*g - z - m = 1, -3*z = -12. Solve 0 = -g*y - 5*l + 4, -y = -6*y + 2*l + 10 for y.