Let j = 35 - m. Suppose -j - 20 = -4*g. Solve 5*q + 2*v = g, 0*q - 2*q - 2 = -4*v for q.
5
Let w be (-13)/((-52)/8) + 0. Solve w*m - 2 - 4 = -4*h, h - 14 = 2*m for h.
4
Suppose 0*w = -w + 11. Let h = w + -8. Solve -2*z + 8 = -2*k, 5*k = -h*z + 2*z - 20 for z.
0
Let g(y) = -2*y**3 + 18*y**2 + 2*y - 19. Let v be g(9). Let p = v + 3. Solve 2*f = 2*c + 2, 5*c + 4 = -p*f - 8 for c.
-2
Suppose 2*w + 5 = -5*a - 2, 5*a - 1 = -4*w. Suppose 4*m - 3*m - w = 0. Let t = -4 - -8. Solve -t*r + 4*k + 9 = 1, 5*k = 2*r - m for r.
2
Let x = -485 + 489. Solve 0 = x*q - c - c + 4, 0 = -4*q + 4*c - 12 for q.
1
Suppose 26 = 3*c + 2*q, -40 = -2*c - 2*c - 4*q. Solve 2*i = -3*o - 4, c*o - 4*i = o + 8 for o.
0
Suppose -2*i = 5*r + 8 - 18, 2*r + 34 = 3*i. Solve -4*w = 3*t - i, -t = -14*w + 13*w + 6 for w.
4
Let p(j) = 9*j**2 - 56*j - 25. Let u be p(7). Solve -4*q - 3*r - u = 0, -5*r - 1 = -4*q + 7 for q.
-3
Suppose 0 = 3*g + 4*s - 14, 5*s - 10 - 4 = -2*g. Let l = 341 - 317. Solve 5*f + 0*f = -3*b - l, -g*b - 9 = f for b.
-3
Suppose -9*d - 90 = -198. Solve 4*n - y - d = 0, y + 7 + 2 = 3*n for n.
3
Let l(h) = -20*h - 138. Let t be l(-7). Solve 10 = -a - t*v + 4, 3*a - 18 = 3*v for a.
2
Suppose 15*a = -28*a + 43. Solve 0 = v - 3*u - 2 - a, 0 = -u - 1 for v.
0
Let s(m) = 2*m**2 - 11*m - 3. Let i be s(6). Solve 0 = i*a + p - 1, 0 = -a - 5*p + p - 18 for a.
2
Let w = -5 + 32. Suppose -31 = -2*c - w. Solve 6*l - c*l - 11 = y, 3*y = 2*l - 3 for l.
3
Let g = -20 + 17. Let a = g + 1. Let r be (32/6)/(a/(-6)). Solve 5*i + 2*n = -0*i + r, 4*i + 3*n = 10 for i.
4
Let a(g) = -g**2 + 7*g - 9. Let p be a(3). Solve -w - 3*f - 9 = 0, p*w - 8 = 5*f + 7 for w.
0
Suppose -x + 10*x + 189 = 0. Let i = -16 - x. Solve -i*w - 18 = p - 2, 17 = -4*w - 5*p for w.
-3
Let k = 12 - -6. Suppose 3*v + 0*v = k. Let z = v - 2. Solve -5*q + 12 = 4*a, z*a + 0 = -q + 12 for q.
0
Let s be (-14 - -16) + -4 + 2 + 0. Let q = -17 - -38. Solve -5*d + b - 3*b - q = s, -3*d + 3*b = 21 for d.
-5
Let t be ((-48)/40)/(2/(-15)*3). Solve -2*b + 6 = 0, d - t*b + 6*b = 4 for d.
-5
Let o be 4 - (-4 + 2/1). Suppose 0 = v - o - 11. Suppose g + v = 4*t + 4, 3*g = -t + 13. Solve 2*u - u = -g*n - 5, 5*n + 4*u + 13 = 0 for n.
-1
Let k = -508 - -510. Solve 0*r - 1 = h - k*r, r = -3*h + 18 for h.
5
Suppose 3*g + 3*v - 12 = 0, -5*g + 5*v + 52 = 2. Let j be -3 - (0/(-5) + -7). Solve j*y = -3*s - g, 4*s - 2 = -4*y - 10 for y.
-1
Let v(r) = 3*r - 1. Let c be v(2). Suppose 5 = 2*q + b, -5*q + 3*b + 6 = -1. Let w be (5/(c/8))/q. Solve -y - 5*k = -18, 5 = w*y - k + 17 for y.
-2
Let m = -2253 - -2257. Solve -2*k = 5*u - 11, 4*k - 5*k - 1 = -m*u for k.
3
Suppose -4*u + 20 = u, -3*w - u + 10 = 0. Solve 3*i = -3*k, 5*i + w*k = 6*k + 45 for i.
5
Let j = 2294 + -2291. Solve 5*r = 4*r - 5*x - 17, -2*r - j*x - 6 = 0 for r.
3
Suppose 6 = -101*a + 103*a. Solve -3*j + 3*r - a = 0, -5*r + 13 + 20 = 2*j for j.
4
Let k(h) = 0*h - 4*h**2 + h**3 + 0*h**2 - 5 + 2*h. Suppose -44*v + 38*v = -24. Let l be k(v). Solve -c - 5 = -t + 1, l*t - 22 = 4*c for c.
-4
Let q(z) = z**2 - 1. Let s be q(-1). Suppose s = -3*u + 2*u + 4. Solve -3*p + 2*k + 5 = 0, 0 = -4*p - 4*k + 36 + u for p.
5
Let i be -1*(-3 - 0) - -4. Suppose -f - 5 + i = 0. Suppose -l + v + 6 = 0, 0 = -5*l - 3*v - 5 + 19. Solve -f*n = 5*z, z - 17 = l*n - n for z.
2
Let k = 51 - 51. Let q be (8 + -7)*k/1 - -2. Solve 2*j = c + 6, -q*c + c + 3*j = 10 for c.
2
Let t = 258 + -232. Let i be 18/10 + 1/5. Solve 0 = -f - 5*q - 25, i*f - 2*q = -6*q - t for f.
-5
Suppose -2*j - 3*j + 10 = 0. Suppose 17 = j*c - 7. Suppose 2*m + 18 = 2*l, m = -2*l - 0 + 6. Solve 5*a - 5*b = l, -c + 5 = -a - 5*b for a.
2
Let g(d) = -d. Let t be ((0 - -2) + -9)/(-1). Let c be g(t). Let b(n) = n**3 + 6*n**2 - 9*n - 10. Let i be b(c). Solve -2*w - w + 4*j = 0, -i*j = -w + 8 for w.
-4
Let d(o) be the first derivative of -o**3 - 3*o**2/2 - o + 6. Let v be d(-2). Let m be (3/(-2))/(v/14). Solve 5*y + 2*n + 4 = -6, 0 = m*y + 3*n + 6 for y.
-2
Suppose 2*c - 7 = 3. Suppose -5*g = -g - 56. Let s = g + -10. Solve -5*t + 0 = c*z - 25, -t + 17 = s*z for z.
4
Let q(r) = 3*r**2 + 9*r - 4. Let x be q(-4). Suppose 3*w = -0*w - 12, 4*j + x = -2*w. Solve j = -6*t + 3*t + 12, 0 = k + 3*t - 10 for k.
-2
Let x = -89 + 137. Suppose 3*g = 3*d - 9, 4*d + 2*g = -3*g + x. Suppose -2*r - r + 12 = 0. Solve r = -5*j + d*j - c, -4*j = c - 2 for j.
1
Suppose 8*h - 90 = 30. Solve 3*g = -4*j + h, -g + 8*j - 11*j + 10 = 0 for g.
1
Suppose 0 = 57*y - 520 + 7. Solve 2*h - h - 5*k - y = 0, 0 = 5*h - 2*k - 22 for h.
4
Let i = 936 + -932. Solve 2*u - 8 = i*h - 5*h, -9 = -3*u for h.
2
Let w(a) = 4*a**3 - a**2 - 2*a + 2. Let l = 128 - 127. Let m be w(l). Solve m*f = -4*s + 15, f + 14 = 3*s + 6*f for s.
3
Let r(x) be the third derivative of 1/30*x**5 - 2*x**2 + 0 + 1/3*x**4 - 1/2*x**3 + 0*x. Let b be r(-5). Solve 2*q = 2*d - 18, -2*d = b*q - 3*q + 12 for q.
-5
Suppose 3*s = -m + 2, -2*m + 0*m - 3*s = -7. Solve 0 = -0*h - 4*h - 16, 0 = -m*r + 5*h + 35 for r.
3
Suppose 0 = -x - 4*v + 25 - 1, -4*v + 8 = -3*x. Let h be x/(-3) - 2/9*-150. Solve -5*y - h = -4*z - 7, 0 = 3*y + 4*z + 15 for y.
-5
Let m(l) = l. Let z be m(3). Suppose -2*t + v - 3*v = -6, -t + 5 = z*v. Solve 5*y - 7 = 2*g, -t*g + 2*y = y - 5 for g.
4
Let x be (18/(-4))/(9/(-6)). Solve 4*h + 5*k - 1 = 0, -2*k - 11 = h + x*k for h.
4
Suppose 5*q = 3*d + 2, -22*d - 4 = -q - 25*d. Solve 4*g = 20, 2*v = 4*v - g + q for v.
2
Let b be (8 - 2)*(-6)/12. Let j(a) = -2*a + 7. Let u be j(5). Let l = b - u. Solve 4 + l = -4*t, -5*t - 5 = m for m.
0
Let a be 8/(-6) - 280/15. Let x be (8/a)/(4/(-50)). Suppose -x*o - 5*f + 2*f = -1, 2*f + 6 = 0. Solve 1 = 4*w - s, -7*s + o*s = 5 for w.
0
Let c = -75 - -13. Let x = 65 + c. Solve 16 = -3*z + k + 4, -5*z - 20 = x*k for z.
-4
Let z be ((-4)/3)/(3/(-9)). Suppose 2*n + 12*f - 7*f = -5, 2 = -2*f. Solve n = -3*l - z*p + 11, 21 = -0*l + 5*l + 4*p for l.
5
Let v(t) = -t**2 - 5*t + 4. Let a be v(-5). Let x be (8/5)/(a/(-20)). Let s be -6*(-3 + x/(-3)). Solve -n + s*n = -3*p + 6, -5*p = -5*n - 10 for p.
2
Let h = 10 + -5. Suppose 1 = -3*p - q + 3*q, 4*p + q - 17 = 0. Solve -p*c = -3*k, -3*c - k = -5*k + h for c.
5
Let n(l) = l**2 - 5. Let x be n(3). Suppose p = x*p - 9. Solve -2*g - 5*o + 12 = 0, -7*g - 5*o + 14 = -p*g for g.
1
Let w be (-4)/(-2) + 2*14. Let s = w + -12. Let q be (-10 - -1)*(-4)/12. Solve 15 = 3*b - q*j - j, -5*j = -3*b + s for b.
1
Suppose 2*n = -5*d + 7 + 12, 3*n = 4*d - 6. Solve -4*k - 24 = d*t - 6*t, -k = -4*t + 19 for t.
4
Let c be 2 + ((-12)/(-4))/3. Let u(s) = s**2 + 9*s + 12. Let h be u(-8). Let j be 4 + h*2/4. Solve 3*t - c*i = j, 4 + 3 = t - 2*i for t.
-3
Let a = 46 + -23. Suppose 7*h + 2 = a. Suppose -y - 3 = 0, 4*p + 5*y - 26 = 3*y. Solve -h*b = -x - b - p, 3*x - 21 = -3*b for x.
2
Let y be 1/(3 + 195/(-66)). Solve 6*q - y = q - 2*p, -5*p = 3*q - 17 for q.
4
Suppose 0*o - o = -3. Let t be (-1 - (-686)/22) + (-24)/132. Solve -o*y = h - 4*h - t, 5*y = -h + 20 for h.
-5
Suppose -b + 5*n + 9 = -9, -4*b - 2*n = -6. Solve -2*c - b*o + 13 = 0, 0*c + 3*c + 2*o - 12 = 0 for c.
2
Let b = -124 - -124. Suppose b = -4*m + 37 + 83. Solve 11*p - 6*p - m = 5*x, 10 = -5*p - 5*x for p.
2
Let p = 1128 - 1126. Solve -p*v + h = 4, -2*v + 5*h = -v + 11 for v.
-1
Let h = 32 - 11. Solve -2*x - 4 = -4*s + 2, -s - h = -5*x for s.
4
Suppose 4*u = 2*q - 48, 4*u - 54 - 66 = -5*q. Suppose 5*g = 2*c - 0*g - q, 3*c + 6 = -3*g. Solve c = h + z - 0, -3*z = -4*h + 22 for h.
4
Let x(n) = 90*n**3 - n**2 + 3*n - 3. Let u be x(1). Let i = 92 - u. Solve 10 = -4*b - 2*j, -3*j - i = 3*b + 6 for b.
-2
Suppose -3*p + 9 = 6, 4*d = 2*p + 6. Solve x + 3*f - 1 + 15 = 0, -d*f = -x + 11 for x.
1
Let r be -1*(-2 - 1) + 3 + 1. Solve 4*y - r*u - 20 = -3*u, 2*y + 3*u = -5 for y.
2
Suppose -4*b = 3*v, -4*b + 0*v = 5*v. Let h be 65 - (-2 + b - 1). Let i be h/10 - 24/30. Solve 5*o + 2*m = 7 - 40, -2*o + m - i = 0 for o.
-5
Suppose 0 = 6*z - 127 + 103. Suppose -3*f = -3*p + 2*f + 26, 0 = p + 2*f + 6. Suppose -p*a + 2 = -2. Solve -a*u - 17 = 5*h, -4*u - 7 = z*h - 3*h for u.
-1
Suppose 3*x - 12 = y, -4*x + 8*x + 4*y = 0. Let i be 2 + 5 - (-3)/(-1). Let p be 0/(x - 2 - i). Solve -2*z + b = -2 - 0, p = -4*z + 3*b for z.
3
Suppose 0 = 4*i + 5*m + 70, 4*i + 2*m = -m - 66. Let s(y) = 3*y**3 - y**2 + 1. Let b be s(2). Let u = b