(y) = -3*a(y) - t(y). Let k be i(-6). Let r be (1 - 2/12)*6. Solve k = -4*h - r for h.
-5
Let z(q) = -q - 2. Let h be z(5). Let p = -8 - h. Let v be 26 - p*(-3 - -2). Solve 4*r = -r + v for r.
5
Let o(f) = f**2 + 10*f - 7. Let w be o(-11). Solve 0*t - t = -w for t.
4
Let l(a) be the first derivative of -a**4/4 + a**3 + a**2 - 2. Let u be l(4). Let m be (-4)/((-2)/u*-2). Solve -m + 3 = -j for j.
5
Suppose 16 = 5*k - 14. Suppose 4*r = r + k. Let w(p) = p - 1. Let c be w(1). Solve r*m + m = c for m.
0
Let c be 8 + (1 - 3) - (-4)/4. Solve 5*x = 13 + c for x.
4
Let n be (-3 - -4 - -3) + 5. Solve -n + 4 = o for o.
-5
Let o be ((-2)/4)/(4/(-80)). Solve -5*x - 5 = o for x.
-3
Let i = -6 + 12. Suppose -16 - 4 = -5*q + 5*a, 4*q = 2*a + 8. Solve -3*s + i + 9 = q for s.
5
Let h = -75 + 78. Solve -6 = -h*r - 0 for r.
2
Suppose 0 = -m + 2*m. Suppose m*v - v = 0. Solve v = x - 4*x + 6 for x.
2
Suppose 7*f = 9*f. Solve f = 2*x - x - 2 for x.
2
Let o be 3/6*0*-1. Let z = -2 + o. Let t be (-92)/(-6) - z/3. Solve 4 = -4*l - t for l.
-5
Suppose 0*n + 4*n = 0. Suppose n = 5*c + 4*q - 10, -5*c + 0 + 10 = -q. Solve p - c = 2 for p.
4
Let s = 11 - 11. Let j be 3/(0 + (-2 - -3)). Suppose a - 5 + j = s. Solve 0 = -3*z + a*z - 4 for z.
-4
Let w(y) = -y**2. Let o be w(0). Suppose 4*s = 8 + 8. Solve -s = i - o for i.
-4
Let b be (-1)/(2*-1 + 3). Let o = 6 + b. Suppose -3*d + 3*f = 8*f - 27, -4*f = o*d - 32. Solve 2 = -d*t - 18 for t.
-5
Suppose 0 = r + 9 - 2. Let h(l) be the third derivative of l**5/60 + 7*l**4/24 + 7*l**3/6 - l**2. Let v be h(r). Solve -v*c - 15 = -2*c for c.
-3
Let b(f) be the second derivative of 1/20*f**5 - 1/2*f**3 + 0 + 1/2*f**2 - f + 0*f**4. Let w be b(2). Solve a + w = 8 for a.
5
Let v be (0 - 1)*(4 - 6). Suppose 6*c = -3*a + c + 1, -4*c = -v*a + 8. Solve 3 + 1 = -a*k for k.
-2
Let q(g) = 8*g**2 - 3*g - 2. Let l be q(-2). Suppose r = -3*r + l. Suppose -6*d + 32 = c - d, -d = -2*c + 9. Solve r = c*p - 4*p for p.
3
Let r(j) = 16*j**3 - j**2 + 2*j - 1. Let m be r(1). Solve 3*g - m = -g for g.
4
Suppose 0*l - 3*l + 6 = 0, -4*z - 4*l = -16. Suppose -8 + 0 = z*v. Let f(o) = o**3 + 4*o**2. Let k be f(v). Solve 0 = -k*m + m - 2 for m.
2
Let r(m) = m**3 - 3*m**2 - 6*m + 2. Let k be r(4). Let c be 42/8 - k/8. Solve p - c = 4*p for p.
-2
Let b(f) = f. Let p be b(2). Suppose p*o - 5 = o. Suppose 5*u - o = -0. Solve -5 = -2*l - u for l.
2
Suppose f = -5*u - 4*f + 5, 20 = -5*f. Solve -u*k + 6*k + 2 = 0 for k.
-2
Let j(p) be the first derivative of -2*p + 2 - 1/2*p**2. Let s be j(-4). Solve 2*t = t - s for t.
-2
Let u(q) = -2*q + 1. Let y be u(3). Let l = y - -6. Let a = 0 - -3. Solve -4*w - l = a for w.
-1
Suppose 4*o + 27 = 3*h, 4*o = -h + 3*h - 22. Solve 0 - h = -5*p for p.
1
Let l(b) = -b**3 + 7*b**2 + 7*b + 11. Let y be l(8). Suppose -9 = -3*t - y. Let s be ((0/1)/3)/t. Solve s = 5*v - 16 - 9 for v.
5
Suppose w - 1 = -t - 0*t, -4*t = -w - 9. Suppose -q = -2*c + 4, t*c - 20 = 5*q - 0. Solve -d - d = c for d.
0
Let w be 20*(2 - 9/6). Solve -6*q = -q + w for q.
-2
Let a = 5 + 10. Solve 3 = -4*x + a for x.
3
Let n(k) = -k**3 + 16*k**2 + k - 10. Let v be n(16). Solve -j = j + v for j.
-3
Suppose 5*f - 10 = n, -3*f + 4 - 5 = -2*n. Solve -f*j + 5 = 14 for j.
-3
Let s(a) = -2*a + 2 + 11*a**2 + 0 + 11*a**2 - 20*a**2. Let h be -2*(-2)/4*2. Let x be s(h). Solve 3*z - 15 = x*z for z.
-5
Suppose 2*v = x - 3*x + 8, -4*x + 4*v = 0. Solve -6 - 4 = -x*y for y.
5
Let u be (-3 + 2)/(2/(-4)). Solve 0*m - u*m = 2 for m.
-1
Let r = 11 + -8. Suppose 4*m - m = r. Solve h + 0*h + m = 0 for h.
-1
Let v(c) = c**2 + c. Let d be v(-2). Let t be ((-2)/(-3))/(2/6). Suppose -f + t - 1 = 0. Solve 3*n = -f - d for n.
-1
Suppose 0 = -i - i + 12. Let g be ((-8)/i)/((-2)/9). Solve -2*t + 16 = -g*t for t.
-4
Suppose -12 = 5*d - 3*s, 0 = 4*d + 3*s - s - 8. Solve d*a = -5*a for a.
0
Let q(n) = 8*n + 3. Let b(y) = y - 1. Let u(k) = 5*k + 5. Let l(s) = 2*b(s) + u(s). Let d(w) = -7*l(w) + 6*q(w). Let h be d(-3). Solve h = -p + 5*p + 8 for p.
-2
Suppose 0 = -5*w + 17 - 2. Solve -1 = -a + w for a.
4
Suppose 0 = -3*d + 12 - 3. Suppose -2*v + d*v - 6 = -5*f, 0 = f. Suppose -v = -3*g + 6. Solve 10 = g*i + 2 for i.
2
Let x be 1/((-7)/(-3) - 2). Suppose -2*h - 4*w = h - 15, 0 = -3*h + x*w - 6. Solve 3*z = h - 7 for z.
-2
Suppose 5*z = 5 - 25. Let q be z/(-2) + 18/9. Solve -16 - q = -4*y for y.
5
Suppose 5*o + 5*g - 415 = 0, -2*o + g + 175 - 3 = 0. Suppose o - 8 = 5*k + 2*s, 2*k + 2*s - 32 = 0. Solve r + 4*r = -k for r.
-3
Suppose -4*m - 3*x = -7, 31 = 4*m - 9*x + 4*x. Solve -m*k - 3 - 1 = 0 for k.
-1
Let h be 0 + 1/2*4. Suppose 0 = 2*b + y - 13, 3*y - h = 5*b - 7. Suppose -16 = -b*o - 0. Solve 0*g - 4 = o*g for g.
-1
Let g be -2 + (2 - 1)*-6. Let b be -1*(1 + (-24)/2). Let h = b + g. Solve 1 = j + h for j.
-2
Suppose 13*p - 8*p = 0. Solve -a - a = p for a.
0
Suppose -6*k = -k - 5*q + 15, q = -5*k + 3. Let w = -215 + 217. Solve k = 2*n + w*n + 16 for n.
-4
Let j = 26 - 22. Solve -y - 3 = -j*y for y.
1
Let z = 4 + 1. Suppose x - 10 + 3 = -4*c, -2*x = 5*c - z. Let t = x - -7. Solve -t*j - 1 = -9 for j.
4
Suppose -7 = -5*f + 53. Solve -2*o - f = -4 for o.
-4
Suppose 0 = -w - 2*w. Let n be 4/12*0 + w. Solve n*k - 5*k = 0 for k.
0
Let h(p) = -p**2 - p + 6. Let o be h(-3). Solve o = -4*y + y + 12 for y.
4
Let m = 113 - 113. Solve m = 3*q - 0*q - 12 for q.
4
Suppose s + 0 = -3*y + 5, -3*s - 3*y + 9 = 0. Let q be 4 - (-3 + 3)/s. Suppose 4*o = -2*d + 28, 3*o = q*o - 1. Solve 2*h + h + d = 0 for h.
-4
Let m = 51 + -17. Solve -5*k = 14 - m for k.
4
Suppose -3*u = -4*t + 9*t - 1, -5*u - 19 = -2*t. Solve t = 2*g - 4 for g.
3
Suppose -8 = -0*f + 2*f - 2*o, -4 = 5*f - o. Solve f = 3*b + b for b.
0
Let l be (6/(-4))/(9/(-84)). Let b be 1 - 1 - (1 - l). Suppose 2*y = 2*p, b + 14 = 5*y + 4*p. Solve -1 = 2*t - y for t.
1
Let a(u) = u + 6. Let y be a(-4). Solve 3*r + 10 = -y*r for r.
-2
Let n(p) = -p**3 - 10*p**2 + 13*p + 8. Let s be n(-11). Let v = 21 + s. Solve -1 = 3*r - v for r.
2
Suppose 3*f + 8*d - 7*d = 15, 0 = -f - 2*d + 10. Solve 0 - f = j for j.
-4
Let j(r) = 3*r**2 - 2*r + 1. Let u be j(1). Solve 4*t - u*t + 10 = 0 for t.
-5
Suppose -i - 14 = -f - 5*i, 4*i + 94 = 5*f. Suppose -3*n = -4*k - n + f, k + 5*n + 23 = 0. Suppose 3*v = k*v. Solve -2*l + 2 = -v for l.
1
Let b(w) = -w - 8. Let x be b(-14). Let a = x - 4. Solve a*r = -4 - 0 for r.
-2
Let a = 4 + 0. Suppose 0*r + 4 = r, -w - 22 = -3*r. Let f be 2/(-8)*w*a. Solve u = -u + f for u.
5
Let s be 40/(-18) + (-14)/(-63). Let f be s/(-7) + 520/91. Solve 0 = 4*b - 7*b - f for b.
-2
Suppose -4*g = g + 5*k, -4*g = k - 6. Let a be 2/g + (0 - -1). Suppose -3*p - 5 = -a*o - 4*p, 2*o - 5*p = -25. Solve 0 = -5*s - o*s for s.
0
Let r(j) = j**2 - 12*j + 2. Let b be r(12). Let m = 0 - 0. Solve m = -2*a - b*a - 16 for a.
-4
Let b be (-1)/((4 - 1)/(-3)). Suppose -3 = -2*f + b. Solve -r - 6 = -f for r.
-4
Let t(h) = -2*h - 3*h - 3*h**2 + h**3 - 1 + h + h. Let c be t(4). Suppose -c*j + j + 18 = 0. Solve -3*i + 3 + j = 0 for i.
4
Suppose 2*y + 1 = -3*p + 2, 2*y + 20 = 4*p. Let x(f) = f**3 + f + 9. Let t be x(0). Suppose 2*c - t = p*d - 0, -2 = -c - d. Solve c = 2*k + 5 for k.
-1
Let v = -15 - -18. Let l be (-1)/v - 185/(-15). Solve 5*o - l = 2*o for o.
4
Suppose 0 = 4*x - 0*x + r - 78, 0 = 3*x - 3*r - 66. Solve -2*t - x = 3*t for t.
-4
Suppose -8*h + 25 = -7*h. Suppose -4*b = 2*w - w - h, 5*b = w + 29. Let t be (-2 + 1)*b/(-3). Solve -t*f - 9 = -5*f for f.
3
Suppose d = -0*d + 2. Solve d*r + 0*r = 0 for r.
0
Let p be 2/(-2)*(-1)/(-1). Let z(m) = 9*m**2 + 2*m - 5 + 1 + 5. Let w be z(p). Solve -3*r = r + w for r.
-2
Let l = -2 - -1. Let s be 0 - l - (-2 - 0). Let d be 0/1 - (-27)/s. Solve -2*c + d = 3 for c.
3
Suppose -5*o + 335 = 5. Let l be 2/(-11) - (-210)/o. Solve -18 = -5*v - l for v.
3
Let o(d) = 2*d**2 - 2*d - 37. Let u be o(-4). Solve u*a - 19 = -13 for a.
2
Suppose 4*n - 6 = -t + 14, 0 = -4*t - n + 35. Solve -t*x + 5 = -3*x for x.
1
Let k be (10/(-3))/(6/(-9)). Suppose -j = -k*b + 18, -3*j + 0*j - 5*b = -26. Suppose -j*r + 2 = -2. Solve r*f = -0*f + 2 for f.
1
Let y be (-6)/1*(-1 - 0). Suppose -4*q + 7*q - 9 = 0. Let g(f) = f**3 - f**2 - 5*f + 2. Let m be g(q). Solve m*v - 9 = y for v.
3
Let x(t) = 5*t + 3. Let z be x(4). Let i = z - 23. Solve -p = -i*p for p.
0
Let k = 4 