 - 5*c + y, 2*c = 2*s - 30. Does 12 divide s?
False
Let f be (28/6)/(4/6). Let s(x) = x**3 - 7*x**2 - 6*x - 10. Let t be s(f). Let i = t - -91. Is 17 a factor of i?
False
Let y = 107 - 100. Does 3 divide y?
False
Suppose 29*w = 25*w + 308. Is 7 a factor of w?
True
Let x = 9 - 14. Is 16 a factor of (-430)/(-8) + x/(-20)?
False
Let r(j) = -3*j - 5. Does 5 divide r(-5)?
True
Let g be (-4)/(-6) - 61/(-3). Let n = g + -5. Is n a multiple of 7?
False
Let s = 7 + 8. Does 5 divide s?
True
Let v = 11 + -17. Let l = -4 - v. Suppose j = l*j - 14. Is 7 a factor of j?
True
Suppose -2*t + 17 = 9. Let o(a) = 4*a**2 - 7*a + 4. Is 10 a factor of o(t)?
True
Let i(l) = l**3 - 11*l**2 + 3*l - 16. Suppose 6*x - x - 5 = 0. Let f be -22*x/4*-2. Is 6 a factor of i(f)?
False
Let i be (4/2 + -8)*1. Let h(j) = -j**3 + 10*j**2 - 12*j. Let b be h(9). Let f = i - b. Is 10 a factor of f?
False
Is 13 a factor of (-4)/(-18) + (-1398)/(-27)?
True
Let i(z) = -3*z + 25. Is 6 a factor of i(-12)?
False
Suppose -5*p + 15 = -0. Is 3 a factor of p?
True
Suppose -101*l = -106*l + 350. Does 7 divide l?
True
Suppose 0 = -x + 2. Suppose 6 = -0*b + b - 2*m, -2*b - x*m = -24. Is b a multiple of 5?
True
Suppose 2*y = -i + 4, 5*i + 10 = 5*y - 0. Suppose 4 + i = 2*s. Suppose s*t - 40 = -2*t. Is t a multiple of 10?
True
Does 16 divide -3*(-10)/(-105) + (-562)/(-7)?
True
Let p = -67 - -100. Suppose 0*c + 3*c = -p. Let m = 1 - c. Does 5 divide m?
False
Let o be (-4)/14 - (-72)/7. Let i = 20 - o. Is i a multiple of 10?
True
Suppose 4*y - 14 = -c + 3*c, -5*c + 43 = 3*y. Let a(k) = k**3 - 6*k**2 + 3*k - 4. Does 13 divide a(y)?
False
Suppose -y + 47 + 13 = 0. Is y a multiple of 30?
True
Let u = 52 + -34. Let g = u - -14. Suppose r - 3*r = -g. Does 8 divide r?
True
Let n(p) = 32*p**2 - p + 1. Let d be n(1). Is 11 a factor of ((-7)/(-4))/(2/d)?
False
Suppose -4*a + 2*u + 356 = 0, 3*a - 3*u - 207 - 60 = 0. Is 30 a factor of a?
False
Suppose -2*v = -5*v - 54. Let z = 0 + v. Let o = z - -27. Does 9 divide o?
True
Suppose -i + 2 + 3 = 0. Suppose i*y - 2*y - 153 = 0. Is 13 a factor of y?
False
Let m(n) = 11*n**2 + 2*n + 2. Let a be m(-3). Let c = -62 + a. Let f = c + -10. Is 16 a factor of f?
False
Let v(x) = -3 + 24*x + 26*x + 2. Let b be v(-1). Let j = -20 - b. Is 15 a factor of j?
False
Let g be (5 - 0) + -5 + 5. Suppose 7 = -g*a + 127. Is a a multiple of 12?
True
Suppose 2*k = 5*y - 13 - 11, -2*k = 4*y - 12. Let z be ((-1)/2)/((-2)/12). Suppose s - z = y. Does 4 divide s?
False
Suppose 0 = -0*g - 3*g + 111. Let s = -25 + g. Does 10 divide s?
False
Suppose 3*f = 3 - 39. Does 23 divide -3 - -129*(-8)/f?
False
Suppose 2*s - 4*u = -0*u + 20, -5*s - u = -17. Suppose 4*a - 2*n = 4, n + 3 = 4*a + 1. Suppose a*x = s*x - 112. Is x a multiple of 14?
True
Is 3*-1 - 36/(-2) a multiple of 8?
False
Let p = 6 + 6. Suppose -10*k = -p*k + 20. Is 10 a factor of k?
True
Let t = 72 - 49. Is t a multiple of 3?
False
Suppose 0 = -5*t - y + 407, 2*t = y + 160. Does 27 divide t?
True
Suppose 64*b - 65*b = -51. Does 4 divide b?
False
Let o(v) = -v**3 - 8*v**2 - 8*v - 2. Let x be o(-7). Suppose 35 = z + 4*q + 10, -4*z - x*q + 122 = 0. Is z a multiple of 11?
True
Let v(p) = p**2 + 9*p - 1. Let j(y) = y**2 + 10*y - 2. Let a(g) = -6*j(g) + 7*v(g). Let m be a(-5). Suppose -3*u + 2*u = -m. Does 7 divide u?
False
Let o be (1/2)/((-2)/(-12)). Let b = o + -1. Does 8 divide ((-16)/(-5))/(b/10)?
True
Suppose -4*h + 5*a + 23 = 0, -3*h + 2*a = -10 - 2. Let k(m) = 17 - 2*m**2 - 1 + 3*m**h - m. Does 9 divide k(0)?
False
Let f(g) = g - 2. Let y be f(4). Suppose -3 = -y*l + 5*d, -11 = -l - 3*d + 7. Is 4 a factor of l?
False
Let v = 11 + -7. Let q = -22 - -27. Suppose 4*r - v*o = 45 + 39, -2*o = q*r - 91. Is r a multiple of 11?
False
Is 5 a factor of 21*3/9 + -1?
False
Let w be -1 - 33/(-6)*2. Suppose 10 = 5*q, 2*b - 2*q = -b - 7. Is 12 a factor of 4 + 2/b + w?
True
Let x = 7 - 4. Suppose -2*v = -6*v + 16. Suppose -v*t - 3*i = 4 - 22, x*i = -3*t + 12. Does 3 divide t?
True
Let m(z) = -2*z - 3*z + 4*z + 5*z + 3. Let y be m(-3). Let j = 59 - y. Is j a multiple of 20?
False
Suppose 4*j + 4*c - 295 = 329, 470 = 3*j + 4*c. Is 18 a factor of j?
False
Let t = -2 - -18. Does 4 divide t?
True
Suppose -17 = -5*w - 2. Suppose 0 = -u - 4*j + 55, -w*j - 209 = -4*u - 8*j. Is 15 a factor of u?
False
Suppose -2*f - 3*u + 40 = 0, -5*u + 4*u = 4. Suppose -5*l - f = -3*i - i, -5*l = -5*i + 25. Does 11 divide (-88)/l*18/12?
True
Let d(j) = -j**2 - 9*j + 13. Let x = 1 + 0. Suppose 5 - 11 = c + 3*g, x = g. Does 13 divide d(c)?
True
Let t = -47 + 155. Is t a multiple of 20?
False
Let u(d) = d**3 - 9*d**2 + 5*d + 10. Is u(9) a multiple of 9?
False
Let u(q) = -q**2 - 7*q - 14. Let t(r) = -r**2 - 8*r - 13. Let w(n) = 3*t(n) - 2*u(n). Does 3 divide w(-8)?
False
Is 8 a factor of 20/6*(-210)/(-28)?
False
Let j be -3 + 2 - (-3)/1. Suppose -x + 11 = -2*q, j*q - 2 = -2*x + q. Is x*2 + (1 - 1) a multiple of 3?
True
Let s = -25 + 27. Suppose s*c + c = 24. Is 3 a factor of c?
False
Let l(i) = -8*i**3 + 14*i**2 - 23. Let o(u) = -3*u**3 + 5*u**2 - 8. Let q(v) = 4*l(v) - 11*o(v). Is q(3) a multiple of 8?
True
Let x(y) = y**3 + 12*y**2 - 13*y + 14. Does 7 divide x(-13)?
True
Let i = -17 - -56. Suppose 3*m + 31 = -44. Let u = m + i. Does 14 divide u?
True
Suppose 0 = 4*j - 628 + 112. Does 43 divide j?
True
Let y be ((-4)/10)/(5/(-25)). Suppose -c = 3*c + 2*k - 124, -5*c + y*k = -137. Is 18 a factor of c?
False
Suppose -4*h = 24 - 64. Let c = h - 5. Let i(j) = 2*j - 2. Is i(c) a multiple of 5?
False
Is 584/10 - (-62)/(-155) a multiple of 9?
False
Suppose -9 = -2*v - 1. Suppose -g + 3*j + 6 = 0, -3*g + 2*g + 20 = v*j. Is g a multiple of 12?
True
Let k(u) = -u**2 + 6*u - 4. Let r be k(5). Let t(y) = 11*y**3. Is t(r) a multiple of 5?
False
Let t(x) = -2*x - 3. Let g be t(-3). Suppose 4*m - g*c = 101, 3*m - 109 = -2*m - 2*c. Does 11 divide m?
False
Let s(a) = -a**2 - a - 29. Let f be s(0). Let y be (4 + -3)/((-1)/f). Suppose q + y = 2*q. Does 16 divide q?
False
Let v(w) = -w**3 - 9*w**2 - 2*w + 9. Let u be v(-9). Suppose 4*g - 5 = u. Is ((-114)/(-24))/(2/g) a multiple of 19?
True
Let k = -5 + 4. Let a be k*13 - (6 - 3). Let d = a + 40. Is 12 a factor of d?
True
Suppose -g = 3*z - 76 - 5, 257 = 3*g + 2*z. Does 8 divide g?
False
Let c(m) = -4 - 2 + m**3 - 4*m + 2*m + 5*m**2. Let t be (-8)/4*1 + -3. Is c(t) a multiple of 3?
False
Suppose 3*b - 3*w + 7*w - 26 = 0, -4*w = 5*b - 30. Is (17/b)/(3/12) a multiple of 18?
False
Let q = -45 - -63. Does 17 divide q?
False
Let k = 72 + 54. Is 18 a factor of k?
True
Suppose -z - 16 = -v + 3*z, v + 4*z = -16. Suppose v*a - 3*a = -63. Is a a multiple of 21?
True
Suppose 7*a = 8*a + 14. Let i = a - -17. Is i a multiple of 3?
True
Let p(k) = k**2 + 13*k - 23. Does 8 divide p(-17)?
False
Suppose -150 = -2*v + 42. Is 10 a factor of v?
False
Let o be ((-85)/10)/((-2)/(-4)). Let d be -1*o/1*-1. Let f = d - -30. Does 5 divide f?
False
Let d(s) = s**3 + 19*s**2 - 7*s + 14. Does 49 divide d(-19)?
True
Suppose 4*t = -2*u + 120, 2*t - t - 4*u = 30. Is 17 a factor of t?
False
Let c(y) be the third derivative of y**4/12 - y**3/3 + y**2. Does 3 divide c(6)?
False
Let w = -142 - -206. Let y(b) = -14*b - 4. Let m be y(2). Let c = m + w. Is c a multiple of 16?
True
Let b = 7 - -13. Is (-4)/10 + 448/b a multiple of 11?
True
Suppose -c + 24 = 3. Let o = 17 - 8. Suppose c = 3*f - 5*w, 0 = w + 2*w - o. Is f a multiple of 12?
True
Let n(c) = -4*c - 3. Let g(v) = -v**2 - v + 4. Let q be g(-3). Let k be n(q). Suppose 0*m = -k*m + 60. Is 6 a factor of m?
True
Suppose 0 = 3*s - p - 1, 19 = s + 4*p - 3. Let j = 2 - s. Suppose j*o - 12 = -o. Is 12 a factor of o?
True
Let w(g) = 3*g**2 - 1. Let l be w(-1). Suppose -l*o - 2 = 0, -o - o - 89 = -3*c. Is 10 a factor of c?
False
Let h(k) = -k + 54. Is h(0) a multiple of 18?
True
Suppose 4 = -3*f + 13. Suppose -f*y = r - 70, -r - 98 = y - 5*y. Is y a multiple of 12?
True
Let z be -2*1 - (1 - 6). Suppose 8 = -z*o - 7, 2*o = -3*p + 11. Is 3 a factor of p?
False
Does 34 divide 12/8*4/(-3) - -172?
True
Suppose -s + 2*t - 3*t = -161, -2*t = 4*s - 642. Is s a multiple of 20?
True
Suppose 0 = -4*v + 2*b + 1036, 6*b - 763 = -3*v + 11*b. Is v a multiple of 35?
False
Let s(t) = t**3 - 6*t**2 + 3*t + 3. Let q be s(3). Does 10 divide ((-25)/q)/(1