m). Does 13 divide k(1)?
False
Suppose -132 = -33*z + 1848. Is 12 a factor of z?
True
Suppose 2*c = 4*c - 5*v, 2*c + 32 = -3*v. Let b be (6/(-15))/(1/c). Suppose 0 = d - 5 - b. Is 9 a factor of d?
True
Is (43821/54)/((-9)/(-12)) a multiple of 112?
False
Let w = 587 - 483. Is w a multiple of 12?
False
Let z(d) = 15*d + 23. Let x(u) = -u**3 + u**2 - 2*u + 8. Let p be x(0). Is 11 a factor of z(p)?
True
Suppose 5*w = 5*i - 0*i - 2240, -5*i + w + 2220 = 0. Is i a multiple of 8?
False
Suppose -145*q = -146*q + 320. Is 64 a factor of q?
True
Suppose 3*y - 67 = -7. Suppose -7*p = -2*p + y, 5*q + 2*p = 12. Is q even?
True
Suppose -4*f + 9252 = 4*v, 3*f + 5*v + 4626 = 5*f. Is 20 a factor of f?
False
Does 16 divide 720/(-70)*3/9*-28?
True
Let q(c) = -78*c + 22. Is q(-1) a multiple of 25?
True
Suppose 0 = -2*m + 8 - 4. Suppose 0 = -2*y - j - 14, -m*y - 2*j - 24 = -6*j. Is 21 a factor of (2 - -1) + 26 + y?
True
Let d = 9 - 4. Suppose 5*u - 7 + 27 = -3*w, -d*w = 2*u + 8. Suppose w = -3*t + 153 - 54. Is t a multiple of 11?
True
Let h(o) = -o**3 + 10*o**2 + o - 8. Let s be h(10). Does 21 divide -105*(s - (-3)/(-1))?
True
Is (-196)/(-28) - (-1 - 1450) a multiple of 54?
True
Let o(d) = 5*d**3 - 3*d**2 - d - 3. Let k be o(3). Let n = k - -24. Is 12 a factor of n?
False
Let z(c) = c**3 + 10*c**2 + 6*c - 10. Let j(h) = h**3 + 12*h**2 + h + 12. Let a be j(-12). Suppose -27 = 3*i - a*i. Does 6 divide z(i)?
False
Let b(g) be the third derivative of g**7/2520 - g**6/720 + g**5/60 - g**4/6 + 5*g**2. Let l(p) be the second derivative of b(p). Is l(-7) a multiple of 19?
False
Let k(s) = 4*s**2 - 82*s + 68. Is k(20) a multiple of 11?
False
Suppose -5*j + 43 = -4*y + y, -5*y - j - 25 = 0. Let x be (-2)/6 - (-46)/y. Is 3 a factor of 1 + -10*4/x?
True
Suppose 3*y + 481 = 4*h, 8*y - 3*y - 368 = -3*h. Suppose -2*b = -h - 101. Does 50 divide b?
False
Let s = -28 + 27. Let w be 188 + 1/(s/2). Suppose 4*q - 18 = w. Does 16 divide q?
False
Suppose m - 3*w = 1 - 2, 3*m = 3*w + 9. Let j(t) = t. Let z be j(m). Suppose c - 60 = -z*q, 0 = -3*q - 0*c - 2*c + 43. Is 3 a factor of q?
False
Let h(y) = -y**3 + 2*y**2 + y + 2. Let a be h(-2). Let o = 18 - a. Suppose -3*p = 2*u - 174, 0 = 3*p - 8*p + o*u + 306. Is p a multiple of 20?
True
Suppose n = -5*b - 9 - 9, -14 = -5*n + b. Suppose 7*q - 572 = n*q + 4*u, -3*q + 351 = -5*u. Is q a multiple of 28?
True
Let m(g) = g - 8. Let a be m(9). Suppose a = -f + 8. Let v(r) = -r**2 + 8*r + 3. Is 4 a factor of v(f)?
False
Suppose -2*f - 488*y + 493*y + 455 = 0, -4*y + 247 = f. Is 47 a factor of f?
True
Let f = 25 - -33. Suppose -f = -2*o + 286. Does 36 divide o?
False
Suppose 35 = a + 4*a. Suppose -2*t = -a*t + 225. Is t a multiple of 4?
False
Let j = -93 + 95. Suppose -j*m - 4*k = -472, -3*m + 1172 = 2*m + 2*k. Does 25 divide m?
False
Let p(t) be the third derivative of t**5/6 + 5*t**4/12 - 3*t**2 - 3. Is 8 a factor of p(4)?
True
Let z(k) = k - 11. Let m be z(9). Is 17 a factor of (-151 - m)/(-3 + 0 + 2)?
False
Let l be (-2 + 33/(-12))*(-3 + -1). Suppose 2*n = 139 - l. Is 3 a factor of n?
True
Let o be 35*1 - (6 + (-4 - 4)). Suppose -3*m = -o - 152. Does 10 divide m?
False
Let r be (-8)/(-52) + (-48)/(-26). Suppose 5*h - 27 = -2*l, 23 = 5*h - r*l - 0*l. Let o(z) = 2*z**2 + 2*z + 2. Does 14 divide o(h)?
False
Let q(k) = -29*k**2 - k - 2. Let l be q(-1). Is (-2 - (-1 + 0))*(l + -7) a multiple of 22?
False
Let a(o) = 21*o + 1. Let i(w) = 4*w - 6. Let v be i(5). Let y = -13 + v. Is 5 a factor of a(y)?
False
Suppose -b = 2*w - 391 - 1202, 2*w + 4*b = 1584. Is 7 a factor of w?
True
Let z = 138 - -382. Does 13 divide z?
True
Suppose 39*v - 1984 = 31*v. Does 5 divide v?
False
Let y = 336 + 442. Suppose 4*w - 316 = -2*j, 2*j + 3*j - 2*w = y. Is j a multiple of 13?
True
Suppose -13*r = 29 - 1511. Is r a multiple of 13?
False
Let n(y) = 8*y**2 + 23*y - 260. Does 7 divide n(9)?
True
Let z = -71 - -130. Let k be 1/(((-9)/123)/3). Let m = k + z. Is m a multiple of 6?
True
Let h(r) = r - 5. Let q be h(7). Suppose -2*k - 266 = q*c - 6*c, -c - 2*k = -64. Is 22 a factor of c?
True
Let f = -52 + 77. Let c = f + 69. Is 6 a factor of c/8 + 4/16?
True
Suppose -3*f - 1850 = -13*m + 8*m, -2*f - 1110 = -3*m. Is m a multiple of 10?
True
Let l(a) = a**3 + 5*a**2 + 3*a - 2. Let u be l(-4). Suppose -5*r + 4*z = -296, u*r - 2*z = 95 + 23. Does 15 divide r?
True
Let p(c) be the second derivative of c**6/360 - c**5/60 + c**4/6 - 4*c**3/3 + 9*c. Let h(v) be the second derivative of p(v). Does 4 divide h(0)?
True
Suppose -3*n - 264 = -2*c, 390 = 3*c - 0*n - 3*n. Is c a multiple of 7?
True
Let f(j) = -553*j - 13. Is f(-2) a multiple of 7?
False
Let n(v) be the third derivative of v**5/60 + v**4/12 - v**3 - 2*v**2. Is 6 a factor of n(6)?
True
Let f(u) be the second derivative of 7*u**3/6 + u**2/2 + 64*u. Suppose -8 = 4*c, o + 3*c = 2*c - 1. Does 4 divide f(o)?
True
Is 8 a factor of 23/(292/36 - 8)?
False
Let p(r) = -r**2 - 49*r + 76. Is 6 a factor of p(0)?
False
Suppose 0*g - 18 = g. Let q(m) = -m + 32. Does 25 divide q(g)?
True
Let q be (1 - 0)/((-8)/16). Let b be 15*(q + (-56)/(-12)). Suppose 2*x - b = -3*a, -13 - 59 = -4*x - 4*a. Does 7 divide x?
True
Let l(g) be the third derivative of g**6/120 - 3*g**5/10 - 11*g**4/24 + 11*g**3/3 - 25*g**2. Is l(19) a multiple of 33?
False
Let y = 41 - 23. Suppose -k + 5*l + y = 0, 7*k + 4*l = 3*k. Suppose 17 = 2*o + k*q, 4*q = -o + 15 + 1. Is o a multiple of 4?
True
Suppose j - 1 = 8. Let c = 24 - j. Does 3 divide c?
True
Let h be 3/(-3)*27*-2. Suppose -5*m = -h + 14. Is 11 a factor of m/44 - 1380/(-33)?
False
Let y(f) = 4*f - 4. Let g be y(6). Let n = g + -20. Does 4 divide (n - 0)/(-4) + 6?
False
Is ((-1)/(3/(-81)))/((-16)/(-384)) a multiple of 24?
True
Let b(x) = 2*x + 4. Let m be b(4). Suppose -20 = -n - m. Is 4 a factor of (-12)/(-16) - (-26)/n?
True
Suppose -873 + 240 = -3*d. Suppose 2*h - 69 = -a, 0 = -0*a + 4*a - 5*h - d. Is 8 a factor of a?
False
Suppose -1680 = 14*h - 21*h. Is 8 a factor of h?
True
Let o = -145 - -562. Is o a multiple of 19?
False
Let i = 43 + -31. Let p = i - 12. Suppose -5*l + 5 + 20 = p. Is 2 a factor of l?
False
Let h = -536 - -998. Does 21 divide h?
True
Let z be ((-2)/2)/((-5)/125). Let t = z + -23. Suppose 2*j - 5*f - 154 = -j, -j - t*f = -55. Is j a multiple of 15?
False
Is (-148)/12 + 13 - 4078/(-3) a multiple of 65?
False
Suppose 67 + 2964 = 7*c. Is 14 a factor of c?
False
Let b(q) = -q**2 - q - 18. Let x be b(13). Let k be x/6*36/(-5). Suppose 3*n - p - k = 0, 5*p + 228 = -n + 4*n. Is 27 a factor of n?
True
Let v(c) = 4*c**3 + 3*c - 2. Let w be v(1). Suppose -k + 3*l + 120 = 0, 13 - 581 = -w*k - l. Let g = 208 - k. Is 17 a factor of g?
False
Let z = 986 - 987. Let h(l) be the first derivative of 28*l**3/3 + l**2 + 2*l + 1. Does 14 divide h(z)?
True
Suppose -165*d + 37368 = -153*d. Does 9 divide d?
True
Suppose -4*u + 1318 = -0*a - a, -1306 = -4*u - 5*a. Suppose 3*h - u - 562 = 0. Is h a multiple of 21?
False
Let r(h) = -2*h**3 - h**2 + 4*h + 18. Does 38 divide r(-4)?
True
Let z(d) = -d**2 - d - 3. Let s be z(0). Let k(b) = -7*b - 40. Let x be k(-4). Let g = s - x. Does 9 divide g?
True
Let v = -177 - -252. Is v a multiple of 15?
True
Suppose 0 = 5*f + 2*g - 10, -2*g = 10*f - 7*f - 10. Suppose f = -q + 44 - 0. Is q a multiple of 11?
True
Does 5 divide ((-10)/(-6))/(14/462) - 3?
False
Let l(h) = h**2 + 3*h - 4. Let w be l(-7). Suppose -p - o = -18, 3*o + 10 = p - w. Suppose -s - 2*s = -u - 1, -3*u + 4*s = -p. Does 14 divide u?
True
Let r = -5 + -15. Let i be -99*(r/15)/4. Suppose 5*u + 8 - i = 0. Is 3 a factor of u?
False
Let v(x) = -x**2 + 43*x - 119. Let a be v(40). Let b(y) be the second derivative of 29*y**3/6 + y**2/2 - y. Is b(a) a multiple of 10?
True
Is 30 a factor of (-600)/(-2) - (3 + (-6)/2)?
True
Suppose 4*z = -3*i - 2*i + 36, -5*i = -4*z - 4. Suppose 5 = z*a - 3. Suppose 0 = 3*c + 5*n + 7, 2*c = 4*n - a*n + 22. Does 3 divide c?
True
Suppose -284 = n - 0*m - 3*m, m + 1484 = -5*n. Let f = n - -422. Is 18 a factor of f?
True
Let r(k) = 9*k**2 - 27*k - 13. Let t(j) = -5*j**2 + 14*j + 7. Let d(w) = 6*r(w) + 11*t(w). Let v(n) = n**2 - 9*n + 3. Let s be v(8). Is 12 a factor of d(s)?
False
Suppose 0*a = -a - 1. Let n be 2*a*(-15)/10. Is (-217 + n)/(-1 - 1) a multiple of 16?
False
Let d(r) = r + 3. Le