ve 8 = i*g - 2*o, -o = g + 4*o + p for g.
0
Suppose z = -2*z - 2*i + 20, 25 = -5*i. Let h be (-1)/(-2) + z/4. Solve m + 4 = 0, -4*m = -h*o + o + 16 for o.
0
Let m(w) = -2*w + 1. Let n be m(4). Let u(f) = -f**2 - 7*f + 7. Let l be u(n). Suppose 3*k = -3 + 9. Solve 4*a = -k*z - 8, 3*z + z = a - l for a.
-1
Suppose -4*j = 2*g - 32, 4*j - 2*j + 2*g = 16. Let a = -8 + j. Solve 3*h + n = -a*n - 14, -2*h + 3*n = 13 for h.
-5
Let b = 25 + -5. Solve 3*x = -m + 11, -5*m + m = -b for x.
2
Let m be ((-3)/(-2))/(3/6). Solve -2*k - 5*i - 28 = -1, 28 = -m*k - 5*i for k.
-1
Let r(q) = q**2 + 5*q + 1. Let x be r(-5). Let g be 1 + (3 + -2)/x. Suppose 0 = -g*f + 19 + 1. Solve 5*k - f = 2*h - 1, -k + 3 = 0 for h.
3
Suppose 0 = -3*k - 1 + 7. Solve k*m + m - 5 = 4*s, -15 = -2*m + 5*s for m.
-5
Let d be (-2)/9 + (-2)/(-9). Let z = d - 0. Solve -3*i = -4*x - 4, z = -6*i + 2*i + x + 1 for i.
0
Suppose 4*i = -0*i + 16. Solve 5*l + 5*w - 10 = 0, 4*l - 3*w = -i*w + 5 for l.
1
Suppose 2*w = 8, 19 = c - 0*w + 4*w. Let o be 5 - c - 6/(-2). Solve 13 = -4*i - 3*q, 3*q + 14 = -o*i - 0*q for i.
-1
Suppose 2*w + 2*w - 20 = 0. Suppose -2*g + 5*h - 9 = 0, 4*g - 2 = w*h - 5. Solve -m + x = -5, -g*m - 2*x + 9 = x for m.
4
Let o be -1 + (3/3 - -2). Suppose 5*k = 4*m, 6*k + 4*m = 4*k + 28. Let j = k - o. Solve -j*y + 1 = -3*v, -2*v = -3*y - 0*v + 9 for y.
5
Let t be ((-1)/(-2))/((-1)/(-6)). Suppose 0 = -5*s + 4*s + t. Let n be ((-2)/s)/((-2)/15). Solve 4*i + 0*q + 4*q + 20 = 0, -n*i = -5*q - 15 for i.
-1
Let i(w) = -w**2 + 5*w - 4. Let p be i(4). Let v = -1 - -1. Suppose v = 4*t - p*t. Solve -4*u + 0*b = 4*b + 12, t = -5*b - 15 for u.
0
Suppose 3*j + 3 = 0, -j + 4*j = r + 1. Let x be (16/r)/4*-18. Solve -2*m = -t + 5 - x, -2*t - 18 = -2*m for m.
4
Let y(b) = b + 4. Let o = 6 - 10. Let s be y(o). Solve s = -5*q + 4*u - 25, -5*u = 2*q + 1 + 9 for q.
-5
Suppose 0*w = z - w - 12, 4*w = -16. Let a = z + -3. Solve -a*d - 25 + 5 = -f, 8 = -2*d - 4*f for d.
-4
Let u(t) = -t**3 + 12*t**2 - 10*t - 8. Let l be u(11). Solve l*h = -3, -4*h + 0*h = 2*j for j.
2
Let m(q) = -14*q - 108. Let i be m(-8). Solve -3*v = -0*v + 9, -2*v - 14 = -i*p for p.
2
Let z be (-12)/(-66) + (-62)/(-22). Suppose -2*w + z*w = 4. Solve 0 = t - 0*t + w*q - 12, 5*t = 4*q + 12 for t.
4
Let z(r) = 3*r**3 + 2*r - 1. Let a be z(2). Let d be (-6)/9*a/(-2). Solve 3*b + 6*k + d = 2*k, 0 = -3*k - 9 for b.
1
Suppose -a = 5*m - 29, -2*m - 16 = -4*m + 4*a. Suppose m*u - 36 = 2*u + 4*v, -3*v = 5*u - 13. Solve d + 2*d + 13 = c, 5*c = -u*d + 5 for c.
4
Suppose 2*h - 6 - 8 = -2*y, 12 = 2*y + 3*h. Solve -3*k + 2*k = -5, -2*m = -3*k + y for m.
3
Let u be 13/5 - (-4)/10. Solve 3*j + 6 = -3*x - j, -u*x - 6 = -j for x.
-2
Let i(j) be the second derivative of -j**3/6 - 3*j**2/2 + 4*j. Suppose -3*u - 25 = 2*u. Let m be i(u). Solve 0 = -m*d + 5*r - 27, d - 5 + 1 = -r for d.
-1
Suppose -t + 0*t = -22. Let h = t - 13. Let m be (-2)/8 + h/4. Solve 5*y = 2*i - 11 - 4, 9 = -3*y + m*i for y.
-3
Let x be 1 + (20 - (-2 + 3)). Suppose 2*w + 22 = 4*i, -5*i + 3*w = -2*w - 35. Solve 12 = z + i*z + 3*h, x = -3*z + 5*h for z.
0
Let r be 2*(6 - 4) - 1. Solve -r*l - 8 = 5*s, -s = s + 2*l for s.
-4
Let l be (-1 - (-14)/8)*4. Suppose -3*z - 4*x + 9 = -7, -3*x + 3 = 0. Solve 2*v = -j + 1 + 3, 0 = l*j + z*v - 10 for j.
2
Let a be (-20)/110 + (-2)/(-11). Suppose 2*v = x - a - 7, 0 = -2*x + 3*v + 12. Solve -x*s = -3*c, -3*s - 2*c = c for s.
0
Suppose 22 - 2 = 5*i. Suppose l - i = -l. Let h = l + 2. Solve 0 = -2*v + 2*j + 4, -5*v + 2*j - h = -23 for v.
5
Suppose 3*d = 3*r + 27, -5*d = -0*d + 5*r - 5. Let u(x) = x - 3. Let o be u(d). Let l be (o + -1 - 2)*-2. Solve -3*z = 6, l*j = -3*j + 5*z + 15 for j.
1
Let h(m) = -10*m - 45. Let r be h(-5). Solve 0 = -2*s - 2, -s = 2*v - r*s - 8 for v.
2
Suppose 5*a - 43 = -4*w + 4, -5*w - a + 64 = 0. Let b = -11 + w. Let j(p) = -p + 1. Let o be j(-1). Solve 2*x + 6 = -v, -o*v - 8 - b = 3*x for x.
-2
Let h(y) = -y**2 - 6*y - 4. Let g be h(-5). Let v be -3 - 14/(-6)*-3. Let l(i) = i**2 + 10*i. Let u be l(v). Solve m + u*o + g = -5*o, -3*o = 3 for m.
4
Suppose -9*y = -4*y. Suppose -x + 1 + 2 = 0. Suppose -6*g = 3*p - g + 1, -x*p - 4*g + 1 = y. Solve -p*s + 0*s + 12 = -3*c, -4*s - 4 = 0 for c.
-5
Suppose -g - 2*g - 10 = 4*r, -g = 2*r + 6. Solve -3*a - 3*c + 4*c = 2, a - c - g = 0 for a.
-2
Let q = 11 - 7. Let h(f) = -f**3 - 5*f**2 - 2*f + 2. Let m be h(-5). Suppose 8 = 2*k + 2*k. Solve -m = k*l + 4*z, -q*z - 28 = -l - l for l.
4
Let a = 16 - 10. Let p be 3 - 1*12/(-3). Let c = p - 2. Solve c = -3*o - s + a*s, -4*s = -4*o - 12 for o.
-5
Suppose -6 = 72*p - 75*p. Solve 5 = 4*a - a + x, 4*a - x - p = 0 for a.
1
Let z = 4 + -2. Suppose -3*b + 6*b = -z*d + 10, -b = -5*d - 26. Let c be 1/((-2)/(-4)) + 0. Solve c*q - 7*q - b = -4*h, 3*q = -2*h + 14 for h.
4
Suppose -5*n + 15 = -2*n. Let p(g) = 4*g**2. Let q be p(1). Suppose -2*f - 6 = 0, -q*f = -n*w - 2*f + 26. Solve 13 = z + 3*c - 0, 12 = 4*z + w*c for z.
-2
Suppose -15 = -5*d + 5. Let p = d - 3. Solve -m + 4*n = -7, 4*n + 4 = 3*m - p for m.
-1
Let u(t) be the second derivative of t**3/6 + 5*t**2 - t. Let z be u(-6). Solve 0 = w + z*l - 8 + 2, 3 = 3*l for w.
2
Suppose 0 = -9*r + 4*r + 20. Solve -r*t = 2*h + 9 - 33, 4*t - 2*h - 16 = 0 for t.
5
Let x be (-3)/(-7) + 768/168. Suppose -4*z = -0*z - 116. Solve -5*b = o + z, -3*o - 37 = -0*o + x*b for o.
-4
Let x(i) = -2*i - 6. Let z be x(-4). Let f be 1 - (z - 3)*9. Solve -q = -5*l - 13, f*q - 5*q - 4*l - 23 = 0 for q.
3
Let f(o) = -o**3 - 10*o**2. Let q be f(-10). Suppose -4*i + 3*i + 5 = q. Solve s + 0 = -2, -5*s + 10 = i*k for k.
4
Suppose -5*m + 26 = -3*m. Solve q - 18 + 4 = -3*r, 5*q - 4*r = m for q.
5
Let z = -47 + 49. Let b(y) = y. Let w be b(3). Solve 0*q = -3*g - z*q + 3, w*g - 3 = -4*q for g.
1
Suppose -33 = -3*z - 0*z. Suppose -l - 4 = -0*l. Let d be l*2/(-4)*1. Solve 0 = 4*h - q + 22, -h + d*q - z = -q for h.
-5
Let t(j) = j**2 + 2*j + 1. Let m = 32 - 20. Suppose m = -3*f - f. Let p be t(f). Solve 2*r - 4*y + 18 = 0, 0 = 3*r + p*y - 3 - 10 for r.
-1
Suppose 0*v = -6*v + 18. Let q = 4 + 2. Suppose -j - 4 = -2*j, s = 4*j - q. Solve 4*y + 0*o = -5*o + 26, -y + s = v*o for y.
4
Let h(b) = -b**2 + 2*b - 1. Let y be h(1). Let q = y + 3. Solve 0 = l + 3, m - 11 = q*l - 3 for m.
-1
Let l(f) = -f**2 - 6*f + 3. Let r be l(-6). Let m(i) = -i**2 - 9*i - 3. Let v be m(-8). Solve -7 = -2*d + v*q, 2*q = -r*d - 2*q - 1 for d.
1
Suppose 4*l + 6 = 2*n, 7*l = n + 3*l - 3. Solve -b = -n*q - 4, 5*q - b = -4*b - 2 for q.
-1
Let b be (-2)/((-3)/((-90)/(-4))). Suppose -b + 3 = -3*v. Solve 0 = v*c + 4*d - 4, 0 = -4*c + 2*d + 6 - 2 for c.
1
Let a be (-3)/(-2)*(-190)/(-57). Solve a*z = 2*z - 3*u + 12, 2*z - 14 = -4*u for z.
1
Suppose -3*c = -5*b + 17, 6*b + 2*c + 3 = b. Let v = 3 + b. Solve -2*l + 20 = -h - 3*h, 22 = -v*h + 3*l for h.
-4
Let c be (13 - -1)*(-3)/6. Let o(i) = i**2 + 6*i - 6. Let f be o(c). Solve q - y = -2 - f, -y + 4 = 0 for q.
1
Suppose -2*s - 4 = -3*l, -s = -2*l - 0*s + 4. Suppose l*b - 6 = b. Solve 0*g = -b*g, -k = g + 3 for k.
-3
Let x(m) = -5*m**3 - m**2 + 1. Let y be x(-1). Solve a + 5*t + 9 = 2*t, y = -5*a + 5*t for a.
-3
Suppose -5*y = 4*p + 2, 0*p = 3*p + 9. Let g be (-2)/(-3)*6/4. Let k = y + g. Solve -k*h = -a + 10, -7 = a + a + 3*h for a.
1
Suppose -4*p = -4*s + 72, -s + 3*p + 100 = 4*s. Solve 0 = 3*r + j + 7, 3*r - j + s = -6*j for r.
-1
Let j = -5 - -7. Solve 4*f - 20 = j*y, 4*f - 15 = y + f for y.
0
Let f be 161/14 - (-1)/2. Solve 0 = 2*c + 2*i + f, 5*c + 3 = 2*i + 1 for c.
-2
Let f(y) = y**2 - 4*y + 5. Let p be f(4). Solve m - u - 2 = u, -p*m = -u + 17 for m.
-4
Suppose -4*f = -3*s - 2*f + 16, 2*s = -3*f + 28. Suppose -s*a + 3*a = 15. Let m = a - -3. Solve i - 4*i - p + 9 = m, -2*p = 3*i - 6 for i.
4
Let c = -2 + 1. Let d = c - -6. Solve 5*n = 5*i - 25, -3*n + n - d*i - 10 = 0 for n.
-5
Let o(z) = -z**3 + 4*z**2 - 3*z + 6. Let g be o(3). Let j be 45/30 + g/4. Solve 0 = -3*t - 9, f - j - 4 = t for f.
4
Let u = -57 - -57. Solve -4*m + 23 = -3*q, 0 = -u*q + q + 2*m + 1 for q.
-5
Let n(y) = y**3 + 3*y**2 - 5*y + 2. Let k be n(3). Let u = 88 - k. Let o = 76 - u. Solve t - 22 = -2*t - 2*h, 5*h = -t + o for t.
4
Let u be (-2 + -1 + 1)/(-2). Let s be (u + 2)*5/3. Solve -n + 20 = -3*n + 4*l, -2*n - s = l for n.
-4
Let j(r) = -r**2 + 