 = 4*v, -3*v - 5*i + 1284 = 0. Is 23 a factor of v?
False
Suppose 5*p = 3*p + 8. Let a(j) = 20*j**2 + j - 2. Let k be a(2). Suppose p*n = k - 12. Is n a multiple of 4?
False
Does 84 divide 25/(150/216)*26?
False
Let b = 1211 + -555. Is 25 a factor of b?
False
Let u = 4 - -1. Suppose 3*d + 3 = -2*m, -d = -u*d - 5*m - 11. Let b(a) = 59*a**2 + 2*a - 2. Is b(d) a multiple of 26?
False
Let h(d) = -d**3 - 9*d**2 + 11*d + 14. Let o be h(-10). Let t = -54 - -54. Suppose t = -o*r - r + 125. Does 8 divide r?
False
Let d(t) = 969*t - 116. Is 17 a factor of d(2)?
False
Let b be 7 + 6 + 8/(-2). Suppose -c = -92 - b. Is c a multiple of 9?
False
Suppose -812 = -5*k - 4*d, 3*d = 5*k - 0*k - 826. Let q = k - 4. Is 15 a factor of q?
False
Suppose -20*w - 15 - 65 = 0. Let v(h) = 6*h**2 + 2*h - 9. Let t(r) = -13*r**2 - 4*r + 19. Let d(a) = 3*t(a) + 7*v(a). Does 21 divide d(w)?
False
Let v = 50 + -27. Suppose 4*s = 3*d - 42 - v, -2*d = 3*s - 15. Does 15 divide d?
True
Suppose 115 - 350 = 5*y. Let m = -22 - y. Is 7 a factor of m?
False
Let p(d) be the second derivative of -d**3/3 + 2*d**2 - 5*d. Let z be p(-4). Suppose 0 = f - 47 - z. Does 15 divide f?
False
Let y(k) = -13*k**2 - 3*k - 6*k**3 + k**3 + 5*k + 7*k**3 - 13. Does 10 divide y(7)?
True
Suppose 3*n - 5*j + 0 = 275, -2*n = 5*j - 175. Is 10 a factor of n?
True
Let s(d) = d**2 - 3*d + 11. Let f = 141 - 134. Is s(f) a multiple of 13?
True
Suppose 5*j - 116 = 174. Let v = j + -37. Is 3 a factor of v?
True
Let z be 72/(-27)*(-3)/2. Let j = z - 0. Suppose 5*u = r - 11, -5*u + 52 = j*r - 2*r. Is r a multiple of 7?
True
Let h(q) = -2*q + 8. Let k(x) = 5*x - 15. Let z(b) = -5*h(b) - 3*k(b). Let m be z(4). Let r = m + 74. Is r a multiple of 17?
False
Let r = 356 - 101. Let c = -147 + r. Does 12 divide c?
True
Let p = -449 + 469. Does 4 divide p?
True
Let v(q) = -q**2 + 5*q + 6. Let u be v(11). Does 3 divide u/18*9/(-6)?
False
Is 23 a factor of -146*(-14)/3 + (-324)/(-486)?
False
Let b(y) = -y**2 + y + 3. Let n be b(3). Let c = -18 + n. Let x = -12 - c. Is x a multiple of 6?
False
Suppose -2*u - 1444 = -4*u. Suppose 5*c + u + 133 = 0. Does 19 divide 24/2*c/(-36)?
True
Suppose 5*p + 2*t = -10, 6*p - 5*p - 3*t - 15 = 0. Suppose 4*d = -4*u + 140, -4*d = u - p*d - 32. Is u a multiple of 15?
False
Let s be (-6)/(-27) + (-3 - (-249)/(-27)). Does 16 divide 4*19 - s/12?
False
Let h = 6564 - 2704. Is 53 a factor of h?
False
Let n(j) = -j + 1. Let l be n(-4). Suppose l = 4*k - 7. Does 27 divide 200/2 - (6 - k)?
False
Let k = -44 - -44. Suppose -2*w + 3*m + 207 = k, -2*w + 5*m - 59 = -260. Is w a multiple of 17?
False
Let j(p) be the first derivative of 2*p**4 + p**3 + p**2/2 - 3*p + 6. Is j(2) a multiple of 15?
True
Let j = -5200 + 8036. Let z be 4/(-12) - j/(-12). Let s = z - 136. Does 25 divide s?
True
Let o(r) = -10*r**2 + 4*r + 7. Let g(y) = -9*y**2 + 3*y + 8. Let t(i) = -5*g(i) + 4*o(i). Is 18 a factor of t(-5)?
True
Let h(u) = -u**2 + 3*u + 7. Let t be ((-2)/4*0)/1. Is 2 a factor of h(t)?
False
Suppose 5*y - q - q - 7930 = 0, 3*y - q = 4757. Is y a multiple of 16?
True
Suppose 3*v - v - 4*s = 3100, 0 = s - 5. Does 115 divide v?
False
Let m(v) = 35*v**2 + v. Let c be m(1). Suppose -26*d + 25*d + 19 = -3*w, 5*w = -25. Suppose -l + d*l = c. Is l a multiple of 4?
True
Let d = 152 + -96. Is 18 a factor of (-4)/7 + 1824/d?
False
Let u = 579 - 318. Suppose -6*k + 3 + u = 0. Is 22 a factor of k?
True
Suppose -2*j = 5*t - 63, 1 - 14 = -2*j + 5*t. Suppose 0 = -j*z + 25*z - 234. Is 3 a factor of z?
True
Let z(m) = -m**2 + 18*m - 29. Suppose 4 = k - 11. Does 8 divide z(k)?
True
Let f(c) = -14*c + 3. Let h be f(0). Let q(d) be the first derivative of d**4/4 + d**3/3 - d**2 + d - 1. Is q(h) a multiple of 11?
False
Suppose 22*o - 26*o - 56 = 0. Let t = o - -41. Is 17 a factor of t?
False
Let o be (1/(-2))/(-2*1/44). Let q(b) = 4*b + 10. Does 18 divide q(o)?
True
Suppose -5*w + 98 + 102 = 0. Suppose -j + 2 = -2*j + 2*a, 12 = -2*j - 4*a. Let o = w + j. Does 18 divide o?
True
Suppose 0 = -14*r + 569 + 579. Suppose -4*a = 3*m - m - 18, 3*m = 5*a + r. Is 4 a factor of m?
False
Let a be 3 - (247 - 0/(-3)). Let w = 428 + a. Suppose 3*l + 2*r - w = 0, 3*l + 2*l + r - 309 = 0. Is l a multiple of 22?
False
Suppose -8*k + 4*k = -504. Is k a multiple of 9?
True
Let i(a) = -5 - 71*a + 76*a - 3. Is 8 a factor of i(5)?
False
Let q(f) = f**2 + 2*f + 1. Let b be q(3). Is 48 a factor of (3 + -75)/((-6)/b)?
True
Let a = -212 - -292. Does 31 divide a?
False
Let z = 35 + -46. Is 14 a factor of (0 + 67)*(z + 12)?
False
Suppose 1643 = 7*w + 173. Suppose -w = 7*m - 17*m. Is 3 a factor of m?
True
Is (-2)/5 - (-146157)/55 a multiple of 9?
False
Suppose 4*w - a = 513, -5*w - 5*a + 982 - 322 = 0. Suppose 2*h = 2*s - w + 29, 5*s = h + 258. Does 19 divide s?
False
Let a = -14 + 24. Let p(o) = o - 7. Let c be p(a). Is 2/((-30)/(-9) - c) even?
True
Let v(w) = -1. Let n(t) = -t + 5. Let z(c) = c - 4. Let u(y) = -6*n(y) - 7*z(y). Let b(l) = -4*u(l) + 4*v(l). Is 12 a factor of b(11)?
True
Let t(m) = m**3 + 5*m**2 - 3*m - 7. Suppose -4*j - 2*u = 10, -10 = -j - 0*j - 3*u. Is t(j) a multiple of 4?
True
Suppose -2*l - l = -1107. Does 41 divide l?
True
Let h = -212 + 300. Let q be h/33 - 2/3. Suppose -r - q*v + 30 = -33, 5*v = 2*r - 99. Is r a multiple of 19?
True
Suppose 5*v = -q + 682, -4*q + 11 = 3. Does 4 divide v?
True
Let b be 4/(-2)*18/(-4). Suppose -5*y + 3*g = -1285, -4*y + b*g + 1050 = 11*g. Is 33 a factor of y?
False
Let c = -3 + 6. Let k = 858 - 843. Is 18 a factor of c/k - (-474)/5?
False
Suppose -t + 100 = -5*t. Let g = 34 + t. Is g a multiple of 2?
False
Let w(d) = 2*d + 4. Let k(a) = -15*a - 44. Let q(z) = -4*k(z) - 44*w(z). Let r be 0 + 0/(-1) + -1. Is q(r) a multiple of 19?
False
Let c(h) = 9*h**3 + 2*h**2 - h. Let j be c(2). Is ((-2)/(-2))/(2/j) a multiple of 3?
True
Let b(j) = 23*j**2 - 2*j - 3. Let t be b(3). Suppose t = 12*l - 90. Is 3 a factor of l?
True
Let g(t) = 2*t**3 + 3*t**2 + 4*t - 3. Let p be g(-4). Let w = -47 - p. Suppose 202 = 3*u + w. Does 20 divide u?
False
Suppose -23 + 8 = -3*f. Suppose -4*v = 4*g - 4 - 20, f*g + v = 30. Is 528/9 - 4/g a multiple of 23?
False
Suppose -3*l + 175 = 5*z - 0*l, 0 = -4*z + 4*l + 172. Is 6 a factor of z?
False
Suppose 9*a - 189 = 162. Does 3 divide a?
True
Let f(h) = -15*h - 33. Let b be f(8). Is 14 a factor of (0 + -1)/((-3)/3) - b?
True
Suppose -46*p = -63*p + 11322. Is p a multiple of 18?
True
Let q(z) = -4*z + 24. Suppose 0 = -3*r - 5*m + m - 34, 4*r - 4*m + 36 = 0. Is q(r) a multiple of 32?
True
Let c be (6 + -2)/4 - -98. Let i = c + -45. Does 18 divide i?
True
Suppose 9 = -29*c + 96. Let f be ((-8)/6)/((-3)/540). Suppose -c*r + f = r. Is r a multiple of 30?
True
Let l(u) = -2*u + 32. Let n be l(12). Suppose q + 756 = n*q. Is 11 a factor of q?
False
Suppose 0*o = 5*o - 75. Suppose b + 5*t = -0*b + o, 5*b = 4*t - 12. Is 10 a factor of 1 + 2 + 35 + b?
False
Let v = -98 + 455. Let k = v - 28. Is k a multiple of 23?
False
Let i = -1025 + 1985. Does 10 divide i?
True
Suppose -9*h = 66 - 336. Is h a multiple of 3?
True
Let g(r) = -351*r + 48. Is 21 a factor of g(-1)?
True
Suppose 5*k + 1012 = 4*f + 9*k, -2*f = -5*k - 478. Does 16 divide f?
False
Let h(y) = y**3 - 25*y**2 - 53*y - 28. Is 15 a factor of h(28)?
True
Let x be 6 - (2 - (-2 + 1)). Let i(q) = -2*q**3 + 6*q**2 - 3*q + 11. Let y(m) = -m**3 + 3*m**2 - m + 6. Let c(z) = -3*i(z) + 5*y(z). Is c(x) a multiple of 9?
True
Let w(s) = 2*s**2 + 31*s - 43. Does 15 divide w(-19)?
True
Suppose -625 + 4046 = 11*h. Is h a multiple of 13?
False
Let w be 6/((-1)/44*-3). Suppose -4*a - w = -32. Let r = a - -19. Is 5 a factor of r?
True
Let t = 8 + 343. Is 36 a factor of t?
False
Let y be (-26 - -38)/(6/4). Suppose 0 = y*x - 48 - 176. Does 28 divide x?
True
Is 3 a factor of (26/(-4) - -7)/(2/576)?
True
Let m = 10452 - 6001. Is 123 a factor of m?
False
Suppose -3*z + 4 = -5*z. Is 7 a factor of z/(-7) - -2*2493/42?
True
Is 136 a factor of (-8)/14*-7 - (3 - 4815)?
False
Suppose 5*a + 7 = -3, -4*w + 4*a = -80. Suppose -3*s = -87 + w. Is s a multiple of 8?
False
Let k(r) be the second derivative of 34*r**3/3 - 55*r**2/2 + 14*r + 1. Is 14 a factor of k(6)?
False
Is 28 a factor of 4/(-22) - 2158/(-11)?
True
Let f = 57 - 25. Let g = 25 + f. Does 19 divide g?
True
Suppose 0 = 