oes 4 divide p?
True
Let b(u) = 4*u - 10. Let g be b(3). Suppose g*x - 6 = -x. Let r(d) = 4*d**3 + d. Is 34 a factor of r(x)?
True
Let y(s) = -s + 3. Let u be y(0). Suppose 0 = u*a - 5 - 1. Is ((-221)/52)/(a/(-8)) a multiple of 5?
False
Does 2 divide 215/(-2)*(-822)/685?
False
Let p be (-14)/(-6) + (-2)/(-3). Suppose -160 = -p*g - g. Is 8 a factor of g?
True
Suppose 29*f = 32*f + 171. Let g = f + 63. Does 4 divide g?
False
Let v(f) = 78*f**2 + 7*f - 2. Does 77 divide v(4)?
False
Let o(d) = d**3 + 5*d**2 + 5*d. Let x be o(-2). Suppose x*g - 196 = -24. Is 43 a factor of g?
True
Let p(m) = -m - 7. Let g be p(-9). Suppose 7*v = g*v + 40. Is 3 a factor of v?
False
Let g(c) = 11*c**2 - 34*c + 114. Is g(12) a multiple of 86?
True
Let f(a) be the first derivative of 3*a**2/2 + 6*a - 9. Let p be f(-2). Suppose -3*z + 94 = 4*q, -4*q + p*q + 3*z + 106 = 0. Is q a multiple of 6?
False
Let y be 6/2 + (-12 - -13). Suppose d + 651 = 4*f, -y*d - 91 - 53 = -f. Is f a multiple of 37?
False
Suppose -y + 4*x = -5*y - 8, 5*y - 3*x = -42. Let f = 11 + y. Let z = f + 37. Is 14 a factor of z?
True
Let d(q) be the third derivative of -q**8/6720 + 2*q**7/315 + 3*q**5/20 + q**4/12 - 5*q**2. Let t(s) be the second derivative of d(s). Does 6 divide t(16)?
True
Is 6/16 - 404668/(-352) a multiple of 23?
True
Is 7 a factor of (1 - 35)/((-5 + 11)/(-36))?
False
Suppose 3*b - 4096 = 1079. Is b a multiple of 25?
True
Let f(u) = -u**3 - 4*u**2 - 14*u + 11. Let s(q) = -q**3 + 7*q**2 + q - 14. Let c be s(7). Is f(c) a multiple of 16?
True
Suppose -8*u = -13*u - 4*s + 180, -u + 3*s + 36 = 0. Is u a multiple of 4?
True
Suppose -15*z + 16*z + 4*a - 174 = 0, -2*z + 4*a = -336. Does 5 divide z?
True
Suppose 11*j + 16 = 9*j. Let i = 12 - j. Is 11 a factor of i?
False
Suppose -555 = -0*n - 5*n. Let c(y) = 2*y - 11. Let d be c(7). Suppose -n = -d*r - 18. Is 31 a factor of r?
True
Let o be (7 + 116)*(3/3)/(-3). Let q = o - -52. Does 11 divide q?
True
Let o = 48 - 46. Is 9 a factor of 10 + (3 - (o + 2))?
True
Does 6 divide (8 + 0/(-2))*(39 - 2)?
False
Suppose 6 = -5*u + 2*u. Let h be (2/4)/(u/12). Does 7 divide h/15 + 136/5?
False
Suppose -32 = -3*z + 4*z. Let c(r) = -43*r. Let i be c(-2). Let k = z + i. Is 16 a factor of k?
False
Let u = 874 - 552. Does 23 divide u?
True
Let p be (2 + 0)*1 + 0. Let s(o) = 15*o**3 - 15*o**2 - 15*o - 9. Let i(z) = -7*z**3 + 7*z**2 + 7*z + 4. Let r(k) = -13*i(k) - 6*s(k). Is r(p) even?
True
Let a = -94 - -93. Let g(f) = -4*f - 5*f - f - 2. Is g(a) a multiple of 4?
True
Let d(u) be the second derivative of -u**5/8 - u**4/4 - 7*u**3/6 - 7*u. Let x(z) be the second derivative of d(z). Is 6 a factor of x(-2)?
True
Let p = 1 - 1. Suppose 5*n = 3*t - 23, p = -t - t + n + 6. Is 15 a factor of -3 + 18 + (1 - t)?
True
Let z(g) be the third derivative of -g**6/120 + 2*g**5/15 - g**4/6 - 13*g**3/6 + 13*g**2 + 7. Suppose 5*k - i = 32, 20 = 5*k + 2*i - 21. Is 4 a factor of z(k)?
True
Let a(s) = -5*s + 1. Let x = -2 - -1. Let t be a(x). Suppose -t*q = -q - 100. Is q a multiple of 8?
False
Is 8 a factor of (18/(-54))/(3/(-7416))?
True
Let a(r) = -53*r + 557. Does 38 divide a(-37)?
False
Let o be (4/14)/(7/98). Suppose -3*j - 5*b = -0*b - 20, -o*j = -5*b + 20. Suppose -5*l + j*l = -205. Is l a multiple of 16?
False
Suppose 3*p = 3, 3*r - 5*p - 1780 = -0*r. Is 4 a factor of r?
False
Let f = -612 + 898. Is f a multiple of 2?
True
Suppose -42*j + 45423 = 7*j. Does 3 divide j?
True
Let o = -710 - -996. Does 26 divide o?
True
Suppose 0*n - 3619 = -7*n. Does 56 divide n?
False
Let l be 240/(-56) + 2/7. Let b be 1/2 - 330/l. Suppose -b + 353 = 5*z. Is z a multiple of 37?
False
Let u be (-5 + 0)*(-354)/10. Let b = u + 53. Is 13 a factor of b?
False
Suppose -77 = -8*h + 3*h - 4*x, -4*h = 5*x - 58. Suppose -5*w = h - 47. Does 3 divide w?
True
Let x = -117 - -264. Let j = -95 + x. Does 9 divide j?
False
Let f(l) = -3*l**3 - 15*l**2 - 5*l + 14. Does 7 divide f(-8)?
True
Is 2*(-4 - 56/(-2)) a multiple of 39?
False
Let b(z) = -15*z + 10. Let q be b(-9). Let c = q + -101. Is 4/(-22) + 1416/c a multiple of 16?
True
Let d = 19 - 14. Suppose -d*f + 220 = -95. Is 21 a factor of f?
True
Suppose -2*q + 495 = 169. Does 14 divide q?
False
Suppose -g = 0, y - 4*g + 45 = -4*y. Let d = y + 13. Suppose d*m = 45 + 7. Does 13 divide m?
True
Let t = 23 - 21. Let h(k) = -2*k + 0*k**2 + 3*k**t + 2*k + 3. Is 6 a factor of h(3)?
True
Is (-16170)/343*70/(-3) a multiple of 70?
False
Suppose -6838 = -11*g - 15*g. Is 12 a factor of g?
False
Is 20 a factor of (-15 + 12 - -4) + 1639?
True
Suppose 30 = 4*w + 5*o, 2 + 3 = 3*w - 5*o. Suppose 2*k = -3*x + 250, -k = -2*x + 7*x - 412. Suppose -w*j - 3*h = -0*h - x, -3*h = -12. Is j a multiple of 7?
True
Let m = -350 - -428. Is m a multiple of 13?
True
Let m(q) = -23*q - 1. Suppose 3*g = -0*g + 156. Let z be (4 - g/12)*9. Is m(z) a multiple of 17?
True
Let s be -2 - (4 + (-116)/(-4)). Let l = s - -171. Does 22 divide l?
False
Suppose -5*o - 378 = -78. Let w be ((-2)/6)/(4/o). Suppose 4*k - 20 = 0, -5*d + 37 = -w*k - 188. Is 10 a factor of d?
True
Suppose -4*g = g. Suppose 0 = 5*v + 5*s - 200, g*v = 3*v - s - 132. Is v a multiple of 20?
False
Is 83 a factor of (-7)/(21/(-6)) + (0 - -911)?
True
Let b be 1/(4/22)*2. Let a = -7 + b. Let i(d) = 2*d**2 - d + 2. Does 15 divide i(a)?
True
Suppose 5*l + 0*l = 1145. Suppose 7*m = l + 275. Does 6 divide m?
True
Suppose -3*y = 3*w - 24, -3*y - 2*y = -4*w - 58. Let l = 19 - y. Does 16 divide 1/3 - (-429)/l?
True
Let k(b) = b**3 + 12*b**2 - 14*b - 8. Let l = -14 + 14. Let r be l*(1 - 0) + -13. Is 4 a factor of k(r)?
False
Let h = 332 + 659. Is h a multiple of 60?
False
Suppose 5*h - 5*a = 25, -3*h = 2*h - 2*a - 22. Suppose -10 = -h*l - 2. Does 13 divide l + -22*2/(-4)?
True
Suppose -4*u + 8*x = 3*x + 56, -2*u - 10 = 2*x. Does 11 divide (-1347)/u + (-1)/(-3)?
False
Is (-7644)/(-468)*30*(1 + 0) a multiple of 12?
False
Suppose 2*i - 1360 = -2*i. Suppose -g + 3*g = 3*w + i, -4*g - 3*w + 662 = 0. Does 22 divide g?
False
Suppose -5*k = -9 - 16. Suppose 2*f - 3*l = -0*f + 295, -k*f + 795 = 4*l. Suppose m - f = -5*d, 2*d + 3*d - m - 145 = 0. Does 10 divide d?
True
Suppose -1294 = -2*b - 4*r, -16*r + 19*r = -3*b + 1932. Does 44 divide b?
False
Let c be (8/16 - (-18)/4) + -2. Suppose 2*x = 4*m + 384, 3*x = -6*m + c*m + 603. Is x a multiple of 11?
True
Suppose 2376 = 39*f - 28*f. Does 6 divide f?
True
Suppose 5*d + 4140 = 5*h, -5*h = -10*h + 2*d + 4152. Is h a multiple of 32?
True
Let u = 0 + 14. Let j(h) = 3*h + 11. Is j(u) a multiple of 9?
False
Let u(d) = -d**3 + 27*d**2 + 26*d + 46. Is 41 a factor of u(27)?
False
Suppose -3*t + 12 = 3. Suppose 2*w - 3*k - 177 = 0, -t*k - 92 = -4*w + 271. Does 14 divide w?
False
Suppose -2*u = 2*u. Suppose u = 2*b - 7*b. Suppose -3*f + 5*f - 138 = b. Is 23 a factor of f?
True
Let s = -44 - -118. Let f be -2 + (12*1)/2. Suppose -348 = -5*h + o + o, h + f*o - s = 0. Does 20 divide h?
False
Let h(f) = -f**3 + 20*f**2 + f - 2. Let k be h(12). Let u = 2284 - k. Does 29 divide (-2)/(-2) + u/11?
False
Suppose -4*z = 4*y + 179 + 321, -2*y + 238 = -2*z. Suppose 0 = 5*s - 6*s + 212. Let j = s + z. Is 20 a factor of j?
False
Suppose 4*y - 35 = 17. Is (-137)/(-2) - y/(-26) a multiple of 9?
False
Suppose 0 = 29*l - 13*l - 60528. Does 13 divide l?
True
Let v = 305 - -290. Is 35 a factor of v?
True
Let d(j) = -j**2 - 19*j - 36. Let a be d(-12). Suppose -8*z + 7*z = -a. Is z a multiple of 24?
True
Let r be 2/(-9) - 3802/(-18). Suppose 2*j = -6, 0 = w - 4*j - j - r. Suppose -5*y + w = 2*s - y, -s + 5*y = -63. Is s a multiple of 22?
True
Suppose 3 = -5*i - 2*m, 4*i = 2*i - m - 1. Let s be i*(-2 + -13)/3. Suppose -5*j - 4*y + 39 + 91 = 0, s*y - 25 = 0. Does 9 divide j?
False
Let t(u) = 6*u - 3. Let z be t(1). Suppose -15 - 57 = -z*h. Does 9 divide h?
False
Let p = -49 + 16. Let a = p - -19. Let h = 52 - a. Does 22 divide h?
True
Suppose 48 = 4*r + 3*y, -r + 5*y - 1 + 13 = 0. Suppose 0 = -d - 0*u - u + 6, 2*d - r = -3*u. Is 144/d*(-2)/(-6) a multiple of 8?
True
Let v(o) = -2*o**3 - 10*o**2 - 9*o + 11. Let t be v(-9). Suppose 0*h + 4*h - t = 0. Is 28 a factor of h?
False
Suppose r + 2*r = -9. Let t = 44 - r. Is 13 a factor of t?
False
Let u(s) = 50*s**2 + 34*s + 38. Is u(-4) a multiple of 26?
True
Let y(f) = -2*f + 4*f - 6*f 