 h = -8 + 10. Suppose 0 = -4*u + 131 - 55. Suppose -3*k = 10 - u. Solve i - h = k for i.
5
Let t(m) be the second derivative of -m**5/20 - 2*m**4/3 - m**3/3 - 7*m**2 - 12*m. Let x be t(-8). Solve 0 = x*c - 5 + 1 for c.
2
Let v(o) = -2*o**2 - 11*o + 10. Let r be v(-14). Let n be r/(-133) - (-4)/14. Suppose 29 = 5*z + l, 4*z = -0*l + 5*l + 29. Solve 4*a = -n - z for a.
-2
Let m be (50 + 0)/((-2)/(-6)). Let s = -1 - -3. Let d be s/(-3)*m/(-4). Solve -2*b + 7*b + d = 0 for b.
-5
Let r = -15 + 18. Let d(t) = 0*t - 3 - t + 2*t. Let i be d(r). Solve 3*c - 7 + 4 = i for c.
1
Let i be 2160/(-32)*((-48)/10)/6. Solve 0 = -21*p - i + 12 for p.
-2
Suppose -162*h + 28820 = -52*h. Solve -3*u + 256 = h for u.
-2
Let r(a) = -11*a - 14. Let h be r(-4). Suppose 12 + h = 3*w. Suppose 4*s + w = 6*s. Solve 5 = -s*n + 2*n for n.
-1
Let h(p) = 2*p + 21. Let d be h(8). Let l = d - 35. Solve j + l*j + 15 = 0 for j.
-5
Suppose -m = -2*m + h + 13, -5*m = h - 89. Suppose 5*z - 13 = m. Suppose -2*t + z = -30. Solve 5*x - 2 = t for x.
4
Suppose -6 = -4*k + 5*o + 6, 4*o = 4*k - 16. Let s be 5 + (0 - -3 - k). Solve s = -3*m - 0*m - 9 for m.
-3
Let d(p) = -p**3 - 4*p**2 + 3*p - 6. Let a be d(-5). Solve a*i - 10 = 9*i for i.
-2
Suppose -12*m = m - 65. Solve -3*b + 10 = -m*b for b.
-5
Let t = -764 - -764. Solve t = 2*x + 4 + 6 for x.
-5
Let a = -244 + 246. Solve -a*l + 2 = 6 for l.
-2
Let j(t) = t**3 + 13*t**2 + 10*t - 10. Let c be j(-12). Solve 4*w - 2 + c = 0 for w.
-3
Let b(z) be the first derivative of -1/3*z**3 - 11 + 2*z + 3/2*z**2. Let t be b(2). Solve 6 + t = 5*c for c.
2
Let y(j) = j**3 + 3*j + 4. Let u be y(-1). Solve u = 4*k - 7*k - 12 for k.
-4
Suppose 25 = 4*c - 3*c + 5*u, -u - 6 = -2*c. Let g be c/10*(5 + -1). Suppose 2*z = g*x - 6*x + 40, 3*x - 30 = 3*z. Solve -5*t = -x - 15 for t.
5
Let j(b) = -11*b + 17*b - 19 - 4*b - 3*b. Let z be j(-14). Let k(i) = i**2 + 6*i + 7. Let g be k(z). Solve c - 5 = -g for c.
3
Let k = -115 + 60. Let a = 57 + k. Solve a*n = 2 + 2 for n.
2
Suppose 2 + 0 = -r. Let n be r/(-7) - 136/(-14). Let b be (16/n)/((-10)/(-25)). Solve b*u - 3 - 5 = 0 for u.
2
Let d(a) = 14*a**2 + 10*a - 7. Let n be d(2). Suppose -n*j = -68*j - 2. Solve 0*k = j*k - 2 for k.
1
Let u = -36 + 2. Let i = -28 - u. Solve -i = k - 4*k for k.
2
Let g = 24 - 12. Suppose -3*o + g = 4*z, 2*z = 4*z + 2*o - 6. Let c be (-14)/(-2) - (-4 + 1). Solve m = z*m - c for m.
5
Suppose -284*s = -283*s - 67. Solve 17*x + 18 = -s for x.
-5
Let l be (2/5 - 0)/(1/10). Let k be -1 + (54/(-45))/(l/(-10)). Solve a = 2 + k for a.
4
Let g(r) = r**3 - 4*r**2 + 4*r - 8. Let k be g(4). Suppose -4*j + k = 0, -l + 3 + 6 = 2*j. Solve -l*x = -4*x - 4 for x.
4
Let u be 57/(-4) + (-1)/(-4). Let h = u - -1. Let p = h - -22. Solve 0 = 3*v - p for v.
3
Let z be (2 - 1) + 4 - 3. Suppose -z - 10 = -4*b. Suppose -w = q - b*w - 29, -4*q + 5*w + 110 = 0. Solve -s + 6*s = q for s.
5
Suppose -5*p = -10*p - 25, -q - 4*p - 16 = 0. Let o(k) = k**2 - 3*k - 5. Let a be o(-2). Solve -z = q*z - a for z.
1
Let w(o) = 28*o - 81. Let p be w(3). Solve p*f = 1 + 14 for f.
5
Let p(t) = -43*t - 658. Let q be p(-16). Solve -108*k + q = -114*k for k.
-5
Suppose 0 = -5*c - 15, -t + 2*t + 5*c = -20. Let h be ((-28)/6 - t)*6. Solve 0 = h*j - 6*j for j.
0
Let w(j) = 3*j + 11. Let u be w(-13). Let d = 44 + u. Let i = d + -10. Solve 4 = 2*l - i*l for l.
-1
Let h(j) = -3*j - 33. Let x be h(-13). Solve -10 = x*q - q for q.
-2
Suppose 4*j + 3*y = -y + 8, 2*y = 2*j + 4. Solve -8*v + 8 - 16 = j for v.
-1
Let p(o) = -12*o**2 + 54*o - 15. Let b be p(4). Solve -b*s = -25*s + 32 for s.
2
Suppose 2*o + 3*b = -b + 34, -2*o + 38 = 5*b. Let f = -7 + o. Suppose -j = 5*l - 3*j - 15, 0 = 4*l + j + 1. Solve -l = -3*d + f for d.
1
Let r be (-184)/18 - 4/(-18). Let o(g) = 4*g - 59. Let n be o(18). Let i = r + n. Solve -i*l - l + 8 = 0 for l.
2
Suppose -4*z + 15 = z. Suppose t + 0 = z, 0 = 4*d - 5*t + 7. Suppose -4 = -2*j + 4. Solve 3*u - d*u = -j for u.
-4
Suppose w + 7 = 3*x, -2*w + 1 = x - 6. Let p(q) = -q - 4. Let j be p(-7). Suppose x*z - j - 3 = 0. Solve z*h = -2*h for h.
0
Let d be 8/5*(-15)/(-6). Suppose -2*p = -5*m + 2*m + 23, 0 = -3*p - 12. Solve -d + 14 = m*v for v.
2
Let w(d) = -3*d - 17. Let x(j) = -2*j**2 + 4*j - 1. Let i be x(3). Let n be w(i). Suppose 10 = n*h + 2. Solve -g = h*g + 12 for g.
-4
Let w be (1 + -1 + 1)*(1 + 0). Let h(j) = 2*j**3. Let d be h(w). Solve -s = -d*s - 1 for s.
-1
Suppose -29*n - 12 = -34*n + d, -5*n + 3*d = -6. Suppose 0*u + u = 0. Solve n*s = -u*s for s.
0
Suppose -5*z - 14 = -d - z, 2*d + z = 28. Let l be 80/14 - (-4)/d. Suppose -2*h + 40 = 8*h. Solve l = h*s + 2 for s.
1
Let f be ((-4)/10)/(-2) + (-528)/(-60). Solve 0 = -f*y + 16 + 2 for y.
2
Let g = 160 - 157. Solve g*q + 1 = 7 for q.
2
Let z = 13 + -11. Suppose -z*v = -0*v. Suppose v = m + 2*m. Solve -3*i - 12 = -m*i for i.
-4
Suppose 16*p - 21*p - 345 = 0. Let h = p - -69. Suppose 2*r = 7 - 3. Solve x + x + r = h for x.
-1
Let q(s) = s + 18. Let k be q(-9). Let a = k + -4. Solve -b = -2*b - a for b.
-5
Let j = 8 + -2. Let p be ((-44)/(-8) + -5)/((-1)/(-8)). Suppose p*g - 3 = 3*g. Solve j*u = g*u - 6 for u.
-2
Suppose 0 = 11*k - 4 - 40. Solve 0*b = 2*b + k for b.
-2
Let q(p) = -p**3 - 12*p**2 - 2*p - 6. Let n be q(-12). Solve -3*i = n - 12 for i.
-2
Let n(v) = -v**2 - 4*v + 2. Let h be n(-4). Suppose 0 = -2*i + 3*j + 6, h*i - 6*i = 3*j - 12. Let w(b) = -2*b - 8. Let g be w(-7). Solve g*d - 15 = i*d for d.
5
Let r(g) = -9*g - 172*g**2 + 21*g + 173*g**2 - 8. Let p be r(-13). Solve -p = -9*l + 4*l for l.
1
Let h(f) = -156*f - 465. Let x be h(-3). Suppose -6 = -2*r + r. Solve x*c + r + 3 = 0 for c.
-3
Let f(i) = i**2 - 4*i + 3. Let p be f(4). Suppose -2*k + 0*a - p*a = -19, -5 = -a. Solve -k = 3*m + 7 for m.
-3
Suppose 0 = 2*f - 5*f - 114. Let s be f/(-8) - 12/(-48). Solve s*c = 4*c + 2 for c.
2
Let h = -9 + 13. Suppose -19 + 7 = -h*q. Suppose -14*t - 20*t = 0. Solve q = g - t for g.
3
Let b = -66 - -102. Suppose 4*a - b = 2*x, -5*x - 37 - 25 = -3*a. Let d = x - -10. Solve -2*u + 6*u = d for u.
0
Let b be (1/1 - -1)/(120/300). Solve b*t = -0*t + 5 for t.
1
Let l = -1279 - -1349. Solve -15 = -67*i + l*i for i.
-5
Suppose 8*g + 30 = 11*g. Suppose -d - 2*j + g = 0, -3*d - j = -0*j - 5. Let k = 5 - d. Solve -4*b + k = 1 for b.
1
Let o be (2 - 3) + -4 - -12. Let k(j) = j + 3 + 7 - 2*j. Let l be k(o). Solve -4*m + l = -5 for m.
2
Let z be (-80)/(-8) + 4 - -2. Solve -44 = z*d - 12 for d.
-2
Let y = -221 + 221. Solve y = -z + 4 for z.
4
Suppose 0 = 13*t - 6 - 20. Solve -13*x - t*x - 75 = 0 for x.
-5
Let t(x) = x**3 + 13*x**2 - 31*x - 10. Let w be t(-15). Solve -5*r = -10 - w for r.
3
Suppose -3*b + 21 = 3. Let g(r) = r**2 - 17*r - 88. Let z be g(21). Let k be -8*(z/22 - 42/132). Solve -b*o + k*o = -6 for o.
3
Suppose -6*n = -9*n. Suppose n = -4*s - o + 2*o - 8, 4*s + 5*o = -8. Let b be s - -2 - (6 + -9). Solve -z = -0*z - b for z.
3
Let l be (-10)/45 - 74/(-9). Solve l*f = 2*f for f.
0
Suppose 26*s = 20*s + 66. Let k be s - ((-96)/(-30) + (-2)/10). Solve k*t - 5 = 3*t for t.
1
Let r(v) = -5*v - 16. Let w(m) = -8*m - 31. Let k(s) = 5*r(s) - 3*w(s). Suppose 0 = -5*q + 10 + 35. Let n be k(q). Solve -25 = -i - n*i for i.
5
Let l be 3 + 5/4 + (-6)/(-8). Let q(i) = i**3 + 17*i**2 - 2*i - 28. Let x be q(-17). Solve x*j + l = j for j.
-1
Suppose 0 = -3*d + h + 26, 3*d + 11 = 4*d + 2*h. Let j(f) = -f**2 + 10*f - 7. Let y be j(d). Solve -y*b - 7 + 3 = 0 for b.
-2
Let q be (3/(-12)*-12 + -3)/2. Solve 0*t + 2*t = q for t.
0
Let k = 11 - 9. Let g be k/(-14) - (-828)/63. Let j = 14 - g. Solve 21 - j = -4*a for a.
-5
Suppose 2*n + 5*r = -3*n + 35, 10 = -2*n + 4*r. Suppose 0 = -0*p + n*p - 12, -w - 3*p = -51. Let d = w + -29. Solve 3*s = s + d for s.
5
Suppose -4*v + 290 = 7*g - 2*g, -4*v = 0. Solve -12 = -g*m + 61*m for m.
-4
Let k = -96 - -106. Solve 2*q = -k*q for q.
0
Suppose -2*d - 2*t + 20 = 0, 6 - 28 = -d + 2*t. Solve 0 = -4*i + 14 - d for i.
0
Suppose -4 + 184 = 15*d. Suppose -6 + d = 3*g. Solve -4*p + 6 = -g for p.
2
Suppose -3*a - 65 = -4*n - 18, 3*n - 5*a - 49 = 0. Solve 102*p - 106*p = -n for p.
2
Suppose -1 = -4*a + 3. Let j = 31 + 46. Let h = j - 73. Solve 5 = -h*g + a for g.
-1
Suppose 2*j + 9*j - 275 = 0. Solve -j*d = -28*d - 15 for d.
-5
Let g be (0 + 24)/(-4)*(-4)