Solve 1 = m - b for m.
3
Suppose 2*f + 16 = 5*m + 2, 2*m = -2*f. Let g be (0 - (-1 + m)) + 3. Let k be g*(-3 + (-2 - -7)). Solve -k*o = o for o.
0
Let b(s) = s**2 + 8*s - 19. Let h be b(-12). Let y = h - 13. Solve -x + y = 3*x for x.
4
Let i(s) = 7*s**2 + 19*s + 16. Let d(f) = -f**2 - f - 1. Let k(c) = 6*d(c) + i(c). Let y be k(-13). Solve -5*a = -3*a - y for a.
5
Suppose -24 = 5*o - 209. Let b = o - 32. Solve -3*n - 4 = b for n.
-3
Let s(m) = 34*m + 93. Let y be s(-2). Solve -5*z + 0*z + y = 0 for z.
5
Suppose 8*y = -28 - 28. Let b(v) = 4*v + 50. Let m be b(y). Solve 4*s + m - 6 = 0 for s.
-4
Let k be (6/(-4))/((-2)/36). Suppose 5*o = 5*t + 80, -4*o = -t - 0*o - 1. Let y = k + t. Solve a = y*a for a.
0
Suppose 105 = -k + 33. Let h be 2/(-9) - 232/k. Solve 0 = q + 1 + h for q.
-4
Suppose -3*f + 12 = -21. Suppose f*q - 75 = -9. Let x(g) = g**3 - 2*g**2 + 2*g - 2. Let k be x(2). Solve q + 2 = -k*t for t.
-4
Suppose 2*o = 4*b + 3*o + 2, -o - 2 = 5*b. Let l be (-1)/2*(-25 - -25). Solve -2*c - 2 + b = l for c.
-1
Let m(b) = -b**3 + 13*b**2 + 10*b + 59. Let a be m(14). Solve a*d = -11 + 8 for d.
-1
Let s = 105 - 91. Solve s*j - 75 = -j for j.
5
Suppose 0 = 2*o - 3*o + 12. Suppose -s = 2*s - o. Solve -k + s*k - 12 = 0 for k.
4
Suppose -2*l + p - 15 = 0, -2*l = 3*l - 3*p + 38. Let g be (6/l)/(36/(-168)). Solve -g = z - 2*z for z.
4
Let d be ((-21)/28 - (-1)/4)*-12. Solve -d*h = -h + 15 for h.
-3
Let h(o) = o - 8. Let v be h(13). Solve 4 = -3*g - v for g.
-3
Let u(i) = i**3 - 6*i**2 + i - 6. Let r be u(6). Solve r = 5*v - 10*v + 25 for v.
5
Let i = -1390 - -1405. Solve i = -9*p + 12*p for p.
5
Suppose 7*z - 4*l = 2*z + 20, -23 = -z - 3*l. Suppose 2*k = z - 4. Let p(n) = 3*n - 3. Let b be p(k). Solve b*u - u = 0 for u.
0
Suppose 5*f = 43 + 27. Let r = f + -6. Let o = r + -5. Solve 1 = -2*b - o for b.
-2
Let k(m) = 1 - m**2 + 0 + 3*m**2 - m**2. Let t be k(0). Let u be (-3)/t - (7 - 10). Solve u*g = -g for g.
0
Let y(v) = v**3 - 38*v**2 + 72*v + 9. Let m be y(36). Solve m*z + 14 = 2*z for z.
-2
Let g = 19 + -19. Solve -4*k + 2*k + 2 = g for k.
1
Let l = 45 + -30. Let c = -11 - l. Let s be 63/13 - 4/c. Solve -3 = -s*k - 13 for k.
-2
Suppose -4*o = -4*t - 4 - 0, -o - 4*t + 6 = 0. Let i be (o/2)/4*0. Solve i*q + 3*q = -6 for q.
-2
Let a(m) = -m**2 - 16*m + 14. Let b be a(-17). Let f be -1*((-2)/b + (-100)/15). Solve -f = -x - x for x.
3
Let t(q) = -q**3 + 7*q**2 + 8*q. Let r be t(8). Suppose 2*g = d - 0*d + 3, d + 2*g + 7 = r. Let n be 5 - (4 + -1) - d. Solve 0 = -3*k + n - 1 for k.
2
Let g be (10*(-2)/(-30))/((-2)/(-276)). Let l = g - 91. Solve -3*h - 11 - l = 0 for h.
-4
Let i(l) = l + 23. Let f = -85 - -72. Let p be i(f). Solve 2*d = -0*d - p for d.
-5
Suppose -6*m + 13*m = -259. Let j be (-1 + 0)*(m + 22). Suppose -j = -6*o + o. Solve n = 2 - o for n.
-1
Let n be 3 - (2 + (-78)/12)*2. Solve 3 = 3*p + n for p.
-3
Suppose 5*j - 2*a + 30 = 3*a, -j = 4*a - 4. Let c = j - -7. Solve 7*k - c*k = 4 for k.
1
Let v(j) = -j**2 + 8*j - 8. Suppose 0 = 19*q - 16*q - 12. Let r be v(q). Let m be (-16)/8 - r/(-2). Solve -18 = -4*t + m for t.
5
Let d = -332 + 338. Solve -7 = d*f - 1 for f.
-1
Suppose -3*l - 12 = -7*l. Suppose 5*m - m = 8. Suppose 2*u - 15 - 1 = 4*n, -n + 1 = m*u. Solve -l*d + 14 = u for d.
4
Let n be 2*(1 - 0 - -1). Suppose -4*h = -t - 5, n*h - 3*t - 2 = -t. Suppose -5*b = -h*b. Solve 0 = y - b*y + 2 for y.
-2
Let l = -10 - -15. Suppose 15 = l*p - 0*p. Suppose -5*d + 20 = 0, -p*d + 1 + 5 = -3*n. Solve n*t - 4 = -0 for t.
2
Suppose 0 = 5*t - 2*t - 33. Let b be (3/((-9)/(-6)))/((-4)/(-8)). Let q = b + t. Solve y + q = -2*y for y.
-5
Suppose -11*g = -15*g + 52. Suppose d + 10 - g = 0. Solve -d = 2*u - 1 for u.
-1
Suppose -u = -3*k + 14, 6 = -2*k - k - 3*u. Let c be (-1 - k) + (3 - 0) + 1. Solve c = -i - 1 - 1 for i.
-2
Let j = -3 + 8. Let m = 21 - j. Suppose -3*x - m + 57 = 4*y, x = 3. Solve -f - y = f for f.
-4
Suppose -128 = 8*l - 6*l. Let t = 36 + l. Let m be (21/t)/((-6)/32). Solve 6 = m*v - 14 for v.
5
Suppose 3 - 9 = -g - 2*w, 5*g + 3 = w. Solve g = -5*z + 75 - 80 for z.
-1
Let l = -117 + 132. Solve 0 = -8*z + 5*z - l for z.
-5
Let x(z) be the third derivative of z**6/120 - z**5/5 - z**4/24 + 8*z**3/3 - 16*z**2. Let m be x(12). Solve -12 = -m*y + y for y.
4
Suppose 52*q = 42*q + 420. Solve -q = -17*g - 4*g for g.
2
Let f(i) = -9*i**2. Let d be f(2). Let w = -33 - d. Solve -w*n = 6 - 3 for n.
-1
Let w be (-2)/3 - (-11)/3. Let l = -44 + 46. Suppose -5*b = -b - n - 78, -2*n + 44 = l*b. Solve -w*x + b = 8 for x.
4
Let g be 1 + 2/(-4)*-2. Let v be 36/234 + (1 - 22/(-26)). Suppose -2*o + 16 = v*w, -g*w - 10 = -5*o - 5. Solve o*z = -1 + 16 for z.
5
Suppose j + j = -4*c - 10, -55 = 5*j - 5*c. Let k(h) = -h**3 - h**2 + 3*h - 5. Let p be k(2). Let n = j - p. Solve n*i - 5 = 3 for i.
4
Suppose 0 = -s + 5, 3*j = 6*j - 5*s + 13. Suppose 21 = 2*w - k, w - 5 - j = 2*k. Suppose 3*o = -4*m + 18, 3*o = 4*o + 3*m - w. Solve 5*d - o*d = -9 for d.
-3
Let c be 4/3 + 121/33. Solve 0 = -c*d + 11*d - 24 for d.
4
Suppose 0 = -u + 3 - 0. Let v be (3 - u) + -1 - -5. Suppose -2*r + v = -0*r. Solve -r*f = -0*f for f.
0
Let a(y) = y**2 + 21*y + 43. Let z be a(-19). Solve 6*x = z*x for x.
0
Let w = -772 + 786. Solve 20*o = 27*o + w for o.
-2
Let z(i) be the first derivative of -i**3/3 + 4*i**2 - 9*i - 6. Let s be z(6). Solve s*x - 2*x = -4 for x.
-4
Let t = 9 - 1. Suppose -5*k + t = -z, 5*z = 6*k - k. Suppose 5*n = -47 + 57. Solve -k*f - n*f = 16 for f.
-4
Let z(a) = 5*a**2 + 13*a**2 - 1 + 2*a + 8*a**2. Let o(w) = -53*w**2 - 4*w + 2. Let x(r) = 2*o(r) + 5*z(r). Let p be x(1). Solve 3*i + 2*i = p for i.
5
Let l(n) = -11*n + 121. Let u be l(10). Solve 5 - u = -2*b for b.
3
Let d be (-1)/(2/(12/(-2))). Suppose 4*b + x - 16 = -x, 10 = 4*b - x. Suppose -b = -d*c + 2*s + 1, 4*c = -5*s + 36. Solve 0 = -2*o + c*o + 2 for o.
-1
Let v(y) = 10*y - 84. Let c be v(9). Solve -d - c = 2*d for d.
-2
Let w = 123 + -115. Solve -m + w = 9 for m.
-1
Let d = -23 + 25. Suppose -c = -5*i - 9, -c - 3*i = -d*c + 7. Solve c = 4*p + 12 for p.
-2
Let i be (-7 - -13)*1/2. Suppose 7*q = 4*q + i. Suppose q = 2*u - 1. Solve 2*j - u = -3 for j.
-1
Let x = -10 + 8. Let k be 0*x*(-4)/(-24). Suppose 3*s - 4*s + 2 = k. Solve a = -s*a for a.
0
Let f(k) = -2*k - 6. Let z be f(-6). Let t(r) = r**2 - 61*r + 923. Let c be t(34). Solve -c = 7*d - z*d for d.
-5
Let i(u) be the first derivative of u**4/24 - 7*u**3/6 + 2*u**2 + 10. Let b(c) be the second derivative of i(c). Let m be b(10). Solve -2*r - 15 = m*r for r.
-3
Suppose 7*x - 28 = -7. Let f = 17 + x. Solve -3*t = t - f for t.
5
Suppose -8*d + 3 = -37. Suppose -5*h + 5 = 5*m - d, m = 3*h - 14. Solve -h*b + 4 = -0 for b.
1
Let r = -75 - -81. Suppose 2*f = 2*m + r, -4*f = -3*m - 9*f + 15. Solve m = -z + 5*z - 16 for z.
4
Let o = 180 - 174. Solve -8 = -2*y + o*y for y.
-2
Let k(m) = 8*m - 10. Let x be k(3). Let d = -2 - -19. Let s = d - x. Solve 0 = 2*g - 3*g + s for g.
3
Suppose -6 = -3*y + 4*m - 7*m, 5*m + 2 = y. Suppose 2*z - 9 = -v - 4*v, -v - 5*z - 12 = 0. Solve 0 = -y*r + v*r - 2 for r.
2
Let r be (-8 - (-90)/10)/((-2)/(-6)). Let n = 0 - -2. Suppose j = n*j - 6. Solve -j*g + r*g - 9 = 0 for g.
-3
Let u = 7 + -3. Solve 3*r - u = -13 for r.
-3
Let k(s) = s**2 + 16*s + 9. Suppose 4*j - 23 = 4*b + 57, j - 4 = 0. Let n be k(b). Solve -5*v - 16 - n = 0 for v.
-5
Suppose 0 = 456*p - 453*p - 42. Solve -3*q = -5 + p for q.
-3
Let r be 2 + (-52)/32 + (-39)/(-24). Solve -r*l = 3*l for l.
0
Suppose -50*h + 47*h = -3*t - 3, 4*t - 14 = -5*h. Solve h*b + 2 = 8 for b.
3
Let b(q) = 6*q**2 - 2*q - 4. Let t be b(-1). Solve m = -t*m + 20 for m.
4
Let s(r) be the first derivative of -r**2 - 4*r - 11. Let f be s(-3). Solve f = 5*b + 7 for b.
-1
Let c(b) = b**2 - 9*b - 6. Let y be c(9). Let q be (2 - 2) + 0 + (-12)/y. Solve 0 = -q*o + o + 2 for o.
2
Let m(k) = -k - 1. Let o be m(-2). Let a be (-2)/(-3*3/18). Suppose 4*t - 20 = -a*u, -t + 2*u = -11 + 3. Solve o = 5*l + t for l.
-1
Suppose -14*z + 13*z = -26. Let h = z + -20. Solve -r + h*r = 0 for r.
0
Let v = 0 + 2. Suppose 3*m + 17*f = 13*f - 4, 0 = -3*m + 2*f + 20. Solve v*b + 10 = m for b.
-3
Let b(z) = -2*z**2 + 11*z + 27. Let x be b(5). Solve -8 = 8*q - x for q.
3
Let j = 50 - 38. Let x be (j/16)/((-12)/(-32)). Solve -x*k = 3*k fo