+ 13, -4*g + 6 = -2*a for g.
-1
Let v(n) = 5*n**3 - 8*n + 306*n**2 + 311*n**2 - 609*n**2. Let p be v(1). Solve 0 = p*m - 4*h - 1 - 4, 0 = -m + h for m.
5
Let m = -1134 - -657. Let n = m - -481. Solve -n*z + 2*h - 22 = 0, z + 4 = -4*h + 3 for z.
-5
Let b be 1/(-2) - 9/(-2). Suppose -3*l - 178 + 225 = -4*r, -l + 4*r = -37. Solve k + o - l + 2 = 0, b*k = -5*o + 17 for k.
-2
Suppose -3*v - 5 = 2*a, 0 = -5*v - 2*a + 4*a - 3. Let u be -4 - (-125 + (-1)/v). Suppose -h + 7*h = u. Solve 5*g - 17 = q + g, 0 = 4*g - h for q.
3
Suppose 3*h + 5*r = -4 + 18, -r - 8 = -3*h. Solve 5*a - 4*a = -l - 2, h = -l for a.
1
Suppose 0 = 36*i - 31*i - 50. Let h be 8/i*(3 - -2). Suppose -g + p = -6, g - 8 + 2 = -h*p. Solve 2*r - 3*b = -0*b + 6, 0 = -3*b - g for r.
0
Suppose 15*y - 45 - 11 = -13*y. Solve 5*r = 5*z + 6 + 9, 0 = 13*r + y*z + 36 for r.
-2
Let u be 2 + (0 - 8/(-2)). Let y be (-1 + u + -5)*-1. Suppose c + 13 = -4*m, 8 = -4*m + 2*m. Solve -4*b + 5*f = 11, y = -c*b - 2*f + 5*f - 9 for b.
-4
Let n = 416 - 422. Let j(u) = u**3 - 37*u - 4. Let z be j(n). Solve -i - 2*l = l + 11, 3*i + z*l + 19 = 0 for i.
-5
Let q be ((-12)/(-36))/(((-4)/18)/(-2)). Solve -4*z - 7 + 6 = 3*p, z + 4 = q*p for p.
1
Let g(a) = -4*a + 88. Let s be g(21). Suppose -2*u + s*w = -0*w + 12, 4*u - 5*w + 12 = 0. Solve 2*y + 2 + 0 = c, -u*c = -y - 1 for c.
0
Suppose 0 = -b + 3*b. Suppose 0 = 7*x - 5*x + 10, -2*f + 2*x + 34 = 0. Solve 4*o + 4*j - f = b, 0 = 2*o - 0*o - 3*j + 4 for o.
1
Suppose -20 = 4*x + 5*q, 8*q - 24*q - 64 = -2*x. Solve -3*r - 2*n + 8 = x, -2*r + 2*n = -3*n + 1 for r.
2
Suppose 3*t = 4*c + 11, 8 = -c - 3*c + 4*t. Let u be ((-4)/c)/(6/30). Suppose -u*n - 6*n + 20 = 0. Solve -n*w + 0*w = -5*b + 20, -5*w - 3*b = -12 for w.
0
Let p(v) = 2*v**2 - v - 4. Let u be p(4). Suppose 9*c + u = 13*c. Suppose c*i - 2*i = 8. Solve 3*g - d + 3 = 1, i*g - d = -1 for g.
-1
Let o be (-11648)/1176 - 4/42 - -17. Solve -3*g + 5*s - 21 = 9*s, 0 = 5*g + 2*s + o for g.
1
Suppose 0 = 172*y - 169*y - 15. Suppose 90 = y*m + 2*b - 0*b, -3*b = -3*m + 54. Solve -4*v = 2*h + m, 4*v = -h - 16 - 3 for v.
-5
Let y be 120/128*92 - 1/4. Let b = -82 + y. Suppose 2*k + 0 = 5*v - 4, v - 36 = -b*k. Solve -t = 4*j - k, t + 4*j = -t + 12 for t.
4
Suppose 4*r + 2*q = 38, 0 = -2*r + 4*r - 3*q - 7. Suppose -6*x - r = -14. Let g(i) = 5*i - 56. Let m be g(12). Solve -15 = 5*y, 3*z + 2 = -m*y - x for z.
3
Let j be ((-2)/4*0/28)/(-2). Let r be j*(12 - 4)/8. Solve 8*m - 3*m + 4*l + 35 = r, -5*l = -4*m + 13 for m.
-3
Let d be (-28)/4620*11 - 932/(-30). Solve d*c - 29*c - 11 = f, f = -5*c + 24 for c.
5
Let y = 3532 - 3520. Solve -i + y = 2*j + 15, -j + 2*i - 4 = 0 for j.
-2
Let p(j) = 3*j**2 + 2*j + 1. Let n be 3*1 + (-1 - 3). Let l be p(n). Suppose -21*z + 23 = -40. Solve 1 = l*g - z*q + 4, -g + 4*q = -1 for g.
-3
Suppose 4*d - 12 = 2*d. Let v be (105 - 3)*2/d. Let c be (-3)/2 - (-561)/v. Solve 3*j + r = 5*r - 1, j = 5*r - c for j.
5
Suppose d = -4*d + 20. Suppose -112 = -7*w - w. Suppose -d*z + w = 10. Solve -2*p - 1 - 2 = v, 5*v + z = -3*p for v.
1
Let j(k) = -3*k**2 + 70*k - 12. Let y be j(23). Suppose -5*b + 266 = -209. Suppose -6*c - b = -y*c. Solve -5*u + 39 - 15 = -4*a, 4*u - 3*a = c for u.
4
Let m(i) = -4*i - 177 + 2*i - i**2 + 175 + 5*i. Let u be m(3). Let l be u/(-2)*(-2 + 7). Solve -3*c - 2*r = -6*r - 21, 0 = -l*c + 5*r + 30 for c.
3
Let o(v) = 2*v + 18. Let u(x) = x + 1. Let l(c) = 3*c - 8. Let t(z) = -l(z) - 2*u(z). Let g be t(3). Let w be o(g). Solve 4*d = -r - w + 1, 3*r + 8 = -d for r.
-3
Let t be (-14)/4*3*(-276)/(-18). Let z = t + 173. Solve 4*n - d + 7 = -16, d + z = -3*n for n.
-5
Let y be -30*(4/(-10))/((-15)/(-50)). Let w be -2*2/(4/y*-8). Solve w*o - 10 = 5*a, -2*a + 6*a + 16 = -4*o for o.
-1
Suppose 0*q - q + 3 = 0. Suppose 305*d - 303*d - 8 = 0. Suppose 0 = 5*j - 10, d*i + 64 = 8*i - 4*j. Solve a + 5*z - 1 = 3*z, -q*a = -z + i for a.
-5
Suppose 2*t + 9 = 13. Let x be -3 + 2 + (-1 + 3)*t. Let m(s) = -s**3 + 3*s**2 + 3*s - 4. Let q be m(x). Solve -2 = -n - 0, -4*r + q*n - 26 = 0 for r.
-4
Suppose 2*k + 3*k - 1365 = -3*f, -1092 = -4*k - 3*f. Suppose -13*v - 8*v + k = 0. Solve 5*i + 5*c = 25, -i - 5*c = -v + 4 for i.
4
Let y be (5766/4805)/((-2)/(-4)*2/35). Solve 0 = -4*h - 38*w + y*w - 4, 3*h + 2 = 4*w for h.
-2
Suppose 5*g = -5*l, 3*g = 2*g - 5*l - 16. Suppose g*i - 2*k - 12 = 3*i, 4*k = -3*i - 14. Solve 3*v + 2*y - 14 = -i*v, -9 = 3*y for v.
4
Let a = -75 + 130. Let n = a + -52. Let x be 201/12 + n/(-4). Solve -3*c + 4*f = x, 2*c - 13 = -2*f - 5 for c.
0
Let l = -3532 - -3534. Solve -2*j = -l*x - 4, -3*x + 7 = -2*j + 9 for j.
4
Let n(u) = -u**2 - 16*u - 37. Suppose 4*q + 4*j = -24 - 40, -3*j = -q - 4. Let r be n(q). Solve -r*w + 1 = -x, -3*w + 0*w = 2*x + 2 for x.
-1
Let u be -5*37/1110 + 19/6. Solve 3*k - 11 = -g, u*k - 1 = -2*g + 15 for g.
5
Let d = 1318 + -1316. Solve -4*z = -2*s - 16, z - d*s - 2*s - 4 = 0 for z.
4
Let i be (-6 + 10)*(-16)/(-8). Let u be ((-34)/(-3))/(3*i/36). Solve -5*h = 4*j - u, 3 + 5 = j + 5*h for j.
3
Let p be -3*(-1)/(-7) - (-380)/70. Solve 3 = 2*c - z - 1, -4 = -2*c - p*z for c.
2
Let l(d) = -d**2 + 10*d - 11. Let p be l(8). Solve -5*k - p*u = -5, 5*k - 2*u - 6 = -6*u for k.
2
Let q(v) = -v**2 + 54*v - 143. Let h be q(51). Solve -2*l + 4*z + 1 = 5, 2*z = -2*l - h for l.
-4
Let b be (1 - (-10)/6)*(17 + -5). Suppose -2*m + 35*k = b*k - 10, -3*m = 3*k. Let x = 8 - 5. Solve x*z = -m*l + 3 - 11, 0 = -4*z + l + 4 for z.
0
Let m = 11 + 9. Solve 15 = -4*s + x, 5*x - 4*x + m = -3*s for s.
-5
Suppose 2*h - 6*h = -15*h + 8*h. Solve h = -4*j + 2*s + 10, -17*j + 3*s + 6 = -20*j for j.
1
Let m = -65 + 42. Let z be 804/28 + (-18)/(-63). Let t = m + z. Solve 4*f - 13 = g - t, -9 = -3*f + 2*g for f.
1
Let h(f) be the first derivative of -f**3/3 - 9*f**2 - 11*f - 22. Let o be h(-17). Solve 0 = 5*i - 3*l - o, 2 = -4*i + 2*l + 6 for i.
0
Let v(o) = 17*o - 26. Let l be v(11). Let t = l + -161. Solve t*n - 3*n = 5*a + 20, -5*a - 10 = n for a.
-1
Let t = 3822 + -3818. Solve 0 = l + 2, 9*l = 3*v + t*l - 16 for v.
2
Suppose 0 = 31326*d - 31321*d - 5*x - 90, 5*x + 82 = d. Suppose 0 = 5*p - 5*w, -4*p + 43 = 2*w + 13. Solve 4*h + d*m = 3*m + 12, 5*h - 15 = -p*m for h.
3
Suppose -5*b - 23 - 32 = 0. Let y = -543 + 557. Let m = y + b. Solve m*z = g - 2, 0 = z + g + 3*g + 18 for z.
-2
Let c(t) = -3*t + 68. Let h be c(23). Let w be (h - -8)*(-24)/(-56) + 2. Solve 0 = f + w, -4*f - 4 = -2*p + 12 for p.
-2
Let m be 5 + (-14)/(-7) + 7. Suppose 0*r + 2*r = 3*c - 21, m = 2*c + 5*r. Solve 16 = -2*b + 5*y, -3*y + 7 + c = b for b.
2
Let i = 135 - 87. Let h = i + -56. Let p be (-3)/(3/h*2). Solve p*g - 5 = 5*a, -a = -2*g - g + 12 for g.
5
Let k(v) = v**2 - 4*v - 6. Let i be k(4). Let z = i - -8. Let o be ((-4)/(-4))/(1/z). Solve -8 = f - o*d, -2*d + 17 = -4*f + 3*d for f.
2
Let l(z) = 53*z**2 - 371*z + 5. Let c be l(7). Solve -5*h = -c*g + 30, -2*h + 5*g + 15 = -6*h for h.
-5
Let n(s) be the first derivative of -7*s**2 + 18*s - 79. Let a be n(1). Solve 3*q = 4*d + 1, 0 = -a*q + 3*q + 3*d - 3 for q.
3
Let t be (-14)/7*((-18)/4 + 2). Suppose 404 = -t*i + 2*b, -4*i + 2*i - 2*b - 170 = 0. Let d = 83 + i. Solve 5*u + 12 = -r, -4*u - 2*r - 11 = d for u.
-2
Let x(v) = v**3 - 3*v**2 - 5*v. Let n be x(5). Let w = n + -25. Solve 3*s + 3 = 3*j, 0 = s - w*s + 4*j - 14 for s.
2
Suppose -2*a + 3*n + 11 = 0, 0*a - 2*a + 10 = -2*n. Suppose 0*q - 56 = a*q. Let b = 14 + q. Solve -z = s + 1, -5*z + 3*z + 3*s + 13 = b for z.
2
Suppose 0 = -10*g + 6*g - 72. Let m = -10 - g. Let o be m/4 + (-2)/(-2). Solve o*p = -0*v + 5*v + 37, 4 = -4*v - 4*p for v.
-5
Suppose -16*b - 102*b = 38*b. Solve 4*r + b*r = -5*t - 1, 3*t = -r - 2 for r.
1
Let a(d) = d**3 + 3*d**2 - d + 1. Let t be a(-3). Let s be 30 - (-32 - -31) - 28. Solve t*v - 5 = 5*r, 10 = -s*v - 0*v + r for v.
-5
Let s = -442 - -436. Let v be ((-2)/s)/(91/84 + -1). Solve 0 = 4*p - v*z + 6*z - 12, p + 4 = -4*z for p.
4
Let h be (-182)/(-6) + (-4)/36*-6. Let g = h + -2. Let p = g + -24. Solve v + 5*r + 1 = 0, 2 = p*v + r + 7 for v.
-1
Let f = 1836 - 1831. Solve 5 = -50*p + 46*p - 3*o, 2 = f*p + o for p.
1
Let c be (28/7 + 0)*1. Suppose -37 = -4*n + x, -9*x + 12*x = -c*n + 17. Solve -2*t + 5*l + n = 2*l, 0 = 3*t + 2*l + 14 for t.
-2
Suppose -c - 9 = -4*q + 1, -7 = c - 3*q. Solve -3*j = 3*f