
Let k = 15 - 13. Suppose 112 = k*q + 270. Let o = 139 + q. Is o a multiple of 30?
True
Let o(a) = 38*a - 4. Suppose -21 = -3*p + 5*w, w = -2*w - 9. Let d be o(p). Suppose -5*x - d = -8*x. Does 12 divide x?
True
Let q(v) = v**3 + 3*v**2 - 46*v - 22. Is 40 a factor of q(12)?
False
Let l(v) = 6*v**2 - 6*v. Let n be l(-5). Suppose -9*w + 14*w - n = 0. Is 4 a factor of w?
True
Let a(k) = -k**3 + k**2 + 8*k - 2. Is a(3) a multiple of 3?
False
Suppose -2*x + 106 = 2*v + 2*x, 3*x = -12. Let n = v - -25. Let q = n - 42. Is 23 a factor of q?
False
Let s(g) = 2*g**2 - g + 17. Let h = 2 - -2. Does 9 divide s(h)?
True
Is (45/(-12))/(21/(-11480)) a multiple of 10?
True
Let k = 72 + -1. Let n be 1 + 14 - 18/(-11 - -5). Suppose -n = -o - 0*q + 3*q, -4*q + k = 5*o. Is 15 a factor of o?
True
Suppose -4*o = -5*v - 9669 - 4145, 3446 = o - 5*v. Does 18 divide o?
True
Let f be 3*(-2)/4*-2. Suppose 5*n - 303 = -f*w - 0*w, -5*n + 495 = 5*w. Does 12 divide w?
True
Let g be 30/(-21) - 8/14. Is ((-1)/g*-1)/((-2)/492) a multiple of 18?
False
Let t = 498 - 350. Let d = -249 + t. Let i = -72 - d. Does 12 divide i?
False
Let x be (3/6)/(-1 - (-39)/36). Suppose -792 = x*m - 14*m. Is 9 a factor of m?
True
Does 41 divide 16*(3 + 140/8)?
True
Let j(r) = -23*r - 2. Let c be j(-2). Let d = 115 + -44. Suppose -d = -5*m + c. Does 23 divide m?
True
Let q be 2979/45 + 1/(-5). Is 6 a factor of 3 + q/(-18) - (-258)/9?
False
Let v(s) be the first derivative of -s**3/3 + 6*s**2 - 15*s + 4. Let j be v(11). Is -2 + 2 + (-16)/j even?
True
Let d(y) = 382*y - 6 - 368*y + 4*y**2 - 5*y**2. Is d(8) a multiple of 6?
True
Is 30 a factor of 2/(12/2883)*(-66)/(-33)?
False
Let n(c) = -12 - c - c + 4. Let l(d) = -d - 7. Let b(a) = -6*l(a) + 5*n(a). Is 16 a factor of b(-10)?
False
Suppose 4*t - t = 0. Is t + 1 + 3 + 39 a multiple of 12?
False
Let v(d) = d**2 - 4*d - 12. Let i be v(8). Suppose 6*f = f + i. Suppose -n - f + 1 = -4*x, 5*n - 5*x = 60. Is n a multiple of 4?
False
Let b be (-8)/(-28) + (-680)/28. Is 4 a factor of (-3)/(-12) - (1770/b + 6)?
True
Let p(l) = 2*l - 14. Let h be p(11). Suppose -3*i + h + 7 = -3*f, 19 = -3*f - i. Let j(n) = -4*n - 16. Does 4 divide j(f)?
True
Is 5 a factor of 6 - (-182 + 6) - 7?
True
Let i = -29 - -149. Let c be ((-20)/6)/(20/i). Let v = 6 - c. Does 13 divide v?
True
Suppose 9*m = 12*m + 60. Let d = 107 + m. Is 7 a factor of d?
False
Suppose -2*i - 656 = -r - 2371, -3*r = 3. Is i a multiple of 11?
False
Suppose 0 = 5*m + 5*u - 72 + 2, u = 0. Let x be (-1*2 + 2)/1. Suppose -p + x*p + m = 0. Does 7 divide p?
True
Suppose 3 - 13 = -2*j. Suppose 5*w + 3*n = 400, 4*w - j*n - 399 + 116 = 0. Suppose -4*l - 3*p = -184, -w = -2*l + 4*p + 37. Is l a multiple of 17?
False
Suppose -7 = -3*p - 4*y, -3 = -p - 4*y + 3*y. Suppose 5*j - 765 = -5*t, -4*t + p*j + 612 = j. Does 19 divide t?
False
Let i(y) = y**3 + 15*y**2 + 13*y + 4. Let c = -8 + 3. Let f(p) = -2*p**3 - 30*p**2 - 25*p - 7. Let h(v) = c*i(v) - 2*f(v). Is 5 a factor of h(-14)?
False
Let w be (-21)/(-9) - 4/(-6). Is 20 a factor of 3*(w + 94/6)?
False
Let n(t) = -t**3 + 7*t**2 + 8*t - 2. Let l be n(8). Let v = -13 - l. Let d = 13 - v. Is 20 a factor of d?
False
Suppose 0 = r + 1 - 3. Let t(q) = 8 + 8*q**r + 3*q**3 - 4*q**3 + q**2. Is 2 a factor of t(9)?
True
Let q = 1751 - 541. Is q a multiple of 10?
True
Let v(g) = g + 22. Let w be 16/(-32) + 22/4. Does 18 divide v(w)?
False
Let z = -67 + 69. Suppose 5*f - u = 515, 4*f + z*u = 5*u + 423. Is 17 a factor of f?
True
Let b(i) = i**3 - 2*i**2 - i - 9. Let c be b(0). Let f = -3 - c. Does 5 divide f?
False
Let s = -3 + 3. Suppose s = 5*u - 2*h - 14, -5*u = -0*u + h - 23. Suppose -5*n + u*n + 75 = 0. Does 25 divide n?
True
Let n(z) = -2*z + 73. Does 9 divide n(10)?
False
Let n(j) = 13*j + 165. Is 45 a factor of n(15)?
True
Let z(l) = -l**3 + 17*l**2 + 25*l - 38. Does 4 divide z(18)?
True
Suppose -4*a = -2*z - 118, -4*a = -a + z - 96. Let o = 81 - a. Does 10 divide o?
True
Let o(s) = -4*s**2 + 3*s - 17. Let f(y) = -9*y**2 + 6*y - 34. Let a(z) = -6*f(z) + 13*o(z). Is 6 a factor of a(-5)?
True
Let i(k) = -k + 1 + 0 - k - 2 - k**2. Let x be i(-1). Is x + -2 + (17 - -1) a multiple of 7?
False
Let d = 22 + -22. Let u be -4*(0 + d + -1). Suppose 145 + 11 = u*v. Does 11 divide v?
False
Suppose 1635 = 3*d + 3*q, 3 = q - 2. Is 17 a factor of d?
False
Let f(t) = 4*t**3 + 15*t**2 + 5*t - 5. Let d = -18 - -15. Let u(h) = -3*h**3 - 14*h**2 - 6*h + 5. Let z(a) = d*u(a) - 2*f(a). Is z(-11) a multiple of 7?
True
Suppose 4*x - 5*t - 1147 = 0, -2*x + 592 = -4*t + 26. Is 63 a factor of x?
False
Let m be (-6 + -99)*(-2)/(-5). Let c = -39 - m. Suppose 68 = -4*f - 3*i + 176, -c*f + 4*i = -106. Is f a multiple of 15?
True
Suppose u + 0*u - 3*l = 15, -4*u - 3*l = -30. Is 25 a factor of ((-18)/4)/u*-178?
False
Suppose 0*n - 51 = -3*n. Let w = n + -13. Suppose w*d - 24 = -2*k, -3*d = -2*k + 4*k - 17. Is d a multiple of 4?
False
Let q(m) = 8*m**3 - 14*m**2 + 11*m + 8. Let d(r) = 7*r**3 - 13*r**2 + 10*r + 7. Let g(l) = -7*d(l) + 6*q(l). Is g(6) a multiple of 9?
False
Let b = 387 - 374. Is b a multiple of 11?
False
Let t(m) = -36*m + 114. Is t(-6) a multiple of 22?
True
Is 5 a factor of (-1)/(110/17292*4/(-10))?
False
Suppose 17*c + 4*x = 12*c + 1108, -3*x = 5*c - 1106. Is 22 a factor of c?
True
Suppose 5*v + 4 = 4*i - 12, 2*v = -2*i + 8. Let k be (4 + 1 + v)*1. Suppose 14 + 41 = k*s. Does 8 divide s?
False
Suppose 11232 = -1446*n + 1458*n. Is n a multiple of 39?
True
Let k be (7/1)/((4/(-38))/(-2)). Is 17 a factor of 5*18/30 + k?
True
Let r be -4*(-5)/(-20)*-2. Suppose -u - r*v + 72 = 3*u, -3*v = 0. Is u even?
True
Let s = 47 - 24. Let c(m) = -m**3 + 9*m**2 - 8*m + 22. Let q be c(8). Let r = q + s. Is r a multiple of 9?
True
Suppose 3*u = 2*u. Suppose 3*v + 0 - 9 = u. Suppose -66 = 4*d - 7*d + 2*g, -g = -v. Is 12 a factor of d?
True
Suppose 1290 = 9*q - 1626. Is 27 a factor of q?
True
Let a(q) = 127*q - 70*q + 0*q**2 - 73*q - 9 - q**2. Is a(-9) a multiple of 27?
True
Is 29 a factor of (-609)/(-42)*(0 - -2)?
True
Let c be -1 + -44 + (-12)/4. Let v = c - -55. Is 7 a factor of v?
True
Is (15963/85)/((-9)/(-30)) a multiple of 22?
False
Suppose 0*j + 4*j + 4 = 0, 2*j = 5*s - 12. Suppose s*u + u = 15, h + 3*u - 19 = 0. Is 9 a factor of (-180)/8*h/(-3)?
False
Let z(k) = k**2 + 3*k - 6. Let m be z(4). Suppose -20*s = -m*s + 270. Is s a multiple of 15?
True
Is 18604/14 - (-4 - 243/(-63)) a multiple of 30?
False
Let b(r) = -r**3 + 7*r**2 - 5*r + 2. Let p(h) = h - 2. Let g be p(6). Suppose g*m = 24 - 8. Does 20 divide b(m)?
False
Let s be 37/6 + (-9)/54. Suppose 84 + 474 = s*l. Does 31 divide l?
True
Let f = -28 - 8. Does 6 divide ((-15)/(-5))/3 - f?
False
Let i(y) = y**2 + y + 1. Let p(h) = 20*h**2 + 1. Let l(c) = -3*i(c) + p(c). Is l(-2) a multiple of 18?
True
Is 1*(-264)/(24/(-3)) a multiple of 15?
False
Let o be (-95)/(-15) + 2/3. Suppose 8 = o*f - 6. Suppose f*y - 2*k - 160 - 40 = 0, 3*y - 276 = -3*k. Is 24 a factor of y?
True
Let x(n) = -3*n - 24. Let i be x(-10). Let b(c) = -6*c - c + 10*c - 5*c + i*c**2. Is b(3) a multiple of 24?
True
Let s = -4 - 28. Let g = 30 + s. Let n(v) = -51*v + 3. Is n(g) a multiple of 35?
True
Suppose 46 = -3*l - 83. Let x = -24 - l. Does 9 divide x?
False
Let p(y) = -y**3 + y**2 + 3*y + 2. Let m be p(-2). Suppose -m*g + 7*g = -255. Is 15 a factor of g?
True
Let q = 302 - 11. Does 30 divide q?
False
Let p = 88 - 84. Does 5 divide 9214/238 + (-3)/((-42)/p)?
False
Let z(m) be the second derivative of m**4/12 + m**3/6 + m**2 + 6*m. Let l be z(0). Suppose -l*w = 3*d - 80, 3*d - w - 60 = 2*w. Does 8 divide d?
True
Let w = 1091 - 621. Is w a multiple of 34?
False
Suppose 0 = 9*v - 222 - 741. Is 21 a factor of v?
False
Let t be -32 + 0 + 2 + 0 + 0. Is (4/(-3))/(t/3825) a multiple of 15?
False
Suppose 0 = -3*h + 8*h - 5*u - 480, 4*u - 260 = -3*h. Does 23 divide h?
True
Let f = 1905 - 801. Is f a multiple of 16?
True
Let w(t) = t + 11. Let l be w(-8). Suppose l = z + 1. Suppose v + z*v = 27. Is v a multiple of 9?
True
Suppose 0 = -70*a + 72*a - 634. Is 6 a factor of a?
False
Let v(r) be the second derivative of -r**5/20 + 7*r**4/6 - 29*r**3/6 - 6*r**2 + 3*r + 1. Does 8 divide v(11)?
True
Let q = 55 - -161. Is 5 a factor of q?
False
Suppose 147 = 5*p - 4*p. Let h = p - 59. Is h a multipl