= -5*s + 3*s + 16, c = 4*q - 2*s - 14 for q.
5
Let g be 4/6 + 16/3. Let d(h) = 2*h**2 - 26*h + 17. Let c be d(13). Solve -3*z + 6*n - c = n, 2*n = z + g for z.
-4
Let m = 4 - 1. Let r be 26 - (4 - m - 1). Suppose 6 - r = -4*q. Solve 5*p - 2*w = -22, 33 = -q*p + 5*w + 8 for p.
-4
Suppose -b = n + 2*n - 48, 5*b + 48 = 3*n. Suppose 0*x = 2*x - n. Solve -2*r = -d + 3*d - x, 5*r - 4*d = -7 for r.
1
Let s = -19 - -31. Suppose 3*t + 27 = -s. Let p = -7 - t. Solve 5*b + 37 = -4*d, 0 = 2*d + 2*b + 10 + p for d.
-3
Let u(l) = -l**3 - 6*l**2 - 3. Let r be u(-6). Let z be (r + 5 - 2) + 23. Solve -z = 4*t - h, -10 - 16 = 4*t - 2*h for t.
-5
Let p be (-21)/(-2)*12/9. Suppose 0 = h + 3*j - 9, -h - j = 3*h - p. Suppose 3 = h*w - 3. Solve -g = w*y + 5, 2*y + g + 1 = 4*g for y.
-2
Let i(c) = 3*c + 51. Let l be i(-16). Solve 2*r = -y - 10, l*r + 8 + 7 = -3*y for y.
0
Let t be -1*1/1 - 0. Let o(n) = -8*n - 3. Let f be o(t). Solve 3*c = -3*h + 27, -2*h + f*c - 9 = 2*h for h.
4
Let h(n) = -12*n + 28 + 11*n - 9. Let w be h(9). Solve -14 = 3*a - 5*a - 5*v, 3*v = -2*a + w for a.
2
Let d be (0 + 10)/((-3)/(-3)). Let v be 1/(-2) - (-5)/2. Let u = v + 0. Solve -u*h - 4 + 10 = 3*b, -5*h - d = -5*b for b.
2
Let i(s) = -s**2 - 13*s + 4. Let l be i(-13). Solve 0*b = b - 2*r - 4, b - l*r = 6 for b.
2
Let t be (-10)/(-20)*(0 + 6). Solve 0 = -4*k - 4*n, k - 2*n - 3 = t for k.
2
Let c = 23 - 23. Solve -4 = g + 3*w, c = -4*g - w + 2*w + 10 for g.
2
Let k(a) = a**3 + 8*a**2 + 5*a - 12. Let r be k(-7). Solve r*d - 12 = 5*n - 4, -3*n - 3 = -3*d for d.
-1
Suppose -5*l - 6*l = -22. Solve -2*u = -l*j + 4*j + 6, j + 1 = -2*u for j.
-5
Let x be 26/5 - (12/(-15) - -1). Let q = -4 - -6. Solve 4*y = -4*l + 12, -3*l + x = q*y - 5 for l.
4
Suppose 16 = 5*c - 4*i, 6*i - 9 = -c + i. Suppose 4*s + y - 7 = 2*y, -c*s - 3*y + 11 = 0. Let n = s - -1. Solve q + 3*l + n = -q, 3*q = -3*l for q.
3
Suppose 5*p - 61 = 224. Suppose -2*m - 12 = -3*v - p, -2*m = v - 65. Solve 3*l = -2*o - 16, -7 + m = -4*l - 3*o for l.
-2
Suppose 0 = -2*y + 3*k + 34, 3*y = -0*y + 4*k + 49. Let t be ((-8)/5)/((-2)/5). Solve 2*c - y = t*r + 1, -4*c + 2 = 3*r for r.
-2
Let x(w) = -w**2 - 3*w + 2. Let d be x(0). Solve -4*c - c + 5*o = -10, -d*c - 3*o + 4 = 0 for c.
2
Let h = 7 - 11. Let j = 5 + h. Let n = 0 + j. Solve 3*u = -5*b + n, -b - 4*u = -2 - 5 for b.
-1
Suppose g + 2 + 3 = -4*b, 0 = 4*g + b - 10. Suppose g*j + 5 - 14 = 0. Solve 2*k + 5*o = -6, j*o + 0 + 12 = -4*k for k.
-3
Suppose -14*j = -18*j + 20. Suppose 0 = 3*m - 1 - 5. Solve 0 = y - 3*w - 8, -m*y + 0*y - j = w for y.
-1
Let f(y) = -y. Let p be f(-5). Let h = p + -2. Solve -4*t - h*l + 2 = 0, 6*t - 3*t - 3*l = 12 for t.
2
Suppose 0 = 5*i + 3*a + 7 - 17, 10 = 5*i + a. Solve -3*u + 15 = 2*w, -2*u = i*w - 4*u for w.
3
Let x be (-2)/11*-1 - 84/(-22). Solve s + 6 = j + 1, 20 = -5*s + x*j for s.
0
Suppose -7 + 43 = g. Suppose -g = -3*x + 30. Let k(v) = -v**3 + 6*v**2 - 5*v + 3. Let i be k(5). Solve i*j + 0*j - x = -5*f, -18 = -f - 4*j for f.
2
Let i be (1/2)/((-2)/(-16)). Suppose 2*f = -f - u + 2, 0 = i*f + 4*u + 8. Suppose -6*q + 7*q - 2 = 0. Solve 4 = -5*s + f*h + 2, -s - 10 = q*h for s.
-2
Let j be (-217)/(-77) + (-6)/(-33). Solve -2*s - 2 = -z, 0 = 3*z - s + j*s - 6 for z.
2
Let m(s) = 5*s + 3. Let p be m(-5). Let l = p - -25. Solve -l*z + 4 - 1 = -4*n, -z + 1 = -3*n for n.
0
Let n be 3/9*-2*-3. Suppose 0 = 2*c, -3*o + 6*o - 12 = -n*c. Let r(y) = y**3 - 5*y**2 - 7*y + 9. Let m be r(6). Solve -o*j = s - m*j, -3*j + 10 = -2*s for s.
-2
Let d(c) = -c**3 + 9*c**2 - 9*c - 10. Let x be d(7). Let h be (x/3)/5*3. Solve 0 = f + a - 4*a - 4, -h*f - a = -4 for f.
1
Let h(c) = c**3 - 5*c**2 + 3. Let d be h(5). Solve 0 = -4*r + d*f + 3, 3*r + 3*f + 3 = -r for r.
0
Let r(i) = 3*i**2 - 3 + 4*i + 0*i**2 + 0*i**3 - 2*i - i**3. Let w be r(3). Solve 0 = -w*f + 3*m, -4*f + 3*m - 4 - 1 = 0 for f.
-5
Let y(c) = -7*c + 4. Let x be y(-2). Solve -5*t + x = -p, 4*t - 2*t - p - 6 = 0 for t.
4
Let f be 4*5 - (5 + -9). Suppose -2*r = -3*r + 2. Let l be -2*(r + (-46)/4). Solve k = 5*z + l - 1, 4*z = 4*k - f for z.
-3
Let u be -10 + 14 + 0/(-1). Let r(f) = f - 1. Let i be r(7). Solve 3*a - i = -d, -u*d + 16 = -3*a + 37 for a.
3
Let o(l) be the first derivative of -l**2 + 15*l + 4. Let n be o(0). Solve 2*q = -5*v - n, -2*v - 18 = -4*v + 4*q for v.
-1
Let v be (-84)/(-35) - 2/5. Solve 0 = -4*p + 5*n - 12, 2*p + v*n = 6*n - 6 for p.
-3
Suppose 0 = -8*u + 7*u. Suppose 4*g + g - 15 = 0. Solve -2 = -2*l - u*c - 4*c, -l - 4*c - g = 0 for l.
5
Suppose -5*h + 84 = -b + 4*b, 0 = -5*b - h + 162. Solve -5*q - 10 = g - b, 2*g + 6 = 3*q for q.
4
Let w(u) = u**2 + 4*u + 5. Let n be w(-5). Suppose 2*f = 4*f - n. Let r be (-2)/9 - (-58)/18. Solve -f*m + r = 4*i - 2, 5*m = 3*i + 5 for i.
0
Let h(d) = d**2 - 8*d + 14. Let l be h(7). Suppose 2*q + 2*m - l*m - 40 = 0, -100 = -5*q + 2*m. Solve -3*y + 20 = 5*k, 5*k - q = y - 0*y for k.
4
Let p = -1 + 6. Suppose 0 = -4*r + 5*q - 2, -5*r = -2*r - p*q + 4. Solve -r = -3*j - t, -6*j + 2*j + 5*t = -9 for j.
1
Let c(a) = 2*a**2 - 23*a + 16. Let p be c(11). Solve -g + 2*s - 7 = p*s, -2*g + 4*s = 4 for g.
-4
Let z be (-4)/14 - (-32)/14. Let m be (-3 + 1 + 0)/z. Let i = 1 - m. Solve -s + 5 = -i*n, 5*s - 25 = -0*s - 5*n for s.
5
Suppose 6 = -4*x + 7*x. Suppose 3*t - 4*i + 3 = 21, -x*t - 5*i + 12 = 0. Solve -l + t + 5 = -3*r, -2*l - 5*r = 0 for l.
5
Let m = 4 + 2. Suppose 2*n = 5*o - 13, -3*n + m*n - 3 = 0. Solve -o*l - l = -3*i, -l - 4*i - 19 = 0 for l.
-3
Suppose 4*g = -0 + 8. Solve -10 = -0*d + 5*d, -6 = -g*i + d for i.
2
Suppose 13*c = 16*c - 6. Solve -h - 2*x = c*x - 20, 3*h = -4*x + 28 for h.
4
Let u(k) be the second derivative of k**3/6 + 2*k. Let p be u(-6). Let d be (-22)/p + 2/6. Solve 2*j - 3*j = -d*h + 5, -4*j + 4 = -4*h for h.
2
Let t be (20/(-4) - -3)*38/(-4). Solve 2*r = s - 2, -3*r - 2*r - t = s for s.
-4
Let k be ((-2)/4)/((-10)/100). Solve -k*y + d - 4*d = 10, 4*y + 4*d = 0 for y.
-5
Let t(o) = -o**3 + 17*o**2 + 2*o - 31. Let c be t(17). Solve 5*f - c*a = -a - 24, 2*f = -4*a for f.
-4
Let b = -20 + 22. Let s = -4 - -9. Solve 0 = f + b*f - 3*x + 3, -s*f - 4 = -4*x for f.
0
Let y(k) = -2*k + 4*k + 3*k**3 - 3 - 2*k**3 + 4*k**2. Let j be y(-3). Solve 4*q - 4 = -5*m + 41, j = 2*m + q - 15 for m.
5
Let q be 2/(-2)*(-4 + -5). Let t = q + -6. Solve 0 = 4*l + c + 10, t*l - c + 0*c = -11 for l.
-3
Let j(a) = a**3 - 4*a**2 + 2*a - 5. Let l be j(4). Let p = l - -1. Solve 0 = -p*t - 16, 0*t + 5*t + 18 = o for o.
-2
Suppose q + 0*q - 2 = 0. Solve q - 11 = 3*i, -i + 17 = 5*m for m.
4
Suppose -4*m + 9 = m + 3*n, -14 = -2*m + 4*n. Suppose m*l - 26 = l. Solve 4*s = 2*j + 14, -4*s + s + l = -2*j for s.
1
Suppose g - 4 = -g. Suppose -2*a + 32 = g*o, -o = 2*o + a - 56. Suppose 0 = -5*p + 5*s + o, -4*s + 3*s = 0. Solve d = -p*c - 7, -2 = 2*d + 4*c - 2*c for d.
1
Suppose 4*c - 8 = 0, -25 = -3*j - 0*c - 5*c. Solve -o = j*m - 16, 0 = -3*m + 5*o + 4 - 0 for m.
3
Let a(f) = -f**3 + 5*f**2 - 3*f + 4. Let l be a(3). Solve 5*c - 4*v - 8 = l, -c - 5*v - 19 = 0 for c.
1
Suppose 45*w - 40*w - 25 = 0. Solve w*h = 2*n - 5, -2*h + 0 = n + 11 for n.
-5
Let b be -1 + -1 + 0 + 0. Let m = 4 + b. Suppose -v - 3*s + 0*s = -19, -3*v = 4*s - 32. Solve o - 3 = m*p, o = -4*p - 1 + v for o.
3
Let w be ((-2)/6)/(2/(-12)). Let g = -165 + 191. Solve -w*b = 5*r - 3*b, g = r + 5*b for r.
1
Let v = 24 - 22. Solve -5 = v*n - 0*c + 5*c, 0 = -4*n + 2*c + 2 for n.
0
Let h(f) = -f**3 - 3*f**2 - 2*f. Let i be h(-3). Solve -l - 12 = -3*c, -l = -i*l - 5*c + 40 for l.
3
Suppose -24 = -2*m - 2*m. Let l = 12 + -10. Suppose 2*j = -l*j. Solve -5*b - 2*q = j, -4*b - 4*q + m*q = 0 for b.
0
Let o = 40 + -38. Solve -3*c = 3*x, 2*c + 3*x = c - o for c.
1
Suppose -2*i - 88 = 38. Let z be 1/(-4) + i/(-12). Solve q - 8 = z*q, -v - 6 = 2*q for v.
-2
Suppose -5*x - y + 23 = 0, 3*x + x - 18 = -y. Let w = 7 - x. Let f = 18 + -11. Solve -5*r - f*g + 2*g = -10, 31 = -w*r + 5*g for r.
-3
Suppose -4 = -a - 2*p, 6*a - 12 = 3*a + 3*p. Solve -c - 4*f + 14 = c, 0 = -a*f + 8 for c.
3
Suppose 0 = -3*n + 7*n - 8. Suppose -4*v = -5*w + 7, -n*w = 2*v + v - 12. Solve -w*z - 2*z + 5*g - 30 = 0, -3*z = 5*g - 22 for z.
-1
Let h(t) be the second derivative of t**3/6 - 5*t. Let l be h(4). Solve k = 4*s - 0*k - 12, -l*s + 4*k + 24 = 0 for s.
2
Let q = 51 