 a factor of (-10)/g*10818/90?
False
Let s(h) = -3*h**3 + 27*h**2 + 237*h + 294. Does 24 divide s(-22)?
False
Let w(n) = n**2 + n - 1. Let r(o) = -6*o**2 - 21*o - 63. Let f(d) = -r(d) - 5*w(d). Does 2 divide f(-9)?
False
Suppose 2*n + 3*c - 9 = 0, -22*c + 16 = 5*n - 21*c. Suppose 0*g - p = n*g - 727, 1205 = 5*g + 5*p. Is g a multiple of 27?
True
Let u be -2 - -2 - (-9)/((-27)/75). Let j(h) = -78*h + 18. Is 41 a factor of j(u)?
True
Let a(m) = m**3 - 4*m**2 + 4*m + 13. Let x be a(5). Let k = x + -23. Is 19 a factor of k?
False
Is (148/(-28)*50 + -4)*-7 a multiple of 6?
True
Suppose h - 6176 = c - 242, -16*c = -5*h + 29604. Is 135 a factor of h?
True
Let v = 9 + 1. Suppose 28 + 7 = -5*h. Is (4/v - 0)*(h - -22) a multiple of 3?
True
Let a = -92 + 273. Suppose 12*v - 10*v - 2 = 0. Is 14 a factor of (a - v) + (-9)/(-9)?
False
Let d = 3919 - 4257. Let i be -2 + 26/(-1)*-23. Let t = d + i. Does 13 divide t?
False
Let f = 95 + -95. Suppose 0 = 2*b - f*b - 2*w + 112, -2*b - 2*w - 104 = 0. Is (b*(-3)/4)/((-3)/(-8)) a multiple of 9?
True
Let n(h) = 308*h**2 + 12*h + 70. Is 184 a factor of n(-6)?
False
Suppose 52*x = 391876 + 464659 - 215531. Is x a multiple of 21?
True
Suppose 0 = 3*r + 6, 9*z + r + 6794 = 10*z. Does 30 divide z?
False
Suppose -q = -2*m + 331, 0 = 2*m + q - 141 - 192. Suppose 746 + m = 4*i. Is i a multiple of 76?
True
Let c be (7/21)/(1/30). Let p(s) = -15*s + 6. Let g be p(c). Let l = -61 - g. Is l a multiple of 24?
False
Suppose 5*z - 28839 = 4*b - 3477, -5*z + 25359 = -3*b. Is 5 a factor of z?
True
Let c = -3085 - -6587. Is 73 a factor of c?
False
Suppose -30*d = 44*d - 42*d - 65088. Is d a multiple of 9?
True
Let d(b) = 56*b**2 + 3*b - 78. Let n(v) = -19*v**2 - v + 26. Let a(f) = 6*d(f) + 17*n(f). Let s be a(-5). Let x = -168 + s. Is 7 a factor of x?
True
Let y be -8 + 4 - (2 + -10). Suppose -y*l - t = -1582, -3*l + 2*t = -8*l + 1976. Is 18 a factor of l?
True
Let a(n) = -54*n - 617. Is a(-35) a multiple of 67?
True
Suppose 666522 = -88*o - 105*o + 5158018. Is 8 a factor of o?
True
Let n(v) = 5*v**2 - 24*v + 29. Let d be n(7). Let y = d - -630. Is 46 a factor of y?
True
Let r(w) = -w + 1. Let g(h) = 20*h + 28. Let o(p) = g(p) + 24*r(p). Let m be o(10). Suppose 21*t - 405 = m*t. Is 5 a factor of t?
True
Is 17 a factor of (-3834)/135*(5 + -90)?
True
Suppose -38 = 50*a - 69*a. Is (-1076)/(-14) + a/(21 + -7) a multiple of 5?
False
Let c be -3 - (1 + 1866/(-6)). Suppose -w + 5*f + 92 + 4 = 0, c = 3*w + 4*f. Does 6 divide w?
False
Let z = -75 + 74. Let n be 1/((-1)/2)*(z - 0). Suppose -h + 123 = -4*j + 582, -231 = -n*j + h. Is 38 a factor of j?
True
Let f = -10555 - -21526. Is 207 a factor of f?
True
Let w(j) = 6*j**2 + 2*j + 11. Let f be w(8). Let l = f - 203. Does 13 divide l?
True
Let g(l) = 2*l**3 - 3*l**2 + 5*l - 4. Let z be g(2). Let i(d) = -4*d + 40. Let p be i(z). Suppose 918 = 5*h - 2*b, -h + 194 = -p*b - 3*b. Does 13 divide h?
True
Let i(r) = 10 - 20 - 3*r + 0*r. Let u be i(-4). Suppose 2*z - 30 = -2*m, -m = -z - u*z + 1. Is m a multiple of 7?
False
Let t(i) be the second derivative of i**4/12 + 19*i**3/6 + 2*i**2 - 3*i. Let r be t(-19). Let d = r + 10. Is d a multiple of 9?
False
Let u = 10520 - 6302. Is u a multiple of 51?
False
Suppose 0 = 3*g - 9*g + 618. Suppose 2*j + j - 543 = 0. Let t = j - g. Does 19 divide t?
False
Suppose -2*l + 5*c - 23 = 0, 0 = -5*l - c - c + 15. Let m be (-2 - -2) + l*-2. Is 22 a factor of 1/((m/14)/(198/(-21)))?
True
Let x(w) = 279*w - 9587. Is 25 a factor of x(77)?
False
Let j = -401 - -406. Let r(s) = 3*s**3 - 13*s**2 + 9*s - 1. Is 74 a factor of r(j)?
False
Suppose -42 = -2*b + 2*t, 3*t = 4*b - 16 - 65. Let j = 98 - b. Is 19 a factor of j?
False
Let o(w) = 107*w + 34. Let g be o(3). Suppose -g = -9*u + 4*u. Suppose 1070 = 9*j + u. Is 16 a factor of j?
False
Suppose -11*i = -6*i - 25. Suppose 2*s = i*m - 4*m - 452, 1336 = 3*m + 4*s. Suppose -m = 42*z - 44*z. Does 16 divide z?
True
Let m(w) be the first derivative of 2*w**3 + 7*w**2 + 43*w - 75. Is 8 a factor of m(-6)?
False
Suppose -515*r = -458*r - 46113. Does 5 divide r?
False
Let w(q) = 593*q + 5924. Does 181 divide w(27)?
False
Let d(b) be the second derivative of -b**4/12 - 31*b**3/6 + 78*b**2 + 76*b. Is 31 a factor of d(-32)?
True
Let j(p) = 33*p**3 - 4*p**2 - 3*p + 8505. Does 29 divide j(0)?
False
Let c(d) be the third derivative of -d**7/280 + d**5/30 - 11*d**3/6 - 16*d**2. Let w(n) be the first derivative of c(n). Is w(-3) a multiple of 23?
True
Does 49 divide (882/(-105))/((-12)/2660)?
True
Let y = -21 - -72. Suppose -32*v - y = -35*v. Is 5 a factor of v?
False
Is 9 a factor of 17 + -13 - ((-5 - -1) + (-26728)/13)?
False
Suppose 4*m = 16, 7*b - 6*b - 5*m = 71. Does 4 divide b?
False
Let n be ((-1625)/(-2))/(-5) - 3/6. Let t be n - 0 - (-10 - -10). Does 5 divide 1/(-3) - (-1 - t/(-3))?
True
Let m = 53 + -232. Let u = -90 - m. Does 5 divide u?
False
Suppose -34*a + 28 = -30*a. Let p(g) = 6*g**2 + g + 19. Is p(a) a multiple of 16?
True
Let z be 4 + 0 - (-1350)/2. Let s = z - -194. Is s a multiple of 24?
False
Is (7/((-42)/3296))/(6/540*-4) a multiple of 120?
True
Let h(c) = 2*c**3 - 17*c**2 - 29*c - 1. Let r be h(10). Let s(f) = 2*f**2 + 15*f - 6. Is s(r) a multiple of 3?
True
Let a(z) = -z**3 - 13*z**2 + 6*z + 16. Let h be a(-13). Let x = h + 465. Is x a multiple of 41?
False
Suppose 8*v = 3*v + 20. Suppose -4*g + w + 1509 = 0, 4*g - v*w - 744 = 2*g. Let o = g - 236. Is o a multiple of 13?
False
Let t = -16 + 10. Let k(n) be the second derivative of n**5/20 + 2*n**4/3 + 4*n**3/3 - 3*n**2/2 + 4*n + 39. Is k(t) a multiple of 21?
True
Let z(q) be the second derivative of 49*q**3/2 + 6*q**2 + 154*q + 1. Does 95 divide z(4)?
False
Suppose c - 17 + 4 = 0. Suppose 9 = 2*k + c, -4*r + 2222 = k. Is 11 a factor of r?
False
Let h be 46/207 + (-25)/(-9). Suppose 5*s = 3*s + c + 414, -5*c - 614 = -h*s. Is s a multiple of 52?
True
Let l = 9892 + -9682. Does 56 divide l?
False
Let j = -3196 - -6953. Is 13 a factor of j?
True
Let u(j) be the second derivative of j**4/3 + 13*j**3/3 + 23*j**2/2 + 13*j. Is u(-11) a multiple of 59?
False
Let d(c) be the second derivative of 1/12*c**4 - 15*c - 2/3*c**3 - 7/2*c**2 + 0. Is 7 a factor of d(11)?
True
Let x(h) be the third derivative of h**5/10 + h**3/2 - 17*h**2. Let d be x(-4). Suppose d = s - 0*s + p, 4*s + p - 390 = 0. Is s a multiple of 16?
False
Suppose -5*h + 2*g = 9, h - 12*g = -17*g - 18. Is 24 a factor of 136/h*80/192*-27?
False
Let r(i) = i**2 - 17*i + 30. Let b be r(15). Suppose -3*f + 1211 = 2*m, b = -5*m + 4*f - 2*f + 3037. Does 13 divide m?
False
Suppose 23*p + 16*p = -39. Does 89 divide p/(22435/(-3738) + 6)?
True
Let n be (-3)/((-69)/(-45) - (-12)/(-9)). Is 33 a factor of n/3 + 408 + -7?
True
Let u = -536 + 881. Let h be (-721)/(-2) + (-2)/(-4). Suppose -5*z + 0*z - 5*k = -u, 5*z - 3*k - h = 0. Does 8 divide z?
False
Is -4*(0 - (-44890)/(-20)) a multiple of 118?
False
Suppose r = -3*d - 19, -4*d + 3*d - 23 = 2*r. Let y be -3 - 5/(r/16). Suppose 0*l = 3*l - x - 40, 0 = 5*l + y*x - 60. Is 3 a factor of l?
False
Let a = 38 + -15. Suppose s = -3*z + 106, -2*s + 103*z + 236 = 105*z. Let h = s - a. Is 20 a factor of h?
False
Suppose 0*u + 88 = 11*u. Suppose 2 = -u*v + 698. Is v a multiple of 6?
False
Suppose -28 = 4*r, r - 3273 - 7412 = -4*n. Is 11 a factor of n?
True
Is (-150006)/(-30) + (-8)/40 a multiple of 10?
True
Suppose 69023 = 3*s + v, -51*v = -5*s - 55*v + 115022. Is s a multiple of 78?
True
Suppose 64*q - 69*q + k + 20302 = 0, 4072 = q - 6*k. Is q a multiple of 10?
True
Suppose -2*a - 11*y = -33488, 2*a + 89*y = 85*y + 33460. Is 8 a factor of a?
False
Suppose b = -0 + 3. Suppose -713 = -4*s + b*h, 4*h + 12 = -0. Does 33 divide s?
False
Suppose -539*l - 1011429 = -12977229. Does 150 divide l?
True
Suppose 46*d - 148876 = -57658. Is 13 a factor of d?
False
Let z be (-27)/((-7)/(42/3)). Is (-18)/(-8) - z/(-72) a multiple of 3?
True
Suppose 2*l = -k + 526 - 113, -4*l = -5*k - 847. Let w = 388 - l. Suppose -4*a - w = -9*a. Is 16 a factor of a?
False
Let p = 37153 + -18274. Is 87 a factor of p?
True
Let s = 95 + -84. Suppose 5*m - 111 = -4*q, -s*q - 5*m + 77 = -8*q. Is 2 a factor of q?
True
Suppose -10*j + 1008 = -7*j. Let k = -221 + j. Is k a multiple of 34?
False
Let s = -3139 - -5175. Is s a 