 - 2*j - 46 = 0, -3*f - 5 + 12 = 4*j. Suppose 0 = -f*w + 11*w - 16. Solve -4*p + 12 + w = 0 for p.
5
Let k(b) = b**3 + 6*b**2 + 7*b + 14. Let u be k(-5). Let r be 3 - u - 1 - -3. Solve 4*x + r = -11 for x.
-3
Let t be 5/((-30)/3)*-16. Let s be 5 + -7 + t + 6/(-2). Solve 5 = s*d - 8*d for d.
-1
Suppose 63 = -2*j - 5. Let w = j - -38. Solve w*v + 24 = 4 for v.
-5
Let r = 103 + -93. Solve -12 = 6*z - r*z for z.
3
Let p(l) = -l**2 - 8*l - 7. Let y be p(-7). Suppose -2 = 2*g - y. Let n be g + 4 + 1 + 1. Solve -n*k + 1 = -4 for k.
1
Suppose 17 = 5*j - u, 3*u + 0*u = -5*j + 9. Suppose -18*z + 323 = -127. Solve j*v + 2*v = -z for v.
-5
Let f be 14/49*(-56)/(-2). Suppose 3*j = 5*q + f, 10 = 5*j - 2*q + 3. Solve 0 = 3*o - j - 2 for o.
1
Let x(f) = -f**2 + 27*f - 71. Let y be x(3). Let c = 6 - 4. Let a be c/y*(-1)/(-1). Solve -a*l - 3 = 3 for l.
-3
Suppose 17*t = 26 + 8. Let b be 14 - (1 + 2/(-2)). Suppose 3*v = -h - v + b, -v + 3 = 0. Solve -h = -t*k + k for k.
2
Let k = -9 + 7. Let p = k + 7. Let w be ((-6)/p)/((-18)/60). Solve -12 + 4 = w*f for f.
-2
Suppose -4*y + 5*k + 99 = 0, 2*y - 3*y - k + 27 = 0. Let b = 12 - -13. Let s = y - b. Solve a + s = -2 for a.
-3
Let l = 65 + -60. Solve c = l*c - 12 for c.
3
Let m = -94 - -129. Suppose 7*u + m = 98. Solve 0 = -u*d + 3*d - 12 for d.
-2
Suppose -f - f + 28 = -4*d, 0 = -2*f - 4*d + 52. Suppose 8*u = 13*u - f. Solve -5*o + 4*o = u for o.
-4
Let m = -28 + 31. Let h(s) = s - 3. Let x be h(m). Suppose 0 = -x*j + 5*j. Solve -3*d + 6*d = j for d.
0
Suppose 6*t - 126 = -t. Suppose -3*h - 3*u = -t, 26 = 5*h - 4*u + 5*u. Solve -2*d + h - 3 = 0 for d.
1
Let m(v) = -v**2 - 8*v - 3. Let z be m(-5). Solve 0 = 7*g - 4*g + z for g.
-4
Let o be (-6)/(1 - -2 - 5). Let m(z) = -4*z + 3. Let r be m(o). Let g(a) = a**2 + 8*a - 4. Let i be g(r). Solve -i*k + 12 = -k for k.
3
Suppose -4*w = d + 10, -7*d - 3*w = -2*d - 1. Let y = 16 - 15. Suppose v + v + 3*u - 7 = 0, 0 = -2*v + 5*u - y. Solve -8 = -v*f + d for f.
5
Let x = -293 + 167. Let r be (x/(-105))/((-2)/(-5)). Solve -r*h + 0*h = 6 for h.
-2
Let g = -1369 - -1369. Solve 11*x - 5*x + 12 = g for x.
-2
Suppose 3*k - 26 = -2*l, 2*k + 5*l - 19 = -20. Solve -14*g - 78 = k*g for g.
-3
Let y be (-136)/(-12)*(5 - 2). Suppose 5*v = 7*v - y. Suppose 5*z - t - v = 0, 5*z - 3*t - 1 = 10. Solve g = -g - z for g.
-2
Let m be 7/2*((-1498)/(-98) - 11). Solve -11*a = -40 - m for a.
5
Let m(f) = -f + 9. Let s be m(9). Suppose -50 = -2*w + 2*p, 2*w + p = -s*p + 50. Suppose -n + i + 15 = n, 0 = -n + 4*i + 18. Solve -n*o = -o - w for o.
5
Let m = -6 - -9. Let n be (-57)/(-12) - (-3)/24*2. Suppose 2*q - 4*l = 14, 0 = -0*q + n*q - 2*l - 27. Solve q = -m*y + 20 for y.
5
Let o(c) = -3*c. Let i be o(-8). Suppose 3*n - 6*n + i = 0. Solve 3*b + n = b for b.
-4
Let s(n) = n**2 + 1. Let t(a) = -3*a**2 - 9*a - 2*a**2 - 1 + 2 - a**3 - 8*a**2. Let c(j) = 3*s(j) + t(j). Let v be c(-9). Solve 0*x + v = -x for x.
-4
Suppose 77*j - 72*j = 5. Suppose -5*y + 2*t + 21 = -0*y, 2*y - 9 = t. Solve -y = 2*p - j for p.
-1
Suppose -1 - 15 = -4*g, 5*n - 4*g - 4 = 0. Suppose n*t - 15 = -c, 4*t + 4*c = t - 5. Solve -t = -3*y - 2 for y.
1
Suppose 8*y = 3*y, 4*i + 5*y - 112 = 0. Solve -8*c = i + 4 for c.
-4
Let u(c) = -6*c - 118. Let h be u(-20). Solve 22 = -h*w + 12 for w.
-5
Suppose -3 = 5*d - 13. Suppose 2*v - 2*c - 4 = 0, d*v + 7 + 4 = -3*c. Let q(p) = -3*p + 1. Let f be q(v). Solve 3*n - 5*n + f = 0 for n.
2
Let m be 2/13 + (-315)/(-65). Suppose 2*h + m*b = -21, -29 = -2*h - 4*b + 9*b. Suppose 3*c + h = -2*k + 8, -k - 8 = -4*c. Solve c*n + 2 = -0*n for n.
-1
Suppose 0 = 8*b + 62 - 238. Solve b = -h + 25 for h.
3
Let z(p) = -2*p**2 + 18*p + 109. Let r be z(13). Solve 0 = j + r - 4 for j.
-1
Let d be (3/(-6))/((15/1990)/(-3)). Solve d*g = 205*g - 12 for g.
2
Let j be ((-4)/(-8))/((-1)/(-10)). Solve -1 = -j*f - 11 for f.
-2
Let q = -94 - -99. Suppose -2*r - 3*t + 19 = 0, -t + 6 = q*r - 9. Solve 0 = 3*m - 4 - r for m.
2
Suppose 3*f = -5*q + 51, -2*f + 7*q = 4*q - 15. Solve 0 = -8*a + 12*a - f for a.
3
Suppose 0 = -25*i + 3*i + 396. Solve -u + i = 18 for u.
0
Suppose -3 = -4*n - 7, -2*n + 8 = 5*k. Suppose 8*p + 17 = 3*r + 3*p, 2*p - 6 = -k*r. Solve t + r*t - 25 = 0 for t.
5
Let j be (-2 + (-232)/24)*24/(-20). Solve 2 = j*t - 12 for t.
1
Let v = -18 - -3. Let m = v + 21. Let n(y) = y**3 - 7*y**2 + 7*y - 5. Let t be n(m). Solve t = 2*z + 7 for z.
-3
Let r = 613 + -603. Solve r - 5 = -g for g.
-5
Suppose 5*w - 3*t - 7 - 60 = 0, 4*w - 4*t - 60 = 0. Suppose 0 = -3*y + 5*v + w, 2*y - 7*y = -2*v - 12. Solve 0 = y*h - 0 - 10 for h.
5
Suppose -5*s + 19 = -6. Suppose -s*j + 17 = -83. Let f be (15/9)/(j/72). Solve 0 = d + d + f for d.
-3
Suppose -5*q + 5*z - 117 = -8*q, q - 4*z - 22 = 0. Solve q = -7*f + 20 for f.
-2
Suppose 0 = 15*z - 12*z - 12. Suppose 0*h - 8 = -z*h. Solve -4 - 4 = h*f for f.
-4
Let y(h) = -4*h. Let c(k) = -8*k. Let n(z) = -3*c(z) + 5*y(z). Let f be n(1). Let s be 202/10 + (-3)/15. Solve f*b = -b - s for b.
-4
Let h = -144 + 221. Suppose 9*m - h = -5. Solve c + m = -c for c.
-4
Suppose 88 = 4*d + 7*d. Suppose 0 = -a - 3 + d. Solve 6*g = a + 1 for g.
1
Let k be 6/(12/14) - (-9 + 14). Solve 7*g + k = 5*g for g.
-1
Let j be 68/11 - ((-52)/22)/(-13). Solve 0 = -14*f + 12*f - j for f.
-3
Let d be (-5 - -2)*2/(-6). Suppose -4*c = n + 2*n - 64, 0 = -3*n. Suppose -3 = -3*o + g, -5*o + 2*g + c = 4*g. Solve o = -k + d for k.
-1
Let v(n) = -n**3 + 7*n**2 - 4*n + 24. Let r be v(6). Solve r*x - 34*x + 10 = 0 for x.
-5
Let g be 4/28 - (-207)/21. Solve -19 + g = -9*i for i.
1
Let l = 2 - 1. Let z = -1472 + 1474. Solve -z*k = -k - l for k.
1
Let d be (10 + -4 - 8)*3/(-2). Solve -x + 6 - d = 0 for x.
3
Let u(c) = -6*c**2 - c - 2. Let z be u(2). Let j = 71 + z. Suppose 3*n + 2*l - j = -9, -4*n = 3*l - 47. Solve 12 = 4*x - n for x.
5
Let x be -4 - 2*29/(-2). Suppose 2*b + 0*b - 2 = 0, -5*t - 5*b + x = 0. Solve -t*o = 10 + 2 for o.
-3
Let t(r) = -r**2 + 8*r - 3. Let h be t(7). Suppose 0 = h*f + 5*m - 29, 25 = -3*f + 7*f + m. Let o(v) = -v**2 + 6*v. Let j be o(f). Solve j = -3*n - 4 - 2 for n.
-2
Suppose 1 + 8 = b + 2*n, 5*n - 28 = 3*b. Let j(c) be the first derivative of -c**2 + 6. Let s be j(b). Solve -t - s = -4 for t.
2
Suppose -r = -17 + 11. Solve -m - 2*m - r = 0 for m.
-2
Let q = -133 + 141. Solve u = -q + 7 for u.
-1
Suppose 0 = -3*t + v + 2, -4*t - v - 6 + 18 = 0. Suppose 0 = -t*h + 2 + 2. Suppose -q - h + 9 = 0. Solve q*u = 2*u + 10 for u.
2
Let r be (9/2)/(-12 - 891/(-72)). Solve -10*a + r = -7*a for a.
4
Let n = -203 + 215. Solve 32*z - n = 29*z for z.
4
Suppose -9*u + 4*u - 5*m = -55, 0 = u - 2*m - 5. Solve -5*x = 1 + u for x.
-2
Let h(d) = 2*d**2 + 11*d + 26. Let x be h(-9). Solve 84*a = x*a - 20 for a.
4
Let g be 15/9*3 + -4 + 2. Suppose 2*h + 2*p = g*h - 6, 2*h + p = -3. Solve 5*c - 2 - 3 = h for c.
1
Let r = -2765 - -2775. Solve 14*z - r*z + 8 = 0 for z.
-2
Let a(g) = g - 3. Suppose 4*q - 20 = -8. Let f be a(q). Suppose f*d = -d. Solve -2*u + 5*u - 9 = d for u.
3
Let i(s) = -6*s. Let b be i(-1). Let p(f) = f**3 + 28*f**2 + 25*f - 39. Let w be p(-27). Suppose 10*o + 15 = w*o. Solve o*k + 0*k = b for k.
2
Let g(v) = 3*v - 22. Let h be g(7). Let r(j) = -9*j**3 + j**2 + j - 1. Let i be r(h). Solve -5*x - i = -3*x for x.
-4
Suppose -216 = 4*j - 284. Solve j*f = 47 + 21 for f.
4
Suppose 0 = 4*x - 6*x + 10. Let p(r) = r - 5. Let a be p(x). Solve -l - 2 = -a for l.
-2
Let a(z) = z**3 - 11*z**2 + 18*z + 12. Let w be a(9). Solve -6*o + 0 = -w for o.
2
Let y(x) = -29*x - 5. Let v(n) = 3*n + 3. Let l be v(-2). Let t(f) = -10*f - 2. Let s(i) = l*y(i) + 8*t(i). Let b be s(3). Solve -3*p = p + b for p.
-5
Let v be 12/(-9)*(-39)/26. Solve v*o - 4*o - 6 = 0 for o.
-3
Let f(h) = h**2 - 44. Let y be f(-7). Suppose -3*s + 42 = 3*q, -2*s = y - 1. Solve -4*r = -0*r - q for r.
4
Let t = 80 - 79. Solve t = -4*d - 3 for d.
-1
Let m = 46 + -14. Suppose 8 = 5*j - m. Solve 4*w - 8 = j*w for w.
-2
Let a = 105 - 64. Let t = a + -40. Solve -t - 4 = -5*g for g.
1
Let q(a) be the first derivative of a**4/4 - 11*a**3/3 + 5*a**2 - 8*a + 2. Let p be q(10). Let t be (36/10)/(p/(-20)). Solve 0 = -t*b + 4*b for b.
0
Suppose -78 + 50 = -4*a. Suppose -4*v + 0*t + 68 = 5*t, -2*v = 2*t - 32. Suppose m - v = -3*x, -5 - a = -3*m - x. Solve 0*o = m*o - 6 for o