pose 0 = 2846*y - 2851*y + 20. Solve -16*x + 17*x = y for x.
4
Let c(h) = 6*h**2 - 6*h + 4. Let b(x) = -2*x**2 + 2*x - 1. Let w(p) = -14*b(p) - 4*c(p). Let n be w(2). Solve -n - 9 = -3*g for g.
5
Let f be (-41)/13 + 2/13. Let m = f - -7. Suppose -3 = 3*u + 3*v, m*v + v + 25 = 0. Solve -u*n + n + 6 = 0 for n.
2
Let g(y) be the first derivative of y**3/3 + y**2/2 + 6*y + 1. Let p be g(0). Suppose -43*r - 14*r + 245 = -8*r. Solve -p + 26 = r*k for k.
4
Let r(h) = -h**2 - 5*h - 2. Let g be r(-5). Let c = -281 + 275. Let k = g - c. Solve -k = -2*f + f for f.
4
Suppose -98 - 138 = 4*c. Let h = 59 + c. Solve h*m = -3*m - 9 for m.
-3
Let d be (-8)/(-6) - 2/(-3). Suppose 25 - 1 = 2*u. Let j = u + -10. Solve -d*a + j = -8 for a.
5
Let k = 1212 + -1202. Solve k = 168*j - 163*j for j.
2
Let a(q) = 5*q**2 + q - 3. Let v(x) = 6*x**2 + 2*x - 3. Let b(n) = -5*a(n) + 4*v(n). Let m be b(3). Solve -m*w = w for w.
0
Suppose 0 = -5*a - 76 + 111. Solve a*k - 3 = -3 for k.
0
Let j(t) = 2*t**2 + 32*t + 28. Let o be j(-15). Let y(q) = q - 2. Let i be y(-5). Let c be 56/2*o/i. Solve -3*l + c*l + 20 = 0 for l.
-4
Let g be (1 - -2) + (4 - -4). Solve 15*q - g*q = 0 for q.
0
Suppose -4*t + 3*h = h - 6, 0 = 5*t + 2*h + 6. Solve t*o = -o + 5 for o.
5
Let x(b) = b**3 - 6*b**2 + b - 4. Let i = -20 + 26. Let f be x(i). Solve -6 - f = 4*h for h.
-2
Let h(l) = 22*l - 3. Let w be h(-3). Let v = 89 + w. Solve -5*u = v - 10 for u.
-2
Let b(a) = -2*a + 7. Let r be b(-5). Let p = r + -30. Let z = p - -15. Solve -4 = 2*l + z*l for l.
-1
Let h = 527 + -522. Solve 0 = i - 4 + h for i.
-1
Suppose -5*r = 4*b - 0*b, 0 = b. Suppose -3*h = 2*f + 3 - 24, 4*h = -3*f + 29. Suppose 20 = 4*i - h*t, 4*t = i + 3*t - 4. Solve r = w - 3 - i for w.
3
Let l(o) = 17*o + 119. Let t be l(-7). Solve d + 2 + 3 = t for d.
-5
Let l(q) = q**2 + 5*q + 1. Let t be l(-6). Let z = t + -5. Let x(c) = -c**3 - 9*c**2 - 19*c + 15. Let v be x(-5). Solve -z*o + 0*o = -v for o.
5
Let c(s) = -2*s - 17. Let z be c(-10). Let o be 31 - (1 - 6/z). Let h = 44 - o. Solve 5*k - h = 3 for k.
3
Suppose -42*r + 12 = -39*r. Solve 13*b + 22 = -r for b.
-2
Let n = 23 + -20. Suppose 3*t = n*o + 6*t, 0 = -o - 5*t - 20. Suppose -2 = u + c, o*c + 6 + 4 = 3*u. Solve u = -k + 3*k for k.
0
Let o(w) = 6*w**2 - 1. Let k = -41 - -40. Let z be o(k). Solve -3*a - 2*a = -z for a.
1
Let u = 14 + -12. Let x(q) = 9*q - 6. Let l be x(u). Solve 0 = -0*o + 4*o + l for o.
-3
Suppose 0 = -2*m + m - 1, -130 = 4*i + 2*m. Let x = 34 + -66. Let c = x - i. Solve c*n = -n - 3 for n.
-3
Suppose -2*j + 6*j - 2489 = -5*t, 0 = -3*t + 15. Suppose -5*r + 7*r = j. Let q be r/(-33)*(-6)/4. Solve -q - 11 = 5*c for c.
-5
Let i be (2 - -2)/8*6. Let u(h) = -5*h + 5 - 7 - 12 + i*h. Let q be u(-10). Solve 0 = 3*r - q*r - 15 for r.
-5
Let d be 2/10 - (-624)/30. Suppose h = 5*t, -5*h - 3*t + 23 = -h. Solve -4*k + d = h for k.
4
Let z(k) = 22*k - 253. Let n be z(12). Solve n - 31 = 4*q for q.
-5
Suppose -7*z + 130 = -2*z. Suppose -y = y + z. Let x = -1 - y. Solve -4*h + h = -x for h.
4
Suppose 0 = 7*n - 4*n + 18. Let f be n/12 - (-118)/4. Suppose -5*m + f = -r, -2*m + 0*m - 10 = 5*r. Solve -m*d + 9 + 1 = 0 for d.
2
Let z be (-11)/(-2) + (-2)/4. Let l(w) = -w**3 + w**2 + 3. Let q be l(0). Suppose z*d = 4*s - 25, -s + d - q*d = 10. Solve 3*v = -s*v for v.
0
Let h(q) = q + 10. Let k be h(-10). Solve t - 2*t - 2 = k for t.
-2
Let d(p) = -50*p - 320. Let l be d(-7). Solve 4*j - l = -6*j for j.
3
Suppose -4*t - 2*b = 66, 75 = -5*t - 0*b - 4*b. Let u be (2 + -1)/(1/t). Let n = -15 - u. Solve -y = y - n for y.
2
Let y be -2 - ((-6)/(-21) + (-37)/7). Suppose -3*s = -9, 0 = 2*i + i - 4*s - 3. Solve y - i = -u for u.
2
Suppose -3*q = q + 40. Let j = q - -10. Solve j = 2*a - 0 - 4 for a.
2
Let c be ((-48)/6)/(6/(-3)). Solve -v = c*v + 15 for v.
-3
Suppose -4*r + 1 = -7. Suppose m - r = 2. Solve 9 - 1 = -m*y for y.
-2
Let m = -3 - 0. Let t = 3 - m. Solve -4*f = -2*f - t for f.
3
Let j = 5 - 3. Let x(p) = -p**3 + 18*p**2 + 19*p + 13. Let r be x(19). Solve -5*v + r = -j for v.
3
Let o = -30 + 33. Suppose -o*k + 10*k - 28 = 0. Suppose -9 = -p + k*b + 2, -b + 31 = 2*p. Solve l + 2*l = -p for l.
-5
Let s be (-210)/(-45) + (-2)/3. Suppose 17 = 4*t - 7*u + 2*u, s*u + 4 = 0. Suppose -11 = -t*p - 2. Solve 0 = 4*j - p + 23 for j.
-5
Let i be 4/(-2) - (0 - 3). Suppose -3*j - 3*m = i - 19, -4*j + 21 = 3*m. Solve -b + j = -0*b for b.
3
Let j be (-56)/(-6) + (-2)/6. Let o = -19 - -21. Suppose -j = -3*n + 3*d, -o*n + 2*d + 24 = 3*n. Solve n = -t + 5 for t.
-1
Suppose 214 - 228 = -z. Solve z = -i + 13 for i.
-1
Let q(t) = -t**3 + 5*t**2 + 8*t - 8. Let s be q(6). Let c be 2/s*-4 + 10. Suppose -3*w = -c*w. Solve 3 = -3*i - w for i.
-1
Let k(j) = -22*j - 130. Let q be k(-6). Solve -q*b = b - 3 for b.
1
Let j = -38 + 41. Suppose -j = -2*o - 4*n + 1, 5*n = o + 5. Solve o*w - 4*w - 4 = 0 for w.
-1
Suppose -42*o + 335 + 505 = 0. Solve 0 = o*w - 1 + 1 for w.
0
Let y(p) = 4*p + 2*p**2 + 2*p**2 + 5 - p**2 + p**3 - 2*p**3. Let m be y(4). Solve m*c + 0*c - 5 = 0 for c.
1
Let z(q) = -q**3 - 3*q**2 - q - 2. Let x be z(-3). Let t = -1 + x. Suppose 3*p = -9, t*o - 3*p + 27 = 3*o. Solve o = -4*u - 4 for u.
-4
Let l be 3*18/(-405) + (-154)/(-30). Solve l = -3*c - 1 for c.
-2
Let k be 13/5 - (-6)/15. Let j(a) = -k + 18*a - 15*a - 3 - 4. Let f be j(4). Solve -f*s = 2*s for s.
0
Suppose 15*w + 24 - 144 = 0. Solve w*n = -n - 6*n for n.
0
Let o = 22 - 19. Solve 3*d = -o*d + 2*d for d.
0
Suppose -7*s = -8*s + 3. Suppose s*c + 8 = 53. Solve 3*a + c = 6*a for a.
5
Let u be (-7)/(-2)*(-4)/(-1). Let s = 10 - 5. Suppose -10 = -s*a, 4*a + 19 - 7 = 4*r. Solve -r = 3*c - u for c.
3
Suppose -4*t + 20 = 0, -3*h + 2*t = -1 + 5. Solve -h*x + 4 = 8 for x.
-2
Let o(b) = -b**2 - 7. Let w be o(-5). Let j = 42 + w. Solve 3*s = 5*s + j for s.
-5
Let d = 1 - -1. Suppose j + 3 = d*j. Suppose -7 = -3*t + 3*h + 8, 0 = -2*h. Solve -j*x + 14 - t = 0 for x.
3
Let m be -1*(-3 + 0/(-2)). Suppose -p - 7*g + 16 = -m*g, 4*g = 12. Solve r - p = -0*r for r.
4
Let d(o) = -o**2 - 14*o - 12. Let k be d(-6). Suppose -4*w + k = 5*v, 4*v - 8 = -5*w + 28. Solve 5 = -w*y + 17 for y.
3
Suppose -3*i - i = -72. Let b = 2 + 11. Let k = i - b. Solve 0 = -k*x + 4 + 1 for x.
1
Suppose 0 = 3*z + 2*z - 4*l + 1, 4*z = 3*l. Suppose -5 = -3*k - 4*a, 13 = 4*k - 4*a - z. Solve -1 = 4*i + k for i.
-1
Let z(r) = 4*r**2 + 3*r - 4*r - 3*r**2 + 0*r. Let a be z(2). Solve -5 = a*p - 3*p for p.
5
Suppose 192*r + 187 = 209*r. Solve 12*u = r*u + 2 for u.
2
Let g be (42 + -42)/((-1)/((-1)/4)). Solve 0 = 8*v - g*v - 8 for v.
1
Suppose 0 = -2*a + 3*k, -4*a + 2*k = -9*a + 19. Suppose -3*f + 6 = -6. Suppose 0*c + 25 = 3*w + f*c, -2*c = -5*w + 7. Solve 0 = -w*j - 12 - a for j.
-5
Suppose 5*w - v - 3*v = 21, 2*w - v - 6 = 0. Let k be (-15)/((-3)/w) + 0. Solve -k*l - 3 = -2*l for l.
-1
Let n(b) = -b**3 - 4*b**2 + 2*b - 2. Let v be n(-4). Let k = v - -10. Solve 2*x + 2*x - 12 = k for x.
3
Let c(b) = 2*b - 45. Let g be c(24). Solve v - g + 2 = 0 for v.
1
Suppose 0 = -5*z - 2*q + 10 - 2, 2*z + 12 = 3*q. Suppose z = 4*f + 4*f. Solve f*l = l - 3 for l.
3
Let y(f) = 2*f + 5. Let o be y(-5). Let x be ((-6)/o)/((-3)/(-15)). Suppose 0 = x*k - 3 - 15. Solve 3*g + 3 = -k for g.
-2
Suppose 0 = 19*o - 15*o. Suppose -9*y + 0*y + 99 = o. Solve -4*v - 1 = y for v.
-3
Let g(d) = -d + 11. Let i be g(7). Suppose w = -2*z + 10, -z - i*z = -w - 32. Suppose 3*x + 11 = -m + z*x, 3*m = 2*x + 2. Solve m*q - 24 + 4 = 0 for q.
5
Let k be -1 + (-1)/(-1) - -1. Let x = 4 - k. Solve 2*y + x*y + 25 = 0 for y.
-5
Let w(p) = 5*p**3 + 2*p**2 + 6*p + 12. Let y(j) = j**3 - j**2 + j. Let z(n) = -w(n) + 4*y(n). Let t be z(-6). Solve t = 2*o - o - 3 for o.
3
Suppose 5*d = -3*k + 180, -3*d + k + 11 + 111 = 0. Solve -4*q = -d + 55 for q.
-4
Let f be (-75)/(-65) - 2/13. Let d be -18*2*f/(-6). Suppose 0 = q - 9 - d. Solve -4*m = -9*m + q for m.
3
Let f be (42/35)/(21/(-15))*-7. Solve f = -2*k - k for k.
-2
Suppose 10 = -0*b + 2*b. Suppose -2*h + 3*s + 3 = -0*h, 0 = -b*h - s + 33. Suppose 3*o = -a + 7, 16 + 0 = 3*a + 4*o. Solve -a = -2*k - h for k.
-1
Let j be 2/(-3) + (-1)/3. Let z be (16/6)/((156/(-18))/(-13)). Let f = z + j. Solve -f*r - 5 - 7 = 0 for r.
-4
Let z be ((-138)/(-161))/((-3)/(-70)). Solve -z = -4*a + 14*a for a.
-2
Let k(j) 