 13 = p, -4*n - n = -5*s - 25 for s.
-1
Let o = 509 - 339. Let u = o - 159. Solve -5*n + 11 = k, -5*k - u = -2*n + 5*n for k.
-4
Suppose -64*q + 3*r - 21 = -65*q, 2*q - 7 = -r. Solve q = -3*d + 3*o + 6, -5*o - 23 = 4*d + 14 for d.
-3
Suppose 614*b - 3261 + 1472 = 1895. Suppose 0 = 2*t - 3*z - 36, t = -5*z + 14 + 4. Solve b*i - t = i + 2*x, 5*i - 4*x - 26 = 0 for i.
2
Let n(f) = f**3 + 3*f**2 + 11*f - 32. Let g be n(2). Solve -12*a + g*a - 2*l - 4 = 0, -5*l = -5*a + 10 for a.
0
Suppose i + 0*i = 0. Suppose -116 = -4*o + 5*q, -29 = -o - i*o + 4*q. Let a = o + -24. Solve 4*v + 24 = -4*u - 4, u - 17 = a*v for u.
-3
Let z = -1016 - -1023. Solve -4*c + 4*s = -5 + 9, 0 = -3*c + s - z for c.
-3
Suppose 0 = -161*j + 10523 + 1230. Solve 5*q - k - 21 = k, 13*q + 4*k - j = 0 for q.
5
Suppose 10*k - 3*z = 8*k - 8, -5*k + z = -19. Solve 2 = -k*r - d, -10*d = -5*r - 9*d + 2 for r.
0
Let t be (1/(-2))/((-3)/18). Let w be 97/3 + 3/(-9)*-2. Let s = 33 - w. Solve 3*g = -12, s = -t*l + g - 0 - 2 for l.
-2
Suppose -i - 76*a + 77*a = -8, -4*a - 23 = -i. Solve 3 = 3*m + 3*g, -i*g = -2*m - 0*g - 8 for m.
-1
Let d be 15/(-18) - 4280/48. Suppose 5*o + 484 = 3*h, -4*h = o - 6*o - 487. Let p = d - o. Solve 0 = -s + 2, p*g = -s - s + 19 for g.
3
Suppose -52 = i - 53, -3*i = -2*y + 3. Suppose -p = -5*q - 2, -4*p + 5 = q - y. Solve 5*v + 26 = p*n, -n - 6 = -3*n for v.
-4
Suppose -4*j + l = -93, 15 = j + 4*l - 21. Let n(k) = 28*k**2 + 137*k - 12. Let w be n(-5). Solve 5*a - 30 = -5*b, 5*b - w - j = -2*a for a.
1
Suppose -4*d = -7*d - 15, 0 = 2*i + 32*d + 148. Solve -3*k - 2*a = 21, -7*k - 17 = -i*k + 4*a for k.
-5
Suppose -29*b + 235 + 813 - 236 = 0. Solve c + 1 = -3*s, 10 = -4*c - s + b for c.
5
Let p(k) = 40*k + 37. Let b be p(-6). Let f = 206 + b. Solve -f - 8 = 3*q - u, 2*u = 4 for q.
-3
Suppose 51*v = 36*v. Suppose -4*z + 19 = 5*u, v = -2*z - 1 + 3. Solve 2*t + 1 = u*m - 12, -22 = -4*m + 5*t for m.
3
Suppose -29 = -3*o + w, -3*o - 4*w + 23 = -2*w. Suppose -21*u = -22*u - 120. Let l be ((u/o)/4)/(2/(-3)). Solve 2 = l*c - 3*m + 1, -2*c + m + 1 = 0 for c.
2
Let z(w) = -3*w + 6. Let k be z(1). Let b be 7 + -9*k/(-9). Solve v = -0*v - 2*t - b, 4*t + 20 = 5*v for v.
0
Let a be ((-675)/270)/(3/6*-1). Solve a*h - 8 = -k, -6 - 8 = h - 5*k for h.
1
Suppose 14*t = 3879 - 743. Let s = -219 + t. Solve -x + 20 = -4*c - 6*x, 0 = s*c - 2*x - 8 for c.
0
Let l be 6/(-33) + (-664)/(-22) - -3. Let g = 104 - l. Suppose -29 = 2*c - 5*c + 4*x, x = 5*c - g. Solve 0 = 3*u + 5*o - c, -5*u + u + 20 = -4*o for u.
5
Let r be 16/(-10)*((-2 - 1) + -2). Suppose r*c = 27 + 5. Suppose 5*i + 6 = -c*p + 3, -2*i = p + 3. Solve -2*g - 2*f = -6, 0 = -g + 3*f + p for g.
3
Let v = 15 - 6. Let w = 1588 - 1592. Let m = v + w. Solve -4*c + 4 = 0, 3*q - m*c = -2*c for q.
1
Let k be 69/(-2) + 1 + (-3)/(-2). Let t(z) = 2*z**2 + 61*z - 92. Let d be t(k). Solve 4*x = -4*h - d, 4*x + x + 15 = 5*h for h.
1
Let m = -8891 - -8895. Solve -4*l + m + 6 = -2*r, 3*l = 4*r - 5 for r.
5
Suppose -42*y + 81 + 3 = 0. Solve -y*a - 4*d - 6 = 0, -7*a - 3*d + 3 = -4*a for a.
5
Suppose -c + 4*y + 39 = 0, 5*c - 2*y - 2*y = 163. Solve -5*o = 10, 53*b - 48*b - 3*o = c for b.
5
Suppose 0 = -0*w + 3*w - 54. Suppose -24*x = -w*x. Solve -j - 5*q - 25 = x, -3*j - 17 = -2*j + 3*q for j.
-5
Let u = 234 - 230. Let i be 1 + -4 + u/((-8)/(-46)). Solve 4*n + 5*m + 16 = 0, m + i = -5*n - m for n.
-4
Suppose 6*o - 3*i - 33 = -0*o, -2*o - i = -5. Solve 9*t = o*t + 10, 5*z - 11 = 2*t for z.
3
Let d(u) = -u**2 + 10*u - 30. Let y be d(6). Let q be y - -12 - (-1)/((-2)/6). Solve 2*s = 2*l + q*l, 4*l = -s for s.
0
Let z be (-1 + -3 + 3)/(1/(-77)). Let a = 80 - z. Solve 4*q + 1 = 4*b - a, b = 2*q for b.
2
Let c = -3230 + 3233. Solve 5*z - 2*v - 6 = 0, -c*z = v - 2*v - 3 for z.
0
Suppose 3*d = -5*w + 20, -6 + 18 = 3*d + 3*w. Suppose -5*x = -3*b - 32, d = -5*x + b - 6*b. Solve 0 = -0*p + p - x*h - 10, 4 = p - h for p.
2
Suppose -2*z - 3*z + h + 480 = 0, 5*h - 260 = -3*z. Let n be (1 - 0)/(z/380). Solve 0 = 4*d + 16, n*m + m = 5*d + 20 for m.
0
Let u(w) = -1 + 0 - 4*w + 2*w**3 - 2*w**2 - 3*w**3. Let h be (120/(-200))/(-2 + (-22)/(-10)). Let f be u(h). Solve 5*y = f - 5, 2*y - 18 = 3*p for p.
-4
Let r be 41643/819 - (1/(-13))/(23/46). Solve -5 = -g - c, 0 = -3*g - 5*c - 36 + r for g.
5
Let p be ((-33)/((-132)/140))/5. Solve -2*s - 11 = -p*s - 3*l, 3*l = -2*s - 1 for s.
4
Let w be (-18)/63 + (-88)/(-14). Let u be (w - 2) + (7 + -3)/(-4). Suppose -7*c = -c - 18. Solve c*r - 4*r - 2 = u*o, 2*o = 3*r + 6 for o.
0
Let c be (106/(-9)*3)/((-20)/(-150)). Let t = 271 + c. Suppose 20 = 2*n - 12. Solve t*i - 2*i - 4*l = n, -3*i = -2*l - 9 for i.
1
Let k be (-92)/(-3)*675/90. Let l = 235 - k. Solve -5*m + 11 = -0*w + w, l*m - 23 = 2*w for w.
-4
Suppose 17*g + 231 = 97*g - 249. Solve -3*s - 4*j + 9 = 0, g - 1 = -2*s + j for s.
-1
Suppose 5*n = -3*c + 23, -4*n + 17 = 3*c - 2. Solve -12 = -n*s + 2*d + 2, 0 = 4*s + 5*d - 35 for s.
5
Let u be ((-2)/(-5))/(10/900). Let k = -36 + u. Suppose k*s - s = -5*m - 3, 0 = -m + 4*s - 12. Solve 3*q - 4*f + 7 - 2 = m, -q = 2*f - 5 for q.
1
Let g be 57*11 + 7/((-14)/(-4)). Let p(h) = -14 + g*h**3 - 630*h**3 - 3*h**2 + 6*h - 4*h**2. Let v be p(-8). Solve 4 = v*k - 2*s + 4*s, 4*k + s = 8 for k.
2
Let o = -9 + 36. Suppose 0 = -3*k - 15 + o. Let h(f) = f**2 - 3*f. Let q be h(3). Solve 0 = 2*c + k - q, 7 = z - 3*c for z.
1
Let a = 8243 + -8241. Solve -2*v - 3*p = 13, 0 = a*p - 4*p - 10 for v.
1
Let h be 2*(217/42 + (-15)/9). Let i be 34/(2 + 0) - h. Solve -2*q = 4*k - 8, i = k + 4*k - 4*q for k.
2
Let a(v) = -4*v + 18. Let d be a(4). Let z be 78*(-2)/(-72) + d/(-12). Solve 3*l = -z*x - 15, 3*x - 7 = 2*l + 3 for x.
0
Let r be (51/(-5))/((-6)/20). Suppose -k + 60 - 34 = 0. Solve -2*s + 5*g = s - r, -4*g - k = -2*s for s.
3
Let j(x) be the second derivative of x**5/10 + 23*x**4/12 + 5*x**3/3 - 7*x**2/2 + 113*x. Let r be j(-11). Solve 2*u = -a + 10, r*u - 10 = 2*u + 2*a for u.
5
Let u(v) = 19*v**2 - 10*v. Let n be u(1). Let z(j) = 17*j - 68. Let g be z(4). Solve r + g*r - n = 4*s, -2*r - 2*s + 8 = 0 for r.
5
Let v(m) = m**2 - 3*m - 19. Let q be v(-4). Solve 3*a + q = 2*j + 3, 0 = -2*a - 4 for j.
0
Let x(j) = -12*j + 17. Let t be x(-2). Let d be (-32 + 0)*(-10)/10. Suppose -30*p = -d*p + 4. Solve t = -5*b + 4*w, 4*w = b - p + 23 for b.
-5
Let v = 271 - 241. Suppose v = -8*i + 10*i. Solve -5*c - i = 5*h, 2*c + 0 = h + 3 for h.
-3
Suppose 25*z = -7*z + 61 + 67. Solve 23 - 27 = 2*t - z*k, 0 = 3*t + k + 6 for t.
-2
Let s = 2746 - 2741. Solve 3*t + 3 = 0, -s*l = 8*t - 10*t + 13 for l.
-3
Let w be (-6)/4*2770/(-831). Solve -w*z - 3*q = 20, -z - 4 = 14*q - 13*q for z.
-4
Let y(c) = c**3 + 9*c**2 - 11*c - 22. Let d be y(-9). Let g be d*-1*(-3 - 0/3). Suppose -3*i = 8*i - g. Solve -3*w - 2*r - 5 + 16 = 0, 2*r = -5*w + i for w.
5
Let y(f) = -5*f**2 + 287*f - 91. Let i be y(57). Solve i*j - 18*j + 5*t = 20, 2*t - 15 = 5*j for j.
-1
Suppose -7*i = 414 - 230 - 261. Solve -8 = -2*c + 3*z, -5*c - 8*z + 2 = -i*z for c.
-2
Let x be 21 - (-28)/4 - 1. Suppose -28*g + x*g = -5. Solve -2*i + 5*z = 7, -g = i - 3*z - z for i.
-1
Let q = -172 + 173. Suppose 0 = y - u - 8 + 1, u = -y - q. Solve -3*x - 5*a = 17, -3*a + 2 = -2*x - y for x.
-4
Let p = -26245 + 26245. Solve p = 3*h - 0*h - 3*r - 21, 3*h + 2*r - 11 = 0 for h.
5
Let j(c) = c**2 - 6*c - 5. Let l be j(7). Suppose x - 1 = 5*u - 15, 0 = -u + 5*x - l. Suppose -6 + 0 = -u*f. Solve -i - 12 = -2*m - f*i, 2*m = 5*i for m.
5
Suppose -2*s = 4*h - 26, -43 = -s - 2*s - 4*h. Let b be (-7 - (0 + -1))*2604/(-3906). Solve -b*n - 5*a = -2*a - 1, -a = -3*n + s for n.
4
Let f(n) = n**3 - 2*n**2 + n - 2. Let r be f(2). Suppose 43*c - 129 - 43 = r. Solve 0*j + c*w - 7 = -j, j + 5*w = 9 for j.
-1
Suppose -3156*n + 399 = -3137*n. Solve 2*s = 4*y + 18, -5*y - 3 = 25*s - n*s for s.
3
Let t(k) = 2*k**3 + 10*k**2 - 17*k - 76. Let u be t(3). Solve -f = -m + 6, 0 = u*m - 15*m - 10 for f.
-1
Let j(n) = n**3 + 21*n**2 + n + 34. Let s be j(-21). Solve 5*z - s = 4*p, 2*p = z - 0*p + 1 for z.
5
Let p = 835 - 833. Let j be (1/(-3))/((-259)/126 + p). Solve 3*q - 9 = 2*w, q - j = -q + 5*w for q.
3
Let j = -79 + 157. Let w(f) = 49*f - 121. Let m be w(4). Let v = j - m. Solve -3*b - 5*g = -28, 2*b = -3*b - v*g + 20 for b.
1
Let v = 5 + -1. Suppose -3*