*2/2 + 8*y - 1. Let g be m(8). Solve 0 = -2*s - g*s + 10 for s.
5
Let k(m) = 54*m + 542. Let y be k(-10). Solve -y*o + 9 - 7 = 0 for o.
1
Suppose 14*v - 11*v + 18 = 0. Let w be (-8)/v*(-36)/(-24). Solve w*u - 2 = u for u.
2
Let z be (7636/8)/23 + 1/2. Solve -2*m + z = 44 for m.
-1
Suppose 0 = n - 4*i - 27, -3*i + 9 = -6*i. Solve n = -5*q - 10 for q.
-5
Let w = 20 - 15. Suppose -2*x + x + 12 = 0. Suppose w*g - g - x = 0. Solve a + 2 = -g for a.
-5
Let u(h) = -4*h + 67. Let f be u(16). Solve 0 = f*v + 1 - 4 for v.
1
Suppose 0 = -n + 2*g - 46, 2*g + 6 = -0*g. Let s = -48 - n. Solve -s*c - 3 = -7*c for c.
1
Let o(g) = g**2 - 5*g + 8. Let i be o(2). Suppose -2 = -6*w - i. Solve w = -j + 1 - 2 for j.
-1
Suppose -2*w + 42 = 4*w. Solve 0 = 2*d - w*d - 15 for d.
-3
Let i be (-4)/5*5/20*-10. Solve -i*f + 20 = 3*f for f.
4
Let m = 35 + -49. Let f = -10 - m. Let l be 4/8*-2 + f. Solve l*a = -2 - 4 for a.
-2
Let c = 48 + -18. Suppose 2*b - 5*t + 30 = 0, -3*t + c = -2*b + t. Let z = -15 - b. Solve z = -5*m + 2 + 3 for m.
1
Let p(x) = -x**2 - 9*x. Suppose 2*m = -m + 24. Suppose a - 1 = -m. Let h be p(a). Solve h = -5*j + 4 for j.
-2
Suppose -6 - 2 = -g. Let r = 10 - g. Suppose -r*q + 7 + 9 = 0. Solve -1 - q = -3*t for t.
3
Suppose 292 = 11*h - 16. Solve h*m = 25*m + 3 for m.
1
Suppose -18 = -4*c - 134. Let a = c - -31. Solve -a*o = -7*o - 20 for o.
-4
Let t(z) = -2*z**3 + z**3 + 3*z**2 + z**2 + 7*z - 10. Let u be t(5). Suppose u = w - 3*w. Solve 0 = -j - w*j - 3 for j.
-3
Let k be 2/(-1 + -1) - -5. Suppose y + k - 9 = 0. Suppose 14*d = -4*d + 2*d. Solve d = 2*r - y - 1 for r.
3
Let i(g) = g**3 + 5*g**2 - 4. Let a be i(-4). Suppose 5*h = -4*l - 493 - 182, -4*l + 111 = -h. Let k = -131 - h. Solve 3*c = -k*c + a for c.
4
Suppose -28*d - 2*k + 9 = -23*d, -k - 15 = -4*d. Solve 2*m + d = 5 for m.
1
Let m be 48/(-9)*6/(-2). Suppose z - m = -3*z + 4*h, 0 = -z + 3*h + 10. Solve 0*o = o - z for o.
1
Let n(i) = -i**3 + 16*i**2 - 2*i + 33. Let t be n(16). Let q be 8/60 + ((-172)/(-60))/t. Let s(d) = 3*d - 3. Let b be s(2). Solve -b*w = -0 + q for w.
-1
Suppose 3*q + 48 = 19*q. Solve -5*k = -q*k - 2 for k.
1
Let c(h) = -10*h + 35. Let d be c(9). Let k = 58 + d. Solve k*n = 5*n - 2 for n.
1
Suppose 0 = 5*w - 3*k - 49, -45 = -2*w + 2*k - 23. Solve -12*t = -w*t + 16 for t.
-4
Suppose -24*b + 88 = -22*b. Solve -9*m = 2*m + b for m.
-4
Suppose -4*j + 5*a = 2*a - 127, 0 = -a - 5. Let b = -24 + j. Solve 0*h = b*h + 16 for h.
-4
Let q = -1815 - -1828. Solve -15 = 2*j - q for j.
-1
Let j = 13 + -11. Suppose -4*f - 2*c + j = 8, 3*f + 2*c = -7. Solve -4*i + 5*i = -f for i.
-1
Let c be ((-133)/42)/(-19)*0. Solve c - 2 = 2*r for r.
-1
Suppose 30*o - 31*o + 15 = 0. Solve 4*g + g = o for g.
3
Let p(j) = -4*j + 28. Let o be p(0). Let i = o - 28. Suppose x + x = -4*q - 14, 4*q + 17 = x. Solve z + i = x for z.
1
Suppose 0 = -4*a + 5 - 17. Let x be (a + -2)/(2/4). Let r = x + 12. Solve l = -r*l for l.
0
Let b be ((-513)/54)/(1/(-2)). Solve i + b = 17 for i.
-2
Suppose -3*j = -3*p - 15, -p = 3*j - 3*p - 18. Solve -5*o = -o - j for o.
2
Let g = -161 + 168. Solve -4*x = -g*x - 9 for x.
-3
Let c(i) be the third derivative of i**5/120 + i**4/8 + 2*i**3/3 - 4*i**2. Let w(t) be the first derivative of c(t). Let x be w(7). Solve -5*n + x = -5 for n.
3
Let b be 1*5/((-10)/(-16)). Solve 0*n = 2*n + b for n.
-4
Suppose 5*r = -3*g + 15, -7*g = 5*r - 3*g - 10. Solve r*b = 74 - 98 for b.
-4
Let l = 14 - 12. Suppose -4*z + 3*d = -6, -l*z - z + 5*d = -10. Suppose 0 = -5*v - 2*p, 4*p + 9 + 13 = v. Solve z = -v*u - u + 6 for u.
2
Let n be (-10)/1*14/(56/(-6)). Solve 0 = 2*o + o + n for o.
-5
Suppose -18*p + 66 = -20*p. Let j = -33 - p. Suppose -5*k + 10*k - 20 = j. Solve -1 - k = -o for o.
5
Suppose 0 = -4*v - 9*v. Solve v + 9 = -3*k for k.
-3
Let d be (-2 + 2)/(3 + -2). Let c(k) be the third derivative of k**5/60 + k**4/6 + k**3 + 4*k**2. Let p be c(-4). Solve d*h + 2*h - p = 0 for h.
3
Let m be 2*(3 + -5)*(-15)/(-12). Let y be ((m - -5)/4)/2. Solve -9 = -3*l - y*l for l.
3
Let y = 0 - 0. Let j(c) = -c**2 - 11*c - 13. Let q be j(-9). Let k = -4 + q. Solve -u - k - 4 = y for u.
-5
Suppose -6*f + 8*f + 10 = 5*s, 2*s - 5*f = -17. Solve -12 = -k + s*k for k.
-4
Let m = 659 - 657. Solve 6 = -m*h - 4 for h.
-5
Let l = 1 + -1. Suppose 21*u - 29 - 55 = 0. Solve m - u = -l for m.
4
Suppose 6*n - 78 = 12. Solve -12*f - n - 21 = 0 for f.
-3
Let u be 0*(0 + (-4)/8)/(-1). Solve u*v = -2*v - 2 for v.
-1
Let b(o) = -o**3 - o**2 + 2*o - 2. Suppose 7 + 2 = -3*i. Let m be b(i). Let f = -6 + m. Solve f = y - 0*y for y.
4
Let u be (-5 + 4)/(((-16)/(-4))/(-68)). Suppose 0*i - 4*b - 32 = -4*i, 4*i + b = u. Solve 5*g = -i - 5 for g.
-2
Let t = -34 + 28. Let r(l) = -l - 2. Let b be r(t). Solve b*c - 5 = -25 for c.
-5
Let a(v) = -v**3 + 7*v**2 - 6*v + 5. Let n be a(6). Suppose 0 = -6*p + n*p + 16. Let l = 28 + -24. Solve l*u + p = -0 for u.
-4
Let y(f) = f**2 - f + 2. Let l be y(-2). Suppose 7 = -3*v + 13. Suppose 0 = -4*h - v*h. Solve h = b + b + l for b.
-4
Let v be (-4)/7 - (-1230)/70. Let t = -9 + v. Suppose 4*g - t = -4. Solve -g + 3 = -u for u.
-2
Suppose -3 = w - 0. Suppose 2*a + 3*a - 15 = 0. Let c = a + w. Solve r - 5*r = c for r.
0
Let g be 36 + -14*(5/(-2))/5. Solve -g*j + 34*j - 36 = 0 for j.
-4
Suppose -1 = -3*h + 5. Suppose 0 = -i + 2, -17 = -h*x + 3*i + 17. Let f = 26 - x. Solve 2*o + 20 = f*o for o.
5
Let a be (5 + (-12 - -7))/(-2). Solve a = -5*h - 0*h - 5 for h.
-1
Let a(x) = 13*x + 12. Let k be a(-1). Let b = 5 - 10. Let d be (-4)/(b/(-5)*k). Solve -d*q + 9*q = 20 for q.
4
Suppose -y = -0*y + 2*b, b - 25 = -3*y. Suppose -2*o = -3*g + 5, -5*g - y - 15 = 0. Let w be 2/(-5) + (-34)/o. Solve -4 = w*z + 11 for z.
-5
Let g(i) = -i**2 + 2*i + 10. Let q be g(0). Let t be 22/q + 8/10. Solve 6 = 3*f - t for f.
3
Suppose 0 = 18*o - 46 + 10. Solve 12 - 16 = -o*z for z.
2
Suppose -t - 4 = -2*u, -2*t - 3 = -u - 4. Solve -u*v - 4*v = 0 for v.
0
Let n = -239 - -243. Solve -3*s = -7*s - n for s.
-1
Let g(p) be the first derivative of -p**4/4 + 2*p**3 - p**2 - 11*p - 5. Let h be g(5). Solve h = 4*o - 0 for o.
1
Let f be ((-42)/(-7))/(4/2). Solve 8 = -f*w - 1 for w.
-3
Suppose 0 = -3*g + 3*d + 36, -3*d + 0*d = -4*g + 45. Let z be ((-25)/(-5))/(3/g). Suppose 0 = 5*o + 5 - z. Solve o*m + 3*m = -5 for m.
-1
Suppose 0 = -5*j - 5*a + 15, j + 5*a = -2*j + 5. Suppose -16 = -l - 2*l + 4*i, -3*i + j = 2*l. Solve -3*p - l = -4*p for p.
4
Suppose m + 4 = -3*s + 30, 5*m - 25 = 0. Solve -s*y + 2 = -8*y for y.
-2
Let p = 25 + -12. Suppose f + f + 2*z - 14 = 0, -3*f + z = -p. Suppose f = -4*x + 13. Solve w = -x*w - 6 for w.
-2
Suppose 106*h = 110*h - 176. Solve -2 = 14*j - h for j.
3
Let w = 4 + -1. Let a be (-16)/(-2) + 1*-3. Suppose 5 = -5*y, -w*y = a*c - 2*c + 3. Solve -3*r = -c*r for r.
0
Let u = 6 - 5. Let z be (u/2*0)/4. Solve 5*k - 2*k = z for k.
0
Suppose 5*b + 120 = -4*k + 520, 248 = 3*b + 4*k. Let f = -76 + b. Solve f*m + 9 = -3*m for m.
-3
Let y(l) = -l**3 + 7*l**2 - 5*l + 1. Let f = 36 + -30. Let j be y(f). Solve j*o = 2*o - 15 for o.
-3
Let b be (-6)/(-14) - 918/(-63). Let n(r) = -r + 6. Let x be n(0). Let i = b - x. Solve -3*d = -0*d - i for d.
3
Suppose -s = -1 - 1. Suppose 3*l = s*l. Solve l = -n - 0*n + 4 for n.
4
Let v = -682 + 690. Solve 10 = 3*b - v*b for b.
-2
Let h = 524 - 517. Solve -21 + 49 = h*l for l.
4
Let p(f) = -f**2 - 16*f + 2. Let y be p(-16). Suppose -37 = -3*z - 0*z + 2*r, -y = 2*z + 4*r. Solve -l = -4*l - z for l.
-3
Suppose 2*l - 3*l + 1 = 0. Suppose 0 = -2*v + 3*m + 21, v - 3*m + l = 10. Suppose 5*y = z + 15, -2*z - 2*y + v = 2*y. Solve z*f = 4*f - 4 for f.
1
Suppose 0 = -9*d + 4*d - 100. Let n be (-23)/(-5) + (-8)/d. Let c be (0 - n)*52/(-65). Solve 0*z - c*z = -12 for z.
3
Let u(x) = x + 13. Let s be u(-4). Let o = s + -5. Let p be (-1)/(44/12 - o). Solve 0 = c + p*c for c.
0
Suppose -2*y + 0 = -2*q - 6, -12 = 5*q - 4*y. Solve 7*g + 4 + 10 = q for g.
-2
Suppose 17 = -3*c + 41. Suppose 0 = -9*u + c*u - 9. Let k = u - -13. Solve y + k = 3*y for y.
2
Let c be (4 - 1)/(15/(-10)). Let w be 165/35 - c/7. Suppose w*l + 2 = 27. Solve 0 + 5 = l*z for z.
1
Let u = 44412 + -44398. Let t(l) be the third derivative of -l**5/60 - l**4/4 + l**3/6 - l**2. Let x be t(-6). Solve 0 = -3*w + x + u for w.
5
Let g(o) = -o**2