r o.
-2
Let u(f) = 19*f. Let i be u(1). Suppose -2*d + 8 = -0*d. Solve 0 = 3*q + 2*a + 18, 2*a - a + i = -d*q for q.
-4
Let y(a) = -2*a + 23. Let c be y(10). Solve 2 + 16 = -2*l - 4*b, c*b = l - 11 for l.
-1
Let s(l) = -2*l**3 - 1. Let d be s(-1). Solve 0 = -2*k + 3*a - d, -5*k - 2*a - 3*a + 10 = 0 for k.
1
Let t be ((-1)/2)/((-1)/10). Let q = -79 - -83. Solve 0 = m - 3*h - t, -m + 1 = -q*h - 4 for m.
5
Let i(k) be the second derivative of -k**3/3 - k**2 - 10*k. Let f be i(-3). Solve -f*a + 3*o = 20, -5*o = -3*a - 14 - 12 for a.
-2
Let m = -1 - 0. Let j = m + 12. Solve -w + j = -4*u, 2*u - 4*w = -w + 7 for u.
-4
Let i = 7 + 0. Let t be -2 - (-15)/(-9)*3. Let p = 10 + t. Solve -p*y - 5 - i = -3*s, -s - 2*y = -7 for s.
5
Suppose -3*m = -c - 7, 5*c + 0 = 3*m - 11. Let x(a) = -a + 3. Let b be x(-7). Let d be ((-12)/b)/(4/(-10)). Solve d = 5*w - 5*u - 7, 4*w = -2*u + m for w.
1
Let p(c) = -c**2 - c - 2. Let y be p(-3). Let x = y + 11. Suppose u - 5 + x = 0. Solve 3*z + 3 = 3*d, 2*z + u*d = z - 4 for z.
-2
Let p = -2 + 6. Suppose 0 = x + i - 6*i - 25, 36 = 4*x - p*i. Suppose -6*h + 25 = -h. Solve -3*z + x*d = 5, 0 = -h*z + z - d - 22 for z.
-5
Let w be (-4)/(-22) - (-251)/11. Solve 5*t = -h - 3*h - 17, 3*t + w = 4*h for h.
2
Suppose -j + 3*j + 18 = 0. Let f = j - -13. Solve 2*t + 3*x = -1, -2*x - 5 = f*t + x for t.
-2
Suppose -4 - 4 = -2*a. Solve 0 = -4*d - 4, a*g - 13 = d + 4*d for g.
2
Suppose 8 = -5*h + 33. Suppose -5*f + 10*f + h = 0. Let d = f + 12. Solve 5*p + 5*k = 40, -5*k = -4*p - 2*k + d for p.
5
Let t(p) = -p**2 + 9*p + 5*p + 1 - 5 - 5*p. Let u be t(8). Suppose 3*b - 5*b = 2*l - 10, 4*l = u*b - 4. Solve -11 = 2*o + 4*f + 1, -b*o - f = 13 for o.
-4
Let n(w) = -8*w**3 - 2*w**2 + 1. Let y be n(-1). Suppose -y*p = -3*p - 12. Suppose -5*q + 12 = -p. Solve -5*f = b - 1, -b - 3*b + 4 = -q*f for f.
0
Suppose 0 = 4*j - 3*j - 8. Let u be j/3*(-3)/(-2). Solve -23 = 3*f - 5*p, -4*p = 3*f - 17 + u for f.
-1
Let w be 22/4 + (-6)/12. Solve -7 = -w*l - 3*f, 2*l + 3*f = -2*f - 1 for l.
2
Let d be (1/(-2))/((-13)/208). Suppose -d*r - 3 = -9*r. Solve -n - r = -0*q + 4*q, 0 = q + 2*n + 6 for q.
0
Let j(s) = -3*s**2 + s**2 - 3*s + 3*s**2 - 6 + 13*s. Let d = 1 + -12. Let l be j(d). Solve 4*w - 4*g + 3 - 11 = 0, 0 = 5*w + l*g - 20 for w.
3
Suppose 0*d + 20 = 3*q + 4*d, 0 = -q - 5*d + 25. Suppose q = -2*w - 3*w + 90. Solve 5*h + w = -2*o, 3*h = -2*o - 0*o - 14 for h.
-2
Suppose -9*m + 3*m = -18. Solve 21 = -0*r + m*r + 4*j, j = 5*r - 12 for r.
3
Suppose -11*l = -7*l. Let f = 13 + -8. Solve x - 2*x + 5*i + 5 = 0, l = -2*x + 5*i + f for x.
0
Suppose -w + 8 = -0*m - 2*m, -5*w + 19 = -3*m. Let r be 0 - m*2/3. Let t = 13 + 2. Solve -4*s + 4*i = -3 + t, 4*s + r*i = 0 for s.
-1
Suppose -8 = -4*t + 4*i, 2*i - i = 3*t - 2. Solve t = 3*o - o - 4, a - 4*o + 5 = 0 for a.
3
Let d(r) = -r - 3. Let j be d(-6). Solve 2*z = -2*g + 12, g - 2*g + 16 = j*z for g.
1
Let p = 19 + -17. Solve 21 = 3*j + 3*m, 0 = -j + p*m - 0 + 1 for j.
5
Suppose -3*s + 2*c + 18 = -8, 3*s = -c + 41. Solve -3*j = 3*b + 18, 4*b + 3*j - 2*j = -s for b.
-2
Let c(s) = -s**2 - 8*s - 5. Let t be c(-7). Let h = -2 - 0. Let z be (h/5)/(t/(-20)). Solve z*r = 2*x - 6, x + x - 5*r = 9 for x.
-3
Let i(v) = 4*v**2 + 2*v + 3*v - v - 2*v + 1. Let r be i(-1). Solve -2*j = 2*y - 8, -r*y + 6*j - 3*j + 18 = 0 for y.
5
Let k be (8/18)/(26/117). Solve -k*h = 5*q + 31, -4*q = -3*h + h + 14 for q.
-5
Let t be (-4 - 0)*(-1)/2. Suppose 2*m + 21 = -m. Let u = m - -16. Solve -5*q + o + u = 2*o, -5 = -t*q + o for q.
2
Let q be 4/(-6)*(-9)/3. Suppose q*u - r - 3 = 0, 2*r - 19 = -5*u - 7. Solve 0*k - 3*k = 3*w, -5 = -u*k - 3*w for k.
-5
Let t(z) = -4*z - 1. Let w be t(-1). Solve 4*u = -w*f + 20, -f = -u - 3*f + 5 for u.
5
Let d be -4 + ((-6)/(-15) - 1)*-10. Solve -3*x - 5*c - 16 = 0, -9 = d*x - 0*x + 3*c for x.
3
Let a be (-2 - (1 + 16))/(-1). Let l = 22 - a. Solve -x + l*f - 5 = -13, -x - 10 = 3*f for x.
-1
Let b(t) = -6. Let s(i) = -i - 30. Let r(u) = -11*b(u) + 2*s(u). Let w be r(-7). Solve 5*p + 6 = q - w, 2*q = -2*p - 8 for q.
1
Suppose 3*c + 9 = 3*k, -2*c + 12 + 7 = 3*k. Solve 0 = 3*t - 2*y + 17, -5*t - k*y + 3*y - 7 = 0 for t.
-3
Let p = 29 + -19. Let r(c) = c**3 + 16*c**2 - c - 2. Let v be r(-16). Solve 5*f - a - p = 4*a, -5*f = a + v for f.
-2
Let g be 4/(8/(-30)) + 1. Let h(n) = -n + 6. Let t be h(g). Solve -2*m - 2 = 3*r - 3, -m = -5*r - t for r.
-3
Suppose -7*c = -2*c - 20. Suppose 1 = -4*s + 29. Let b = s - 6. Solve -k - 3*u = c - b, -5*k - 4 = 4*u for k.
0
Let c(q) = q**2 + 9*q - 6. Let z be c(-9). Let s be 1 + -4 - z - 1. Solve -s = -5*j + 8, -j = -5*d - 7 for d.
-1
Let g = -25 + 57. Solve p - 5*w - g + 2 = 0, 0 = -3*p + 3*w + 30 for p.
5
Suppose 5*h = -4*t - 8, -2 = -4*t - 2*h + 2. Solve -2*l + t*l = 0, 5*n - l = 0 for n.
0
Let s(c) = -c**3 - 7*c**2 + 8*c + 4. Let d(f) = -f**3 + f - 2. Let x be d(2). Let a be s(x). Solve 6*v = h + v - 17, 0 = 4*h - 2*v + a for h.
-3
Let l be 98 - (-4 - (-3 + 1)). Suppose -l = t - 6*t. Solve 5*m = t, 3*v = -m - 2*m for v.
-4
Suppose 0 = 2*a - 13 - 3. Solve j - 5*b - a = -28, -b + 25 = 4*j for j.
5
Let a = -4 + 6. Suppose -a*x = -n + 16, 4*n = n + 4*x + 40. Solve -2*r + j = 0, 4*r + n = 5*j + 2 for r.
1
Suppose w = 3*w - 6. Let n(p) = 3*p - 10. Suppose 5 = 3*f - 10. Let x be n(f). Solve -4 = 2*y + 3*b, w*y - b = -0*y + x for y.
1
Let c = 12 - 11. Solve 2 = 5*f + 3*k + 21, -f - 2*k = c for f.
-5
Suppose 5*j - 2*j = h + 7, -3*j = -9. Suppose 0*b + h*b = -2. Let x be 17/4 + b/4. Solve 3*q = 5*f - 24, -x*f + 2*q + 15 = -f for f.
3
Let y be 8/5 - 2/(-5). Let m(u) = -u**2 + 15*u - 10. Let h be m(14). Solve 16 = 2*p - h*o, 0 - y = -p - o for p.
4
Let n(r) = r**2 + 8*r. Let a be n(-8). Solve -f - 1 + a = 0, -5*f = -z for z.
-5
Let i(z) = 7*z**2. Let f be i(1). Let c(s) = -s**2 + 9*s - 15. Let x be c(5). Solve -x*b = v - 0*v - f, 0 = -4*v - b - 10 for v.
-3
Suppose -2*d = 3*d - 100. Suppose 9*u - 4*u = d. Solve 0 = -u*s - 3*q - 0 - 8, -5*q + 6 = -3*s for s.
-2
Let c be 3 - ((-2)/(-6))/(19/171). Solve 11 = 4*u + 5*t, -5*u - 4*t + 6 + 1 = c for u.
-1
Let b(k) = k**3 + 5*k**2 + 4. Let f be b(-5). Suppose -3*c + 16 = -c. Suppose -c = -4*t + 24. Solve -q + 11 + t = 5*i, 12 = f*i for q.
4
Suppose 2*w = 7*w + 30. Let j = 8 + w. Solve 30 = 2*z - j*q + 7*q, -5*z = -3*q - 13 for z.
5
Let m(u) = -u**2 + 10*u + 11. Let n be m(9). Suppose -3*q = -n - 10. Suppose g + 4*g = q. Solve 0*h + g*j + 6 = 4*h, 4*j = -12 for h.
0
Let s be ((-16)/4 + 0)*-2. Solve -2*u - s = 2*w, 4*u = 2*u - 3*w - 13 for u.
1
Suppose 84*p = 85*p - 4. Solve -3*t = -p*v + 28, 3*v = t - 4*t for v.
4
Let o = -5 + 9. Suppose -o*f = f. Solve 7 + 5 = -3*c, f = -3*p - 5*c - 20 for p.
0
Let y(o) = -o**3 - 7*o**2 - 1. Let p be y(-7). Let w = p - -1. Let z be 3*(w + 5/3). Solve 0 = 2*i - 4*c + 2, z*i + 5*c + 3 = -32 for i.
-5
Let k be -16*(-52)/32*2. Let j = k - 36. Solve 0*z + j = 3*u - 4*z, -4*z = -u + 8 for u.
4
Let l = 0 - 2. Let o be (l + 1)*(3 + -8). Solve -i - o*w - 29 = 0, -w - 3 = -3*i + 2*w for i.
-4
Let q be 4/6 - 10/(-3). Suppose -59 - 16 = -4*d + 3*v, 5*d = -5*v + 85. Solve 4*p - 14 = -s, -s + q*p - d = -0*s for s.
-2
Suppose -z - 3*z = 0. Let j = 5 + z. Solve 5*n - 15 = 3*n + 3*b, j = n - b for n.
0
Let u = 26 + -13. Suppose -3 = -4*w + u. Solve 0 = t - 1 - w, 0 = 3*x + t + 7 for x.
-4
Let b(f) be the second derivative of -1/6*f**3 + 0 + 3*f - f**2. Let j be b(-2). Solve j = 3*m - 3*w + 12, 0 = 5*m - 0*w - 2*w + 11 for m.
-1
Suppose -4 + 0 = -2*p. Let y be ((-20)/6)/(-3 - (-183)/63). Solve -p*i = -7*i - 5*w - y, 1 = -4*i + 5*w for i.
-4
Let s(m) = -m**2. Let n be s(-2). Let q be (10/n)/1*-2. Solve 12 = 5*h - 5*z - 3, 7 = q*h - z for h.
1
Let d(a) = 0 + 3*a + 1 + 0. Let m be d(1). Solve -4*q + 4*b + 12 = 0, -m*b - 28 = 4*q - 0*q for q.
-2
Let d = -5 - -9. Suppose -5*k + 1 = -d. Let j(t) = t + 8. Let n be j(-4). Solve n*i + k = -3*h, -h - 8 = -i + h for i.
2
Let c = 28 - 13. Let k be ((-18)/c)/(2/10). Let l = -3 - k. Solve -3*x + 15 = l*d, -3*d + 19 = 4*x + x for d.
3
Let r(f) = -f**3 - 6*f**2 + 6*f - 3. Let j be r(-7). Solve -3*v = q + 3, -3*v - v = -j*q + 4 for v.
-1
Let i = 4 - -6. Let o be 28/i - 2/(-10). Solve -2*m - 4*g = 2*m + 20, m = g + o for m.
-1
Let r be (-2)/(-10) + 38/10. Suppose 0 = -r*s - 20, -3*y + 4*s + 24 = -y. 