tiple of 4?
True
Does 26 divide -13*720/(-12 - -7)?
True
Suppose -4*h - 5823 = z - 6*z, 2*h = 3*z - 3493. Is 19 a factor of z?
False
Let p = 239 + 718. Does 8 divide p?
False
Suppose 0 = 4*p - 4*h - 32, -5*p + 4*h - 3*h + 60 = 0. Suppose 5*s - p = -0*s + 3*z, -3*z - 3 = -3*s. Is 5 a factor of s?
True
Let d be -4*(-1 + -1)/(-2). Let b(r) = r**3 - r - 16. Let j be b(0). Does 17 divide 0 + d/(j/204)?
True
Let g = 63 + -65. Is 8 a factor of 35 - (0 - (2 - (g + 8)))?
False
Let x be (-6)/21 - (-46)/14. Let z = 16 - 12. Suppose x*b + 6*m - 49 = m, -z*b + m + 73 = 0. Is b a multiple of 18?
True
Let r = -6 + 8. Let o be 1/r*-2 - -4. Suppose -2*k + 40 = 3*b, b + b - 30 = -o*k. Is b a multiple of 11?
False
Let c = -1 + 11. Let g(u) be the second derivative of u**5/20 - 5*u**4/6 + 5*u**3/6 - 3*u**2/2 + 8*u - 3. Does 25 divide g(c)?
False
Suppose -2*s + z + 58 = -s, -3*s = -z - 178. Does 18 divide s?
False
Suppose 5*y = -4*f + 2308, -3*f + 4*y = 7*y - 1734. Does 9 divide f?
False
Let i be (-24)/(-3) - (2 - 6). Suppose -k = 2*k - i. Suppose k*b = -w + 90, -3*b + 2*w - 2 + 75 = 0. Does 22 divide b?
False
Suppose 0*s - 1 = s - y, 0 = 5*s + 3*y + 5. Is -4 + 543/4 + s/(-4) a multiple of 14?
False
Let m(x) = 10*x - 103. Is m(16) a multiple of 49?
False
Suppose 3*r = 21*r - 8100. Is r a multiple of 45?
True
Let d = -23 + 97. Let u(n) = -7*n**3 + 4*n**2 + 4*n - 2. Let r be u(-2). Suppose -d = -3*y - 4*h - 25, 4*y + 2*h - r = 0. Is y a multiple of 7?
False
Let a be ((-39)/(-15) - 3)*-5. Suppose -a*v + 49 = 4*m - 3*v, -2*m = -4*v - 28. Does 12 divide m?
True
Let i be -11*((-228)/44 + 5). Suppose 0 = -i*h + 324 - 120. Is h a multiple of 34?
True
Suppose -12*c + 15*c + 2*m - 476 = 0, 3*m - 12 = 0. Is c a multiple of 52?
True
Let v be -38*(0 + 3) + 1. Suppose -477 = -3*h - n, -n - 164 = -h - 3*n. Let k = v + h. Is 26 a factor of k?
False
Let l(x) = 2*x + 5. Let s be l(-15). Let p = s + 41. Is p a multiple of 16?
True
Suppose -5*c + 4*l + 8 = -0*c, 2*c - l - 5 = 0. Suppose c = r, -52 = -4*f + 5*r - 0*r. Suppose 0 = 3*s + f - 57. Does 13 divide s?
True
Let j = 50 + 31. Suppose -405 = -4*g - j. Is g a multiple of 28?
False
Suppose -5*n = -292 - 1458. Is n a multiple of 14?
True
Let b = -12 - -14. Let q be (16/12)/(b/6). Suppose -3*o + 33 = q*f, 3*f - 2*f - 42 = -3*o. Does 12 divide o?
False
Is (-453)/(-6) + -4 + 9/2 a multiple of 38?
True
Let b = 82 - -462. Is b a multiple of 17?
True
Suppose 207 = h + 35. Suppose -l - l = 5*g + h, -2*g - 2*l = 64. Let s = 39 + g. Does 3 divide s?
True
Let p be 372/132 + (-2)/(-11). Suppose v + 1 = 5*h + 26, -5*h - 5 = p*v. Let b = h - -9. Is 5 a factor of b?
True
Suppose 4*r = b - 2, 0*r - 5*r = 2*b - 4. Let m(u) = u**3 - u**2 + u + 84. Is m(r) a multiple of 14?
True
Let j = -206 + 494. Is ((-10)/(-15))/(4/j) a multiple of 8?
True
Let l(a) = -13*a + 242. Is l(16) even?
True
Let q(c) = -93*c**3 - 3*c**2 + 2*c + 2. Is 2 a factor of q(-1)?
True
Let p be 4/10 - (294/35 + -8). Suppose -5*k + 106 = -29. Suppose p = 2*i - 67 + k. Does 15 divide i?
False
Suppose 4*f - 40662 = -14*f. Does 11 divide f?
False
Suppose 445*c + 126 = 451*c. Is c even?
False
Suppose 5*r + 225 = 10*r. Suppose -42 = r*f - 51*f. Does 7 divide f?
True
Let v = 52 + -52. Suppose v*n = -4*n + 116. Is n a multiple of 6?
False
Let w(d) = -d - 7. Let h be w(-10). Let q be ((-15)/(-10))/(h/10). Suppose -3*z = -m + 12, -m + z + q = -3. Is m a multiple of 6?
True
Suppose 2*z = -a + 479, 4*a = 6*a - 5*z - 994. Does 17 divide a?
False
Suppose -m - 56 + 5 = 0. Let o = -23 - m. Does 3 divide o?
False
Suppose 5*z + 8*s = 4*s + 1668, 0 = 3*z + s - 1005. Is 56 a factor of z?
True
Suppose 3*l = -2*l + 125. Let q = -16 + l. Suppose -i + 20 + q = 0. Is i a multiple of 15?
False
Let k(y) = -y**3 + 7*y**2 + 9. Let i be k(7). Let z = 0 + i. Does 3 divide z?
True
Let v(t) = -2*t**3 - 30*t**2 + 30*t + 41. Is 9 a factor of v(-17)?
False
Suppose -1 = -4*r + 7. Suppose 6*u = r*u + l + 256, -4*u + 5*l = -256. Is 16 a factor of u?
True
Let f(n) = -4*n**3 - 11*n**2 + 5*n + 4. Let r(g) = -11*g**3 - 32*g**2 + 16*g + 13. Let x(j) = -8*f(j) + 3*r(j). Is 6 a factor of x(-9)?
False
Suppose 4*i = -3*j + 456, 0 = -4*j + j + 2*i + 456. Is 10 a factor of j?
False
Let c(k) be the first derivative of k**4/4 - 5*k**3/3 - 5*k**2/2 - 12*k + 4. Is 17 a factor of c(7)?
True
Let h(v) = 13*v - 2. Does 5 divide h(9)?
True
Let v(f) = f**3 + 73*f**2 - 139*f - 73. Is 23 a factor of v(-74)?
False
Let j(y) = 171*y + 100. Is 31 a factor of j(4)?
False
Let k = 149 + 6. Does 21 divide k?
False
Let t(i) be the first derivative of -i**4/4 - 5*i**3/3 - i**2 - 12*i - 5. Let l be t(-6). Suppose -l - 18 = -3*g. Is g a multiple of 6?
True
Suppose 5*c = 5*z + 125, -4*c - z = 4*z - 91. Let o = c - 14. Suppose -q + o = 4. Is q a multiple of 6?
True
Suppose -2*t = -t - 1. Let p = t + 2. Suppose 13 = -p*c + 70. Is 19 a factor of c?
True
Let n(k) = k + 42. Let j be n(-9). Suppose -2*y - d - j = -3*y, 3*d + 41 = y. Is y a multiple of 6?
False
Suppose 627*s - 624*s - 5004 = 0. Does 7 divide s?
False
Suppose d + 26 = 31. Suppose 0 = 4*p - d*p + 48. Is p a multiple of 14?
False
Suppose -20 = 4*y, -85 = 23*u - 24*u + 5*y. Is u a multiple of 4?
True
Let u(c) = 3*c**2 - 5*c + 2596. Is 8 a factor of u(0)?
False
Is ((-3 - -5) + -2)/(-2) - -84 a multiple of 3?
True
Let b be 6/(-2) + 0/5. Let k be (b - -3) + 296 + -5. Suppose 0 = -5*d - 3*h + k, 218 = 2*d + 2*d - 5*h. Is d a multiple of 19?
True
Does 19 divide ((-332)/(-6))/(85/255)?
False
Let a(n) = -n**3 + 2*n**2 + 3*n + 5. Let w be a(4). Let f = w - -24. Let p = f + 41. Is 25 a factor of p?
True
Let s(m) = 11*m**3 - 3*m**2 + 10*m - 12. Is s(2) a multiple of 14?
True
Suppose -67*n = -71*n + 2800. Does 25 divide n?
True
Let u(g) be the second derivative of g**5/20 + 7*g**4/12 - 11*g**3/6 - 2*g**2 - g. Let w = 22 + -30. Is 11 a factor of u(w)?
False
Suppose -3*n - 6 = 4*v + 9, v - 3*n = 0. Is 3 a factor of ((-9)/15)/(v + (-70)/(-25))?
True
Let y(n) = -272*n**3 + n**2. Is 13 a factor of y(-1)?
True
Let z = 1322 - 820. Does 15 divide z?
False
Let t(v) = 4*v**3 - v**2 - 3*v + 2. Let b = 16 + -11. Suppose 16 = b*y + 6. Is 12 a factor of t(y)?
True
Let y(f) = -1 - 5*f**2 + 19*f**2 + 2*f - 3*f - 7*f. Does 8 divide y(2)?
False
Let d be 400/65 - (-6)/(-39). Suppose -76 = -5*l - d. Suppose -l = -r - r. Is r a multiple of 7?
True
Let j be (-176 - 4)/(-4) + -4. Let b = j + 0. Let i = -28 + b. Is 3 a factor of i?
False
Suppose -53*q + 50*q - 207 = 0. Let m = q - -122. Does 8 divide m?
False
Let c = -257 - -1765. Is 53 a factor of c?
False
Let p(f) = f**3 + 8*f**2 + 3*f - 6. Suppose s + 16 = -s. Let b be p(s). Is b*(11/(-2) - -4) a multiple of 17?
False
Let o(c) = -5*c**3 - 21*c**2 + 16*c - 28. Let t(k) = 4*k**3 + 21*k**2 - 17*k + 27. Let d(w) = -5*o(w) - 6*t(w). Is d(20) a multiple of 18?
True
Let s(q) = q + 14. Let f be s(-7). Suppose 0 = -2*h + h + 5*g + 23, -f = -h + g. Suppose 5*i = -4*c + 215 + 59, -111 = -2*i - h*c. Does 18 divide i?
True
Let u = 16 + -1. Let y = u - -3. Is y a multiple of 18?
True
Let r = 383 + -274. Is 38 a factor of r?
False
Suppose g - 534 = 5*m - 84, -4*g + 5*m + 1800 = 0. Is 25 a factor of g?
True
Let g(k) = -4*k + 6. Let v(q) = 9*q - 12. Let j(d) = -5*g(d) - 2*v(d). Let l be j(4). Suppose x = -m + 28, -2*m + 0*m + 56 = -l*x. Is m a multiple of 14?
True
Suppose -5*j - 2*p + 17 = 0, 2*j + 2*p + 18 = 4*j. Is (588/j - 0) + (-9)/15 a multiple of 25?
False
Let k = 18 - 41. Let b be (-154)/4 - 2/(-4). Let a = k - b. Is a a multiple of 5?
True
Suppose 196 = 5*p - d - 433, -2*p - 4*d + 256 = 0. Does 14 divide p?
True
Suppose 0 = -3*b + 6*b - 3*x - 690, 4*x - 478 = -2*b. Does 7 divide b?
False
Let s(c) = 4*c**2 + 143*c - 129. Does 25 divide s(-37)?
False
Let w(x) = x**2 - 11*x + 90. Is w(41) a multiple of 55?
True
Suppose 11*a = 577 + 83. Is 20 a factor of a?
True
Let x(o) = -4*o - 11. Let h be x(-8). Suppose r + 66 = -h. Does 6 divide (r/9)/(2/(-6))?
False
Let h(c) = 21*c - 2. Let i(n) = n**2 + 84*n - 7. Let j(l) = 9*h(l) - 2*i(l). Does 4 divide j(9)?
False
Let z = -90 + 34. Suppose -5*s + 1325 - 547 = 4*p, -3*s = -4*p - 454. Let c = s + z. Does 26 divide c?
False
Let r(i) = 5*i - 19. Let h be r(7). Suppose -l + h = -32. Is 12 a factor of l?
True
Let g be 4/2 - (3 + -19). Suppose y = -y + 