8 for x.
-4
Let f = -65 - -67. Let r = -33 - -37. Solve -f*n + r = -n for n.
4
Let a(k) = -k**3 + 2*k**2 + 3*k + 5. Let d be a(3). Suppose 19 = 2*q - d*c, -2*c - c = 5*q - 1. Solve q = 3*y - 7 for y.
3
Let o(x) = -x**2 + 2*x + 2. Let m be o(0). Suppose -m*f = 7 - 9. Let y = 6 - f. Solve 0 - 15 = y*d for d.
-3
Suppose m + 2*u - 10 = 0, -3*m - u + 3*u - 10 = 0. Let y(x) = 7*x**2 - 4*x + 1. Let n be y(1). Solve n = 4*d - m for d.
1
Suppose c + 8 = -6. Suppose 15 + 0 = w. Let j = c + w. Solve 0 = m + j for m.
-1
Let y be ((-81)/(-18))/(-9)*-6*2. Solve -24 = -y*m - 2*m for m.
3
Let w(h) = 3*h - 41. Let r be w(17). Let k be 5/r*6 + 1. Solve 2*q = -k - 6 for q.
-5
Let h(k) = -k**3 + 9*k**2 - 2*k + 12. Let n(p) = p**3 - 10*p**2 + 2*p - 12. Let w(x) = -3*h(x) - 2*n(x). Let l be w(7). Solve l*j + j = 0 for j.
0
Let z(k) = -k**3 - 4*k**2 + 16*k + 7. Let p be z(-7). Suppose -8*j + p = -22. Solve 0 = -0*l - 4*l + j for l.
2
Suppose -8233*l + 8250*l + 4 = 89. Let o = 12 + -7. Let s be o/2 - (-1)/(-2). Solve -12 = l*i - s for i.
-2
Let k = 70 - 53. Let i(t) = -t**3 + 18*t**2 - 18*t + 20. Let b be i(k). Solve -10 = b*h - 1 for h.
-3
Suppose 0 = -c + 24 - 22. Suppose -c*i = -2 - 2. Solve i*y + 0*y + 4 = 0 for y.
-2
Suppose -33 + 19 = -7*x. Let b = -88 - -90. Solve x*k - b = k for k.
2
Let i be 1/4 - (-126)/8. Let s be 2 - 1/((-2)/10). Suppose -5 + 32 = 9*m. Solve -s*p + i = -m*p for p.
4
Suppose 11 = 8*k - 7*k. Solve k = -2*o + 1 for o.
-5
Suppose 4*x = 4*n - 36, -8*n + 54 = -3*n - 2*x. Solve -16 = 2*z - n for z.
-2
Suppose -19*n + 4*n = 0. Solve 8*c - 2 - 6 = n for c.
1
Suppose f - 2*f - 8*f = 0. Suppose 3*r + s - 9 = f, 5*s = -2*r - 3*r + 5. Suppose 0 = -6*j + 5*j. Solve j = -z - r*z for z.
0
Suppose -35*q + 29*q + 12 = 0. Solve -d = q*d - 6 for d.
2
Let x be ((15 - 31) + 12)*10/(-4). Solve x = -13*b - 55 for b.
-5
Let d(t) = t**2 - 6*t - 2. Let n be d(10). Let a = n - 34. Solve a + 8 = 3*y for y.
4
Suppose 0 = a + 4*d + 2, 4*d + 58 = 6*a - 3*a. Suppose -a - 10 = -8*v. Solve 8*n - v*n = 5 for n.
1
Let y(s) be the third derivative of -s**6/30 + s**5/60 + s**4/24 - s**2. Let u be y(-1). Let x = -253 + 258. Solve -u*h + x = -15 for h.
5
Let t(l) = l - 1. Let m be t(1). Solve 4*f - 8 - 8 = m for f.
4
Suppose 0 = 5*p + 4 - 14. Solve -20 = -2*x - p*x for x.
5
Suppose 0 = 3*n - 5*r - 1 - 1, 0 = -4*n + r + 14. Suppose 0 = -3*g + g - n*h + 12, 9 = 4*g + 3*h. Solve g = -5*f + 25 - 5 for f.
4
Let w = 1 - -1. Suppose -q + 0*q - 4 = 0, -2*o - q + 10 = 0. Let m = 10 - o. Solve -w*v + m = 9 for v.
-3
Let l(k) = 3*k**2 - 46*k - 30. Let p be l(16). Solve 4 = 6*h - p for h.
1
Let k(l) = 90*l - 1144. Let y be k(13). Solve -24 = -14*x + y*x for x.
-2
Let c = -91 + 91. Solve 3*u - 10 - 5 = c for u.
5
Suppose -6*l - 77 + 317 = 0. Solve -13*i = -5*i + l for i.
-5
Suppose 9*b + 93 = 129. Solve -8*q = -10*q + b for q.
2
Let b(s) = s**2 - 7*s + 10. Let l be b(6). Let x(q) = -q**3 + 5*q**2 - 4*q + 4. Let n be x(l). Solve n*h = 7*h + 6 for h.
-2
Suppose 4*h + 8*c - 5*c - 73 = 0, 0 = 4*h + 4*c - 76. Solve 4*z - h = -0*z for z.
4
Let s(g) = 3*g - 35. Let a be s(17). Let v be (a/(-20))/4 + (-1)/(-5). Solve -x = -v*x for x.
0
Let b = -10 - -41. Suppose 3*h - h - l - b = 0, 3*h = -5*l + 53. Solve 0 = -5*x + x - h for x.
-4
Let k = 2495 - 2491. Solve -k*n + 111 = 91 for n.
5
Let i be 2/(-2 + 0)*-1. Let l be (0/(-6 + -3))/2. Solve -o + i = -l for o.
1
Let f(l) = 3*l**2 + 16*l - 54. Let q be f(-9). Solve -2*v = -q + 47 for v.
-1
Let o = 188 + -180. Solve o = 6*k - 10 for k.
3
Suppose -2185 = -2*h - 2121. Solve h*r - 2 = 34*r for r.
-1
Let b be ((-4)/5)/((-8)/20). Let s(l) = -l + 2*l**b - 2*l**2 + l**2 - 3. Let t be s(-2). Solve 9 = -t*x - 0 for x.
-3
Let v(m) = -4*m**2 + 7*m + 30. Let x be v(6). Let k = x + 76. Solve -5*t - 6 = k for t.
-2
Let a be (4 - 7)/3*-20. Let h = -18 + a. Solve h*v + 3 = 1 for v.
-1
Suppose 8*i - 3*i = -5*t + 15, 5*t - 5*i + 15 = 0. Solve -n + 0 + 3 = t for n.
3
Let y be 5 - (-2 + -4 - 0). Solve 8*n - y*n - 3 = 0 for n.
-1
Let b(d) = 5*d - 38. Let f be b(8). Let v(a) = a**2 - 2*a + 2. Let q be 8/2 - (-1 + 2). Let x be v(q). Solve -3 = -x*y + f for y.
1
Let h = -21 + 41. Let y be 42/4*h/30. Solve -2*w = -y*w for w.
0
Suppose 5*x - 15 = -0*x. Let w(v) = v**2 + 3*v + 7. Let r be w(-2). Suppose 5*g - 70 = -5*b, -r*g + 55 = 6*b - 2*b. Solve -x*u + 0*u - b = 0 for u.
-5
Let s(n) = n**2 + n + 2. Let y be s(-1). Solve -4*q = -y*q - 10 for q.
5
Let j(o) = o**3 - 7*o**2 + 2*o + 2. Let f be j(7). Let w = -13 + f. Let u = 11 - w. Solve -u = -5*p + p for p.
2
Let y(v) = -v**3 + 17*v**2 - 31*v + 19. Let m be y(15). Let z(w) = w**3 + 4*w**2 + 2*w + 4. Let n be z(-4). Let l = m + n. Solve -4*i + i = l for i.
0
Suppose 6*u = -191 + 863. Let f be 23/7 + (-32)/u. Suppose w + f*n = 11, -2*n + 0*n = 2*w - 14. Solve w*o + 12 = -3 for o.
-3
Suppose 3*p + 2*p - 55 = 0. Let l = 7 - p. Let h = l - -6. Solve j + h = -3 for j.
-5
Suppose 2*b + 7*b - 180 = 0. Solve 0 = -5*o + b for o.
4
Let s(c) = 22*c**2 + 1. Let v be s(1). Suppose -2 - v = -5*j. Suppose -14*q - 24 = -18*q. Solve -q*u + u - j = 0 for u.
-1
Suppose 27 = -3*d - 54. Let h = d + 33. Solve h = -3*j + 15 for j.
3
Suppose 2*m + 13 = 17. Let g = 1 + m. Solve g*p + p + 16 = 0 for p.
-4
Let b be 201/8 - (-1)/(-8). Suppose -8*x = -3*x - b, 3*t + 4*x = 20. Solve t = 3*i - 8*i + 10 for i.
2
Suppose -32 = -16*t + 16. Let a(b) = -b + 10. Let g be a(7). Suppose -g*o - 29 = -8*o - u, -4*u = o - 21. Solve t*k = o*k for k.
0
Let b(f) = f**2 - 6*f - 29. Let t be b(-4). Solve -29*a + 18*a = -t for a.
1
Let r(q) = q**3 + 6*q**2 + q - 3. Let x be r(-4). Let v = 23 - x. Let h be (-2)/(-1 - -3)*v. Solve -h*a = a for a.
0
Let g(f) = -2*f**2 - 15*f + 17. Let d be g(-8). Solve 0 = -7*l + d*l + 10 for l.
-5
Let y(t) = t**2 - 2*t + 9. Let d be y(0). Suppose o + d = 4*o. Solve o*f + 2 = -4 for f.
-2
Let f = -32 + 30. Let u be (-2)/6*(-1 + f). Solve 3 = -2*n + u for n.
-1
Suppose k = -4*k. Let z(n) = -15*n**3 + 2*n**2 + 2*n + 1. Let x be z(-1). Suppose 4*f + k*f = x. Solve 2*h - 4 = f*h for h.
-2
Suppose 5*p + 5*w + 15 = -0, -5*p = -w + 45. Let f be p*((-63)/2)/9. Let n = -25 + f. Solve -2*j + n*j = -2 for j.
-2
Let w be (-161)/(-28) + 1/4. Let s(b) = -b + 4. Let f be s(0). Suppose -2*t - 2 = -5*x, 0*t - 18 = -5*x - 2*t. Solve w = -x*l - f for l.
-5
Let f(m) = 13*m**3 + 4*m**2 + m + 6. Let x(i) = 27*i**3 + 9*i**2 + 2*i + 13. Let c(v) = -9*f(v) + 4*x(v). Let w be c(-1). Solve 0 = -4*d - 0*d + w for d.
2
Suppose m - 2 = 2*m. Let i = 1 - m. Suppose -3*y = -3 - i. Solve 0 = -5*b + y - 17 for b.
-3
Let l(n) = 25*n - 348. Let p be l(16). Solve p = 88*v - 101*v for v.
-4
Suppose -2*q = -4*s - 18, -s + 2 = -q + 13. Solve q*m + 4 = 12*m for m.
-4
Let p be (0 - 6) + 1 + 8. Solve -6 + 9 = p*s for s.
1
Let o be 0/4*1/(-1). Let v be -3 + (-4 - -15 - 8). Solve v = y + 2 - o for y.
-2
Let q(p) = p**2 + 2*p - 6. Let w be 152/19*2/(-4). Let j be q(w). Solve -4 = -j*r + 2 for r.
3
Suppose 0*b - 18 = -5*b + 3*k, 0 = -b + 4*k + 7. Suppose -4*i = -b*i - 22. Let d = i + -19. Solve h = -5 + d for h.
-2
Let z be 795/(-106)*8/(-10). Solve -z*w = 12*w - 36 for w.
2
Let g(w) = w**2 + 2*w + 4. Suppose 0 = -r - 4*a - 8 - 2, -3*r + a = 17. Let m be r/(-15) + 66/(-15). Let c be g(m). Solve -4*k + c = -8 for k.
5
Suppose 17*y - 37 + 3 = 0. Solve y = -3*i + 14 for i.
4
Let d(l) = -l**2 - 5*l - 2. Let a be d(-4). Suppose 3*t - 4 = a*t. Suppose -6*o = -20 - 10. Solve 9*n = t*n + o for n.
1
Let q be 27/(-6)*4/(-3). Let g(o) = -o**3 + 79*o**2 - 72*o - 466. Let l be g(78). Solve 4*z = q + l for z.
2
Let a = 552 + -542. Solve -a*t + 15 = -7*t for t.
5
Suppose 3*k + 27 = 5*c, 4*c - 8*c = 4*k + 4. Solve 0 = q + c*q - 20 for q.
5
Let z(s) = -3*s**2 - 148*s + 109. Let h be z(-50). Solve 6*u = -0*u + h*u for u.
0
Let z be 1*(7/(-21) + 2/6). Suppose v = -4*k + 45, z = -k + v - 4 + 14. Solve k = -5*r - 9 for r.
-4
Let v = -657 - -689. Solve 6*b + 8 - v = 0 for b.
4
Let z = 2228 - 2228. Solve 8*p - 39 + 31 = z for p.
1
Let q be 3/4*(-1 + -11). Let r = -388 + 382. Let c = r - q. Solve -b - c + 8 = 0 for b.
5
Let l = -15 + 18. Let a be 5 - (1 + 3) - -5. Solve 5*v = l*v + a for v.
3
Let l(m) = m**3 - 17*m**2 - 15*m - 34. Let k be l(18). Solve 0 = -5*v + k - 0 for v.
4
Let m(p) = p**2 - 2*p - 1. Suppose -z