 multiple of 12?
True
Suppose -5*p + 9 = -4*o - 0, 0 = -o + 4*p - 5. Let n be -2 - (1 + -3 + o). Does 2 divide (-434)/(-56) + n/4?
True
Suppose -20*d = -14*d - 2610. Does 15 divide d?
True
Let i(m) = -m**3 + 4*m**2 - 7*m + 4. Let d be i(7). Let k = -128 - d. Does 12 divide k?
False
Suppose -23*o + 27*o = 8. Suppose 147 = l + 5*t, -5*t + 60 = o*l - 219. Does 12 divide l?
True
Suppose -6*u + 2*n + 1383 = 5*n, -5*n = -3*u + 698. Does 7 divide u?
True
Suppose 3*x + y = -0*y + 9, -5*x + 4 = -2*y. Suppose 4*q = 18 + x. Suppose 4*k - 3*k - 28 = -q*l, -5*k + 5*l + 20 = 0. Is 8 a factor of k?
True
Let w = 3 + -5. Let q be w*(2 + (-25)/2). Suppose 3*b = -q + 69. Does 7 divide b?
False
Let c be (-1)/(-1)*(5 + 40). Let m = 89 - c. Is 9 a factor of m?
False
Let v = 398 - 640. Let u = 470 + v. Suppose j = -3*j + u. Is 26 a factor of j?
False
Suppose -5*l + 678 = 4*q, -l + 147 = 4*q + 21. Does 6 divide l?
True
Let l = 14 + -8. Suppose -6*a + 3*u = -2*a + 15, 0 = 4*a + 2*u + 30. Is 3 a factor of l/2 - a/2?
True
Let d = 23 + -1. Let q = d - 78. Is (q/20)/(2/(-70)) a multiple of 14?
True
Suppose 3*b = 4*b + 5, 5*z + 3*b - 75 = 0. Is 3 a factor of ((-2)/(-5))/((z/(-6))/(-210))?
False
Let j be (4/16)/(1/8). Let i(y) = 16*y - 16. Let z be i(12). Suppose o = -3*h + 2*o + 105, 5*h - j*o = z. Does 7 divide h?
False
Let g = -61 + 120. Let a be (g - (-4 + 0)) + 2. Let y = 102 - a. Is 10 a factor of y?
False
Let f(a) = -a + 10. Let p be f(8). Suppose 169 = -4*q + s, 12 = 2*q - p*s + 98. Does 10 divide (3/3)/((-2)/q)?
False
Let h(q) = q**2 - 5*q + 2. Suppose -5*s + 16 = 1. Let b be h(s). Does 9 divide b/((-2)/9 - 0)?
True
Suppose 0 = 4*i + 2*m - 240, -3*m - 65 = -2*i + 71. Let g = -111 - -75. Let n = g + i. Is n a multiple of 13?
True
Let x = -382 - -546. Is 4 a factor of x?
True
Suppose g - 5*o + 96 = 31, -o - 59 = g. Let b = 80 - g. Is b a multiple of 28?
True
Let n(c) be the first derivative of -5*c**2/2 - 17*c + 6. Does 38 divide n(-11)?
True
Let b = -66 + 75. Does 2 divide (-3 - b - -1)*-1?
False
Suppose -2*p - 8 = -0, 2*p + 1424 = 4*k. Is 22 a factor of k?
False
Let m(v) = v + 13. Let k be m(-11). Let o(n) = 27*n**3 + 2*n + 12*n**3 + 0*n**2 - n**k + 2*n**3 - 1. Is o(1) a multiple of 9?
False
Suppose 2*n - 19 = -y, 0 = -2*n + 5*y - 16 + 5. Let l(c) = -4*c + n*c + c. Does 6 divide l(5)?
False
Suppose -13662 = 77*m - 88*m. Is m a multiple of 27?
True
Suppose 3*y + 2*y = 2*y. Suppose y = 8*p - 4*p - 88. Does 5 divide p?
False
Suppose 0 = -5*t + 54 - 44. Suppose -t*d - 1245 = -7*d. Is 33 a factor of d?
False
Let o be 2/(-9) + 1507/99. Let z = o + 48. Is z a multiple of 15?
False
Let w = -28 - -33. Suppose 352 = w*b - 4*d, 4*b - 370 = -b - 5*d. Is b a multiple of 36?
True
Suppose -2*s + 27 = 183. Does 31 divide (-17928)/s - 2/(-13)?
False
Suppose -8 = -7*r + 3*r. Suppose -q + 102 = r*q. Is q a multiple of 34?
True
Let v be (-1)/(-4) - (-921)/(-4). Is 3/((-4)/v*(-25)/(-20)) a multiple of 23?
True
Let q(a) = 3*a**2 + 2*a + 3. Let r = 5 + -2. Does 8 divide q(r)?
False
Suppose 32 = -7*y + 11*y. Let k be ((-14)/(-4))/(-7)*-40. Let u = k - y. Does 6 divide u?
True
Let k(j) = -j**3 - 3*j**2 + j. Let z be k(-4). Suppose 4*o + u = -z, -4*o - 12 = 3*u - u. Does 2 divide o/7 + 295/35?
True
Suppose -3*p - 5*j = -4*p + 90, 5*j = -3*p + 210. Let z be 3 + (-10*14)/(-5). Let t = p - z. Is t a multiple of 17?
False
Suppose 4188 = o + u, -50*o - 2*u - 20926 = -55*o. Does 19 divide o?
False
Does 96 divide (-6)/42 - (-18823)/49?
True
Let q(t) be the first derivative of 5*t**2/2 - 3*t - 2. Suppose -i + v + 4 = 0, -4*v = -5*i - 6 + 31. Is 14 a factor of q(i)?
True
Let h = 2253 + -1063. Is h a multiple of 70?
True
Suppose -2 = j, 3*j - 222 - 260 = -2*a. Is 17 a factor of a?
False
Let z = 30 + -56. Let n = 44 + z. Is 18 a factor of n?
True
Let m = 6 + -3. Let z(j) = -2*j**2 + 3*j**3 + 1 + 0*j**3 + j - 2*j**m + j**2. Is 4 a factor of z(2)?
False
Let r be (144/9)/(3 - 2/2). Suppose r*m - 1 = 327. Is 2 a factor of m?
False
Let r(h) be the first derivative of -h**4/4 - 3*h**3 + 4*h**2 - 10*h + 1. Let u = 26 + -36. Does 4 divide r(u)?
False
Let y(k) = -2*k**3 - 4*k**2 - 3*k - 3. Let w(a) = 2*a + 7. Suppose -3*m = 4*x + 15, 2*m + 4*x = -0*m - 10. Let d be w(m). Is y(d) a multiple of 24?
True
Let t(k) be the first derivative of -9*k**2 - 18*k - 22. Is 9 a factor of t(-7)?
True
Suppose 4 = -h, 4*l - 7*l - 2*h = -463. Let m = 387 - l. Is 46 a factor of m?
True
Let h be ((-78)/(-5))/(231/(-30) - -8). Let p = 3 - 1. Suppose 4*o = -p*u + h, o + 5*u - 7 = -3. Does 4 divide o?
False
Suppose 2*x + 35 - 101 = 0. Let p(g) = -4*g - 61. Let m be p(-16). Does 34 divide (1 + x)/(1/m)?
True
Suppose 638 = 9*v - 199. Is 3 a factor of v?
True
Let n be -8*((-25)/(-10) + 4). Let o = n - -68. Is o a multiple of 8?
True
Let z(d) = 11*d**2 + 40*d - 3. Does 8 divide z(-5)?
True
Let l(i) be the first derivative of -i**3/3 - i**2 + 40*i - 7. Let u be l(0). Is 466/8 + (-10)/u a multiple of 9?
False
Let r = 139 - 127. Suppose r = -10*s + 442. Does 2 divide s?
False
Let x = 30 + -28. Suppose 0 = 3*o - x*j - 19, 8*j - 5*j = -4*o + 48. Is o a multiple of 3?
True
Let k(j) = j**3 + j**2 - 2*j - 2. Let c = -1 - 1. Let v be k(c). Let q(z) = -5*z**3 - z - 1. Is q(v) a multiple of 15?
False
Suppose 4*w - g = -181, 0 = 5*w - g + 92 + 133. Let r = w + 190. Suppose 5*i - r = 3*v, -3*i = 5*v - 26 - 82. Does 4 divide i?
False
Is 2/(-8)*(-1534 + 2) a multiple of 28?
False
Suppose -4*w = -h - 8, 3*w = 4*w + 3*h + 11. Let v = w + 18. Does 19 divide v?
True
Let j(a) = a + 13. Let v be j(-8). Let l(c) = c**2 + 6*c + 7. Let w be l(-5). Suppose 2*s = v*n + 28 + 45, 3*n + 63 = w*s. Does 12 divide s?
True
Let i = -11 - -9. Does 14 divide 32 - (0 - i)*2?
True
Suppose 0 = -w - 3*t + 59, -243 = -5*w - 5*t + 12. Is w a multiple of 2?
False
Let c = 72 + -26. Let a = c - -3. Is a a multiple of 7?
True
Let g = 116 + -55. Let f = -28 + g. Does 9 divide f?
False
Suppose 7 = n - 58. Suppose 4*l = 3*l + n. Suppose 3*x - 133 = -5*g, -2*x = -5*g - 57 - l. Does 17 divide x?
True
Suppose 6*o + 275 = 11*o. Is 25 a factor of (111/5)/(11/o)?
False
Let m(u) = 6*u**2 - 2*u + 5. Let q be m(8). Let k = 565 - q. Is 16 a factor of k?
True
Suppose 0 = -2*o + 5*o - 5*m - 483, 3*o + 3*m - 459 = 0. Suppose -o = -3*g - 3*r - 0*r, 3*g - 170 = 4*r. Is 10 a factor of g?
False
Suppose 3*i - 355 = -4*a, -i - 255 = -3*i + a. Is i a multiple of 48?
False
Suppose -9*s + 55 = -4*s. Suppose 4*o + 19 = q - s, -27 = -q + o. Let p = 39 - q. Does 8 divide p?
False
Let v(q) = -q**2 - 16*q + 9. Let a be v(-15). Let k = a + 23. Does 9 divide k?
False
Suppose 0 = 4*y + 3 - 11, -158 = -2*i + 5*y. Let v = i - 55. Is 7 a factor of v?
False
Let y(o) = o**3 - 6*o**2 + 8*o + 2. Let x be y(4). Suppose -7*f = -x*f - 105. Is 7 a factor of f?
True
Suppose -472 = -3*n - 3*b + 71, 3*b - 177 = -n. Is 20 a factor of n?
False
Let j(s) = 11 - 3 + 6 - 4*s**2 + 3*s**2 - 13*s. Let y be j(-14). Suppose -5*g = 2*f - f - 11, -4*f + 3*g + 67 = y. Is 16 a factor of f?
True
Let b(q) be the first derivative of -3*q**2/2 + 5*q + 779. Suppose 4*c - 25 = k, k - c - 5 = 3*k. Does 12 divide b(k)?
False
Suppose 4*t - 1892 = -4*y, 228*t - y = 226*t + 955. Is 17 a factor of t?
True
Is 18 a factor of 150/(-275) + 51120/66?
True
Is 13 a factor of -2 + (-112)/(20/(-5))?
True
Let m(k) = k**2 + k - 1. Let o be m(5). Does 12 divide (2 - 0) + 65 + o?
True
Is (-12)/30 - (-2802)/30 a multiple of 11?
False
Suppose -3*q = -0*q. Suppose -2*u + 185 - 65 = q. Is 6 a factor of u?
True
Let v(i) = -277*i + 66. Does 61 divide v(-3)?
False
Suppose 0 = -4*o - 3*i + 3107, -4*o - 21*i + 23*i = -3122. Is o a multiple of 41?
True
Suppose 2168 = 5*i - 2*o - 178, 3*o = i - 477. Is 21 a factor of i?
False
Suppose -4*t = 3 + 5, 0 = 3*u + 3*t - 54. Does 12 divide (24/u)/(2/130)?
False
Let u(n) be the third derivative of n**6/120 + 2*n**5/15 + 5*n**4/24 - 7*n**3/6 - 13*n**2. Is u(-5) a multiple of 8?
False
Suppose -4*y + 2*l - l - 17 = 0, -5*l + 40 = -5*y. Suppose 4*w + 0*w - 84 = 0. Is 13 a factor of y - (1 + 0 - w)?
False
Is (1373/2)/(9 + (-34)/4) a multiple of 17?
False
Suppose 0*b - 3*q = -b, -q = 3*b. Suppose 6*m - 72 - 342 = b. Is 10 a factor of m?
False
Suppose -17*h + 2528 = -9*h. Is 16 a factor of h?
False
Let u(j) = -3*j - 27. Let d(m) = 3*m - 2