se -2*m + 360 = 66. Is m a multiple of 30?
False
Suppose -l - 16 = 3*b, -20 = -l + 4*l + 2*b. Let o be 117/12 - 1/l. Suppose -o = -4*c + 6. Does 2 divide c?
True
Let x(z) = -8*z - 5. Suppose 3 - 19 = 4*k. Is 9 a factor of x(k)?
True
Let z = 156 + 32. Does 15 divide z?
False
Suppose -n = -4*s - 21, 0 = -2*n - 0*n - 2*s + 2. Suppose r - 7 = -n*d, -2*d = -r - 1 - 6. Suppose -d*a + 26 = -10. Does 11 divide a?
False
Suppose -2*v + 0*f - 15 = -3*f, 0 = v - 3*f + 9. Let r be v/9 + (-6)/(-9). Suppose 0 = -3*j - 5*g + 30, r = -3*g - g. Does 5 divide j?
True
Let a(k) = 17*k**2 - k. Is 6 a factor of a(-1)?
True
Let c be ((-39)/(-6))/(2/(-4)). Let n = 26 + c. Is 12 a factor of n?
False
Suppose o - 5*h = 21, o - 18 = -o + 2*h. Let p = 1 - o. Let z(t) = -t**2 - 6*t + 7. Does 5 divide z(p)?
False
Suppose v = 5*f + 4, -4*v + 3*v - 2*f = -11. Is v a multiple of 2?
False
Suppose 0*w - 114 = 2*w. Let r = w - -24. Let m = r - -53. Is m a multiple of 7?
False
Suppose 0 = 10*z - 6*z - 488. Is z a multiple of 24?
False
Let h(c) = c**2 + 7*c. Let z be h(-7). Suppose z = 4*d - d - 6. Suppose -d*u = 19 - 63. Is u a multiple of 11?
True
Suppose 5*t - 2*t - 3 = 0, 5*t - 160 = -5*m. Is 5 a factor of m?
False
Let l(c) = 12*c + 12. Is l(10) a multiple of 13?
False
Suppose g + 3 = 4*p + 5, -3*g + 5*p = 8. Let w = g + 5. Does 17 divide (-34)/(-4)*(w - -3)?
True
Suppose 4*r = -4*k + 296, 2*r + 0*k - 4*k - 148 = 0. Suppose 2*d + 4*v - r = -d, -d = 4*v - 38. Does 9 divide d?
True
Suppose -2*g = -u + 99, 2*u + 5*g - 57 = 132. Is u a multiple of 21?
False
Let l = -7 - 47. Let w = l - -77. Let k = 32 - w. Is 7 a factor of k?
False
Suppose 5*r - 5*b = 0, 3*r + 4*b - 12 = r. Let j = 1 - 0. Suppose -j = -r*k + 15. Does 4 divide k?
True
Suppose 2*z - 4*s - 76 = 6*z, -43 = 2*z + 3*s. Let x = 19 - z. Let c = 66 - x. Is c a multiple of 15?
False
Suppose 0 = 3*g + 4*o - 142, 134 = 3*g + o + o. Is g a multiple of 21?
True
Is 10 a factor of 1 - (1 + (4 + -3)*-135)?
False
Suppose v - 74 = -0*v + 2*y, 3*y = -2*v + 141. Is v a multiple of 20?
False
Let g = 4 - -7. Suppose q = g - 4. Is 7 a factor of q?
True
Let q be (14/(-4) + 3)*0. Let i(y) = y**3 + y + 9. Does 4 divide i(q)?
False
Let y(w) be the third derivative of -w**5/60 - w**4/24 + w**3/2 - w**2. Is 3 a factor of y(0)?
True
Let v(x) = -79*x - 18. Does 15 divide v(-3)?
False
Suppose -6*m - 3*f + 71 = -2*m, 3*m - 67 = -5*f. Is 13 a factor of (m/5 - -2)*5?
False
Suppose 0 = -u + 4 - 3. Suppose 2*t + 86 = 5*h - 0*t, -5*t = -h + 8. Suppose -u = z - h. Does 17 divide z?
True
Suppose 0*t - 40 = -5*t. Does 3 divide t?
False
Let i(n) = n - 3. Let q be i(4). Suppose 4*a - 88 = 4*c, 4*a - q = -2*c + 63. Is 11 a factor of a?
False
Let d(m) = -m**3 + 2*m**2 - m + 4. Let k be d(4). Does 12 divide (21/28)/((-2)/k)?
True
Let l be (2/(-3))/1*-3. Let t(a) = -9*a + 4. Let u(g) = 27*g - 11. Let v(i) = 17*t(i) + 6*u(i). Does 19 divide v(l)?
False
Suppose 0*p - 2*p = -3*y + 119, 5*p - 215 = -5*y. Does 22 divide y?
False
Suppose 0 = 4*y - 0*y. Suppose 3*r = -c - 3 - y, -4*c = 3*r - 33. Is c a multiple of 6?
True
Let r = 0 - -5. Is 3 a factor of r?
False
Let b(q) = q**3 - 9*q**2 + 7*q + 9. Let v be b(8). Suppose -y + 9 = v. Does 3 divide y?
False
Let f(b) = -18 + 4*b + 4*b - 5*b. Is f(14) a multiple of 24?
True
Suppose 5*i = 3*k + 23, 3*k - 6*k + 4*i - 28 = 0. Let s be (-88)/k + 2/(-4). Suppose -25 = -s*q, -2*m - q - 13 = -4*m. Is m a multiple of 7?
False
Suppose g = -2*k - 4, -4*g + 0*g = 2*k + 16. Let u(m) = m**3 - 7*m**2 + 6*m + 8. Let x be u(6). Suppose c + k*c = x. Is 3 a factor of c?
False
Let u(t) = 5*t - 2. Let q be u(-3). Let s = 32 + q. Is 5 a factor of s?
True
Suppose 3*v = -v + 244. Suppose 0 = 2*k - v - 37. Is k a multiple of 17?
False
Let x(a) = -a**3 - 8*a**2 - 8*a + 9. Does 4 divide x(-8)?
False
Suppose -2*f - 2*f = 4*h - 188, 5*f - 185 = -4*h. Is 35 a factor of h?
False
Suppose -5*i - 22 = -i - 3*h, 4*i + 3*h + 10 = 0. Let k be (-16)/i*(-1)/(-2). Suppose k - 11 = -u. Does 9 divide u?
True
Let t(d) = 15*d**2 + 4*d + 5. Does 23 divide t(-2)?
False
Suppose 13 = 3*g + 1. Suppose 4*y - 4*w - 62 = 2*y, -72 = -g*y - 5*w. Does 13 divide y?
False
Let a = -40 - -52. Does 6 divide a?
True
Let k(w) = -w**3 + w**2 + w + 27. Let j be k(0). Suppose -4*h - 4*i + 5 + j = 0, -5*i = -4*h + 50. Is 131/5 + (-2)/h a multiple of 16?
False
Suppose -4*g + 8 = -3*o, 0 = 3*o - 0*g - 2*g + 4. Suppose 2*q - 5*s = 38, o = q - 2*s - 2*s - 22. Is 14 a factor of q?
True
Let y(j) = -j**2 + 20*j + 38. Is y(16) a multiple of 21?
False
Suppose 0 = -q + 4 - 2. Suppose 94 = 2*g + g + 5*k, -q*g + 63 = 3*k. Is g a multiple of 17?
False
Suppose 5*o + 20 - 50 = 0. Let p(c) = c**2 + 6*c. Is p(o) a multiple of 18?
True
Let q = -11 - -13. Is 78 - (0/(-4) + q) a multiple of 25?
False
Let l(h) = h**3 - 14*h**2 + 4*h - 14. Is 10 a factor of l(14)?
False
Let j be 2/(-3) + (-21)/9. Is ((-19)/j)/((-5)/(-15)) a multiple of 10?
False
Let m(r) = -4*r - 2. Let c be m(-4). Let g be c/((-4)/(-10) + 0). Let s = g - 21. Is s a multiple of 7?
True
Let v(s) = -s**3 - 2*s**2 + 4*s - 1. Let r be v(-5). Suppose -2*l = -5*l + r. Is 18 a factor of l?
True
Let g(d) = -2*d**2 + d + 6. Let o(w) = -5*w**2 - 2 + 4*w**2 + 3. Let y(k) = -g(k) + o(k). Is y(5) a multiple of 10?
False
Let v(p) be the third derivative of 0*p - 1/6*p**4 - 4/3*p**3 + 0 + p**2. Is v(-6) a multiple of 7?
False
Suppose 0*p + 3*p + 54 = 0. Let i be 1/2 - p/4. Suppose i*w = 22 + 158. Is 18 a factor of w?
True
Let i(j) = j**2 - 6*j - 3. Let r be i(6). Let d be ((-69)/r)/(2 - 1). Suppose 0 = 2*q - 3*w - 17, 0*w + 5*w = 3*q - d. Is 15 a factor of q?
False
Let x = -7 + 6. Let b = x - -9. Does 3 divide b?
False
Let z(t) = 2*t - 4. Let g be z(-6). Suppose -2*j + 8*r + 108 = 4*r, 0 = -5*r - 20. Let q = j + g. Is q a multiple of 15?
True
Is 6/((-8 + 2)/(-3)) a multiple of 3?
True
Suppose -3*w = w - 16. Suppose -3*o - 2*o = 10, 4*a + w*o = 140. Let y = a - 26. Is y a multiple of 11?
True
Let i be 42/18 + (-4)/(-6). Is 2 a factor of 1*i/3 - -2?
False
Let o(j) = 137*j**2 - 1. Does 21 divide o(1)?
False
Let i = 15 - 7. Suppose p - 27 = 11. Suppose i*n = 6*n + p. Does 8 divide n?
False
Let p(v) = 4*v + 3. Let h(l) = 5*l + 4. Let k(a) = -5*h(a) + 6*p(a). Let u be k(-2). Suppose u = -3*i + 4*i - 24. Is i a multiple of 8?
True
Suppose 2*p + 20 = -2*p, 4*k + 5*p = 423. Does 28 divide k?
True
Let o be 6 + (3/1 - 5). Suppose -4*g + 5*n + 59 = 0, o*g = -0*n + 2*n + 74. Is 7 a factor of g?
True
Suppose 75 = 3*u - 9. Is 9 a factor of u + (-2 - -2) - 2?
False
Suppose q - 117 = -2*l + 49, 74 = l - 4*q. Is l a multiple of 12?
False
Suppose -l - 4*l - 30 = -p, -l = 2*p - 71. Is p a multiple of 14?
False
Suppose -45 = 3*j - 4*v, 3*j - 2*v - v = -42. Let h = 9 + j. Let x = h + 14. Is 12 a factor of x?
True
Suppose -3*a + 159 = -3*l, -299 = 5*l + 2*a - 41. Let k = 92 + l. Suppose -k = 2*f - 7*f. Is 8 a factor of f?
True
Let u be 56/21 - (-4)/(-6). Suppose -u*b + 0*w - 5*w = 2, 0 = 3*b - 2*w - 35. Is 5 a factor of b?
False
Suppose 4*m = -0*m + 288. Is 12 a factor of m?
True
Let k(m) = 5*m + 11. Let i(r) = -r - 2. Let l(p) = 34*i(p) + 6*k(p). Is l(-8) a multiple of 8?
False
Let j(m) = 14*m**3 + 2*m**2 - 3*m + 3. Is 9 a factor of j(2)?
True
Let i(u) be the first derivative of 3*u**2/2 - 11*u - 1. Let q = -12 - -20. Is i(q) a multiple of 12?
False
Let x(i) = -372*i + 7. Does 14 divide x(-1)?
False
Suppose z + 24 = 4*z - 3*i, -2*z + i + 13 = 0. Suppose 5*p = -4*x + 8 + 62, -3*x - z*p + 55 = 0. Let b = x + 19. Does 14 divide b?
False
Let a(g) = -g - 2. Let f be a(-7). Suppose -2*q = y - 46, -f*q = -q - 5*y - 106. Does 12 divide q?
True
Suppose 0 = 8*y - 9*y + 57. Let t = y - 35. Is 11 a factor of t?
True
Let x(v) = -44*v + 102. Is 46 a factor of x(-5)?
True
Suppose 4*k - 74 = 5*p - 7*p, 2*p + k = 68. Suppose -o - 3*f + p = 0, 2*o - 80 - 1 = -3*f. Suppose v = -i + 33, -v - 2*i = 2*i - o. Is 14 a factor of v?
True
Let j = -115 - -141. Is 7 a factor of j?
False
Let j(z) = -3*z**3 - 6*z - 3*z**3 + 1 + 2*z**2 + 2*z + 3*z. Let h be j(2). Let x = h + 73. Is x a multiple of 16?
True
Let h be 8/(-1) + (-3 - -3). Let s(r) be the first derivative of r**3/3 + 3*r**2 + 3. Does 8 divide s(h)?
True
Let w(c) = c**2 - 3*c. Let v be w(4). Suppose v*j = -1 + 13. Is (-2)/j - (-64)/6 a multiple