actor of h?
False
Suppose -5*j + 36765 + 60939 = -3*t, 0 = -j - 3*t + 19530. Does 35 divide (2/(-6))/((-39)/j)?
False
Let h(w) = -w**2 - 40*w - 71. Let s be h(-38). Suppose -8*u + 2*j + 132 = -7*u, 0 = u - s*j - 135. Is u a multiple of 7?
False
Let g(p) = p + 98 - 4*p - 8*p - 19*p. Does 7 divide g(0)?
True
Let o be (-8)/10 - ((-1798)/10 + 2). Let c = o - 72. Is 22 a factor of c?
False
Suppose -3720 = 17*f + 7*f. Let m = f - -163. Does 7 divide m?
False
Let y be (16/(-10))/(9/(-45)). Is 20 a factor of 1170/(5 - y)*(-12)/18?
True
Is 177 a factor of 2/(-5) - 979777/(-205)?
True
Suppose -s = -6*s. Suppose 4*u - 3*o + 23 + 16 = s, 19 = u + 5*o. Is (-18 + -9)/(u/4) a multiple of 18?
True
Suppose -7*t + 14*t = -42. Is 7 a factor of 4/(-8)*t - -129?
False
Let t be (-2 + (-4 - -6))/2. Suppose -5*q - 416 = -1356. Suppose 4*f + 216 = 8*f - 2*m, 4*f + 5*m - q = t. Is f a multiple of 34?
False
Suppose 0 = 3*w - h - 12435, -4452 + 311 = -w - h. Does 9 divide w?
False
Let x(t) = -t**3 - 17*t**2 + 16*t - 44. Let q be x(-18). Is -6 + q/(24/(-2367)) a multiple of 28?
False
Let g be -4*(-7)/(-224) - 121/(-8). Suppose -4574 = -g*l + 9916. Is 9 a factor of l?
False
Let o(g) = -2*g**3 + 23*g**2 - 4*g + 31. Let y(v) = -v**3 + 24*v**2 - 5*v + 32. Let z(j) = 3*o(j) - 4*y(j). Does 12 divide z(-16)?
False
Let g(i) be the first derivative of -77*i**2 - i - 1. Let z be g(-1). Suppose -z - 215 = -2*b. Is b a multiple of 40?
False
Suppose -c + 45 = -3*o, -4*o - 76 = -2*c + 8. Suppose -2*u = c*w - 38*w + 874, 445 = w - 3*u. Is w a multiple of 13?
False
Suppose -175*g = -3813678 + 715128. Is g a multiple of 78?
True
Let c(d) = 8*d**2 - 8*d + 4*d - 22 - 14. Is c(-4) a multiple of 12?
True
Let h be 2 + -2 + 5 + 685/(-5). Does 96 divide (-5745)/(-10) + (h/(-8))/11?
True
Let y = 175 + 49. Suppose -3136 = -3*i + y. Is i a multiple of 32?
True
Is 645*(3472/48 - -3) a multiple of 226?
True
Let p = -2954 + 5427. Does 36 divide p?
False
Suppose 4*f + 2*v = -1114, 4*f + 1564 - 447 = -v. Let i = f + 632. Is 22 a factor of i?
True
Let b(r) = -r**3 + 12*r**2 - 19*r + 15. Suppose 3*f - m = -63, f + 3*f + 92 = 4*m. Let j = f - -30. Is 5 a factor of b(j)?
True
Suppose r + 4*h = -2*r + 1582, h - 1579 = -3*r. Let c = 543 - r. Is 4 a factor of c?
False
Let r = 247 - -26. Let o = 601 - r. Is o a multiple of 41?
True
Let k = -54 + 33. Suppose 5*x = -3*s + 218, 250 = 5*x - 0*x - 5*s. Let c = k + x. Does 25 divide c?
True
Does 150 divide 18/(-5)*552250/(-282)?
True
Suppose 0 = 2*j + v - 14, -j + 2*v + 44 = 4*j. Suppose j*l + 157 - 1501 = 0. Is 24 a factor of l?
True
Let r be 4/(-14)*(2 - -5). Let s(l) = -622*l + 52. Does 110 divide s(r)?
False
Suppose 15*y - 96 = -y. Suppose -o = y*o - 133. Does 4 divide o?
False
Suppose 0*s - 39 = -13*s. Is (2 - s)/((-1)/(-36)*-3) a multiple of 3?
True
Let n = -1878 + 3096. Suppose 798 = 8*x - n. Does 7 divide x?
True
Let v(r) = 11*r**2 + 5*r. Let z(n) = -7 + 14 - 7 - 22*n**2 - 9*n. Let l(m) = -11*v(m) - 6*z(m). Does 7 divide l(2)?
True
Is 3 a factor of (-197 - -190)/((-2)/382)?
False
Let d(z) = -238*z + 208. Is d(-17) a multiple of 97?
False
Let p = -346 - -346. Suppose -d + 193 + 301 = p. Is d a multiple of 38?
True
Suppose -2*f = 12, 15*k + 22615 = 20*k + 5*f. Does 82 divide k?
False
Suppose -370*j + 15912 = -353*j. Is 26 a factor of j?
True
Let t(w) = 40*w**2 + 39*w - 151. Is t(4) a multiple of 5?
True
Let l(u) = u**3 - 14*u**2 - 2*u + 31. Let f be l(14). Suppose -503 = -f*o - y, 0 = -4*o - o - 4*y + 829. Is 14 a factor of o?
False
Let m = -543 - -550. Suppose -f - 7128 = -m*f. Does 54 divide f?
True
Let z = -19026 + 20057. Is 12 a factor of z?
False
Let f be (2/9)/1*18. Is (359 + -6)/(2/f) a multiple of 5?
False
Let p(j) = 7*j + 18. Let w be ((52/8)/13)/((-1)/(-6)). Does 11 divide p(w)?
False
Let o(w) be the third derivative of w**5/120 - 3*w**4/8 - 3*w**3 - 12*w**2. Let x(u) be the first derivative of o(u). Is x(21) a multiple of 6?
True
Let v(z) = z**2 - 22*z + 563. Is 50 a factor of v(76)?
False
Let l = 3362 - 2587. Does 5 divide l?
True
Let z(c) = 5*c**2 + 2*c - 3. Let t be z(1). Suppose -10*w = -t*w - 630. Suppose -4*s + w = -127. Does 11 divide s?
False
Let p(y) = 441*y + 1135. Is 155 a factor of p(15)?
True
Let s = 33355 + -19505. Is 8 a factor of s?
False
Suppose -3*y + 33815 = u, -u = 3*u + 2*y - 135340. Does 247 divide u?
True
Let u = -101 - 40. Let g = 169 + u. Is 2 a factor of g?
True
Let w(t) = -7*t**3 + 5*t**2 + 6*t + 10. Let n(g) = 8*g**3 - 6*g**2 - 6*g - 11. Let b(f) = -5*n(f) - 6*w(f). Is b(6) a multiple of 23?
True
Suppose 16*n = -6*n + 242. Let y(w) = w**3 - 8*w**2 + 12*w + 5. Is y(n) a multiple of 50?
True
Let m(r) = r**2 + 9*r - 13. Let w be m(-13). Let x = 48 - w. Suppose -x*k + 88 = -236. Is 18 a factor of k?
True
Is 128 a factor of ((-2928)/14)/(1146/(-85568))?
True
Let j = 29865 + -13409. Is j a multiple of 5?
False
Suppose 0 = 5*z - 1805 - 9370. Does 149 divide z?
True
Let p(d) = d**2 - 12*d + 14. Let w be p(4). Does 31 divide 6700/w*-1 - 4/18?
True
Let u be 202*(38/(-6) - -5)*-3. Let g = u - 358. Is g a multiple of 45?
True
Suppose 17 = 3*t + f, -7 + 4 = -2*t + f. Suppose v = -t*h - 94, 5*v + 110 = -8*h + 3*h. Does 19 divide 2 - (-70 + h/6)?
True
Suppose -8 - 5 = -y - 4*j, y = -3*j + 11. Suppose 75 = y*a - 0*a. Is a a multiple of 3?
True
Suppose -24*f = -0*f - 72. Suppose f*q = o - 123, -5*q = 5*o - 266 - 249. Is o a multiple of 9?
True
Let h(t) = -t**3 - 15*t**2 + 7*t - 48. Let b be h(-15). Let y = b + 159. Is y a multiple of 3?
True
Let w be (3363/354)/(1 + (-2)/4). Suppose -k = -4*p + 79, 4*p + 3*k = 78 + 21. Let m = p + w. Does 10 divide m?
True
Let u be (1 + (-8)/(-10))*(-15)/(-9). Does 20 divide -1946*5/(u + -8)?
False
Let k be (-204*1)/(-41 + 39). Let r = -22 + k. Does 12 divide r?
False
Suppose q - 313 - 808 = -g, 4463 = 4*q - 3*g. Let h = q - 474. Does 46 divide h?
True
Let w = 51 - 126. Let i = w - -123. Is 16 a factor of i?
True
Is 182 a factor of (-19 - 2) + 1370964/76?
True
Suppose 12 = 2*z - 18. Suppose z = 5*k + 25. Is 42/(k - (-4)/8)*-2 a multiple of 40?
False
Let t = 13246 + -12747. Does 12 divide t?
False
Let s(v) = -24*v + 19. Suppose -3*g - 2 = -i - 4, 3*g = -3. Let b be s(i). Suppose 64 = 140*t - b*t. Is t a multiple of 16?
True
Let m(f) = f**3 - 40*f**2 + 3*f - 30. Let p be m(40). Suppose -2*i + 195 = -5*b, b - 6*b - p = -i. Is i a multiple of 16?
False
Suppose 0 = d - 43 + 7. Suppose 2*t + q - d - 58 = 0, 5*t - 4*q = 248. Is 28 a factor of 2/6 - (-2672)/t?
True
Let z = -4364 - -7640. Is 126 a factor of z?
True
Let r be (5*15/10 + -5)*10. Suppose r = o - i, 5*o + 4*i = -3 + 146. Is o a multiple of 6?
False
Suppose -64614 = -24*z - 26862. Is z a multiple of 13?
True
Let v(d) = -3*d + 21. Let q = -13 - -19. Let p be v(q). Is 2/(-8) - p/((-24)/1570) a multiple of 16?
False
Let d(g) = g**2 - 11*g + 66. Let b be d(12). Is 9 a factor of 299/3 + b/(-117)?
True
Let z(r) = 121*r - 60*r + 41 - 57*r - 4*r**2 + 3*r**2. Is 3 a factor of z(5)?
True
Suppose 869*z - 810810 = 836*z. Is 78 a factor of z?
True
Suppose -n - 33 = -5*i - 757, 3*i = n - 734. Is n a multiple of 16?
False
Let g = 3708 - 2107. Suppose -620 - g = -3*l + 5*q, -1482 = -2*l + 4*q. Is 67 a factor of l?
True
Let d(r) = -r**2 - 12*r - 32. Suppose 35 = -5*p - 0. Let o be d(p). Does 45 divide 286/(6 - o - (-3 + 5))?
False
Is 60 a factor of 8/10 + (-123650204)/(-2495)?
True
Let c(u) = -135*u - 1247. Is c(-28) a multiple of 108?
False
Suppose 0 = -2*x + 3*z + 29865, -5*x + 3*z = 4*z - 74688. Does 40 divide x?
False
Suppose 20*x = 9451 + 5089. Let w = -617 + x. Does 5 divide w?
True
Let t be (5 + -2)*(-4)/(-3). Suppose -5*n + 4*n - 3*l = 7, -5*l = -t*n + 23. Suppose n*j - 91 = -13. Is 13 a factor of j?
True
Let k(s) be the third derivative of -s**6/120 + s**4/8 + s**3/3 + 21*s**2. Let g be k(-1). Suppose -j + 5*x + 57 = 0, -x + g*x - 4 = 0. Does 7 divide j?
False
Let n(l) = 1290*l**2 + 1189*l + 1. Does 13 divide n(-5)?
False
Let i(s) = 51*s + 782. Is 68 a factor of i(-6)?
True
Does 73 divide -18 + 5 + 8 + (-7)/((-7)/3655)?
True
Suppose 3*c = 2*i - 1658, -5*i - 6*c = -11*c - 4150. Suppose i = 8*m - 88. Is m a multiple of 11?
False
Suppose -42*k + 108360 = k. Is 90 a factor of k?
True
Suppose 24802 = 2*o + 5*s - 62067, -4*o + 173780 = 4*s. Is o a multiple of 51?