f(i). Let n(s) = s**3 - 10*s**2 + 13*s - 5. Is n(a) a multiple of 13?
False
Suppose -12*v - 400 = -16*v. Suppose -3*l - 5*m + 839 = 0, -l - 4*m - v = -368. Suppose l - 96 = 3*y. Is y a multiple of 14?
False
Let c be 9 + 8/(3 + 1). Suppose -c*t = -8*t - 84. Is t a multiple of 4?
True
Let a(l) = -l**2 + 8*l - 12. Let q be a(6). Suppose -2*w = k - 47, 4*k + q*w = -4*w + 204. Does 12 divide k?
False
Let m(a) = a**3 - 4*a**2 + 3*a - 2. Let i be m(4). Let l be (-21)/(-35) + 64/i. Suppose -o - 57 = -4*u, -u + 8 = -o - l. Is u a multiple of 14?
True
Let k(a) = -a**3 + 10*a**2 - 16*a - 2. Is 9 a factor of k(-8)?
True
Suppose 4*c + c = -2*a - 6, -3*c - a - 3 = 0. Suppose 3*z - 5*z + 16 = c. Is z a multiple of 8?
True
Let i be ((24/5)/3)/(26/65). Suppose i*a + 210 = 2*x, 2*x + 2*a = 4*a + 216. Is x a multiple of 21?
False
Suppose 5*z = 22 + 183. Suppose -2*o = 3*n - 551, -5*n - z = -5*o - 951. Is n a multiple of 39?
False
Let g = -384 - -1076. Is g a multiple of 6?
False
Let h = 490 + -91. Is h a multiple of 19?
True
Let r = -9 + 9. Suppose -4*w = -2*x - r*x - 110, 4*w - 115 = -3*x. Is 5 a factor of (-21)/w - 79/(-4)?
False
Let q(d) = -28*d**2 + 4*d - 1 + 4 + 29*d**2 - 2*d**3. Does 5 divide q(-2)?
True
Let t(c) = -c**3 + 36*c**2 - 69*c + 100. Is t(34) a multiple of 3?
True
Let r(d) = -d**2 - 26*d - 43. Is 3 a factor of r(-9)?
False
Let q = 1243 - 714. Does 17 divide q?
False
Does 12 divide (-224)/12 + 18 + 6982/6?
False
Let f(i) = i**2 + 10*i + 28. Let x be f(-15). Suppose -l = -k - 124, 2*l - 3*k - x = 148. Is l a multiple of 15?
False
Let t(d) = 1 + 2*d**2 - d - 15*d + 2*d**2 + 3. Does 12 divide t(8)?
True
Let g be (-2)/(-6) - (-4)/6 - 1. Suppose 4*j - 2*j - 124 = g. Does 26 divide j?
False
Let i = 4681 + -2225. Is 13 a factor of i?
False
Suppose -3*f + 0*f - 3*p = -18, -5*f - p = -10. Let v(k) = -11 + 0*k + f + 2*k. Is v(13) a multiple of 16?
True
Let x(o) = -o**3 - 18*o**2 + 18*o + 60. Let t be x(-19). Let u = t + -70. Does 6 divide u?
False
Suppose 0 = 4*i + 4*j + 120, -28 = i - 4*j + 3*j. Let t = i - -32. Does 17 divide t/(-1)*(12 - 29)?
True
Suppose 5*i + 2*f + 32 = 4, 5*i + 8 = 3*f. Is -81*(-4 - (1 + i)) a multiple of 27?
True
Let m = -953 - -1073. Is m a multiple of 5?
True
Suppose 21 = 5*f - 3*f + 3*j, 0 = 3*f - 3*j - 9. Let p(m) = -f + 7*m**2 + 7*m**2 - m**3 + 2*m - 9*m**2. Does 2 divide p(5)?
True
Suppose 2*h = -4*o + 2102, -4*h = -4*o + 2179 - 107. Is o a multiple of 14?
False
Let t = 2186 - 1248. Does 67 divide t?
True
Suppose -4*j + 309 = 5*t, 0 = -5*t + 10*t + j - 306. Is 6 a factor of t?
False
Suppose w = u + 2*u - 109, u - 19 = -4*w. Let y = 8 - 8. Suppose y = -n - 0*n + u. Is n a multiple of 7?
True
Let c = -6 + 11. Suppose c*h + 10 = 20. Suppose -117 = -h*a - a. Is a a multiple of 6?
False
Let h = -5511 + 8244. Does 16 divide h?
False
Suppose -3*f + 12966 = u, 19*u = 15*u. Is 13 a factor of f?
False
Let k(l) = -13*l + 42. Is k(-3) a multiple of 27?
True
Suppose -34*u + 39*u + 1870 = 2*s, 0 = -s + 5*u + 940. Is 14 a factor of s?
False
Suppose 0 = -25*m + 13404 + 19846. Does 19 divide m?
True
Let l = -42 + 60. Suppose l = 3*k - 5*k. Let n = 19 - k. Does 8 divide n?
False
Let o(u) = -5*u + 21. Is 31 a factor of o(-2)?
True
Let j = 4595 + -2676. Is j a multiple of 19?
True
Let a(b) be the second derivative of -b**5/20 - 3*b**4/4 - b**3/2 - 2*b**2 - 21*b. Does 14 divide a(-10)?
True
Suppose -15*i + 255 = -10*i. Is -1 + (-6)/2 + i a multiple of 36?
False
Is (-23)/92 - (-5890)/8 a multiple of 16?
True
Suppose 44 + 28 = 2*s. Suppose 4*g - g = s. Suppose -f - 4*b + 14 = 0, 0*f - g = -f - 2*b. Is f a multiple of 5?
True
Suppose -209 = -4*m + 103. Let k be (-23 - 3)/((-2)/3). Let n = m - k. Is n a multiple of 13?
True
Let u = -8 - -8. Suppose 6*n + u*n = -36. Is ((-27)/2)/(n/16) a multiple of 18?
True
Let y = -337 + 537. Is y a multiple of 19?
False
Suppose 627 + 1677 = 8*g. Is 32 a factor of g?
True
Suppose -17*d - 48 = -19*d. Let b be 13/(2 + -2 + 1). Let z = d + b. Is 16 a factor of z?
False
Let s = 515 - 203. Is 12 a factor of s?
True
Let w(u) = -7*u**2 - 6*u + 66. Let x(o) = -6*o**2 - 5*o + 67. Let b(d) = -5*w(d) + 6*x(d). Does 18 divide b(0)?
True
Suppose 0 = 3*s - 174 + 105. Let r = 28 + s. Is r a multiple of 3?
True
Let f be (-2)/(-3)*(-2 + -97). Let o = f - -14. Does 27 divide o/(-2) - (-4)/4?
True
Let f(w) = 3*w**2 + 2*w + 9. Let v be f(-2). Suppose -2*c = -v*c + 540. Is c a multiple of 9?
True
Let h(i) = -i**2 + 3. Let c be h(8). Let q = c + 131. Suppose 2*w + q = 4*w + 4*u, -5*w - u + 157 = 0. Is w a multiple of 13?
False
Let k(a) = -104*a + 399. Is k(-21) a multiple of 10?
False
Let b(g) = 13*g**3 - g**2 + 2*g - 1. Let d(a) = 1 + 8*a + 0 - a**2 - a. Let l be d(7). Does 12 divide b(l)?
False
Let v = -9 + 9. Let z = -52 + 57. Suppose 0 = -z*x - y - 3*y + 116, 4*x + y - 84 = v. Is 10 a factor of x?
True
Let s = 21 - -3. Let u = 64 - s. Is u a multiple of 12?
False
Suppose 2640 = c + 4*u, -2*c + 4*u + 3895 + 1385 = 0. Is c a multiple of 66?
True
Suppose 196 = 3*m - 356. Does 8 divide m?
True
Let b(p) = -p - 1 - 4 - 1 + 15 - p**3 + 8*p**2. Does 17 divide b(7)?
True
Let j be (504/15)/(7/35). Suppose j = 5*c - 317. Does 34 divide c?
False
Let h(r) = 4*r + 5. Let i(v) = v + 13. Let a be i(-13). Suppose a = 2*p + 5*f + 12, f - 8 = -4*p - f. Does 7 divide h(p)?
True
Let a = -3 + 17. Is 4*3/6*a a multiple of 7?
True
Let v be (-4 - (-90)/25)/(2/(-30)). Suppose 2*h + v*r = r + 169, -383 = -4*h - r. Is h a multiple of 14?
False
Suppose -2*u = -3*y - 2535, -5*y = 10*u - 6*u - 5103. Is u a multiple of 6?
True
Suppose -312*s = -311*s - 296. Is s a multiple of 56?
False
Let h = -46 + 116. Is h a multiple of 5?
True
Let q = 2079 + -639. Is 32 a factor of q?
True
Let q be (-4)/(0 + 4) + 3. Suppose -6*t + 120 = -q*t. Let n = 52 - t. Is 11 a factor of n?
True
Let g(j) = -5*j + 44. Let b be g(8). Suppose 2*u + 43 = 3*o - 41, 56 = 2*o - b*u. Does 4 divide o?
True
Suppose 0 = -38*s + 19473 + 43417. Is 11 a factor of s?
False
Suppose -9*l + 190 = -7*l. Is 5 a factor of l?
True
Does 5 divide 4/((-24)/(-1110)) - 3?
False
Suppose 1068 = -4*r - x, 5*r - x + 534 = 3*r. Let t = r + 374. Does 13 divide t?
False
Let q(l) = -118*l + 128. Is 24 a factor of q(-4)?
True
Is (1 + 1 - -2326) + (-98 - -94) a multiple of 83?
True
Let c(r) = 457*r - 25. Is 26 a factor of c(7)?
False
Suppose -4*m - 11*i = -14*i - 2435, 5*m - 3*i = 3043. Is m a multiple of 57?
False
Let f(h) = h**2 + 10*h - 29. Is f(-14) a multiple of 2?
False
Let l(o) = -4*o - 4*o**3 - o**2 + 1 + 3*o - 3*o**3. Does 8 divide l(-2)?
False
Suppose -12 = -8*w + 5*w. Suppose 4 + 508 = w*b. Is b a multiple of 22?
False
Suppose 41*k + 3*k = 5676. Does 38 divide k?
False
Is 2*(4204/8 + -7) a multiple of 10?
False
Let q(x) = 3*x + x**3 - 6*x**2 + 5 - x + 2*x**2. Let o be q(4). Suppose 0 = o*h - 15*h + 120. Is 20 a factor of h?
True
Let o be (272 + 1)/1 + 2. Suppose 3*a - 3*j - 183 = -12, -5*a + o = 5*j. Is 8 a factor of a?
True
Let b be (-24)/10*60/(-9). Suppose 4*d - 76 = b. Is 4 a factor of (-12)/(-2 + 6) + d?
True
Let d be (49/(-7) + 3)*(-158)/(-4). Let m = 279 + d. Is 55 a factor of m?
False
Suppose -3*f + 25 = 4*d, -f + 0*f - 9 = -3*d. Suppose 148 = -2*g + f*g. Suppose 0 = -2*r - 2*r + g. Does 5 divide r?
False
Let q be 85 - (9/(-3) + 0). Suppose -4*u + q = 4*d, -3*d + 5*d - 4*u = 62. Suppose a = -f + d, -f + 124 = 4*f + 4*a. Does 24 divide f?
True
Is (4 + -7)*-416 - (5 + -4) a multiple of 29?
True
Suppose 16*t - 12*t - 3952 = 0. Is t a multiple of 26?
True
Let n(b) = b**2 + 5*b - 3. Let u be n(-6). Suppose -1197 = -4*c - u*s, c = 4*c - s - 888. Is 23 a factor of c?
False
Suppose -5*a - 51 = -141. Let j = 61 + a. Suppose 2*p = -2*p + 5*x + 65, j = 5*p - 4*x. Does 8 divide p?
False
Let b(r) = 2*r**2 + 10*r + 24. Does 6 divide b(-9)?
True
Let s be (-78)/9*105/14. Let v = s + 113. Is 8 a factor of v?
True
Let v = 8 + -6. Let b(r) = 1 - 4*r - 4*r + 3*r**2 + 0*r**v - 2*r**2. Is b(14) a multiple of 17?
True
Let p be (-10)/25 + 67/5. Suppose w + p = -5*i, -5*w - 2*i + 19 = 2*i. Is 2 a factor of w?
False
Suppose 16 = -5*s - 134. Let x = 87 + s. Is 19 a factor of x?
True
Let o(i) = -132*i**3 - 13*i - 13. Is 33 a factor of o(-1)?
True
Let x be 7 + 0/4 - 2. Let a be (-4)/(-3)*(x - 2). Suppose 30 = 2*m - v, a*v + 8 = -0*