tiple of 7?
False
Let z = -401 - -412. Suppose -5*p = r - 724, -2*r - z = -19. Is p a multiple of 8?
True
Suppose 4*k = -b + 571, 2*k - 5*k + 4*b + 433 = 0. Let w = 253 - k. Does 11 divide w?
True
Suppose -f - h + 324 = 0, 10*h = 2*f + 7*h - 638. Let v = f + -277. Does 3 divide v?
True
Suppose 4*m = 8*q - 3*q - 16926, -2*q - m = -6760. Does 35 divide q?
False
Let z be (-1341)/(-45) - (-3)/15. Is -5 + (-105)/(-25) - (-25374)/z a multiple of 100?
False
Let o(r) = -1073*r - 315. Is 25 a factor of o(-11)?
False
Suppose -31 = -5*s - z, -5*s + s - 4*z = -28. Suppose -s*l = -2*l - 16. Is 4 - -2*(-1)/l*-28 a multiple of 4?
False
Let r = 481 + -461. Let z = 235 + r. Does 13 divide z?
False
Let s be (-19*(-3)/(-6))/(5/(-10)). Suppose -8*o + s = -5. Suppose o*g + 2*k - 594 = 0, -k + 127 = -3*g + 712. Is g a multiple of 14?
True
Let r = 19 + -14. Suppose r*g - 2*g = -6. Is 634*(-1)/g + (0 - -2) a multiple of 40?
False
Suppose 12 = 3*w, 208 = 5*a + 3*w - 449. Suppose 0 = 3*h - 4*z - 183, z - a = -4*h + 134. Let n = 109 - h. Is 20 a factor of n?
False
Let m(p) = 3*p**3 - 20*p**2 + 25*p - 308. Is m(20) a multiple of 46?
True
Let m(d) = d**3 + d**2 - 38*d + 2. Let x be m(9). Suppose 0 = 5*i + 4*s - 25, -i + 5 = 5*s - 0. Suppose 4*c - x = -i*g, -c + 111 = -0*c - 2*g. Does 25 divide c?
False
Suppose 2*y + r - 16 = -2*y, -4*r = 3*y - 25. Suppose -y*x + 222 = -2*p, -6*x + 4*p = -3*x - 216. Is 14 a factor of x?
False
Let a(l) = 4*l**2 + 15. Let i be a(5). Suppose -12*o = -497 - i. Suppose -5*s + 113 = 2*b, -3*s + 5*b + o = -s. Does 4 divide s?
False
Let o = -101 + 104. Let j be o + 10/(-3) + (-356)/(-6). Suppose -14*k + j = -13*k. Does 59 divide k?
True
Let n be 4/5 + (-107976)/(-30). Suppose 0 = -2*d + 14*d - n. Let u = d + -188. Is u a multiple of 8?
True
Suppose 1368 + 439 = 13*o. Let d = 204 + o. Is d a multiple of 20?
False
Let g be 2/(-3) - 42/(-63). Is 32 a factor of g*(-3 - (-20)/8) - -224?
True
Suppose -6 = -4*t + 6*t. Let c be (-156)/(-3) + t/(-2 - -3). Suppose y + c = 142. Is y a multiple of 23?
False
Let p be 1/(0 - (-2)/214). Let f be 17/136 + 5/88 - (-720)/33. Let j = p - f. Is 9 a factor of j?
False
Let u = 9 + -1. Let i(t) = -t**2 - 13*t + 2. Let v be i(-13). Suppose 63 = 3*r - 3*d - 6, -v*d = -u. Is 9 a factor of r?
True
Suppose s - 4 = 12. Let r(q) = -q**2 + 13*q + 3. Let v be r(s). Is 45 a factor of v/(-4)*(20 - 16)?
True
Suppose -5*w = -5*l - 111263 + 9073, -5*w - 3*l + 102142 = 0. Is 105 a factor of w?
False
Is (100/30 - 10)*5844/(-10) a multiple of 41?
False
Let n(l) = l**3 - 7*l**2 - 98*l + 1. Let m be n(14). Is 41 a factor of (m + (-2 - 245))*224/(-64)?
True
Suppose -5*z = -5*r - 59365, 4*z + 134*r = 129*r + 47483. Does 29 divide z?
False
Let r = -30 - -40. Let b(t) = 6*t - 28. Let x be b(r). Suppose -o + x = -4. Does 9 divide o?
True
Suppose 12*z - 169806 = -11*h + 9*h, 28290 = 2*z + 4*h. Is 53 a factor of z?
True
Is 43 a factor of (-86 - (1 - 1))*42586/(-796)?
True
Let b = -13 + 16. Suppose -b*c + x = 26, 2*x + 10 = -c - 1. Is 14 a factor of ((-255)/c)/((-1)/(-3))?
False
Let b = -228 + 231. Suppose -205 = -3*k + p, b*p + 15 = 30. Is 7 a factor of k?
True
Suppose -3*k = -2*y - 7, -3*y + 11 + 4 = 4*k. Suppose -k = -3*m, 18*c - 19*c + 388 = 3*m. Is 33 a factor of c?
False
Let k(o) = -271*o - 13539. Is 272 a factor of k(-61)?
True
Suppose 4*h + 5*n = h + 45, 4*h - 89 = 3*n. Suppose -5*b = -h + 5. Suppose 383 = b*s - g + 6, 0 = -3*s + 2*g + 379. Does 14 divide s?
False
Let d = 914 - 527. Suppose 2*a - 4*o - 352 = -a, -d = -3*a - 3*o. Is 6 a factor of a?
False
Let w(p) be the second derivative of p**6/45 + p**5/10 - p**4/3 - 5*p**3/6 + 24*p. Let c(o) be the second derivative of w(o). Is 14 a factor of c(5)?
True
Let m(k) = 1382*k - 510. Is m(3) a multiple of 101?
True
Suppose -22*b - 6352 = 2*b - 53344. Is 11 a factor of b?
True
Let m(r) = -55*r - 48. Let n be m(-4). Suppose c + 0*t + 5*t = 26, -5*c - 4*t = -n. Is 2 a factor of c?
True
Let g(c) = 2*c + 6. Let w be g(-9). Let n(i) = -6*i - 38. Does 17 divide n(w)?
True
Let b(s) = 34*s**3 - 4*s**2 + 6*s - 2. Let m(v) = -v**2 + 3. Let k be m(0). Suppose k*h = -5*z - h + 6, -2*z + 8 = -4*h. Is b(z) a multiple of 38?
True
Suppose -13 + 46 = 11*i. Suppose i - 5 = -c. Suppose 3*o - 13 = -c*j + 8, -10 = 2*o. Is j a multiple of 18?
True
Let x(f) = -f**2 - 16*f + 33. Let l be x(-18). Is 37 a factor of (l + (-1830)/18)*-3?
False
Let p(f) = -6 + 1 + 6 - 3*f + 38*f. Let z be p(-2). Let g = z + 164. Does 19 divide g?
True
Suppose 5*v - 5*v + 1469 = v. Does 19 divide v?
False
Suppose 0 = -3*v - 753 + 9378. Is v a multiple of 115?
True
Let r(b) = b**2 - 26*b + 80. Let y be r(-25). Let v = y - 689. Does 18 divide v?
True
Let c(w) = -w**2 - 27*w + 49. Let v be c(-33). Let t = v + 494. Is 37 a factor of t?
False
Let r(g) = -2*g + 2. Let y be r(-1). Suppose y*c + 2 = -h, -c - 2*c + 5*h = -10. Suppose -6*k + c*k = -12. Is 2 a factor of k?
True
Let p(x) = 591*x - 423. Is p(12) a multiple of 32?
False
Let d(p) = -6*p**2 - 2*p - 18. Let w(q) = -2. Let l(z) = -2*d(z) + 20*w(z). Does 29 divide l(3)?
True
Let v(y) = 188*y**2 - 48*y + 164. Does 20 divide v(-11)?
True
Suppose -3*h = -3*l + 930, 4*l - 1153 - 87 = -h. Suppose -2*y + 0*y = 4*u - l, u = 0. Is 5 a factor of y?
True
Suppose -20*v - 4*q - 46008 = -24*v, -11502 = -v + 5*q. Is 13 a factor of v?
False
Does 118 divide (-2 - 260625/(-12)) + (-14)/616*-11?
False
Let h(m) = 2*m**3 + 2*m**2 + 11*m + 4545. Is h(0) a multiple of 45?
True
Suppose 96*m - 98*m + 2*c + 15174 = 0, 22801 = 3*m + 5*c. Is m a multiple of 73?
True
Suppose -18*p - 4279 = -38608 - 30957. Is p a multiple of 31?
True
Let v be (-1)/(2/5)*(-297 + 295). Let b(h) = 31*h - 2. Let f be b(2). Is 15 a factor of ((-34)/(-8))/(v/f)?
False
Let v(l) = -2*l - 31. Let h be v(-17). Suppose 669 = k + d, -2*k + 1109 + 230 = h*d. Suppose -k = 14*a - 18*a. Is 8 a factor of a?
False
Let j = -20 + 163. Suppose -2*r + 591 = j. Let v = -134 + r. Does 18 divide v?
True
Let o be (-9574)/(-6) + (-2)/(-6). Let r(s) = -105*s**2 - s + 1. Let p be r(1). Is 1/(-5) - o/p a multiple of 2?
False
Suppose -3*o + 7718 = 2*a + 1127, -a = 6. Is o a multiple of 16?
False
Let n(u) = -7*u**3 + u. Let x be n(-1). Let m(v) be the third derivative of 5*v**4/6 + 9*v**3 + 38*v**2. Is 18 a factor of m(x)?
False
Let t be (-1 + 2)/((-20)/(-200)). Let n be (-5)/1 + t*1. Suppose -6*q + 2*q = 5*m - 1232, n*m = -q + 1238. Is 31 a factor of m?
True
Let g be 32480/30*54/12. Suppose -819*v + 823*v - g = 0. Is 29 a factor of v?
True
Suppose 0 = 5*y - 10, z - 5*y + 6 = -7*y. Does 13 divide (-12)/z + 2464/5?
True
Suppose -r = 3*m - 15, -2*r + 20 = 4*m - 0. Suppose f + r*f = 2*f. Suppose 0 = 2*n + 3*c - 0*c - 144, 4*c = f. Is n a multiple of 18?
True
Is (47/2)/(((-930)/(-30))/8370) a multiple of 15?
True
Let q = 236 + -524. Is 9 a factor of (9/(-6))/(16/q)?
True
Let d(n) = -5*n - 119. Let t be d(-25). Suppose -t*i + 662 = -58. Is i a multiple of 8?
True
Suppose 0 = -n - 2 + 3, -4*n = i + 2. Does 36 divide 0/i - 1/(3/(-228))?
False
Let d be 3*(2/5*5 + -5). Let l be 8/(-2) + (5 - (d - -1)). Suppose -5*w - 4*i + 430 = -l*i, 0 = -2*w + 3*i + 175. Is 15 a factor of w?
False
Let w be 480/((-9)/3)*(-10)/25. Suppose w = 7*p - 202. Does 19 divide p?
True
Let g(w) = -w**2 + 18*w - 2. Let j be g(18). Is 2 a factor of (-18)/(-6) + (-2)/j?
True
Suppose -2*q + 148 = -5*t, -2*t = 2*t - q + 116. Is 3 a factor of (-4599)/t + (-36)/16 + 3?
True
Let p(f) = f**3 - 5*f**2 - 5*f + 28. Let l be p(5). Let v(n) = 11*n + 1. Let k(u) = u. Let m(r) = -4*k(r) + v(r). Does 12 divide m(l)?
False
Suppose -4*j - 14*j + 3150 = 0. Suppose 527 + j = 3*u. Is 26 a factor of u?
True
Let w be 24/30*95/(-2) + -1. Let n = 29 + w. Let q = n + 123. Does 15 divide q?
False
Let k(t) = 46*t**3 + 2*t**2 - 1. Let x = 13 - 13. Suppose x*z - 3*z + 3 = 0. Is 6 a factor of k(z)?
False
Let t = -23965 - -35802. Does 133 divide t?
True
Suppose q + 16 = 5*q. Suppose -584 = -q*i - 112. Does 6 divide i?
False
Is (-17005)/10*(38 + -42) a multiple of 24?
False
Suppose 0 = 5*g - 3*s + 7*s - 4, -4*g + s = 1. Suppose -10*q + g*q = -350. Is 14/q*(130 + 0/2) a multiple of 4?
True
Let x(l) = -30*l**2 - 32*l - l**3 + 53*l - 1 + 5 + 0 + 2*l**3. Is x(30) a multiple of 5?
False
Suppose 2*v - 11089 = -3*n, -3*v - 3727 - 7367 = 