for m.
2
Let l(x) = -4*x**2 - 46*x + 37. Let r be l(-11). Solve 0 = r*j - 58*j + 4 for j.
-4
Let a(p) = -p**3 + 13*p**2 - 24*p + 22. Let w be a(11). Solve 2*k = -8 - w for k.
-4
Let o be 20/3*690/184. Solve o = -2*w + 7*w for w.
5
Let r be 4/10 - (5 + (-138)/30). Solve r = 28*f - 27*f - 1 for f.
1
Let t(c) = -3*c**2 + 12*c + 2. Let u be t(4). Let a be ((-32)/16)/(u/(-8)). Solve -2*z + 0*z + a = 0 for z.
4
Let w(f) = -5*f**2 - 26*f - 6. Let a be w(-5). Let k be 13/4 - (a - 20/(-16)). Solve 1 - 4 = k*t for t.
-1
Suppose -6*u = -4*u + 19*u. Solve 3*h + 15 - 30 = u for h.
5
Let m be (19/(-8))/((-4)/32). Solve -9 = m*n - 22*n for n.
3
Suppose 0 = 60*s + 70*s - 113*s. Solve s = 10*b - 26 + 6 for b.
2
Let c(p) = p**3 - p**2 - p. Let u be c(0). Suppose u = -8*t + 9*t. Suppose t = -0*i + 5*i. Solve -z = -i*z - 3 for z.
3
Let b = 301 + -211. Suppose -6 + b = 12*a. Solve a = 4*i - 1 for i.
2
Let o be 90 + 10 + (-5)/(5/(-2)). Let l = 102 - o. Solve l = 2*y - 8 - 2 for y.
5
Suppose -4*h + 52 = -36. Let g be (-8 - -10)/(2/10). Suppose -4*o + g = -c - o, c - h = -5*o. Solve 12 = c*s + s for s.
4
Suppose -3717 = -33*m + 1464. Solve m*l + 3 = 160*l for l.
1
Let v be (6 - 5)/((-1)/(-2)). Suppose -6*m + m - g + 30 = 0, -2*m - v*g + 20 = 0. Suppose 0 = 4*n + z - 4, 6*n - 2*n + m*z - 4 = 0. Solve n = 2*o - 5 for o.
3
Let t(j) = -2*j**2 - 19*j + 27. Let h be t(-10). Solve 6*c = 1 + h for c.
3
Let i be ((-40)/5 + 3)/(-1). Suppose i*k + 5*g = 0, -7*k + g + 6 = -2*k. Solve -2 = n - k for n.
-1
Suppose 2528 = -36*d + 28*d. Let s = 324 + d. Let t be (-2)/(-5) - 26/(-10). Solve 0 = t*a - s - 4 for a.
4
Suppose -2*u = -f - 17, 3*f = -2*u - 14 + 19. Solve -u*j = 52 - 31 for j.
-3
Let i = -8 - -10. Let x be (2 - 22/13)*884/136. Solve -i*a - x = -3*a for a.
2
Suppose -4*r + 795 = 303. Suppose 0*l + w - r = -5*l, 3*w = -6. Solve l = 3*y + 10 for y.
5
Suppose 0 = 2*v + 4, 5*w + 2*v = 8*w - 85. Solve 3*q + 12 - w = 0 for q.
5
Suppose 0 = -o - 14 + 12, 3*w - o - 17 = 0. Let y be 153/21 - 2/7. Solve -y = 3*q + w for q.
-4
Suppose 64*s + 18 = 67*s. Solve -2*r - s = -2 for r.
-2
Let h(g) = -2*g - 16. Let q be h(-10). Let i be 1 - (q/(-6))/((-8)/(-12)). Solve -i*b - 2 = -4*b for b.
1
Suppose -4*n - 2*j = 2, 0*j + 25 = -5*j. Solve 0 = -n*q - q + 12 for q.
4
Suppose 0 = -224*o + 225*o - 3. Solve -o = 8*w - 9*w for w.
3
Suppose -5*f = -25, p = -3*f + 39 + 39. Solve p = -j + 65 for j.
2
Let h be (-47)/(-2) - (-7)/14. Suppose 0 = h*b - 25*b - 6. Let y = -3 - b. Solve -y*p + 15 = 2*p for p.
3
Let m be 5 - 1 - (-1)/1. Suppose -m = 2*o - 3*o. Let i be ((-2)/(-3))/((-2)/(-6)). Solve 0 = i*h - 1 - o for h.
3
Let h = 154 + -152. Solve 0 = -h*k + 5 + 3 for k.
4
Let a = 33 - 19. Let j = -427 + 415. Let w = j + a. Solve -w*k + 5 = 3*k for k.
1
Let l = 11 - 9. Suppose -h = 5 - 2. Let f be 0*(h + 2) + l. Solve f*z = -z for z.
0
Let b be (4 - -7) + -1*2. Let g(y) = -y + 11. Let d be g(b). Suppose d*f - 8 = 2*n - f, -3*n = -f - 2. Solve 4*x = -6 - n for x.
-2
Let l be (0 - -12)/(39/26). Let w(s) = s**2 - 8*s + 5. Let z be w(l). Suppose a - z = -d, 5*a - 12 = -d + 5. Solve 8 = -d*y - 2*y for y.
-2
Suppose 0 = -2*z + 1 + 1. Let k be 22/6 + z - 13/(-39). Solve -6*c - k = -c for c.
-1
Let g be ((-2)/30*-5)/((-2)/(-18)). Solve 21*m = 18*m + g for m.
1
Let f = -14 + 11. Let b = f + 5. Suppose t = -0*t + b. Solve -3*w - t = -11 for w.
3
Let o = -29 + 14. Suppose 5*f - f = 4*b - 64, -16 = -b - 3*f. Let s = b + o. Solve s - 2 = w for w.
-1
Let z = -404 + 427. Solve 0 = -3*m - 38 + z for m.
-5
Suppose 0 = -1892*t + 1882*t + 90. Solve -t = 9*q - 6*q for q.
-3
Let a = -114 + 124. Solve 2*v = -14 + a for v.
-2
Let f(m) = m**3 - 15*m**2 + 28*m + 120. Let w be f(12). Solve 0 = -w*s - 0*s for s.
0
Suppose -11 = -3*o + 5*b, 3*o = -0*b - 4*b + 2. Solve 20 = o*w + 3*w for w.
4
Let f = 38 + -42. Let u be (f/(-12))/(2/30). Solve y + 2 - u = 0 for y.
3
Let i(q) = -2*q**3 - 35*q**2 - 17*q + 1. Let g be i(-17). Suppose 13*j - g - 51 = 0. Solve 3*n - 2 - j = 0 for n.
2
Let n(l) = l**2 + l - 8. Let x be n(-4). Let k be (-2 - 1*-2) + x + 1. Solve k - 4 = s for s.
1
Suppose 0 = o + 1 - 16. Solve 0 = -15*n + 10*n - o for n.
-3
Let o(w) = 2*w**3 + 85*w**2 - 45*w - 82. Let u be o(-43). Solve -u = 26*g - 27*g for g.
4
Let j(w) = 0*w - 7 - 9*w + 4*w. Let q be j(-2). Solve -9 = q*n + 6 for n.
-5
Let i be (-21 - -20) + (-2 - -5). Solve 0*h + 8 = -i*h for h.
-4
Let u be 37/13 - 6/(-39). Suppose 2*p + u*p = 10. Solve 2 + 2 = p*j for j.
2
Suppose 167 = -4*t + 3. Let r = -41 - t. Solve z + r*z - 2 = 0 for z.
2
Let w = -179 - -179. Solve 3*z - 6 + 9 = w for z.
-1
Suppose m - 12 = -3*u, 2*m - 2*u = -7*u + 22. Solve 26 = -8*r - m for r.
-4
Suppose -19 = -3*k - 4. Let m = 23 + -23. Solve 4*p - k*p = m for p.
0
Let h(x) be the first derivative of x**4/4 + x**3 + x**2/2 + 2*x + 20. Let k be h(-2). Solve 0*z + 20 = k*z for z.
5
Let r = 619 + -612. Solve 12*h = r*h + 20 for h.
4
Let l be 19 + 9*(-18)/27. Solve l*z + 6 = 11*z for z.
-3
Let q(i) = -i**3 + 3*i**2 - 4*i + 9. Let v be q(2). Solve -v = -5*h - 0 for h.
1
Let d = 58 + -22. Let r = d - 34. Solve -x + r = -0 for x.
2
Suppose -2*a - 2*a - 8 = 2*m, 3*m + 12 = a. Let c = 11 - 9. Suppose -5 = f - c*s, 0 = -4*f - f - 4*s + 45. Solve a = -d - 1 + f for d.
4
Let b(y) = -5*y**3 + 2*y**2 + y + 2. Let h be b(-2). Let a = h + -47. Solve -s - a = -0 for s.
-1
Suppose 70*f - 10 = 65*f. Solve -w - 3 = f*w for w.
-1
Suppose -4*n + 15 = -1. Suppose 5*i - 21 = -3*v + 5, 0 = -2*i + 2*v + n. Solve -5*o = -i*o + 3 for o.
-3
Suppose -22*u = 53 - 405. Solve -u = -12*x + 20*x for x.
-2
Let x = 6 - 4. Let b be (-30)/20*x/(-1). Solve 2 = b*m + 11 for m.
-3
Let a be (((-8)/(-10))/(-2))/(13/65). Let c(r) = 2*r**2 + 5*r + 5. Let q be c(a). Solve -8 = q*x + 4 for x.
-4
Suppose 0*u + 16 = 8*u. Solve -m - u + 1 = 0 for m.
-1
Let r(y) = 2*y**2 + 13*y + 20. Let p be r(-6). Solve 0 = 22*s - p*s for s.
0
Let b be 0*(-2)/(-4) + 0 + 3. Suppose b*p + 3*l = 72, -4*p - p + l = -96. Solve 4*k + p = -k for k.
-4
Suppose 0 = -3*c - 3*f + 15, -3*f + 4 = -f. Let k(h) = -33*h + 5*h**2 - 4*h**2 - 5 + 37*h. Let b be k(-7). Solve -c*v = b - 4 for v.
-4
Let j(i) = 4*i**2 + 3*i - 2. Let p(l) = l**2 - 8*l - 7. Let m be p(9). Let h be j(m). Solve n - 5*n - h = 0 for n.
-5
Let k = -372 - -424. Solve -55*v + k*v = -9 for v.
3
Let k be 4 + (-42)/7 + 34. Solve -l - k = -31 for l.
-1
Let h be (-5 + 0)*(3 - (-182)/(-10)). Solve h*x = 73*x - 6 for x.
-2
Let m be 8/(-36) + (1 - (-1464)/27). Let z = m - 49. Solve -2*a - z = -0*a for a.
-3
Let a(d) be the first derivative of d**4/4 + 7*d**3/3 + 7*d**2/2 + 6*d + 3. Let v be a(-6). Suppose -1 = -z - v. Solve n = 2*n + z for n.
-1
Let w be (31 + -31)*(-3)/(-12). Solve w = -29*p + p + 112 for p.
4
Let w = 577 + -567. Solve -2*v + 0*v - w = 0 for v.
-5
Let a be 527/187 + 2/11. Let s be (a/(-9))/(7/(-189)). Solve -3*o + 0*o = s for o.
-3
Let p(k) = -11*k - 3. Let w be p(2). Let v = -25 - w. Solve 0 = -v*b - b for b.
0
Let u = -858 - -864. Solve 30*m - 33*m = u for m.
-2
Suppose 2*a - 5 = -1. Suppose a*b + 0*b = 5*o, o + 23 = 5*b. Solve o = f + 5 for f.
-3
Let a = -108 - -109. Let v = -6 + 27. Suppose 5*o - 66 = -v. Solve o = 4*d + a for d.
2
Suppose x + 15*i = 12*i + 37, 0 = x + 4*i - 41. Solve 0 = 8*s - x - 7 for s.
4
Let j be (-54)/(-10) - (-4)/(-10). Let u(z) = -z**3 - 13*z**2 - 31*z - 7. Let y be u(-10). Solve j*k + y = 28 for k.
5
Let l(w) = 9*w - 5*w + 2 - 5*w. Let b be l(0). Solve -b*n = -n - 4 for n.
4
Suppose -2 = 5*r + 4*l - 29, 4*r - 21 = -3*l. Suppose c = -r*c. Suppose c - 12 = -3*j. Solve 6 = -2*n + j*n for n.
3
Let d = 3 + -3. Let z = 52 + -51. Solve d*u - u = z for u.
-1
Suppose 9 - 45 = -3*a. Solve a = 5*u + 2 for u.
2
Let k be 1*(-3 - (-14)/2). Solve 0 = 4*c - 2*c + k*c for c.
0
Suppose 0 = 2*x - 8, -x - 460 = -8*i + 4*i. Solve 109*u = i*u - 35 for u.
5
Let p(b) = 2*b - 2. Let h = -11 - -27. Let n = 22 - h. Let c be p(n). Solve 4*t + 10 + c = 0 for t.
-5
Let l(w) = -2*w + 256. Let c be l(83). Solve c = -b - 17*b for b.
-5
Suppose 3*z + 23 = -121. Let s be 12/z + 82/8. Solve -b = -6*b - s for b.
-2
Let i = 312 - 294. Solve -i = 5*b + 2 for b.
-4
Suppose -5*p + 13 = 2*v - 6*p, v = -5*p - 21. Solve 3*g - v + 16 = 0 for g.
-4
Let c be ((-6)/(-12))/(1/(-48)). Let p = c - -47. Let f be (-20)