2*q + 0*m - 8 = -m, -b*q - 6 = -3*m. Solve -q = -t - 3 for t.
-1
Suppose -12 - 3 = -3*q, 0 = -k - q + 7. Solve -4*b - 10 + k = 0 for b.
-2
Let u(s) = -s**2 - 6*s - 5. Let l be u(-4). Solve 0 = l*o + 5 + 1 for o.
-2
Suppose 3*b - b = 0. Solve 0*v + 2*v - 6 = b for v.
3
Let g be (10/(-3))/((-4)/6). Suppose -g*t + 16 = -t. Let c be (12/(-4))/((-6)/t). Solve -c*h = -7*h - 20 for h.
-4
Let h be -4*3/(-4 + 1). Solve 0 = -0*d - h*d for d.
0
Suppose 4*k - 26 + 6 = 0. Solve m = -1 + k for m.
4
Suppose 8*f - 151 = 9. Solve 0 = 4*v + f for v.
-5
Let q(g) = g - 2. Let c be q(7). Suppose c*w = 7*w - 6. Solve 0 = 3*r - w - 0 for r.
1
Let s = 49 - 39. Solve -g - s = 4*g for g.
-2
Let j = -3 + 6. Suppose -j*s = 3*w - 6, 4*s - 44 = 5*w - 0*w. Let x be (2 + -3 - 1) + s. Solve 20 = -x*i + 8*i for i.
5
Suppose 6*s - 4*s = -12. Let x = s + 10. Solve -x*g = -g for g.
0
Let v = 11 - 9. Solve v*m = 7*m - 5 for m.
1
Let f(a) = a - 2. Let r be f(-5). Let i = -13 - r. Let y be (i + 2)/(1*-2). Solve -3 = -y*n - 1 for n.
1
Let l be 5/(-20) + (-29)/(-4). Let h = l - 4. Solve -3*t = -h - 6 for t.
3
Let s = 10 + -7. Suppose 7*h - s = 4*h. Suppose 6*r - 12 = 2*r. Solve -r*v - 13 + h = 0 for v.
-4
Suppose -4*v + 21 = 9. Let k(d) be the first derivative of 2*d**2 + 6. Let i be k(1). Solve 0 = v*s + s + i for s.
-1
Suppose -20 = -35*x + 30*x. Let u = 1 + -1. Solve u = -o + x*o for o.
0
Let z(k) = k**2 + 3*k + 3. Let r be z(-3). Suppose -5*c - r*l - 1 + 23 = 0, -4*c - 4*l + 24 = 0. Let v = -38 - -43. Solve -4*s + c = -v*s for s.
-2
Let w be 3 - (3 + (0 - 10)). Solve 2*x = -0*x - w for x.
-5
Let t = -6 + 8. Let k = -23 + 45. Let g = k + -7. Solve -p - t*p = -g for p.
5
Suppose 2*t - 4 = 0, -3*t + 6 = 2*y - y. Solve 0 = -n - y*n - 2 for n.
-2
Let c(g) = -g**2 - 4*g. Let u be c(-4). Suppose 2*h + h - 48 = u. Solve -5*n = 9 + h for n.
-5
Let k(m) = m**3 + 8*m**2 - 8*m + 12. Let n be k(-9). Solve o - 6 = n*o for o.
-3
Let o(t) = 37*t + 1 - 37*t - t**3 + t**2. Let k be o(1). Let y(h) = 4*h**3 + 1. Let r be y(k). Solve 0*a + 5 = r*a for a.
1
Suppose k - 50 = -49. Let o = 5 - 2. Solve -g + o = -k for g.
4
Let o(i) = i**3 + i**2 - i + 2. Let m = -28 - -30. Let g be o(m). Solve g = 2*s - 5*s for s.
-4
Suppose -4*t + 5*q = -37, -7*q - 20 = -3*q. Solve -w = -t*w for w.
0
Let s(g) = -g**2 + 14*g + 18. Let f be s(15). Solve 5 = -f*k - 7 for k.
-4
Let q(s) = s**2 + s - 2. Let y be q(3). Suppose 0 = 5*g - 3 - 62. Let m = g + -4. Solve -4*a - y = -m*a for a.
2
Suppose -14 = -2*r + 2*t, r - 2 + 1 = -5*t. Let n(z) = z - 6. Let p be n(9). Suppose -12 = -h - p*h. Solve -h*a + r*a = 15 for a.
5
Let h be -1 - -2 - (-3 + 2). Suppose -5*w = -3*w - 4. Suppose 2*t = 5*n + 7*t + 10, -w*t - 4 = -2*n. Solve n = -4*q - 6 - h for q.
-2
Suppose 2 = -3*x - 13, -x = -5*q + 5. Suppose -4*g - 23 = -3*n - 6*g, q = n - g - 16. Solve -n = 5*s + 14 for s.
-5
Let r = 8 + -3. Suppose r*y - t = -0*t + 10, -4*t = -4*y - 8. Let n(l) = l**3 + 6*l**2 + 5*l + 1. Let d be n(-5). Solve -4*k = -y*k - d for k.
1
Let t be -9*(1 + 12/(-9)). Suppose 0*v + 5*q = -5*v + 10, q = -5*v + 10. Let o be 0/(-4) - -1*4. Solve -v = -o*x + t*x for x.
2
Let k = -4 - -6. Suppose 3*z + k = 4*z. Let w be (2 + 0)/(1/z). Solve -o - 25 = w*o for o.
-5
Suppose 0 = 5*c - 22 - 43. Let g = c + -12. Solve 2*m + 1 = -g for m.
-1
Let s = -6 - -2. Let j be 0/s + -3 - -6. Solve -2*r + j = -r for r.
3
Let x = 8 + -49. Let a be x/(-4) + (-3)/12. Let r = 17 - a. Solve -r = -2*k - 1 for k.
3
Let v(a) = -3*a - 51. Let j be v(-18). Solve -25 = j*t + 2*t for t.
-5
Suppose -3*r + 12 = 0, 3*x + x + 64 = -r. Let d = -11 - x. Let o be (-3)/6 - (-93)/d. Solve -3*s + o = 2*s for s.
3
Let t = 39 + -36. Solve -5*g + 10 = -t*g for g.
5
Let l be (0 - (-1 - 0)) + 4. Suppose 2*d - 1 = 4*k + 1, 2 = 2*d + l*k. Solve 2*u + 3 + d = 0 for u.
-2
Let o be -5*(6/10 + -1). Suppose -3*v + 5*v = 0. Solve v = -z - o - 0 for z.
-2
Suppose 0 = -0*o + o - 7. Suppose -y + 2*y - o = -3*a, -11 = -5*a - 2*y. Solve -m - 4 = -a for m.
-1
Let r(c) = -c**2 + 12*c - 12. Let k be r(9). Let t = k + -11. Suppose -3*s - 2*d = 8, 3*s + 3*d = 2*d - t. Solve s + 3 = -f for f.
-3
Suppose 50 = 5*r - 4*p + 3*p, 2 = 3*r + 5*p. Solve g - r = -8 for g.
1
Let n = -5 - -20. Let o(q) = q**2 - 15*q + 5. Let d be o(n). Solve 2*u - 6 = d*u for u.
-2
Let z(j) = j - 2. Suppose 4*c - 23 = 5. Let s be z(c). Suppose 15 = 6*w - s*w. Solve w = -5*v - 0 for v.
-3
Suppose a - 33 = 6. Suppose -5*g + 1 = -a. Solve -5*y + y = g for y.
-2
Let j(v) = -v**2 + 7*v - 2. Let m be j(6). Suppose 2*h = 2*d, m*h - 2*d + 6 + 0 = 0. Let l be (h/(-2))/((-3)/(-20)). Solve -l = 4*r - 2 for r.
-2
Let m(b) = b + 9. Let k be m(-5). Suppose -k = 2*g - 0*g. Let w be g + 2 + 1 + 0. Solve w + 3 = -i for i.
-4
Let x(v) = -2*v - 20. Let o be x(-12). Solve -o*k + 10 = -2*k for k.
5
Let y = -11 - -21. Solve y - 1 = -3*j for j.
-3
Let m = -1 - -4. Let f(i) = i + 1. Let g(h) = h + 2. Let r(v) = 7*f(v) - 4*g(v). Let u be r(2). Solve -m*k = -8*k - u for k.
-1
Suppose 2*m - 3*i = 2*i - 1, 5*m - 50 = -5*i. Solve -5 - m = -3*p for p.
4
Let y = 3 - 3. Let u = 11 - 5. Suppose r - u*r = y. Solve 1 = -x - r for x.
-1
Suppose 0 = 2*z + 2*z - 16, w + 3*z - 12 = 0. Suppose w = 9*r - 13*r. Solve p = -r*p for p.
0
Let i(y) = y**2 + 2*y - 4. Let z be i(-6). Solve -5*g + 0*g = -z for g.
4
Let k be (-3 + 2)*1*-5. Let n = k + -3. Suppose 3*g - 35 = -n*g. Solve -g*o - 10 = -2*o for o.
-2
Suppose 4*p - 19 = b - 2*b, 0 = -3*b - p + 13. Solve -b*k + 2 = -4 for k.
2
Let u = -67 + 70. Solve 3*b = -0 + u for b.
1
Suppose -3*u = -7*u + 16. Let t be 1 + u + (-3 - -2). Solve o + t = 2 for o.
-2
Let t(q) = q**2 - q + 1. Let b be t(-3). Suppose -2*u = -3*i + 19, 2*i - 19 + 4 = -u. Let d = b - i. Solve d = -a - 2*a for a.
-2
Suppose 0 = -3*z - 3*n - 6, 4 = -6*n + 4*n. Suppose z = -b + 5*b. Solve -2*s + 3*s = b for s.
0
Suppose -2*i = 10, 0 = -r - 2*i + 5*i + 15. Solve 0 = c + 3 - r for c.
-3
Let j be (-2)/(2/(-20)*2). Suppose k - 3*b = 15, -b - 3 - j = -3*k. Solve -k = l - 6 for l.
3
Let h(q) = -4*q + 3. Let t be h(2). Let c(u) = -u**2 - 6*u + 1. Let s be c(t). Solve -s*a = -2*a - 20 for a.
5
Let j = 63 - 45. Let y be 3*8*3/j. Let r = y + -4. Solve r = -2*f + 5 + 1 for f.
3
Let w = 5 - -3. Let i = w - 4. Solve r - 6 = i*r for r.
-2
Let o be ((2 - 2) + 0)/2. Suppose 25 = -5*f, o = 2*c - f - 0*f - 5. Suppose -6*u = -2*u - 40. Solve c = -2*d - u for d.
-5
Suppose 3*q - 22 = -4*o + 1, o = -5*q + 10. Solve 0 = g + q + 1 for g.
-2
Let h(g) = -g**2 - 10*g - 6. Let p be h(-9). Solve -y - p*y = -4 for y.
1
Let u = -9 - -14. Let t = -642 + 642. Solve t*q - 20 = u*q for q.
-4
Let s = -2 - -6. Suppose -z = -s*z. Suppose 0 = -8*v + 2 + 14. Solve z = -3*h - v*h + 20 for h.
4
Suppose 3*j = -2*x - 0*x + 18, 3*j + 3*x = 15. Solve -j*b = -11*b for b.
0
Let b(i) = -i + 14. Let v be b(10). Suppose -2 = -v*f + 6. Solve f*n - 8 = -0*n for n.
4
Let b be 74/10 - 10/25. Solve -5*x + b = 2 for x.
1
Let p = 98 - 73. Solve -5*w + 0 = -p for w.
5
Let w(f) be the third derivative of -f**5/60 + f**4/4 - f**3/2 + 4*f**2. Let b be w(5). Solve b*k + 5 = k for k.
-5
Let w(i) = i - 5. Let l be w(7). Let h be (-2)/4 - (-1)/2. Suppose -5*c - 5*p + 30 = h, -7*c + 4*c = -l*p - 28. Solve c = 2*t + 2*t for t.
2
Suppose -2*s = -s - 4. Suppose 3*q - s*q = 0. Suppose 12 = -q*y + 4*y. Solve -13 = -y*v - 4 for v.
3
Let h = -8 - -11. Solve -q = -h*q for q.
0
Let a be (-1)/(-3) - (-128)/12. Suppose -3*u + 8*u + b - 23 = 0, -a = u - 5*b. Solve 2 = -u*x - 10 for x.
-3
Suppose h + 5*a + 22 = 0, 4*h = 2*h + a + 11. Solve 4*v - h = 5*v for v.
-3
Let k = 32 - 26. Solve -k*d = -d for d.
0
Let i(o) = o**2 - 3*o - 1. Let f be i(5). Suppose -5*s + 4 = 3*m, 3*m - f = 4*s + 4. Suppose t - 7 = -m*g, -5*t = -5*g - 6*t + 13. Solve w = -2*w + g for w.
1
Let l = -69 + 73. Solve l*k = 9*k - 20 for k.
4
Let n be 166/14 + 6/42. Let l = -2 + n. Solve 3*d + l = 4 for d.
-2
Let g(z) = -3*z - 21. Let c be g(-8). Solve c*u = 5*u for u.
0
Let u be (-2)/10 + (-1)/(-5). Solve -m - m = u for m.
0
Suppose 5*t - 10 = -2*z, t - 7*z - 29 = -2*z. Suppose -p = -t*p + 15, p = 5*n. Solve -7 = 4*h + n for h.
-2
Suppose g - 4 = q - 0*q, 38 = 2*g + 4*q. Let f = 22 - g. Let b = f + -8. Solve -b*y + y = -12 for y.
3
Suppose 0 = -5*a - 2*w + 71, 12 + 4 = a + w. Solve -a*u - 6 =