. Solve -j + 0 = 2*m for m.
-1
Let p = 30 - 26. Let s(x) = -x**2 + x + 7. Let m be s(0). Suppose -m*n = -3*n - 16. Solve -p*j - n = 4 for j.
-2
Let w = 2 - 14. Let h(a) = -a**3 - 11*a**2 + 12*a + 1. Let z be h(w). Let x be 0/z - (-26)/13. Solve -3*n - 25 = x*n for n.
-5
Suppose t - 6 = -5*t. Solve 2*k = 1 + t for k.
1
Let z(f) = f - 3. Let i be z(3). Let u(s) = 4*s + 3. Let l be u(0). Solve 3*m - l + 15 = i for m.
-4
Suppose 2*y = -8*y + 260. Solve 0 = 24*k - y*k - 4 for k.
-2
Let v be 1/(-4) + 605/20. Let w be 19/76 + v/8. Solve 9 = w*h - 7 for h.
4
Let n = -15 + 15. Suppose 5*y - 5*f + 10 = n, -6 = -2*f + 2. Suppose y*q + 6 = 8. Solve 3*i - 10 = -q for i.
3
Suppose x = -k + 4, 3*k = -x + 4*k + 6. Let t = 35 - 38. Let z be (-9)/t + 2/(-1). Solve 0 = 3*s - z - x for s.
2
Suppose u - 7 + 0 = 0. Let j be -2 + (-24)/(-9) - (-157)/3. Suppose 0 = -5*n - 5, u*n = 4*l + 2*n - j. Solve -l = -f - 3*f for f.
3
Let z = 24 + -8. Suppose -4*g = -3*m - 5*g + z, 20 = 5*m - 5*g. Solve 2 - m = -3*u for u.
1
Let v = 58 + -44. Let u be 2 - (3 + 2*-3). Let h = u - 0. Solve -h*x - v = 6 for x.
-4
Suppose -5*a + 0*r + 56 = 3*r, -2*a + 14 = -3*r. Suppose 11*z = 73 - 40. Solve -2 - a = -z*s for s.
4
Let o be 0/(3 + 2) - -69. Let x = 71 - o. Solve x*m + 9 = -1 for m.
-5
Suppose 4 = 3*w + 1. Let l(q) = q + 15. Let p be l(-11). Let o be p - (-1 - (-2 + 2)). Solve 16 = o*c + w for c.
3
Let z(b) = b + 2. Let i be z(-2). Let c be 252/27*(-18)/(-7). Let f = 25 - c. Solve r - f = -i*r for r.
1
Let n(x) = 4*x + 6. Let j be n(-2). Let g be (-13 + 0 + 3)*j. Solve 0 = -5*b + b - g for b.
-5
Let b = -31 - -23. Let t be (-24)/32 + (-118)/b. Let m = -8 + t. Solve 0 = m*z - z - 25 for z.
5
Let k(m) = m - 2. Let o(v) = -3*v**2 - 4. Let n be o(2). Let t = -10 - n. Let w be k(t). Solve 0*z = -w*z for z.
0
Suppose 22 + 8 = 10*z. Solve -5 = -2*v + z for v.
4
Let h(q) = -q**2 + 4*q + 2. Let r be h(4). Let o be 2 - 1*(-6)/(-3). Solve r*c + 2 = -o for c.
-1
Suppose -28*r = -24*r - 28. Suppose -6*u + r*u = 2. Solve 0 = u*h + 3*h - 20 for h.
4
Suppose l = -5*m + 2*l - 6, 0 = -4*m + 3*l - 7. Suppose -4*y = 5 + 7, u = y + 3. Let v be (u - m)*(2 + 2). Solve -v*i - 2 = 2 for i.
-1
Let b = -3653 - -3657. Suppose 1 = -l + 2. Solve b = -5*i - l for i.
-1
Let f(b) = 15*b + 4. Let q be f(-2). Let r be 1/(18/40) - q/(-117). Solve -d = r*d for d.
0
Suppose l - 2*l + 2*c = -6, -5*l = -3*c - 23. Suppose -l*b + 0*b = -4. Suppose -4*w + b = -11. Solve -w*r - 1 = -2*r for r.
-1
Let x(d) = -10*d - 10. Let w be x(-6). Let o = w - 46. Solve f = o*f for f.
0
Suppose x - 5*a = -17, 12 = -0*a + 3*a. Suppose -5*d + q + 12 = 0, x*d - 14 = -5*q + 10. Let o = d - 0. Solve -p + 5 = o for p.
2
Let l(u) = -u**2 + 121. Let o be l(0). Suppose -3*f = 5*d - o - 50, 12 = -4*f. Let y be d/7 + (-7)/49. Solve -12 = y*t + 8 for t.
-4
Suppose 0 = -4*t + 16, -2*p + p + 3*t = 42. Let g be (-18)/p - (81/(-15) + 2). Solve -g*b - b = 0 for b.
0
Suppose -i = r - 4 - 2, -4*r = 3*i - 23. Let q be (i + -2 + 1)/(-3). Solve q = -l - 4 + 2 for l.
-2
Let c(j) = 33*j - 438. Let q be c(16). Solve 35 = -11*y + q for y.
5
Let t(q) = -q + 3 - 3 + 2. Let z be t(0). Solve -z*b = -6*b + 12 for b.
3
Suppose -i - 4*i + 2 = k, 3*i = -4*k - 9. Let s be (2 + k)*2 - (-8 + 4). Solve 2*c - 3*c - s = 0 for c.
-2
Let t = 143 - 139. Solve 0 = 8*l + 4 + t for l.
-1
Suppose -3*g - 9 = 3*t, -2*g - 8 + 2 = -4*t. Suppose 3*h - 2*p = 12, 5*p - 2*p = 4*h - 17. Suppose 4*v + a = -4*a, -h*a = -v + 13. Solve t = v*j + 5 for j.
-1
Suppose 3*a + 0*a - 32 = h, -5*a = 4*h - 76. Suppose 30 = 7*g - a*g. Let v be -2*((-9)/g)/(-1). Solve -v = y - 0*y for y.
-3
Suppose -2*q - 2 = -2*z, -3*z + 2*q - 4*q = -28. Suppose 4*v - 7*v + z = 0. Let a be (-4 + v)*2 + 4. Solve a = -5*b - 1 + 26 for b.
5
Let b = -1364 + 1366. Solve 0 = b*m - 13*m - 11*m for m.
0
Suppose 4*h = g + 83, -h + g = 4*h - 103. Let y be h/(-6)*21/(-14). Solve 3*n = 2*n - y for n.
-5
Suppose -c + 4*g + 14 = g, 18 = 5*c - 2*g. Solve -c = -3*x + 4*x for x.
-2
Let w = 17 + -15. Let x(m) = -m**3 + 2*m**2 + 2*m - 2. Let h be x(w). Suppose 76 = 6*g - h*g. Solve 5*i + 6 = -g for i.
-5
Suppose 15 + 18 = -3*k - 4*i, 4*k = 5*i - 13. Let a be ((-2)/5)/(18/(-315)). Let p = a + k. Solve p = 6*l - 2*l for l.
0
Let j = -466 + 489. Solve -16*c + j + 25 = 0 for c.
3
Let u be ((-8)/6 + 1)*(5 + -5). Suppose u = 3*b + 2*j - 4 - 8, -4*b + 4*j = -36. Solve -3 - b = -3*q for q.
3
Let c = -23 - -20. Let r be c/2*-2 + 1. Solve -2 = -r*y - 18 for y.
-4
Let o(i) = 34*i + 896. Let p be o(-20). Solve 5*h + p = 211 for h.
-1
Let i = -567 + 569. Suppose u - 4 = -3*u. Let v = 8 - u. Solve 1 = i*q - v for q.
4
Suppose -20*d = -18*d - 8. Let l = -129 - -207. Let y be d/26 - (-300)/l. Solve -3*j - y = -4*j for j.
4
Suppose -2*q = -9*g + 4*g - 19, g - 1 = -2*q. Let u(i) = -i**2 - 7*i - 1. Let t be u(g). Let n = t + -11. Solve n = 4*w - 12 for w.
3
Suppose l + 16 = 4*g, 4*g + 4*l = l. Solve -g*r = 20 - 11 for r.
-3
Let d be 2/3*15/(-2). Let l(c) = -8*c + 5. Let w be l(d). Let g be ((-4)/6)/((-10)/w). Solve 0 = -8*k + g*k for k.
0
Let k(v) = -2*v**3 + v**2 - 1. Suppose -3*t - 40 = -7. Let j = 10 + t. Let s be k(j). Solve -r - s = r for r.
-1
Let p = -350 - -350. Solve o + 4 - 7 = p for o.
3
Let q = 335 + -327. Solve 23*n - 27*n - q = 0 for n.
-2
Let g = 50 - 47. Suppose 2*x + g*s + s = 6, -2*x - s = -18. Solve -4*q = 31 - x for q.
-5
Let m be (-14)/(-7) - (0 - 38). Suppose 0*f + m = 2*f. Solve -4*t = t - f for t.
4
Suppose 2*i - i + 4*f + 19 = 0, 0 = 2*i - 5*f - 14. Let x be (i - 3)*(-2)/1. Suppose -10*y = -x*y. Solve y = -5*h + 1 + 4 for h.
1
Let j(k) = -k**3 + 8*k**2 - k + 8. Let z be j(8). Let t = 2 - z. Solve 2*m + t*m = -4 for m.
-1
Suppose 4*m - 3*l - 86 = -m, 2*m + 5*l = 22. Let g be 2/m - (-714)/48. Solve 3*f = -g - 0 for f.
-5
Suppose 3*b + 0*b - 18 = -3*t, -2*t = -b - 6. Solve t*s = 5*s - 7*s for s.
0
Suppose 4*m = 8, -3*l + 6 + 5 = -2*m. Solve -6*z = -l*z for z.
0
Let g(d) = 8*d - 88. Let y be g(12). Solve y*f = 10*f + 4 for f.
-2
Let p(k) = -17*k - 133. Let z be p(-8). Solve 0 = -z*m - 19 + 7 for m.
-4
Let y = 26 + -21. Suppose y*z = 7 - 2. Solve -z = -h - 0 for h.
1
Let d = 1110 + -1094. Solve 4 = -12*v + d for v.
1
Let w = -6 + 10. Suppose -w*j + 26 = 3*h - 77, 2*h = 5*j - 123. Solve 0 = -p + 6*p + j for p.
-5
Let j(n) = 5*n**2 + 9*n - 1. Let i(a) = -6*a**2 - 9*a + 1. Let f(s) = -4*i(s) - 5*j(s). Let z be f(-7). Let c = z + -15. Solve -5*g + 6 + 14 = c for g.
4
Suppose -72 + 17 = -5*q. Suppose 0 = -3*x + 4 + q. Suppose -5 = -10*y + x*y. Solve -s - 3 = y for s.
-4
Suppose -d - 14 = -2*y - 2*y, 5*d - 2*y = 2. Suppose d*t + 0 = 4. Suppose -l = -4 + t. Solve 4 = -0*q - l*q for q.
-2
Let h = 81 - 31. Suppose z = 5*c - 40, 0 = -5*c - 0*z - z + h. Let n = c - -3. Solve -n = i + 2*i for i.
-4
Suppose -5*n - 2*q = -11, -3*n + 2*q = -7 - 6. Suppose 0 = -n*j + 2 + 7. Suppose 5*h = -5*t + 20, -3*h + 26 = 4*t + 10. Solve h = s + j for s.
-3
Let a be (-6)/1*(1 - -1). Let k be 1/6 - 106/a. Suppose k = l + 2*l. Solve -12 = l*i + i for i.
-3
Suppose -2 = -10*f + 9*f. Solve -b - 9 = f*b for b.
-3
Let w = -206 - -214. Solve w*f + 6*f = 42 for f.
3
Let w(v) be the second derivative of v**4/12 + 5*v**3/2 + 17*v**2/2 - 2*v. Let j be w(-14). Let y be -1 - (-4 + 2 - -1). Solve y*q + 6 = j*q for q.
2
Let g = 1702 - 1683. Solve 0 = g*i - 14*i - 10 for i.
2
Let b = -82 + 46. Let x be b/30 + 1 - (-26)/5. Solve x*g = 3*g - 10 for g.
-5
Let o be 6/(-6)*(2 + -4). Suppose -s = -4*k + 6 + o, 23 = 5*s + k. Solve s*r = r for r.
0
Let b(y) = y**3 - 5*y**2 - y + 12. Suppose 0 = 3*m + 4 - 19. Let h be b(m). Solve 0 = -4*n + h - 3 for n.
1
Suppose -131 = -11*a + 34. Solve -a - 13 = 7*z for z.
-4
Suppose 5*y - 10 = -0*y. Let n = -1 + y. Suppose n - 16 = 3*s, 3*v + 1 = -2*s. Solve 2*f + 1 = -v for f.
-2
Let g(c) = c**3 - 6*c**2 + 6*c - 2. Let i(h) = h**3 - 3*h**2 - 10*h + 5. Let l be i(5). Let b be g(l). Solve -12 = -b*s + 3 for s.
5
Let z(o) = -o**3 + 20*o**2 + 22*o - 25. Let y be z(21). Let d(p) = p**3 + 5*p**2 - 3*p - 5. Let r be d(y). Let n = 25 - r. Solve 0 = -3*h + h - n for h.
-1
Suppose -4*w + 5*w - 5*j = 0, 5*j + 40 = 5*w. Suppose 5*h - 3 = -4*z + 3, -4*h + 2*z + w = 0. Solve -h*r + 1 = 5 for r.
-2
Suppose 4*h = 16 - 0. Suppose 0 = -4*d - 2*a + 4, -2*d - 4*a - h = 0. 