*3 - c**2 + 2. Let q be t(k). Let o be (2 + -2)/(q - 0). Solve o = 2*x + x - 12 for x.
4
Let t = -44 + 48. Suppose -12 = t*d - 4*v - 0, 5 = v. Let o be (30/(-14) + 3)*7. Solve 4*c = o*c + d for c.
-1
Let o = 57 - 44. Solve 0 = -17*g + o*g - 8 for g.
-2
Suppose -5*l + 12 = -2*d, -5*d + 2 = 7. Let n be l*((-4)/(-8) - 0). Suppose 0 = -2*i - i + 6. Solve i*r + n = r for r.
-1
Let r be ((-5)/3)/((-4)/(-48)). Let m = r - -20. Solve o - 2 = -m*o for o.
2
Let l be (-12)/(-42) - 141/(-21). Let m be ((-6 + l)/((-2)/(-6)))/1. Solve -3 = m*z + 3 for z.
-2
Suppose 21*i = 23*i - 16. Solve 0 = 6*k - 4 - i for k.
2
Suppose -2*g = -7*g + 35. Suppose -5*o - g - 38 = 0. Let l be (12 - 0)*(-3)/o. Solve -13 = -l*u + 3 for u.
4
Suppose -5*q - 6*d + 2*d + 11 = 0, -5*q - 2*d + 13 = 0. Suppose -q*r - 3*r = 78. Let f = 14 + r. Solve -4*j = -f + 13 for j.
-3
Let r = -1560 - -1585. Solve 37*j = 32*j + r for j.
5
Let k be 4*10/8 - (2 + 0). Suppose 1 = -3*r - 2*w, 0 = -r - k*w + 2*w - 2. Solve -5*s - r = -23 for s.
4
Let d = -25 + 25. Suppose 3*l + 0*b - 24 = 3*b, 0 = 4*l + 4*b - 48. Solve -5*h + 0*h - l = d for h.
-2
Let a(g) = 2*g**2 + 1 - 12*g + 3*g**2 - 4*g**2 + 0*g**2. Let o(c) = 3*c**2 - 37*c + 4. Let d(h) = -7*a(h) + 2*o(h). Let k be d(10). Solve -w = -0 - k for w.
1
Let y(k) = -14*k - 750. Let u be y(-54). Solve 0 = s - u*s - 15 for s.
-3
Suppose 12 = 5*w + 4*m, -3*w - 2 = -2*m + 4. Let j = 2 + 2. Let s(z) = -z**3 + 5*z**2 - 2*z - 3. Let v be s(j). Solve w = -9*n + 4*n + v for n.
1
Let r be 3 - (-1 - 2) - -7. Solve -r = -4*y + 3 for y.
4
Suppose 0 = -5*z + 3*z + 78. Let x = z + -23. Let u be 1/(-4*(-1)/x). Solve -m = -u*m - 9 for m.
-3
Let t be 17 + -2 - (0/(-2))/(-1). Let k be (145/(-25) + 4)/((-3)/t). Solve k*q - 12*q = -15 for q.
5
Let z = -162 - -165. Solve 7 + 2 = z*n for n.
3
Let f(m) = m**2 - 5*m - 20. Let t be f(10). Solve -v - t = 5*v for v.
-5
Let i(h) = -6*h + 32. Let f be i(5). Let s be (-5 - (f - 4))/(1*-3). Solve 0*k + s = -k for k.
-1
Suppose 0*y + 276 = -3*y. Let b be y/(-14) + 8/(-14). Solve b = -2*n - n for n.
-2
Let g = -5 + -15. Let d be 39/15 + (-8)/g. Suppose d*n = 4*n. Solve n = b - 0*b for b.
0
Let n(b) = 0*b**2 - 2*b**2 + b**2 + 8*b + 2 - 6. Let q be n(7). Let g be (-1)/((-1)/9) - q. Solve -5*h - g = 4 for h.
-2
Suppose 9*c = 14 + 31. Solve 2*p - c = 1 for p.
3
Let q(n) = -3*n**2 + n. Let c be q(-1). Suppose 4*j = 3*k - k + 2, 3*j + 3*k + 21 = 0. Let u be 0/((c - j)/(-2)). Solve -4*m + 6*m = u for m.
0
Suppose 5*y - 13 = 3*u, 22 = 5*u + y - 3. Suppose 6*t + 1 - 7 = 0. Solve n = -u - t for n.
-5
Suppose -6*s + 14 = 26. Let w be (-290)/(-90) - s/(-9). Solve -11 = w*b + 1 for b.
-4
Let k be 26 + 5 + (-6)/2. Let h = k + -20. Let f be -14 - -14 - (-1 - h). Solve 0 = -0*n + 3*n - f for n.
3
Let s = 14 - 14. Suppose 4*c - c - 24 = s. Suppose -g - 5*q = c + 3, -15 = -3*g + q. Solve -g = 3*p + 11 for p.
-5
Let p be (15 - 13)*(-15)/2. Let j be ((-1)/3)/(5/p). Solve r - 2*r = j for r.
-1
Let u(r) = 5*r**3 - 2*r**2 + r + 2. Let y be u(2). Let d = y - 35. Solve h - d = -2 for h.
-1
Let h be (-10 - 11)*(-1)/3. Solve 3*v + h = -5 for v.
-4
Let h be 16/(-6)*1*3/(-2). Solve 22 = -h*x + 2 for x.
-5
Let i be (-75)/(2*9/(-12)). Let r be 14/(-56) - i/(-8). Solve r*n - 5*n = 4 for n.
4
Let r be (-32 - -7)/5 - -5. Solve 3*j = -r*j + 12 for j.
4
Suppose -17*p + 35*p = 36. Solve p = 3*t - 7 for t.
3
Suppose 30 = -84*t + 89*t. Solve -t*j + 3*j - 12 = 0 for j.
-4
Suppose 0 = 2*r - 5*v + 1 + 3, 5*v = 20. Suppose 22*q = 24*q - 4. Suppose 0 = -c - 3*c, -2*a + 3*c = -4. Solve q*z + r = -a for z.
-5
Let i(q) = q**3 + q**2 - 4*q + 10. Let r be i(-3). Solve 0*z = -4*z - r for z.
-1
Let c = 1 + 0. Let x = 3 - 4. Let u be (c - x)*-1 - -14. Solve -5*f + 3 + u = 0 for f.
3
Let i(y) = 2*y**2 + 13*y + 15. Let t(u) = u**2 - u. Let l(s) = -i(s) + 3*t(s). Let w be l(17). Solve -3*d + 25 = w*d for d.
5
Let f = -649 - -652. Solve -5 = k - f for k.
-2
Suppose 0 = h - 3. Let i(m) = m**2 + m + 2. Let y be i(0). Suppose 0 = 54*q - 53*q - y. Solve q*d + 1 + h = 0 for d.
-2
Let w(v) be the second derivative of -v**4/12 - 7*v**3/3 - 5*v**2 + 6*v. Let s be w(-13). Solve s*y = 4*y for y.
0
Let o be 0 + (-3)/((-9)/6). Suppose -5*y - 3*n + 23 = 0, n - 3*n + o = 0. Solve y*i = i + 12 for i.
4
Suppose 0*i - 3*u + 27 = 2*i, i + 2*u = 13. Suppose -75*a + 70*a + i = 0. Solve -a*l = -1 + 4 for l.
-1
Suppose 0 = 5*z - 0*z - 5*b + 65, 17 = z + 5*b. Let d = z - -11. Suppose 6*p = 7*p - d. Solve -p*y = 2*y for y.
0
Let f(o) = o**2 + 5*o - 66. Let q be f(-11). Solve q = -5*g - 15 for g.
-3
Suppose 75*o - 68*o - 28 = 0. Let c(y) be the second derivative of y**5/20 + y**4/2 + y**3/2 - 3*y**2 + y. Let k be c(-5). Solve o*r - k = 2*r for r.
2
Let k(x) = 7*x**2. Suppose 12*f + 2 = 14*f. Let q be k(f). Suppose -q*n + 12*n - 10 = 0. Solve 2*r = -n*r - 12 for r.
-3
Suppose 0 = 8*k - 13*k + 20. Solve -2*l - 10 = -k*l for l.
5
Let k = 713 + -698. Solve -21 = 3*n - k for n.
-2
Let k = -3546 + 3546. Let m be (-10)/(-3) + 2/(-6). Solve m = h - k*h for h.
3
Let x(q) = q**2 - 5*q - 6. Let b be x(6). Solve -3*c + 3 = -b for c.
1
Let n = 9 + -17. Let g be 0 + -3 - (n + -5). Let l be (-2)/g - (-2057)/85. Solve 4*m = -l + 4 for m.
-5
Let v be 21/1 + -2 - 0. Let g be ((-9)/(-2) + -1)*2. Suppose -p = -g*p + 24. Solve 5*j + v - p = 0 for j.
-3
Suppose 2*a + o = -5, 3*a + 2*o + 15 = -o. Let j be 2 + (-2)/(-5 + 3). Solve a = 3*c - 2*c - j for c.
3
Suppose 2*g - f = 5, -2*g + 4 + 5 = 3*f. Let a = 7 + -4. Solve 0 = -a*h - g - 0 for h.
-1
Let v(m) = 13*m - 7. Let h be v(1). Solve -h*c = -4*c - 2 for c.
1
Let a be 1/(-3 + 219/72). Suppose 0 = w + 4, 2*w + 1 + 3 = 4*j. Let y be a/(j - -4) - 0. Solve 3*k = 7 + y for k.
5
Suppose -t = -3*w + 25, w + t = 3*w - 18. Solve -4*q - w - 5 = 0 for q.
-3
Let o(y) = -y**2 - 4*y + 35. Let c be o(4). Solve 0 = -10*a + 7*a - c for a.
-1
Suppose 3*k + 4 = 4*s, 4*s - 7 - 1 = 2*k. Let x = 18 - 14. Suppose x = 3*n - n. Solve -2 = n*b + k for b.
-3
Let t(x) = -5*x**2 + x + 8. Let k(i) = 11*i**2 - i - 17. Let f(l) = -6*k(l) - 13*t(l). Let p be f(-6). Solve 0 = -6*y + p*y + 4 for y.
2
Let k(r) = -9*r + 641. Let h be k(71). Solve 11*o - 26 = -h*o for o.
2
Let q = 695 + -691. Solve 3*u + u = q for u.
1
Suppose -108 = -16*u - 44. Let w be 1/(-4) - 130/(-8). Solve 0*q + u*q - w = 0 for q.
4
Let u = 8 - 11. Let i be u + 1 + 5 + 1. Solve -4*b - 4 = i for b.
-2
Let h(a) = -a**3 - 4*a**2 - 4*a - 3. Let j be h(-3). Suppose -3*w = -p + 10, 4*w + 11 = p - j*w. Solve -p*u + 8*u + 4 = 0 for u.
-4
Let p(v) = -v**3 + v**2 + 14. Let q be p(0). Suppose -12 = d - q. Solve 0 = -s + d - 0 for s.
2
Let g(p) be the third derivative of 9*p**2 + 0*p + 1/24*p**4 + 0*p**3 + 0. Let y be g(3). Solve -2*x - y + 1 = 0 for x.
-1
Let k = -38 - -39. Let u(y) = -y**2 - y + 2. Let m be u(k). Solve 4*i - 12 = -m for i.
3
Let w(m) be the second derivative of 1/6*m**3 + 0 - 8*m**2 - 4*m. Let u be w(16). Solve u = -0*h - h for h.
0
Suppose -460 - 359 = -7*c. Solve -c + 119 = -x for x.
-2
Suppose t = -2 + 4. Let b(c) = 2*c**3 - 4*c**2 + c + 2. Let j be b(t). Solve 2*i + j + 0 = 0 for i.
-2
Let i = -132 + 135. Solve i*l = -l for l.
0
Suppose -2*t - 14 = -3*u, 64*u = 62*u - 2*t + 16. Suppose o + 0 = -1. Let i be o + 6*u/9. Solve -i*l + 1 = -2 for l.
1
Suppose -17*v = -20*v + 9. Suppose -s = -4*y + v*y - 12, -3*s + 2*y + 34 = 0. Solve b - s = -b for b.
5
Let y(x) = x**2 - 52*x + 584. Let c be y(36). Solve 6*g = -c*g + 56 for g.
4
Let v(a) = a**3 - 5*a**2 - 15*a + 6. Let d be v(7). Let y be (d + -3 + 4)/(1/1). Solve g - 5*g + 8 = y for g.
2
Let o = -71 - -83. Suppose o + 23 = 5*r. Solve -r + 2 = -f for f.
5
Let g(z) be the third derivative of 1/6*z**5 + 0*z + 1/120*z**6 - 1/12*z**4 + z**2 + 0 - 19/6*z**3. Let n be g(-10). Solve -n + 7 = 3*k for k.
2
Let w(n) = 3*n + 8. Let k be w(5). Suppose -3*r = -5*d + 59, 0 = -5*d - 2*r + 67 - k. Suppose d = -0*s + 5*s. Solve 0 = s*h + h + 12 for h.
-4
Suppose 0 = 4*n - 4*t, 0*t + 2 = 3*n - t. Let l be (-1)/(n/3)*18/(-54). Solve 2*p + l = -1 for p.
-1
Let g(d) = -d**3 + 2*d**2 - 2*d + 1. Let u be g(2). Let j = 3 + u. Solve 4*s = -j*s for s.
0
Let t = 16 - 13. Suppose 3*j = -3*c, j - 2 = -t. Solve 2 + c = -r for r.
-3
Let c(w) = -w + 15. Let i(b) = -4. Let y(m) = 2*c(m) + 9*i(m). Let n be y(-5). Suppose -5*a