or k.
-4
Let a = 6 - 3. Suppose d = -a*d. Let s be (2 + d)/(2 + -1). Solve -s = -2*y - 4 for y.
-1
Let n(l) = -l**3 - 7*l**2 + 9*l + 13. Let y be n(-8). Solve 4 + 6 = y*s for s.
2
Let f be 6 + (-1)/((-4)/(-16)). Solve -f*q = -6*q for q.
0
Let g be (450/(-70) + 7)/(2/14). Solve -g*k + 1 + 3 = 0 for k.
1
Let g(r) = r**2 + 7*r - 6. Let b be g(-8). Let a be b*4/8 - -1. Solve 2 = a*w + 6 for w.
-2
Let m(x) = -x**3 - 6*x**2 - 2*x. Let k be m(-6). Solve k = -5*b - 8 for b.
-4
Let o(p) = -p**2 + 8*p - 7. Let z(l) = -l**3 - l**2 + l + 5. Let k be z(0). Let v be o(k). Solve v = -5*x - 17 for x.
-5
Let c be (-3)/(-3) + 1 - 1. Let d be 1*((-8)/(-2))/c. Let z be (-1)/(-2)*(d + 2). Solve -z = -3*l - 0 for l.
1
Suppose 4*r - 5*r + 2*d = -50, -4*r + 4*d + 208 = 0. Suppose 0*z + r = 3*z. Let b be 104/z - (-4)/18. Solve b*i - 8 = 2*i for i.
2
Let x(u) = u**2 + 13*u - 44. Let j be x(-16). Solve 0 = 4*f + j + 8 for f.
-3
Let b = -7 + 10. Let n(f) = -b - 3*f + 4*f - f + f. Let k be n(3). Solve k = 3*w - w + 8 for w.
-4
Let z = 15 + -16. Let p be (-45)/(-27) - z/3. Solve p*x + 2*x = -8 for x.
-2
Suppose 2*o - 43 = -4*l - 3*o, 2*o = -3*l + 34. Suppose -2*v = v - 12. Suppose -4 = -4*p + v*b, b = 4*p - 12 + 2. Solve 6*a + l = p*a for a.
-4
Let b be (-4 - -2)*-3 + -3. Suppose 0 = 3*i + b*c, -2*i - 18 = 5*c - 6. Solve -20 = s + i*s for s.
-4
Suppose -u + 12 = 2*u. Solve u*o = -0 - 12 for o.
-3
Let k be (-15)/(-10) + 25/10. Let q(j) = -2*j - 6. Let w be q(-4). Solve -k = -f + w*f for f.
-4
Let v = -19 + 50. Let d(i) = 3*i**2 + 10*i + 2. Let j(h) = 4*h**2 + 10*h + 3. Let q(g) = -3*d(g) + 2*j(g). Let o be q(-10). Solve 5*x - v + 11 = o for x.
4
Let z be (-1)/(-2)*(9 - -1). Suppose z*s = -3*p + 21, 0*p - 5*p - 4*s + 22 = 0. Solve -2*t = -t - p for t.
2
Let o(r) = -r**2 + 5*r + 1. Let q be o(9). Let x be 10/q - (-46)/14. Solve -6 = x*y - 0 for y.
-2
Let c(y) = -y**3 + 8*y**2 - 8*y + 7. Let j be c(7). Solve 4 = r - j for r.
4
Let v be (-75)/(-12) - 6/(-8). Suppose 15 = 2*f + v. Solve 5*q - f = 6 for q.
2
Let z be -1 - -7 - 2/1. Suppose z*y + 44 = 4*w, w - 17 = 3*y + y. Solve w = 3*u - 6*u for u.
-3
Let a(n) = -n + 7. Let q = -8 + 1. Let i = q + 12. Let m be a(i). Solve m*o = 7*o + 5 for o.
-1
Let u be (-10)/(-35) - 46/14. Let p be 82*(1 + u/6). Suppose 3*v - 4 = p. Solve -1 = -4*a + v for a.
4
Let w(l) = -4 - l**3 + 2*l + 5*l**2 - 8*l + 8*l. Let d be w(5). Solve -5*q + d = 26 for q.
-4
Let w be (-28)/(-10) + (-2)/(-10). Let r be (2 - 2)*(-2)/4. Solve r = u - w*u + 2 for u.
1
Let o be 6 + 1*8/(-4). Solve 8 + 0 = -o*k for k.
-2
Suppose 5*b = -4 - 1. Let s be (-6)/(-4)*(b - -3). Let d = -1 + s. Solve 3*y = d - 8 for y.
-2
Let y be 2/3 - (-6)/(-9). Suppose 2*z - 4*u - 14 = u, -4*z - 3*u + 2 = y. Solve 0 = z*k - 5 - 1 for k.
3
Let i be (0 - -3)*1/1. Let f(z) = z**3 - z**2 - z + 4. Let b be f(0). Suppose -7*v + b*v = -21. Solve -i*r = -v + 1 for r.
2
Let z(w) = w**2 - 2*w - 6. Let t be z(-2). Solve -t = -2*v + 4 for v.
3
Let f(d) = d**2 - d - 5. Let q be (-3 - -5) + 2/2. Let v be f(q). Solve v + 4 = -b for b.
-5
Suppose p - 4*p = 0. Suppose -15 - 37 = -4*s. Suppose -y + s = g + 3*g, -6 = -3*g + 3*y. Solve p = r - g - 2 for r.
5
Suppose 2*s = 3 + 1. Suppose -72 = -v - s*v. Solve 4 - v = 4*i for i.
-5
Let v(h) = h**2 - 2*h + 4. Let i be v(4). Solve i = -3*q - 0 for q.
-4
Suppose 10*n = 5*n - 90. Let h = n + -2. Let b be (-8)/36 - h/9. Solve b*j = j - 2 for j.
-2
Suppose -18 = -2*c - 2*c + 2*m, -2*c - 3*m = -5. Solve 2*q + c = -2*q for q.
-1
Suppose -3*i + 83 - 20 = 0. Let z = 7 + -3. Solve z*u - 1 = -i for u.
-5
Let c = 1 + 3. Solve -2 = -r - c for r.
-2
Let h = 22 + -21. Solve -h = 4*j + 7 for j.
-2
Let a = 14 - 36. Let r = 24 + a. Solve -r*i = -0*i + 10 for i.
-5
Suppose -4*w = -2*c + 2, -5*c - 2*w - w + 18 = 0. Solve 25 = -2*o - c*o for o.
-5
Suppose 10*t - 28 = 6*t. Solve t*b - 3*b - 8 = 0 for b.
2
Let j(g) = -3*g - 11. Let y(p) = 21*p + 78. Let k(d) = 15*j(d) + 2*y(d). Let a be k(-4). Solve -n = -a*n - 10 for n.
-5
Let c be ((-8)/6)/(6/(-81)). Suppose -34 = -3*p + 4*j, 0 = 2*p - 0*j + 2*j - c. Solve -y = 4*y + p for y.
-2
Let c = 20 - 20. Let p be c*1/(-6)*-3. Solve -u + p*u = 0 for u.
0
Let m be 1/(-5) + (-24)/(-20). Let l be (-42)/9*-6 - m. Solve 5*h - 2 + l = 0 for h.
-5
Let y be 0 - 0*3/(-6). Solve -4*r + y = -4 for r.
1
Let q be -4 - -4 - -2 - -1. Solve 7 = q*m - 5 for m.
4
Suppose 2*y = 7 - 1. Suppose 0 = -3*h + 4*k + 26, 5*k + 21 = -4. Suppose 2 = h*p - 2. Solve -p*z = -9 + y for z.
3
Let d(y) = -y**3 + 5*y**2 - 5*y + 2. Let v(m) = m**3 + 6*m**2 + 5*m + 3. Let o be -1*(4 - (-1)/1). Let a be v(o). Let q be d(a). Solve -q*b = -0*b - 15 for b.
3
Let c(v) = -v**3 + 8*v**2 - 8*v + 13. Let s be c(7). Solve 0 = -4*f - s - 6 for f.
-3
Let t = 33 + -32. Solve 0 = -3*l - t + 4 for l.
1
Let y(i) = -i. Let j be y(-4). Suppose j*f = z + 19, -3*f - 3*z + 21 = -2*f. Solve 2*t = -t - f for t.
-2
Let g = 6 - 5. Let j(n) = n**2 + n - 1. Let q be j(g). Solve -a + 2 = q for a.
1
Let w = 46 + -78. Suppose 0*q + 4*o = 3*q + 66, 66 = -3*q + 5*o. Let z = q - w. Solve z*m = 5*m - 20 for m.
-4
Let o = -4 - -9. Suppose -10 = o*a - 45. Suppose a = 3*r - 8. Solve -g - 4 = -r*g for g.
1
Let o be (-122)/(-8) - (-2 + (-104)/(-32)). Let l(w) = 2*w**2 + 4*w - 4. Let u be l(3). Suppose -4*f + u = 6. Solve f*d + o = -6 for d.
-4
Let a(j) = 10 + 3*j - 2*j - 5 - 2*j. Suppose s = 4*p - 18, 5*p = -2*s + 22 + 7. Let d be a(p). Solve d = -0*z - 4*z + 16 for z.
4
Let m(g) = -2*g - 24. Let f be m(-12). Solve j = -f*j - 4 for j.
-4
Let s = -15 + 9. Let k be (-23)/(-6) - 1/s. Solve -8*h = -k*h - 20 for h.
5
Let s(n) = 6*n - 2. Let r be s(2). Let m be ((-4)/10)/((-2)/r). Solve 0*o + m*o = -2 for o.
-1
Let u(k) = k**3 - 6*k**2 + k - 1. Let n be u(5). Let v = -18 - n. Solve -q - 4 = -v*q for q.
2
Let n be ((-75)/30)/(1/(-2)). Solve 5*q - n = -0*q for q.
1
Suppose -12*x + 8*x = -8. Solve 0 = -x*p + 6*p for p.
0
Let v(t) = 2*t**2 + 23*t - 12. Let z be v(-12). Solve 5 = -5*c - z*c for c.
-1
Suppose 4*j = -f + 17 + 1, -3*j - 11 = -f. Let u = 20 - f. Suppose -2*w = -3*p + 5, 3*p - 13 + 2 = -w. Solve 3*z - u*z = p for z.
-1
Let s(v) = v + 1. Let t be s(1). Let w be 3 + t + -2 + 0. Solve 0 = -g + 4*g - w for g.
1
Suppose 0 = -4*u + 3*u. Let x be (1 + u + -1)/(-1). Solve -k + 1 - 5 = x for k.
-4
Let m be ((-1)/2)/((-6)/36). Solve 5*p + m - 28 = 0 for p.
5
Let l(o) = -o**3 + 8*o**2 - 8*o + 7. Let x be l(7). Suppose 0 = 5*w - x*w - 20. Solve d - w = -d for d.
2
Let i = 9 - 7. Suppose 7*s - i*s = 115. Solve -5*t + 2 + s = 0 for t.
5
Suppose 25 = -v + 6*v. Suppose v*j + 4*u - 32 = 0, 5*j - 17 = -0*u + u. Solve -2*z = j - 0 for z.
-2
Suppose 3*r - 8 = r. Suppose 3*f - r - 5 = 0, 3*f + 1 = 5*b. Solve -2*i + b = -4*i for i.
-1
Suppose -4*x + 15 + 11 = -2*h, -2*h - 32 = -5*x. Solve x*w = 4*w for w.
0
Let k(i) = 2*i**2 - 2*i. Let s be 1/(-3)*(-6)/1. Let t be k(s). Solve 3*w - t = 5*w for w.
-2
Let h(k) = -k**3 - 9*k**2 - 18*k - 8. Let t be h(-7). Solve 2*o - t = -3*o for o.
4
Suppose -x = 2*d - 20, -x - d + 0*d + 15 = 0. Solve 5*l - x = -35 for l.
-5
Let t(r) = r**2 - 5*r - 9. Let n be t(7). Solve 24 = n*x - 1 for x.
5
Let y = 4 - 4. Solve y = 3*f - 0*f for f.
0
Let f be (-2)/(-5) + 108/(-20). Let o(d) be the second derivative of -d**4/12 - 7*d**3/6 - 7*d**2/2 + 2*d. Let y be o(f). Solve 0 = -i + 2 - y for i.
-1
Suppose -5*w + 40 = 5*w. Solve 0*u + w*u = 4 for u.
1
Suppose 2*v - 9 = 1. Suppose 0 = k + v*o - 20, -3*o - 2*o + 25 = 2*k. Suppose -c = x - 11 - 1, -k*c = 3*x - 66. Solve b + c = -2*b for b.
-5
Let b = 23 - 3. Let x = -3 + 7. Let o = -3 + 3. Solve -x*i - b = -o*i for i.
-5
Let o = 0 + 1. Suppose k - 3 = o. Let a(f) = -2*f - 4. Let w be a(-4). Solve w*t = 8 + k for t.
3
Suppose 26 = u + u + 4*h, 5*u = -5*h + 45. Solve 3 = -u*k - 12 for k.
-3
Let h(j) = 7*j**3 - 16*j**2 + 9*j + 5. Let n(f) = -f**3 + f**2 - 1. Let u(g) = -h(g) - 6*n(g). Let s be u(9). Solve y + 0 = s for y.
1
Let s be (-21)/42*(-1 - -1). Solve j = -s*j - 2 for j.
-2
Let a(d) = -3*d**2 + d + 2. Let r be a(-1). Let o be (r - -6) + 3 + -3. Solve o*x + 5 = 1 for x.
-1
Suppose 2*b + 2 = -2*w, w - 4 + 9 = 3*b. Solve -2*z + 7 + b = 0 for z.
4
Let l(p) = 7*p**2 + 4*p + 2. Let y be l(-1). Let x be 1/(-3) + (-37)/(-3). Solve -g + y*g = x for g.
3
Let y(u) = -u**2 + 6*u