2*o + a*o + 39 = 0, -o = 2*u + 19. Let i = u + 13. Solve -6 = -i*h - 0*h for h.
2
Let a = 160 - 156. Solve a = -5*u + u for u.
-1
Let n(x) = -3*x**2 + 7 + 8*x + 2*x**2 - 2*x. Let j be n(0). Solve j = -5*i - 13 for i.
-4
Suppose 5*x - 8*x - 5 = l, -l + 16 = -4*x. Solve 1 = l*p + 5 for p.
-1
Let u be -3 - -2 - 41/(-1). Suppose u = 7*j - 2*j. Solve j*i - 5*i = 6 for i.
2
Let j be 478/14 - (-9)/(-63). Let i = j - 31. Suppose -10 = -5*r, i*x = -4*r - 1 + 9. Solve x = -g - 2*g for g.
0
Suppose 4*f - 2*f = i + 5, 17 = 5*f - i. Suppose -3*n + 5*j + f = 0, 4*n - 2*j - 4 = 2*n. Solve 0 = -2*c + n*c - 3 for c.
3
Suppose u - 2*q = 13 + 1, 2*q - 6 = 0. Suppose 10*m = 8*m + 92. Let d = m + -46. Solve d = -0*f - 4*f + u for f.
5
Let b(x) be the third derivative of x**5/30 + x**4/8 + x**2 + 8*x. Let s be b(1). Solve -s*r + 7*r + 6 = 0 for r.
-3
Let n = 40 - 46. Let k(a) = 5*a + 31. Let h be k(n). Let m be (-5 - 1)*(-2)/6. Solve -h = -b + m for b.
3
Let g(w) = w + 4. Let u = -28 - -32. Let r be g(u). Suppose 2*v = -0*v. Solve -4*p + r = -v*p for p.
2
Let u(a) = -a**3 + 5*a**2 - 4*a + 3. Let p be u(4). Suppose p*t - 7 = -1. Let y(s) = s**3 - 37*s**2 + 42*s - 213. Let l be y(36). Solve -l - 7 = t*k for k.
-5
Let h be 4/(8/(-2))*-84. Let q be (h/35)/((-6)/40). Let z = 26 + q. Solve -z = -5*w + 10 for w.
4
Let h = 2629 + -2614. Solve 0 = t + 4*t - h for t.
3
Suppose -4*y - 11 = -3*d, -2*d + y = -53 + 39. Solve 0 = -d*u - 14 + 41 for u.
3
Suppose 0 = 3*j - 3, -79*j - 4 = 2*a - 83*j. Solve q = -a*q for q.
0
Suppose 5*m - 3*b = -4*b + 15, 0 = m + 3*b - 17. Let x = 4 - m. Suppose -x = 5*f - 12. Solve 3*p + 4 + f = 0 for p.
-2
Suppose -2*c + 4*d = -24, 5*c - 3*d - 4 = 35. Suppose -2*h + 8 = 2*x, 0 = h - 3*x - 26 + c. Solve -f + h = f for f.
4
Let y be ((-13)/2)/(28/(-56)). Let h = -213 + 217. Solve -y + 5 = -h*d for d.
2
Suppose -15 - 77 = -23*l. Solve 7*c - 39 = -l for c.
5
Let i be (-27)/(-21) - 2/7. Let h = -1 + i. Suppose 4*p + 4 - 8 = h. Solve 5 = -k + p for k.
-4
Suppose 2*f = -8, -39*t + 5*f + 20 = -38*t. Solve -98*r + 96*r = t for r.
0
Suppose 3 + 3 = 3*z. Suppose -z = -w + 1. Let q = -2 + 2. Solve q = -f + w*f - 10 for f.
5
Suppose 8*i - 10*i - 30 = 0. Let q = 21 + i. Solve -q*m = -m for m.
0
Let w = 63 + -60. Let d be -1*1*2 + 1. Let m = w + d. Solve m*b + 7 + 1 = 0 for b.
-4
Let k = -638 - -642. Solve 3*h = k*h for h.
0
Suppose -5*o + 68 = 4*p - 0*p, 3*p = -4*o + 55. Suppose -a - a = -o. Let x be 3/9 - (-40)/6. Solve -5*i + x = -a for i.
3
Let j(h) = -h**2 - 7*h - 10. Let f be j(-3). Suppose -5*g + 2*a = -14 - 17, 3*g = -f*a + 9. Solve -5*k + 4*k - g = 0 for k.
-5
Suppose -2*o = -4*s + 66, 0 = s - o - 0*o - 18. Suppose -3*p - 2*r = -2*p - 3, -3*r = p. Suppose -p*g + 4*g = -s. Solve -4*t + 17 = -g for t.
5
Suppose -4*j - 16 = 0, -15*j + 12*j + 3 = 3*k. Solve 0 = k*q - q - 16 for q.
4
Suppose 5*h + 3*w = 24, h - w = -4*w. Suppose -7*k - 2 = -h*k. Let i be (-7)/14 + (-3)/k. Solve -i = 2*j - j for j.
-1
Let l be (0 - (-25)/20)*4. Suppose j - 50 = -j. Solve 0*q = l*q + j for q.
-5
Let s(h) = -h**3 - 4*h**2 - 3*h + 2. Let z be s(-5). Let q = z - 39. Let m be 15/9 - 1/(-3). Solve -4 = -m*n + q*n for n.
-4
Suppose 6*j + 3 = 51. Let x be j/(-8)*(-2 + 0). Solve -6*r - 20 = -x*r for r.
-5
Suppose 4*u - 8 = 2*u + 4*t, 2*t + 4 = 0. Let a = -3 + 23. Suppose -a = -4*j - j. Solve -j + u = -4*z for z.
1
Let l be 1 + (-1 + 3)*1. Suppose 127*g = 135*g - 16. Solve g*r + 3 = -l for r.
-3
Let t be 0 - (7 - (-1 + -3)). Let h(m) be the second derivative of -m**5/20 - m**4 - 5*m**3/2 - 12*m**2 - 16*m. Let d be h(t). Solve -3*k + d = k for k.
5
Let f be 3/(-6) - (9/(-6) + -3). Suppose -47 = -f*o + 33. Solve o = 6*l - 2*l for l.
5
Suppose 7*n - 23*n + 32 = 0. Suppose -3*t - 1 = -16. Suppose 2 = -t*w + 12. Solve n*x - 10 = -w for x.
4
Let r be -5*((-2)/5 - 0). Solve 76 = r*m + 86 for m.
-5
Let d = 7 - 4. Let o(u) = u**2 - 3*u + 4. Let n be o(d). Suppose n = t + 3*t. Solve -l = -t + 4 for l.
-3
Let k(i) = -3*i**2 + 14*i + 8. Let b be k(7). Let c = b - -52. Solve 4 = 5*f - c for f.
3
Let n = 38 + -37. Let c be (9/27)/(n/12). Solve -c*s + 24 = 4 for s.
5
Let i(g) = -g**3 - 2*g**2 - g - 4. Let u be i(0). Let t(h) = -h**3 - 3*h**2 + 6*h + 11. Let m be t(u). Solve 0 = -m*l + 5*l + 8 for l.
-4
Let c = 444 - 442. Suppose 0 = -3*i - i - 4. Let n = 1 - i. Solve c*r + 0 = n for r.
1
Let w be 0 + 2 + 12/(-20)*-5. Solve -c = -w*c - 16 for c.
-4
Suppose h + 5*q + 22 = -0*h, 0 = -4*h - 3*q - 3. Suppose -h*f + 16 = -8. Suppose 4*n - 76 = 2*z, -2 = 3*z - f. Solve -7*t + 3*t - n = 0 for t.
-5
Suppose -5*p - 6*o = -4*o - 69, 5*o + 15 = 0. Solve 6*w = -9 - p for w.
-4
Let x(r) be the first derivative of -r**4/4 - 5*r**3/3 + 3*r**2/2 - 14*r - 14. Let o be x(-6). Solve 0 = o*q - 1 + 5 for q.
-1
Let z(a) = -6*a + 2. Let f(g) = 13*g - 5. Let c(v) = -4*f(v) - 9*z(v). Suppose -1 = 3*q - 4*u, 5*q - 3 - 3 = -u. Let t be c(q). Solve t*d + 3 + 9 = 0 for d.
-3
Suppose 0 = -5*l - 3*f + 21, -2*f - 2 + 9 = l. Solve -l*g + 4 = g for g.
1
Suppose 17*l - 31 = 3. Solve 4*k + l = 6 for k.
1
Suppose -5*a + 3 = -4*a. Suppose -a*s - 5*o - 2 = 0, 4*s = 2*s - 5*o - 8. Solve -2*p + 20 = -s*p for p.
-5
Let m(l) = l**2 - 31*l - 25. Let b be m(32). Solve 29 = b*f - 6 for f.
5
Suppose 10*x = 13*x. Suppose 0 = 4*y - 2*u - 14, -y + u - 2 + 7 = x. Solve 0*s = y*s + 6 for s.
-3
Let j = 24 - 21. Let s be 8/j*(-3)/2. Let d be 34/(-153) - s/18. Solve 5 = -r - d for r.
-5
Let j be (-21)/(-7)*(-1 + 0 + -1). Let a(r) = -r**2 - 7*r - 6. Let v be a(j). Solve -3 = -3*h - v*h for h.
1
Suppose 3*a = -0*j + 3*j - 15, 5*j - 15 = 3*a. Solve k + 3 = -j for k.
-3
Suppose 4*j + 3*l = -0*j + 4, j - 2*l - 12 = 0. Solve j*z + 45 = -5*z for z.
-5
Let m(x) = -x**3 - 6*x**2 + 7*x + 5. Let n be m(-7). Suppose n*t - 4*v = 27, -3*v + 0 + 3 = 4*t. Solve t*c + 3 = 2*c for c.
-3
Let a = 985 + -984. Solve -9*p + 8 + a = 0 for p.
1
Suppose -4*g = -g - 45. Let c(x) = x**3 - x**2 + 11. Let z be c(0). Let b be 2/11 + (-2)/z. Solve 5*h - g = -b*h for h.
3
Suppose 61*q = -20*q + 1215. Solve -14*z - 5 = -q*z for z.
5
Let a = 4 - 1. Suppose -p = -a - 3. Solve v = p*v + 5 for v.
-1
Let r be (77/(-385))/(2/30*-1). Solve -r*p - 2*p + 3*p = 0 for p.
0
Suppose 2*w = -w + 4*q + 56, -3*q = -7*w + 156. Solve w*b - 51 = 7*b for b.
3
Let d be -1 + 3 - (-22)/2. Suppose 6*j - 2*j - b = d, -2*b = 10. Suppose 5*w - 41 + 6 = 0. Solve w*c - 20 = j*c for c.
4
Let n(w) = -7*w**3 - w**2 + 2*w**3 + 0*w**2. Let y be n(-1). Solve y = -6*b + 2*b for b.
-1
Let u be -1 + 5 + 4 + (1 - 6). Solve -8 = 5*w - u*w for w.
-4
Let m = 12 - 11. Let t(u) = 3*u**3 + 2*u**2 - u. Let d be t(m). Suppose 0 = 3*i + i - d*a - 8, 0 = -2*i - 5*a + 18. Solve i*q = q - 12 for q.
-4
Suppose 0 = 2*s + 5*g - 25, s + 0*g - 12 = -2*g. Solve 21 = -s*w + 41 for w.
2
Let j(g) = 43 - 13*g + 26*g - 35*g + g**2. Let x be j(20). Solve 6*z = x*z - 3 for z.
-1
Let c be 2 - (28/266 - (-270)/(-38)). Solve j + 12 = c for j.
-3
Suppose -38*d + 27 = -29*d. Solve k - d*k = 8 for k.
-4
Let v(c) be the third derivative of c**6/120 - 13*c**5/60 + 11*c**4/24 + 5*c**3/2 - 6*c**2. Let t be v(12). Solve -t*b = -7*b for b.
0
Let y(v) = v**2 - 9*v + 6. Let z be y(7). Let t be 4 - (-5)/((-20)/z). Solve -t = -4*h + 6 for h.
3
Suppose 8*c = 4*c + 8. Suppose 4*s + 18 = c*m, 6*s = -2*m + s. Solve m*r - 3 = 4*r for r.
3
Let q(z) = -z**3 + 5*z**2 - 3*z - 1. Let u be q(-4). Suppose 0*h + 5*h - u = 0. Let j = h + -29. Solve -j*r - 3 = 7 for r.
-5
Let b = -253 + 255. Solve 28 = b*g - 16*g for g.
-2
Suppose 0 = 4*x - 3*x - 3*x. Suppose -7*k + x*k = -35. Solve -f = -0 + k for f.
-5
Let x be (((-6)/(-4))/1)/(15/20). Solve 0 = -k - x - 1 for k.
-3
Suppose -23 = -4*j - 287. Let n = -65 - j. Solve 0 = -3*q + 7 - n for q.
2
Let j = -6 - -12. Let b be (8 + -9)*(-1 - -11). Let f(q) = -q**2 - 9*q + 12. Let a be f(b). Solve 0*c = a*c + j for c.
-3
Let g(d) = d**2 - 4*d + 1. Let a be g(4). Suppose -x + a + 1 = 0. Solve -x*t - 4 = -0*t for t.
-2
Suppose -w + 10 = w. Suppose 36*b - 40*b + 60 = 0. Suppose 5*o = -s + 13 + b, s + 3*o = 20. Solve 0 = w*i + 7 + s for i.
-3
Let k be -39 - -39 - 5*-1. Solve -k*g - 6 = 4 for g.
-2
Suppose 334 = 11*z - 29. Suppose -17*i + 6*i = -z. Solve 0 = 4*h - i + 15 for h.
-3
Let d = 6 - 2. Suppose -3*x + 2*j = -2*j + 14, -x - 18 = -d*j. 