a - r - 6 = 0 for y.
4
Let l = 442 - 440. Solve 6*b + 9 = l*h + 5*b, 0 = 3*h - 5*b - 17 for h.
4
Suppose -2*d = -2*l - 0*d + 4, 2*d + 3 = 3*l. Let o be (1 + 8 - 8)*(0 + 1). Let h be (-1 + o)*(-2 - l). Solve -3*g + 5*x - 4 = -h*x, 2*g - 2*x = -4 for g.
-3
Let v = -3 - -4. Let k(i) be the first derivative of -i**3/3 + 4*i**2 - 7*i - 3. Let q be k(7). Solve v + 2 = 2*z - 5*p, q = -p - 1 for z.
-1
Let o(i) = -i**2 + 7*i - 8. Let n be o(5). Suppose n*b + t = -3*b + 16, -3*t + 8 = 5*b. Solve 0 - 4 = d - 4*m, -b = -2*m for d.
4
Let r be (-1)/((-3)/6)*1. Suppose -3*c - o + 1 = -c, 0 = -2*o - 6. Let d be 2/r + (1 - c). Solve 5*h + 8 = h, 2*j - 5*h - 6 = d for j.
-2
Let q = 25 - 40. Let n = q + 1. Let x = n - -18. Solve -4*b - g + 3*g + 18 = 0, -x*b = -4*g - 24 for b.
3
Let s be (-36)/15*4/((-36)/15). Solve 8 = s*k, 0 = 4*r - 0*r + 3*k - 10 for r.
1
Let k be -9*((-9)/(-3))/9. Let q(m) = m + 2. Let j be q(k). Let h be j - (1*-4 + -1). Solve 2 = -h*y - z, 2*z = -3*y - 0*z - 4 for y.
0
Let w be ((-3)/6)/((-3)/(-36)). Let o be (-24)/(-20)*(2 + (-3)/w). Solve -19 = -x - x + 5*g, 24 = -o*x - 3*g for x.
-3
Suppose -40*m - 21 + 221 = 0. Solve -w + 10 = 3*l - 4, 0 = m*l - 3*w - 14 for l.
4
Let g be (-3 + 5)*13/(-2). Let n = -19 - g. Let c be 3 + 2*3/n. Solve 2*j - c = -2*q - 0*j, 17 = 5*q + j for q.
4
Let f = -320 - -327. Solve 4*g = 5*h - 2, 0 = -2*g + f*h - 4*h for g.
-3
Let h be (-1 - -7)*(-7)/(-21). Solve -h*i + 14 = 5*v, 3*i - v - 4*v + 29 = 0 for i.
-3
Let x(q) = -q - 6. Let t be x(-10). Suppose 0 = -3*y + t*y - 3. Solve -2*j - y*f + 2 = 0, 0 = 3*j - 5*f - 2 - 1 for j.
1
Suppose 4*p - 24 = 4*j, -4*p + p = 5*j + 6. Solve p*l + 14 + 3 = r, 3*r - 6 = 0 for l.
-5
Let s(c) be the first derivative of -7*c**2/2 - 7*c + 15. Let p be s(-2). Solve -1 = d - f - 0*f, 0 = 5*d - 4*f + p for d.
-3
Let y be -6*(-4)/(-2 - -3). Suppose 3*i - y = -5*i. Solve 4*v - h = -3*h - 8, -i*v = 3*h + 6 for v.
-2
Let y(f) = 2*f**2 - 15*f + 33. Let s be y(9). Suppose -8*a = -3*a - s. Solve 0*h - 2*d = 3*h + a, 5*h = 3*d - 20 for h.
-4
Let f = 284 - 284. Solve -4*o - 2*w = 14, f*o + 3*w + 18 = -3*o for o.
-1
Suppose -2*m - 1 = 3. Let x(i) = -6*i + 4. Let t be x(m). Let q = t + -4. Solve z - q = 3*s, 3*s + 0*s + 12 = 4*z for s.
-4
Suppose -5*u - 12 = -4*g, -3*g = -8*g - u + 15. Solve 0 = -4*k - 12, -2*y + 4*k = g*y + 8 for y.
-4
Let i be 1/(11/121) + -6. Solve -5*x + 1 = 2*k, i*k - 8*k = 2*x + 4 for k.
-2
Let o = 170 + -165. Solve 5*k - 5*n + 25 = 4*k, 0 = 3*k + o*n - 25 for k.
0
Let d = -1178 + 1178. Solve -5 = -5*s + 5*i, 4*i + 25 = -d*s - 3*s for s.
-3
Let l(u) = 3*u - 12. Let a be l(6). Suppose -2 = j - a. Solve 3*i = -0*i - o - 9, -j = -4*i + 4*o for i.
-2
Let w be 4/(-26) - 16748/(-1378). Solve d - w = -0*v + 2*v, 2*d - 20 = 3*v for d.
4
Let u(g) = -15*g**3 + 2*g**2 - 1. Let h be u(-1). Let r = h - 11. Suppose 3 = 2*f - r. Solve 4*x = l - f - 1, 4*l + x = 20 for l.
5
Let i = 66 + -63. Let s(p) = -p**2 - 14*p + 18. Let z be s(-15). Solve -i*t + 18 = -z*d, d + 3*d - 2*t = -14 for d.
-1
Let t(k) = 8*k + 303. Let z be t(-37). Solve 0 = -l + 2*r - z*r, 0 = 2*r for l.
0
Suppose -3*d + 15 = 3*m, -3*m = -d + 2 - 37. Let j be (m/3)/(2/3). Solve 2*z - 18 = -5*b, 0 = -3*z + j*b - 1 + 3 for z.
4
Let c be (-42)/14 - (-3 + 0). Solve 2*x - 5*a - 26 = c, 3*a + 7 + 17 = 4*x for x.
3
Suppose 5*k - v - 11 = 0, -1 = -3*k - 5*v - 0. Solve 6*p = k*p + 2*c, -3*c = -2*p + 8 for p.
-2
Suppose -3*o = -6*o + 3. Suppose -4*p = -3*p - o. Solve -2*s - s + 21 = 5*z, -2*s + z + p = 0 for s.
2
Let x = 13 - 19. Let o(u) = u**2 + 6*u + 12. Let w be o(x). Solve 0 = -2*f - q - w, 4*f + 23 = -4*q - 5 for f.
-5
Let a = -31 - -37. Let n be (20 - 1) + -1*(7 - a). Solve -12 = -3*h, 8 = 2*v + 5*h - n for v.
3
Suppose -10 = -2*n + c, n = -0*c - 2*c. Let o = -589 - -601. Solve 5*q = -b - o, -n*q - 4*b + 6 = -2*q for q.
-3
Suppose -8*r + 120 = -4*r. Suppose m - 6*m - b = -74, 0 = -m - 4*b + r. Let z be 12/(-28) + 132/m. Solve -4*u + 27 = 5*l, l + 0*l + z = 4*u for u.
3
Let y = 552 - 545. Solve y*i - 7 = 4*i + 5*s, -2*i - 3*s = 8 for i.
-1
Let j(i) = i**3 - 14*i**2 + 42*i + 35. Let t be j(9). Solve o = m + t, -m + 5*m + 36 = 5*o for o.
4
Suppose 5*a + 47 = u + 10, 5*u - 162 = 2*a. Solve -4*j - s + 4*s = u, 5*s = -4*j for j.
-5
Let u = -203 - -207. Solve 2*n = -u*w - 6, 21 = -4*w - n + 2*n for w.
-4
Suppose -4*u + 95 = -9*u. Let r = -19 - u. Solve -5*x + 4*o - 18 = -3*x, x + 3*o - 11 = r for x.
-1
Suppose -r + 9 - 1 = 0. Let c be (-49)/(-3) - 4/12. Let d be (0 - -1)/(4/c). Solve -d*g - 11 + 0 = 5*q, -5*g + r = -q for g.
1
Let w(j) = 10*j + 54. Let i be w(-5). Solve 0 = -i*b - m + 6, -2*m + 5 = b - 0*m for b.
1
Suppose 0 = -4*s + 82 + 26. Let r = 0 + s. Let p be 2/(-3) - (-99)/r. Solve -7*b = -p*b + l, 0 = -4*b - 2*l - 4 for b.
1
Let j = -44 + 39. Let i be 1 - 1 - ((-5)/j + -3). Solve -i*l - p - 11 = 0, 6*l - 5*p - 16 = 3*l for l.
-3
Suppose -27 + 7 = -4*d. Suppose -6*m = -4*m + 32. Let c = 19 + m. Solve x = -c*k - 5, 1 = -d*k - x - 4 for k.
0
Let k be (4/(-12))/((-3)/9). Let q = 9 + -9. Let j be (-1 - -2 - q) + k. Solve -j*a + 5*r = -6*a + 8, 4*a - 4*r = -28 for a.
-3
Suppose 4*j - 3*y + 3 = j, -5*j + 3*y - 3 = 0. Solve 3*d + 3*m + 15 = j, -m + 2*m = -2 for d.
-3
Let d = -236 + 241. Solve -2*x - p + 6 = -0*p, 0 = d*p for x.
3
Let b(h) = -h**3 - 2*h**2 + 5*h - 2. Let v be b(2). Let j(m) = -m**2 - 9*m - 4. Let x be j(v). Solve 0 = -3*k + 9, a = -x*k + 4 + 4 for a.
-4
Let v(g) be the first derivative of 7*g**2 - 4*g + 10. Let o be v(1). Solve -12 = b + 4*i, 2*i = -4*b + 5*i - o for b.
-4
Let a be -3*(-6)/(-90)*-65. Solve -4*f - 2 = -5*j + a, -f = -j + 4 for f.
-5
Let f(s) = 31*s**3 + s**2 + 2*s + 2. Let w = 1 + -2. Let u be f(w). Let c be u/(-4) - 8/16. Solve 4*b + 2*a - 8 = 0, 2*a = 4*b - 9 - c for b.
3
Suppose 0 = 5*m - 7*m + 8. Let v be 7 - (1 - -5 - m). Solve -v*j + 3*s = -0*j, -j + 5*s = -22 for j.
-3
Let w(j) = j**2 + 12*j + 39. Let i be w(-10). Solve -3*n + 0 + 11 = 2*a, 5*n = -4*a + i for a.
1
Suppose -4*p = t - 16, 0 = p + 4*t - 1 - 3. Let x = 5 + 0. Suppose 5*f - x*c = 5, 0 = -7*f + 3*f - c + 9. Solve 0 = 2*l + p*r + 2, -f*l - 3*r + 0 - 2 = 0 for l.
-1
Let j(m) = m - 13. Let a be j(11). Let f be (a + 2)*4/(-8). Solve f = -3*l - 3*c, -4 = 2*l + 2*c + c for l.
4
Let z = -410 + 412. Solve 0*k + z*u - 18 = -4*k, 5*u = -5*k + 25 for k.
4
Let d = 94 + -95. Let v = 3 + d. Solve -4*b + 10 = -2*n, -6 = v*n + 5*b - 23 for n.
1
Let r = 289 - 289. Solve m + 22 = 5*q, -2*m + r*q - 4*q = -12 for m.
-2
Let x(n) = -2*n**2 - 26*n - 75. Let q be x(-5). Solve 5*z = -q*d + 4*d - 20, -5*d = z + 28 for d.
-5
Suppose -5*a + a = 0. Let o be 156/13 - (3 + a). Suppose o*n - 4*n - 25 = 0. Solve n*i + 3 - 6 = 4*s, s - 5*i = 3 for s.
-2
Let t be (-6)/((27/(-9))/((-3)/(-2))). Let i = 50 + -26. Solve -t + 0 = -3*s, -i = -5*k - 4*s for k.
4
Let n = -6 + 8. Let r = -22 + 94. Suppose -h = -5*b + r, -22 = -b + 4*h - 0*h. Solve 0 = -4*v - 5*q - b, 9 = n*v - 5*q + 1 for v.
-1
Suppose 0*c + 7 = -c. Let o = c - -13. Let i(v) = 7*v - 2. Let a be i(3). Solve -2*t = -o*m + m + a, -2*t = m + 1 for t.
-2
Suppose -13 = 37*c - 309. Solve -c + 2 = 3*m, -3*h = 5*m + 10 for h.
0
Let z be -2*(0 - (-5 - -3)). Let v = z + 18. Suppose -v = -5*x + 51. Solve 5 = 4*t + 5*s + x, 2*s + 8 = 0 for t.
3
Suppose 0 = t + 4*p - 22, 5*t + 5*p = 33 + 2. Let i be 3 + -1 - -1 - -2. Let u be 1*-2 + -1 + i. Solve -3*x + x = -u*o, 0 = t*x - 5*o - 15 for x.
-5
Suppose 0*n = -5*x - 5*n + 35, -4*n = 3*x - 24. Suppose 10 + x = l. Solve 4*p = 3*s + l, -s + 4*s = -p - 4 for s.
-2
Suppose 60*h = 11*h + 294. Let y(p) = -p**2 + 9. Let n(k) = k + 1. Let v(g) = 6*n(g) - y(g). Let z be v(-7). Solve u + z*s = -0*s - h, u = -5*s - 8 for u.
2
Let s(z) = 15*z - 82. Let n be s(6). Solve -3*g - g - n = -4*h, h + g = 0 for h.
1
Let n = -16 - -19. Suppose p + 3*t = -5, -t - n*t + 41 = -3*p. Let w = p + 15. Solve 3*r = -w*g - 4 - 7, 3*g + 6 = 0 for r.
-1
Let l be (-2)/12 - 266/(-84). Solve -d - l = 0, 4 = -5*q + 5*d - 6 for q.
-5
Let l(q) = -q**3 + 4*q**2 + 3*q - 3. Let t be l(4). Let z(f) = -t - 2*f + f - 3*f + 2*f. Let b be z(-6). Solve 9 = 4*w - w - j, 0 = -b*w + 4*j for w.
4
Let y be 33/15 - ((-16)/(-4))/20. Solve y*d = 4*q + 20, -3*q - 11 = -d + 2 for q.
-3
Let m(p) = -p**3 + p**2 + 2*p + 1. Let f be m(