v for k.
-5
Let a(c) = c**2 - 7*c + 9. Let j be a(6). Let u(r) = -r**2 - 17*r + 24. Let d be u(-18). Suppose 0*f = j*f - d. Solve -2 = -4*b + f for b.
1
Suppose 0 = -3*k - y - 1, 0*k + 3*k + 4*y = 5. Let t = k - -3. Solve 0 = -2*d - t - 6 for d.
-4
Suppose -20 = -10*x + 5*x. Suppose w + 3 = x. Let s = w - -1. Solve o + s*o = -6 for o.
-2
Suppose l = -2*w + 10, 0*l + 4*w + 120 = 5*l. Let x be ((-3)/6)/((-2)/l). Solve -x*p + 7 = 32 for p.
-5
Suppose -2*u - 11 = -h - 3*u, 4*h - 4*u - 4 = 0. Solve -14 = 5*d + h for d.
-4
Let i be 5 + (-16)/(-4) + -5. Suppose -i*n + 18 = 2. Solve -x = x - n for x.
2
Let u = 8 - 3. Let a = u + -5. Suppose 0*j + 3*j + 5*i + 6 = a, 0 = -3*j - i + 6. Solve j*m + 2 = -13 for m.
-5
Suppose 0 = -4*o + 7*o - 15. Suppose 2*s + 0*h = o*h - 14, 3*s = -5*h + 29. Solve -s*d = -d for d.
0
Let z be -3 - (-1)/((-3)/(-33)). Solve -z = -2*h - 2*h for h.
2
Let m(f) = f**2 + 2*f - 3. Let p be m(-4). Suppose -4*o - 2*x = -2, 5*o - p*x - 55 + 15 = 0. Suppose 3*l - 3 = o. Solve l = 2*w - 0 for w.
1
Suppose 3*p = 21 + 9. Suppose -3 - 1 = -2*u. Solve 0*w = u*w + p for w.
-5
Let g(o) = 0*o - 2*o - 2 - o. Let d be g(-2). Suppose -4*v = -5*q - 7, 5*v - 6 = -d*q + 13. Solve -v - 1 = y for y.
-4
Let u = 2 + 3. Suppose -5*v = f - 5, 8 = 4*v - u*v - 2*f. Solve 6 = -5*a + v*a for a.
-2
Let x(j) = 5*j - 5*j**2 - 2*j + j + 3. Let y(l) = 6*l**2 - 3*l - 2. Let h(b) = 7*x(b) + 6*y(b). Let o be h(-9). Solve o = 3*z - z for z.
0
Suppose 0 = -q - 2 + 10. Solve 8 = -4*h + q*h for h.
2
Let u(n) = -7*n + 1. Let r be (-7)/5 + 2/5. Let x be u(r). Suppose z - 2 = x. Solve z*t - 5*t - 25 = 0 for t.
5
Let i = 2 + -1. Solve -3*o + 14 + i = 0 for o.
5
Let i(l) = -l**3 + 7*l**2 - l + 6. Let r be i(7). Let v(b) = 19*b + 1. Let y be v(1). Let p be 75/y + r/(-4). Solve p*t + 4 = 5*t for t.
4
Suppose -3*h + 3 = -3*p, 3*h - 8 = -4*p + 4*h. Solve -p*n - 4 = -n for n.
-2
Let p = 28 + -22. Solve 3*j - p = j for j.
3
Let m(r) = -2*r - 2. Let n be m(-8). Let s = n - 10. Solve -s*i = -i - 9 for i.
3
Let d(a) = a - 5. Let n be d(4). Let r be (n - (0 + -2))*3. Let j be 4 - (r - (-9)/(-3)). Solve -j*l - 16 = -0*l for l.
-4
Suppose -v = 2*v - 15. Let p = 49 - 34. Solve p = -0*n - v*n for n.
-3
Suppose 0 = -2*b - 2*z - 20, 5*b + 67 - 17 = 3*z. Suppose -3*s + 44 = 56. Let y = s - b. Solve 0 = -3*n + n - y for n.
-3
Let i = -5 + 15. Solve 0*v = 5*v + i for v.
-2
Suppose 8 = 3*v - 1. Solve 5 = v*y + 11 for y.
-2
Suppose -2*y - 3*k - k = -20, -4*y + 25 = 3*k. Solve -y = 3*n + n for n.
-1
Let y(c) = -1 + 0 + 4 - 6*c**2 - 4*c + 7*c**2. Let b be y(3). Solve 5*u = -b*u - 20 for u.
-4
Let s(c) be the third derivative of c**5/20 + c**4/12 - c**3/3 + 2*c**2. Let v be s(-2). Solve -2 = -4*y + v for y.
2
Let o = -11 + 0. Let m = o - -12. Solve 2*w + m - 3 = 0 for w.
1
Let f(i) = i - 2. Let n be f(-2). Let g = 7 + n. Solve 3*q - 4*q = g for q.
-3
Suppose -5*m = -5*x - 40, -8 = x + x. Suppose -7*n - 11 = -3*a - 3*n, -3*n = 4*a - 23. Solve -a = m*w + w for w.
-1
Suppose -2*m + 2*u + 2 = -5*m, 20 = 4*m - 3*u. Let w be (-1 + 1)*(4 + -3). Suppose w = 2*s - 7 + 5. Solve -s = -m*i + 1 for i.
1
Let c be -4 - 11/(55/(-120)). Solve -2*n = 2*n + c for n.
-5
Let h = 11 + 6. Suppose -3*l = -h + 5. Let d(g) = -g + 8. Let t be d(l). Solve -t*u = -u for u.
0
Let x be (6/3 - 12) + 3. Let q(a) = a + 10. Let o be q(x). Solve 3*w + o = 2*w for w.
-3
Let d = 40 + -20. Suppose 0 = 5*k + d, -9*o + 2 = -4*o + 2*k. Let g be 1 - (o - (2 + 3)). Solve 2*h = g*h + 6 for h.
-3
Let s = 1 + 7. Suppose 3*w - s = w. Solve w*c = -2 + 6 for c.
1
Let w(m) = -15*m - 4. Let o(h) = -h - 1. Let s(u) = 2*o(u) - w(u). Let c be s(1). Solve 0 = -a - 2*a + c for a.
5
Let b = -6 - -11. Solve v = b*v for v.
0
Let c(n) = -4*n - 3. Let w be c(-2). Solve 0 = -y + w*y + 20 for y.
-5
Suppose 3*h - 3*j + 16 = -5, -3*h = 4*j - 14. Let a be 65/10 + 1/h. Suppose -4*r + a = f, 5*f - 5*r - 54 - 1 = 0. Solve -2*m = -0 + f for m.
-5
Let l(k) = -2*k - 1. Let g be l(-2). Suppose -18 = -2*w + 2*y, 2*w - g*y - 15 = -0*w. Suppose 2*v = -0*v + w. Solve -z = 2*z + v for z.
-2
Let f(z) = -7*z**3 - 15*z**2 - 7*z + 5. Let o(m) = m**3 + m**2 + 1. Let i(t) = f(t) + 6*o(t). Let p be i(-8). Solve -p*q + 6 = -q for q.
3
Suppose -2*q - 4*q = -84. Solve -3*l - q = -2 for l.
-4
Let b be (3 + 54/(-12))/((-3)/6). Solve -h = -b*h for h.
0
Suppose -10 - 20 = -5*a. Suppose d = 2*s - a, d + 2*s = 3*s - 1. Solve 5*o = -1 - d for o.
-1
Let x(u) = 16*u - 13. Let m be x(1). Solve m = 6*q - 7*q for q.
-3
Let j be 6/(-3) + 4 + 2. Suppose 5*p - j = 11. Solve 0 = -p*h - 3 for h.
-1
Let v(r) be the third derivative of -r**5/60 - r**4/12 - 3*r**2. Let f be v(-2). Let h(m) = -8*m - 1. Let g be h(-2). Solve 0 = -3*k - f*k - g for k.
-5
Let o = 24 + -20. Solve 4*s + 12 = o for s.
-2
Suppose -3*h + n + 16 = -3*n, 0 = 3*h - n - 31. Solve d - h = 5*d for d.
-3
Suppose 0 = 3*b - 6 - 0. Let f be (1 + 5 + -1)/(1 - 0). Solve -b = -h - f for h.
-3
Let f(l) be the second derivative of l**4/12 - l**3 + l**2 + l. Let g be f(6). Suppose d - 5 = -3*k + 1, 0 = g*d + 3*k - 9. Solve d*o - o = -6 for o.
-3
Suppose -4*q + 2*f + 339 = 89, 3*q - 190 = 2*f. Let b = q - 34. Suppose l - b = -l. Solve 0 = -5*y - l - 7 for y.
-4
Let c = -40 - -65. Let u(p) = p**3 - 5*p**2 + p + 6. Let h be u(5). Solve h*m - 6*m + c = 0 for m.
-5
Suppose 120*t - 115*t - 80 = 0. Solve 0 = 6*l - 2*l + t for l.
-4
Let c = 1 - 4. Let l = c + 6. Suppose -6*b = -l*b. Solve -3*v = -b*v for v.
0
Let h(x) = -6*x**2 + 20*x - 25. Let u(p) = p**2 - 4*p + 5. Let l(w) = 2*h(w) + 11*u(w). Let q be l(-5). Solve q = k - 0 + 2 for k.
-2
Let u = -17 - -21. Solve -u*s - 21 = -1 for s.
-5
Let r = 13 - 12. Let p = 4 + r. Solve -2*u - 3*u = -p for u.
1
Suppose 0*g - 2*g = -3*p + 18, 0 = -4*g - 5*p - 14. Let s = -4 - g. Suppose -3*i + s*x = -12, -4*x = -3*i + 8*i - 20. Solve c + i*c + 15 = 0 for c.
-3
Suppose -2*p = -0*p - 4*u - 10, -3*p = u - 8. Suppose 7 = -a - 6. Let j = 2 - a. Solve -j = -6*b + p*b for b.
5
Let p = 19 - 14. Suppose 13 = 2*y + s, y + p*s + 1 = 2*y. Solve -5*o = -y*o + 4 for o.
4
Let g(n) = -n + 4. Let l be g(4). Solve l = -0*r - r - 2 for r.
-2
Suppose 2*g - 4*k - 14 = 0, -5*k + 8 = g - 2*g. Solve -g = 5*x + 3 for x.
-4
Let n(o) = -o**3 - 7*o**2 + 9*o + 10. Let d be n(-8). Solve d = 4*g - 2 for g.
1
Let x be (2 - (-15)/(-10))*0. Solve 4*l = -x*l + 16 for l.
4
Let n(q) = q**3 - 3*q**2 - 2*q - 3. Let w be n(4). Let u(o) = o**2 - 5*o + 3. Let h be u(w). Solve r - 2 = -h for r.
-1
Let b(k) = k + 0 + k**2 + 0. Let x be b(-2). Suppose 5*j - 15 = -2*p, 3*p - 8 + 20 = 4*j. Solve -x*i + j*i = -3 for i.
-3
Let k(i) = 2*i - 6. Let f be k(4). Suppose p + r = 10, r - 18 = -p - f*r. Suppose -p*u + 15 = -u. Solve 0 + u = n for n.
3
Suppose -4*z + 0*z = 0. Let l(n) = n**3 - 3*n**2 + 2*n - 4. Let j be l(4). Solve -j = -4*s - z*s for s.
5
Let r(u) = -2*u - 18. Let p be r(-10). Solve -a + p = -3*a for a.
-1
Suppose 0*g + 2*g = 3*g. Solve g*j - 10 = 5*j for j.
-2
Let y be (7/(-4))/(-7)*0. Solve y = 5*i - i + 20 for i.
-5
Suppose -2*r - 4 = -x - 1, 2*x - 6 = r. Let u(t) = 7*t**2 + t. Let c = 2 + -1. Let m be u(c). Solve r*z - m = -2*z for z.
4
Let p be 2 + ((0 - 2)*-2 - 4). Solve p*f + 2*f - 12 = 0 for f.
3
Let f = 73 + -68. Solve 8*h - 3*h = f for h.
1
Suppose 6*u + 15 = 51. Solve i + i = -u for i.
-3
Let u = 1 + -5. Let b = 19 + -27. Let h be u - -2 - (b - -1). Solve 10 - 25 = -h*z for z.
3
Suppose -2*n = -8 + 4. Solve -q + 2*q + n = 0 for q.
-2
Suppose 7*s + 16 = 9*s. Solve -a + s = a for a.
4
Suppose 0 = -n - 0*n + 2. Suppose n*g - 6*g + 20 = 0. Solve 0 = 5*v + 15 + g for v.
-4
Let u be (9 - 3)/(-2 + 1). Let q(c) = -c**2 - 8*c - 7. Let j be q(-5). Let m = u + j. Solve -v + 0 = -m for v.
2
Suppose -3*l = l. Let o be 8/4*(1 + l). Solve o*u = 13 - 5 for u.
4
Let d = -4 + 6. Let q(a) = -a - 4. Let c be q(-14). Suppose 0 = -m + 4*x - c + 4, 5*m = -5*x + 45. Solve 5*n - d*n = -m for n.
-2
Let d = 5 + -8. Let v be (d - -6)*1/3. Suppose 0 = 2*b - v - 3. Solve -b = 5*m - 17 for m.
3
Let o(y) = y**2 + 13*y + 6. Let c be o(-13). Let k = c - 1. Suppose -u + 3 = -0*a - a, k*u + a = -3. Solve p = -u*p for p.
0
Suppose i + 2 = -5*l - 1, -4*l - 22 = -2*i. Solve 3 = 5*o - i for o.
2
Let x(p) = p**2 + 9*p + 3. Let m be x(-9). Let v(l) = l + 5. Let y be v(-4). Let h b