 q = 2*l + 2, 2*r + 0 = -l + 3 for r.
2
Suppose 4*u = 4*m + 28, -2*u + 4*m + 24 = -0*u. Solve 4*z + u*q = -12, -2*q - 6 = 2*z + 3*q for z.
-3
Let s(a) be the first derivative of -a**4/4 + 8*a**3/3 - 3*a**2 - 3*a - 2. Let v be s(7). Solve 0 = 4*g - v*w, 2*w - 4*w + 8 = 2*g for g.
2
Let z = 8 + -5. Suppose -i = z*i - 16. Solve 4*w = -12, 1 = -2*n - i*w + 3*w for n.
1
Suppose 0*j - 10 = -4*j + 5*t, -5*j + 19 = -3*t. Suppose -20 + 5 = -j*r. Solve -1 = -4*x - 3*g, 0 + 6 = r*x - 3*g for x.
1
Let h(z) = z + 6. Let b be h(-3). Solve p + w + 12 = -2*p, -30 = b*p - 5*w for p.
-5
Let h = -3 - -5. Suppose 0 = -h*w + 10 + 10. Solve -3*n - 5 = -4*n - 3*t, -w = -3*n - 4*t for n.
2
Let v be ((-2)/(-6))/((-1)/(-3)). Let x = 3 - v. Let h(g) = g**2 - 2*g + 3. Let i be h(x). Solve 4*p - 8*p + 1 = 3*r, 3 = i*p for r.
-1
Suppose 3*l - n - 39 = 0, -5*n - 56 + 5 = -3*l. Suppose -2*m - m + l = -3*j, -4*m = j - 21. Solve 0 = -2*w - 3*i + m, w + 2*i = -3*i - 1 for w.
4
Let u be (-2 + (-21)/(-6))*2. Suppose u*k - 2*d = 1, 9 + 5 = -2*k + 5*d. Solve -k*b - 10 = -v + 2*v, b + 6 = v for b.
-4
Suppose -l + 1 = -0*l + 3*x, -x = 4*l - 15. Suppose 14 = l*y - 6, 4*g = -y + 97. Solve -2*k - 2*f = 10, -4*k + 3*f = -3 + g for k.
-5
Suppose -8 = -5*a - 43. Let t be a/(-3) + 5/(-15). Let z(f) = 3*f - 2. Let o be z(t). Solve -7 = i + 5*n, -4*n = -2*i + 10 + o for i.
3
Suppose -75 = 2*b + b. Let v = b + 28. Solve -5*u - v = 4*k, 2*u = 3*k - 4*k for u.
1
Suppose -4*y = -2*y. Suppose 0 = 4*c - 4 + 24. Let i(z) = -3*z - 4. Let g be i(c). Solve -3*u + 4*p + g = 0, y = 2*u - 5*p - 0*p - 12 for u.
1
Suppose -3*u - u + 80 = 0. Suppose 5*d = d + u. Solve -5*q + d*j = 40, -3*j + 0*j - 16 = 5*q for q.
-5
Let t be (-4 + 3)/(3/(-6)). Solve -3*z = 4*a + 2*z - 19, 0 = 2*a - t*z + 4 for a.
1
Let c(x) = 8*x**2. Let s be c(-1). Let o be (-44)/6 - s/12. Let q be 6/o*(-1 + -3). Solve -4*h + 23 = -q*g, -4*g - g - 15 = -2*h for g.
-1
Let d be -4 - -6 - 6 - -4. Suppose -f + 9 = -d. Solve -5*l = -8*m + 3*m, 0 = 2*m - 5*l - f for m.
-3
Suppose 5*b - 3 - 7 = 0. Solve -3*l + 15 = -j, -8 + 22 = -2*j + b*l for j.
-3
Suppose -3*o + 171 = 3*a, 5*o + a + 121 = 390. Solve -4*d - o = 5*y - 12, 0 = 2*d + y + 13 for d.
-4
Let o(w) = w**3 - 3*w + 2. Let j be o(-2). Let q be 3*1/(3/4). Let b be q/2 + (0 - j). Solve -b*f - 3 = 5*t, -2*t - 1 = f + t for f.
-4
Let x(l) be the second derivative of -l**5/20 - 2*l**4/3 - l**3/6 - l**2 + 4*l. Let d be x(-8). Solve -d*q = 4*w - q - 32, -4 = -q for w.
3
Let n be (-8)/10 - (-234)/30. Solve 0 = -v + 6*v + 5, 5*u + 3*v - n = 0 for u.
2
Let s = -29 + 21. Let c be s/4*(-2)/4. Suppose -3*t + t = -x + 13, t = -3*x + 4. Solve c = n - d - 3, 5*n = -x*d + 20 for n.
4
Let r(x) be the second derivative of x**4/12 - x**3/3 + 5*x. Let m be r(3). Solve 0 = 4*u - t - 1, -4*u - 3*t - 6 + m = 0 for u.
0
Let v be 4/2*1 - 5. Let n be 4/(-6) + (-14)/v. Solve -13 = t + n*u, -u = -0 + 2 for t.
-5
Suppose -2*o + 4*o + 5*v = 16, 4*o - 20 = -4*v. Solve 4*c - 4*i = i - 20, 12 = -3*c + o*i for c.
0
Let a be 4 + -4 - (2 + -4). Suppose 4*j - 18 = -2*w - w, -w + 5*j - 13 = 0. Solve 1 + w = -y - a*g, -3*y + 2*g - 9 = 0 for y.
-3
Suppose -m + 29 = -0*m - 3*u, 4*u + 48 = 2*m. Suppose 0 = 5*a - 96 - 79. Solve 2*g - 5*g - 5*b = a, -m = 2*g + b for g.
-5
Let f(v) = v**2 + 3*v - 6. Let g(t) = 4*t**3 - t**2 - t - 1. Let m be g(-1). Let p be f(m). Solve -5*j - 3*x - 3 = 0, p*j + 0*j - x = -16 for j.
-3
Suppose w = 2*w - 3. Solve o + 4 = 3*r, -w*r + 5*o = -4*r + 12 for r.
2
Let n = 8 + -5. Solve n*m + 18 = -3*l - m, 4*l + 23 = -5*m for l.
-2
Let c be ((-18)/15)/((-1)/5). Let k = c - 4. Solve -2*j - u + 14 = 3, j - k*u = -7 for j.
3
Let i(w) = -w**2 + 4*w + 1. Let y(g) = -6*g. Let t be y(-3). Let n be 58/t + (-8)/36. Let q be i(n). Solve -4*z + 12 = q*x, -4*z = -0*z for x.
3
Suppose -5*r + 32 = -6*r. Let i be r/(3/((-6)/4)). Solve 0 = -h - h - 2*t - i, -7 = 2*h - t for h.
-5
Let q = -14 + 24. Solve 2*r + 2*c + q = 0, -3*c - 1 = -r - 2*c for r.
-2
Suppose 4*l + 25 = 3*p, 2*l - 6 = -5*p + 1. Solve -2*x - 5 = -h, 0 = -2*h - 1 + p for x.
-2
Let b be 2/3*(1 - -2). Suppose -5*a = -b*a - 54. Let t be -1 - a/(1 - 4). Solve -f + q = 3*q + t, 5 = -f + 2*q for f.
-5
Let u(i) be the second derivative of -i**2 + 1/6*i**3 + 0 + 3*i. Let o be u(6). Solve -o*f - 24 = -4*g, 4*f + 5 + 20 = 5*g for f.
-5
Suppose -r - 8 = 3*m - 20, 5*m + 3*r - 16 = 0. Suppose 2*l = -m*v + 22 + 2, v = -3*l + 10. Solve -l*p + 9 = p + q, 2*q + 6 = 0 for p.
4
Let d be 6*(5/(-2) + 1). Let h(f) = 3*f**3 - 8*f**2 - 7*f**3 + 3*f**3 + 10*f + 0 + 13. Let z be h(d). Solve 0 = -4*x + z*t, 0*x - 5*x - 5*t - 30 = 0 for x.
-3
Suppose -2*b = -4, 0*u - 4*u + 26 = b. Let w(p) = -p**2 + 7*p + 2. Let s be w(u). Solve 3*d - 8 = -o + 7*d, 5*o = -4*d - s for o.
0
Suppose 7*l + 22 = 18*l. Solve 0 = 5*m - 2*k - 12 + 1, -3*k = -l*m + 11 for m.
1
Suppose -d = -5*v + 7 + 11, -5*v + 2*d = -21. Solve -4*r = 0, -3*r + 0*r + 12 = v*c for c.
4
Let i be (-6)/8*(-21 + -7). Solve b + 3*b + 2*r - 6 = 0, -i = b + 5*r for b.
4
Suppose 4*a = 4*s + 4, -5*a - 2*s = -6*s - 4. Suppose r + 2*c = -1 - a, 5*c + 25 = 5*r. Solve 4*j - 3 = -4*i + 1, -r*j + 15 = -i for i.
-3
Let f = 31 - 29. Solve d = f*h - 4, 0*h + 2*h + 2*d = -2 for h.
1
Suppose -15 = -3*w - 2*w. Suppose -w*f = -0*f. Solve 4*b = -4, f*q - q - 2 = -2*b for q.
-4
Suppose -3*u = -2*j + 21, 5*j + 3*u = u + 5. Solve 4*y = -j*v - 20, 2*v = v + y - 2 for v.
-4
Suppose -3*t + 14 = 4*t. Solve 0 = -2*r + 4, 0 = -3*h - t*h + 2*r - 4 for h.
0
Suppose -z + 2*z = 21. Solve 4*s - 4*p = -0*s + 24, z = 5*s + 4*p for s.
5
Let r be 32/6 + (-4)/(-6). Solve -7*l + r = -3*l + b, l - 5 = -2*b for l.
1
Suppose -7*n = -9*n + 10. Solve 0 = -4*c + 2*u - 18, u + 8 = -n*c - 11 for c.
-4
Suppose -3*g - 2 = -8. Solve 10 = -h + 5*y, -4*h + y + 15 + g = 0 for h.
5
Let j be 1/(1*2/8). Suppose -5*v + 15 = 0, 0 = -5*c - 0*c + 2*v + 79. Suppose -c = -h + g - 4*g, -h = j*g - 22. Solve -n + h*r = -3, n + n - r = 0 for n.
-1
Let w = 0 + 2. Let a be -1*(-3)/w*2. Solve -4*r = -5*o + 27, 5*r + 14 = a*o - 10 for r.
-3
Let x(f) = -f**2 - 4*f + 4. Let q be x(-4). Suppose 17 - 5 = q*w. Solve w*u = -y + 4, -5*u + 2 = y - 2 for u.
0
Let s(i) = -i + 4. Let q be -2 + -1 + 2 + 5. Let r be s(q). Let l = 133 + -108. Solve 4*h + r*z = z + 5, 2*h = 5*z + l for h.
0
Let g = 68 - 43. Let t = 11 + -6. Solve 0*b + 3*b + t*a + g = 0, 0 = 4*b + 5*a + 25 for b.
0
Suppose 4*c - 4 = -0*c, 4*c + 10 = f. Let i = -10 + f. Solve -5*k - 5*h - 5 = 0, 5*k = i*k + 2*h + 11 for k.
3
Let a(d) = -d**2 - 8*d - 5. Let t be a(-7). Solve 5*l = -4*m + 25, -2*l - 21 = t*l - 5*m for l.
1
Let u be (-12)/18 + 76/6. Solve 3*b = -5*z + 13 - 0, 0 = 4*z + 2*b - u for z.
5
Suppose 6*r + 35 = 13*r. Solve 0*y = y, 10 = -2*b - r*y for b.
-5
Suppose 8*h - 31 = 1. Solve 4*m - 5*d - 17 = 3*m, 0 = h*m - 4*d - 4 for m.
-3
Suppose -s + 9 = 3. Let t = -4 + s. Solve 0 = -4*u - t*d - 3 + 11, 5*u + 2*d = 8 for u.
0
Let v(f) be the third derivative of f**5/60 + f**4/6 - f**3/3 + f**2. Let m be v(-6). Suppose 5 = 2*t - 5. Solve -2*k = 5*o - t*k + 2, 3*k = o + m for o.
2
Let s be (2/(-4))/((-2)/4). Let v(r) = 3*r + 1. Let k be v(s). Solve 2*o + 10 = -2*x - 4, -4*x - k = -4*o for x.
-4
Let q = 3 - 3. Suppose -5*y + q*y = -5. Let j be ((-6)/8)/(y/(-8)). Solve -j = -3*s - 3*g + 18, 2*s + 4*g = 26 for s.
3
Let t(m) = m + 11. Suppose c = -0*c - 5. Let b(j) = j**2 + 7*j + 2. Let p be b(c). Let q be t(p). Solve -q*g - 5*z = 10, 2*z = -2*g - z - 7 for g.
-5
Let b = 18 - 7. Let c be (2 - b)/(-1) + 3. Solve -2*d + c = 3*r - 10, d = 2*r - 3 for d.
5
Suppose 0 = 5*o + 4*u - 8 + 3, -2*u = 10. Solve 0 = -5*p, 0 = -5*r + o*p - 3*p for r.
0
Suppose 0 = -3*q + 25 + 14. Suppose 3*m - 1 = -x, -5*x + 5 = -3*m + 5*m. Solve m*a + a - 3*w + q = 0, -11 = -a - 5*w for a.
-4
Let s be -1 + (5 - (-2)/(-2)). Let n = 61 - 43. Solve n = 4*y - 5*r, 3*y - s*r = -4*r + 4 for y.
2
Let v be (-175)/(-5) + 0 + 0. Suppose -4*p + 21 = 3*s - v, -37 = -s - 5*p. Solve -2*z - s = -5*q - 3*z, q + 4*z = -9 for q.
3
Suppose 4*p + 0*p - 8 = 0. Solve -p*n - n = -3*s - 24, 0 = -s + 5*n - 24 for s.
-4
Suppose 0*d = -d + 4. Suppose 3*s - x - 13 = -0*x, -d*s + 4 = -4*x. Solve 2*i = -4*o + s, -i = 3*o - 0 - 6 for o.
3
Let f(v) = 6*v + 6. Let y be f(-1). Solve y*z = z + l - 4, 3*z = 2*l + 17 f