 + 14*u + 3732 = 3*k. Is 12 a factor of k?
True
Is 11 a factor of (-14)/6 + (-120054)/(-198)?
False
Suppose t + 2*z - 651 = 5*z, 2*t - 1258 = -5*z. Is t a multiple of 66?
False
Let t(l) be the third derivative of -l**6/24 - l**5/30 - l**4/24 - l**3 - l**2. Suppose -4*u = 4*x - 4, -35*u + 34*u - 2 = 2*x. Is t(x) a multiple of 38?
True
Let j(y) = 11*y**2 - 58*y - 205. Is 85 a factor of j(-17)?
False
Suppose -2*w - 5*w + 364 = 0. Let g = -7 + 12. Suppose -f - 5*u = 2*f - w, 0 = -5*f + g*u + 100. Is f a multiple of 6?
False
Does 30 divide 472/2 - (-72)/18?
True
Let p be (0/(16/4))/(-1). Suppose p*a - 6 = a + 2*l, 0 = -a - 3*l - 11. Suppose -5*o + 202 = -a*s, 0*o = -2*o - 3*s + 67. Is 22 a factor of o?
False
Suppose m = -3*f + 1413, m - 6*m + 2345 = 5*f. Is f a multiple of 8?
True
Let s = -2535 + 4544. Is 49 a factor of s?
True
Suppose 5*f + u = -40, -3*u + 32 = -4*f - u. Let k(n) = -n - 4*n - 20 + 0*n. Does 5 divide k(f)?
True
Suppose 10 = 2*f + 2. Suppose 3*y + 10 = f*h - 5, -25 = -3*h + 5*y. Suppose -4*x + 76 = -h*x. Is x a multiple of 13?
False
Let o(b) = 23*b - 26. Let c be o(-12). Is 10 a factor of c/(-4) - 6/(-12)?
False
Let n(p) = -3*p**3 - 7*p**2 + 10*p + 1. Does 5 divide n(-5)?
False
Suppose -37*r = -46*r + 2430. Is 30 a factor of r?
True
Let h = 34 - 9. Let z(x) = -x**3 + 25*x**2 + 5*x + 2. Is 23 a factor of z(h)?
False
Suppose 0 = -891*x + 892*x - 174. Is x a multiple of 22?
False
Let j be (3 - 0/6) + (-3)/1. Suppose u = 5*a - 500, j = a - 2*a - 3*u + 100. Is a a multiple of 25?
True
Suppose -c + 107 = -42. Does 18 divide c?
False
Suppose 3*y - 6 + 0 = 0. Suppose 0 = -3*o - y*o + 135. Does 4 divide o?
False
Let r = 16 - 14. Suppose 4*l + 4*h = l + 633, -5*h = -r*l + 399. Suppose 3*m - l = 3*b, 3*m - b = -m + 282. Is 18 a factor of m?
False
Let c be ((-50)/15)/(2/6). Let o = c - -8. Does 15 divide 3/o*160/(-5)?
False
Let n be (-2)/6*(-54)/(-1 + 4). Is 6 + (-3985)/(-30) - (-1)/n a multiple of 22?
False
Let l be (-580)/3 + (-16)/(-12). Let h = 538 + l. Suppose -5*p - 4*b = -h, 5*p - 3*b - 314 = b. Is p a multiple of 33?
True
Let w = 30 + 49. Suppose 0*b = -3*b - 4*g + 43, g = -4*b + w. Is b a multiple of 7?
True
Suppose -2 - 18 = -5*o, -3*o + 4 = -2*s. Let r = 84 - 52. Suppose -2*p - 8 = -s*p, p = -a + r. Is a a multiple of 11?
False
Suppose 2*b + 2*l - 6 = 0, -b = -6*b + 5*l + 15. Suppose t - 1 = 0, -b*m + 4*t = 5*t - 73. Is m a multiple of 8?
True
Let p = -126 + 132. Is (-1 - 20)/(3/p - 1) a multiple of 6?
True
Let m = 2349 + -1884. Is 15 a factor of m?
True
Suppose 0 = -5*t + 7743 + 4757. Is t a multiple of 28?
False
Suppose -184 = -10*u - 2064. Does 50 divide (-1 - u/20)*35?
False
Let h(o) = -o**2 - 6*o + 2. Let k be h(-6). Suppose 3*v = k*v + 5. Suppose 77 = m + 5*s, 3*m + v*s = 4*s + 175. Is 20 a factor of m?
False
Suppose 5*w - 6*w + 13704 = 4*y, 6852 = 2*y + 2*w. Does 12 divide y?
False
Suppose -42 = -5*u - o + 9, -26 = -3*u + 4*o. Let d = u + -7. Suppose -5*b - m + 128 = 0, 3*m = 4*m - d. Is b a multiple of 7?
False
Let x(j) = -2*j + 13. Let o be x(14). Let z be (4 - 1 - 3) + o. Let n(g) = -g**2 - 17*g - 16. Is 9 a factor of n(z)?
False
Suppose -134 = m - 0*m. Let h = -76 - m. Suppose 0 = 2*v - 2*i - h, -3*v + 0*i = 3*i - 63. Does 13 divide v?
False
Let s be 8/20 - 2/5. Suppose s*m - m = -45. Is 15 a factor of m?
True
Let x = -2004 - -3595. Does 75 divide x?
False
Is (-767)/(-3) - (66/9)/11 a multiple of 6?
False
Suppose -3*w = 3*y - 249, -5*y + 0*w = -4*w - 388. Suppose -2*n - 2*n = y. Does 12 divide (144/(-60))/(1/n)?
True
Suppose 0 = 5*w - 3*w + 4*v + 16, 5*w = 2*v - 40. Let r(t) = -t**3 - 9*t**2 - 7*t + 11. Let y be r(w). Suppose 0*l = -y*l + 66. Is l a multiple of 11?
True
Suppose -753*y = -752*y - 480. Is 3 a factor of y?
True
Let c(g) = 11*g**2 - 8*g - 16. Let t(v) = 10*v**2 - 7*v - 16. Let z(r) = -5*c(r) + 6*t(r). Does 4 divide z(4)?
True
Let f(d) = 303*d**3 - 2*d**2 - d - 2. Does 24 divide f(2)?
False
Let w(v) = 3*v - 12. Let m be 6/8 - 68/(-16). Let n be w(m). Suppose x - 192 = -n*x. Does 16 divide x?
True
Suppose -9360 = -47*d + 32*d. Does 16 divide d?
True
Let b be (3 - 45)/2 + 2. Let u = 3 - b. Let l = 4 + u. Is 26 a factor of l?
True
Let s = 1 + 4. Suppose 2*h + 3*k - 93 = 0, 3*k + 112 + s = 3*h. Is h a multiple of 6?
True
Let h = 1422 + -1015. Is h a multiple of 9?
False
Suppose -2*v + 5*d = -33, 2*d - 6*d = v - 23. Let j = -24 + v. Let w = 61 - j. Does 22 divide w?
True
Let i = 336 - 297. Does 3 divide i?
True
Let w = -30 + 41. Suppose -34 - w = -y. Suppose y = 3*x - 60. Is x a multiple of 5?
True
Let k(s) = -s + 2. Let w be k(-1). Suppose -9 = -3*q, -q + 237 = w*c - 2*q. Is c a multiple of 41?
False
Suppose 0 = 23*y - 24117 - 21975. Is y a multiple of 39?
False
Let q be ((-50)/(-15))/(-5)*(2 + 61). Let l = -26 - q. Does 16 divide l?
True
Let s(l) = 10*l - 129. Does 18 divide s(17)?
False
Let y = -17 - -17. Suppose y = q - 5*x - 38, -x = 2*q + 3*x - 62. Is 11 a factor of q?
True
Let b = 71 - 66. Suppose 4*k + 5*c = -0*k + 711, b*c - 189 = -k. Does 29 divide k?
True
Let n = 78 + -74. Suppose -n*a = -3*a - 13. Is 13 a factor of a?
True
Let u = -258 + 564. Is 9 a factor of u?
True
Suppose -j - 3*w + 3 = 14, 2*w + 44 = -4*j. Let p be -27*(2 + j/3). Suppose 5*a + 4*k - p = 5*k, 2*k = 0. Does 9 divide a?
True
Let d(j) = -205*j + 23. Does 19 divide d(-1)?
True
Let r(c) = -c**3 - 8*c**2 - 11*c - 19. Let t be r(-7). Suppose 6*h = t*h - 204. Is h a multiple of 17?
True
Suppose 72*d - 101964 = -39756. Is d a multiple of 4?
True
Let t(f) = 310*f**3 - f. Let i be t(1). Let w be (16/(-24))/((-2)/i). Let s = w + -73. Is 18 a factor of s?
False
Is 17 a factor of (-2 - 49)/(7/(-77))?
True
Let p = -647 - -1116. Is p a multiple of 67?
True
Suppose -4*v - 2 = -5*h, 4*h = -3*v - 0*v + 14. Let p be (-179)/(-3) + 1/3. Suppose h*b + 5*r = p + 6, 2*r = 4. Is b a multiple of 16?
False
Suppose 53 - 13 = 2*f. Suppose 0 = 4*q - 2*k + f, -2*q - 2*k - 15 = q. Let h(u) = u**2 + 3*u - 1. Is 2 a factor of h(q)?
False
Does 19 divide (-1 - -1069) + (-285)/57?
False
Let o = 26 - 31. Let m = -1 - o. Suppose -5*s + 130 = -0*h - 2*h, m*s - 86 = -2*h. Does 4 divide s?
True
Is 17 a factor of (11 + 219)/((-14)/(-49))?
False
Suppose 0 = 2*a - 4*y - 78, -3*a - y + 6*y = -121. Does 2 divide a/4 + 16/64?
True
Let g be 2*5/((-10)/(-4)). Suppose -28 = -3*o + 3*s + 59, 5*o - 4*s - 140 = 0. Suppose o = g*l - l. Is l a multiple of 4?
True
Let x(l) = l**2 - l - 2. Let i be x(-2). Suppose -4*f - i*a = -8*a - 1324, 0 = -3*a - 3. Suppose f = -2*w + 7*w. Does 22 divide w?
True
Suppose 0 = -q + 2*x + 3240, 16*q + 4*x - 12912 = 12*q. Is 32 a factor of q?
True
Suppose -5*w + 2492 = -8388. Does 68 divide w?
True
Suppose -37 = -11*h + 51. Does 8 divide h?
True
Suppose 5*n - 6 + 1 = 5*m, 4*n - 5*m + 1 = 0. Let q be (3 - n)/(-1 + 2). Is 6/q*(-27)/6 a multiple of 5?
False
Suppose 4*j - 5*h = 236, 0 = j - 0*j - h - 60. Let u = j - -74. Is 46 a factor of u?
True
Suppose -2*u = -10, u - 245 = 3*m - 3*u. Let y = 119 + m. Is 11 a factor of y?
True
Let y(c) = -6*c - 2 - 6*c**2 - c**3 + 2*c**3 + 3*c**2. Suppose -2*v - 30 = -4*v - 5*j, -5*j = -20. Is 6 a factor of y(v)?
True
Let v be ((-265)/(-10))/(2/4). Let n = -72 - -48. Let w = n + v. Is w a multiple of 9?
False
Let v = 239 - 204. Suppose 3*g = -2*c - 5, -2*c + 3*g + 1 = 24. Let b = v + c. Is 4 a factor of b?
True
Let h(u) = 5*u**3 + 2*u**2 - 5*u - 6. Let i(s) = 11*s**3 + 3*s**2 - 9*s - 13. Let t(a) = 9*h(a) - 4*i(a). Is t(-6) a multiple of 13?
True
Suppose -9*v + 18643 - 5683 = 0. Is 18 a factor of v?
True
Suppose 0 = -4*m - 514 - 1262. Is 2/(-6) + m*28/(-63) a multiple of 29?
False
Let z(w) = 8*w**2 + 2*w + 2. Suppose -3*u + 26 = -4*b - 24, -6 = -u + 4*b. Let v = u + -24. Is 15 a factor of z(v)?
True
Let p = 73 - -243. Does 17 divide p?
False
Let n(r) = -96*r - 50. Does 61 divide n(-7)?
False
Suppose -3*u - 5*s + 7 = -5*u, -u - 11 = -5*s. Suppose -u*q - 70 = -9*q. Does 3 divide q?
False
Suppose 4*l + 0*l + 4*i - 612 = 0, 5*l - 768 = -2*i. Does 7 divide l?
True
Let o be (-1)/(-5)*-2*-10. Suppose 504 = 5*a - d - 200, -o*a - 3*d + 548 = 0. Is 28 a factor of a?
True
Does 5 divide (3 + -1)/((42/264)/7)?
False
Let c = 38 - 29. Suppose c*y - 97 = 884. Is y a multiple of 21?
False
Let t(f) = f**3. Let v(u) = 3*u**3 - 6*u**2 - 6*u + 2