multiple of 19?
True
Let p(y) = -y**3 + 7*y**2 - 2*y - 1. Is 6 a factor of p(5)?
False
Suppose -5*n + 4*d = 0, n = -5*d + d. Suppose -5*l + 11 = -o, 4*l + 2*o = 6 - n. Suppose 0 = -3*k - 3*p + 57, 3*k - l*p - 106 = -k. Does 12 divide k?
True
Suppose -2 = -m + 1. Suppose -4*j = -3*r + 182, -2*r + 3*j + 296 = m*r. Is 20 a factor of r?
False
Suppose -b + 2*h + 72 = 0, -4*b - h = h - 268. Suppose -4*r + 57 = 3*o - 58, 0 = -2*r + 2*o + b. Is 18 a factor of r?
False
Let m = 0 + 4. Suppose -l - m = 4*z + 24, z + l + 10 = 0. Let j = 33 + z. Does 12 divide j?
False
Let v be (-1)/(0 - -1) - 20. Let w = v - -33. Does 5 divide w?
False
Let g = -105 - -149. Is 13 a factor of (62/8)/(11/g)?
False
Let f be (-3)/(((-4)/(-17))/4). Does 26 divide -2 - f - (-5 - -2)?
True
Suppose p + 3*r + 1 = -1, 2 = -r. Suppose p*g + 3*a - 3 = -0*g, 18 = 4*g - 2*a. Is g a multiple of 2?
False
Suppose -200 = -2*j - q - 48, -2*j - 4*q + 146 = 0. Does 11 divide j?
True
Let b(j) = 8*j - 1. Let o(q) = 47*q - 2. Let l(v) = 23*v - 1. Let p(y) = 13*l(y) - 6*o(y). Let x(w) = 5*b(w) - 3*p(w). Is 23 a factor of x(-4)?
False
Let g(w) = 9*w + 2. Does 10 divide g(2)?
True
Suppose 175 + 160 = 5*n. Does 19 divide n?
False
Suppose 5*v - 2*v = 2*u + 6, -2*u = -4*v + 6. Suppose 2*g + q = 9, -5*g + 4 = -5*q - 11. Suppose v = h - g, -h + 58 = 4*n - 34. Is 8 a factor of n?
False
Let x(c) = c + 21. Is x(-14) a multiple of 3?
False
Let c(j) = j + 21. Is c(-17) a multiple of 4?
True
Let l = -5 + 5. Let q = l + 3. Suppose -4*n + q = -13. Is n a multiple of 2?
True
Let g(b) = b**3 + 11*b**2 - 18*b - 30. Is 21 a factor of g(-11)?
True
Let z be (13/3)/(2/6). Let n = z + -9. Suppose n*l - 113 = -8*k + 3*k, 4*l - 122 = -2*k. Is l a multiple of 16?
True
Let v(c) = -3*c + 1. Let w be v(8). Let z = -57 - -91. Let a = w + z. Does 4 divide a?
False
Suppose 0 = 12*b - 10*b - 384. Is 12 a factor of b?
True
Let l(k) = 101*k - 15. Does 16 divide l(3)?
True
Let i(z) = -69*z**3 - z. Let a be i(-1). Let p = a + -50. Is 8 a factor of p?
False
Let r be (-10)/25 + (-114)/(-10). Let s = r + -1. Suppose -5*t + 31 = -3*d, -t + s = -4*d - 3. Does 2 divide t?
False
Let q(o) = 14*o**2 + 3*o - 2. Let b(t) = -t**2 - 4*t + 2. Let s be b(-4). Does 30 divide q(s)?
True
Is ((-45)/(-1))/(5/20*6) a multiple of 6?
True
Let c(l) = -l**2 + 5*l + 1. Let m be c(4). Suppose m*q = 10 + 15. Does 3 divide q?
False
Let p = -200 + 308. Is 18 a factor of p?
True
Let r be ((-2)/(-3))/((-3)/(-702)). Suppose 2*f + r = 4*b, -3*b - f + 3*f + 117 = 0. Does 10 divide b?
False
Suppose 3*g - 525 = -84. Is g a multiple of 21?
True
Suppose c - 473 = o - 5*o, -493 = -4*o - 5*c. Is 32 a factor of o?
False
Let s(g) = 6*g + 10. Let i be s(9). Suppose 9 = 3*h - 6. Suppose i = h*y - 3*y. Does 23 divide y?
False
Let x(w) = 6*w + 25. Is 46 a factor of x(12)?
False
Let q be 4/5*(-85)/(-2). Suppose -112 = -6*n - q. Does 13 divide n?
True
Let j = 255 + -112. Does 13 divide j?
True
Let s = -19 - -63. Suppose -r + s = r. Is 4 a factor of 8/(-44) + 180/r?
True
Let h be (-272)/(-72) + (-2)/(-9). Suppose 35 = p - 2*q, -2*p + 0*q = h*q - 70. Does 13 divide p?
False
Let l = 23 - 4. Let f(z) = 31*z**3 + z**2 - z. Let k be f(1). Let a = k - l. Is 9 a factor of a?
False
Suppose -5*k + 1 = 6. Let o be k/4 + (-5)/(-20). Suppose -5*z + 5*h = -o*h - 60, -z + 4*h = -9. Is z a multiple of 13?
True
Let v = 12 + -9. Let h be (v - 5)/((-2)/5). Suppose 0 = 2*p - h*o - 18, -6*p + 22 = -p - o. Does 3 divide p?
False
Let l = 137 + -87. Does 10 divide l?
True
Let u(w) = -w**2 + 11*w + 8. Does 2 divide u(11)?
True
Let a(r) = -r**3 + 4*r**2 - 2*r - 2. Let d be a(2). Suppose -5*f + 38 = 4*w, -9 = -d*w - 5*f + 15. Is w a multiple of 5?
False
Let v = 71 - 31. Is v a multiple of 8?
True
Let o(y) = -17*y - 35. Does 12 divide o(-4)?
False
Suppose 94 = -5*n - 71. Let q = n - -54. Suppose 0 = 4*k - 5*c - 57, -2*c = k - c - q. Does 12 divide k?
False
Let i(q) = 5*q - 5. Let j(t) = 4*t - 5. Let h(z) = 3*i(z) - 4*j(z). Does 3 divide h(-4)?
True
Suppose 4*z + 2*j - 6 = -0*z, -3*z + 6 = j. Suppose 0 = z*s + 2*s + 5*i - 85, -s - 2*i = -14. Is 8 a factor of s?
False
Let q(y) = -y**3 - 4*y**2 + 4*y - 6. Let c be q(-5). Let n = c - -4. Does 2 divide n?
False
Let h(i) = -i**2 - 5*i - 5. Let c(j) = -j**2 - 4*j - 4. Let l(g) = -5*c(g) + 4*h(g). Let q be 0/(1 - 0) + -5. Is 8 a factor of l(q)?
False
Let x(s) be the third derivative of 0 + 2*s**2 + 1/6*s**3 + 0*s + 1/24*s**4 + 7/30*s**5. Is 22 a factor of x(-2)?
False
Suppose -3 - 1 = c, 5*c = 5*b. Does 7 divide 3 + b/(4 - 5)?
True
Suppose 879 = 3*n - 4*s - 728, -3*n + 3*s = -1611. Does 36 divide n?
False
Let v(g) = 6*g**2 + 2*g + 1. Let u(z) be the first derivative of z**4/4 + 7*z**3/3 + 7*z**2/2 + 5*z + 2. Let o be u(-6). Is 4 a factor of v(o)?
False
Let p = -4 - -9. Let g(l) = -l**3 + 6*l**2 + 2*l - 2. Let w be g(p). Suppose 2*y - w = 19. Does 10 divide y?
False
Suppose 0 = 2*k + 64 - 484. Is 30 a factor of k?
True
Let t be 0 - 1 - (-4 - -3). Let m = 2 - t. Suppose 5*c + 0*r + m*r - 71 = 0, 4*r + 53 = 5*c. Is 6 a factor of c?
False
Suppose 0*g - 3*g + 24 = -3*v, v = -4*g + 17. Let t(k) = -4*k + 2. Is t(v) a multiple of 14?
True
Let k be (-14)/(-10) + (-6)/(-10). Suppose 5*o = -c + 376, k*c = 4*o - 57 - 241. Suppose -2*m - o = -5*m. Is 12 a factor of m?
False
Let v(l) = -l**2 + 8*l - 4. Let c be v(7). Suppose 0 = -4*g + 2*q - c*q + 32, q = g - 3. Is 7 a factor of g?
True
Let m(u) = u**3 - 12*u**2 + 7*u - 14. Suppose -3*z = -5*f - z + 66, 4*f + 4*z = 36. Is 30 a factor of m(f)?
False
Does 31 divide 6/((-6)/(-101)) + 1 + 0?
False
Let k = 296 - 186. Suppose 5 = -5*s + k. Is 21 a factor of s?
True
Suppose 4*f + 4*m = -f + 141, f + 4*m = 41. Is f a multiple of 12?
False
Let z be 24/(-32) + (-22)/(-8). Suppose -z*h + 82 + 10 = -2*g, h + 4*g - 41 = 0. Is h a multiple of 21?
False
Suppose 0 = 3*t - 5 - 16. Suppose -18 = -t*c + 4*c. Suppose 5*m - 100 = -5*q, 2*m - c*m + 70 = 2*q. Is m a multiple of 6?
False
Let w(z) = -z**3 + 9*z**2 - 6*z. Suppose -17 = -5*s + 13. Let t be w(s). Suppose -3*d + t = -84. Is 26 a factor of d?
True
Let f = 1 + -2. Let q be (-3)/(f + (-3)/6). Suppose -15 = q*m - 71. Does 14 divide m?
True
Suppose 3*d - 4*d = 0. Suppose d*j - 2*j = -30. Does 5 divide j?
True
Let w = -11 - -16. Does 2 divide (w/(-3) - -2)*30?
True
Let d(m) = 2*m**3 - 8*m**2 - 2*m - 7. Let y be d(6). Let q = 179 - y. Is 11 a factor of q?
False
Suppose 0 = -4*w - 4*r + 58 + 118, 2*w - 116 = 5*r. Does 24 divide w?
True
Suppose 5*g + 95 = 10*g. Let m = g + 16. Is 14 a factor of m?
False
Suppose 0 + 10 = 5*l. Suppose -6*a = -l*a - 96. Does 11 divide a?
False
Let c = 15 - 11. Does 16 divide c/(-2) - 36*-1?
False
Suppose -a + 20 = -0. Does 10 divide a?
True
Let j(u) = 29*u - 9. Does 6 divide j(3)?
True
Let c be (-1*6 + 1)/(-1). Let g(r) = -r**2 - 16*r. Let x be g(-16). Suppose c*h + 4*s = -10, 5*h - 4*s - 30 = -x*s. Is h even?
True
Is (-98)/(-21) + (-4)/6 even?
True
Does 18 divide ((-32)/20)/4*-70?
False
Let x = 22 + -17. Is 3 a factor of x?
False
Suppose 1 = -5*v - 9. Suppose -4*t - 3*y = 11, -4*t + 5*y - 4 + 1 = 0. Is 1 - ((v - t) + -20) a multiple of 21?
True
Let h = 15 + -9. Suppose 0 = h*a - 4*a - 38. Does 6 divide a?
False
Let v = 5 - 1. Suppose v*b - b - 3 = 0. Is 12/b - 2/1 a multiple of 9?
False
Suppose 0*w - 5*w - 3*s = 39, 3*s + 21 = -2*w. Does 8 divide (-1)/(-6) - 95/w?
True
Is (3 + -58)*-1 + -4 a multiple of 17?
True
Does 5 divide 3 - ((-48)/4 - (0 - 2))?
False
Suppose -5*b = 5*m - 35, -4*b - m + 31 = 4*m. Let w = b + 5. Is 3 a factor of w?
True
Suppose 0 = -5*a - 2*g + 7 + 14, -13 = -3*a - g. Let p = 18 - a. Is p a multiple of 10?
False
Let z(p) = -6*p + 1. Does 7 divide z(-3)?
False
Let w(d) = -2*d - 14. Let z be w(-6). Is 15 a factor of (5/z)/((-1)/18)?
True
Suppose 3*d - 45 = -3*s, 5*s - 4*d - 12 = 108. Let t = -2 + s. Is 15 a factor of t?
False
Let h = -6 + 12. Suppose 2*m - h*s = -s + 107, 2*s = -5*m + 224. Suppose 4*z = m + 46. Is 8 a factor of z?
False
Does 16 divide (-576)/20*1*-5?
True
Let d(r) = -40*r + 18. Is d(-5) a multiple of 11?
False
Let i be 1 + 2 + 0 - -64. Let s = i - -1. Is s a multiple of 14?
False
Suppose f - 5*f + 4*g = -1332, 2*f - 5*g = 675. Suppose 7*j - f = 2*j. Is j a multiple of 18?
False
Suppose 2*p + b - 11 = 32, -5*b = -3*p + 58. Is 7 a 