 for m.
-2
Let l(j) = -j**2 + 7*j + 3. Let p(f) = -f**3 - 10*f**2 - 2*f - 15. Let a be p(-10). Let h be l(a). Solve -q - h - 1 = -2*c, c - 3*q - 17 = 0 for c.
5
Suppose -3*q - 52 = -64. Let s = 7 - q. Solve 0 = -4*i + 4*h + 9 + 3, 2*h - 4 = -s*i for i.
2
Suppose -a + 1 = -0*a. Let h(r) = r + 3 + 3 + 1 - a. Let g be h(12). Solve 3*k - g = 3*x, 2*k - 16 = -k + x for k.
5
Suppose -6*g = 6 - 12. Suppose -5*c + u + g = -6*c, 3*u + 21 = 3*c. Solve -5*k + 5*h + 50 = 0, 2*k - c*h - 40 = -3*k for k.
5
Suppose 0 = -23*a + 8*a + 90. Suppose 0 = -u + a - 1. Solve -5*v - 7 = 3*x + x, 2*x + 11 = u*v for x.
-3
Let r = -33 + 35. Let u be (6/(-12))/(1/(-4)). Solve 0 = 2*c + 4*f + u, 2*f = r*c - f + 2 for c.
-1
Suppose p + 2 = z, -2*p + 7 = 2*z + 3. Solve 3*w + 3*c + 9 = 0, -w + 4*c = z*c for w.
-2
Let l be (-1)/3 - (140/3)/(-5). Let r be 2/18*151 - (-2)/l. Solve -3*t = -5*k - t + 1, -r = 5*k + 4*t for k.
-1
Let b be (2 + (-6)/2)*-1. Let d be (b/3)/((-1)/(-15)). Suppose 29 = -d*z + 164. Solve 2*j + 0*p - 24 = 4*p, j - 5*p = z for j.
2
Suppose -17 + 22 = -5*u. Let i be (u/3)/(5 - (-1384)/(-276)). Solve -v + 4*r + 3 = 2*r, -4*v = 3*r - i for v.
5
Suppose 0*z + z + 7*z = 0. Solve 0*v + v = -2*d - 8, z = 4*v + 2*d + 2 for v.
2
Suppose -3*h = -h + 2*v, -3 = 3*h + 4*v. Suppose 10*p - 14*p - 20*p + 96 = 0. Solve 5 = -p*n - f - 2*f, -h*f + 15 = 0 for n.
-5
Let v(k) = k**3 + 34*k**2 + 63*k - 30. Let g be v(-32). Solve -t - 2*f = -10, 2*t = 7*t + g*f - 18 for t.
2
Suppose -c + 4*q + 6 = 0, 3*q - 4 = 7*q. Let v = 49 + -46. Solve -c*x - 5 = -v*a, -4 - 6 = -5*x for a.
3
Let x be ((-9)/6)/((-6)/32). Suppose -4 = -10*v + x*v. Solve -2*r = -3*m - v*m + 23, 4 = 2*r + 4*m for r.
-4
Suppose -2*g = -2*f + 2, -9*g + f = -6*g - 3. Solve -2*d + 14*v + 6 = 10*v, 0 = -d - g*v - 5 for d.
-1
Let h be (-284)/(-16) + 2 + 3/12. Solve 3*g = 8*g + 5*u + 20, 5*g - 5*u - h = 0 for g.
0
Suppose 0 = 9*k - 13*k + 144. Suppose -2*r + 46 - k = 0. Solve -4*l - s = -20, -32 = -r*l + 2*l - 5*s for l.
4
Suppose 4*i = -i + 10. Let h = -2 + i. Let l = -2708 + 2715. Solve h = -k + x - l, -5*x = 2*k - 10 - 11 for k.
-2
Let g(n) = -n**3 - 7*n**2 + 3*n + 24. Let y be g(-7). Suppose 5*f = 2*h, -4*f + 0 = -h - y. Solve 0 = -2*q - w + 13, 5*w + 3 = 4*q - f for q.
5
Suppose -2*l = 4*g, g = -5*l + 43 - 25. Solve -3*o - l*y = 9, 3*o + 10 = -5*y - 2 for o.
1
Let b(o) be the first derivative of -o**4 - 2*o**3/3 - o**2/2 + o - 20. Let j be b(-1). Solve -2*k - 10 = -4*u, 2*k - j*u + 8 = -2*k for k.
1
Let r = 96 - 91. Let d = 15 - 12. Solve 0 = -d*y + 2*i + 5 - 1, r*i = -3*y + 32 for y.
4
Suppose y - k = 4*k - 22, 3*k - 15 = 0. Let u = 309 - 305. Solve -2*w + 4 = -3*a, 0*a + y*a = -u*w + 26 for a.
2
Let z(v) = v**3 + 40*v**2 - 82*v + 84. Let m be z(-42). Let y be 3/(2 + 1) + 1. Solve 0*d = -d + 2*x + 5, -y*d + x + 7 = m for d.
3
Let w = 354 - 352. Solve 0 = 4*k, 2*n = 3*n - w*k for n.
0
Suppose -7*t - 3*u + 350 = -3*t, 0 = 3*t - 5*u - 248. Let f = t - 86. Solve f = 2*y + 2*n + 12, 0 = 5*y + 4*n + 15 + 13 for y.
-4
Let h(d) = d**3 + 6*d**2 - 8*d - 7. Let l be h(-7). Suppose -2*z - 2*s - 6 = l, 2*s = 5*z + 5*s + 7. Solve 2 = -2*v - 3*p - 1, 4*v + p + z = 0 for v.
0
Suppose -2*s = -5*s, 44 = 2*u - 2*s. Suppose 0 = -c + 2*c - u. Let o be 2/(2/5)*1. Solve o*t - c = 3*n - 7, -20 = 4*n + t for n.
-5
Let h be (4 + (3 - 13))*(-2)/6. Let y be 184/20 - 2/10. Let w = 9 - y. Solve 3*l + m - 1 = 3*m, h*l + 5*m + 31 = w for l.
-3
Let h(c) = -43*c + 950. Let r be h(22). Solve -z + 0*z + 2 = 4*v, 0 = -2*z + 2*v + r for z.
2
Suppose -3*a - 4*d + 20 = -44, -4*a + 72 = 2*d. Let p = 398 - 376. Solve -p = 5*j + h + 2*h, 4*j + 4*h + a = 0 for j.
-5
Suppose 6*w - 5 = 1. Let f be (4/18 + 40/225)*10. Solve -5*i - o - 25 = f*o, 5*o = i - w for i.
-4
Suppose 4 = 2*a + 5*v + 18, -24 = -4*a + 3*v. Solve x - 5*s + 19 = 0, 0*x - 4*x + a*s = 8 for x.
1
Let v(p) = -p - 22. Let f be v(-17). Let k = f + 10. Solve k*j = -2*r + 15, j - 6 = -j for r.
0
Let f = -105 + 113. Solve -5*p + 0*p - 2*h + 6 = 0, 3*p - f = h for p.
2
Let b be (81/(-9) - -16) + -5. Solve 0 = -4*p + 2*j + 16, -4*p - b*j + 6*j = -16 for p.
4
Let o be 27/(-6) - 6/(-4). Let r be (o - -7)/12*6. Suppose 4*h - 14 = -r*p, 0*h - h + 8 = -4*p. Solve 2*b = -n + h + 7, 4*b = n + 13 for b.
4
Let w = -1122 + 1137. Solve -d + 10 = -3*n, 14*d = 2*n + w*d + 5 for n.
-3
Let b be 1*(7 - 13 - -6). Solve b = -5*a - 10, -5*k + 2*k = 4*a + 5 for k.
1
Let k(p) = -p**3 - 8*p**2 - 7*p + 7. Let h be k(-6). Let v = h - -26. Solve -4*t + 9 = t - 3*z, v*t = -2*z - 6 for t.
0
Let s be -82*1/(-20) - 7/70. Solve 3*l = -s*w + 7, 0 = 3*l + 3*w - 0*w - 3 for l.
-3
Let j be (-1010)/(-40) - 3/12. Suppose -j*w = -54*w + 24*w. Let l = 7 + -4. Solve 0 = 4*i - l*p - 2*p - 1, 5*i + 2*p - 26 = w for i.
4
Suppose 2*z + 0 + 8 = 0. Let g be (z/(-1))/(-3 + 2). Let l be (g/12)/(1/(-3)). Solve -2*x + l = m - 3*x, -2*m = 5*x - 2 for m.
1
Let h = 21 + 11. Suppose r + 3 - 11 = -f, 4*r = 5*f + h. Suppose -4*w = -4*s + 12, -3*s - 6 + 3 = 3*w. Solve -r = -2*z + 3*z - a, -2*z - 3*a - s = 0 for z.
-5
Let u = 1653 + -1651. Solve u*d + 2*d - 3*l + 7 = 0, 2*l = 3*d + 6 for d.
-4
Suppose 1 = -4*i + 37. Let d = 13 - i. Suppose -5*a + 4*b = 7, -a + 0*a = -4*b + 11. Solve 20 = 4*y + d*f, a - 2 = -5*y + 3*f for y.
2
Suppose -2*h - 2*h + 16 = 0. Let p(r) = r**2 + 3. Suppose 0 = 3*o - 0*o + 6. Let f be p(o). Solve h*a + a - s = -6, f = -5*a + 2*s for a.
-1
Suppose 20*a - 85*a + 325 = 0. Solve 3*c + 15 = i + 4*i, -4*c - 15 = -a*i for c.
0
Suppose 0 = -5*x + 8 - 43. Let s(g) = -g**2 - 6*g + 11. Let l be s(x). Suppose -8*r + l*r = 0. Solve 11 = -5*n + 4*t - r*t, 2*n + 2 = t for n.
1
Let y be (-1)/3*-50 - (-4)/(-6). Suppose -24*u = -20*u - y. Solve 0*b = u*d + b - 18, -b = -4*d + 22 for d.
5
Suppose -169*o - 171 = -188*o. Solve -4*f - 16 = a, o*f - 5 = 5*a + 4*f for a.
-4
Let i(x) = x**2 - 16*x + 44. Let j be i(13). Suppose j*m + 5*c = 0, -4*m + 3*c = 4*c. Solve w + 2*v = m, 3*v = 2*w - w + 10 for w.
-4
Let d be 49/(-5) - (-6)/(-30). Let f = 2 - d. Suppose -f = 5*n - 32. Solve 5*t + x + 1 = 0, 4*t - t + 4*x + n = 0 for t.
0
Let b be (-210)/(-49) - 4/14. Suppose 7*z = b*z + 6. Solve z*u + 17 = 3*p, -4 = 3*u - 2*u for p.
3
Suppose 9*i + 54 = 12*i. Suppose 4*z + 5*m = i + 4, 0 = 4*z + 2*m - 16. Solve -5*b - 15 = -2*h, 6 = -b + z*h + 16 for b.
-5
Let a = -153 + 156. Solve 2*i = 3*t + 22, 5*i - a*i = -5*t - 10 for i.
5
Let j be 12 - (0 - (-16 - -8)). Solve -5*v - j + 21 = 2*m, 2*m + 8 = 0 for v.
5
Let s(v) = -v**3 - 7*v**2 + 6*v - 13. Let c be s(-8). Solve c*w = 3*o - 5 - 1, 2*w - 2 = 5*o for w.
-4
Let d be (-12)/8*(-100)/6. Suppose 4*s - d = -s. Solve 5 = 5*p - s*c, -6*p - 4*c = -2*p - 36 for p.
5
Let k(i) = -17*i - 2. Let x be k(-1). Let j = 99 - 96. Solve j*g + x = -2*g, 4*y + g = -19 for y.
-4
Let f be (-9 + 10)*(-1)/1. Let t be -3 - (-4 - -27)*f. Solve 0 = -5*m + t, -2*m + 24 = y - 5*y for y.
-4
Suppose 337 - 301 = 6*b. Solve -c = -i - b, -2*i + 3*i = -5*c + 12 for i.
-3
Let t be (0 - (-19)/((-19)/(-6))) + -3. Solve 0 = 3*j - 3, t*r - 7*r + 4*j - 12 = 0 for r.
-2
Suppose 1 - 3 = -2*d. Let q(r) = -r - 1 + 2 + 86*r**3 - 80*r**3. Let i be q(d). Solve 0 = -c - 2*s - 9, s - i*s = 15 for c.
-3
Let a(b) = b**2 + 14*b - 8. Let k be a(-15). Solve -h - 4 = 2*x, h + 3*x - k*x = 20 for h.
4
Let k(r) = 5*r**2 - 14*r. Let c be k(3). Solve 3 = 4*b - c*h, -2 + 20 = 4*b + 2*h for b.
3
Let r be ((-5)/2 - -3)*6. Solve f = -4*p + 4, 0 = f - 2*p + r*p - 4 for f.
4
Let g = 22 + -22. Suppose g = 2*y + 3*t + 6, 6 = -3*t. Solve -6 = -2*x + v - y*v, v + 16 = 4*x for x.
5
Suppose -3*d + 70 = 2*d. Let w = 18 - d. Suppose 0 = -f - 5*g - 2, 3 - 5 = 2*g. Solve w*t - f*i = t - 18, -8 = -2*t - 2*i for t.
-1
Let q be 2 + -2 + 0 + 2. Solve q*o + 4*i - 9 = -o, -11 = -o - 4*i for o.
-1
Let k be 2/(-4) - (-9)/2. Let r = -193 - -128. Let n be (r/(-39))/(2/18). Solve 5*h = 4*t + n, -k*h + 2*t - 9 + 21 = 0 for h.
3
Let s(a) = 16*a + 92. Let t be s(-5). Solve t = 5*b + k, -k = -b - 0*k + 6 for b.
3
Let c = 20 - 17. Suppose 0 = -d - 4*g + g + 9, 0 = -2*d - 3*g + 12. Solve -h - d = 2*j, j + 3*h + c = -3*j for j.
-3
Let r be (-120)/(-27) + (-60)/135. Solve 3*d - p = -0*p - 5, -r*p = d + 19 for d.
-3
Let w(g) = -g**3 + 5*g**2 + 6*g + 6. Let z be w(6). Let p = 219 + -169. Let i = p + -47. Solve z 