. Let d be c(-1). Solve d = -2*q, 4*o - h = -o + 5*q for o.
2
Suppose o + 13 = 15. Suppose 7*i - 5 = o*i, v - 6 = 4*i. Solve 30 = 2*x - 5*b + 7, 5*x = -b - v for x.
-1
Let h(x) = 2*x + 23. Let o be h(-7). Suppose 0 = 5*t - 5*w - 35, o*w = 2*t + 4*w - 29. Solve -5*u + 13 = -4*r, -2*u - t*u + 32 = 4*r for u.
5
Let b(o) = -o**2 - 11*o + 10. Let t be b(-12). Let x = t - -9. Let j = x - 1. Solve -2*d = -4*l - 0*d + 14, -j = 2*d for l.
2
Let w(q) = q**3 - 4*q + 5. Let h be w(2). Solve m = h*j + 13, 4*m + j + 2 = 3*j for m.
-2
Suppose -4*g - 1 = -9. Suppose 5*j + g = -3*d - 0, -d = 3*j - 2. Solve -4*u - 5*b - 21 = 0, -b - j - 3 = 0 for u.
1
Let i = -695 + 700. Solve -i*p - 11 = 3*w, -5*w + 7 - 15 = -2*p for p.
-1
Suppose -4*v + 207 - 27 = 0. Let j be ((-2)/6)/((-5)/v). Suppose j*f + 1 = -5*x, -3 = f + 2*x + x. Solve 5*a + 5*u - 5 = 0, -2*u = f*a - 1 + 3 for a.
-4
Let a be (-912)/(-288) + ((-39)/18 - -2). Solve 2*i - 14 = 3*p, i + p + a*p = -4 for i.
4
Let p = 287 + -285. Let r = 31 + -29. Let u(a) = -a**3 - 8*a**2 - 8*a - 3. Let i be u(-7). Solve i*w - 3*l = -10, -r*l + 2 = -2*w - p for w.
-4
Let i = 834 + -819. Solve 2*q - 2*j = -10, 0 = j + 2*j - i for q.
0
Let j(f) = 5*f**2 + 2*f - 1. Let n(d) = -d**3 + 2*d**2 - 2*d + 2. Let l be n(2). Let i be j(l). Solve -i = -5*c - 4*v - v, 3*c = v - 11 for c.
-2
Let n be (6/4)/(-9*3/(-36)). Solve -5*z = k + 25, 7 = -n*k - z - 7 for k.
-5
Let o(j) be the first derivative of -7/2*j**2 - 1/3*j**3 - 3 + 5*j. Let w be o(-7). Solve 4*s + w*n - 8 = 0, 3*s - 2*s = 2*n + 2 for s.
2
Suppose 5*b = 2*b. Suppose b = -3*i + 3*z + 9, -3*z - 14 = -4*i - 3. Solve -5*k = i*f + 8, -6 - 10 = 4*f - k for f.
-4
Let g(z) be the third derivative of z**4/24 + 17*z**3/6 + 8*z**2. Let u be g(-12). Solve -4*t = u*s - 3 + 28, -t = s + 6 for t.
-5
Let y be 4*2*(-2 + 4). Let n = -112 - -126. Let r = y - n. Solve 2*s = 4*p - 14, 3*s + r*p = 5*p - 6 for s.
3
Suppose 0 = -2*r - r + 12. Let t be 30/18 + r/12. Solve 5 = -b + t*f + 3, 5*f = 0 for b.
-2
Suppose 14*p - 86 - 82 = 0. Suppose 3*v = 2*v + 15. Suppose -18*c + v*c = -p. Solve -5*i + 3*i + 16 = 4*o, -c*i + 4*o - 4 = 0 for i.
2
Let w = -192 - -210. Solve 2*j = -4*b + w, 5*b + 5*j - 14 = 16 for b.
3
Let z(t) = t + 4. Let j be z(4). Solve 0 = 3*b - 3*n + j + 10, 3*n = 5*b + 22 for b.
-2
Let v(w) = -16*w - 14. Let t be v(-5). Let k = t - 58. Solve 0*y + s = -2*y + k, 4*s + 33 = 5*y for y.
5
Suppose 2*j = 0, -4*j = -4*z - 7 - 1. Let c be ((-2)/2)/((-7)/3 - z). Solve -17 = -h - 2*h + d, 3*d = c*h - 27 for h.
4
Let s be (9/6 - 1)*80. Let b = -37 + s. Let x be -4*(1 - (-9)/(-4)). Solve -5*p + x*z - 6 = 4, 0 = -b*p - 5*z - 6 for p.
-2
Let g(d) = -d**2 + 8*d - 5. Let p be g(8). Let c be 130/4*(1 - (-3)/p). Solve 5*t - 6*t + c = -4*n, -2*n - 2 = 4*t for t.
1
Suppose 8*h = -h + 36. Suppose 7 = j + h. Solve 5*w + 5 = -5*p - 10, j*w = p + 11 for w.
2
Suppose -3*a = 3*d - 8*d - 464, -2*d - 5*a - 198 = 0. Let u be 3/15 - d/5. Suppose u + 17 = 2*k. Solve -4*n = 3*p - n + k, p = 5*n for p.
-5
Suppose 4*f - 21 = -3*v + 22, f - 11 = -v. Suppose 0 = f*a - 5*a - 20. Solve -n - 2*q = -11, -2*n + a*q - 17 - 1 = 0 for n.
1
Let s be 12/16 - (-13)/4. Suppose -2*d + 28 = -0*d - 4*k, 3*d + s*k - 12 = 0. Let b = 5 - 2. Solve -4*z = 5*t + 15, 2*z - b = -5*t - d for t.
1
Let f = -10 - -10. Suppose -b = -f*b + 5*v + 3, 5*v + 38 = 4*b. Let d = 9 - b. Solve -d*y + 3*i = 2*i - 5, -5*i - 25 = 4*y for y.
0
Suppose 125 = 4*c - 5*s + 33, -5*c + 128 = -3*s. Suppose -c = r - 30. Solve r*p = -3*g + 17, 0*g = -p + 4*g - 8 for p.
4
Suppose -2*p = -2*a - 18, -p + 8 = p. Let u = a - -5. Solve -3*y = -u*y + j - 5, 0 = -2*j - 2 for y.
2
Let l(x) = x**3 - 2*x**2 - 24*x + 3. Let f be l(-4). Solve -v + s + 9 = f*s, 4*v + 4*s = 28 for v.
5
Suppose 0 = -i + 2*i - 3. Suppose -2*m + 4*f - 168 = -6*m, -i*f = -m + 34. Let v = m + -35. Solve 0 = 5*u - 5*s + v, u = -0*s + 2*s - 1 for u.
-1
Suppose 0 = v - 3*f - 53, 105 = 3*v - 2*f - 33. Let b = 49 - v. Solve 2*a + 8*m + 15 = 5*m, -b*m - 25 = 0 for a.
0
Let s = -27 + 29. Suppose 30 = s*k - 4*p, 4*k - 5*p = 3*k + 30. Let t(m) = m**2 + m + 3. Let w be t(-3). Solve k*a = 4*y - 0*y + w, a - 13 = -2*y for a.
5
Suppose 3*s + 124 + 536 = 0. Let i be ((-6)/(-15))/((-11)/s). Solve 2*k - 7 = 3*k + x, 2*x = -i for k.
-3
Let h be ((-1)/(-4))/(6/(-24)) - -4. Suppose 3*w + 2 = -j + 1, -w - 3 = h*j. Solve 0*f + 5 = -3*f - r, 5*f + 2*r + 8 = w for f.
-2
Let u(n) = n**2 + 8*n - 10. Let x be u(-10). Suppose 2*g - x = -4. Solve -w - c + 11 = g*w, 5*w - 5*c = 20 for w.
3
Suppose -3*i = 2*i - 100. Suppose 17*n = i*n - 12. Solve -n*u + 9*u - 3*w = -3, -3*u = -2*w + 2 for u.
0
Suppose 2*r + 25 = 7*r. Let y = -28 + 31. Solve -q = -5*l - r, l - y*q + 15 = -0*q for l.
0
Let q be -7*6/(36/(-30)). Solve 0 = -3*m + 4*a + 35, -7*m + 5*a + q = -5*m for m.
5
Let g = 29 + -15. Let d = g - 9. Suppose -5*s = d*y - 80, -4*s + 12 + 67 = 5*y. Solve -3*v - 3*p = 6 + y, 5*v - 5*p + 15 = 0 for v.
-5
Let b(d) = -31*d - 181. Let t be b(-6). Solve -3*x - t = -4*n, n = -2*x + x - 4 for n.
-1
Let i be (-1 - -6)/(14/42). Let q = i + -14. Solve 0*o - 5*o = j + q, -2*o - 4*j - 4 = 0 for o.
0
Let m = -15 - -17. Let w be 9 + -6 - (-4 + 2/m). Solve -2*n + 6 = -3*r, -2*n + 3*r + w = -2*r for n.
3
Let q = -28 + 58. Suppose -8*f = -3*f - 30. Suppose z = f*z - q. Solve -5*d - z = 4*y, -5*y + 0*d + 15 = -5*d for y.
1
Let x(l) = l**3 + 8*l**2 - 9*l - 6. Let h be x(-9). Let q be (-27)/h + 7/14. Solve -y - 5 = 0, -q*f + 2*y = -y + 5 for f.
-4
Suppose 4*x + 3*n - 4 = -2*n, 0 = 5*n - 20. Let k be (-3)/(-6)*0 - -6. Let h = k + x. Solve 0 = 3*m - 4*g + 9, -h*m + 3*g - g = 6 for m.
-3
Let t be (130/(-117)*9)/(1/(-2)). Solve t = -4*d, -2*d + 5 + 1 = 4*g for g.
4
Let d(r) = 5*r - 7. Let h be d(2). Suppose 0 = -4*f - 3*c + 27, 0 = -c + h*c + 6. Solve j - f = -5*x, -2*j + j + 3 = -x for x.
1
Let n(d) = -d - 2. Let p be n(-1). Let h be -4 + (p - 0 - -5). Suppose -5*o + 2*r = -85, h = 4*r - 7*r. Solve -5*f = -4*b - o, 4*f - 7 = b + 11 for f.
5
Suppose -z - 115 = -45. Let a be 3/5 + 252/z. Let q be 186/18 - (-1)/a. Solve 2*c + 2*b = 2 - 0, -b = 4*c - q for c.
3
Let z = -16 + 19. Solve 5 = 3*c - p + 15, 0 = -3*c - z*p - 18 for c.
-4
Let o be (0 + -3 - -9) + (18 - 16). Suppose 3*b - b = 0. Let z be o + -2 + b + 4. Solve 5*v + 5*a = -z, a - 24 = -4*v + 5*a for v.
2
Let y be -1 + 3 - (9 - 2 - 8). Solve -3*b + 1 = -4*g, y*b = b - 2 for g.
-1
Let m(l) = 2*l**3 - 19*l**2 + 44*l - 7. Let r be m(6). Solve -5*a + 31 = -3*a + r*u, -4*u = a - 23 for a.
3
Let k = -572 - -574. Solve -2*m + 0*c = -k*c, -3*c = 3*m - 18 for m.
3
Let y(n) = n**3 + 6*n**2 + 3*n - 1. Let b be y(-5). Suppose 28 = 13*a - b*a. Solve 2*m - 29 = -4*c - a, -1 = m - 2*c for m.
5
Let y be 9/(-45)*5/(-1) + 4. Suppose 2 = -y*d + 17, 4*x + 1 = 3*d. Solve 2*b - 1 = 3*o - 2, -x*o - 10 = -4*b for o.
3
Let d = 9 + -5. Suppose -2*x + d*x = -10, -25 = b + 5*x. Let j be (-11)/(-1) + -1 + b. Solve 4*l - 3*a = j, 3*l - 22 = 4*a - 9*a for l.
4
Let c(v) = -v**2 + 6*v + 6. Let x be c(0). Solve 5*g + 2*l = 10, -3*g - x*l = -l - 25 for g.
0
Let x = -11 - -15. Let s be (24/(-72))/(3/(-18)). Solve -2 = -s*l + 3*g, -x*l - g + 0*g - 24 = 0 for l.
-5
Let b be 0/(21/(-7) - (-2 + 0)). Suppose b = -11*p - 8 + 30. Solve -8 = 5*o + 2*n - n, 0 = -p*o + 5*n + 13 for o.
-1
Let n(g) = -6*g**3 - g**2 + g + 2. Let h = 1 + -2. Let a be n(h). Suppose a*l - 2 = 5*l. Solve 2*p = -3*u + l, 5 = -0*u + 5*u + 5*p for u.
0
Suppose -3*c - 4 = -1. Let z = -1 - -5. Let i = z + c. Solve 5*k + i*n = 8, 0 = 4*k + 2*n + 2 - 8 for k.
1
Let p be 0/(-3 - (1 - 6)). Suppose -s + 3 = -p*s. Solve 1 = -3*a + 4*l - 13, -s*a + 11 = l for a.
2
Let d(s) = 7*s + 1. Suppose -2*p + 0 + 6 = 0. Let t be d(p). Suppose 4*u - 5*o = t - 6, 0 = 4*u - 2*o - 16. Solve u*v = -5*y - 25, v - 2*y - 1 = -4 for v.
-5
Let d be 69/46*20/6. Suppose 3*p = 5*g + d*p - 12, g - 16 = 3*p. Solve h = -g*h - 5, 0 = -5*w - 5*h for w.
1
Let z = -441 - -443. Solve -4*n - 6 = 5*r, z*n + 8*r + 6 = 4*r for n.
1
Suppose -5*x + 54 = 19. Suppose 3 - 17 = -x*c. Solve 3*g + 0*g - 12 = -4*t, -c*g + 8 = t for g.
4
Let y be 91/(-7)*(-1)/(-1). Let i(j) = j**3 + 12*j**2 - 13*j + 6. Let r be i(y). Solve -3*l - w = -r*w + 25, 20 = -l + 4*w for l.
0
Let k be (-3)/(-51) + (-2197)/(-221). Solve -2*a + 2*p + 0*p - k =