uppose 5*z + 3*x + 14 = z, 3*z + 10 = -2*x. Is 21 a factor of 1*(z/5 + 1902/30)?
True
Let f = -296 - -536. Is f a multiple of 15?
True
Suppose 0 = -116*d + 163800 + 109496. Is 88 a factor of d?
False
Suppose 7 = -5*c + 32. Suppose 20 = c*t - t. Suppose -t*k = -0*k - 110. Is 6 a factor of k?
False
Let y(p) = 25*p + 106. Is 15 a factor of y(42)?
False
Let m = 43 + -21. Suppose 25*x - m*x - 192 = 0. Is x a multiple of 32?
True
Suppose -2*a = 5*u - 1327, -5*u + 523 = -3*a - 824. Let v = u + -183. Let s = -24 + v. Is s a multiple of 33?
False
Suppose 0 = 2*o + 4*q - 116, q - 326 = -17*o + 12*o. Does 33 divide o?
True
Suppose -2*a + 202 = -y, a - 4*y - y - 101 = 0. Let l = 195 - a. Is l a multiple of 35?
False
Let l(o) = 13*o**2 - 26*o - 73. Does 65 divide l(-14)?
False
Suppose 0*y - y + 46 = 4*u, -2*u + 3*y = -16. Suppose -s + u = -13. Is 5 a factor of s?
False
Suppose 23 = -2*r - 17. Let w be 9/(2/(2 + 0)). Is 6/(w/3) - r a multiple of 11?
True
Let m = 222 + -21. Suppose -124 = -5*o + m. Is o a multiple of 20?
False
Let f be 6*(-1)/(1 - 0). Does 26 divide (3 + f)*(-26)/3?
True
Let y = 70 - -61. Is 18 a factor of y?
False
Let c = 42 - 21. Let r = -2 + c. Let t = r + 35. Is t a multiple of 8?
False
Let a = 8 + -8. Suppose a*l = 11*l - 209. Is l a multiple of 19?
True
Let h(q) = q**3 - 5*q**2 + q + 2. Let i be h(5). Let n be (-2)/i + (-312)/(-14). Suppose -2*m - 2 = -2*k - 18, 0 = 4*m + k - n. Is m a multiple of 6?
True
Let c(x) = x**3 + 3*x**2 - 3*x - 1. Let j be c(-4). Let d = 23 + j. Is d a multiple of 6?
True
Let f(b) = b**2 - 4*b - 2. Let a be f(-2). Let p(k) = k**2 - 8*k + 5. Is 10 a factor of p(a)?
False
Let j = 5387 + -2297. Suppose u + 6*h = 2*h + 1030, 3*h - j = -3*u. Is 14 a factor of 2/11 + u/22?
False
Suppose 12*o = 9*o + 1152. Suppose 3*j + 480 = 4*p + p, -4*p - 4*j = -o. Is p a multiple of 24?
True
Suppose 0 = -q + 2328 - 78. Does 75 divide q?
True
Suppose 4*m + 6*y - 3*y + 16 = 0, 17 = -5*m - 3*y. Let t be m/4 + 29/4. Suppose -32 = -u - 3*w, -w + t = -5*u + 215. Is 13 a factor of u?
False
Let k = -623 - -1056. Is k a multiple of 21?
False
Suppose 6*k = -3*k + 4167. Does 7 divide k?
False
Let t = -17 - 6. Suppose -5*c + 117*k = 116*k - 403, -k = -2*c + 163. Let j = c + t. Does 13 divide j?
False
Suppose 0 = 4*b - 6*b + 10. Suppose b*f = 6*f. Suppose -2*u + 14 + 20 = f. Is 9 a factor of u?
False
Suppose 0 = d - s + 5 + 15, 2*d = s - 44. Let b = d - -36. Is b a multiple of 8?
False
Suppose 0 = -12*s - 28 - 32. Let t = s - -74. Is 13 a factor of t?
False
Suppose -72*i + 64*i = -392. Is 2 a factor of i?
False
Let x(a) = 7*a**2 - 7*a + 24. Is x(7) a multiple of 9?
False
Suppose 140 = -9*u - 184. Let z = u + 114. Is z a multiple of 11?
False
Let z be (-6 - -4)*(-3 + 2). Suppose -3*x = -37 - 11. Suppose 38 = z*s - x. Is s a multiple of 27?
True
Let c = 3 + 0. Suppose -30 = -2*w - c*w. Does 12 divide 6/9 + 212/w?
True
Let v = 9 + -5. Suppose o + 2 = 2*f + 6*o, 0 = 3*f - v*o - 26. Is f a multiple of 6?
True
Suppose 0 = 11*v - 2066 - 1630. Does 21 divide v?
True
Is ((-78)/(-4))/(7 + (-41)/6) a multiple of 7?
False
Suppose 5*f = 3*f. Let x be (-2 - 5/(-2))*f. Suppose -m = -x*m - 97. Does 29 divide m?
False
Is 4/32*4*174 a multiple of 8?
False
Let s = 1 - -4. Suppose 5*x - w = 3*w + 36, 0 = s*w + 20. Suppose 4*t - h = 16, -x*t + 2*h + 7 = -t. Is t a multiple of 2?
False
Suppose 343 = x - 43. Let t = x + -245. Is 15 a factor of t?
False
Let i be (-3)/(-1)*(-471)/(-18)*2. Suppose -7*y + i = -123. Is 9 a factor of y?
False
Suppose 935 = -5*h + 5*d, -4*d = 3*h + 2*h + 944. Let r = -48 - h. Is 13 a factor of r?
False
Let d(w) be the third derivative of w**7/2520 + w**6/80 + w**5/20 - w**4/8 - w**2. Let y(i) be the second derivative of d(i). Does 9 divide y(-12)?
False
Let j(g) = -2*g**2 + 3*g - 4. Let z be j(-4). Let i be (-84)/z + 2/8. Is (0/1)/i - -9 a multiple of 3?
True
Let h(o) = -2*o + 2. Let d be h(-7). Suppose -5*k = -64 - d. Does 13 divide k?
False
Let h be -2*(-4)/(-20)*205. Let v = h + 166. Does 20 divide v?
False
Suppose -8 = n - 35. Let u be 1 + (-1956)/(-54) - 2/9. Suppose 3*m + 2*x - u = n, -m + 4*x + 40 = 0. Is 12 a factor of m?
True
Suppose 5*a = 4*m - 288, -m + 146 = m - 2*a. Suppose 66 = 2*h + 8. Let t = m - h. Is t a multiple of 24?
True
Let y(x) = -8*x + 43. Let l be y(5). Suppose g = -3*n + 96, n - 15 - 17 = -l*g. Does 4 divide n?
True
Suppose -11*c + 16*c - 259 = -2*p, -5*c = -4*p + 503. Is p a multiple of 6?
False
Does 7 divide (21/9)/((-1)/3) + 1941?
False
Suppose i + 33 = 2*i. Suppose 0 = -n + 6 - 3. Suppose i = n*x - 51. Is 14 a factor of x?
True
Let c(r) = r**2 - 7*r + 14. Let y be c(3). Suppose -y*f - 5*f + 1113 = 0. Is 14 a factor of f?
False
Let b(y) be the third derivative of -y**5/30 - 7*y**3/6 - 8*y**2. Let z(s) be the first derivative of b(s). Is z(-4) a multiple of 7?
False
Suppose -150 = -3*m + 48. Let d = m - 36. Is d a multiple of 15?
True
Let g be (-2)/(-8) + 12/16. Let c(v) = 113*v**2 - v. Is 14 a factor of c(g)?
True
Let r be (-33)/(-6)*(-16)/(-2). Let k = 202 - r. Suppose -47 = 3*w - k. Is w a multiple of 6?
False
Suppose 31*m - 58927 = -11497. Is 30 a factor of m?
True
Let j(f) = 22*f**2 + 6*f - 6. Does 63 divide j(-5)?
False
Suppose 2 = 2*k - 10. Suppose 2*g - 6 = -m + k, -2*m = -2*g + 24. Suppose -3*z - g = -32. Is 8 a factor of z?
True
Suppose 0 = 3*c - 3*v + 18, c + 3*v = 6 - 4. Is c - 74*(-5 + 4)/1 a multiple of 5?
True
Let j(l) = -l + 4. Let b be j(-4). Suppose b = m + 3*w + 1, -2*m - 4*w + 18 = 0. Is m a multiple of 3?
False
Suppose 28 = -2*b + 80. Let f be (-4)/b + (-1564)/(-26). Suppose 3*m + 0*m = f. Is m a multiple of 5?
True
Let b be -7*(-2 - 16/(-14)). Let q be (-3)/b - (-1)/(-2). Is -44*(4 + -3)*q a multiple of 11?
True
Suppose 0 = 3*i - 4*t + 16, -t + 5 = -4*i + 1. Let c = i - 0. Suppose c = -0*b - 2*b + 36. Is 18 a factor of b?
True
Let q(j) = j**3 + 35*j**2 - 19*j - 49. Is 22 a factor of q(-35)?
True
Suppose 0*x = -4*x - 16. Let d be ((-7)/(-2))/(x/8). Let f = 31 + d. Is f a multiple of 5?
False
Suppose h + 2*t + 9 = 0, -2*h + h - 5 = -2*t. Let u be 7 + -10 + (1 - h). Let f(b) = -b**3 + 6*b**2 + 2*b - 3. Is f(u) a multiple of 32?
True
Let y be (2 - 0) + -6 + 9. Suppose -y*n + 14 = -11. Suppose -2*k + 5*x = -27, -k - 9 = -0*k + n*x. Does 2 divide k?
True
Suppose i + 0*i = 7. Let y(h) = 3*h**2 - 4*h + 1. Let k(n) = 2*n**2 - 3*n + 1. Let q(g) = -4*k(g) + 3*y(g). Does 16 divide q(i)?
True
Suppose 158*l - 18193 = -3*h + 156*l, 5*h = 5*l + 30280. Is 13 a factor of h?
False
Suppose 323 = 12*n - 829. Is 12 a factor of n?
True
Suppose 2*i - 561 - 400 = -5*m, -4*i - 2*m + 1962 = 0. Does 18 divide i?
False
Let k be 6 - (2 - 2)/(-4). Suppose -45 = -k*t + 3*t. Is (-2)/(-3) - (-125)/t a multiple of 4?
False
Let u(d) = d - 8. Suppose 0*k = 3*k - 18. Let o be u(k). Is 2 a factor of o/5 + (-162)/(-30)?
False
Suppose -5*v = -m - 25, 2*v - m + 4 - 17 = 0. Suppose -2*d + v*d + 16 = 0. Does 6 divide (-266)/d + (-19)/76?
False
Suppose c + 615 = 2*n - 508, 2*n - 5*c = 1103. Is 8 a factor of n?
False
Suppose -w = -5*v + 2 - 3, 0 = -4*w + 5*v + 19. Suppose -w*c + 248 = -4. Let k = c + -33. Does 3 divide k?
True
Suppose -z = z + 3*b - 549, 3*z - 3*b - 846 = 0. Suppose -4*f = 39 - z. Is f a multiple of 15?
True
Let a be ((-1)/(-2))/((-1)/(-8)). Suppose 3*v + 4*f - 2770 = 6*f, -3693 = -a*v + 3*f. Does 26 divide v/12 + -1 + 1?
False
Let u = 683 + -596. Is 87 a factor of u?
True
Let l be (-8 - 0)*(-1)/2. Suppose 2*u + h = -3*h + 104, -l*h + 224 = 4*u. Is 15 a factor of u?
True
Let h(w) = -17*w - 1. Suppose p + 15 = 10. Is h(p) a multiple of 21?
True
Suppose 0 = -23*x + 25*x - 1238. Suppose -x = -8*j + 365. Is 41 a factor of j?
True
Suppose v = 0, -3*w + 2*v = -0*w - 720. Does 48 divide w?
True
Let a(l) be the first derivative of 49*l**2 + 10*l - 32. Is 30 a factor of a(2)?
False
Let g(s) = s**2 - 28*s + 380. Is 4 a factor of g(14)?
True
Suppose 1518 = -7*h + 12109. Is 71 a factor of h?
False
Let d = -200 + 536. Does 3 divide d?
True
Let t(a) = -a**3 + 12*a**2 + a + 8. Let s be t(12). Suppose -22*w + 216 = -s*w. Is 30 a factor of w?
False
Let w = -20 + 263. Is w a multiple of 13?
False
Suppose 6*h - 5 = h, -u - 2*h = -2. Suppose 3*l - 9 = -u. Suppose 0 = -2*s + 5*j + 61, -l*s = -6*s + 3*j + 69. Is 9 a factor of s?
Tru