= u*r + q - 110, 2*r + q + 178 = 7*r. Is 8 a factor of r?
False
Let y(f) = 2*f + 14. Let t be y(-5). Suppose -t = -x - j + 24, -2*j = 0. Does 8 divide x?
False
Suppose 6*h = -1249 - 359. Does 22 divide h/(-10) + (-20)/(-100)?
False
Suppose n + 27 - 105 = 0. Let j = 281 - n. Is j a multiple of 12?
False
Let w(o) = 9*o + 6. Let a be w(1). Is 156/a*(-2)/(12/(-105)) a multiple of 14?
True
Let p = -571 + 596. Is p even?
False
Let s(v) = v**3 - 3*v**2 - 10*v + 26. Does 5 divide s(6)?
False
Suppose 6*x + 1180 + 908 = 0. Let v = x - -556. Does 28 divide v?
False
Let m(n) = n**2 - n - 6. Let t be m(-4). Suppose -t*f + 12*f + 312 = 0. Is f a multiple of 26?
True
Let v(c) = c**2 + 51*c + 141. Is v(-54) a multiple of 63?
False
Let h be (-14)/35 + 116/(-10). Let l = h + 28. Is 3 a factor of l?
False
Suppose 2*m - 6 = 28. Let u(l) = -l + 18. Let i be u(m). Suppose j + k + i = -4*k, 5*k = -10. Does 4 divide j?
False
Suppose 7*p - 739 - 2271 = 0. Does 25 divide p?
False
Suppose -2 = 2*m - 4. Let o be 2/(3 + m + -3). Suppose -54 = -o*n - n. Is 18 a factor of n?
True
Suppose 42 = i - 54. Suppose -4*p = -s + i, 2*p - 18 + 88 = -5*s. Let n = -17 - p. Is 4 a factor of n?
True
Let j be (152/10 + 4)/(3/45). Suppose -11*r + j = -5*r. Is 16 a factor of r?
True
Let r be 212/(-26) + 315/(-65) + 5. Let o(y) = -y**3 - 6*y**2 + 9*y - 6. Is o(r) a multiple of 21?
False
Suppose -6*f = -f - 935. Suppose 5 = -5*u, -2*k + 0*u + 3*u = 191. Let m = k + f. Does 30 divide m?
True
Let v = 84 + -152. Let d = v - -163. Is d a multiple of 21?
False
Suppose 6*x - 16 = 4*x. Let h(p) = p**2 - p + 19. Is h(x) a multiple of 5?
True
Let m be 2 + (-4 + 7 - 1). Suppose -f = -3*n + 266, m*f - 190 = -3*n + 66. Let q = n + -19. Is 9 a factor of q?
False
Let p = 11 + -6. Suppose o - 755 = -p*n, -n + 5*o + 98 = -27. Suppose -2*g = 54 - n. Does 16 divide g?
True
Let z(f) = f - 2. Let b be z(8). Let a be 70/15 + 2/b. Suppose -10*x + 110 = -a*x. Is 22 a factor of x?
True
Is 10 a factor of 12/(-30) + 7/(105/5436)?
False
Let m(k) = k**3 + 34*k**2 + 73*k - 35. Does 65 divide m(-31)?
True
Suppose 706*c = 715*c - 8991. Is c a multiple of 37?
True
Let t(k) be the second derivative of -15/2*k**2 - 10*k + 1/20*k**5 + 0 + 7/2*k**3 - 19/12*k**4. Does 13 divide t(18)?
True
Suppose -4*l - y = -2*y - 505, 0 = 4*y + 4. Suppose -6*d + 12 + l = 0. Is 21 a factor of d?
False
Let f be (-2)/2 + -9 + 2 + 0. Let k(l) = -11*l**2 - l + 2. Let b be k(2). Does 3 divide (b/f)/(4/8)?
False
Let u(v) = v**2 + 8*v + 2. Let d be u(-8). Is 17 a factor of (6/(-12))/(d/(-204))?
True
Let q = 13 - -15. Is q a multiple of 18?
False
Let r(d) = -5*d - 15. Let h(p) = -4*p - 15. Let t(z) = -6*h(z) + 5*r(z). Let l be t(13). Suppose 25 = l*k - 35. Is 13 a factor of k?
False
Does 4 divide -1 - (-1792)/7 - 1?
False
Suppose 41*d = 12*d + 1740. Is d even?
True
Let k(m) = -m**2 - 2*m + 248. Is 8 a factor of k(0)?
True
Suppose 0 = 2*q + q + 6. Let f(u) = 9*u - 1. Let v be f(q). Let s = -7 - v. Is 7 a factor of s?
False
Let p be (160/6)/(26/(-117)). Let w = p + 174. Does 9 divide w?
True
Let c(s) = s**3 + s**2 - s + 9. Let z be c(0). Let v(d) = -5*d + 1 - d**2 - 5 + 2*d - z*d. Is v(-9) a multiple of 9?
False
Let i be 1/(21/12 - 2). Let n = -7 - i. Does 4 divide (-34)/n - (-20)/30?
True
Let q be 310/(5 + 0 - 4). Let r = -148 + q. Is 18 a factor of r?
True
Suppose 37*c = 38*c - 106. Is c a multiple of 8?
False
Suppose z = 4*z - 2382. Does 20 divide z?
False
Let n(a) = a**2 + 2*a - 3. Let x be n(-4). Let m be (-2 + 148/10)*x. Suppose -m = 6*y - 250. Is y a multiple of 31?
True
Suppose 4*i + 40 = 208. Suppose 336 + i = 9*h. Is 8 a factor of h?
False
Let y be 107 + 8 - 1/(-1)*0. Let w = 141 - y. Is 13 a factor of w?
True
Does 20 divide ((-357)/17)/((-5)/((-800)/(-6)))?
True
Let i be (-2 - 16/(-6))/(6/225). Let m = i + -13. Is 4 a factor of m?
True
Let x = -475 - -1102. Is 11 a factor of x?
True
Suppose -4*w + 0*w + 59 = m, -3*w = 4*m - 275. Suppose 0 = -2*l + 73 + m. Is 24 a factor of l?
True
Suppose 0 = -29*x + 26*x - 102. Let y = 53 + x. Is y a multiple of 3?
False
Let n = -401 - -537. Does 32 divide n?
False
Suppose -26*c + 3229 = -1919. Is c a multiple of 11?
True
Let s(z) = z**3 - 7*z**2 - 9*z - 9. Let u be s(-6). Let i be 4/16 + u/12. Let w = i - -54. Is 6 a factor of w?
False
Suppose 3*p = -3*y + 6687, 3*p = -52*y + 51*y + 2237. Is y a multiple of 25?
True
Suppose 2*s = -2*s + 908. Suppose 2*r - 224 = -4*g, 4*g + 3*r - s + 3 = 0. Is g a multiple of 9?
False
Suppose -4*v + 71 = -21. Is v a multiple of 23?
True
Let k = 472 + -364. Is 36 a factor of k?
True
Suppose -4*v + 353 = o, -2*o - 14*v + 698 = -10*v. Does 15 divide o?
True
Suppose -b = 15*g - 10*g - 1654, 3*g - 8358 = -5*b. Is 31 a factor of b?
True
Let b = 160 - 52. Let s be 4/(-18) + 456/b. Suppose s*h + 76 = 268. Does 15 divide h?
False
Let a(f) = 12*f - 3. Let k be a(5). Suppose -2*c + 27 = -5*m, m - k = -2*c - 0*m. Is 9 a factor of c?
False
Suppose -32*m = -37*m. Is m + -4 - (-57 - 1) a multiple of 33?
False
Let q = -57 - -84. Suppose -3*b + 4*a + 68 = -13, -b = -2*a - q. Does 5 divide b?
False
Let c = -23 + 107. Suppose 50 + 10 = -x. Let d = x + c. Does 12 divide d?
True
Suppose j + 6*q = 2*q - 34, 5*j + 3*q + 119 = 0. Let p = -106 - j. Let l = -48 - p. Is l a multiple of 12?
True
Let p(z) = z**3 - 6*z**2 + 12*z - 37. Does 20 divide p(11)?
True
Suppose 0 = 18*f + 29*f - 33558. Does 34 divide f?
True
Suppose j + 3*m = -9, 2*j - m - 10 = -0. Suppose j*p - 6 - 15 = 0. Let u = -4 + p. Is 3 a factor of u?
True
Let n be -1*3/(-9) - 346/(-6). Let g = n - 33. Is g a multiple of 7?
False
Let l = 5259 + -1794. Is 125 a factor of l?
False
Let l(h) = -h**3 - 16*h**2 - 10*h + 18. Let n be l(-15). Let p = n + 80. Is p a multiple of 13?
False
Let s(k) = 382*k + 2*k**2 - 3*k**2 - 394*k - 1. Is s(-11) a multiple of 5?
True
Suppose -7 = -4*w + 29. Suppose -81 = -4*u - 5*h, 3*h = -u + 6 + w. Is 10 a factor of (u/(-6))/((-3)/24)?
False
Is ((-1210)/(-165))/(3/711) a multiple of 11?
True
Let j be 4 - (-2 - -4 - -2). Let i(w) = w**3 - w**2 - w + 4. Is i(j) a multiple of 4?
True
Let u(b) = -167*b + 21. Is u(-1) a multiple of 9?
False
Let a be 1/(-3 + (-64)/(-20)). Let y be (0 + 1)*1 + 44. Suppose a*s - 62 = 4*p, -5*s = -p - 23 - y. Is s a multiple of 3?
False
Let j = 114 - 83. Is j a multiple of 2?
False
Let d = -48 + 58. Suppose i + 51 = -5*a + 172, -75 = -3*a - 3*i. Let n = a - d. Is 5 a factor of n?
False
Let j(f) be the third derivative of 3*f**4/8 - 5*f**3/2 + 3*f**2. Is j(11) a multiple of 43?
False
Let j be ((-159)/(-4))/(5/20). Suppose -5*t = 3*o - j, o = -0 + 3. Let z = -7 + t. Is z a multiple of 12?
False
Let i = 493 - 219. Is 28 a factor of i?
False
Suppose -2*q = 10*q + 8172. Let v = -483 - q. Is v a multiple of 13?
False
Let k be (-10)/4*(90/(-25) - -2). Suppose h - 105 - k = -3*n, n - 35 = -h. Is n a multiple of 9?
False
Let m be 6*4/(-36)*3*1. Let g(l) = -50*l. Is g(m) a multiple of 36?
False
Suppose n - 26 = -3*n - 2*m, -3*n - m = -17. Suppose -n*w = 4*j - 216, 4*w + 5*j - 334 = -118. Is 18 a factor of w?
True
Does 9 divide ((-688)/40)/(8/(-720))?
True
Let k(q) = q**2 - 5*q - 1. Let f be k(4). Let w(b) be the second derivative of -b**5/20 - 5*b**4/12 - 7*b**3/6 - b**2 - 43*b + 1. Does 11 divide w(f)?
True
Let x(v) = -4*v + 14. Let p be x(4). Let a be ((-25)/30)/(p/12). Suppose -29 = -3*k - 2*u - 2*u, -a*u = 3*k - 28. Is k a multiple of 8?
False
Let t be (2/(-4))/(6/1116). Let l be (-8 - (-9 - -2))*(188 + -2). Let a = t - l. Is 27 a factor of a?
False
Let d be (-15)/2*16/(-10). Suppose -2*m + 2*b + d = 3*b, -2*b - 21 = -5*m. Suppose 0 = 2*v + 6*s - 4*s - 56, m*v - 100 = 5*s. Does 12 divide v?
True
Let v = -12 + 11. Let a = v + 3. Suppose -7 = -a*i + 51. Is i a multiple of 15?
False
Let c(x) = 67*x**2 + 2*x - 4. Let y be c(-4). Suppose 9*q = 4*q + y. Does 10 divide q?
False
Let l be 0 + (-10)/(0 - 2). Suppose -2*k = 5*a - 146, -110 = -3*a - a - l*k. Suppose -3*g + 64 = 2*h, -3*h + 3*g + a = -36. Is 13 a factor of h?
True
Suppose 697 = 6*n - 2867. Is 38 a factor of n?
False
Let t = -2 + 94. Is t a multiple of 14?
False
Let l = -82 - -67. Let p = l + 105. Is 6 a factor of p?
True
Let r(k) = 3*k**2 - 3*k + 1. Let a be r(13). Suppose 3*t = 5*u - a, -3*u = -0*t + 2*t - 270. Is u a multiple of 6?
Fa