12 + (1 - 47/(-6)). Let v(c) = -c + 12. Let m be v(f). Solve m*o + y = -0*o for o.
-5
Let d(a) = 6*a + 197. Let h be d(-32). Solve -3*k = h*k - 40 for k.
5
Let c(p) = -4 - 3*p + 4*p + 3. Let a(m) = m**2 - 5*m + 2. Let v(u) = -a(u) + 4*c(u). Let d be v(8). Solve -d*l - 4 = -0 for l.
-2
Suppose -20*l + 1515 - 175 = 0. Solve -2*z - l = -61 for z.
-3
Suppose 15*i - 560 = -13*i. Let o = 6 + -3. Solve -o*a - a = i for a.
-5
Suppose 3*w - 5 = 4*p, 3*w + 0*p + 2*p - 11 = 0. Suppose -5*t + 45 = -4*n - 23, 5*t + 28 = -4*n. Let g = n + 16. Solve 9 = g*y - w for y.
3
Let u be -1 + (-1)/((-1)/3). Suppose -g - 1 = -2*p + 11, -3*p + 11 = u*g. Solve -p*v = -0*v + 5 for v.
-1
Let h be 70/(-4)*(-12)/7. Solve 5*l + l - h = 0 for l.
5
Let s(m) = -m**3 - 2*m**2 - m + 2. Let j be s(-2). Suppose 4 = -3*h + 4*f - j, -10 = -2*h - 5*f. Solve h = -3*w - 3 for w.
-1
Let c be -7 - 12/(-4) - -8. Suppose 0 = -8*k + c*k + 60. Let i be (-5)/k + (-52)/(-3). Solve -3*u = -2 + i for u.
-5
Let s be 0 + 0/(0 + -2). Let z be 2/10*-1*s. Solve z = -x + 2 - 5 for x.
-3
Let y = -764 + 774. Solve y*v = 3*v + 21 for v.
3
Let k be (-1)/(8/(-7) + 1)*1. Solve -3*v + 2 = -k for v.
3
Suppose 0 = -5*h + c + 14, -3*h - 10 = -4*h + 2*c. Suppose 4*v - 5*q = -28, 3*v - q = -h*q - 40. Let a = v + 14. Solve 3*b + a = -4 for b.
-2
Let f(d) = -4*d**2 + 5*d + 3. Let g be f(3). Let r be (-24)/g + 2/(-6). Let y be 17 - ((-2)/r + 4). Solve 0 = 2*l + 3*l - y for l.
3
Suppose 6*v - 52 = -40. Let q = 1 - -2. Solve q*l - 5 = -v for l.
1
Suppose 33*l - 172 = -40. Solve 9*s = 13*s - l for s.
1
Suppose -5*f - 14 = -5*n - f, -5*f = -3*n - 2. Solve -30 = -0*h - n*h for h.
5
Suppose d - t + 2*t - 6 = 0, 0 = -3*t. Suppose -d*q + 9*q = 3. Solve f - q = -0*f for f.
1
Let d be 4 - (-28)/(-12)*(-3 + 0). Solve 0 = n - 7 + d for n.
-4
Let l(n) = -3*n - 17. Let w be l(-7). Suppose 4*m = 20, -w*p = 2*m - 11 + 1. Let j be 63/315 - -2*(-12)/(-5). Solve f = -p*f + j for f.
5
Suppose 6*r - 3*f = 7*r - 20, -4*r + 155 = -3*f. Solve -r*z + 9 = -32*z for z.
3
Suppose 0 = 10*t - 16 - 14. Solve -4*y - t = 1 for y.
-1
Let s(v) = -v**2 + 54*v - 241. Let i be s(49). Let a(c) = -c**3 - 4*c**2 + 7*c + 4. Let k be a(-5). Let t = 15 + k. Solve -i*j + j = t for j.
-3
Suppose 1 + 14 = 5*d - 5*x, 5*x = 2*d - 3. Suppose -5 = -k - d*k. Solve -4*i = -k - 3 for i.
1
Let w be 15/10 + (-3)/(-2). Suppose -w*y - 3*d + 9 = 0, 4*y - 2*d - 4 = y. Solve c + 0*c = -y for c.
-2
Suppose -4*d + 6 = 3*t - 47, 3*d + 4*t = 45. Let p(m) = -7*m - 1. Let y be p(1). Let k = y + d. Solve s + k - 1 = 0 for s.
-2
Suppose 2*t + 121 = 5*r, 0*r - 3*r = -3*t - 78. Let z = 27 - r. Solve -l + z*l = 15 for l.
5
Let a = 271 - 268. Solve a = 4*c - 7*c for c.
-1
Let n be (-1)/(-5) + 19/5. Let v(u) = -2*u**2 - 9*u - 15. Let z be v(-3). Let s be (-2)/2 - (z + 3). Solve n*c = 6*c + s for c.
-1
Suppose 4*t - 9 = -v, -4*v = -3*v - t - 4. Solve v*u = -19 + 14 for u.
-1
Let r(n) = -n**3 - 8*n**2 - 8*n + 3. Let z be r(-7). Suppose 2*t = 7*t - z. Solve -t*w - 12 = w for w.
-4
Let k = 4578 - 4578. Suppose -2*n = -3 + 1, -5*r = -2*n - 13. Solve -g - r + 2 = k for g.
-1
Suppose -4*k + 150 = -2*m, 6*k - 8*k + 5*m + 71 = 0. Solve 14*a - k = -5*a for a.
2
Let i(v) = -2*v + 27. Let x be i(13). Let z be 1 + (x - 0) - 4. Let d be (-1)/(-2) - z/(-4). Solve d = -4*k - k for k.
0
Suppose 1119*a = 1127*a - 64. Solve 0 = -a*r + 6*r - 10 for r.
-5
Suppose -2*q + 4 = 4*g, 0 = -3*q + 2*q - 3*g + 1. Suppose 3*d = -2*d + q*z + 19, -2*d + 1 = 5*z. Solve 0 = -5*r + d*r for r.
0
Suppose -2 = 3*k - 14. Let p = -12 + 18. Suppose 3*s + 13 = 4*h, 4*h - 3 = 2*s + 3*s. Solve -k*l = -h*l + p for l.
2
Let s = -2084 - -2087. Solve 4*u - s - 13 = 0 for u.
4
Suppose m = 4*u - 344 + 358, 4*m + u = 5. Suppose 7*c = 2*c + 80. Let s = 1 - -5. Solve -s*q = -m*q + c for q.
-4
Let m be 5 - (11/1 + -4). Let t(a) = -7*a - 12. Let s be t(m). Solve -2*x - 8 = s*x for x.
-2
Suppose 0 = -y - 4*x + 1266 - 1228, 5*y - 29 = 3*x. Let p be ((-9)/(-6))/(1/2). Solve -f = -p*f + y for f.
5
Suppose 4*u - 37 - 11 = -a, -2*a = 5*u - 60. Solve -8*p = -11*p + u for p.
4
Let k be 57/19 - (-81 + -1). Solve 0 = -20*t + 25 - k for t.
-3
Let w be 200/(-3)*30/(-20). Suppose -3 = -x + 2*l, w = 5*x + 4*l + 29. Let v be ((-2)/6)/(x/(-363)). Solve -3*n + 2 = v for n.
-3
Let f(j) = -j**3 + 81*j**2 + 3*j - 76*j**2 + 0*j**3 + 5. Let q be f(5). Solve -2*b - q = 2*b for b.
-5
Let r be -5*2*2/(-4). Let w = r + 0. Solve 0 = w*j - 5 - 15 for j.
4
Let i(s) be the second derivative of s**4/12 - 11*s**3/6 + s**2/2 - 36*s. Let k be i(11). Solve -5 + k = -2*t for t.
2
Let c(z) = 2*z**3 - 3*z**2 - 25 - 15 + 42 - 3*z. Let t be c(3). Solve t = 7*f - 3*f for f.
5
Suppose 0 = -5*a + 5*f + 30, 4*a + 2*f = f - 1. Solve 3 = -2*t + a for t.
-1
Suppose 0 = -5*t - 4*p + 24, 9*t + 5*p = 4*t + 25. Suppose 5*x - t*x = 2. Let w(u) = -u**2 - 7*u. Let s be w(-7). Solve s*k - x*k = 6 for k.
-3
Suppose 3*c + y - 7 = 0, 8*y = 4*c + 5*y - 5. Suppose b = 5*b - 8, 2*h - 6 = c*b. Solve 3*f = -h + 14 for f.
3
Let g = 141 + -134. Solve g = -2*w - 3 for w.
-5
Suppose 0 = -x + 5*m - 2 + 24, -4*x + 40 = 4*m. Let z be x/(-8)*2 - -9. Solve 4*w + 14 - z = 0 for w.
-2
Let y(k) be the third derivative of k**4/8 - k**3 - 48*k**2. Let i(l) = 4*l**3 + l. Let w be i(1). Let z be y(w). Solve 3*u = -3 - z for u.
-4
Suppose j = 5*f - 5 - 3, 0 = 2*f - 3*j + 2. Solve f*y - y = -1 for y.
-1
Let p(s) = -8*s**3 + 5*s**2 + 3*s - 3. Let r be p(-1). Solve -4*o + 5 = -r for o.
3
Let u = -8 + 10. Suppose 4*a = -0*a. Suppose 2*c + 2*c + 2*t = a, -t = c. Solve -u*p - p = c for p.
0
Let d = -164 - -170. Solve -3*f = -d*f - 9 for f.
-3
Let l be (3 + 2 - 3) + -1. Let p(k) = 3*k**2 + l - 4*k**2 + 6 - 6*k. Let o be p(-7). Solve -5*y - 13 + 3 = o for y.
-2
Let g be (-1 - (-1)/2)*-6. Suppose -6*r = 5*r + r. Solve r = 8*d - g*d for d.
0
Let w(k) = -4*k - 6. Let u(m) = 5*m + 7. Let o(d) = -5*u(d) - 6*w(d). Let h be o(-14). Suppose 3*p = h - 0. Solve p*s - 9 = 2*s for s.
3
Let b = 14 + -7. Let q = b - 11. Let a be (-30)/q*4/6. Solve 5 + a = 5*h for h.
2
Suppose 5*n + 4*p + 40 - 142 = 0, 0 = 5*p - 15. Solve -s - n = -7*s for s.
3
Suppose 25*k = 43 + 7. Solve 1 = u - k for u.
3
Suppose 5*d - 9 - 11 = 0. Let o = -78 + 110. Let w be 7/9 - o/(-144). Solve -15 - w = d*t for t.
-4
Suppose -3*n + b + 4 = 0, 2*n + 3*b + 3 = 24. Let q(p) = -2*p + n + 14*p - 5*p - 6*p. Let g be q(0). Solve 2*t + g*t = -10 for t.
-2
Let k(s) = -s**2 - 23*s + 112. Let a be k(4). Solve a = 4*o - 5*o for o.
-4
Let m(a) = -a**3 - 3*a**2 + 5*a - 3. Let b be m(-5). Let g = 8 + b. Let d = -17 + g. Solve d = -4*s + 1 for s.
-3
Suppose -5 = -3*g + 10. Solve v + 0*v = g for v.
5
Suppose -4*g = x - 17, g - 2*x - 14 = -3*g. Solve g*i = 2*i - 8 for i.
-4
Let s(h) = -h**2 - h + 4. Let p be s(0). Let b = -601 - -604. Solve 7*u = p*u + b for u.
1
Let y = 156 + -148. Solve 2*j = y - 2 for j.
3
Let a(d) = d**3 + 7*d**2 - 3*d + 5. Let r be a(-8). Let o = -34 - r. Solve 3 = -2*c + o for c.
-1
Let f = 266 + -227. Solve -f*b + 1 = -38*b for b.
1
Suppose 31 = 18*r - 23. Let h = -2 + 6. Solve -7 + r = -h*o for o.
1
Let h = 1115 + -1115. Let w = 12 - 9. Solve h*a - 3 = w*a for a.
-1
Let v be (4 + 4/(-2))/1. Suppose 0 = -y + 2*n - 5, -2*y - v*n = -n - 10. Let t = 23 + -15. Solve t*b - y*b + 5 = 0 for b.
-1
Let r(g) = -2*g**2 + 6*g. Let p be r(2). Solve 3*f - 2 = p for f.
2
Let t(k) = -k**3 - 9*k**2 + 5*k - 39. Let m be t(-10). Solve u - m*u = 20 for u.
-2
Let f be (4 - 1*12/8)*2. Suppose -f + 5 = -3*r. Solve r = 5*y - 2*y for y.
0
Let k be ((16 - -4) + 0)/2. Let u = 15 - k. Suppose 6*t = u*t + 4. Solve -2*g = t - 10 for g.
3
Suppose v - 17 - 1 = 0. Let w(t) = v - 34*t + 16*t + 17*t. Let i be w(15). Solve 20 = -2*s - i*s for s.
-4
Suppose -8 = 4*q - 6*q, 2*q - 60 = -4*t. Solve -2*j - t + 19 = 0 for j.
3
Let v be (5/2)/(9/234). Solve v - 61 = 4*u for u.
1
Let f = 161 + -169. Let q be (f/(-10))/((-32)/80) - -8. Solve -9*y - 12 = -q*y for y.
-4
Suppose 3 = 2*o + 3*g, -8*g = -3*g - 5. Solve o = -z - 3*z + 8 for z.
2
Suppose 1579*x = 1568*x. Solve 22*d - 9*d - 65 = x for d.
5
Let t be (-45)/12 + (-6)/(-8). Let v be 5/(t + 0 + 4). Solve j = v*j + 16 for j.
-4
Suppose -3*p = -k - 18, 4*k + 1 + 15 = 4*p. Solve 4 = -5*i + p*i for i.
2
Let i be (-3 + 3)/(2 + -1). Suppose -3*y + 5*j - 3*j =