ultiple of 20?
False
Let t(w) = 7*w**3 - 5*w**2 + w + 2. Let p(a) = 58*a - 1. Let z be p(1). Suppose u + 54 - z = 0. Is t(u) a multiple of 38?
False
Let l(h) = h**2 + 9*h + 316. Is 11 a factor of l(-30)?
True
Let h be (15 - 25) + (-21)/(-3). Is 159/h*(7 + 0 + -26) a multiple of 101?
False
Let o(j) = -309*j**3 - 19*j**2 - 57*j - 6. Does 91 divide o(-3)?
False
Suppose -4*d = 4*j - 58188, 1529*d + 72777 = 5*j + 1528*d. Is j a multiple of 19?
True
Let w(p) = -13*p - 9. Suppose -5*z + 5*u + 33 = -7, 2*z - 5*u = 28. Let r(g) = 1. Let s(v) = z*r(v) + w(v). Is s(-9) a multiple of 14?
True
Suppose -2*m + 5*l - 1835 = -4836, -3*l + 2977 = 2*m. Is m a multiple of 10?
False
Let j be (65/(-10) + 7)*220*1. Suppose -j + 564 = 2*c. Does 30 divide c?
False
Suppose -326 = -5*y + 114. Let d = -41 + y. Let t = d + 3. Does 8 divide t?
False
Let p be (-6)/42 + 43/7. Suppose t - p*t + 10 = 0. Suppose -3*r + 3 = 0, 3*g + t*r - 87 = -r. Is 7 a factor of g?
True
Suppose 0*d - 2*d + 216 = 0. Let y = d + 35. Let f = -59 + y. Is f a multiple of 21?
True
Let q(r) = 11*r + 2. Suppose -j - 3*j + 16 = 0. Suppose -j*k = k + 2*v - 28, 3*v - 12 = 0. Does 4 divide q(k)?
False
Let s(m) = -5*m + 4. Let v be s(0). Suppose -4 = d - v. Is 10 a factor of 1 + 78 - (0 - d/(-4))?
False
Let d be 3/5 + 284/10. Suppose 5*n + d = -96. Does 4 divide 60/n + 3/(-5) + 12?
False
Let y(f) = f**2 - 22*f + 68. Let t be y(13). Does 54 divide (3*3)/(3/(2 - t))?
False
Suppose 0 = -27*b - 54882 + 224506 + 41057. Is b a multiple of 40?
False
Let r(c) = -17*c - 167. Let j be r(-10). Suppose 2*z + 5*i = -3*z + 10, i + 22 = 3*z. Suppose z*h - j*h = 306. Is h a multiple of 34?
True
Let n = -72 + 172. Suppose h - n = 35. Is 45 a factor of h?
True
Suppose 32*q - 29*q + 3*c = 23367, -q = 5*c - 7785. Is 95 a factor of q?
True
Suppose -30*l = 7*l - 3219. Let z(g) = -3*g**2 - 2*g - 2. Let n be z(-2). Let x = l + n. Is 26 a factor of x?
False
Suppose 4*o = -446 + 438. Is 27 a factor of (-234)/130*210/o?
True
Suppose 373 + 1847 = 10*x. Let c = x + -200. Is c a multiple of 11?
True
Let o = -4490 - -4629. Is o a multiple of 3?
False
Is 12 a factor of ((-1178502)/(-232))/((-15)/(-20))?
False
Let a(g) = -2*g**3 + g**2 - g + 1. Let s(x) = 9*x**3 + x**2 - 14*x + 13. Let m(w) = 4*a(w) + s(w). Is m(9) a multiple of 43?
True
Let w(i) = 7*i**2 - 88*i - 54. Does 4 divide w(-5)?
False
Let a(n) = n**2 - 2*n - 3. Let m be a(3). Let i be (275/5)/11 + -1. Suppose i*f + l - 137 = m, 4*l + 28 = f + 3*l. Does 11 divide f?
True
Let u(s) = 22*s**2 - 46*s - 484. Is 104 a factor of u(-38)?
False
Let c = 1998 + 343. Suppose -436 = 5*i - c. Does 9 divide i?
False
Let n = 761 - 932. Is -132*(n/27 + 5) a multiple of 16?
True
Let t be (-174219)/36*-3 - 5/20. Suppose 544*h - 558*h + t = 0. Is 37 a factor of h?
False
Let x(m) = -3*m**2 - 30*m + 14. Let j be x(-25). Let o = j - -2946. Is 40 a factor of (-20)/(-35) + o/35?
False
Suppose f + y - 144 = 101, 2*y - 1225 = -5*f. Is 3 a factor of f/(-7)*(-3)/5?
True
Suppose 13*q - 17*q + 16 = 2*t, -5*q + 4*t + 46 = 0. Is 35 a factor of (4 - 7/2) + 4443/q?
False
Let c(s) = 64*s**2 - 582*s - 24. Does 175 divide c(14)?
False
Let f be ((-1186)/8)/((-1)/(1 - -3)). Let x = 1014 - f. Is 28 a factor of x?
False
Let v(k) = k**2 - 10*k + 27. Let i be v(6). Suppose 1175 = 4*d + d + 5*b, 0 = -b - i. Let t = 478 - d. Does 16 divide t?
True
Let m(y) = y**2 - 16. Let o(s) = s**3 + 25*s**2 - 26*s - 4. Let p be o(-26). Let u be m(p). Suppose u = -200*n + 196*n + 672. Is 24 a factor of n?
True
Suppose 28*n + 44*n + 24*n - 5262624 = 0. Does 169 divide n?
False
Let l(n) = 129*n**2 + 73*n - 350. Does 2 divide l(4)?
True
Let o(l) = l**3 + 6*l**2 - 4*l + 23. Let w be o(-7). Suppose w*g = -4, 0 = -x + 3*g + 3 + 23. Is 4 a factor of x?
True
Let t(x) = -3*x**3 - 13*x**2 - 29*x + 481. Does 229 divide t(-24)?
False
Let w(z) be the second derivative of -1/2*z**2 + 18*z + 0 + 1/6*z**4 - 31/5*z**5 + 0*z**3. Does 25 divide w(-1)?
True
Suppose -4*z + 544 = -x - 1579, -15*x - 1521 = -3*z. Does 76 divide z?
True
Let o = 4 + -2. Suppose 4*z - 3*u = 1401, 3*u = 56*z - 54*z - 711. Suppose r - 4*t - z = 0, 0 = o*r + 2*r - 5*t - 1325. Is r a multiple of 39?
False
Suppose 18*n = 16*n + 106. Suppose -n*k = -49*k - 988. Is 19 a factor of k?
True
Let t be -5 - -52 - (-6 + 5). Let q = 33 + 31. Let r = q - t. Does 16 divide r?
True
Suppose -5821004 = 51*l - 289*l. Does 40 divide l?
False
Suppose 0 = 4*u + 10*s - 9*s + 22, 0 = -2*u + 3*s - 18. Is 11 a factor of 2519/33 + (-4)/u?
True
Let g = -120 + 23. Suppose -18*x = -0*x + 3258. Let l = g - x. Is 21 a factor of l?
True
Suppose 23*w + 30456 = 31*w. Suppose -w = -4*n + 5*y, 4*n + 1810 = y + 5605. Is n a multiple of 63?
False
Let v = -153 + 49. Suppose -5 = -390*w + 385*w. Is (33/6)/((-4)/v*w) a multiple of 18?
False
Is 49 a factor of 4/(-17 - -13) - -12594?
True
Suppose 5923 = 19*j - 3805. Is j even?
True
Let v(d) = -1731*d + 747. Is 21 a factor of v(-8)?
True
Let k = -44 + 46. Suppose -4*i = i - m + 48, k*m - 15 = i. Let y = 113 + i. Is y a multiple of 18?
False
Suppose -13 = -4*q + 4*a + 3, -5*q + 3*a = -16. Suppose -s + 2*l + 299 = 0, -17 + 620 = q*s - 3*l. Is 32 a factor of s?
False
Let w = -29715 - -64789. Suppose -10*j = 28*j - w. Does 80 divide j?
False
Let b(s) = -10*s**2 + 2*s + 5. Let q be 5 + (-2)/2*1. Let j be b(q). Is 10 a factor of 13/(j/30 - -5)?
True
Let n(p) = 43*p - 29. Let m(a) = -22*a + 14. Let i(t) = -9*m(t) - 4*n(t). Let l be (270/(-12))/(-3) - (-3 + 35/10). Does 18 divide i(l)?
False
Is -1875*84/216*-6 a multiple of 19?
False
Let g(l) = -1700*l - 1972. Is 4 a factor of g(-4)?
True
Is 6 a factor of (-16)/208 + (-55352)/(-143)?
False
Let m(j) = -803*j**3 + 59*j**2 + 220*j + 9. Is 113 a factor of m(-4)?
False
Let o = 114 - 98. Let v(w) = -w**3 + 17*w**2 - 24*w + 8. Let a be v(o). Let c = a - -185. Is 4 a factor of c?
False
Let m(w) = -2*w**2 + 140. Let u be m(12). Is u/(-1) + (-12 - -9) a multiple of 29?
True
Let i(m) = -m**2 - 15*m + 10. Let v be i(-11). Let c = -51 + v. Does 15 divide 9 + -2 - c - 44/(-1)?
False
Is (-1424)/(-64)*160*7/14 a multiple of 148?
False
Let n(s) = -16*s**2 + s + 2. Let h be n(2). Let p = h + 54. Let r(m) = m**2 - 6*m - 2. Does 10 divide r(p)?
True
Let a(o) = 2*o - 10. Let t be a(6). Suppose -4*s + 4551 = 5*k, -t*s + 0*k + 2274 = 2*k. Is s a multiple of 54?
True
Let t(o) = 14*o - 43. Suppose 0 = -3*d + 2 + 58. Let m = 30 - d. Is t(m) a multiple of 10?
False
Let p = -34 + 69. Let t = -14 + p. Suppose 0 = 2*b - 2*k - 23 - t, 0 = -5*b + 4*k + 112. Is 8 a factor of b?
True
Let n(o) = -229*o - 8370. Is 11 a factor of n(-62)?
False
Suppose -5*v = 4*s - 623, 6*s - s + 3*v = 782. Is 3 a factor of s?
False
Suppose 4*k - 3*f = 59635, -3*f = -42*k + 47*k - 74510. Is 55 a factor of k?
True
Let b be 3/(-2 + 5)*-53*-2. Suppose -436 + b = 6*m. Let h = m - -127. Does 16 divide h?
False
Suppose -2*c + 15*b + 385 = 18*b, c - 3*b - 215 = 0. Is 20 a factor of c?
True
Let s(h) be the first derivative of -h**4/4 + 5*h**3/3 + 2*h**2 + 11*h + 11. Let f be s(6). Does 10 divide 6 + (f - -3) - -2?
True
Suppose 2*n - 4*n - 4 = 0, -5*y - 2*n + 19246 = 0. Does 70 divide y?
True
Let t(c) = 36141*c**3 + c**2 + 86*c - 85. Is t(1) a multiple of 47?
True
Let t = -24929 + 36937. Is 19 a factor of t?
True
Suppose -3*a = -c - 23664, -5*c = -139 + 109. Does 6 divide a?
True
Let u = -28 + 33. Suppose -4*p - 5*b + 430 = -62, u*p - 624 = -4*b. Does 10 divide p?
False
Suppose 3*f + 194681 = 43*f - 952479. Is f a multiple of 241?
True
Let h = 65 + -69. Let c be (80/25 + h)*-5. Suppose -4*l + 5*x + 321 = 0, -3*l + c*x - 2*x + 246 = 0. Is 14 a factor of l?
True
Let b be 1 + 153 - (-88)/(-11). Suppose b*s - 145*s = 703. Is s a multiple of 50?
False
Let p(f) = 84*f - 813. Is 4 a factor of p(11)?
False
Let r be 16*(2 - (9 - 1)). Let d = 152 + r. Is 8 a factor of d?
True
Let r be (-20)/50 - (-186)/15 - 5. Suppose 5*v - b = r*v - 75, 2*v - 4*b = 80. Is v even?
True
Suppose -2*i + 0*g + 220 = -4*g, -3*g = 3*i - 294. Suppose 0*l = 3*l - 3*q + i, -l - 2*q - 28 = 0. Is -22 + 21 + (1 - l) a multiple of 12?
False
Suppose 249 = x + 18. Suppose -b = -x + 71. Is 5 a factor of b?
True
Let x(z) = -z**2 - 7*z - 1. Let s be x(-6). Suppose -2*l - 4818 = -s*h, h + h - 1927 = l. Suppose 13*i - 17*i = -h. Is i a mul