9 = 2*w. Let l be 6 + (-1)/(w/9). Suppose 3*d - l = 21. Solve 0 = 5*o - 3*n + 1, 6*n - 2*n = d for o.
1
Suppose -2*k + 14 = 4*v, -2*k + 2 = 3*v - 8. Solve -6*r + r = o + 16, 3*o = -4*r - v for r.
-4
Let a be ((-20)/(-2))/(6 - 5). Suppose 2*n + 2 - 18 = 0. Suppose -n = -x - 6. Solve -x*u - p = -u + a, -5*p - 25 = 0 for u.
-5
Suppose 7*d = 4*d + 6. Let t = d - -1. Solve 3*r - 15 = k, 0*k - 2*k - 18 = -t*r for r.
4
Suppose 3*y + 3 = -3*x + 9, -5*y + 20 = 3*x. Suppose y = -c - 2. Let s be (c/(-6))/3*8. Solve 5*u + 0*g + s*g + 10 = 0, 5*u = -3*g - 5 for u.
2
Let s be (1 + 1/(-1))/3. Solve -p + 2 = s, 4*p - 3 = -2*q + 11 for q.
3
Suppose 2*m = -v + 1, -2*m + 2*v + 8 = -m. Solve m = -2*x - 6, -5*x - 22 = -2*f for f.
1
Let n = 28 + -23. Suppose 35 - 95 = -n*i. Let g = -9 + i. Solve -2*w = -g*q + 3 - 2, -w + 1 = 0 for q.
1
Let c(t) = t**2 - 5*t - 10. Let y be c(7). Solve -3*q + 11 = -2*x + y*x, 2*q = 10 for x.
-2
Let y = 105 + -27. Let n = y + -64. Solve 0 = 4*a - 4*t + 8, -3*a + 4*a + n = 4*t for a.
2
Let w be 5*9*8/60. Suppose 3*l - 9 = w. Solve -d + l = -2*r, -15 = -6*d + 3*d + 4*r for d.
5
Let w be 0 - (-4)/4 - -3. Suppose -80 = o + w*o. Let x = o + 21. Solve 0*z - x*z = -5, -3*d + 5*z = 20 for d.
-5
Let k be (5 - 4)/(-1)*(16 + 1). Let q = -13 - k. Solve 2*z + h + 3 = q, 3*z = 3*h - 21 for z.
-2
Let q = -807 - -827. Solve -i = -3*i + 5*t - 18, 4*i = 2*t - q for i.
-4
Let o(i) = 3*i**2 + 12*i + 4. Suppose 0 = l - 2*u + 10, -2*l + l + u - 7 = 0. Let m be o(l). Solve -m*k - 8 = 4*g, 0 = 4*g - k - 6 - 1 for g.
1
Suppose -z = -4*w + 1, -1 = -4*z - 5*w - 5. Suppose -4*m + 2*m = 5*v + 23, -5*m - 5*v - 35 = 0. Let q = z - m. Solve q*s + 3*p + 1 = -2, 3*s = -4*p for s.
-4
Suppose 2*f + 12 = -4*w, -4*f = -31*w + 26*w - 28. Solve 0 = -h - 4*c + 13, f*h + h = -5*c + 25 for h.
5
Suppose -x - 3 = 0, -m + 2*x = -17 - 15. Suppose 5*h + 4*s = 2*s - 20, -2*h + s - 8 = 0. Let o = -1 - h. Solve -4*v - 3*p = m, 2*v - v = p - o for v.
-5
Suppose -5*z = -2*z - 3. Let g be z - 1*(3 - 4) - -2. Solve -4*l + g*t = 24, -l - 3*l - 15 = 5*t for l.
-5
Let n = 6 - 2. Suppose -9 = -n*w + 5*g + 13, -g + 34 = 4*w. Let j be (-6)/(-9) + w/6. Solve -4*t + p - 31 = -4*p, -j*p = -3*t - 18 for t.
-4
Suppose 4*w - o + 141 = 157, 4*w = -3*o. Suppose -12 = -3*l - 0*l. Solve 24 = -w*h - 4*p, p + l = 1 for h.
-4
Let v(u) be the second derivative of u**3 + 2*u**2 + 0 + 5*u + 1/12*u**4. Let o be v(-6). Solve -5*q + 3*z + 24 = -0*q, o*q = -5*z - 3 for q.
3
Let n be (17 - -42) + (-1 - 4). Suppose 0 = -2*o - 0 + n. Solve p + o = -5*v, -v - 1 = 4 for p.
-2
Let o(m) be the second derivative of m**3/6 + 4*m**2 - 15*m. Let d be o(-5). Solve 0 = -0*j - 3*j - 5*u + 6, 2*j = d*u - 15 for j.
-3
Let x(w) = -2*w + 10. Let n be x(4). Solve -2*h - 18 = -n*l, 0*h + 3*l - 32 = 4*h for h.
-5
Suppose 0 = -4*z + 3*v, -8*v = -5*z - 10*v + 23. Solve w + 5*k = -z, -2*k + 2 = -2*w + 4*w for w.
2
Let i be 70/(-4)*36/5. Let b be i/15*(-20)/8. Suppose -23 = -4*v + 3*f, -f + 0 = -4*v + b. Solve -3*j + v = 2*g, -2*g + 3*j - 15 = 10 for g.
-5
Suppose -4*b + 3*b = 0. Suppose -7*s = -b*s. Solve 0 = 6*y - y + 3*n, -y - 4*n - 17 = s for y.
3
Let s(x) = x**2 + 23*x - 604. Let l be s(-39). Solve -10*u = v - 9*u - 10, -3*v = u - l for v.
5
Suppose 3*q = -30 - 9. Let t(c) = -c**3 - 13*c**2 - c + 6. Let x be t(q). Solve -x = -l + 4*l - 4*z, -2*l - 5*z + 18 = 0 for l.
-1
Suppose -5*t - 9 = 3*z, -z = -46*t + 49*t + 7. Solve 5*w = 3*y + 5 + 9, 0 = -z*y + 5*w - 11 for y.
-3
Let r be (-2)/6 + 176/6. Let s(i) = -67*i - 1673. Let l be s(-25). Solve g - 4*g - 5*k = r, l*g - 5*k = 14 for g.
-3
Suppose -39*r - 5*r - r = 0. Solve g = 3*k - 0*g - 12, r = 3*k - 3*g - 6 for k.
5
Let i = 2 - 1. Suppose -8 = f + 4*s, -2*f = -3*s - 5 - i. Let v = -10307 - -10309. Solve -z = -3*h + 8, f = z + 2*z + 4*h - v for z.
-2
Suppose 2*g - 2*b + 56 = 110, -5*g - 3*b = -135. Suppose -2*f + 0 = -4. Suppose q + f = 6. Solve -4*s + s - 7 = -q*a, g = 5*s + 3*a for s.
3
Let n(z) = -2*z**2 - 35*z + 100. Let g be n(-20). Solve 3*u = 5*i + 12, g*u - 2*i - 1 = -5*u for u.
-1
Let a be 85 + -6 + 2 + 0. Suppose 77*d - a*d = -16. Solve 4*j + d = 2*x, -3*x - 3*j + 1 = -4*j for x.
0
Let q be 82 - 84 - (-8 - -1). Solve 0 = -2*w, -q = l - 2*l - 2*w for l.
5
Suppose 48*b - 20 = 38*b. Solve 3*j - 3*z = b*j - 14, 0 = 2*j - z + 3 for j.
1
Let h be (-12)/(-15) - 64/(-20). Suppose 0 = -5*r + h + 16. Solve v - r*f + 8 = 3*v, 5*v - f = -24 for v.
-4
Suppose 14*h = 2*h + 612. Let y = 56 - h. Solve -5*m + y*v = 0, 3*v + 2*v = 4*m for m.
0
Suppose -75 = 2*h - f + 4*f, -2*h - 68 = -4*f. Let o = h + 36. Solve o = 2*q - 3*p + 12, -5*p + 8 = -2 for q.
-3
Let n = 7 + -5. Let k(z) = 2*z**3 - 2*z**2 + 3*z - 2. Let b be k(2). Let d be -3 + (-11)/((-22)/b). Solve m = -d*m + 2*s - 26, 4*m = -n*s - 6 for m.
-4
Let n = -47 - -56. Let f be ((-2)/6)/((-1)/(-6)). Let q(t) = -3*t - 3. Let y be q(f). Solve 2*h - b + 9 = 5*h, b = y*h - n for h.
3
Suppose -3*p + 2*p + 2 = 0. Let y = 33 + -11. Let u = y + -19. Solve -p*z - 3*w + 2 = -10, 2*w - 8 = -u*z for z.
0
Suppose 3*d = v + 3, v + 5 = -2*d + 6*d. Let g be 9 - (-2)/(1*-2). Solve v*n = g*n - x + 18, x - 3 = 0 for n.
-3
Let k(g) = -g**3 + 9*g**2 + 22*g - 117. Let i be k(10). Solve -11 - 13 = i*h - 3*y, 3*h + y = -8 for h.
-4
Suppose -j = 3*j. Suppose 3*n = -12 - 15. Let s be ((-3)/n)/(1/15). Solve -z - s*v - 7 = z, j = 3*z - v + 2 for z.
-1
Let c(n) = -2*n. Let u be (1 - 6/(-18))*(-9)/2. Let l be c(u). Let q be 3/(1/(-2)*-2). Solve -y + 16 = 3*z, q*z - 4*y - l = -1 for z.
5
Let s = 14 + 0. Solve -3*o = 3*j - o + s, -5*j + o - 6 = 0 for j.
-2
Suppose 25 = 5*l - 10. Let d = 23 + -20. Solve 0 = 3*f - d*q + 17 + l, -q + 18 = -3*f for f.
-5
Suppose 0 = -2*k - s + 2*s + 25, 53 = 4*k - 5*s. Suppose 4*m + k = 0, 2*m = -c - 5 - 1. Solve -a = -0*a + 2*b + 8, c = -5*a + 4*b + 2 for a.
-2
Let k(g) = -4*g + 160. Let q be k(39). Let d(r) = -r**2 + r. Let m be d(0). Solve -q*u + 3*x - 4 = -0*x, m = u - 2*x + 1 for u.
-1
Let m be 1/3*(38 + -5). Suppose 3*w - m - 22 = 0. Suppose 0*q - 5*q - 2*h = -w, -q = 2*h + 1. Solve 3*g + 5*k - 7 = 3, q*k + 8 = g for g.
5
Let t = -23 - 5. Let p be ((-15)/(-12))/((-7)/t). Solve d = p*y - 24, -2*d + 4*y = -6*d for d.
-4
Let r be 22/6 + ((-7)/(-3) - 2). Let h be (1 - (-4 + r))*(1 - -1). Solve h*y = 3*j + 7, -1 = -j - y - 5 for j.
-3
Suppose -9*q = -3*q - 270. Suppose -g = 2*g - q. Solve -4*b - o - 20 = o, -2*o + g = -3*b for b.
-5
Suppose -q = -b - 3*b + 17, 2*q = -2*b + 6. Let o be (-2)/(-6)*-1*-51. Suppose m = -5*p + 2, 2*p + 3 - 1 = m. Solve i + 4*g = o, m*i - b*g + 12 = -2*i for i.
1
Let t = 4 - 2. Let l be (24/36)/((-4)/(-12)). Solve t + l = h, -5 = p - 2*h for p.
3
Let x = -1489 - -1519. Solve -c - 3*g + x = -4*c, -10 = 5*c + 3*g for c.
-5
Suppose -2*k - 4 = 2*j - 10, 2*k = -5*j + 18. Suppose 0 = -j*d + 10*d. Solve 0 = 5*r + 20, -u + 2*r = -d*r - 4 for u.
-4
Suppose 0 = 6*y - 6 - 6. Suppose y*f + 3*f - r = -3, 3*f - 3*r + 9 = 0. Let s(p) = -4*p. Let i be s(-1). Solve 2*h + f*h + i*q = -12, 3*q = -2*h - 9 for h.
0
Suppose 0 = 4*a - 7 + 23. Let d = -5 + 1. Let z = d - a. Solve z = 2*s - 4*h + 6, -4*s + h = 2*h + 12 for s.
-3
Let g(v) = -v - 3. Let y be g(-14). Let a(k) = k**2 - 10*k - 1. Let s be a(y). Solve -2*m - s - 8 = -4*p, -p = -3*m - 7 for p.
4
Let j be -3*(-1 + -1 + -3). Suppose -9*r = -2*r - 21. Solve 5*x = -j, -r*x - 4 = i + 10 for i.
-5
Let y(p) = -p**3 - 24*p**2 - 19*p + 97. Let x be y(-23). Solve 3*k + b = 4*k - 5, -k = -x*b - 21 for k.
1
Suppose 6*c = 92 - 56. Solve 4*a + 28 = 5*l, 0 = l - 0*a - a - c for l.
4
Let y(c) be the second derivative of -c**3/6 - 6*c**2 + 10*c. Let x be y(-19). Solve 2*u + 0*i - x = 3*i, i + 4 = -u for u.
-1
Let m(g) = g + 8. Let n be m(-6). Let f = -5299 - -5317. Solve -5*u = -q - n*q + 6, -f = q + 5*u for q.
-3
Suppose 141 = 54*d - 7*d. Solve -t - 4*a - 8 = 5, 2*a - 11 = d*t for t.
-5
Suppose 0 = -y + 3*x - 4 - 7, 46 = -2*y - 2*x. Let d = y + 39. Solve -2*k + 7 = 5*p, 5*p = k - 0 + d for p.
3
Let t(w) = 0*w**2 + 0 - 8*w + w**2 + 2. Let b be t(8). Let l(f) = -f**2 - 12*f. Let z be l(-10). Solve 4*g + v - z = 0, 5*v + b = 2*g - 8 for g.
5
Suppose 3*h + 3*h = 0. Suppose -5*b - 4*r + 17 = h, -2*r = -2*b + 9 + 5. Suppose 5*p - 5 = b. Solve -p*c = -c - i + 2, 3 = -i for c.
-5
Suppose 288*h = 28