Solve a*d = d + u for d.
-3
Let y = -309 + 324. Solve -4*s + y = s for s.
3
Let i = -6 - -8. Suppose x = i*x - 5. Suppose -5*q - 3 = n, 6 + 4 = 4*n - 2*q. Solve j - x = n*j for j.
-5
Let v be 224/48 + 2 + (-8)/3. Solve 15*d + v*d = -38 for d.
-2
Suppose -5 - 3 = -2*c. Suppose 9*d = 10*d - 16. Let v = -14 + d. Solve 4 = c*q - v*q for q.
2
Suppose 26*o = 18*o + 15*o. Solve -6*u - 1 + 7 = o for u.
1
Let z be -2*(0 - -1)/(-1). Suppose -1 = 4*p - 13. Suppose 0 = q - 4*q + p. Solve z*r = -9 + q for r.
-4
Suppose 24*f - 71 = -23. Solve 373*i - f = 375*i for i.
-1
Suppose u - 5 = -3. Let r be 0 - ((0 - u) + -1 + 3). Suppose 7*s - 2*s - 5 = -5*w, 3*w = 4*s - 4. Solve r*k - 3*k + 12 = w for k.
4
Let i(p) = -2*p - 7. Let n be i(-3). Let j = n + 5. Suppose -j = -2*k - 0*k. Solve 5 = -3*w + k for w.
-1
Let g(o) = 34*o**2 - o - 1. Let q be g(-1). Suppose 5*k = 2*a + q, k + 2*a - 14 = -2*k. Solve k = 4*w - 14 for w.
5
Let o = -5 + 9. Let d(p) = 9*p - 16. Let f be d(5). Let a(k) = 2*k - 3. Let i be a(4). Solve -f = -i*t - o for t.
5
Let w be ((-27)/(-2))/(9/(-18)). Let a be (-2)/9 + (-87)/w. Solve 3*i - 4*i - a = 0 for i.
-3
Suppose 5*i = -2*i - 63. Let o be 0/i*2/6. Solve v = -o*v - 3 for v.
-3
Suppose -19 = -21*c + 23. Suppose n + 5 = -0. Let z be ((-2)/(-5))/((-1)/n). Solve 0 = c*v + 12 - z for v.
-5
Let b be (16/(-6))/((-3)/9). Suppose -11*a + 30 = b. Solve -a*f - f = 6 for f.
-2
Let q(x) = x**3 + 3*x**2 - 3*x - 5. Let l be q(-4). Let f = 11 + l. Suppose 0 = -f*j + 18. Solve -5*o - j = -2*o for o.
-3
Let n(a) = -a**3 - a - 2. Let g be n(0). Let f = 434 + -889. Let d be g/9 - f/63. Solve 0 = -2*r + d*r - 10 for r.
2
Let o be 31/6 + (3 - 76/24). Solve -o*v - v - 12 = 0 for v.
-2
Let j = 15 - 11. Suppose 3*f - j = -f. Suppose -5*z - 14 = -2*g, -g + 5*z = f - 13. Solve 0 = -0*t + g*t + 10 for t.
-5
Suppose -b + b = -b. Suppose -1 = -2*w + j + 108, j + 274 = 5*w. Let u be (-216)/(-22) + 10/w. Solve -c - c - u = b for c.
-5
Let g(u) = 2*u - 3. Let t be g(6). Suppose 0 = 8*z - t*z + 5. Solve -z = -5*s + 20 for s.
5
Let o(z) = -2*z**3 - 4*z**2 - 2*z + 1. Let q be o(-2). Suppose -4*s + 0*s = q*u + 2, -4*u = -2*s + 12. Solve 2*j = -s*j + 16 for j.
4
Let k(l) = 17*l - 231. Let a be k(17). Solve -a*h + 15 = -53*h for h.
3
Let u be (4/(28/(-35)))/(-1). Solve -u*v + 21 = 6 for v.
3
Let t(s) = 22*s**2 + 6 + 18 - 10*s**3 - 41*s - 10*s**3 + 19*s**3. Let x be t(20). Solve -x*n = n - 25 for n.
5
Let g be (-4)/6 - (-592)/24. Let r = g + -19. Solve -4*a = -r*a - 5 for a.
-5
Let v = -18 - -34. Let f = v + -4. Solve a = 4*a - f for a.
4
Let d be 0/(-1)*13*4/104. Solve 30*v - 28*v + 6 = d for v.
-3
Let j(r) = r + 19. Let x be j(-14). Suppose -2*q + 46 = 2*d, 3*d + 0*d = 2*q - 56. Suppose 2*o - q = -3*o. Solve -x + 0 = o*y for y.
-1
Let c be 3*(-6)/(-45) + 24/15. Solve 5 = r + c for r.
3
Let a(j) = -29*j - 142. Let c be a(-5). Solve 1 = -c*b + 7 for b.
2
Let p(t) = t - 6. Let q be p(7). Let y(k) = -k**3 - 5*k**2 - 6*k - 6. Let n be y(-4). Let z = n + q. Solve -z*i + 12 = -7*i for i.
-3
Suppose 35*f - 740 + 180 = 0. Solve -52*h + 48*h = f for h.
-4
Let d be (-6)/(1/(-8)*2). Let w be (-2)/(-4)*(d + 0). Solve w*t - 11*t + 2 = 0 for t.
-2
Let w be (-5)/(-3) + 90/(-54). Solve w = r + 3*r + 16 for r.
-4
Let d(y) = 6 + 7 - 2*y + 3*y - 5. Let u be d(-6). Let p = -63 + 65. Solve -u*i + p = -4 for i.
3
Let t be 8/6 - 912/(-72). Suppose -9*g - 40 = -t*g. Solve g*l - 3*l = 0 for l.
0
Let w(j) = 2*j - 4. Let g be w(2). Suppose 3 = -q - 0*q. Let p(k) = k**2 + 2*k. Let o be p(q). Solve g*z = o*z for z.
0
Suppose -2*q + 22*q - 12*q = 0. Solve q = c + 3 - 0 for c.
-3
Suppose 0*o - 22*o = -132. Solve 4*u + o = 10 for u.
1
Let r(q) = -q**3 - 8*q**2 - 3*q - 20. Let p be r(-8). Solve -d = p*d - 10 for d.
2
Suppose 0*f + 6 = 2*f. Let x be (-2 - 2)/(4/18). Let o = -17 - x. Solve r = f + o for r.
4
Let i be 7 + 1 + 20/(-4). Suppose i*s - 60 = -2*s. Solve -n = -5*n + s for n.
3
Let i be 4/(-36) - 22/(-198). Solve i = -5*f - f - 24 for f.
-4
Let b = -448 - -496. Solve -8*w + 20*w + b = 0 for w.
-4
Let d be -4 + (1 - (-6 + -1)). Suppose 5*w - 4*l - 32 = 0, -5*w + 8 = -3*l - 21. Solve d*h + w = 3*h for h.
-4
Let g = -254 - -279. Solve -23*f + g*f - 8 = 0 for f.
4
Let u(r) be the third derivative of -r**4/8 + 4*r**3 + 12*r**2. Let h be u(7). Solve -3*c = h + 3 for c.
-2
Suppose -486*m + 485*m = 12. Suppose 3*l - c = -41, -3*l + 0*c - 51 = -3*c. Let w = m - l. Solve w*o = -2*o for o.
0
Suppose -28 = -3*n - n + 3*h, -h = 0. Suppose 3*y = n*u - 6*u + 11, 0 = 5*y + 5*u - 5. Suppose 4*c + 5*p - 19 = 0, 2 = -4*c + 5*p - 9. Solve 2*k = y - c for k.
1
Suppose -v - 110 = -5*u, -44 = -0*u - 2*u + v. Suppose -u = -0*j - 2*j. Suppose -5*i = -j - 9. Solve 3*f = -f - i for f.
-1
Suppose 32 = 13*h - 20. Suppose -10 = -h*v - 2. Solve 0 = -4*g + 2*g + v for g.
1
Suppose -4*b + 47 = 5*u + 12, -4 = 4*u. Solve 0 = 6*v - 28 + b for v.
3
Let u be (32/(-48))/(4/(-30)). Suppose -t + 40 = 4*z + 13, 15 = 5*z - u*t. Solve 3*s = z*s - 9 for s.
3
Let x = 51 - 47. Suppose 2*y = 3*h - 9, 5*h - x = y + 18. Solve -d = -y*d for d.
0
Let t = 833 + -833. Solve -2*x = -t + 6 for x.
-3
Suppose 64*i + 56 = 312. Solve -12*l - 24 = -i*l for l.
-3
Let l(f) = f - 2. Let o be l(4). Let c be (2 + 6/3)*o. Let t be (-2)/((-15)/9 + 1). Solve t*p + p = c for p.
2
Let y = -114 + 117. Suppose -y*j + 18 = 9. Solve -j*u = -5*u + 10 for u.
5
Let w = -1984 + 1991. Solve 0 = w*n + 13 + 15 for n.
-4
Suppose 2*s - 3 = -5*p, -3*p = -4*s - 6*p + 13. Solve -3 = s*a - 5*a for a.
3
Suppose 10*x = 16*x. Solve 20 + x = 4*c for c.
5
Suppose 4*g - 3*m - 57 = 0, 0 = 2*g - 3*m + m - 26. Suppose g = 6*r - 6. Solve -4 = r*d - 0*d for d.
-1
Let y(s) = -5*s + 2. Let b be y(-2). Suppose 5*u + 20 = p, 3*p + u = 5*u + 16. Suppose p = g - 25 + 20. Solve -b = g*o + 13 for o.
-5
Let c(o) = -o + 3. Let k be c(-6). Let m(h) = -h**3 + 10*h**2 - 8*h + 6. Let g be m(k). Suppose v - 3*a = -g, -5*a + 2*a = -15. Solve v = -r - 0 + 5 for r.
5
Let v = -11 - -17. Suppose 0 = 5*f - v*f + 4. Let n be (0 + 4)*4/f. Solve n*q - 4 = 5*q for q.
-4
Let o(p) = -p**3 - 14*p**2 + 73*p + 23. Let s be o(-18). Solve s*l - 13 = -38 for l.
-5
Let j(b) = -b**2 - 7*b - 8. Let k be j(-9). Let h = k - -30. Solve -9 = h*x - x for x.
-3
Let s(a) = a**3 - 4*a**2 - 4*a - 5. Let o be s(5). Let j be o - -3 - (-3 - -6). Suppose 4*k - q = 4, -2*q + 8 + j = 0. Solve -k*h = h + 15 for h.
-5
Suppose 0*r + 2*r + 36 = 0. Let p = 18 + r. Solve -4*q - 4 = -p*q for q.
-1
Suppose -13 + 33 = 2*w. Suppose -5*d + 2 = -2*r, 2*r - d - w = 4. Let s be -1*1*(-1 + 0). Solve -4*v + r = s for v.
2
Let q(t) = t - 5. Let s be (1 - -1)*(-5)/(-2). Let g be q(s). Let r(d) = -d**3 - 26*d**2 + 29*d + 60. Let a be r(-27). Solve -a*p + p = g for p.
0
Let x be 96/(-72)*9/(-12). Solve -5 = k - x for k.
-4
Suppose 4*q - 30 + 6 = 0. Let g = q - 6. Solve g = -2*p - 0*p - 4 for p.
-2
Let y(d) = 4*d + 9. Let m(c) = -c - 2. Let r(x) = -18*m(x) - 4*y(x). Let w be r(1). Solve -w*a - 5 = -7*a for a.
1
Suppose -v = 4*v + 25. Let b(d) = d**2 + 3*d - 8. Let m be b(v). Solve 0 = -6*q + m*q for q.
0
Suppose -4*r + 3*r - 29 = -4*b, -3*b + 13 = r. Let f be (9 + -15)*(-4)/b. Solve 13 = f*a + 1 for a.
3
Let t(r) = -5 - 4*r + r + 5*r. Let l be t(5). Suppose n + l*f = 8, -3*n + f + 27 = -n. Solve -3*j + 4 = n for j.
-3
Let x be (-2 + 3)/((3/3)/4). Suppose -b - 8 = -2*b. Let c = b - x. Solve -h = c*h for h.
0
Let n = -23 + 25. Suppose -w + n*l + 10 = -0*l, 25 = w - 5*l. Suppose h = -5*v - 17, w = 3*h + h + 2*v - 4. Solve -r - 8 + h = 0 for r.
-5
Suppose -8*w + 48*w = 0. Suppose -2*g + 5*j = -30, 0*g - 5*g + 48 = j. Solve w = -i + 6*i - g for i.
2
Let s be (-184)/(-32) + ((-10)/(-8) - 2). Suppose -3*o - 4 = -s*o. Solve -o*f + 4 = 2 for f.
1
Let g(j) = j**2 + 3*j - 17. Let b be g(-5). Let z be (-1)/(-2) - b/14*5. Solve -7 - 8 = z*s for s.
-5
Suppose 2*u = -4*u + 12. Suppose -d + 4 = a, -d + 4 = -0*a + 4*a. Let t be 3 + a + (-2 - 0). Solve u*q - 1 = t for q.
1
Let o be 0 + (-1)/2 - (-95)/10. Solve o*h - 5 = 4 for h.
1
Let y be (39/(-26))/(9/(-12)). Solve y = 6*i - 4 for i.
1
Suppose 5*r + 4*j - 11 = 13, -18 = -5*r + 2*j. Suppose 3*h - 12 = r*s + 10, 4*s - 20 = -4*h. Suppose -z = -0*z - 10. Solve 0 = 4*a + z + h for a.
-4
Suppose -4*s + 7*s = 3. Suppose 2*d = 7 + s. Suppos