actor of d(h)?
True
Suppose 0*n + 579 = -4*g + 5*n, -g + 5*n = 156. Let f = 561 + g. Is f a multiple of 15?
True
Suppose 0*g = 3*g + 27. Let u(c) = -c**2 - 55*c + 14. Is 18 a factor of u(g)?
False
Suppose -3*d - y + 69567 = 0, -d + 174*y + 23189 = 176*y. Is d a multiple of 7?
False
Let l(a) = -a**3 + 12*a**2 + 14*a - 26. Suppose -3 = -f - 2*w, 0 = 3*f + 4*w - 17 + 2. Does 6 divide l(f)?
False
Suppose -5*i = -10, 7*n + i = 4*n + 8. Let t be 5*(-1)/n*2. Let l = 165 - t. Is 11 a factor of l?
False
Let j = 1316 - -13571. Is j a multiple of 42?
False
Suppose 0 = 12*n - 17056 + 2680. Is 29 a factor of n - (1 + -4 - -3)?
False
Is 177 a factor of 16 - (7 - -15) - (-1 - 194720/4)?
True
Suppose -4783335 + 577374 = -602*w + 3405727. Is 164 a factor of w?
False
Let m be 105/(-33) - 8/(-44). Let k be m/1 - (-3 - (3 - -1)). Suppose 2*v = k*r + 48, 4*v + 4*r - 80 = 4. Is v a multiple of 11?
True
Let m(y) = 11*y**2 + 121*y - 14. Let o be m(-11). Is (200/(-140))/(2/o)*11 a multiple of 6?
False
Let s be -11*(4 - 6/1). Let n be ((-55)/s)/((-1)/(1 - -1)). Suppose o + 5*a = 5 + 103, 3*o - 274 = -n*a. Does 23 divide o?
False
Suppose -1099 + 88 = -3*f. Let r = f + -149. Is r a multiple of 37?
False
Let s = 2080 - 761. Suppose r + 4*w - 273 = 0, -5*r + 19*w = 16*w - s. Is 2 a factor of r?
False
Suppose 26*n - 185 = 21*n. Suppose 2*w - 1 = n. Suppose 20*o - 38 = w*o. Is 6 a factor of o?
False
Let a(b) = b**3 + 4*b**2 - 10*b + 4. Let h be a(2). Suppose 371 = -h*u + 1691. Does 71 divide u?
False
Let d = -10 - 102. Let j = d - -422. Is 31 a factor of j?
True
Suppose 22 - 12 = 2*w. Suppose 5*a + 51 = 2*c - 186, -5*a + 575 = w*c. Does 15 divide c?
False
Let p = 134 + -127. Suppose 764 = 4*o - 3*i, 2*o + 10*i = p*i + 364. Does 79 divide o?
False
Suppose 5*n = 15, 3*d = -3*n + 2*n + 87. Let t be (-54)/14 - (32/d + -1). Is (-7 - t) + 454/2 a multiple of 32?
True
Suppose 10*y + 97578 = -28*y + 56*y. Does 7 divide y?
False
Suppose 2*o - 24 = -2*r, -33 = -9*r + 4*r + 4*o. Let t be r/3 + 11 + -2. Is 43 a factor of 90 - 120/(-36)*t/(-10)?
True
Let g(a) = -a - 11. Let s be g(-11). Suppose -27*x = -32*x - z + 3654, -2*z - 2 = s. Does 14 divide x?
False
Suppose -134408 - 528437 = -215*p. Does 94 divide p?
False
Let q = -4187 + 7813. Is 74 a factor of q?
True
Let m = -309 + -44. Let z = m + 785. Is 41 a factor of z?
False
Suppose 7*w + 48 = -w. Is ((160/w)/4)/(4/(-192)) a multiple of 10?
True
Suppose -3*k + 17 = -v - 0*v, 2*k - 28 = 4*v. Suppose -3*u = -k*n + 6, -2*u + 1 = -2*n + 5. Does 50 divide (4 - 9)/(u/20)?
True
Let d = -8508 - -9171. Does 4 divide d?
False
Let a(v) = 2*v**2 - 17*v - 137. Let n be a(-6). Suppose -4*f = -n*f + 18480. Does 9 divide f?
False
Let s(o) = 4*o + 44. Let a be s(-12). Let c(h) = -2*h**3 - 3*h**2 - 6*h + 6. Does 11 divide c(a)?
True
Suppose 4*r - 2*v = 72, 2*v - 5*v = 5*r - 112. Suppose -r*f + 741 = 181. Does 14 divide f?
True
Let d(p) = -p**3 + p**2 - 12*p + 720. Is 20 a factor of d(0)?
True
Let v = -188 - -13. Is 34 a factor of (-5)/(-4) + v/(-4)?
False
Suppose o - 2*l - 294 = 3*l, 0 = 4*l - 12. Suppose 8*k = -o + 1029. Is 19 a factor of k?
False
Let o be -2 - ((-21)/(-3) + 0)*-1. Suppose 0 = -5*d - 5*v - 50, -3*d + o = -4*v - 0*v. Let x(q) = 4*q**2 + 3*q + 17. Does 23 divide x(d)?
False
Suppose 4*v = -n + 5, 2*v + 2*n + n = 15. Let w(b) = -3*b**2 + 93. Does 31 divide w(v)?
True
Let c = 13950 + -8469. Is c a multiple of 15?
False
Let r be (-600 - 0)*((-6)/(-30) + -3). Suppose 43*g - r = 27*g. Does 15 divide g?
True
Suppose 2*d = 5*t - 9*t - 32, -2*t = -8. Does 3 divide -786*(-4 + (-88)/d)?
False
Suppose g = -3*l + 6 + 4, -10 = -l - 2*g. Let x(n) = 3*n + 8 - 6*n**l + 8*n**2 + 9*n**2. Is x(-3) a multiple of 14?
True
Let i = 4626 + -1876. Does 25 divide i?
True
Let v = 1302 - 1853. Let m = -381 - v. Is 9 a factor of m?
False
Suppose 3*i - 3*y - 17 = 1, 5*y = -5*i + 60. Suppose t + 3*s = 323, i*s = 7*s + 10. Is t a multiple of 28?
True
Let k(u) = -u**2 - 9*u - 16. Let f be k(-5). Suppose 6 + 6 = f*c. Suppose v + v + 148 = y, 0 = y - c*v - 153. Is y a multiple of 46?
True
Suppose -3*f - 4*s + 13140 = 0, 5*f + 0*s = 2*s + 21926. Suppose 5*o = 3*u - 2610, 7*u + 3*o - f = 2*u. Does 7 divide u?
True
Suppose -13*j = -9*j. Suppose 3*x + 592 = -j*w + 2*w, -3*x = 2*w - 568. Suppose 102 = i - 0*i + v, w = 3*i - 5*v. Is 20 a factor of i?
True
Let r(z) = -2*z**3 + 30*z**2 - 4*z + 55. Let g be r(15). Is 5 a factor of ((-2172)/40 + g/25)*-2?
False
Let h = -97 + 54. Let n = h - -46. Suppose -1 + 3 = 2*v, n*v = -2*s + 73. Is 17 a factor of s?
False
Let m = -110 + 114. Let p be 46*1*m/8*2. Suppose -p*f = -44*f - 220. Is 11 a factor of f?
True
Let s be 3 + -3 + 3 - -165. Suppose 5*y + 250 = 5*u, 2*u - s = -4*y - 44. Does 27 divide u?
True
Suppose -3*z = 2*f - 5447, -6*f - 2943 - 2472 = -3*z. Does 37 divide z?
True
Let m(t) be the first derivative of 23*t**2 + 274*t - 60. Is 15 a factor of m(-5)?
False
Suppose -q = 5*j + 19, q + 4*j + 7 = 2*j. Suppose -4*a = -4*h + 16, -3*a = 5*h - q - 3. Suppose -h*y + 83 = -43. Does 9 divide y?
True
Let r be ((-357)/(-6))/7*(0 - -2). Let h = r + -10. Suppose 0 = -5*o + 3*c - h*c + 515, -2*c - 188 = -2*o. Does 11 divide o?
True
Let s(i) = i**3 + 8*i**2 + 12*i - 8. Let r be s(-3). Suppose 17 = -3*g + 5*o, g - 3*o = 2*o - 19. Is 2 a factor of g/(r/45*5)?
False
Suppose 3*y - 9 = a, 0 = 4*a - 7*y + 3*y + 4. Suppose 0 = 3*w - 5*l - 1470, 0 = -2*w + a*w - 2*l - 489. Is 15 a factor of w?
True
Let n = -896 - -1578. Suppose 4*d - p + 187 = n, 4*p - 252 = -2*d. Is 11 a factor of d?
False
Let s be (2 + -8 + 7)*2. Let k(h) be the third derivative of h**6/20 + h**5/60 - h**4/6 + 2*h**3/3 + h**2. Is 8 a factor of k(s)?
True
Let v(b) = b**2 - 13*b + 4. Suppose x - 3 = 2*h + 6, 5*h - 105 = -5*x. Let o be v(x). Suppose 5*m = -3*y + o, 2*y = -0*y - m + 41. Is y a multiple of 5?
False
Let x(l) = 39*l**3 - 4*l**2 - 10*l + 26. Is x(2) a multiple of 7?
False
Let z = 2082 + -454. Suppose 0 = 19*r - 15*r - 3*x - z, -2*r = x - 804. Is 101 a factor of r?
True
Let h be (-498)/30 + (27/15)/3. Let w(j) = j + 22. Let r be w(h). Is r/(-15) - (-354)/10 a multiple of 2?
False
Let s be ((-8)/10 - (-378)/35)/2. Suppose b = s*a + 447, -2*b - 909 = -4*b - 5*a. Is b a multiple of 33?
False
Suppose 7*j = 2*j + w - 58, -13 = 2*j + 3*w. Let i = j + 51. Suppose 5*y = 55 + i. Is 2 a factor of y?
False
Suppose -154*i = -198973 - 69554 + 13503. Is 24 a factor of i?
True
Let z be 4109/(-35) - (-2)/5. Let f = 148 + z. Does 3 divide f?
False
Let a = -364 - -525. Suppose -3*x = -5*p - 548, -3 = -x - 3*p + a. Does 44 divide x?
True
Let u(n) = -n**2 - 10*n - 10. Let r be u(-4). Suppose -614 + r = -3*q. Is q a multiple of 40?
True
Let w be 1 - (-3)/(-2 - -5). Suppose -2*s = w*s - 2124. Does 11 divide s?
False
Is 39 a factor of -2 + 7399 - (-88)/((-44)/4)?
False
Let c = -3655 - -6819. Is c a multiple of 13?
False
Suppose -5*a + 3*m + 18 = 0, 3 = -5*a - 3*m + 15. Suppose 4*q + 4*o = 5*o + 702, -a*o + 6 = 0. Does 19 divide q?
False
Suppose 838*p = 860*p - 47850. Is 29 a factor of p?
True
Let a(b) = 5*b + 32. Let w be a(-6). Is 10 a factor of 227 - (2/(-2) - w)?
True
Suppose -a = -6*a - f + 15, -3*a + 9 = -f. Suppose -2*k - 317 = -2*x - x, 0 = -a*x - 2*k + 313. Suppose -2*s + 51 = -x. Is s a multiple of 46?
False
Suppose m = -5*v + 36002, 2*v - 21602 = -v - m. Is v a multiple of 200?
True
Let y = 322 + -327. Does 19 divide y/180*-3428 - (-2)/(-9)?
True
Let m(c) be the third derivative of c**5/30 - c**4/3 + 5*c**3/6 + 37*c**2. Let z be m(4). Suppose -175 = -z*k + 195. Does 16 divide k?
False
Let h = -25140 - -36616. Does 76 divide h?
True
Suppose -11*m - 256 = -27*m. Suppose 216 - m = 8*i. Is 24 a factor of i?
False
Let c(b) = 1408*b**3 + 2*b**2 + 15*b - 16. Is c(1) a multiple of 26?
False
Does 9 divide (14 - 225/18)/(-1 - 22129/(-22128))?
True
Suppose -131*p + 132*p + 9285 = 3*t, 2*p = -5*t + 15486. Is 8 a factor of t?
True
Suppose -3*v - 5*n + 2 = 0, v + 2 = -v - 5*n. Suppose 3*y + 3*i = -129, v*y + 5*i - 2*i + 173 = 0. Is 4 - (3 - -1) - y a multiple of 11?
True
Suppose -5*n = -7*n + 4. Let x be n - (-6 - (2 - 3)). Suppose x*c = 240 + 180. Does 12 divide c?
True
Let z(d) = 55*d - 15. Let y be z(6). Suppose y = 5*p - 55. Suppose -g + 25 = -p. Is 12 a factor of g?
False
Suppose 4*c = 6*g + 52