+ 17 = n for x.
-4
Let i = 2 + 3. Let c(w) = -5 + 2 + 5*w - 15 - 2. Let q be c(i). Solve 0 = 4*s - 3*d, d + 33 - 14 = -q*s for s.
-3
Let n(t) be the first derivative of -1/3*t**3 - t**2 + 16 - 7/4*t**4 - t. Let r be n(-1). Solve -5*a = -d - 4 - 0, 5*d + 2*a = r for d.
1
Suppose -4*m - o = 2925, 3*o = -2*o + 15. Let c = -732 - m. Solve 2*s + 6 = c, 0*s - 4*s = 4*i + 32 for i.
-5
Let f(n) = -n**2 - 10*n - 4. Let u be f(-4). Suppose u = 5*s + 5*k, -s + 3*s + 5*k - 8 = 0. Solve -s = 2*o, 3*c - 3 = 5*o - 2*o for c.
-1
Suppose -159 = -58*y + 15. Solve 4*b = -3*t + 17, 20*t + y*b - 21 = 15*t for t.
3
Let c be (24/2)/(2 - 700/357). Let s = c + -295. Solve -a + 2*l - s = 0, 2*l = -4*a - 2*l + 16 for a.
-1
Let m = 173 + -173. Solve -9*c + 4*r + 21 = -14*c, m = 5*r - 5 for c.
-5
Let p be 157/(((-12)/(-8))/(0 - -3)). Let r = p - 312. Solve 0 = r*b - 3*b, -3*l + 6 = -2*b for l.
2
Suppose -2*f = -4*d - 0*f + 14, 15 = 3*d - 3*f. Suppose -5*r - 5*m + 41 = -m, -3*m - 3 = -3*r. Solve 0 = -r*t - 0*b - 2*b + 13, 5*t + 3 = d*b for t.
1
Suppose 0 = -8*o + 1221 + 1659. Suppose -4*k + o = 32*k. Solve -k = -3*r - 5*h, -3*r + h + 3*h + 19 = 0 for r.
5
Suppose -3*d + 315 = 173*d - 213. Solve 5 = -15*t + 12*t + g, -2*t = d*g - 26 for t.
1
Suppose -67*a + 74 = -127. Solve m - 6*u - 7 = -4*u, 5*m + a*u = -17 for m.
-1
Let c be -3 + 44/(-8)*(-3 + -1). Let x = c + -5. Solve 0*d - b = -2*d - 6, 0 = 2*d - 5*b + x for d.
-2
Suppose 5 = -5*p, 2*q - p - 64 = 7. Suppose -7*u = -q - 0. Suppose 55*b + 2 = 56*b. Solve -2*r + 7 = -x, -3*x + u*x + 12 = b*r for x.
-5
Let r = 668 - 590. Let x = -78 + r. Solve x = -4*h - 2*f + 6, 0 - 4 = -h - 3*f for h.
1
Suppose 6*j - 36 = -30*j. Let d(i) = 9*i - 4. Let g be d(j). Solve -2*f + 5*f = -o + 13, 2*o = g*f - 7 for f.
3
Let i be 19*(-453)/(-27) + (-6)/(-27). Suppose m = 347 - i. Solve 0 = k - 4, -2*a - 5*k + m = -0*k for a.
4
Suppose -k + 4*i = -2, -9 = 4*k + 4*i - 17. Solve k*c + 12 = -2*v, 8*c - 6*c + 4*v + 22 = 0 for c.
-1
Let b(p) = -47*p - 136. Let x be b(-3). Solve -20 = x*i, -44*i = 4*t - 46*i + 8 for t.
-4
Let z(u) = 7*u**2 + 26*u - 7. Let y be z(-4). Let n be ((y/3)/((-15)/135))/(-1). Solve -8*x = -n*x + 4*l - 13, 34 = 5*x - 3*l for x.
5
Let m be ((-1)/(-4))/(170/14960). Solve -4*z + m = a, 2*z = -19*a + 20*a + 8 for a.
2
Let a(s) = 2*s - 4. Let l be a(-10). Let p = 29 + l. Suppose -p*k + 24 = u + u, 0 = 2*u + k - 8. Solve -g - 23 = u*g - 4*h, 7 = -2*g + h for g.
-1
Let l be (567/(-84))/((-36)/(-16) - 3). Solve 10 = -4*j - s, 3*j + l = -s + 2 for j.
-3
Suppose 244 = 9*i - 161. Suppose -11*h + 8*h + i = -4*t, 5*h = 3*t + 64. Solve y - 1 = 2*f, -3*f + 3*y + y = -h for f.
-3
Suppose -555*i = -1081 - 1694. Solve 21*b - i*o + 9 = 19*b, b - 3*o = -6 for b.
3
Suppose 4*t + 53*j = 50*j - 4, 0 = 4*t + 4*j + 12. Solve -2*r - 10 = 3*o, -9*o = -11*o - t*r - 25 for o.
0
Let w be 3 - (-7)/((-42)/(-222)). Suppose 46*n - w*n = 24. Solve -2*r - 24 = 4*q, -2*q + 3 = -n*r - 5 for q.
-4
Let p(r) = -3*r**2 + 29*r - 21. Let u be p(7). Let w be (-36 + -1)/(-2 + 1). Let z = w - u. Solve z*m + 4 = f - 3*f, 4*f = -8 for m.
0
Let u be (-17 - 4485/(-30))*(-8)/(-10). Solve 4*c + g + 120 = u, -3*g = 2*c + 2 for c.
-4
Let k(b) = -148*b - 1033. Let l be k(-7). Solve -4*n = 5*m - 3*n + 21, l*m + 4*n = -16 for m.
-4
Let c be -5 + 40/12*3. Suppose -4 = -l, 8 + 7 = -f + c*l. Solve -4*s - 3 = f*y, 4*s = y + y - 10 for s.
-2
Suppose -135 = -115*n + 210. Solve 0 = -n*o - 2*q - 3*q + 15, 4*q = 0 for o.
5
Let c be (-1)/4 + (-2 - 122/(-8)). Suppose 710 = 51*k + 91*k. Solve -15 = -5*u - k*b, 4*u - 2*b = -b - c for u.
-2
Let u = 5210 + -5208. Solve 0 = 4*h + u*a - 2 - 10, 3*h - 2*a - 16 = 0 for h.
4
Let g = 1 - -9. Let v be 3/1*g/(-15) - -4. Solve 2*i = -v*b + 16, i - 5*b = -8*b + 18 for i.
3
Suppose -p - 7*h - 3 = 0, -16 = -5*p + 2*p + 4*h. Solve 0 = p*z - 2*g - 16, 12*g + 6 = -z + 10*g for z.
2
Suppose 0 = -2*m + 3*g + 84, -97 = -5*m + 4*g + 120. Let n = -41 + m. Let x be (-8)/(-20) + (-186)/(-10). Solve -4*k = 5*p - 5, -2*k + n*p - p = -x for k.
5
Suppose -2*i + 14 = 2*d, -i - 1 - 2 = -4*d. Suppose s - a - 13 = -4*a, a = -4. Suppose 5*b + 25 = 0, -z + 3*b + s = 4. Solve 3*w + z*v - 16 = v, 10 = d*v for w.
-3
Let a(b) be the second derivative of -b**4/12 - 7*b**3/6 + 23*b**2/2 + 2*b + 1. Let v be a(-9). Solve w = -5, -3*r + 11 = -v*r - 3*w for r.
2
Suppose -p = -6 + 5. Let g(n) = 3*n**2 + 2*n - 2. Let c be g(p). Suppose 6*j - 9 = c*j. Solve 4*a + 12 = 4*k, -j*k = -7*k + a + 18 for k.
5
Let i = -375 - -373. Let p be ((21/i)/7)/(8/(-16)). Solve -x - 6 = -3*r - r, -7 = p*x - r for x.
-2
Suppose -3*h + 2*w = -55, 2*h = h + 3*w + 23. Suppose -18*j = -h*j - 25. Solve 5*v + 18 + 1 = -2*n, -j = 5*v for n.
3
Let r = -220077 + 220104. Let o(d) = 2*d**2 - 4*d - 1. Let m = 3 - 0. Let v be o(m). Solve -3*a = v*y - 0*y - r, y - 3 = 0 for a.
4
Suppose -258*r = 399 - 431 - 742. Solve -b - 7 = -3*w + 21, 0 = 2*b + r*w - 16 for b.
-4
Let k be (-9120)/27 + 3 - (-28)/(-126). Let c = k - -335. Solve -5*j = -c*f + 4*f - 45, -f + j = 0 for f.
5
Suppose 25 = -o + 23. Let u(l) = -4*l - 5. Let d be u(o). Solve 0 = 3*j - 4*x - 32, -j + d = j + x for j.
4
Suppose 4400 = -0*o + 11*o. Suppose -2 = -2*j + 2, -4*q = 2*j - o. Let d = q + -94. Solve 2*x = 4*s - 26, -2*x + d*s - 2*s - 22 = 0 for x.
-5
Let z(g) = g**2 + g. Let v(i) = -4*i**2 + 19*i - 35. Let b(p) = v(p) + 3*z(p). Let u be b(20). Solve -3*x - 16 = a, -3 - 1 = -4*a + u*x for a.
-4
Let n = -2 + 2. Let v = n + 12. Let t = 3084 + -3084. Solve 0*h - 3*h + 2*a + v = t, 4 = 5*h + 2*a for h.
2
Let w(s) = -s**3 - 8*s**2 - 4*s + 5. Let n = -46 - -40. Let c be w(n). Let t = c - -48. Solve -14 = t*j - 3*v + 1, -j - 3 = -3*v for j.
-3
Let w be ((-8)/(-16))/(5/3670). Let o = 371 - w. Solve 2*v - 4*l - o = -v, -2*v = 5*l + 5 for v.
0
Suppose 2*s - 12 + 0 = 0. Let z be (-4 - -5)/(1/(-15)). Let n = 17 + z. Solve -n*q + i = 8, 2*i = 2*q + s + 2 for q.
-4
Suppose -3*q = -14*x - 41 - 137, -5*q + 155 = 5*x. Solve q = 5*t + 4*d, -d = -13*t + 14*t - 8 for t.
4
Suppose 367 = 10*r - 193. Suppose -r*t - 1 = -57*t. Solve 3*x = -5 - t, -5 = b + 4*x for b.
3
Let b = -27 + 35. Let a(m) = -4 - 4*m - 8*m + m**2 - 4*m**3 + b*m. Let q be a(-1). Solve 0 = n - q*r, -4*n = -n - r - 14 for n.
5
Let w be 489/39 + -51*16/(-1768). Solve -5*z - 2*h = w, 4*h - h - 6 = z for z.
-3
Suppose 5*m + 20 = 3*b - 21, 4*b + 4*m - 12 = 0. Let c be b/(7/4) + -4. Let u = -103 + 106. Solve -4*w - 10 = 2, 5*n - u*w - 4 = c for n.
-1
Let x = 16752 - 16747. Solve -3*u + 3*o - 23 = 7*o, x*o - 15 = 5*u for u.
-5
Let i(g) = -3*g**2 - 110*g + 152. Let m be i(-38). Solve x + 5 = 5*n, m*x + 4*x - 3*n + 3 = 0 for x.
0
Let f be (71 + -53)/(-3 - -5). Solve 2*a = -4*k + f*k - 32, -4*k = -5*a - 46 for a.
-6
Suppose n = j + 7, 8 = -2*n - 4*j - 2. Suppose -3*b + 80 = 7*b. Suppose -29 = -b*i - 5. Solve -i*l - 11 + 2 = 0, 1 = -2*h + n*l for h.
-5
Suppose 15476 = -51*d - 12013. Let f = d - -543. Solve 0 = l + 2*q + 7, 4*l + f*q + 9 = -3 for l.
1
Let a be 32/36 + (-11)/(-1188)*444. Solve -5*c - 3*h = -5, 0*c = -a*c + h + 5 for c.
1
Suppose f - 11746 + 11743 = 0. Solve 3*a = -5*b - 35 + 19, -4*b - 29 = -f*a for a.
3
Let n = 7323 - 7316. Solve w = -3*t - n, w - 5*t + 11 = -10*t for w.
-1
Let w be ((-4)/(-5))/((-42)/(-105)). Suppose -k - w*u = 6, 5*k - u - 21 = k. Let v be k/6 - (-3)/((-9)/(-4)). Solve -4*q = -v*q + 4*l, -3*l = 5*q for q.
0
Let q = 31256 - 31236. Solve 3*h = 0, 0 = c - 5*c + h + q for c.
5
Let r = 249 - 168. Suppose -5*y - 44 = r. Let w = 29 + y. Solve -3*s = -n + 3 + 5, w*s - 16 = -4*n for s.
-1
Let c be ((-3)/(-11))/(22 + (-4579)/209). Solve -2 = c*u - 3*r + 10, 4*u + 4 = r for u.
0
Suppose 0 = 192*h - 21*h - 2052. Let u be (-105)/12 - 3/12. Let l = u - -13. Solve 5 = 5*j - 2*w, -l*w = -j - w - h for j.
3
Let x = 22 - 17. Suppose 3*p + 0*p - 6 = 0. Suppose a - 5 = -g + 5, -p = g + x*a. Solve 5*u - 4 = 9*u, -3*b + g = 2*u for b.
5
Let k = -25714 - -25716. Solve 118 - 129 = 3*l - k*g, 0 = -4*l - 5*g - 30 for l.
-5
Let p be (-3)/(((-6)/(-12))/(3/(-6))). Let n(j) = j - 7. Let d be n(4). Let r be (10/d)/(-1)*6. Solve -p*f + 4*f = -3*u - r, -40 = 4*u + 4*f for u.
-5
Let m(c) = -12*c - 19. Let j(w) = -11*w - 20. Let q(v) = 5*j(v) - 4*m(v). Let s be q(-10). Let y = 49 - s. Solve -k = -y + 8, -2*k - 35 = 5*l 