 + i = -13 for c.
-4
Let x(q) = -q**3 + 15*q**2 + 42*q - 398. Let z be x(16). Solve -z*g + 18 = -12*g for g.
3
Suppose w + 14*w = 90. Solve 0 = 7*r + w*r - 52 for r.
4
Suppose u + 21 = 4*u. Let z(g) = -10*g - 259. Let a be z(-27). Let i = a - u. Solve -2*k + 6 = -i for k.
5
Suppose 0 = -12*g - 30*g + 504. Solve -g*z = -23 - 13 for z.
3
Suppose 5*h = -5*c, 4*h = 3*c + c - 24. Let q be (1 + 4/h)*-1*9. Solve 0 = -0*w - 3*w - q for w.
-1
Suppose -3*g + 0*o - 2*o = -19, 3*g - o = 22. Let a(w) be the first derivative of -w**4/4 + 8*w**3/3 - 7*w**2/2 - 27. Let b be a(g). Solve -j - 1 = -b*j for j.
-1
Let t = 60 + 4. Suppose 2*g = -h + 35, -4*h + t = 4*g - 0*h. Suppose -3*v = -c + 14, 0*v + g = 5*c + 2*v. Solve -a = -c*a for a.
0
Let i = 84 + -81. Solve -10 + 4 = i*d for d.
-2
Let n = 20 + -16. Let q(p) = 3*p - 10. Let z be q(n). Suppose -k + 9 = z*k + 2*a, -3*a = 4*k - 11. Solve k*w = 3*w for w.
0
Let s = -231 - -235. Solve x + 15 = -s*x for x.
-3
Let y(z) = 3*z**2 - 8*z + 6. Let t be y(4). Suppose -4*o + 4 = 4*s - 24, -s = 4*o - t. Solve -2*p + s = -8 for p.
5
Let i be (-1)/(3/(-6)) - 0. Let h(r) = r**2 - 5*r + 2. Let c be h(i). Let g be 1*(-2)/c*6. Solve g = -3*s - 6 for s.
-3
Let u be 5*(-4 - 72/(-15)). Solve u*f - 14*f + 10 = 0 for f.
1
Let t(b) = -5*b - 2. Let f(h) = 4*h + 2. Let c(j) = 3*f(j) + 2*t(j). Let r be c(0). Solve r = -3*d - 4 for d.
-2
Suppose 4*b - 5*l + 16 = 0, -5*b - l + 2*l + 1 = 0. Suppose -3*y - 3*o + 3 = 0, 2*y + 0*o + 3*o = -b. Let c be (-4)/20 + (-11)/(-5). Solve -u + y = c for u.
2
Let f(z) = 7*z**3 + z**2 + 2*z - 2. Let g be f(1). Solve g*i = -26 + 2 for i.
-3
Suppose -2*g + 4 = 0, -4*g + 2*g = -4*w. Let d = -269 - -269. Solve d*k + k = w for k.
1
Let t(h) = -h**3 - 12*h**2 - 15*h - 35. Let j be t(-11). Solve -11 = 5*y + j for y.
-4
Let l = -2834 + 2868. Solve l = 8*a - 6 for a.
5
Let t(k) = 2*k - 5*k + k**2 + 2*k - k - 8. Let s be t(4). Let y be (s/((-8)/(-4)))/2. Solve 4*i = -y*i for i.
0
Let k = 4 + -2. Let r be 1/k + (-4)/(-8). Solve -3*x + r = 4 for x.
-1
Suppose 5*l + 3*q + 2*q - 15 = 0, 6 = -2*l + 2*q. Let v be (l + (-2)/(-6))*27. Solve -5*i - v = -2*i for i.
-3
Suppose -5*z - 7 = -4*j - 0*z, -j = -5*z - 13. Let x be j + (-12)/(-3) - -3. Suppose 128 = 5*m - 3*y + 2*y, x*y = -3*m + 60. Solve -4*i + 9*i + m = 0 for i.
-5
Suppose 0 = 4*r - 2*u - 58, 5*r - 40 = -2*u - 2*u. Let y be 4/(5/(r - 2)). Solve -y = -2*m - 0*m for m.
4
Let w(o) be the first derivative of o**4/4 + 3*o**3 + 4*o**2 + 8*o + 3. Let h be w(-8). Solve 4*d + h = -0 for d.
-2
Let r be 8/18 + 250/45. Solve r*y + 23 + 1 = 0 for y.
-4
Let h be (3 - (-75)/(-20))/(2/(-72)). Suppose 7 - h = -j. Suppose 0 = -5*w - v + 25, -5*v = -2*w + 10 - 0. Solve 0*a - w*a = j for a.
-4
Suppose -2*h = -394 + 390. Let o(r) = -r**2 + 8*r + 6. Let z be o(9). Let i = z - -4. Solve -h*s = -s - i for s.
1
Let z be 27/33 - 8/(-44). Suppose z = 3*n - 5. Let y(d) = d**2 - 4. Let a be y(-4). Solve -n*f = f - a for f.
4
Suppose 4*i - 14*m = -20*m + 72, -32 = -2*i - 5*m. Solve 6 = i*l - 19*l for l.
3
Let f(k) = 5*k - 2. Let d be 2 + 1 + -2 - -2. Let w be f(d). Let z = w - 9. Solve -z*g - 12 = -0*g for g.
-3
Suppose -s = -2*r - 4*s + 22, 0 = 4*r + 4*s - 36. Solve -20 = 3*l - r for l.
-5
Suppose -15 = -11*m + 18. Solve j - m*j = -2 for j.
1
Suppose 4*s + 3*z + 1 = 0, z = -s + 4*z + 11. Solve s = -2*l - 0 for l.
-1
Let g = 816 - 816. Solve -13*d + 15*d + 10 = g for d.
-5
Suppose 37 = -2*q + 95. Solve -21*i - q = 13 for i.
-2
Let z = -6 - -29. Solve 6 = 21*o - z*o for o.
-3
Let n(x) = x**3 - 6*x**2 - x - 6. Let y be n(6). Let c = y - -12. Suppose -2*q = -2*m + 2*q + 20, q + 19 = 4*m. Solve -a + c*a = -m for a.
4
Let f be (-2 + 12)/(70/28). Solve -f = 3*h + 5 for h.
-3
Let w(n) = 46*n + 738. Let l be w(-16). Let u(q) = -q**3 - 4*q**2 - 5*q - 4. Let o be u(-3). Solve 0 = o*k + l for k.
-1
Let b be (2/(-7))/(3/(-42)). Solve 5*c = -b*c - 18 for c.
-2
Let x(s) = s**3 + 5*s**2. Let n = 7 - 5. Suppose 2*g - d = -7, n*g + 3*d = 4*g + 1. Let u be x(g). Solve -4*y - 1 + 13 = u for y.
3
Suppose -57 = 11*j - 112. Solve -3 = -j*q + 7 for q.
2
Suppose i = 3*u - 97, 5*u - 9 = i + 156. Let m = u - 31. Solve m*n + 0*n = -15 for n.
-5
Suppose 0 = 128*y - 113*y - 150. Solve -143*d + 141*d - y = 0 for d.
-5
Let i(c) = -6*c**3 - 2*c**2 - 2*c - 1. Let f be i(-1). Let b(u) = -u**3 + 3*u**2 + 2*u + 9. Let g be b(3). Solve 2*x = f*x - g for x.
5
Let b = 4 + 20. Let x be 7/3 + -2 + b/9. Solve 4*c = x + 9 for c.
3
Suppose -m = -4*t - 8, -t = -0*m + m + 17. Let l(r) = -3*r - 31. Let f be l(m). Solve -u - f = -1 for u.
-4
Suppose q - 4 = 4*r, -3*r + r - 2*q + 8 = 0. Suppose -6*z + z - 1 = 4*k, z + 5 = r. Solve -2*c + k = c for c.
2
Let z be ((-2350)/(-5))/5 - 4. Let h be (-32)/40*z/(-4). Let c = h + -16. Solve -c*n - 10 = 3*n for n.
-2
Let r(i) = -i**2 + 7*i + 4. Let m be r(7). Suppose 0*s - m*s = -5*h + 56, 2*h + 5*s = 29. Suppose -4*b = 2*x - 5*x - 20, 4*b = -5*x - h. Solve d = b + 3 for d.
5
Let o = -2984 - -2984. Solve o = -123*g + 119*g for g.
0
Suppose 7 = -4*p - 13. Suppose r + 2 = -0. Let l be (36/30)/(r/p). Solve 0*o + l*o = 9 for o.
3
Let p be ((-3)/2 - -3) + 168/(-16). Let h = 10 + p. Solve -f = -2*f + h for f.
1
Suppose -3*x = -4*x - 0*x. Suppose -5*t = -4*d - 2, -5*d + 5*t = 9*t - 18. Solve -6 = -x*j - d*j for j.
3
Suppose j = 5*r - 37, 31 = 5*r + 5*j - 3*j. Suppose -m = -4*u - r, u = -m - 1 + 3. Solve 0 = -8*b + m*b - 10 for b.
-2
Let h(p) be the third derivative of -p**5/60 - p**4/3 + 5*p**3/3 + 2*p**2. Suppose -t = 2*k - 2, 2*t + 31 = 2*k + 5. Let i be h(t). Solve -5 = -3*b + i for b.
5
Let k = -57 + 61. Let l = k - 1. Solve 0 = -6*s + l*s for s.
0
Let r be ((-6)/(-5))/(6/70). Solve -z - 12 + r = 0 for z.
2
Let b be 4/(-1) + 7 + -3. Suppose -20 = -5*r - b. Solve -5 = -r*a - 1 for a.
1
Suppose 4*h + 18 = -3*o + 22, -3*o = 5*h + 1. Solve 37*b - o = 35*b for b.
4
Let d(c) = c**2 - c - 1. Let q(a) = 4*a**2 - 17*a + 17. Let p(n) = -3*d(n) + q(n). Let r be p(14). Suppose -4*k + r = 4. Solve 19 = 5*y + k for y.
3
Let r be ((-3)/6)/(2/(-12)). Suppose -p - 112 = -5*p. Suppose -p = -r*v + 68. Solve -4*m - v = -12 for m.
-5
Suppose 48 = 6*h + 168. Let l be -3*h/12 + 3. Solve -l = z + z for z.
-4
Let h(l) = -l**2 - 21 - 12*l + 29*l - 4. Let r be h(15). Solve -r*q + 4*q = -5 for q.
5
Let c(h) = h**2 - 5*h - 2. Let z(n) = n + 1. Let y(r) = c(r) + 3*z(r). Let u(k) = k**3 + k + 3. Let q be u(0). Let l be y(q). Solve 4*m = l + 4 for m.
2
Let s = -10 + 15. Suppose -s*r + 88 = 4*b, r - 4*b - 7 - 1 = 0. Let f be ((-4)/(-3))/(r/72). Solve 0 = f*a - 2*a + 4 for a.
-1
Suppose 0 = 8*v - 11*v + 9. Suppose -v = -j - 1. Suppose -3 = j*u - 7. Solve 4 - 6 = -u*d for d.
1
Let l(y) = y**3 - 2*y**2 - 3*y - 3. Let t be l(3). Suppose 0*h - 2*h + 3*s = 0, -3*s = -h - 3. Let b be 0 + (5 - (h + t)). Solve 0 = b*w + 3 - 8 for w.
1
Let r be -6 + 3 + 1 + (-1 - 1). Let h be (r/(-3))/((-5)/(-75)). Solve -h = -4*o - o for o.
4
Let h = -5 + 7. Let p be -10*15*3/(-18). Solve -h*n + 7*n + p = 0 for n.
-5
Let i be 2/((-6)/(-4) - 1). Solve 6*g = 2*g + i for g.
1
Suppose -p + 2 = -l + 11, -2*l - 3*p = -8. Solve t + 5 = l for t.
2
Let k = -61 - -95. Let r = k + -31. Solve 0*u + 3*u + r = 0 for u.
-1
Suppose 0 = 23*b - 14*b - 72. Suppose -5*t + 0*t - 2*k + b = 0, -4*t + 4*k = 16. Solve 2*w + 0*w - 6 = t for w.
3
Let c = -2 + 9. Let n(k) = 6*k**2 + 30*k + 29. Let w(z) = -z**2 - 6*z - 6. Let u(r) = -2*n(r) - 11*w(r). Let m be u(c). Solve 3*i - 5 = m for i.
2
Let r(s) = -2*s**2 + s - 1. Let a be r(1). Let i = a + 5. Suppose -i*b = -8*b + 25. Solve l + 8 = b*l for l.
2
Suppose -15 = -4*m + m. Suppose -p + 2*d = -22, m*p - 2*d - 73 = 21. Let k = p - 7. Solve -k = -4*q - 3 for q.
2
Let v be 64 + -71 - -3*10. Solve -3 = v*o - 24*o for o.
3
Let l be -5 - 64/(-12) - (-8)/(-24). Solve 140*n - 136*n = l for n.
0
Suppose -113*d = -115*d. Solve d = 3*o + 3 for o.
-1
Suppose 0 = 5*f - 42 - 13. Suppose 5*k - r - f = 0, -3*k + 2 = 2*r - 2. Let s be 15/k*(-6)/(-5). Solve -5*b - s = 11 for b.
-4
Let j be (-6)/(-9) + 7 + (-15)/9. Solve 5 = j*t + 35 for t.
-5
Let g(r) = -r + 11. Suppose -7*a + 16 = -5*a. Let t be g(a). Solve -3 = -3*l + t for l.
2
Suppose 5*d - 21 = -1. Let a be 18/45 + (84/(-15))/(-1). Solve -d*t = -a - 2 for t.
2
Let j = 48 + -73. Let l = j + 35. Sol