uppose 5*n = -5*v, 3*n - v = -6*v. Suppose n = -0*b - b + 70. Does 2 divide b/22 - (-10)/(-55)?
False
Suppose 2*n + 3*i - 10 + 0 = 0, 3*i + 15 = 3*n. Suppose 23 - n = 2*d. Is 9 a factor of d?
True
Let j = 7 - 3. Let p(v) = 8*v. Let a be p(-2). Does 11 divide a/(-4)*11/j?
True
Suppose -4*k + 62 + 14 = 0. Suppose -3*v - 9 = 3*o - 3, 0 = -3*v - 4*o - 10. Let s = k + v. Is s a multiple of 11?
False
Let z(r) = r**3 - 5*r**2 - 7*r + 9. Let q be z(6). Suppose 119 = 3*m + 5*f, -q*f + 47 = 5*m - 130. Is m a multiple of 11?
True
Let f be 7/(0/2 + 1). Let r(t) = -t**3 + 8*t**2 - t + 2. Is r(f) a multiple of 23?
False
Suppose 0 = 5*z - 4*v, -z + 5*v = 2*v. Suppose 2*y - 4*y + 152 = z. Is y a multiple of 21?
False
Suppose -102 = -2*z + 4*c, -2*z = 3*z - 4*c - 243. Is 27 a factor of z?
False
Suppose -2*r + 7*r = 4*l - 438, 3*l - 4*r = 328. Is l a multiple of 22?
False
Let h(q) = -q**2 - 15*q + 4. Is 6 a factor of h(-5)?
True
Suppose -2*b - 9 = o, 12 = -5*o - 3*b - 5. Let n(g) = -46*g - 2. Is n(o) a multiple of 11?
True
Suppose -4 = 2*q - 0*q, -5*y - 3*q + 114 = 0. Let n = y + -9. Is n a multiple of 15?
True
Let p = -124 - -275. Does 6 divide p?
False
Let s(x) = 6*x**3 - 2*x**2 + x. Let h be s(1). Let f(a) = 40*a + 5. Let i be f(5). Suppose -2*l = 3*l - h*b - 155, -5*b + i = 5*l. Is 13 a factor of l?
False
Let y(f) = f**2 + 2*f - 1. Let w be y(5). Suppose -3*l + 20 = -w. Does 9 divide l?
True
Does 24 divide ((-47)/(-2))/(22/44)?
False
Let d(l) = 22*l**3 - l**2 + 1. Let o(x) be the third derivative of -x**5/60 - 3*x**4/8 - 7*x**3/6 - 2*x**2. Let c be o(-8). Does 10 divide d(c)?
False
Let u(z) = z + 6. Is u(10) a multiple of 8?
True
Let z(k) = k - 3. Let j be z(5). Suppose 0*y = 3*y + j*t - 47, -3*t = y - 18. Is y a multiple of 15?
True
Let o = 69 + 25. Is 5 a factor of o?
False
Does 18 divide ((-63)/(-6))/(-2*2/(-48))?
True
Let a(n) = n**2 + 2*n + 5. Let j = -18 - -13. Does 7 divide a(j)?
False
Suppose 5*u + 18 + 27 = 0. Is 28 a factor of -49*(-3)/(u/(-3))?
False
Does 26 divide (-2)/4 - (-1463)/14?
True
Suppose -u + 23 = -3. Does 26 divide u?
True
Suppose 3*l - 58 - 20 = 0. Does 26 divide l?
True
Suppose -5*f + f = -304. Suppose -3*d = d - f. Is d a multiple of 8?
False
Suppose 11 = -4*t + 19. Suppose -18 = -t*a + 56. Does 9 divide a?
False
Let y(z) = -z + 5. Let k be y(3). Suppose -2*x = k*x - 140. Does 16 divide x?
False
Let j = 1 + 3. Suppose -36 = 4*k + m - 5*m, -k - j*m + 6 = 0. Let w(t) = -t**3 - 5*t**2 + 3*t + 3. Does 16 divide w(k)?
False
Let a(k) = -k**2 + 4 + 5*k**2 - 3*k**2. Let v be ((-2)/(-6))/((-19)/285). Does 13 divide a(v)?
False
Let c(r) = -r**2 - 9*r - 9. Let k be c(-7). Let t(b) = b**3 - 5*b**2 + 2*b - 2. Is t(k) a multiple of 4?
True
Let j be (-904)/(-6) - 8/12. Suppose j = -d + 6*d. Does 18 divide d?
False
Let j be -10*((-3)/6)/1. Let c = 34 + -2. Suppose -c = 3*s - j*s. Is 8 a factor of s?
True
Suppose 3 = -k + 3*n, 0*n + 9 = 2*k - n. Is 8/12 + 26/k even?
False
Let q(i) be the second derivative of -i**2 - i - 1/6*i**3 + 0. Is q(-9) a multiple of 7?
True
Suppose 5*a - 1388 = 272. Suppose 10*r = 6*r + a. Is 22 a factor of r?
False
Suppose 0 = 4*p + 32 - 0. Let c be (3/(-6))/(2/p). Suppose -s - 4*l + 29 = c*s, -2*s + 26 = l. Is 8 a factor of s?
False
Suppose 161 = 5*t - 284. Suppose t = 4*x - 27. Suppose -4*r - 2*d = -50, 0*r - 5*d = -r + x. Is 7 a factor of r?
True
Suppose 5*m = 3*q - 31, -5*m - 19 = q + 2*q. Let d = 6 - q. Suppose -4*b = -2*s + 44, 6 = -d*b + 26. Does 16 divide s?
True
Suppose -2*h = 3*h - 65. Does 7 divide h?
False
Let b(j) = -j**3 + 6*j**2 - 6*j + 4. Let w be b(4). Let o = w + -6. Suppose 85 = o*l - l. Is 6 a factor of l?
False
Let y(f) = 10*f**3 + f**2 - 2*f + 1. Let w be y(1). Suppose 25 = 4*i - 5*a, 3*a + w + 5 = -2*i. Let b = i - -21. Does 13 divide b?
False
Suppose -5*d - s = -7*d + 61, 0 = 3*s + 3. Does 6 divide d?
True
Let c = 48 - -62. Suppose -j = -3*j + c. Does 12 divide j?
False
Let g(y) = y**3 - 3*y - 1. Suppose -14 + 5 = -3*v. Let i be g(v). Suppose 3*h - c - 66 - i = 0, 0 = 2*c + 4. Is h a multiple of 14?
False
Let l be (4 - -2)*(-1 - -2). Let g = -4 + l. Let j(o) = 2*o**3 + o**2 - o - 1. Is 17 a factor of j(g)?
True
Let k(t) = t**3 + t**2 - 3*t + 3. Let r be k(3). Does 4 divide 432/r - (-4)/(-10)?
False
Suppose 4*r = -5*g - 11, -2*g - r - 2 = 3*r. Let q = 3 - g. Does 2 divide q?
True
Suppose -6 = v - 2*g, v + 0*g - 3*g = -10. Suppose -v*n + 5*a = n + 4, -8 = -4*n + 4*a. Does 7 divide n?
True
Let i(b) = -b**3 + 8*b**2 - 6*b + 4. Let c(q) = -q**2 + 8*q - 7. Let a be c(6). Is 20 a factor of i(a)?
False
Let y(p) = p**2 - 7*p + 6. Let o be y(6). Let k be (-1 - o) + (5 - 3). Suppose -3*i + 11 = -k. Does 2 divide i?
True
Suppose -3 = -3*w, 0 = -3*a - w + 104 + 26. Does 21 divide a?
False
Let x = -109 - -199. Suppose -4*g = -34 - x. Is g a multiple of 9?
False
Let u(o) = 9*o + 12. Does 22 divide u(6)?
True
Let w(n) = -n**2 + 4*n - 3. Let g be w(4). Is 5 a factor of (45 - 1)/(g - -5)?
False
Suppose -8*g + 4*g + 144 = 0. Is 9 a factor of g?
True
Let k be ((-24)/(-10))/((-16)/200). Suppose 2*v + 31 = -41. Does 12 divide v*(k/(-9))/(-5)?
True
Let l(n) = -12*n - 6. Let m(t) = 13*t + 5. Let w(q) = 5*l(q) + 6*m(q). Does 19 divide w(3)?
False
Does 7 divide ((-10)/(-2))/(5/20)?
False
Let b be ((-8)/10)/(1/(-5)). Suppose 89 = b*c + i, -2*i - 22 = -2*c + 20. Is 22 a factor of c?
True
Suppose -2*d = -z + 5, 25 - 8 = 4*z - 5*d. Suppose 5*a = -z*s - s + 25, 0 = s - 3*a + 15. Is 9 a factor of 3*(s - (-6)/2)?
True
Let y be (-10)/(-4) + 2/(-4). Suppose 6*u - y*u + 160 = 0. Let k = u + 58. Does 9 divide k?
True
Suppose 4*j - 4*x - 161 = x, -2*x + 182 = 4*j. Is 13 a factor of j?
False
Let x(z) = 9*z - 7. Let f be x(-5). Let p = f + 78. Is 22 a factor of p?
False
Let x = 3 - 15. Let t = x + 18. Is 2 a factor of t?
True
Let u(s) = s**3 - 3*s**2 + s + 2. Suppose 2*w - x - 2 = 0, 0*x = 2*x - 8. Let q be u(w). Suppose q*b - 54 = 21. Does 8 divide b?
False
Is 13 a factor of 2/(-12) + (-2105)/(-30)?
False
Let d(h) = 21*h**2 + 2*h + 1. Let r(q) = -5*q**2 - 2*q + 3. Let w(j) = -9*j**2 - 3*j + 5. Let f(u) = -5*r(u) + 3*w(u). Let c be f(1). Is 20 a factor of d(c)?
True
Let r(k) = k**2 - k - 4. Is 8 a factor of r(5)?
True
Let p(k) = 4*k. Suppose 4*a = -c - 0*a - 10, c + 1 = -a. Is 8 a factor of p(c)?
True
Let i(s) = s**2 + 4. Let v be i(0). Suppose v*b + 5*k - 27 = 3*b, 3*b - 3*k - 45 = 0. Is b a multiple of 7?
False
Let o(q) = 17*q**2 + 1. Let d be o(1). Let k be (d/(-1))/(-3)*9. Suppose -99 = -5*h - 3*z, z + 33 = 5*h - k. Is 8 a factor of h?
False
Let t(y) = 11*y - 6 - 10*y + 18. Let k be t(-10). Suppose -3*o - i = -101, 3*o + k*i = 4*i + 86. Is 12 a factor of o?
False
Let k = 133 + -56. Is k a multiple of 16?
False
Suppose -h = 2*h - 60. Is 10 a factor of h?
True
Suppose 0*a + 205 = 2*a + 3*t, -2*a + 5*t = -165. Is a a multiple of 27?
False
Let m = -8 - -5. Let y = 0 - m. Suppose -k + 52 = y*k. Is k a multiple of 13?
True
Let o be (8 - 11)*(-4)/(-6). Let l(k) be the third derivative of -k**4/2 - k**3/6 + k**2. Is 9 a factor of l(o)?
False
Suppose -o + 0*o + 33 = 0. Does 16 divide o?
False
Let q be (-6 - -3)/((-3)/2). Suppose 28 = q*p + 2*p. Is 2 a factor of p?
False
Let w be -6*(0 - 2/6). Suppose -20 = w*f - 4*f. Is f a multiple of 10?
True
Let z(o) = 7 + 3*o - 3 + 0*o. Does 5 divide z(7)?
True
Suppose o - 2*j - 33 = 36, j + 72 = o. Let t = 51 - o. Let f = t + 40. Is f a multiple of 16?
True
Let i(n) = n + 14. Let m be i(0). Suppose -d + m = -23. Is d a multiple of 13?
False
Let v = -5 + 48. Let o(j) = 2*j + 4. Let z be o(6). Suppose -3*t + v = z. Does 9 divide t?
True
Let q be (9 + -14)*(0 + -67). Suppose -5*l + 5*p + q = 0, -p + 5*p = -4*l + 260. Is l a multiple of 17?
False
Suppose 2*n + 4*f - 12 = 0, -4*n + 0*f + 12 = 5*f. Let y = n - -12. Is 5 a factor of (6*y/4)/1?
True
Suppose -2*v = -5*t + 3*v + 65, 3*t = 5*v + 41. Does 12 divide t?
True
Let g = -1 - -4. Suppose -5*c = 4*o - 113, g*o - 103 = 2*c - 1. Suppose -3*f - o = -4*v, -2*f + 19 = 4*v + 7. Is v a multiple of 4?
False
Let j(b) = b**2 - b - 36. Does 8 divide j(12)?
True
Let d(y) = y**2 + 1. Let l be d(-3). Suppose 4*q = k - 3*k + l, -2*q + 3*k = -9. Suppose q*m - 93 + 33 = 0. Is m a multiple of 9?
False
Let j = 79 + -23. Is j a multiple of 14?
True
Let m = 47 - -27. Is 16 a