*m = 3. Is 7 a factor of q?
False
Suppose -2*c - 36 + 84 = 0. Does 6 divide c?
True
Does 3 divide (-5)/2*((-56)/(-20) + -4)?
True
Let v = -4 + 2. Let b be 2 + (v - 5)/(-1). Suppose -3*i + b = -3. Does 4 divide i?
True
Suppose 0*h = 2*h - 264. Let a = h - 42. Is 26 a factor of a?
False
Let u(o) = 11*o**2 + o - 27. Let i(w) = -7*w**2 - w + 18. Let a be (2 - -14)/(-2) - 0. Let f(q) = a*i(q) - 5*u(q). Is 11 a factor of f(-8)?
False
Suppose 5*i - 16 = 3*s, 4*i - s = 10 - 0. Suppose 0*k = 2*l - i*k - 10, -5*k + 15 = 5*l. Is 3 a factor of l?
False
Let c be ((1 - -2) + -6)*-1. Is 12 a factor of (3/(-4))/(c/(-96))?
True
Let p(c) = 17*c**3 - c**2 - c + 1. Let a be p(1). Let o = 1 + a. Is 8 a factor of o?
False
Suppose 2*c - 198 = -c. Is 9 a factor of c?
False
Does 31 divide (2/2 + 0)*93?
True
Suppose 16 = -2*q + 2*y + 102, -q = -5*y - 63. Is 6 a factor of q?
False
Suppose -18 = -o + 2*t, 0 = -3*o - 3*t - 2*t + 65. Let v be (-5)/o - (-26)/8. Suppose -3*r = 3*g - 75, -v*g + r + 57 = -2*r. Is 13 a factor of g?
False
Suppose 0 = -4*p + 2*c - 0*c + 306, p - 5*c - 63 = 0. Does 26 divide p?
True
Suppose -7*n - 279 = -10*n. Is 31 a factor of n?
True
Let s be (-3 - 177)*12/(-10). Is 9 a factor of 1/(2*4/s)?
True
Let s be (-15)/(-5) - (-1)/(-1). Suppose 3*t + 1 = y - 3*y, -5*t - 7 = -s*y. Does 17 divide 47 + 2 - (y + -1)?
False
Let g = 503 + -70. Suppose 2*v - g = p, 0*v - v + 215 = -2*p. Suppose -4*m + 2*i - 3*i + v = 0, -275 = -5*m - 2*i. Does 23 divide m?
False
Let x(h) = -3*h - 11. Let g be x(-5). Suppose -2*w + 96 = 5*n, -g*n + 2*w + 81 = 15. Does 6 divide n?
True
Suppose -k + 75 + 10 = 0. Suppose -4*q - q = -k. Is 15 a factor of q?
False
Let f = 50 + -8. Is 14 a factor of f?
True
Suppose 0 = d - 4*j - 219, -1146 = -5*d + j + 2*j. Is d a multiple of 11?
True
Suppose 2*i - 3*y = 89, y - 139 = -3*i + 11. Let r = i + -19. Is 16 a factor of r?
False
Let j be 2/(-6) - (-7)/3. Let b(l) = l**2 - 3*l - 4. Let d be b(3). Let i = j - d. Does 6 divide i?
True
Is 15 a factor of 153/6 - (-2)/4?
False
Let y be (-2)/8 - (-39)/12. Suppose -2*p = y*b + 7, 8 = 3*p + 5*b + 20. Is 13 a factor of ((-1)/(-2) + p)*14?
False
Let h = -7 - -4. Is 15 a factor of 9/6*(29 - h)?
False
Is (-8)/1*49/(-14) a multiple of 14?
True
Suppose -u - 3*u - 16 = 0. Let d be (u - 1)/(-1) + -1. Suppose -4*z - d = -60. Is 4 a factor of z?
False
Let n(s) = -8*s - 56. Is 7 a factor of n(-9)?
False
Let a(u) = u**2 - 7*u + 5. Let w be a(7). Suppose 0 = -5*m + w*d + 50, 7*d - 16 = -4*m + 3*d. Suppose -m*h + 74 = -5*h. Is 16 a factor of h?
False
Let b(a) = a + 18. Is 3 a factor of b(6)?
True
Let o be ((-21)/(-6))/((-2)/(-20)). Suppose 0 = 3*w - o - 124. Suppose w = 5*b - 82. Does 7 divide b?
False
Let v = 86 - 57. Is 12 a factor of v?
False
Let a = 2 - -2. Suppose 0 = 5*m - 8*m - 2*g + 92, 5*m - a*g = 168. Does 16 divide m?
True
Suppose -12*g + 9*g = -216. Is 14 a factor of g?
False
Suppose -222 = 4*k - 7*k. Is 10 a factor of k?
False
Suppose -5*l = -3*n - 0*l + 129, n - 44 = 2*l. Suppose -2*u + 4*u - n = 0. Is 17 a factor of u?
False
Let p = 8 - 4. Suppose 2*v + 16 = p*d, 5*d + 5*v = 24 + 11. Is 5 a factor of d?
True
Suppose -3*n + 330 = 7*n. Is 3 a factor of n?
True
Suppose 0 = -n - 0*n + 6. Suppose 0 = -5*i - 3*v + n, -i - 5*v - 6 = -2*v. Let a(b) = 17*b + 4. Is 20 a factor of a(i)?
False
Suppose -21 = -2*x + 23. Does 12 divide x?
False
Let w be 3/(3/(-2))*2. Does 32 divide -57*(w/4 + 0)?
False
Let y(l) = -34*l - 27. Is 16 a factor of y(-5)?
False
Let d(o) = o - 6. Let k be d(0). Let a(v) = -5*v**2 - 2*v + 3. Let i(r) = -6*r**2 - 2*r + 3. Let b(l) = -5*a(l) + 4*i(l). Is b(k) a multiple of 12?
False
Let h be 550/26 - 4/26. Suppose 2*v + v + h = 0. Is (-138)/v - 4/(-14) a multiple of 20?
True
Let j = 11 - 12. Let w = j - -12. Is w a multiple of 8?
False
Let a(l) = 0*l**3 - 2*l**2 - l**3 + 2*l**3 - 6 - 10*l + 9*l**2. Is a(-8) a multiple of 5?
True
Let y be (12/(-10))/(6/(-45)). Does 3 divide -1 + y + 0/2?
False
Let b = 8 - -18. Suppose b = 5*f - 14. Does 4 divide f?
True
Suppose 18*c = 14*c + 52. Is 4 a factor of c?
False
Suppose 5*r - 3*g + 30 - 72 = 0, -2*r + 32 = -5*g. Suppose x - r = 98. Does 9 divide (-4)/(-6) - x/(-6)?
True
Let n(d) be the first derivative of d**6/180 + d**5/30 + d**4/12 + d**3 + 1. Let r(x) be the third derivative of n(x). Is r(-4) a multiple of 9?
True
Suppose -5*n + 100 = -h + 330, 2*h = -3*n + 512. Is h a multiple of 14?
False
Let w = 26 - -29. Does 10 divide w?
False
Let n(c) = -c**3 - 4*c**2 + 9*c - 2. Is 26 a factor of n(-8)?
True
Let f be (-6)/12 + 1/2. Suppose -116 = -3*n + 2*g + 2*g, 5*n - g - 216 = f. Is n a multiple of 14?
False
Let p = -36 - -47. Does 7 divide p?
False
Let n(w) = w**3 - 3*w**2 + 4*w. Let q = 2 - -1. Let t be n(q). Suppose -j - j = -t. Is 3 a factor of j?
True
Is 6*2/(-4)*-29 a multiple of 13?
False
Let g = 0 - -4. Suppose o = g*o - 81. Suppose 4*j - 91 + o = 0. Is 11 a factor of j?
False
Suppose 2*q = 4*q - 86. Suppose 3*n + 4*x - 39 = 0, -4*n + 3*x + q = -9. Is n a multiple of 9?
False
Let y(j) = -j**3 - j + 4. Let f(g) = 5*g**3 + 5*g - 17. Let b(o) = -2*f(o) - 9*y(o). Is 15 a factor of b(-3)?
False
Let u(n) = -n + 6. Let d be u(5). Let j(a) = 9*a**3 - 1. Does 5 divide j(d)?
False
Does 8 divide (-6)/4 + 871/26?
True
Suppose -5*s - 5*w = -w + 57, -24 = 3*s - w. Let x = -6 - s. Suppose -x*t - 15 = -4*t. Is t a multiple of 15?
True
Let p = 20 + -17. Suppose p*c - 113 = 73. Is c a multiple of 15?
False
Let z(r) = 13*r - 56. Does 16 divide z(8)?
True
Suppose 0*d + 243 = 4*j - 5*d, 2*j = -d + 111. Does 15 divide j?
False
Suppose g - 2 = 2. Suppose -6 = t + 2*w + 3*w, g*t - 4*w - 96 = 0. Let z = -5 + t. Does 7 divide z?
True
Let z(q) = q**3 - 7*q**2 + q - 4. Is 17 a factor of z(8)?
True
Let y(l) = -l + 2. Let r = 21 - 15. Let f = -16 + r. Does 12 divide y(f)?
True
Suppose -4*i - 5*y + 4 = -32, 3*i - 46 = y. Does 14 divide i?
True
Suppose -60*s + 57*s = -306. Does 34 divide s?
True
Suppose -108 = -2*o + 6*o. Suppose 2*l + 4 + 8 = 0. Is 16 a factor of (-136)/l + (-9)/o?
False
Let o(r) = r - 1. Suppose -4*f = -8*f + 36. Is 8 a factor of o(f)?
True
Let r(j) = j**2 + 6*j + 1. Suppose 5*m = 16 + 9. Suppose 0 = -2*d + 5*s - 11, s - 38 = m*d - s. Does 11 divide r(d)?
False
Let t = -348 + 594. Suppose 4*k - h = 243, 4*k = 3*h - h + t. Does 20 divide k?
True
Let w(z) = -z**2 + z + 55. Let m be w(0). Suppose -4*l + m = -125. Is l a multiple of 14?
False
Suppose f = 2*f + 1. Does 4 divide ((-2 - -13)*-1)/f?
False
Let b be 0/(3 + 0) - -73. Suppose -x = 3 - 1, -5*d + 4*x + b = 0. Does 10 divide d?
False
Suppose 10 = -w - 4*w, 3*v = w - 7. Let h be (1/4)/(v/(-12)). Is 14 a factor of (1/(-1))/h - -19?
False
Suppose -3*q + 3 = -0. Let k be ((-2)/(-1))/(q - 0). Suppose 2*s - k*a = 44, -4*a + 52 = 2*s + s. Is s a multiple of 20?
True
Let z = -110 - 116. Let i = 324 + z. Does 19 divide i?
False
Let v(z) = -14*z + 4. Let r(u) = -27*u + 7. Let b(f) = -3*r(f) + 5*v(f). Suppose -5*j = g - 8, 2*g + 1 = 4*g - 5*j. Does 11 divide b(g)?
False
Is 25 a factor of (-4)/26 - (-7420)/65?
False
Suppose -3*q = 2*q - 25. Suppose -4*t - 5*v = -218, q*t - v + 17 = 275. Suppose 6*x = 2*x + t. Does 13 divide x?
True
Suppose -456 = -3*s + h, 0 = -s + 5*h + 35 + 103. Is s a multiple of 18?
False
Let q(c) = -5*c**2 + c**3 + 6*c + 3 - 3 - 1. Is 13 a factor of q(5)?
False
Let l(f) = -3*f + 6. Is 13 a factor of l(-6)?
False
Let n = -24 + 38. Let y = 23 + n. Is 17 a factor of y?
False
Suppose -5*b - 17 = 18. Let o(z) be the third derivative of -z**6/120 - z**5/10 + z**4/8 + 4*z**3/3 - z**2. Is o(b) a multiple of 12?
True
Suppose h - 4 = -h. Suppose -s - 24 = -h*s. Is s a multiple of 12?
True
Let i be (-2)/(-10) - 96/(-20). Suppose -2*x = -i*v + 48, -9 = -3*v - 4*x - 1. Is v a multiple of 6?
False
Does 22 divide (-36)/(-162) + (-1375)/(-9)?
False
Suppose -2*v + 41 = -x, -3*x - 20 = -v + 3. Let a = -30 - -62. Suppose v + a = 2*j. Does 15 divide j?
False
Let w(r) = -2*r + 4. Let y be w(-5). Let s be y*-2*3/6. Let v = 25 + s. Is 8 a factor of v?
False
Let p = 88 + -34. Is p a multiple of 9?
True
Let v be 5/(-2)*(-6 + -4). Suppose -2*w + v = 3*w. Is w a multiple of 2?
False
Suppose 5*g - 8 - 2 = 0. Suppose 160 = 4*w + 4*c, 0*c - 78 = -g*w - 4*c. Does 10 divide w?
False
Let h be (-2 + 5)*(-4)/3. Let w = -4 - h.