se 0 = -3*c + k - 4. Solve x + 0 - c = 0 for x.
1
Let u(o) = 8*o - o - 4*o + o - 2. Suppose -4 = 2*k - 4*k. Let c be u(k). Solve 0*m - c = 2*m for m.
-3
Let q = 48 - 46. Solve 1 = -q*i - 3 for i.
-2
Let x = 2241 + -2241. Suppose 3*w - 9 - 6 = 0. Solve x*i - w = -i for i.
5
Let y be (-30)/18*-3 + 306/9. Solve n - 14*n = -y for n.
3
Suppose -1350*d + 36 = -1338*d. Let x(l) = -19*l**3 + l. Let k be x(-1). Solve 0 = d*z - k + 6 for z.
4
Suppose 0*m - 3*m + 5*x - 22 = 0, x + 14 = -4*m. Let r be (1/(-2))/((-1)/m*-1). Solve r*z - 6 = 4*z for z.
-3
Let c = -100 + 102. Solve 22 = 6*q - c for q.
4
Let j be (1 + -4)/((-4)/4). Let v = 3 - j. Solve -y = -v*y for y.
0
Let r = 2 + 2. Let h(n) = 12*n - 44. Let g be h(16). Let y = g - 138. Solve -r*v - 2 = y for v.
-3
Suppose 0 = -y - 4*y - 5*x, -3*y + 8 = -x. Let u = -1 - -1. Suppose -y*g + 0*g + 4 = u. Solve 0*k = -g*k - 2 for k.
-1
Let p be (3/(-6))/(3/132). Let c = -16 - p. Let z be (-70)/15*(-9)/c. Solve 3*u - 5 - z = 0 for u.
4
Let m(o) = -o**2 + 9*o - 13. Let y be m(6). Suppose a = -y*a. Let b = 5 + -5. Solve a = j - b + 2 for j.
-2
Let i be (-1 - 0) + (-1 - -27). Let z = 587 + -583. Solve z*f + f + i = 0 for f.
-5
Suppose -2*d - 25 = -5*g, -d - 19 = 2*g + 4*d. Suppose -25 = -5*l + 5*w, 5*w + 11 = 1. Solve l - 15 = -g*p for p.
4
Let k = -454 + 454. Solve k = -t - t - 2 for t.
-1
Let b(m) = 38*m**3 + 3*m - 3. Let n be b(1). Solve 4*o = n - 58 for o.
-5
Let g(y) = 70*y**2. Let l be g(-1). Suppose -2*m + 5*t - l = 6, 4*m - 4*t + 140 = 0. Let x be 1*6*(-22)/m. Solve -5 = x*f + f for f.
-1
Let f be (-27)/(-3 + 0) + -1. Suppose -11*y = -f*y - 6. Solve -3*c - 2 = -y*c for c.
-2
Let i be (-4 - 54/(-12))*14. Solve 13 = -4*a - i for a.
-5
Let z = -182 - -182. Solve z = -f - 4 + 7 for f.
3
Let z = 73 - 101. Let j be ((-6)/5)/(2/10). Let x be (12/14)/(j/z). Solve 0 = -x*d - d + 5 for d.
1
Let q = 16 + -22. Let v be (3 - (-16)/q)*36. Solve -2*b = b - v for b.
4
Let n(l) = 2*l**2 + 12*l - 28. Let i be n(-8). Solve -i*r - 2*r - 24 = 0 for r.
-4
Let j be (-1 - 4 - -4) + 5. Suppose a = -5*s + 15, -j*a - 15 = -6*s + s. Solve 0 = 3*r + s - 6 for r.
1
Suppose 0 = 2*j + k - 11, 15*j - 11*j - 28 = -4*k. Solve j*n = 3*n + 2 for n.
2
Let q be 27/9*(-7)/(-3). Let x = 24 - q. Let y = 17 - x. Solve y = -2*r - 3*r - 15 for r.
-3
Let d be (-2)/2*(-13 + 24). Let g be (-8)/(-3)*(-33)/d. Let l(y) = -y**2 + 9*y - 6. Let h be l(g). Solve 0 = -h*p - p - 9 for p.
-3
Suppose 2*x - 24 = 4*c, 5*c - 1 = -5*x - 46. Let q = 9 + c. Solve q*w + 2*w = 20 for w.
5
Let i(o) = -o - 9. Let d(l) = 4*l + 26. Let x(g) = -2*d(g) - 7*i(g). Let n be x(9). Solve -5*v = -n*v - 15 for v.
5
Suppose 32*i - 93 = 3. Solve i*y - 4*y = -3*y for y.
0
Let x(p) = p - 7. Let r be x(5). Let y be 3 + 2*3/r. Suppose -q - 5*l - 20 = y, 2*l + 4 = 4*q - 4. Solve -3*j + q*j = 15 for j.
-5
Suppose 0 = 5*a + 24 - 4, 19 = j - 3*a. Let y(x) = -x**3 + 7*x**2 + 4. Let k be y(j). Solve 5*c = k + 1 for c.
1
Let s(n) = n. Let k be s(4). Let f(q) = -2*q**2 - 23*q + 12. Let a be f(-12). Solve 0*o + k*o = a for o.
0
Suppose 3*p + 6 = 3*z - 6, z + p = 0. Let s(g) = g**2 - 7*g + 7. Let b be s(5). Let o be (-1)/(2/b)*2. Solve 5*w - z = o*w for w.
1
Suppose 4*n + 8 = 6*n. Suppose 8 = -3*g + n*g. Solve 0*f + 2*f = -g for f.
-4
Suppose -12 = -3*c - 9*p + 5*p, 5*c - 20 = 2*p. Solve 0*g = -2*g + c for g.
2
Let q = -52 + 31. Let x be (2/3)/((-2)/q). Let i be ((-12)/16)/((-4)/16). Solve -x = -i*o + 2 for o.
3
Suppose 5*k - 10 - 15 = 0. Suppose k*m = 4*m - 4*m. Solve -p + m = -2 for p.
2
Let u(l) = l**3 + 3*l**2 - 2*l + 4. Let i be u(-4). Let m be -5*6/(-8) - 1/i. Solve 3*n - 3 = m*n for n.
-3
Suppose -12 = -316*z + 310*z. Solve -z*p = -0*p + 2 for p.
-1
Suppose -4*r = -8, 16*w - r = 14*w + 22. Solve 13*y = 17*y + w for y.
-3
Let j(a) = -55*a + 393. Let u be j(7). Solve -2*i - u = 6*i for i.
-1
Let o be 1*19 - (2 + -9)/7. Suppose u - o = -2*f, -f = -3*u - 0*u + 25. Solve -3*x - u = 5 for x.
-5
Suppose 0 = -5*z - 2*r + 65, z + 4*r = -4*z + 65. Solve 2*y + 17 - z = 0 for y.
-2
Suppose -8*t - 39 = 297. Let w = t + 47. Solve 2*a - w = 7*a for a.
-1
Let x(s) = -s**2 - 4*s - 3. Suppose 0 = h - 0 + 6. Let y be x(h). Let q = 19 + y. Solve 0 = q*g - 3 + 19 for g.
-4
Let g be 238/170 - (-3)/5. Solve -6 = -2*b + g for b.
4
Suppose 3*w - 43 + 7 = 0. Suppose -3*c = -0*x + 3*x - w, 5*x + 4*c - 18 = 0. Suppose 2*o - 1 + 0 = -d, 2*o = -4*d + 4. Solve 9 = x*u - d for u.
5
Let q be ((-32)/6)/(18/(-27)). Let c be 1/(3*-1) + (-296)/(-24). Solve -c*f + q*f = -4 for f.
1
Suppose 401 + 705 = 14*d. Solve -17*j + 6 = -d for j.
5
Let z(d) be the second derivative of 1/3*d**3 - 2*d + 0 - 6*d**2. Let v be z(13). Solve 6 = -5*l - v for l.
-4
Let r(f) be the first derivative of -1/2*f**2 - 8*f + 4. Let y be r(-12). Solve -y*z + 1 = 9 for z.
-2
Let b be (-35)/(-14)*70/25. Solve -z + 6 = b for z.
-1
Let o(y) = 2*y + 14. Let b be o(-5). Let n(c) = c**3 + 19*c**2 - 21*c - 20. Let m be n(-20). Solve 0 = -m*z + b*z + 8 for z.
-2
Let h = -1 - -1. Let x be (1/11)/(-8 - (-89)/11). Solve n = x - h for n.
1
Suppose -12 + 0 = -6*r. Let p(m) = 8*m - 4*m - 5 + 0. Let c be p(r). Solve -13 = -c*z - 1 for z.
4
Let a be (60/25 - 2) + (-138)/(-5). Solve 5*j = -3 + a for j.
5
Let d = 361 - 354. Solve -d*g + 21 = -0*g for g.
3
Suppose -u + 0*h - 2*h - 7 = 0, 2*u - 4*h = 26. Suppose 0 = -2*c - 2*k + 4, u*k - 12 = -4*c + k. Solve 0 = 5*j + 1 + c for j.
-1
Let c = 1153 - 1143. Solve c = -7*o + 9*o for o.
5
Let t be (-17)/(-2)*1*-2. Let g = -18 - t. Let a be ((-2)/g)/(-6 - -7). Solve 2*l = -a*l for l.
0
Suppose -64*w = -59*w - 20. Let s be (-3)/6 - (-62)/4. Let x = s - w. Solve 5 = -3*i + x for i.
2
Let y = 223 + -216. Solve -y*a - 19 = 9 for a.
-4
Let h = 10 - 2. Let u = h + -5. Let q be (6*16/36)/((-6)/(-9)). Solve 2 = u*c - q for c.
2
Suppose -5*y + 4 = -1. Suppose s = -y - 2. Let w be s/(-12)*(11 - -1). Solve 0 = -4*b - 19 + w for b.
-4
Suppose 2*u - 4*k = 4 + 8, 4*k = u - 12. Solve 3*y = -u*y for y.
0
Let q be (-42)/42*(2 + -2). Solve q = 40*j - 32*j + 8 for j.
-1
Let j(d) = -2*d**3 + 13*d**2 + 7*d + 2. Let y = 49 + -42. Let u be j(y). Solve o = -u*o for o.
0
Suppose -5*w = -2*g + 7, 5*g + 20*w - 24*w = 26. Solve -g*t + 13 = -17 for t.
5
Let t be 7 + 11/((-55)/25). Let g(u) = -u - u + u + 7. Let l be g(6). Solve -f - t = -l for f.
-1
Suppose -4*c + 2 = -6*c. Let b(g) = 2*g**2 - 4*g - 3. Let k be b(c). Solve 12 - 3 = k*r for r.
3
Let o = 252 - 249. Solve 0 = o*j + 2*j for j.
0
Suppose -4*p + c = -20, -3 + 23 = 5*c. Suppose -10*m = -p*m. Let g(v) = -v + 11. Let r be g(7). Solve -r*f - 28 + 8 = m for f.
-5
Let m(k) = k**2 + 8*k + 9. Let o be m(-1). Solve a + o*a = 0 for a.
0
Suppose -2*n - 60 = 3*n. Let l(g) = g**3 + 11*g**2 - 15*g - 33. Let z be l(n). Solve 0 = -z*j + j + 10 for j.
5
Let p(y) = y**3 + 6*y**2 + y. Let g be p(-6). Suppose -3*l + 6 + 0 = 0. Let c be (15/g + l)*-10. Solve -2*k + 5 = -c for k.
5
Let s be (-1)/((-2)/24) - 6. Solve -3*f - s + 0 = 0 for f.
-2
Suppose -5*w - 101 = 84. Let n = w - -40. Solve 0 = n*p + p - 4 for p.
1
Let g be (-9)/(-6)*(-4)/(-3) + 1. Suppose -g = 5*o + d, 0 = -4*o - o + d + 3. Solve -4*x + 0*x = o for x.
0
Let w be (-31)/(-6) - (-5)/(-30). Suppose w*a - 1 = 9. Let t(g) = g. Let y be t(a). Solve k - y = -k for k.
1
Let i be (24/(-20))/((-4)/10). Suppose -h + 0*h + 12 = 2*m, h + 23 = 3*m. Solve m*u + i = 6*u for u.
-3
Let z = 12 + 67. Let r = z - 78. Solve -2*w - r + 3 = 0 for w.
1
Let k(u) = -u**3 + 13*u**2 - 2*u + 29. Let r be k(13). Let p = r - 1. Solve 3 + 7 = -p*d for d.
-5
Let i = -125 - -132. Solve 2*z = i*z - 10 for z.
2
Let q(y) = 11 - y + 0*y + 2*y. Let u be q(-7). Suppose 0*z - 3*f - 41 = -4*z, 0 = u*z + f - 29. Solve 0 = -4*m + z + 12 for m.
5
Let o = 69 + -24. Let f be o/15 - 0/2. Solve 5*j = f*j + 6 for j.
3
Let m = -20 - -23. Let n(d) = 8*d. Let q be n(3). Suppose -m*p = -0*p - q. Solve 3*u = -p + 20 for u.
4
Suppose 4 = y - m + 2*m, 5*m = -5. Let p = 1521 - 1517. Solve -y*x = -p*x for x.
0
Let m(g) = g**3 + 2*g**2 - 16*g - 25. Let f be m(-4). Solve -2*i - 25 = -f*i for i.
5
Let c = 700 + -688. Solve -3 = -5*n + c for n.
3
Suppose 23 = -5*z - 5*i + 8, 3 = -z - 4*i. Let g = 2 + z. Let j be (-1 - (-2 - g)) + 1. Solve m - 2*m = -j for m.
1
Let t(u) = 2*u**2 + 61*u - 23. Let l be t(-31). Solve 0 =