 3*v + 0. Let k(j) = -j - 17. Let p be k(-15). Is 6 a factor of h(p)?
True
Is 12 a factor of (4713 - (252/(-4))/9) + -4?
True
Let c be (-1)/(-1)*(80 - (-4 - -2)). Is -10*(c/(-4) + (-30)/6) a multiple of 17?
True
Suppose -4*l = c + 24, -5*c = 3*l + 19 + 33. Is 23 a factor of ((-48)/(-9))/(c/(-276))?
True
Let m(o) = 14*o**2 + 4*o + 13. Suppose 5*f - 35 = -4*r, -1 = 2*r - r - 2*f. Is m(r) a multiple of 21?
False
Let x = -56998 - -118417. Is x a multiple of 108?
False
Is 16 a factor of (-10964)/3*(-96)/64?
False
Let a be 5/(-7 - -2) + 73. Suppose 0 = 2*w - a + 58. Suppose -w*t + 554 = -181. Does 21 divide t?
True
Let d = 11344 + -5044. Is d a multiple of 50?
True
Let d = 47 - 47. Let y(n) = -n**3 - 1208. Let a be y(d). Is 17 a factor of -1 - a/6 - (-6)/9?
False
Let u = 19795 - 11499. Is u a multiple of 17?
True
Let g = 22596 - 9172. Does 8 divide g?
True
Suppose 3*z - 26*f - 45 = -31*f, 4*f = z + 2. Let b(y) = 2*y**2 - 9*y - y**2 + 1 + 5. Is 8 a factor of b(z)?
True
Suppose 22 = -q + 12. Let f(p) = p**2 + 11*p + 11. Let n be f(q). Is 14 a factor of 0/n + (27 - 3)?
False
Let i = 126 + -231. Is 53 a factor of (-6278)/(-14) + i/245?
False
Suppose 0 = 3*d - 8*d + 6*q + 918, -2*d - 2*q + 354 = 0. Is d a multiple of 180?
True
Let c(p) = -68*p - 29. Let n be c(-7). Suppose -4*y + 351 = -5*f + 8*f, n = 5*y + f. Is 9 a factor of y?
True
Suppose -15700 = -8*q + 9404. Suppose 0 = 10*t - 4792 - q. Does 61 divide t?
True
Let w(r) = 2*r**3 - 19*r**2 + 23*r + 1. Let o be w(8). Does 43 divide (25 + o)*(-344)/(-6)?
True
Suppose -46*u - 13954 + 145942 + 125106 = 0. Does 23 divide u?
True
Suppose -3*n - 1029 = -4*b + 384, -2*n - 1768 = -5*b. Suppose 2460 = 6*w + b. Is 59 a factor of w?
False
Let i = -66 + 80. Let u(b) = -b**3 + 19*b**2 - 40*b + 32. Is u(i) a multiple of 16?
False
Suppose 5 = 4*l + 4*h + 21, 0 = -5*l + 2*h - 20. Is (-701)/l + 1/(-4) even?
False
Let j(w) = -6*w**2 - 810*w - 383. Does 29 divide j(-127)?
True
Let y = 42 - 44. Let k be (-20)/(-15) + y/(-3). Suppose -3*p = -a - 271, 6*a - 4*a = -k*p + 178. Is 12 a factor of p?
False
Let x = -45 - -47. Suppose x*a + 4 = -12. Let l(i) = -i**3 - 9*i**2 - 11*i - 9. Does 5 divide l(a)?
True
Suppose 2*r - 3*r - 2*r = 0. Suppose -8*i + 1024 + 72 = r. Is 4 a factor of i?
False
Let u = -747 + 1329. Suppose -14*v + u = -608. Is v a multiple of 2?
False
Is 107 a factor of (-22)/(-42) + 2/(-3) - (-83740296)/9429?
True
Let v(b) = -4*b - 61. Let g be v(-3). Let h = 1371 - g. Does 10 divide h?
True
Suppose 19*f - 71857 = 42808. Does 17 divide f?
True
Let d be (3 - 9)*(2/(-6) - 2). Let c(o) = 3*o**3 + 14*o**2 + 3*o + 6. Let w(k) = 4*k**3 + 14*k**2 + 2*k + 5. Let q(v) = 5*c(v) - 4*w(v). Does 12 divide q(d)?
True
Let s = 3936 + -3387. Does 29 divide s?
False
Let d(z) = -2*z - 17. Let p be d(-12). Suppose -p*o + 4*o = g - 15, 15 = -3*g + 3*o. Suppose -a + 4*n + 86 = g, -3*a + 4*n + 261 = 19. Is a a multiple of 13?
True
Let u(t) = 4*t**2 - 40*t - 398. Does 3 divide u(-11)?
False
Suppose 6*y - 2*y - 2020 = -2*t, 4*t + 5*y - 4025 = 0. Let z = -508 + t. Is 12 a factor of z?
True
Let g = 2 - -2. Let y be (-2)/(-8)*(-1 - -2) + (-41436)/(-144). Suppose -t + 3*t - 2*j = 144, g*t - 3*j = y. Is 10 a factor of t?
False
Suppose -694*i - 58830 = -747*i. Is 222 a factor of i?
True
Does 46 divide 7 + -3981*(50/(-15) + 3)?
True
Let n be ((-1)/(-4))/(99/(-20) - -5). Suppose 0 = s + 2*r - 396, 0 = -n*r - 1 + 16. Is 30 a factor of s?
True
Let f be (7165 - 9) + (-3 - 1). Suppose 42*g - 58*g = -f. Is g a multiple of 20?
False
Let p(r) be the first derivative of 11*r**4 + r**3/3 - 4*r**2 + 11*r - 37. Is p(2) a multiple of 27?
True
Let j be (-4)/((-1)/(1 + 1)). Let f(z) = -z + z**3 + j*z - 5*z - 6*z**2 - 3. Is f(6) a multiple of 7?
False
Suppose 1942*a = 1975*a - 46365. Is a a multiple of 55?
False
Let r(v) = -v**3 + 23*v**2 + 10*v + 36. Let p be r(19). Suppose -5*l + p = 5*z, 6*z + 1642 = 11*z - 2*l. Does 22 divide z?
True
Let c = -622 - -789. Suppose -c + 41 = -o. Is o a multiple of 7?
True
Let j = 52862 + -29850. Suppose -34*z = -j - 7758. Is z a multiple of 8?
False
Let s(t) = 3*t**2 + 20*t + 3. Let o = -59 - -56. Let r be (2 - 1)*(-14 + (-15)/o). Is 22 a factor of s(r)?
True
Let v = 79156 - 35756. Is v a multiple of 14?
True
Let d(l) be the first derivative of -20*l**2 + 42*l + 17. Is d(-12) a multiple of 10?
False
Suppose -667*c + 451350 = -324*c - 325*c. Is c a multiple of 41?
False
Suppose -10*q = -95453 - 249187. Is 96 a factor of q?
True
Let u = 163 + -158. Suppose -u*a + 2*s = -3038, 3308 - 294 = 5*a + 4*s. Does 101 divide a?
True
Let j = 517 + -523. Is 36 a factor of j + -7 + 9 - -724?
True
Let b(t) = 3*t + 6. Let a be b(3). Let u(f) = 13*f + 89. Does 5 divide u(a)?
False
Let m be (-6)/8 - (-107625)/140. Suppose m = 12*r - 8*r. Does 16 divide r?
True
Suppose 0 = -j - 35 - 59. Let g = j + 94. Is ((-81)/(-12) - g)/((-15)/(-80)) a multiple of 18?
True
Let m = 22 + -40. Let c be (-5)/(-25) + m/15. Let b(d) = 50*d**2. Is b(c) a multiple of 10?
True
Suppose q - g = 33, -g - 171 = -5*q + g. Let s = 841 - q. Does 13 divide s?
True
Suppose -21 = -6*w - w. Suppose -y = -w*m + 491, -m = -3*y + 2 - 171. Is 66 a factor of m?
False
Let y = -447 - -1287. Does 21 divide y?
True
Let i(z) = 4*z - 53. Let f be i(12). Is 5 a factor of (-2)/10 - 186/f?
False
Let j(o) = -6*o + 6. Let v be (-16)/(-2*1) - (-100)/(-25). Suppose 0 = v*u + 5*s + 70 + 1, -3*u = 2*s + 55. Does 10 divide j(u)?
True
Is 6 a factor of ((-3538)/(-366))/((-2)/(-186))?
False
Let p be 6 + -8 + -3 + 1 + 1757. Let r = -1040 + p. Does 23 divide r?
True
Let j(n) = -n**2 + 7*n - 11. Let o be j(5). Let m be 5 + 0 + o/(-1). Suppose 5*w + 15 = -2*q + m, -2*q = -5*w - 41. Is q even?
True
Let t = 60267 - 31587. Does 10 divide t?
True
Let p = -428 + 1847. Is 44 a factor of p?
False
Let q = 52 - 51. Let v(l) = -q - 1 + 0 - 24*l + 5*l. Is v(-5) a multiple of 18?
False
Suppose -5*m = 3*x - 11243 - 15425, 0 = -5*m + 25. Is x a multiple of 83?
True
Suppose w - 209 = -199. Is 65 a factor of (-1707)/((w/(-15))/(2/3))?
False
Let v = 32 - -91. Is v - 4/(-5)*-5 a multiple of 17?
True
Let h(w) = 17*w - 2. Suppose 6 = -3*g - 5*v + 4, 4*v = 3*g - 7. Let b be h(g). Suppose b*t - 536 = -86. Does 30 divide t?
True
Let j(k) = k**2 - 13*k - 16. Let p be j(12). Let t = p - -30. Suppose -5*g + 4*w = -255, 5*w = t*g + w - 114. Is 18 a factor of g?
False
Does 17 divide (-6395)/21*-81 + (-12)/(-21)?
True
Let y(f) = 110*f**2 + 27*f - 22. Let a be y(5). Suppose 23*u = 16*u + a. Is 61 a factor of u?
False
Let p(c) = -c**2 + 4. Let z be p(0). Suppose z*r + 272 = 12*r. Suppose -3*o + 137 = -r. Does 41 divide o?
False
Is ((-380 - -5) + 5)/(((-77)/84)/11) a multiple of 10?
True
Suppose 0 = 3*n - 4*d - 17, 2*n + d = 10 + 16. Suppose -k - n + 14 = 0. Suppose -k*v = -0 - 78. Does 13 divide v?
True
Does 5 divide -9 + 558 + -5 + 16?
True
Let j = 722 + -709. Suppose o + j = 8, n - 3*o - 751 = 0. Does 60 divide n?
False
Suppose 451618 - 142498 = 42*u. Is 46 a factor of u?
True
Suppose b + 73 = 2*m, 4*m - 3*m - 44 = -2*b. Let s be (-88)/(-6)*6/4. Suppose 5*f - m = s. Is 4 a factor of f?
True
Suppose -1027*n = -1005*n - 109604. Is n a multiple of 106?
True
Let b = 27884 - 13700. Does 4 divide b?
True
Let u(a) be the first derivative of -a**4/4 - 11*a**3/3 - 12*a**2 + 7*a + 89. Is 7 a factor of u(-8)?
True
Let w = -6348 - -13862. Is 87 a factor of w?
False
Let r = 129082 - 89158. Is r a multiple of 189?
False
Let f = -46369 + 90689. Does 17 divide f?
False
Let j = -35 + 37. Let y(g) = -67*g + 68*g + 4 + j*g**2 - 2*g**2 + g**2. Is y(3) a multiple of 16?
True
Let g(t) = 275*t + 6164. Is 129 a factor of g(32)?
True
Suppose 203 - 628 = -25*f. Suppose f*w - 2173 = 9455. Is 57 a factor of w?
True
Let p = 34333 - 32383. Is p even?
True
Suppose 11*z = -0*z. Is 16 a factor of (-344 + z)*(-4 + -1 + 3)?
True
Let w = -157 - -159. Let h(m) = 24*m**3 - 2*m**2 + 2*m - 4. Is 30 a factor of h(w)?
False
Let g(d) = -922*d - 268. Does 60 divide g(-4)?
True
Let i = -5860 - -13296. Does 34 divide i?
False
Does 14 divide (64 - 63)/(2/44570) - -3?
True
Let v(c) = 2*c**2 + 103*c - 2813. Is v(67) a multiple of 47?
True
Let i(z) = 20*z**2 - z - 233. Let q be i(0). Does 15 divide -1*6/6*q?
False
Let a(o) = 24*o + 4. Let l be a(-2). Let g = l + 31. Is 2 a facto