3)/6)/((-2)/(-12)). Let k = 0 - c. Solve k*t - 4*r + w = 0, 8*t = 3*t - r + 10 for t.
1
Suppose 0 = x - 5, -5*m - 4*x + 134 = -2*m. Suppose -3*g + m = -g. Solve 2*p + 0*r = -5*r - g, -3*p + 3 = -3*r for p.
-2
Let h(c) = -c**2 - 6*c + 7. Let u be h(-7). Suppose -3*y + 9 = -u*y. Solve -4*d - 27 = y*a, 2*d + 4*a - a = -21 for d.
-3
Let z(m) = m + 7. Let x be z(-3). Suppose -4*q + 0 = -x, -3*t + 4*q = -2. Solve t = s + r, 4*s = -s + 4*r - 17 for s.
-1
Let n = 9 - 15. Let l(p) = -1 + p**2 + 5*p - 1 + 0 - 2. Let y be l(n). Solve -3*g = 3*z + 5 - 17, y*z + g - 4 = 0 for z.
0
Suppose -2*h - 5 = -3*h. Solve -5*u - 30 = -h*c, -5*c + 3*u + 18 = 2*u for c.
3
Suppose -5*n = -2*n + 3. Let c(g) = 4*g**2 + 2*g + 1. Let h be c(n). Solve m + 20 = -h*m, 5*b = 5*m + 10 for b.
-3
Let b(l) = l**2 - 8*l + 9. Let q be b(7). Suppose 2*t + 3*t = -q*u + 28, -2*t + 8 = 0. Solve 2*r - u*g = 16, r = 4*g + 3 + 15 for r.
-2
Suppose s = -2*p + 18 + 10, 3*p = -3. Solve 5*q - 35 = w + w, -4*q + s = -2*w for q.
5
Suppose 4*u + 2*h - 6 = 0, 0 + 4 = -4*h. Let f(b) = b**3 + b**2 + b + 31. Let k be f(0). Solve -3*c = -4*p - k, 2*c + 2 = -u*p - p for p.
-4
Let f be 96/20 - (-4)/20. Solve -2*j - t - 9 = -2, -2*j - f*t = 19 for j.
-2
Let r = -38 + 60. Let k = r + -21. Solve 5*s = 2*n - 23, -4*n = -0*n + 5*s - k for n.
4
Suppose -2*v - 8 = 5*i - 32, 4*v = -5*i + 28. Suppose 2*m - v*s - s - 1 = 0, 4*m + 4*s - 32 = 0. Solve 5*t + m*g + 30 = 0, -3*t + 3*g - 7 = -1 for t.
-4
Suppose 0 = -5*x - o + 15, 3*o - 2 = -3*x + o. Solve h - x*c + 11 = 0, -h + 4*c = -2*h + 21 for h.
5
Let u be (-1)/((-3)/54) + -3. Suppose 0 = -0*b - 3*b + u. Let g be b - (-1 + -1 + 2). Solve 0 = g*d - 5*h + 25, -9 - 11 = d - 4*h for d.
0
Let l be 1/(4/12) + 0 + 0. Solve 3*f - 9 = 2*s, -f - l = -4*f for s.
-3
Suppose 3*a - 6*a = -9. Suppose -3*f = -12 - a. Solve -f = -5*z - 0*z, -5*z = -o for o.
5
Let q(n) = -3*n - 1. Let c be q(-6). Solve -3*z = -8*z - 2*o - 21, 3*z = o - c for z.
-5
Let t be 4*(-2 + 1 - -2). Suppose 4*w - 3*w = t. Solve -3*o + 5 + 7 = 2*n, 2*o = w*n - 8 for n.
3
Suppose 2*w = -q - 3*w - 5, 5*w - 5 = -3*q. Suppose -17 = -q*y + 8. Solve -3*f - y*x = -5, 0 = 5*f + 4*x + 8 - 25 for f.
5
Suppose 0*x + 3 = 3*x. Let d = x + -1. Let p(r) = -r. Let t be p(d). Solve 2*m = -5*k - 12, 2*m + 3*k + 8 = -t for m.
-1
Suppose -11*v = -0*v - 22. Solve o = -5*g - 26 - v, -g - 8 = o for g.
-5
Let b be 70/21 + 1/(-3). Solve 0*g = -3*g - v - b, -5*g = -2*v + 5 for g.
-1
Suppose 4*v + v - 15 = 0. Let f be v/(-6) + (-7)/(-2). Solve 20 = a + f*n + 2*n, 4*n - 16 = -3*a for a.
0
Suppose 4*w - 40 = 4*o, -4*w - o = -1 - 14. Suppose -u + 2*r = -5, 5*u - r = 11 + w. Solve -u*d + b = 7, 6*d = 5*d - 5*b - 29 for d.
-4
Let i(x) = -x**2 - 9*x + 2. Let n be i(-7). Solve 2*m - 2*f = n, -f - 18 = -2*m - 7 for m.
3
Let s(i) = 2*i - 12. Let h be s(8). Solve k + 15 = h*j, -7*j + 45 = 5*k - 3*j for k.
5
Let v = 39 - 19. Suppose 2*t + 2*t - v = 0. Solve t*c + 40 = 5*x, 4*c - 5*c - 5 = 0 for x.
3
Let b be (8/14)/((-4)/(-28)). Solve -4*m + b*r = -19 - 9, 5*m + 3*r - 3 = 0 for m.
3
Suppose 7*l - 30 = 2*l. Suppose 3*t = 2*f - l - 6, 0 = -4*f. Let d be (-1 - 2)/(-5 - t). Solve m - d*u + 4 = 0, -3*u + 12 + 2 = m for m.
5
Suppose h = 3*g - 16, 5*g + 6 = h + 30. Let i = -2 - h. Let z be 1 - (i/(-2) - 0). Solve 7 = -2*b - k, -2 = z*b - 4*k - 0 for b.
-3
Suppose 8*c = 9*c - 11. Solve 2*s - 3*m - m + 20 = 0, -5*s - c = 3*m for s.
-4
Let b(a) = -2 - a**2 + 18*a - 3 - 4*a. Let u be b(10). Let q be 2/2*3/1. Solve -u = -q*c + 5*m, m - 1 + 5 = 0 for c.
5
Let o be -12 - (-1 - (-1 + 3)). Let u = o - -15. Solve -2*s - u = -4*i, -s + 12 = -2*i + 3*s for i.
4
Suppose -3*l - 2*g + 0*g = -22, 0 = 5*g - 25. Solve 4*p = -l*x + 32, -2*p = -x - p for x.
4
Let p(k) be the third derivative of k**4/2 + k**3/3 - 3*k**2. Let z be (1 - 3) + (6 - 2). Let a be p(z). Solve 2*t - a = 4*o + o, 0 = -3*t + 4*o + 25 for t.
3
Let p(j) = 3*j + 18. Let v be p(-8). Let i = 0 - v. Solve -3*u - 5*m - i = 0, -u - 4*m - 4 = u for u.
-2
Let x(l) = -l**2 - 8*l - 1. Let a be x(-7). Let n = -4 + a. Let u be 25/n + (-15)/10. Solve 2*m = -d + u, 5*d - 2*m - 5 = 2 for d.
3
Let k(u) = u + 12. Let j be (2/3)/(4/(-6)). Let p = j + -6. Let c be k(p). Solve -c*f + f - 2*h = -18, -3*f - h + 11 = 0 for f.
2
Let l be 5*(18/24 + (-1)/(-4)). Solve l*f + 16 = 2*z, -z - 20 = z + 4*f for z.
-2
Suppose -4*s = -7*s. Solve -a - 4*i + 8 = s, a + i + 0 = 5 for a.
4
Suppose -2*m + 3*t - 2*t + 9 = 0, 0 = -m + 3*t + 17. Solve -m*a - 18 = 5*h, 2 = 2*a - 7*h + 2*h for a.
-4
Suppose -4*k = -3*j + 24, -8*j + 23 = -3*j - k. Solve u - 8 = -3*u - j*l, 2*u - 4*l = 22 for u.
5
Let v(t) = 3*t + 4*t + 7 - 2*t - 4*t. Let f be v(-4). Solve 5*b = -f*h - 3 + 4, -b = h + 1 for h.
-3
Let g = -2 - -3. Solve 2*j + 7 - g = -2*i, 3*j - 3*i - 9 = 0 for j.
0
Suppose -5*l + 12 + 13 = 0. Let m(p) = p**2 - 3*p - 5. Let q be m(l). Let n = 18 - 16. Solve n*y + 6 = -2*x, 0*y + 3 = -y - q*x for y.
-3
Suppose 16 = 2*r - 3*o, -6 = -5*r - o - 0. Solve 0 = -d - r*y + 3*y + 1, 8 = 3*d - 4*y for d.
-4
Suppose -5*c + c = 0. Suppose -4*a + 2*a = -10. Suppose 3*b - 77 = -a*v, -5*b + b - 20 = -v. Solve c = 2*t - 0*x + 5*x - v, 4*x = t + 18 for t.
-2
Let n be 1/(-4) + (-34)/(-8). Let s be (2/(-4))/((-2)/32). Suppose -3*b = -s*b. Solve 5 + b = 3*y - 4*a, n*a = -3*y - 11 for y.
-1
Let k(l) = -l - 6. Let o be k(-10). Let b(u) = 8*u - 2. Let m be b(-5). Let r be m/(-18) + o/6. Solve 0 = -3*q + r*p, 2*p - 32 = -3*q - 3*p for q.
4
Let d = 12 - 0. Suppose -q - d = -4*q. Let g(t) = 6*t - 2. Let c be g(q). Solve -1 = 2*m + 3*a, -a - 3*a + c = -2*m for m.
-5
Let s be (-1 + 7)/(-2 - -1). Let b(l) = -l**2 - 7*l - 2. Let n be b(s). Let h be 0 + (0 - (1 - 5)). Solve n*t = -2*r + 16, -3*t = -4*t + h*r - 14 for t.
2
Suppose 5 = y, 0 = -g + 2*g - 2*y + 10. Suppose m = -4*m + 20. Suppose -c - 2*l - l = 6, -4*c - m*l = 0. Solve 5*f + g*d = -2*d + 19, -15 = -3*f - c*d for f.
3
Suppose 0 = 4*g - 20 - 4. Suppose g*p - 2*p = 0. Solve p = -j + h - 4, 0*j - 3*j - 22 = -5*h for j.
1
Let q = -145 + 145. Let t = 12 + 13. Solve 6*h - h - 5*z - 45 = q, 5*z + t = 0 for h.
4
Let s(r) = -r**3 - 12*r**2 - r - 11. Let u be s(-12). Suppose -a = -2*h + 6, 2 + u = h + 2*a. Solve n = -5*b - 4 - 14, 15 = -h*b - 2*n for b.
-3
Let g = -48 + 79. Solve 5*l + 3*v + 5 = g, -4*l + 5*v + 6 = 0 for l.
4
Suppose -m = -2*q + 35, -2 = -0*m - 2*m. Suppose q = 5*t + t. Solve 2*n + u = -9, -u = t*n - 0*u + 13 for n.
-4
Suppose 0 = 24*m - 27*m + 6. Solve m*s + w + 3*w = 14, -3*w = -15 for s.
-3
Suppose 6*i - 2*i = 52. Solve 5*n + i = -f, 0 = -3*f - 3*n + n - 13 for f.
-3
Suppose 4*o - 4 = 2*o. Suppose -4 = -2*h + h. Suppose 80 = w + h*w. Solve -4*a + o*j - 24 = 0, w = 4*a - 3*j + 44 for a.
-4
Suppose 2*q - 5 = -q + 2*w, -4*w = -5*q + 5. Solve 3*n + i = q*i + 2, -2*n = -3*i - 1 for n.
2
Let a(y) = -1. Let t(q) = q**2 + 5*q - 4. Let k(z) = -4*a(z) - t(z). Let x be k(-6). Let j be (-2)/(1 + (-3)/x). Solve j*d = -2*v - 8, 0*v + 8 = -2*v - d for v.
-4
Let f be (-17)/4*-4 + 5. Solve 4*j + 1 = -5*d - f, 5*d + 5 = 5*j for d.
-3
Suppose -2*l = l - 27. Let c(n) = -n**3 + 10*n**2 - 9*n - 1. Let x be c(l). Let y be 2/(x/1)*-2. Solve t + y = -4*t - 2*p, -4*t = -5*p + 23 for t.
-2
Let z be 8/(-24) - 1*14/(-6). Solve 4*j - z*t = 1 + 5, 17 = 3*j - 4*t for j.
-1
Let i(a) = a - 2. Let c = 3 - -2. Let q be i(c). Solve 3*s - 14 = -2*x, 6*x - x = -q*s + 17 for s.
4
Let p = 1 - 22. Let n = p - -29. Suppose -5*k + 2 = -n, h = -4*k + 11. Solve a - 1 = h*u - 2*u, -a + 4 = -2*u for u.
-3
Suppose 0 = -5*u + 5 + 5. Solve u*h - 5*y = h - 23, -3*y = 2*h - 6 for h.
-3
Suppose 2*c - 5*i - 26 = 0, 2*i + 10 = 5*c - 13. Solve -d = -s - 1 - c, -5*d = 5 for s.
-5
Let h be (-16)/72 + 141/27. Solve 3*f = 4*c + 25, 0 = h*c - 0*f + f + 17 for c.
-4
Suppose -5*d - 7*w + 2*w = 5, -3*w - 17 = -4*d. Solve b - 4 = 4*v + 7, 0 = -2*b - d for v.
-3
Let l = 47 + -42. Solve l*n - 3 + 4 = j, -3*j + 4*n + 3 = 0 for j.
1
Let w = 9 - -2. Suppose -9 = -3*g - 21, -w = 5*q + 4*g. Solve -4*u + 2*b + b + q = 0, -3*u + 5 = 2*b for u.
1
Suppose -20 = 43*j - 44*j. Solve -5*o - 5*g = -0 - 20, -3*g + j = 5*o for o.
4
Let n be ((-2)/3)/(6/(-45)). Suppose -4*t + 5*g = 20, -4*g = 2*t + g - 20. Solve c - 5*b - 17 = 0, t = 4*c - c - n*b - 21 for c.
2
Let u(v) be the third deri