, l + 2*l = -4*q - 15. Solve q = k - 2*k for k.
0
Let d(f) be the second derivative of f**4/6 - 2*f**3/3 - f**2 - 7*f. Let p be d(3). Solve -p*v = -0*v for v.
0
Suppose k = 2*u - 31, -2*u - u - k = -59. Let f = u + -7. Solve 14 = -5*d - f for d.
-5
Let t(r) = r**3 - 15*r**2 + 25*r + 16. Let m be t(13). Solve m*w + 6 = -3 for w.
-3
Let n(a) be the second derivative of -a**3/6 - 5*a**2/2 + a. Let f be n(-9). Solve 11 = -f*v - 1 for v.
-3
Suppose -12*v - 9 + 21 = 0. Solve -4 + v = 3*d for d.
-1
Suppose 2*d - 4 = -5*z + 4*d, -5*z + 5*d = 5. Suppose -z*m = -i - 3, -7*m + 2*i + 6 = -2*m. Solve m = 3*h - 2 - 13 for h.
5
Let g be (-3 - 2)*(-1)/5. Let y be ((-6)/8)/(g/12). Let q = 13 + y. Solve -l + q = l for l.
2
Let m(s) = 2*s - 1. Let l be m(1). Let u be (l/(-2))/((-8)/96). Solve 0 = 3*x - u*x for x.
0
Suppose 0*x = -x + 1. Solve -3*o + 7 = x for o.
2
Let w be -1 + 4 + 0 + 2. Suppose 3*s - 20 = -2*p, 0*p = w*p - 2*s - 12. Suppose -2*r + 2 = 2*q, 3*q + p*r - 5 = 3*r. Solve -10 = -q*x - 0 for x.
5
Let c = -17 - -23. Solve -c = 2*q + 4 for q.
-5
Suppose 0 = -3*o + 2*o - 2. Let s be ((-4)/o)/((-6)/(-24)). Solve -3*b - 2 = -s for b.
2
Suppose f + f = -2*x - 2, 2*x = -6. Suppose -2*z = -1 + 3. Let s be 2 - f*(z - 0). Solve -15 = s*n + n for n.
-3
Let g be -3*(1 - 12/9). Suppose 2*v = 7*v. Let s = v - 0. Solve u + g = -s*u for u.
-1
Suppose -4*i = i - 65. Let u = 26 - i. Solve -5*q - u + 3 = 0 for q.
-2
Suppose 0 = 2*x + 3*t + 6 + 5, 0 = 5*x - 5*t - 35. Suppose -3*u = -4*m + x - 1, 4*u = m + 3. Solve u + 15 = 4*n for n.
4
Let i be ((-12)/(-21))/(8/28). Solve i*j - 12 = -2*j for j.
3
Let d be (-12)/30 - 22/(-5). Let w = d + -2. Solve -w - 3 = -z for z.
5
Let p(r) = r**3 - 8*r**2 + 6. Let k be p(8). Solve h + h = -k for h.
-3
Let q be (-4)/(-3)*(-3 + 6). Suppose 2*p - q = -0*p. Let x = 10 - 4. Solve 0 = p*y - x*y for y.
0
Suppose -5*z + 3*s = -11, 0 = -z + 5*s + 2 - 13. Suppose z*o + 0*o - 8 = 0. Solve o*r + 1 = r for r.
-1
Let t(i) = i**3 - 5*i**2 - 7*i + 5. Let a be t(6). Let h be (-8 - 1) + 4/2. Let c be (h*3)/a + -1. Solve 0*f + 4*f + c = 0 for f.
-5
Let m be ((-2)/6)/(2/6). Let d be (m - 1)*(-1)/1. Suppose w = -d*w + 9. Solve w*x - 10 = x for x.
5
Let u = -3 + 7. Suppose -4*s = -2*w, -2*w = -u*s + s. Suppose w*t - 3*t = -6. Solve t*q + 3 = -3 for q.
-3
Suppose 3*q = -5*s + 12, -2*q + 0*s + 8 = 2*s. Let h be q/10 - (-16)/10. Solve -h*g - 2 + 8 = 0 for g.
3
Suppose -5*r = -5*f + 5, r - 3*f = -f - 4. Let m(g) = -5*g + 3*g + 3*g + g**r + 0*g**2. Let v be m(2). Solve v*i = 3*i + 12 for i.
4
Let b(y) = -2*y + 6 - 5 - 11. Let t be b(-10). Solve 0 = 2*f + t - 0 for f.
-5
Suppose 2*k - 6 - 2 = 0. Solve m - 9 = -k for m.
5
Let a = -11 - -16. Let o = -9 + 1. Let i = o + 9. Solve i - 21 = -a*z for z.
4
Suppose 0 = 3*d - 7*d. Suppose 2*b + 0 - 4 = d. Let f be (1/b)/(3/18). Solve -u + f = 2*u for u.
1
Let o be -2 - (-3 + -1 + 1). Solve -y + 3 - o = 0 for y.
2
Let f be -6*(1 - (-3)/(-2)). Solve 4*i - 3*i - f = 0 for i.
3
Let s(w) = -w**2 + 7*w - 3. Let f = -10 - -16. Let t be s(f). Solve -15 = -2*o - t*o for o.
3
Suppose 0 = 4*t - 51 + 15. Solve -5*r + 11 + t = 0 for r.
4
Let w(f) = -f**2 - 2*f + 3. Let l be w(-3). Suppose 3*n = -l + 9. Solve n*m - 7*m = -12 for m.
3
Let n = 9 - -3. Let x = n - 19. Let u = 14 + x. Solve 20 = -u*p + 3*p for p.
-5
Let n(l) = -l**3 - 2*l**2 + l + 2. Let x be n(-3). Suppose 2*f + 2*f - x = 0. Suppose -q + 5 = -0*q, m - 13 = -2*q. Solve f + 13 = -m*o for o.
-5
Let o(t) = -t**3 + 11*t**2 - 9*t - 10. Let g be o(10). Suppose 3*i - 15 = -0*i. Solve g*j - i = -j for j.
5
Let u(t) = 29*t + 1. Let h be (0 + 3)*(-2)/(-6). Let j be u(h). Suppose -j = -4*q - 10. Solve 2*b - b - q = 0 for b.
5
Suppose 5*n = 2*n. Suppose -3*l + 4*s + 22 = 0, 5*l + s = 5 + 1. Let f be 3*l + -7 + 4. Solve f*t = -n*t for t.
0
Suppose 3*p - 5*w = -0*p - 13, -2*p = 4*w - 28. Let n = p + -4. Suppose 3*b + 7 = 5*r - 5, n = -5*r + 4*b + 16. Solve -4*f + r = -4 for f.
1
Let q(k) = -k + 8. Let s be q(4). Solve 5*v = s*v for v.
0
Let t = -2 + 1. Let x be ((-6)/(-3) - t) + 0. Let y(i) = -i**3 + 4*i**2 + i - 3. Let a be y(x). Solve -4*u + 11 + a = 0 for u.
5
Let x(h) = -h + 6. Let z be x(6). Solve 0*w - 5*w = z for w.
0
Suppose 14*j = 7*j + 35. Solve 6 = -j*u - 14 for u.
-4
Suppose o - 5*k - 1 = 5, -o + 3 = -2*k. Solve 5*s - o = 9 for s.
2
Suppose -13 - 2 = -5*n. Let k be 6/4 - (-90)/(-20). Let c = k + n. Solve -4*m + 2*m + 2 = c for m.
1
Let n(y) = y**2 - y. Let f be n(0). Suppose 0*t - 5*t = f. Solve k - 2*k = t for k.
0
Suppose 2*o + 1 - 5 = 0. Suppose -o = k - 14. Suppose -4*c - 1 + 17 = 0. Solve -k = -4*x + c for x.
4
Let u(z) = z**2 + 3*z + 2. Let c be u(-2). Solve -3*y + 8*y = c for y.
0
Let l be 7 + (3/(-1) - 0). Solve -l*j + 10 = -2 for j.
3
Suppose 3*d = -7 + 19. Solve -4*p = -2*p + d for p.
-2
Let f(r) = r**3 - 5*r**2 - r + 5. Let t be f(5). Suppose 2*m - m = t. Let p be 0/(-7 - -4) + 3. Solve m = -p*x + 6 for x.
2
Let c be 18/(-63) - (-4)/14. Solve -10 = 5*q - c for q.
-2
Let i = 1 - 1. Let w(y) = -y**3 + 6*y**2 - 6*y + 4. Let x be w(4). Suppose -4*a + h = -2 - 10, 2*h = 8. Solve a*r + i*r + x = 0 for r.
-3
Let k = 18 + -14. Solve 3*p - k = 5 for p.
3
Let m(w) = w**2 + 4*w. Let l be m(-4). Solve -3*j + l*j - 9 = 0 for j.
-3
Let w(l) = -l**2 - 10*l + 13. Suppose -2*v - 47 = -5*i, 8 + 8 = -v + i. Let m be w(v). Solve 4 = -s + m for s.
-2
Let z(j) = 5 + 0*j - j**2 + 4*j + 1. Let y be z(5). Solve -4*r - y = -3*r for r.
-1
Suppose -g + 4 = g. Suppose -b = -13 + 7. Solve -g*r - b = 4 for r.
-5
Let a = -8 + 12. Suppose a*i + 5 = 17. Let v = 5 - i. Solve -j = 6 - v for j.
-4
Let b(l) = -l**2 - 6*l + 2. Let j be b(-6). Suppose 3*z - 4*z = 0. Solve j*g - 2 + z = 0 for g.
1
Let a be (100/(-50))/(-1*1). Let o = -2 + 2. Suppose -h + 5*c + 0 - 2 = o, -2*h + 14 = -c. Solve -3*x + a - h = 0 for x.
-2
Let j = 21 - 18. Solve r = j*r for r.
0
Let n = -48 - -51. Solve -n = -3*b + 3 for b.
2
Let d be (12/(-16))/(1/(-4)). Solve -3*r = -18 + d for r.
5
Let i(d) = 2*d - 3. Let w be i(4). Solve 4*n = w + 3 for n.
2
Let y(d) = d - 6. Let u be y(12). Suppose -3*p - 8*t + 2 = -4*t, -4*t = -p + u. Solve 0 = p*q - 1 - 1 for q.
1
Let a be (2 - 1)/((-1)/(-9)). Let m be -1 + -7 + (-3 - -2). Let j = -7 - m. Solve a = -f - j*f for f.
-3
Let w(u) = u**2 + 3*u - 3. Suppose 3*l = 2*x - 0*x - 17, 5*l + 2*x = -23. Let v be w(l). Suppose -2*k + v = -1. Solve 20 = -m - k*m for m.
-4
Let r be (-1 - 0)*((-1 - 4) + 5). Solve 0 = -r*t + t for t.
0
Suppose 6*j = 22 - 4. Solve j*q - 3 = 2*q for q.
3
Suppose 0 = 5*q + v - 4, -2*q + 2*v = -2*v - 6. Solve 2*w + 1 = -q for w.
-1
Let d(x) = -x**2 - x - 1. Let m(r) = 4*r**2 + 13*r + 9. Let u(v) = 5*d(v) + m(v). Let y be u(8). Suppose -j + y = j. Solve w - 12 = -j*w for w.
4
Suppose -5*b + 38 = -17. Solve 5*n - 9 = b for n.
4
Let q(y) = y**3 - 4*y**2 + y - 1. Let t(p) = p + 17. Let a be t(-13). Let o be q(a). Solve -2*u = o*u - 10 for u.
2
Let s be (-3)/1 - (4 + -17). Solve 0 = 4*j + s + 6 for j.
-4
Suppose -5*w = v - 22, 3*w + 4*v - 5*v - 10 = 0. Suppose -5*j = z - 8, 0 = 7*z - w*z + 6. Solve 0 = -y - y - j for y.
-1
Let c(x) = -x**2 - 4*x + 7. Let g be c(-5). Suppose 4*l - 12 = g*l. Solve -l*z = -2*z - 8 for z.
2
Let k(l) be the second derivative of -l**5/4 + l**4/12 + l**3/3 + l**2/2 + 2*l. Let j be k(-1). Solve -2*z - 3 = j for z.
-4
Let b be (0/(2 + 3))/2. Solve 3*p - 2*p - 5 = b for p.
5
Suppose -2*g = -5*h + 2*g + 25, -3*h = 3*g + 12. Suppose -9 + h = -4*u. Suppose b - 3*d + 5 = u*d, 2*b - 5*d = -5. Solve b = t - 1 + 2 for t.
-1
Suppose -2*w - 5*s - 28 = 0, 0*s = -s - 4. Let u = -2 - w. Suppose 5*p + u = 4*p + 2*r, -5 = -5*p - 5*r. Solve -2*b + 2 + 2 = p for b.
2
Let u(a) = a**2 + 5*a + 2. Let z be u(-5). Solve -5*i + z = -3 for i.
1
Suppose -2*f - 10 = -4*u - f, 3*f = -5*u + 4. Suppose 1 = -x + 3*w, -6*x = -u*x - 5*w - 3. Solve 2*z + x = 4*z for z.
1
Let p(q) = q + 1. Let d be p(-1). Suppose -12 = -d*x - 4*x. Solve 0 = -4*o + x*o for o.
0
Let z(c) = c + 10. Let h be z(-7). Let u(l) = -l + 3. Let i be u(h). Solve i*o - 6 = -3*o for o.
2
Let c(o) = -o**3 + 8*o**2 + 9*o - 5. Let z be c(9). Let f be -2 + z*(-4)/10. Solve -r + 2 + 2 = f for r.
4
Let g = 24 - 20. Solve -g*y = -0*y + 16 for y.
-4
Let r(y) = -2*y + 2. Let d be r(0). Suppose 0 = -2*g - d + 20. Suppose 