7. Does 5 divide x?
True
Let v be (-823)/(-3) + 1/(-3). Let j = -172 + v. Is 17 a factor of j?
True
Suppose 7*w - 3*w - 5*c = 4175, 0 = -2*w - 3*c + 2093. Is w a multiple of 95?
True
Suppose -60*s + 144 = -57*s. Let x = s + 187. Does 28 divide x?
False
Let g(b) = 11*b**3 + 32*b**2 - 5*b - 2. Let k(c) = -c + c**2 + 7*c**3 + 18*c**2 - 1 - 2*c + 2*c**2. Let z(x) = -5*g(x) + 8*k(x). Is z(-7) a multiple of 15?
False
Let d = 3 - -2. Suppose 0*y - 45 = -d*y. Let q = y + 1. Does 10 divide q?
True
Suppose 5*s - 3*s = 0. Suppose s = v - 2*v - 12. Is (-4)/(16/v) + 6 a multiple of 9?
True
Suppose 0 = q + 3, b - 2*b - 2*q + 309 = 0. Does 9 divide b?
True
Let r(a) = 2*a - 13. Let v be r(8). Suppose 2*o = v*c + 2*c + 49, 0 = 3*o + c - 82. Does 9 divide o?
True
Let i(s) = 21*s + 15. Let m be i(-4). Let u = m + 169. Is 5 a factor of u?
True
Let z = 396 - 245. Suppose -5*y + 127 = 2*m, 51 = -4*y - 2*m + z. Is y a multiple of 27?
True
Does 30 divide (-10 - 1272)/(-1*(-2)/(-3))?
False
Let z(g) = -3*g + 186. Is 16 a factor of z(-34)?
True
Suppose -r = 0, -12 - 3 = -5*k + 5*r. Suppose -k*n - n + 72 = 0. Is 6 a factor of n?
True
Let b(w) = -w**3 + 5*w**2 + w - 1. Let i be b(4). Suppose 20*o = i*o. Suppose o*h - 2*h + 4*y = -30, 4*h - 67 = y. Is 11 a factor of h?
False
Suppose 0 = -27*g + 1546 + 803. Does 3 divide g?
True
Let f(w) = 12*w**2 - 42*w + 30. Is 26 a factor of f(9)?
True
Let b(s) = -s - 2. Let p be b(-4). Suppose -5*n - j + 57 = -0*j, -p*n + 3*j + 16 = 0. Is n a multiple of 5?
False
Let p be (-4 - -5)/((-3)/(-9)) - -212. Suppose 3*a - 5*b - 107 = 0, -5*a = -3*b + 2*b - p. Does 11 divide a?
True
Let w = 4 - -14. Suppose -5*t + 2 = -w. Suppose -2*z + 33 = f, -t*z + 16 - 82 = -2*f. Does 11 divide f?
True
Let j(k) = -k**2 - 10*k - 5. Let f be (-1 + 3 + 1)*-5. Let m be (-13)/(-26)*(1 + f). Is 16 a factor of j(m)?
True
Let o = -237 - -707. Does 10 divide o?
True
Let a(n) = n**2 + 13*n + 2. Let o be a(-10). Let d be (-3788)/o - (-2)/(-7). Let h = d - 96. Is h a multiple of 30?
False
Does 10 divide 9724/7 + 78/91?
True
Suppose 3*d - 4*d = 5, -h = 3*d - 45. Suppose -5*v + h = 4*l - l, 2*v = -4*l + 38. Let y = 27 - v. Does 7 divide y?
False
Suppose 3 + 11 = 2*n. Let t = n - 0. Suppose t = 3*x - 17. Is 4 a factor of x?
True
Let y be 1/((-2 + 0)/344). Let g = y - -271. Is 33 a factor of g?
True
Suppose 63 = 3*v - 5*n - 55, -5 = -5*n. Suppose 2*t - v - 99 = 0. Is t a multiple of 35?
True
Suppose 5 = 5*d - 10*d - 4*x, 0 = -2*d - 2*x - 4. Suppose -382 - 578 = -d*v. Suppose -7*i + v = -2*i. Is 11 a factor of i?
False
Let y = 323 + -62. Is y a multiple of 9?
True
Let k = -39 - -26. Let w(f) = f**3 + 11*f**2 - 27*f + 12. Is 25 a factor of w(k)?
True
Let a be (-253)/69 - (-4)/(-3). Let r(d) = -d**2 - 4*d + 10. Let s be r(a). Suppose s*m = 3*f + f - 121, -2*f + 73 = -5*m. Is f a multiple of 24?
True
Suppose -i + 4*o - 78 = -611, 0 = i - 5*o - 535. Is i a multiple of 15?
True
Let u be ((-16)/(-5))/(32/(-1040)). Let x = u + 113. Is x a multiple of 9?
True
Let b = 254 + -59. Does 13 divide b?
True
Let n be 308 - (0 + 4 + -5). Is 27 a factor of 2*(n/6 + -1)?
False
Let c(m) = 203*m + 82. Does 31 divide c(7)?
False
Suppose 3*z - z + 332 = 0. Let t = z - -266. Suppose 2*i = -2*h + h + 20, 3*i - t = -5*h. Is 14 a factor of h?
False
Let t be 1*1/(-3)*-9. Suppose 148 = t*y - 2*w, y - 49 - 7 = 4*w. Is y a multiple of 16?
True
Let v = 43 - 33. Let y(d) = -d**2 + 13*d + 4. Is 17 a factor of y(v)?
True
Does 10 divide (-34)/(-4)*(52 - 10)?
False
Suppose 0 = -4*u + 31 + 353. Does 32 divide u?
True
Suppose 3*d + b = -d + 15, 2*d + 5*b - 3 = 0. Is 28 a factor of 243 - -13 - 3/(3/d)?
True
Let l(c) = 7*c**3 + 3*c**2 - 23*c + 13. Is l(3) a multiple of 5?
True
Let z(m) = 2*m**3 - 3*m**2. Let n be z(2). Suppose -l = n*l. Suppose l = 5*t + x - 147, -x + 118 = -t + 5*t. Does 15 divide t?
False
Suppose i - 110 = 2*k, 0*i = i + k - 125. Suppose 6*q - i - 84 = 0. Is 4 a factor of q?
False
Suppose z = o - 3*z - 300, 866 = 3*o + 5*z. Suppose 0*i = 2*i - 2*m - 280, -o = -2*i - 4*m. Suppose -119 - i = -3*y. Is y a multiple of 29?
True
Is ((-77)/(-154))/(((-2)/(-1252))/1) a multiple of 18?
False
Suppose -5*a = -a - 5*r + 9, 0 = -2*a + 5*r - 17. Suppose -a*x - 3*c + 100 + 92 = 0, 2*c - 192 = -4*x. Is 6 a factor of x?
True
Suppose -2 = 9*i - 11*i, 0 = -3*p + 2*i + 298. Does 50 divide p?
True
Suppose 3*o + 132 = -0*o. Let z be (-8)/(o/(-52) - 1). Let y = 13 + z. Is 13 a factor of y?
True
Let b(m) = m**3 - 6*m**2 + 5*m + 1. Let u be b(6). Let t = u + 3. Is t a multiple of 29?
False
Let k(j) = 92*j**2 + 89*j**2 + 123*j**2 - 106*j**2 - 2*j. Is 20 a factor of k(-1)?
True
Let p be 2*1 + 4 + 0 + -4. Suppose p*l = 3*l - 186. Is 32 a factor of l?
False
Let x be 1*8/(-36) + 14/(-18). Is (-3)/(2 - (4 + x)) a multiple of 3?
True
Is (-9)/6 - 227/(-2) - 4 a multiple of 11?
False
Let b be -1 + 2 + 9 + -3. Suppose 0*y + b*y - 245 = 0. Does 7 divide y?
True
Suppose 3 + 37 = 2*l. Let u be (l/(-25))/(2/(-10)). Suppose 2*x - u = 4. Is 2 a factor of x?
True
Let g be 32/(-176) - (-392)/(-22). Let v = -25 - g. Is 18 a factor of 2/v - (-6578)/91?
True
Suppose -4*g + 5*a + 9 = -11, 0 = g + 5*a - 5. Suppose i + 1 = -o + g, 2*o + 24 = 2*i. Does 2 divide i?
True
Let w = 30 - 80. Let k = w + 58. Is k even?
True
Let g = -2496 + 3727. Does 66 divide g?
False
Suppose 12 = 3*b, -4*w + 16 = -3*w - 2*b. Suppose 5*g - w = 126. Does 4 divide ((-7)/3)/((-5)/g)?
False
Suppose 5*x = 2*v + 3*v - 50, 10 = -5*x. Let f(p) = p**2 - 11*p + 27. Does 2 divide f(v)?
False
Let s = -61 - -90. Suppose -p - 4*i = s, p - 3*i = 2*p + 27. Is 3 a factor of (-3)/(30/p + 1)?
False
Let f = -17 - -20. Is 4 a factor of (40/(-3))/((-2)/f)?
True
Let i(k) = k**3 - 5*k**2 + k + 6. Let m be i(4). Is (-28)/(-49)*(-14)/m*18 a multiple of 3?
True
Suppose 20*w - 16*w = 800. Let d = -37 + w. Is d a multiple of 37?
False
Suppose k - 4*k + 1962 = 0. Is k a multiple of 46?
False
Let t(o) = -o**3 + 5*o**2 + 16*o + 4. Let u be t(7). Let i = 4 + u. Does 22 divide i?
True
Let d(o) = o**2 - o + 4. Let k be d(-5). Is 2 + -3 + (k - -8) a multiple of 6?
False
Let p(t) = t**2 - 20*t - 43. Let i be p(-11). Suppose i + 334 = 4*b. Is b a multiple of 12?
False
Let v = 339 + 675. Suppose -l = -7*l + v. Is 14 a factor of l?
False
Let i = -1 + 26. Suppose 0*b = -3*s - b - 11, 5*s + i = 5*b. Let l = 7 - s. Is l a multiple of 4?
False
Let a(m) = -33*m - 4. Let q(b) = -50*b - 6. Let j(s) = -7*a(s) + 5*q(s). Does 17 divide j(-5)?
False
Let d(v) = -34*v + 1. Let u(t) = -34*t + 1. Let j(k) = -3*d(k) + 4*u(k). Let o be (-14)/10 - (-8)/20. Is j(o) a multiple of 7?
True
Suppose 0 = -5*m - m + 48. Suppose 5*r = m + 47. Is r a multiple of 5?
False
Let d = -157 - -311. Is d a multiple of 14?
True
Let c(f) be the third derivative of -f**5/10 - f**4/12 - 2*f**3/3 + 8*f**2. Let u(p) be the first derivative of c(p). Is 3 a factor of u(-1)?
False
Suppose 5*q + 0 - 50 = 0. Is 1*((-768)/(-20) - (-6)/q) a multiple of 3?
True
Let t(w) = w + 11. Suppose 28 = 26*a - 22*a. Does 6 divide t(a)?
True
Suppose 0 = 4*o + 28 + 4. Let p = o + 17. Suppose 3*w - s - 4*s = p, -17 = -w - 3*s. Does 4 divide w?
True
Let i(c) = -c**3 + 15*c**2 + 15*c + 12. Suppose -4*x + 40 = -4*b, 4*x + 0*b - b = 55. Is 24 a factor of i(x)?
False
Let w(y) = y**3 - 6*y**2 + 3*y + 6. Let x be w(5). Let r = -24 + 26. Does 3 divide -1 + r/x*-10?
False
Let v(j) = -j - 3. Suppose 2*d - 19 = 3*y, -d - 14 - 35 = 5*y. Is v(y) a multiple of 3?
True
Let c(x) = -x + 1. Let f be c(1). Suppose f*j = -3*j - 9, j - 44 = -i. Is 4 a factor of i?
False
Suppose -4*g + v = -0*v - 22, -v - 12 = -2*g. Suppose g*m + 5 = 25. Suppose m*u - 25 = 27. Is u even?
False
Let p(w) = -w**3 + 10*w**2 + 13*w - 10. Let j be p(11). Let c be ((-1)/(-2))/(1/j). Is 17 a factor of 340/(-6)*(-9)/c?
True
Let p = 17 + -12. Suppose 0 = o - p*o + 28. Suppose 3*g = o*g - 12. Is g a multiple of 3?
True
Let t = -71 - -145. Let q = t - 9. Suppose 79 = 3*z - q. Is z a multiple of 17?
False
Let y = 41 - 42. Is ((-6)/(-4) + y)*18 a multiple of 9?
True
Let h be ((-2)/4)/((-2)/(-92)). Let c = -198 - -237. Let d = c - h. Does 15 divide d?
False
Let z(s) = 20*s**2 - 3*s - 9. Let t be z(3). Suppose t + 14 = 4*k. Is k a multiple of 15?
False
Let n(u) = u**2 - 3*u. Let d(v) = 3*v**2 - 7*v. Let q(o) = 2*d(o) 