13. Solve 0 = 5*r + c - z, 4 = -r - 4*c - 1 for r.
3
Let h = -6 - -9. Let d = -1 + h. Solve n = -n + 3*m - 7, 17 = -3*n - d*m for n.
-5
Let k be (132/(-15))/(-1) - (-12)/(-15). Solve 0 = -0*m - 2*m - k, 4*v - 4*m = 4 for v.
-3
Let l = -1 + 3. Let q be (l/(-6))/((-4)/24). Let t be (q/4)/(2/12). Solve -b + 2*b = 3*s + 3, t = b - 5*s for b.
3
Let t(j) = j**3 - 2*j**2 - j - 2. Let p be t(3). Let v = -4 + p. Suppose -k - 1 + 5 = v. Solve 5*s - u - u = 15, -k*s + 4*u = 0 for s.
5
Suppose -12 - 8 = -5*z. Suppose -4 = -z*c + 12. Solve -h + 5*q + 1 = -6, -c*h - q = 14 for h.
-3
Let a(o) = o**2 + 2*o - 1. Let j be a(-4). Solve -w = -2*w + 4*x - 13, 4*x = 3*w + j for w.
3
Suppose -11*m = -7*m - 8. Let o = 6 - 1. Solve -j + 3*j + 16 = -o*r, 4*j + m*r + 16 = 0 for j.
-3
Let p = 10 + -30. Let o be ((-10)/p)/(1/22). Solve -v + 7 = -0*z - 5*z, 5*v = z + o for v.
2
Let g(a) = a**3 - 2*a**2 - a - 4. Suppose 5*o + 2 - 17 = 0. Let d be g(o). Solve 4*c - 10 = -n, -2*c + d*n + 10 = 5*n for c.
2
Suppose -25 = 5*c, 1 = 2*b - 2*c + 3*c. Solve 9*r - b*l + 30 = 4*r, 2*r + 3*l - 9 = 0 for r.
-3
Let m be (-8)/36*(-9)/1. Solve 0 = -m*a - 4*u + 6, 2*a + 0*u = 2*u for a.
1
Suppose 1 = 2*x - 3*z, -2*x + 4*z = -7*x + 60. Solve 0 = -f - f - 4*r + x, -8 = -4*r for f.
0
Suppose 0*s - 64 = -16*s. Solve -2*r - 5*u - 1 = -11, s*r + 2*u = -12 for r.
-5
Suppose 4 = s + 3*s. Suppose -3*h + 12 = h, h + 7 = 5*d. Let p be 10/(2 - (-1 + d)). Solve 2*x + s = c, 5*c + x + 5 = p for c.
1
Let f be (-5)/((-5)/2) - 2. Solve -3*b - 2*b + 6 = 4*s, 2*s + 3*b - 4 = f for s.
-1
Let o(j) = 2*j**2 - 3*j + 3. Let p be o(2). Solve f + v - 12 = 3*f, -35 = p*f - 5*v for f.
-5
Let i(v) = -v**3 + 22*v**2 + 23*v + 4. Let q be i(23). Solve -m = q*f + 20, -m + 20 = -4*f + m for f.
-5
Let w = 29 + -10. Suppose l = -2*l - g + w, 3*g + 8 = 4*l. Let t = -8 - -14. Solve -z + 2*z + 2*h - t = 0, -2*z + 3*h + l = 0 for z.
4
Let r = 39 + -39. Solve -g - 12 = -4*b + 3*g, b - 5*g + 5 = r for b.
5
Let z(a) = -a**2 + 7*a - 8. Let y be z(3). Solve y*u + 13 = -2*h + 5*h, -h - 5*u - 21 = 0 for h.
-1
Let o(i) = 2*i**2 + 6*i + 2. Let j be 0 + -4 + (3 - 3). Let x be o(j). Solve d - 3 = 0, -2*d + 0 = 4*c + x for c.
-4
Let r(m) = -3*m + 6. Let y be r(1). Solve -y*v = -l - 12, 4*v = -0*l + 4*l + 16 for v.
4
Suppose 9 = -3*w + 7*w + 3*s, -w + 4*s + 7 = 0. Let g = 14 + -8. Solve -v + 1 + 4 = -2*f, w*v = -f - g for v.
-1
Suppose 0 = -3*u - 0*u - 24. Let r be (u - -2)*20/(-8). Let j(k) = -2*k. Let b be j(-5). Solve 0 = -3*c - r, 3*c + b = -0*y + 5*y for y.
-1
Let x(c) = 2*c + 16. Let m be x(-7). Suppose 4*b = m*s + 12, 5*b - 11 = 4*s - 2. Solve 0 = f, -s = -u - 3*u + 3*f for u.
1
Let o be 15/6 + (-2)/(-4). Solve -o*d + 8*d = -4*p + 2, d - 2 = 0 for p.
-2
Let w be ((-6)/9)/(4/(-30)). Let u(o) = o**2 - 4*o - 3. Let s be u(w). Solve -s*b - 3*f = -16, 5*b + 3*f + 2*f = 35 for b.
5
Let p be 22/8 - 54/72. Solve 2 = 2*m + 5*z, 5*m + 5*z + 8 = -p for m.
-4
Suppose -g = 1 - 10. Suppose 3*l = 2*v + 5, -2*l + 8 = -v + 3. Solve 2*o - 5 = -4*c - 31, -v*o - g = -4*c for c.
-4
Let r(a) = a**3 + 5*a**2 - 2*a + 6. Let w be r(-3). Let n be (-6)/w + 48/15. Solve -3*z = -m - 6, -n*z = 5*m + 1 + 11 for z.
1
Suppose 5*p - 2 = 8. Solve 4*u = 5*x + 2*u + 2, -x - p*u - 10 = 0 for x.
-2
Suppose 0 = 3*t - 49 - 17. Let s = t - 19. Solve k - 5 = -c, c + 2 - s = 0 for k.
4
Suppose 2*b - 4*b + 6 = 0. Let n(u) = 4*u + 6. Let z(k) = -5*k - 7. Let f(g) = -6*n(g) - 5*z(g). Let t be f(b). Solve -q = l - 8, -l - 1 = -0*q - t*q for q.
3
Suppose i + 1 - 4 = 0. Let c(w) = -5*w - 1. Let a be c(-1). Solve -j - a*z - 15 = -i, 0 = -4*z - 8 for j.
-4
Let k(o) = o**3 + 8*o**2 + o + 11. Let u be k(-8). Solve -3*f - 4*i + 12 = -3, -3*f - 6 = -u*i for f.
1
Suppose -3*s + 5*s = -3*i + 20, 0 = -s + 4*i - 1. Let x be 395/35 - 2/s. Solve 5*r - 2*t = -6, -4*r - 2 = 3*t - x for r.
0
Suppose -5*g = -i - 41, -3*i = -4*i - 1. Solve -3*w + 6*w = -5*o + g, 2*w = -8 for o.
4
Let k be 5 + 3 - (-1 + 2). Let u be (0 + 1)*k*1. Let b be 16/(-28)*u/(-2). Solve -n - 3*a = -2, n - b = -0*n + 2*a for n.
2
Let j(c) = 0*c + 5 - 3*c**3 + 8*c + 5*c**2 + 2*c**3 - 2*c. Let k be j(6). Solve -19 = -3*r - 5*b + 4, -2*r - 18 = -k*b for r.
1
Let k = -3 + 3. Solve -16 = -3*w + q, 2*w + k*w - 3*q - 20 = 0 for w.
4
Let w(v) = v**2 - 1. Let m be w(1). Let c be ((m/2)/(-2))/2. Suppose c = -k - 3*k + 12. Solve -z = 4*u - 23, 4*z - 3*u = -0*z - k for z.
3
Let y(x) = 5*x**3 - 3*x**2 + x + 1. Let p be y(1). Solve 10 = -p*a - a - 4*j, -5*j = 5*a + 15 for a.
2
Let j(i) = i**2 + 13*i + 1. Let m be j(-14). Solve -3*q = -0*q + m, -4*q - 22 = h for h.
-2
Suppose 2*m - 3*k = -2*k + 6, 0 = 2*m - 4*k - 12. Suppose -d = -m*d. Suppose d = 2*y + 3*y. Solve 3*x = z + 11, 3*x + y*x = 3*z + 3 for x.
5
Let d = -6 - -8. Let q be (-1)/3 - (-314)/6. Let x = 79 - q. Solve -4*o - x = 2*u - 7, -o - 5 = -d*u for u.
0
Suppose -3*s - 5 = 5*n, 5*s - s - 4 = 4*n. Solve 0*h + 3*j - 12 = 5*h, s = 5*h + 2*j - 8 for h.
0
Suppose 4*w - 45 = 3*s, -w + 4*s = 4*w - 57. Solve i + 7 = -4*k, 3*i + 2*i - 2*k = w for i.
1
Let w = 5 - 4. Let c be -2*w - (1 + -1). Let a be (1/c)/(2/(-4)). Solve -5*t + 5*b - 19 = a, -4*t - 17 = -5*b for t.
-3
Let s(g) = -g**3 - g**2 + 2. Let v be s(0). Let l = 10 - 7. Solve 2*j = 3*x + x + 18, v*x + 5 = -l*j for j.
1
Let q be (7/14)/((-1)/(-2)). Suppose -3*h + 7 = q. Solve 4*u = -h*j - 10, 4 = -0*u - u - 2*j for u.
-2
Let c(x) = -x**3 + 8*x**2 + 6. Let s be 6 - ((-12)/2)/3. Let h be c(s). Let j be 8/(-2)*1/(-1). Solve i - 5*i = 8, -2*d + j*i = -h for d.
-1
Suppose 0 = -3*z + z + 4. Suppose -z*h + 2 = -18. Let s = 15 - h. Solve 2*b = -g + 1, 5*b - s = 4*g - 35 for b.
-2
Suppose -4*a = -4*b - 4, 4*b - 3 = -2*a + 17. Let f be ((-1)/3)/((-1)/b). Suppose -3*l + f = -26. Solve 5 + 1 = 4*x - 2*k, l = 2*x + 5*k for x.
2
Let g(p) = -p**3 - 8*p**2 - 10*p - 3. Let s be g(-7). Let l be (-9)/s*(-9 - -1). Suppose -2*m + 7 = -1. Solve -25 = -h - m*h, 25 = o + l*h for o.
5
Let f = -3 + 5. Let g = -11 - -20. Let x = g - -5. Solve 2*z - 4*r + 16 = r, -3*z - f*r = -x for z.
2
Suppose -26 = -2*f - 5*i + 13, 108 = 4*f + 4*i. Solve -4*h = -5*j - f, 3 = -j - 5*h + 14 for j.
-4
Suppose -h = -0 - 1. Suppose t + h = -3. Let u be ((-10)/(-4) - 3)*t. Solve -35 = 5*f + 5*n, u*f + 4*n + 15 + 5 = 0 for f.
-4
Let z(g) = -g + 0 - 2 + 4 - 6. Let k be z(-9). Solve 11 = 3*j + k*b - 8, 0 = -2*b + 4 for j.
3
Let g(n) be the first derivative of 1/2*n**2 + 0*n - 1. Let z be g(8). Solve -2*h - 4*p = -z, -h + 2 = -p + 1 for h.
2
Let v(a) = -a**3 + 9*a**2 + 10*a + 3. Suppose r + 0*s - s = 8, 3*r + 5*s - 40 = 0. Let y be v(r). Solve 9*h - 4*h + 25 = -5*p, y*p + 4*h = -18 for p.
-2
Let u = 14 - 7. Suppose -3*d = n, -n = 3*n - 3*d - 45. Let r = n - u. Solve 2*l + 4*o = 8, -3 = 5*l + r*o + 1 for l.
-2
Let b(y) = -y**2 - 2*y. Let t be b(0). Solve 4*z - 15 = c, t = 3*z - 3*c - 9 for z.
4
Let u = -5 + 7. Suppose 2*p - 8 = -u. Solve p*o = 5*s + 26, -4*o - 4*s = -0 + 8 for o.
2
Suppose -5*v - 9 + 29 = 0. Suppose 0 = 4*r + v*c, -r - 12 = -c + 6*c. Solve -r*k - m = -11, 5*k - 5 - 4 = 3*m for k.
3
Let h(z) = z**2 - 3*z - 1. Let i be h(4). Suppose -5*v = -i*v. Let o = 0 + v. Solve -4*j + x - 4 = o, 2*x = j - 0 + 1 for j.
-1
Let v be 3/5 - (-52)/5. Solve 2*q - 24 = 3*t - 5, -3*t - v = 2*q for q.
2
Suppose 2*x - 3 = -u, -x + 2 = -4*u - 4. Solve 4*p - 8*p = 2*h - 4, x*h + 3 = 3*p for p.
1
Let a = 0 - -3. Let h be 3/2 + 5/10. Suppose -l + h = -3*g, -6 = -4*l + l + g. Solve -m - 20 = -a*m + 5*d, m - l*d = 9 for m.
5
Let l be ((-384)/144)/((-6)/9). Suppose 0 = 5*u - 74 - 26. Solve 5*n - 4*r - 7 - 18 = 0, -3*r + u = l*n for n.
5
Suppose 0 = 4*s - 9*s + 15. Solve -s*q + g = -5, -3*q + 7*q + g = -5 for q.
0
Let b = -6 - -6. Suppose -2 = -2*t - b. Let i = -4 - -4. Solve 5*a = 2*j - 33, -2*j - 2*j - 3*a + t = i for j.
4
Let i = -152 - -152. Solve 6 = -3*u - i*a - 2*a, -2*u - 3*a = 9 for u.
0
Let j(i) = 2*i**2 + 8*i + 10. Let r be j(-4). Let v = r - 5. Solve -o - 4*s = 2*o + 7, -3*s = v*o + 8 for o.
-1
Let d(h) be the second derivative of -h**4/12 + 2*h**3 + 17*h**2/2 - 4*h. Let q be d(13). Solve -12 = 2*u - 0*u + q*g, -5*u + 14 = -g for u.
2
Suppose 2*b + 69 = -b. Let n = 23 + b. Solve n = 3*r + p + 11, 5*r - p + 5*p = -9 for r.
-5
Let t(y) = y - 13. Let d(a) = -4*a + 5*a + 0 - 13. Let w(r) = -