 of 9?
True
Let a be 7/((175/10)/5). Does 17 divide (5 - a - 1)*17?
True
Let c(g) = g**2 - g + 3833. Is 13 a factor of c(-119)?
False
Let t be ((-54)/8)/(2/(32/2)). Let w = t - -57. Suppose -w = y, -3*y + 84 = 4*p - 243. Is 28 a factor of p?
True
Let g = 2176 - 115. Is g a multiple of 8?
False
Let o(t) = t**3 - 32*t**2 + 111*t - 10. Does 18 divide o(29)?
False
Is (-62 - 18/3)*(-1448)/32 a multiple of 17?
True
Suppose 3*h = 5*n + 618, 42*h = 40*h - n + 399. Does 3 divide h?
True
Let m(a) = 56*a - 7. Let x = 76 + -71. Is m(x) a multiple of 13?
True
Suppose -8*u - 55497 = 34103. Does 70 divide u/(-75)*15/4?
True
Let f(z) = -12*z + 481*z**2 + 41 - 997*z**2 - z**3 + 497*z**2. Let q be f(-19). Suppose 3*x - 2*g - 703 = 0, 5*g = -4*x + 676 + q. Is 23 a factor of x?
False
Let z be 1 + -1*(-10 - -5). Is z/(638/(-160) - (-5 - -1)) a multiple of 4?
True
Let k(s) be the second derivative of 0 + 1/12*s**4 + 9/2*s**2 + 1/6*s**3 + 27*s. Is 5 a factor of k(-3)?
True
Let m be 32/(-320) + 68322/20. Suppose 5*g + 3400 = 4*f, m = 4*f + 62*g - 63*g. Does 45 divide f?
True
Is -10290*126/(-27)*2 a multiple of 51?
False
Let v be 6/2 + 3980 - 0/3. Suppose -v = 4*y - 3*x, 9*x - 6 = 11*x. Does 19 divide (-2)/28*y + 10/(-35)?
False
Let x be (5706/8)/(15/80). Suppose -3*f = -15*f + x. Does 3 divide f?
False
Let f(b) = b**2 - 10*b - 7. Let m be f(11). Suppose m + 9 = -2*q - t, 0 = 4*q - 5*t - 9. Let j(i) = 6*i**2 + 4*i. Is j(q) a multiple of 16?
True
Let g = -243 - -240. Does 36 divide 319 - ((g - 3) + 1)?
True
Suppose -3*r + 2*a = 3*a + 120, 4*a + 29 = -r. Let b = r - -68. Suppose -4*h = 4*g - 351 + b, -2*g = -10. Does 16 divide h?
False
Suppose 1002*u - 1098512 = 931*u. Does 160 divide u?
False
Let d(j) = 286*j + 282*j + 6*j**2 - 561*j - 13 - j**3. Does 34 divide d(-6)?
False
Suppose -5*p + 466*j - 461*j = -5290, -j = 4*p - 4232. Does 9 divide p?
False
Is 105 a factor of (-3254*14)/(-2) - (-960 + 953)?
True
Let w(h) = -19*h - 17. Let o(r) = -r**3 + 7*r**2 - 8*r + 5. Let s be o(5). Suppose 10*q - 15*q - s = 0. Does 11 divide w(q)?
False
Suppose 2*j - 5*b - 18 = 0, -4*b - 43 = 4*j - 107. Is ((-10344)/j)/(-3) + 18/(-63) a multiple of 9?
False
Let q(z) = -13*z - 102. Let r be q(0). Let b = -7 - r. Is b a multiple of 5?
True
Let p(v) = 7*v**2 + v - 4. Let w be p(1). Suppose -w*b - 3*c = -268, c - 2*c + 346 = 5*b. Is b a multiple of 7?
True
Let s = 91 + -88. Does 16 divide 42 - s - (0 + -5)?
False
Let a(g) = -3*g**3 - 10*g**2 + 14*g + 5. Suppose 0 = -2*l - 2*l - 4. Let h(u) = -u**3 + u. Let w(p) = l*a(p) + 2*h(p). Is w(-11) a multiple of 3?
True
Let x(v) be the third derivative of v**6/120 + v**4/8 + 25*v**3/3 + 2*v**2 + 49. Is 10 a factor of x(0)?
True
Is 16 a factor of ((-377025)/(-22))/((-10)/(-8))?
False
Let h = -152 - -154. Suppose h*q = -5*v + 1197, -13 = -5*v + 3*q + 1204. Does 22 divide v?
False
Suppose z - 55*g - 5500 = -57*g, 3*z + 3*g - 16518 = 0. Does 53 divide z?
True
Let i(q) = q**2 + 2*q + 1. Let c be i(-3). Suppose 4*d + 28 = c*x - 4, -2*x - d + 1 = 0. Does 10 divide 29 - x - (-5 + 1)?
True
Let j(h) = -27*h - 122 + 251*h - 87 - 10. Is 39 a factor of j(5)?
False
Suppose 0 = -3*x - 111 + 18. Does 13 divide (-5 - x)/((-10)/(-135))?
True
Let s(o) = 242*o + 16. Suppose -14 = 4*v - 11*v. Does 10 divide s(v)?
True
Let a = 31499 - 12526. Is a a multiple of 29?
False
Let a(w) = -w**2 - 20*w - 10. Suppose 22 - 166 = 8*x. Let k be a(x). Suppose -3*u = 4*h - 63, 2*u + 2*h - k - 16 = 0. Is 7 a factor of u?
True
Let z(l) = l**3 + 10*l**2 + 3*l + 1. Let f = -151 - -147. Does 17 divide z(f)?
True
Suppose 394*u + 2321 = 396*u + f, 1 = f. Is u a multiple of 58?
True
Does 13 divide 9 + 112/8 + 7231?
True
Suppose -13*l + 157639 = 6*l - 44217. Does 16 divide l?
True
Suppose -170*d = -193*d + 35029. Is d a multiple of 16?
False
Suppose 0 = -21*n + 89*n - 15653 - 34871. Does 20 divide n?
False
Suppose -77572 = -109*d + 23*d. Is 29 a factor of d?
False
Suppose -p = 2*q - 4, -q + 5 = -2*p + 3*p. Does 5 divide (p/(-18)*3)/((-2)/358)?
False
Let x = -1881 + 4697. Does 176 divide x?
True
Let u be (-2 - (-4)/3)*(-8 + 5). Let o be 67*(-3 + 1/u)*2. Let g = o - -504. Is g a multiple of 30?
False
Suppose 5*a = -3*a - 4*a. Let n(c) = c**2 + 173. Does 11 divide n(a)?
False
Let i(a) = 2*a**2 + 10*a + 1. Suppose 0 = 16*s - 20*s - 20. Let w be i(s). Is 17*-2*w/(3/(-12)) a multiple of 6?
False
Let l(n) = 256*n + 3992. Is l(-7) a multiple of 4?
True
Let f = 44 + -39. Suppose f*r - 2*r - 255 = 0. Suppose -100 - r = -5*p. Is p a multiple of 4?
False
Suppose 22536*a - 1368900 = 22510*a. Is 15 a factor of a?
True
Let o be 3*-2*(-6)/12. Suppose 4*q = 4*z + 212, -o*z + 2 = 2*q - 79. Does 4 divide q?
True
Suppose 0 = -46*j + 62*j - 19408. Is j a multiple of 25?
False
Let p = -372 + 371. Does 27 divide (4360/(-327))/(-2*p/(-81))?
True
Let o(k) = 52*k**2 + 14*k - 15. Let s be o(6). Is s/18 - (-1)/6 a multiple of 12?
True
Let j = 11410 + 7245. Is j a multiple of 7?
True
Suppose 2*j - 2*l - 48271 + 8141 = 0, 4*l + 40138 = 2*j. Is j a multiple of 7?
False
Let i be -1 + (-4)/(-2) - (-40)/10. Let h(z) = 2*z**2 - 2*z + 3. Let v be h(i). Suppose -45*w + 140 = -v*w. Does 14 divide w?
True
Suppose 5*z + 0*r = -4*r - 162, -3*z - 81 = -3*r. Let i = z - -30. Suppose -3*o + 2*u + 0*u + 140 = 0, 3*o - 3*u - 141 = i. Is 23 a factor of o?
True
Suppose -2*i - 5*u + 35 = 0, -4*i + u + 11 = -26. Suppose -5938 - 4102 = -i*k. Is k a multiple of 41?
False
Let m(u) = u - 24. Let k(y) = 4*y**2 + 4*y - 12. Let c be k(2). Let a be m(c). Let r(h) = h**2 + 9*h - 6. Is r(a) a multiple of 3?
True
Is (5/15*-4 - (-213086)/6) + 0 a multiple of 17?
True
Does 80 divide 25/(-5)*(2 - (6599 - 5))?
True
Suppose 3569*f + 2666080 = 3664*f. Does 32 divide f?
True
Let p(z) = z**2 - 6*z - 9. Let l be p(8). Suppose n + 168 = l*n. Is n a multiple of 4?
True
Suppose -3*c + k + 7846 = 0, 2*c - k - 1364 - 3865 = 0. Is c a multiple of 125?
False
Suppose 3 = y, -3*v + y + 5578 = -4337. Is v a multiple of 83?
False
Suppose 4*m + 2*t = -750, -t - 755 = 4*m - 0*m. Let n = m - -234. Is 4 a factor of n?
True
Suppose -3*t + 21 = -r, -t + 3*r - 1 = -8. Let d(b) = b + b**3 + 3*b - 14 + 8*b**2 - 2*b**3. Does 10 divide d(t)?
False
Let i = 45 + -42. Suppose 0 = 3*q + w - 6, i*w - 10 = -5*q + 2*w. Suppose -q*d + 3*a = -81, 170 = 3*d + 2*d - a. Is 3 a factor of d?
True
Suppose 17*a - 34 - 51 = 0. Suppose -4*n + y + 358 = 2*y, y + 452 = a*n. Is 5 a factor of n?
True
Let l = 14 + -169. Let w = l + 241. Is 3 a factor of w?
False
Let d(i) = -2*i + 185. Let p be d(15). Suppose -2*s + 209 = p. Is 14 a factor of s?
False
Suppose -3*a + 2*s + 30 = 0, -7*a - 25 = -9*a + 3*s. Is (-472)/56 + a - (-10425)/21 a multiple of 31?
True
Suppose -87795 = -3*o - 4*q, 3*o - 87801 = -39*q + 34*q. Does 8 divide o?
False
Let g = 183 - -96. Let s = g - -49. Does 14 divide s?
False
Suppose -47 + 43 = -2*c. Let u(r) = c*r**2 + r + 3*r + 3*r. Does 12 divide u(-8)?
True
Let y be (5 - 6) + (0 - -6). Suppose 4*d + 4*s - 35 = -3, 32 = y*d + 3*s. Suppose d*c = 300 - 24. Is 23 a factor of c?
True
Let x(g) = 46*g + 4. Let p(o) = 137*o + 11. Let a(l) = 4*p(l) - 11*x(l). Let b be a(2). Let k = -33 + b. Is 35 a factor of k?
False
Let p(f) = 224*f - 691. Is 20 a factor of p(9)?
False
Suppose -26190 = -4*u - 5*a, 0 = 3*u + 5*a + 2872 - 22517. Is 11 a factor of u?
True
Let j be (-4)/(1*5/(-150)). Is (6/(j/5))/(1/8) even?
True
Suppose -4*v = 5*p - 81743, 3*v = -2*p + 70325 - 9023. Is 16 a factor of v?
True
Let h(v) = -37*v + 1291. Is 102 a factor of h(15)?
False
Let d(x) = 6*x**2 - x**2 + 2*x**2 - 8 - 20*x. Is d(8) a multiple of 3?
False
Suppose 0*b - 5*f = 3*b - 34782, 2*b + 4*f = 23184. Does 20 divide b?
False
Let d = -875 - -499. Is 94 a factor of (189/54)/((-2)/d)?
True
Does 13 divide -3 + (-6)/126*-7*3558?
True
Let g be 2 + (-9)/3 + -1 + 1. Let f be -4 + 10 + 0 + g. Suppose i + 7 - 2 = 0, f*i + 245 = 5*q. Is 7 a factor of q?
False
Let t(d) = -d**3 - 26*d**2 - 93*d + 4. Suppose 38*p - 132 = 44*p. Does 12 divide t(p)?
False
Suppose -4*u = 2*f - 32, 3*f + 4*u = 4*f + 2. Let m(h) = -3*h + 26. Let x be m(f). Let i = x - -40. Is i a multiple of 26?
False
Let f(n) = 4*n**2 - 21*n - 6. Suppose 0*v - 2*v + 10 = -2*b, v = -4*b - 25. Is 44 a factor of f(b)?
True
Let d(u) = -4*u**3 + 8*u**2 - 7*u - 12. Let x(p) = -9