4, y + 2*r - m = 0 for y.
4
Let y = -3 + 5. Suppose t = 4*a + 6, -37 = -3*t + 3*a + 8. Suppose -68 = -t*r - 14. Solve -o + y = 0, s - r*o = -5 + 1 for s.
2
Let x(y) = -46*y - 18. Let r be x(-1). Solve -5*s + w = r, 4*s + 14 = w - 3*w for s.
-5
Let v = 3 - -3. Suppose -v*b = -71 - 49. Suppose -11 = -u + 3*o, u - b = -3*u + 4*o. Solve 5*f + u*c - 14 = 0, -3*f + 21 = -c - 2*c for f.
4
Let c = 471 - 465. Solve -2*r = -c*r + 4*l + 12, -16 = 4*l for r.
-1
Let d be (-9)/36 - (-102)/(-8). Let y(o) = 3*o + 2. Let k be y(-4). Let g = k - d. Solve -g*w + 0*w - 19 = -4*j, 0 = 5*w - j + 9 for w.
-1
Let m = 3 - 0. Suppose 0 = -m*b + 13*b - 20. Solve -3*u - l = 11, -15 = -b*u + u - 5*l for u.
-5
Let t = -429 - -429. Solve -2*v - i - 14 = t, 27 = -3*v - 2*i - i for v.
-5
Let g = -82 + 62. Let n be 2*5/g*-60. Solve 10*w - 5*w = -3*m - n, -5*m - 34 = 3*w for w.
-3
Suppose 3*l + l - 4 = 0, -1 = 5*n - l. Solve 0 = -n*w + 3*w - 5*y - 3, -2*w - y = -2 for w.
1
Let a(q) = -2*q**3 + 29*q**2 - 15*q + 16. Let g be a(14). Solve 3*d = -g*x + 21, -4*x - 4 + 1 = -3*d for d.
5
Suppose o = -3*d + 8, -3*d + 5*o = 4*o - 4. Let q be (-22)/(-10) + d/(-10) + 1. Solve 0 = -2*m - 2, -9 = q*f + 5*m + 8 for f.
-4
Suppose 2*b = 3*g - 12, -3*b - 5*g + 20 = b. Let u(a) = -a**2 - a + 2. Let c be u(0). Suppose 5 = 19*f - 52. Solve c*r + 0*j = -j - 7, -f*j - 3 = b for r.
-3
Suppose -11*k = 706 - 1982. Let l = -113 + k. Solve 0 = -j + 2*z - 8, -z = -1 - l for j.
0
Let m = 5 + -4. Let o be (-4)/(-1*(-3 + 4)). Let u(n) = n**2 - 3*n - 1. Let i be u(o). Solve -2*k - 5*f = 15, i*f - m = 3*k + 11 for k.
-5
Let f be 4 + (0/10)/(4/(-2)). Solve 5*u + f*p = 1, 4*u + 4 = 6*u - 2*p for u.
1
Suppose -n = -3*d - 17, -3*d + 3*n - 13 = -2*n. Let v be (63/d)/(3/(-4)). Solve 2*m + s - 2 = 2*s, v = 4*m + 3*s for m.
2
Let t(z) = 2*z. Let u be t(0). Suppose i + 4*i = u. Let v = 0 - -2. Solve -v*f - f + 3*m - 6 = 0, i = m for f.
-2
Suppose -3*q = -4*g + 28, -4*q + 3*q + 16 = 5*g. Let r = -112 - -152. Suppose r = g*n - 20. Solve -4*w + 3*f + 12 = 0, 4*f + n = 5*w + f for w.
3
Let j(q) = 7 - 6*q**2 + 11*q**2 - 7*q**2 + 5 + 8*q. Let k be j(5). Solve 2*n + k = 3*n - 3*x, -8 = 4*x for n.
-4
Let n be 31/93 + (-1 - (-4)/6). Solve -s = -2*a - 2*s - 10, -3*a - 3*s - 21 = n for a.
-3
Suppose 0 = -4*d - 0 + 220. Let k = d + -51. Solve 2*i + 7 = 3*q, -4*q - 4*i = k - 20 for q.
3
Let o be 2/(-9) - 76/(-342). Solve -4*j - 20 = o, -6*d - 14 = -5*d + 2*j for d.
-4
Suppose 2*x + 10 = 7*x. Suppose 0 = 3*b + 5*i + 4 - 18, -5*b = 4*i - 32. Suppose 0 = 98*a - 131 + 61 - 126. Solve -a*g - 13 = 2*p + 3, -x*p + 4*g = -b for p.
-4
Let m(h) = h**3 + 8*h**2 + h + 10. Let j be m(-8). Suppose 0 = 5*f - 15, -f - 4*f = -j*u - 5. Solve 3*w + 20 = -u*x, 3*x - 2*w = 5 + 2 for x.
-1
Let b = -234 - -360. Let j = b + -273. Let y be (-672)/j - (-6)/14. Solve -2*l = r + r, -2*l - 9 = y*r for r.
-3
Let h be -9 - -11 - (-1 + -2). Suppose h + 0 = -i. Let n = i - -8. Solve -4*j - c - 16 = -n*c, 4*j + 10 = 5*c for j.
-5
Let c be 0/((-11)/(-11)) + 2. Solve 4 = -4*k - 5*b, c*k + 2*k - 5*b + 4 = 0 for k.
-1
Let r be -1*(4 + 7*(-15)/5). Solve q + r = -2*z - 2*z, -3*q - 2*z = 1 for q.
3
Let p(o) = 6*o**2 - 8*o - 9. Let y be p(-1). Solve -5*u - 15 = y*d, 0 = -2*u + d - 4*d - 4 for u.
-5
Let l be (280/(-42))/((-8)/6). Solve 25 = -5*t - 2*f, -t - l*f = -4*t + 16 for t.
-3
Let f = -629 + 635. Solve -4*d - 5 = -w - 17, d - f = w for d.
2
Let x be 42/(-15) + 8/10. Let j be ((-10)/(-15))/(x/(-9)). Suppose -3 - 5 = -4*m. Solve -23 = 5*n + 3*t, -t - m*t - j = 0 for n.
-4
Let z = -54 - -56. Suppose 5*u - 9 = z*q - 0, -5*u = q - 18. Solve 15 = -3*v - 3*i, 2*v = -u*v + 3*i + 15 for v.
0
Let u = 16 - 13. Suppose -5*v + u*z - 6 = -0, -2*z + 4 = 0. Let s = 57 - 46. Solve -n + 3*r + 17 = v, 35 = 2*n - 4*r + s for n.
2
Suppose -2*g - 14 = -5*g - d, 4*g + 2*d = 18. Suppose -g*c - 10 = -7*c. Solve -10 + 0 = 5*y, -15 = -w + c*y for w.
5
Let k be -2*((-2)/(-4) - 1). Let w be (-10 - 2)*7/(-28). Solve -r + 0*r = 2*v - k, -3*v + w*r = 12 for v.
-1
Let x(p) = 2*p**3 + 25*p**2 - 13*p + 14. Let j be x(-13). Solve -3*z = -w + 8, -5*z - j = 3*w - 4*w for w.
-1
Suppose -3*c + 6 = -x, 4*c - 8 = x - 3*x. Suppose 0 = -c*z - 0*z + 2. Solve -4*j - z - 1 = 2*v, 2*j = -2*v - 6 for v.
-5
Let p(c) be the second derivative of -c**4/12 + 3*c**3/2 + 2*c. Let k be p(9). Solve -7*u - o - 13 = -4*u, k = -u + 4*o for u.
-4
Suppose -14 + 6 = -4*d. Suppose 0 = -d*y + 3*a - 71, 5*a + 53 = 3*y + 161. Let n = -22 - y. Solve 3*h - 6 = -3*l, -2*h + n = 4*l + 3*h for l.
1
Suppose -9 = -3*y - q + 27, 0 = -4*y + 3*q + 61. Solve 0 = t - 2*p - p + y, 2*t + p - 2 = 0 for t.
-1
Suppose -4*h = 2*j - 2, 0 = -7*h + 4*j - 2 - 2. Solve 2*t - 5*t + 2*c = -5, h = -4*t + 5*c - 5 for t.
5
Let p = -107 - -107. Solve 5*s = -p*s - 3*l + 22, 5*s = -l + 14 for s.
2
Let s = 428 + -397. Solve -s = 5*m + 2*t, t + 23 = -4*m - 0*t for m.
-5
Let c be 3*3/(-3 - 0). Let h be ((-9)/c)/((-9)/(-15)). Solve 0 = w + 3*w - r + 17, w = r - h for w.
-4
Suppose 8*r = 4*r + 16. Suppose -2*t + 5 = 3*t. Suppose -3*c = c - r*u - 4, -4*c - u - t = 0. Solve 4*l = -2*x - 2, -2*l - 2*x + 2 - 4 = c for l.
0
Suppose 82 = 5*g + 2*c, 4*g + c - 63 = 5. Solve -3*h + g = -3*z + 2*h, -5*z = 4*h - 7 for z.
-1
Suppose -3 = 2*l + 5*o + 6, 3*l = -3*o - 9. Let k(v) = -6*v + 2. Let r be k(l). Let t = r + -14. Solve -2*u + 2*y + 15 = -3*y, -u + y + 3 = t for u.
0
Let l(d) = 2*d + 29. Let i be 3/(-1) - (8 - -2). Let o be l(i). Solve -f - 2 - o = -5*w, 5*f - 31 = -3*w for w.
2
Let f be 18/(28/20 + -1). Let x = 56 + -39. Let y be 0 + (x - -3)/5. Solve -6*n - 35 = -n - 2*t, y*t - f = 5*n for n.
-5
Let t = -13 - -14. Let b be (-6)/18*(t - 49). Solve -2*i - b = 2*i - 4*m, -2*m = i - 8 for i.
0
Let h = 18 + -2. Let s be (-6)/(-3) + -3*(2 - -4). Let x = s + h. Solve x = 5*y + 4*w - 5, -y + 0*w = -w - 1 for y.
1
Let s(w) = 6*w - 72. Let k be s(11). Let o(a) = a**3 - a - 10. Let c be o(0). Let v be 119/35 + k/c. Solve 0 = -3*n - v*x + 19, 2*n - 2*x + 9 = 3*n for n.
1
Let i be (-9 - 6)/5 + 33. Let t = 10 - 5. Suppose -3*z - i = -5*a, -9*a = -4*a - t*z - 40. Solve -3*y = -a*r + 3, -r + 9 = -5*y - 0*r for y.
-2
Let b = -825 - -831. Solve -b*j = -3*j - 5*g - 4, 2*j + 5*g - 11 = 0 for j.
3
Let t(a) be the first derivative of -a**2/2 + 5*a - 3. Let f be t(-7). Let b = -10 + f. Solve b*r = 3*x + 8, 3*r - 2*x - 3 = 9 for r.
4
Suppose 0 = 5*u - 35 + 100. Let k(v) = v - 1. Let c be k(u). Let w = 27 + c. Solve -r - a + 2 = 0, 5*a = 3*r - w - 17 for r.
5
Let v(z) = z**3 - 8*z**2 - 22*z + 25. Let q be v(10). Suppose -8 = -2*m + 9*t - q*t, 0 = 5*t. Solve -b - b = -m*f, -3 = 3*f for b.
-2
Suppose -11*y + 40 = -3*y. Suppose 0 = 15*u - y*u. Solve 0*w = -4*w - 5*z - 12, u = 3*w - 3*z - 18 for w.
2
Let r(u) be the second derivative of u**3/6 + 2*u**2 - u. Let h be (-2 - 1) + (10/2 - 2). Let p be r(h). Solve 2*z = p*m + 14, -6 = 2*m - 0*m for z.
1
Let t(v) = 2*v**2 + 10*v + 8. Let b be t(-4). Suppose b = 32*p - 27*p. Solve -4*c - 3*q - 8 = p, 3*c + 0*c + 31 = 4*q for c.
-5
Suppose -s = w + 3, 4*w + 6 = -0*w - s. Let d be (1 + -10)*w/3. Solve 0 = -2*z + 4*i + d - 15, z = 4*i - 14 for z.
2
Let o(t) = t**3 + 7*t**2 - 2*t - 31. Let f be o(-6). Solve -f = -d + 4*x, 3*d = 2*d + 5*x + 20 for d.
5
Let a = -5 - -13. Suppose -3*i = i - a. Suppose -z + 6*l + 8 = 2*l, i*l = 3*z - 14. Solve 27 = -5*w - 4*t, z*t = -0*t - 12 for w.
-3
Let m(u) = 0*u + 3*u - 6 + 0 + u**3 - 4*u**2. Let c(x) = -x**2 - 9*x + 26. Let z be c(-11). Let k be m(z). Solve 7 = 5*p - l - k, 2*p + l - 1 = 0 for p.
2
Suppose 5*l + z - 19 = 0, 0 = -5*l + 4*z - 2*z + 7. Suppose -l*p + 4*x = 1, -4*p - 4*x + 6 = -2. Solve 2*s - s - 1 = y, -3*s + p = -5*y for y.
1
Let m(t) = t**3 - 9*t**2 + 2*t - 8. Let u(o) = o**3 - 6*o. Let x be u(3). Let p be m(x). Suppose 5*w + 26 = 81. Solve -p = 2*j, -2*j + 3*j = -2*s - w for s.
-3
Let h(y) = -4*y - 40. Let z be h(-10). Solve 0 = -l - z*s - 4*s - 21, -2*l = 4*s + 22 for l.
-1
Let d(u) = -u**3 + u**2 - u. Let y be d(0). Suppose l + y*x - x + 1 = 0, -3*x = -12. Let q be (-12)/18*l/(-1). Solve -3*n = p - 10, -3*p + q = -0*p + 2*n for p.
-2
Suppose 7*b = 54 - 12. Suppose k - 9 = -a, -k + b*a = a + 15. Solve -z - 4*z = 10, -k*y - 3*z + 9 = 0 for y.
3
Suppose 2*a = o - 2*o + 64, -2*o - a = -116. Suppose -b - o = 