vide p?
False
Let c be -36*(-8 - -7)*1. Does 17 divide (-30 + c)*(-34)/(-4)?
True
Let l = -367 + 362. Is 21/(l - 2) - (-1196 + -5) a multiple of 7?
False
Is ((-1)/(15/3))/(7528898/(-1075555) - -7) a multiple of 35?
False
Let z(y) = 87*y - 1. Let i be z(1). Let k(d) = -6*d**2 - 103*d - 102. Let s be k(-15). Suppose -3*g + 5*v + i = -11, -3*g + s = -3*v. Is 17 a factor of g?
False
Suppose 5106 = -0*o + 2*o + b, 0 = 5*o - b - 12751. Does 14 divide o?
False
Let b be 8/18 + 69/27. Is (5 + (-1876)/(-3))*b a multiple of 35?
False
Let t(o) = -o**3 - 10*o**2 - o + 4. Let s be t(-10). Suppose s = 3*z - 61. Let d = z - -10. Is 35 a factor of d?
True
Suppose 17*f - 12 = -80. Let o(x) = 52*x - 13. Let m be o(4). Is m/6 - -5 - (-6)/f a multiple of 12?
True
Let g(m) = -6*m**3 - 85*m**2 - 252*m - 81. Let f(q) = q**3 + 17*q**2 + 50*q + 16. Let r(t) = 11*f(t) + 2*g(t). Does 91 divide r(14)?
False
Let a = 345 - -358. Suppose 4*j + v - a = -280, 411 = 4*j - 3*v. Is 15 a factor of j?
True
Does 28 divide ((-427707)/252)/((-17)/24 - 1/(-3))?
False
Let w be (-2)/(4/(-6)) + 23 + -24. Let b be (-6)/(-14) + (-3)/7 + w. Suppose 3*i + b*d = 86, i + 3*d - 46 = -2*d. Is 13 a factor of i?
True
Let k(t) = -36*t**2 + 72*t**2 + 290*t**3 - 34*t**2 - 2*t. Let a be k(-2). Is 29 a factor of a/(-16) - (-1)/(-4)*-3?
True
Let i(t) = -7*t**3 + 24*t**2 - 12*t + 10. Let w(m) = -6*m**3 + 20*m**2 - 13*m + 9. Let z(x) = 3*i(x) - 4*w(x). Is 25 a factor of z(6)?
True
Suppose -117*f = -4846 - 9221 - 909. Is 8 a factor of f?
True
Let b = -901 - -1743. Suppose -14*n = -6680 + b. Does 45 divide n?
False
Suppose -5*q - 112 = -32. Let c(r) be the third derivative of r**4/24 + 9*r**3/2 + 12*r**2. Is c(q) a multiple of 2?
False
Let b be 9/((5 - 2)/(-3)). Let v(n) = -2*n**2 - 69*n + 336. Let s be v(5). Let x = b - s. Does 9 divide x?
False
Suppose 0 = 5*n + 670 + 1635. Let y = n + 217. Let i = 367 + y. Is i a multiple of 15?
False
Suppose -173*v + 191*v = 36810. Is 12 a factor of v?
False
Let a = 12406 - 1176. Is 38 a factor of a?
False
Suppose 3*g - 12041 = -b, -4*b - 20057 = -11*g + 6*g. Is 93 a factor of g?
False
Let d(p) = -14897*p - 1314. Is d(-1) a multiple of 289?
True
Suppose 282 = 3*p + 4*w - 779, -2*p + 712 = -2*w. Suppose -5*b = t - 71, t + 4*t - p = b. Does 9 divide t?
False
Let i be (86 - 1)*(2 - (-120)/(-50)). Suppose r = -2*l + 37, 3*r - 7*l - 141 = -3*l. Let k = r + i. Is k even?
False
Let a(s) = -s**3 - 17*s**2 - 56*s - 12. Does 16 divide a(-21)?
True
Let f(a) = 774*a**2 - 75*a + 192. Does 11 divide f(4)?
True
Let z be ((-126)/(-24))/(6/1664). Suppose 0 = 10*k + z + 304. Does 9 divide 0/(-1) + k/(-8)?
False
Let i be (10 - 10/2)*(-4)/(-10). Let v be 1/((i*3/(-150))/1). Is 31 a factor of 1536/10 - (1 - (-35)/v)?
False
Let d = -64236 + 115563. Is d a multiple of 27?
True
Suppose -747699 - 2630733 = 114*v - 326*v. Is v a multiple of 16?
True
Let h(y) be the second derivative of -4*y**3/3 - 2*y**2 + 22*y + 1. Does 35 divide h(-16)?
False
Let v(o) = -1380*o**2 + o - o - o**3 - 11*o + 1392*o**2 + 4. Let c be v(11). Suppose 3*g - 5*b - 181 - 294 = 0, 2*b = -c. Is g a multiple of 28?
False
Let i = 30462 + -16354. Is 33 a factor of i?
False
Let r(z) = 7 - 13*z + z**2 - 29 + 5*z. Let h be r(11). Suppose -l + 62 = -h. Is 11 a factor of l?
False
Suppose -5*o = 3*c - 15, 5*o + 0 = c - 5. Suppose -213 = -d + 4*t, 46 = -5*d + c*t + 1111. Is 29 a factor of d?
False
Suppose 146 = 24*z + 74. Suppose -2*c + 4*i = -1136, c - z*i - 580 = 2*i. Is c a multiple of 6?
False
Let a(k) = 3860*k**2 - 812*k + 1. Does 3 divide a(1)?
False
Is 18255*(9 + (-208)/24) a multiple of 34?
False
Let f(j) = -4*j + 0*j + 2*j - 8 - 8*j. Let b(c) = 9*c + 8. Let w(y) = -3*b(y) - 4*f(y). Is 28 a factor of w(8)?
True
Let z(m) be the third derivative of m**6/60 + m**5/4 - 29*m**4/24 - 2*m**2. Let d(n) be the second derivative of z(n). Does 18 divide d(8)?
True
Suppose 3*t + 636 = 3*s, -t - 174 = 2*s + 41. Is 23 a factor of (-27)/63 - t/7?
False
Suppose 7*k = 18 + 31. Suppose -2*g + k*q + 59 = 12*q, -52 = -g + 2*q. Is 15 a factor of g?
False
Let x(n) = 9*n**2 + 27*n - 133. Is x(11) a multiple of 7?
True
Let o = 722 - 507. Let d = o + 572. Does 8 divide d?
False
Let h(p) = 2*p**2 + 4*p + 6. Let a be h(6). Let d = 54 + a. Suppose -3*t - 2*k = -d, -2*t + 0*t - 3*k + 99 = 0. Does 11 divide t?
False
Suppose -198 = -48*b + 45*b - 2*o, b = 4*o + 38. Let r be ((-8)/10)/(2/(-120)). Suppose 0 = -k + 2*l + 46, 2*k - b = -5*l + r. Does 25 divide k?
True
Let z be (-4)/(-8)*-1*(16 - 50). Let k(p) = 32*p - 289. Does 3 divide k(z)?
True
Suppose 0 = -4*w - 72 + 96. Suppose -4*z + 8*z - 4*i = 1172, w = 3*i. Does 33 divide z?
False
Suppose 152*q = 151*q. Suppose b + 5*o + 110 - 348 = q, -931 = -4*b + o. Suppose 4*y = -s + 203, -y - 3*y = -5*s - b. Is 52 a factor of y?
True
Suppose 8*w = -29*w + 781847. Is w a multiple of 113?
True
Suppose 30 = -59*h + 60*h. Let y(r) = -13*r + 7*r**2 - 4*r**2 + 10*r + h*r**3. Does 3 divide y(1)?
True
Let b(d) = d**3 + 3*d**2 + d. Let j be b(-2). Suppose -j*v = v + 111. Let r = v - -171. Does 16 divide r?
False
Suppose -4*x = -2*p, 5*p + 5*x = 3 + 12. Suppose 0 = -2*r + 3*t + p + 1, -3*r - 4*t = 4. Suppose r = -3*j + 51 + 12. Is j even?
False
Let o be (-40)/(-5) + (-4 + -1 - 1). Does 59 divide (-1)/((-9)/18702*o)?
False
Let d(a) = -5*a**3 - 2*a - 10. Let s be d(-5). Let c = 1050 - s. Is c a multiple of 22?
False
Suppose 0 = 20*y - 21*y - 658. Let k = y - -1171. Is k a multiple of 7?
False
Let u = 785 + 5511. Does 34 divide u?
False
Let x = -7629 + 10944. Is x a multiple of 51?
True
Suppose -c - 41 = -5*c + h, -c + 2*h = -12. Let j be -7*(-6)/21 + 0. Does 4 divide (j - 4)/(c/(-55))?
False
Let y = 6057 + -150. Is y a multiple of 16?
False
Let r(p) = -60*p - 9*p + 4*p + 31 - 95. Does 18 divide r(-4)?
False
Let j(n) = -n**3 - 23*n**2 + 19*n - 26. Let h be (2 + -11)/((-12)/(-32)). Let w be j(h). Let q = w - 73. Is 13 a factor of q?
False
Suppose 0 = -3*r + 2*x + 217 + 139, 5*x - 212 = -2*r. Suppose h - 20 = 6*h, 2*m = -2*h + r. Is 14 a factor of m?
False
Let z(b) = 26*b - 120. Is z(31) a multiple of 72?
False
Let l be (54/12 - 5)*2. Let r(f) = 573*f + 163*f**2 + 2 - 1 - 571*f. Is r(l) a multiple of 39?
False
Let l = 39857 + -18290. Is l a multiple of 7?
True
Suppose 17*o - 14*o = 4*p - 96, -3*p + 3*o + 75 = 0. Suppose 2*w + t - 121 = 0, p = w + 4*t - 43. Does 10 divide w?
True
Suppose -35*c + 22*c - 116730 = -28*c. Does 3 divide c?
True
Suppose 28*c - 57 = 27. Suppose -512 = -l + 3*v, -4*l + c*l + 504 = -5*v. Does 35 divide l?
False
Is 64 a factor of 7612740/396 + (-12)/11?
False
Let q = 475 + -318. Let u = -90 + q. Let d = 123 - u. Is d a multiple of 14?
True
Let t be (41 + 20/(-5))*(-4)/(-1). Let d = 414 - t. Is 12 a factor of d?
False
Let l(m) = 2*m - 3 + m - 3 - 3*m**2 + 4*m**2. Let n be l(-3). Let b(p) = -19*p - 11. Does 23 divide b(n)?
False
Suppose 4*q - 804 - 332 = 0. Let y = 198 - 54. Let r = q - y. Is r a multiple of 15?
False
Let w(t) be the second derivative of 5*t**4/12 - 2*t**3 - 25*t**2/2 + 4*t + 3. Is w(-7) a multiple of 37?
False
Suppose 90*t - 86*t = -1276. Let f = 469 + t. Does 50 divide f?
True
Let i = 57 - 53. Suppose i*o = -o - 520. Let g = 16 - o. Is 30 a factor of g?
True
Suppose -12 = 15*h - 17*h. Is 11 a factor of ((-8)/h)/((-2)/297)?
True
Let w be ((-6255)/11)/(-9) - 4/22. Suppose 8*y - 281 = w. Is 11 a factor of y?
False
Suppose 4*l - 2*m = 86, 0 = 3*l - 4*l - 4*m + 35. Suppose -2*w - 2 = -4*w, w + l = h. Suppose 5*q - h - 16 = -5*d, 0 = -q - 4*d + 14. Is 2 a factor of q?
True
Let f be -20 + 1*(-1 + 4). Let q = f + -21. Is -22*(q/4 - -4) a multiple of 11?
True
Let n(y) = 2 - 4 - 97*y - 13*y. Let l be n(-2). Suppose 0 = 2*v - l - 80. Does 15 divide v?
False
Let g = -763 + 1596. Suppose 0*s + i - g = -s, -4*i - 16 = 0. Suppose 0 = -8*j - j + s. Is 12 a factor of j?
False
Let y(p) = -167*p**3 - 5*p**2 - 16*p + 14. Does 81 divide y(-6)?
False
Let y = 187 - 111. Suppose y*l - 77*l = -137. Is 29 a factor of l?
False
Suppose 0*a + 4*a - 2065 = -5*v, 3*v - 1545 = -3*a. Let b = a + 30. Is b a multiple of 27?
True
Suppose 20*h + 7238 = -822. Let d = h + 524. Is d a multiple of 24?
False
Suppose 2*v - 916*c + 919*c = 35117, 0 = 3*v + 3*c - 52686. Is v a multiple of 47?
False
Suppose -8*t + 3*t = -20. Let