
Suppose -450 = -8*f - 58. Is (-33 + f)/(-2 + 1 - -2) a multiple of 10?
False
Suppose -5*j + 9*y - 8*y + 9991 = 0, 5*j + 2*y = 9973. Is j a multiple of 37?
False
Let f(v) = 25*v**2 - 27*v + 16. Let j be f(8). Suppose 2*a = -216 + j. Does 16 divide a?
True
Suppose -420*r = -437*r + 41055. Is 105 a factor of r?
True
Suppose -10 = -0*c + 2*c - 2*w, 4*c = -2*w + 10. Let m be (-17)/(-4) - (3 - (-33)/(-12)). Suppose -m*a + 80 = 3*x, c = 2*a + 3*x - 39 - 7. Is a a multiple of 7?
False
Suppose 4*k = 2*y - 1256, 3*k - 29 = y - 971. Let m = -224 - k. Is m a multiple of 9?
True
Suppose -2*s - 3*h = -2, 3*s = -2*h - 2 + 10. Suppose 35*j - s*k = 37*j - 866, -4*j - 2*k + 1744 = 0. Is j a multiple of 23?
True
Let o be (247/(-76))/((-3)/744). Suppose h - 794 = -b, -h = -2*h - 5*b + o. Is h a multiple of 16?
False
Is (1 - 1 - (-28)/7) + 44 + 3046 a multiple of 13?
True
Suppose 0 = -103*w + 5*w + 3*w + 598500. Is 28 a factor of w?
True
Let p(x) = -x**3 + 4*x**2 - 3*x - 3. Let y be p(3). Let n(d) = 8*d**2 - 2*d + 1. Let s be n(y). Suppose -2*i = -s - 29. Is 20 a factor of i?
False
Let o = -442 - -446. Suppose -5*q - 35 = 55. Let n = o - q. Is 3 a factor of n?
False
Let c = 41381 + -24325. Is c a multiple of 16?
True
Let m(k) be the second derivative of -22*k**3/3 + 7*k**2 + 11*k. Let g be m(-7). Suppose -g = -0*n - 2*n. Does 23 divide n?
True
Suppose -12*z - 166395 - 195205 = -62*z. Does 45 divide z?
False
Let o(m) be the second derivative of 7*m**5/20 - m**4/6 + 37*m**3/6 - 11*m**2 + 176*m. Does 52 divide o(5)?
True
Suppose -42 = -v + 4*s, -v + 54 = -134*s + 136*s. Is v a multiple of 10?
True
Let b = -16 - -14. Let r be -4 + -10*(b + 1). Is (-40)/r*(-5 - 13) a multiple of 24?
True
Let t = -86 - -74. Is (48/20)/(t/(-400)) a multiple of 49?
False
Suppose 8736 = -3*h - 9*h. Let p = -371 - h. Is 7 a factor of p?
True
Let u(t) = -4662*t + 193. Is u(-2) a multiple of 29?
False
Suppose -5*n - 1384 - 2234 = -2*c, 10*c - n = 18186. Is c a multiple of 17?
True
Suppose f + 3*q - 3150 = 0, -4*f + 12525 = 31*q - 34*q. Is f a multiple of 19?
True
Let w(s) = -2*s**3 + 3*s**2 - s + 17. Suppose 0 = -5*v - 4*q - 9 - 0, 0 = -4*v + q - 24. Let o be w(v). Suppose -o = -9*c + 517. Does 10 divide c?
False
Let y(q) = -q**3 + 96*q**2 - 446*q - 88. Is y(89) a multiple of 13?
True
Suppose -l + 9*l - 12757 = -3021. Is l a multiple of 2?
False
Suppose l = 10*k + 14805 + 90, -l + k = -14814. Is 47 a factor of l?
True
Does 2 divide (-7)/(11 + 4184/(-380))?
False
Let g = -838 + 1546. Does 59 divide g?
True
Let p(f) = f**3 + 55*f**2 - 168*f - 900. Is 35 a factor of p(-40)?
True
Is (-89146)/(-14) + -14 + (-1410)/(-105) a multiple of 4?
False
Let l = 18180 + -9540. Is 15 a factor of l?
True
Let c = 730 - 203. Suppose -5*y - 167 = -c. Does 18 divide y?
True
Let n(o) = o**3 - 6*o - 3. Let b be 0 - (-6)/(12/10). Does 23 divide n(b)?
True
Let j(s) = 238 + 0*s**2 - 258 - 31*s - s**2. Is 4 a factor of j(-16)?
True
Is -415*(-1 + (15 - 24)) a multiple of 25?
True
Suppose 0 = -282*p - 861896 + 11414900. Is p a multiple of 162?
True
Let z = -2483 + 2507. Does 3 divide z?
True
Let l(t) = -4*t**2 - 3*t - 3. Let j be l(3). Let d be (26/(-22) - -1) + j/(-22). Suppose -15 = 3*q, -7*p - d*q = -11*p + 234. Is 14 a factor of p?
True
Suppose 12*o - 7*o - 415 = 0. Let p = 82 - o. Does 39 divide 256 + p + (-5)/20*0?
False
Let z be (6/(-24) - 1)*148. Let a be (-1 - z) + 9/(-9). Suppose -a - 81 = -11*t. Is 4 a factor of t?
True
Suppose 0 = -k - 3*g + 11 + 3, 3*k + 5*g - 26 = 0. Suppose 3*t = -u - t + 118, k*u = -4*t + 224. Is u a multiple of 34?
False
Suppose 8*i = 9*i - 1628. Suppose 4*y - 1297 = 3*u, -2*u + 5*u - i = -5*y. Is y a multiple of 13?
True
Suppose -2*n - k = 3*k - 12, -4*n - k = -17. Suppose q + h - 719 = 0, -5*q + 3444 = -n*h - 169. Is q a multiple of 21?
False
Suppose -3*k - 2*k + 15 = 0. Let w be -23*(6/k - 3). Is w - (2 + -3)*1 a multiple of 12?
True
Let d(m) = m + 23. Let w be d(9). Is 49 a factor of w/8 + (110 - 1)?
False
Let d = 4 - 2. Suppose 481 = 7*u + 502. Does 4 divide d/(-7) + 662/14 + u?
True
Suppose 3*g - 5*n = -1766 + 187, -4*n + 1052 = -2*g. Let k = g + 1024. Is 8 a factor of k?
True
Let v be 4 + -4 + 0 + 4. Let c be (v - 4) + 1 + -4. Does 15 divide c/27*-6*147?
False
Let b(a) = 2*a**2 - 8*a + 2. Let n = 53 + -43. Suppose -6*m = -4*m - n. Is 2 a factor of b(m)?
True
Suppose 0 = 5*l - o - 12, -3*l + 2 = -5*o - 14. Suppose -7 = -p + r, -l = -4*p - 5*r - 10. Suppose -40 = -p*s + 2*s. Is 11 a factor of s?
False
Let i = -2471 - -14754. Is i a multiple of 9?
False
Let a(j) = -6*j**3 + j**2 + 9*j + 16. Let o be a(-7). Suppose 0 = -6*f + f + o. Let r = -274 + f. Is r a multiple of 18?
False
Let w(u) = 115*u - 2772. Is w(90) a multiple of 8?
False
Let q(s) be the first derivative of 13*s**2/2 + 72*s - 134. Is 12 a factor of q(0)?
True
Let f = -114 - -258. Suppose 0*d + 3*d - 3*t = -231, 2*d - 4*t = -f. Let o = 73 - d. Does 31 divide o?
True
Let v be ((-20)/(-25))/((-1)/15). Is 1023 - v/16*(-4)/1 a multiple of 15?
True
Is 3 a factor of (5/(-2))/(200/(-79440))?
True
Suppose 0 = 482*z - 525*z + 228717. Does 9 divide z?
True
Let o(z) = -z**3 - 19*z**2 - 20*z - 27. Let i be o(-18). Suppose -i = 2*g + g. Let f = g - -35. Does 5 divide f?
False
Let q(a) = 10 + a**3 - 2*a**3 + 4*a + 4*a**2 + 1. Let r be q(5). Does 17 divide 32 + (-7)/((-21)/r)?
True
Let c = 12517 - 21595. Is (c/(-51))/((-4)/(-6)) a multiple of 40?
False
Suppose -68 + 48 = -4*t. Suppose -4*a - t*v = -1467, -7*v + 4*v - 1843 = -5*a. Is a a multiple of 23?
True
Let q(u) = -6*u**3 + 6*u**2 + 12*u - 2. Let j(r) = -5*r**3 + 5*r**2 + 13*r - 3. Let s(z) = -4*j(z) + 3*q(z). Is 25 a factor of s(6)?
False
Let k(v) = v**3 + 6*v**2 + 4*v + 16. Let f be k(-6). Does 44 divide 9*f/12 + 314?
True
Let g(n) be the second derivative of n**5/30 - 11*n**4/24 - 13*n**3/3 + 7*n**2 - 3*n. Let m(l) be the first derivative of g(l). Is m(11) a multiple of 21?
False
Suppose -117*x = -107*x - 64520. Suppose 0 = 5*v - 4*u - 8732 + 668, 0 = -4*v + 4*u + x. Is v a multiple of 21?
False
Let d be (-827448)/(-56) + 1/7. Let a be (-4)/26 - d/(-52). Suppose 3*b + 5*r + 66 - 247 = 0, 4*b - 4*r - a = 0. Is 10 a factor of b?
False
Let a(n) = 89*n**2 + 56*n - 175. Is 3 a factor of a(-8)?
True
Suppose -60 = 2*s - 3*s - f, s + 3*f = 54. Let n = -57 + s. Suppose 0 = 5*p + 5, 2*k - n*p + 3*p = 181. Does 24 divide k?
False
Let p be (12/10)/(54/(-135)) - -525. Suppose -5*h - 3*j + 6*j = -536, -p = -5*h - 4*j. Is 3 a factor of h?
False
Let h = 64353 - 34407. Is h a multiple of 23?
True
Let f = 170 + -180. Is 3 a factor of (-35)/f*24/2?
True
Suppose -186790 = 443*n - 4894551. Is n a multiple of 5?
False
Suppose 2184 = i - b, 0 = -4*i - 5*b + 6*b + 8736. Does 84 divide i?
True
Suppose -62*m + 40*m - 29376 = -38*m. Is m a multiple of 108?
True
Suppose 34*l - 923885 + 51310 = -61*l. Is l a multiple of 24?
False
Let q(n) = 9*n**2 - 306*n + 365. Is q(57) a multiple of 14?
False
Let n = 266 + -24. Let x = 836 - n. Does 6 divide x?
True
Suppose 9*l - 735 = 822. Let v = l + -128. Is 45 a factor of v?
True
Suppose 0 = j + j - 3*f - 225, 95 = j + 2*f. Does 7 divide j?
True
Let l(g) = 2*g**2 + 28*g + 38. Let h(n) = n**3 - 8*n**2 + 7*n + 2. Let c be h(7). Let x = c - 20. Is l(x) a multiple of 18?
False
Let z = 36 + -33. Suppose 10 = -z*b + 22. Suppose -b*p + 332 = -4*o, p - 84 = o + o. Is p a multiple of 41?
True
Suppose 4*i - 2 = -4*d - i, -5*i = 2*d + 4. Suppose -5*v = -d*v - 376. Let z = v + -116. Is z a multiple of 12?
True
Let g = 110 + -111. Let u be 208/(-64)*484*g. Suppose -16*b + 5*b + u = 0. Is b a multiple of 32?
False
Suppose -9978 = l - 7*l + 2430. Does 97 divide l?
False
Let t(z) = 85*z**2 - 10*z - 35. Let c be t(-4). Let d = c + -780. Does 28 divide d?
False
Let x(v) = -170*v - 525. Is 126 a factor of x(-11)?
False
Suppose 11*x - 231 = 1551. Is 6 a factor of x?
True
Let l(o) = 4*o**2 - o - 57. Let i = 97 - 106. Is 23 a factor of l(i)?
True
Let z be 3*3/3 - (-3)/(-3). Suppose 12 = 2*g + z*g. Suppose 3*k = -2*r + 70, -7*k + 3*k - g*r = -92. Is 12 a factor of k?
False
Let l be (1 - (1 + 0))/2. Suppose -x = -4*o + 359, o + l*o = -2*x + 92. Suppose 12 = 4*f, 5*s + 2*f - 411 = -o. Does 7 divide s?
True
Let c be 4/22 - (-8136)/264. Let k(x) = -x**2 + 34*x + 123. Is k(c) a multiple of 54