Let k be 1287/78 - (-7)/(-2). Solve 3*u = -r - k for u.
-5
Suppose -1811*h - 161 = -1818*h. Solve 14*x = h*x + 9 for x.
-1
Let x(s) = 4*s**3 + 9*s**2 + 13*s + 6. Let y be x(-6). Let l be 1*((-2)/10 - y/10). Let p = l - 56. Solve -n = -p*n + 16 for n.
4
Let t(u) = -6*u**2 + 381*u + 200. Let v be t(64). Solve -5*q = -q - v for q.
2
Suppose -g + 8 = 3*g. Suppose 0 = -y - t + 4, -y + 2*t + 12 = g*y. Solve q = 2*q + y for q.
-4
Suppose -3*t + 3*l = -111, -5*t + 151 + 37 = -4*l. Let i = 40 - t. Solve 20 = -4*b - i*b for b.
-5
Suppose 13*o - 33 = -q + 8*o, -4*q + 3*o = -17. Let s be (-5)/2*(-9)/(-15)*-4. Solve 0 = -5*r + q*r + s for r.
-2
Let l = -2 + 1. Let g(c) = c**3 - 6*c**2 + 4*c + 3. Let q(f) = 5*f**2 - 3*f - 2. Let n(d) = -5*g(d) - 6*q(d). Let k be n(l). Solve -4*a - k - 16 = 0 for a.
-5
Let j be (0 + 3)/(12/(-8)) + -4. Let s be ((-14)/j)/(6/(-18)*-1). Let r = -22 + 37. Solve -4*h + r = -s*h for h.
-5
Let p(j) = -j**2 + 9*j + 1. Let y be p(4). Let s = y - 12. Let t be 2 - 0/(s/(-3)). Solve -t*d = d - 3 for d.
1
Let j be (8/12)/(2/24). Suppose 0 = -84*c + 91*c + 42. Let r = j + c. Solve -3*i = -i - r for i.
1
Suppose 6*s + 101 + 265 = 0. Let p = s - -69. Solve -p*r = -8 - 8 for r.
2
Suppose 0*l + 2*l - 4 = 0. Suppose 3*s - 25 = -l*s. Suppose 5*m + 5*g = -5, -6*g - 13 = 11. Solve s = m*n + 2*n for n.
1
Let t = -102 - -111. Suppose 3*a - 3 = t. Let r be 30/(-12)*a/(-5). Solve 3*s = 7 + r for s.
3
Let i(z) = 6*z - 42. Let t be i(8). Suppose 4*c - c = t. Solve -18 = c*l - 8*l for l.
3
Let a(k) = 3*k**3 - 38*k**2 - 15*k + 32. Let c be a(13). Let x(h) = -h**2 - 2*h**2 - 5*h + 4*h**2 - 4. Let i be x(c). Solve 0 = -5*n + i*n - 12 for n.
-4
Suppose -2*o + 3*k = 0, 5*o = 5*k + 12 - 2. Suppose -3*b + 12 = -f, -o*f = -5*f - 4*b + 17. Solve 3*i = -f*i + 18 for i.
3
Let w = -2394 - -2394. Let d be 10/(-2) + (-6)/(-3). Let n be (-3)/d + (0 - -1). Solve s + n - 7 = w for s.
5
Suppose -45 = h + 4*t - 163, 3*h - 309 = -3*t. Solve -53 = -9*i - h for i.
-5
Let n = 7822 + -7817. Let m = 5 + -2. Suppose -3*k + 51 = 2*k - v, 26 = 3*k + 4*v. Solve k = m*x - n*x for x.
-5
Let d = -40198 + 40200. Let o = -13 + 35. Suppose v = 4*q - v - o, q + 2 = -v. Solve -d*p = -3 - q for p.
3
Let o = -379 - -381. Suppose 4*i - 2*y = 2*y + 20, 0 = 3*i + 3*y - 9. Solve o*u - i = -0*u for u.
2
Suppose -26 - 12 = 4*n - w, 4*n - 5*w = -30. Let b(l) = l**2 + 8*l - 20. Let v be b(n). Solve v = 4*j - 21 + 5 for j.
4
Suppose -79 = 6*l - 115. Let f be l/72*4*9/1. Solve 5 = f*q + 17 for q.
-4
Let d(s) = -s + 12 - 3 + 5 - 2*s. Let w be d(5). Let p be (w - -2) + -3 + 4. Solve -p*x = 2 + 2 for x.
-2
Suppose 5*s = 2*f + 294, 3*f = 6*f + 6. Suppose 53*d = s*d + 60. Let g be (-2)/7 + d/(-42). Solve g*o = -o - 3 for o.
-3
Let d(r) = -r**3 - 7*r**2 - 15*r - 101. Let p be d(-7). Solve 0 = p*b - 7 + 3 for b.
1
Let j(a) = a**3 - 10*a**2 + 4*a - 30. Let x(q) = q**2 + 18*q + 31. Let f be x(-18). Let m = 41 - f. Let t be j(m). Solve 0 = -r - 5 + t for r.
5
Let t = 12860 - 12844. Solve -33 = -49*m + t for m.
1
Suppose 2*n + 5 = 17. Suppose 0 = -7*m + 1 + n. Suppose 0 = -4*a - 3*z + 15, -5*a - z + 4 = -m. Solve 0 = -2*t - a*t for t.
0
Let z = -3467 + 3492. Solve 0 = 254*f - 259*f + z for f.
5
Let y = 4390 - 4385. Let a(g) = g**3 - 4*g**2 - 7*g - 3. Let w be a(7). Solve w*n = 96*n - y for n.
5
Let x(c) = 2*c**2 + 65*c - 27. Let n be x(-23). Let k = n + 465. Solve 4*f - 13 = -k for f.
3
Let d be (0 + -1)/(((-88)/3993)/(-8)). Let c = d - -368. Solve -3*x = -c + 17 for x.
-4
Let w(f) = -f**2 - 51*f - 556. Let h be w(-35). Solve 0 = 14*t - 13*t - h for t.
4
Let a(l) = l**3 + 3*l**2 - 8*l - 1. Let m(u) = -u**2 + 1. Let w(q) = a(q) + m(q). Let k be w(-4). Solve -3*n + k*n = 0 for n.
0
Suppose 4*c = 3*w - 0 + 10, 2*c = -5*w - 8. Suppose 2*i + 2 = -q - c, 4*i = -12. Solve 4 = -q*s - 11 for s.
-5
Let h(r) = -r**2 - 54*r + 1686. Let w be h(22). Solve -w*g = 220 - 276 for g.
4
Let p be (6*(-2)/(-22))/(-6 + (-1080)/(-176)). Solve 0 = -p*m - 156 + 132 for m.
-6
Suppose 0 = -4*h + 29 - 29. Suppose -3*f + 19 - 7 = 0. Solve h*l + 4*l = -f for l.
-1
Let i(x) = 35*x + 243. Let a be i(-7). Let t be 1*a*(-7)/(-2)*-1. Suppose 1 + 7 = 2*g. Solve -6 = t*v - g*v for v.
-2
Let v(g) = -g + 140. Let m be v(29). Let c = 117 - m. Suppose 3*d = 5*t + 14, d + 3*t + 9 = 3*d. Solve -c = 3*j - d for j.
-1
Suppose o + 23 = -75. Let c = 1156 + -1254. Let w = c - o. Solve n - 2*n - 5 = w for n.
-5
Suppose 4*l - 3*h - 55 = 0, 4*l = -2*h - h + 25. Suppose 0 = -4*d - 5*c, 3*d = 5*c - 7*c. Solve d = 3*m - l - 2 for m.
4
Suppose v = 4*y - 4*v - 2, -5*y + 2*v = 6. Let h be -4*(-2)/y*(0 - 2). Solve b = -b + h for b.
4
Let n(q) be the third derivative of -q**6/60 + 41*q**5/60 - 5*q**4/6 + 8*q**3 + 62*q**2. Let z be n(20). Solve x + 45 - z = 0 for x.
3
Let b(d) = 3*d**2 - 119*d - 125. Let a be b(41). Solve 19*p - a = 32*p for p.
-3
Suppose b = -5*d + 27, 3*b = -0*b - 2*d + 146. Let c be 6/(-39) - -1*320/b. Solve c*r + 3 = 7*r for r.
3
Suppose 74*u - 72*u - 14 = 0. Let d be (u + -15)/(1/(-2)). Solve d = -r + 19 for r.
3
Let z = -665 - -668. Let o(a) be the first derivative of a**4/4 - 4*a**3 + a**2 - 16*a - 6. Let x be o(12). Solve 14 = z*n + x for n.
2
Let r(p) be the third derivative of -7*p**4/6 - 163*p**3/6 + 132*p**2. Let s be r(-6). Solve 4*o - s*o - 3 = 0 for o.
-3
Suppose 0 = 3*p - 6, 235*p = -4*a + 236*p + 94. Solve 40*c = a*c + 32 for c.
2
Let c = 16 - 13. Let p be -1 + 6 - -5 - 6. Let w be (-48)/168 - p/(-14). Solve -c*g + 0*g = w for g.
0
Suppose -222 = -8*h + 6*h. Solve -h = 3*s - 126 for s.
5
Let s(q) = 13*q - 59. Let d be s(29). Let n = d - 307. Solve -9*g - n = 34 for g.
-5
Let m be (-3)/(-5) - ((-36)/(-5))/(-3). Let c be ((-40)/(-60))/(1/m). Solve -q - 4 = -c for q.
-2
Suppose 0 = 116*w - 57*w - 1829. Solve -10*g + w*g = -34*g for g.
0
Let m = 2 - -1. Let n = 39 - 53. Let j be (-16)/56 - 18/n. Solve 2*f + m = -j for f.
-2
Let f(a) = -2*a**3 + 8*a + 8 - 47*a + 54*a**2 + 25*a**2 + 1. Let n be f(39). Solve -n = -17*b + 8 for b.
1
Suppose 5*g + 80*a - 82*a - 8 = 0, -4*a - 16 = 0. Solve -66*c - 20*c - 258 = g for c.
-3
Let b be 21 + -9 - 630/(-10). Solve 556 = -b*w + 31 for w.
-7
Let i be (3 + -4)/(1/(-4)). Let g(z) = -z**3 - 4*z**2 + 13. Let r be g(-4). Suppose -8*k + 4*u + r = -3*k, -4*u + 32 = i*k. Solve -k*y + 2*y - 15 = 0 for y.
-5
Let x be (5 - -7)/(18/39). Solve 14*p = -x - 44 for p.
-5
Suppose 2*r - 2 = -4*m + 2*m, 5*m = r + 11. Let n = -1563 - -865. Let w = n + 704. Solve -m*i - w = i for i.
-2
Suppose n = 0, j + n + 216 - 29 = 0. Let z = j - -192. Solve 0*a = -a - z for a.
-5
Suppose -3*n = -7*n. Let v = -209 + 149. Let d = -55 - v. Solve n = -c - d + 1 for c.
-4
Let x be 156/169 - (-1736)/1612. Let h = -7 + 12. Solve x*c + h = 11 for c.
3
Let y be 9 + 5 + ((-40)/5)/1. Solve y*s = 22*s + 48 for s.
-3
Suppose -151 - 383 = -13*l - 118. Solve 0 = h + l - 34 for h.
2
Let g be 132/(-396) - (-20)/6. Solve 0 = -0*t + g*t - 6*t for t.
0
Let r(b) = -424*b + 2123. Let n be r(5). Solve 4*x = n*x - 2*x for x.
0
Let f = 171 + -169. Suppose -5*w = f*z - 4*z + 44, -z = 5*w + 8. Solve 0*i = 4*i + z for i.
-3
Suppose -2986*g + 986 = -2969*g. Solve g*k - 40 = 38*k for k.
2
Let b be -2 - -7*1/1. Suppose -j + b*j = 0. Let h be (-32)/(-15) - (-16)/(-120). Solve j = -3*t + h*t - 1 for t.
-1
Let h = 11 + -10. Suppose -4*k - 4*d = -6*k + 6, d = 3*k - 9. Solve -h = g + k for g.
-4
Let n be ((-54)/(-63))/(-1 + 27/21). Let f be n*4/(5 - 1). Solve 2*h = f*h + 3 for h.
-3
Let q be (5 - 98/21) + (-118)/(-6). Let b be 2/((-2)/q*(-1 + -3)). Let j = 20 - 10. Solve b*s + 0*s + j = 0 for s.
-2
Suppose 6*r - 18 = -12*r. Let s(o) = -3*o - 6. Let x be s(-3). Solve -l + r = -x for l.
4
Suppose -11357*f = -11352*f - 325. Solve -36*a - f = -245 for a.
5
Suppose -33*u + 49*u = -3376. Let w = -207 - u. Solve 0 = w*a + 2 + 10 for a.
-3
Suppose -2*c + 3*c = 13. Suppose 30 = 19*g - c*g. Solve y = g*y + 12 for y.
-3
Suppose 9 + 8 = g. Suppose 4*o = g*o - 65. Suppose 6 = 6*a - 8*a, 0 = v + o*a + 15. Solve -8 = -v*h - 4*h for h.
2
Suppose 0 = 3*j + 15, 6*w = 3*w - 2*j + 50. Suppose 2*d + 4*l = w, -5*d + 9*l - 25 = 4*l. Let y(v) = v + 10. Let g be y(-8). Solve d = g*h + 1 + 1 for h.
-1
Let t be (8/(-2))/(4 - 6). Let m be (-7)/(-2) + t/4. Let r = -25 - -34. Solve -r = m*k + 7 for 