 3, 4*x = -4*m + 16 for m.
0
Let w = -596 - -577. Let k(d) = -2*d**3 - 2*d**2 + 3*d - 4. Let m be k(-3). Let x = m + w. Solve 5*o + x*y + 5 = 0, -3*o = 5*y - 2 - 8 for o.
-5
Let u(m) = -m**3 - m**2 - 3*m - 2. Let l be u(-3). Let a = l + -23. Suppose -a*y - 14 = -9*y. Solve -5*c + c = -y*q - 12, -c - 6 = 4*q for q.
-2
Let b(j) = -j**2 - 317*j - 13774. Let w be b(-265). Let r be 2 + -2 + (0 - -4). Solve 0 = -4*t - 8, -2*t = -r*f + 2*f - w for f.
-5
Suppose 4*i + 24 = 12. Let m be 9*(32/12 + i) - -22. Solve 3*s = -2*z - m, 3*s + 4*z = -2*s - 35 for s.
-3
Let c(a) = 1 + 0 - 6*a**2 + 4 + 9*a + 23*a + 28*a. Let b be c(10). Solve 5*p + 2*k + 12 = 6*k, -b*p - 5*k - 30 = 0 for p.
-4
Suppose -38 = -2*v + p, 2*p - 52 = -3*v + p. Suppose -v*w + 24*w - 30 = 0. Solve 3*g + w = f, 0 = -2*g - 0*g for f.
5
Let h(m) = 89*m - 263. Let q be h(3). Solve 10 = q*b + 5*w, 34*w = 29*w + 10 for b.
0
Suppose -2*h - 2*s = -166, -18 + 180 = 2*h + 3*s. Suppose -15*m - h = -44*m. Solve 0 = -3*j, -6*z - 4*j = -m*z for z.
0
Let o(k) = 81*k + 734. Let s be o(-9). Suppose -3*m = -3*m + 11*m. Solve -3*n + 4*f = -0*n + 7, m = s*f - 20 for n.
3
Suppose 31*i - 24*i - 28 = 0. Let c(z) = -z**3 + 4*z**2 - 12*z + 48. Let p be c(i). Solve -2*x + 11*b - 9*b - 10 = p, 0 = 3*x + 2*b for x.
-2
Let l(h) = h**3 - 4*h**2 - 24*h - 46. Let d be l(8). Solve -2*p - 2*p + r = -d, -2*p + 20 = -6*r for p.
4
Let t(m) = m**2 - m. Let u be t(2). Suppose -20 = 3*c + 4*o - 3, 0 = 3*c + o + u. Let y be (-2 - 18)/(-5) + c. Solve y*i + 2*n - 15 = -0, -5*n = 3*i + 10 for i.
5
Let z(u) = -42*u**3 + 61*u**2 - 43*u + 39. Let r be z(1). Let n be ((-10)/8)/((-2)/8). Solve -3*x = -r, -4*g + n*x = 2*x + 19 for g.
-1
Let z be 7*(2/7)/1 - -5. Let m(y) = -y**3 + 6*y**2 + 9*y - 9. Let h be m(z). Suppose 5*r - 5 - 20 = 0. Solve -h*t + 2*j + 30 = -t, 4*t - r = -3*j for t.
5
Suppose -22*h - 9*h + 744 = 0. Suppose -5*k - 2*u + 22 = 0, 26*u - 24*u = -4*k + 18. Solve -4*z + 4*d = 12, -k*d = 4*z - 2*d + h for z.
-5
Let g be (0 - 5) + (19 - (5 - 6)). Solve 5*a = 4*o - 3*o - g, -5*a - 3*o = 15 for a.
-3
Let u = 385 - 58. Suppose -u = -26*k - 119. Solve -5*z = 3*w + 7, k = -2*w - z + 1 for w.
-4
Let j(t) = -t**2. Let a(r) = 0*r**2 - 4*r - r**2 - 2*r + 3*r + r**3 + 1. Let g(m) = a(m) + 2*j(m). Let o be g(4). Solve 3*y = y - l + 1, -l = -o*y + 20 for y.
3
Let u = 132 + -129. Suppose a = -u*i, i = a + 4*a. Solve -4*j - q + 20 = 0, i = 2*j + 2*q - 12 - 4 for j.
4
Let c(v) = -10*v - 154. Let u be c(-18). Suppose 3*y + u = 29, b + y = 4. Solve -4*l = 5*d - 9, 2*d - b*l = 22 - 0 for d.
5
Let w(i) = i**3 - 8*i**2 + 14*i + 8. Let x be w(8). Suppose x = 16*y + 8*y. Solve 2*g + 6 = z + y*g, -2*g = -3*z - 4 for z.
0
Suppose -2*l + 5 = -2*b + 63, -4*b + 80 = 5*l. Suppose 5*y = 5*p + b, 5*y + 0 = p + 5. Let j = 3 - y. Solve 0 = g + j, -g + 4*g = 4*o + 3 for o.
-3
Suppose -4*w = -w - 12. Suppose 0 = -2*t + 3*m + 14, w = -t - 4*m. Let k = 139 - 135. Solve 4*b - 2*o = -2, -t*b - k*o - 13 = 7 for b.
-2
Let s be 2/11 + (-3 - 4304/(-44)). Suppose 10*q - s = 5*q. Let v be (-4)/6*(0 + -6). Solve -1 = -4*z - v*a + q, -z + 2*a - 4 = 0 for z.
2
Let t = 10566 - 10560. Solve -t*w + 5*w + 2*n = 0, 5 = 5*w - 5*n for w.
2
Suppose 10*m - 96 = -5*p + 14*m, -4*p + 52 = 3*m. Solve -t + 8*d - p = 3*d, -9 = -3*d for t.
-1
Let m(z) = -4*z - 21. Let w be ((-6)/10 - 0) + (-108)/20. Let n be m(w). Let l be (4 - 3)*n/(3/10). Solve 22 = -3*q + 5*t, 8*q + t - l = 3*q for q.
1
Let n = 22912 + -22908. Solve -n*l = -3*f - 18, 5*l + 23*f - 18*f = 5 for l.
3
Suppose 6*u - 49 + 43 = 0. Let c be 22 - ((-3)/u)/(-3). Solve 6 = 4*a - 2*q, -3*q = 2*a + 2*q - c for a.
3
Let w be (-1 - -1)/((-390)/715 + (-50)/(-11)). Solve 2*p + 7 = a, w*a - 5*a - 40 = 5*p for p.
-5
Let u = -5284 + 5288. Solve 6*r - 16 = -u*q + 10*r, 0 = 2*q + 2*r - 12 for q.
5
Let l(o) = -o**3 - 17*o**2 - 65*o - 521. Let n be l(-15). Suppose -3*k + 70 + 35 = 0. Let r = -20 + k. Solve 4*g + 6 = 2*y, 0*y + n*g = -y - r for y.
-3
Suppose -3*o - 990 = -4*r + 5*r, -2*o = -5*r + 643. Let f = -329 - o. Solve -s - 3 - 1 = f, -5*c + s = -29 for c.
5
Suppose 4*z - o - 10 = 0, 3 = -z + 2*o + o. Suppose -1539*i + 448 = -1475*i. Let u be 13 - (i - (z - 0/2)). Solve u = -4*h - 3, -3*p = 5*h + 6 for p.
3
Let r be 24/16*(-76)/(-6). Let b = r - 19. Let m = 1200 - 1198. Solve b = 5*y - 2*n + 31, -y - m + 6 = 3*n for y.
-5
Let w(h) = -55*h + 1108. Let u be w(19). Solve -2*i - u = -57, 0 = 4*z + 5*i + 27 for z.
-3
Let f = 272 + -267. Suppose 33*z + 24 = 4*y + 36*z, 0 = f*y - z - 11. Solve 0 = -y*c + 3*a + 2*a - 5, -4*c + 4*a = -4 for c.
5
Suppose 4*h + 0*h - 44 = c, 4*h - 5*c - 28 = 0. Suppose -26*v + h = -23*v. Let w be (-2)/(40/12 - v). Solve 0 = w*y + 3 - 0, -2*y - 14 = -4*x for x.
3
Suppose 0 = -29*w + 67*w - 342. Solve -4*f + 69*y - 64*y = -w, 2*y + 6 = f for f.
-4
Let v(z) = -13*z + 2. Suppose 5*t = 7*t + 4*h, -4*t = -2*h. Let q be v(t). Solve 2*n = -4*l + q, 2*n + n - 11 = -2*l for n.
5
Let o = -160 + 171. Let q(n) = -n**2 + 15*n + 18. Let g be q(16). Suppose -15 = 3*w, -2*u + 1 - 5 = g*w. Solve -j = 5*m - m - 13, -u*m + o = j for j.
5
Let r be 11 - 7 - 7*1. Let n be r - (-8 - (-8)/2). Let t(s) = -s**2 + 28*s - 195. Let l be t(15). Solve 3*o - 1 = -c, 2*c + o + 4*o - n = l for c.
-2
Let v be (-202)/1313 + 152/(-26). Let x be 24/18*(-9)/v. Solve -x = -q, -g - q - q = -5 for g.
1
Let w = 3496 + -3491. Solve -w*s + 3*c - 26 = 0, -3*s - 5*c - 98 = -96 for s.
-4
Let u be 15*(4/(-12) + 2/3). Suppose -4*j - 3*w = 10 - 30, u = j - w. Solve 0 = -2*m - y - 4 + 2, 5*y + j = -5*m for m.
-1
Suppose -50*x - 13*x + 5607 = 0. Suppose 0 = q + 84 - x. Solve 2*y = -q*r + 17, 0 = 2*r - 10 for y.
-4
Let f be (175/(-28) + 7)*4. Let p(m) = 15*m**2. Let s be p(2). Suppose f*t = -5*r + s, t - 2*r - 10 = 21. Solve 5*u - 15 = 5*l + 2*u, 2*l + t = 5*u for l.
0
Let z(g) be the first derivative of g**4/4 + 4*g - 197. Let v be 1/5 + (-1)/5. Let c be z(v). Solve 0 = c*h + l + 8, -5*l = 2*h - 4*h - 4 for h.
-2
Suppose -4*h - 3*k + 28 = 0, -k + 8 = -2*h + 12. Solve -196*r + 191*r + h*w = 14, -4*r = -5*w + 13 for r.
-2
Let z = -239 + 192. Let t = 57 + z. Solve -t = -5*h, 0 = 5*k - h + 3 - 1 for k.
0
Let y be (-3 + 27/6)/((-12)/(-32)). Solve 8*t = -y*u + 5*t - 2, 5*t + 6 = -4*u for u.
1
Let b = 443 + -441. Solve c = i - 4, b*c = -10 + 4 for i.
1
Let l(a) = a**3 - 2*a**2 - 22*a - 9. Let u be l(6). Let n = 65 + -121. Let g = n + 60. Solve g*t = -6*v + 2*v + 20, v - 15 = -u*t for t.
5
Let h(a) = a**3 - 55*a**2 - 301*a + 63. Let i be h(60). Let u = 0 + 3. Suppose 0 = -2*r + u*r - 5. Solve -i*y = r*j + 7, 2*j + 2*j - 5*y = -13 for j.
-2
Suppose 68 = 5*h - 132. Suppose -2 = -3*q + 5*o + h, -3*o - 54 = -5*q. Solve 2*k + 24 = 5*c + 1, -c + q = 4*k for k.
1
Let x(j) = -j**3 - 74*j**2 + 7*j + 558. Let r be x(-74). Let n be (5/5)/((-3)/(-9)). Solve -5*p + n*c = r, -4*p + 5*c - 11 = 34 for p.
-5
Let d(a) = 5*a**2 + 35*a + 2. Let r(k) = -k - 19. Let h be r(-13). Let u be d(h). Let w = u - -33. Solve -4*v = -2*y + 4, -5*v - 2*y + w = -8 for v.
1
Let v(r) be the third derivative of r**4/6 + 10*r**3 + 53*r**2. Let j be v(-12). Solve 4*g + 4 = h - j, 3*g + 15 = 0 for h.
-4
Let c = -3 + 6. Let r(u) = 10*u - 41. Let s(v) = -v**2 + 5*v + 19. Let x be s(7). Let w be r(x). Solve -3*p = q + 5, -w = q - c*p - 4 for q.
-5
Suppose j - 6 = 5*n + 1, 0 = -j + 4*n + 6. Let p(o) = -o + 1. Let h be p(-1). Let w be 52*(-2)/8 + 26. Solve -8 = j*v - d, -h*v + w = -3*v + 5*d for v.
-3
Let y(x) = -x**2 - 20*x + 46. Suppose 110 = -3*m - 2*m. Let l be y(m). Solve 2*d - 5*q + l*q + 2 = 0, -12 = d + 4*q for d.
-4
Suppose 4408*b - 4424*b = -576. Solve 3*h - 19 = 4*r, -5*h + b = -5*r + 6 for h.
5
Suppose -5*q + 30 = 5*h, 23*q = 2*h + 26*q - 11. Solve -4*y = 5*u + 7, -y + 0*y + 4*u - h = 0 for y.
-3
Suppose w + 10 = 4*s - w, -4*s = -3*w - 15. Let b be s - (-24)/10 - 42/105. Solve 5*v + 19 = k, -4*k + b*k = -2*v - 14 for v.
-3
Let j be ((-2)/4)/(32/36544). Let a = j - -574. Suppose 0*f + 3*f = 9. Solve m = -a*m + 4*p, -4 = -f*m + 5*p for m.
-2
Let s be 39 + -43 - (-11 + 4/(-1)). Solve 3*j = -4*c - s, -c - 2*j - 3 = -4 for c.
-5
Let w = 355 - 349. Let b be (w/24 - 1)*(-16)/6. Suppose 100 = 5*f - r - 3*r, -4*r + 60 = 5*f. Solve -p = -b*i, f = -p - p - 4*i for p.
-4
Let m(b) = -12*b - 24. Let v be m(-2). Su