 17 = -4*r + 5 for r.
-4
Let l be ((-16)/4)/(-2) - 2. Suppose 0 = -c - 0*c. Solve 0 = -3*k + 6, -x + l*x + k - 7 = c for x.
-5
Let n be -8 + 14 + ((-3)/(-3) - 1). Solve -3*o = 4*x - n*o - 3, 0 = x + 4*o + 23 for x.
-3
Suppose p = -2*o + 6, p + 0*p = -3*o + 10. Suppose z = 6*z - 4*n - 26, 0 = -o*z - 4*n - 8. Solve -z*l + y - 6 = -y, 2*l + 3*y = 9 for l.
0
Let c(k) = -2*k - 11. Let g be c(-9). Solve -3 = v - t, -4 = -v + 5*t - g for v.
-3
Let n(h) = h**2 - 2*h + 9. Let s be n(4). Solve 0*z + s = 2*x - 5*z, -x - z - 9 = 0 for x.
-4
Let j be (0 - 3)*1 - -7. Suppose 0 = y - j + 1. Solve 0 = d + z + 5, -y*z - 4 = -4*d + 4 for d.
-1
Let l be ((-7)/(-2))/((-2)/(-4)). Let v be (9/(-2))/(-1)*2. Suppose 7*x - 10 = 25. Solve -3*b = -n + l, -b = -x*n + v - 2 for n.
1
Let p(l) = -5*l + 2. Let m be p(-4). Suppose 0 = w + 3*t - m, 2*t - 8 - 16 = -2*w. Solve 0 = -4*v - h - w, 0 = v + 3*h + 1 + 9 for v.
-1
Let i(j) = j + 0*j - 3 + 0. Let m be i(10). Solve 2 - m = -w - 2*y, -4*w = -y + 25 for w.
-5
Suppose -4*l = -12, -5*l + 10*l = 4*z + 31. Let x be z/6 - (-2)/(-6). Let n be 4/2 - (1 + x). Solve m + n*c - 1 = 2, -2*c = -m - 13 for m.
-5
Suppose -14 = -n - 2*n + 4*i, -5*n - 3*i = -33. Suppose 0 = 4*o - x - 19, -n*o + 8 = -o + 4*x. Solve 3*q - 11 = -o*h, -2*q + 13 = -5*h - 2 for h.
-1
Let k = 30 - 25. Solve k = l - 0*l - 2*z, 5*l + 4*z = -45 for l.
-5
Let k(z) = z**2 - 3*z - 6. Let x be k(5). Let s(f) = -f**2 + 4*f + 12. Let a be s(6). Solve a = 3*n + 2*p - 11, x*p - 15 = 2*n - 1 for n.
1
Let o be -3*1*4/(-6). Let a(f) = -f - 3. Let j be a(-3). Suppose 8*w + 0*w = j. Solve -2*r = o*g + 4 + 8, w = -2*g - 4*r - 20 for g.
-2
Suppose -10 = -3*a + f, -f - 8 = a - 3*a. Solve 2*b = -2*z - 2, 0 = 3*b + a*b - 5*z - 35 for b.
3
Let f be (-152)/(-3) - (-4)/(-6). Let t(n) = n - 7. Let p be t(7). Suppose -q + 6*q - f = p. Solve 0 = s - 2*u - 2 - 8, 0 = -2*u - q for s.
0
Let i(t) = t + 5. Let q be 0/(6/(-5 - -2)). Let v be i(q). Suppose -v*n - 2*h + 4 = -0*h, 8 = -2*n + 4*h. Solve n = -4*p + 4*z - 16, z + 2 = -p - 0*p for p.
-3
Suppose 3*p = -6, -3*l + 2*p + 4 = -0. Let z be (-5 - (-130)/25) + (-9)/(-5). Solve z*a = -5*y - 2 + 7, a + 5*y = l for a.
5
Let p(i) = i**2 + 11*i - 10. Let b be p(1). Solve -a = 4*f + 17, b*a = -f + 4*f + 21 for f.
-5
Suppose 3 = -2*b + 5*b. Let o be 5 + (0 - 3) + b. Solve 4*g - 21 = o*c, -4*c = c + 5*g for c.
-3
Let m be (0 - (-11 + -7 + 3)) + -1. Solve 2*z - m + 7 = 3*j, -5*z = -j - 24 for z.
5
Suppose f - 45 = 4*f. Let i = -15 - f. Solve i*s + 34 = -3*g + 5*s, -4*g + 13 = 5*s for g.
-3
Suppose 5*w - 4*n - 28 = 0, 0*w - 10 = -5*w - 5*n. Solve 0 = -d + 2*d + 3*j - 4, -5*d = -w*j + 18 for d.
-2
Let g(s) = s + 9. Let j be g(-7). Let v be -2 - -1*(3 + 1). Let q = v + j. Solve 2*u = -2*z - q, 5*z - 4*u = -7*u - 16 for z.
-5
Let x(l) = -l**2 - 5*l - 5. Let f(j) = j**3 + 3*j**2 - 4. Let h be f(-3). Let i be x(h). Let t = i + 1. Solve g + 3*b + 7 = 0, -2*g - 5 = -3*b - t*b for g.
-4
Let v(a) = 11*a**2 - 9*a - 8. Let r be v(-1). Solve -r = -d - 4*b + 1, -21 = -3*d - 3*b for d.
5
Suppose -2 = 3*v - 4*v. Solve -2*r = 4*s - 2, 4*s = v*r - 5*r + 5 for s.
-1
Let i be 114/(-10) - (-8)/20. Let t = -8 - i. Solve o = 2*r - 2, -8 = 4*o - t*o - 4*r for o.
4
Suppose -5*p - 28 = -3*f, -p - p - 28 = 3*f. Let v be (-3)/4*(p + 4). Suppose 0 = v*u - 9. Solve -2 = -3*l - u*z + 7, 1 = l - z for l.
2
Suppose -3 + 7 = 2*y. Suppose -u = y*u. Solve 21 = 3*t - u*t + 3*z, 4*z - 24 = -2*t for t.
2
Let j = 28 - 10. Let t = j - 14. Solve 3*w - 21 = 4*g, -5*w + w - t*g = 0 for w.
3
Let h be 7 + 4/(-12)*3. Solve 0 = -5*f + 3*x + 37, f - 5*x - 31 = -h for f.
5
Let f be -9*(-3)/((-18)/(-8)). Let r = f - 8. Solve r*c - 2*b = 18, -4*c = 2*b - 1 - 21 for c.
5
Let l = -17 - -66. Let u be 798/l - (-4)/(-14). Solve -4*x = -u, m + m + 6 = 3*x for m.
3
Suppose -4*k = 3*p - 112, k + 2*p - 5*p = 13. Let h = 20 + -20. Suppose 0 = -h*f - f - y, 0 = 5*y + k. Solve 2*q + 7 = f*w, -2*w - q - 11 = -7*w for w.
3
Suppose -2*f + 3 - 1 = 0. Let q = f + 1. Solve 4*o + 0 = b + q, -4*b - 8 = 3*o for b.
-2
Let h(t) = t**3 - 8*t**2 + 11*t - 7. Let a be h(7). Solve 5*y - 4*q + a = 0, -2*y - q + 2 + 0 = 0 for y.
-1
Suppose 6*m = 11*m - 10. Solve -5*h + m*c - 22 = 0, -2 = c - 3 for h.
-4
Let t be 18/3 - (1 - -2). Let j be (-3 + 6)*1/3. Solve d = b - 1, -b - 2 = -t*d + j for d.
2
Let v be (9 + -12)*8/(-6). Suppose 5*q = 3*k + 40, k - 12 = -5*q + 8. Suppose q*i - 4 = 6. Solve -7*f + i*f - 32 = -3*s, v*f - s = -20 for f.
-4
Let v be (0 - 2/6)*(-2 - -2). Solve 4*b - 5*o = -v*o + 7, -2*o + 14 = 4*b for b.
3
Let t = -48 - -61. Solve -2*u - 5 = 3*n, 0*u - 5*n + t = -2*u for u.
-4
Let g = -8 + 6. Let b = g + 3. Solve -2*t - t + 2 = 4*x, -x = b for t.
2
Let d(c) be the second derivative of 1/3*c**3 + 1/2*c**2 + c + 1/6*c**4 - 1/10*c**5 + 0. Let j be d(-1). Solve -3*a - 3 = -2*n - 0, -5*n = j*a - 18 for a.
1
Let j = 43 - 93. Let f = -30 - j. Suppose -5*x + 28 = m, -2*x - 4*m + f + 2 = 0. Solve 3*i = 2*c - 0*i + 1, -2*c = x*i - 23 for c.
4
Let z be (50/(-4))/((-11)/22). Suppose -2 - 8 = -2*g. Solve -2*o + 3*o = u - 3, -g*u = -z for o.
2
Let g(f) = -2*f - 6. Let t be g(-4). Suppose 4*n - 1 = 3. Let v = t + n. Solve 2*z + v*l = -4 + 3, -5*z + 4 = l for z.
1
Let m be 2/(6/15) + -1. Let f be ((-15)/6)/((-2)/m). Solve -f = -5*j, -j + 1 = y + 2 for y.
-2
Let j(c) = 2*c**2 + 2*c - 1. Let m be j(1). Suppose -8 = d - m*d. Let w = -11 + 16. Solve -12 = w*l - 2*q, 4*q + 0 = d for l.
-2
Let i = 52 - 45. Solve -3*h - 35 = 5*g, -2*g + i + 10 = -5*h for g.
-4
Let w(q) be the first derivative of q**2 - 14*q - 1. Let b be w(11). Solve 0*v + 3*s + b = v, -3*v + 5*s = -16 for v.
2
Let g(k) be the third derivative of k**5/60 - k**4/6 - 5*k**3/3 - 8*k**2. Let a be g(6). Solve -z = y, 2*y = a*z + 3*y + 5 for z.
-5
Suppose 0 = -3*y - 0 - 3. Let q(r) be the first derivative of r**3 - r + 2. Let t be q(y). Solve o = -4*n - t*o + 27, 0 = -5*n + 3*o for n.
3
Suppose 2*x = -x + 12. Solve 0 = 4*i + 4*f - 4, x*i = i - f - 1 for i.
-1
Let w be 3/2 - 1/2. Let a be (-2 + 11 - w) + 0. Solve -a = 4*b + 4*n, 6*b - 2*b - 7 = -n for b.
3
Suppose -5*g = -0*g. Solve 2*z = 2*p - 2, g*z = -5*p - 5*z - 5 for p.
0
Suppose 5*m = -2*x + 5, -5*x - 2*m + 2 = -2*x. Solve x*k = -k - j, 0 = -5*k + 2*j for k.
0
Let k be (35/(-21))/((-5)/18). Solve -3*r + 0 = h + k, 4*h = 5*r + 27 for h.
3
Let n be (2/4*0)/(-1). Let y be 0 + n + -11 + 14. Let g = -1 - -1. Solve -5*j + 2*p + 23 = g, 5*j = -5*p + 27 + y for j.
5
Let j(z) = -13 + z**3 + 7*z**2 - z**2 + 13 - 9*z. Let r be j(-7). Solve -a = 4*a - 2*f + r, -5*a = -3*f + 16 for a.
-2
Let n(j) = 2*j**3 - 3*j**2 + 3*j - 2. Let c be n(2). Let a = c - 6. Suppose 0 = -a*x + x + 12. Solve x = 3*u - 3*d, -2*u + 5*u + 2*d = -13 for u.
-1
Let f(x) = x**3 - 13*x**2 + 2*x + 6. Let k be f(13). Solve 4*g = -4*o + g - k, 5*g + 10 = 2*o for o.
-5
Let v = 0 + 0. Let j = 14 - 10. Suppose 0 = r - 0*r - 4*l, -j*l = v. Solve -q + 4*t - 4 = -t, 4*t = r for q.
-4
Suppose 3*r = d - 73, 0*r = 2*r - 3*d + 51. Let y be r/(-16)*(-8)/(-6). Solve 0 = 3*m + y*m - 2*z - 14, 3*z = 2*m - 10 for m.
2
Suppose -2*k - 2 = -k. Let z be (k/5)/((-3)/90). Solve 0 = 2*h + 3*l - z, 3*h + 0 = 3*l + 3 for h.
3
Suppose 1 + 5 = 3*c. Suppose -5 = -3*u + c*u. Solve u*v + 5 + 5 = 0, 2*v + 14 = 5*f for f.
2
Suppose 0 = -2*l + 11 - 5. Solve -3*s = -3*p, l*s - 2*s - 5*p = -16 for s.
4
Suppose 0 = -2*q + 3*g + 8, -3*q + g = 2*q - 7. Solve 4*r + 5 = 5*h, -h + q + 0 = -r for h.
1
Let v be (0 + 3)*(76/12 + -3). Solve v = o - 0*x + 3*x, -o - x = 0 for o.
-5
Let o be (0 - 2) + 0/1. Let g be (-2)/(o + (1 - 0)). Solve 8 = -4*r, g*y + 4*r = -r - 4 for y.
3
Let a = 7 + -4. Suppose a*o - 4*o = 6. Let l be (-20)/(-6)*(-9)/o. Solve l*v - m = -13, -2*m + 8 - 3 = -3*v for v.
-3
Let u(w) = -w - 1. Let n be u(-3). Suppose -n*l + 103 = 5*q - l, -q + 32 = 4*l. Solve -2*g = 5*r + 2*g - q, 0 = -2*g for r.
4
Let m(g) = g**3 + g**2 + 17. Let w be m(0). Let r = -12 + w. Let p = 0 + 0. Solve z = -0*z + v + 5, p = r*z - 4*v - 22 for z.
2
Let u be (-4)/18*3*-9. Solve s = x - u, 2*x = -x + 3 for s.
-5
Suppose -3*u + 3*v - 9 = 0, u - 3*u + 4*v - 14 = 0. Let f be u + 1 + (-5 - -5). Solve f*l = i - 5*i - 2, 6 = 2*l for i.
-2
Suppose -4*q - 33 = -9*q - o, -2*o - 18 = -4*q. Let u(x) = -q - 3*x + x**2 - x + 1. Let v 