4?
False
Let t(x) = -x**3 + 11*x**2 + 13*x + 13. Is 8 a factor of t(12)?
False
Let g(v) = 3*v + 1. Let z(u) = 4*u. Let m(q) = -4*g(q) + 4*z(q). Is 6 a factor of m(6)?
False
Does 36 divide (327 - 1) + (-8)/4?
True
Suppose 4*o + 2 = -c + 18, -5*c + 26 = 2*o. Suppose -c*w + 0*w + h = -115, 2*w - 3*h = 55. Does 13 divide w?
False
Let c be 30/2*27/45. Is (c/(-6) + -1)*-2 a multiple of 5?
True
Let g(c) = -c**3 - 14*c**2 - 17*c + 19. Does 9 divide g(-13)?
False
Let b(s) = s**2 + 3*s + 3. Does 13 divide b(-5)?
True
Suppose 3*m - 6 = m. Suppose p + 0*q = -4*q - 46, -m*q = 5*p + 145. Let s = p + 46. Does 10 divide s?
True
Let t be (-1)/1 - -1 - 5. Let c = 30 + t. Let b = -11 + c. Is 7 a factor of b?
True
Suppose 0 = y - 0*y - 43. Does 21 divide y?
False
Let c = 22 - -17. Does 15 divide c?
False
Let t(b) = -2*b - 9. Let f be t(-7). Suppose 91 = -f*d - 64. Let q = -17 - d. Does 14 divide q?
True
Let m(j) = -j**2 - 6*j + 5. Let n be m(5). Let h = n - -84. Does 17 divide h?
True
Let k(v) = v**2 + 3*v + 5. Let r(s) = s**2 - 1. Let h(d) = -k(d) + 2*r(d). Let w be h(5). Suppose -3*c - z = -106, 5*c - w*z = 2*z + 150. Does 17 divide c?
True
Does 33 divide (-3)/(-2)*(62 - -4)?
True
Let v(t) = t**3 - 3*t**2 - 3*t. Let g be v(4). Suppose -2*s + 68 = g*c, -3*c + 8 = -4. Does 26 divide s?
True
Let n(m) be the second derivative of 3*m**4/4 - m**3/6 - m**2/2 + 2*m. Is 12 a factor of n(-2)?
False
Let t(p) = -p**2 + 2*p - 51. Let w be t(0). Let j = w + 80. Is j a multiple of 29?
True
Let k(w) = w**2 - 11*w + 16. Suppose -3*v - 36 = -4*q, -2*q - 3*v + 24 = -12. Is 13 a factor of k(q)?
False
Let z = 48 - -22. Is 10 a factor of z?
True
Suppose 3*h - 99 - 66 = 0. Suppose -5*x + 90 + h = 0. Is 10 a factor of x?
False
Suppose 23 = -2*d + 3. Is 6 a factor of (24/15)/((-1)/d)?
False
Let b be (1/2)/((-2)/(-16)). Let v(z) = -z**2 + 16*z - 11. Let y be v(15). Let f = b + y. Does 8 divide f?
True
Let k = -7 - -11. Let f = 9 - k. Does 14 divide (2 - f)*58/(-6)?
False
Suppose 4*b + 25 = y, 10*y - 5*y + b - 125 = 0. Let m = y - 10. Is 7 a factor of m?
False
Suppose -2*y - 806 = -5*p - 0*y, 5*p + 4*y = 788. Suppose 5*u - 2*q - p = 0, 2*u - 40 = -0*u - 4*q. Is u a multiple of 7?
False
Let n(w) = -w**3 - 9*w**2 - 9*w + 3. Let o be (8/3)/(1/(-3)). Does 11 divide n(o)?
True
Let m(z) = z**3 + 3*z**2 + 5*z. Let v be m(-4). Let y = 84 + v. Does 12 divide y?
True
Suppose q + 4*q = 0, -3*w = -2*q. Suppose w = -2*y - 2*y + 16. Suppose 3*m - 48 = 5*o, -3*m + y*o + 39 = 2*o. Is m a multiple of 11?
True
Suppose 4*q + 0*q - 252 = 0. Suppose 12 + q = -5*t. Let b = t + 56. Is b a multiple of 15?
False
Let w be -2 + -1 - (1 - 3). Let d be (2 + -1 - w)*109. Suppose -d = -5*o + 2*n - 27, -2*o = -n - 76. Does 17 divide o?
False
Suppose 5*z - 20 = 0, -3*z = -3*b - 0*z + 15. Is b a multiple of 5?
False
Suppose 2*w + 2*w = 3*r - 47, 2*w + 3*r + 1 = 0. Let v = w + 23. Does 4 divide v?
False
Let q(k) = k**2 - 3*k + 1. Let t be q(1). Let s be t*3/3 - -2. Does 12 divide -2 - (-37 + s) - 0?
False
Suppose -23*c = -20*c - 156. Is c a multiple of 34?
False
Suppose 737 - 97 = 2*q. Is q a multiple of 16?
True
Let x be (4/6)/((-7)/(-63)). Let s be (x - 11)*6/10. Is 189/7 - s/1 a multiple of 15?
True
Let x = 1 - -1. Let r = 13 - x. Suppose a + 2 - r = 0. Is a a multiple of 9?
True
Let f(j) = j**2 - j - 9. Let h be f(0). Let i(u) = u**2 + 2*u - 9. Let n be i(3). Let g = n - h. Is g a multiple of 5?
True
Is (-22)/(2/6*-2) a multiple of 9?
False
Let b = -67 + 30. Let n = -110 + 172. Let h = n + b. Does 8 divide h?
False
Suppose 1 = u - 3*h, -4*u = 5*h - 53 - 19. Let y = 24 - u. Is y a multiple of 11?
True
Let q(t) = 4*t - 15. Let m be q(10). Let c = -15 + m. Does 4 divide c?
False
Let g(z) = -z**2 + 8*z - 9. Let t(x) = 2*x**2 - 16*x + 18. Let c(a) = -5*g(a) - 2*t(a). Is 11 a factor of c(9)?
False
Let c(n) = 4*n**3 - n - 2. Suppose 25 = -5*w, o + 0*o - 4*w = 22. Does 19 divide c(o)?
False
Suppose -t + 200 = 3*w - 2*t, -3*w + 196 = -2*t. Does 26 divide w?
False
Suppose 0 = k - 2*k. Suppose k*x - 32 = -4*x. Does 4 divide x?
True
Suppose 4*s = -3*s + 854. Does 28 divide s?
False
Suppose -5*y + 54 = 5*q - 36, 2*y = q + 27. Let p = y + 0. Does 5 divide p?
True
Let d = 11 + 37. Does 16 divide d?
True
Suppose -5*l + 1 = 3*p, 2*p - 3*l + 14 = -17. Let i be (p/20)/((-2)/290). Suppose 3*o - 89 = t - 3*t, 0 = t - 3*o - i. Is 18 a factor of t?
False
Let z(r) = 13*r - 3. Is 11 a factor of z(5)?
False
Let p = 13 - 18. Let o be ((-4)/p)/((-5)/(-125)). Is 15 a factor of (-9)/(-6)*o/2?
True
Suppose -3*r - 84 = -8*r - 4*m, -m = 5*r - 96. Let z = r - 0. Is z a multiple of 10?
True
Let l(m) = -6*m - 2. Let z be l(-1). Suppose 0 = u - 11 - z. Is 5 a factor of u?
True
Let j(c) = 12*c - 1. Let u(k) = k + 5. Let h be u(-4). Does 6 divide j(h)?
False
Let t(m) = 2*m - 7. Let o be t(6). Suppose 0 = 3*f - 4*s + 5*s + o, -s = 2*f + 4. Does 19 divide 3/3 + (-50)/f?
False
Let q(l) = l - 7. Let u be q(5). Let d be u + (3 - 6) + 10. Suppose d*n - 26 = 49. Is n a multiple of 15?
True
Let u = 48 + -34. Is (-36)/u*(-56)/6 a multiple of 8?
True
Let u = -52 + 24. Let d = u + 14. Let c = d + 36. Does 17 divide c?
False
Let g be ((-4)/(-3))/(2/(-237)). Let z = g + 263. Suppose -z = -4*v - 25. Is v a multiple of 6?
False
Let y(o) = -o**2 - 3*o + 1. Let s be y(-3). Let c be (-2)/3*(-354)/4. Suppose 0 = -4*q + c + s. Is q a multiple of 15?
True
Let l(v) = v**3 - 6*v**2 + 5*v + 2. Suppose 9 = 4*r - 11. Let p be l(r). Let j(u) = u**3. Is j(p) a multiple of 4?
True
Suppose 0 = 6*r - 151 - 53. Let p = 16 + r. Is 25 a factor of p?
True
Let s(k) = 2*k + 4*k + 9 - 18*k**2 + 20*k**2. Is 15 a factor of s(-6)?
True
Suppose 2*x = -1 + 9. Let y(t) = 3*t**2 + 4*t - 2. Let d be y(x). Suppose 14 = 2*l - d. Is 12 a factor of l?
False
Suppose -24 - 22 = -r - 3*g, 2*g + 226 = 4*r. Is 22 a factor of r?
False
Let i be (8/6)/(8/84). Suppose 0 = -4*m - 5*z - 10, m + 3*z + 2 - 3 = 0. Let g = m + i. Is g a multiple of 9?
True
Suppose -i + 24 = -0*i. Does 12 divide i?
True
Suppose -6*a + 24 = -2*a. Does 3 divide a?
True
Let t(d) be the second derivative of d**4/12 + d**3/3 - 7*d**2/2 - 2*d. Is 7 a factor of t(-7)?
True
Let y = -351 + 605. Is 35 a factor of y?
False
Let c = 45 + -22. Let l = c + -11. Is l a multiple of 8?
False
Let t(s) = 0 + 3 + 4 - s**3 - 6*s**2 + s**2 + 6*s. Suppose 4*z - 5*z - 6 = 0. Is t(z) a multiple of 7?
True
Let z(r) = -r**3 - 4*r**2 + 6*r + 7. Let x be z(-5). Let m(o) = -2*o**2 + 2*o + 3*o**x + 6 + 1. Does 13 divide m(-5)?
False
Let p = -5 - -7. Let k(s) = 0*s + s**3 - 2*s**2 - 10 + 7*s - 6*s**p - 2*s**3. Does 4 divide k(-9)?
True
Let j(i) = -i**3 + 5*i**2 + 4*i + 5. Is j(4) a multiple of 13?
False
Suppose -d + 3*d = 10. Suppose 0 = d*u - 1 - 159. Suppose 4*q + 3*g - u = 0, -q - 2*g = -2*q - 3. Is 5 a factor of q?
True
Let j(b) = b**2 - b - 8. Is j(-6) a multiple of 9?
False
Suppose -2 = -g - 2*z, -4*z = g - 5*z - 17. Is 3 a factor of g?
True
Suppose 0 = -5*v + 278 + 22. Is v a multiple of 15?
True
Let u = 0 + 2. Suppose -8*r - g + 144 = -3*r, 5*g = u*r - 36. Does 10 divide r?
False
Let n(t) = t + 4. Let g be n(0). Is (-1)/((-10)/g)*225 a multiple of 30?
True
Let g(o) = -9*o - 8 + 12 - o. Is 13 a factor of g(-3)?
False
Let f(v) = -v**2 - 3*v - 3. Let a be f(-4). Let q = a - -12. Is 5 a factor of q?
True
Let f(q) = q**2 + 4*q - 36. Does 5 divide f(-11)?
False
Suppose 0*f - 279 = -3*f. Let n = f - 39. Is n a multiple of 18?
True
Let y = -3 + 5. Let g be 2 - (4 + 0 + -2). Suppose g = -2*p - 2*d + 2, -5*p + y*d + 1 = -18. Is 2 a factor of p?
False
Let d = 23 + -61. Let l(y) = 3*y**3 - 2*y**2 + 2. Let j be l(3). Let m = d + j. Is 9 a factor of m?
True
Let k(j) = 12*j - 1. Let r be k(2). Suppose -2*c = -29 - r. Is 13 a factor of c?
True
Suppose -2*m = 2*m + 4. Let i(r) = -5*r**3 - r**2 + r + 1. Is 4 a factor of i(m)?
True
Let c = -65 + 78. Does 4 divide c?
False
Let o be (-195)/(-9) + (-4)/6. Suppose -o - 9 = -u. Does 15 divide u?
True
Suppose g + 3*l = -6, -5*l - 8 = 2*g + 1. Suppose -2*k - g*k = 0. Suppose k = 2*i + 2*i - 212. Is i a multiple of 14?
False
Suppose -3*x = -0*x. Suppose l + x*q - 9 = -3*q, 0 = -4*q - 8. Does 15 divide l?
True
Let t(d) = d**3 + 7*d**2 + 5*d - 3. Let n be t(-6). Let s be (2/6)/(n/(-45)). Does 19 divide s - (0 + -2) - -59?
False
Let a =