- 17 - d = 0 for k.
-4
Let u(l) = l**2 - 7*l + 2. Let g be u(8). Solve -5*y + g = -0 for y.
2
Let x = -116 - -119. Solve -4 = -x*u + 2*u for u.
4
Suppose 0*u - 8 = 2*u. Let g be (-711)/(-63) + u/14. Let n(q) = -2*q - 1. Let a be n(-2). Solve -4*t = g - a for t.
-2
Let b be ((-16)/(-8))/((-1)/(-2)). Let c(l) = l**3 - 3*l**2 - 4*l + 5. Let a be c(b). Solve -a + 2 = -3*m for m.
1
Let p be (-12)/(-2)*30/9. Solve 7*s = 3*s + p for s.
5
Let v(n) = 2*n**3 - 4*n**2 + 3*n - 2. Let m be v(2). Solve -m*a + 2 = -6 for a.
2
Suppose -24 = -2*o + 5*o. Let f = -3 - o. Solve -7 = 3*k + f for k.
-4
Let k(h) = h**3 - 5*h**2 + 2*h. Let v(f) = 4*f**3 - 21*f**2 + 9*f - 1. Let o(m) = -9*k(m) + 2*v(m). Let j be o(3). Let l = 3 + j. Solve -l = u + 1 for u.
-2
Let v be 3/(3 - 24/9). Let z be ((-12)/v)/((-2)/6). Let a be 66/z - (-15)/10. Solve a - 3 = -5*f for f.
-3
Let s = 4 + -1. Let d be (-1 - 1)/(-1) + 2. Solve 1 - d = s*b for b.
-1
Suppose -b = 4*w + 98 - 21, 0 = -5*w - b - 97. Let s be (-13)/(-5) - 8/w. Solve 2*p + s*p = 0 for p.
0
Let o be -2 - (-1)/((-3)/(-21)). Let c be 2/8 + 39/(-12). Let p = c + o. Solve 0*j = -j + p for j.
2
Let v(f) = -f**3 - 7*f**2 - f - 4. Let w be v(-7). Suppose 4*i - w*m - 8 = -0*i, 4*i + m = 8. Solve i*p + 2*p = -4 for p.
-1
Let g(w) = -3*w + 1. Let f be g(-1). Suppose -2*c + 13 = -3*y, 2*c - f*y = 20 - 4. Let k be (-1 - 1*-11)/c. Solve -k*p - 17 = 3 for p.
-4
Let y = 1 + 2. Solve -y*u - 7 = 5 for u.
-4
Let h = 36 - 36. Solve -3*k + k = h for k.
0
Suppose -3*k + 19 = -2*q, 0 = 2*k + 4*q - 2*q + 4. Suppose k*p - 4*p + 23 = 2*c, -5*c + 5*p = -65. Solve -7*x = -3*x - c for x.
3
Suppose 13*u = 10*u + 9. Suppose -u*q - q = 0. Solve 2*j + q*j = 0 for j.
0
Let h be (60/(-1))/(12/(-8)). Let v be (6/2)/(15/h). Solve -5*k - v = -3 for k.
-1
Let c(b) = -2*b**3 + 15*b**2 - 5*b - 9. Let g be c(7). Solve 0 = z + g*z for z.
0
Suppose 6*s + 4*n - 52 = 3*s, -3*n - 36 = -4*s. Solve 5*k = k + s for k.
3
Let r(g) = -g**3 - 9*g**2 + 3*g + 12. Let q be r(-9). Let k = q - -21. Solve 0 = -4*j + k*j + 2 for j.
-1
Let j = -10 - -14. Let b = -4 + j. Solve b + 2 = -k for k.
-2
Let t(b) = 2*b - 7. Let c be t(6). Suppose -2*x + c*a = -0*a, 12 = 2*x + a. Solve x = 2*y - 1 for y.
3
Suppose z + 2 = 4. Let n = 0 + 0. Solve s - z = -n*s for s.
2
Suppose -12 = -15*k + 9*k. Solve 3*d = -k - 1 for d.
-1
Let z(g) = g**2 + g - 4. Let c be z(-5). Suppose -3*n - 27 = 6. Let k = c + n. Solve 0 = k*u - 40 + 15 for u.
5
Suppose 0 = -z + 3*z. Suppose z*g = -6*g. Solve 6*u - u + 25 = g for u.
-5
Let p(i) = 2*i - 6. Let s be p(6). Suppose s*v - 15 = v. Solve v*r = -2*r for r.
0
Suppose l - 6 = -2*l. Suppose -2*p = -l*x + 3*p + 15, -17 = -4*x - 3*p. Suppose 0 = -x*f, 5*k + 5*f = 2*k. Solve -5*i - 9 + 24 = k for i.
3
Let g(y) = y**2 + y + 2. Suppose 0 = -s - 0*s - 3*c - 6, -s + c = -2. Let l be g(s). Solve -l*v + 12 = v for v.
4
Let w be -10*(3/6)/(-1). Let z(g) = -g - w*g + 3*g + g**2. Let y be z(3). Solve j - 3*j - 6 = y for j.
-3
Let h(y) = y**3 - 5*y**2 - y + 3. Let l = 11 - 6. Let u be h(l). Let t be 1*-1*0/u. Solve 3*k + 15 = -t*k for k.
-5
Suppose -4*p + 5*s - 12 = 2*s, 4*p - 5*s = -20. Let g = -4 + 10. Let m = -4 + g. Solve 4 = -m*h - p for h.
-2
Let u be (-3 + 3)/(2/1). Let l(f) = f**3 - f**2 + 16. Let h be l(u). Let i be (2 + h)/(3 + -1). Solve -s = 2*s - i for s.
3
Suppose 0 = 5*f - 5 - 15. Solve -4*o = -2*o + f for o.
-2
Suppose -g + 3 + 0 = 0. Suppose 0 = -g*c - c. Solve -5*b - 32 + 7 = c for b.
-5
Let c = 1 - 3. Let r(h) = -2*h - 2. Let s be r(c). Solve q + 0*q + s = 0 for q.
-2
Let k be 25/10 - (-1)/2. Suppose -k*y + 0*w - 9 = 5*w, 3*y = -w + 3. Suppose -5*u - 2*g = y*g - 19, -5*g + 2 = -u. Solve r - 2*r - u = 0 for r.
-3
Let x(q) = -q**3 + 5*q**2 - 2*q - 4. Let l be x(4). Suppose 15 = m + l*m. Suppose -s - 9 = 3*f, m = -4*s - f - 0. Solve 4*r - 2*r - 8 = s for r.
4
Let g(y) = -y**2 + 10*y + 13. Let m be g(11). Suppose v + 27 = 5*n, -m*v = 4*n + 3*v - 39. Solve -5*h - 1 + n = 0 for h.
1
Let g = 57 - 51. Solve g*l - 6 = 8*l for l.
-3
Let q(y) = y**3 + 7*y**2 + 2 - 6*y - 2*y - 11 - 2*y**2. Let p(c) = 6*c**3 + c**2 - 1. Let v be p(-1). Let t be q(v). Solve r = -2*r - t for r.
-1
Let u be -12 - -13 - (0/3 - 5). Solve -u*k = -4*k + 8 for k.
-4
Let v be 1/(2/4) + 10. Suppose -3*h + 3 = -v. Solve -u - h = -0 for u.
-5
Suppose k = -2*t + 10, 0*t + k + 5 = 3*t. Let p(y) = -y**2 - 3*y. Let g be p(-2). Solve -g = t*b + 10 for b.
-4
Let c(k) = -k**3 - k**2 + 13*k. Let z be c(3). Solve z*q + 0*q = 9 for q.
3
Let l = 21 + -18. Solve 0 = -4*a + a - l for a.
-1
Let v(s) = 2*s**2 + 4*s. Let a be v(-2). Solve 0 = -2*y - a + 8 for y.
4
Let i(d) be the third derivative of -5*d**4/24 - d**3/6 - 3*d**2. Let p be i(-1). Solve 0*f - 4 = -p*f for f.
1
Let p = 63 + -58. Solve 9 = p*s - 6 for s.
3
Let c = -6 + 7. Let z be ((1 - 2)*c)/(-1). Solve -1 - z = -2*v for v.
1
Let z be (4 + -2)*(-2)/(-2). Solve 3*o = -z*o for o.
0
Let w(a) = a**3 + 4*a**2 - 7*a - 8. Let m be w(-5). Solve -6 = -2*r - m for r.
2
Let g(d) = 3*d + 23. Let y be g(-6). Solve -3*k - y = 2*k for k.
-1
Let m(o) = -o**2 - 12*o - 2*o + o - 15. Let g be m(-11). Solve -g - 2 = -3*c for c.
3
Let v be (1/(-3))/(1/(-12)). Suppose -5*y - 3*d + d = -7, -v*y - 8 = 5*d. Solve -r = y*r + 8 for r.
-2
Let s(w) = -w**2 - 5*w. Suppose -3 - 5 = 2*m. Let y be s(m). Suppose y*t - 13 - 22 = 5*r, 7 = 2*t + r. Solve 6*i = i + t for i.
1
Let u = -5 + 5. Suppose u*l = l. Suppose 4*t - 2*t = l. Solve -s = -t*s for s.
0
Let d(z) be the first derivative of -z**4/4 - 8*z**3/3 - 3*z**2/2 - 9*z - 2. Let o be d(-8). Suppose -7*w = c - 2*w - o, 0 = 2*w - 6. Solve -4 = -4*k - c for k.
1
Let l(g) = 11*g. Let z be l(-1). Let c(x) = -2*x + 2. Let b be c(-4). Let w be (-15)/b + z/(-2). Solve w*r + 9 = r for r.
-3
Let k be -2 - 2 - (-6)/3. Let i be k - (44/2 + 3). Let j = i + 52. Solve -6*w - j = -w for w.
-5
Let h(y) = 21*y**2 - y - 2. Let s be h(-2). Suppose 3*r - 6*r = -5*p - 38, 5*r - s = -2*p. Suppose 3*m - r = -1. Solve m*w + 28 - 8 = 0 for w.
-4
Let h(b) = 7*b - 4. Let r be h(-2). Let u be (r/(-5))/(10/25). Solve -5*f - 1 - u = 0 for f.
-2
Suppose -4*c - p + 17 = 0, 2*c - c - 8 = -p. Suppose -l - c*l = -16. Solve d + d = l for d.
2
Suppose -45 = 4*z - 9*z. Let x = z - 7. Solve -3*c + x + 13 = 0 for c.
5
Let q = 1 + -4. Let l be ((-9)/6)/((-9)/(-48)). Let b = q - l. Solve -b*m = -0*m - 20 for m.
4
Suppose 2*q + 0 = 6, -4*z + 35 = 5*q. Solve -z*i = -8 - 2 for i.
2
Let k(r) = 2*r**2 + 6*r + 4. Let f be k(-3). Solve -i - f = -3 for i.
-1
Let s(d) = d**2 - 4*d - 16. Let u be s(7). Solve 6*j + u = j for j.
-1
Let v = 1 - -2. Let t(c) = -c**2 + 2*c + 2. Let y be t(v). Let d be 0 - (y - (-1 + 0)). Solve -3*n = -d*n + 12 for n.
-4
Let c = 5 - 3. Let a be (-1)/(-1) + 1 + 4. Let p be (-6)/(-3) + a/c. Solve -v - p = -1 for v.
-4
Let l = 14 + -4. Let z be 15/25 + 24/l. Solve 4*q + z - 23 = 0 for q.
5
Suppose -3*i - 1 - 11 = -3*b, -b - 4*i - 1 = 0. Solve 5*r - b = 2*r for r.
1
Suppose -5*q = -2*b + 89, q - 193 = -4*b - 4*q. Let d = b - 34. Solve 3 = -2*i + d for i.
5
Let d = 16 - 13. Solve d*n + 1 + 14 = 0 for n.
-5
Let f(n) = -2*n - 32. Let l be f(-16). Solve -r = 5 - l for r.
-5
Let b = -149 + 260. Let y be ((-1)/(-1))/(3/b). Suppose y = 3*x + 1. Solve -m + x = -4*m for m.
-4
Suppose r = 4*a - 36, -3*a + 10 = 3*r - 2. Suppose -x = 4*q - 17, -3*q + 11 = 2*x - a. Solve 0*z = -q*z + 12 for z.
4
Let l be (2*-3)/(6/(-4)). Suppose -5*y = -3*y - 10. Suppose 0 = -2*b + 3*n - 9, -3*b - y*n = -n - 12. Solve b = l*d + 12 + 8 for d.
-5
Let a(y) = -y - 4. Let b be a(-4). Solve b*r - 12 = -4*r for r.
3
Suppose 0 = -5*d - 5*q + 30, 3*q + 1 = 4*q. Suppose -d*b - 5*s = -15, -2*b + 4*s + 0 = -12. Suppose -12 - 6 = -3*m. Solve m = -b*k - 6 for k.
-3
Suppose -23 = -5*c - 2*y, -3*c = -y - 0*y - 5. Suppose c*w = 4*w. Solve 0*m + m - 4 = w for m.
4
Let z(g) = g**2 - 7*g + 9. Let x be z(6). Solve -x*s + 12 = s for s.
3
Let v be 2 + -1*(0 - -5). Let h be ((-2)/(-4))/(v/30). Let i = h + 8. Solve 20 = -i*m - m for m.
-5
Let a be ((-9)/36)/(2/(-24)). Solve a = -2*b - b for b.
-1
Let m be (-6)/(-27) + (-43)/(-9). Solve 21 = -m*o - 4 for o.
-5
Suppose -8*w - 2 = -34. Solve -2*a = -w*a for a.
0
Suppose 2*u - 4*l + 4 = 0, -u - 16 = -5*u + 2*l. Suppose u*y = y. Let m = 0 - y. Solve m = 3*c - 5 - 1 fo