 5*c - 146 = -6*c. Is 17 a factor of n?
False
Suppose 0 = o - 4*i - 282, 1092 = 9*o - 5*o - 4*i. Does 10 divide o?
True
Suppose -6*d = 11*d - 34680. Is 6 a factor of d?
True
Let y(c) = -c**3 - 2*c**2 + 4*c + 4. Let i be y(-4). Let n = i + -15. Let g(d) = 2*d**2 - d + 3. Is g(n) a multiple of 24?
True
Suppose 3*a - 2 = -f + 16, -2*a + 4 = -2*f. Let m(s) = s**3 + 6*s**2 - 9*s - 14. Let o be m(-7). Suppose o = g - a*g + 44. Does 11 divide g?
True
Does 8 divide -14*(4 - 9 - 3)?
True
Suppose 0 = 5*b - 4*l - 1115, -4*b - 3*l = -466 - 426. Does 39 divide b?
False
Suppose -v + 7 = -3*y, 4*y = 3*v + 3*y - 13. Suppose -v*s = -249 - 195. Does 9 divide s?
False
Let r(f) = -f**2 + 3*f + 4. Let q be r(4). Suppose -u - 4 = q, -3*n = -u - 2*u - 348. Suppose 5*z = 3*z + n. Is z a multiple of 28?
True
Let u = 40 - 36. Suppose 0 = u*r + 14 - 222. Is r a multiple of 13?
True
Let f be 0 + 12/(0 - -3). Suppose 2*u + 0*u = -f*c + 160, -3*u + 255 = 3*c. Is 45 a factor of u?
True
Suppose 4*m - 999 = 5*l, -4*l - 62 = -m + 185. Is 20 a factor of m?
False
Let x = 24 - 20. Is 13 a factor of 1135/15 - x/6?
False
Suppose 2*p - 5 = p, 5*p - 880 = -3*u. Let a = u + -183. Is a a multiple of 13?
False
Suppose 0 = -9*h + 10*h + 1. Let g(c) = 175*c**2 - 2*c - 2. Does 16 divide g(h)?
False
Let a(q) = -q**3 - 8*q**2 - 6*q - 11. Is 15 a factor of a(-11)?
False
Let d be (-7 + 1)*(2 + (-25)/15). Let b(t) = -6*t**3 - t**2 - 2*t + 1. Does 23 divide b(d)?
False
Suppose -2*b - 6 = b, 4*z - 54 = 3*b. Let d = 27 - z. Is d a multiple of 4?
False
Let m = 6 - -7. Suppose -8*k - 30 = -m*k. Is 2 a factor of k?
True
Let o(z) = 13*z - 7 + 6 + 6 + 5 + z**2. Does 25 divide o(7)?
True
Suppose 6 - 66 = -5*c. Let i(s) = 6*s**2 + 6*s**2 - 3*s - s**3 - 3 + 5*s. Is i(c) a multiple of 8?
False
Let h(d) = -d**3 - 5*d**2 - 8*d - 3. Let n(r) = -6*r**3 + r + 1. Let t be n(-1). Let q = 1 - t. Is 12 a factor of h(q)?
False
Suppose -2*a - 201 = -3*h + 98, -5*h + 4*a = -501. Let p = h + 13. Is p a multiple of 15?
False
Let a = -44 - -34. Is 6 a factor of (-5 - -6)/1 + (1 - a)?
True
Let h = 34 + -34. Is 31 a factor of (h - 434/4)*336/(-196)?
True
Suppose -n - 46 + 201 = 3*r, 2*n - 3*r = 310. Suppose 0*i - n = -4*i - 5*d, 0 = 3*i + 4*d - 115. Is i a multiple of 15?
True
Is (3 - 2)/(20/420) a multiple of 2?
False
Let p = -11 - -17. Let z(w) = 59*w**3 - 58*w**3 - 3 - p + 6*w**2 - 10*w. Is z(-7) a multiple of 6?
True
Let r be 5/(1 + 30/(-24)). Let f = 186 + r. Does 21 divide f?
False
Does 30 divide 98560/88 + ((-2)/(-2))/(-1)?
False
Is 54 a factor of 21 - -200 - ((2 - -1) + 0)?
False
Let l be -1*2 - (-9 - -5). Suppose -4*w = -l*w - 98. Is 6 a factor of 1575/w + 1/(-7)?
False
Suppose 5*n - 25 = b, -n - 3*n + 9 = -3*b. Let g be (5 - n)*(1 - 6). Suppose 3*m - 2*m - 74 = -2*s, -3*m + 189 = -g*s. Is m a multiple of 34?
True
Suppose -4*d + 149 = l, 113 = 3*d - 2*l + 3*l. Suppose 2*z + d = -10. Let f = 43 + z. Is f a multiple of 12?
False
Does 39 divide (-819 + 2)/((-23)/23)?
False
Suppose 5*x = -8*s + 9*s + 2360, 0 = 5*x - 3*s - 2370. Does 55 divide x?
False
Let w(l) = l**2 - 10*l - 8. Let x be w(12). Suppose -4*n + q - 14 = -5*n, -4*q + x = 0. Does 4 divide n?
False
Let i(d) = -5*d + 176. Is i(-29) a multiple of 12?
False
Let l be 60/45*(-3)/(-2) - 0. Is l/((2 + 14/(-8))/23) a multiple of 20?
False
Suppose 9 + 1 = 5*s. Suppose 0 = 5*h - h + v + 5, 2*h = -s*v + 2. Is h/8 + 290/8 a multiple of 8?
False
Let c(p) = p**3 + 4*p**2 + 27*p + 49. Is 37 a factor of c(7)?
True
Let h(y) = y**2 - 9*y - 8. Let s be h(10). Suppose -55 - 1 = -s*u. Is u a multiple of 20?
False
Suppose 27*z = 31*z - 340. Let i = z - 36. Is 7 a factor of i?
True
Let h = -81 + 81. Suppose -6*q + 4*q - 10 = h, 2*v - 2*q - 196 = 0. Is v a multiple of 9?
False
Let m be -11*4*(-33)/(-12). Let v = m + 173. Does 10 divide v?
False
Is -1188*(910/(-21))/13 a multiple of 165?
True
Suppose 1 = q - 14. Let j = -10 + q. Suppose -j*t = -t - 316. Is t a multiple of 10?
False
Suppose -42*g = -0*g - 2520. Is g a multiple of 5?
True
Suppose -18*h = -1455 - 14853. Is h a multiple of 42?
False
Let y(q) = -q**2 + 8*q + 14. Let o(c) = c**2 + 1. Let b(j) = 5*o(j) - y(j). Is 17 a factor of b(-4)?
True
Suppose 6*q = 13 + 29. Suppose -q = -4*y + 9. Does 4 divide y?
True
Is ((-3)/4)/((-37)/5772) a multiple of 36?
False
Suppose h - 2688 = -2*u, 4032 = -0*u + 3*u - 3*h. Is u a multiple of 64?
True
Suppose 0 = f - 6 + 1. Suppose 3*s = n - 7 - 8, f*n - 4*s - 31 = 0. Suppose n*z = 44 + 4. Is z a multiple of 8?
True
Let i be (-3)/(-2)*240/18. Let k = i + -19. Is 13 a factor of (k + -32)*(-4 - -3)?
False
Let o(h) = h + 5. Let l be o(-4). Let b be (-2 + 1)/(l/10). Is (-691)/(-9) + b/(-45) a multiple of 25?
False
Let n = -392 - -409. Does 3 divide n?
False
Let j(z) be the first derivative of -z**4/4 + 7*z**3/3 - 3*z**2/2 + 2. Is 6 a factor of j(4)?
True
Let h be (-12 - -22)/(2/(-14)). Suppose -482 = 4*d + 5*k, 2*d = 5*d + 3*k + 360. Let o = h - d. Does 24 divide o?
True
Suppose -8*l = -6*l - 1378. Does 27 divide l?
False
Is -5*(-26)/(-715) + 33402/33 a multiple of 46?
True
Let d = 70 + 62. Suppose -93 = -p + d. Is p a multiple of 45?
True
Let l = 173 + -73. Is l even?
True
Suppose -5*l = -4*q - 29, l + 4*q - 7 = 18. Let b(k) = -k**3 + 8*k**2 + 9*k + 3. Let o be b(l). Is o - 9/(-6)*2 a multiple of 2?
True
Suppose -3*x - 2*r = -6, 2*r = -5*x + 7*r + 35. Suppose 0 = -5*l - 5*o + 155, -6*o = -x*o - 8. Let k = 33 - l. Is k a multiple of 6?
True
Let q = -11 + 13. Let v(b) = 4*b. Let g be v(q). Does 16 divide -4*7/((-7)/g)?
True
Suppose 0 = 13*r - 12*r - 3. Is 7*-4*(-4 + r) a multiple of 4?
True
Let x(r) = -r**3 + 17*r**2 - 44*r + 33. Let l be x(14). Let n be (-3)/(-2) - 2/(-4). Suppose 155 = l*z - n*y, -6*y = -2*y - 20. Is z a multiple of 11?
True
Let i(u) = u**2 + 6*u + 14. Let r be i(-2). Let z(s) be the third derivative of s**4/2 - 4*s**3/3 + s**2. Does 16 divide z(r)?
True
Is (5 + 1)/(9/588) a multiple of 13?
False
Let i(p) = -6*p - 40. Let q be i(-26). Let w = 155 + q. Is w a multiple of 23?
False
Let c(r) = r**2 - 5*r - 5. Let w be c(-10). Suppose 3*l - 103 = 5*g, 2*l - 6*l = g - w. Is 9 a factor of l?
True
Suppose 4*k - 881 = -0*k + d, 15 = -3*d. Let m = k + -103. Suppose -36*c = -32*c - m. Does 4 divide c?
False
Suppose -2*i - 8 = 3*p + 23, 0 = -2*i + 2*p - 46. Let o = 34 - i. Is o a multiple of 18?
True
Suppose 81 = 23*y + 12. Suppose -4*g + 104 = -104. Suppose 0*s - 12 = 3*s, 5*h - y*s = g. Does 3 divide h?
False
Let p = 1502 - -199. Is 27 a factor of p?
True
Let k = -68 + 64. Is 24 a factor of (-2)/(-3)*(-432)/k?
True
Suppose -3*p - 9 = 4*t, -8*p = -4*p + 12. Suppose -3*r + 8*r - 3*i = 135, t = -5*r - 4*i + 100. Is 4 a factor of r?
True
Does 45 divide (12*1)/(39/1170)?
True
Suppose -2*x = 4*w - 6*x - 12, 0 = -w + 5*x + 3. Suppose 4*z + w*a - 384 = 0, 2*a + 96 = -3*z + 4*z. Does 16 divide z?
True
Let c(j) = 14*j**3 - 41*j**2 + 20*j + 26. Let o(y) = 5*y**3 - 14*y**2 + 7*y + 9. Let t(l) = 4*c(l) - 11*o(l). Does 13 divide t(10)?
False
Let k be (-312)/91 - 4/7. Is (-739 + 3)/k - (0 - -1) a multiple of 36?
False
Let m = 548 + -206. Suppose 8*h = 11*h - m. Does 17 divide h?
False
Let m = -2719 + 5359. Is m a multiple of 40?
True
Let y(k) = -18*k + 6. Let t be y(3). Let n = 68 + t. Is 17 a factor of n?
False
Suppose -10*b = 44 - 824. Does 26 divide b?
True
Let g(a) = -a**2 - 4*a - 1. Let c be g(-4). Let f be 26*(8/4 + c). Let t = f + -16. Is 10 a factor of t?
True
Suppose 0 = -3*w - 2*o - 65, -w + 0*o = -2*o + 27. Let c = w - -41. Does 13 divide c?
False
Let v(y) = y**3 - 2*y**2 - 9*y + 10. Let l be 2/(-14) + 108/21. Is v(l) a multiple of 10?
True
Suppose 0 = 5*l - 15, 7 = 2*n - l - 2*l. Is 5 a factor of (-23 - 2)*n/(-10)?
True
Let o be 0 + -4 - (-1 - -15). Let g(c) = -14*c + 20 + c**3 + 17*c**2 + 3*c - 11*c. Does 17 divide g(o)?
False
Suppose -z + 4 = -0*z, 2*f + z - 4 = 0. Suppose -2*a - 37 = -5*q, f = q - 2*q - 5*a + 2. Let h = -3 + q. Is h even?
True
Suppose -11 = 2*i + 5. Let y(m) = -m**3 - 9*m**2 - 7*m + 10. Let f be y(i). Suppose -f*w + 2*c = -100, 0 = -4*w - c + 6*c + 198. Does 13 divide w?
True
Let g be ((-4)/20*242)/(3/(-15)). Suppose 3*n - 5*c = 185, -c = -4*n + c + g. Does 15 divide n?
True
Let l be 2061/27 + 1/(-3). Suppose z - l = 50. Suppose s = 4*s - z. Is 7 a factor of s?
Tru