 4*d + d = p for d.
0
Suppose -6*d + 40 = -d. Suppose 0 = d*g + g - 36. Suppose g*a + 12 = 10*a. Solve i = -a - 0 for i.
-2
Suppose -4*z - u + 59 = 0, -5*u - 30 = -3*z + 43. Suppose z*n = -9 + 89. Let m(f) = -3*f + 16. Let h be m(n). Solve -i - h = -2*i for i.
1
Let h be ((-28)/21 + 0)/((-4)/6). Suppose 13 = 3*l - 4*s, 5*s - 7 = 5*l - 9*l. Solve l - h = -v for v.
-1
Let r(o) = -7*o + 44. Let q(i) = -9*i + 45. Let u(a) = 5*q(a) - 6*r(a). Let m be u(-15). Solve 0 = -5*v - 4 - m for v.
-2
Suppose -6*w - 27 = -2*m - w, m - 18 = w. Suppose 0*o - o + 5*j = m, 2*o + 12 = 4*j. Solve -o*p + 9 = -7 for p.
4
Suppose -w = 2*m + 2, 0 = 3*w + 3*m - m - 2. Solve 42*j - 40*j = w for j.
1
Suppose -o = -3*v + 54, -2*v + 165 = -2*o + 137. Solve v*k = 25*k + 20 for k.
-4
Let c = 2808 - 2784. Solve -13*i + c = -5*i for i.
3
Suppose -7*d + 60 = -3. Solve 0 = -d*j + 23 + 13 for j.
4
Suppose -27*o + 21*o + 96 = 0. Suppose 5*m = -4*p + o, -m + p + 4 = 2*p. Solve m = -2*x - 9 + 1 for x.
-4
Suppose 4*r - 6*r + 4 = 0, 1584 = -4*j + 2*r. Let m = j - -401. Solve -w + 20 = -m*w for w.
-4
Suppose -30*i + 32*i = 3*d + 3, d + 1 = 0. Suppose -4*p - 4*y = 0, -3*y = -5*p - i*y. Suppose 3*u + 108 = 5*c - u, 4 = -2*u. Solve -4*o - c = -p*o for o.
-5
Suppose 5*u - 3296 = -4*o, -103*u - 4*o = -106*u + 1952. Solve -87*c + 5*c = u for c.
-8
Suppose 2*a - 3*x + 26 = 0, 5*a - 5*x + 22 = -53. Let t = 34 + a. Let s(w) = -w**2 + 4*w + 1. Let b be s(2). Solve 0*g - b*g = t for g.
-3
Let i(a) = a - 8. Let u be i(13). Let z be 2808/(-30) - (-3)/u. Let g = z - -96. Solve -18 = -5*y - g for y.
3
Suppose -3*j - 13*j = 6*j - 2772. Solve -i + 43*i - j = 0 for i.
3
Let y be (0 - 1)/((-4)/(-84)). Let o = 39 + y. Let p be (-2)/3 + (120/o - -4). Solve 4*q + 30 = p for q.
-5
Let l be (3/5 - (-69)/(-115))/(-4). Suppose n + 4*z - 27 = -4*n, -4*n - 4*z + 24 = l. Solve -n*v + 4 - 10 = 0 for v.
-2
Let t be -2 - ((-27)/3 + 5). Suppose -t*v = -23 + 5. Let g be (1*-2)/1 - (4 - v). Solve -4 = g*l - 10 for l.
2
Let h be ((-5)/(40/(-32)))/2. Suppose b - 2*l = -4, -h*b = -7*l + 2*l + 13. Solve -8*r + 11*r - b = 0 for r.
2
Let j be ((-160)/88)/((-44)/7018). Solve 293 = 3*r + j for r.
1
Let q(d) = 3*d**3 - 24*d**2 - 57*d + 39. Let w(u) = -5*u**3 + 48*u**2 + 115*u - 78. Let f(j) = 7*q(j) + 4*w(j). Let r be f(-21). Solve 0 = r*m - 0*m + 6 for m.
-2
Suppose -88 + 17 = -2*f + i, -4*i = -5*f + 185. Suppose 0 = -43*l + f*l + 230. Solve -2 - l = -5*h for h.
5
Let n be (-3)/57*285/(-150) - 2158/(-20). Solve -n = 13*w - 49*w for w.
3
Let p be 5*(710/25 - 8/20). Suppose 52 - p = -11*d. Solve -4*g + 12 = -d for g.
5
Let l(q) = 36*q - 211. Let g be l(6). Let w be (-6)/g*(7 + (-286)/33). Solve 3*n = w*n for n.
0
Let q be (84 + (-5964)/70)*(-15 + -1 + 1). Solve 0 = -0*u + q*u - 108 for u.
6
Let z(a) = 15*a - 769. Let w be z(52). Solve 5*c + w = 16 for c.
1
Let f(t) = -5*t + 5. Let q be (-82)/8 + 1/8*2. Let y be f(q). Suppose 3*s = 14*s - y. Solve 0*k - 5*k = -s for k.
1
Suppose 0 = -3*q - 6, 4*w + 37*q - 44 = 33*q. Solve -20*n = -w + 53 for n.
-2
Let s be 2*((-3)/(-6) - 0). Let w(q) = 7*q - 3. Let m be w(s). Suppose 0*z = -z + m. Solve 0*v = -z*v for v.
0
Let v(n) = n**2 - 12*n - 98. Let z be v(-17). Suppose 22*c - z = -87. Solve c*h - 11*h = -12 for h.
-4
Suppose -7*i = -9*i + 4, 0 = -3*m - 5*i - 17. Let t = 18 + m. Solve 2*y = -y + t for y.
3
Let p(x) = x**2 - 39*x + 108. Let f be p(36). Solve f = -8*k - 11 - 29 for k.
-5
Suppose -80*w - 244 = -141*w. Solve p - 1 = w for p.
5
Let z(y) = -y**2 + 103*y - 1530. Let s be z(18). Solve s = 10*d - 40 for d.
4
Let o be 1 + 3 + (-15 - -17). Let f be (30/51)/(-5) - 106/(-34). Solve f*p = -0*p - o for p.
-2
Let j = -2351 + 2373. Solve 105 = -j*h - 27 for h.
-6
Let s = -5217 + 5224. Solve 0*c = s*c - 2*c for c.
0
Let d be ((-1)/2)/(31/62). Let v be (-17 - -21) + (-2 - 0 - d). Solve -3 = -8*t - v for t.
0
Let z be (-30)/(-4) - (-2)/4. Suppose -t = -4*o - 2*t + 24, -2*o = -t - 6. Solve 9*l - o*l = z for l.
2
Suppose -9*l + 16 = -7*l. Suppose 0 = -0*b - 3*b - 3*r + 12, -l = -3*b - r. Suppose 2 = 3*h - h + 5*m, -b*h - m = -2. Solve 6 = -w + h for w.
-5
Let c = -264 - -204. Let d = c - -67. Solve -d*b = -b - 6 for b.
1
Suppose -v - 3*u = -1, 5 = 5*v + 4*u - 7*u. Let k be ((-17)/(68/(-8)))/(v/1). Solve 0 = -6*p + 8*p + k for p.
-1
Suppose 45 = -67*b + 72*b - 3*x, -x + 19 = 4*b. Solve -b*l - 16 = -34 for l.
3
Let a be (-9350)/(-2210) + 6/(-26). Solve 20*g - a*g - 48 = 0 for g.
3
Let u = -5462 + 5486. Solve -8 = -u*c + 26*c for c.
-4
Let b = 14792 - 14745. Let y be 3/3 - 1 - -9. Solve y*h - 11 = -b for h.
-4
Let r be (-15)/((-630)/12) + (-26)/(-7). Let p = -17 + 14. Let d be 0*((-6)/r)/p. Solve -a + 6*a = d for a.
0
Suppose -36*l = -138904 + 137176. Solve l*v = -v + 245 for v.
5
Let b be ((-2700)/10)/(-10) - -13. Solve -128 - 32 = b*q for q.
-4
Let k be (3/(-4))/((-87)/812). Suppose -k*r + 9*r + 5*l = 1, -l + 2 = r. Solve -r = -f - 6 for f.
-3
Let o(c) = -c + 18. Let d be o(14). Suppose -5*q + 11 = -d*q. Solve -2*h + 13 = q for h.
1
Let q = 4071 + -3928. Solve -3*v - 128 = -q for v.
5
Let h = -966 + 597. Let z = h + 389. Let j be -1*(-3 + -2 + 0). Solve x = j*x + z for x.
-5
Let v(o) = -2*o - 10. Let l be v(-5). Let q = 411 + -409. Solve l = x + x - q for x.
1
Let r be 4/(-4) - (-166)/1. Let b = r + -163. Solve -7*v = -b*v + 20 for v.
-4
Let n = -26 - 61. Let l(m) = m**2 - 18*m - 27. Let t be l(5). Let p = n - t. Solve 0 = -p*f - 1 - 9 for f.
-2
Let v(b) = -13*b + 16. Let d(f) = 3*f + 1. Let h(z) = 4*d(z) + v(z). Let j be h(10). Solve -9*k = -j*k + 5 for k.
5
Suppose -14 + 4 = 2*r, 0 = -p - 2*r + 67. Suppose 78*u - 6 = p*u. Solve -h - 2*h = -u for h.
2
Let n be 2 - 0 - (-4 - 4). Suppose -3*w + 5*w = 12. Solve -w*i - n = -i for i.
-2
Suppose 1 = d - 1. Let y = -1175 + 1190. Let w be 55/y + d/6. Solve -m - w*m = -5 for m.
1
Suppose 43*d + 163 = 48*d - 3*o, 5*d = o + 171. Solve d*u = 38*u - 9 for u.
3
Let s(h) = 3*h**3 - 11*h**2 + h - 20. Let c be s(4). Let a be (-2 + c)*6/(-4). Solve -4 = -m - a*m for m.
1
Suppose -6*t + 32*t = 2*t. Solve -2*d + 211 - 219 = t for d.
-4
Suppose 24 = 20*t - 36. Suppose -41 = -4*v - u, 2*v - t*u = 7*v - 53. Solve -v*f - 67 = -17 for f.
-5
Suppose 0*t = -3*t + 18. Let h be (-5)/(-2)*104/130. Suppose -2 = -z - 3*w + 2*w, -h = w. Solve -2*p + t*p = -z for p.
-1
Suppose -3*k + 23 = 2*p, p - 2*k - 3*k - 31 = 0. Suppose 4*x - 16 = -5*j, -j = 23*x - 27*x + p. Suppose -4*u + 9*u - 40 = 0. Solve 0 = x*g - u*g - 20 for g.
-5
Suppose 2*c - 6*c = 2*w - 108, 114 = 4*c - w. Suppose -120 = 24*a - c*a. Let x be a*((-11)/66 + (-1)/(-2)). Solve -j = -6*j + x for j.
2
Let h = 231 + -855. Let x = h + 630. Solve 5*l - 11 = -x for l.
1
Let w(j) be the second derivative of -j**5/20 + 11*j**4/6 + 5*j**2/2 + j. Let i be w(22). Suppose -2 = n - a - 8, i*a + 23 = 4*n. Solve n = -2*x - 3 for x.
-5
Let u(d) = -1. Let o(v) = 7*v + 50. Let c(y) = -2*o(y) - 18*u(y). Let f be c(-6). Solve i + 1 = -f for i.
-3
Let h(p) = -2*p**2 - 5*p + 4. Let g(w) = -w**3 + 2. Let j(m) = g(m) - h(m). Let k be j(3). Solve k = -29*y + 31*y for y.
2
Suppose 5*z + 5*d = -15, 3*d = 25*z - 26*z - 7. Let t be (-9 - -13) + 0 - z. Solve t*v = 152 - 167 for v.
-3
Let v be (-9 + 0)/(7*9/(-126)). Solve v*b + 28 = 22*b for b.
7
Let m = 0 - -10. Suppose 3*o - 3*j - m = -j, -9 = -3*o + 3*j. Solve -o*r - 3*r - 28 = 0 for r.
-4
Suppose -6*a = -2*a. Suppose -10*d + 6*d = -32. Let r be (4 - d)/2*(-5)/2. Solve -x + r*x = a for x.
0
Suppose 5*t + 4 = -1, -5*t = q + 2. Let h be (20/30)/(1/q). Let y be 648/156 + h/(-13). Solve -y*f = -0*f for f.
0
Let p = 187 + -131. Suppose 5 = 61*m - p*m. Solve m = -5*y + 6 for y.
1
Suppose -88*b + 77*b = -550. Let i = -45 + b. Solve -25 = -i*w - 15 for w.
2
Let o be (-298)/(-1341)*(-1899)/(-2). Solve -11*n - o = -310 for n.
9
Suppose -610 = -15*y - 535. Solve -p = y*p + 6 for p.
-1
Let j(x) = -2*x**2 - 9*x + 129. Let d be j(6). Suppose 3*s = -5*t + 111, d*s = -3*t + 74 - 5. Solve 0 = -t*b + 18*b for b.
0
Suppose -8*t + 5*t + 12 = 0. Let y(v) = -2*v**3 + 6*v**2 + 11*v - 5. Let i be y(t). Solve 5*j - 13 - i = 0 for j.
4
Let i(k) be the first derivative of -k**3/3 + 5*k**2/2 + 4*k - 4. Let p be i(5). Suppose -3*g - n = -13, 5*g = 2*g + 4*n - 7. Solve -p = -g*j - 1 for j.
1
Suppose 5*h = -55 + 55. Let l 