. Does 3 divide n?
False
Suppose 3*b - 2*a - 3067 = 0, 5*b - 3*a = -0*b + 5110. Is 16 a factor of b?
False
Suppose -3*t + 11 = y - 0*t, 2*t = -5*y + 42. Suppose r + z - 221 = 0, 445 = 2*r + z + y. Does 24 divide r?
True
Suppose 4*j + 4*w - 4100 = 0, -w + 6*w = -3*j + 3085. Does 34 divide j?
True
Let b = 1160 + -722. Is 29 a factor of b?
False
Suppose -3*y - 4*a = -2*y - 323, 0 = -y + 5*a + 314. Is y a multiple of 29?
True
Suppose -n = o - 3, 7*n - 4*n + 4*o = 10. Suppose x - 17 = -2*v, 0 = -n*v - 3*x + 11. Is v a multiple of 10?
True
Let c = -71 - -66. Let g(b) = 11*b**2 + 6*b - 11. Is 13 a factor of g(c)?
True
Suppose -5 = 4*g + 15. Let m be (1 + 5/g)/3. Is 7*((-650)/(-35) - m) a multiple of 26?
True
Suppose 3*z - 2*w = -940 + 4528, -5*w = 0. Is 23 a factor of z?
True
Let x be 2/(-1) + -1 + -25. Let b be 4 - (6 - 0) - 6. Let z = b - x. Is 5 a factor of z?
True
Let l = 1864 + -1064. Is l even?
True
Let a(i) = 3*i**3 - 50*i**2 - 36*i - 12. Is a(20) a multiple of 38?
True
Let u = -18 + 45. Let m = u + -22. Suppose -234 = -m*k + 51. Is k a multiple of 19?
True
Let h(a) = 7*a**2 - 3*a - 1. Let f = 30 + -31. Is 9 a factor of h(f)?
True
Suppose 5*m - 15 = 0, 5*z - 37*m + 40*m = 11954. Is 7 a factor of z?
False
Let m = 556 - 288. Is m a multiple of 2?
True
Does 16 divide (3 - (47 - 3))/(3/(-6))?
False
Suppose -135 = -8*d + 249. Let v = 66 - d. Is v a multiple of 9?
True
Let k = -58 + 53. Does 26 divide (-60)/(-24)*(-262)/k?
False
Let a be (-7 + 6)/(2/(-122)). Suppose t + a = 3*u, -3*u + 4*t - 71 = -6*u. Is u a multiple of 18?
False
Suppose 138 + 12 = 3*u. Suppose 4*j + 5*i - 40 = 0, -4*j + 3*i = j - u. Suppose 8*p - j*p = -226. Is p a multiple of 24?
False
Let i = -5 + 8. Suppose 2*p + 1 = -m - 0, 3 = -i*m - 2*p. Is m*(-2 - (-172)/(-4)) a multiple of 15?
True
Let t(j) = -2*j - 15. Let o be t(-11). Suppose -4*h + 33 + o = 0. Is 8 a factor of h?
False
Suppose 0 = -8*z + 5*z + 15. Suppose -z*r + 382 = -43. Is 17 a factor of r?
True
Suppose 0 = 3*n - 2*q - 3244, 2*q + 5 = 1. Is n a multiple of 20?
True
Suppose -4*q = 3*q - 546. Suppose -17*l = -14*l - q. Does 6 divide l?
False
Suppose 3*g = -34*g + 13320. Does 18 divide g?
True
Suppose g + 4*z - 44 = 3*g, -3*g - 4*z - 96 = 0. Let c be (-60)/7*294/g. Suppose a - c = -4*a. Is 6 a factor of a?
True
Suppose 2*q - 5*c - 13 = 0, -2 = -4*q - 2*c + 4*c. Let w = 4 + q. Is 3 a factor of w/2*(-30)/(-5)?
True
Suppose 4*l + w = 75, 2*l = -16*w + 19*w + 55. Does 10 divide l?
True
Suppose 2*i - 8 = -0*i. Let z(c) = -1 - 34*c + 5 + c**2 + 32*c. Is 6 a factor of z(i)?
True
Let a(g) = g**2 - 3*g - 44. Let b be a(-10). Let m = b + 33. Is 23 a factor of m?
False
Suppose 2*l - 3 = -t, 0 = -0*l + l - 2*t + 11. Let r = -1 + l. Is 16 a factor of r/2 + -1 - -47?
False
Suppose 12*z + 3 = 11*z. Is 42*(z + 8/2) a multiple of 6?
True
Let f = -568 - -1065. Does 71 divide f?
True
Suppose -2*c + 6*k - 4*k = -3112, 15 = 5*k. Is 34 a factor of c?
False
Let i = 1333 - 721. Does 18 divide i?
True
Suppose -1049 - 687 = -4*w. Is w a multiple of 14?
True
Suppose -1058 = 18*t - 6998. Does 9 divide t?
False
Suppose -2*f + 4*a = -5*f + 2692, 4*a = -f + 884. Is 9 a factor of f?
False
Let d = -45 - -48. Suppose -d*k + 387 - 75 = 0. Is 15 a factor of k?
False
Suppose -6*t + 3*t + 6962 = -2*y, 4638 = 2*t - 2*y. Does 74 divide t?
False
Let r be 4/(2 + -6 + 3). Let u(g) = 4*g - 5. Let w be u(r). Let f = w - -24. Is 2 a factor of f?
False
Let a be (-15)/(-6)*18/15. Let t(w) = -a*w**2 - 2*w + 1 + 1 + w**3 + 9*w**2 - w**2. Is t(-5) a multiple of 6?
True
Let o = 46 + -34. Suppose 525 = 3*v + o. Let g = -92 + v. Does 26 divide g?
False
Let g = -20 + 23. Suppose 6 - g = d. Does 13 divide 71/d + (-26)/39?
False
Suppose -5 = 2*c - 4*q - 23, 4*q + 23 = 3*c. Suppose 0 = -c*n + 3*a + 90, 0 = -n - a + 3*a + 25. Is n a multiple of 3?
True
Let j(f) = 2*f - 21. Let t be j(13). Suppose t*z = 2*x + 170, 0*z - 5*z = 3*x - 170. Is 34 a factor of z?
True
Let f = 13 + -12. Let h be 9/(((-3)/f)/(-45)). Suppose -2*g - h = -7*g. Does 9 divide g?
True
Let p be 0*(1 - -4)/(-15). Is 2 a factor of (-12)/(-1) + 1 + p?
False
Suppose 0 = -x + 8 - 13. Is ((-2)/x)/((-10)/(-1475)) a multiple of 12?
False
Let a(n) = -86*n - 86. Is a(-14) a multiple of 10?
False
Let t(a) = 9*a**2 + 19*a - 34. Does 16 divide t(10)?
True
Suppose -40*t + 22575 = 3*t. Is t a multiple of 15?
True
Let x(s) = 4*s**3 - 3*s**2 + 5*s + 7. Is x(5) a multiple of 40?
False
Let t = 1118 + -434. Does 9 divide t?
True
Let f be (-21)/(-15) + 9/15. Suppose -5*t + 4*g + 464 = 0, t = f*t - 2*g - 88. Does 16 divide t?
True
Suppose g + 3*f = -0 - 5, 3*g + 4*f + 40 = 0. Let j = -778 - -778. Does 21 divide (j + -105)*12/g?
True
Let u(q) = -2*q**3 - 16*q**2 + q - 9. Does 13 divide u(-11)?
False
Let f(p) = p**3 - 5*p**2 - 6*p + 6. Let b = -21 + 27. Is f(b) even?
True
Suppose u - 5*n - 3 = 29, -u + 26 = -2*n. Suppose -5*c = -4*c - u. Is c a multiple of 6?
False
Let q(m) = 5*m**2 + 16*m + 6. Let t be q(-3). Let j(i) = -i**2 - 7*i + 6. Let n be j(-6). Suppose -t*k + n = -156. Is 24 a factor of k?
False
Let f = 140 - 166. Let k(j) = -j**3 - 25*j**2 + 24*j - 4. Does 3 divide k(f)?
True
Let p be (1 - 52/20)/(6/2235). Is (-4)/(p/(-200) + -3) a multiple of 40?
True
Let d be 28/(-5) + (-8)/20. Let b be d/(-14) + 72/28. Suppose j = -b*h - h, 5*j - 57 = -h. Does 6 divide j?
True
Let o be (-1737)/4 + (-3)/(-12). Suppose w + 4*i = i + 3, 5*i - 9 = -2*w. Is 11 a factor of 5/(-30) - o/w?
False
Suppose 9015 = 5*w - u, 5*w + 15*u = 11*u + 8990. Is w a multiple of 6?
False
Suppose u - 42 = i, 2*u = -0*i - 5*i + 112. Does 23 divide u?
True
Let r(y) = -y**2 - 15*y + 7. Suppose 9 - 69 = 4*q. Does 6 divide r(q)?
False
Let x(y) = 7*y**2 - 3*y - 307. Is x(-17) a multiple of 31?
True
Let v(j) = j + 4. Let o be v(-2). Suppose i = 4*b + 22, o*b + 15 + 11 = 3*i. Is 4 a factor of i?
False
Let u(m) = -m**3 + 2*m**2 - 7*m + 1051. Is 9 a factor of u(0)?
False
Let z(r) = 3*r - 2. Let i be z(3). Let f(x) = -3*x + 5. Let h be f(i). Let c = 1 - h. Is c a multiple of 11?
False
Is -4 + 3 + 1028 + 2 a multiple of 21?
True
Suppose 13*t - 449 - 45 = 0. Is t a multiple of 10?
False
Let h be ((-2)/2)/(2/(-6)). Suppose 0 = 4*x + 2*k - 538, -402 = x - 4*x - h*k. Does 28 divide x?
False
Let l = -17 - -19. Let q be (18*l)/(-3) + -2. Let v = 22 + q. Is v a multiple of 3?
False
Let b(x) = -x**2 - 15*x - 21. Let t be b(-14). Let a = 10 + t. Suppose -a - 29 = -s. Is 16 a factor of s?
True
Suppose -m - x = -0*m + 21, -m = 4*x + 12. Let j = -24 - m. Suppose j*l + 2*l = -3*f + 37, f + 2*l - 7 = 0. Is 7 a factor of f?
False
Let l = 25 - 25. Suppose l = 4*p + 8, 5*n = p + 20 + 12. Let f(o) = o**3 - 7*o**2 + 9*o - 10. Is f(n) a multiple of 2?
True
Let h = 1050 - -110. Is h a multiple of 20?
True
Let b(u) = u**3 - 4*u**2 - 2*u + 1. Let n be b(7). Let t be n/8 - (-12)/(-16). Let p(r) = r**3 - 16*r**2 - r + 22. Is p(t) a multiple of 2?
True
Suppose -309*m - 20 = -314*m, m = -4*b + 924. Is 3 a factor of b?
False
Suppose -8*v + 3*v + 85 = 0. Suppose v = 5*u - 8. Suppose 3*x + 3*n = 78, 2*n - 60 = -u*x + 82. Is x a multiple of 10?
True
Let c(m) = -2*m**3 - m**2 + 12*m + 27. Does 6 divide c(-7)?
False
Suppose 0 = -7*k + 1016 + 174. Is 10 a factor of k?
True
Suppose 4*k - 3*k = 4*a + 5, 0 = 4*a. Suppose 0 = k*d - 152 - 88. Is 8 a factor of d?
True
Let f = 23 - 27. Let j be 10*((-7)/2 - f). Suppose 0 = 5*i + 2*s - 0*s - 607, -389 = -3*i + j*s. Does 27 divide i?
False
Let s = 33 + 360. Let k = 768 - s. Is 33 a factor of (16/10)/(6/k)?
False
Suppose 14 = 2*o + 2. Suppose 8 = o*p - 100. Does 16 divide p?
False
Let d = 30 - 15. Let k = d - 15. Suppose k = 9*g - 8*g - 100. Does 17 divide g?
False
Let k be ((-63)/12)/((-9)/(-24)). Let x(j) = -j**3 - 13*j**2 + 13*j - 10. Let t be x(k). Does 18 divide (t/5)/((-10)/(-225))?
True
Let r(n) = 8*n**3 - 2*n**2 + 3*n - 2. Let d be r(1). Suppose 4*f - d*f - q + 179 = 0, -3*q = -3*f + 159. Is 16 a factor of f?
False
Let w(o) = o**2 + 28*o - 15. Is 13 a factor of w(8)?
True
Suppose f + 422 = 626. Is f a multiple of 24?
False
Suppose -z + 7 = -3*i, -z = -5*z + 4*i + 44. Suppose t - 12 - z = 0. Does 5 divide t?
True
Let i be (-48)/(-36)*(-3)/2. Let y(f) = -15*f - 4. Does 26 divide y(i)?
True
Let d = 77 - -1. Suppose -u + 4*u - d = 0. Is 5 a factor of u?
Fals