 - j = 5*k + 4*m, -p = 3*m for k.
0
Suppose -13*k + 29 + 10 = 0. Solve -2*r + r - 17 = -k*p, 4*r = p - 24 for r.
-5
Let d = -17 + 22. Suppose 0*m + 4*w + 36 = 3*m, 48 = 4*m + d*w. Let j = -10 + m. Solve 2*s - 3*f - 6 = f, j*f = -5*s + 27 for s.
5
Let p(x) = -x**3 + 2*x**2. Let m be p(2). Solve 2*z - 13 = -3*u, m = -2*u + 4*u - 4*z - 14 for u.
5
Let z be (-2 - (-21)/3) + -2. Let k be 8 - 3/((z - 4)*3). Solve -3*l + 12 = 0, -5*n + 11 + k = 5*l for n.
0
Suppose 2*d - 31 = -3*s + d, 4*d - 16 = 0. Let h be (-4)/18 - (-232)/72. Suppose o + v + 2 = h*o, 2 = v. Solve -12 = j + o*n, 2*j - 3*n - 2 = s for j.
-2
Let j = 699 - 689. Solve 5*r = c - 2*c - j, -5*c - 22 = -3*r for r.
-1
Let t be 4 - ((0 - -1) + 1). Suppose -1 - 5 = -3*x. Suppose 3*r - 14 = -q, -4*q + 0*q = r - 23. Solve -3*b = -x*o + b + 8, t*o = -r*b + 8 for o.
4
Let a = -36 + 40. Suppose -a = 4*v - 4*j, 3*v = v + 3*j - 3. Suppose 2*l + 16 + 6 = 4*o, 5*o - 4*l - 29 = v. Solve o*i + 6*c - 3 = 2*c, 3*i + 3*c = 0 for i.
3
Suppose -4*q = -6 - 26. Let p = q - 6. Let z = 136 - 130. Solve 4*o + 16 = -o - 2*d, z = -p*d for o.
-2
Suppose 6 = g - 0*g. Let a be 0*(21/(-9))/(-7). Suppose 0 = -a*p - 3*p - 0*p. Solve -2*k = -2*b - g, p = -b + 3*b + 4*k - 18 for b.
1
Let y be 24/6*(-2 - (-11)/4). Solve -y*b + 2*j = 25, 2*b - 2*j + 35 = 3*j for b.
-5
Suppose -2*z + 91 - 97 = 0. Let t be (2/z)/(20/(-270)). Solve -4*j = 2*s - 3 - t, -j + 5*s - 19 = 0 for j.
1
Suppose -3*a - 4*j + 29 = 0, 25 - 1 = 4*a - 2*j. Suppose -a*k = -12*k + 15. Let g = 11 - 6. Solve -5*h + 3*r + 15 = r, 0 = -k*h + g*r + 9 for h.
3
Let z be 10 - 3/(-3)*-1. Solve 4*x - 10 = -8*i + z*i, i + 12 = 5*x for i.
-2
Suppose -63 - 639 = -18*t. Let x be t/2 + 3 + 10/(-4). Solve -n + x = 5*o, 4*n - 5*o + 20 = -25 for n.
-5
Let w = 9 - -7. Let d = w + -24. Let h be -6*-2*(-2)/d. Solve 5 + 4 = h*a, -a + 3 = -y for y.
0
Suppose -5*z + 2*z + 2*h = -17, 0 = -3*z + h + 13. Solve 2*l - 9 = -5*s + 21, 3*s + z = 3*l for s.
4
Let i = -1234 - -1245. Solve 3*q + 3 = 6, -3*j = -5*q + i for j.
-2
Let x = -4 - 36. Let n = x - -42. Solve 0 = -q - 5*f - 3, f = -q + n*f - 3 for q.
-3
Let r be 37 + -12 + (12 - 6). Solve -4*o + 2*a - r = o, -5*o - 13 = 4*a for o.
-5
Suppose 0 = 37*v - 27*v - 50. Solve -v*m - 3*u - 10 = 0, -u + 5*u + 22 = 2*m for m.
1
Suppose 4*m - 18 = -2. Suppose -5*h + 40 = -4*i, -m*h + 3*i + 11 = -5*h. Solve 5*g - 32 = g + h*l, -4*l = 4*g for g.
4
Let x = 1562 + -1562. Solve v = -v - t - 4, x = -v + 2*t - 2 for v.
-2
Let y(t) = t**3 + 3*t**2 + 2. Let p be y(-3). Let c be 1/6 - p/12. Solve -2*x + c*x - 26 = -4*m, 5*x + 20 = m for m.
5
Let f(y) = -y**2 - 9*y + 39. Let l be f(3). Solve l*g = -u + 10, 0*g = g - u - 2 for g.
3
Let o(d) = -2*d - 5. Let r be o(-4). Solve 29 = 5*u + 2*h, 8*h = 2*u + r*h for u.
5
Let y(o) = 4 - 8 - 3*o + 2*o. Let i be y(-7). Suppose -k - i*m + 8 + 4 = 0, 5*k - 34 = -2*m. Solve 0 = 4*s + c + 12, 2*s = -c - 14 + k for s.
-2
Let p = -16 + 18. Suppose -25 = -5*u + 4*h, u - p*h - 3*h = 5. Solve -u*d - 2*n = -16, d + 0*n - 5*n = 14 for d.
4
Let n = 23 - 19. Let k(h) = -13*h**3 + h**2 + 4*h + 2. Let s be k(-1). Solve 0 = 2*b + d - 5, -5*b = -d + n*d - s for b.
3
Let s = -109 + 111. Let i be 110/77*7/s. Solve i*c - 2*x = -7*x + 10, -3*x - 10 = -c for c.
4
Let j = 103 + -91. Solve -2*t - 4 = -d - 3, 5*d - j = 3*t for d.
3
Let x be 6/4*28/(-84)*-10. Solve 3*g = -3, x*g = -5*l + l - 13 for l.
-2
Let j = 0 + -10. Let x = j + 13. Solve 3*v = 2*q + 7, x*v - 2*q = -q + 11 for v.
5
Let b(x) = 1 - 8 + 1 + 8*x**2 - x**3 + x. Let t be b(8). Suppose 11 = 3*s - 5*q, -3*s + 187 = q + 182. Solve -3*w - 8 = h, -s*w - t*h = 3*h - 12 for w.
-4
Let u be (15/9)/(10/12). Suppose 0*d = 5*d + 2*p + 13, -2 = -u*p. Let l be (-7)/(d - -2) + -4. Solve 4*s + 8*a + 18 = l*a, 5*a = -2*s - 14 for s.
-2
Suppose -334 - 210 = -32*n. Solve -z + 18 = -4*c - 4, 0 = -4*z - 5*c - n for z.
2
Let o be ((-14)/2)/(6/6). Let m(l) = -l**2 - 7*l + 5. Let q be m(o). Let c be (-2 - (-7 - -2)) + q. Solve -5*s + s - c = -3*y, s - 3*y = 7 for s.
-5
Let l be 0/(5*(-9)/45). Solve -2*w = -5*s + 6*s + 2, l = -4*s - 4*w - 8 for s.
-2
Suppose -14*k + 230 = 90. Let r(a) = -4*a**3 - 2*a**2 + 1. Let p be r(-1). Solve 4*y = 5*q - 10, 5*y + 9 = p*q - k for q.
-2
Let u(n) = 5*n**2 - n**3 - 12 + 16 - 8 - 2*n. Let j be u(4). Solve -z + 20 = 5*t, -2*z - 15 = -j*t - 3*z for t.
5
Suppose -4*q + 38 = -30. Suppose 4*u - 61 + q = 0. Suppose -24*v = -21*v - 6. Solve 4 + 3 = -3*o - v*b, 4*o + u = -b for o.
-3
Let c(g) = 3 + g**2 + 3 - 2 + 2*g - 3 - 4*g**3. Let k be c(-1). Suppose l = -0*l + k*u - 11, 0 = l + 3*u - 10. Solve -x - 13 = 5*j, -4*x = -j + 11 - l for j.
-2
Suppose -6 = -5*g + 2*g. Let o(y) = y**g + 7 - 3 - 4 + 2 - 9*y. Let j be o(9). Solve 0 = j*p - r - r + 6, -2*p - 5*r = 13 for p.
-4
Let y = 256 - 255. Solve -3*w - 4*m = -16, -3*w - 3 = -m + y for w.
0
Let s be -4*(-6 - -4)/8. Suppose 4*a - 9 = -s. Solve 0 = y + i - 7, 0 = y - a*i - 2*i + 18 for y.
2
Let u(i) = -3*i + 65. Suppose -304 = -13*o - 31. Let a be u(o). Solve -5*c - m + a*m = 22, 3*c + 6 = 3*m for c.
-5
Let w(d) = 5*d - 8. Let c be 2 + (2 - (-8)/(-4)). Let k be w(c). Solve 3 = 3*l, 4*m = k*m - 4*l for m.
-2
Let d = 398 - 396. Solve 5*k = 2*m - 9 - 8, -d*k - 6 = -m for m.
-4
Suppose -12 = 2*w + 4*m, -3*m - 3 = -6. Let u = -4 - w. Solve -4*z + u*h + 8 = 0, -2*z + 4 = -4*z - 2*h for z.
0
Let i(t) = -66*t + 797. Let c be i(12). Let b = 3 - -1. Solve 2*x = -4*z + b*x + 8, -c*z + x = -4 for z.
0
Let u be ((-6)/11)/((-33)/363). Solve -r = -5*q + 2*r + 9, -3*r = -u for q.
3
Suppose -1 + 13 = 6*x. Suppose 0*u = -3*u - x*z + 54, -3*u + 2*z + 42 = 0. Solve -3*v - 2*o = v - u, -v - 1 = -2*o for v.
3
Suppose -5*l - 7 + 29 = 2*d, -l + 7 = 3*d. Suppose -l*p + 5*i = 13, -5*p - i + 25 = i. Suppose -p = -4*v + 33. Solve 3*s - 4*b = -3*b - v, 4*s + 17 = 3*b for s.
-2
Suppose -o + 2*o = 35. Suppose 2*c - 3 = j, -3*j + 2*c + 4 + 3 = 0. Suppose 4*r - 8*r + 20 = 0. Solve -r = 5*k - 4*i, 5*k - i = -j*i + o for k.
3
Suppose 189 - 165 = 4*p. Solve -2*d + 0*y = -2*y + 4, 0 = -2*y + p for d.
1
Let l(w) = w**2 + 3*w - 9. Let h be l(6). Suppose 5*n + 69 = -u, 0 = 2*n + 3*n - 5*u + h. Let q = -8 - n. Solve -23 = -q*x - 4*o, 0 = -3*x - o - 4*o + 19 for x.
3
Suppose 113 = -8*u + 337. Let c = -25 + u. Solve -4*a = -2*j - 0 - 2, 4*a = j + c for a.
1
Let r be (-2 + 1)/(2/(-8)*1). Let h(b) be the first derivative of -b**2/2 - 2*b + 6. Let d be h(-2). Solve q + 4*s - 4 = -0*q, d = -2*s + r for q.
-4
Let o be (10/4)/((-3)/6). Let i be -6 + -6 + (-2 - o). Let m = i + 13. Solve g = 2*s - 9, 0 = s - m*g - 1 for s.
5
Suppose 0 = -z - 2*l - 6, 0 = -2*z + 2*l - 3*l. Solve -8 = x + 2*k, -x + z*k = -3*x - 8 for x.
0
Let a be 10/(-25) + (-27)/(-5). Solve -s = -z - a, -4*z - z - 3*s = 25 for z.
-5
Let n be (3 - 3)/(-2) + 0. Suppose -3*x + 4*x - 3 = n. Let z(s) = 18*s**3 - s**2 + s. Let m be z(1). Solve -4*a = -x*a - 4*b + m, -5*a = -b + 14 for a.
-2
Suppose n - 4 = k, 3*n - 7*n = 4*k + 8. Let i be (2 + -2)/(k/(-3)). Solve 4*r + 4*q + i = -12, 27 = r - 5*q for r.
2
Let y = 468 + -465. Suppose 0 = 2*i + 4*n - 2*n + 16, n - 27 = 4*i. Let j = 12 + i. Solve -y*h + 5*f = -12 - 22, -5*h + 40 = -j*f for h.
3
Let u(j) = 9*j - 12. Let a be u(9). Let g be (a/(-6))/((-1)/2). Suppose 0 = 4*r - g + 7. Solve -s + r = -0*s - b, -5*s + 10 = 5*b for s.
3
Suppose 5 = r, -4*i + 10 = -r - 5. Solve 3*a = -2*b - 2, i*a = b - 4*b - 5 for a.
-4
Suppose 4*n + 0*t + 4*t = 0, -n - 2*t - 4 = 0. Solve -5*u = -5*y - 25, -2*u - 2*u + 12 = n*y for y.
-1
Suppose -39 = -3*z - 9. Solve b - z = 2*p, -5*b + 0*p - p = -17 for b.
4
Let k = -17 + 19. Solve 2*v = -g + 5 + k, 0 = 5*g + 15 for v.
5
Let y = -27 + 53. Suppose -2*b + 10 = -3*d + 4*d, -2*b = 5*d - y. Suppose -3*t = 2*t - 10. Solve 0 = 4*x - 3*o - 7, -d*x + 3*o - 1 = -t*x for x.
4
Let c be (-3)/(-5)*(9/3 - -2). Solve -3*n + 23 = o - c*o, 1 = n + o for n.
5
Let b be 21/1*(-42)/(-49). Solve 3*f - 5*x + 12 = 4*f, 5*f - b = -4*x for f.
2
Let v = 28 - 22. Suppose c + 4 = v. Solve -2*d - 6*l + l = -8, -c*d - l = 0 for d.
-1
Suppose -2*i + 34 - 4 = -4*q, -5*i = -5*q - 50. Solve i*u - 10 = -5*t - 0*t, -4*u + t - 12 = 0 for u.
-2
Let a(n) = n**2 - 19*n - 242. Let l be a(28). Let h be (1/3)/(2/12). Solve 0 = h*x - l, -15 = -7*t + 2*t - 3*x for t.
0
Suppose -3*a + 6*