*b - m. Solve b = -5*v - 13, -2 = -3*d + v for d.
-1
Let q(t) = t + 3. Let m(s) = -s**3 - 9*s**2 - 8*s - 3. Let o be -2*5 - (-1 + -1). Let z be m(o). Let n be q(z). Solve 0 = 2*p + y, 4*p = -n*p - 5*y for p.
0
Let p(v) = 7*v - 1. Let g be p(2). Suppose 2*h + 9 - 3 = 4*y, -4*y = 5*h - g. Suppose 2*k - 7*k = -25. Solve k*b = 5*t + 25, y*t + 3*b + 3 = -2*b for t.
-4
Suppose 8 = 4*q, -3*q + 0*q + 14 = 4*m. Let o be 111/21 - (-2)/(-7). Solve -12 = o*d - k, d - m = -3*k + 2 for d.
-2
Let x(v) = -v - 2. Let u(i) = -4*i - 8. Let o(m) = 2*u(m) - 9*x(m). Let f be o(4). Suppose 2*b = -f + 14. Solve 2*g - 3*g - 7 = -3*n, -b*g = 3*n - 32 for n.
4
Let n be (-56)/(-20) - (-16)/(-20). Solve 2*v + t - 1 = n, 0 = 5*v + t - 3 for v.
0
Let s(n) = -n**3 + n + 22. Let i be s(0). Let u be (1 + 3/(-6))*i. Solve -u = m + 2*f, -2*m + 2*f - 3 = -11 for m.
-1
Let m be 105/7 + (-2)/(-1). Suppose 5*x - m = -2. Solve 11 = -t + x*j - 0, 0 = -4*t - j - 5 for t.
-2
Let j(n) = n**2 - 10*n + 3. Let l be j(10). Solve -3*g + 5*b + 27 = 0, -l*g - 5 = -2*g + 3*b for g.
4
Suppose 8*a - 18 = 5*a. Solve a*f - 5*y = 5*f - 6, -14 = -4*f + y for f.
4
Let q = -1 + 4. Let n be 270/36 - (-6)/(-4). Solve q*c + n = -c - 3*s, 5*c = s - 17 for c.
-3
Let c be 0/(-2 - 0/2). Solve -3*l + 29 = 4*d - c, 8 = 4*d - 4*l for d.
5
Let v be (-4 - -8)/2 - 0. Suppose -1 - v = -h. Let k be 2*3*(-1 + 2). Solve h*g + 2*c + 2 - 4 = 0, 3*g + 3*c = k for g.
-2
Let y = 28 + -32. Let n be (-4)/((2/133)/(-1)). Let z be n/6 - y/6. Solve -4*g - 16 = 0, 0*g = -5*x - 5*g - z for x.
-5
Let q(b) = -5*b - 9. Let r be q(-8). Suppose -3*n - 3*t = -n + 6, r = 5*n - 4*t. Solve -10 = 2*d, -s + n*d + 25 = -6*s for s.
-2
Suppose -s = -q + 1 - 9, -2*q = -2. Let j = -5 + s. Solve 2*c - 5*c = 0, -5*c - j = -x for x.
4
Suppose 0 = 3*o - o - 16. Suppose 0 = o*i - 5*i - 15. Solve -3*d = -3*t - t - 23, 3*d = i*t + 28 for t.
-5
Suppose b = -3*b + 20. Solve -23 = 4*s - 4*f - 7, 22 = -3*s + b*f for s.
1
Let y be 3 - (2 + 3/(-3)). Let s be (0 - (-10)/y) + -1. Solve -5*z - s*u - 45 = 0, 0*z + z + 20 = -3*u for z.
-5
Suppose 6*u - 20 = u. Let p = -2 - -5. Solve -4*l = -4*m + 32, 3*l - u*m + 8*m = -p for l.
-5
Suppose 3 = t + 1. Suppose v + v = -a + 9, -t*v - 3*a = -7. Solve -3*x - x = -v*c + 24, 0 = -3*c + 5*x + 17 for c.
4
Suppose 0 = -2*a + 4 + 12. Solve a = -m - 2*r - 0*r, -3 = -4*m - r for m.
2
Suppose -5*p + 6 = -2*p. Suppose 7*v - 55 = 22. Suppose -5*o = 2 - 7. Solve 3*h = p*m - v, -7 = -2*m + 2*h + o for m.
1
Let g = 34 + -14. Suppose 0 = 24*h - 19*h - g. Solve 0*l + 4*r = -h*l - 12, -2*l = -r + 12 for l.
-5
Suppose -2*u - 9 = 3*p, -5*u + p - 2*p = -10. Let b be (1 - 8/(-2))/1. Solve -j = -3, u*x - 2*j = -b*j - 3 for x.
-4
Suppose -2*d + 10 = -4*d + 4*v, 4*d - 4*v = -8. Let h = d - -15. Solve -2*w - h = 4*x, -x + 0 = -5*w - 7 for w.
-2
Let w(l) = -1. Let u(i) = i - 1. Let f(a) = -2*u(a) + w(a). Let o be f(1). Let n(s) = s + 1. Let j be n(o). Solve 2*m = -p - 5, -25 = 5*p - m - j*m for p.
-5
Let t be (-2)/(-2) - (-2 - 0). Let r be (-43)/(-3) + (-3)/9. Suppose -t*u + u = -r. Solve 5*v - 2*d = 9, -5 - u = -5*v + d for v.
3
Let z = -2 - -1. Let i be (-15)/((-3)/z) - -2. Let c(u) = u**3 + 2*u**2 - 4*u - 1. Let k be c(i). Solve -2*j - 5*s + 8 = 0, -1 + 9 = k*j - 2*s for j.
4
Let x(b) = b**2 - 3*b - 6. Let g be x(5). Suppose -y + 12 = 2*y. Suppose y*h = 9 + 3. Solve 5 = -3*o + i + 24, -h*o + g*i = -31 for o.
5
Suppose -3*a = -4*a. Let r(t) = 4*t**2 + t. Let z be r(-2). Suppose 3*d - z - 25 = 0. Solve 4*k + 3*y - 4*y + d = a, -y - 11 = 2*k for k.
-4
Let x be (-10)/6*300/(-125). Solve -4*f = y - 21, x*f = 7*f - 12 for y.
5
Let c be (-14)/(-4) + (-1)/2. Let r(o) = o + 1. Let s(d) = -7*d + 1. Let t(u) = 6*r(u) + s(u). Let n be t(c). Solve -17 = -4*h + q - 6, n*q - 16 = h for h.
4
Let w(k) = -3*k + 3. Let z be w(-3). Suppose r = -2*r + z. Suppose -10 = -9*o + r*o. Solve -6 = -5*v - b, -v - o*v = 5*b - 8 for v.
1
Suppose q = -j + 4*q + 16, -4*j = 4*q. Suppose -3 + 11 = -4*g. Let f = 5 + g. Solve -2 = -f*n - k, -n = -j*k + k - 14 for n.
2
Let p(u) = u**3 + 4*u**2 + 2*u - 1. Let k be p(-2). Let r be 15/k*12/15. Solve r*w + 0*c = -c - 19, 24 = -5*w - c for w.
-5
Let b be (1 + 1 + -2)/(-2). Suppose 2 = g - b*g. Solve -3*z = 2*o + 17, 6 = 4*o - g*z - 0*z for o.
-1
Let i(c) be the second derivative of 1/12*c**4 - c**3 + 3*c**2 + 0 - c. Let t be i(7). Solve 0 = 3*y + b - t, -4*y + 21 - 2 = 3*b for y.
4
Let d be (-1 - 2)/(-1) - 15. Let m be (8/d)/((-2)/9). Solve -r + m*h = -13 + 3, 4*r + 35 = -3*h for r.
-5
Let j(f) = -f**3 + 8*f**2 - 6*f - 4. Let z be j(7). Solve 3 = -4*n + c, 9 = 2*n + z*c - 0 for n.
0
Suppose -4*u - 5*y + 70 = 0, -u + 2*y + 0*y = -11. Solve 4*j + j - 13 = -3*a, 3*j = u for a.
-4
Let j be (-1 + -4)/(10 - 11). Suppose 0 = -r + 4*r. Suppose 2*b + r*b = 0. Solve b = -3*d + 2*w - 6*w, -2*d - j = w for d.
-4
Let q(i) = i**2 - 4*i - 1. Let z be q(5). Solve -2*n - z*y - 19 + 47 = 0, 3*y - 7 = 2*n for n.
4
Let k(p) = p**2 - 3*p - 1. Let n be k(4). Solve -n*g + 0 = -2*j - 14, -3*j - 19 = -4*g for j.
-1
Let v be (-2)/(2*(-4)/36)*1. Solve -2*x + 15 + 11 = 4*m, -3*x + v = 0 for m.
5
Let c be (0 - (-4)/12)*12. Suppose 5*m - c*m - 2 = 0. Solve v + 0*k = -2*k, k - m = 0 for v.
-4
Let y be (5 + -5)/(-2 - -1). Solve -4*g - 4 = -5*j, y = -7*j + 2*j - 3*g + 32 for j.
4
Let i(b) = -b**3 + 2*b**2 + 5*b - 3. Let d be i(3). Suppose 2 = n - 2*r - 4, -d*r = 4*n - 57. Solve -n = 4*c, -m + 2 = -2*c - 7 for m.
3
Suppose 2*h = 7*h - 50. Let y be 186/h - (-4)/10. Suppose -3*d - 1 = -0*w + 2*w, 3*d - y = 2*w. Solve 0*l - d*l - 8 = -c, -2*c + 14 = -5*l for l.
-2
Suppose i = -2*i + 9. Let v(u) = -u**3 - 5*u**2 - u. Let b be v(-5). Suppose b = 3*t + 2*t. Solve t = -d + 6, -3*m + i*d = 0 for m.
5
Suppose -4*q = -2*q - 4. Let h(p) = p**2 - 2*p - 1. Let d be h(-1). Let l = d + -2. Solve i + l - 2 = s, -2*i = q*s for i.
1
Let y = 7 - 11. Let x = y - -6. Suppose -3*f + 20 = x*f. Solve 0 = -f*m + 4*b + 28, -3*m + 4*b + 0*b + 23 = 0 for m.
5
Let c be ((-40)/5)/2 - -6. Solve -4*g + 2*h = 12, -g - c*h = -4*h for g.
-4
Suppose m - 12 - 2 = 3*z, 136 = 4*m + 4*z. Solve 0 = 3*o - 15, 6 = 5*w + 2*o - m for w.
5
Suppose 12*j = 8*j + 12. Solve w = 0, -j*w = i + w + 4 for i.
-4
Let t = 16 - 11. Solve -2*k + 0*a + a - 13 = 0, 0 = -5*k - 5*a + t for k.
-4
Let k be 9 + 2/((-6)/3). Let u = k + -9. Let r = u + 5. Solve -3*c + r*g = 0, -3*c - 2*g + 3*g = 0 for c.
0
Let b = 50 - 50. Solve 0 = 3*z + p + 15, b = -3*p + 4*p for z.
-5
Let n(r) = 8*r - 38. Let a be n(6). Solve -34 = -5*v + 4*l - 6, -4*v + a = 3*l for v.
4
Let i be 5/((-165)/6) - (-455)/143. Solve 5*g = i*d - 22, 0*g + 18 = -3*d - 3*g for d.
-1
Let t = -4 - -8. Solve k + 5*j = -24, 0*k - k = t*j + 20 for k.
-4
Let o(w) = -3*w + 32. Let a be o(10). Solve -2*z - t - 1 = 2, -3*z = a*t + 7 for z.
1
Let h(p) be the third derivative of -p**6/120 - p**5/10 + 7*p**4/24 + p**3/3 + 2*p**2. Let q be h(-7). Solve -2*j = 2*x + 2*x - 6, -5*x + 7 = q*j for x.
1
Let p = 27 + 3. Let x = -63 + p. Let m be 10/35 - x/7. Solve -z - 17 = 2*z + m*d, d + 3 = -z for z.
1
Suppose -2 = -z + 2. Let t = 18 - 10. Let o = t + -4. Solve -k + 1 = 0, -z*k + 21 = -o*r - 3*k for r.
-5
Let m = 109 + -107. Solve -u + 2*c = 5, -m*u - 2*c + 11 = c for u.
1
Let u(n) = n**3 + 5*n**2 + 5*n + 6. Let m be u(-4). Suppose m*j = 5*j. Solve -2*g = -4*c + g + 11, 4*g - 12 = j for c.
5
Let b(i) = 2*i**3 - i**2 + i - 2. Let n be b(2). Solve -2*w - 2*p = -6, w + 3*w - 4*p = n for w.
3
Let m(o) = 2*o - 3. Let d be m(2). Solve -g + 2 = -4*y + d, 0 = 4*y - 3*g - 5 for y.
-1
Let c = 1 - -4. Suppose 2*k = -4*l + 22, 4*k = -c*l + 26 + 6. Suppose -140 = -q - l*q. Solve -q = 5*w + 4*m, -5*m + 3*m = -5*w - 16 for w.
-4
Let n(l) = l**3 + l**2 - l + 1. Let q be n(1). Suppose 5*h - 3*i = q*h + 18, 5*i - 5 = -2*h. Solve -m + 9 = h*s + m, -9 = 2*s + 5*m for s.
3
Let c(z) = -z**2 - z. Suppose 0 = -5*f + 5*p, -3*f = -7*f + 3*p. Let w be c(f). Solve a - 3 = -2*j - w*a, -2*j + 5*a - 3 = 0 for j.
1
Suppose 6*c + 4*c = c. Solve 0 = k + 4*k - 4*p - 37, -k - p + 2 = c for k.
5
Let w(j) = -2*j - 4. Suppose 0 - 11 = s + 2*f, 17 = -3*s - 2*f. Let m be w(s). Suppose -m*l = -4 - 8. Solve -l = -2*q + 4*u, -q - 3*u + 1 - 3 = 0 for q.
1
Let v be (3 + 12/(-4))/(-2). Solve 0 = x + 2*b, 2 + v = 2*b for x.
-2
Let v