0, -3*g - 3*m + 4 = -2 for g.
0
Suppose -4*z = -42*d + 43*d - 10, 2*d = 4*z - 16. Suppose -5*c = -c - z*h, -5 = -3*c + h. Solve -5*l + 7 + c = 5*o, 0 = l + 5*o - 2 for l.
2
Suppose -13 = 5*c - 3*b, 2*b = 5*c + 12 - 0. Let j be ((3/9*0)/(-2))/c. Solve -w + d + 2 = j, -1 - 1 = -w - d for w.
2
Let d(y) = 2*y**3 - 3*y**2 - y + 4. Let j = -145 + 147. Let w be d(j). Let b be (4 - -16)*(1 + 0). Solve -5*o - b = 0, 2*t - o = -w*o - 12 for t.
4
Let i be 2 + -5 - -1 - (-144)/4. Let m be 6/(-10) - 9/(-15). Suppose m = 6*v - 9*v + 15. Solve 0 = 3*d + v*n - i, 25 = 4*d + 2*n + 3 for d.
3
Suppose -5*p - 2*i = -12, -296*i + 294*i + 2 = 0. Solve 4*g + 10 = -p*n, 2*g - 4 = -29*n + 25*n for n.
3
Let j = -8 + 14. Suppose -t = -3*x + 31, -3*t + j = 3*x - x. Suppose 7*z - x*z = -14. Solve -n - o = -2*o + z, -o = -4 for n.
-3
Let p = -64 - -68. Suppose 3*g - p*g + 5 = 0. Let u(c) = -2*c + 1. Let y be u(-1). Solve 3*o - 9 = 7*a - y*a, -15 = -5*o + g*a for o.
3
Let g(u) = 22*u**2 - 13*u - 3. Let d be g(1). Solve 3*p + 2*j + d = 0, 5*p - 63*j + 60*j - 9 = 0 for p.
0
Let n = 1557 - 1554. Solve 2*x + 0*x = -s - 13, 3*s = -n*x - 24 for s.
-3
Suppose -6*s + 327 = 297. Suppose -2*g + 4 = -r, s*r + 32 - 24 = 4*g. Solve r*d - 4*d - 4*h = 8, -3 = -3*h for d.
-3
Suppose 2*w = 6*w - 40. Suppose -4*y = j - 3, -3 = y - j - w. Suppose -y = 4*b - 5*b. Solve -b*i - 1 + 9 = 4*z, 8 = -4*i for z.
3
Let h(t) = t**3 + 18*t**2 + 28*t - 29. Let k be h(-16). Solve o + 5 = k*q - 34*q, -21 = -4*q + 5*o for q.
4
Suppose 4*m + 4 + 8 = 0. Let k be m/2 + (-91)/(-14). Let r be 7*(-12)/(-210) - (-46)/10. Solve -i = -3*b - r*i + 8, k*b + 4 = 2*i for b.
0
Let g be 1 - (-46 - (0/3)/2). Suppose 0 = -m + 35 - g. Let h be (m/(-3) - 0) + -4. Solve 0 = -3*a - 2*n - 3 - 5, 2*a + 3*n + 2 = h for a.
-4
Suppose 0*c + 4*c = 128. Suppose -9*n = 5 - c. Let s(r) = 4*r + 8. Let x be s(-2). Solve -2*l + 8 = 2*u - n*u, -2*l - u + 8 = x for l.
4
Let p = -30 - -32. Suppose 26 - 16 = p*c. Solve 2*t = -5*u - 3, 5*u - 2*t = -c*t - 7 for u.
1
Let l = 122 - 77. Let z = l - 44. Let t be 1*(z + 2 + 1). Solve 4*i - 12 = t*d, i + 0*d = 3*d + 5 for i.
2
Suppose -2*p = 2*v - 2, 3*p = 4*v - 9*v - 1. Solve -4*j + 3*u = 7, 0 = -p*u - 0*u - 9 for j.
-4
Let a = -1521 - -1524. Solve 0*v = a*v - 2*b + 6, -5*v = 2*b + 26 for v.
-4
Let i be 6/((-36)/681)*(1 - 3). Let y = i - 227. Solve 0 = -4*f + 4*a + 4 + 20, y = -2*f + 5*a + 27 for f.
1
Let w = -70 + 72. Suppose 2*y = -2*c + w, -7*y + 3*y + c + 19 = 0. Solve -4*q + 2*s = y, -3*q - 5*s + 21 = -2 for q.
1
Let l = 42 + -46. Let m be 62*-1*l/(-8). Let k = 43 + m. Solve 2*c - c - 16 = 4*d, -k = 4*d for c.
4
Let d(x) be the second derivative of -1 - 16*x - 1/6*x**3 - 3/2*x**2. Let c be d(-7). Solve 5*j - 4*i = -i - c, -2*j + 5*i + 6 = 0 for j.
-2
Let f be (12 + -14 + 3)*5. Solve 5*s + 3 + 22 = -5*a, 2*a - f*s = 4 for a.
-3
Let r = 1772 - 1745. Solve -3*m = 3*j + r, 3*j - 13 = 3*m + 2*m for m.
-5
Suppose -1 + 3 = -2*i, 3*i + 3 = 2*l. Let m(x) = 70 + 2*x + x - 58 - 34. Let k be m(8). Solve -4*n = -4*w - 24, l*w + w = k*n - 8 for n.
2
Let k be 0*-23*(-4)/184. Solve -4 = 2*s, -t - 4*s - 73 + 64 = k for t.
-1
Let s be 0 - -1 - (17 - 21). Suppose 10*c + 145 = s*c. Let o = c - -37. Solve -b = 4*h + 8 - 21, -5*b - h + o = 0 for b.
1
Let t = 15 - 10. Suppose -3*d - t*d = -32. Let f be (154/(-6))/(-7) + d/(-6). Solve -2*h - f*h - 45 = -5*s, -3*h = 12 for s.
5
Let l = -16153 + 16157. Solve -25 = 5*x - l*q, 50*x - 20 = 54*x - 4*q for x.
-5
Let s be (0 - (-20)/6)*(-162)/90. Let v be 7/(-7)*(s - -3). Solve -45 = -5*j - 5*h, v*h + 3 + 2 = 5*j for j.
4
Suppose 0 = -26*d + 29*d + 3. Let s be (((-20)/(-12))/d)/(10/(-36)). Solve 2*q = -3*z - s, 15 = 2*z - 0*z - 5*q for z.
0
Let f(o) be the second derivative of -2*o**3/3 + 2*o**2 - 13*o. Let i be f(10). Let n = 42 + i. Solve -5*h = -3*j + 30, -3*j - 6*h + 3*h + n = 0 for j.
5
Suppose -641*b = -382*b - 1036. Solve 0 = -b*u + 3*t - 37, -3*t + 26 = -3*u - 4 for u.
-7
Suppose -242*w + 1324 = 420*w. Let d(t) = t**3 - 4*t**2 + 2*t + 3. Let c be d(4). Solve -h - c = -a + 4*a, w*a + 5 = -3*h for h.
1
Let k = -27 - -29. Suppose 0 = 5*p - 5, -4*p - 73 = k*z + 55. Let h be z/(-36) - (-1)/6. Solve 3*b = -2*v - h - 2, -5*v - 10 = 0 for b.
0
Let g = 183 - 55. Let k = g - 92. Suppose 18 = -6*u + k. Solve 0 = -2*l - 3*s + 1 + u, -s - 2 = 0 for l.
5
Suppose -2*u + 5 = m, 7*m + 4*u = 11*m - 8. Solve -4*j = 3*b - 7, -m*b + 47 - 46 = -2*j for b.
1
Suppose 38 = h + 3*w + 18, h - 3*w - 26 = 0. Solve 7*z - 8*z = 4*o + 22, -z = -5*o - h for o.
-5
Let k = 5 - -20. Let y = 4 + k. Let b = 34 - y. Solve 5*t = 3*p + 29, 2*p + b*t = 2*t + 6 for p.
-3
Let v(d) = -4*d**2 - 167*d - 275. Let s be v(-40). Solve 0 = -6*b - 6, 0 = -2*w + 7*b - s*b + 4 for w.
1
Let z(c) = c**3 + 4*c**2 - 2*c - 7. Let a(h) = 3*h - 15. Let o be a(5). Let s be -8*2/4 + o. Let x be z(s). Solve 2*q - j - x = 6*q, 4*j = -4*q - 4 for q.
0
Let d(t) = t**2 - 17*t + 77. Let l be d(9). Solve -2*c - 4*s + 2 = 0, -2*s + 7 = l for c.
-1
Let w = 2980 - 2958. Solve -5*a - 12 = 2*g - a, w = 3*g - 4*a for g.
2
Suppose 4*b - 3*a = 1338, -6*b + 5*b + 5*a + 326 = 0. Suppose 20*v - b = 6*v. Solve -t - 2 + 6 = 0, -3*t + v = -4*k for k.
-3
Let q = -13041 - -13045. Solve -4*u - 4*t = 20, -q*u + 2*u = -3*t - 5 for u.
-2
Let m be (1 - 1)*(-7)/(-2 - -9). Suppose m*t - 59 = -3*t + 5*c, 0 = 2*c + 2. Solve -15 = -5*f - 5*d, -2*f - 3*f = 2*d - t for f.
4
Let u = 579 - 576. Solve 5 = 2*y - 5*z + u, 2*z + 12 = -2*y for y.
-4
Let z be (-2)/(-3) - 27/(-567)*91. Solve -2*g - 22 = -z*w, 3*w + 3*g + 4 - 13 = 0 for w.
4
Let k = -43 + 49. Suppose 2*n + 12 = k*n. Solve -n*m + c = 2*c + 5, 0 = -3*m - 4*c - 20 for m.
0
Suppose -3*b + 487 = -2*u + 163, -8 = -4*b. Let r be 6/5 + -1 + u/(-5). Let o = r + -32. Solve 3*q - 6 = 2*i, 4*q - 2*i - 8 = -o*i for q.
2
Suppose 5*t + 82 - 356 = -u, -u + 3*t + 290 = 0. Let k = u - 280. Solve -2 = -m - k*i - 10, 0 = 2*m - 3*i - 6 for m.
0
Let i be (-5*8/(-20) - 8)/(-45 - -44). Solve -3*f + i*f + 4*a = -7, 3*a + 12 = 0 for f.
3
Let l = -324 + 441. Suppose -l*z + 122*z = 100. Solve 0*u = -2*o + 2*u, -o - 4*u + z = 0 for o.
4
Let g(a) = -a**3 + 28*a**2 - 5*a + 23. Let c(p) = p. Let t(w) = -4*c(w) - g(w). Let s be t(28). Solve 2*o + 2 = 0, s*r - 4*o = r - 4 for r.
-2
Let h = 8 + -5. Suppose -86 = -6*y - 506. Let p be (y/105)/(2/9*-1). Solve -2*d + d = -5*s - 27, -h*s = -p*d + 21 for d.
2
Let m be (-6)/4*20/(-3). Let u(l) = -l**3 - 4*l**2 + 8*l + 35. Let n = -907 + 904. Let a be u(n). Solve -3*s = a*d - m, s + 0*s = -4*d + 10 for d.
2
Let r(n) = 12*n**2 - 511*n - 211. Let m be r(43). Suppose -o = 3*o - 24. Solve m*g = y + o + 8, -3*g = -4*y - 4 for g.
4
Let m(q) = -703*q + 101. Let c be m(7). Let s be 2/27 - c/540. Solve 4*r - 4*b + s + 23 = 0, 0 = -2*b + 6 for r.
-5
Suppose 513*f = 502*f + 44. Solve 12 = c - 5*c, 15 = -3*w - f*c for w.
-1
Let b be ((-154)/63)/11 + 166/18. Suppose -13*a = b*a. Solve -3*g + g + 4*j = a, 0 = -2*g + j - 6 for g.
-4
Let d be 21*(6/(-36))/(4/(-8)). Solve -d*q = 4*o - 0*q - 2, 4*o = -3*q - 6 for o.
-3
Let d be 2 + -4 + 8/2. Suppose -3*s + 10 = -2*o, d*o = s - 2*o. Let g be 5/(-10) - (-10)/s. Solve 5*n + 33 = -2*m, 3*m = 3*n - n - g for m.
-4
Let p = 9992 - 9985. Solve p = -2*u + s, -7 = -5*u + 4*u - 3*s for u.
-2
Let t = -3655 + 3657. Solve -s + 7*r = 2*r + 17, t*r = 2*s + 2 for s.
3
Let h = 307 - 284. Suppose h*l - 9*l - 28 = 0. Solve -2*m = -2*u + 12, m + 3*u - l = 12 for m.
-1
Let g = 41347 - 41325. Solve 238*o - 239*o + g = -4*u, u + 13 = 4*o for o.
2
Let x be ((-171)/38)/(3/(-8)). Suppose -u - 4*m + x = 0, -5*u - 3*m - 5 + 14 = 0. Solve 5*y = -5*l, u = -4*l + 2*y - 0*y + 18 for l.
3
Suppose -3*i - 5*x + 1 = 0, 0*x = -3*i + x + 25. Suppose -q - 90 = -i*q. Solve -c - 3 = l, 2*l = 3*c - 3*l - q for c.
0
Suppose 0 = -30*t + 23*t - 34*t + 123. Solve t = 3*a - 5*m, 3*a + 0*m - 2*m = -6 for a.
-4
Let g(v) = 29*v**2 + 467*v + 52. Let i be g(-16). Solve 4*q + 7 = y + 5*q, 2*q - i = 3*y for y.
2
Let n be ((-3)/2)/(120/(-400)). Suppose n*c - 15 = -0. Solve -10 = -2*x, -c*g + 3*x - 10 = 2*g for g.
1
Suppose -108*m + 11 + 11 = -107*m. Solve -2 + m = -o + 3*w, 0 = -o + 2*w - 15 for o.
-5
Let l = -314 + -94. Let m = l + 412. Solve -4*c = -2*c - 4*a - 12, 0 = -m*c - a + 6 for c.
2
Suppose -2*o + 5*a = -152, 