y + 10 = -5*t. Suppose 3*n - k - 282 = -5*k, -3*n + 282 = -y*k. Does 18 divide n?
False
Let m be (-2)/5*(0 - 5). Let q be -1*(2 + (-4 - m)). Suppose 168 = q*l + 56. Is 5 a factor of l?
False
Suppose -a - 1 = -0*a. Let t be (a + 0)*(11 + -2). Let o = 46 + t. Is o a multiple of 21?
False
Let q(i) = -i**3 - 6*i**2 - 5*i. Let f be 45/18*(0 - 2). Let g be q(f). Suppose g = -l + 5*l - 180. Is 12 a factor of l?
False
Let u(w) be the second derivative of w**4/12 + w**3/2 + 4*w**2 - 6*w. Is u(7) a multiple of 26?
True
Let z = -1601 + 2537. Is 80 a factor of z?
False
Let q = 295 - 149. Suppose -12 = 2*y + 2*j + 2*j, -j = -3*y + 10. Suppose c = -2*c + 4*t + q, y*t + 4 = 0. Is 13 a factor of c?
False
Suppose -176*k = -178*k + 1920. Is k a multiple of 8?
True
Let p(b) = -b**3 + 14*b**2 - 14*b + 20. Is p(13) even?
False
Let j be 8/6*9 - 4. Suppose 0 = j*o - 13*o + 900. Is o a multiple of 45?
True
Does 34 divide (2 + -1)*1 + 474?
False
Suppose -4*l - 11*l - 675 = 0. Let w = l - -135. Is 10 a factor of w?
True
Does 4 divide (-58)/((62/1209)/((-4)/3))?
True
Let p = -509 + 776. Is p a multiple of 13?
False
Suppose 0*x + 3*x = -r + 1255, -3*x + 1245 = 3*r. Does 70 divide x?
True
Suppose 0 = -4*z + 8. Suppose -z*j + 45 = -j. Does 10 divide j?
False
Let b = -190 - -241. Does 17 divide b?
True
Is 8/28*-7 - (-171 + 1) a multiple of 42?
True
Let o(q) = -q**3 + 10*q**2 - 10*q + 12. Let w be o(9). Suppose 3*b = 5*p, -2*b = -w*p - 7*b. Suppose m + 3*m - 48 = p. Is 12 a factor of m?
True
Suppose 3*s - 4*t = 614, -s = -t - 94 - 109. Let d(n) = -n**3 + 27*n**2 + 23*n + 2. Let j be d(28). Let u = s + j. Is 30 a factor of u?
True
Suppose -5*m + 7*m - 6 = 0. Suppose -m*k = -6*k + 114. Is k a multiple of 3?
False
Let q be 3 + (30/18 - 2/(-6)). Suppose -q*z = 2*z - 84. Is z a multiple of 3?
True
Suppose 260*k = 259*k + 272. Does 4 divide k?
True
Let y(h) = 45*h + 70. Let l(d) = -9*d - 14. Let f(u) = 11*l(u) + 2*y(u). Let k = 1 - 7. Is f(k) a multiple of 10?
True
Let z(i) = -3*i**3 - 39*i**2 - 26*i - 32. Is z(-13) a multiple of 6?
True
Let q = -936 - -1351. Is 55 a factor of q?
False
Does 2 divide -16*72/(-27)*3?
True
Let d be (1/2)/((-1)/(-166)). Let f = d + 37. Is 3 a factor of 3/(-2)*f/(-18)?
False
Suppose 0*q + 4*q + 4*m + 68 = 0, q + 21 = m. Let y = q - -19. Suppose 3*r = 36 - y. Is 3 a factor of r?
True
Let u = 11 - -24. Let h = u + -12. Is h a multiple of 5?
False
Let l(c) = c**2 + 3*c + 5. Let s be l(-3). Suppose 4*o = s*o - 32. Let a = -11 + o. Is a a multiple of 21?
True
Let l = -5 + -80. Let g = -32 - l. Does 10 divide g?
False
Let k(q) = 15 + 5*q**2 + 3*q - 21 + 0*q**3 - q**3. Suppose s - 8*s = -35. Does 2 divide k(s)?
False
Let f = -24 - -27. Is 22 a factor of ((-22)/f)/(17/(-51))?
True
Let l = 1 + 23. Suppose l = -a + 3*a. Does 3 divide a?
True
Let z = 52 - 47. Let b(c) = 2*c**3 - 5*c**2 + 4*c + 5. Does 30 divide b(z)?
True
Suppose -16*k = -10*k - 2208. Is 16 a factor of k?
True
Let f = 167 + -163. Let v(h) = h + 1. Let g be v(-1). Suppose g = f*s - s - 69. Is s a multiple of 23?
True
Let t(y) be the third derivative of y**8/6720 - y**6/60 - y**5/12 - 5*y**2. Let c(v) be the third derivative of t(v). Does 21 divide c(-5)?
True
Suppose 2*q = -3*p + 19, -3*q + 27 = -3*p + 7*p. Suppose t + 2*r - 172 = -r, t - 140 = q*r. Is 27 a factor of t?
False
Suppose 3*t = -2*t - 60. Let c be 8/t*-36 - 2. Suppose -5*g + 0*b = -4*b - 110, 0 = -g + 2*b + c. Is 20 a factor of g?
False
Suppose 180*t = 158*t + 9790. Is t a multiple of 5?
True
Let p = 18 - -350. Is 7 a factor of p?
False
Suppose 0 = -t + 2, -108 = -2*g - 2*g - 4*t. Is 6 a factor of (-20)/g - 158/(-10)?
False
Let z(h) = 9*h**3 - 3*h**2 - 7*h + 8. Is 29 a factor of z(3)?
True
Let d be (2016/64)/(2/4). Suppose -128 = -5*n + 3*n. Suppose n*l = d*l + 24. Is l a multiple of 4?
True
Suppose -722 = 7*t - 2269. Does 26 divide t?
False
Does 2 divide 7 + 0 - 7 - -60?
True
Let h(j) = -j**3 - 3*j**2 - 3*j - 4. Let x be h(-3). Let w(c) = 4*c - 9*c**3 + 3 + x*c**2 + 4*c**3 + 6*c**3 - 5*c. Does 4 divide w(-5)?
True
Let s = -59 + 57. Does 10 divide -2 + 220/(4 + s)?
False
Is 1 - ((-238)/3 + (-2)/(-6)) a multiple of 20?
True
Let w(l) = 220*l + l**2 - 2*l**2 - 222*l + 24. Is w(0) a multiple of 6?
True
Suppose 1286*j + 2240 = 1290*j. Is 7 a factor of j?
True
Let x(d) = -d**2 + 6*d + 5. Let t be x(6). Suppose -196 = 2*n + t*n. Let u = n - -46. Does 3 divide u?
True
Let n be ((-78)/(-12))/(2 + 11/(-6)). Suppose 5*s = 46 + n. Is 17 a factor of s?
True
Let t(m) = 3*m**2 - 7*m - 10. Does 9 divide t(-6)?
False
Does 7 divide (-672)/80*(-25)/2?
True
Suppose 0 = 4*s - 137 - 163. Let m be 310/s + 4/(-30). Suppose -m*u = -101 + 5. Is u a multiple of 12?
True
Let v(w) = w**3 + 11*w**2 - 8*w + 30. Let y be v(-10). Let l = 386 - y. Is 17 a factor of l?
False
Let x = 1485 + -789. Is 29 a factor of x?
True
Let j = 299 + -25. Suppose -j = -4*n - 3*z, z = n - 18 - 54. Does 24 divide n?
False
Let v(f) = 4*f - 72. Let u be v(18). Suppose 3*j - 292 + 58 = u. Does 13 divide j?
True
Is (2/(-4))/(15/(-30))*33 a multiple of 3?
True
Is 28 a factor of -1 - (5 - 9)*(-141)/(-12)?
False
Let o(u) = -82*u + 20. Is 22 a factor of o(-4)?
False
Suppose -16 = -0*w - 3*w + 2*r, -w + 4*r = -22. Suppose w*t - 90 = -2*t - d, -5*t - 4*d + 118 = 0. Does 4 divide t?
False
Suppose -10*p = 13*p - 2875. Does 2 divide p?
False
Let i(j) = j**2 + 2*j - 4. Suppose -13 = -4*r - 5. Suppose r*d + 25 = -3*d. Is i(d) a multiple of 5?
False
Suppose -4*u + 2521 = -2*i + 399, -1057 = -2*u + 5*i. Does 8 divide u?
False
Let y(b) = b**2 - 14*b + 45. Does 39 divide y(18)?
True
Suppose 815 + 335 = -10*d. Let h = 202 + d. Is h a multiple of 29?
True
Suppose -717 = -18*g + 1047. Is g a multiple of 7?
True
Suppose 5*w + 7 = 37. Does 18 divide ((-48)/9 - -6) + 212/w?
True
Let c be 0*2/(1*-4). Suppose 4*n = c, 2*n - 3 - 5 = -4*d. Is 6 a factor of -4 + 6 + 18/d?
False
Does 10 divide 18*((-1095)/(-70) - (-3)/(-21))?
False
Suppose -17*p = -10*p - 5950. Is 10 a factor of p?
True
Let k(d) = -20*d. Is k(-4) even?
True
Let m(l) = -428*l + 12. Does 39 divide m(-4)?
False
Let i be (-1 - (-581)/(-3)) + (-6)/(-9). Let p = -97 - i. Does 9 divide p?
False
Let r(y) = 93*y**2 + 257*y - 8. Is 7 a factor of r(-6)?
False
Suppose -29*s + 2964 = -3*s. Is s a multiple of 36?
False
Let m(x) = -7*x - 1. Let h(c) = -35*c - 4. Let k(n) = 2*h(n) - 11*m(n). Is k(4) a multiple of 21?
False
Let h(c) = -c**2 - 9*c + 12. Let p be h(-9). Let s = -5 + p. Suppose r - 15 = s. Is 9 a factor of r?
False
Does 22 divide 201/(-268) + (-2294)/(-8)?
True
Let z(c) = -c - 4. Let x be z(2). Let t(g) = g**3 + 6*g**2 - 10*g - 16. Is 4 a factor of t(x)?
True
Let v(o) = 3*o**3 + 5*o**2 + 11*o - 12. Is 42 a factor of v(6)?
True
Let w(k) = -k**2 - 10*k - 5. Let n be w(-9). Is (-1*(-1)/n)/((-23)/(-1012)) a multiple of 6?
False
Let y(a) = -a**3 - 31*a**2 + 34*a + 76. Is y(-32) a multiple of 8?
False
Let m = -361 - -680. Suppose -3*d + 331 = -0*t + 2*t, 3*d = -5*t + m. Is d a multiple of 23?
False
Suppose -2*t = -972 - 452. Is 4/(-6) + (t/6 - 6) a multiple of 16?
True
Suppose -5*v = 5*z - z - 6910, -v = 3*z - 1382. Is v a multiple of 28?
False
Suppose -2*j + 3*f - 2 = 0, 3*j - 3 + 5 = 5*f. Let c = j - 11. Is 22 a factor of (-306)/(-4) - c/10?
False
Suppose 0 = 2*f + v - 256, -509 = -5*f - 5*v + 126. Is 43 a factor of f?
True
Let f = 1137 - 866. Is f a multiple of 32?
False
Let c(o) = -o**3 + 22*o**2 - 22*o + 68. Is 40 a factor of c(20)?
False
Let r(f) = f**2 + 4*f - 3. Let n be r(-5). Suppose w + 46 = v, -6*w + 117 = 3*v - n*w. Suppose -5*l - q = q - v, 3*l = 3*q + 30. Is 4 a factor of l?
False
Let w(m) = m**3 - 6*m**2 + 4*m. Let h be ((-4)/(32/28))/(2/(-4)). Is w(h) a multiple of 30?
False
Let o = -9 - -29. Let j be o - 1/(2/(-4)). Suppose 44 = x - j. Is x a multiple of 21?
False
Let k(r) be the second derivative of -7*r**3/3 - r**2 - 10*r. Let m = -8 - -4. Is 18 a factor of k(m)?
True
Let x(y) = -y**3 - 11*y**2 - 17*y + 5. Let r be 11*(3/(-6) + 1)*-2. Does 25 divide x(r)?
False
Let j(s) be the third derivative of -s**6/120 - s**5/12 + 5*s**4/24 + 10*s**2. Let p be j(-6). Is 19 a factor of (2/p)/((-2)/(-342))?
True
Let w = -50 + 53. Is 29 a factor of -1 + (-1761)/(-8) + w/(-24)?
False
Suppose -2*y = 3*z + 2*z + 8, -5*z - 26 = -y. Let g be (-5 + y)*(-2 -