4)*233?
False
Suppose -4*b - 3*q + 5 = 0, 2*b + 3*q + 0*q + 5 = 0. Suppose -b*r + 44 = 4. Is r a multiple of 3?
False
Let q be (-12)/36 - 58/6. Is 10 a factor of (-1 - 15/q) + 178/4?
False
Is 89/(-6*(-5)/90) a multiple of 11?
False
Is 38 a factor of (6/(-28) - 2/7)*-958?
False
Let z(m) = 2*m**2 - 9*m + 85. Is 16 a factor of z(7)?
False
Let j = 13 + -8. Suppose s - 4*a - 7 = -5*a, 3*s - j*a + 3 = 0. Suppose 3*y - 5*q - 69 = 0, s*q - q = 0. Is y a multiple of 16?
False
Let r = -59 + -88. Let q = r - -209. Does 23 divide q?
False
Let a(o) = 3*o**3 - 2*o**2 - 2*o + 2. Suppose 22 = 5*l - 3*z, -6 = -0*l + l + 2*z. Does 3 divide a(l)?
False
Let v(m) = -4*m + m**3 - m**2 + 3 + m**2. Let a be v(2). Suppose -a*r + 108 = -12. Does 11 divide r?
False
Suppose -4*u = 2*n - 10, 3*u + n - 3 = 2*u. Let z = u - 0. Let b = 28 + z. Does 6 divide b?
True
Let r be 2*1/(4*4/32). Suppose 3*u = -u - 12, u + 387 = r*j. Is 9 a factor of j?
False
Let p = -1180 + 2414. Does 9 divide p?
False
Is (((-5)/2)/(-5))/(2/1512) a multiple of 6?
True
Let f(u) = 2*u**2 + 17*u - 12. Let p be f(-15). Let k = p - 130. Suppose -k = -2*n + 3. Does 4 divide n?
True
Let c = 305 - 102. Is 13 a factor of c?
False
Let c = -35 + 104. Suppose -3*d = 3*v - 6 - c, 37 = d + 4*v. Suppose d = 3*z + 3. Is z a multiple of 3?
True
Suppose -96 + 76 = -5*w. Is w even?
True
Let v(a) = a**2 + 2*a**3 - 3*a - 2 + 5*a**2 - 2*a**2 + a. Let p be v(3). Suppose 0*u = -u + 5*d + 38, p = 3*u + d. Is 28 a factor of u?
True
Let h be (-105)/7*(-1)/3. Suppose 5*y + 5*r = 25, 2*y = y + h*r + 5. Suppose 200 = y*l - 0*l. Does 8 divide l?
True
Is 6 a factor of 30/(-13 + 3)*953/(-3)?
False
Let f(o) be the second derivative of -o**3 - 25*o**2/2 - 23*o. Is f(-7) a multiple of 6?
False
Suppose -2 = -b - 0, 0 = 3*l + 2*b - 1408. Is l a multiple of 13?
True
Let g = -1280 - -1310. Is 5 a factor of g?
True
Let a(b) = b**2 - 7*b + 241. Is 9 a factor of a(-22)?
False
Let x be ((-17)/(-2) - -3)*-2. Let q = -20 - x. Suppose -2*s = -5*o + 90, -5*o = -q*o + 2*s - 22. Is o a multiple of 6?
False
Let o = -5 - -9. Suppose 2*n + o = -4. Is 3 a factor of (-6)/n*(-44)/(-6)?
False
Suppose 5*s + b = -0*b + 1374, 0 = 2*s + b - 549. Suppose 5*k = -6*k + s. Is 8 a factor of k?
False
Suppose -2*h + 171 = -3*k, 3*h + 2*k = k + 262. Suppose 373 = 4*w - 3*y, 3*w + 4*y - h = 224. Is w a multiple of 28?
False
Suppose 0 = 70*n - 65*n - 3025. Is 9 a factor of n?
False
Suppose -2*d = 4*g - 0*d - 1390, 0 = -3*g - 2*d + 1044. Suppose g = 4*h + 6. Does 21 divide h?
False
Suppose -c + 4*o = -0*c - 1, -16 = -3*c - o. Suppose 0 = -c*q + 255 + 225. Suppose 5*b - q = 3*b. Is 13 a factor of b?
False
Suppose 2*c = 5*y + 329, -537 = -3*c - y - 86. Is 19 a factor of c?
True
Let t be (4 - 6)*3/(-2) - 1. Suppose k + 4*k + 346 = t*d, 0 = -4*d + 3*k + 706. Is d a multiple of 25?
False
Let g be (13/(-5))/((-23)/115). Let q(a) = -3*a**2 - 11*a - 10. Let d(k) = -8*k**2 - 33*k - 30. Let f(t) = 4*d(t) - 11*q(t). Is 16 a factor of f(g)?
True
Suppose 146*a = 151*a. Suppose a = 4*r - 5*r + 9. Is r a multiple of 9?
True
Suppose 1169 = q + 2*q - 2*w, 5*w - 773 = -2*q. Is q a multiple of 9?
False
Suppose 638 = -2*y + 5*r, 3*r = -3*y + r - 919. Is 18 a factor of 8/(-6) + y/(-9)?
False
Let j(u) = -7*u + 16 - 6 + 8*u. Is j(14) a multiple of 4?
True
Suppose r + 106 = 2*r. Let f = -32 + r. Is 18 a factor of f?
False
Suppose -2*x = -6*x + 2*z + 620, -2*z = -x + 161. Is 3 a factor of x?
True
Suppose -142 = 3*z - q - 1711, -3*q - 2097 = -4*z. Is z a multiple of 29?
True
Suppose -3*h = 2*h + 2*c - 29, -5*c - 1 = 2*h. Suppose a + h = 29. Let k = a - 11. Is k a multiple of 11?
True
Let a(t) = -2*t**3 - 8*t**2 + t + 2. Let o(q) = -q - 13. Let k be o(-9). Let v be a(k). Does 4 divide v + (-4)/(8/(-22))?
False
Suppose -4*s = -0*s - 64. Let f = 1 - s. Let n = f + 19. Is n a multiple of 3?
False
Is 6 a factor of (-28)/(-2)*(-2880)/(-140)?
True
Let a be 1*(0 + 6) + -4. Suppose -4*k + 0*k - 3*g + 77 = 0, k = a*g + 11. Is 2 a factor of k?
False
Let h = -9 - -9. Suppose 3*f - 41 + 14 = h. Suppose f - 64 = -5*x. Is x a multiple of 11?
True
Suppose 0 = 5*q - 16 + 1. Let w be -2 + 1*15/q. Is (w - 1/1) + 49 a multiple of 19?
False
Is 13 a factor of (146 - -6 - 10)*23?
False
Let n = 9 - 9. Suppose -3*z + n*z + 240 = 0. Does 20 divide 60/(-8)*z/(-6)?
True
Let w(z) = -z**3 + 12*z**2 + 3*z + 10. Does 92 divide w(7)?
True
Let u(w) = -1411*w + 160. Is 41 a factor of u(-1)?
False
Let f = -1690 + 3755. Is f a multiple of 37?
False
Suppose -4*m + 12 = -m. Suppose -m*j - 8 = 8, 0 = -4*z - 5*j + 160. Does 18 divide (-5)/((-75)/18)*z?
True
Let q(r) = 13*r**2 + 2*r - 1. Let h be q(1). Let j(i) = 9*i - h*i + 4 - 23*i. Does 18 divide j(-3)?
False
Let h(a) = -a**2 + a + 5. Let d = -16 + 21. Let g be h(d). Does 13 divide (-6)/(-10) - 381/g?
True
Is 2 + -3 + 3 - -12*6 a multiple of 15?
False
Suppose 0 = 100*y - 104*y + 1120. Does 7 divide y?
True
Suppose -3*a + 5 = -1. Suppose 3*k = 8*k + 5*y - 1000, 0 = -a*k + y + 385. Suppose -k = -0*j - 5*j. Is 13 a factor of j?
True
Suppose -5*o = -10*o - 5, -o = -g + 54. Does 4 divide g?
False
Suppose -3*m - 15 - 60 = -3*q, -4*q + 2*m = -98. Suppose n - 3*n = -q. Is n a multiple of 12?
True
Suppose -2*p + 10 = a, 0 = -5*p - a + 16 + 3. Suppose -3*f - 136 + 463 = -p*g, -97 = -f - 2*g. Is f a multiple of 15?
True
Let k = 22724 + -15795. Is 11 a factor of k?
False
Is 75/2*(2 - 6/(-9)) a multiple of 5?
True
Let z be (-1 - -1) + (-6 - (-24)/3). Let v(x) = x**3 + 3*x**2 - 4*x + 3. Let j be v(2). Suppose -99 = -5*b - a, 0 = -3*b + z*b + a + j. Is 6 a factor of b?
False
Let w be 20/4 + 1 + 13. Suppose 22*i = w*i + 72. Does 6 divide i?
True
Let j(y) = 5*y + 18. Let p(x) = -x. Let s(m) = j(m) - 6*p(m). Is 9 a factor of s(3)?
False
Let o = 35 + -22. Suppose 2*t - o - 3 = 0. Does 2 divide t?
True
Let y = 262 - -464. Does 6 divide y?
True
Let i(v) = 989*v**2 + 9*v - 8. Is 15 a factor of i(1)?
True
Suppose 90 = 4*c - 90. Does 9 divide c?
True
Let u(z) be the third derivative of z**5/60 - z**4/6 - z**3/2 - 3*z**2. Let x(v) be the first derivative of u(v). Does 4 divide x(4)?
True
Let s = 38 + -44. Let t = 42 - s. Is 16 a factor of t?
True
Suppose -7*p + 197 = -391. Does 14 divide p?
True
Let s be (4/4)/(1/22). Let q = 19 - s. Does 16 divide (33/22)/(q/(-34))?
False
Let q(h) = 22*h + 7. Let i = 12 - 7. Does 39 divide q(i)?
True
Let t be (5 + -2)/(2 + (-92)/44). Let s = -18 - t. Does 15 divide s?
True
Let i(x) = -17*x - 13. Let b be i(-9). Suppose 0*q + q = 3*n - 90, 2*q + 2*n = -b. Let u = q + 107. Does 32 divide u?
True
Suppose 5*s - 3*x + 0*x = -117, x + 49 = -2*s. Let j = -70 + 112. Let h = s + j. Does 9 divide h?
True
Let y(c) = c**3 + 20*c**2 + 19*c + 36. Let x = -15 + -4. Is 12 a factor of y(x)?
True
Is 35 a factor of (-675532)/(-390) - (-6)/(-45)?
False
Let t be ((-1)/(-1))/((175/168)/(-25)). Does 13 divide t/30*2*-120?
False
Suppose -5*u + 4*u + 3 = 0. Let z be (3*1)/(92/92). Suppose -2*n + z*n + 330 = u*g, n = 0. Is 22 a factor of g?
True
Let r(j) = -25*j - 27. Let a be r(-12). Suppose 3*m + m = 3*l + a, -2*m + 2*l = -136. Is 20 a factor of m?
False
Suppose i - 2588 = 3*z, -27*z - 5171 = -2*i - 26*z. Is i a multiple of 30?
False
Let c be (-126)/(-12) - (-2)/4. Suppose -13*p = -c*p - 64. Does 16 divide p?
True
Suppose 0*x - x = -4*s + 11, -3*x = 3*s + 3. Let v be -1249 - (0/s - -2). Does 10 divide (-1)/(-7) + v/(-63)?
True
Let u(k) = 45*k**2 + 8*k + 14. Is 18 a factor of u(-4)?
True
Suppose -c - 262 = n, 0 = -c + 4*c + 4*n + 789. Let y = c + 466. Is 9 a factor of y?
True
Let w(b) = b**3 - 5*b**2 + 3*b + 4. Let h be w(2). Is 10 a factor of -2 - (h - 0) - -161?
False
Let m = 37 - 33. Let z(c) = c**3 + 12*c**2 - c - 13. Let d be z(-10). Suppose -3*g - 4*i + 79 = -2*g, -3*g + d = m*i. Is 9 a factor of g?
False
Let y = 3321 + -1903. Does 7 divide y?
False
Let n be (0/((-3 - -3) + 2))/2. Suppose n = -0*v + 7*v - 637. Is 13 a factor of v?
True
Let z be 779/5 - -2*1/10. Suppose 2*j - 3*a = -0*j - 12, 16 = 4*a. Suppose j*b - z = -4*b. Is b a multiple of 13?
True
Suppose 4*x - 2*n = 3*x + 2, -18 = -5*x + 2*n. Is (-50)/x*60/(-25) a multiple of 15?
True
Suppose -p + 2*l + 91 = l, 2*p + 4*l - 164 = 0. Is 26 a factor of p?
False
Suppose n = g - 4054, -9*g = -7*g - 4*n - 8116. Does 54 divide g?
True
Sup