 -p, 3*h + p - 2 = 0. Solve -5*v + 17 = 2*s, 5*s + 3*v = -h*v + 14 for s.
1
Let f(k) = 6*k**2 - 2*k. Let p be f(-2). Solve -4*o - 5*s + s - p = 0, -o + 1 = -3*s for o.
-5
Let g(l) = 4*l - 5. Let z be g(2). Solve 5*k = z*t + 4*k - 9, 0 = -5*t - 4*k + 15 for t.
3
Let y(q) = q**3 + 11*q**2 + 18*q + 2. Let j be y(-9). Solve 4*o + r + 3 = -16, -j*r - 26 = 5*o for o.
-4
Let i be ((-16)/6)/(3/(-9)). Suppose h + i = 2*h. Solve -4*f - 26 = m + f, f + h = -3*m for m.
-1
Suppose s - 126 = -6*s. Solve q - 2*j = -6, 5*q + s = -0*q - 2*j for q.
-4
Let k(y) = y**2 + y + 6. Let f be k(0). Let v(h) = 2*h - 9. Let w be v(f). Suppose -48 = -6*a + w*a. Solve 3*o = -5*t + 35, 4*o + 0*o - t = a for o.
5
Let w(h) = h - 2. Let n be w(4). Solve -g = b, 0 = n*g - 4*g for b.
0
Let t(r) = -r - 7. Let d be t(-7). Let f = d + 3. Suppose 11 + 9 = 5*a. Solve -3*u = -2*z - f - a, -z - 11 = -4*u for u.
3
Suppose -4*f + 12 = -0*f. Let v be 1 + f + -1 + -2. Solve -v = -b - 2*w, 0*b - 5*w = 5*b - 15 for b.
5
Let n be -12 - (0 + (-3 - 0)). Let i = 15 + n. Solve -3*s = 3*l - 3, -15 = -i*l + l + 5*s for l.
2
Suppose 0 = v - 0 - 17. Solve -4 = 5*l + 2*d - 1, l - 4*d = v for l.
1
Let r = 2 - 0. Suppose 0*g + 4*d - 4 = -r*g, -2*d - 2 = 0. Let m(w) = -5*w - 1. Let f be m(-1). Solve -g*c = -2*p + f*p + 14, 3*p + 2*c + 9 = 0 for p.
-1
Let q(l) = -4 - 4*l**2 + 7*l - 11*l + 4*l**2 + 2*l**2. Let o be q(4). Solve 2*y + u - o = 0, 0*u + 12 = 4*y - u for y.
4
Suppose -5*i = 3*j - 18, 2*i - 3 = -4*j + 7. Let q(r) = i + 0 + r + 1. Let g be q(0). Solve -3*x = -x - 3*h, -3*h + 6 = -g*x for x.
-3
Let d(g) = g - 6. Let b(k) = 1. Let l(c) = -6*b(c) - d(c). Let y be l(-3). Solve 6 = -4*w - 2*z, -w + 4*z - 12 = -y*w for w.
-4
Suppose -12 + 27 = 5*c. Solve -4*o - 4*l + 8 = 0, -4*o = 2*l + c - 5 for o.
-1
Let b be (-22)/(-12) + (-3)/(-18). Solve 0 = -4*c + s + 9, -c + 2*s = 6*s + b for c.
2
Suppose 0 = 2*z - 4*z + 8. Suppose 0 = -z*g + g. Let p be (3/2)/(1/2). Solve g = -f, -p*f - f = j - 2 for j.
2
Let y = 141 - 130. Solve y = -z + 4*z - s, -5*s = -5 for z.
4
Suppose 3*p - 2*p = 0. Let h(b) = -b**2 + 4*b + b + p + 5. Let f be h(5). Solve 2*g = l - f, l = g + 2*l + 1 for g.
-2
Suppose 8*o + 5*j = 3*o + 25, -j + 10 = 2*o. Solve 3*w + 5*m - 16 = 0, -o*w - 2*m = -3*m - 8 for w.
2
Suppose 3*g - 5 - 4 = 0. Let d be 3 + -5*10/(-25). Solve -d*c + g = -4*h - 22, -2*c = -4*h - 22 for h.
-5
Let s be 12/3*(-3 + 6). Suppose m - 4*m - 2*d = -9, -4*m = 2*d - s. Let k be -3 - -2 - 1*-1. Solve k = -5*w - 26 + 6, -13 = n + m*w for n.
-1
Suppose -5*u + 2*a + 2*a = -92, 4*u - a = 78. Let k be u/(-25)*(-10)/4. Suppose -m = k*m - 60. Solve 6*g + 2*h = 2*g - m, 2*g = -4*h - 22 for g.
-3
Let b = -28 - -32. Solve 10 = 4*j - 2*d, -2*d = 3*j - b*d - 6 for j.
4
Let i = -2 - -5. Solve 3*o = 6*o - 3, -5*o - i = -2*t for t.
4
Let d be 8/5*(-30)/(-12). Solve 4*f = -3*r + 2, 0*r = -r - d*f - 2 for r.
2
Let u be 2 + (2/2 - 1). Let h = 0 - 3. Let x be (h/2)/(3/(-6)). Solve 5*z = -4*b + 11, -u*z = x*z + 5 for b.
4
Suppose 0 = 8*k - 4*k - 8. Solve -3*x - u = -16, x = -k*u + 13 - 1 for x.
4
Suppose 5*h = s - 1, s = h - 4 + 1. Let l = 5 + s. Solve 0 = 2*v + 3*j + 10, -l = -j - 3 for v.
-2
Let q(l) = 2*l - 2. Let v be q(3). Let i = 21 - 17. Solve -3*j - 5 = o + i, 0 = -v*o - 5*j - 8 for o.
3
Let w be (-3 - -4) + (0 - 0). Suppose -w = -y + 1. Solve 3*i - v = -y*i + 15, 0 = 3*i - 3*v - 21 for i.
2
Let t(b) = 20*b - 1. Let i be t(1). Solve -p + 4*w - 2 = p, 3*p - i = -5*w for p.
3
Suppose 4*l = 3*l - 12. Let y = -8 - l. Solve -7*a + 3*a = 0, 5*a = 2*r - y for r.
2
Let x = -8 + 11. Suppose j - 7 = x*y, 4*j + 2 = -y - 9. Let g be ((-1)/y)/(2/78). Solve 0 = -5*s + 4*v + g, 2*s - v = 4*v + 12 for s.
1
Let x = 1 + 11. Let i = x - 8. Solve 2*y + 5 = -4*f + 13, i*y - 3*f + 28 = 0 for y.
-4
Let l(s) = s**3 - 6*s**2 + 2. Let o be l(6). Solve o*m = -3*b + 6, 3*m + 6*b = b + 9 for m.
3
Suppose 2*l = -3*z + 152, 6*z + l - 251 = z. Suppose 8*y + z = 13*y. Solve -y = 3*b + 5*a, 3*b - 4*a = 7 + 28 for b.
5
Let j(o) = -o**2 - 10*o - 6. Let h be j(-10). Let c(w) = -2 - 2 + 12 + w. Let x be c(h). Solve x*d + 2*d - 4 = -l, -2*d = -2*l - 2 for d.
1
Suppose 4*q - 21 = 3. Solve 2*t - q*t = 20, 4*y - t - 17 = 0 for y.
3
Let j(z) = 2*z**3 + 2*z**2 - 3*z. Let a be j(2). Let b = -1 + 7. Solve d + b = h - 1, 4*h = 2*d + a for d.
-5
Let v = 1 + 1. Suppose c - 3 = -v*c. Solve 4*t + 6 = -2*d, 5 = -2*d - c for t.
0
Let n be 9/(-3) + 1 + 23. Solve 0 = 5*q - 4*a - 5 - n, 12 = -3*a for q.
2
Let t(p) = p**2 - p - 2. Let x be t(0). Let b = x + 5. Solve -4 = 5*j + 2*a, -b*j - 1 = 5*a + 9 for j.
0
Suppose -5*p - 4 = -7*p. Let n(u) = 2*u. Let m be n(p). Solve 4*r = -4*g - 8, g + 2*r = -0*g - m for g.
0
Suppose 6*u - 3*u - 22 = -5*m, 22 = 4*m - 2*u. Solve -m*n = -4*o - 6, 3*o + 3*n + 4 = -14 for o.
-4
Suppose -5 = -2*t - 3. Let i be (t*-3)/(-9)*-3. Let v be (i - 0)*(-1 - -1). Solve v = -5*s + 2*d - 14, 4*s + 2*d + 28 = -2*d for s.
-4
Let j(x) = x**2 + 5 + 2*x - 2*x - 3. Let r be j(-2). Solve r*w = w + b - 12, 0 = 2*w + b + 2 for w.
-2
Suppose -2*a = -4*f + 9 + 3, 5*f - 15 = 5*a. Solve f*i - 6 = -3*c, -4*c + i + 6 = 3*i for c.
1
Suppose 0 = l - y - 9, -y = 2*l + 3 - 9. Solve z - 2*n = l*z - 10, -z = -3*n + 8 for z.
1
Let m = -138 - -141. Solve 0 = -5*t - 2*s + 4*s + 10, -m*t = 5*s - 37 for t.
4
Let c = -103 - -103. Solve -2*w - 6 = c, 5*t + 37 = -w - 3*w for t.
-5
Let w(v) = -v**3 + 6*v**2 + 10*v - 16. Let t be w(7). Solve -g = 3*i + i + t, 0 = -5*g - i + 13 for g.
3
Let h(z) = z**2 + 4*z + 6. Let u be h(-5). Let j be 8 - 8 - (-1 - 0). Let k be ((j - -1) + 1)/1. Solve v + 3 = -5*a, -v - k*a - u = -5*v for v.
2
Suppose 6 = 5*k + 3*d - 14, -2*k = -4*d - 8. Solve -k*m = 3*a + 8, -a - 3*a = -5*m + 21 for a.
-4
Let k = 14 - 11. Suppose -i - 5*v = -3*i - 11, -i - 7 = -k*v. Solve -2*z + 2*m = -3*z + 1, 3 = 3*z + i*m for z.
1
Suppose -5*v + 2 = -2*n, 2*v + 3*n + n + 4 = 0. Solve 4*b - 3*j = v, -2*j - 3*j - 32 = 4*b for b.
-3
Let p(t) = -3*t**2 + t + t**3 - 3*t**2 - 5 - 2*t**3 + 2*t**3. Let r be p(6). Let j be (-2 - -11)/3*r. Solve s = -3*n - 10, s + j = n + 5 for s.
-1
Suppose 0 = 5*l - 4*m - 33, 2*l + 10 = -5*m + 43. Let y = -2 + 3. Suppose -5*p + l = -y. Solve -3*s - 3*i + 8*i = -37, 5*s - p*i = 30 for s.
4
Let p = 11 - 8. Suppose -7 = -5*q + 28. Suppose -11*s = -q*s. Solve 3*g - 3 = p*h, s*h - 3*h - g = 15 for h.
-4
Let t be (2 - 4)*(-4)/8. Let i be (t*(-2 + 2))/(-2). Solve i = 4*a + 16, 0 = 3*p + p + a + 8 for p.
-1
Suppose 8*u - 6*u = 6. Solve 0 = -u*p + t + 2, -2*p + 6 = 3*p - t for p.
2
Let l = -184 + 193. Solve 0 = -d - 2*k - l, 0 = 3*d + d - 3*k + 3 for d.
-3
Suppose 0*o = f + 3*o + 8, -2*o = 10. Let i be 2/f + (-94)/(-14). Let h = -4 + i. Solve h*w - 3 = -3*q, -2*w = -5*q + 3*q + 6 for q.
2
Let t(v) = v + 20. Let h be t(-18). Solve 2 = h*g - 3*a + a, -3 = -a for g.
4
Suppose 3*v + 4*t - 5 = 4*v, 2*v - 4*t = -2. Solve -v*x - 2*x = -10, -4*x = -2*n - 6 for n.
1
Let y(a) = a**2 - 2*a - 1. Let b be y(3). Suppose -t - b*o = -12, t = 3*t + o - 12. Solve 5*g = z - 1, 3*z - 4*g + t = -4 for z.
-4
Suppose 0 = -5*s - 16 - 19. Suppose 6*t - 2*t + 5 = -r, -3*t = 2*r. Let f = t - s. Solve -d + 2*i - 4*i + 2 = 0, 0 = -2*d - f*i + 7 for d.
-4
Let w be (-5)/1*(-3)/5. Solve t - 6*t = 0, 5*t = w*h + 12 for h.
-4
Let m(g) = g**3 + 7*g**2 - 8*g - 5. Let r be m(-8). Let z = -5 - r. Solve 4*y - 4*s - 24 = z, -5*y + 0*s - 5 = 2*s for y.
1
Let h be (6/(-5))/((-6)/(-30)). Let v be 3/(-6) - 27/h. Solve -5*t + 8 = v*p + 25, 4*p + 11 = t for t.
-1
Suppose 16*c - 20 = 12*c. Solve 3 + 3 = 2*n - 2*k, c*k + 15 = 2*n for n.
0
Suppose 6*o = 13*o - 42. Solve 2*a + 16 = o*a, 3*u + 29 = 5*a for u.
-3
Let o(m) = m**2 - 6*m + 5. Let i be o(5). Solve -n + i*b + 5*b + 1 = 0, -4*b = 0 for n.
1
Let q(k) be the second derivative of k**3/6 - 2*k. Suppose 3*h - 9 = -4*o, -1 = -4*h + 3*o + 11. Let l be q(h). Solve 5 + 1 = -2*m + 4*v, l*v = -4*m + 21 for m.
3
Suppose -2*z = -7 - 19. Let o = -4 + z. Suppose -m + 1 = -c, 0 = -4*c + 3 + o. Solve -5*t - 32 = m*y, y - 5*y - t = 16 for y.
-3
Suppose -8*d + 96 = -4*d. Solve 5*h + 32 = -3*r, -2*h + r = 5*r + d for h.
-4
Let h(z) = -8*z + 5. Let y(a) = 8*a - 6. Let m(c) = -5*h(c) - 4*y(c). Let s = 2 + 0. Let v be m(s). Solve 3*j = v, p - 3*j + 27 = 7 for p.
-5
Let h(q) = q + 18. Let m 