 y a multiple of 12?
True
Suppose -3*k = -5*i - 25, 4*i = -0*k + 4*k - 20. Suppose 0 = -k*w + 4*w - t - 471, -2*t = 5*w - 579. Is w a multiple of 39?
True
Let u be 14889/(-49) - 1/7. Let x = -184 - u. Does 30 divide x?
True
Let t(z) = z**3 - 24*z**2 + 47*z - 71. Does 19 divide t(27)?
False
Let n(y) = 4*y**3 - 4*y**2 + 6*y - 89. Is n(5) a multiple of 3?
False
Let b be (10/20)/((-1)/108). Let o = b - -81. Is 26 a factor of o?
False
Let b = 28 + -40. Let k(u) = u**2 + 6*u - 18. Does 17 divide k(b)?
False
Let l(u) be the third derivative of u**6/120 - u**5/12 - u**4/6 - 7*u**3/6 - 8*u**2. Let w be l(5). Let b = w - -70. Is 12 a factor of b?
False
Suppose -2*y = -168 - 368. Let j = -52 + y. Suppose -6*w = -3*w - j. Is 12 a factor of w?
True
Let c = 2046 - 1458. Is c a multiple of 42?
True
Let s be (-172)/24 + 1/6. Let j(z) = -z - 1. Let g be j(s). Suppose -53 = -x - g. Is x a multiple of 9?
False
Let l(t) = 5*t - 41*t**2 - 41*t**2 + 81*t**2. Let i be l(5). Suppose 2*w + i*w = 50. Does 22 divide w?
False
Suppose 40 = -76*y + 84*y. Suppose -5*m - 15 = -4*l, -l = 3*l + 5*m + 15. Suppose u + 0*u - 3*k - 69 = l, -4*k + 326 = y*u. Is u a multiple of 22?
True
Suppose 0*n = -2*n - 74. Let f = 91 + n. Is 9 a factor of f?
True
Let j = -15 + 18. Suppose j*p = -3 + 108. Let y = p + -13. Does 11 divide y?
True
Suppose 21*d - 20*d + 10 = 0. Is (-878)/(-10) + (-2)/d a multiple of 11?
True
Suppose -k + 353 = 296. Is k a multiple of 7?
False
Suppose 0*g - 8 = 4*g. Does 15 divide (5/g*8)/((-14)/42)?
True
Let n be (-48)/(-2) - (-5 - -2). Suppose 4*g = 5*i + 163 + n, -5*i - 145 = -3*g. Let y = -31 + g. Is y a multiple of 3?
False
Let o(h) = 4*h**2 + 49*h + 47. Is 16 a factor of o(-12)?
False
Suppose -240*h - 9954 = -261*h. Is h a multiple of 9?
False
Suppose -b - b = 3*o + 285, -3*o = -3*b - 465. Is (-1 + 6)*(-1680)/b a multiple of 28?
True
Suppose 2*p + 3*p - 75 = -2*m, 3*p - 66 = 3*m. Suppose -21 = -2*r + p. Does 6 divide r?
False
Suppose 2 = 4*f - 6. Let u = 20 + f. Does 11 divide u?
True
Let d(w) be the first derivative of 3*w**7/40 - w**5/120 + 14*w**3/3 + 9. Let n(r) be the third derivative of d(r). Is n(1) a multiple of 14?
False
Let f be (-2 + 6)/((-1 - 4)/(-160)). Suppose f = -21*q + 29*q. Is q a multiple of 16?
True
Let f = -660 - -698. Is f a multiple of 9?
False
Suppose -3*i + 15403 = 2692. Is i a multiple of 19?
True
Let n(p) = 34*p - 3. Suppose -3*r = -3*u - 30, -6 = -3*r - 3*u + 6. Is n(r) a multiple of 47?
True
Let x(d) = -22*d + 1. Let j be x(1). Is (-1)/((j/6)/7) a multiple of 2?
True
Let q(j) = 3*j**2 + 11*j - 10. Suppose 12 = -46*h + 44*h. Is q(h) a multiple of 4?
True
Suppose 9*a - 15 = -5*f + 4*a, a = 5*f - 27. Is (f + -23)*((-104)/3)/4 a multiple of 12?
True
Suppose -27*i + 1131 = -246. Does 3 divide i?
True
Suppose 5*g + 2 + 0 = 2*v, -5*v + 3*g + 5 = 0. Let z = v - -1. Suppose 20 = -c + z*c. Does 10 divide c?
True
Let p be 4 + 2*3/(-3). Let l(j) = -p + 4*j + 18*j - 6. Is l(4) a multiple of 16?
True
Let d = -295 - -481. Is d a multiple of 31?
True
Suppose -2*s = 3*v - 99, 105 = 3*s - s - 3*v. Suppose n - s = 57. Is n a multiple of 18?
True
Suppose -5*w + 4*y + 2829 = -1014, -2*w + 5*y = -1544. Does 61 divide w?
False
Let j = 1165 - 351. Is j a multiple of 17?
False
Let l = 7 - 3. Suppose -3*g = x + x - 72, 91 = 3*x - l*g. Is x a multiple of 9?
False
Let m be (12/(-8))/(2/(-4)). Let j(d) = 1 + 2*d**3 - m*d**2 - 17*d - 5 + 16*d. Does 5 divide j(3)?
True
Does 54 divide 19/114 - (-3287)/6?
False
Suppose -33*x = -31*x - 818. Does 6 divide x?
False
Suppose 13*c - 8*c = 20. Suppose c*f - 274 = -74. Is 25 a factor of f?
True
Suppose -7*x - 30 = -2*x. Let o be -10*-3*(-1)/x. Suppose -2*s + 49 = -5*p, 4*p + 42 = o*s - 89. Does 9 divide s?
True
Suppose 3*l = p + 9, 2 + 19 = 3*l + 3*p. Suppose -l*v + 12 = -236. Is 12 a factor of v?
False
Let a(o) = -24*o**3 + 2*o**2 - o. Let l be a(2). Let n = l + 266. Is n a multiple of 8?
True
Let u = -49 - -66. Suppose 54 + u = h. Is 10 a factor of h?
False
Suppose -7*r + 112 = 7. Suppose 3*u - 157 = -3*y - 43, 5*u = r. Is 9 a factor of y?
False
Suppose 0 = 3*g + g - 3*p - 38, 2*g = 3*p + 22. Let q = -17 + g. Let z = q + 49. Is 10 a factor of z?
True
Let s(h) = h - 2. Let c = 9 - -3. Let z be s(c). Let u = 19 - z. Is u a multiple of 9?
True
Let n(q) = 3*q**2 + 4*q - 4. Let o(k) = -k**3 + 16*k**2 - 15*k + 3. Let t be o(15). Does 8 divide n(t)?
False
Is ((-4263)/(-7))/((-6)/(-6)) a multiple of 28?
False
Let i(n) = n - 3*n**2 + 4*n**2 - 8*n + 4*n - 17. Is 33 a factor of i(-10)?
False
Let n = -1779 - -3466. Does 13 divide n?
False
Let m(q) = q**2 - 5*q + 3. Suppose 2*t = 2*u + 6, 6 = -t - 2*t. Does 10 divide m(u)?
False
Let m(w) = 4*w + 4. Let k be m(6). Let j = k - -7. Is 5 a factor of j?
True
Let c(a) be the second derivative of a**5/20 + a**4/12 + a**3/6 + 3*a**2/2 - 2*a. Let o be c(0). Suppose -o*b + 108 = -0*b. Is 18 a factor of b?
True
Suppose 3*m - 5*m + 14 = 0. Let w = 11 - m. Suppose -o + 71 = 2*c, 3*o - 73 = 2*o - w*c. Is 23 a factor of o?
True
Does 7 divide -3 - (4705/15)/(3/(-9))?
True
Is 11/(-165) + 118804/60 a multiple of 36?
True
Let h(k) = -k**3 - 8*k**2 - 5*k - 3. Let g be h(-7). Let b(m) = 3*m - 39. Let t(z) = 11*z - 155. Let w(i) = -9*b(i) + 2*t(i). Does 29 divide w(g)?
False
Let j = -615 + 628. Let r = 40 + -11. Let n = r - j. Does 4 divide n?
True
Suppose 2*u + 6*y - 222 = 2*y, 3*y - 459 = -4*u. Suppose -8*p + 1933 = u. Does 27 divide p?
False
Let f(w) = -w**2 + 3*w - 4. Let g be f(0). Is 34 a factor of 3039/9 - g/3?
False
Let m = 65 - 53. Suppose -m*n + 90 = -3*n. Is n a multiple of 3?
False
Let r be ((-7)/14)/(2/(-152)). Suppose 2*p - 35 = 5*y, -y = 3*p - 23 - r. Is p a multiple of 10?
True
Let v(l) = l + 15. Let o be v(-11). Suppose 0 = o*s + s - 645. Suppose -3*n = -6*n + s. Is n a multiple of 13?
False
Let q = -129 + 180. Is 51 a factor of q?
True
Suppose 0 = 47*o - 9926 - 30400. Is o a multiple of 22?
True
Let g(h) = 2*h**2 + 16*h - 11. Let o(v) = 17 - 3*v**2 + 4 - 46*v + 15*v. Let a(t) = -5*g(t) - 3*o(t). Does 14 divide a(9)?
True
Let i = 133 - 222. Let z = 26 - i. Is 23 a factor of z?
True
Suppose 2783 = 4*f - 4*w - 3273, -2*f = 4*w - 3058. Is 7 a factor of f?
True
Let k = 437 - 451. Let i(o) be the second derivative of o**3/6 + 35*o**2/2 - 2*o. Does 6 divide i(k)?
False
Let i be 18/(-24) - 78/(-8). Suppose -4*m = -i*m + 35. Suppose -p + 60 = -m*w + 2*w, -p = -2*w - 48. Does 10 divide p?
True
Suppose -5*h + 8*h - 15 = 0. Suppose 4*i + 2*j - 14 = -0, 5*i + h*j = 10. Is i a multiple of 5?
True
Let z be (-39)/(-9) + (-3)/9. Suppose z*c + 0*n - 4 = -3*n, 3*c - 2*n - 20 = 0. Suppose 4*d - c = 20. Is 4 a factor of d?
False
Let s(v) = 28*v + 351. Does 27 divide s(9)?
False
Let s be 1 + 9/(18/4). Suppose 5*v + s*l = -0*v + 632, -5*l = 3*v - 392. Suppose 9*b - 13*b + v = 0. Does 7 divide b?
False
Let f(t) = t**2 + 8 + 23*t + 7*t + 0*t**2 + t**2. Is 16 a factor of f(-20)?
True
Let n = -34 + 20. Is (2 - 152)*7/n a multiple of 24?
False
Let q(h) = -20*h + 21. Let c be q(-6). Suppose 157 = -i + 553. Suppose -5*w - c = -i. Is 17 a factor of w?
True
Let l(c) = -c**3 + 11*c**2 - 9*c - 6. Let h be l(10). Let p = h + -1. Suppose 2*m - 71 = 5*g, -2*m + p*g = m - 120. Is 18 a factor of m?
False
Let h(v) = -v**3 + 6*v**2 - 16*v + 9. Is 5 a factor of h(-6)?
False
Is 89 a factor of (70/(-25))/(6/15) - -350?
False
Let i be (-766)/(-16) + (-6)/(-48). Let c = i + 4. Suppose -c = -2*n - 3*u, 2*u - 129 = -4*n - 25. Is n a multiple of 7?
False
Is 7 a factor of (-189)/2*15/(720/(-928))?
True
Let f = 102 - 102. Suppose -4*s + 8 = f, 3*w = -2*s + 28 + 249. Does 16 divide w?
False
Is 57 + 3*(2 + (-3 - 0)) a multiple of 5?
False
Let d(y) = 5*y**2 + 2*y + 5. Suppose 0 = 3*f - f, 20 = -4*l - f. Is 40 a factor of d(l)?
True
Does 13 divide 0 - 0 - -234 - 0/12?
True
Suppose -119 = -7*m + 35. Let i = 49 - m. Does 19 divide i?
False
Suppose -63*i + 67*i = v + 911, v - 1150 = -5*i. Is 67 a factor of i?
False
Let a(w) = 5*w**2 + 4*w + 3. Let j be a(-1). Suppose 0 = j*p - 234 - 398. Is p a multiple of 33?
False
Let p(q) = 3 + 4*q**2 - 6 - 2*q + q**3 + 2. Let r = 1364 - 1368. Is p(r) a multiple of 2?
False
Suppose 4*j = j + 9. Suppose 4*b - j*c = 144, -b + c - 2*c + 36 = 0. Does 9 divide b?
True
Is 19 a factor of (-8432)/(-3) - 2/(-6)?