426. Suppose 221*y - b*y + 252 = 0. Is y a multiple of 42?
True
Let h(k) = -k**2 + 15*k - 14. Does 2 divide h(7)?
True
Does 25 divide 3*(-5)/45*-225*3?
True
Let r be (-7)/14*54/(-1). Suppose -3*o = 5*f - 57, 3*o - f - 4*f - 57 = 0. Let c = r - o. Does 8 divide c?
True
Is -8*(-2)/(-4) + 67 a multiple of 9?
True
Suppose 29*k = 32*k - 1284. Let v = k - 43. Does 49 divide v?
False
Suppose -27458 = -14*g + 9082. Is 18 a factor of g?
True
Suppose -533 = -4*x - 5*d, 0*x + 3*d = x - 112. Let y = x - 46. Does 26 divide y?
False
Let d(n) = -6*n + 115*n**2 + 20*n - 12*n - 2*n**2. Is d(1) a multiple of 23?
True
Let y(x) = -2*x**3 + 0*x**3 - 5*x**2 - 14*x + 8*x - 5. Does 10 divide y(-4)?
False
Let c = -28 - -31. Let s = -19 - -28. Suppose -c*u + 15 = -s. Is u a multiple of 4?
True
Suppose -4*k - 279 + 51 = -4*j, -8 = -4*k. Is j a multiple of 59?
True
Let j(h) = -h. Suppose -4*r - 5*t = -6, 5*t = -0*r + 3*r - 22. Let v be j(r). Does 13 divide -6*(130/v)/5?
True
Is (-15)/12*(-16)/4 + 448 a multiple of 30?
False
Suppose 561 - 189 = 3*z. Is 8 a factor of z?
False
Let a = 35 + -38. Is 174/9 + (-2)/a a multiple of 5?
True
Is -4 + 147/35 - 1599/(-5) a multiple of 80?
True
Let r = -42 - 38. Let o be r/(-25) + (-1)/5. Suppose d + o*d - 248 = 0. Is 22 a factor of d?
False
Suppose 3*c = -0*c + 162. Let k = c - 22. Let u = 84 - k. Is 16 a factor of u?
False
Let j = -154 + 122. Is 18/(2/j*-4) - 0 a multiple of 9?
True
Is 14 a factor of -4 - (-3 + 4) - -243?
True
Suppose -2*c - 5559 = -5*c. Suppose 16*f - 2979 - c = 0. Does 35 divide f?
False
Is 17 a factor of (-60)/(-18)*738/15?
False
Let v be 2/9 - 21/(-27) - -2. Let d(b) = b**3 - 2*b**2 + 4*b - 2. Is d(v) a multiple of 4?
False
Let m(a) = -14*a**2 - 4*a - 19. Let q(g) = 15*g**2 + 3*g + 20. Let t(c) = -6*m(c) - 5*q(c). Does 13 divide t(-3)?
False
Let o be 2/2*2/(-2). Is o - (-155)/(3 + 2) a multiple of 6?
True
Let p(a) = a**3 + 13*a**2 - 13*a + 19. Let u be p(-14). Suppose g + 73 = 2*y + 8, 0 = u*y - 2*g - 163. Is 7 a factor of y?
False
Suppose -h = -1 - 1. Suppose 1 + 1 = 4*o - h*y, 25 = -5*y. Does 11 divide 11/(-2 - (-5 - o))?
True
Let o(u) = -u**2 - 10*u - 6. Let k be o(-9). Suppose 4*d - 8 = -2*x, 4*x - 4*d = k*x - 2. Is 20 a factor of x/(-4)*-1*40?
True
Let u(j) = -j**2 - 25*j + 140. Is u(0) a multiple of 81?
False
Let s = -2735 - -3560. Is s a multiple of 33?
True
Is 12 a factor of (-5)/(-3) - ((-6226)/(-6))/(-11)?
True
Is 176/(-24)*3*-17 a multiple of 17?
True
Let m = -1056 + 1550. Is 26 a factor of m?
True
Suppose 3*v + 7455 = 6*v - 3*i, -2*i = 4*v - 9910. Is v a multiple of 123?
False
Suppose -4*a - k = 487 - 14474, 2*a - 7011 = 3*k. Is 53 a factor of a?
True
Suppose 0*g = g + 10. Let x = g - -14. Suppose -x*w = 12, -2*j + 3*w - 5*w = -16. Is j a multiple of 4?
False
Let h = -50 + 53. Suppose -h*z = 2*z - 470. Does 19 divide z?
False
Let g(y) = -y**2 + 6*y - 1. Let k be g(12). Let f = -31 - k. Is f a multiple of 14?
True
Let h(v) = 827*v**2 + 3*v - 4. Does 14 divide h(1)?
True
Is 11 a factor of (11/(-11))/(1/(-575))?
False
Let z(k) = -9*k + 6. Let t(b) = 26*b - 18. Let d(l) = 6*t(l) + 17*z(l). Let r = 50 + -44. Is d(r) a multiple of 6?
True
Let c be -1*4*20/(-16). Suppose 0*v + 25 = c*v. Suppose 4*t + v*q - 53 = 0, -4*t + 0*q - 2*q = -62. Is 8 a factor of t?
False
Let t = 126 + -96. Is t a multiple of 6?
True
Suppose 15*r - 1982 - 403 = 0. Does 46 divide r?
False
Suppose 4*z - 37 + 5 = 0. Let a = -8 + z. Let x(y) = y**2 + y + 11. Does 7 divide x(a)?
False
Suppose -146*y - 612 = -149*y. Is y a multiple of 12?
True
Does 14 divide 1/((-12)/(-9904)) - (-8)/12?
True
Suppose 16 = 27*f - 25*f. Suppose 0 = -n - f*n + 504. Is 9 a factor of n?
False
Suppose 360 = 3*j + 2*v - v, 2*v - 599 = -5*j. Let u = j + -51. Does 10 divide u?
True
Let r = -26 - -520. Is r a multiple of 38?
True
Let w be -1 - -1 - (-2 + 1 - 58). Let t = -43 + w. Is 4 a factor of t?
True
Let f(o) = o**3 + 13*o**2 - 32*o - 31. Let k be f(-15). Is 67/268 + k + 126/8 even?
False
Let z = -526 - -1201. Is 85 a factor of z?
False
Let i be (2 - -6)/(2/(-32)). Let r be i/10*(1 - 6). Let v = -33 + r. Is v a multiple of 12?
False
Suppose 4*i + 6000 = -o + 6*o, -4774 = -4*o - 2*i. Does 13 divide o?
True
Suppose -230*j + 229*j + 742 = 0. Is 27 a factor of j?
False
Let n be 0/(5 + 1 + -4). Suppose n = -p + 27 + 5. Is p a multiple of 4?
True
Let t = -61 + 20. Suppose -264 - 36 = -4*h. Let z = h + t. Is 9 a factor of z?
False
Suppose 404 = -5*i + 4*d + 72, -5*d + 15 = 0. Is 11 a factor of i/8*(-99)/12?
True
Let w(k) = k**2 - 3*k + 1. Suppose 5*a + 2*q - 16 = 3*a, 4*a + q = 17. Let t be -2 - a/((-3)/7). Is w(t) a multiple of 5?
False
Let i(p) = 2 + 2*p**2 - 3*p - 5 - 4. Let r be i(12). Does 4 divide r/21 + 1/3?
True
Let w(r) = 2*r**2 - 4*r + 1. Let m be w(3). Suppose -d = 5*i - 38, 3*d + 3 = 2*i - 2. Let k = i + m. Does 3 divide k?
False
Is 6 a factor of ((-1 - 3) + -1)/((-10)/3228)?
True
Let a = -116 - -124. Suppose -a*d + 2842 = -d. Is 58 a factor of d?
True
Let f(t) = -2*t + 9 + 3*t - 2*t. Let j be 18/4 - (-3)/(-6). Is 3 a factor of f(j)?
False
Let o(x) = 6*x + 17. Suppose 10 = 17*l - 15*l. Does 23 divide o(l)?
False
Let g be (0 - 1) + (-6 - -11). Suppose 0 = -f + g*f + 3. Is 16 a factor of f/2 - 511/(-14)?
False
Let u = 894 + -54. Is 7 a factor of u?
True
Let r(i) = -5*i**3 + i**2 - i + 1. Let f be r(1). Is 13 a factor of (-210)/(-5) + 2 - f?
False
Let k be 3 + ((-12)/4 - -3). Suppose -k*o = o. Suppose o = -n + 3, -n + 5 = g - 13. Is g a multiple of 5?
True
Let g = -170 - -1862. Is g a multiple of 9?
True
Suppose b + p + 3*p = 246, -5*p = 2*b - 495. Let w = b + -23. Is w a multiple of 16?
False
Suppose 4*y + 4 = 2*v, -4*y + 5*v = 8 + 2. Let u be (-30)/4*24/(-15). Let l = u - y. Is 5 a factor of l?
False
Suppose 4*v - 20 = -2*a, -3*a + 25 = 3*v + 2*v. Let z be a + 0 + (110 - 2). Let g = 192 - z. Is g a multiple of 31?
False
Let b(v) = -v**2 + 7*v + 8. Suppose -8 - 12 = -2*r. Let u be b(r). Let f = 25 + u. Is f a multiple of 2?
False
Let i(z) = z**2 - 2*z - 1. Let t(n) = n**3 - 10*n**2 - 5*n + 14. Let d(m) = -3*i(m) - t(m). Let y = -4 - -12. Does 5 divide d(y)?
False
Suppose 7*l - 8*l = -390. Let i = l + -203. Does 17 divide i?
True
Let j = 302 - -789. Does 49 divide j?
False
Let o(v) = 6*v**3 + 2*v**2 + 5*v - 6. Does 9 divide o(3)?
True
Let h(u) = u**3 + 10*u**2 + 13*u. Let j(w) = w**2 + 5*w - 7. Let m be j(-5). Is h(m) a multiple of 14?
True
Let m = -5 + 7. Suppose -2*i + 2 = -m. Suppose 2*k - 73 = -c, 5*k - 3*c + i*c - 165 = 0. Is 26 a factor of k?
False
Suppose l + 3*l - 15 = -3*t, 2*l + 10 = 2*t. Suppose -83 = -b - t. Suppose -120 = -3*s + b. Is s a multiple of 10?
False
Suppose 0 = 61*j - 14*j - 44368. Is j a multiple of 8?
True
Suppose 4*r + 0*r = 368. Let k = -85 + r. Is k a multiple of 2?
False
Let s(l) = -30*l + 13. Does 7 divide s(-4)?
True
Suppose 17*p - 22*p - 45 = 0. Is 26 a factor of 4/p - (-6990)/54?
False
Suppose 6*y + 56 = -y. Let p = y - -12. Does 3 divide p?
False
Let l(n) = 6*n + 53. Is 4 a factor of l(29)?
False
Does 2 divide 102 + 8 + ((-5)/1 - -2)?
False
Suppose 0*m - 9*m = 0. Suppose -2*j - 81 = -7*j - 4*r, j + 2*r - 15 = m. Is 3 a factor of j?
False
Suppose 4*i + 466 = 5*i - 4*d, i - d - 463 = 0. Is 66 a factor of i?
True
Does 29 divide (-202 - -6)/(7/(-28)) - -2?
False
Let g(x) = x**2 - x + 7. Let w be 4 - (-44)/(-4) - -2. Is 23 a factor of g(w)?
False
Let o(p) = 8*p**3 - 2*p - 1. Let j be o(-1). Let y(f) = f**2 + 7*f + 4. Let a be y(j). Suppose a*z - z = 138. Does 17 divide z?
False
Suppose -4*n - 5*y - 1069 + 2834 = 0, -2*n = -4*y - 876. Is n a multiple of 8?
True
Let j = 108 + 14. Is 16 a factor of j?
False
Suppose 4*i - 1380 = -5*s, 2*i = -5*s + 5*i + 1380. Is s a multiple of 12?
True
Suppose -59 = 2*z - 371. Is 3 a factor of z?
True
Let x be (-4 + 5)/(3/9). Let l(u) = 6*u**2 - 2*u + 4. Does 26 divide l(x)?
True
Let s(n) = -2*n**2 - 19*n - 30. Let d be s(-16). Let b = -157 - d. Does 14 divide b?
False
Let g(y) = -5*y**2 - 3*y**3 + 4*y**2 + 4*y**3 - 17*y**3. Let v be g(-1). Does 7 divide 130/v - 2/(-6)?
False
Let j = 593 - 145. Is 6 a factor of j?
False
Let m be -19*((-2)/(-3) - 5/3). Let o = m + 60. Is 32 a factor of o?
False
Is (4/(-6))/((-32)/288) - -3 a multiple of 2?
False
Let q(i) = -3966*i - 30. Is 12 a factor of q(-1)?
Tr