f - 4 + 3*f**2 - 2*f**2 + 3*f**2 - f**3. Let h be x(3). Solve 3*m + h*k = -2*k - 8, 5*m + 10 = -5*k for m.
0
Let v = 246 + -244. Solve v*s + i = 3, -4*s + 7 = 2*i + i for s.
1
Suppose -31 - 161 = -48*o. Solve -4*w - 8 = -o*m, 3*m - 2*m = 2*w for w.
2
Let l(x) = x**3 + 4*x**2 + 5*x + 8. Let t be l(-4). Let a be 15/(-2*3/(-6)). Let v = t + a. Solve -20 = -4*m, 2*b = -v*b + m - 5 for b.
0
Suppose 4*y - 128 = -5*u, 18 = 2*y - 5*u - 16. Solve -2*l = -8, 3*c + 2*l + y = 5*l for c.
-5
Suppose -20 = -20*x + 25*x. Let g be 1 - (5 - -1)/(6/x). Let d be 2/6 + (-28)/(-6). Solve b + 3*o + 3 = 0, b + 5*o = g*b - d for b.
0
Suppose -6*x + 6 = 6. Suppose -5*u + 0*c - 2*c + 134 = x, u - 31 = c. Solve -3*i = -5*s - 2, -4*s + 0*i - 5*i + u = 0 for s.
2
Let l be -3 + 1 + 4 - -2. Suppose -3*s + 9 = -3*u - 9, 0 = l*u - 8. Let v be (-2 - (-2 + -2)) + s. Solve 0 = 3*d - x + v + 2, 0 = d - x + 2 for d.
-5
Let s(q) = -q**3 + 9*q**2 - 8*q + 2. Let o be s(8). Let x = 6 - o. Suppose 2*i + i = 0. Solve -x*l + 3*y + 13 = 0, i*y - 5 = -2*l + y for l.
1
Let l = -741 - -755. Let i = 5 + -2. Let c = i + 4. Solve -2*f = -u + l, -2*u = -2*f + c - 25 for f.
-5
Let a = -14 - -19. Suppose 5*v = 4*m - 37 + 124, -2*v = -m - 33. Solve -l = 3*t + 4*l + v, a*t + 3*l + 25 = 0 for t.
-5
Suppose 31*t - 4*s + 7 = 34*t, -3*s + 1 = -2*t. Solve 0 = g + 5*n - 14, 0 = -g - 2*n + 6 - t for g.
-1
Suppose -12*d = 16*d - 140. Solve 7 = -p - 3*o, 0 = -d*p - 2*o + 9 + 8 for p.
5
Suppose 0 = 10*f - 11*f + 1. Suppose j - f = 2. Let a be 0/((-2)/(j/(-3))). Solve -t - 3*t + 5*b + 23 = 0, a = 4*t + 2*b - 2 for t.
2
Let b be 18/(-12)*16/(-6). Suppose -1 + b = p. Suppose 4*c - 4*x - 33 = p*c, 2*c = -x + 21. Solve -5*d = 4*v - 2 - 1, -3*d - c = -5*v for d.
-1
Let m(s) = -s**3 + 6*s**2 + s - 6. Let z be m(6). Let h be 9 - (z - 6/2). Solve -3*u + 2*w - h = -0, 3*u - 3 = -3*w for u.
-2
Let u(v) = v**2 - 15*v + 4. Let d be u(15). Suppose -d*w = -2*w - 10. Solve t - w = 2*c, 2*c + t + 3 = -0*t for c.
-2
Let g = 45 - 17. Suppose -6*n + g - 4 = 0. Solve 3*u - 17 = -n*c, -5*u + 3*u = -3*c for c.
2
Let f(h) = -2*h**3 - 10*h**2 - 5*h + 3. Let x be f(-4). Let d be ((-12)/x)/(2*6/27). Solve 4*g + 16 = -w, -d*w - 3 = -6*g + 3*g for w.
-4
Let a = 894 + -889. Solve 5*v - 2*l - 16 = 0, 3*v + 2 = a*v - 3*l for v.
4
Let d = 12 - -3. Let r be (64/(-40))/((-1)/d). Solve -2*z = -5*k + r, 0 = -0*z - 4*z + 4*k - 24 for z.
-2
Let y be ((-7)/21)/((-1)/9). Let z be (10/7)/(9/63). Let i = 13 - z. Solve 0*k + 4*k = -3*p - y, -3*p - i = k for p.
-1
Suppose -62 = -3*g + 82. Suppose 49*l = g*l + 3. Solve -l*b + t = 5*t - 35, 5*b + 2*t - 35 = 0 for b.
5
Suppose -1 = w + 1. Let o(a) = -a**2 - 3*a - 2. Let t be o(w). Let k(m) = m**2 - 11*m - 10. Let s be k(12). Solve l = 4*n + 20, -s*l + t*n - 8 = 4*n for l.
4
Let q be (-2)/((-4)/14) - 2. Suppose p + 51 = -0*p. Let w = 54 + p. Solve g - 9 = -2*y, w*y - q*g = -0*y + 20 for y.
5
Let o(w) = w**2 + 76*w + 662. Let u be o(-66). Solve 2*j - 6 = 2*d, u*j + 12 = 6*j for d.
0
Let h be (0 - 1)*-9 - 0. Let u be (-117)/h - (3 - 1). Let x be 2 - (-5)/(u/(-12)). Solve -4*t + 21 = 3*k - 4*k, x = t - k for t.
5
Let y = 16 - 13. Suppose j = 6*j - 25. Suppose 5*q + y*u = 0, -3*q + 8*q + j*u = 0. Solve -f - 5*x + 3 - 28 = q, 2*f + 14 = -x for f.
-5
Let g be 3 - -4*7/(-28). Solve -t = -4*m - m - 25, t + 3 = -g*m for t.
5
Let a be (8/56)/((-4 - -6)/28). Solve -2*m - 4*t + 10 = 0, 3*m = m - a*t + 2 for m.
-3
Let t(u) = u**3 + 2*u**2. Let c be t(2). Let j(k) = -2*k**2 + 5*k + 4. Let g be j(0). Let p = 7 - -11. Solve -c = -2*f + 4*o, -g*f + 3*o + p = -f for f.
4
Let h be (-26)/39 + (83/3)/1. Suppose -h = -9*s - 0. Solve 4*i + 46 = 3*j + 11, -5 = -4*j - s*i for j.
5
Let a = 206 + -203. Solve 0*d + a*d = -3*z + 18, 0 = -5*z - d + 14 for z.
2
Let d(n) = -n + 2 - 5 - 6 + 3*n. Let s be d(7). Solve 2*c = v - 1, -3 - 19 = 4*v + s*c for v.
-3
Let w = 17 - 14. Let l = 3 + 0. Suppose -g - 5 = 3*f, 2*g - l*f + 0*f = 26. Solve 3*m = w*q + 5*m - g, 0 = m - 2 for q.
1
Let s(o) = 23*o + 233. Let i be s(-10). Solve 0 = -2*c - 4*a + 10, -i*c + 6*c - 5*a + 7 = 0 for c.
1
Let b = -11650 + 11653. Let z be 1/(-1 + 6/4). Solve 7*v - 10 = b*v + 2*l, z*l + 8 = 3*v for v.
2
Let i = 31 + -21. Let z be (-1 - (-14)/i)*(-4 - -14). Solve 3*k + 7 = -o, 1 = -4*o - z*k + k for o.
2
Let f be 2/2 - (-19 + (-220)/(-11)). Solve 0 = 4*g - 20, -2*m - 2*m - 3*g - 1 = f for m.
-4
Let z be (-14)/(-3) + (-200)/300. Solve z*m - 2*q = -12, 3*q = 3*m - 0*q + 12 for m.
-2
Let m = 58 + -50. Let x be (12/(-8))/(2/(-4)). Let o be (1/(-2))/(2/(-12)). Solve -o*a = h + x*h - m, h + 13 = 3*a for h.
-1
Suppose -1 = -2*a + 1. Let g(u) = 3 - u + 2*u + a + 11. Let b be g(-15). Solve 2*r + 37 = -2*r + 5*i, b = -2*i + 10 for r.
-3
Let m be (3/4)/((-39)/(-104)). Suppose -2*z - 6 = -m*q, z = -z - 5*q + 15. Solve -j + 4*f + 21 = z, 2*j - f = -2*j + 24 for j.
5
Let h = 93 - 97. Let z(x) = x + 22. Let a be z(h). Solve f - 4*g = -3*f, 4*f + 2*g = a for f.
3
Let x(d) = -d**3 - 11*d**2 + 3*d + 35. Let i be x(-11). Solve -i*m - 6 = 4*h, m - 2*m = 4*h + 5 for h.
-1
Let n = -39 + 58. Suppose -336 = -120*j + 78*j. Solve -x - 4*r = j, r + 2 = -5*x - n for x.
-4
Let q(y) = -2*y + 11. Let p be q(4). Solve -p*z = n + 2, 0 = -4*z - 2*n - 2*n for z.
-1
Let c = 115 - 92. Suppose -c*p + 30*p - 14 = 0. Solve -2*q = -3*n - 14, 2*q - p*n = -q + 16 for q.
4
Let j be -3 + (0 - 1*-2). Let w(y) = 25*y**2 + y. Let r be w(j). Let k = 1269 - 1264. Solve -4*s + 20 = -4*h, -h + 5*h = k*s - r for s.
4
Suppose -4*b + u = -16, 20*b - u = 18*b + 8. Solve -b*s + 6*m = 2*m, -m = -3 for s.
3
Let x be (-62)/(-20) - (24/80)/3. Solve -5*u = -2*g + 10, -3*u - x*g + 1 = 28 for u.
-4
Let a(y) = y**2 + 3*y - 4. Let r be a(-3). Let p = r - -6. Suppose 58*n + 57*n = 0. Solve 0 = -7*c + p*c + 5*t, n = 4*t for c.
0
Let f(g) = g**2 + 2*g - 1. Let q(p) = p**3 - 19*p**2 - 19*p - 19. Let i be q(20). Let z be f(i). Solve 3*c = 7*c + 3*r, 3*r - 18 = z*c for c.
-3
Suppose 8*p - 13 = 3. Suppose 22*s = 23*s. Solve s*l - 2*g - 10 = -l, 4*g = -p*l - 20 for l.
0
Suppose 0 = -5*v + b + 10, 5*b = b + 20. Solve -5*u - 4*r = 37, 7*r - 13 = 5*u + v*r for u.
-5
Suppose 2*o + 2*d - 28 + 12 = 0, -o = 5*d. Suppose -i - i + o = 0. Suppose -16 = -i*z + 4. Solve 0 = 2*c + c + 6, 3*c - 2 = -z*h for h.
2
Let p(k) = 6*k - 2. Suppose 0 = -3*c + 9 - 3. Let q = c - 1. Let u be p(q). Solve 2*x + 10 = -u*y, -x = -0*y - 2*y - 11 for x.
3
Let n be 85/30 - 2/(-12). Let f(k) = -k**3 - 10*k**2 - 15*k + 12. Let x be f(-8). Solve 0 = -x*h + 3*o - 5 - 22, n*o - 9 = -2*h for h.
-3
Suppose 0 = 3*z + 3, -16 = -5*p + 3*z + 17. Let x be 9/12 + p/(-8). Solve -5*g = 4*o + 2, 3*o - g + 3*g + 5 = x for o.
-3
Suppose 6*a + 3*z + 3 = 3*a, 0 = 3*z + 9. Solve a*j = k + 3, 10*k = -j + 13*k + 14 for j.
-1
Let l(h) = 7*h**3 - 2*h**2 + h. Let p be l(1). Suppose -8*r - 8 = 4*q - 12*r, 0 = 3*r - 15. Solve -b + 13 = -5*c, q*b - p + 15 = -c for c.
-3
Let x(y) = -5*y**2 + 43*y - 22. Let d be x(8). Solve 0 = -3*s - 2*h - 6 - 1, 3*h = d*s - 17 for s.
1
Suppose -2*c = v - 13, -4*v + 30 = 3*c + v. Let d(b) = -b**2 - 7*b + 19. Let x be d(-9). Solve s + i + x = 4*i, c = -5*i for s.
-4
Let a(m) = -5*m - 16. Let y be a(5). Let t = -38 - y. Solve 4*o + z + 0*z = 5, -13 = -2*o + t*z for o.
2
Suppose 4*m = 3*m + 15. Suppose -5 = -5*g + m. Solve g*v + 7*d + 6 = 4*d, v = -5*d - 10 for v.
0
Let b(x) = -x**3 - 15*x**2 - 11*x + 47. Let i be b(-14). Solve -12 = -2*p - i*g - 3, 0 = p - g - 1 for p.
2
Let s = -146 - -149. Solve -2*i + i - s = -y, -i = 0 for y.
3
Let j be 3*(0/2 + 1). Let m(u) = -u**3 - 10*u**2 + 9*u - 17. Suppose -p - 8 = 3. Let f be m(p). Solve 10 = -f*k + 5*o, 4*k + 2 = j*o - 5 for k.
-1
Suppose 0*l + 5*l + 130 = 0. Let o = l - -31. Solve i + 3*x = 5, -2*i = -o*x + 2 - 1 for i.
2
Let j be (-34)/(-2)*(-3 + 2). Let t = j - -82. Solve -2*i + 8 = 4*u, 25 = 5*i - 5*u + t for i.
-4
Let i(a) = -a**2 + 15*a - 14. Let k(h) = -h**3 - h - 1. Let j be k(-2). Let p be i(j). Solve 5*f + 7 = -g + 31, 5*f + 5*g = p for f.
4
Let g be 2 + -5 + -1 + 1. Let m be ((-12)/g - 4)*1. Let p(d) = -d**3 + 6*d**2 - 4*d + 4. Let q be p(5). Solve i = -2*u + q, -3*i - 2*u + 4 + 7 = m for i.
1
Let b = 22 - 22. Let g(o) = -o**3 - o**2 - 2*o. Let l be g(b). Solve 5*k + 5*s = 5, 4 = -4*k - l*k - 2*s for k.
-3
Suppos