q = -5*g + 5 for m.
-2
Suppose 0 = 145*f - 140*f - 50. Suppose -7*p + 2*p = 0, -4*p - f = -5*i. Solve i*x + 4*s = -18, 3*x - 6 = x + 4*s for x.
-3
Let s be 10/4 - (-8)/16. Let u be 2/(-2*(-1)/13). Suppose -u = -2*v - b + 16, -4*v + 55 = 3*b. Solve 2*h - s*h - 8 = 3*j, -h + 3*j = -v for h.
4
Suppose -3*w - 7 = -c, 4*c - 4*w - 56 = w. Suppose 0 = -20*k + c*k. Suppose 0 = -5*t - 2 + 12. Solve 0 = 5*i + 10, t*d + k*d - 16 = 5*i for d.
3
Let p(m) be the third derivative of -m**5/60 - m**4/2 - 11*m**3/2 + 5*m**2. Let y be p(-6). Solve 4*v = v + y*r + 3, -v + 1 = r for v.
1
Let i(z) = -z**3 - 12*z**2 + 12*z - 13. Let w be i(-13). Suppose 0 = m - w + 2. Let g be ((m + 9)/(-1))/(-1). Solve -4*a - 3 = -3*b, -b + 3*a - 1 = -g for b.
-3
Let y(u) = u**3 + 3*u**2 + u - 3. Let f be y(2). Suppose f*d = 5*d + 14. Solve 4*x + n = 3*x - d, n = 5*x + 11 for x.
-2
Let r be ((-18)/(-6) - 3 - -2)/1. Solve -m - r*k - 4 = 0, -3*m + 0*m + 5*k = 12 for m.
-4
Suppose 3*c = 7*c. Suppose -2*a = -c*a - 4. Solve -3*y - k - a = 3*k, 5*y = -3*k - 7 for y.
-2
Let l = -76 + 79. Solve 5*p - 20 = -5*i, -i = -p + 3*p - l for p.
-1
Let o = 5 + 3. Suppose 2 = 2*h - o. Let g = 7 - 5. Solve s = 3*x + 13, -g*s + h*s = 3*x + 9 for s.
-2
Let m be (1/(-3))/((-21)/(-378)). Let j(i) = i**3 + 6*i**2 - 2*i - 9. Let t be j(m). Solve -5*y - t = -2*w, 4*w + 3*y = -0*w + 19 for w.
4
Suppose -s = -2*m + 10, -6*m = -3*m - 5*s - 15. Let q be (m - (0 - -3)) + (-34)/(-2). Solve -2*g - g = 2*o - 10, -q = 3*o - 4*g for o.
-1
Let y = -33 - -49. Let k be (30/y - (-5)/40) + 10. Solve 2*f - 3*g - 3 = 0, -4*f + 4 + k = 4*g for f.
3
Suppose 0 = 4*s + 4*h + 8, 4*s + 18 = 3*s - 5*h. Let l(d) = 2*d**2 - 2*d - 1. Let u be l(2). Solve 0 = -s*n - 2*n - 12, 2*t = -u*n - 1 for t.
4
Let p(i) = -9*i**2 + 47*i - 6. Let c be p(5). Solve -2*h + 1 = -c*z - h, -z - h = -1 for z.
0
Suppose -2*j = -4*n - 2, 0 = 3*n + 2*j - 5*j + 9. Suppose 7*b - 2*b + 25 = 0, 5*w - 25 = 2*b. Solve -5*q - 2 = -3*d, -n*d - 4 = -w*d for q.
2
Let y be 3/(2 + -3) + 6. Suppose 7 = y*z - 5. Let r = 116 - 112. Solve 42 = -3*h - r*p + 16, 4*p = z*h - 12 for h.
-2
Suppose v - 39 + 18 = -5*a, 30 = 3*v + 4*a. Let y = -4 + 6. Suppose 0 = y*n + n - 15. Solve -n*r - h = 0, 0 = 3*r - 3*h - v + 24 for r.
-1
Suppose 50*d - 7*d = 4*d. Solve -3 = q + w, -q + d = 3*w + 11 for q.
1
Let f be (18/(-24))/((-15)/20). Suppose 5*m + 15 = -8*j + 3*j, 2*m + 4*j = -14. Solve o + f + m = -5*h, -o = 4*h + 1 for o.
3
Let q(t) = -t**2 - 44*t + 247. Let z be q(-49). Solve z*i = 2*g + 16, -2*g + 4*i = 5*i + 4 for g.
-4
Let g = 510 - 498. Solve -5*w + g = 2*j, -4*w + 4*j = 6 - 38 for w.
4
Let s be (-2 + 3)*-31 + 0. Let d = s + 27. Let q be 2/d + 6/4. Solve -o + 4*j = q, o - 3*j = -o - 7 for o.
-5
Suppose -3 = 3*l + 3*j, 0 = -3*l + 2*j + j + 3. Solve 4*o - 5 - 11 = l, 5*w + o + 16 = 0 for w.
-4
Let a(w) = -5*w + 1. Let y be a(-6). Let t(n) = -n + 4. Let p be t(-6). Suppose p*j = 11*j. Solve 0 = -2*z - 5*m + 29, 3*z + 5*m = -j*z + y for z.
2
Let z be (-30)/(9/(-12)*2). Suppose z = -5*f, 4*q - 1010 = q - 4*f. Let j be ((-6)/(-4))/(27/q). Solve 3*r + 13 = -2*d, 4*r + 2*d + j = d for r.
-5
Suppose n + 5 = 8. Suppose -n*z + 2*z = -4. Suppose 2*x + 1 - 17 = 0. Solve k + 0*k = -t + x, -4*t - 8 = -z*k for k.
5
Let b be -3 - ((-3)/3 - (-9 + 15)). Solve -5*c - b*g = -35, 0 = -c - 6*g + 5*g + 8 for c.
3
Let r(g) = -3*g**2 + 41*g + 30. Let x be r(14). Solve 4*m + 3*f - 1 - x = 0, -5*f + 10 = 3*m for m.
5
Let g = 2632 + -2629. Solve -4*z + g*k = -k + 16, 3*k - 6 = -3*z for z.
-1
Let z = -6 + 28. Suppose 0 = -6*o - 56 - 22. Let m = o + z. Solve 3*k - m = 3*c + 2*k, 3*k = 5*c + 11 for c.
-4
Suppose -1083*o + 1076*o = -14. Solve 3*i = k, 0 = 3*i + 3*k + o*k for i.
0
Let j(h) = -2*h**2 - 3*h + 4*h**2 - 3*h + 3 - 2. Let i be j(4). Solve -q + 4*q - 3 = 0, -5*y + i = 4*q for y.
1
Let c be 12/(-4)*(-16)/(528/55). Solve 4*r = 5*r + 2*m - 11, c*m = r + 17 for r.
3
Let o be 50/275 + (2 - 4/22). Solve -3*p = a - 8, 13 = o*a - 4*p + 37 for a.
-4
Let l be (((-8)/6)/1)/((-36)/432). Solve 2*r - 3*b = b + l, 4*r + 12 = -3*b for r.
0
Let i = -29 - -14. Let o = i + 19. Solve -3*k - 4*m = -6*m - 20, 12 = -k - o*m for k.
4
Suppose -2*s + s + 27 = 5*c, -2*s - 4*c = -24. Solve -2*p + 11 = 5*d, -3*d - 2 = -s*d - p for d.
1
Let v(f) = -f**2 - 14*f - 13. Let u be v(-9). Suppose -c + 3*h + 13 = 0, 5*h - 2*h - 15 = 0. Let m = u - c. Solve -7 = 5*k - 2*d, 4*k - 2*d = -m - 0 for k.
-3
Suppose -1 - 4 = -5*z. Let l be (3/3 - 2)/z. Let y = l + 5. Solve 0 = a - 3*n + 12, 8 = y*a - 0*n + 2*n for a.
0
Let s be -3*(-40)/36*120/80. Solve -4*m + 3 = 3*v, -s*v = -3*m - 6 + 1 for v.
1
Let v = -887 - -892. Solve 13 = -v*d + k, -3*k + 20 = -4*d + k for d.
-2
Let t = -335 + 337. Solve -3*j = 6, 5*d + t*j - 6 = 10 for d.
4
Suppose 4*r + 3*p - 35 - 60 = 0, 0 = 3*r - 5*p - 35. Suppose -12*w - r = -16*w. Solve 5*n - 4 = z, -2*z + 3*z - w = -4*n for z.
1
Suppose -27*l + 33*l = 18. Let z be 3/3 + (0 - -1). Solve 0 = 2*u + l*n + 2, -3*u + z*n = 4*n - 2 for u.
2
Let a be 10*1*(-3)/(-6). Let n = 43 - 28. Suppose -n = -2*h - 5. Solve h*q - 3*j - 7 = -0*j, -a*q = j - 11 for q.
2
Let g(r) = r**2 + 0*r**2 + 2 - 4*r**2 + 2*r**2 + 6*r. Let u be g(6). Let o(z) = 2*z. Let t be o(3). Solve -u*x + 4*x = 4*b + t, -9 = 5*x - 4*b for x.
-5
Let o(a) = 2*a**2 + 4*a + 5. Suppose -8 = -3*g + 7*g. Let m be o(g). Solve 5*x = -0*x - 3*l - 11, 0 = 2*x - m*l - 8 for x.
-1
Suppose -r - 4*r - 4*l = 50, -53 = 2*r - 5*l. Suppose 79 = -10*c + 259. Let d = c + r. Solve 3*n + i = 2*i - 4, n + d = -i for n.
-2
Suppose 5*a - 25 = -2*b - 3*b, -3 = -3*b. Let f(k) = 36*k + 70. Let x be f(-2). Let r be x/a*(1 + -5). Solve -2*o + r = -2*d, -d - 2*o + 0*o = -5 for d.
1
Let n be (-128)/(4/(-2))*(-5)/(-10). Let p = 35 - n. Solve p*l + 4 = -0*d - 2*d, -5*l + 2*d + 20 = 0 for l.
2
Let w(o) = -o**2 + 11*o - 11. Let u be w(10). Let z be (12 - (-1 - u))*1. Suppose -5*g + 9*g = z. Solve 3*y + 9 = 0, 2*b + 5*y + 25 = -g*b for b.
-2
Suppose 2*r + 14 = 5*f, 0 = -20*f + 16*f + 16. Solve -x + c = r, -6*x + 13 = -2*x + c for x.
2
Let l(m) = m**2 - 2*m + 18. Let v(q) = q + 1. Let s(n) = l(n) - 4*v(n). Let x be s(7). Solve 2*c - 4*b + 1 = -x, -10 = 5*c - b for c.
-1
Let k(i) = 4*i**2 - 2*i + 1. Let l = -21 + 22. Let p be k(l). Solve m + 7 = -2*c, 0*m = p*c + 5*m for c.
-5
Suppose -147 = -7*i - 42*i. Suppose 5*f - 5*z = 35, 4*f + 3*z - 43 = 4*z. Suppose -5*d = -7 - 13. Solve -m + f = d*q, -i*q - m = -q - 4 for q.
4
Let t be 11 - 3 - ((7 - 4) + -6). Suppose 0 = 3*v, 2*o = o + 4*v - 9. Let s = 20 + o. Solve s = 2*j - 0*j + 3*f, -3*j + t = -f for j.
4
Suppose 11 = -x + 2*w, -2*w = 3*x - 0*w + 33. Let j(u) = u**2 + 11*u + 4. Let c be j(x). Solve 3*b + 4 = -5*r, 12 = 2*b - c*r - 0*r for b.
2
Suppose 3*i - j = j + 1, i + 5*j = 23. Suppose 25*z = 30*z - 20. Solve 7*c + 1 = -i*d + 2*c, 0 = 2*d - z*c + 8 for d.
-2
Let o(j) = j - 2. Let c be o(5). Suppose c*t - t = g, -4*t = 4*g. Let m = -569 - -571. Solve 2*w = t, s + 2*w - 6 = -m*s for s.
2
Let x be (-3)/(-15) + (-135)/(-75). Solve 0 = -3*k - x*a - 2, -2*k + 4*a + 4 = k for k.
0
Let w = 26 + -6. Let f = 20 - w. Solve 0*x - 11 = x + 4*p, f = 5*x + 3*p - 13 for x.
5
Let n = -5 + 7. Solve 0 = -4*j - 20, -3*d - n*d + 3*j = -20 for d.
1
Suppose 0 = q + 2*w - 9, -2*q - 3*w = q - 27. Solve -t + 2*y - 1 = y, -5*t - 2*y = -q for t.
1
Let c = -12 + 17. Let u be (30/8)/(9/24). Let m(s) = s - 15. Let i be m(17). Solve 5*a + u = a + c*l, 0 = l + i for a.
-5
Let k = -141 + 145. Solve -3*o - 2*u - 17 = 5, 0 = -k*u - 20 for o.
-4
Suppose -12*b + 2*r = -11*b - 2, -3*b = -2*r - 10. Solve -10 = 5*g, -10 = -b*o - g - 0 for o.
3
Suppose 5*g - 35 = -3*i, -8 = 3*g + 5*i - 45. Let s be 9/g*3/((-18)/(-8)). Solve -2*q = -s*a - 3, a + 4*q - q = -12 for a.
-3
Let l(x) = x**2 + x + 1. Let f be l(-1). Let g be 24/6*(f - 0). Suppose 0*z + 3 = -n - g*z, -2*n + 4*z = -18. Solve -5 = -3*v - 2*v, j + 3*v = n for j.
2
Suppose -56*y + 714 = 46*y. Let g be 48/27 - 4/(-18). Let s be 5 - (2 + 0 + -2). Solve y = -u + 4*u - g*r, -s*u - 3*r = -37 for u.
5
Let f be 6 - (1 - -4)*(-6)/(-15). Suppose -2*o - 20 = -f*o. Solve -2*m = -s, m - o = -0*m - 2*s for m.
2
Let b(j) = j**2 - 3*j + 7. Let z be b(5). Let x(d) = -2*d + 34. Let i be x(z). Solve m - 10 = -i*g + 3*g, g + 10 = -m for g.
-5
Let n(m) =