= -0*q - 5*f for q.
1
Suppose 3*g - o = 9, 0 = -2*o + 4*o. Suppose b = m + 1 - 4, 5*m + g*b - 39 = 0. Let q(r) = r - 1. Let l be q(m). Solve -4*h = l*a - 41, 3*h + 2 = 2*a + h for a.
5
Suppose 3 = z - 0. Suppose 0 = -v + 2*v - 2*h + 4, -4*h = -z*v - 6. Solve -5*b - 20 = -4*l, -v*b - l = 1 - 6 for b.
0
Let l = 9 - 30. Let f = -19 - l. Solve 3 = 3*x - 4*s, -5*s - f = -2*x - 0*s for x.
1
Suppose 10*d = 7*d + 9. Solve -2*s - 3*s = -2*g + 15, s = -4*g - d for g.
0
Let s be 1/((-42)/(-20) - 2). Suppose 2*y - 15 = -3*a, s = 5*a - 2*y + 1. Solve 3*k + 0*d + 15 = -a*d, 4*k = 5*d + 25 for k.
0
Let f be ((-6)/4)/3*4. Let t = f + 2. Let d be -1*(t - 0)/(-2). Solve 2*g - 4*p - 14 = -0*g, 5*g + 4*p + 7 = d for g.
1
Let v(w) be the first derivative of 3*w**4/4 + w**2/2 + 6. Let t be v(1). Solve 2 = q, t*a + 2*q - 5*q + 10 = 0 for a.
-1
Let f(a) = -a - 3. Let o(l) = -l**3 + 3*l**2 - l - 4. Let q be o(3). Let n be f(q). Solve 2*z + n = 0, 7 - 15 = -4*w - 4*z for w.
4
Let k(y) = -2*y - 6. Let z = -29 + 25. Let b be k(z). Solve -b*j + 2*d = -16, 4*d - 3*d + 17 = 4*j for j.
3
Let j(k) = -k**3 + 4*k**2 + 4*k + 6. Let w be j(5). Solve 2*r - w = -2*r - s, -4*r + 19 = -5*s for r.
1
Suppose -6*j = -3*j - 24. Suppose -7*x + 2*x = -20. Let n = j - x. Solve n*w = -4*m, 3*w + 1 + 3 = m for w.
-1
Suppose -6*b + 6 = -3*b. Suppose b*x + x = 6. Let m be (x/(-5))/(2/(-10)). Solve -z + w = 5, -10 = z + m*w - 4*w for z.
0
Suppose 3*w + w = 8. Let z be (-6)/(-1) - (w - 1). Solve -4*r + v = -7, z*v = 3*r - 10 - 8 for r.
1
Let x = -12 + 29. Let v(k) = k**3 - k**2 + 3. Let q be v(0). Solve -x = f + 4*j, f + q*f + 29 = -3*j for f.
-5
Let z be -2 + 3 - 3/3. Suppose 0*f - f = -3. Suppose -2*p + 37 = 3*m, z*m + f*m = 3*p + 12. Solve 2*w + 8 = -4*a, 3*w = 4*a - 1 + m for a.
-2
Suppose -y + 5*y + 4*h = -16, 3*h = 15. Let n(u) = -u - 5. Let z be n(y). Solve -5*l = s - 5, -2*s + 2 = -2*l + z for l.
1
Suppose -3*r - 6 = -r. Let a be r/(-6) + 25/10. Solve -4*k + m + 14 = -m, -a*k = 5*m - 30 for k.
5
Let s = -3 - -2. Let u be (s - -1)/((-6)/3). Suppose 3 = 2*w + 5*m + 5, 4*w - m - 18 = u. Solve -5*q = w*y - y - 16, -2 = 4*y + 2*q for y.
-3
Let q(g) = 2*g**2 - 4*g + 2. Let i be q(2). Suppose -b = i + 1. Let s = 0 - b. Solve -4*d + 12 = 4*k - 3*k, 0 = -5*d - s*k + 15 for d.
3
Let x(a) = -a**3 - 3. Let f be x(-2). Solve 2*w - c + 0 = -3, -c + f = 0 for w.
1
Suppose 5*n = 4*n. Solve 0 = q - 0*q - 3*c - 15, -c - 4 = n for q.
3
Suppose 2*o = -4*b + 20, 2*b - 18 = -5*o - 0*b. Suppose -4*l + 6*l = o. Solve -5*p = -n - 29 + 6, -l = -p + 2*n for p.
5
Let p = -1 + 7. Suppose -20 = 3*o + 5*b, 0 = o - p*b + 2*b - 16. Solve 0 = m - 5*y - 11, o = -4*y - 0 - 8 for m.
1
Let p = 8 + -19. Let q = 28 + p. Suppose -q - 7 = -3*b. Solve -5*a + 10 = -5*o, -4*o - 3*a + b = a for o.
0
Suppose 0 = 5*h - 3 - 7. Let i(w) = w**3 + 4*w**2 + 4*w + 3. Let q be i(-2). Suppose -2*a + q = -a. Solve -3*l = -a*m - 6, -m = h*m + 5*l + 14 for m.
-3
Let g be 32/6*(-6)/(-4). Let q be g/14*(-14)/(-4). Solve -4*b = h - q + 1, 4*b + 29 = 5*h for b.
-1
Let y be (-18)/(-4)*8/12. Solve -y*p + 4 = w, 4 - 2 = -p + 3*w for p.
1
Let o(q) = -q**3 - 4*q**2 + 6*q + 7. Let u be o(-5). Let v be 0*((-5)/u)/5. Solve 5*s = -4*z + 25, 0 = -4*z - v*s - s + 5 for z.
0
Let g(o) = -o**3 + 5. Let q be g(0). Let u be -2 - (-5 - -4 - 3). Suppose 5*v + 33 = u*k, -4 - 1 = -q*k - 3*v. Solve k = 2*b, -3*z + 3*b = -2*z + 11 for z.
-5
Let z(d) = 2*d + 2. Let l be z(0). Solve 0 = 5*q + h + 2*h - 30, -2*h + 16 = l*q for q.
3
Let b(d) = d - 10. Let s be b(12). Solve -s*c - 1 = -4*x + 5, -2*x - 9 = -5*c for x.
3
Let j be 0 + (-3)/((-6)/4). Let i(y) = -3*y - 3. Let a be i(-2). Solve z = 0, -j*g - a*g - z - 25 = 0 for g.
-5
Suppose 3*q - 20 - 19 = 0. Suppose x - q = -0*x - 4*k, 5*k = -4*x + 30. Solve 2*m = -x*y - 4, 5*y = -4*m + 2*y + 6 for m.
3
Suppose 0 = -0*p + 2*p. Suppose p = 5*c - 8*c + 6. Solve -3 = r, -c*b + 4*b = 4*r + 6 for b.
-3
Suppose -m = 4*d - 4, -d + 6*d = 4*m - 16. Solve d*n - 11 = -b - 2*n, -4*n = b - 21 for b.
1
Let r(w) = w**2 + w + 10. Let y be r(0). Suppose -2*x = -10 - y. Solve -5*b + x = 2*o - 3*o, -b + 4*o - 17 = 0 for b.
3
Suppose -5*h + 18 = 2*q, -3*q + 6 = -0*q - 3*h. Suppose 0*v = -q*v + 120. Solve d - v = 5*l, l + 37 = 4*d + 12 for l.
-5
Suppose -4*q + 24 + 8 = 0. Let l = q + -5. Solve y - 2*j = -1, l*j - 6 = 2*y - 2 for y.
-5
Let s(q) = 2 - 3 - 3 - q + 3. Let t be s(-4). Solve -5*x = -b + 18, 0 = 3*b - t*x + 2 - 20 for b.
3
Let j be ((-16)/20)/((-4)/10). Suppose j*k = 4*k. Solve 3*w + 5*l = -11, 3*w - l - 7 - 6 = k for w.
3
Suppose -6*d + 9 + 3 = 0. Suppose -2*f + f = -2. Solve 2*x = -d*w + x - 2, f*w - 2*x + 8 = 0 for w.
-2
Suppose 2*g + g - 6 = 0. Solve 2*l + v - 3*v = 0, 0 = 2*l + g*v - 12 for l.
3
Suppose -13*b - 86 = -242. Solve -4*r = -3*p + b, 4*p + 0*r - 15 = 5*r for p.
0
Suppose 0 = -s + 2*o - 9, 16 = s - 5*o + 37. Let z be s/((3/(-30))/1). Let n = z - 5. Solve 14 = n*b - 2*q, 4*q = 3*b - 0*q for b.
4
Let k(j) = -j**3 - 2*j**2 + j + 16. Let d be k(0). Solve 5*i - 5 = v, -i = 4*v - 3*i - d for v.
5
Let r = -32 + 10. Let f = r + 24. Solve 3*u = w + 3*w - 32, 23 = -f*u + 3*w for u.
-4
Let w(f) = f**3 - 4*f**2 - 4*f - 2. Let h be w(5). Let m be (5/1)/(-2 - -3). Let q be -5 - (18/(-3) + -2). Solve -h*p = p - m*b + 4, 0 = q*b for p.
-1
Let h be 8/6 - 8/(-3). Solve h*z + 16 = -s - z, 0 = 5*s - 2*z - 1 for s.
-1
Suppose -u = -4*u + 72. Suppose -4*k + k = -u. Let f be (-1)/4 - (-10)/k. Solve -f = -2*b + 1, l + 4*b = 0 for l.
-4
Let f be 2*-1 - (-1 - 2). Let t = f + 5. Solve -o + t = -3*o, -4*g - 21 = 3*o for g.
-3
Suppose 3*j + 0*j = -66. Let k = j + 32. Solve k = -2*t - 0*t + 4*m, -5*m = -5*t for t.
5
Suppose -4*p + 6 + 2 = 0. Solve -p = -4*r - 2*x, 2*r + 8*x = 3*x - 19 for r.
3
Let k(x) = -1 + x - 1 + 1. Let f be k(4). Suppose -f*s - 6 = -5*s. Solve -2*o = b + 4*b + 10, -13 = -s*b - 5*o for b.
-4
Suppose 3*a + 16 = 3*n + 1, 5*a = -20. Suppose -4*j + 4*v = j - 136, -v - 28 = -j. Suppose -5*s = -j - 66. Solve 4*l - 3*g - 26 = 0, 3*g - s = -5*l + n for l.
5
Let y be -1 + ((-1)/1*-1 - -2). Solve w + 8 = y*x, -2*w + 1 = x + 2 for w.
-2
Let h be (3 - 3) + 3/(-1). Let g(j) = 3*j**2 + 0*j**2 - 3 + 5 + j**3. Let x be g(h). Solve 0 = 5*c - 5*w, -2*c + 4*w + 4 - x = 0 for c.
-1
Suppose -2*s + 28 = 2*s. Solve -l = 4*l - k - s, -4*l - 2 = 3*k for l.
1
Suppose -3*r = r - 20. Suppose 0*y = r*y - 15. Suppose 0 = 2*c + y*c - 25. Solve j = c*a - 19, 2*a = -8*j + 3*j - 14 for a.
3
Let h(w) = -4*w**2 - 7*w + 3. Let j(o) = o**2 + o - 1. Let l(t) = h(t) + 3*j(t). Let r be l(-3). Solve 2*m + 4 = -r*b, 2*b = 5*m + 5*b + 19 for m.
-5
Let c(n) = -20 + 4*n**2 + 20. Let v be c(-1). Solve 0*q + 18 = 3*q + 3*k, -3*q + v*k - 17 = 0 for q.
1
Suppose -42*q + 35*q + 28 = 0. Solve -2*r - 15 = -w - q*r, 3*w = 4*r - 5 for w.
5
Let t(s) = 6*s**2 + s - 6. Let l be t(-3). Solve 5*d + 0*d + l = 5*m, 4*d = -m - 11 for d.
-4
Let j = 95 - 93. Solve -4*k - j*p + 4*p + 18 = 0, -4*k + p + 19 = 0 for k.
5
Let a(j) = j**3 + 3*j**2 + 2*j + 3. Let g be a(-2). Let z be (24/16)/(6/8). Let n be z/5 - 2/5. Solve 0 = -5*i - 5*c + 20, g*c - 12 = -5*i - n*c for i.
0
Let p be 52/6 - (-2)/(-3). Solve -3*r = 3*f, r - p = -f - 4*f for r.
-2
Suppose 0 = 2*o - o - 1. Suppose 0 = -3*s + 5*k - o, 0 = -0*s - 2*s - 2*k + 10. Solve -4 = -3*d + 4*u, -d - 5 = -s*u + 8*u for d.
0
Suppose 3*r - 21 = -15. Solve 4*z = 4*b + 36, -r*z + 16 + 12 = -4*b for b.
-5
Let m be (-2 - (-7)/3)*(2 + -2). Solve 5*i + 5 = 3*y, 2*y - 3*i - 4 = -m for y.
5
Let i(p) = p**2 + 2*p + 3. Let x be i(-2). Let f(q) = 2*q**2 - 4*q + 6. Let o be f(x). Solve -y + 3*n + 12 = 2*y, 0 = -4*n - o for y.
1
Let j = 2 + -1. Let m be j + (-34)/((-6)/3). Suppose -4*y - 2 = -m. Solve -2*q + 2*i + 5 = -3*q, 2 = -y*q + i for q.
-1
Let q = -1 - -5. Solve o - 2*y = -o - 8, -3*o = -q*y + 13 for o.
-3
Suppose 89 = 3*u - 4*u. Let t = -54 - u. Solve 5*n - 2*h = -t, n - 4*n - 30 = -3*h for n.
-5
Let j be 28/(-98) - 32/(-14). Solve 2*u = -2*a - 1 - 5, -j*a - 2 = 0 for u.
-2
Let y(t) = -t**3 - 9*t**2 + 10*t - 1. Let l be y(-10). Let z be (-3 + 7)*(-1)/l. Solve 2*u - 20 = 5*q, 4*u + q + z = -0*u for u.
0
Let r = -30 - -34. Solve -5*m = 4*j + 4, -r*j = -0*m - 3*m + 4 for j.
-1
Let t(w) = w**2 - 7*w + 4. Let x be t(7). Solve 3*a + 4*v = 22, -v + 6 + x = 3*a fo