(2). Suppose -l = -2*k + 334. Does 10 divide k?
True
Let q be (28/10)/((-2114)/(-140) + -15). Suppose -15*z - 1872 = -q*z. Is z a multiple of 12?
True
Let y = 22 - 12. Let b(f) = -f**3 + 13*f**2 - 16*f + 18. Is b(y) a multiple of 54?
False
Suppose 4*x - 2 = -y, -4*y - 2*x = -2*y - 4. Let c = 6250 - 6208. Suppose -5*d = -4*d - 2*r - c, y*r = -10. Does 16 divide d?
True
Let k be ((-624)/(-195))/((-1)/(-90)). Suppose -5*f - k = -6*f. Is f a multiple of 9?
True
Let p = -59513 + 107900. Is 127 a factor of p?
True
Let b be 10*(-1)/(15/(-6)). Suppose -4*m + 5*k = 3*k, -b*m - 4 = -3*k. Suppose 3*c - 5*v = 145, v = c - m*v - 43. Is 11 a factor of c?
True
Suppose 40 = 3*v - 8*v. Let o = v + -11. Let x = 42 + o. Is x a multiple of 4?
False
Is 9 + -12 + (-4 - 1) + 2013 a multiple of 18?
False
Suppose -13*f = -327 - 531. Suppose -2*h = 2*g - 20, 5*g - 4*h - f = -7. Does 9 divide g?
False
Let j(y) be the third derivative of y**5/60 + y**4/24 - 4*y**3/3 + 16*y**2. Let x be j(8). Is 6 a factor of 2/(-5) + x/10?
True
Is (-12)/15 + -15 + (-23817)/(-15) a multiple of 2?
True
Let z be (-2 - -12)*57/38. Let i = 8 + z. Is 17 a factor of i?
False
Let b(v) = v**2 - 12*v + 32. Let a = 166 + -155. Does 10 divide b(a)?
False
Let q be 228 + (-5)/(-5)*3. Let b = q + -118. Is b a multiple of 19?
False
Let x = -67 + 44. Let v = x + 28. Suppose 2*o - 156 = -3*r + 279, -v*o = -5*r - 1075. Is 36 a factor of o?
True
Let c(o) = -o**3 - 27*o**2 + 106*o - 68. Is c(-33) a multiple of 21?
False
Suppose -3*h - 106 - 215 = 0. Let v = h + 35. Is (v/(-42))/(1/14) a multiple of 24?
True
Let v(c) = -c**2 + 18*c - 145. Let y be v(13). Is (-830)/y - ((-11)/(-8) + -1) even?
True
Suppose -18*b + 15*b = -6. Suppose -b*o = -10*o + 24. Suppose -10*g + o*g = -749. Is g a multiple of 5?
False
Let m be (-630)/(-98) + 6/(-14). Suppose -2*n = 4*n - m. Is 2*(n/3)/((-8)/(-2364)) a multiple of 18?
False
Is 33 a factor of (3113*1)/((246/36)/41)?
True
Let s = -95 - -154. Suppose s = -11*u + 246. Is 17 a factor of u?
True
Let u(d) = -14*d**3 - 26*d**2 - 25*d - 159. Is 65 a factor of u(-18)?
True
Let i(b) = 47 - 91 - 99*b + 49. Let m be i(-1). Let h = -81 + m. Is h a multiple of 22?
False
Let r(q) = 2*q**3 - q**2 + q + 3. Let l be r(0). Suppose -l*z - 2*t + 23 = 0, -6*z - 5*t + 10 = -8*z. Suppose 270 = z*w + w. Is 9 a factor of w?
True
Is 80 a factor of 10020/9 + (92/460)/((-3)/5)?
False
Let l = -13656 + 31299. Is 5 a factor of l?
False
Suppose -4*a + a + 14 = -f, -2*a = f - 6. Suppose a*l + 3*y - 127 = 0, 0 = l + 11*y - 7*y - 48. Is l even?
True
Is 2 a factor of (-420 - -413) + -106*(-33)/2?
True
Let s = 5893 + -5650. Is 3 a factor of s?
True
Suppose 8*u - 5*u + 342 = 0. Is 2 a factor of ((-10)/(-4))/(-5) - u/4?
True
Let w be (-360)/(-50) + (-1)/5. Suppose 0 = w*d - 1968 + 330. Is d a multiple of 39?
True
Let q be -3*(88/18 - 5)*51. Is (q/(-4))/(30/(-600)) a multiple of 2?
False
Suppose 3*i = -41*q + 40*q + 66773, 5*q + 5 = 0. Is 51 a factor of i?
False
Let c(k) = 8*k + 35. Let g be c(-4). Suppose -5*p + 155 = u, 4*u - 125 = g*u + p. Is 38 a factor of u?
False
Let i = -7656 - -29160. Is 384 a factor of i?
True
Let p be (-27)/18*(-16)/6. Suppose 2*l + p*i - i = 203, 4*l + 5*i = 401. Does 22 divide l?
False
Suppose -13*u + 18*u - 25 = 0, 2*t - 3*u - 8245 = 0. Is t a multiple of 46?
False
Suppose -q = -2*n - 1337, -4*q + 4*n - 918 + 6246 = 0. Is q a multiple of 10?
False
Let f = -21854 + 31135. Does 93 divide f?
False
Let g be (-36)/(-180) + (-8)/(-10). Is (1 + g)*(584 - 28) a multiple of 9?
False
Let z(i) = 7*i + 3*i**2 - 3*i - 12*i + 4*i. Let m be z(2). Suppose 0 = -5*d - p - m*p + 175, 0 = p + 4. Is 13 a factor of d?
True
Does 64 divide (-427 + 8)/((56/16632)/((-1)/3))?
False
Let b be (1/(-2))/((-48)/96). Is 20 a factor of 28/b - (-22 + 27)?
False
Let a(n) = 4*n**3 - 3*n**2 - 3*n + 2. Let j be a(3). Let f(k) = -k + 14. Let o be f(12). Suppose 0*v - 4*v - o*c = -j, 5*c = -3*v + 45. Is 5 a factor of v?
True
Suppose -5*i + 32641 = -q, 3*i - 4*q = 25409 - 5821. Is 68 a factor of i?
True
Let r be (-2)/3*135/30. Does 34 divide ((-1)/r)/(3 - (-4976)/(-1659))?
False
Let c = -485 + 538. Suppose c*q = 55*q - 252. Does 9 divide q?
True
Let s(d) = d**3 + 9*d**2 + 4*d + 6. Let k(b) = b**3 + b**2 + 2*b + 4. Let j(o) = -4*k(o) + 2*s(o). Let r be ((-3)/6)/(1/(-12)). Is 11 a factor of j(r)?
False
Let q(j) = -j**3 + 4*j**2 - 6*j + 12. Let k be q(4). Let f be ((-5)/(-15))/((k/(-999))/4). Suppose 2*t = i + f, 2*t + 4*i - 228 = -2*t. Does 16 divide t?
False
Suppose 22*h - 63 = 69. Is (-521)/(-1 - (h + -6)) a multiple of 31?
False
Suppose 4*k + 5*k + b = 27449, -5*k - 2*b = -15248. Is k a multiple of 15?
False
Let h = 1760 + -850. Is h a multiple of 14?
True
Let p = -104 + 113. Let v be (48/p + -5)*357. Let t = -32 + v. Is t a multiple of 29?
True
Suppose 0 = 5*w + 1925 - 5120. Suppose 11*g = 2*g + w. Is g even?
False
Let k = 5 + -3. Let q be (-3)/6 + 5/k. Suppose -y + 123 = n + q*y, 345 = 3*n + y. Is n a multiple of 19?
True
Suppose -4*f - 4*n = 2003 - 26339, -24344 = -4*f + 4*n. Is f a multiple of 2?
False
Let p = 94 + -104. Let c = 20 + p. Let l = 16 + c. Is l a multiple of 21?
False
Let w(g) = -g**2 - 70*g**3 + 38*g**3 + 2 + 3*g**2 + 37*g**3. Is 5 a factor of w(2)?
True
Let m be 16/(-104) - (-11850)/(-39). Let i = -148 - m. Does 12 divide i?
True
Let f be (6 - 136/24)*354/2. Suppose 0 = -f*l + 61*l - 874. Is 34 a factor of l?
False
Suppose 10817 = -24*t - 9847. Let n = t + 959. Does 2 divide n?
True
Is 16 a factor of ((-48)/10 - 0)*(-2660)/114?
True
Let h(b) = b**2 + 21*b - 53. Let s be 13 + 6/36*6. Does 46 divide h(s)?
False
Let i(u) = -u**3 - 17*u**2 - 32*u - 141. Is 17 a factor of i(-17)?
False
Let u be (-1335)/5 - (4 + -1). Does 20 divide 4500/u*(24/10)/(-1)?
True
Let b(g) = -7*g + 25. Let l be b(3). Suppose -3*s = -5*n - s + 622, 0 = 4*n + l*s - 492. Is 12 a factor of n?
False
Let f = -31 - -34. Suppose -17 = -4*x - 2*a - f*a, 5*x = 4*a + 11. Suppose u - 6 + 121 = x*i, 0 = -i + 2*u + 40. Is i a multiple of 18?
False
Let s be ((0/1)/(-3))/(-7 - -9). Suppose -20*t + 18*t + 5*z + 2383 = s, -5*t + 3*z = -5967. Is 60 a factor of t?
False
Let r = -2597 + 2773. Is 19 a factor of r?
False
Let m = -11 - -13. Suppose -2*c = m*j, -2*j - c = -3*c - 12. Suppose -236 = -j*u + 5*g + 167, 0 = 3*u - 3*g - 411. Does 45 divide u?
False
Suppose 860*z = 820*z + 476840. Does 13 divide z?
True
Suppose 2*q = -5*y + 48232, -2*y - 8*q = -10*q - 19304. Does 72 divide y?
True
Suppose 3*w - 4*k - 44 = 0, 2*w + 2*k - 52 + 18 = 0. Suppose w = -i + 5*i. Suppose 171 + 29 = i*h. Is 10 a factor of h?
True
Suppose -154*y + 12749616 = 62*y. Is 22 a factor of y?
True
Let k be (-66)/(-14) + (-4)/(-14). Suppose -i + j = -5, k*j - 1 = -i - 8. Suppose 5*v - 5*g - 76 + 6 = 0, v = i*g + 14. Is 2 a factor of v?
True
Let d be 1 + 18/(-4) + 13/26. Let w be (-542)/(-6)*(d - -9 - -6). Does 8 divide (-2)/6 - w/(-12)?
False
Suppose 4*b + 18 = 3*c + 6, b - 11 = -c. Let a = -59 + 64. Suppose c*m - 624 = a*m. Does 16 divide m?
True
Let j be (-5)/(-15) + 32/12. Suppose -4*t - 4690 = -6*l - j*t, -4*t = 4*l - 3136. Is 23 a factor of l?
True
Suppose 24*p = 80859 + 2853. Does 109 divide p?
True
Suppose 6 = 5*m - 3*m. Suppose 3*t = -4*z - 37, 4*t + 9 = t + m*z. Let q(v) = 3*v**2 - 5*v - 30. Is q(t) a multiple of 19?
True
Suppose 4*a = 5*r - 458, -4*a = -4*r + 40 + 324. Let d = r - 55. Let y = d + -12. Does 8 divide y?
False
Let t = 43 - 47. Let a be 1 - (2/3)/(t/42). Suppose 0 = a*p - 276 + 12. Is 21 a factor of p?
False
Let s = -1457 - -4599. Is s a multiple of 26?
False
Let b(l) = -l**3 + 5*l**2 - 2*l - 1. Let k be b(4). Suppose 0 = k*f - 36 - 27. Let h(n) = n**2 - 6*n + 11. Does 29 divide h(f)?
False
Suppose -4*s = -3*x + 60361, 100640 = -42*x + 47*x + s. Does 205 divide x?
False
Let l = 1692 + 918. Suppose 0 = -5*c - 2*r + l, 4*r + 1535 = 3*c - r. Is 8 a factor of c?
True
Let o = 895 - -1225. Does 12 divide o?
False
Is 47 a factor of (62778 + -27)*(0 - 6/(-18))?
False
Suppose 5*j - 56271 = -50831. Is 68 a factor of j?
True
Let a(l) = 6*l**2 - 4*l**2 - l**2 + 2*l + 7*l + 316 + 9*l. Does 86 divide a(-38)?
False
Let j = -53 + 54. Suppose -3*y + 8 + j = 0. Suppose 3*i - 426 = -5*z - 0*i, 0 = -3*z - y*i + 258. Is z a multiple of 14?
True
Let o = 139 + -84. Suppose 0 = -n + 