 + 323 + 408 = -d, m*d = 3. Suppose 0 = 4*p - p - s. Does 11 divide p?
False
Does 50 divide (-15645)/(-45) - (-8)/6?
False
Let d be 6/(-9) - 11/(-3). Suppose -d*i + 41 = -4. Is 6/i - (-176)/10 a multiple of 6?
True
Let a = -20 + 6. Let v = 31 + a. Suppose 0 = -0*w + w - v. Is 17 a factor of w?
True
Let j = 46 + 7. Let r = j - 33. Suppose -o - r = 4*o, 5*h - 98 = -3*o. Does 19 divide h?
False
Let b(p) = p + 29. Let t(l) = -l + 26. Let d be t(10). Does 12 divide b(d)?
False
Suppose -3*u - 2*z = -45, -z + 3*z + 30 = 2*u. Is u a multiple of 2?
False
Suppose 2*o + 56 = -150. Let y = -89 - o. Is y a multiple of 6?
False
Does 9 divide -9*(3 + (-16 - -2))?
True
Let f = -225 + 521. Suppose -f = -3*n + 64. Is n a multiple of 15?
True
Let w = 172 + 94. Let p = 456 - w. Does 25 divide p?
False
Suppose 30*b = 10694 + 47506. Is b a multiple of 20?
True
Suppose m - 2*g = 8, -2*g - 1 = -4*m + 13. Suppose -u + m*z = -179, -z + 562 + 3 = 3*u. Suppose 3*h = -43 + u. Is h a multiple of 15?
False
Is 22 a factor of (38/4)/((-1)/(-48))?
False
Let m = -746 - -1485. Is 44 a factor of m?
False
Is 8 a factor of ((-90)/(-10) - 1)*46?
True
Let o(c) = c**2 - 6*c - 4. Let x be o(3). Let k = x - -16. Is k a multiple of 3?
True
Suppose -287 = -y + 31. Suppose 38 - y = -5*u. Is 18 a factor of u?
False
Let d = -13 + 43. Let f = d + -22. Does 10 divide (93/6)/(4/f)?
False
Is 24 a factor of -5*14*182/(-14)?
False
Let f be 22/1 - (2 - (-3 - -3)). Is 9 a factor of 156/10 - (-5 - (-112)/f)?
False
Suppose 4*z + 272 + 408 = -k, 0 = -5*z + 3*k - 867. Is 22 a factor of ((-33)/4)/(z/56 + 3)?
True
Is 1088 + -14*6/(-12) a multiple of 58?
False
Let j = -31 - -82. Let g = -3 + j. Is 10 a factor of g?
False
Suppose -96 - 20 = 4*g. Let c = g - -49. Is 7 a factor of (84/c)/(1/5)?
True
Suppose 3*r - 512 = 3*q + 1114, 5*r + 3*q - 2686 = 0. Does 49 divide r?
True
Let g = -66 - -67. Is -1 - -1 - (g - (4 + 99)) a multiple of 40?
False
Suppose 520 = 6*q - 302. Suppose -4*m - 3*p = -q, p - 52 - 95 = -4*m. Let x = m + -10. Is 7 a factor of x?
True
Let p(q) = 7*q**2 + q + q**3 + 8*q**2 - 24*q**2 - 4. Let d be p(9). Suppose 0 = -3*w - 2*t + 16, 2*w + 2 + 0 = d*t. Is 3 a factor of w?
False
Let f be 0/(-3*(-6)/9). Let o(t) = t**3 + t - 2. Let x be o(f). Does 16 divide x*50*2/(-4)?
False
Let i be (6/(-1))/(((-25)/(-5))/5). Is 12 a factor of (-3 + (-38)/i)*75/10?
False
Does 41 divide (1 - (-1 + 0))/(3/492)?
True
Suppose 0 = 12*f - 3*f + 18. Is 4 a factor of 25 + f + 2/2?
True
Suppose 76 = -2*h + 30. Let q = h + 26. Suppose m = -q*m + 72. Is m a multiple of 18?
True
Suppose -3*d - d = a - 23, -5*a + 19 = -4*d. Let j be (21/(-4))/a*-4. Suppose 41 = 5*q - j*l, -2*l + l + 19 = 3*q. Does 2 divide q?
False
Let l = 692 - -388. Is l a multiple of 72?
True
Suppose 5*i - 17229 = 3*o, 2*i - 2*o + 3172 - 10066 = 0. Does 14 divide i?
True
Let l(h) = -h - 1. Let j(v) = 2. Let g(w) = -j(w) - 6*l(w). Suppose -4*s + 3*c + 1 = 0, 0*c + 10 = 5*s - 2*c. Does 7 divide g(s)?
True
Let c(b) = -69*b**2 - 5*b + 7. Let r(a) = 104*a**2 + 8*a - 10. Let x(w) = 7*c(w) + 5*r(w). Is 11 a factor of x(1)?
False
Suppose 0 = o - 2*o + 4. Suppose -o*g + 139 = -1. Suppose p - 21 = -4*y, -3*p + 2*y - 7*y = -g. Is 5 a factor of p?
True
Suppose 238*m - 1897 = 231*m. Is 10 a factor of m?
False
Let k be 194/4*(3 - 1). Is 5 a factor of (-3)/12 - k/(-4)?
False
Let y be (-2 + 0 - 2) + -35. Let f = y - -78. Is f a multiple of 20?
False
Let k = 4565 + -3097. Is 20 a factor of k?
False
Suppose -4*v = 12, 4*v - 228 = -2*r - 0*v. Is r a multiple of 12?
True
Suppose 4*l = 20, 0 = -5*h + 6*h + 4*l - 451. Is 21 a factor of h?
False
Suppose 0*a - 3*a = -5*d + 70, a + 56 = 4*d. Suppose 0 = 2*u - u - d. Suppose i - 5*s - 34 = -u, -2*i + 79 = 3*s. Does 17 divide i?
False
Let x(d) = -3*d - 10. Let c be x(-4). Suppose 0 = -v + 2, 4*m - c*v = -61 + 5. Let w = m - -27. Does 7 divide w?
True
Let t(m) = m**3 - m**2 + 3*m + 2. Let u be t(3). Suppose 8*f - 2 = 6*f. Does 9 divide u*f/(4 + -3)?
False
Let l = 29 + -21. Suppose a = -l - 13. Is 5 a factor of 3 - ((-2 - -1) + a)?
True
Let u = 1710 + -1068. Suppose 4*r = r + u. Suppose -218 = -5*f - t, 0 = 5*f + 5*t - 2*t - r. Is 23 a factor of f?
False
Let c be -3*(15/(-10) + (-14)/12). Suppose c*t - 46 = 82. Is t a multiple of 4?
True
Suppose 6*a = 5*a + 18. Suppose a*u + 21 = 19*u. Is 5 a factor of u?
False
Let o = -1386 + 802. Let b = 821 + o. Suppose 3*a + 3*t - 8*t = b, -2*a - 3*t + 177 = 0. Is a a multiple of 21?
True
Let p(b) = b**3 - b**2 - 30. Let g be p(0). Does 27 divide (g/45)/((-1)/81)?
True
Suppose -2*i = -3*i + 2. Let d be i + 2*12/8. Suppose -d*u = -3*c + 44, -2*c + 5*u + 21 = -0*c. Is 11 a factor of c?
False
Let z = 271 - 66. Does 3 divide z?
False
Let o(h) = 5*h - 15. Let n be o(8). Let p = 55 - n. Is p a multiple of 6?
True
Let t be 4 + (-63)/15 - 232/(-10). Let m = 29 - t. Is m a multiple of 2?
True
Suppose -4*s + 3*w - 10 = s, 20 = 4*w. Let y(q) = 22*q**3 - q**2 + 2*q - 2. Is 5 a factor of y(s)?
False
Suppose 82 - 2 = -5*l. Let f = 19 + l. Suppose f*m - 6*m + 143 = -5*i, -4*i = 16. Is m a multiple of 20?
False
Suppose 0 = 3*w + 43 + 20. Let k = 69 + w. Suppose 3*o = 30 + k. Is o a multiple of 9?
False
Let v(j) = j - 3. Let g be v(3). Suppose g = -9*z - 0*z + 162. Is z a multiple of 9?
True
Suppose -2*m + 380 = -4*k, 3*m = -k + 563 - 21. Let a = m + -91. Is 30 a factor of a?
False
Let r(n) = 265*n + 5. Is r(5) a multiple of 14?
True
Let r(f) = -3*f**2 - 8*f - 4. Let g be r(-6). Let u(p) = -34*p - 4. Let v be u(-3). Let y = g + v. Is y a multiple of 9?
False
Does 4 divide (4 - 81/(-2)) + (-3)/6?
True
Let o = -43 + 85. Does 6 divide o?
True
Does 125 divide (-30*55)/5*(-324)/30?
False
Let s = 1 + -7. Let d = -136 - -159. Let i = s + d. Does 17 divide i?
True
Suppose 0 = -u + 4*u - 6. Let a(w) = w**3 - 34*w**2 - 37*w + 92. Let c be a(35). Is 22 a factor of (913/c)/(1/u)?
False
Let b(r) = -r**2 - 4*r - 6. Let g be b(-5). Does 36 divide (-1884)/(-44) + 4 + (-2)/g?
False
Suppose 0 = -6*h + 9*h - 45. Is 2/(-10) - (-318)/h a multiple of 3?
True
Let h(p) = 40*p**2 - 105*p + 2 + 105*p. Is 9 a factor of h(2)?
True
Suppose -2*b = d - 0*d + 359, -723 = 4*b - 3*d. Does 20 divide (-4)/(-30) + (-7716)/b?
False
Let m(b) = 67*b - 10. Is 85 a factor of m(10)?
False
Let r(z) = -7*z + 292. Does 52 divide r(-40)?
True
Let x be 2/4 + (-3505)/(-10). Is 5 a factor of (-1)/(-4) + x/52?
False
Let o be (-84)/28*-8*2. Let l = 248 - o. Is 50 a factor of l?
True
Let w(c) = -23*c + 1. Suppose 0 = -3*r - 2*r + 5. Let d = r - 3. Is 14 a factor of w(d)?
False
Let u be (-1 - 5)*(-2 - 0). Let m(z) = 1. Let a(x) = 2*x - 8. Let r(y) = u*m(y) - a(y). Is 5 a factor of r(0)?
True
Is 41 a factor of (-3 + (-76785)/30)*4/(-5)?
True
Let v(r) = -4*r + 13. Let i(k) = -11*k + 38. Let f(p) = 3*i(p) - 8*v(p). Is 10 a factor of f(0)?
True
Suppose 4315 = 5*f - 5*b, 0 = 5*f - 7*f - 2*b + 1706. Does 33 divide f?
True
Suppose 0 = -4*a - 4*k + 2732, 0 = -3*a - 4*k + 2078 - 25. Is a a multiple of 12?
False
Let s = 34 + -71. Is 5 a factor of (-1)/(s/186 + 2/12)?
False
Suppose -2056*v + 2053*v = -3360. Is v a multiple of 70?
True
Suppose 2*k = -2*k + 8, 3*k = l + 763. Let w = l - -1072. Is 35 a factor of w?
True
Let c(p) = 22*p + 181. Does 13 divide c(16)?
True
Suppose 202*k = 217*k - 36300. Is k a multiple of 121?
True
Suppose -5*o - 45 = 5*a - 0*o, 4*o + 25 = -3*a. Let u = 43 + a. Suppose c + 5*f - f = u, 112 = 3*c + 4*f. Is c a multiple of 15?
False
Suppose 3 = z + 3*q, -4*z + 2*q + 2*q = -60. Is (2/3)/(z/162) a multiple of 2?
False
Let g be 8/10 - -1*12/(-15). Does 5 divide (8 + -3)*(g - -1)?
True
Suppose -4*d + 5*d - 5 = 0. Suppose 5*m - 5*x + 2 - 27 = 0, 2*m + d*x + 25 = 0. Suppose m*v - 50 = -v. Is 25 a factor of v?
True
Suppose -50965 - 6715 = -40*l. Is 103 a factor of l?
True
Let k = -3 + 2. Suppose 11*a + 45 = 6*a. Is k + (a/(-1) - -2) a multiple of 7?
False
Let l(y) = -y**3 + y - 1. Let p(m) be the second derivative of -m**5/20 - m**4/6 + m**3/6 + 7*m. Let g be p(-2). Is 2 a factor of l(g)?
False
Let q = 12 - 7. Suppose 48 = q*p + 148. Let u = -8 - p. Is 12 a factor of u?
True
Is 10 a factor of (-16)/(-192) + 2254/24?
False
Let q = 1040 + -155. Is 19 a factor of q?
False
Let k(o) = 19*o + 39. Is 23 a factor of k(26)?
False
Suppose y + 48 = 4*h + 2*y, -24