Let s(a) = 2*a**2 - 8*a + 1. Let z = 9 + -5. Let v be s(z). Solve -3*i = -2 - v for i.
1
Let t(k) = 1 - 6 + 2 - k. Let p be (4/3)/(12/36) - 9. Let f be t(p). Solve 0 = -f*m - 2*m for m.
0
Suppose -5*w - 30 = 10. Let a(n) = -n**2 - 7*n + 11. Let l be a(w). Solve l + 7 = -5*g for g.
-2
Let n = 465 - 420. Solve 9*f - n = -0*f for f.
5
Suppose 59*n - 88 = 15*n. Solve 2 = n*a + 6 for a.
-2
Let u be ((-148)/(-222))/(2/6). Solve 3*p = u*p + 2*p for p.
0
Suppose 0 = -3*k + 8*k, -2*i = 2*k - 8. Solve -6 = -i*z - 14 for z.
-2
Let o(b) = -b + 12. Let m be o(7). Solve 53 - 33 = -m*p for p.
-4
Let x(q) = -9*q - 76. Let v be x(-6). Let j(w) = -w**3 - 21*w**2 + 22*w. Let a be j(v). Solve -4*d + 4 = -a*d for d.
1
Let n(v) = v**2 + 2. Let m be n(2). Suppose b + 4*b + m = 4*l, 0 = b + l - 6. Solve 3*i = 4*i - b for i.
2
Suppose 0 = q - 3, -q - 1 = -2*o - 4. Solve o = -8*n + 6 - 22 for n.
-2
Suppose 9*o = 5*o + 340. Let q = o + -65. Solve -5*v = -v - q for v.
5
Suppose 3*c = 5*q + 33 - 2, 5*q + 14 = 2*c. Let h = c - 13. Solve -y - h = y for y.
-2
Let p(j) = -2*j**2 + 13*j + 29. Let b be p(8). Solve -27*c + b = -22*c for c.
1
Let l = 6 + -37. Let t = -31 - l. Solve t*x - 2*x - 8 = 0 for x.
-4
Suppose -2*v - 1 = -3. Let u be v*(1 + 3/(-3)). Solve u = 2*r - 3*r for r.
0
Let n be 4131/136 + (-6)/16. Solve -11*x - 3 = n for x.
-3
Let h be (-1)/9 - (-8323)/63. Let m be 12/(-42) - h/(-21). Let x = m - 4. Solve -x*z + z = 0 for z.
0
Let t(l) be the third derivative of -l**5/60 - l**4/24 + 5*l**3/6 - 2*l**2. Let d be t(-4). Let a be 2 - (-7)/(d/(-2)). Solve -4*n + 2*n - a = 0 for n.
-2
Let y be -2 - (-3 - (1 + 1)). Suppose w = 2*m - 9, w + 3 = -3*m - y*w. Suppose b + 0 = m. Solve 0 = -8*a + b*a for a.
0
Suppose -4*r + 4*j = -12, 2*r - 4*j - 2 = 3*r. Suppose -2*q - 4 = -6*q. Let b be (-8)/(1 + q) + 4. Solve -g + r + 2 = b for g.
4
Suppose 6*k - 23 = 1, 3*p + 5*k = 29. Solve 12*n - p*n = -9 for n.
-1
Let n be -5 + 0 + 4 + 7. Suppose 5*f = 4*s + 29, -3*s = -2*f + n + 7. Solve -f*t + 0 = 5 for t.
-1
Let t be (0 - 2) + (-5)/(-1). Suppose x - u + 129 = -t*x, 2*u = -4*x - 138. Let g be (-3)/(-2)*(-88)/x. Solve 3*v = -v - g for v.
-1
Let z(v) = -v**3 - 5*v**2 + 7*v + 7. Let b be z(-6). Let w be ((-9)/4)/(39/(-156)). Solve 2*m + b = -w for m.
-5
Let g be (-4 + 45/10)*10. Solve -3*p - 7 - g = 0 for p.
-4
Let i(s) = -s**2 + 2*s - 1. Let n be i(2). Let c(o) = 5*o**2 - o. Let t(w) = -31*w**2 + 7*w. Let k(p) = 13*c(p) + 2*t(p). Let l be k(n). Solve j = -l*j for j.
0
Let g(k) = k**2 + 5*k - 32. Let h be g(4). Solve -3*z + h = -11 for z.
5
Let t(o) = 22*o - 198. Let h be t(9). Solve h = -2*u + 6 for u.
3
Suppose -32*k + 38*k - 24 = 0. Solve 0 = k*c - 5*c + 3 for c.
3
Suppose -32*l + 4*d = -28*l - 72, 5*l + 2*d = 90. Solve 9*u + 9 = -l for u.
-3
Suppose -7*u + 4*u + 144 = 0. Suppose -4*a = -0*a - u. Let r(m) = m**2 + 5*m - 3. Let j be r(-6). Solve -p = j*p - a for p.
3
Let g = -10 - -12. Suppose -g*q = -o - 33, -2*o + 4*q - 2*q = 68. Let h be ((-2)/7)/(5/o). Solve 0 = b + h*b for b.
0
Let t(w) = -2*w**2 + 4 - 2*w**3 - w**2 + w**3 - w**2. Let g be t(-4). Suppose -h = -0*h - g. Solve 0 = -2*u + h for u.
2
Let z be (-49)/2*(216/63 - 4). Solve 10 = -z*n + 16*n for n.
5
Let x = -268 - -288. Solve -10*n + x = -0*n for n.
2
Let t be (-238)/(-51) - (-2)/(-3). Suppose 3*y + 10 = y - 5*g, -t*y - 4*g = 8. Solve -12 + y = -4*b for b.
3
Suppose 3*v = -f - 16, 2*f = 4*v - 3*v + 3. Let c(u) = -13*u + 8 - 10 - 3*u. Let y be c(f). Solve 2 = -3*l + y for l.
4
Suppose 8*n - 3*d - 55 = 4*n, -15 = -3*n - 3*d. Let a = n + -7. Solve -a*h = -h for h.
0
Let c(n) = -6*n**2 + 2*n + 2. Let f be c(-1). Let l be (f/4)/((-2)/4). Solve l*z = 8*z + 10 for z.
-2
Suppose -3*x + 14 - 44 = -5*i, 3*i - 2*x = 18. Let a be 1/(-2) + 9/2 - 1. Suppose 4*v + 2*s + s = 36, -3*s = -a*v + 6. Solve -4*z - v = -i*z for z.
3
Let x = 57 - 42. Let f be 7 + 1 + x/(-5). Solve f*o + 5 = 4*o for o.
-5
Let y be 114*(-12)/108*-6. Solve -11*s - 8*s - y = 0 for s.
-4
Suppose -184 = -18*f + 86. Solve 3*b + f*b = 0 for b.
0
Suppose 5*j + 1 = 11, -4*x + 20 = 2*j. Suppose -u = -24 + 9. Suppose 2*o = 47 - u. Solve x - o = -4*m for m.
3
Let x = 5 + -3. Suppose 20 = -x*g + 22. Solve -2*q + g = 11 for q.
-5
Let r(m) = -4 + m + 3 - 4. Let c = -1 - -6. Let o be r(c). Solve o = 2*g + g - 15 for g.
5
Let q be (-5 + 205/35)*(-7)/(-2). Let i = -1 + 3. Suppose 0 = -12*v + 4*v + 88. Solve -q*m = -v + i for m.
3
Let g = -17 + 53. Let b = g - 34. Solve -3*h = -h - b for h.
1
Suppose 2*z + 2*z - 10 = -2*k, 4*k = 3*z + 75. Let y(m) = -5*m - 1. Let i(o) = -11*o. Let n(b) = -6*i(b) + 13*y(b). Let u be n(k). Solve -4*d - 6 = u for d.
-2
Suppose -2*w + 4*f = -32, -4*f - 21 = -4*w + 27. Let x = 21 - 29. Let s(o) = -11*o - 86. Let q be s(x). Solve 6*b = q*b + w for b.
2
Let m(g) = -g**2 + 6*g - 4. Let z = 31 - 17. Let w = -10 + z. Let o be m(w). Solve -3*t + o*t = -3 for t.
-3
Let t(y) = y**2 + 11*y - 35. Let g be t(-14). Solve 0 = g*f - 3*f - 4 for f.
1
Let d(t) be the second derivative of -4*t + 0 + t**4 - 1/20*t**5 + 9/2*t**2 - 11/6*t**3. Let b be d(11). Solve 4*u = b*u for u.
0
Suppose f - 14 = 5*u, 3*u - 18 = -5*f + 2*u. Suppose -f*h + 10 + 22 = 0. Let l be (-2)/h - (-68)/16. Solve 0 = q - l*q for q.
0
Let l be 6/(3 - (-2)/(-2)). Suppose l*m + 2*p = 6 - 2, -5*m - 5*p = 0. Let a(d) = 17*d**2 - 1. Let g be a(-1). Solve 0*w = m*w - g for w.
4
Let i = 607 + -601. Solve -d + 7 = i for d.
1
Let z(k) = -k**2 - 5*k. Let y be z(-5). Suppose 0 = 4*w - 4*d - 4, y*d + 5*d + 5 = w. Solve 5*f = -w*f - 20 for f.
-4
Let l = 295 - 289. Solve 21 = -5*p + l for p.
-3
Let q(j) = j**2. Let h(g) = -g**2 - g - 1. Let y(w) = h(w) + 3*q(w). Let z be y(-1). Let a = 7 - z. Solve 0*t - a*t = 10 for t.
-2
Suppose -2*m + 8 = -5*r, -m - 9 = -0*r + 4*r. Let q be -2 - (-3 + 9)*m. Suppose -g - 2 = -q. Solve 2*d = -g*d - 20 for d.
-5
Let t = 61 + -48. Solve 7 + t = 4*x for x.
5
Let p = 29 + -33. Let t(m) = -m**3 - 4*m**2 + m + 7. Let s be t(p). Solve 2*j = -s*j for j.
0
Let p = 6 + -2. Solve p*d = -d for d.
0
Suppose 0 = u + 3*g - 31, 2*g - 5*g = -2*u + 17. Let s be 76/12 - (-3)/(-9). Suppose -5*q + 4*m = 13 - s, q + m = 4. Solve -u + q = -5*r for r.
3
Let x(r) = r - 3. Let v be x(5). Let l = -15 + 29. Let t = -11 + l. Solve -t*u = -2*u - v for u.
2
Let j(g) = 3 + 3*g - 3*g**2 + 0*g**3 - g**3 + 5*g**2 - g**2. Let m be j(0). Solve 0 = s - m + 1 for s.
2
Suppose 0 = -3*p - i + 36, 4*p = 3*p - i + 12. Let j be (p/3)/4*9. Solve j + 1 = -2*z for z.
-5
Let r be 9 + -2 + 24/(-6) + 2. Let x = 3 + -1. Let t = x + -1. Solve 2*c - r = -t for c.
2
Let r(x) = -3*x - 1. Suppose -g = -3 + 2. Let y be r(g). Let v(j) = -j - 2. Let o be v(y). Solve 2*z + 12 = -o*z for z.
-3
Suppose 2*f = -2*f. Suppose -5*v = -b + 10, 0 = -2*b - f*b - 4*v + 48. Let r(i) = 2*i**2 + i - 4. Let n be r(2). Solve b = -n*j + j for j.
-4
Let z(f) be the third derivative of f**5/60 + 5*f**4/12 + 3*f**3/2 + 2*f**2. Let m be z(-9). Solve -b + m = 1 for b.
-1
Let a = -61 - -61. Suppose a = 6*g - 2 - 16. Solve -2*d - g = d for d.
-1
Let g be 3 + (-1 - (0 + -1)). Suppose i = -i - g*i. Solve 2*k + i = -4 for k.
-2
Let a be 2/9 + 4/(-18). Let y be (0 - a - -2) + -2. Suppose -5*i - 1 + 6 = 2*b, -4*b = -3*i + 3. Solve y = -n + i + 4 for n.
5
Let n be (-1 - -2) + (0 - -2). Suppose -5*i - 3 = m, -i - 11 - 4 = 5*m. Solve -v - n + 6 = i for v.
3
Let p = -2 + -58. Let w be 4/30 - (-128)/p - -4. Solve v - 1 = w for v.
3
Let c be (22 - 9)/(2/(-4)). Let g = 29 + c. Solve g*a = 6*a for a.
0
Let o = 108 - 23. Let b = o - 75. Solve 6 - b = l for l.
-4
Let q be -3*20/24*-2. Suppose -q = -k - 1. Solve -k*b + b = 6 for b.
-2
Let p(i) = 2*i**2 - 9*i + 13. Let r be p(3). Solve 10 = -x - r*x for x.
-2
Let x(k) = -k**3 + 6*k**2 - 6*k + 7. Let v be x(5). Let r be (-10)/(-3) - 3/9. Suppose r*i - i = 10. Solve 0 = -i*u - 8 - v for u.
-2
Let m be (-120)/(-64)*(-8)/6*-8. Solve -27*v = -31*v - m for v.
-5
Let x = -42 - -52. Let l be x/(-20)*(-24)/3. Solve -f + 2*f = l for f.
4
Let j be (-1)/((-8)/(-20))*(-102)/85. Solve j*h = 4*h - 4 for h.
4
Let m = -51 + 66. Solve -6*h = -11*h + m for h.
3
Suppose -19 - 23 = -14*b. Solve -b*w = 4*w + 14 for w.
-2
Let c = 331 + -331. Solve i = -3 - c for i.
-3
Let j = -83 - -78. Let n be 3*j/30*-4. Solve -n = -5*h + 13 for h.
3
Let x(n) 