iple of 11?
True
Let z(b) = -37*b**3 + 11*b**2 + 41*b + 162. Does 28 divide z(-8)?
False
Let s(q) = -47*q + 7. Let k be s(-1). Let t = -57 + k. Is -6*5/(-35)*(-336)/t a multiple of 12?
True
Let r be (-3)/(-4) - (-6)/24 - 1. Suppose r = -7*f + 13*f + 750. Let c = -80 - f. Does 15 divide c?
True
Let a(v) = -v**2 - 17*v + 58. Let m be a(9). Let i = 373 + m. Does 11 divide i?
False
Let v(l) = l**2 - 5*l + 8. Let p be v(4). Suppose p = -3*c + 4*c - k, 3 = c - 2*k. Suppose -2*m - 4 = y - 15, c = y. Is m a multiple of 2?
False
Suppose 3 - 68 = -5*z. Is -6 + z/(13/126) a multiple of 15?
True
Let r(n) = -n - 1. Let s(c) = -3*c - 6. Let u(z) = 6*r(z) + s(z). Let l(b) = -9*b**2 - b + 2. Let d be l(1). Is 12 a factor of u(d)?
True
Let q = -81 + 93. Suppose q = 4*d, -3*h + 3*d + 5 - 14 = 0. Suppose t + h*t - 44 = 0. Is t a multiple of 5?
False
Let m = -856 + -275. Let v = -621 - m. Is v a multiple of 7?
False
Suppose -4*u = 3*r - 111, 0*u + 2*u - r = 53. Suppose -3*h = 2*h - 5, -3*k - 3*h = -u. Suppose 2*y + 396 = k*y. Does 33 divide y?
True
Let n(v) = v**3 + 32*v**2 - 9*v - 70. Let y be n(-30). Is 5 a factor of y/(-32)*(1 + -5)?
True
Is 1647*(49 - (-5 + 27)) a multiple of 17?
False
Suppose 96 = b + 11. Let k be 4/(-2) - (1 + b). Does 9 divide (1/(-2))/(2/k)?
False
Let c be 428/18 + -12*5/(-270). Does 17 divide (c/(-6))/((-4)/(-1772)*-2)?
False
Let z = 180 - 154. Suppose -l + z = -9. Does 34 divide l?
False
Let q be (-6)/8 + (-57)/(-12). Suppose -2*t + 1366 = q*a - 7*t, 2*t = -2*a + 674. Suppose 4*z - 3*f - a = 0, 0 - 84 = -z + f. Is 28 a factor of z?
False
Let z(q) = -2*q**3 - 128*q**2 - 104*q - 276. Does 11 divide z(-64)?
True
Let u(n) = -n**3 - 8*n**2 + 8*n - 3. Let z be u(-9). Suppose 21 = z*g - 189. Suppose -2*w + 0*h = 3*h - g, 85 = 4*w + 3*h. Does 25 divide w?
True
Suppose -210*i = -11413 - 60827. Is 11 a factor of i?
False
Let k(g) = g - 4. Let y be k(2). Let p(h) = 6*h**2 + 10*h - 21. Let l(w) = 2*w**2 + 3*w - 7. Let a(i) = y*p(i) + 7*l(i). Is a(5) a multiple of 12?
True
Let s(v) = 1318*v**3 + 100*v - 199. Is 97 a factor of s(2)?
False
Suppose 0*m - 3*m = -3*s + 9, 4*s + m - 17 = 0. Suppose -s*h = 343 - 1015. Does 34 divide h?
False
Let m be ((-208)/(-8) + -6)*-21. Let c = m - -494. Does 7 divide c?
False
Let s = 18095 - 17015. Does 6 divide s?
True
Let y be (-3*(3 - 5))/((-6)/4). Let f be (y + 2)/((-2)/1). Is 10 a factor of ((-138)/(-15))/((-27)/30 + f)?
False
Let b(t) = -t**3 - 24*t**2 - 24*t + 35. Suppose 0 = -3*k - 6, 9*m + 63 = 6*m + 3*k. Is b(m) a multiple of 3?
False
Suppose -6*u - 2725 = -835. Let r = u - -375. Does 5 divide r?
True
Is ((-4060026)/(-117) - 24) + (-1)/13 a multiple of 20?
False
Suppose 4*x + 0*x + 978 = 2*z, 6 = -2*z. Let b = x - -304. Does 58 divide b?
True
Let u = -36 - -38. Suppose 0 = -5*s - u*h + 509, s + 4*h - 88 = -h. Is s + 7 + (-6)/2 a multiple of 25?
False
Suppose 5*h - 95 = 3*w, 14 + 24 = 2*h + 5*w. Let a = h + 149. Does 57 divide a?
False
Suppose 5*u + g = 64093, 19 - 22 = -g. Is 17 a factor of u?
True
Let v(q) = -24*q**3 - q**2 - 3*q - 5. Suppose -14*j + 15 = 57. Is 10 a factor of v(j)?
False
Let c(j) = 280*j**2 - j + 10. Is c(-3) a multiple of 33?
False
Let x be (-2)/10 - (-3444)/(-205). Let i(u) = -10 - u - u + 2. Does 5 divide i(x)?
False
Let r = -33 + 34. Suppose 2*k - 1 = r. Is (k - 2)/((-318)/105 + 3) a multiple of 5?
True
Is 9 a factor of 7 + -7 - 7 - (0 - (8 - -55925))?
True
Suppose 0 = 5832*h - 5802*h - 354510. Is h a multiple of 13?
True
Let c = -344 - -212. Suppose 784 = -99*q + 103*q - 2*r, -4*r = 2*q - 392. Let f = q + c. Is f a multiple of 16?
True
Let m = 1903 - 1003. Suppose -4*i + 1430 = -5*w, 0 = 5*i + 4*w - 908 - m. Does 30 divide i?
True
Suppose 7304 - 1412268 = -37*u. Is 70 a factor of u/24 - 2/12?
False
Suppose -292*d + 117065 = 2*t - 293*d, 58522 = t - 2*d. Is 36 a factor of t?
True
Suppose -4*t + 82 - 30 = 0. Suppose t - 7 = u. Suppose s - u - 21 = 0. Does 19 divide s?
False
Let n(y) = -y**2 + 8*y + 15. Let h be n(10). Let k be 5 - (2 - h/(-5)). Suppose -k*q + 234 = -q. Is 6 a factor of q?
True
Suppose -5*c - 1702 = -4*f + 651, f - 470 = c. Let i = -155 - c. Is 31 a factor of i?
False
Let q = 165 - -1075. Suppose -776 - q = -6*g. Is g a multiple of 24?
True
Let k be (((-24)/(-9))/(-8))/(2/(-6)). Suppose 0 = 4*d - k - 15. Suppose -d*s + 68 = 20. Is s a multiple of 4?
True
Suppose 0 = -2*w + 8, -3*w - 3 = 2*d - 25. Suppose 2*o = -0*o + 78. Let j = o + d. Is j a multiple of 12?
False
Let c be (-9635)/(-7) - (70/49 - 2). Suppose -29*k + 11209 = -c. Does 55 divide k?
False
Let o(v) = v**3 - 5*v**2 - 6*v + 11. Let d be o(6). Suppose -4*a - d = -59. Is a a multiple of 6?
True
Let v = 5120 - 4970. Does 30 divide v?
True
Let o be -6 - -4*(-3)/(-6) - -14. Suppose v - 3*v = -o. Let w(n) = 3*n + 17. Is w(v) a multiple of 10?
False
Let i(y) = -671*y - 1903. Is 22 a factor of i(-25)?
True
Suppose -4*r - a - 29 = -4*a, -2*r - 20 = 4*a. Is 24 a factor of (2/r)/1 - 26425/(-100)?
True
Is (4/(-3))/(10439122/347973 + -30) a multiple of 13?
False
Let f(a) = a**3 + 3*a**2 + 2*a. Let g = -19 + 17. Let z be f(g). Suppose z = -n + 5, -5*y - 5*n + 279 = 29. Is 9 a factor of y?
True
Let n be (6/(-7))/((-12)/56). Suppose 4*r - 348 = -0*r - n*g, -3*r + 276 = -2*g. Does 15 divide r?
True
Let n(c) = 1052*c + 3570. Is 115 a factor of n(20)?
True
Suppose 213*g = 176*g + 36778. Is 14 a factor of g?
True
Let a = 6059 - 3391. Is 58 a factor of a?
True
Suppose -11*f + 32710 + 42442 = 0. Is 19 a factor of f?
False
Suppose -5*x - 5 + 20 = -5*z, -3*z - 2*x - 14 = 0. Let j be (-12 - (-3 - z))/(-1*1). Let d = j - -11. Is 12 a factor of d?
True
Suppose 12*q - 1110 = 15*q - 18765. Does 4 divide q?
False
Let h(l) = 2817*l**2 + 6*l - 2. Does 53 divide h(1)?
False
Let s(n) = -n**3 - 12*n**2 - 19*n - 86. Let j be s(-11). Suppose -38*d + 39*d + 1363 = j*i, -1378 = -2*i - 2*d. Is i a multiple of 36?
True
Let j(m) = 5*m + 4. Suppose 5*b + 43 - 8 = 0. Let o be j(b). Let c = -22 - o. Is c a multiple of 9?
True
Suppose 25*t = 30871 + 28079. Suppose 2*j - 472 = -z + j, 5*z = -4*j + t. Is 33 a factor of z?
False
Let n(v) = 13*v**3 - 2*v**2 - v. Let g be n(1). Suppose g*f - 1560 - 1140 = 0. Is f a multiple of 54?
True
Let w(q) = -3*q**3 - 15*q**2 + q + 12. Let p be w(-5). Suppose -5*k + p*k + 140 = 4*a, -3*a + 91 = 2*k. Does 4 divide a?
False
Suppose 16*p + 61 = 269. Suppose -p*g + 18*g - 1400 = 0. Is g a multiple of 35?
True
Let v = 49 + -50. Let j(p) = 51*p + 3. Let y(i) = i - 1. Let a(n) = -j(n) + 2*y(n). Is 11 a factor of a(v)?
True
Suppose 18*b = 3*b + 45. Does 3 divide (b - (-58)/10)*20/4?
False
Suppose -v + p = 7, 3*p - 33 = 3*v + 2*v. Is 4/v + (-120701)/(-129) a multiple of 55?
True
Suppose 71*g + 32*g = 300451. Is g a multiple of 12?
False
Suppose -6*m + 17 = -5*m. Let u = m + -11. Let i(a) = 3*a**2 - 6*a + 4. Is i(u) a multiple of 19?
True
Let x(s) = -28*s**3 - 5*s**2 + 11*s - 11. Let k(p) = 14*p**3 + 3*p**2 - 6*p + 6. Let b(r) = -7*k(r) - 4*x(r). Suppose -1 - 1 = -2*z. Does 12 divide b(z)?
False
Suppose 1641*g - 47535 = 1636*g - 5*v, 28518 = 3*g + 2*v. Does 96 divide g?
True
Let c(m) = -270*m - 399. Does 183 divide c(-13)?
True
Let j = 3148 - 2924. Does 8 divide j?
True
Let d = -6382 + 12102. Is d/(-33)*(-1)/((-5)/(-24)) a multiple of 8?
True
Suppose -53678 = -2258*t + 2254*t - 5*a, -40293 = -3*t + 2*a. Is t a multiple of 41?
False
Let f = 540 + -536. Does 14 divide f*(-4)/16 + 942?
False
Let z(y) = 12*y - 62. Let w be z(4). Is (-2)/(-4) + (-5229)/w a multiple of 8?
False
Let v(o) = o**3 - 7*o**2 + 8*o + 8. Let f be v(7). Suppose -f + 4 = -2*u. Is u a multiple of 3?
True
Let g = 36 - 35. Let f be (((-10)/g)/5)/(4/(-6)). Suppose -4*x + 76 = -3*a, -x + 2*x - 34 = -f*a. Is x even?
True
Let w be ((-81)/(-6))/9*538. Let p = w - 699. Is 18 a factor of p?
True
Suppose -8*g - 743 - 689 = 0. Let m = 575 + g. Is m a multiple of 11?
True
Let t = 43 - 25. Let s be 94/t - (-6)/(-27). Suppose 5*j + 4*b - b - 177 = 0, s*b + 149 = 4*j. Is j a multiple of 4?
True
Let k(l) = -6*l + 22. Let p be k(4). Does 6 divide -14*(-1)/p*-2?
False
Let l(o) = -2*o**2 + o + 1. Let g be l(-3). Let v be 15/g - (-2085)/12. Let j = v + -87. Does 8 divide j?
False
Let t(m) = 3*m**2 + 3*m - 3. Let g be t(1). Suppose -4*i = -g*p - 16, 4*i + 4*p = 3*p. Is 3 a factor o