et x(l) = -l**2 + 4*l + 2. Let f(c) = -3*c**2 + 12*c + 5. Let n(s) = -6*f(s) + 17*x(s). Is 6 a factor of n(5)?
False
Suppose 5*a - 4*k - 300 = 0, -2*k + k = -2*a + 120. Is a a multiple of 30?
True
Let k = -93 + 353. Is 52 a factor of k?
True
Does 10 divide 2/9 - (-6195)/189?
False
Let f(b) = 2*b**2 + 7*b - 1. Let j be f(-6). Let h = -19 + j. Does 10 divide h?
True
Let d = -119 - -417. Does 19 divide d?
False
Suppose 88 = -2*r + 2*g, r + 36 = 3*g - 0*g. Let v be (-9)/(-15) + r/(-20). Suppose v*i = 15, -5*b + 2*i + 25 + 15 = 0. Is 7 a factor of b?
False
Let q be (-3)/(-5)*(16 - 1). Let h = q + -5. Suppose -h*r = -2*r - 36. Is r a multiple of 9?
True
Suppose 4*g + 100 = 348. Does 12 divide g?
False
Let b be 32/(-6) - 1/(-3). Let a(y) = y**2 - 5*y - 7. Is a(b) a multiple of 15?
False
Let m(g) = g**3 - 4*g**2. Let b be m(4). Suppose -4*u + 12 = -b*u. Suppose h = -u*r + 6, -2*r - 21 - 77 = -5*h. Does 7 divide h?
False
Let p be (-25)/(-10)*16/10. Suppose -n - 4*j - 2 = 1, 0 = -5*n - p*j + 49. Let c = n + 21. Does 17 divide c?
True
Let c = 2 + -2. Suppose -2*d = -c*d - 126. Is d a multiple of 21?
True
Let q be (-9)/5 + 7/(-35). Let h(k) = 2*k - 1. Let u be h(2). Let l = u - q. Is 2 a factor of l?
False
Let l be (-2)/(2 - 0)*-1. Suppose 1 = w + 4*n, 0 = 2*w + n - l - 1. Let j(k) = 5*k - 1. Is j(w) a multiple of 2?
True
Suppose -53 = 2*u + 3*l, 4*u = 2*u - 4*l - 52. Is 15 a factor of -3 - u*(-1 + 2)?
False
Let v(c) = c**2 + 9*c + 8. Let b be v(-9). Suppose -6*n + b = -4*n. Is n a multiple of 4?
True
Let w(d) = 3*d**2 + 7*d - 4. Is 26 a factor of w(-6)?
False
Suppose 97 = 4*v + 5*u, 2*v + v - 4*u = 34. Is v a multiple of 9?
True
Let m(i) = i**2 - 8*i + 10. Let n be m(7). Let w = -1 + 5. Suppose -n*t = -w*t + 34. Is 17 a factor of t?
True
Let b(h) = 4*h**2 - 4 + 7*h + h**2 - 10*h. Is b(4) a multiple of 17?
False
Let d(v) = -v**2 + 6*v. Let n be d(5). Suppose 0 = -n*u - 0*u + 230. Is 28 a factor of u?
False
Let r(t) be the second derivative of 9*t**5/20 + t**4/6 - t**3/3 - t**2/2 + 2*t. Let i be r(2). Suppose -4*a + i = -65. Is a a multiple of 19?
False
Let o(r) = 2*r**2 + 11*r + 14. Is o(11) a multiple of 27?
False
Let c(o) = o**2 + 3*o + 8. Is c(-7) a multiple of 12?
True
Suppose 0 = -2*m + 3*w - 2*w + 200, 5*w + 412 = 4*m. Is 21 a factor of 4/(3 + m/(-34))?
False
Let h be (3/2)/((-10)/360). Let n = -33 - h. Is n a multiple of 6?
False
Suppose 98 + 62 = 2*a - 4*q, -2*a - 2*q + 154 = 0. Is a a multiple of 39?
True
Let v(f) = -f**2 - 6*f. Let b be v(-5). Suppose b*o = 81 - 11. Is 6 a factor of o?
False
Let b(d) = 79*d**2 - d + 6. Is 20 a factor of b(2)?
True
Let s(q) = -4*q**2 + 5*q + 3*q**2 + 9 + 4*q. Let c be s(8). Let b = c + 15. Is 15 a factor of b?
False
Let p(j) = -j**3 - 10*j**2 - 3*j + 8. Is p(-10) a multiple of 19?
True
Let r(b) = -b**3 + 13*b**2 - 9*b - 4. Let q be r(12). Suppose -q = -3*l + 46. Suppose -298 + l = -4*u. Is 23 a factor of u?
False
Suppose -3*w - 385 = -10*w. Is w a multiple of 10?
False
Is 1 + (440/5 - -1) a multiple of 18?
True
Suppose -123 = -0*z - 3*z + i, -4*z + 145 = 5*i. Does 10 divide z?
True
Let g(n) = 3*n**2 + 9*n - 14. Let u(b) = b**2 + b - 1. Let r(d) = -g(d) + 2*u(d). Let t be r(-9). Let s(j) = j**3 + 8*j**2 + 7*j + 1. Is s(t) a multiple of 17?
False
Suppose -h = 4*h - 5. Is 14 a factor of (1/h + -2)*-75?
False
Suppose 7*v + 38 = 4*v + 4*d, 4*d - 14 = -v. Let x(g) = g**2 + 6*g. Let m be x(v). Is 5 a factor of (-21)/(m + -3 + 2)?
False
Let k = -14 - -20. Suppose 6*u - 55 = -p + u, -p + 4*u + 46 = 0. Suppose -j - p = -k*j. Does 3 divide j?
False
Suppose 5*t + 17 = -33. Let f = 14 + t. Suppose 2*b - 5 = -v, -f*b - 5*v - 20 = -9*b. Is 3 a factor of b?
True
Suppose 3*d = -5*d + 728. Does 12 divide d?
False
Let b = -4 - -2. Is 12 a factor of -90*4*b/20?
True
Let a(l) = -7*l**3 + 7*l**3 + 11 + l**3 - l**2. Is 5 a factor of a(0)?
False
Let f(q) = -5*q + 2. Let x be f(-6). Suppose b - 2*b + 4*p = -21, 4*b + 4*p - 64 = 0. Let a = x - b. Is a a multiple of 15?
True
Let w(k) = -k**3 - 12*k**2 + 10*k + 6. Let s be (4/(-6))/((-8)/(-156)). Is 13 a factor of w(s)?
False
Let m = 59 - -1. Is 12 a factor of m?
True
Let k(g) be the first derivative of 23*g**6/360 + g**5/60 - g**4/24 - g**3/3 + 2. Let i(f) be the third derivative of k(f). Is 12 a factor of i(1)?
True
Let l(x) = x**2 - 5*x + 7. Is 16 a factor of l(10)?
False
Suppose l = 2*l - 48. Does 13 divide l?
False
Suppose -5*t + 773 = -102. Is 13 a factor of t?
False
Let z(x) = x**3 + 14*x**2 - x + 18. Is 8 a factor of z(-14)?
True
Let k = -1 - -17. Suppose -5*g + k = -9. Suppose -h = -3*l - g, -2*h + 0*l = 2*l - 18. Does 4 divide h?
True
Does 24 divide ((-16)/6)/(10/(-180))?
True
Let o(y) = 7*y**3 - 14*y + 9. Let t(l) = -8*l**3 - l**2 + 14*l - 10. Let v(h) = -7*o(h) - 6*t(h). Is v(7) a multiple of 23?
True
Suppose -4*u = -u - 255. Does 11 divide u?
False
Suppose 4*o - 16 = -4*s, -4*s + 10 = 5*o - 8. Suppose 0 = z + b - 22, 0*z + b + 41 = o*z. Is 18 a factor of z?
False
Suppose -8*n + 4*p = -4*n - 24, -9 = -5*n - 2*p. Suppose -3*f = 2*v - 121, 74 = v + 5*f + 31. Suppose 3*q + n*s = 102, 4*q - s = 58 + v. Does 15 divide q?
False
Does 26 divide (13*1)/((-12)/(-24))?
True
Suppose -51 = -0*c - 3*c. Suppose -39 = -2*m - c. Does 3 divide m?
False
Let g be -2*(-1 - (-12)/(-8)). Suppose 2*o - 23 = -c, 43 = 2*o + g*c + 8. Is 10 a factor of o?
True
Suppose m = 12 + 12. Does 6 divide m?
True
Let r(w) = 1. Let d(u) = -3*u - 6. Let f(q) = -d(q) - 5*r(q). Is 19 a factor of f(6)?
True
Let b(r) = r + 5. Let j be b(-3). Suppose 0 = -d + j + 2. Is 13 a factor of 51/d + (-1)/(-4)?
True
Suppose -40 = -0*y - 5*y. Let s = y - -12. Let n = s - 11. Does 4 divide n?
False
Let n(q) = -q. Let s be n(-2). Suppose 2*b - 13 = y, -6*y = 2*b - s*y + 2. Is 3 a factor of ((-10)/b)/((-4)/6)?
True
Let k be (-2)/(-5) + 23/5. Suppose 0 = -h + 9 + k. Does 14 divide h?
True
Let y(d) = 4*d**2 - 2*d + 1. Let v be y(1). Suppose -v*b + 4*g = -0*g - 70, 0 = -5*b + 4*g + 106. Does 6 divide b?
True
Let d(o) = -3*o**3 - o**2 - 2*o - 3. Suppose -4*p + 8 - 4 = 0. Suppose 2*x + p = -3. Is 7 a factor of d(x)?
True
Let h(b) = 27*b - 5. Let g be h(5). Suppose 47 = v - g. Suppose v = 5*r - 0*z - 3*z, 5*r = 4*z + 176. Is r a multiple of 18?
True
Let u(l) = -l**2 - 15*l - 8. Is u(-8) a multiple of 16?
True
Suppose d - 1 = 0, 2*a - 2*d - 757 = -2467. Is a/(-35) + 2/(-5) a multiple of 24?
True
Let f = -24 + 31. Is f a multiple of 7?
True
Let r = -3 - -2. Let n = r - -6. Suppose -3*u + n*g - 5 = 0, -5*g = -u - 19 + 4. Is 2 a factor of u?
False
Let h(z) = -6*z - 4. Let q(l) = -3*l - 2. Let b(p) = -4*h(p) + 9*q(p). Let i be b(-4). Let g = i + -2. Is g a multiple of 8?
True
Let j = 162 + -76. Does 10 divide j?
False
Let t(v) = -v**3 + 9*v + 0*v**3 - 8*v**2 - 10 + 2*v**3 + v. Is 4 a factor of t(7)?
False
Let q be -4 - 3/(3/(-2)). Let l(h) = 5*h**2 + 2*h - 2. Does 7 divide l(q)?
True
Let g(x) = x**2 - 6*x + 1. Let b be g(6). Let k be ((2 + -1)*-4)/b. Does 4 divide (k/(-10))/((-1)/(-10))?
True
Let o(j) = 2*j**3 - 2*j**2 + 4*j - 3. Let r be o(2). Let b = r + -8. Suppose -3*v - b*n = -41, n + 2*n = -v + 15. Is v a multiple of 6?
True
Let l be 5 - ((-1)/(-1) + 2). Let a(n) = 2*n**3 - 3*n**2 + 3*n - 2. Is 3 a factor of a(l)?
False
Let y be -1 + 1 - (-8 + 6). Let z(w) = 0 + 1 + 2 - 5 + 5*w**2. Is z(y) a multiple of 18?
True
Suppose -2*n + 0*n = -122. Suppose p - n - 44 = 0. Suppose 24 = -3*c - 5*t + p, 0 = 2*t - 6. Is c a multiple of 12?
False
Let n(l) = -2*l + 8. Is n(-5) a multiple of 6?
True
Let f(d) be the first derivative of d**3 + d**2 + 2*d + 1. Let z be f(-3). Suppose z - 3 = 2*y. Is 5 a factor of y?
True
Let d = 17 + -9. Let c = 11 - 9. Suppose -o + c = -d. Does 9 divide o?
False
Suppose 1 = -g, 5*k + g + 0*g - 54 = 0. Is 4 a factor of k?
False
Suppose -r - 10 = -82. Is r a multiple of 18?
True
Let c(u) = -u**3 - u**2 + u + 6. Let w be c(0). Is 11 a factor of 6/18 - (-160)/w?
False
Let h(q) = q - 2. Let r be h(10). Is (70 - 0) + r/4 a multiple of 24?
True
Let d = -21 - -101. Does 10 divide d?
True
Does 16 divide 4*(-39)/(-2) - 3?
False
Let r(l) = 2*l**2 + 5*l. Let n(d) = d**2 + 2*d. Let c(x) = 7*n(x) - 3*r(x). Is c(4) a multiple of 9?
False
Suppose -4*g = g - 10. Suppose 17 = g*d - 1. Is 7 a factor of d?
False
Let c(v) = v**2 + 3*v + 24. Is