0. Let t = 19 + 2. Suppose -t = -5*p + 2*p. Is 7 a factor of j(p)?
False
Let z = -28 - -51. Suppose 5*b - 8 = 4*l, 2*b - 6*b + l = -2. Suppose y + 2*j - 42 = -y, b = -y - 3*j + z. Is y a multiple of 10?
True
Let v(p) = 60*p. Let u be ((-1)/(-5))/((-3)/(-15)). Is 20 a factor of v(u)?
True
Let b(j) = 167*j**2 + 1. Is 12 a factor of b(-1)?
True
Let o = -218 + 422. Let c = o - 128. Let w = c + -45. Is w a multiple of 15?
False
Let q(a) = 0*a**2 - 4*a + a**2 + 0*a**2 + 10. Does 7 divide q(3)?
True
Suppose 5*d = -g + 183, -d + 4*g = -0*d - 24. Is 12 a factor of d?
True
Let a = -12 + 21. Is a even?
False
Let n(i) = -5 - 2 - 1 + 8*i + 9. Does 8 divide n(1)?
False
Let f = 6 - 2. Suppose -5*j + 38 + 124 = 3*a, -f*j + a + 133 = 0. Is j a multiple of 11?
True
Suppose 0 = 2*b + 399 + 177. Is 14 a factor of 1/1 + b/(-9)?
False
Let f be (-48)/(-28) - 4/(-14). Let s = f - -2. Is 2 a factor of s?
True
Let h(n) = 3*n**2 + 5*n + n - n**2 - 1 - 5. Let g be h(-5). Suppose g = t + 4*q, -5 = -4*q - 1. Is t a multiple of 10?
True
Let h be (2 - (-2 - -4))/1. Suppose 6 = -h*m + 2*m. Is 13 + 1/m*3 a multiple of 14?
True
Let o = -10 - -50. Is 11 a factor of o?
False
Does 22 divide 517/11 + 2/4*6?
False
Let l be (-3 - 0) + 5*2. Let v(r) be the third derivative of -r**6/120 + 3*r**5/20 - 5*r**4/12 + 4*r**3/3 - r**2. Does 15 divide v(l)?
False
Suppose -j - 55 = -6*j. Is 3 a factor of j?
False
Let l = 34 - -20. Let a = l - 12. Is a a multiple of 20?
False
Suppose 2*j - 30 = 5*h, 7*j - 4*j - 58 = h. Is 2 a factor of j?
True
Let l be 22/(-4) + (-2)/(-4). Let m = 1 + l. Let d = m + 8. Is 4 a factor of d?
True
Does 17 divide 6/(-27) - 263/(-9)?
False
Suppose -3*s = -6*s + 12. Suppose -2*w - w - k - s = 0, -3*w + 5*k = -20. Is 14 a factor of w - 3/(6/(-34))?
False
Suppose 135 = 4*n + n. Is 9 a factor of n?
True
Let u(p) = p**2 + 2*p. Let z be u(-4). Let r = 5 - 2. Suppose 0 = r*l - z*l + 80. Is 10 a factor of l?
False
Let m(k) = -2*k**3 + 5*k**2 - 2*k. Let r be m(3). Is (-2 + (-8)/(-6))*r a multiple of 10?
True
Let t = -5 - -10. Suppose 0*l = -t*l + 465. Does 24 divide l?
False
Suppose 5*y - 2 - 8 = 0. Suppose -y*h - 120 = -5*h. Is h a multiple of 20?
True
Let l = -21 - -78. Let a(y) = y**3 + 4*y**2 - y - 2. Let i be a(-4). Suppose 3*k - 3*z = l, 5*z + 50 = i*k - 0*z. Is k a multiple of 11?
False
Let u = 16 + -3. Let r be (2 + u)*(-4)/(-12). Suppose 0 = o + 4*o - r*k - 150, 0 = -o + 3*k + 34. Is o a multiple of 10?
False
Let q(t) = 22*t + 3. Is q(10) a multiple of 17?
False
Let n(w) = -w**3 + 7*w**2 + 5*w - 10. Is 13 a factor of n(5)?
True
Let g(s) = 100*s**2 - s - 2. Is 13 a factor of g(-1)?
False
Let m(a) = 18*a**2 + a + 2. Is 21 a factor of m(-2)?
False
Suppose -4*i - 2*g = g - 505, 5*g = 3*i - 386. Does 8 divide i?
False
Let g(m) = -2*m + 3 + 0 + 0. Is 7 a factor of g(-3)?
False
Is 30 a factor of (-12)/(-72) + (-418)/(-12)?
False
Suppose -v + 352 + 58 = 0. Is v a multiple of 10?
True
Let q = 116 + -79. Does 12 divide ((1 - q) + 0)*-1?
True
Let z = 86 - 43. Suppose -h = -z - 15. Does 12 divide h?
False
Suppose -5*u + 836 = 3*m, -8*m - 4*u = -4*m - 1104. Is 16 a factor of m?
True
Suppose 4*t + 2*o = 34, 5*t = -o + 6*o + 20. Suppose -4*f = -d - 18, 0 = 2*f - 3*d + 3 - t. Is 19 a factor of (-213)/(-4) - f/20?
False
Suppose -3*h + 18 = 3*r, -4*r = -h - 4*h - 33. Does 3 divide r?
False
Let o = 4 - 18. Suppose 5*r - 5*p = 5, -r - 4*p - 6 = 18. Let a = r - o. Is 8 a factor of a?
False
Let z be (-3)/3 - (18 + -1). Let s = z + 51. Is s a multiple of 14?
False
Let w(z) = -z**3 - z**2 + 4*z - 2. Let x = 2 - -2. Suppose -3*r - 5*g - 18 - 4 = 0, 2*g + 20 = -x*r. Is w(r) a multiple of 15?
True
Let u(a) = 2*a + 6. Let c be u(-4). Let y = 4 + c. Suppose 0 = 3*h + 4*v - 22, 0 = y*h - v - 1 - 21. Is h a multiple of 6?
False
Suppose -4*m - 7 = -h, m = -2*m - 3*h - 24. Let y(o) = -5*o + 0 - 2 - o. Is 12 a factor of y(m)?
False
Let c be ((-4)/(-10))/(1/(-5)). Does 16 divide -2 + 40 + (-2)/c?
False
Suppose z - 6 = -z, 0 = k + z - 54. Is 15 a factor of k?
False
Let r(n) = -n**3 - 7*n - 3. Let u(g) = -g**2 - g. Let b(v) = r(v) - 5*u(v). Let t be b(4). Suppose 0*h = t*h - 145. Does 18 divide h?
False
Suppose 0 = -4*m + 345 + 35. Is 31 a factor of m?
False
Is (21/2)/(((-9)/14)/(-9)) a multiple of 49?
True
Suppose -5*k + 10*k - 1 = -2*q, 5*q - k = 16. Suppose 310 = 5*x - 5*n, x - 312 = -4*x + q*n. Is x a multiple of 25?
False
Suppose 0 = -3*k - 4*w + 39 + 27, -5*w - 3 = -k. Is k a multiple of 3?
True
Let k be (-6)/(-4)*22/(-3). Let p = -3 - k. Is p a multiple of 4?
True
Suppose 5*u - 49 = 66. Is 18 a factor of u?
False
Let y(f) = f**2 - f + 2. Let r be (6/(-4))/(5/10). Let u be y(r). Is 3 a factor of 21/u - (-38)/4?
False
Suppose -5*a + 12 = 3*c - 2*a, -5*a - 5 = 0. Suppose c*o - 70 = -0*o. Is o a multiple of 7?
True
Let x(q) = 5*q + 2*q + q - 6 + q. Does 13 divide x(5)?
True
Is 38 a factor of (75 + 1)/(2/5)?
True
Suppose -8 + 62 = 3*v. Is v a multiple of 18?
True
Suppose -6*f - 3*f + 828 = 0. Is 46 a factor of f?
True
Let y(c) = c**3 + 5*c**2 - 8*c - 8. Let q be y(-6). Suppose -q*n + 0 + 12 = 0. Is n a multiple of 2?
False
Let o(j) = -9*j - 9. Let f(a) = a**2 + 4*a - 3. Let h be f(-3). Let n be o(h). Is 15 a factor of (-2)/9 + 1360/n?
True
Suppose 0 = 4*k - 302 - 286. Is k a multiple of 18?
False
Let w be 2/(-13) - 112/(-52). Suppose -j - 6*y = -w*y - 8, -2*y - 80 = -3*j. Is j a multiple of 12?
True
Suppose -3*f + 35 = -85. Is 20 a factor of f?
True
Suppose -a - 2*a = 0. Suppose a*h + h = 6. Let v(d) = d**3 - 4*d**2 - 7*d. Is 14 a factor of v(h)?
False
Let p be (-6)/(15/(-6) - -1). Let d(w) = -w - 1. Let t be d(p). Let r = t - -12. Does 4 divide r?
False
Let w(f) = f + 14. Let r be w(-10). Does 26 divide r/10 + (-188)/(-5)?
False
Suppose 0 = -9*s + 4*s + 100. Does 13 divide s?
False
Suppose -2*y + 40 = -3*j, -80 = -4*y - 2*j - 3*j. Suppose -h - y = -2*h. Is h a multiple of 8?
False
Is 15 a factor of (1 + 81)/(15 - 13)?
False
Let k be 4/10 - (-72)/20. Let d = 7 - k. Let b = 8 - d. Is b a multiple of 2?
False
Suppose 2*c - 3*a - 53 = -2*a, 4*a - 100 = -4*c. Is 6 a factor of c?
False
Does 21 divide 12/15*430/4?
False
Let p(k) = -3*k - 6. Let r(y) = y**3 - 3*y**2 - 6*y + 2. Let o = 5 + -1. Let u be r(o). Is 8 a factor of p(u)?
False
Suppose 2*c - 31 = -g + 3*c, 33 = g - 2*c. Suppose g + 15 = 4*k. Is 8 a factor of k?
False
Let f = -59 + 131. Suppose 0*x + 4*x = f. Is x a multiple of 6?
True
Let p = -107 + 318. Suppose s + p = 5*r, 2*r + s - 133 = -r. Suppose -r = -0*b - b. Does 22 divide b?
False
Suppose 2*w + 3 = -5*f, -2 + 0 = -5*w - 3*f. Suppose -6*l - h + w = -l, 0 = -4*l + h - 1. Suppose 3*r - 2*r - 11 = l. Is r a multiple of 6?
False
Let t(z) = 2*z + 4. Let m be t(6). Suppose -11 = 2*v - 3, u + m = -2*v. Let s(n) = -n - 3. Is 2 a factor of s(u)?
False
Let t be -2 - (3 - -2)*-1. Suppose -4*z - t = -11. Does 2 divide z?
True
Let x be 2/4*(3 - 1). Let y(q) = q. Let u be y(1). Is 13 a factor of (x/(-3))/(u/(-57))?
False
Suppose 0 = -3*n + 32 + 10. Suppose 0*z - z + n = 0. Is z a multiple of 7?
True
Suppose -4*n - 3*v + 100 = v, -4*n - v + 100 = 0. Does 6 divide n?
False
Let y(r) = r**3 + 2*r**2 - 3*r**2 + 0 + 3*r - 3. Let f be y(3). Let q = 66 - f. Is q a multiple of 21?
True
Let u = -31 - -46. Is u a multiple of 5?
True
Let f be 6/4*(-6)/(-9). Let g be (f/(-3))/(2/(-6)). Let s(h) = 31*h**2 + 1. Is s(g) a multiple of 11?
False
Let m(b) = -b**3 + 6*b**2 + 7*b + 6. Is 2 a factor of m(7)?
True
Is (-36)/((-21)/(-9) + -3) a multiple of 16?
False
Suppose -5*a + 6 = -19. Suppose -2*b + 27 = -b - a*k, 20 = 5*b - 2*k. Suppose b*f + 17 = 57. Is 9 a factor of f?
False
Suppose 2*c - 4*m = -3*c + 98, 8 = -4*m. Let i be (-2 - -4)*(-26)/4. Let f = c + i. Does 2 divide f?
False
Let a(x) = -4*x**2 - x - 2. Let p(f) = -f + 1. Let o be p(-3). Let n be a(o). Let h = -49 - n. Is 11 a factor of h?
False
Suppose z = -2*z + 6. Let a = z - -1. Suppose 0 = 4*i - 6*m + a*m - 67, -4*i - 4*m = -32. Does 13 divide i?
True
Let m = 6 - 0. Let y be (-3)/m - 7/(-2). Suppose p + y = 4*l, 12 = 2*p + l - 0. Is p a multiple of 4?
False
Let m = -1848 + 602. Does 5 divide 2/9 + m/(-63)?
True
Let d = 6 + 1. Suppose 4*i - d - 105 = 0. Is i a multiple of 9?
False
Suppose 4*i - 3*d - 195 = 0, -i - 7*d + 44 = -3*d. Suppose -i = -4*h - 2*q, 3*h 