
Suppose -2*w + 4*z = -w + 13, 3*w + 13 = -z. Let v(y) = y**2 + 3*y - 6. Let m be v(w). Suppose u - 8 = m. Is 3 a factor of u?
True
Let s be -3 + (-14)/4*8/(-14). Let y be (-3 + 1)*(-2 - 5). Is y + s*(7 + -4) a multiple of 11?
True
Suppose 711*r - 372 = 707*r. Is r even?
False
Let s be (20/(-6))/(20/(-150)). Suppose -15 = -m - s. Is (4/6)/(m/(-195)) a multiple of 13?
True
Suppose 56*i - 380 = 60*i. Is (-108195)/i + (-2)/(-19) a multiple of 20?
False
Suppose w + 16*i = 18*i + 11, w - 3*i = 12. Suppose -144 = 5*n - w*n. Is n a multiple of 6?
True
Let l(a) = 269*a - 5333. Is 14 a factor of l(65)?
True
Let a = 227 - 227. Let l(g) = -18*g**2 - g + 90. Does 10 divide l(a)?
True
Is 112 a factor of 16565/75 - 6/(-45) - (1 - 4)?
True
Suppose -17*o + 308 = -10*o. Suppose -408 = o*y - 50*y. Let g = y + -29. Does 5 divide g?
False
Suppose -j = -5*j + 12. Let g = 2 + j. Let t(y) = 13*y + 19. Is 12 a factor of t(g)?
True
Let f = 32869 - 10399. Is 107 a factor of f?
True
Let d(r) be the third derivative of -r**7/840 + r**5/60 + r**4/2 - 5*r**3/6 + 13*r**2. Let x(a) be the first derivative of d(a). Does 12 divide x(0)?
True
Suppose 2*s = 5*z + 76 + 74, z - 3*s = -17. Let h be 8/z + (-7570)/(-8). Is 4 a factor of (-4)/(-6) - h/(-66)?
False
Let p(z) = 52*z**2 + 70*z + 361. Is p(-5) a multiple of 16?
False
Suppose -2*r + 2*h = 1580, -r + 5*h - 155 = 623. Let j = r + 1207. Is j a multiple of 9?
True
Suppose -4*n = -8, -57 = -2*l + n + 3. Let f = 363 - l. Suppose -31*z - f = -35*z. Is 13 a factor of z?
False
Let j(i) = -i**3 + 9*i**2 + 23*i + 6. Let u be j(11). Suppose u*d - 13*d = 1184. Does 8 divide d?
True
Is (-64 + 58)*(-297 + 3) a multiple of 12?
True
Suppose 2*c = -8, 3*u = -11*c + 7*c + 24311. Does 6 divide u?
False
Suppose -12*r = -15*r - 27. Let h = 199 - 258. Let j = r - h. Does 5 divide j?
True
Let v(l) = -l**3 - 29*l**2 - 4*l - 68. Let z(s) = s**3 - 15*s**2 + 49*s - 20. Let o be z(10). Is v(o) a multiple of 52?
False
Let x be 2435 - 7/(-21)*-3. Suppose -x = -4*b + 510. Is 21 a factor of b?
False
Suppose -281*n = -6005753 + 1839647. Is 200 a factor of n?
False
Suppose -3*a - 3*s = 32 - 2, -a = 2*s + 9. Let p(n) = -2*n - 21. Let h be p(a). Is 6 a factor of ((-34)/h)/(1 - 2)?
False
Suppose -3*r = -11*r + 4888. Let t = -322 + r. Is t a multiple of 17?
True
Let i = 10472 + -1988. Is i a multiple of 93?
False
Let i(o) = o + 9. Suppose 3*c - 3*v + 30 = 0, 6*c - c = 3*v - 42. Let f be i(c). Suppose 5*x = 0, p - f*p + 118 = 3*x. Does 9 divide p?
False
Let q be 230*((-45)/(-6) + -7). Let n = -3 + q. Is 7 a factor of n?
True
Let m(v) = 1925*v**2 - 22*v - 46. Is 18 a factor of m(-3)?
False
Let w(t) = -9*t + 100 - 17 + 4 + 17 + 105*t. Is 4 a factor of w(3)?
True
Let s(q) = -3*q + 16. Let t be s(3). Suppose t*a - 141 = 188. Does 12 divide a?
False
Let k(g) = 35*g + 16 - 17*g - 17*g. Let x be k(-13). Suppose l - x*q = 24, -4*l - 3*q = -50 - 76. Does 30 divide l?
True
Let s(q) = -65*q + 5. Let c be s(8). Let t = 895 + c. Suppose -4*n - n = -t. Is n a multiple of 7?
False
Suppose 626 = 30*m - 4. Suppose -16*k = -m*k + 1610. Is k a multiple of 23?
True
Let q = -408 - -407. Let d = 196 + q. Does 18 divide d?
False
Suppose -7*p = -3*p + 588. Let a = 221 + p. Suppose k + 2*f - 4*f = a, k + 5*f - 95 = 0. Is k a multiple of 9?
False
Let l(y) = 89*y - 210. Suppose 58*o - 47*o - 77 = 0. Does 7 divide l(o)?
True
Let n(f) = -f**3 + 4*f**2 + 7*f - 6. Let j be n(5). Suppose -r = a - 14 - 32, -j*r = -2*a - 214. Suppose 4*z = r + 33. Does 3 divide z?
True
Let h(s) = -124*s + 9189. Does 5 divide h(22)?
False
Let r(f) = -f**3 - 8*f**2 + f + 4. Let i(d) = -d**3 - 7*d**2 + d + 3. Let t(o) = -7*i(o) + 6*r(o). Let p be t(0). Does 25 divide p - ((-2 - 95) + 0)?
True
Suppose 0 = 4*p + 6*g - 42948, -p + 5*g + 4913 = -5837. Is p a multiple of 20?
True
Let c = -153 - 87. Let r be (1 + -98)/(9 + -12 - -4). Let t = r - c. Is t a multiple of 39?
False
Let c = 37 + -19. Let r be 3424/c - 8/36. Is 10 a factor of ((-4)/(-2))/(19/r)?
True
Is ((-990)/(-20))/(9/888) a multiple of 28?
False
Let m(f) = f**3 + 9*f**2 - 13*f - 27. Let l be m(-7). Let g = l - -121. Is 11 a factor of g?
False
Suppose -2*v - 48 = f - 7, -f = 5. Let i(j) be the third derivative of -5*j**4/24 - 14*j**3/3 - 4*j**2. Is 31 a factor of i(v)?
True
Let n = 54 - 50. Suppose -3*r + n*a + 3 = 0, 6*a - a = 15. Suppose -z - 710 = -r*o + 200, -o + z = -182. Is 13 a factor of o?
True
Suppose 1439199 = 463*u - 572*u + 5105632. Is 29 a factor of u?
False
Suppose -81 = -i - 28. Suppose -8*o = -25*o + 85. Suppose -3*c + 146 = 2*m - c, m - i = -o*c. Does 11 divide m?
False
Let d be 833/(-56) - 1/8. Let h be ((-6)/d)/((-2)/(-1430)). Let l = h + -185. Is 29 a factor of l?
False
Let y(w) = w**3 + 17*w**2 - 97*w - 266. Is 45 a factor of y(26)?
True
Let q be 4/120*-3 - 51804/(-40). Suppose 3*y = 5*u + 1543 + 419, -u = 2*y - q. Is 33 a factor of y?
False
Let a = 1423 + -559. Let w = -680 + a. Is 56 a factor of w?
False
Suppose -k - l + 17 = 0, 71 = k + 4*k - 2*l. Let u = k + -17. Let w(o) = -o**3 + 3*o**2 + o - 4. Is w(u) a multiple of 7?
True
Let q = -3528 - -5496. Suppose 0 = -5*r + 47 + q. Is 34 a factor of r?
False
Let z = 6306 + -219. Does 11 divide z?
False
Let g be 785*(18/30)/3. Suppose -t = -48 - 57. Let s = g - t. Is s a multiple of 13?
True
Let i be (-1)/(2/4) - (-928)/58. Let f = -11 + 9. Let w = i + f. Does 6 divide w?
True
Suppose -6 = -0*k + k + u, 0 = -2*k + 3*u - 12. Let x(y) = -y**3 - 7*y**2 - 7*y - 6. Let o be x(k). Suppose o = 4*z - 0*z - 132. Is 10 a factor of z?
False
Let h be -2 - 0 - 39*(-88)/24. Suppose -h*f + 1800 = -138*f. Is 75 a factor of f?
True
Suppose -13*g + 45 = -4*g. Suppose -4*s + 1833 + 6 = 3*a, g*a = 4*s - 1831. Is s a multiple of 60?
False
Let m(r) = r**3 + 6*r**2 + 2. Let v be m(-6). Suppose -5*d = -2*h + 117, -3*h - 5*d = v*h - 275. Suppose -s + 12 = 4*l, -2*s + h = s + 2*l. Is 10 a factor of s?
True
Let s(k) = 18*k**2 + 1726*k + 430. Does 2 divide s(-102)?
True
Suppose s - 53616 = -5*u, -5*s + u + 107199 = -3*s. Is s a multiple of 17?
True
Suppose -20 = -3*v - v + 2*w, 15 = v + 2*w. Let p(a) = -9*a - v + 3*a**3 - 2*a**3 - 2*a**2 + 18. Is p(5) a multiple of 9?
False
Suppose -2*o + 23753 = -c, 5*c + 9817 = o - 2073. Is 15 a factor of o?
False
Suppose 2*a + 527 = o + 92, 0 = 4*o + 3*a - 1740. Let y = -281 + o. Is y a multiple of 22?
True
Let f = 44 + -44. Suppose -h + 3*w + 497 = 3*h, -4*h - 2*w + 482 = f. Suppose -h = -2*u - 16. Is 6 a factor of u?
False
Let y be (146 - 1)*572/110. Let n = y + 329. Is 71 a factor of n?
False
Suppose 4*q = 4*h - 1436, 18 - 30 = 3*q. Let o = h + -225. Does 4 divide o?
False
Let v(m) = 4*m**3 + 11*m**2 - 23*m + 10. Let n be v(5). Let a = -262 + n. Is 10 a factor of a?
False
Let d = -568 - 267. Let g = -571 - d. Is 12 a factor of g?
True
Let w(z) = 162*z - 40. Let g be w(19). Suppose -6*v + 10766 - g = 0. Is v a multiple of 14?
True
Let g(u) = -3*u + 7*u - 5*u + 155. Is g(0) a multiple of 29?
False
Suppose -2*f = c + 6216, 3*f + 3*c + 2*c + 9338 = 0. Is 28 a factor of f/(-3) + (0 - (-5)/(-15))?
False
Let h = 68 - 65. Suppose p + 3*w = 0, -6*w + h*w = 0. Suppose 0 = -p*c - 6*c + 150. Is 12 a factor of c?
False
Suppose 6 = -2*q, 6955 = 69*m - 68*m + 5*q. Does 34 divide m?
True
Let z be 472 - (0 + 2 + -2). Suppose 37*m - 38 = 628. Is (-4)/m + (z/9)/2 a multiple of 10?
False
Suppose 18 = j + 16. Suppose 121 = 4*n - 5*z, -j*z + 5 = -3*z. Is n a multiple of 8?
True
Let c(w) = -w**3 - 13*w**2 + 10*w - 31. Suppose -9*q - 5 = -4*q, 5*q + 9 = t. Suppose t*j + 46 = 5*p - 0, j + p = -16. Is 25 a factor of c(j)?
True
Does 4 divide (-8)/8*6*(-537)/6?
False
Let g = 75 - 72. Suppose 328 - 37 = g*q. Suppose s + 32 = q. Is 15 a factor of s?
False
Is 24852 + 12 + (-2 + -6 - -8) a multiple of 168?
True
Suppose -d + 636 = -2*c, 0*d + 4*c - 606 = -d. Is d a multiple of 5?
False
Let h(g) = 6*g**3 - 5*g**2 - 70*g + 8. Is h(12) a multiple of 304?
True
Let n = 120 - 84. Suppose -6*q - n = -10*q. Suppose s + q = 46. Is 8 a factor of s?
False
Let d = -97 + 97. Let z be (7 + (d - 8))*1*14. Let x = 22 - z. Does 9 divide x?
True
Suppose -i = -5*b + 16221, -7*i + 11*i = -2*b + 6484. Does 63 divide b?
False
Suppose -48*u + 103667 = 35*u. Is 28 a factor of u?
False
Let f(p) = 28*p - 140. Let l be f(5). Suppose 