actor of a(m)?
True
Let m = 127 + -123. Suppose -5*d + 9*d - z = 1230, -m*d - 4*z = -1240. Is 11 a factor of d?
True
Let k = 319 - 292. Suppose -2100 = 24*m - k*m. Does 14 divide m?
True
Let b(v) = -v**3 - 12*v**2 - v - 6. Let c be b(-12). Is (332 - 48/c)/(6/4) a multiple of 36?
True
Let k = 138 + -11. Let w(f) = 37*f + 13. Let y be w(-3). Let v = k + y. Is 2 a factor of v?
False
Let u(i) = i**3 - 6*i**2 - 2*i + 9. Let h(j) be the third derivative of j**6/120 + 7*j**5/60 + j**4/6 - 7*j**3/2 - 18*j**2. Let m be h(-5). Does 27 divide u(m)?
False
Suppose -86 = -4*g + h, -4*g - 10 = 5*h - 108. Suppose 2*p - 14 = x, p - g = 2*x + x. Let s(k) = -4*k + 6. Does 30 divide s(x)?
True
Suppose -23*k + 14*k = -2628. Suppose -23*u + 19*u + k = 2*x, 5*x - 715 = -5*u. Is x a multiple of 8?
False
Is 12 a factor of (5*28/20 - 3) + 344?
True
Let b(x) = -x**3 - 3*x**2 - 4*x + 3. Let q be b(-3). Suppose 25 = -5*o - y, 0 = -4*o + o - 3*y - q. Let n(m) = m**2 - 12*m - 9. Is n(o) a multiple of 25?
False
Let j = 288 + -168. Let c = -77 + j. Is 43 a factor of c?
True
Let j be 32/(-24) + (1 - (-24)/(-9)). Is 5 a factor of -2*(-25)/(-3)*j?
True
Let h(f) = 1 - 10 + 19 + 6*f. Suppose p = -2*m + 23, 5*m - p = 3*p + 25. Is 21 a factor of h(m)?
False
Let d(p) be the first derivative of p**5/60 + 5*p**4/8 + 5*p**3/2 + 13*p**2/2 + 7. Let m(f) be the second derivative of d(f). Is 15 a factor of m(-20)?
False
Let n be 9/(-4) - (-3)/12. Let i be (-4 + 0)*(-15)/n. Is 3 a factor of i/24*-4 + 1/1?
True
Suppose j + 238 - 1183 = 0. Suppose -28*z = -23*z - j. Is z a multiple of 7?
True
Let h(q) = -q**3 - 6*q**2 + 8*q + 7. Let v be h(-7). Suppose v = -0*k - 5*k + 135. Let j(o) = o**3 - 28*o**2 + 37*o - 9. Is 32 a factor of j(k)?
False
Let n(f) = 3*f**2 + 3*f - 13. Let h(x) be the second derivative of -x**4/6 + 19*x**3/6 - 15*x**2 - 36*x. Let y be h(8). Is n(y) a multiple of 14?
False
Suppose 3*q = -d + 17172, 11*q - 12*q + 5724 = 5*d. Suppose 11*l = -7*l + q. Is l a multiple of 53?
True
Suppose 3*d + 62*d - 16900 = 0. Is 4 a factor of d?
True
Let o(y) = 3*y**2 - 24*y + 225. Let w be 510/25 - (-28)/(-70). Is o(w) a multiple of 45?
True
Let k(s) = -3*s**2 + 27*s + 9. Let x(v) = 4*v**2 - 28*v - 6. Let h(b) = 6*k(b) + 5*x(b). Is h(-12) a multiple of 4?
True
Is (128/20)/(((-24)/1950)/(28/(-10))) a multiple of 16?
True
Suppose -4*s + 392 + 1992 = h, -3 = -3*s. Is 70 a factor of h?
True
Let l be (-2 - 25/(-10))/((-3)/(-90)). Let t be (104/(-78))/((-4)/l). Let h(g) = -6*g + 57. Does 2 divide h(t)?
False
Does 39 divide (-1 + -25)*(-10290)/140?
True
Let z = -3878 + 5047. Is 4 a factor of z?
False
Suppose -3*j = -3*k + 24, 3*j + j = -4*k. Let r = -12 + k. Let v = r + 81. Does 15 divide v?
False
Let o = -102 + 380. Suppose 0 = 7*k + o - 2126. Is 12 a factor of k?
True
Suppose 14*t - 17*t + 9 = 0. Suppose 0 = m + 4, -104 - 443 = -t*v - 5*m. Is 10 a factor of v?
False
Suppose 251350 = -247*h + 272*h. Does 22 divide h?
True
Is 7 a factor of (-6 - -356)*33/22?
True
Let x be -5*1/(-4*(-2)/120). Let y be (5/(x/6))/(5/(-50)). Suppose 225 = 2*q - g, -q - 3*q = y*g - 444. Is q a multiple of 14?
True
Let k(w) = 826*w**2 + 242*w + 1190. Does 10 divide k(-5)?
True
Let n = 4188 - 2956. Does 28 divide n?
True
Let c(s) be the third derivative of -s**5/60 - 13*s**4/12 + 4*s**3 + 7*s**2 + 9. Is 7 a factor of c(-15)?
True
Let b(w) = 5*w**2 + 19*w - 2. Let j be b(-16). Suppose 4*r = 5*h + j, 5*h + 0*h = 10. Does 31 divide r?
False
Let u = 19276 - 19152. Is 11 a factor of u?
False
Suppose 3*w + 13 = x, -x = -4*x - 4*w. Suppose 29 = s - 4*c, 0*s + c = -x*s + 184. Let k = 84 - s. Does 5 divide k?
False
Let c be (-57)/(-54)*22 + (-4)/18. Let j(s) = -25*s + 14*s + 8*s - c. Is 2 a factor of j(-19)?
True
Let u(t) = 4*t - 5. Let c be u(2). Let h(j) = -8 - c*j - 6*j + j - 2*j. Is h(-4) a multiple of 4?
True
Suppose 3*h - 5*x - 769 = 763, 4*h - 2012 = -x. Let d = h + -76. Is 19 a factor of d?
False
Let l(z) = z**3 - 19*z**2 + 24*z + 8. Let y be l(18). Let v = -77 + y. Suppose 2*u - 5 = v. Is 2 a factor of u?
True
Let n(b) = b**2 - 2*b - 1. Let j be n(-3). Let y(c) = c**2 - 13*c - 16. Let h be y(j). Does 2 divide (2 - 0 - -2) + h?
True
Suppose 24400 - 76415 - 62737 = -32*b. Is b a multiple of 22?
True
Suppose 2*d - 3*i = 37, -3*i = 6*d - 11*d + 97. Let f(v) = v**3 - 18*v**2 - 37*v - 5. Is 12 a factor of f(d)?
False
Let f(v) = -122 - 32*v - 76 - 40*v + 86. Is f(-8) a multiple of 58?
True
Suppose -10*o = 14*o - 1512. Is 8 - 518/o - (-2270)/9 a multiple of 28?
True
Let g = -1624 - -2392. Let r = g - 397. Is r a multiple of 53?
True
Let w = -661 + 665. Suppose -2209 = -w*q - 3*n + 79, -3*n - 2860 = -5*q. Is q a multiple of 52?
True
Let d = 80 - 77. Suppose -f = -4*i - 164, -4 = -d*i - 1. Is 12 a factor of f?
True
Let m(a) = 3556*a**2 + 441*a + 440. Is 3 a factor of m(-1)?
True
Let b(h) = 2590*h. Let v be b(1). Suppose 0 = 9*x + 5*x - v. Is 41 a factor of x?
False
Let n = -87 + 90. Suppose -1007 = -n*s + 253. Is 28 a factor of s?
True
Let x = -59 - -63. Suppose 0 = u + 2*i - 6*i - 92, 0 = x*u + 4*i - 268. Is u a multiple of 3?
True
Let q = 49 + -25. Let r(w) = 9*w - 56. Let z be r(q). Let y = z - 90. Does 13 divide y?
False
Suppose -5*p + 5271 = 7*s, 16*p - 14*p - 2085 = 5*s. Is p a multiple of 15?
True
Suppose 124080 = -831*m + 847*m. Is m a multiple of 33?
True
Let r = 10836 + 12214. Is r a multiple of 25?
True
Let q be (24/8)/((4/(-2))/(-2)). Suppose -l + 4*v = 16, 5*l - 5*v = -q*v + 10. Suppose 3*p - 62 = l*n, 3*p - 51 = 3*n + 12. Is p a multiple of 22?
True
Suppose 23916 = 3*o + 6*c, 48*c - 44*c = 4*o - 31936. Does 7 divide o?
True
Let f(a) = -a**3 + 5*a**2 - 5*a + 10. Let r be f(4). Let s(p) = -p**3 + r*p + 3*p**2 - 3*p**3 - 4*p - 7*p**2. Is s(-3) a multiple of 6?
True
Suppose 19*b - 24*b - 2*h = -4386, 0 = 2*h + 4. Does 5 divide b?
False
Let x(i) = 397*i - 295. Is 69 a factor of x(7)?
True
Suppose -20 = -452*x + 457*x. Let o(n) = 43*n**2 + 12*n + 56. Is o(x) a multiple of 8?
True
Let q = 38 + 439. Let l = q + -282. Is l a multiple of 13?
True
Suppose 0 = -4*y - 5*d - 22 - 23, -2*y - 20 = 2*d. Let u(g) = -g**3 + 8*g**2 - 4*g - 3. Is 9 a factor of u(y)?
True
Let r(y) = 10*y**2 + 13. Let k(f) = 3*f**2 + 4. Let g(a) = -a**3 + 16*a**2 + 14. Let o be g(16). Let v(c) = o*k(c) - 4*r(c). Is 27 a factor of v(-8)?
False
Suppose -6*s - 3*d = -4*s - 2250, 0 = -3*d. Suppose 3*w - s = q + 226, 4*q = 3*w - 1336. Does 75 divide w?
False
Suppose -2*h + 9*h = 0. Suppose h = r - 2*p - 40, 4 = p + p. Suppose -5*c + r - 4 = 0. Is 6 a factor of c?
False
Let o be (-3)/(2/(-15) - (-35)/105). Let n = o + 421. Is 30 a factor of n?
False
Let p = -152 + 143. Let g(w) = -2*w**3 - 13*w**2 - 2*w - 21. Is 29 a factor of g(p)?
False
Let s(w) = -3*w + 22. Suppose 0 = 10*u - 32 - 28. Let n be s(u). Suppose -7*k + 81 = -n*k. Is 15 a factor of k?
False
Let l(c) = -100 + 89*c - 90 + 25. Is 9 a factor of l(6)?
True
Suppose -180511 = -15*r + 76*i - 78*i, 3*r + i - 36107 = 0. Is 6 a factor of r?
False
Suppose -2488800 = -252*o - 228*o. Is 61 a factor of o?
True
Suppose 7345 = 8*a + 4685 - 22180. Does 45 divide a?
True
Suppose 71839 = 38*l - 21847 - 16324. Is 76 a factor of l?
False
Let r be 1/5*2005*(0 - -1). Let f = 625 - r. Does 28 divide f?
True
Let t(h) = h**2 - 2*h - 3. Let u be t(-2). Suppose 4*l - 16 = 2*l - o, u*l - 38 = -3*o. Let v(n) = 3*n - 5. Does 25 divide v(l)?
True
Let m be -6 - (7 - 11 - -4). Is 3 a factor of 59 + (3 - (m + 9))?
False
Let j be ((0 - -1)*-5 - -20)/3. Is 20 a factor of 2545/j - (-3)/(-1)?
False
Let g = -10890 - -15528. Is g a multiple of 16?
False
Let r = 2814 - 1872. Does 3 divide r?
True
Suppose 25724 = 8*y - 1076. Is 67 a factor of y?
True
Let l = -2428 + 3516. Is l a multiple of 17?
True
Suppose -179240 = -31*o + 660426. Is 29 a factor of o?
True
Suppose -5*t - 3*z = 57, -6*t + 2*t - 3*z = 48. Let g be 3/(0 - -3) - t. Suppose g*n - 117 = 7*n. Is 19 a factor of n?
False
Suppose w - 740 = 3*g + 40, 4*g = 3*w - 2320. Is w a multiple of 54?
False
Suppose -5*i = -h - 26842, -11*i + 9*i - 2*h = -10732. Does 15 divide i?
False
Let q(w) = 14*w + 6. Let v(j) = -1. Let i = 18 + -3. Let f(x) = i*v(x) + 3*q(x). Is f(2) a multiple of 20?
False
Let s(g) = 12*g**2 - 5*g - g**3 - 16 + 12*g - g + 10*g. Suppose 0*w - w + 13 = 0. Does 7 divide s(w