 + x for k.
5
Let h(m) = m**2 + 5*m - 20. Let k be h(-8). Let v(y) = 3*y**2 + 2*y - 1. Let t be (-2 + -1)*(-1)/3. Let u be v(t). Solve -k*c - u = 4 for c.
-2
Let w be (-2)/(-7) + (-120)/(-21). Suppose 5*r + 16 = -3*z, 0 = -w*r + 2*r + 4. Let t = 7 + z. Solve t = b - 5*b + 20 for b.
5
Suppose -v - 3*n - 5 = -5*n, 5*v + n + 3 = 0. Let j be 0 + v + (-3)/(-3). Solve y = -j*y + 3 for y.
3
Suppose 3*p = -4 + 16. Solve 4 = 5*x - p*x for x.
4
Let w be 2/(-8) + (-5)/(-20). Solve -10 = -2*h - w*h for h.
5
Let u(f) = -f**3 + 11*f**2 - 19*f + 9. Let d be u(9). Solve j + 3*j = d for j.
0
Let d = 8 - 3. Suppose -14 = -d*t - 4. Solve r - t*r = 2 for r.
-2
Let v = 14 - 8. Suppose -4*b - r + 8 = 0, b + v = -3*r - 3. Solve -8*k - 10 = -b*k for k.
-2
Let c(t) = -5*t. Let d(q) = 6*q. Let z(l) = 5*c(l) + 4*d(l). Let x be z(0). Let u(i) = 5*i**3 + 2*i**2 - i. Let m be u(1). Solve -3*a = -x*a - m for a.
2
Let l be -1 + 3 + (4 - 4). Solve 1 - 9 = l*r for r.
-4
Suppose 2 = -2*n - t, -2 = 3*n + 2*t + 2. Suppose 0*s + s - 27 = 0. Let m = s + -15. Solve -3*r + n = m for r.
-4
Let v(p) = -2*p + 9. Let m be v(6). Let i = 8 + m. Suppose 0*l = i*l - 5, -y + 15 = l. Solve y = -5*u - 11 for u.
-5
Suppose -10 + 62 = 4*o. Let g = 18 - o. Solve 12 = g*p - 8 for p.
4
Suppose -c + 1 = 4*x - 0, 3*x + 2*c = 2. Solve v + 0*v + 3 = x for v.
-3
Let c(y) = y**2 + 5*y - 5. Let r be c(-6). Suppose r = -2*v + 5. Suppose -3*j = -v*p + 8, 5*j - 8 = -0*j - 2*p. Solve -3 = -n - j*n for n.
3
Let q be 1*(2 - 2 - -2). Solve 0*j - q*j = 2 for j.
-1
Suppose -21 = 4*p - 5*o, 2*p - 26 = p - 5*o. Suppose p - 6 = -s. Solve s*t + 2 = -3 for t.
-1
Let w(a) = a**2 - 7*a + 4. Let d be w(6). Let j be (d/3)/(2/(-18)). Solve 2*k - 4 + j = 0 for k.
-1
Let w = -113 - -113. Solve 0 = 2*n - w + 4 for n.
-2
Suppose 0*a + 5*a = 5. Let d be (0 - -1 - a)/(-1). Suppose 3*t - 12 - 3 = d. Solve -t*v + 7 + 3 = 0 for v.
2
Suppose 0 = -4*m + 3*v + 3, 2*m - m - 2*v - 2 = 0. Suppose -3*w + 0*w = m. Suppose 0 = -x - 2*x. Solve w*h - 2*h = x for h.
0
Let z(b) = -b + 1. Let s be z(5). Let o(a) = -a - 1. Let p be o(s). Solve -p*v + 7*v + 8 = 0 for v.
-2
Let v be (-1 - -1) + -1 + 1. Let b(m) = -m + 12. Let k be b(v). Solve 4*h - k - 8 = 0 for h.
5
Suppose 3*g = -4*y + 3, -2*g - 4*y - 27 = -5*g. Solve -g = -2*q + q for q.
5
Let l(n) = -n**2 - 4*n - 3. Let i be l(-3). Suppose -d = -i*d. Solve d = -0*y - 3*y - 3 for y.
-1
Let a(d) = d**2 - 10*d + 8. Let x(w) = -4*w**2 + 31*w - 23. Let j(m) = -7*a(m) - 2*x(m). Let s be j(-9). Let z be (-3*(s + 2))/(-1). Solve 2*n = n - z for n.
-3
Suppose -5*m - 4*j - 28 = 23, 5*m - j + 56 = 0. Let l be 2 + 4/(-4)*10. Let v = l - m. Solve 2*p = -v*p for p.
0
Suppose -5*d + 4*l + 7 = 0, 5*l = 5*d - 8 + 3. Solve -v + 0*v - d = 0 for v.
-3
Suppose 22*h = 13*h. Solve -j - 5 + 2 = h for j.
-3
Suppose -l = l - 3*x - 20, -4*l = 4*x. Solve l*s - 3 = 5 for s.
2
Let v(a) = a + 3. Let x be v(-7). Let z = x - -4. Solve -k - 1 - 1 = z for k.
-2
Suppose 2*k = -3*k. Suppose -2*t - 3*q = 10, k = 4*t + 2*q + 23 - 3. Let s be t/(-4)*(-1 - -9). Solve -u - 4*u = s for u.
-2
Let f(a) = -a**2 - 8*a - 1. Let u be f(-8). Let t = u + 3. Solve -o = o - t for o.
1
Let t = -4 - -10. Let n(j) = -t*j**2 + 3*j**2 - j**3 + 0*j**2. Let p be n(-3). Solve w + w + 4 = p for w.
-2
Let o(h) be the third derivative of -h**5/60 - 3*h**4/8 - h**3/2 + h**2. Let a be o(-8). Solve n - a = 6*n for n.
-1
Suppose 2*g = -g. Suppose 25*f = 147 + 253. Solve f = -g*z - 4*z for z.
-4
Suppose -z + 2 = -2. Suppose 4*p + z*n = -8, -2*p - 3*n = -6*p + 6. Let v(q) = q**2 - 4*q. Let h be v(5). Solve k - h*k = p for k.
0
Suppose 3*p = 3*w - 6, -3*p + 4 + 10 = w. Solve -p*d + 2*d - 3 = 0 for d.
-3
Let g = -58 + 61. Let s(i) = -i**3 + i**2 + i + 7. Let a be s(0). Solve -w + a = g for w.
4
Suppose 0 = 2*n + 10, -4*d - 14 + 4 = 2*n. Solve -2 = -d*m + 2*m for m.
-1
Let o(g) = -g**3 - 14*g**2 + 8. Let v be o(-14). Suppose -v = -r - 3*r. Solve 5*m = -8 - r for m.
-2
Suppose -2*h = -4*h. Let y(w) = -2*w - 1. Let b be y(-3). Solve h = x - 0*x - b for x.
5
Suppose -z + 0*z = -2*c + 8, -2*z - 4 = -c. Let f be (1 - z)*(2 + -2). Solve f = n - 4 - 0 for n.
4
Let y(l) be the first derivative of -l**3/3 + 3*l**2/2 + 4*l + 1. Let k be y(4). Let t(i) = -i**3 + 8*i**2 + i - 6. Let r be t(8). Solve -r*a = -k*a for a.
0
Suppose -4*j + 5 - 18 = f, 0 = -2*f + 5*j + 26. Solve f*z + 6 = 21 for z.
5
Suppose -n + 14 = -4*b, 2*n + 4*b + 0 = -8. Let p be (-3)/2*(-60)/18. Let v = -1 + p. Solve 6 = -v*q + n for q.
-1
Let g(p) = -2*p - 3. Suppose 4*v = -9 + 1. Let h be g(v). Solve -2*l + 11 - h = 0 for l.
5
Let a(t) = 6*t + 87. Let r be a(-14). Suppose -3*v + 6 = -k, 2*v + 2 = -4*k + 3*v. Solve y + 1 - r = k for y.
2
Let q = 119 + -114. Solve -q*p + 18 = 3 for p.
3
Let m be (-2 - -1)*(0 + -3). Let c(w) = w**2 + 3*w - 7. Let x be c(-5). Suppose -3*g + 5 = -v, x*g - v - 4*v - 1 = 0. Solve m*i = g*i for i.
0
Suppose 15 = 4*g + g. Solve -h = g*h + 4 for h.
-1
Let s = 0 - 1. Let m(y) = -y + 1. Let j(b) = b**2 - 5*b + 3. Let f(l) = s*j(l) - 2*m(l). Let k be f(6). Solve -8 = 3*r + k for r.
-3
Let g(i) = 3*i - 25. Let m be g(9). Solve -m*y + 10 = -0*y for y.
5
Let z = -2 + 2. Suppose z = -2*y + 6*y. Solve 4 = 4*i - y*i for i.
1
Let u = 2 - 1. Suppose -u = 5*t - 6*t. Suppose -2*x + t = -5. Solve x*h + 15 = -2*h for h.
-3
Let m(b) = -b**3 + 6*b**2 + b - 4. Let h be m(6). Let t be 0/(2/(2 + -3)). Suppose y - 5*r + 24 = t, -9 = 4*y - 3*y - h*r. Solve 4*k = -13 + y for k.
-3
Let o(k) = -k**2 + 4*k + 5. Let i be o(4). Suppose -3*q + i*g - 3*g = 5, 0 = -3*q - g + 7. Solve -v = -3 + q for v.
2
Let j = 8 - 7. Solve -2*o + j = 3 for o.
-1
Let c = 54 + -12. Suppose c = 5*i + 4*u, 0*u - 2*u - 34 = -3*i. Solve -5*n + i + 0 = 0 for n.
2
Let k = -23 - -38. Let a(v) = -v**3 + 7*v**2 + 3. Let m be a(7). Suppose m*x - 25 = 2*y, 0 + 10 = -x - 3*y. Solve k - x = 5*r for r.
2
Suppose 0*r - 4*r + 8 = 0. Suppose -4*a - r*u = -6*u, -a + 16 = 3*u. Suppose 5*x = a*v - 0*v + 84, 0 = -2*x + 2*v + 32. Solve 0 = -o - 3*o - x for o.
-5
Suppose -3*z = -15, -3*n + 2*z = 3*z + 16. Let r(o) = -o**3 - 8*o**2 - 6*o + 9. Let x be r(n). Let f = -1 + x. Solve 3*h + 13 = f for h.
-4
Let x be ((-1)/2)/(2/(-40)). Suppose 2*m + 25 = 5*w, 0 = w + 4*m + x + 7. Let v = -30 + 35. Solve -w = v*o - 2*o for o.
-1
Let p = 31 + -29. Solve -o + p = -2 for o.
4
Let z(d) = 2*d - 7. Suppose 0*f - 5*f + 25 = 0. Let s be z(f). Solve 0 = -0*y + y - s for y.
3
Let z = 0 - -4. Suppose 3*i + z = -4*m + 2*m, 7 = i - m. Suppose 2*s - 2*q = 10, i*s - 2*q = 2*q + 10. Solve g - 1 + s = 0 for g.
-4
Suppose x + 2*i - 6*i - 12 = 0, 28 = 4*x + 4*i. Solve -x*b = -9*b - 2 for b.
-2
Suppose -h = 4*m - 2, -2*h + 5*m = 3*h - 35. Suppose 0 = -4*w - 4*a + 84, -h*w = -2*w - 2*a - 60. Suppose 2*u + 1 = w. Solve 5*v + 12 = -u for v.
-4
Let m = -12 - -15. Solve -m = 4*a + 1 for a.
-1
Let g = -2 + -14. Let w be 14/4*g/(-14). Solve -w*b = -1 + 17 for b.
-4
Let x = 0 - -3. Suppose 0 = x*q - 2*u - 25, 3*u = 4*q - 18 - 17. Solve 2*k + q = 3*k for k.
5
Suppose -5*x + 14 = 2*m, -20 = -5*m - 7*x + 2*x. Solve m*y = y for y.
0
Let y = -82 - -82. Solve -s + 3*s + 4 = y for s.
-2
Let z(n) = -n**2 + 13*n - 32. Let o be z(9). Solve 7*d - o*d - 9 = 0 for d.
3
Let d = -4 - -6. Let m(c) = c**2 - 2*c. Let f be m(d). Solve i = 3 - f for i.
3
Let k(y) be the second derivative of -y**5/20 - 2*y**4/3 + 3*y**2/2 + 3*y. Let o be k(-8). Solve 0*q = q + o for q.
-3
Suppose 0*t + 6 = 3*t + 4*c, -14 = t - 4*c. Let w be (-18)/(-8) - t/(-8). Solve 3*z - 20 = -w*z for z.
4
Suppose -2*r = -2*d, -5*r + d = -3*d. Suppose r*n - 5*n = 0. Suppose 25 = s - 5*l, 3*s = -2*l + 2 + 5. Solve -s*v + n = -15 for v.
3
Let a(s) be the second derivative of -s**5/20 + s**4/6 + s**3/2 - 3*s**2/2 + 4*s. Let p be a(2). Solve -z + 2 - p = 0 for z.
-1
Let u be 4/(-18) + (-8)/(-36). Let v be 0/(u - (-5 - -2)). Solve q = -v*q for q.
0
Let g(z) = -z + 13. Suppose -3*l + 6 = -18. Let n be g(l). Suppose 0 = 2*d - 5*h + 9*h - 12, -2 = 4*d - n*h. Solve -d*r + 4 = -4*r for r.
-2
Let t(r) = 2*r - 1. Let s(j) = j - 1. Let w(p) = 5*s(p) - 2*t(p). Let l be w(9). Solve n + 1 = l for n.
5
Let z = -51 + 61. Solve 4*g - z = 6*g for g.
-5
Suppose 0 = 2*a + 3*a. Suppose -3*y = 3*p - 4*y + 6, a = 2*y - 6. Let u = 3 + p. Solve 0 = x - u*x - 5 for 