**2 + 14*m. Let p(a) = -657*a**3 + 27*a**2 - 14*a. Let n(h) = 3*p(h) + 4*t(h). Does 30 divide n(1)?
True
Let n(b) = 2*b + 60. Let h = -5 + 9. Let q be -1 - (-1 + 4 - h). Is n(q) a multiple of 12?
True
Let g be (33 - 39)*(-2)/4. Is 1/(-3) + 1875*g/27 a multiple of 10?
False
Suppose -21*i = -17*i - 12. Does 12 divide (390 - i)*(-8)/(-6)?
True
Let i(s) = 17*s - 64. Suppose 4*a = m - a - 19, -2*m + 2*a = -30. Is 6 a factor of i(m)?
True
Suppose 0*q + 27*q - 470162 = -16*q. Is q a multiple of 188?
False
Suppose -3 - 41 = -r. Let i = 59 - r. Is 63 - ((-14)/105 + 47/i) a multiple of 16?
False
Let a(h) = 99*h**2 - 710*h - 100. Is 14 a factor of a(-18)?
False
Suppose 361*u - 63195 = 40*u - 62*u. Let h = -235 - -108. Let k = h + u. Is k a multiple of 13?
False
Suppose -63*c + 32*c + 774676 = 42*c. Does 28 divide c?
True
Let u(p) = 2*p**2 + 39*p + 14. Suppose 260 = 10*z - 20*z. Does 10 divide u(z)?
False
Let n = 3877 - -9927. Is n a multiple of 119?
True
Let u be -5314*10/60 - (-2)/(-6). Let x = -396 - u. Does 49 divide x?
True
Let c = -32149 - -35578. Is 9 a factor of c?
True
Let s be 3/5 + 21/35*-6. Is 5 a factor of ((-124)/s)/(638/(-165) - -4)?
True
Let r(b) = -b**2 + 20*b - 24. Let o be r(17). Let c = -11 + o. Is 6*(c + 2 + -2) a multiple of 16?
True
Suppose 0 = -5*k - 3*r + 5482, 0 = -13*k + 15*k - 5*r - 2230. Is 25 a factor of k?
True
Let y(z) = -15*z**2 - 375 + 790 - 130*z - 399. Is y(-8) even?
True
Let y = 152 + -133. Suppose 144 = -16*p + y*p. Is 8 a factor of p?
True
Suppose -6*t + 48 = 0, 28*k - 23*k = 4*t + 39298. Does 135 divide k?
False
Suppose 2*r - y - 5 = 0, 0 = r - 5*y + 5 + 6. Suppose 4*c - 6*c + r = 0. Suppose -u - 7 = 5*f - 53, 0 = -c*u - f + 47. Is u a multiple of 4?
False
Suppose 0 = -35*u + 68*u - 38*u + 55635. Is u a multiple of 83?
False
Let t(o) = -6462*o - 846. Does 19 divide t(-2)?
False
Suppose 75*q - 78*q = -5*j - 58966, 20 = 5*j. Is 19 a factor of q?
False
Let w = -35 + 37. Suppose -3*n + 228 = -w*n + 5*p, -4*p = 3*n - 662. Suppose -7 + 32 = 5*l, 2*l - n = -4*c. Is 52 a factor of c?
True
Let u(h) = h**3 - 24*h**2 - 37*h - 10. Let l be u(25). Let t = l - -549. Does 80 divide t?
False
Let c be 8/2 - (0 - 1). Suppose c*i + 541 - 2046 = 0. Is 35 a factor of i?
False
Let n(g) = 37*g**2 + 18*g - 687. Is n(33) a multiple of 25?
True
Suppose 3*k - 3527 = 5*c, 3*c - 473 + 1650 = k. Is k a multiple of 2?
True
Let u be ((-22)/(-6))/(11/33). Suppose 0 = 7*h - u*h + 640. Is 6 a factor of h?
False
Let t(o) = -o**3 - 21*o**2 + 16*o - 27. Let y be t(-18). Let u = -682 - y. Is u a multiple of 36?
False
Let l be 2/(-2) - (4 - (0 + 7)). Is 541 - (1 - (-6 - l)) a multiple of 14?
True
Let q(p) = -3*p - 78. Let f be q(-20). Does 6 divide (1 - f) + (-215)/(-43)?
True
Let z be (6/4)/((-783)/(-126) + -6). Suppose -z*d - 252 = -16*d. Is d a multiple of 14?
True
Let r(l) = l + 1. Let j(v) = 30*v - 96. Let g(k) = j(k) - 8*r(k). Does 26 divide g(8)?
False
Let w(r) = -13*r + 234. Let y be w(18). Suppose -f = 6*j - 8*j - 365, y = -3*f + 2*j + 1087. Is f a multiple of 20?
False
Let v = -71 - -73. Suppose 88 = -6*w - v. Let d = w + 51. Does 6 divide d?
True
Suppose 5*t - 9286 = 4*q + 3360, -2*t + 2*q = -5060. Does 61 divide t?
False
Let s(q) be the first derivative of q**4/4 + 19*q**3/3 + 2*q**2 - 10*q + 82. Is 28 a factor of s(-13)?
True
Suppose 3*m = -4*v + 19, -2*v + 10 = m + 3*v. Suppose -m*p + 10*p = 3*o - 456, 5*p + 462 = o. Let h = 187 + p. Is 12 a factor of h?
False
Let b(k) = -2*k + 8. Suppose 2*z = f + 12, -2*f = -0*z + 2*z. Let h be b(z). Suppose 2*a - 85 - 139 = h. Does 14 divide a?
True
Let v(z) = 4*z**2 + 64*z - 14. Let w be v(-16). Let g(y) = -15*y - 1. Is g(w) a multiple of 9?
False
Suppose 58*v - 3410 = -3*d + 53*v, -5*v = 10. Does 48 divide d?
False
Suppose 0 = 4*h + 17840 - 29177 - 22935. Is h a multiple of 14?
True
Suppose 102*j + 2240 = 130*j. Is 11 a factor of j?
False
Is 1925/((174/(-783))/(52/(-18))) a multiple of 65?
True
Suppose 29*r = 37*r. Suppose r = 5*z + l - 675, -655 = -5*z - 7*l + 2*l. Is 34 a factor of z?
True
Suppose 3*l = 4*l + 5. Let v(k) = 3 + 0 - 11*k - 4 - 14. Does 3 divide v(l)?
False
Suppose x = -3*v + 6833, 0*x + 2*x + 11414 = 5*v. Is 60 a factor of v?
True
Let f(d) = -10*d + 160. Let m be f(15). Is 2 a factor of 58*((-117)/(-130) - (-1)/m)?
True
Is (9/12 - 0)/(14/132888) a multiple of 91?
False
Let t(v) = -3*v + 2*v + 2*v**2 + 6*v + 66*v**3 - 6*v. Is 3 a factor of t(1)?
False
Suppose 0 = -3*m - 5*q + 181273, 63*m + 2*q = 59*m + 241660. Is m a multiple of 279?
False
Let w(p) = -2*p**2 + 55*p + 11. Let x be 11/2*2*1. Does 34 divide w(x)?
True
Let m = -9816 + 18435. Is 13 a factor of m?
True
Suppose -4*o + 2*p + 46 = 4, -4*p = 5*o - 20. Let q be (-1*(-916)/o)/((-4)/(-8)). Suppose -6*f = -q - 581. Is 15 a factor of f?
True
Let m = 7875 - 5136. Is 33 a factor of m?
True
Let o be -237*(208/(-12))/2. Let k = -974 + o. Is 54 a factor of k?
True
Is ((-21)/(-49)*(-7)/(-12))/((-2)/(-49512)) a multiple of 108?
False
Let h(d) = 1039*d + 126. Is h(6) a multiple of 12?
True
Let v(t) = 3*t + 61. Let a(h) = h + 31. Let i(q) = 7*a(q) - 4*v(q). Let d be (6 - 4/1)*(-65)/10. Is i(d) a multiple of 5?
False
Let q = -40 + 43. Suppose -x - q*z = -4, 2*x - 16 = -2*x - 5*z. Suppose -i = -x, -p - p = 5*i - 60. Is 20 a factor of p?
True
Suppose 20*d - 25*d + 944 = 2*v, d - 1906 = -4*v. Let p = v + -225. Is 7 a factor of p?
True
Suppose 5*n - 343 + 43 = 0. Let z = n + 160. Is 10 a factor of z?
True
Let f = 16 + -12. Suppose 0 = -f*w + 2*g - 15 - 25, -5*g - 17 = 3*w. Is 9/(-27) + (-2010)/w a multiple of 33?
False
Suppose -11*v + 2*r - 1188 = -12*v, 1198 = v + 4*r. Suppose 282 = -2*y + v. Is 16 a factor of y?
True
Let a(g) = -5*g - 12. Let w be a(-3). Suppose 8*h + w*h = 22. Is (h + 24/(-10))/((-3)/870) a multiple of 6?
False
Is 18 a factor of 52/12*-3 + 2155?
True
Let y(r) = 7*r + 4. Let b = -8 - -21. Let s be 2/3*(-7 + b). Does 16 divide y(s)?
True
Let f(q) be the third derivative of 0*q + 11/3*q**3 + 3/4*q**4 + 0 - 38*q**2. Is 37 a factor of f(7)?
True
Suppose 2*p = -5*u + 3, 3*u = 5*u + 4*p - 14. Does 46 divide 22060/80 - u/4?
True
Suppose -6*h - 5*c + 40 = -3*h, 2*h - 15 = -c. Suppose h*v + 45 = 5*z - 0*v, -33 = -2*z + 5*v. Suppose 2*i = y, -i = -3*y - z + 14. Is 2 a factor of y?
True
Let o(r) = 8 - 364956*r + 364959*r + 20. Let m be 2*(6 - 1/1). Does 3 divide o(m)?
False
Suppose 6*v - 1079 = 583. Suppose -4*h - x - 200 = 3*x, 5*h + v = 4*x. Let w = 72 + h. Does 19 divide w?
True
Let c = 78 - 132. Let n be c/10 + 5 + 52/5. Suppose 14 = 3*u + 2*x, x + n = -x. Is 2 a factor of u?
True
Let u(x) = -89*x - 127. Is u(-26) a multiple of 204?
False
Suppose 27*w + 110735 - 381683 = -107*w. Is 3 a factor of w?
True
Suppose -2*m - 2*m - 5*h = -39765, -5*h = 2*m - 19865. Is 10 a factor of m?
True
Let y(w) = -w**3 - 7*w**2 - 8*w - 10. Let l be y(-6). Let p be (-5 - -3)*(-3)/2 - l. Is p*(-4)/4 + 5 a multiple of 2?
True
Let d(t) = 192*t + 6. Let h = 28 - 0. Let y be (7/h)/(2/8). Does 18 divide d(y)?
True
Let g be ((-960)/(-36))/(1/18). Suppose 0 = 36*p - 38*p + g. Does 20 divide p?
True
Suppose m = 7*m - 24. Suppose m*d + 16 = 8*d. Suppose -d*q = 4*c - 0*q - 424, -q + 530 = 5*c. Does 15 divide c?
False
Suppose -4*i - 608 = -4*f, -5*f + 776 = -0*i + 3*i. Is 36 a factor of ((-1188)/f)/(1/14*-3)?
True
Is 11 a factor of (37 + (3 - 1))/((-1)/(-89)) + 5?
True
Suppose -90561 = -21*l + 58455. Is l a multiple of 10?
False
Let o(s) = -1. Let g(a) = -20*a + 131. Let y(f) = g(f) - 2*o(f). Let u(m) = -7*m + 44. Let c(r) = -17*u(r) + 6*y(r). Does 17 divide c(21)?
False
Let i(x) = 1078*x - 4088. Is i(6) a multiple of 119?
True
Let s(b) = 2*b**2 - 9*b + 16. Let n be s(13). Let f = n - 413. Let a = -76 - f. Does 20 divide a?
True
Let g(u) = u**2 + 13*u + 16. Let t be g(-12). Suppose -3*w + 10 = t. Suppose 0*s + w*s = 84. Is 10 a factor of s?
False
Let p(y) = 1564 - 2*y - 6*y**2 - 3*y**3 - 5*y**2 + 9*y**2 + y**3. Does 23 divide p(0)?
True
Let q(p) = -p**2 - 34*p + 114. Let k be q(-36). Suppose k = -6*t + 1722. Does 20 divide t?
True
Suppose 0 = -7677*m + 7663*m + 133980. Is m a multiple of 33?
True
Let z(u) = u**2 - 15*u + 29. Let m be z(13). Let g = 139 + -46. Is 1*(g + m + -3) a multiple of 10?
False
Suppose j - b = -3*j + 12, -b - 3 = -j. Suppose -j*a - f + 1 = -