et v(k) = -k**2 + 5*k + 1. Let x be v(4). Suppose z = 4*z. Suppose 2*h - 32 = 4*w, 23 = 2*h - w - 0*w. Solve -h = x*d - z for d.
-2
Let d(s) = 3*s - 4. Let m be d(2). Solve 0 = m*x - 0 + 8 for x.
-4
Suppose 0 = 2*q - 13 + 5, 5*q - 14 = y. Solve 0 = l + y - 8 for l.
2
Let d be -1 + (-6)/(-1 - 0). Suppose -4 - d = -3*l. Suppose -l*r = 2*r - 20. Solve 5 = -3*h - r for h.
-3
Suppose 3*c - 10 = -4. Solve c*w - 1 = -9 for w.
-4
Let l be ((-4)/8)/((-2)/8). Solve -9 + 1 = l*a for a.
-4
Suppose 3*s + 46 = 4*g + g, -4*s - 8 = 0. Suppose 0*w = 4*w - g. Let m = 0 + w. Solve 0*d = -m*d + 8 for d.
4
Suppose 4*x - 3*x - 5*j = 1, 0 = -x - 4*j + 19. Solve 0 = 5*z - 4 - x for z.
3
Let o be (-52)/(-6) - 8/12. Suppose -3*f = -1 - o. Let j = -29 - -48. Solve j = -4*q + f for q.
-4
Suppose -4*l + 20 = -3*x, 2*l - 4*x = 14 - 4. Let h = l + -2. Solve 2 = -h*o + o for o.
-1
Let q(r) = r**3 - 6*r**2 + 5*r + 4. Let v = 11 - 6. Let s be q(v). Suppose 0 = 5*p - s*y, 3*p = -0*y - 5*y. Solve j + j + 6 = p for j.
-3
Suppose 4*x = 4*b + 68, -4*b = 3*x - 22 - 15. Solve 0 = 4*a - x + 3 for a.
3
Let p(i) = -i**2 - 10*i - 5. Let j(t) = t**2 + t. Let s(a) = 3*j(a) + p(a). Let b be s(6). Suppose 2*u - 3*u + b = 0. Solve x = -4*x - u for x.
-5
Let h = 24 + -21. Let w be (4 - (4 - h)) + 2. Solve 0 = -w*f + 5 for f.
1
Suppose -3*q - 7 = -10. Let g(w) = -q - 13*w + w**2 + 14*w + 4. Let b be g(0). Solve o + 8 = -b*o for o.
-2
Suppose 8*y = 12*y - 20. Suppose 0 = -4*f - 3*l - l + 4, 5*f - 50 = 4*l. Suppose y*p = 4*t + f, 2*t - 4*p + 9 = 3*t. Solve 0 = z + t for z.
-1
Suppose -2*y - 5*l - 1 = -0, 2*y - 8 = 4*l. Suppose y + 7 = 3*i. Solve 10 = i*c - 2 for c.
4
Suppose -18*t + 10*t + 32 = 0. Solve c - 3*c - t = 0 for c.
-2
Let p be (4 - -1)/(-1 + -1 + 3). Solve -p*u - 1 + 11 = 0 for u.
2
Suppose 11*g - 21 = 8*g. Let x = g - 7. Solve 5*p - p = x for p.
0
Let t(v) = v + 14. Let l be t(-9). Suppose -6 = -7*m + l*m. Solve m*z - 1 = 11 for z.
4
Let f(u) = -11*u - 40. Let a be f(-4). Solve a*b + b = -15 for b.
-3
Let n(y) = -y**3 + 4*y**2 + y + 1. Let h be n(4). Let d be h/(-10)*1*2. Let z = -1 - d. Solve 3*u = -z*u for u.
0
Suppose 4*f - 2*m + 7 = 7*f, -2*f - 2*m = -2. Suppose 0*b = -4*b + 2*d + 8, 5*d = -f*b + 40. Solve 0 = -b*g + 7 + 5 for g.
3
Let j = -161 - -171. Solve 3*i = j - 13 for i.
-1
Let r = -15 - -13. Let n be (r + 2)/(-3 - -5). Solve m + 5 - 10 = n for m.
5
Suppose -t + 6*t = -t. Solve -5*s + t*s + 15 = 0 for s.
3
Let k(g) = -g**3 + 14*g**2 + 15*g + 4. Suppose -39 = -3*t - z + 4*z, 3*t - 37 = 4*z. Let l be k(t). Suppose 0*b = -5*b + 20. Solve b*a + l = -0 for a.
-1
Let j be (12/42)/(1/7). Solve 0 = 7*t - j*t + 20 for t.
-4
Let f(i) = -2*i. Let w be f(-2). Suppose -p + w = -0*p. Solve 3*z = p*z - 4 for z.
4
Suppose 0 = -3*z - 5*j + 10, 2*z - 8 - 8 = -j. Solve 0 = 3*q - q + z for q.
-5
Let o = 82 - 74. Solve 0 = 3*s - o - 7 for s.
5
Suppose 0*m + 3*m = 0. Suppose -8*o + 3*o + 40 = m. Suppose -3*n - o = -4*n. Solve 0*s = -2*s - n for s.
-4
Let k(t) = 3*t + 38. Let l be k(-10). Solve 0 = 5*m + 2 + l for m.
-2
Let r = -2 - -2. Let a(k) = -k**3 + 5*k**2 + 3*k + 2. Let i be a(5). Suppose 4*s = 3*b + 5*s - i, s - 5 = 0. Solve 4*c = -r + b for c.
1
Let b = -34 - -38. Solve -a - b*a = 0 for a.
0
Let f be (4/(-2))/(14/(-35)). Let g be (-1)/2 - (-5)/2. Solve w + g = f for w.
3
Let i = -8 + 15. Suppose -j = 3 - i. Solve 6 = k - j*k for k.
-2
Let h(a) = a - 1. Let i be h(-5). Let k be ((-2)/6)/((-2)/i). Let z = 4 + k. Solve -2*l - 20 = z*l for l.
-4
Suppose 0 = 4*g + 4*r - 52, -4*g - g - r = -45. Let t = 3 + -3. Suppose 20 = 5*f - 5*x, 5*f + 2*x - x - 14 = t. Solve f*d - g = d for d.
4
Suppose 2*m - 5*x - 17 = 3*m, 3*x = 3*m - 21. Let v be (-10)/(-4) + m/6. Let h = -13 + 13. Solve -v*n = -h*n for n.
0
Let a(b) = 6*b - 1. Let s be a(-1). Let g be (6 + s)*(0 - 5). Solve g = 2*q + 15 for q.
-5
Suppose -w = 4*l - 4*w - 77, -5*l + 3*w + 94 = 0. Let o(v) be the third derivative of v**4/24 - v**3/3 + v**2. Let y be o(4). Solve -y*k - l = -7 for k.
-5
Let q(i) = i**2. Let y be q(1). Let j(f) = f**2 - 2*f - 1. Let a be j(3). Solve y - a = -l for l.
1
Let x(p) = p**3 - 5*p**2 + 2*p + 1. Let h be x(4). Let l = h - -7. Suppose l = 2*v - 4*v + 2. Solve -i = -v - 4 for i.
5
Let s = -53 - -57. Solve -4*z + s = 24 for z.
-5
Let y(j) = j**2 - 5*j + 3. Let k(d) = d + 10. Let i be k(-6). Let v be y(i). Let z be 4 + v - (2 + -2). Solve 0 = -w - 1 - z for w.
-4
Let c = -36 + 48. Solve -2*u - c = u for u.
-4
Let d be -6 - -4 - (-1 - 1). Let z(h) = -h**2 + 6*h - 5. Let c be z(5). Solve c = -d*q + 5*q - 15 for q.
3
Suppose 3*c - 33 = 4*x, 2*c - 2*x - 9 = 13. Solve -4*h - 27 = -c for h.
-4
Let a(j) = 2*j - 1. Let i be a(3). Solve -2 + 7 = i*w for w.
1
Suppose 1 - 11 = -2*w. Let x(t) = -t**3 + 4*t**2 + 5*t + 2. Let u be x(w). Solve b = -b + u for b.
1
Suppose -10 = -y - 1. Let s = -1 - 1. Let a be s/6 + (-13)/(-3). Solve y*c = a*c for c.
0
Let s be (-10)/2*6/(-5). Suppose 3*u - j = -3*j + 16, -5*j = u - 14. Suppose 5*z + 0*z = u*l - 45, 0 = -4*z - 20. Solve s*o - l = o for o.
1
Let z(l) = -l**2 + 8*l + 9. Let j be z(7). Solve 5*g = j + 9 for g.
5
Let g = 6 + -5. Let f be 3/(0 - 3) + g. Solve f = 6*v - v - 10 for v.
2
Let y(a) = -a**2 - 6*a - 3. Let r be y(-5). Solve j + 12 = -r*j for j.
-4
Suppose 2*g = g - 4*q + 8, 3*g = 3*q - 36. Let x = 10 + g. Solve -2 = x*z - 3*z for z.
2
Let h(m) be the second derivative of -m**4/12 + m**3/6 + 2*m**2 - m. Let g be h(0). Let u be (g - 4)*2/(-4). Solve u*y = -y for y.
0
Let z be 3/45*6*20. Solve -p = -6 + z for p.
-2
Let j be (1 - 1)/(0 + 1). Let a(z) = z + 2. Let g be a(2). Solve -g*v + j*v = 8 for v.
-2
Let r be (-9)/12 + 12/16. Solve r = 5*t + 10 + 5 for t.
-3
Suppose 0 = -0*h + h + 2. Let n be (-352)/(-36) - h/9. Let u be (-28)/(-10) + 2/n. Solve b + 8 = u*b for b.
4
Let k(s) = -8*s + 36. Let w be k(4). Solve 3 = -w*z - 17 for z.
-5
Suppose -4 + 20 = 2*v. Solve 0 = 3*i + 1 + v for i.
-3
Suppose -3*v - 21 = -111. Let f(d) = -d**3 - d**2 - 2. Let q be f(0). Let n = -2 - q. Solve 5*s - 5 + v = n for s.
-5
Let j be 4 + (2 - (5 + -2)). Suppose 0 = -j*a - 3, -3*d - 14 = -5*d + 2*a. Solve 0 = g - 4*g - d for g.
-2
Suppose -2*u = 4*u - 12. Solve 0*s = -u*s + 4 for s.
2
Let s(n) be the first derivative of n**3/3 + 2*n**2 - 8*n - 1. Let b be s(-6). Suppose -3*v + 10 = -2. Solve 8 + b = v*k for k.
3
Let x be (2/4)/(4/(-24)). Let c = 1 - x. Let m be ((-12)/(-10))/(c/10). Solve -i + m = 6 for i.
-3
Let v be 3 - (0 - (0 + -2)). Suppose -q - v = -2*q. Solve -t - q = -6 for t.
5
Let f be 5/15*1*18. Let m(c) = c**2 - 7*c + 6. Let g be m(f). Solve g = r - 5*r - 12 for r.
-3
Let i = 176 + -176. Solve i = -0*j - 2*j for j.
0
Let t = -57 + 106. Suppose -1 = -2*f + t. Suppose 0 = 3*b - 8*b + f. Solve -s = -b*s for s.
0
Let f(s) = s**2 + 5*s + 7. Let j be f(-4). Solve -z = j*z - 4 for z.
1
Let q = 4 + -1. Let m = 25 - 13. Let l = -9 + 15. Solve -q*s + m = -l*s for s.
-4
Suppose m + 10 = 3*k, -2*k + 0*k - 3*m + 3 = 0. Let f = k - 2. Let c be f/((-2)/4)*-1. Solve -c*t = 3*t for t.
0
Suppose 0 = 8*x - 6*x. Suppose 4*s = -5*g - 24 - 47, -5*g + 5*s - 35 = 0. Let p = x - g. Solve -4*d + 31 - p = 0 for d.
5
Let p be (-28)/42*9/(-2). Solve 2 = -r + p for r.
1
Let s(p) = -p**3 + 8*p**2 - p + 13. Let r be s(8). Solve -r*k = -1 - 19 for k.
4
Let f = 18 + -12. Solve -f*s + 5 = -s for s.
1
Suppose 4*p = 3*t + 10, 0 = t - p + 2. Suppose -t*j + 2 + 6 = 0. Solve j = -3*z - 2 for z.
-2
Let a = -63 + 68. Solve -a*p = -3*p - 8 for p.
4
Let p(i) = -2*i - 5. Let o be p(-4). Suppose 0 = -2*l + o*l. Solve 4*d + 5 + 15 = l for d.
-5
Suppose 9 = 5*l - 1. Suppose 0 = -5*s - 61 + 61. Solve -5*b + l*b = s for b.
0
Suppose 0 = 4*a - z + 15, 0 = 3*a + 2*z - 6*z + 8. Let o be a/(-2)*-1 - -9. Solve -3 = 2*x + o for x.
-5
Suppose 0*g - 24 = -4*z + 4*g, 3*g = z - 2. Suppose -12 = a + 3*y - 3, -z = 2*y. Suppose 0*t = a*t. Solve t*s = -4*s - 8 for s.
-2
Let t = 139 - 139. Solve -m - 3 + 0 = t for m.
-3
Let m be ((-6)/9)/(1/(-3)). Suppose 3*z + x - 5 = -x, 4*z + m*x - 8 = 0. Solve -2*g + 5 = -z for g.
4
Let w be -1 - (2 - 1)*-5. Solve -o = -3*o - w for o.
-2
Let y = 4 + 1. Suppose -33 = -2*r + 5*a, -3*a - y = 5*r + 2*a. Solve w - r = -w for w.
2
Let q = 19 + -10. Suppose -4*g - 2*o = -q*g - 12, -4*o + 4 = -5*g. Let m = g + 12. Solve 