181. Is v(37) a multiple of 55?
False
Let m(x) = 9*x**2 + 2*x + 8*x + 6*x - 5 - 18*x. Suppose 10*h = 3*h + 28. Is m(h) a multiple of 20?
False
Let q(h) = h**3 - 17*h**2 + 76. Suppose 0 = -3*s - 7*m + 11*m + 63, 5*s + 4*m - 73 = 0. Does 5 divide q(s)?
False
Suppose 21239 + 64609 = 4*a + 4*s, a = -5*s + 21478. Is a a multiple of 36?
False
Let d be ((-96)/18)/((-20)/(-3330)). Let t = d - -1265. Does 30 divide t?
False
Suppose 0 = -10924*t + 10910*t + 9884. Does 41 divide t?
False
Let v(n) = 2263*n**2 + 240*n + 27. Is v(3) a multiple of 46?
True
Suppose 3*j - 1197 = 879. Let v = j + -439. Is v/33*30/2 a multiple of 23?
True
Does 39 divide 131766/12*(-11 - (0 - 13))?
False
Let d = -2476 + 3578. Suppose 1456 + d = 3*q + 2*p, -4*p + 1716 = 2*q. Does 25 divide q?
True
Suppose 0 = -2*w + 4 + 8. Let r be (-16)/w*(-24)/(-16). Let t(o) = 5*o**2 - o - 2. Is 26 a factor of t(r)?
False
Suppose 0 = -39*d + 33*d + 2796. Let s = d + -180. Is 10 a factor of s?
False
Suppose 3*o = 4*s - 546 + 8098, -2*o + s + 5038 = 0. Is o a multiple of 21?
True
Let d(f) = -2*f - 5. Let h be d(8). Let c = 92 - h. Is 41 a factor of c?
False
Let w = 90610 + -55834. Is w a multiple of 49?
False
Suppose 0 = -2*g + j + 392, 289 = -3*g - j + 862. Let k(v) = -v**3 - 9*v**2 - 2*v + 5. Let h be k(-6). Let f = h + g. Is 5 a factor of f?
False
Let r = 1642 - -466. Suppose f = 5*q - 3*f - r, 2*f = q - 424. Does 42 divide q?
True
Is (-15 - 10)*(212/(-6))/((-100)/(-1080)) a multiple of 9?
True
Does 15 divide 15764/2 + 124 + -116?
True
Let p(f) be the third derivative of -f**6/120 + f**5/5 + 21*f**4/8 - f**3 + 2*f**2 + 7. Does 33 divide p(15)?
True
Suppose -8*p + 22*p - 1820 = -12*p. Is p a multiple of 35?
True
Let a(k) be the third derivative of 0 - 12*k**2 + 0*k + 7/60*k**5 - 17/6*k**3 + 1/24*k**4. Is a(-4) a multiple of 22?
False
Suppose 2*v = 6*v - 12. Suppose 5*j = 3*y + 281, -104 = j - v*j + 4*y. Suppose -b - j = -3*q, 2*q - b - 20 = -5*b. Is q a multiple of 17?
False
Let v = -143 - -144. Is ((-111)/9 - v)/(2/(-72)) a multiple of 13?
False
Suppose -5*r + 0*n = 2*n - 16, 5*r - n = 22. Suppose 0 = -s - r, -x - 3*x = -2*s - 200. Let z = 86 - x. Is 8 a factor of z?
False
Suppose y = -y + 3212. Let q = y + -1131. Does 19 divide q?
True
Suppose 168*a + 108*a = 289642 + 331910. Does 75 divide a?
False
Let o(v) = 657 + 7*v - 6*v - 18*v. Is o(0) a multiple of 9?
True
Let o(q) = -2*q**2 + 4*q + 5. Let d be o(5). Let k = d + 27. Suppose -5*c - 35 = -k*f, 0 = -6*f + f + 4*c + 62. Does 2 divide f?
True
Suppose r - 3*g = -7*g - 1, -4*g + 44 = 4*r. Suppose r*w - 1104 = 741. Is w a multiple of 17?
False
Let v(f) = f**2 + 5*f + 6. Let u be v(-6). Let k = 52 + u. Suppose -5*s + k = -3*h, -s + 50 = 3*s - 2*h. Does 4 divide s?
False
Suppose -d + 2 = 3*d - 2*s, 0 = -2*s + 6. Suppose -2*r - 66 = -2*z + 78, -3*r - 144 = -d*z. Does 18 divide z?
True
Suppose -3*b + 162 + 189 = 0. Let c(i) = -13*i**2 + 3*i + 20. Let o be c(-3). Let a = o + b. Is 2 a factor of a?
False
Suppose 5*a = 3*b - 7575, -4*a = 72*b - 73*b + 2532. Does 42 divide b?
True
Let t(v) = -v - 7. Let w be t(11). Let s(p) = -p**2 - 19*p + 42. Let y be s(w). Is y/24*(-1 - 974/(-10)) a multiple of 25?
False
Let c be -4 - 27 - (1 + (3 - 1)). Let n be (52/3)/(c/51). Is 17 a factor of (-4)/(((-8)/n)/(-4))?
False
Let t(p) = p**3 + 5*p**2 + 3*p - 1. Let f be t(-4). Let j = 807 + -805. Suppose -21 = -2*q + 5*k, 2*q + f*k + j*k = 11. Is q a multiple of 7?
False
Suppose -55*b + 7702058 = 209*b + 155*b. Does 13 divide b?
True
Let h = 676 - 393. Suppose h*s = 278*s + 7000. Suppose -s = -14*z - 56. Is 16 a factor of z?
True
Suppose 5*g + 85 = 5*d, -5*g + 12*d - 53 = 15*d. Let q(y) = -14*y - 28. Is 8 a factor of q(g)?
False
Let k be 2 - 3*6/(-9). Let q = 422 - 403. Does 24 divide (39/k)/(q/76)?
False
Let d(s) = -s**2 + s. Let n(g) = 4*g**2 - 6*g - 1. Let h(k) = -5*d(k) - n(k). Let z(o) = -37*o**2 + 2*o + 12. Let y(x) = 6*h(x) - z(x). Is 43 a factor of y(2)?
False
Suppose 36684 = 102*c - 90*c. Is c a multiple of 51?
False
Let r(x) = 5*x**3 + x**2 - 16*x - 19. Let n(c) = 16*c**3 + 2*c**2 - 50*c - 56. Let t(q) = 3*n(q) - 10*r(q). Is t(-4) even?
True
Let j(m) = m**3 + 6*m**2 + 68*m - 633. Does 5 divide j(10)?
False
Suppose -4*w + 26 = -2*c, -w + 0*w + c + 4 = 0. Suppose 761 = w*r - 337. Suppose -r*h = -119*h - 450. Does 6 divide h?
True
Suppose 3*a + 4*a - 4242 = 0. Suppose -12*o - a = -14*o. Let s = o - 167. Is 11 a factor of s?
False
Suppose 0 = 3*f - 28*b + 32*b - 26441, 8839 = f - 5*b. Is f a multiple of 35?
False
Let d(m) = -42*m + 1524. Does 24 divide d(-52)?
False
Let x(z) = -z**3 + 52*z**2 - 133*z - 26. Is 60 a factor of x(49)?
True
Let n(u) = 0*u + 7*u - 2*u**2 - 2*u - 12 + 2*u**3. Suppose 16*d - 10 = 7*d + 7*d. Is n(d) a multiple of 22?
False
Suppose -5*n + 237*u = 234*u - 116855, -20 = -4*u. Does 80 divide n?
False
Does 2 divide 30415/35*3/3?
False
Suppose 0 = -3*c - 47*c + 152000. Does 5 divide c?
True
Suppose 0 = 3*p - 934 + 268. Let j = p - 152. Is j a multiple of 7?
True
Let j be 0 - -5*48/(-30). Is 196 + 9 + j + -6 + 1 a multiple of 8?
True
Let w = -122 - -8. Let j = 498 + w. Is 12 a factor of j?
True
Is 8550*((-70)/595 + (-484)/(-68)) a multiple of 42?
True
Let i(r) = -5*r - 15. Let z be i(-4). Let u(b) = 4*b**2 + 5. Is 12 a factor of u(z)?
False
Let w be 20/8 + 1/2. Suppose 1204 = 3*i + 5*t, -3*i + 0*t + 1206 = w*t. Does 13 divide i?
True
Let v = -3 - -8. Suppose 0 = -y - p + 1, y = p - 0*p - v. Is y/((-4)/42) - 1 a multiple of 5?
True
Suppose 0 = 2*z + 6*z - 672. Suppose -b = 12 - z. Is 24 a factor of b?
True
Is 13 a factor of (3/(-12))/(93/248)*-10764?
True
Let b be (-4)/((-20)/15) - -37. Let p be (-2)/3 + b/60. Suppose -3*l + 2*k + 269 = p, l - k - 2*k = 99. Does 29 divide l?
True
Suppose -6*d = -d - 15. Suppose -336 = -g - d*l, -3*l + 681 = 6*g - 4*g. Suppose r = 6*r - g. Does 16 divide r?
False
Suppose 7 = 5*s - 3. Let r(l) = 47*l - 11. Let q be r(s). Suppose 2*n - 3*k + 22 = q, k - 5 = 0. Is n a multiple of 31?
False
Suppose -5*f = -250*t + 246*t - 97865, 5*f - 3*t - 97865 = 0. Is 37 a factor of f?
True
Let i(p) = -p. Let q(k) = -9*k - 27. Let o(z) = 5*i(z) - q(z). Let h be o(-11). Let v = h - -127. Does 26 divide v?
False
Let r(v) = -23*v**2 - v + 2. Let x be r(1). Let g be (x/(-5) - 8/20)*4. Does 22 divide (g/1)/(65/55 - 1)?
True
Let f(k) = 26634*k**2 + 36*k + 13. Does 6 divide f(-1)?
False
Let w be 8/16 + (-14)/4. Is 7 a factor of -4 - (16/(-4) + -59 + w)?
False
Let b(q) = -q**2 + 13*q - 34. Let x be b(9). Is 41 a factor of -1*((-89 - (x + 0)) + 0)?
False
Let n(q) = 1245*q - 2544. Does 3 divide n(6)?
True
Let r = -1255 - -1326. Is 11 a factor of r?
False
Let u(b) = 3*b**2 + 9*b - 13. Let f be u(2). Suppose -4*y + 19 = -5*d - f, 60 = 4*y + d. Suppose -3*a + y*a - 935 = 0. Is a a multiple of 17?
True
Suppose 4*g - 22168 = -39*w + 45*w, 5*w = -5*g + 27685. Does 29 divide g?
True
Let o = 1011 - -9339. Is o a multiple of 90?
True
Let u = 2632 + 1852. Is 19 a factor of u?
True
Let c be (-7 - 133/21)/((-2)/3). Suppose -7555 = -c*i - 1775. Does 14 divide i?
False
Let q be (-1)/((-10)/(-4))*(-58 - 7). Suppose -4*x = 14 - q. Suppose -c + x*i = -119, 0*c + 3*i = 3*c - 339. Does 10 divide c?
True
Let b = 848 - -948. Suppose -b = -5*g + g. Is 13 a factor of g?
False
Let f = 44 + -117. Let m = f - -66. Is 42 a factor of 13/(637/(-14)) + (-1045)/m?
False
Let o(w) = -w**2 - 20*w + 135. Let f be o(17). Let k = f - -568. Is k even?
True
Let z(p) = 2*p + 14. Let v be z(-6). Suppose -5*y = 4*r + 1 - 3, 3*y = v*r - 12. Is 9 a factor of (21/(-2))/(y/12)?
True
Let b = 924 - -81. Suppose 0 = -4*h + 2*h + w + 1023, 2*h - b = -5*w. Is h a multiple of 34?
True
Suppose -6*p + 33 - 21 = 0. Suppose o - p*u - 69 = 0, 3*u = -4*o + 217 + 81. Is 2 a factor of o?
False
Suppose 9*b + 3 = -3*j, -5*j + 13 = -2*b + 52. Let k = -10 + 5. Is 9 a factor of 8724/60 + b/k?
False
Suppose -11*t + 64074 = -25026. Is t a multiple of 25?
True
Suppose -3*h - 6338 = -4*u + 34393, 3*u + 2*h - 30510 = 0. Does 12 divide u?
True
Let z(u) = -3*u**3 + 41*u**2 - 122. Let f(a) = -a**3 + a**2 + 1. Let j(g) = 2*f(g) - z(g). Is 62 a factor of j(39)?
True
Suppose 4*v - 9672 = 8560. Is 14 a factor of v?
False
Let w(p) = p**2 - 38. Suppose -378 = 12*n + 9*n. Is w(n) a multiple of 26?
True
Suppose -15