actor of m(19)?
True
Let x = -16 + 12. Let t be (-17 + 15)/(x/6). Is 6 a factor of t - -8*(-2)/(-4)?
False
Suppose 0 = -2*r + 3*t + 75, 24*r + t + 35 = 25*r. Is (425/5 - 0)*36/r a multiple of 9?
False
Suppose -20 = -x - 2*a, -3*a + 101 = 4*x + 1. Let p(b) = b**2 - 28*b - 5. Let i be p(x). Is 10*(1/i + (-81)/(-30)) a multiple of 5?
True
Let f = 1632 - 953. Is f a multiple of 21?
False
Let s be ((-27)/12 - -3)/(9/(-504)). Let u be (2 - -4)/s - (-29)/7. Is 29 a factor of (1/u)/((-5)/(-620))?
False
Let f(y) = y**3 + 11*y**2 - 5*y - 80. Let q be f(-11). Let u = -72 + 39. Let v = q - u. Is v a multiple of 2?
True
Let b(x) = x**3 - 2*x**2 - 2*x. Let l be b(3). Let i(a) be the third derivative of a**6/40 - a**5/12 + a**4/6 - a**3 - 104*a**2. Is i(l) a multiple of 22?
False
Suppose -6*r - 78 = -8*r. Let h be 2/(-6) - 143/r. Is (-42)/(-56) - 69/h a multiple of 9?
True
Let c(g) = -g**3 + 30*g**2 - 13*g - 42. Let k be c(23). Suppose -k - 2650 = -18*b. Is b a multiple of 29?
False
Let t be (18/5)/((-20)/(-4100)). Suppose 4*f = 6 + t. Is f a multiple of 6?
True
Suppose -2*p - 4*d + 42242 = 0, -3*d = 39*p - 43*p + 84451. Is p a multiple of 313?
False
Let i = 18228 + 1190. Is 133 a factor of i?
True
Let r be 117/27 - (-8)/(-6). Suppose -r*h + 0*h = 39. Let p(j) = -j**2 - 11*j + 32. Does 3 divide p(h)?
True
Let o = -8 - -12. Suppose n = -o, 8*s - 2*n = 3*s - 3162. Let a = -343 - s. Is a a multiple of 24?
False
Suppose x + 60 = 5*j, 5*x - 5*j + 113 + 287 = 0. Let u = x + 83. Does 52 divide (-1 - u) + 347*(-5 - -6)?
False
Suppose -7*b = -11*b + 132. Let o be 110/b*3/2. Suppose z + 125 = o*v - z, 4*v + 2*z = 100. Is 3 a factor of v?
False
Suppose g - 7*g = -6. Let r be 0/18 + (g - -3). Suppose 5*m + 5*a - 420 = 195, -5*a = r*m - 489. Is 18 a factor of m?
True
Let x = 43 - -369. Suppose -3*r - x = 5*m - 2576, 5*r - m - 3560 = 0. Is 39 a factor of r?
False
Let c(p) = -p**2 + 3*p - 14. Suppose 0 = 3*j - b + 3, b - 4*b = 2*j - 9. Let l be c(j). Is ((-35)/l)/(2/36) a multiple of 15?
True
Let d(w) = -60*w - 52. Let p be d(3). Let s = p + 498. Does 14 divide s?
True
Let o(a) be the second derivative of 49*a**4/12 + 7*a**3/2 - 9*a**2/2 - 27*a - 1. Is 11 a factor of o(3)?
True
Suppose -k - 11 = -16. Is 11 a factor of (-10)/(-25) - ((-2558)/k - 0)?
False
Let g(v) be the second derivative of v**7/252 + v**6/720 - v**5/24 - 19*v**4/12 - 3*v. Let i(w) be the third derivative of g(w). Is 34 a factor of i(3)?
False
Let r(u) = 16*u - 37. Suppose -20*l + 54 = -66. Does 7 divide r(l)?
False
Suppose 0*i - 1206 = -4*w + 5*i, 0 = -4*w - 4*i + 1224. Let n = w + 120. Is n a multiple of 53?
True
Let a be 6/18*3*(-1 + 1). Let n = 10 + -4. Suppose -2*c + 292 = -n*g + 5*g, g = a. Is 35 a factor of c?
False
Suppose -4*y = -y - 3*l + 630, -824 = 4*y + 4*l. Let k = y - -253. Is 19 a factor of k?
False
Does 19 divide (1368/21)/(2642/(-294) - -9)?
True
Let h = 2943 - 565. Is 41 a factor of h?
True
Let k(v) = -v**3 - 24*v**2 + 7*v + 30. Is 24 a factor of k(-29)?
True
Let p(f) = -41*f**2 + 113*f + 12. Let v be p(6). Let d = 1137 + v. Is 10 a factor of d?
False
Let i(j) = 3*j - 1. Let l be i(-3). Let a(n) = -n**3 + 12*n**2 + 4*n - 61. Let p be a(11). Let x = p + l. Is 19 a factor of x?
False
Let w = 4842 - 2631. Does 33 divide w?
True
Let w(c) = -c**2 + 17*c + 50. Let v be w(16). Suppose -11124 = 54*i - v*i. Is 65 a factor of i?
False
Suppose -26*o - 10*o + 69342 = -22*o. Is 13 a factor of o?
True
Suppose 4*n + 5*p - 13844 = 0, 3723 = n - 2*p + 249. Does 4 divide n?
False
Let j be -26 + (-1 - (-1 - -2)). Let t = 37 + j. Suppose -34 = -n + t. Is 5 a factor of n?
False
Suppose -5906307 = -30*l - 43*l - 1194960. Is 303 a factor of l?
True
Suppose z - 15 = 3*z + 3*g, z - 5*g + 40 = 0. Does 3 divide (-20)/z*75 + 0?
False
Let d = 323 - 183. Suppose 0 = d*o - 134*o - 1092. Is o a multiple of 12?
False
Suppose 2*w = 2*i + 11090, -5*w + 30734 = -i + 2985. Is 11 a factor of w?
False
Let k(w) = 6102*w**3 - 2*w**2 + 10*w - 6. Is 67 a factor of k(1)?
False
Let b(t) = 18*t**2 + 77*t - 997. Does 8 divide b(15)?
True
Suppose -156*n = 30*n - 2055300. Does 170 divide n?
True
Let z(m) = 3362*m - 10074. Is z(10) a multiple of 193?
True
Suppose 47*h + 75*h - 9945600 = -102*h. Is 222 a factor of h?
True
Suppose -9*d + 35 = -2*d. Suppose -y - 788 = -2*f, -1976 = -d*f + 4*y - 0*y. Does 19 divide f?
False
Suppose 0 = 4*l + 2*z - 4470, 2*z = 4*l - 474 - 4016. Is l even?
True
Suppose 9*f - 16*f + 6012 + 47853 = 0. Is 5 a factor of f?
True
Let n = 120 - 48. Let h = n + -66. Suppose h*v = 5*v + 59. Is 7 a factor of v?
False
Suppose -9375 = -4*g + 3*b, 3*g + 4*b + 3332 = 10382. Is g a multiple of 17?
True
Let r(h) = -2*h**3 - 4*h**2 - 12*h + 3. Let m be r(-5). Let u = 603 - m. Does 26 divide u?
True
Suppose 0 = -3*n + 2*c + 77916, 5*c = -n + 31191 - 5202. Is 37 a factor of n?
True
Suppose 690 = 2*k - 2*g, 4*k - 2*g + 1362 = 8*k. Suppose -4*u = 3*x - 5*x - 668, x = -2*u + k. Is 20 a factor of u?
False
Suppose -25*c = -22*c - 6. Suppose -7*m + 2*m + 4*x = -2010, c*m - 827 = -3*x. Is m a multiple of 4?
False
Suppose -5*x = -5, 91 = -3*i + 4*i - x. Suppose -i = -4*p + 20. Does 4 divide p?
True
Suppose 5*b = -5*n + 2016 + 62804, -2*n = -3*b - 25908. Does 15 divide n?
True
Suppose 405 = -5*k - 5*l, 4*k - 3*l + 317 = -0*l. Let y = -5 - k. Is 25 a factor of y?
True
Does 31 divide 49218/16 - 10/(111 - 31)?
False
Is 75 a factor of 34*(-5 + 45612/154) + (-2)/11?
True
Does 36 divide (12/(-4) - -8) + 327 + -4 + -4?
True
Suppose 2*d - 4*h - 6962 = 0, -5*h = -11*h + 24. Is d a multiple of 59?
False
Let j(w) be the first derivative of -44*w**4 + w**3/3 + 7*w**2/2 + 6*w + 142. Is j(-2) a multiple of 13?
True
Let c be (-4)/(-3 + (-182)/(-63)). Suppose -4490 = c*v - 24650. Is 10 a factor of v?
True
Let d(k) = k**3 - 18*k**2 + 28*k - 11. Let f be d(20). Suppose 4*i - f = 523. Is i a multiple of 34?
False
Let x = -18 + 79. Let d = x + 132. Suppose -257 = -6*l + d. Does 25 divide l?
True
Suppose -4*w + 1343 = a + 4*a, 0 = -3*w + 3*a + 1041. Let s = w + -56. Is s a multiple of 42?
False
Suppose -68 = -7*h + 142. Suppose -157 = -w + h. Does 10 divide w?
False
Let t(c) = -c**3 - 7*c**2 + 7*c - 21. Let b be t(-8). Is (-180)/b + (-4)/(-26) a multiple of 6?
False
Let n = 2404 + -2380. Suppose -9 = -3*z - 4*f, f + 2*f + 15 = 5*z. Suppose -2*j - n = -z*j. Is 24 a factor of j?
True
Let j = 525 - 510. Is 4 a factor of ((-465)/(-21) + (-45)/j)*14?
True
Let b = 5891 - -5484. Is 125 a factor of b?
True
Let w(r) = -5*r**3 - 9*r**2 + 8*r - 4. Let k be 30/12 - (-51)/(-6). Does 16 divide w(k)?
True
Let z(v) = 9*v + 20. Let a be z(18). Let m be 3 - (-3 + (0 - 2 - a)). Suppose -6*r + m = 40. Is r a multiple of 14?
False
Suppose -2*l - 24 = -86. Suppose -2*c + 95 = -l. Let t = c + 54. Is 13 a factor of t?
True
Is 53 a factor of ((-12628)/(-8) - 9)/((-4)/(-8))?
False
Let g be (-70)/(-10)*4/14. Suppose g*w + 1 = -5*v, 3*w - v = w + 29. Suppose -3*d = -w*d + 621. Is d a multiple of 29?
False
Suppose 0 = -4*c - 46 + 354. Suppose 253*v - 18915 - 8156 = 0. Let x = v - c. Is 5 a factor of x?
True
Let d be (-2)/(-1*(3 + -1)). Let k(p) = -p + 1. Let i(z) = 3*z + 30. Let x(m) = d*i(m) + 5*k(m). Does 11 divide x(0)?
False
Let p = 17713 + -9811. Is p a multiple of 5?
False
Let p(d) = 4*d**2 - 13*d - 17. Let u be p(8). Suppose 3*n - u = 3*t, -t - 127 = -2*n - n. Suppose n*w = 39*w + 260. Is w a multiple of 26?
True
Suppose -7*b - 2*b + 2061 = 0. Let n = 355 - b. Is n a multiple of 4?
False
Suppose i = 6*i - 215. Let w = i - 41. Is 55/(-20)*w*-2 a multiple of 6?
False
Let i(v) = 1 - 2*v**2 + 5*v**2 - 4 + 7*v. Suppose 19 = 17*h + 87. Is i(h) even?
False
Let b = -97045 - -170671. Is b a multiple of 14?
True
Let x(i) = -25*i**2 - 3*i + 2. Let c(s) = -2*s**2 + s + 1. Let u(o) = -2*c(o) - x(o). Suppose -2*b = 3*b + 4*v + 6, 4*b - 2*v = 16. Does 6 divide u(b)?
True
Let t = -1468 - -2335. Is t a multiple of 17?
True
Is 77 a factor of 151/(-12 + (-3900)/(-324))?
False
Suppose 92*q = 94*q + 96. Let c = q - -168. Does 24 divide c?
True
Suppose 5*b + 5*c - 23395 = 0, -7*b + 9*b + 4*c = 9350. Let d = -2615 + b. Is d a multiple of 47?
True
Let y(h) = h**3 + 9*h**2 - h - 3. Let l be y(-9). Let s(z) = z - 2. Let n be s(l). Suppose 33 = -n*x + 853. Does 25 divide x?
False
Suppose -a - 12*c = 