= -2*a - 16 for a.
-5
Let t = 19 + -21. Let c = 2 - t. Solve 4*d = i + 24, -4*i = -c*d + 3 + 33 for d.
5
Suppose 6*r = r - 20. Let w = r - -2. Let j = 8 + w. Solve 0 = -4*d - n + 7, -2*d - j = -6*d - 2*n for d.
2
Suppose j - 6*j + 15 = 0. Solve 4*z - 9 = j*z - 4*u, z + 3*u = 8 for z.
5
Suppose -4 = 4*n - 2*n - 4*w, 4*n = w - 1. Suppose n = y - 4 - 1. Solve -3*k - 3 = -3*t, -5*t - y*k - 5 = -20 for t.
2
Let t(k) = 2*k - 4. Let r be t(7). Let y = r - 6. Solve 3*v = 3*z, z - y*v = -6*v + 3 for z.
1
Suppose -2 = 4*a + 3*f, -3*a - 4*f - 9 = -4. Suppose 0 = o + a - 13. Suppose 2*g - 4*g = 0. Solve -l = -4*r - 25, g = -3*l + 3 + o for r.
-5
Suppose 3 = -3*c, 9 + 8 = -4*v + 3*c. Let k = -2 - v. Solve 1 + 3 = -k*i - 5*j, -i = -5*j - 12 for i.
2
Let y = 63 - 59. Solve 2*h + 3*q = 13, -3*q = -y*h + 2*q - 7 for h.
2
Suppose 3*c - 5*d = -c + 10, -5*d - 10 = 3*c. Suppose c = k + 2*k. Solve -17 = -r + 5*z, 0 = 3*z - k*z + 9 for r.
2
Let l be (-380)/(-65) - 6/(-39). Suppose 0 = -0*t - 2*t + l. Solve 0 = -n - 5, -b = -5*b - t*n - 23 for b.
-2
Suppose -4*v + 18 = -3*x, 6*x = 2*v + 2*x - 14. Let s be (-4)/(-10) + (-266)/(-10). Solve 3*k - c = -2*c - 19, 0 = -3*k - v*c - s for k.
-5
Let d = 6 + -2. Solve -2*l - c + 14 = -0*c, 1 = -3*l + d*c for l.
5
Suppose -5*a + a = -28. Suppose a*r = 5*r. Solve -2*l + l = -u - 2, 2*l - 3*u - 5 = r for l.
1
Suppose -6*v - 5 = -17. Solve -2*b - 8 = n, -v*b - 15 = b for n.
2
Let d be (-4)/(-6) - 21/(-9). Suppose -q + 5 = -4. Suppose 4*i - 9 = 7. Solve -4*r + q*r - d*o - 19 = 0, i*o - 3 = r for r.
5
Let x be 128/(-12) - (-4)/6. Let o be -1 - (2 + 0 + x). Suppose -4*s = -4*d - o*s + 57, d - 4*s = 0. Solve 0 = -h + n, n + 4*n - d = h for h.
3
Let a be (1/(-4))/(4/(-32)). Solve -5*n + 2*m = -10 + a, 4*n - 5*m = 20 for n.
0
Suppose 4*t - g - 20 = 3*g, -2*t + g + 7 = 0. Let h be 2/(t*-1)*-3. Suppose 0*d - 3 = -d. Solve -y - d = -h*f + 5, 0 = 5*y - 5 for f.
3
Suppose -2*g - y + 0 + 7 = 0, y + 9 = 2*g. Solve 4*v = 2*i + 4 + g, 3*i = 2*v for i.
2
Suppose x = 5*x - 20. Suppose 7*q = 2*q + 10. Let k be 3/(0 + -1 + q). Solve 0 = 4*l - 2*l + 8, -3*l + k = x*m for m.
3
Let i(x) be the second derivative of 5*x**3/6 - 2*x**2 + 2*x. Let n be i(3). Suppose -5*p + 4 = -n. Solve -2*o = 4*f + 12, -f - 9 = p*o - o for f.
-1
Let z be 1/5 - (-39)/5. Let g = 8 - z. Solve 0 = -3*w - 3*l - g*l - 18, 8 = 2*w - 2*l for w.
-1
Suppose -19 - 2 = -7*a. Solve o = -0*d - 3*d + 1, 4*o = a*d - 26 for d.
2
Let f = 63 - 59. Solve 2*c = -f*h - 3*c - 1, 0 = -2*h + 5*c - 23 for h.
-4
Let c = -98 + 101. Solve -z - 20 = 4*z, 0 = -i - c*z - 11 for i.
1
Let a be -6*(-3 - 30/(-9)). Let d be a/(1 + 3/(-2)). Solve 3*y + 2*y + r = -1, 0 = -y + d*r + 4 for y.
0
Let i be (-24)/(-14) + 2/7. Let u be 60/4 - (1 - 1). Solve 5*v = -i*r + 4, -u = -2*v + 2*r - 5 for v.
2
Suppose 6*o - 4*o - 50 = 0. Suppose -2*t = -5*p - 3*t + o, 28 = 2*p + 4*t. Solve -z + 4*g + 15 = 0, -p*z - 5*g + 8*g = -21 for z.
3
Let o(i) = i**3 + 3*i**2 - 3*i + 9. Let m be o(-4). Solve 3*p = 3*l - 18, 2*l - 4 = p + m for l.
3
Suppose 2*y - 2*a = 62, 0*y - 3*a = 4*y - 117. Solve 2*f - f + 13 = -2*d, 2*f + 5*d + y = 0 for f.
-5
Suppose s = 3*f - 16, -4*f + 8 = 3*s + 4. Let w = 7 - f. Let g be -1 + -2 + 9/w. Solve c - 3*i + 12 = g, -3*c + 30 = 2*c + 3*i for c.
3
Let v(a) = -a**3 - 2*a**2 + 2*a - 3. Let d be v(-3). Suppose -3*r = -6 - d. Solve 5*h + 4*p = 2*p + 7, -3*h - r*p = -5 for h.
1
Suppose -5*q + 2*w = -68, -w = -3*q - 4*w + 24. Solve -4*v + z - q = -3*z, -4*z - 15 = 5*v for v.
-3
Let r = 13 - 43. Let i be (-2)/2 - (-20)/5. Let q be (r/(-9))/(2/i). Solve -4*u = 12, 2*u = 5*w + q*u + 4 for w.
1
Let z = 70 - 66. Solve -3*f + 3*m - 10 = m, -z*f - 11 = -5*m for f.
-4
Let s = -94 - -98. Let u be (-102)/(-4) + 1/2. Solve -y + 5*y + 36 = 4*w, -2*y - u = -s*w for y.
-5
Let c(l) = l + 7. Let m be c(-7). Suppose 4*j + 5*a - 33 = -m*j, 5*a = 3*j - 16. Solve 0 = 3*s - 2*k, 4*s + k - j = 6*k for s.
-2
Let h = 28 - -9. Let l be 2/4 + (-45)/(-6). Let c = -1 + l. Solve 3*u + 3*z = c*z - 32, 3*u + h = 5*z for u.
-4
Suppose 2*i = 7*i. Suppose 4*m - 22 = -4*a - m, i = 4*a + 4*m - 20. Solve -5*g + 4*n + n - 5 = 0, a*n - 19 = -5*g for g.
2
Suppose -s = -m - 24, 7*s = 2*s - 5*m + 90. Let f be 203/s - (-1)/3. Solve -5*v + 3*v + f = 2*i, 0 = -4*i + 4 for v.
4
Suppose -247 = -4*i + 109. Suppose 2*f - s = 35, -f - i = -6*f + 3*s. Solve 3*r + 18 = 4*q + r, 0 = 4*q - 4*r - f for q.
5
Suppose -2*x + 20 = 3*x. Suppose 2*h + 128 = x*a, 2*a = -2*a - 5*h + 114. Let p be (1*12)/(-4) - -8. Solve -5*j - 2*m = 2*m - a, m = -p*j + 19 for j.
3
Suppose 2*d - 4 - 2 = 0. Suppose 0 = -0*b - 3*b + 204. Suppose d*p - 7 = 5, 0 = 2*m + 3*p - b. Solve -2 = -2*a + 2*v, -m = 2*a + 5*v - v for a.
-4
Let p be (-101)/9 - 4/(-18). Let s = p + 25. Solve -5*x - w = -4*w + s, -2 = -x + 3*w for x.
-4
Suppose 5*s = 35 - 10. Solve -i + 2*i = s*a + 14, -4*a - 20 = -3*i for i.
4
Let u = 4 - 4. Suppose -4*v + 3 + 21 = u. Let q be (-16)/v*(-21)/4. Solve p + 3*p = -3*a + q, 0 = -5*a + 5*p for a.
2
Let n = 2 + 1. Let d(a) be the second derivative of 5*a**4/6 + a**3/3 - a**2/2 + a. Let t be d(-2). Solve 5*l = n*g - t, -l + 4*l = -12 for g.
5
Let c be -4*2/(-4)*(-6)/(-4). Solve 3*l + c = 4*r, 0*r = r - 2*l + 3 for r.
3
Suppose 0 = -4*p - 16, -5*v + 36 = -v - 5*p. Suppose -3*i - 41 - v = 0. Let j be i/(5 - 2)*-1. Solve 0*z - 4*z = 3*n + 10, -5*n = -j*z - 30 for n.
2
Suppose 3*r + f - 16 = 0, 0 = -2*r + 4*r - 3*f - 29. Solve -z + 5*l = -r, 4*l - 4 = 4*z - 0*z for z.
-3
Let b(s) = s**2 - 3. Let h be b(3). Let t be (-6)/33 + 35/11. Let x = h - t. Solve -3 = c - o + 3*o, 0 = 5*c + 4*o + x for c.
1
Suppose 34 = -4*h + 2*q, q - 5 - 2 = h. Let c = 14 + h. Solve 2*o = 2*j - c, -j + 13 = o + 5 for o.
3
Suppose -16 = 3*x + 2*y, x = 5*x + 2*y + 20. Let n be 30/8 - 1/x. Let p be ((-6)/(-1))/(-2) - -7. Solve p*v = -4*l + n, v + l + 29 = 6*l for v.
-4
Let g = -7 + 10. Solve -3*d + 4*j = 26, g*d - 4*d - 7 = -j for d.
-2
Suppose -5*a + 11 + 14 = 0, 3*h - a + 5 = 0. Solve 0 = g - w + 4, h*w = 3*w - 6 for g.
-2
Suppose v + 6 = 2*s, -28 = -0*v - 2*v - 4*s. Let p = v - 2. Solve 3 = -u + p*u - 2*o, 0 = -5*o + 5 for u.
5
Let k be 3 + -6 - 52/(-2). Solve -5*f = 2*i + k, -2*f - 25 = 3*f for i.
1
Let j be 2 + -2 + 5*2. Suppose 0 = d + 3*i + j, 5*i + 15 = 2*d + 4*i. Suppose o - 6 = -2*o. Solve o*g = -0*g + 4*p - 14, 0 = -d*p + 10 for g.
-3
Let l = 51 - 48. Solve i + 5*z = -16, 2*i - l*z + 0 = 7 for i.
-1
Suppose 4*d + 24 = 4*a, d = -a - 0*a - 2. Let o be -8 + 33 - 2*2. Suppose -n + o = a*n. Solve 4*c + 4 = -4*k, k - 2*c + n = -0 for k.
-3
Suppose 2*q + 3*q = -20, -4*k - 16 = 4*q. Solve -4*t - 4 = 0, 5*w = -k*t - t + 9 for w.
2
Let t(p) = 18*p**2 - 4*p + 3. Let s(h) = h**2 + h - 1. Let l(r) = 3*s(r) + t(r). Let b be l(1). Solve 4*k - b = j, -2*j + 3*j + 3*k - 15 = 0 for j.
0
Suppose -2*u + s = -s + 24, 2*s + 3 = -u. Let v = 15 + u. Let f(l) = 2*l - 9. Let p be f(v). Solve p*k = -2*m + 2*k + 5, m + k = 1 for m.
4
Let y be 1 - 6/(-9)*-3. Let u be 11/3 + (-2)/3. Let d = u + y. Solve d*w = -3*w - 3*r - 2, 0 = 2*w - 3*r + 5 for w.
-1
Let t = -4 - -7. Let v(c) = -c + 1. Let p be v(-1). Suppose -5*x = -2*j - 21, 2*x + 0*j - p = 4*j. Solve 5*o - 5*m - 12 = t, x*m - 25 = -3*o for o.
5
Let j be -1 - 0 - (-6)/1. Suppose 4*f + 2*i = -10, -3*i = -2*f + 10 + j. Solve -2*w - 3*a + 6 = -f, 4*w = 4*a - 8 for w.
0
Let m be (-9)/36 - (-330)/8. Solve -5*g + 3*g = 3*t + 2, 5*g - m = 4*t for t.
-4
Suppose 0*b - 4*b = 4*v, 3*v - 2*b - 25 = 0. Solve -2*x = v*m + 3*x - 25, -3*x + 7 = -5*m for m.
1
Suppose k = w - 4*k + 18, 2*w + 12 = 2*k. Let p be (w/(-4))/((-4)/(-16)). Solve 3*q = -l - 2, -2*l + 2 = p*q + 3 for l.
1
Suppose -7*j + 9*j = 6. Suppose -5*d = -j*d - 4. Solve -r + c = -4, 5*c - d = 2*r - 13 for r.
3
Suppose 12 + 0 = 3*l. Let o(v) = -v**3 + 4*v**2 + 6*v - 4. Let c be o(l). Solve 2*w + 4*a + 19 = -a, -4*a = c for w.
3
Let i = 16 - 11. Suppose -i*m = -10*m + 60. Solve 3*c - 3*o + m = 0, 0 = -4*c + 4*o - 5*o - 11 for c.
-3
Let r(v) = -v**3 + 16*v**2 - 14*v + 6. Let n be r(15). Solve -3*p + 17 = 2*w, 4*w - 6*p + n = -p for w.
1
Let r = -13 - -18. Suppose 6*t - r*t = 2. Let d be (t/2)/((-2)/(-10)). Solve 23 = -5*f - w, 0*w = -d*f + 3*w - 11 for f.
-4
Suppose 7*t - 5 = 6*t. Suppose t*c - 11 = 24. Solve d - 5*u + 8 = 0, -d