*c + t = v, -2 = d*v + c + 5 for v.
-3
Let q be 3/(3/13)*-1. Let g = 18 + q. Solve 0 = 4*z - 4*o + 20, -3*z = g*o - 4*o + 15 for z.
-5
Let s = 4 + -19. Let d be 1/(s/(-12) + -1). Suppose -5*j = -d*j - 5. Solve 2*q - 4 = 4*l, -j*l = -2*q + q - 1 for q.
4
Let i be (-1)/(2/8)*1. Let j = 4 + i. Solve -2*w + 2*l = j, 0 = 3*w + 2*l - 11 - 14 for w.
5
Suppose 2*m = -17 + 23. Solve 6 = 4*d - 2*a, -d - m*a = -0*d + 2 for d.
1
Let y(i) = -3*i - 15. Suppose 2*g - 30 = 4*k, 65 = -6*k + 2*k - 5*g. Let j be y(k). Let o be (6/9)/(2/j). Solve -d + 1 + 0 = 3*f, o*f + 5*d = 15 for f.
-1
Suppose 0 = 5*p - 15*p. Solve p = k - 5*r + 6, -k = -2*k - 5*r + 14 for k.
4
Suppose 4*x + 14 = m + x, 0 = 5*m - 5*x - 40. Solve 3*t + 19 + 2 = 3*j, -m*j = 5*t + 5 for t.
-4
Suppose -d + 8*d - 14 = 0. Solve -2*l = 4*c + 2, c - d*l + 23 = -7*l for c.
2
Let f = -12 - -21. Let x = f - 1. Solve 0 = -i + 5*b - 8, 2*i + 2*b - x = -0*b for i.
2
Let b(c) = -3*c**2 + 11*c - 3. Let w be b(3). Solve 0 = w*a + 2*u - 4 - 1, -4*a = 2*u - 4 for a.
-1
Let s be (-1)/3 + 91/21. Suppose 0 = 2*w - 0*w + 4, -5*h - s*w + 2 = 0. Solve n = -2*x - 4*n - 20, -5*n = -h*x for x.
-5
Let g(j) = -j**2 - 4*j - 1. Let w be g(-4). Let f be 1/(w - (-60)/57). Let m(h) = -h - 2. Let r be m(-4). Solve -2*a = -r*u + a - f, 40 = -5*u + 5*a for u.
-5
Let b = -1 - -4. Solve b*t - w + 15 = 0, -3*t - 2*w - 25 = 2*t for t.
-5
Let b be -2 - (3 + -2 - 5). Solve -5*m + 6 = b*z, -3*m + z = -1 - 7 for m.
2
Let x be (-2 + 2)/(2 - 1). Let y = x - 0. Solve y = -i + 4*f + 21, 5*f - 3*f = -10 for i.
1
Let q be (-11 - -9)/((-4)/6). Solve 0 = l + q, -z = -5*z - 3*l - 13 for z.
-1
Suppose 3*q + 105 = 8*q. Solve q = -v + 5*c, v + 4*v + 9 = c for v.
-1
Suppose 4*l - 11 - 13 = 0. Let i be 15/4 - l/8. Solve 3*n - 4*t - 5 = 0, -i*n - 7 = -2*t - 2 for n.
-5
Let y(z) = 2*z**2 - 4*z + 3. Let q(v) = v**3 - 4*v**2 - 3*v - 7. Let j be q(5). Let b be y(j). Solve 5*o = 5*g - 30, -4*o = 3*g - b*o - 20 for g.
5
Let l = -59 + 61. Solve 4 = l*z - 3*n, z + 5*n + 12 = 3*n for z.
-4
Let i be 12/(-60) + 26/5. Solve -6*y = -3*y - 2*c, -5*y + 5*c - i = 0 for y.
2
Suppose f - 3 = 5*w, 46 + 5 = -3*f - 5*w. Let b be (f/16)/((-4)/16). Solve 5*p + 12 = -b*h, -p + 3*p = -4*h - 2 for h.
1
Suppose -4*c + 24 = -0*c. Solve 4*l - c = -4*a + 2*l, -5*a = l for a.
-1
Let k(v) = -v**3 + 2*v**2 + v. Let b be k(2). Suppose 2*m = m + b. Solve 0 = -m*d + q - 2, 4*d + 3*q = 1 + 5 for d.
0
Suppose -3*s - i + 20 = s, 0 = 2*s - 4*i + 8. Suppose -s*w + 32 = 3*j, -j = 2*j + w - 17. Solve -13 = 3*p + 4*f, -4*p + j*f - 11 = p for p.
-3
Suppose 0*w = -w + 4. Let d(q) = -q - 1. Let v be d(w). Let m(x) = x**3 + 6*x**2 + 5*x + 4. Let k be m(v). Solve -2*y = -5*t + 2 - 4, 0 = 2*y - 2*t + k for y.
-4
Let f be 2/(-4) + (-9)/(-2). Let b be 2*1/5*10. Let d be b - -1 - (3 + -2). Solve d = f*t - 3*y - 0, 3*y + 6 = 3*t for t.
-2
Let j be (-28)/(-5) - 2/(-5). Let l = j + -3. Suppose -11 = -l*f - 2. Solve 0 = 5*v - 5*z - 10, 2*v - f = 5*z + 4 for v.
1
Suppose -2*q = -7*q + 75. Suppose 50 = 5*r + 2*m, r - 5*m = -4*r + q. Let i = -4 + r. Solve j - 2 + 4 = 5*n, -i*n = -4*j + 8 for n.
1
Let v(y) = y + 12. Let a be 80/(-14) + (-6)/21. Let u be v(a). Suppose 0 = 5*o - 2*o - u. Solve o*l + 4*x - 18 = 4*l, -5*l = x + 12 for l.
-3
Suppose -3*n + 1 = -23. Solve -4*i = n, -2*c = 3*i + 1 - 3 for c.
4
Suppose 12 = 5*l - 2*l. Suppose -5*b + 4*k - 2 = -l*b, b - 2*k - 8 = 0. Suppose -b - 7 = -5*y. Solve -6*t - 13 = -t + 4*w, -5*t + 5 = -y*w for t.
-1
Let i be (-1 - 0)*1/1. Let t = 1 - i. Suppose -t*r = -6 + 2. Solve 4 = -2*s + 3*g - 16, r*g + 12 = -5*s for s.
-4
Let d(g) = -g**3 - 6*g**2 + 17*g + 10. Let q be d(-8). Solve -2*b - 4*j = -28, q*b + 2*j + j - 23 = 0 for b.
4
Suppose -2*s = 2*x - 4*x, 2*s = -x. Let n(k) = -2*k - 8. Let d be n(-7). Suppose x*u + d = u. Solve -2*j - 2*l - u + 0 = 0, 0 = -4*l + 8 for j.
-5
Suppose 0 = 2*s + 5*b - 5, 112 = 5*s - 5*b + 47. Let d = s + -7. Suppose -2*c + d*c = 4. Solve -3*a = c*z - 6, -2*a + 4*z + 7 = 3 for a.
2
Suppose 4*u = 4*t + 16, -4*u + 5 = -3*t - 9. Suppose -4*c - 14 + 86 = 4*b, 3*c = u*b + 44. Suppose 2 = d - 0*d. Solve c = 2*k + d*k - 2*f, 5*k - 3*f = 21 for k.
3
Let x be (-21)/(-7) + 1*-1. Let w be 2/(-4)*(-2 - x). Let s(p) = -2*p**3 - 2*p**2. Let i be s(-2). Solve 0 = r - 3*c + w, 0 = 2*r - 6*r - 3*c - i for r.
-2
Suppose 2 = -3*g - 7. Let x be (-1 - g) + (-3)/(-1). Solve -30 = 5*k - x*z, -6 = -3*z - 0 for k.
-4
Suppose 6*m - 8 = 4*m. Let h(x) = 4*x**2 - 9*x + 2 - 2*x**2 - x**2. Let a be h(9). Solve 0*l - 5*c - m = -3*l, 4*l + 12 = -a*c for l.
-2
Let l = -69 + 71. Solve 4*b = 2*c - 6, 3*c - 2*b - l = c for c.
-1
Let o(k) = -k**2 + 9. Let z be o(0). Suppose 5*d - z = 2*d. Solve 0 = -5*f + 5*h, -d*h = -2*f - 2 - 1 for f.
3
Suppose -4*b = -0*b - 12. Suppose f - 4 = -p, b*f = 5*p - 27 + 7. Let k be (-2)/4*1*f. Solve -3*h = 5*r - 21, k*h + 5*r = h + 13 for h.
2
Suppose 8 = 5*c - 2*i, 2*c - i + 8 = -3*i. Suppose s - 3 = -c. Let x = -2 - -4. Solve -x*u + 1 = -3*b - 13, s*b + 17 = 5*u for u.
1
Suppose 5*k + 2*u - 33 = 0, -2*k + 37 = 5*u + 7. Solve -q = 3*o + 10, -2*q - 22 + 6 = k*o for q.
2
Let m = 41 - 37. Solve -2*g + 8 = -m*n - 0*g, -n - g = -4 for n.
0
Let s = -4 - -6. Suppose 0 = -s*h + 2 - 0. Let c(t) = 3*t - 1. Let p be c(h). Solve -p*u = l - 0*l - 12, u = 3*l - 1 for l.
2
Suppose -2*p - 3*s + 47 = 3*p, -4*s = -2*p + 24. Solve 3*w + p = -5*i, 2*i + 4 = -w - 4*w for i.
-2
Suppose -3*m - 14 = -m. Let b be -3*(m/3 + 1). Solve -2*s = -5*v - 20 - 5, -b*v - 5*s = 20 for v.
-5
Let z = -2 - -4. Let n be 38/14 - z/(-7). Solve 3*b - 9 = n*t, t + 5 = 2*b - 0*t for b.
2
Suppose 4*o - 16 = -4*r + r, -5*o = 3*r - 23. Let u be (-2 - -1) + -1 + o. Suppose -q = -25 + 1. Solve -2 = 3*l + 5*y - 4, -u*l = -2*y - q for l.
4
Let o = -4 - -3. Let q be (-8)/12 - o/(-3). Let v = 3 + q. Solve -3*w - 3*s = -12, 0*s - v*s + 9 = 3*w for w.
1
Let y be ((-54)/30)/((-1)/5). Let m = y + -4. Solve -m*u + 3*u + 5*c + 33 = 0, -2*u + 3*c = -23 for u.
4
Let o be ((-6)/21)/(4 + (-145)/35). Solve o*h = 2*m, 2*h - 16 = -3*h + m for h.
4
Let v(i) = 2*i - 2. Let b be v(6). Let a = b + -10. Solve -5*d + p = -2*p + 4, -4*d + 4*p = a for d.
-2
Let z be (-1)/2*2 - -34. Let s = z - 20. Solve 0*p + 4*p + 5*i = -s, 26 = 2*p - 4*i for p.
3
Let l(k) be the third derivative of -k**6/120 - k**5/15 - k**4/24 - k**3/3 + 6*k**2. Let w be l(-4). Solve 0*y - 2*y + 2 = w*m, 0 = 2*y - 5*m - 23 for y.
4
Let u = -71 - -78. Let y(r) = -r**2 - 3*r + 3. Let v be y(-3). Solve -3*f = u*a - v*a + 31, -7 = -f + 3*a for f.
-5
Let i(u) = 5*u. Let n be i(6). Suppose -42 = -4*o + n. Solve -5*q + 16 = 4*l - 5, -3*q = -3*l - o for l.
-1
Suppose 5*o - 20 = -5*n, 4*n = 5*o - 15 + 76. Let z = n - 7. Solve -3*v + 4*j = 20, -5*v - 5*j - 14 = -z*j for v.
-4
Let o(h) = h**2 + 8*h - 3. Suppose d + 41 = -4*q, 0 = -3*q + 7*q - 4*d + 16. Let a be o(q). Solve -x = -k + 3, -a*x = -2*x - 2*k + 8 for x.
-1
Let l = 16 - 7. Let p = -7 + l. Solve -7*n + p*n - 4*j = -21, 0 = -4*n - j + 8 for n.
1
Let y be 16/(-6) + (-3)/9. Let r be ((-2)/y)/((-1)/(-3)). Solve 0 = 3*x + r*n - 9, 2*x + 2 + 3 = -5*n for x.
5
Suppose z + 3*z - 8 = 0. Suppose 5*k - 8*k = 2*k. Suppose k = -z*m + 6. Solve m*s = -b, -4*s + 7 = -b - 0 for s.
1
Let i be 5*(-2*(-3)/2)/5. Solve a = 3*g - 10, -g + 4*g = -i*a + 18 for g.
4
Let i be (2 - (-30)/(-5)) + 9. Solve -x - i = p - 3*x, p - 3*x = -9 for p.
3
Let g be (10/(-4))/(1/(-2)). Suppose 5*r + c = -20, -r - 4*r - 50 = -g*c. Let w = r + 9. Solve -4 = -4*p + 4*b, w*b = 8 + 4 for p.
4
Let x(g) = g**2 - 9*g - 9. Let r be x(10). Let z be r/((-1)/(-1)) - 0. Let a be (0/z)/(2*-1). Solve a = -4*b - 2*o - 18, 2*b = 3*b - o for b.
-3
Let d(r) = r**3 - 5*r**2 + r. Let i be d(5). Let h be (2/(-3))/(6/9). Let p be h/(1 - (-10)/(-8)). Solve v = -p*v + 20, -5*x - 5*v - i = 0 for x.
-5
Let m be 0*(-1)/(-3) - -4. Suppose -3*v = m*u - 8 - 17, 0 = v - 2*u + 5. Solve 0*s + 3 = 3*s + 3*o, 2*s + 13 = v*o for s.
-2
Suppose 0 = 3*v + 2*t - 10, -3*v = -0*t + 3*t - 9. Suppose 4*c + 4*d - 24 = 0, v*d + 1 - 28 = -5*c. Solve -2*s - 5*o = 0, 3*s = 2*s - 4*o + c for s.
-5
Let x be 2 + (3 + -1 - -32). Let f = x - 26. Solve -2*p - f = -4*p - 2*u, 3*u - 15 = -2*p for p.
0
Let g be 8/(-20) - 68/5. Let b = -10 - g. Suppose -b*k + 3*k = -3. Solve -5*d + m = -0*m - 16, k*m 