 + 8 - 3 for m.
-5
Suppose -32*p = 7*p - 156. Solve 4*k + 5*h = -29, 0 = 2*k - p*h - 3 - 15 for k.
-1
Let n be ((-52)/(-65))/((-2)/(-10)). Let p = -6 + 10. Suppose 3*k + 5*j = 6*j + 7, 2*k - 8 = -j. Solve -n*y - 16 = 2*i + 2, -k*i + p*y = -13 for i.
-1
Suppose m - 5*n = -22, -2*m + 3*n = -m + 12. Suppose g - m*d + 10 = 0, 2*g + d - 20 = -g. Solve -4*r - 16 = k, 5*k = g*r + 13 + 32 for k.
4
Suppose 3*f + 4 = 5*f. Suppose -3*g - 46 = 6*v - 2*v, 12 = -v - g. Let n = v + 10. Solve -2*a + 11 = -n*h - h, f*h = 2*a - 12 for a.
5
Let h(t) = -3*t**2 + 7*t**2 + t - 2*t**2 + 3. Let a(q) = -q + 2. Let o be a(-1). Let v be h(o). Solve 8 = -2*d + i + 1, -5*i + v = d for d.
-1
Let z(w) = 11*w**2 + 3*w - 8. Let y(s) = -5*s**2 - s + 4. Let c(q) = 9*y(q) + 4*z(q). Let g be c(0). Solve -g*h = 5*o - 8, 5*h = -2*o + 4*h + 2 for o.
0
Suppose 16*l - 104 = 3*l. Suppose -5*q - 12 = -3*g, -3*g + q = 2*q - 12. Solve c = 3*s - g, -8 = 4*c + 3*s + l for c.
-4
Let a be 1 - -1 - (2 + (-30)/5). Solve 2*v + t + 6 = 0, 2*t - 3*t = -4*v - a for v.
-2
Suppose -2*j - 4*h = 4, 14 = -j - 4*h + 2. Let l be j/44 + 75/11. Solve 2*q - q = 4*i - 18, i = -q + l for q.
2
Let f be 5/10*6 - 0. Let w be (0/2 - (-1)/f)*9. Suppose 0 = 5*x - 4*u - 20, -3*x - 4*u = x - 16. Solve 5*v + 4 = t, w*v = t + x*t - 20 for t.
4
Let p(h) = h + h**3 - h - 9*h**2 + 0*h + 5. Let g be p(9). Suppose 10*n - g*n - 45 = -2*t, -4*n + 70 = 5*t. Solve 0 = -q - 3*j - t, 4 = -j + 1 for q.
-1
Let t(v) = -v - 4. Let z be 26/(-3) - ((-21)/(-3))/21. Let d be t(z). Solve s - 4*y = -s + 4, s + d*y - 2 = 0 for s.
2
Suppose -4*c + 4*r - 28 = -8*c, 2*c + r - 9 = 0. Solve -g + 5*q = g + 24, 16 = -4*g + c*q for g.
-2
Let w be (-2)/(1 + 40/(-35)). Suppose 13*b - 6 = w*b. Let a be 2 - b/((-3)/(-1)). Solve -3*s = -a*p + 14, -5*p + 10 = -p - s for p.
2
Suppose -t = 10 + 13. Let v = 28 + t. Solve q = -v*x + 20, 0*q + 4*q - 16 = -4*x for q.
0
Suppose 35*o - 124 = 4*o. Let l = -67 - -96. Solve -4*h + 0 + 37 = -5*n, -o*n + 3*h = l for n.
-5
Let k(q) = -26*q - 127. Let n be k(-5). Solve -n*t + 19 = -3*a - 11, -t = -4*a - 25 for a.
-5
Let m(k) = k**2 - 15*k + 56. Let y be m(6). Solve 0 = 3*x - 4*i - y + 8, -4*i + 8 = -2*x for x.
2
Suppose 10 = -2*k, 0 = -2*d + k + 2*k + 23. Suppose 6 - 38 = -d*b. Solve 2*x + 2*a + 6 = 0, -3*a + 6*a + b = -4*x for x.
1
Suppose -6*t = -3*x - 2*t - 5, -2*x + 3*t = 5. Solve -w + 0*w = -3*h - 14, x = w for h.
-3
Let r(d) = d**3 + 20*d**2 + 49*d - 17. Let w be r(-17). Solve 5*k + n - w = -2, -n + 5 = 0 for k.
2
Suppose 0 = -30*m + 39*m - 90. Solve -y - 2*h + m = 3*y, -2*h = 3*y - 9 for y.
1
Let h(a) = 15*a - 12. Let n be h(1). Solve -1 = n*u - 5*c - 14, c = -3*u - 17 for u.
-4
Let v be (5 + -1)*(1 - 0). Let t(z) = -4*z**2 - z - 1. Let h be t(-1). Let a = 6 + h. Solve -a*p - p - v*b = 12, 4*p = -b - 3 for p.
0
Let p(x) = -x**3 + 18*x**2 - 20*x + 55. Suppose -3*l = g - 7 - 4, -g + 15 = l. Let v be p(g). Solve -2*u = 2*b - 3*b - 5, -4*u = -v*b for b.
5
Suppose -11 = v + 14. Let w be ((-30)/v)/(6/20). Solve -w*c - 11 = -5*j + 5, -j = c - 5 for j.
4
Let k(j) = -7*j - 8. Let d be k(9). Let o = d - -115. Let g = -23 + o. Solve -4*m - 4*p + p = -g, 5*p - 18 = -m for m.
3
Let c = 100 - 45. Let a = c - 52. Solve 0 = 3*p - a*f - 15, -3*f = -f for p.
5
Let x(v) = v**2 - 8*v - 82. Let d be x(-6). Solve -4*i - 2*b = 0, -2*i - 3*i - 2*b = d for i.
-2
Let l(a) = -2*a + 26. Let w be l(-6). Let t = -34 + w. Solve 2*d = 3*k - 19, -2*k = -5*d - t*k - 19 for d.
-5
Let j be 16/(-2)*(-85)/68. Let k = j + -6. Solve -x - 4*x - 1 = k*l, -1 = 2*l + 3*x for l.
1
Let c = 1426 - 1423. Solve -s = -2*s, -c*s = -5*m + 25 for m.
5
Let q = -678 - -680. Solve 0 = 5*j + 4*z + q, -2*j + 2*z = 5*z - 2 for j.
-2
Suppose -2*i - 2*i - 4 = 0, 0 = -4*t + 3*i + 39. Let m be (60/t)/5*3. Suppose -m*a + 2 = -6. Solve z - 11 = 2*z + 4*f, 2*z - a*f = 18 for z.
5
Let m be (-1)/(-3) + 420/90. Solve 0 = -4*t + m*v + 9, 8*t = 3*t + 4*v for t.
-4
Suppose 0*j + 6 = 2*j. Suppose -4*n + j + 5 = 0. Let s = -76 - -77. Solve -y - 5*p = -2, 7 = -2*y + n*p - s for y.
-3
Suppose 4*d - 35 = -3*d. Suppose -d*c = 0, a - 4 = -a - c. Solve -22 = 2*n + 4*i, 0 = -n + 2*i + a*i + 19 for n.
-1
Suppose -x + 3*x = -3*d - 10, -10 = x + 4*d. Let a be (x/4)/(((-25)/40)/5). Suppose -3*j + j + 4 = 0. Solve -5*w = j*o + 13 + a, o - 14 = 2*w for w.
-5
Let f(v) = -v**2 + 4*v + 40. Let d be f(8). Solve -w - d = -3*w - 2*k, 0 = -3*w - k + 6 for w.
1
Let q(k) = -k**3 + 23*k**2 + 2*k - 30. Let n be q(23). Solve 2*o - n = 3*i + 6, 2*o = -3*i - 2 for i.
-4
Suppose -2*u + 67 = -3*u. Let w = u + 92. Solve 0 = -5*c + m - w, 0*c = -3*c - m - 7 for c.
-4
Let l = 542 + -531. Solve -l = 4*w - 9*w - x, 0 = 4*w - x - 7 for w.
2
Suppose 4*s = -0*s + 5*a + 84, 4*s = a + 100. Solve -5*u + 4*b - s = 0, -7*u - b - 2 = -4*u for u.
-2
Suppose 2*h + 5*q = 5, 5*q - 11 + 6 = -h. Solve -d - 3 = 3*a, 2*a = 3*d - h - 2 for d.
0
Let t be (1/2)/(1/2). Suppose -4 - t = -m. Let i be ((-90)/(-81))/((-12)/(-54)). Solve 0 = -i*q - 5*n + 15, 5*n - 5 + 20 = m*q for q.
3
Let i(x) = x**3 - 14*x**2 + 14*x - 7. Let g = -48 + 61. Let f be i(g). Solve -f*k + 3*k + 20 = -5*u, -k + 12 = -3*u for u.
-4
Let d(v) = v + 7. Suppose -4*k = 3*g + 182, 6*k - k + 295 = -5*g. Let b be (g/(-45))/((-4)/10). Let t be d(b). Solve -2*p + a + 7 = 0, 4*a - a + 15 = t*p for p.
3
Let r(v) = v**3 - 2*v**2 + 4. Let h be r(2). Solve 0 = h*n - c - 22, n + 4*c - 2 = -5 for n.
5
Let z be 20/(-6) - (-16)/(-24). Let p be (11/z)/(18/(-72)). Solve -j + p = -2*k - k, j = -4*k - 3 for j.
5
Let p be (-1)/(-3) - 4/(-6). Let d = -110 + 113. Let v be -1 + p/(d/3). Solve 2*b = b - 3*i + 14, v = -b + i + 2 for b.
5
Suppose w = 5, 0 = 4*r - 2*w + 4*w - 18. Solve 5*x + 2*h = 30, 4 + r = 4*x - 2*h for x.
4
Let f = -22 - -23. Suppose -j + d = -11 - 5, -f = -j - 4*d. Suppose 5*a = 2 + j. Solve 4*r = -5*k - 12, 4*r - 3*r = -3*k - a for r.
-3
Suppose -2*r + 5 = 5*v - 3*r, 2*v = 3*r - 11. Suppose 4*q - 18 = -v*q. Solve -q = -3*j - 6, 2*j = 5*p - 17 for p.
3
Let i be 5 + (-2)/1 - (16 - 15). Suppose 2*s = 4*m - 11 + 3, 4*s = 2*m - 22. Let w = s - -11. Solve -r + b = 2, -w*r + i = -4*b + 3*b for r.
1
Let z be (-12 + 10 + (-7)/(-3))*0. Solve -2*f = 3 - 1, -5*d - 4*f - 29 = z for d.
-5
Let x(m) = 9*m**2 + 13*m + 11. Let h be x(-1). Solve 0 = -5*i - b - h, -3*b + 10 = -2*i - b for i.
-2
Let l be 17 + -3 + 0/3. Solve -f - 3 = -2*k, -3*f + l + 7 = 4*k for k.
3
Suppose -3*b = 4*q - 15, q + 0*q - 9 = b. Let f be q/(-12)*(1 - 1). Let i = 11 - 8. Solve -i*w + 9 = 3*h, 4*w = -h - f*w for h.
4
Let g be 10/4 + (-1)/2. Solve -3*m + g*k - 36 + 15 = 0, 0 = 4*m + 5*k + 5 for m.
-5
Let m(f) be the first derivative of -f**3/3 + 3*f**2 + 2*f - 2. Let n be m(6). Suppose 0 = -n*x + 3*x - 2. Solve -o + u + 2 = 0, -3*u = -x*o - 0 + 2 for o.
4
Let u(p) = -p**2 + p + 1. Let f be u(0). Let r be 10*((-1)/2 + f). Let y = -51634 + 51637. Solve r = -4*q - z + 4, -2*q - y*z = 13 for q.
1
Let o(z) = -10*z**2 - 3*z + 17. Let c be o(4). Let g = c + 162. Solve 0 = 2*p + 4*k + 14, -2*p - 2*k - g = 3 for p.
-3
Let i be (-1)/(4/6 + -1). Suppose w = -0*f - f + 6, i*f + 5*w - 26 = 0. Let o be 1 + (-1 - 2)/(-1). Solve 2*h + 2*q - o = 0, -f*q - 5 - 11 = -3*h for h.
4
Suppose -4*s = -20 - 12. Suppose d = -d - s. Let l be (8 + -6)*(-10)/d. Solve 3*v = 2*u - 5 - 10, 0 = -l*v - 2*u - 9 for v.
-3
Let l be (2 - 3 - 3)/(-1). Let m be 2*(42/l)/7. Let o = -3 + 5. Solve -31 = -m*q - 5*y, -2*q + 7*q + o*y = 20 for q.
2
Let f(x) be the first derivative of 1/2*x**2 + 7*x - 8. Let q be f(-5). Solve -5 = -3*u - q*u, t + 7 = 5*u for t.
-2
Suppose -2*f - 19*f = -294. Solve 4*n - f = -3*k, -6*n + 4*n = -4 for k.
2
Suppose 9*z = -32*z + 15*z. Solve -3*x + z*x = -3*o + 12, 4*x = -4*o - 24 for o.
-1
Suppose 8 = 4*d - 2*y, -5*y = d - 4 + 2. Let a be (-3)/d + 45/10. Let w be 15/(-2)*(-2)/a. Solve 0 = -10*v + 5*v + 3*s + 11, 2*v - 12 = w*s for v.
1
Let h = 1 - 1. Suppose 12 = p - 5*a - 13, h = -4*p - 5*a. Suppose 0*l = -3*s - 5*l - 10, -2*s + l = -15. Solve -m + 3 = -s*v, 4*v - 7 - p = -4*m for v.
0
Let p(n) = -n**2 + 1. Let x(k) = 8*k**2 - 2*k - 3. Let s(v) = 4*p(v) + x(v). Let u be s(1). Solve -u*d = f - 11, -2*f - 8 - 10 = -4*d for d.
4
Let s(m) = m**2 - 6*m + 7. Let b be s(5). Let u(k) = 0*k**b - k + 2*k**2 + k**2. Let q be u(-2). Solve 3*