t**2 + 9*t + 7. Let n(d) = -5*p(d) + 2*w(d). Suppose -4*q + 0*q + 4 = 2*h, 2*h = -q - 5. Does 5 divide n(q)?
True
Let o(k) = -8*k + 89. Suppose -13*p + 15*p + 16 = -w, 4*p - 10 = 5*w. Is 3 a factor of o(w)?
False
Suppose 484*x - 1272 = 480*x. Suppose 1236 = x*b - 317*b. Does 10 divide b?
False
Let q = -4849 - -6956. Is q a multiple of 7?
True
Let g(t) = 73*t**2 - 44*t + 126. Is 18 a factor of g(8)?
True
Suppose 0 = 21*h - 30*h + 99. Suppose -44 = -0*u - h*u. Suppose 0*k + 4*k - 128 = -r, r - 88 = u*k. Is 27 a factor of r?
True
Suppose -h + 31 = 3*p, 10*h - 15 = -3*p + 13*h. Let v(s) = s**3 - 4*s**2 + 5*s - 16. Is 7 a factor of v(p)?
True
Suppose 7*x - 2*x + 1945 = 0. Let u = -209 - x. Is u a multiple of 12?
True
Let q be ((-570)/(-40))/((-9)/(-24)). Let a = 24 + q. Is a a multiple of 26?
False
Let b(x) be the third derivative of x**6/60 - 2*x**5/15 + x**4/8 + 29*x**3/6 + 2*x**2 + 113. Does 29 divide b(9)?
False
Does 10 divide 48/((-56)/(-7)) + 111*2*2?
True
Suppose 2742*s = 2754*s - 22800. Does 3 divide s?
False
Let c be 1/(-2*(-1)/6). Let t be 0 - (2 + (-1 - c)). Is (4 - t - -5) + (0 - 0) a multiple of 7?
True
Suppose 8681 - 1238 = k - 531. Is k a multiple of 9?
True
Suppose y - 23 = -5*v, y + 12 = 3*v - 5. Let m be 542/v + 6/(-15). Suppose 4*n - 13*n = -m. Does 4 divide n?
True
Let a = 282 + -93. Suppose a*m - 1701 = 182*m. Is m a multiple of 9?
True
Suppose 15*o + 53*o - 21726 = 796926. Is o a multiple of 16?
False
Let d = -11946 + 16230. Is 51 a factor of d?
True
Let j(h) = 253*h**2 - 16*h - 11. Let u(f) = 125*f**2 - 7*f - 5. Let c(l) = -2*j(l) + 5*u(l). Let x = -2 - -1. Does 13 divide c(x)?
False
Let k = -46 - -70. Suppose 6*z + 6 - k = 0. Suppose 4*x + 4*q - 196 = 0, -q - z = -0*q. Does 17 divide x?
False
Let t be 38/24*3 - 2/(-8). Let g(k) = k**3 - 5*k**2 + 8*k - 23. Is g(t) a multiple of 6?
False
Does 3 divide ((-69052)/854)/((-2)/7)?
False
Suppose 0 = -2*j - 4*k - 0*k + 3828, 1926 = j - 2*k. Does 13 divide j?
False
Let w(l) = -l**3 + 98*l**2 - 1169*l + 46. Does 11 divide w(36)?
False
Let n = 2000 - -3954. Is 39 a factor of n?
False
Suppose 4*w + a = 4*a + 23, 4*w + 5*a = -17. Does 8 divide 97 + w - (2 + 0)?
False
Suppose -5*d + 29*d - 703831 = 120737. Is 21 a factor of d?
False
Does 2 divide (1 - 56/64) + (-7775)/(-8) + 0?
True
Let h be (78/(-182))/((-1)/7). Is h*(-433)/(-7) - 12/(-28) a multiple of 21?
False
Let a(s) = -s. Let y(g) = 44*g + 34. Let l(c) = -5*a(c) - y(c). Is 40 a factor of l(-6)?
True
Let m be 32/(-112) + (-33)/7. Let t be (-168)/(-18) + m/15. Let u(p) = p**3 - 5*p**2 - 11*p - 19. Does 8 divide u(t)?
False
Does 33 divide 357831/348*220/15?
True
Let r(c) = -6*c + 228. Let z be 48*((-8)/3 - -3). Is 49 a factor of r(z)?
False
Let h(i) = 955*i**2 - 5*i - 1. Let d be h(2). Suppose -12*f - f - d = 0. Let m = f - -427. Is 35 a factor of m?
False
Suppose -19*h + 15*h = 3*m - 540, -2*m + 8 = 0. Suppose 2*i - 5*j - 20 - 49 = 0, -h = -5*i - j. Is 2 a factor of i?
False
Let a = -538 - -539. Let m be 162/2 + -2 + 3. Is (a/(4 - 3))/(2/m) a multiple of 10?
False
Let j(b) = -2*b**3 - 59*b**2 + 63*b + 32. Is 58 a factor of j(-34)?
True
Suppose -63 = 21*h, -6*h + 117014 = 2*i - 8*h. Does 10 divide i?
False
Let x(q) = q**3 + 13*q**2 - q - 8. Let v be x(-12). Suppose -6*p = -4*p - v. Does 9 divide (-8)/(-2)*p/8?
False
Suppose -5*x - 1001*a + 997*a + 241172 = 0, -3*x - 5*a = -144685. Is 134 a factor of x?
True
Let c(t) = -13 - 4*t - 4 + t - 14. Let n be c(-9). Is -3*(n - (-8)/(-12)) a multiple of 2?
True
Let o be (92/(-10))/((4 - -6)/50). Let n be 158*1*2/4. Let m = o + n. Is m a multiple of 5?
False
Let x(p) = 1626*p - 17772. Is 208 a factor of x(14)?
True
Let a = -144 - -147. Does 13 divide 3/(a/4)*5187/42?
True
Suppose -4*c - 40*y = -38*y - 3484, -c = -y - 877. Is c a multiple of 34?
False
Let l be 1/(-4) - (-5421)/52. Let b = -54 + l. Is b a multiple of 4?
False
Suppose 2*f + s = 2, -3*s + 22 = -2*f + 2*s. Let q(w) = -154*w + 2. Is 26 a factor of q(f)?
True
Let v(l) = 11*l**2 + 119*l + 5106. Does 34 divide v(-50)?
True
Does 12 divide ((-21)/35)/(2688776/537760 - 5)?
False
Let c(p) = 170*p**2 + 2*p + 384. Is c(-12) a multiple of 120?
True
Suppose 2*h - 26 + 0 = 0. Let b be ((-2)/h - 2/(-13))/1. Suppose b = -8*z - 52 + 980. Is z a multiple of 25?
False
Let g = -14 - 73. Let b = g - -59. Let n = -24 - b. Is 4 a factor of n?
True
Let s(z) = 1644*z - 492. Does 102 divide s(7)?
True
Let o = -337 + 220. Let p be (o/(-6))/((-2)/4). Let m = p - -113. Does 23 divide m?
False
Let k(m) = -m**3 + 11*m**2 - 9*m + 6. Let r be k(10). Is (r/(-12))/(2 - (-1860)/(-927)) a multiple of 40?
False
Suppose 52*t = -46*t + 57*t + 84050. Does 4 divide t?
False
Let n be (-4 - -44)/5*42/(-4). Let y = -6 - n. Is 13 a factor of y/(-4)*(-11 - (-25)/5)?
True
Let z be -1 - 0/((-6)/(-2) + -1). Let a be z/(-5) + 54/5. Let q(p) = p**3 - 8*p**2 - 17*p - 16. Is 20 a factor of q(a)?
True
Let o(m) = 10597*m**2 - m - 14. Is o(2) a multiple of 107?
True
Let x(b) = -3*b + 6. Let m be x(5). Let c(s) = 13*s**2 + 25*s - 11. Is c(m) a multiple of 90?
False
Let g(q) = -3*q - 14. Let v be g(3). Let p = 25 + v. Suppose -p*z - 96 = 2*f - 3*f, 0 = -3*f - 5*z + 255. Is f a multiple of 9?
True
Let r = 81158 + -26115. Does 11 divide r?
False
Suppose 5*x - 3 = 2*x. Suppose -4*h + 4*d - 4 = 0, -x + 0 = h + 5*d. Is 5 a factor of h + 51 + -1 + -2?
False
Let d(s) = -4970*s + 4590. Does 64 divide d(-5)?
True
Does 23 divide ((-483)/210*-20)/(2/1501)?
True
Let v(t) = -t**3 + 27*t**2 + 59*t - 26. Let n be v(29). Let b(u) = u + 186. Let r be b(0). Suppose 3*o = -n*y + y + r, 5*o + 394 = 4*y. Is 20 a factor of y?
False
Let t(g) = 304*g + 3488. Is t(81) a multiple of 176?
False
Suppose 25*p - 176865 = 16*p - 38283. Is 187 a factor of p?
False
Suppose -5*x - 3223 = 4*u - 62284, -5*u + 4*x = -73898. Does 19 divide u?
False
Let l = -64 + 92. Let t be 37/7 - (32/l)/4. Suppose -t*i + 263 = -407. Is 31 a factor of i?
False
Let r(a) = -305*a + 6380. Does 10 divide r(-26)?
True
Let y(c) = 719*c - 295. Does 13 divide y(7)?
False
Does 15 divide (5472/56)/(63/2058)?
False
Let q be 2/6 - (-316)/(-12). Suppose -4*t = t + 20. Is 18 a factor of (-14016)/(-156) + t/q?
True
Let d(c) = -3*c**2 - 8*c + 8. Let t be d(-4). Let n be t/(6*(-2 + (-10)/(-6))). Suppose -10*j = -n*j - 234. Does 13 divide j?
True
Is 4 a factor of 46 - (2 - (3 - 3 - -2))?
False
Suppose -5*u - 45 = -5*f, -5*f - 4 = -u - 37. Does 42 divide (-378)/(-45)*(37 + f/(-3))?
True
Suppose 10 = 24*v - 19*v. Let o be ((-4)/v + 6)/((-11)/(-297)). Suppose -o = 11*n - 13*n. Is n a multiple of 12?
False
Suppose 4*q = 923 - 135. Let h = 322 - q. Is h a multiple of 12?
False
Let i(k) = -71*k + 2310. Is 40 a factor of i(0)?
False
Let i = 2192 + -2103. Suppose 5 = -5*h - 5*j, h - 2*j + 5*j = -3. Suppose -q - 4 + 1 = h, 5*q = 2*m - i. Does 30 divide m?
False
Suppose 40 = -20*o + 10*o. Let x(c) = 5*c**3 - c**2 + c. Let n be x(1). Does 7 divide (28/n)/(((-32)/20)/o)?
True
Is (4 - 4 - 15) + 2559 a multiple of 12?
True
Let g be (-6404)/18 - (-38)/(-171). Let l = -234 - g. Is l a multiple of 46?
False
Let g(y) = y - 11. Let n be g(8). Let t be ((-952)/(-16) + n/2)*-1. Let o = t - -99. Is 25 a factor of o?
False
Suppose -894010 + 2357302 = 36*d. Does 15 divide d?
False
Let x = -36 + 40. Suppose r = -x*r - 830. Let a = -100 - r. Does 22 divide a?
True
Let w = 3212 - 1232. Is 60 a factor of w?
True
Suppose 5*n = 403*m - 400*m - 6597, -5*m = -4*n - 10969. Does 29 divide m?
False
Let g(i) = -i**3 - 17*i**2 - 9*i + 2. Let h be g(-16). Let w = 236 + h. Is 21 a factor of w?
True
Let r(y) = 155*y**2 + 15*y + 74. Let s(d) = -31*d**2 - 3*d - 15. Let f(l) = -2*r(l) - 11*s(l). Does 48 divide f(-4)?
False
Suppose -3534 - 2654 = -14*a. Suppose 3*x - 320 = x + 5*j, 2*j - a = -3*x. Does 8 divide x/3 + -1*1 + 4?
False
Let l be ((-1 - -3)/4)/((-13)/(-437580)). Suppose -l - 810 = -14*x. Is 12 a factor of x?
True
Let q(h) be the third derivative of h**4/24 + 2*h**3 + 20*h**2. Let s be q(-9). Suppose -1332 + 512 = -5*b - 4*p, -s*b + 3*p + 519 = 0. Does 28 divide b?
True
Let o = 1 - -167. Suppose 5*p = o + 252. Is p a multiple of 12?
True
Suppose -24866 = -7*p - 6029. Is p a multiple of 14?
False
Suppose 5*o + 50 = 15*o. Suppose -1774 = -o*k - 2*i, 4*k + 3*i = 2*k + 714. Suppose -2*g + 2*c 