for m.
1
Suppose -21 = -g + 2*v, 4*g - 55 = g + 2*v. Let f(m) = m**2 - 15*m - 32. Let p be f(g). Let n be 2 + 2 + -6 + p. Solve -4*a - 1 - 11 = n for a.
-3
Suppose -4*c - 2 = x + 5, 0 = c + 2*x. Let p(w) = -w**3 + 3*w + 1. Let h be p(c). Let k be 3/h*(4 + -2). Solve -k*y = -7*y for y.
0
Let b be 14 - 2/(-1 + -1). Suppose 0 = -393*l + 352*l + 287. Solve 0 = -l*h + 2*h - b for h.
-3
Suppose -2*g - g + i = -11, -2*i + 11 = 5*g. Suppose -g*r = 2*r. Let a be 4*36/16*(0 + 1). Solve r*z - a = 3*z for z.
-3
Let h = -189 - -190. Solve 2*v - h = -3 for v.
-1
Let w(p) be the second derivative of -1/6*p**3 + 5*p**2 + 0 - 5*p. Let i be w(7). Solve -6*n + i = -3*n for n.
1
Suppose 27*s = 21 + 33. Solve s*i - 3*i + 5 = 0 for i.
5
Suppose 7*q = 3*q - 16, 0 = -5*x + 2*q + 563. Solve -x*v = -115*v - 8 for v.
-2
Suppose -558 = 5*o + 2*q, 0 = 5*o - 3*o + 2*q + 222. Let r = -109 - o. Solve -r = u - 1 for u.
-2
Let t be (-12)/(-3)*(-1)/(-2) - -1. Solve 4*i + 4 = t*i for i.
-4
Let a(z) = 2*z**2 - 2*z + 3. Let m be a(1). Suppose -w = 2*w - 24. Suppose 5*j + w = 2*v, 1 + 3 = 5*j + v. Solve j = c + m for c.
-3
Let c(j) = 2*j**3 - 3*j**2 - j - 2. Let q be c(3). Let x be (-42)/231 + 158/q. Solve -3*p = -x*p + 4 for p.
1
Let o be 14 - (-2 - (4 - 11)). Solve -4*t = -3 - o for t.
3
Suppose 87 = 4*k + 2*j + 27, -4*k + 4*j + 36 = 0. Solve -3*m = k*m + 64 for m.
-4
Let l = 136 + -122. Solve 4 = 5*q + l for q.
-2
Let g be -5 - 3*(-10)/6. Suppose 0 = 3*n + 2*n - 5. Solve -k - n = -g*k for k.
-1
Let k = 43 - 28. Let f be (0 + -2 - 2) + 6. Suppose -12 = -f*i - 0*i. Solve i*t = t - k for t.
-3
Suppose -11*a + 9 = -12*a + 3*o, 3*o - 9 = 0. Solve -9*t + 12*t - 3 = a for t.
1
Suppose 3*m = 4*l + 74, 5*m + 61 = 7*m - 5*l. Solve 4*g - m = -38 for g.
-5
Let g be (-24)/(11 - 5) - -5. Suppose 2*i = t - 2*i - g, i - 1 = 0. Solve -6 = t*p - 16 for p.
2
Let j be ((-3)/((-3)/5))/(-12 - -13). Suppose -2*d = j*l - 8, 3*l - 4*d = -1 - 15. Solve 0*h + h + 3 = l for h.
-3
Let u = -148 + 155. Solve 0 = s - 9 + u for s.
2
Suppose -2*s + 8 = 3*j - 0*s, -8 = 2*j - 2*s. Let x be (0 + 11/(-3) + 4)*3. Solve y - x = -j for y.
1
Suppose -6*a = -10*a. Let h = 951 + -947. Solve h*o + 0 - 8 = a for o.
2
Let m(i) = -i + 6. Let l(o) = 2*o - 7. Let x(z) = -2*l(z) - 3*m(z). Let c be x(-4). Suppose 2*n = 4, 2 = 5*r - 4*n - c. Solve -r*t + 2 = -2 for t.
2
Let z be (2/(-5))/((-5)/(-100)). Let w be (12/2)/((-16)/z). Let u be 0 + w + (-1 - -2). Solve u = 5*a - 6 for a.
2
Suppose 2*p - 59 = -h, 2*p - 52 = p - 5*h. Solve -p*a + 32*a = -5 for a.
-1
Let j(v) = v**3 + 31*v**2 + 28*v - 57. Let y be j(-30). Solve 8*k = y*k + 15 for k.
3
Suppose 5*x + 3*u + 3 = 21, -2*x - u = -8. Solve 0 = -y - x*y + 21 for y.
3
Let t(p) = p**2 + 5*p - 10. Let b(c) = -2*c - 17. Let a = -25 - -20. Let x be b(a). Let v be t(x). Solve -w - v = -2*w for w.
4
Suppose -217 = 3*r - 217. Let u = 3 + -3. Let d be 1/(-1) + 1 + u. Solve d*z + z - 4 = r for z.
4
Let d(k) = 2*k - 6. Let m be d(4). Suppose 3*r - 8*r = -75. Suppose 5*z = -5*b + r, -z + 5 = b + 2*z. Solve b = i - m*i for i.
-2
Let c = 825 - 805. Solve 5*s = -0 + c for s.
4
Let b be (-4 + 4 - 6)*(-16 + 6). Solve -68 + b = -4*i for i.
2
Suppose 0 = -17*u + 15*u. Solve 0*j + 4*j = u for j.
0
Let i be (0/8)/(2/2). Suppose -h + 2 = -i. Suppose 3*f + 5*p = -15, -5*p - 10 = 4*f + 5. Solve n + h*n = f for n.
0
Let w(c) be the third derivative of -c**6/120 + c**5/12 + c**4/24 - c**3/3 - 6*c**2. Let t be w(5). Let z = -22 - -22. Solve t*b - 4 - 5 = z for b.
3
Suppose -3*u + 432 = -9*u. Let r = -68 - u. Solve 0 = -r*o - o - 5 for o.
-1
Suppose -16*g - 6 = -17*g. Let o be (-3)/(-2) + g/12. Let u be (-2 + 1)*(o + -2). Solve 0 = 3*i + 15 - u for i.
-5
Let s = -5 + 7. Suppose 0 = -4*c - 2*t + 4, -6*c = -4*c + s*t + 2. Solve 12 = c*x - 6*x for x.
-4
Let g = 21 + -17. Suppose s = -g, -4*s + 49 = 3*y - 5*s. Suppose y = o + 13. Solve -5*k = -o*k - 15 for k.
5
Let o(u) = -u**2 + 4*u + 6. Let f(t) = t**2 - 5*t + 5. Let k be f(5). Let n be o(k). Solve -5 - n = 3*w for w.
-2
Suppose -11 = -3*a + 4*s + 24, 0 = 3*a + s - 25. Solve -4*c + 25 = -a*c for c.
-5
Let o(q) = -q**3 - 6*q**2 - 3*q - 11. Let m be o(-6). Suppose -m*u - 3 = -8*u. Suppose -r + p - 5*p = 0, p + 15 = r. Solve c = -u*c - r for c.
-3
Let g be (-41)/3 - 18/(-27). Let q = 2 - g. Suppose -5*o + q = -2*o. Solve 0*d = -o*d for d.
0
Let g(l) = -l**2 - 8*l - 9. Let f be g(-6). Let q be 14 + -15 + 0 + 6 - 5. Solve q = f*h - h for h.
0
Suppose 15 = 3*t, -5*m + 35 = -3*m + 5*t. Solve -m*y + 7 = -13 for y.
4
Let f(i) = 9 + 3*i - i + 0*i. Suppose -10 = -5*u - 10. Let a be f(u). Solve -4*t = -1 + a for t.
-2
Suppose 46*r + 4 = 48*r. Solve -16*s + 15*s = r for s.
-2
Suppose d = -2*r + 30, 4*d = 4*r - 22 - 62. Solve -13*a + r*a + 20 = 0 for a.
-5
Suppose 2*v - 2*z = 2*z - 28, 0 = v - 5*z + 17. Suppose a = -2*a - 24. Let c = a - v. Solve 0 = 3*r + c + 8 for r.
-4
Let d(j) = -j**2 - 8*j + 79. Let n be d(-13). Solve -4 = -n*b + 15*b for b.
-4
Let k = -11 + 18. Let c be 0 + -1 + (-6 - -6)/(-5). Let z(d) = 9*d**2 + 3*d + 2. Let r be z(c). Solve k = 5*l - r for l.
3
Let p = 57 - 40. Let t(i) = -i**2 - 18*i - 72. Let x be t(-10). Solve -5*z = -x - p for z.
5
Let p be 0/((-6)/14 + (-1755)/(-273)). Solve p*v - 3*v = 15 for v.
-5
Let h = 97 - 96. Solve -4*x + 5*x + h = 0 for x.
-1
Let i = 0 + 38. Solve -i = -4*a - 18 for a.
5
Let k be 22 + -26 + 0 + -1 + 12. Solve k = 10*u + 57 for u.
-5
Let d be ((-11)/(110/(-75)))/(9/12). Solve 19*y + d*y = 87 for y.
3
Suppose 3*z + 24 = -2*n, z = n - 2*n - 13. Let w be ((-2)/4)/(0 - (-1)/62). Let k = n - w. Solve k = -4*r - 0 for r.
-4
Let n be -1 + 1 - (-58 + 33). Solve 0 = -x + 22 - n for x.
-3
Let o(s) = 12*s - 4*s - s**3 + 10 - 8*s + 8*s**2. Let i be o(8). Let u be 2/2 + i + -9. Solve -u*y + 5*y = 0 for y.
0
Let g be (-1)/4 - (55/20)/(-11). Solve 358*j - 361*j - 3 = g for j.
-1
Suppose -8*v - 16 + 48 = 0. Suppose 3*t - v = 2*c, t - 12*c + 11*c = 0. Solve -t*y + 0*y = 0 for y.
0
Let m be (-16 - -16)/(-6 + 2). Solve r - 1 + 5 = m for r.
-4
Let c(u) = -u**2 + 5*u + 4. Suppose 0 = -14*w + 18*w - 20. Let i be c(w). Suppose 5*k - m = 47, 2*k + i*m = 5 + 27. Solve 2*y + 0*y + k = 0 for y.
-5
Let g = 20 - 77. Let u = 59 + g. Solve 1 = u*n - 1 for n.
1
Suppose 5*n - 180 = -5*m, n + 5*m + 25 - 41 = 0. Solve -57*r = -n*r - 16 for r.
1
Let c(x) = 3*x + 7. Let d = -9 - -1. Let k be c(d). Let n = 17 + k. Solve n = r - 5*r - 12 for r.
-3
Let a(h) = 4 - h**3 - 5*h**2 + h - 2*h - 4*h + 0*h**3. Let p = -12 + 8. Let b be a(p). Solve -b = -5*i - 33 for i.
-5
Suppose 2*a - 4*l = 3 - 11, 22 = 5*a + 4*l. Let n be 0*(-4)/24*-3. Suppose 0 = 2*v - 2*b + 2, b + 5 + n = 3*v. Solve -a + v = -k for k.
-1
Let r(o) = 46*o**2 + 20*o - 32. Let f be r(2). Solve -f*u + 186*u - 6 = 0 for u.
-1
Let l(f) = -3*f**2 - 5*f + 7. Let t be l(-4). Let m = t - -27. Solve 0 = m*o - 9*o - 3 for o.
-1
Let t be (-12)/(-10)*(-90)/(-27). Suppose 4 = 2*c - 0. Solve 0 = -c*h - t for h.
-2
Suppose 5*i = -j, 0 = 5*i - 4*j - 21 - 4. Suppose -4*d - 2*b + 5 = -i, -3*d + 9 = 3*b. Suppose d = s + 4*s. Solve s = o - 2 - 0 for o.
2
Let n(r) = -r**3 + 3*r**2 - 3*r + 4. Let j be n(2). Suppose -2*t - t - j*t = 0. Solve -3*d + 22 - 7 = t for d.
5
Let f(p) = -2*p**3 + 25*p**2 - 24*p + 157. Let d be f(12). Solve -g - 42 = d*g for g.
-3
Let l be ((-27)/(-6))/3*-8. Suppose -3*m - 11 = -65. Let t = l + m. Solve c - 15 = t*c for c.
-3
Let f(i) be the third derivative of i**6/120 + i**5/12 + 5*i**4/24 + i**3/6 + 2*i**2. Let y be f(-4). Let c be (-12)/(-8)*-2 - y. Solve c = -3*k - 0 + 3 for k.
1
Suppose -59*z + 80*z = 0. Solve -10*i - 1 - 49 = z for i.
-5
Suppose -4*h + 2*k + 72 = 0, 74*k - 23 = -h + 77*k. Solve -9*b - 16 = -h*b for b.
2
Suppose 5*m = 6 - 21, -2*i - 6 = 2*m. Solve 10*k - k + 45 = i for k.
-5
Let q(o) = -o**3 - 24*o**2 - 21*o + 50. Let p be q(-23). Suppose 2*d - 2 = -r - p*r, -4*r - d = -4. Solve 0 = -r*v + 3*v for v.
0
Suppose -6*m - 2 = -y - 5*m, -2*m = 0. Let z be (1/4)/((-100)/(-48) - y). Let j(l) = l**3 - 11*l**2 - 11*l - 2. Let t be j(12). Solve z*k - 2 = t for k.
4
Suppose c + l = 1, 2*c + 0*c = 4*l - 16. Let q be (-3)/c*4/3. Solve -2*h + 0 = -q for h.
1
Suppose -13*j = 150 - 202. Suppose 2*q = 4*q - 4. Solve q*h = h + j for h.
4
Let a(n) = -n - 14*n - 12 + 3*n**2 - 5*n**2 + 3*n**2