ultiple of 20?
True
Suppose 3*q = -11 - 10. Let k(a) = a**2 + 9*a + 6. Let t be k(q). Let w = t + 17. Does 9 divide w?
True
Does 12 divide 2*(19 + -1)/3?
True
Let t be -2 + 1*(-21)/(-3). Suppose m = -t*d + 61, 0*d = -2*d - m + 22. Is d a multiple of 8?
False
Let y = -337 + 491. Is y a multiple of 16?
False
Suppose 36 = -3*m + 4*m. Is 15 a factor of m?
False
Let q(m) = m**2 + 3 - 2 - 5*m + 1. Let t be q(4). Is -2*(-1)/t - -24 a multiple of 9?
False
Suppose -o - o = 0. Suppose 3*p - p - 22 = o. Does 5 divide p?
False
Let f be (-22)/(-3) - 10/(-15). Suppose 4*p = -0 - f. Let u = 0 - p. Is u a multiple of 2?
True
Suppose 3*v - 20 = -2*v. Suppose -4*q - 19 = n, -n - 4*n - v*q = 15. Is (-60)/(-5) + n*2 a multiple of 8?
False
Suppose -5*w - 71 = -3*n - 549, 4*w - 2*n = 382. Is w a multiple of 24?
False
Let r be -20*(-2)/(-3)*-6. Suppose 5*t - r = 70. Is 10 a factor of t?
True
Let r(w) = 17*w - 3. Let g(p) = -52*p + 8. Let h(l) = 5*g(l) + 14*r(l). Is h(-2) a multiple of 14?
True
Does 11 divide (80 - 1) + -20 + 18?
True
Let l be (-1)/(3/(-6)) + 11. Suppose 24 = h - 5*h. Let q = h + l. Is q a multiple of 4?
False
Let k(y) = 2*y**2 - 12*y - 12. Let h(d) = -d**3 + 5*d**2 + 3*d - 6. Let q be h(5). Does 21 divide k(q)?
True
Suppose 280 = -2*b - 2*b. Let q = b - -27. Let m = -19 - q. Does 12 divide m?
True
Let k = -75 - -90. Is k a multiple of 5?
True
Suppose 3*x = 3 + 3. Suppose -4*p = -3 - 5. Suppose x*j = -p*j + 76. Is j a multiple of 13?
False
Let u = 2 + 8. Is 6 a factor of 20 - 5*4/u?
True
Let p be (-35)/15 + 2/6. Let l be p/(-9) + (-75)/(-27). Suppose -3*d = 4*i - 38, 0*d + l*i = 2*d + 3. Is d a multiple of 5?
False
Let x = -59 - 29. Let t = x + 124. Is t a multiple of 9?
True
Let c be 7/(-14)*(0 - -2). Is 19 a factor of c - ((2 - 2) + -87)?
False
Let o = 12 + -27. Let y = 33 + o. Is y a multiple of 9?
True
Suppose 3 - 23 = -k. Suppose x + 9 = k. Suppose -p = -2*z + x, 3*z + 3 - 47 = -4*p. Is z a multiple of 4?
True
Let l = 43 + 120. Suppose -5*u - l = -528. Is u a multiple of 19?
False
Suppose -8*j + 2088 = 232. Is 56 a factor of j?
False
Let p = 8 - 5. Let l = 1 + 1. Suppose 3*i + i = -5*n + 15, -l*n - 40 = -p*i. Is i a multiple of 10?
True
Suppose 3*c - c = -4*n - 72, 0 = -3*c - 3*n - 120. Let r = c + 75. Is 10 a factor of r?
False
Let g be (-2)/(-10) - 72/10. Let x(v) = -v**3 - 4*v**2 + 5*v + 8. Let k be x(g). Suppose 0 = -y - 2*y + k. Is y a multiple of 20?
True
Let x = 500 + -310. Is x a multiple of 34?
False
Suppose 5*u = 2*f - 3*f + 62, 2*u = -5*f + 264. Suppose 0 = 3*d - d - f. Is 7 a factor of d?
False
Let l(c) = 3*c**2 + 3*c - 2. Let s be l(3). Let u = 126 - s. Does 24 divide u?
False
Let v(r) = 3*r - r + 2*r**2 - 5*r - r**2 - 4. Is 14 a factor of v(-3)?
True
Suppose 2*s + 0*s + 2 = 0. Let i = s + 3. Does 4 divide i/(-3)*54/(-4)?
False
Let a(k) = -k - 4. Let x be a(-5). Let s be 1/(x - (-8)/(-10)). Suppose 3*j - s*w - 52 = j, 4*j - 52 = -3*w. Is 16 a factor of j?
True
Let u(z) = 147*z**2 + z + 2. Let f be u(-1). Let s = f - 64. Does 14 divide s?
True
Let k(o) = o**2 - 7*o - 42. Is 29 a factor of k(13)?
False
Suppose -4*u = 3*o - 39, 8*u - 27 = 5*u - 3*o. Is u a multiple of 3?
True
Suppose 3 = z - 4*z. Let p(m) = -24*m**3 + 2*m + 1. Does 23 divide p(z)?
True
Suppose 2*s - 4*s + 54 = 0. Is 12 a factor of s?
False
Suppose 5*j + 21 = 4*m, -4*j - 5 = -m - 3*j. Suppose 0 = 3*c - h - 235, c = m*c + 5*h - 211. Suppose 2*o - c = -5*d, d = 4*o + 8 + 3. Does 15 divide d?
True
Let i = 96 - 37. Let v(z) = -3*z**2 - 3*z. Let d be v(-4). Let t = d + i. Is t a multiple of 9?
False
Is 3 a factor of (0 + -1)/(14/(-70))?
False
Let p(a) = a**3 - 11*a**2 + 3*a + 14. Does 4 divide p(11)?
False
Let i(r) = 4*r - 8. Is i(7) a multiple of 8?
False
Suppose -3*a + 8*a - 5*y - 295 = 0, 4*a - 276 = -4*y. Does 16 divide a?
True
Let z = 70 + -34. Is z a multiple of 8?
False
Suppose 2*l - 3 - 5 = 0. Suppose 2*d - 24 = -l*s, -d - 4*s + 11 = -7. Is d a multiple of 4?
False
Let b be (0 + -7)*(-6)/(-6). Let u = -22 - -8. Let n = b - u. Is 7 a factor of n?
True
Let q = 20 + -14. Does 3 divide q?
True
Let t = 10 + 0. Let f(n) = n**3 + n**2 - 2 + t*n + 9*n**2 - 4. Does 21 divide f(-8)?
True
Let s = -14 + 18. Is s a multiple of 3?
False
Suppose 5*i - 5*d - 40 = 0, -32 = -4*i - 2*d - 2*d. Is i a multiple of 4?
True
Suppose 0 = -0*c - 5*c + 480. Suppose -2*a + 69 = f, -3*a - f + c = -2*f. Does 11 divide a?
True
Is 9 a factor of 312/7 + (-3)/(-7)?
True
Let q = -108 - -154. Let o = -29 + q. Does 8 divide o?
False
Is 26 a factor of 3 - (-1 - (-5)/5 - 127)?
True
Suppose -o = b + 2*o - 50, -b + 3*o + 26 = 0. Does 17 divide b?
False
Suppose -5*t = -20, -t + 592 = 4*q + 144. Is q a multiple of 6?
False
Let u = 72 - 2. Is 14 a factor of u?
True
Suppose 0 = -4*g - 7*z + 4*z + 125, 0 = -g + 4*z + 36. Does 12 divide g?
False
Suppose -2*a + 6 = 2*s, -2*a + 4*s - 17 + 5 = 0. Suppose 48 = 5*c - 3*p, a = 3*c - c - 5*p - 23. Is 9 a factor of c?
True
Suppose -3*m - 2*m + 540 = -4*v, 2*v - 216 = -2*m. Does 9 divide m?
True
Let l = 64 + -42. Does 5 divide l?
False
Let y(g) = -4*g**3 + 2*g**2 + 3*g + 3. Does 7 divide y(-2)?
False
Suppose 8*m + 16 = 12*m. Suppose 108 = m*p - 2*p. Is 13 a factor of p?
False
Let h be (6/4 - 2)*4. Let s(i) = -5*i + 2 - 1 - 23*i. Is s(h) a multiple of 18?
False
Let o = -40 + 28. Let x = o - -15. Does 3 divide x?
True
Let x(n) = n**3 + 7*n**2 + 5*n + 2. Is 9 a factor of x(-5)?
True
Suppose 563 - 203 = 5*k. Is 12 a factor of k?
True
Let q be 12/78 + (-63)/(-13). Let k = -8 + q. Let n = 13 - k. Does 13 divide n?
False
Let l(i) = i**3 - 3*i**2 + 5. Let s be l(7). Is 8 a factor of 2/(-4) - s/(-6)?
False
Let g(l) = 15*l**2 - 2*l - 1. Is g(-2) a multiple of 21?
True
Let l(y) = -y**2 - 4*y - 3. Let b be l(-2). Let c(g) = -4*g - 3 - b + 2*g**2 + 1. Is 15 a factor of c(5)?
False
Let m(y) = -5*y + 8. Let s(k) = k**2 + 12*k - 8. Let f be s(-12). Does 12 divide m(f)?
True
Let d(b) = b**3 - 4*b**2 - b + 1. Let p be d(4). Let u = p - -1. Does 2 divide u/((-1)/(2 + 0))?
True
Let y(i) = i**2 - 9*i - 6. Let d be y(11). Let s be 4/(-14) - (-52)/(-14). Is 12 a factor of d/3*(-18)/s?
True
Suppose -s + 12 + 12 = 0. Is 12 a factor of s?
True
Suppose -4*c - 20 = -8*c. Suppose c*b + 3*y - 84 = 3*b, 3*b - 4*y = 160. Is b a multiple of 24?
True
Let t = -19 - -7. Let h = t - -24. Is 12 a factor of h?
True
Suppose 3*w + 3 = 3*r, 0 = -4*w + 3*r - 5*r - 16. Suppose -35 = 3*t + 40. Let l = w - t. Does 11 divide l?
True
Suppose -2*a + 3*y + 12 = y, -12 = -2*a - y. Suppose 275 = 5*g + 5*k, -a*k = -3*g - k + 141. Does 26 divide g?
True
Suppose 0 = -k + 8 - 0. Suppose -8 = -2*t + k. Is 2 a factor of t?
True
Let n = 129 - 122. Does 7 divide n?
True
Let u(t) = 2*t**2 - 4. Let m(c) = -c**2 - 1. Let n(s) = -3*m(s) - u(s). Does 13 divide n(5)?
False
Let d(y) be the third derivative of -y**6/120 - 7*y**5/60 - 7*y**4/24 - 4*y**3/3 - y**2. Let s be d(-6). Is 12 a factor of (27 - (s - -1)) + 2?
False
Let m = 114 + -69. Does 9 divide m?
True
Let c(n) be the third derivative of n**6/120 + n**5/12 - n**3/3 + 2*n**2. Let f be c(-5). Let r = f + 38. Does 12 divide r?
True
Is 16 a factor of ((-32)/(-6))/(2/42)?
True
Let b = -6 - -1. Let t(v) be the second derivative of v**4/12 - v. Does 9 divide t(b)?
False
Let o be (-11 + 13)/((-2)/(-8)). Let t(g) = 0*g**2 + g**2 - 5*g + 0*g. Does 14 divide t(o)?
False
Suppose 1 = -2*s + 3*s. Is 13 a factor of -2*(46/(-4) - s)?
False
Let f(w) = 3*w + 38. Does 30 divide f(11)?
False
Let g(h) = 15*h**3 - h. Does 8 divide g(1)?
False
Suppose 2*r - 105 = -5*x, -r - 4*x + 1 = -59. Is 8 a factor of r?
True
Let k(s) = 34*s + 2. Does 20 divide k(2)?
False
Let g(z) = 13*z - 1. Does 16 divide g(4)?
False
Suppose 5*r - 897 = -v - v, 2*v + 732 = 4*r. Is r a multiple of 19?
False
Let s(l) = l**3 + 14*l**2 - 14*l + 21. Let g be s(-15). Let t(w) = w**3 - 6*w**2 + w. Is t(g) a multiple of 3?
True
Let x(v) = v**3 + v + 5. Let t be x(0). Suppose -t*l = -6 - 4. Suppose j + 31 = l*j. Is 16 a factor of j?
False
Let f(q) = q**3 - 14*q**2 + 18*q - 27. Does 19 divide f(13)?
True
Is 33 a factor of (77/(-2))/(3/(-18))?
True
Let y(z) = z**3 + 5*z**2 - 7*z - 7. Let k be y(-5). Suppose 0 = p - 0*p - k. Suppose -p = -5*j + 17. Does 9 divide j?
True
Let d(r) = 16*r + 1. Let u be d(-6). Let i = -19 - u. Does 19 divi