3)/2*104/(-3)?
False
Suppose -4*o + 2*d + 66 = 0, 3*o + 2*d = -2*d + 33. Is 12 a factor of o?
False
Let a(n) = -n**3 + n**2 + n + 205. Is 29 a factor of a(0)?
False
Let l be 6/8 + (-808)/(-32). Let m = 13 + l. Does 13 divide m?
True
Let f be (6 + 0)/(-3 - -2). Let r = 3 - f. Is 7 a factor of r?
False
Suppose 2*w + 0*w = -4. Let h be (-8)/6*69/w. Suppose -u - 7*i + 3*i = -h, -102 = -3*u - 3*i. Is 15 a factor of u?
True
Suppose h = -3 + 74. Suppose 3*z - h = -4*r, 3*z = 4*z - 2*r - 37. Is z a multiple of 9?
False
Suppose -61 = -3*n - 4*h, 0 = -2*n + 3*h + 29 + 23. Is n a multiple of 3?
False
Let v(f) = -4*f + 13. Let y = -21 - -10. Does 17 divide v(y)?
False
Let s be 1/(-2)*10*1. Is s + 19 - (0 + -3) a multiple of 6?
False
Let p = 15 + -21. Let c be p/(-12) - (-22)/4. Is 7 a factor of 122/c + 2/(-6)?
False
Let i(h) = 5*h**3 + 23*h**2 - 14*h - 12. Let w(d) = -2*d**3 - 8*d**2 + 5*d + 4. Let o = 8 - 5. Let g(p) = o*i(p) + 8*w(p). Is g(3) a multiple of 4?
True
Suppose 2*z + 19 = 3*d, -5 = -d + 2*z - 4. Is d a multiple of 9?
True
Let u(m) = -5*m + 10. Let y(h) = 6*h - 11. Let w(n) = -4*u(n) - 3*y(n). Is w(9) a multiple of 4?
False
Let j(u) = u**3 + 7*u**2 - 2*u + 4. Let i(w) = -w**2 - 7*w + 1. Let m be i(-8). Is 6 a factor of j(m)?
True
Let o be 231/2 - 2/4. Let n(y) = y**2 + 13*y + 36. Let p be n(-9). Suppose 0 = 2*l + 3*l + i - o, p = 5*l - 5*i - 145. Does 16 divide l?
False
Is (-1)/(1*(-3)/54) a multiple of 9?
True
Let a = -184 + 107. Let q = a + 45. Let r = -16 - q. Does 6 divide r?
False
Let k(b) = -b**3 + 27*b**2 - 2*b + 62. Is 4 a factor of k(27)?
True
Suppose -559 = -5*a + 2*x, 446 = a + 3*a - x. Is 37 a factor of a?
True
Suppose 2*o + 1 = o + 3*a, -2*a = 5*o - 80. Does 3 divide o?
False
Suppose -h + 2 = -3. Suppose 173 = 2*u - s, s + 328 + 100 = h*u. Is 15 a factor of u?
False
Does 4 divide ((-594)/36)/((-6)/8)?
False
Let q = 140 - 100. Is 39 a factor of q?
False
Does 46 divide (14565/35 - (-3)/(-21)) + -2?
True
Let j be 2582/(-8) - 9/36. Is (-3)/21 + j/(-7) a multiple of 11?
False
Suppose v - 3 = 2. Does 2 divide v?
False
Let s(i) be the second derivative of 0 - 1/2*i**3 + i - 1/20*i**5 - 2*i**2 - 1/4*i**4. Is s(-3) a multiple of 5?
True
Suppose 9*q - 60 = 6*q. Is q a multiple of 10?
True
Suppose 2*n = 494 - 74. Suppose -n = 2*b - 5*b. Is 19 a factor of b?
False
Let p(l) = 10*l. Let v be p(4). Suppose 152 = 6*j - v. Is j a multiple of 8?
True
Let a = 44 + 173. Is 31 a factor of a?
True
Let w(k) = -2*k + 14. Let b be w(6). Suppose -6*n = -b*n - 164. Is 17 a factor of n?
False
Suppose 0*t = -3*t + 390. Let b be (90/1)/(0 - 1). Let v = b + t. Is v a multiple of 24?
False
Does 5 divide (-18)/(-8)*-10*(-84)/35?
False
Does 5 divide 1/(2 + -4)*-34?
False
Suppose -2*w + 110 = 3*w. Does 11 divide w?
True
Suppose 3*p - 2*p = 81. Does 20 divide p?
False
Let j(a) = 1. Let o = 16 + -10. Let w(z) = -z - 9. Let n(r) = o*j(r) + w(r). Is 4 a factor of n(-7)?
True
Suppose 5*n + 30 = 4*p - p, 0 = p + 5*n - 30. Let o(w) = w**3 - 5*w**2 + w. Let d be o(5). Let l = p - d. Is l a multiple of 5?
True
Suppose 7 = 4*w - 37. Is w a multiple of 10?
False
Let d(x) = x**3 - 9*x**2 + 9. Does 9 divide d(9)?
True
Suppose 5*m = 31 + 14. Let g be m/3*(-4)/6. Does 10 divide 1/(-1)*(-12 - g)?
True
Suppose -d + 25 = 2*n, -2*n + 0*n + 35 = -d. Does 3 divide n?
True
Does 16 divide ((-144)/(-10))/((-72)/(-240))?
True
Let c be 1 + (1 - 2) + -13. Let s = 39 + c. Is s a multiple of 12?
False
Suppose 21*q = 18*q + 63. Does 7 divide q?
True
Let g(c) = c**3 + 6*c**2 + 4*c + 5. Is 6 a factor of g(-5)?
False
Let v(q) = -3*q + 2. Let m(x) = -x - 2. Let y(i) = i + 2. Let j(w) = 3*m(w) + 4*y(w). Let f be j(-8). Is v(f) a multiple of 10?
True
Let x = -15 + 12. Does 14 divide 2*140/8 + x?
False
Suppose 0 + 2 = -2*x + 4*m, -5*m = -5*x + 5. Let o = x - 1. Suppose -31 = -o*j + 67. Does 21 divide j?
False
Let c = 368 - 218. Suppose 0*h - 2*j + 3 = -h, -h = 5*j - 25. Suppose -c = -h*i - l, 3*l = -l + 20. Does 12 divide i?
False
Suppose -2*o - o + 51 = 0. Suppose 0 = 4*k + o - 149. Does 11 divide k?
True
Let x(u) = -u**2 + 5*u + 2. Let b be x(6). Does 17 divide (-20)/25*170/b?
True
Suppose 2 = 2*g + 4*z, -1 = -4*z - 9. Is 2 a factor of g?
False
Let i = -25 - -77. Suppose 4*x + 0 - i = 0. Is 13 a factor of x?
True
Let j(s) = 69*s**2 - 1. Let i be j(1). Suppose -3*d = i - 2. Is 12 a factor of 2*2/2 - d?
True
Is 23 a factor of (28 - 0) + 5*-1?
True
Suppose a = -0*a + 1. Does 2 divide a/(-2 - (-7)/3)?
False
Let w(a) = 2*a + 6. Let f be w(-3). Suppose f = -5*h - 25, -17 = 4*u + 3*h - 126. Is 7 a factor of u?
False
Suppose -d + 12 = 5*m, -d + 6 = 2*m - 0*m. Suppose m*z - 3 = 1. Suppose -z*y + 4*l = -72, -3*y = -6*y - 2*l + 84. Is y a multiple of 15?
True
Let g be (1/2)/((-1)/(-2)). Let s(a) = 1 + 3*a + 43*a - 4*a. Is s(g) a multiple of 17?
False
Let h = -38 - -53. Does 15 divide h?
True
Let m = -10 + 16. Suppose -m*v + 4*v - 8 = -q, 0 = v - 3. Is q a multiple of 14?
True
Let g be 6 + (-2 + -1 - -2). Suppose -38 = -0*v - 4*v + g*d, 2*v - 6 = -4*d. Is v a multiple of 7?
True
Suppose -10 = 3*f - 8*f, -4*s = -2*f - 76. Is 10 a factor of s?
True
Let t be (2 + -6)/((-2)/(-5)). Does 11 divide t*2/5*-16?
False
Let y(m) = 2*m**3 - 3*m**2 + 1. Let h(a) = -6*a + a**2 + 0*a**2 + 13*a + 2. Let o be h(-7). Does 2 divide y(o)?
False
Suppose 6*x - x = 330. Is 22 a factor of x?
True
Let l(a) = -14*a**3 + 2*a**2 - 1. Let b be l(-1). Suppose -2*r - 3 = b. Does 11 divide (22/6)/((-3)/r)?
True
Let g(a) = a**2 + 21*a. Is 10 a factor of g(-25)?
True
Let d = 15 + 30. Is 9 a factor of d?
True
Let n = -50 + 65. Is 2 a factor of n?
False
Suppose 0 = 5*y - t - 248, 4*t + 8 = 8*t. Is 25 a factor of y?
True
Suppose -11*m + 331 = -406. Is m a multiple of 11?
False
Let s(o) = -2*o**3 + 2*o**2 + 3*o + 3. Let g be s(-2). Suppose 0 = 5*n - 25, n - 8 - g = -4*l. Let f = l + 3. Does 7 divide f?
False
Suppose 0 = 2*s - 3*s + 87. Is 11 a factor of s?
False
Is 21 a factor of 0 - (4*-63)/3?
True
Let r(v) = v - 7. Let m be r(5). Let b be -30*(m + 12/(-9)). Suppose 0*p = 4*t - 5*p - 55, -4*p = 4*t - b. Is 10 a factor of t?
True
Let y(p) = -20*p + 6. Let k(j) be the first derivative of 7*j**2/2 - 2*j - 1. Let i(m) = -11*k(m) - 4*y(m). Does 13 divide i(5)?
True
Let x = 182 - 90. Does 23 divide x?
True
Suppose 5*f + 80 + 22 = 2*d, -4*f = 16. Let o = 56 + -33. Suppose 0 = -4*p + d + o. Is 9 a factor of p?
False
Let s be 12/(-10)*(-15)/(-6). Let k be (-2)/6 + (-7)/s. Let u = k - -6. Does 8 divide u?
True
Let z(q) be the third derivative of q**6/120 - q**5/10 - 7*q**4/24 + q**3/3 + q**2. Let r be z(7). Suppose -19 + 55 = r*f. Does 18 divide f?
True
Let n(r) be the first derivative of 29*r**3/3 + r + 2. Does 15 divide n(1)?
True
Suppose 0 = 12*w - 8*w - 144. Is 9 a factor of w?
True
Suppose 0 = -r - 0*r - 11. Let v = 15 + r. Is ((-102)/v)/(-3)*2 a multiple of 17?
True
Is 3 + 35 - 4 - 4 a multiple of 11?
False
Let c be -3 - (-3 + 30/2). Let z be (0 - (-1 - c)) + -1. Let s = z + 54. Does 13 divide s?
True
Let q = 12 - 35. Let d = q + 57. Let r = -22 + d. Is r a multiple of 6?
True
Suppose -4*l - 3*r = -0*r - 145, -3*r - 135 = -3*l. Suppose -j = 4*j + l. Let x = 13 + j. Does 2 divide x?
False
Suppose 5*v - 714 = -234. Suppose -4*f + v = -f. Is 16 a factor of f?
True
Let n be (6/(-3))/((-1)/(-3)). Let b = 5 + 8. Let v = b + n. Is v a multiple of 3?
False
Let w = -9 - -7. Is 12 a factor of 60/2 + 0/w?
False
Suppose 2*v + 0*v - 5*g + 11 = 0, 4*v + 2*g + 58 = 0. Let j = v + 35. Does 11 divide j?
True
Let d = 13 - 10. Suppose 32 = j + 5*q, -2*j - 5 = -d*j + 4*q. Is j a multiple of 7?
False
Let k(m) = -3*m**2 + 2*m + 1. Let d be k(-2). Let g be ((-4)/(-10))/((-3)/d). Does 7 divide 0/(1 - g) - -20?
False
Let g = 2 - 0. Suppose 0 = z - g - 0. Suppose 0*t - 5*t + 66 = 2*u, -z*t + 32 = -2*u. Is t a multiple of 7?
True
Is -3*18*8/(-12) a multiple of 12?
True
Let o(p) = -11 + 4*p - 3 - 9 + 5*p. Let s(h) = 3*h - 8. Let i(k) = 6*o(k) - 17*s(k). Is i(9) a multiple of 8?
False
Suppose -n = -0*n - 212. Suppose 4*u - 4*f - n = -u, -3*f + 71 = 2*u. Is 20 a factor of u?
True
Suppose 0*f + 20 = 3*a + f, -4*f = 2*a. Does 2 divide a?
True
Suppose 8*c + 8*c - 7232 = 0. Does 24 divide c?
False
Suppose -108 = -a - 4*y, 5*a - 5*y = -4*y + 435. Does 8 divide a?
True
Let b(h) = 7*