1 divide n?
False
Let d(t) = -t**3 - 5*t**2 - 5*t + 4. Suppose 0 = 3*l - 4*b - 12, 4*b - b - 16 = -4*l. Suppose 6*u + 24 = -l*p + 4*u, 3*p - 2*u + 4 = 0. Is 7 a factor of d(p)?
False
Does 8 divide ((-4)/(-3))/(24/2358)?
False
Suppose 0 = 3*r - 5*t - 38, 0*t = -5*r - 4*t + 14. Let m(d) = 2*d**2 - 2*d - 3. Is 19 a factor of m(r)?
True
Let r be 323/4 + (-2)/(-8). Suppose 6*m = m - 15, -3*d = -2*m - r. Is d a multiple of 10?
False
Suppose 5*u - 5*w + 16 = 1, u + 5*w - 21 = 0. Is 5 a factor of u/(2/10*1)?
True
Let l = 1 - -1. Suppose -25 = -l*t + 9. Does 17 divide t?
True
Let i(f) = 10*f**2 - 2*f - 1. Let z be i(-1). Let m = z - -13. Is m a multiple of 7?
False
Let l = -62 + 88. Is 12 a factor of l?
False
Let l(u) = -u**3 - 4*u**2 + 6*u + 4. Let w = 16 + -22. Is l(w) a multiple of 20?
True
Is 20 a factor of 6/10 + 8 + 654/10?
False
Let p(m) = m**3 - 3*m**2 - 4*m + 2. Suppose -1 = 5*t - 21. Let u be p(t). Is (u + (-26)/(-4))*2 a multiple of 8?
False
Let h(t) = 0*t**2 - 5*t - 2 + 6*t + 1 + 2*t**2. Is 9 a factor of h(-4)?
True
Let o(h) = 2*h. Let y be o(7). Let j = y - -16. Does 15 divide j?
True
Suppose -j + 1 = -q, -4*q + 0*q = -12. Let p = -59 - -71. Does 2 divide ((-9)/p + 2)*j?
False
Suppose -2*s = s - 63. Suppose 0*o + 3 = 2*o + b, 0 = 5*o + 3*b - 9. Suppose o = q - 2*q + s. Does 12 divide q?
False
Suppose -5*k + 4 = -201. Let s = k + -17. Suppose 3*w = -0*w + s. Is 8 a factor of w?
True
Suppose -3*g = -0*g - 21. Let o = g + -4. Is o/9 + (-14)/(-3) a multiple of 5?
True
Let h = 41 - 23. Suppose -3*k - 3 = -h. Let q = k - -1. Is 3 a factor of q?
True
Suppose 0 = -5*f - 20, 0 = -y - 4*y + 3*f + 22. Let b(k) = k + 0*k - 2*k**2 + y*k**3 - 2*k - 3*k**3. Is 18 a factor of b(-4)?
True
Let s(h) be the third derivative of h**5/60 - 5*h**4/24 + h**3/2 + h**2. Is 4 a factor of s(6)?
False
Suppose -4*i - i = -200. Is 10 a factor of (-2 - (-5)/2)*i?
True
Suppose -5*y - 7*l + 2*l + 855 = 0, -4*l - 336 = -2*y. Suppose -5*v = -v. Suppose g - 60 = -w, -3*g - w + v*w + y = 0. Is 21 a factor of g?
False
Let j = 447 + -226. Is 17 a factor of j?
True
Does 14 divide 13/((-39)/(-90)) + -2?
True
Let l be 18/(-1)*3/2. Let v be l/12 - 2/(-8). Is -4*v/(24/9) a multiple of 2?
False
Suppose -4*p + 15 = j, 3*p - 7*p + 5*j = 3. Suppose -p*w + 7*w = 100. Is 17 a factor of w?
False
Let g(j) = -15*j + 5. Let x be g(-4). Suppose x = m + 4*m. Does 5 divide m?
False
Is 5 a factor of 13 - 12/4 - 3?
False
Let u(q) = q**3 + q**2 + q + 4. Suppose 2*z - 1 = 3. Suppose -5*c = d - z, -6 = -5*c + 2*c - 3*d. Does 4 divide u(c)?
True
Let h = -221 + 322. Is 17 a factor of h?
False
Suppose -4*s - s - 2*n = -69, 2*s - 4*n = 18. Let j = 36 - s. Is 23 a factor of j?
True
Let a(s) = 4 - 2*s - 3 + 2. Let t be a(2). Let i = t + 4. Is 3 a factor of i?
True
Let g(y) = -y + 17. Suppose 9 = 2*p + 5*q, -2*p - q + 20 = p. Does 6 divide g(p)?
False
Is 7 a factor of (-3)/((-12)/100) + -4?
True
Suppose h = y - 2*h + 14, -4 = -h. Let t = 67 - 41. Is 11 a factor of -1*t/y*1?
False
Suppose 0 = -0*u + 6*u - 258. Does 4 divide u?
False
Let p(l) = l**2 + 7*l - 1. Let k be p(-7). Let m(v) = -77*v - 1. Let h be m(k). Suppose 4*j + 6*g = 2*g + h, 5*j + 3*g - 95 = 0. Is j a multiple of 11?
False
Let n(g) = -g**2 - 2*g + 4. Let q be n(-8). Let x = 63 + q. Does 7 divide x?
False
Suppose x = 4*q - 303, 5*x - 5 = -0*x. Is q a multiple of 19?
True
Suppose 2*r - 18 = 2*d, r - 5 + 2 = -d. Suppose -12 = -2*f - 0. Is f/((-2)/r + 1) a multiple of 9?
True
Suppose 2*d = -5*j + 234, -4*j - 25 = 2*d - 211. Does 8 divide j?
True
Suppose -171 - 109 = -5*b. Is b a multiple of 28?
True
Let b = -6 - -8. Let k be ((-23)/b)/(1/2). Let u = 32 + k. Is u a multiple of 4?
False
Let r = 6 + -2. Suppose r*k - 22 = 46. Is k a multiple of 13?
False
Is 1 + 14 - (2 + -2) a multiple of 15?
True
Suppose -w + 126 = -o - 0*o, 0 = -2*w - o + 252. Is 22 a factor of w?
False
Suppose -4*l = 3*l - 42. Is l a multiple of 3?
True
Let c be -1 - (2 + -11 + 0). Let y(l) = l - 3. Let w be y(c). Suppose -9 = -w*r - 4*p + 99, 0 = -r - p + 22. Is 10 a factor of r?
True
Suppose -x = 5*p - 28, x - 4*x - 4*p + 51 = 0. Does 6 divide (-4)/26 + 93/x?
False
Let y(b) be the third derivative of b**6/120 - b**5/10 + 7*b**4/24 + 7*b**3/6 + 5*b**2. Is 9 a factor of y(6)?
False
Let g = -63 + 104. Is g a multiple of 12?
False
Suppose 2*b = g + 17, g = b + 6*g - 3. Is b a multiple of 8?
True
Suppose -w = 3*w - 2*n - 20, -w + 4*n - 2 = 0. Suppose -3*a - 69 = -w*a. Is 19 a factor of a?
False
Let o(m) = 7*m**3 + m**2 + m - 4. Let q be o(3). Suppose -37 + q = 4*t. Does 19 divide t?
False
Let f be 2 - (1 + -1)/(-2). Suppose 0 = f*t - 3*t + 2. Suppose -3*v - t*b - 5 = -25, -b - 55 = -5*v. Is v a multiple of 10?
True
Is 3 a factor of 94/10 + (-8)/20?
True
Let u(c) = -3*c - 1. Let x be u(-1). Let h = x - 4. Is 1 - (3/(-3) + h) even?
True
Let a be 3/9 - 56/6. Let n be (-1)/(-3*3/a). Is 10 a factor of n - -23 - (1 + 1)?
True
Let t(g) = g**2 + 66. Is 22 a factor of t(0)?
True
Let p(m) = -2*m**2 + m + 1. Let h be p(-1). Is 5 a factor of (-1)/(-2) + (-35)/h?
False
Suppose -5*c = -5*t + 145, 0*c = -3*t - 2*c + 77. Suppose -t - 36 = -3*q. Is 21 a factor of q?
True
Let l(u) = u**2 + 3*u + 2. Let o be l(-3). Let y(h) = 7*h**3 - 4*h + 3. Is y(o) a multiple of 17?
True
Let c(j) = 5*j - 4. Let n be c(6). Suppose -3*z - 35 = 2*z. Does 10 divide (n/(-7) - -2)*z?
False
Let g = 22 - 17. Suppose 4*u + g = 109. Is u a multiple of 15?
False
Let b = 72 - -21. Is 31 a factor of b?
True
Let d = -28 + 80. Is d a multiple of 13?
True
Let m(n) = n**2 - 6*n + 3. Let d be m(6). Suppose -3*y + 12 = -0*y. Suppose d = r - y. Does 4 divide r?
False
Suppose s = -m + 14, 0*m + 3*s = m + 6. Let p(u) = -u**3 + 9*u**2 + 4*u + 1. Is 9 a factor of p(m)?
False
Suppose 5*x + 4*u = 10, 4*x - 5*u = 5*x - 2. Let m be (-1)/((-26)/14 + x). Let r(y) = y + 13. Is r(m) a multiple of 2?
True
Let f(t) = -5*t - 6. Let a = 18 - 12. Let n be f(a). Is 9 a factor of n*((-9)/(-6) + -2)?
True
Let n(i) = -i**2 + 7*i + 2. Let w be n(8). Let c(z) = 4*z + 14. Let l(k) = 2*k + 7. Let q(a) = w*c(a) + 13*l(a). Is 12 a factor of q(6)?
False
Let f(b) = b**3 + b**2 - 4*b - 2. Let h be f(-3). Is 12 a factor of ((-90)/h)/((-2)/(-8))?
False
Suppose 13 = -m + 60. Does 9 divide m?
False
Suppose 5*s - 22 = 38. Is 7 a factor of s?
False
Let p be -5 + (3 - (4 - -1)). Let h(m) = m**3 + 8*m**2 + 2*m - 8. Does 27 divide h(p)?
True
Let k = 33 + 15. Does 16 divide k?
True
Let f be (-251)/4 - (-2)/(-8). Let o = f - -114. Does 17 divide o?
True
Let c = -244 + 359. Is c a multiple of 27?
False
Suppose -3*u = -7 - 17. Let g(t) = t**2 - 6*t - 8. Is 4 a factor of g(u)?
True
Let f(t) = t - 8. Let g be f(6). Does 14 divide 24 - (-5 + (g - -4))?
False
Let l(q) = -9*q**2 - q. Let o be l(-1). Let c be 2 + 0 - o/(-4). Suppose i + i - 26 = c. Is 11 a factor of i?
False
Let z(q) = q**3 + 3 + 16*q**2 - 7*q**2 + 0*q**3 + 9. Does 7 divide z(-9)?
False
Let t = 7 - 4. Suppose 3*o = 4*k + 64, 155 = -t*o + 8*o + 3*k. Does 8 divide o?
False
Let b be 68/20 - 2/5. Let l(h) = 2*h + h + 0*h + 3. Is 6 a factor of l(b)?
True
Let j = -28 - -39. Suppose -v = h - 27, 5*h - j = -3*v + 122. Is 13 a factor of h?
True
Suppose 0 = 2*h + 2*i - i - 20, -4*h + 5*i = -26. Does 9 divide h?
True
Suppose -2*z = 4, -2*z = -l + z + 29. Suppose -7 = -q - 2, i - 3*q - l = 0. Is 19 a factor of i?
True
Let b(h) = h**2 + 12*h + 2. Let i(f) = -3*f**2 - 36*f - 6. Let c(x) = 8*b(x) + 3*i(x). Suppose -1 + 31 = -3*s. Is c(s) a multiple of 13?
False
Let k be (1*-1)/(7/14). Does 14 divide k/(-8) + 1029/28?
False
Suppose -4*d = -d. Suppose -5*q = -d*q - 95. Is 19 a factor of q?
True
Suppose -2*b + 4*b = -14. Let d(y) = y**2 + 1. Let c(m) = -3*m**2 - 9*m - 10. Let p(t) = c(t) + 2*d(t). Is 6 a factor of p(b)?
True
Let k = 162 - 8. Does 11 divide k?
True
Suppose 4*g - 76 = -0*g. Does 5 divide g?
False
Let n(r) = -r**2 + 24*r - 17. Let f(l) = 8*l - 6. Let p(a) = 8*f(a) - 3*n(a). Is 19 a factor of p(5)?
True
Is (65 - 6 - 2/(-1)) + 0 even?
False
Suppose -6*u = -u - 10. Let z(x) = 5*x**3 - 2*x**2 + 2*x + 2. Let r(q) = 14*q**3 - 5*q**2 + 5*q + 5. Let g(d) = 4*r(d) - 11*z(d). Is g(u) a multiple of 10?
True
Suppose -2*z + 63 = -5*z. Suppose 5*c - 5*b - 129 = 46, -5*c - 4*b = -175. Let g = z + c. Does 8 divide g?
False
Suppose l 