 for d.
-3
Let r be 3*(-3)/27*-6. Suppose -r*l - 4*l = -0*l. Suppose l = -8*p + 5*p. Solve k + k - 3*z = -10, p = 5*z - 20 for k.
1
Suppose 158*p - 167*p + 1053 = 0. Let v = p + -113. Solve -32 = -3*c + v*h, 4*c + h + 3*h + 4 = 0 for c.
4
Let k be 5 - (3 - (3 - 0/4)). Suppose -2*g + 4 = 2*g. Let r = 1 + g. Solve 25 = 3*t + k*p, r*p + 3 = -t + 13 for t.
0
Suppose -24 + 21 = -3*u. Let v be 0 + u/(-4) - (-441)/4. Suppose 9 = -v*k + 113*k. Solve 0 = d - 2*j - 10, j + 20 = -k*d - 3*j for d.
0
Let b be 133376/160 + (-6)/10. Let h = b + -830. Solve -2*v - 16 = -2*t, -2*v = -v - h*t + 18 for v.
-3
Let v(c) = c**2 + 89*c + 652. Let x be v(-81). Solve -x*u + 4 = 2*d, 0 = 5*d + u + 7 + 1 for d.
-2
Let c(d) = 2*d + 83. Let g(p) = -p - 55. Suppose 6*t - 35 = 11*t. Let o(v) = t*g(v) - 5*c(v). Let z be o(-11). Solve -4 = -2*a, -5*w + z*a - a = -11 for w.
3
Suppose -23*f + 5*f + 342 = 0. Solve -4*h = -2*o + 26, -3*h + 1 - f = -o for h.
-5
Let j be (-40)/5*(-9)/24. Suppose -3*b + 20 = 5*f - 6, -8 = -j*f + 2*b. Solve 4*i - f*m - m + 37 = 0, -5*i - 4*m = -5 for i.
-3
Let a be (2/7)/((-339)/(-2373)). Solve -a*c = -58*x + 59*x - 1, -5*c - 4*x + 7 = 0 for c.
-1
Let t be (80/30)/(3/18). Suppose 2*l - 4 = t. Let h be (3*4/l)/(7/35). Solve 3*o - 2*o = -v, v = o + h for v.
3
Suppose -15*a - 168 = -57*a. Solve 3*t + 29 = 3*p + 17, -2*t = -p + a for t.
0
Suppose -17 = -3*a - 29. Let s = -7 - a. Let t be (-1 - s) + 6 + -4. Solve 3*k + 4*c = -9, -4*k + t*c + 16 = -0*k for k.
1
Let q(m) = m**3 + 3*m**2 - 3*m - 2. Let s be q(-3). Let z be 78/312*(s + 1). Solve 2*u - 4*f - z = 0, 2*f - 17 = -4*u - u for u.
3
Let r be -6 - ((-264)/27 - 10/45). Solve 2*v + 3*o + 10 = 0, 0 = r*v + 29*o - 34*o - 46 for v.
4
Let q = 371 + -164. Let z = 211 - q. Solve -z*p = -3*x + 29, -x - 4 = -p - 4*x for p.
-5
Let m(q) = -18*q**2 + 4*q + 2. Let d be m(-1). Let v be (-4)/d + 76/20. Solve -3*w = -5*x - 8 - 8, -37 = 5*x + v*w for x.
-5
Suppose -2915 = -23*q - 19*q - 1235. Solve 0 = -5*h + 3*n + q, -n + 10 = -3*n for h.
5
Let i be (16/40)/((-1)/5). Let o be ((-4)/i)/((17 + -9)/8). Solve 2*n + o*n - 8 = w, -15 = 5*n + 5*w for n.
1
Let j(y) = -y**3 - 8*y**2 + y. Let d be j(-7). Let a = -51 - d. Suppose f = 4*f - 5*k - 37, -2*f = a*k + 17. Solve 3*n = -f*w + 5, -2*n = 3 + 7 for w.
5
Let z be ((-5*9/90)/(1/38))/(-1). Solve 32*g = -v + 35*g - 6, 0 = 5*v - 4*g + z for v.
-3
Let d = -11 - -29. Suppose g - d = 1. Suppose 0 = -5*k + 2*s - 3*s + g, 2*k = -s + 7. Solve -x + j = x + 5, -k*x - j - 19 = 0 for x.
-4
Let i = -402 - -141. Let t = -259 - i. Solve 4*z + 4*n = -z + 18, t = 4*z - 3*n for z.
2
Suppose -29 = 6*p - 11. Let k be ((-204)/9)/(2/p). Suppose 5*v - 6 = -r + 14, -5*r + k = 3*v. Solve 2*s - 5*t + 2 = -2*s, 2*s = v*t for s.
-3
Let i = 56026 + -56022. Let a be 2/7 + 48/28. Solve 0 = n - a*s - 1, i*n + 8 = 5*s - s for n.
-5
Let t = -10843 - -10846. Solve -6*j + j + 4 = 3*s, -t = -s for j.
-1
Let k(j) = -6*j - 87. Let h be k(-16). Suppose 2*w = 3*r - h, 5*w = 8*w + r - 14. Solve 4*g - 19 = w*z, -2*z = -2*g + 3*g - 2 for z.
-1
Let b = -242 - -247. Suppose -5*w = -5, -1 = -3*x + 4*x - b*w. Solve -x*f + 2*g = -2, f - 3*g - 13 = -0*f for f.
-2
Let z(b) = 5*b**2 + 490*b - 491. Let f be z(1). Solve -3*d = f*w - 20, 2*d = -2*w - w + 15 for d.
0
Let n be -12*((-4)/42)/((-14)/(-49)). Solve 3*g = -4*m - 6, -4*g - 3*m + n = 12 for g.
-2
Suppose -509*h = -5 - 1662 + 140. Solve 4*t + 2 = 32*c - 31*c, 3*c + 3 = h*t for t.
-1
Let j(a) = -11*a + 71. Let y be j(6). Solve 4*p + 2*x - 4*x = 20, 5*p = y*x + 25 for p.
5
Let o be (-11 + 6)*(-39)/5. Let c = -30 + o. Suppose 29*a = 72 + 73. Solve d + 0*d + c = -4*b, -d = a*b + 11 for d.
-1
Let m be ((-912)/44)/(-4) - (-16)/(-88). Solve m*o - 2*d + 1 = 0, 3*o = -o - 4*d - 12 for o.
-1
Let j = -213 - -285. Let z = 76 - j. Solve 5*d = -a - 3 + 8, -z*d = 0 for a.
5
Suppose -4 + 0 = -2*h. Let g be (-2)/4 + 2052/8 + -1. Let s be ((-3)/(-9))/(5/g). Solve i + 13 = h*x, 5*i + s = 5*x - 23 for x.
5
Let y = -6019 + 6037. Solve -5*w - 25 = 2*f, 3*f + 0*f + w + y = 0 for f.
-5
Let s be 9/1*1 + (45 - -15)/(-15). Let o be 246/10 + 2/5. Suppose 0*i - 5*i + o = 0. Solve y + 2*t + t + 15 = 0, -i*y + 5 = -s*t for y.
-3
Let f(b) = -b**2 - 3*b + 341. Let j be f(0). Let q be (j/(-1364))/(((-3)/8)/3). Solve -24 = 6*d - q*d + 4*p, 3*d = 4*p + 17 for d.
-1
Let r(o) = 2*o**2 + o - 7. Let y(c) = c**3 + 34*c**2 - 72*c + 2. Let z be y(-36). Let k be r(z). Solve 0 = 2*p - k*q + 4*q - 5, 5*p - 17 = -4*q for p.
1
Suppose -3821 - 1405 = 13*t. Let g = 406 + t. Solve 4*i + 0*v - v - 4 = 0, v + g = -4*i for i.
0
Let j be (-11 - 684/(-60))*25/2. Solve 0 = -q + j*y - 9*y, -4*q = -2*y + 18 for q.
-4
Suppose 0*k - 10 = -2*k. Let b be -3 + k + 12/4. Let n be 2 - (-3 + 4) - -2. Solve -3*t + 1 = -5*a, -t + b = n*a - 0*t for a.
1
Suppose -9*u + 10*u = 3. Suppose -u*d = -s - 2*d + 8, 5*s = -d + 10. Solve -5*m = -c - 5 - 6, -s = -c - 2*m for c.
-1
Let t be ((-96)/(-15) - 4) + 15/25. Solve 0 = t*k + 5*q + 31, 2*k - 5*q = 12 + 9 for k.
-2
Suppose -7*s + 6*s + 37 = 0. Suppose -s = -g - 31. Let t be (-75)/9*g/(-2). Solve 4*i + 32 = -4*y, -2*y + 2*i = 7*i + t for y.
-5
Let l(m) = 3*m**3 - 2*m**2 + 2*m + 2. Let c be l(2). Suppose 5*j - c = -2. Suppose 0 = -7*r + j*r + 18. Solve 0*v - 3*v + 2*i = -r, 12 = 4*i for v.
4
Let w be (-8)/(-6) + (-17)/(357/(-14)). Solve -10 = -w*l, 0 = 4*j - 7*l + 4*l + 11 for j.
1
Suppose -51 = 102*m + 1 - 256. Solve -3*f = m*g - 8, 4*g - 3*g = 4*f - 18 for f.
4
Let h be 2473/(-15) - 94/705. Let u = h + 170. Solve u = y, -5*t + 2*t = 3*y - 12 for t.
-1
Suppose -7*v + 11*v = 8. Let j(u) = u**3 - 2*u + 10*u**v + u + 1 - 14*u**2. Let q be j(5). Solve -3*d + 5*k - q = 0, -3*d - 4*k - 4 + 10 = 0 for d.
-2
Suppose -995 = -4*d + 573. Let t be d/20 - (-6)/(-10). Solve -5*z = -4*n + 5*n - t, 2*z = 6 for n.
4
Let x = 88 + -60. Suppose -g = 4*u - 6*g - 14, 5*u = g + x. Suppose 3*l = -5*h + u, 3*h + h + 12 = 0. Solve -2*d = -5*j + l, 3*j - 12 = -5*d + 17 for j.
3
Let l(n) = 4*n - 4. Let r be l(3). Let j = 418184 - 418182. Solve -r = -2*w + 4*w + d, -j*w - 18 = -4*d for w.
-5
Let f(g) = -852*g + 6833. Let y be f(8). Solve -9 = -5*s + z, -12*z = 5*s - 15*z - y for s.
1
Let t = 11431 - 11425. Solve 11*a + 15 = 5*l + 16*a, 4*l - 2*a = -t for l.
0
Let m be 0/(2 - (8 - 5)). Suppose -8*d = -13*d - 2*h + 35, m = 5*d - h - 50. Solve 5*w = l + 3*w - d, l = -4*w - 21 for l.
-1
Let n(q) = -q**3 - 6*q**2 + 17*q + 10. Suppose -14 = 5*h + 26. Let s be n(h). Suppose 2*r - 16 = -s. Solve 3*y = o, 2*y + 3*o - r - 4 = 0 for y.
1
Let m be 442/(-34) + (-2 - -17). Solve 3*r = -6 + 15, -m*s + 4*r = 2 for s.
5
Let k(z) = 43*z + 5. Suppose 0 = 13*n - 212 + 212. Let j be k(n). Solve 2*m + j*u = 33, -u - 9 = -4*m + 2 for m.
4
Let x(a) be the first derivative of 2*a**3/3 + a**2/2 + a - 1532. Let v(u) = u + 7. Let l be v(-5). Let n be x(l). Solve 2*t + g = 6, -2*g = -t + 2 + n for t.
5
Let y = 245 + -242. Suppose y*u + 3*k - 21 = 0, k + 2*k - 17 = -u. Solve a - 8 = -u*g, 3*a + 3 = 4*g - 3 for g.
3
Let q(r) = 4*r**2 + 23*r + 19. Let d be q(-5). Solve -5*k = -d*u - 37, 2*u + 3*u - 10 = -5*k for k.
5
Let u be (4 - 9)*(0 - 2/5). Suppose 7*l - 2*l = u*y - 5, -4*y + 18 = -2*l. Solve -3*m + 2 + 3 = -4*h, -y*h = -m + 9 for h.
-2
Let f(q) = 5*q - 34. Let a be f(12). Let s = -26 + a. Let r be 2 - s - 2 - -15. Solve 0 = -5*n - 0*w - w + r, 0 = -2*n + 2*w - 6 for n.
2
Let f(z) = -24*z - 1 + 25*z + 0*z**2 - 1 + 7*z**2. Let b be f(1). Let u be b/(-39) - (-2)/13. Solve -2*t = -u*t - 2*v - 2, 2*v - 8 = 0 for t.
5
Suppose -6*c + 43 = -29. Let z be 3/c + 14/8. Suppose 5*j + 5 = -z*o, 3*o = -o - 3*j + 25. Solve -2*m = 4*a + o - 0, 2 = a + 5*m for a.
-3
Let o(m) = 7*m + 249. Let p be o(-38). Let w be (36/(-4) - p) + -5. Solve -4*g + w*r = -15, -g - 10 = -3*g + 4*r for g.
3
Suppose -74*j = 51*j + 191*j - 74576. Solve -j + 252 = 4*l + 4*b, 28 = -2*l + 4*b for l.
-2
Let f(i) = 3 - i**2 + 4 + 2*i - 4. Let x(k) = k**2 + 29*k - 27. Let b be x(-30). Let z be f(b). Solve 0 = 5*t - 3*c + 31, 5*c - 2*c - 6 = z for t.
-5
Let n = -115 - -139. Suppose 0 = -32*f + n*f + 16. Solve 0 = -4*c - 16, -f*c = t + 3*t + 24 for t.
-4
Let v = 302 - 55. Let i = v + -239. Solve -4*x = -2*w + i, x - 4*w + 9*w - 9 = 0 for x.
-1
Let m(s) = s + 5. Let o be m(-5). Let w = -23 - -44. Le