 Solve 0*d = -x*d for d.
0
Let i(a) = -a**2 - 5 + 2*a**2 + 2*a + 3. Let z be i(-3). Suppose -z = -2*w + w. Solve -o + 4 - w = 0 for o.
3
Let s(x) = -x**3 - 16*x**2 + 15*x - 30. Let p be s(-17). Let c be (22/2)/((-1)/(-2)). Suppose p*r + 6 = c. Solve 0 = -r*u + 30 - 10 for u.
5
Let h(d) = d + 13. Let l be (0 + 4)*(-9)/4. Let j be h(l). Suppose 3*c - 9 = -3*r - 0*c, 0 = -4*r + 4*c - 12. Solve r - j = -b for b.
4
Let x(f) = -f**3 - 8*f**2 - 9*f - 10. Let u be x(-7). Suppose -3*n = j, 2*n = u*n - j - 5. Solve 3 - n = l for l.
2
Suppose -5*y = t - 19, -4*y + t = -0*y - 8. Let p be ((-4)/(-12))/((-2)/(-150)). Suppose 4*b - v = -5*v, -4*b + p = -v. Solve -b*w + 8 = -y*w for w.
4
Let q = 8 + -6. Suppose -q*h + 6 = -0. Solve l - 4*l - h = 0 for l.
-1
Suppose -1 + 4 = n. Suppose n = 5*f - z + 4*z, f = 3*z - 3. Solve f*l - 6 = -2*l for l.
3
Suppose c = 5*c - 40. Solve -5 - c = -3*q for q.
5
Let o be 84/22 - ((-70)/22 - -3). Solve -o*r = -2*r + 8 for r.
-4
Suppose -v = 5*x - 5*v - 20, 0 = -3*v - 15. Suppose b - 3 = -x*b. Suppose -2*s - 10 = -5*h + 7, -3 = b*s. Solve 0 = h*f - 4 + 7 for f.
-1
Let v = 13 + -11. Solve -v = 4*h + 2 for h.
-1
Let o(w) = -6*w - 31. Let s be o(-6). Solve 0*u = s*u for u.
0
Let y be 9 + 15 + (-2)/(-2). Suppose y - 9 = 4*f. Solve -2*g = -f*g + 2 for g.
1
Let w(z) = -z**3 + 11*z**2 - 10*z + 4. Let n be w(10). Solve -a + n = -0*a for a.
4
Let f(s) = -4*s + 26. Let b be f(6). Let c = -10 + 15. Solve o - b = -c for o.
-3
Suppose 0 = -6*l + 3*l + 6. Solve 2*b - b + l = 0 for b.
-2
Let f be 2 + -3 + -2 - 16. Let b = -16 - f. Solve -b*z - 12 = -0 for z.
-4
Suppose 0*r + 4*r = 36. Suppose -3*v + 30 - r = 4*i, 0 = 3*i - 3*v. Let o be i/((-3)/(-16)) - 1. Solve -2*a - o = -7*a for a.
3
Let l = 16 - 22. Let o(p) = 2*p + 1. Let z be o(-4). Let r = l - z. Solve -d - 3 - r = 0 for d.
-4
Let a = 42 - 27. Let p be a/6*(-2)/(-1). Solve -5 - 15 = p*j for j.
-4
Let m = 34 - 34. Solve -2 = -m*s + s for s.
-2
Let u be 394/26 - (-16)/(-104). Let a(k) = -k**2 + 6*k + 4. Let o be a(6). Solve -o*v + u + 5 = 0 for v.
5
Suppose 3*c = c. Let v be (-9)/(-3) - -2 - c. Solve v = -4*k - 11 for k.
-4
Let k be 1 + 14 - 0/3. Let r be ((-1)/3 + 1)*k. Let b be (0 + 5)*8/r. Solve -3*p + b*p - 4 = 0 for p.
4
Let i be -5*(1 - (-46)/(-10)). Suppose g = -2*y + i, -g - y + 24 = -2*y. Let r be 1/(2 + (-42)/g). Solve 0 = -5*m + 31 - r for m.
4
Suppose -4*d + 31 = 5*m, 5*d - 6*d + 10 = 2*m. Suppose 2*s = -3*x + 4*x + 32, -x - 17 = -s. Solve 0*v + s = -m*v for v.
-5
Let m be ((-12)/10)/((-3)/10). Solve -5*u - 1 = -m*u for u.
-1
Let y = -4 + -5. Let p be (1 + y/6)*-4. Suppose u + p = -r + 4, 4 = -4*u. Solve r*k + 2*k = 10 for k.
2
Let q = -7 - -8. Let v be -3 + -2 + q + 3. Let t = 5 + v. Solve -3*k = 1 - t for k.
1
Let p(f) = -f**2 - 3*f + 2. Let y be (-4)/20 + (-14)/5. Let z be p(y). Let m = -2 + z. Solve -i - i - 6 = m for i.
-3
Let v(d) = d + 9. Let p(i) = 3*i + 26. Let a(g) = -4*p(g) + 11*v(g). Let j be a(-8). Solve -j*l = -2*l for l.
0
Let d be (-1)/(-3) - (-3)/(-9). Suppose d*q = 2*q. Suppose 5 + 1 = 2*f. Solve q = f*h + 6 - 0 for h.
-2
Let c be (15/(-9))/(1/(-3)). Suppose -c*k + 2 = -3. Solve 13 - k = 4*b for b.
3
Let l(h) = 2*h**3. Let a be l(2). Suppose -a = -3*v - v. Solve 4 + v = 4*r for r.
2
Suppose 0 = 3*h + 5*r - 39, -3*r - 25 = -4*h - 2. Let a = 4 + h. Solve -a = 2*x + x for x.
-4
Let b(h) = 2*h + 1. Let i be b(1). Suppose 0 = -5*z - c - 5, -4*z - 3 = -0*z + c. Let j be (z/(-4))/((-3)/(-12)). Solve t + i = j*t for t.
3
Let s be 0/(4 - 0 - 2). Solve s = 2*w - 0 - 4 for w.
2
Let t = 21 + -17. Solve 0 = t*f - 8 for f.
2
Let g(d) = 2*d**2 - 4*d + 2. Let r(z) = 2*z**2 + 2*z - 1. Let i be r(-2). Let m be g(i). Suppose -2*a - 4 = -4*a, -2*a + m = 2*j. Solve j + 13 = 3*w for w.
5
Suppose 2*a + 3*x = -2*x - 2, 2*a = -3*x + 2. Suppose -3*f - 2*m + 45 = 2*m, -2*f + 30 = a*m. Solve -u = 2*u - f for u.
5
Suppose 6*z - 35 = 3*z - 5*h, -8 = -2*h. Solve 3*y + z = -10 for y.
-5
Suppose 5*t = -d - 18, -4 - 6 = 5*d + 5*t. Solve 0 = 3*a - d + 5 for a.
-1
Let l = 28 - 21. Let k be 4/10 + (-21)/15. Let g be 2/2 - 0/k. Solve 2*a = -g + l for a.
3
Let c = -12 - -15. Solve -16 = x + c*x for x.
-4
Let q = -1 + 2. Let t(c) = 2*c**2 + c. Let b be t(q). Suppose 0 = -3*s + b, -6*s - 9 = -2*l - s. Solve -4*x + l = 3 for x.
1
Suppose 27*b + 32 = 29*b. Solve 0*m - b = 4*m for m.
-4
Let x(p) = p**3 - 7*p**2 + 4*p - 6. Let v be x(6). Let m = 24 + v. Solve m = -4*t + 26 for t.
5
Suppose -4*w - 5*a + 42 + 20 = 0, 3*a - 71 = -5*w. Let s(b) = b**2 - 9*b. Let m be s(8). Let n = w + m. Solve -2*y + 13 = n for y.
4
Suppose 0 = 2*u + u + 18. Let r(m) = -m**3 - 7*m**2 - 8*m - 6. Let b be r(u). Suppose 3 = 2*z - 7. Solve 0 = b*y - y + z for y.
-1
Let k(i) = -i**2 + 18*i + 69. Let t be k(21). Solve -2*o = -4 - t for o.
5
Let u(q) = q + 4. Let r be u(-3). Let p(m) = -2*m**2 + 5*m + 5. Let x(y) = -y**3 - y**2 + 1. Let l(w) = r*p(w) + x(w). Let f be l(-4). Solve a + f = 6 for a.
4
Let p be (-1 - -8)/(2 - 1). Let b(f) = f**2 + 2*f - 3. Let j be b(-3). Let w = j + 2. Solve -1 - p = w*m for m.
-4
Suppose 0 = 7*g + 8*g - 15. Solve b = -0*b - g for b.
-1
Let z(v) = -v**2 - 17*v - 4. Let l be z(-12). Let g be l/12 + 2/6. Solve 0 = -g*x - 11 - 14 for x.
-5
Let h(a) = a**2 + 7*a + 4. Let y be h(-5). Let z = 6 + y. Solve z = 4*o - 0*o for o.
0
Let m(o) = -o. Let d be m(-4). Let u(v) = -17*v - 2. Let i be u(-2). Suppose 5*t + 3*n - 48 = 0, -d*t - 3*n + i = -7*n. Solve -t = -3*r + 6 for r.
5
Let x(q) = -q + 8. Let t be x(6). Solve 13 = t*v + 3 for v.
5
Let l be ((-5 - 0) + 1)*-2. Solve l*s + 9 = 11*s for s.
3
Let c be (-2)/(-16) - 476/(-32). Solve -10 - c = -5*n for n.
5
Let t(o) = -o + 10. Let v be t(10). Suppose 0*k = -2*k + 3*r - 5, 0 = -3*k + r + 3. Suppose v = -4*s + k*s. Solve -6*d + d - 10 = s for d.
-2
Suppose 2*x = x + 2*h + 7, 3*x + 2*h + 3 = 0. Let v = -4 - x. Let f be (-2 - v) + 0 + 1. Solve -f = -3*u + 8 for u.
4
Suppose 0 = 2*j - 0*j - 10. Suppose -2*k + j = 3*k. Suppose 15 = b - k. Solve 7 - b = -3*v for v.
3
Let q = -2 + 0. Let b = q + 6. Solve 0 = 2*v + b for v.
-2
Let o(l) = -2*l - 8. Let p be o(-4). Solve p*q = -4*q - 4 for q.
-1
Suppose 4 = 5*o - 6. Solve -o*x - 2 - 2 = 0 for x.
-2
Let d = -47 + 51. Solve -2*t + d*t - 2 = 0 for t.
1
Let a be ((-8)/12)/(1/(-6)). Suppose h - 2 - a = 0. Let v be 166/12 + 1/h. Solve -2 = 3*o - v for o.
4
Suppose 0 = 8*q + q - 18. Suppose 0 = -5*p + 3*p. Solve p = -3*n - q*n for n.
0
Suppose 0 = 7*n - 5*n - 6, -2*g + 10 = 2*n. Suppose 5*j + 10 = 0, 8*f + 5*j = 4*f - g. Suppose 4*a = -7*r + 3*r + 16, 2 = -r + a. Solve -f*l = -9 - r for l.
5
Let z be (-2)/(-4)*(1 - -5). Suppose 2*v + 3 + 1 = 0, -2*q + 5*v + 18 = 0. Let g = 13 + -9. Solve g*p + q = z*p for p.
-4
Let k(u) = -u**2 + 3*u - 3. Let p(z) = -z**2 + 2*z - 3. Let c(b) = -5*k(b) + 4*p(b). Let q be c(7). Let f be -3*(1/q - 2). Solve -f*l = -1 - 24 for l.
5
Let v(g) = -g**3 + 6*g**2 - 4*g + 2. Let n be v(5). Suppose 4*y - 35 - 45 = 0. Solve -2*z = -n*z + y for z.
4
Suppose 5*h + 5 = -3*j, 2*h = 5*j + h - 29. Let s(k) = -k**3 - k**2 - k. Let w be s(0). Solve j + w = f for f.
5
Let i = 2 + 4. Suppose 2*f + i = 12. Solve -2*v - f = v for v.
-1
Let v be (-40)/12*(1 - (-92)/(-20)). Solve 6*m - 3*m = -v for m.
-4
Let s(o) = o**2 + o - 2. Let g be s(2). Let h be g/8 - 14/(-4). Solve y = -0*y - h for y.
-4
Let d be 1/(-2) - (-66)/(-12). Let q = 5 - d. Let c = q - 7. Solve h = 3*h + c for h.
-2
Let c be (10/3)/((-2)/(-3)). Let g(w) = 4*w - 16. Let p be g(4). Solve p*d - c = d for d.
-5
Let j = -27 + 39. Suppose -2*r + 2 = 2*w, -3*r - w + 4 = w. Solve -r*c + j = c for c.
4
Let h be (2/(-4))/((-78)/(-20) - 4). Solve h = 7*f - 2*f for f.
1
Let y = 3 + 2. Solve -2*n - 3*n = -y for n.
1
Let q be -1 - -3 - 3 - -1. Solve q = 3*c - c - 6 for c.
3
Suppose 8 = -2*x - 3*m - 1, -3*m - 6 = 3*x. Suppose -2*d = c - 6, -c + 4*c + x*d - 24 = 0. Solve 3*y + c = y for y.
-5
Suppose 0 = 37*q - 39*q + 2. Solve -10 + q = 3*y for y.
-3
Let h = -9 + 29. Let d = h + -19. Solve -y - 3 = d for y.
-4
Let f = -17 - -20. Solve 0 = -3*b - f - 9 for b.
-4
Let p(c) = c**2 + 3*c - 2. Let i be p(1). Solve 4*k = -6 - i for k.
-2
Let j = -6 + 8. Let n be -2 + (2 - (-30 - j)). Solve 5*s = n - 12 for s.
4
Suppose 2*i - 2*f = 8, -3*i + f = 9 - 21. Suppose i*q = -q. 