Solve 0 = -d*x + 2*x - 8 for x.
4
Let n be -3 + 3*8/6. Let b be n/((-4)/(-16))*-3. Let a = b + 22. Solve -a = -q - q for q.
5
Suppose 2*p = -h - 0 + 2, -2*p - 2 = 3*h. Let u = 0 + 2. Let y be h/4*0/u. Solve -d + 6*d = y for d.
0
Let g be (-446)/(-5) - 32/(-40). Let k be ((-60)/g)/(2*1/(-9)). Solve k*n = 2*n for n.
0
Let q = 4 - 4. Let c be (30/(-25))/((-2)/10). Solve c = -2*p - q for p.
-3
Suppose -11*n - 7*n = 0. Solve n = 9*x - 32 - 4 for x.
4
Let y(s) = -2 + 2*s + 5 - 4*s + s. Let f be y(-7). Let t be 10/25 - 2/5. Solve 5*i - f - 5 = t for i.
3
Suppose 2*t = 2*j + 8, 0*j + 2*j = 4. Suppose t*b + 2 = 7*b. Solve b*k = -k for k.
0
Suppose 6*n = n + 125. Suppose -n*t = -29*t + 28. Solve -1 = 4*x + t for x.
-2
Let t be (0/(-1) - 1)/(1 + 0). Let j(q) = -2*q**3 - q**2 - q. Let c be j(t). Solve 0 = 2*m + c*m - 4 for m.
1
Let r be (-6)/(-15)*(-3 - -8). Suppose 0 = u - r*u + 2. Suppose -7 = -u*x + 3. Solve -j = -6*j - x for j.
-1
Let u be 93/12 + (-3)/4. Solve u*v = 11*v + 4 for v.
-1
Let l be (-2922)/(-36) - 1/6. Let t be -10*(l/15 - 3). Let b = -24 - t. Solve b = -2*m + 8 - 0 for m.
4
Let b(x) = -x + 29. Let o be b(23). Solve o*u - 9*u = 0 for u.
0
Suppose 0*r - 2*r = 0. Suppose j - 3*j = -28. Let u = j + 17. Solve r = -5*m - 6 + u for m.
5
Suppose -4*n + 23 = h - 6*h, h - 41 = -3*n. Solve 7*k - 3*k = -n for k.
-3
Let i be 2/((-2)/(3 - 9)). Solve -i*w = -0*w - 24 for w.
4
Suppose -5*m - 3*g + 1 = -11, -3*m - g + 4 = 0. Let c = -9 + 10. Let p be (-1 - -1)/(c + 1). Solve 3*r + m*r - 6 = p for r.
2
Let s(j) = j**2 + 11*j + 18. Let h(c) = 1. Let t(y) = -6*h(y) - s(y). Let f be t(-7). Solve f*v = v for v.
0
Let r = 14 + -23. Let k = -9 - r. Suppose -3*n - 2*b = -4, -4*n + k*b + b - 2 = 0. Solve -2*o + 2 - 6 = n for o.
-2
Suppose 2 = 2*r - 12. Let s(d) = -7*d**2 - 164*d - 66. Let t be s(-23). Solve 5*p + t = -r for p.
-2
Let g = -33 + 37. Suppose -17 = -g*q + m, 2*q - m - 16 = m. Solve y + q*y - 16 = 0 for y.
4
Let m = -12 - -19. Let a = -4 + m. Solve -n = -a*n - 10 for n.
-5
Suppose 0*y - 4*t - 24 = 3*y, -5*t = 0. Let m(b) = b + 8. Let c be m(y). Suppose c = 4*a - 3 - 1. Solve 3 = n - a for n.
4
Let w = -136 - -135. Let i be (-173)/(-9) + 6/(-27) - w. Solve -2*p + 6*p = i for p.
5
Suppose -3*p = -15, -3*p = 4*x + 62 + 7. Let d be (-3)/x - (-2)/(-14). Let t be d/((-7 - -1)/2). Solve w + w - 8 = t for w.
4
Suppose -5*o - 32 = i, -2*i - 23 = 5*o + 61. Let y = 52 + i. Suppose 10 = 3*w + 2*w. Solve -w*g = -y*g + 4 for g.
-2
Let s be ((-45)/12)/(9/(-12)). Solve 0 = -4*g + s*g + 4 for g.
-4
Let a(o) = o**3 + 12*o**2 + 10*o - 12. Let d be a(-11). Let g be ((3 - 1) + -5)*(-2 - d). Solve -w - 1 = -g for w.
2
Suppose 6 = 2*c + 2*d - 0, c + 9 = 5*d. Let o be 1/(-6)*(-90)/5. Solve -o*l + 10 = c for l.
3
Let h = -162 - -177. Let q be 1 - (2 + -2)/(-3). Let k = -1 + q. Solve k + h = 3*l for l.
5
Suppose -5*a + 0*c = -4*c, 0 = 3*a + c - 17. Suppose 0 = 2*f + v - 7, -a*f + 30 = -5*v - 5. Let o be f/(-2)*90/(-75). Solve -o = w - 0*w for w.
-3
Let j = 35 + -11. Let d = j - 20. Solve -f = d*f + 5 for f.
-1
Let n be (20/(-40))/(1/(-6)). Solve y + 8 = n*y for y.
4
Let j be 10*(0 + (-3)/(-6)). Let p be (-116)/(-30) + 3 + (-215)/75. Solve p*k = j*k for k.
0
Let m = 123 - 43. Let b = -74 + m. Solve -5*c + b = -9 for c.
3
Let q = 29 + -40. Let z = 8 + q. Let c be 7 - 6/(-9)*z. Solve c = -3*b + 4*b for b.
5
Suppose 0*s + 2*h + 53 = -3*s, 5*s + 81 = 4*h. Let k = 21 + s. Solve -2*j + j - k = 0 for j.
-4
Let d = 12 + -4. Suppose -3*u + d = 2. Let v be (-3 - u)*10/(-25). Solve 0 = c - v*c for c.
0
Let w = 1463 - 1456. Solve 9 - w = n for n.
2
Let g(q) = -q**3 + 16*q**2 - 15*q + 5. Let f be g(15). Suppose 3*k - 4*u = -10, f*k + 0*k - 14 = -u. Solve k*w + 3*w + 20 = 0 for w.
-4
Let m = -153 + 169. Solve 19*c + m = 11*c for c.
-2
Let p = -70 - -71. Suppose -6 = -y - p. Solve -y = -4*v + 7 for v.
3
Suppose 30 = -47*h + 52*h. Solve h = 7*f - 1 for f.
1
Let g = -21 - -29. Suppose -t - 2 = r, -4*r = 3*t + g - 2. Let v be ((-6)/3)/(4/(-10)). Solve v*x + r*x = 15 for x.
3
Suppose 0 = 6*g - 5*y - 29, -7*g + 17 = -3*g - y. Solve -5*z - 2*z = -g*z for z.
0
Let l = -270 + 275. Solve l*g + 10 = 10*g for g.
2
Let f be ((-11)/3)/(8/3 - 3). Solve -6*p - 25 = -f*p for p.
5
Suppose 449*o - 457*o + 24 = 0. Solve 5*n = -23 + o for n.
-4
Let a = -665 + 935. Suppose -15*q + 17*q = a. Let j be (-1)/(-2) - q/(-30). Solve 2 = 3*h - j*h for h.
-1
Let q be 6 - 1/(-1) - (-9)/(-3). Solve -q*f + 7*f + 6 = 0 for f.
-2
Let s be ((1 - 0) + 7)*(-26)/(-4). Suppose s*g = 49*g. Solve 20 = -4*t - g*t for t.
-5
Let s = -19 - -19. Suppose 0*r + 3*r = s. Suppose u = -r + 6. Solve -c - u = c for c.
-3
Suppose 6*v + 196 = 55*v. Suppose -2*r = -0 - 2, -5*z + r + 4 = 0. Solve v*l = 5*l - z for l.
1
Let f = 24 + -21. Suppose 0*b - f*n + 17 = 2*b, 2*b - 5 = n. Let t(h) = h**2 - 6*h + 2. Let j be t(6). Solve -j*w + b - 2 = 0 for w.
1
Let r(q) be the second derivative of -3*q**3/2 - 8*q**2 + 2*q. Let u(l) = 4*l + 8. Let w(z) = -2*r(z) - 5*u(z). Let g be w(-6). Solve 4*m + 16 = g for m.
-3
Let w be (10/(-6))/((-14)/(420/25)). Suppose -3*d + 4 = 1. Solve d + 1 = w*a for a.
1
Suppose -4*j = 4*v - 36, -v + 3*j = 4*v - 5. Suppose -4*d = -v*d - 5*d. Solve d = -s - 4*s + 15 for s.
3
Let l be (1/(-3))/((-5)/60). Suppose 3*j - 2*j = l. Let y = 7 - j. Solve -3 - 3 = -y*m for m.
2
Let j(d) = -5*d**2 + 14*d + 10. Let k(x) = x**2 - 1. Let n(c) = -j(c) - 4*k(c). Let i be n(13). Let a = 26 + i. Solve -a*u = -2*u for u.
0
Let b be (-4)/((-16)/(-12)) - 0. Suppose -2*t = -10*t + 56. Let u = t + b. Solve -8 = -u*w + 8 for w.
4
Suppose -2*r - 3*m + 167 - 163 = 0, 5*r - 52 = 3*m. Let f be (10/3)/((-4)/(-18)). Solve r*s + f = 3*s for s.
-3
Suppose 0 = -2*r - 4*o + 22, 5*o - 27 - 10 = -3*r. Solve -105 = -r*n - 2*n for n.
5
Let v(o) = -o**3 + 6*o**2 - 4*o + 1. Let z be v(3). Suppose 5*k = -3*q + 12, 3*k + 3*q + q = z. Solve k = 3*n - 1 - 2 for n.
1
Let z(j) = 18*j**2 + j - 1. Let k be z(-1). Solve 11*d - k = 7*d for d.
4
Let h(s) = -102*s + 310. Let k be h(3). Solve 0 = -6*i + k*i - 8 for i.
-4
Let n be (240/(-780))/(2/(-13)). Solve -9*j - 35 = -n*j for j.
-5
Let s(r) = -r**3 + 5*r**2 - 4*r + 3. Let x be s(3). Let g = 4 - x. Let c be (-11)/g - (-8)/10. Solve 2*t = -c - 5 for t.
-4
Suppose 3*p = -0*p + 9. Suppose 2*h - p*h = -3*h. Solve 0 = -h*i - i - 3 for i.
-3
Let q(p) = p**2 + 2*p + 1. Let z be q(-3). Let j(f) = f**3 - 10*f**2 - 26*f + 26. Let g be j(12). Solve g*v = v - z for v.
-4
Let x be (16 - 10) + (-4 - 0). Suppose 4*v = k + 14, -5*v - x*k = -4*k - 19. Solve v*l - 1 + 7 = 0 for l.
-2
Suppose 16 = 13*r - 9*r. Let a be 9 + ((3 + -3)/2 - r). Solve a*b - 4*b = -3 for b.
-3
Suppose 13 = 2*a - g, 3*g + 14 - 5 = 0. Let x(w) = w + 10 - 5 + a. Let m be x(0). Solve 5*o + 0*o = -m for o.
-2
Suppose 0 + 6 = 2*g, 2*f - 5*g + 29 = 0. Let u be (10/7)/((-1)/f). Suppose -3*v = -v - u. Solve v*p + 0 = 5 for p.
1
Let q = -154 - -156. Solve -3*o - q*o - 25 = 0 for o.
-5
Let c = 45 - 23. Suppose -l = -2*x + 12, -l + 4*x = -0*x + c. Let o = l - -2. Solve -v + 4*v - 6 = o for v.
2
Let n be 2/6*(14 + 1213). Let q = n - 274. Let z be (q/12)/(-9)*-16. Solve -g + 5*g = z for g.
5
Let b be (-42)/12 + 6/(-4). Let u(t) = t**2 + t - 17. Let d be u(b). Solve -d*f - 1 - 14 = 0 for f.
-5
Let h = -49 + 51. Suppose w = -h*s + 8, -3*s + 0*w + 12 = -2*w. Solve -2 - 6 = s*v for v.
-2
Suppose p + 177 = 2*p. Suppose 0 = 12*k - 123 - p. Solve 0 = 6*i - i + k for i.
-5
Suppose 0 = 3*r + 2*d + 89, 2*r + 97 = -r - 4*d. Let u be r/9 - 1*-6. Let g be (2/u)/((-13)/(-39)). Solve -g*o + 11 - 3 = 0 for o.
4
Let t = -471 - -485. Solve -9 = 5*v - t for v.
1
Let u be (2/(-5))/(50/(-125)). Let f(a) = -a**2 - 6*a + 3. Let c be f(-6). Solve o - c = -u for o.
2
Let n(d) = d**2 + 3*d + 2. Let c be n(-3). Suppose i + 1 - 16 = 0. Solve c*b + b + i = 0 for b.
-5
Let i = 951 - 939. Solve -i*z + 13*z = 2 for z.
2
Let r = 424 + -420. Solve -r*m - 18 = -6 for m.
-3
Let g be 1*8/(6/3). Suppose g*j - 24 = -2*j. Suppose j*i = -h - 4*h + 1, 5*h + 35 = 5*i. Solve -k - i*k = -20 for k.
4
Suppose 0*l - 2*k = -5*l + 20, 0 = -4*l - k + 29. Let n = 11 - l. Solve n*z + 11 = -4 for z.
-3
Let s = 37 + -33. Suppose -4*i = 3*z - 17, -3*z = s - 1. Solve -i*l + 3*l = 8 for l.
-4
Let r(h) = -h**2 - 10*h - 3. Let x be r(-7). 