3*a - 5*t, 3*a - n = 3*t + 4 for a.
-1
Let y(k) be the first derivative of k**3/6 - 2*k + 1. Let o(f) be the first derivative of y(f). Let a be o(2). Solve -r = -6*r + 5*p - 30, -a*p + 10 = -r for r.
-2
Let n = -91 - -93. Solve -3*z = -6, n*d - z = -3*z + 12 for d.
4
Let h = -62 + 67. Solve -5*v = -h, 0 = 2*b + v - 4*v - 1 for b.
2
Let g be ((-32)/6)/((-46)/69). Solve -5*u - g = 7, 2*y + 12 = -2*u for y.
-3
Suppose 0 = -d + 6*d. Let w = 0 + d. Solve -2*v + 5*m = -6 - 1, w = -3*v + 3*m + 6 for v.
1
Let h(y) = -y**2 - 4*y + 10. Let t be h(-6). Let q be 5/(-10)*12/t. Solve q*j - 4*s = -0*j + 19, 2*j + 6 = -2*s for j.
1
Let v = -16 - 0. Let f be v/(-2 - -1) + -1. Let z = -40 - -45. Solve 0 = -4*q + 3*j + 8, -4*j + 4 - f = -z*q for q.
-1
Let m(a) = 2*a**2 - 2*a. Let o be m(2). Suppose 5*s = -10, 4*s + s + 10 = -v. Let n = v + o. Solve -z = -x + n*z + 12, -5*x - 2*z = -6 for x.
2
Let j = -3 - 35. Let n be j/(-9) + (-4)/18. Solve 6 = -n*v - 5*l, 0 = -2*v + l - 3 - 7 for v.
-4
Let x be 86/6 + 6/9. Suppose -4*w - x = -w. Let y(n) = -n**3 - 5*n**2 - n - 2. Let p be y(w). Solve p*s - 3*f + 2 = -7, 3*f = -4*s - 26 for s.
-5
Let b(w) = 3*w - 6. Let u be b(7). Solve -t = t - 3*d - 5, -t + u = -4*d for t.
-5
Let k = 20 - 40. Let q be (8/(-10))/(1/k). Suppose q = 5*n - 4. Solve 2*s - n*p + 2 = 0, -4 = s + 3*s - 2*p for s.
-1
Suppose 0*a + 4 = 2*a. Let p = a - 8. Let s = -3 - p. Solve -5*z + z + 4 = 0, -4*n - s*z = -23 for n.
5
Let m(l) = 4*l + 2. Let j be m(-1). Let s(p) = -2*p - 2. Let t be s(j). Solve -b + 4*f + 8 = 0, b = t*b + 3*f + 6 for b.
0
Suppose -h - 4*h + 25 = 0. Suppose h*q = 10, 0 + 2 = -2*j + 2*q. Solve 5*o + 2*t - 10 = o, o = -4*t - j for o.
3
Suppose -5*s + 1 + 79 = 0. Solve -3*i + v + 6 = s, -i - 3*v - 20 = 0 for i.
-5
Suppose -2*b = -v - 13, 4 - 36 = -4*b + 4*v. Suppose -u - b*j = -4*u + 26, 2*j + 8 = 0. Solve 6 = 2*z - 2*m, -z = u*z + 4*m + 26 for z.
-2
Let t = 17 + -12. Solve c - t = -2*n, -2*n - 2*c - c = -11 for n.
1
Let a be (-3 + -1)*(-5 - -1). Solve -3*l + 2*f = 6, f - a - 1 = 5*l for l.
-4
Suppose 7*l - 79 = 19. Solve 4*k = -3*v - 27, -3*k + v - l = 2*v for k.
-3
Let u be 5/(0 - 3 - -4). Solve -5*d - 3 - 2 = -4*n, -4*n - u = 5*d for n.
0
Let s(b) = b**2 - 6. Let q be s(-3). Solve -5*x - f - 3*f - 36 = 0, -3*f - 24 = q*x for x.
-4
Let s be (38/3)/((-4)/(-6)). Suppose 5*q - 1 - s = 0. Solve p - 16 = -3*n, -q*n - 3*p + 25 = 2*p for n.
5
Let m = 7 - 3. Suppose -r = r - m. Solve -2*j + 2 + 3 = i, -5*j - 1 = -r*i for i.
3
Let t(v) = v**3 - 6*v**2 - 8*v + 7. Let j be t(7). Suppose j*z - 2*r = z - 13, 4*r = 2*z - 42. Solve 0 = -2*p - 2*n + 8, n = 5*p + 3*n - z for p.
3
Let i(z) = z**2 - 4*z + 3. Let a be i(3). Suppose a = -3*j + 5*j + 2*v - 4, -j - 4*v = 4. Solve 5*c + j = -6, -d = -4*c - 9 for d.
1
Let s(h) = -h**3 + 9*h**2 - 8*h + 3. Let t be s(8). Solve t*i - 3*k = -8*k - 14, i = 5*k + 22 for i.
2
Let p be (-3)/((-3)/2 - -1). Suppose j = p*j - 25. Solve -j*x = 25, -3*b + 3*x - 4*x = 17 for b.
-4
Let j(h) be the first derivative of h**4/4 - h**3/3 + 7*h + 1. Let k be j(0). Solve 0 = 4*c - 2*g - 20, -2*c = -2*g - 21 + k for c.
3
Suppose 6 - 34 = -4*u. Let m be 2*2*(-18)/(-4). Solve 5*l - r = 6, 2*l - u*l - 2*r = -m for l.
2
Suppose -j - 7 = 2*p - 3, -5*j = p - 25. Suppose 15 = -j*x + 3*x. Let w(t) = t + 5. Let m be w(x). Solve m = -2*h - 2*q - q + 5, 15 = -3*h + 3*q for h.
-2
Suppose f = 16 - 14. Solve 5*j - 4*u = -3, -3*u - 2 = -4*j - f*u for j.
1
Let t(r) = 3*r + 5. Let j be t(0). Suppose -2*z - 15 = -73. Solve 2*d = 5*x + z, 0 = -j*x - d + 4*d - 31 for x.
-5
Let d = -18 - -21. Solve 0*u = -u - 4, d*u + 27 = -3*p for p.
-5
Let k = -2 - -5. Suppose 5*g = 4*u - 22, -2*u - 4*g + 48 = 3*u. Suppose -6*q = -2*q - u. Solve -o - k*a - 12 = 0, q*a + 3 = -5 for o.
0
Let m be ((-36)/(-3))/4*1. Let z be 2 + -1 + 1 + 2. Solve t = 3*x - 10, x + z*x + m*t - 40 = 0 for x.
5
Suppose 1 = o - 0. Solve 0 = -3*b - 6, -4*y - 4*b = 27 + o for y.
-5
Let j = 8 + -3. Let m = j + -5. Let o be 0 + -1*(-18 + 1). Solve 2*q + m*p = 4*p + 20, -3*p - o = -2*q for q.
4
Let t be (-14)/(-2) + (-4)/2. Suppose c - 4*i - 8 = 0, t*c + 0*i - 57 = 3*i. Suppose -3 - c = -5*z. Solve -d = -m - z + 4, -4*m - 2*d = 2 for m.
0
Let r(d) = -d**2 - 2*d + 2. Let y be r(-2). Suppose -6 = -c - y*c. Suppose 0 = c*l + l - 12. Solve 2*v + l = -4*t - 0, 5*v - 4*t = -10 for v.
-2
Let z be 21/3*((-76)/28 - -3). Suppose 4*c + 21 = p, 3*c - 4*p - 2 + 8 = 0. Let k be ((-4)/c)/(4/18). Solve -3*d - z = 2*r, k*d = -d - 2*r for d.
2
Suppose -2*z = 4*g, -8 = g + 3*z + 2. Suppose -5*h + 3*h = -22. Let q(s) = -s**3 - 2*s - 1. Let k be q(-1). Solve 3*l + h = j, l + g*j = 4*j - k for l.
-4
Let i be (-9 + 4)*4/(-5). Solve i*z = -2*k - 22, 3 + 2 = -5*z + 2*k for z.
-3
Suppose -5*u + 4 = -11. Solve -o = -5*t + 6, 1 = 6*o - u*o + 4*t for o.
-1
Let w(y) = 7*y - 2. Let p be w(1). Solve 9 = -3*m + 3*u, -4*m - p*u = -7 + 1 for m.
-1
Suppose -5*g + 20 = 2*x, -2*g = -0*g - 4*x + 16. Suppose i + 2*t + 8 = 0, -3*i - 4*t - 11 = 13. Let b = 11 + i. Solve -b*f + f - m + 3 = 0, g*f + 2 = 4*m for f.
1
Let a(j) = j - 3. Suppose 5*u = -h - 17, 3*u = -0*h - 2*h + 1. Let m be a(h). Solve 0 = -m*z - 4*f - 9 + 30, 0 = -5*z + 2*f + 27 for z.
5
Let k(f) = -f**3 - 11*f**2 - 20*f - 14. Let c be k(-9). Solve c = 2*n - 2*g - g, g + 24 = -5*n for n.
-4
Let w be -1 - -1 - (-15)/3. Let r be (-9)/12 + 2/(-8). Let i = w + r. Solve 2*j + 6*s - 4 = i*s, 2*s + 24 = 5*j for j.
4
Suppose c = -0 + 5. Suppose 0 = -5*q - 0*q + 3*r + 39, 4*r = 8. Suppose 0 = 2*t + 2*a, -4*t - 4*a + 24 = -6*a. Solve t*v - u + q = 2, c = -2*v - u for v.
-2
Let d be 40/(-6)*3/(-2). Suppose -s - 4*s = n + d, -s = 4*n - 17. Let y = 3 + n. Solve -g + 2*m = y, g + 5*m - 13 = -0*m for g.
-2
Let j(k) = -k**2 - 6*k + 10. Let p be j(-7). Suppose -5*q = 20, -5*x - p*q = 3 - 16. Solve 0 = 2*b + 4*h + 13 - x, -4*h - 8 = -5*b for b.
0
Let f = -18 - -27. Solve s - f = -5*r, 0*r - 5*r = 5*s - 5 for s.
-1
Let b be (1 - (-12)/(-8))*-10. Solve 4*v = -4*t, 5*t - b*v = -v - 18 for t.
-2
Let j = 5 + -5. Suppose j = a + 4*a - 75. Solve -3*q = 0, 2*i - a = -i + 4*q for i.
5
Let n(y) = -y**2 + y + 8. Let i be n(3). Solve -4*p + 6 = i*r - 0*p, 0 = -3*r + 5*p + 9 for r.
3
Let h = 72 + -51. Solve -2*z + 5*g + h = 2*z, -3*z + g = -13 for z.
4
Suppose -8 = 2*y - 4*h, 0*y - 5*h = -y - 16. Suppose 0 = -i + y*i - 84. Suppose -d - d = -i. Solve -4 = n + 3*u, 6*n - d = 3*n + 4*u for n.
2
Let t = 73 + -162. Let z be t/7 - (-6)/(-21). Let n = z + 24. Solve o = -5*w + 16, -5*w = -0*w - 4*o - n for w.
3
Let j be (15/(-10) - -1)*-6. Solve -j*i = 5*h - 15, -3*i + h - 6 = -h for i.
0
Let j(m) = -m**3 - 3*m**2 + 2*m + 3. Let d be j(-4). Solve 5*f = 2*q + 21, -d + 2 = -4*f - q for f.
3
Suppose -2*v - 8 = p, -2*v = -v + 5. Suppose -40 + 168 = -4*q. Let h be (6/(-4))/(3/q). Solve 0 = 3*x - 3*z - 6, p*x - z + 3*z - h = 0 for x.
5
Let p = 4 + -1. Solve 5*f + 4*s - 3 - 25 = 0, 2*f + p*s - 14 = 0 for f.
4
Suppose -b = 4*f + b - 8, 14 = 2*f - 4*b. Let x(t) = -t + f - 2 + t**2 + 0*t. Let s be x(1). Solve -5*l + a = -9, 3*l - s = 3*a + 2 for l.
2
Suppose 5*g - 17 = 28. Let v = 12 - g. Solve -4*x = -3*q + 11, -2*q + 14 = -x - v*x for x.
-5
Let z be (-3)/12 - (-13)/4. Suppose 8*q = z*q. Let w = 1 + 1. Solve -w*x + 4*x = q, 3*m = -5*x - 6 for m.
-2
Let d(w) = -2*w + 6. Let g be d(11). Let x = -8 - g. Solve -j + 4*i = -13 + 1, -4*i - x = 0 for j.
4
Let l(n) = n**2 - 13*n + 2. Let b be l(13). Solve h - 2 + 1 = -j, h = -b*j - 2 for h.
4
Suppose 4 = w - 0*w. Let z be 0/(2/5*5). Solve -w*n + 26 = -6*q + q, z = -3*q + 3*n - 18 for q.
-2
Let w = -2 + 15. Let y = w + -29. Let j be (y*2/(-4))/2. Solve -p = l - 3*l + 4, 3*l - j*p = 16 for l.
0
Suppose 9 = u + 1. Let r be 30/(-12)*u/(-10). Let n = 6 + -3. Solve -3*c + 3*o - 27 = 0, -n*o = 2*c - 0*o - r for c.
-5
Let v(i) = i + 2. Let o be v(8). Let b = 14 - o. Solve -8*n + 8 = -b*n, -m - 2*n = -4 for m.
0
Suppose 5*y + 3*x - 10 = 0, -5*y + 6 + 4 = -3*x. Let v(p) = p**2 + 6*p + 5. Let c be v(-6). Suppose -3*f + 5 + 13 = 0. Solve -y*w = -j - j - f, -c*w = 5 for j.
-4
Let p(s) = s**3 + 5*s**2 + 3*s + 1. Let b be p(-4). Solve 3*c + 1 - b = -2*g, 2*c - 6 = -2*g for g.
5
Let o = -10 + 15. Let h(g) = 1 + g - 1. Let z be h(o). Solve 4*c + z*a + 1 = -3, -3*c = -4*a + 3 for c.
-1
Let c(b) 