 - 4 = -y. Let f be v(y). Solve 3*m + j - 8 = m, 2*m - f*j = 0 for m.
3
Let a = 3 - 0. Suppose -5*d + 3*z = -27, 0 = 4*d - 3*d - 5*z - 23. Suppose 2*l + 5*v - 16 = 5*l, 5*l - d*v = 0. Solve 6 = l*u - 5*m, 3*u + a*m = m - 15 for u.
-3
Let h(z) = -z**3 - 8*z**2 + 9*z - 3. Let a(w) = w**3 - w - 1. Let x(f) = -2*a(f) - h(f). Let g be x(7). Solve g*l - 5 = -7*p + 4*p, -l = 3*p + 11 for l.
4
Suppose 8*b = 7*b + 3. Solve -3*a = -4*n + 4 - 16, -b*a + 3*n = -9 for a.
0
Suppose -34*y + 37*y - 57 = 0. Solve -3*c + y = 4*j, -j + 0 = 3*c - 7 for c.
1
Suppose -h + 3 = 2*r, 2 + 1 = h + 5*r. Suppose -h*i = -7*i. Solve 4 = -3*k + d, -k + 4*d + 13 + 4 = i for k.
-3
Suppose -3*m - 3 - 3 = 0, -2*m = -4*g + 68. Suppose -g + 4 = -i. Suppose 3*r - 3 = i. Solve 6 = -r*v + v - 2*s, 10 = -2*s for v.
1
Suppose 214 - 230 = -2*d. Solve -o + 2*v - 8 = 4*o, -2*o + 2*v = d for o.
0
Let j(f) = f - f + 3*f - 2. Let l be j(7). Solve 0 = -3*n - 5*x + l, 5*x - 25 = -5*n - 0 for n.
3
Let g = -15 + 14. Let c be (3 + g)*133/14. Solve 3*a = -v - 14, -4*v + 2*a + a + c = 0 for v.
1
Let k(x) = 2*x**2 - 11*x - 3. Let s be k(6). Solve m = 3*g - m - 5, 0 = -g - s*m - 2 for g.
1
Let c be ((-15)/10)/((-3)/(-16)). Let b = -5 - c. Solve b*u - 8 = -u + 4*o, 3*u + 10 = -o for u.
-2
Let f be ((-8)/2 - -3) + -1. Let q = f - -4. Solve w = q*y - 4, 3*w + y + 1 + 4 = 0 for w.
-2
Suppose -2*t - 3*t = -20. Suppose 5*w + q - 6*q = 15, t*w + 3*q - 12 = 0. Solve -w = -3*j - y, -4*y = -y for j.
1
Let d = -87 + 91. Let n be (2 - 1 - -1)*1. Solve -d*t - n*o = -16, 3*t - 3*o = -0 - 6 for t.
2
Suppose 2*j + 12 = 5*j. Let f be (4 + j)*(-1)/(-2). Solve 5*t - 4*l = -9*l, t = -f*l + 12 for t.
-4
Suppose 2*s = -9 + 55. Solve 2*i = -3*w - 7, 0 = -2*i - 0*i + 3*w + s for i.
4
Let j(r) = r**3 + 2*r**2 - r + 7. Let v be j(-3). Let m(u) = u**3 + 3*u**2 - 3*u + 4. Let k be m(-4). Solve k = 2*f + 4*t - 0 - 18, f - 2*t - v = 0 for f.
5
Let a be ((-1)/(-3))/(4/48). Solve 2 = 3*f - d, -f - a*d = -3*f + 18 for f.
-1
Suppose -5*h = -19 - 106. Suppose 5*b + 0 = h. Solve -3*c + 0*f - 5*f = 28, 4*f + 15 = b*c for c.
-1
Let p(h) = h**3 - 6*h**2 + 6*h - 2. Let w be p(5). Solve -w = -s + 3*t, -4*t - 11 = 3*s - 2*s for s.
-3
Let i(x) = 2*x**3 - 3*x**2 + 2*x - 2. Let j be i(2). Suppose 3*w = j*w - u - 12, -3*w + 5*u = 0. Solve 2*k - 2 - 2 = 0, w*s - 2*k = 1 for s.
1
Let z(t) = 2*t**2 - 2*t - 1. Let w be z(2). Solve -25 = 5*u, w*d + 2*u + 2 + 2 = 0 for d.
2
Let x be 33 + 1/(-2)*2. Suppose 8 = 5*o - x. Solve 5*m = -2*r - o, 0*m + 20 = m - 5*r for m.
0
Let x be 7 - -1*(2 - 1). Solve 4*f = 4*w - x, 0 = -3*w + w - 4 for f.
-4
Let k = -2 + 5. Suppose 2*z = -k*z. Solve -2*d + 5 = w, z = -3*w + 4*w - 2*d + 7 for w.
-1
Let c(i) = -i - 15. Let s be c(-10). Let m be (-24)/s - (-5)/25. Solve 2*v + m*o + 4 = 0, 4*o = 2*o for v.
-2
Let i be -1 - -4 - (-1 - 0). Suppose 0*h = -i*h + 16. Solve 5 = -u - 4*b + h, -4*u = 3*b + 17 for u.
-5
Let r(s) = s**2 - 7*s - 5. Let n be r(8). Suppose f + 27 = 4*f + 2*p, f - n*p + 2 = 0. Suppose 3*v - 2*v = f. Solve -v*h + 2*m = -5*h - 4, 4*h = m + 2 for h.
0
Let s = 0 - -1. Let c = s + 1. Let u be c/(-4)*1*-8. Solve -u*k = -5*w - 6 + 1, 4*k - 3*w = 11 for k.
5
Let l(k) = -11*k - 2. Let o be l(-1). Let z = o - 6. Solve 4*n = z*b + 22, 15 = 5*n + b - 3 for n.
4
Let g(o) = 6*o - 3. Let u(p) = p - 1. Let b(x) = 2*g(x) - 10*u(x). Let q be b(7). Solve 4*l = -2*f - q, 5*l + 16 = 1 for f.
-3
Suppose 3*w - 3*d = 39, -3*d + 7 - 10 = 0. Solve -4*k + 36 = 5*x, -2*k + 0 - w = -5*x for k.
4
Let m(b) = -b**2 + 3*b + 5. Let y be m(0). Solve -5*q - 20 = d - 3, y*q = d - 23 for d.
3
Let p(a) = -a**2 + a + 2. Let t be p(0). Let s = 12 + -7. Let o(i) = -2*i - 1. Let v be o(-4). Solve -h = s*m + 3, -4*h = t*m - v*m - 13 for h.
2
Let i = -4 + 7. Let l = 3 + -6. Let r be 3/l - (-9 - 3). Solve 0 = y - 4*j + r, -i*y - j + 28 - 9 = 0 for y.
5
Let f(h) = -h**3 + 17*h**2 - 29*h - 12. Let p be f(15). Solve -3*g - 14 = 3*v + g, v - p*g - 17 = 0 for v.
2
Suppose -9 = n + 5*t - t, 0 = -5*n + t + 39. Let q(x) = x - 5. Let k be q(n). Suppose -k*z + 3*z = 0. Solve 4*g + 1 = c + 2*c, z = 4*c - 2*g + 12 for c.
-5
Suppose 0*v = 5*h + 4*v - 15, 4*h = -5*v + 12. Let l be (5 - -3 - 0)*(-3)/(-6). Solve h*y - 4*k = y - 12, -y - 12 = -l*k for y.
0
Suppose -17 = -5*n - 4*a, 3*n + a = -0*n + 13. Let w = 5 - n. Solve 2*t - 5 - 1 = g, 5*g + 4*t + 16 = w for g.
-4
Let f be 5 + 1/((-1)/2). Suppose -l = -3*c + 1, f*l - 3*c = -1 - 8. Let m be (24/9)/(l/(-6)). Solve 3*w + 15 = -q, m*w - 4 = q - 24 for q.
0
Let x = 1 - -1. Let f be (-3)/(3/x*-1). Solve 4*y - f*d = 14, -d + 1 = -3*y + 9 for y.
1
Suppose -f + 2 = -7. Suppose 0 = -f*l + 8*l + 4. Solve -4*s = -4*i - 24 - l, 0 = 4*i + 20 for s.
2
Let f = 28 - 24. Solve -2*k + 2 = -z, -3*z = z - f*k + 12 for z.
-4
Let v be 94/8 - (-3)/12. Let o(l) = l - 3. Let a be o(5). Suppose a*s + 4*i = 4, -s - 3 + 12 = -5*i. Solve 0*m - v = -4*m, -5 = -s*r + 5*m for r.
5
Let h be ((-30)/(-9))/(4/(-6)). Let s = h - -10. Let z be (1/(-1))/((-1)/3). Solve q + 3*q - 10 = s*k, z*k = -6 for q.
0
Let p = -3 + 8. Suppose 4*s + 11 = 4*d - d, -5*d + 5 = 0. Let g be (-2)/(8/s)*8. Solve -7*a + 2*a = g*b, -p*b = 2*a + 17 for a.
4
Let a(t) = -t**3 - t**2 - 2. Let p be a(-2). Solve 4*j - 3*i - 14 = 0, 5*j + 0*j - p = -4*i for j.
2
Let q(m) = -m**3 - 7*m**2 + 9*m + 5. Let i be (-222)/27 - 2/(-9). Let o be q(i). Let a = o - -7. Solve 0 = 3*p + a*z - 8, p + 3*p - 14 = -2*z for p.
4
Let d = -2 - -3. Suppose 5*l - 9 = 2*v, 6 - d = -3*v - l. Let s be ((-50)/(-15))/(v/(-3)). Solve 4*h = -4*i + 8, s = -3*h + 3*i - 1 for h.
0
Let r(h) = 5*h + 57. Let b be r(-11). Solve -o = -b*x - 5, 4*o - o + 3*x = -3 for o.
1
Suppose 3*x - 2*w - 23 - 5 = 0, -x + w + 10 = 0. Suppose -x*u + 5*u = -3. Solve -2*i - u = 5*h, 6*i + h = 2*i + 7 for i.
2
Suppose 3*d = -4*h + 6, d = 2*h - 6 - 2. Let s(r) = 8*r**2 - 2*r + 1. Let k be s(1). Suppose -h*a = -k*a + 28. Solve 2*t + m - 3 = 0, -t - m = 3*t - a for t.
2
Let s(z) = -5*z + 0*z + 4*z - 1 + 5. Let t be s(-4). Solve -2*n - t = 3*p, -3*n + 3*p = -4*n - 10 for n.
2
Let q(v) = v**2 - 7*v + 8. Let m be q(6). Let c(u) = 4*u - 2. Let j be c(m). Suppose 0 = i - j*i + 90. Solve 0 = 4*x - 2*x + 4*r - i, -2*x + r - 7 = 0 for x.
-1
Let c = 88 + -83. Solve -6 = -2*y + 2*a, c = y - 2*a + 3 for y.
4
Let l be (-108)/(-20) + 4/(-10). Solve 5*g + l = 5*h, 4*g + 14 - 2 = -4*h for h.
-1
Let c(w) = -w**3 - w**2 - w + 4. Let o be c(0). Let s be 12*(-2 - (-6)/o). Let v be 12/(0 + (-4)/s). Solve 6*b - b + 15 = 5*z, 0 = 4*z - b - v for z.
5
Suppose -3*z = -4*w + 7 + 1, 3*z = -4*w + 32. Solve -f + w*r = -0*r - 4, 2 = -f - r for f.
-1
Let s(w) = w**2 + 5*w + 4. Let q be s(-5). Suppose -q*o - 2*m = -26, 3*o - m + 23 = 7*o. Solve 5*l + i = -22, -5*i + 6 = -o*l + l for l.
-4
Let s(c) = 2*c**3 + 21*c**2 + 26*c + 5. Let g be s(-9). Solve 6*u - 4*l - g = 3*u, 3*l + 16 = 5*u for u.
2
Let s(p) = -p**2 - p + 6. Let w be s(-3). Solve 3*j + 9 = w, -5*j + 17 - 44 = 3*q for q.
-4
Let h = 25 + -23. Solve 3*k - 4*f = 32, 2*k + h*f = 7*f + 33 for k.
4
Suppose -b + 3 = -2. Solve 5*j + 20 = 0, -b*p = -p + 5*j + 8 for p.
3
Let j be 12/(-28) - (-78)/(-14). Let h(y) = y**2 + 6*y + 5. Let w be h(j). Solve -w = l, -19 = m + l + 3*l for m.
1
Suppose -5*q + 96 = 3*t, 68 = 4*q - 2*t - 0*t. Let u be (-6)/(-15) + q/5. Solve -4*y + 7 + 13 = 2*m, 2*y + u*m - 16 = 0 for y.
4
Let m = 13 - 8. Suppose -g = -m - 0. Suppose g*h = -3*f + 17 - 1, 0 = 4*h - 5*f + 2. Solve 2*q - 22 = -4*j, -q = h*q - j - 5 for q.
3
Let o = -20 + 14. Let i be 20/6 + (-4)/o. Let p(h) = -h + 7. Let d be p(i). Solve -3*z - 19 = -4*z + d*u, -z + 14 = -2*u for z.
4
Let s(t) = -t - 11. Let k be s(-16). Solve r + 0*j - 17 = -3*j, -r - k*j = -27 for r.
2
Let l be (-3)/(-6) + 3*(-3)/(-18). Solve -u + 1 = 2*r, -r - 2*r - l = 4*u for r.
1
Suppose -3*j + 2 = -j + 2*n, -3 = -4*j - 5*n. Suppose -2*l + j = -l. Let i be 58/7 - (-2)/(-7). Solve -3*g + 14 = -4*c, -g + l*c - 7*c = i for g.
2
Let n be (-3)/((-13)/8 + 2). Let h(w) = 2*w + 1. Let i be h(-7). Let t = n - i. Solve 5*k + 10 = -t*b, -k - 1 = 2*b - 0*b for b.
1
Let o be 106/22 - 4/(-22). Solve -20 = -3*p + o*a, -3*a + 16 = 3*p - 4*a for p.
5
Let v(p) be the second derivative of -p**2 + 0 - 1/6*p**3 - 2*p. Let j be v(-4). Solve 5*f = y - 3 - 2, -j*y - 20 = 5*f for f.