 3*s - 184. Is 13 a factor of s?
True
Let y(m) = -m**2 - 5*m - 2. Let w be y(-4). Let p(h) be the third derivative of 13*h**5/20 - h**4/24 - 2*h**3/3 - 9*h**2. Does 30 divide p(w)?
True
Is 162 a factor of (-120590)/(-22) + (-64)/176?
False
Let a(c) = -c**3 - 43*c**2 - 57*c + 57. Let m be a(-42). Let n = m + -403. Is 4 a factor of n?
True
Let u = 288 + -759. Let d = -331 - u. Is d a multiple of 14?
True
Let n(v) = 4*v**3 - 102*v**2 - 15*v - 77. Does 36 divide n(26)?
False
Suppose -3*p - 10 + 7 = 0. Let h be (0 + p)/(-6 - 29/(-5)). Suppose d + 44 = 3*y, -h*y - d = 2*d - 78. Does 3 divide y?
True
Let x(q) be the first derivative of q**4/4 - 16*q**3/3 + 8*q**2 + 18*q + 32. Does 2 divide x(15)?
False
Suppose -29 = 2*f - 29. Suppose -5*x + 3*z - 2*z + 465 = f, 0 = z. Does 31 divide x?
True
Let h(w) = 1374*w - 2628. Does 63 divide h(12)?
True
Suppose 2*i + 4*w = 0, 3*w - 6 + 33 = 3*i. Suppose -8*g - i*g = -5740. Does 6 divide g?
False
Suppose 61*w = 65*w - 12. Suppose w*c - 5*n - 446 = 0, -521 - 64 = -4*c - 3*n. Suppose c + 1008 = 7*q. Is q a multiple of 15?
True
Let l = 138 + -140. Does 15 divide (57/(-2) - -6)*l?
True
Let d = 6592 + 6923. Is d a multiple of 53?
True
Suppose 3*f = -6 - 0. Let l be (f - -1)*-1 + -30. Let i = l - -44. Does 2 divide i?
False
Suppose -18*z = 7*z - 6*z - 265259. Does 23 divide z?
True
Let b be (-5 + (-2)/(8/(-20)))/2. Suppose 172*c - 174*c + 204 = b. Does 6 divide c?
True
Let z = 49 - 40. Suppose 3*m - 12 = z. Suppose m*c - 1100 = -3*c. Is c a multiple of 11?
True
Let s(x) = 44*x**2 - 17*x - 57. Is 19 a factor of s(10)?
False
Let t(b) = -b**3 + 13*b**2 - 2*b + 37. Let s be t(13). Let z = 117 - s. Does 3 divide z?
False
Suppose 0 = -18*x + 24*x - 98508. Does 46 divide x?
False
Suppose -h - 2 = -2*s - 15, 4*h - s = 59. Suppose 4624 = h*m - 7*m. Is 27 a factor of m?
False
Let o = 11728 - -14650. Does 242 divide o?
True
Suppose -3*r + 28196 + 22120 = 0. Suppose -12*y - 3236 = -r. Is y a multiple of 8?
True
Let s = 95 - 84. Suppose s*a - 12*a = -120. Is 60 a factor of a?
True
Let u(k) = k + 55. Let l be u(-16). Suppose -12*y - 183 = -l. Is (-464)/y + ((-2)/3)/(-2) a multiple of 13?
True
Let f(i) be the second derivative of i**3 - 12*i. Let l be f(1). Suppose l*u - 9*u + 99 = 0. Is u a multiple of 6?
False
Let r(p) = -p**2 - 23*p + 29. Let g be r(-25). Let c = -54 + g. Is 6 a factor of (-5)/(c/6)*(5 + 85)?
True
Let n(j) = 24 + 21 + 3*j**2 + 25*j - 8*j - 58. Is 4 a factor of n(6)?
False
Let g = -27 - -27. Let s be 30/5 - (1 - g)*-1. Suppose 0 = v - 23 - s. Is 30 a factor of v?
True
Let p be -3 + (-4 - 1) + 12. Let w be 219/(5 + (-26)/p). Does 23 divide (-2 - w - 1)*1?
False
Suppose 6*x + 7*x - 323794 = 14778. Is x a multiple of 68?
True
Is ((-15288)/18)/(-14)*180 a multiple of 13?
True
Is 112 a factor of 125662/33 - 178/(-2937)?
True
Suppose -18*n + 190016 = 8*n - 10*n. Is 16 a factor of n?
False
Let x(z) be the second derivative of 19*z**3/6 - 39*z**2/2 - 132*z. Is 45 a factor of x(21)?
True
Let r(o) = 9*o - 2*o**2 + 6*o**2 + 8 + 23*o - 6*o**2. Let l(k) = -4*k - 21. Let w be l(-9). Is 13 a factor of r(w)?
False
Suppose 90 = 13*j - 3*j. Suppose -q - j*q = 30. Let s(g) = -2*g**3 + 7*g**2 + 3*g + 5. Is 38 a factor of s(q)?
False
Suppose -3*n + 354 = -180. Suppose -4331 = -89*c + 6527. Let b = n - c. Does 28 divide b?
True
Is 13 a factor of ((-2736)/608)/((-9)/37046)?
False
Let o(r) = 12*r**3 + 12*r**2 - 45*r + 4. Does 5 divide o(6)?
False
Let z = 4671 + -726. Does 15 divide z?
True
Suppose 2*k + 2*y = -k + 11, -k + 4*y = -13. Let m be (75/45)/(k/6). Is (-48)/18*((-55)/m + -1) a multiple of 16?
False
Suppose 3*a - 9 - 7 = 2*u, -4*a - 3*u + 10 = 0. Suppose 10*n - 267 = -a*q + 11*n, -n = -5. Is 17 a factor of q?
True
Suppose -2*a - 6 = -24. Suppose -19 = a*n - 64. Suppose -q - 168 = -n*q. Is q a multiple of 14?
True
Suppose s - 2*v + 98 = 0, -5*s + 4*v - 2*v - 498 = 0. Let i be 4 + 13 + -10 - 222*-1. Let k = i + s. Does 41 divide k?
False
Let r(t) = 7*t - 30. Let d = -69 - -73. Let p be 102/9 + d/(-12). Is 6 a factor of r(p)?
False
Let y(s) = -s**3 + s**2 - s + 39. Let f be y(0). Let k = 47 - f. Is k/(-3)*(-45)/10 a multiple of 4?
True
Let o be 128/68 - 24/(-204). Suppose 5*q = -o*r + 894 + 253, 4*r - 2309 = 5*q. Is 12 a factor of r?
True
Is 552/(4/440*11) a multiple of 6?
True
Suppose -1 = r + 42. Let q(h) = -175*h + 3758. Let k be q(21). Let t = r + k. Does 10 divide t?
True
Suppose 3*t = w + 1456 - 4416, 0 = 2*w - 3*t - 5926. Is 8 a factor of w?
False
Suppose 0*c = z + 4*c, z - 5*c - 27 = 0. Let w(r) = -5*r + z*r - 16 + 0*r - 3*r. Is w(8) a multiple of 5?
False
Let l = -254 + 263. Suppose -u = 3*g - 1654, 4*g = 4*u - l*u + 2209. Is g a multiple of 34?
False
Let o = 13 - 9. Let z be (5 - (0 - -2))*(-24 + o). Does 8 divide (z/(-7))/((-5)/(-40 + 5))?
False
Let j be 1/8 + (-85)/40. Is ((-114)/j)/((-27)/(-36)) a multiple of 19?
True
Suppose 2*b - 27*g + 30*g - 13239 = 0, 5*g + 6639 = b. Is 69 a factor of b?
True
Let q(d) = 63*d - 15. Let k be q(-1). Is 6 a factor of 120/980*(k + 1)*-7?
True
Suppose -4*v + 3*m = 225, v - 4*m = 7 - 73. Is 8 a factor of (v/(-4))/((-9)/(-270))?
False
Let f(b) be the second derivative of 3*b**4/4 + 8*b**3/3 - 36*b**2 + 195*b. Is f(10) a multiple of 96?
False
Suppose -4*h - 4*f = -32, -13 = h + 2*f - 26. Suppose -3*k = k. Suppose 6*i - h*i - 144 = k. Is 11 a factor of i?
False
Let a(k) = -k**3 - 20*k**2 - 20*k + 10. Let x be a(-19). Suppose 68 = -4*y - 4*m, -2*m - x = 2*y - m. Is 5 a factor of ((1904/y)/(-7))/(2/3)?
False
Let t = -19512 + 28186. Is 54 a factor of t?
False
Let z(c) = 25*c**2 + 10*c - 36. Let j be z(-7). Let q = j - 633. Is q a multiple of 18?
True
Is 69 a factor of ((-25)/75)/((55/(-9390))/11)?
False
Let a(q) = q**3 + 41*q**2 - 48*q - 304. Is a(-41) a multiple of 13?
True
Suppose 5*p - 6 - 14 = 0. Suppose 15*g = 11*g + 8. Suppose 0*c = -4*y - 2*c + 8, -y - p = g*c. Is 4 a factor of y?
True
Suppose 4876*p - 4886*p + 41530 = 0. Is p a multiple of 39?
False
Let s(t) = t**2 + 3*t + 24. Let d(n) = -n**3 - 5*n**2 - 2*n - 57. Let q be d(-6). Is 39 a factor of s(q)?
True
Suppose a - o + 6 = 3*o, -2*o - 8 = 5*a. Let l be (((-40)/2)/a)/(4/6). Suppose -l*k - 59 = -509. Does 7 divide k?
False
Let x = 62 + -64. Let p be (-488)/(-1) + -3 + 1 + x. Suppose -2*m + p = -0*m. Is m a multiple of 20?
False
Suppose 0 = 2*d + 4*p - 36012, 267*d = 268*d + 3*p - 18009. Does 227 divide d?
False
Let s(n) = 1 - 64*n + 38*n + 25*n. Let g(k) = -k**2 + 5*k + 4. Let l be g(6). Does 2 divide s(l)?
False
Let p be (53*(10 + -2))/1. Suppose -2*c + 488 = -p. Suppose -2*j - z = -j - 147, -3*j + 2*z = -c. Is j a multiple of 31?
False
Let b(m) = 5*m - 40. Let l be b(4). Let i be (-4 - (-53)/(-4))/(1/l). Let p = i + -82. Is 38 a factor of p?
False
Let g = 12662 + -162. Is 50 a factor of g?
True
Let f = -1686 - -3336. Does 30 divide f?
True
Let g(l) = -l**3 - 9*l**2 + 12*l + 20. Let b be g(-10). Let k(r) = -2*r + 189. Is k(b) a multiple of 7?
True
Let f(r) = 270 - 4*r**2 - 2*r**3 + 9*r - 256 + 6*r**2. Is f(-5) a multiple of 44?
False
Let d = 13755 + -9945. Is d a multiple of 13?
False
Suppose -20336 + 109209 = 18*x - 10649. Does 21 divide x?
False
Is ((-77104)/(-20))/2 + (-270)/(-50) + -5 a multiple of 8?
True
Suppose -z - 1341 + 1338 = 0, 4*x - z = 67059. Does 33 divide x?
True
Let b be ((-6)/15)/(1/(-10)). Let k be 1048/44 - -2 - b/(-22). Suppose 0 = 4*g - k - 38. Does 16 divide g?
True
Suppose 3*f + 5*s = 2968, -470 = -f + 4*s + 491. Let n = f - 651. Is n a multiple of 11?
True
Suppose 29 = -18*c + 65. Suppose 0 = -2*r - c*y + 442, 5*y + 136 = -r + 377. Does 8 divide r?
True
Let h = -1563 - -4042. Suppose 3380 = 27*k - h. Does 7 divide k?
True
Suppose -l - 946 = -5*t, -591 + 191 = -2*t - 5*l. Suppose t = j + 2*s, -j - 3*s + 3 = -192. Is j a multiple of 15?
True
Suppose -1945127 - 1293290 = -208*y - 793377. Is 35 a factor of y?
False
Let n = -1602 - -2096. Does 17 divide n?
False
Let m be -234*(3 - (-19)/(-3)). Suppose -24*c + 37*c = m. Is c a multiple of 51?
False
Let n = 33 - 31. Suppose u = p - 101, 0 = 3*p + p + n*u - 374. Is 9/4*p/36 a multiple of 6?
True
Suppose 103*b = 91*b + 1608. Suppose -122*h + b*h = 240. Does 7 divide h?
False
Suppose -5*d + 29 = -6*d. Let o(a) = 4*a**2 + 8*a - 13. Let h be o(3). Let q = h + d. Is