 -4*j - 2*v = -28, -u*j = -v - 6 - 15 for j.
5
Let x(i) = -26*i + 83. Let u be x(2). Solve 3*d = -5*g - u, 0*g + 3*d = 5*g + 19 for g.
-5
Let r = 2 + -2. Let o = 2 + 8. Let c = 14 - o. Solve 0 = p - 5*f - 10, r = c*f + 4 + 4 for p.
0
Let s(k) be the first derivative of k**3/3 + 5*k**2/2 + 6*k + 6. Let n be s(-4). Let x(q) = q + 8. Let l be x(-6). Solve l*i + n*i + 4 = 4*u, 0 = -5*i for u.
1
Suppose -4*n = -3*q + 2, -3*q = -q + n + 17. Let t(c) = -c**3 - 6*c**2 - c - 6. Let b be t(q). Solve 4*d + 3*i = 7 + 1, b = -4*d - 4*i + 8 for d.
2
Suppose 72*t - 82*t = -60. Solve 5*n + 17 = -h, -2*n = h - t*h + 23 for n.
-4
Let x be 11/(-1) + (2 - -11). Solve x*t - 5 - 4 = -a, a - t + 6 = 0 for a.
-1
Suppose -5*p - 4*k = -36, 10 = -3*p + 5*k + 39. Suppose -30 = -2*z + p. Solve 4*b + 4*m = -16, -5*m - 1 - z = 0 for b.
0
Suppose -9*u = -304 + 286. Solve 5*m = u*v - 4 - 15, -17 = -v + 5*m for v.
2
Let z(u) = 3*u**3 - u**2 - 2*u - 4. Let t be z(-2). Let p = 33 + t. Suppose 4*c = 5*v - 18, 5*c = -9 - 1. Solve -2*w + w = -r + 1, 14 = -p*w + v*r for w.
-4
Let p be 2 + -4 - (2 + -5). Let t be -1 - p/(1/(-16)). Let u = t - 12. Solve -u*r + 15 = 4*w, r - 2*w - 1 + 6 = 0 for r.
1
Let q(w) = 4*w**2. Let n(s) = s - 4. Let x be n(6). Suppose 2*m = 2, -4*k + x = -m + 11. Let r be q(k). Solve -r + 0 = 4*t + 2*d, 0 = -4*t + 5*d - 16 for t.
-4
Let h be (-1908)/(-530) + (-6)/10. Solve 0 = -4*g + 5*v + 16, -3*g + 2*g - 13 = h*v for g.
-1
Let g(b) = b**2 + 14*b - 29. Suppose 2*r + 22 + 10 = 0. Let c be g(r). Solve 4*y + 3*m = -27, -y - c*y + 2*m = 2 for y.
-3
Let q = 16 - 31. Let k be 110/(-4)*(-4)/5. Let n = k + q. Solve 3*t = -f - 17, 4*t + n = -4*f - 29 for f.
-5
Let f = -31 - -40. Suppose -3*p + 3*q - 3 + f = 0, 3*p - q - 2 = 0. Solve 4*o = -v + 9, 3*v = -p*v + 2*o + 13 for v.
5
Let c be (13/(-2))/(6/(-12)). Let o be (-1 + c)*(-6)/(-9). Suppose 0*v - 8 = 4*b - 4*v, 2*v = -2*b + o. Solve 15 = -5*q, -7*i - 3*q = -2*i - b for i.
2
Let w be (-56)/70 + 1/(-5). Let f(z) = -10*z**2 + z. Let b be f(w). Let r = -8 - b. Solve -o + v - 2*v = r, -4*v = 0 for o.
-3
Let h(s) = -5*s - 2. Let r be h(-1). Let l = 2 - -13. Let d be (-3)/l - 21/(-5). Solve -6*z = -z - 2*k, r*z - d*k + 14 = 0 for z.
2
Let g be 5/(-25) + -1 - (-1001)/55. Solve -4*b = -p + 5, b - 2*p + 7*p = -g for b.
-2
Let g(c) = -2*c**2 + 4*c + 7. Let t be g(4). Let w = t + 18. Suppose -2*y + w = -5. Solve -y = 4*v - 0*r - 3*r, 3*v + 9 = r for v.
-4
Let v(k) = k**3 + 10*k**2 - 9*k + 26. Let y be v(-11). Solve y = 2*a + o, -o + 6 = 3*a - 2*o for a.
2
Let i = -239 + 244. Solve 0*w = 3*w - 2*m + 14, 3*w - 14 = -i*m for w.
-2
Let b = 36 + -30. Suppose 8 = b*z - 2*z. Solve 3*f + 6 = -z*t, -5*t - 2 = -0*t + f for t.
0
Suppose 3*u - 12 = u. Let m be 1/2 + u/4. Suppose 0 = -n + m + 5. Solve -2*r + n*r = -f - 22, -3*f = -3*r - 24 for f.
3
Let v = 2 + 0. Suppose 2*c + v*c - 8 = 0. Let h(k) = k**3 - 9*k**2 + 9*k - 4. Let f be h(8). Solve -x = 4*y + f*x - 35, -c*y + 13 = x for y.
5
Let u = 222 + -219. Solve -2*y = -u*h + 5, h - y = y + 7 for h.
-1
Let h be ((-16)/32)/(1/66). Let f be 2 + 2 - (-5 - h). Let m be (-5)/(-30) - 92/f. Solve 0 = -5*y - m*u + 33, -2*u - 2*u + 28 = 4*y for y.
5
Let d(k) = -23*k - 76. Let b be d(-4). Solve 10 + b = 4*q - 2*y, 5*q = y + 25 for q.
4
Let l(t) = -3*t - 12. Let r be l(-4). Suppose -4*a + 4*g = -9 - 19, -5*a + g + 23 = r. Solve -4*c + a*k = 8, -k - k + 19 = -5*c for c.
-5
Let y(w) = 5*w - 19. Let q be y(5). Solve 10 = 2*m + 5*i - 8, m - q = -i for m.
4
Let y(z) = z**3 - 39*z**2 + 40*z - 74. Let m be y(38). Solve 0 = -w - 2*d + m, d - 15 = -3*w + 4*d for w.
4
Let o be 7 + -3 + 0/2. Suppose 0 = 2*r - 2*v - 6, -r - 3*r + v + 3 = 0. Solve -g = o*u - 12, -5*u + 2*g + 28 = -r*g for u.
4
Let g be 10/4 + (108/(-8))/(-9). Let q(k) = k + 1. Let y be q(g). Solve 0 = -3*d + y*z + 3, 4*d + 7 + 3 = 2*z for d.
-4
Suppose 0 = s - 6*s + 85. Suppose t - 36 = 2*p, 3*p + 2*t + 44 = 6*t. Let d be s/5 + 8/p. Solve 6*q = d*q + 5*u - 25, -2*u + 10 = -q for q.
0
Let l be (3 + -4)/(6/(-24)). Solve -11 + 20 = -3*a + l*u, -4*u + 8 = -4*a for a.
1
Let l be (-3)/(-6*(-4)/(-80)). Suppose -9*m - 4 = -l*m. Let z be 16/(1/2*m). Solve z = -5*x + 2*g, 0 = -4*x + 2*x + g - 3 for x.
-2
Let q be 3 + -1 - (-2 - -2). Suppose 2*v + h = 12, 4*v + h + 10 = 38. Let x be 4/v + (-14)/(-4). Solve y - q = -m + 4*m, 4*y = -x for m.
-1
Suppose -5*k + 3*d = -2*d - 15, 47 = 4*k + 3*d. Solve u + k = -2*h, -2*u = -2*h + 3*u + 4 for h.
-3
Suppose 1 = -l - 1. Let c be (-1)/(-1) + l/(-1). Let i(g) = -g**3 + 21*g**2 - 2*g + 46. Let p be i(21). Solve 0 = -3*z + p*u - 15, u - 1 = z + c for z.
-1
Let n(q) = -q**3 - 8*q**2 + 17*q + 12. Let h be n(-10). Suppose -34 = 2*j - h. Let u(k) = 2*k + 6. Let z be u(7). Solve j*c - z = -b, 3*c + 7 - 22 = 5*b for c.
5
Let v(k) = -5*k**3 + 20*k**2 + 6. Let h be v(4). Solve -g - h = 3*q, 0 = g + 5*q + 5 + 7 for g.
3
Let d be (-1 - -1)*(-4)/12. Suppose l + 0*l - s - 11 = d, -5*s = l - 11. Solve 4*z = 5*f + l, -3*f = -0*z + z + 10 for f.
-3
Suppose 0 = -3*v - 3*p - 45, -7*p + 2*p + 60 = -4*v. Let y be 8/20 - 99/v. Solve -4*d = -5*r + 5, y*d - 3*r + 3 = 3*d for d.
0
Suppose -2*x + 23 = g, -2*x - 3*g = -4*g - 17. Solve -2*n - 2 = -4*d - x, 0 = -5*d - 2*n - 1 for d.
-1
Let n = -13732 + 13734. Suppose -4*d + 4*h + 35 - 7 = 0, -5*h = -4*d + 32. Solve 4*u - d*p = 0, n*p - 3 = u + 2 for u.
3
Let a be (10 - (16 + 4)/5) + -4. Solve -2*f = j - 11, -2*f + 2 = 2*f - a*j for f.
3
Suppose -4*w + 15 = -2*n + 3*n, -3*n = 2*w + 5. Solve w*d - 19 = -5*z + 6, -5*d + 4*z = -7 for d.
3
Suppose -2*t + 19 = -j + 20, 3*j - 3 = 3*t. Solve t*f - 5*x - 25 = -5*f, 8 = -2*f - 4*x for f.
2
Let b(z) = 76*z + 465. Let j be b(-6). Suppose -2*d + 7*k = 2*k + 18, 4*d = -3*k + 16. Let u = -1 + d. Solve -4*c + 1 + 0 = 3*t, t - c + j = u for t.
-5
Let k(q) = -8*q - 1. Let u be k(1). Let s = u + 12. Solve -s*r - 11 = 2*p, -4*p - 7 = 2*r - 3*p for r.
-3
Suppose 2*m + 6 + 12 = 2*l, -3*m = 3*l + 3. Solve 5*j = j + d + 11, d - 5 = -l*j for j.
2
Let q(a) = 2*a + 1. Let g be q(1). Suppose y - 4 = -o + 1, -o + 7 = g*y. Let k be -1*3 - (-32)/o. Solve 5*u - 3*x + 0*x = 15, -5*u = k*x + 25 for u.
0
Let u be (9 - 12) + -1 + 4. Suppose 3 = -k + c, u = c + 4*c - 25. Suppose k*x - 1 = 3. Solve -6*z = -j - 2*z - 1, 8 = -2*j + x*z for j.
-5
Suppose 2*c - 12 = -6. Suppose -38 - 46 = -7*w. Solve 0 = r - c*n - 8, r + r - 2*n = w for r.
5
Suppose 0 = 7*l - 14. Suppose -6*s - l*s = -32. Solve 2*v + s*a - 6 = 0, -3*a + 14 = -2*v + 6 for v.
-1
Let k be (-2)/(2/(-10) + 91/(-195)). Solve -r = -2*i - 1, 7*i - k*i = r - 1 for r.
1
Suppose -2*f = -4*j + 18 - 0, 4 = -4*f. Suppose 9*v = 8*v + j. Solve 5*w + 4*l = -32, -w - 26 = v*w + 2*l for w.
-4
Let p = -10 - -11. Solve -1 = b + n, n + 0 = p for b.
-2
Let g = 22 + -7. Let m(d) = -d**3 + 16*d**2 - 15*d + 3. Let v be m(g). Solve 2*f = -i + 9, -v*f = -i - 4*i + 19 for i.
5
Let q = 3 - 1. Let a be (-6)/(-12)*(5 + 2/2). Solve x = r - q, 2*r - 1 = a*x - 0 for r.
5
Let j be 4 + 2 - (0 + 0). Let d = j + -1. Suppose x = 5*u + 12, -x - 4*u = -3 - 9. Solve -2*c - 2 + x = -d*h, 0 = -c - 5*h - 10 for c.
0
Suppose 9*q + 3 = 6*q, -4*p = 4*q - 40. Solve u + 5*x = -2*u - p, -4 = u + 2*x for u.
-2
Suppose 2*z + 31 = -21. Let x = z - -29. Suppose b - 2*r - 11 - 15 = 0, 76 = x*b - 4*r. Solve -4*c = -2*i + 3 - 19, 4*c - 4*i = b for c.
2
Let a be (-6)/(-15)*(-5)/(-1). Suppose a*j - w - 16 - 12 = 0, -w = 0. Solve j = 5*r - 4*z, -4*r + 8 = -z - 1 for r.
2
Suppose 46*i = 16*i + 90. Solve -2*y + 0*y - 10 = 0, -2 = -i*j - 2*y for j.
4
Suppose -54*a + 81 = -351. Solve 14 = -2*q - 2*c, -2*c - a = -4*q + 3*q for q.
-2
Suppose -5*s - 25 = 0, 0*s - 33 = -2*r + s. Let b = r + -11. Suppose -4*v = 2*c, 2*v + 3*c + 14 = b*v. Solve -2*t + i = -0 + 1, 6 = -v*t - 4*i for t.
-1
Suppose 16*c + 150 = 46*c. Solve -w - 5 = 4*p, c*p + 15 = 3*w - 6*w for w.
-5
Let a be (12/10)/(12/(-180)). Let k = a - -12. Let m = k + 10. Solve -m*x + o = -0*o + 25, -3*x - 40 = -5*o for x.
-5
Suppose 0*b + 180 = 5*b. Let t be (-29)/(-6) + 6/b. Solve -2*k + 8 = -4*j + 34, 3*k + t*j - 5 = 0 for k.
-5
Suppose -88 - 17 = -21*j. Solve 5*z = -j*r + 10, 0 = -3*r - z + 4*z - 18 for r.
-2
Suppose -4*t - 5*w = -24, 19*t - 15*t + 16 = 5*w. Solve -5*j = -3*o + 4, 2*j + 3 + t = 0 for o.
-2
Suppose 5*h + 52 = -2*y,