4
Let x(u) = 3*u**2 + 1. Let o be x(-2). Let t be (3 + -3)/(-2) - 4. Let j = t - -7. Solve j*q + r - o = 0, -5*q = -5*r + r - 16 for q.
4
Let k be -1 + 0 + -1 - -3. Let r be k - (-9 + (0 - 2)). Let g be 34/r - 2/(-12). Solve -g*f + s + 6 = 2, s = 2*f - 1 for f.
3
Suppose -2*d = -4*d - 2. Let j be d + (-1)/(1 + -2). Suppose j = -3*t + 4*t - 5. Solve r = 3*s - 2, -2 - 8 = t*r + 2*s for r.
-2
Suppose -m + 9 = 4. Suppose 4*t + 5*d + 3 = 0, 13 = -3*t + m*d + 37. Solve t*n - 2*g = 7, -n - 4*g + 9 = -6*g for n.
-1
Suppose 4*p + 8 = -3*k, k = 5*p - 3*p + 14. Solve 2*i = k*h + 12, -h - 6 + 2 = -i for i.
2
Suppose -3*t = -0*t - 12. Let m = t + -3. Solve -p = -r - 0*p - m, -2*r - 6 = -p for r.
-5
Let f(s) = -s**3 - 6*s**2 + s + 5. Suppose 5*g + 9 + 21 = 0. Let b be f(g). Let j be (-2)/b + (1 - -1). Solve 2*x + 9 = o, 1 = -j*o + x + 23 for o.
5
Let l = 5 - 3. Let s(b) = b**2 + 3*b - 5. Let y be s(-4). Let w be (-1 - -1)*(-1)/y. Solve -2*v - 3*q - 3 - l = w, 30 = 4*v - 2*q for v.
5
Suppose 0 = 2*i + 3*i. Solve -5*y - 25 = i, -2*d - 3*y = -y + 4 for d.
3
Let q be 17/5 + 4/(-10). Solve u + 3 = i, -i - q*i = 3*u - 12 for i.
3
Suppose 2*w - 10 = 2*n, -n - 4 = 3*n. Solve -o = -2*o + 5*a - 10, 0 = -w*o - a + 23 for o.
5
Let z be (-4 + -1 + 3)/(-2). Solve -2*w + 30 = 5*s, 4*s + 2*w = 5*w + z for s.
4
Let u = 6 - 5. Let m be (6/3 + -2)/u. Solve m = 5*o - 3*q + 12, -4*o = q - 5 + 18 for o.
-3
Suppose -21*n = -12*n - 18. Solve 6 = n*v + j, -1 = -3*v + 2*j - 6 for v.
1
Suppose 3*k + k = 2*k. Suppose 0 = 3*w - 6*w - 171. Let b = -28 - w. Solve z - 3*z + 4*s = 2, k = 5*z + 2*s + b for z.
-5
Let l = -28 - -36. Solve 4*u = -f - l, f + 2 = u + 4 for f.
0
Let v be 11 - (0/2 - -1). Suppose 4*k = -k + v. Solve 4*t + 4*s + 4 = 0, -5 = -3*s - k*s for t.
-2
Let x be 2/(-1) - (-4 + 0). Let f(l) = -l - 4. Let d be f(-5). Let g = d - -5. Solve 0 = 4*h + x*s - 20, -2*h + 3*s + 4 = -g for h.
5
Let u be 0 + -68 + -7 + 7. Let d be 1/(-2 + u/(-32)). Solve 3*b - 2*b = 4*g - 13, g = 5*b + d for b.
-1
Suppose -k + 0*k + 19 = 0. Suppose -3*w - 3*v + 21 = 0, 0*v + v - k = -5*w. Suppose -6*t = -77 - 43. Solve 10 = -5*l + p, 0 = -8*l + w*l - 5*p + t for l.
-1
Suppose 0 = -0*i + i - 4. Solve -z + 24 = -i*j, -1 + 13 = -4*j - 2*z for j.
-5
Suppose 4*a + 8 = 4*f, 2*a + 2 = 4. Suppose 4*p - 3*c = 1, p + 11 = f*p - 5*c. Let o be p + 3/(6/20). Solve -5*m - d + o + 2 = 0, 3*d - 13 = 2*m for m.
1
Let g(r) be the third derivative of r**5/60 + r**4/6 + 7*r**3/6 + r**2. Let l be g(-5). Solve 5*u + 5*p = -40, -2*u + 5*p - l = 6*p for u.
-4
Let y = 17 + -15. Solve z = 4*r - 20, y*z + 15 = 3*r + z for r.
5
Suppose -4*y + 49 = 4*s + 17, 4 = -y + 3*s. Solve 4 + 4 = -4*d + 4*q, 2*d = -y*q + 3 for d.
-1
Suppose q = -4*g - 22, 0*q = -4*q - 2*g - 60. Let u be -1 - (2 + q/2). Solve -5*t - 5*b = -2*t + 19, 2*t = -u*b - 16 for t.
2
Suppose 5*g = -0*g - 5. Let m = -1 - g. Solve -4*l = 16, -f + m*f - 3*l = 17 for f.
-5
Suppose 2*v - 7*v = 15. Let o(r) = -r**3 - 3*r**2 + 2*r + 3. Let q be o(v). Let f be (0/q)/(-2)*-1. Solve -3*b + n = -8*b + 14, f = -5*n - 5 for b.
3
Let l(t) = t**2 + 3*t - 7. Let g be l(-5). Suppose 2*y + g*y = 0. Suppose y*z = -2*z + 6. Solve -z = -2*d - 3*r, -2*d + 6 = -d - 3*r for d.
3
Let f(h) be the first derivative of h**4/4 + 14*h**3/3 + 13*h**2/2 + 5*h + 7. Let d be f(-13). Solve -4*y = d*x + 7 - 16, 4*y = 3*x - 31 for y.
-4
Let a = 71 - 53. Solve 0 = -2*f - 0*f - 2, 3*u + 3*f = -a for u.
-5
Suppose -r + 19 = 4. Solve -5*b - r = 3*n, 3*n = 3*b - b - 15 for n.
-5
Let r = -32 - -36. Solve 0 = 5*b - p + 20, -7*b + 3*b - r*p = 16 for b.
-4
Let s be 1 + 5 - (-2 - -3). Suppose -3*y + 23 = -13. Solve 4*b - n + 2 = -0, 0 = -2*b - s*n - y for b.
-1
Let d = 89 - 85. Solve 4*q + 4*s = 4, 0*s + d = -4*s for q.
2
Let y(a) be the second derivative of -a**4/12 - 4*a**3/3 + 5*a**2/2 - 3*a. Let r be y(-8). Solve -v - 23 = -4*z, 2*z - 18 = v - r for v.
-3
Suppose 4 = 4*v - 4. Solve -d + 4*w + 2 = 0, -5*w + 1 = -v*d - d for d.
-2
Suppose h + 3 = -5*n - 19, -n = h + 2. Suppose 4*d + 24 = h*w, d = -w - 2*w + 9. Solve 0 = 3*x + s - 4*s + 12, -8 = 2*x + w*s for x.
-4
Let n = -20 - -23. Solve 0 = -d + n*x + 4 + 6, 5*d - 17 = 4*x for d.
1
Suppose 0 = 3*v + s - 47, -3*s - 18 = -v - s. Let c be 3/(4/v + 0). Solve 0 = 3*g - c, -6 = -2*w + w - 2*g for w.
-2
Let i(z) = 2*z**2 + 10*z + 8. Let m = -12 + 6. Let l be i(m). Solve 0 = -3*t + 5*y + l, 5*y - 3*y + 8 = 0 for t.
0
Suppose 0 = -2*t + 8 - 0. Suppose t + 4 = 4*p. Solve v + p*v = -w - 11, 0 = w + 4*v + 14 for w.
-2
Let n(h) = h**3 - 5*h**2 + 5*h - 5. Let s be n(4). Let v be s/4 + 84/16. Suppose -3 = j - v. Solve j*f + 3 = f - u, -u + 1 = 5*f for f.
1
Suppose 5*x - 4*p - 1 - 49 = 0, 0 = 2*x + p - 7. Solve 4*w + 5*h = 3, 2*w = -w - h - x for w.
-3
Let t be ((-28)/(-1))/((-8)/(-20)). Suppose -t = -5*f - 0*f. Solve -4*w + f = 2*m, 4*m = -3*w + 7*w + 16 for w.
1
Suppose 0 = -4*m - 0*w + 2*w + 18, 5*m = w + 24. Solve -15 = -3*u, 5*v + 4*u = m*u - 5 for v.
0
Let z be (-810)/(-35) - 9 - 2/14. Let k(v) = v**3 + v. Let w be k(0). Suppose 10 - 4 = 3*d. Solve -i + 10 = -w*i - 3*p, 3*i + z = -d*p for i.
-2
Suppose -r - 32 = -3*r. Suppose -r + 7 = n + 4*z, 3*n = -4*z + 5. Let g = -2 + n. Solve -5*s + 11 - 41 = 4*f, -g*f - 2*s = 29 for f.
-5
Let v(s) = s**3 - 5*s**2 + 2*s + 12. Let p be v(4). Solve p*q - 5*q - k + 1 = 0, 0 = 5*q - 3*k + 35 for q.
-4
Suppose -5*z + 8 + 27 = 0. Let c be 3/(-1 + (-1 - -1)). Let q = c - -8. Solve -f - z = 2*f - 5*j, q*j = -5 for f.
-4
Let v be 6/10 + (-14)/((-140)/54). Solve 7 = -3*l - b, -v - 8 = 5*l + 4*b for l.
-2
Let h = -3 + 8. Suppose 0 = -0*z - h*z. Let m be z/(-1) + -3 + 14. Solve v + 25 = 6*v, m = 2*g + 3*v for g.
-2
Let r(a) = -a**2 + 1. Let k be r(1). Let d be 1*3*(k + 2). Let i be (-13)/(-5) + d/15. Solve -3*h - b = -2*b - 8, i*h = 4*b + 5 for h.
3
Let o(j) be the second derivative of -j**4/12 + 7*j**3/6 + 3*j**2/2 - 7*j. Let u be o(7). Solve -4*f = u*t - 16, t - 3*t - 12 = -3*f for f.
4
Suppose -h + 0*h = -3*z + 4, 0 = -4*h + 2*z - 16. Let f = h - -6. Let i = 11 - 7. Solve -3*q + i*a = f*q + 12, 3*q = a - 10 for q.
-4
Suppose -16 = -5*u + u + 5*s, -5*s = -2*u + 8. Solve -k + u*k + 32 = 4*l, 2*k + 4*l - 12 = 0 for k.
-4
Let u be (-3)/(-3) + (-2)/(-2). Suppose u*d + 8 = -2, 4*x + 4*d - 44 = 0. Solve 4*h - x = 5*m, 3*m = 3*h + 2*h - 7 for h.
-1
Let b(i) = -5*i**2 - 7 + i**3 + 2 - 5*i + 0 + 1. Let p be b(6). Solve 5*a - 3*v = 13, p*a = -3*a - v + 29 for a.
5
Suppose 15 = m + 4*f, -m - 2*f + 1 = -8. Suppose 2*i = i + 11. Solve z - t + m*t = -i, 5*t = -z - 26 for z.
-1
Let q be -1 + 0 - 2 - -1. Let c = -12 - -4. Let i be ((-1)/q)/((-1)/c). Solve 0*w - 4 = i*w - 2*g, 0 = 4*w - 5*g + 16 for w.
1
Let p be (18/(-4))/3*(-98)/21. Solve -3*t - k - 19 = k, -k = -4*t - p for t.
-3
Let c = -12 + 14. Suppose 0 = 2*l - 4*p - 28, -l + c*p + p + 19 = 0. Solve 0*a = -2*a - 4*m - 8, -a - 3*m - l = 0 for a.
-4
Let h(l) = 4*l**2 + 1. Let z be h(1). Solve 4*a + 0*a = -2*k, -z*k = -4*a - 14 for k.
2
Let m = 5 + -5. Suppose 4*q + 4*t + m*t = 32, -2 = 2*q - 4*t. Suppose -q*f - 6 = -26. Solve 4*o = -2*d - 2 - 2, -5*o = f*d + 2 for d.
2
Let i = 9 - 3. Suppose d = -d + i. Solve -w = d*q - 2*w + 9, -2*q = -w + 7 for q.
-2
Let h(i) = -i**3 - 6*i**2 - 6*i - 3. Let l be h(-5). Solve -b = l*b, 0 = 2*x + 4*b - 2 for x.
1
Let i = -4 - -3. Let d be ((-1)/i)/(5/15). Solve b + 12 = 2*l, d*l + 2*b - 23 = 6*b for l.
5
Suppose -4*f + 17 - 5 = 0. Let r = 25 + -7. Solve -5*q - v = -3*v - r, -10 = -f*q + v for q.
2
Let k = -4 + 6. Suppose 0 = -5*n + 5*q + 10, -k*n + 3 = -4*q + 5. Suppose -57 - 19 = -4*f + 4*j, 4*j + 53 = 3*f. Solve h - f = 5*h - n*g, 11 = -4*h + g for h.
-2
Suppose 3*o + 2*i = 5*o, -3*i = -15. Suppose 0 = o*l - 9 - 6. Let b be ((-1)/3)/(1/(-9)). Solve -l + 0 = b*a, -2*r = -4*a - 6 for r.
1
Suppose -4*o + 24 = 3*p, -o - 4*p + 28 = 3*o. Solve -o*k + 10 = y, 0 = 3*k - 7*k - 2*y + 16 for k.
2
Suppose 4*m + g = 18, 0 = -0*m - 2*m - 5*g. Suppose 10 = m*i - 10. Solve 7*z + 2 = -2*p + i*z, 2*z + 8 = 0 for p.
5
Let q(l) = 27*l**3 - 2*l**2 - l + 2. Let b be q(1). Solve 3*t + 4 = 5*s + 30, 0 = 5*t - 4*s - b for t.
2
Let f(y) = y**3 + 9*y**2 + 5*y + 3. Let z(i) = -i**2 - i - 1. Let d(r) = f(r) + 5*z(r). Let v be d(-3). Let s = 10 - v. Solve 4*g = -4, s*j + 2 = -g + 4 for j.
1
Le