 5*y + 4*f + 2 = 0. Suppose 3*x = -3*b + 111, 157 = 4*b + 4*x - 3*x. Is 3 a factor of (6 - 7) + b - (-6)/y?
True
Suppose -7*t = 472 + 788. Let n be 1*4/(-8)*t. Suppose 0*b = -3*b + n. Is b a multiple of 10?
True
Suppose -3 = -0*g - g. Suppose -198 = -g*c + c. Suppose 6*f - c = 345. Does 17 divide f?
False
Let s(c) = 166*c**2 + 8*c - 42. Does 18 divide s(4)?
True
Suppose p = -11*k + 16*k + 1059, 4324 = 4*p + 2*k. Is p a multiple of 13?
True
Suppose 0 = -v - x, 0 = -3*x - x. Suppose v = u + 5*a - 131, -2*a + 4*a - 222 = -2*u. Is u a multiple of 10?
False
Let o(x) be the second derivative of x**4/6 - 4*x**3 + 117*x**2/2 + 21*x - 1. Is o(24) a multiple of 9?
True
Suppose -3*x = 3*c + x - 1035, 0 = 5*c - 5*x - 1725. Suppose y + c = 6*y. Suppose 2*s = -3*n - 0*s + 185, -3*s - y = -n. Is 7 a factor of n?
True
Let b = -5673 + 9513. Is b a multiple of 32?
True
Suppose 0 = -2*n + 1 + 37. Suppose -9*k = -262 - 143. Let f = k + n. Is f a multiple of 16?
True
Let h be (-1237704)/(-108) - (-6)/(-27). Suppose -51*s = -21*s - h. Is 29 a factor of s?
False
Let g be 7 - (1 + 3 + -2). Suppose s + 2*o - 10 = -0*s, 4*s + g*o = 34. Let r = 21 - s. Is 15 a factor of r?
True
Suppose w = -3*x - 2*w + 11523, x - 3*w = 3829. Is x a multiple of 38?
True
Let p be (640/(-25))/4*5. Let u = p + 80. Let y = 12 + u. Is y a multiple of 15?
True
Let s(b) = -10558*b**2 - 22*b - 7. Let p be s(-5). Does 5 divide (-4)/10 - p/555?
True
Let y = 436 + -140. Suppose 2*c + 4*o = 2*o + 194, 3*c = -4*o + y. Is 23 a factor of c?
True
Let v(q) = -9*q + 1678. Is v(78) a multiple of 14?
False
Let g(j) = j**2 + 9. Let p(a) = 3*a**2 + 3*a + 66. Let i(o) = 6*g(o) - p(o). Suppose -2*v - 15 = -3*d - v, v + 10 = 2*d. Does 12 divide i(d)?
True
Suppose -5*d - a = -4*a, 0 = 2*a. Suppose d = -13*g + 18*g - 8180. Suppose 0 = -2*j + 4*x + 132 + 500, -5*j = 4*x - g. Is j a multiple of 18?
True
Let z = 8404 - 4051. Does 37 divide z?
False
Is (-3)/(-14) + 7675245/1190 a multiple of 15?
True
Suppose -4*m + 5*k - 15 = 0, -9*m + 13*m = -k - 21. Is 37 a factor of 8/(-6) - ((-4329)/27 + m)?
False
Suppose u - 19 = -227*a + 224*a, 0 = -2*a - 4. Is u a multiple of 25?
True
Let i(v) be the first derivative of v**3 - 25*v**2/2 + 12*v + 158. Does 25 divide i(18)?
False
Let h = 195 + -140. Let k be (462/(-10))/(-3) - 22/h. Suppose 0 = k*f - 578 - 262. Does 2 divide f?
True
Suppose -54055 - 271908 = -10*s + 487. Is s a multiple of 141?
False
Let g = -704 - -974. Let c = g - 119. Does 13 divide c?
False
Let t = 195 + -145. Suppose 0 = -t*g + 21*g + 2001. Is 21 a factor of g?
False
Suppose -428 = -4*l + 2724. Let y = l + -427. Does 9 divide y?
False
Let a = 5221 + 13377. Does 28 divide a?
False
Let z(t) = -11*t + t**2 - 28 - t**3 + 12*t + 7*t + 81. Is z(0) a multiple of 24?
False
Let z(y) = -y**3 + 7*y**2 + 7*y + 4. Let i be z(8). Let w be (-1)/(i + (-35)/(-9)). Suppose -w - 51 = -p - 3*n, p + 4*n = 64. Is p a multiple of 8?
True
Let z = -120 + 92. Let a = -22 - z. Suppose 4*h = 4*p - 172, -a*p + 4*h = -p - 217. Does 4 divide p?
False
Let t(a) be the second derivative of a**6/36 - a**5/60 + a**4/24 - 7*a**3/6 + 13*a. Let c(g) be the second derivative of t(g). Is 6 a factor of c(2)?
False
Let k = 17803 + 2243. Does 13 divide k?
True
Suppose 3*s - 34 + 14 = -o, s - 12 = -3*o. Let m(c) = -6*c**2 - 2*c**3 + 3*c**3 + 4*c + c - 10. Is 5 a factor of m(s)?
True
Let k(j) = -2*j**3 + 88*j**2 - 118*j + 12. Does 6 divide k(42)?
True
Does 31 divide -2 - 94726/(-5) - (960/(-40))/(-120)?
False
Let b be ((-2)/(-4))/((-16)/(-64)). Suppose -b*j + j = -7. Suppose s = j*s - 252. Is s a multiple of 9?
False
Let h(y) = 6*y + 3. Let s be h(5). Suppose s = 3*q - 9. Let d = q + 14. Is d a multiple of 4?
True
Is (40170/4)/(553/1106) a multiple of 13?
True
Let x = 15560 - 8280. Is 112 a factor of x?
True
Suppose 4*g - 95640 = -2*o, -8*g + 0*g = 5*o - 239100. Is o a multiple of 20?
True
Let c(d) = 3*d**3 - 19*d**2 + 5*d - 4. Suppose 0 = -9*p + 8 + 37. Suppose -5*r = -20, -m + 0*r - p = -3*r. Is c(m) a multiple of 17?
False
Let s(q) be the first derivative of 6*q**2 - 57*q - 248. Is 3 a factor of s(10)?
True
Suppose -8 = g - 3*g. Suppose -y + 4*y + 3*c - 108 = 0, -g*c = -2*y + 72. Is y a multiple of 6?
True
Suppose 3*q + 87 = 99. Suppose -p = -q*l - 218, -l - 59 = -3*p + 617. Is p a multiple of 35?
False
Is 3*4*((-4395)/(-36) + (-99)/36) a multiple of 24?
False
Suppose -43*u + 6 = -41*u. Let d = -4 - -5. Is 5 a factor of 10*-7*(u/(-6))/d?
True
Let p(o) be the third derivative of o**6/120 - o**5/4 + 3*o**4/8 + 4*o**3/3 - 85*o**2 - 1. Is 35 a factor of p(16)?
False
Suppose -2 + 92 = 5*f. Suppose -f = -y + 42. Is y a multiple of 20?
True
Let n(m) be the first derivative of 157*m**5/60 - m**4/24 - m**3/3 - 17*m**2/2 - 28. Let v(d) be the second derivative of n(d). Is v(-1) a multiple of 9?
False
Let t(s) = -22*s - 5. Let f(b) = -b - 1. Let r(w) = 4*f(w) + t(w). Let l = 18 - 21. Does 8 divide r(l)?
False
Suppose 7*f + 12 = 3*f. Let s be f*2/(-6)*-3 + 3. Suppose -5*g + 5*y + 225 = 0, 3*y + 3 + 0 = s. Is 17 a factor of g?
False
Let i be ((198/(-12))/11)/(3/(-2)). Let x(j) = 37*j**3 + j**2 - 2*j. Let r be x(i). Suppose 2*q - r = 32. Is q a multiple of 11?
False
Suppose 0 = -3*b - 7 + 19. Let l(n) = -13*n + 507. Let w be l(39). Suppose -b*v + 0*v + 576 = w. Does 24 divide v?
True
Let h(y) = y**3 - 9*y**2 + 11*y - 19. Let c be h(7). Let o = -29 - c. Suppose -o*k - 2*k + 819 = 0. Is 21 a factor of k?
True
Let j(z) = 55*z**2 - 3*z - 1. Let n be j(-1). Let h = n + -49. Suppose -3*g = 4*w - 487, -h*w = -3*w + 25. Is g a multiple of 13?
True
Let z(x) = 397*x**2 - 7*x + 16. Is 17 a factor of z(-4)?
False
Suppose -7307 + 1083 = 16*h. Let i = h - -737. Is 12 a factor of i?
True
Let z = -209 - -206. Let p(o) = -23*o**3 - 3*o - 1. Is p(z) a multiple of 20?
False
Is 241 a factor of (503270/36 - (-368)/(-414)) + 5/(-6)?
True
Let s(l) = 5*l**2 - 3*l - 101. Suppose -10*r + 10 = -8*r, -4*r + 60 = -5*w. Does 9 divide s(w)?
True
Let r(y) = 2*y**2 + y - 1. Let s be r(1). Let i(n) = -5 - 3*n - 9 + 10*n + s*n**2 - n**2. Is i(-10) even?
True
Does 20 divide (-5)/((1/6)/((-11340)/35))?
True
Let h be (1 + -1)*(-72)/144. Suppose h = -0*s - 3*s + 243. Is 3 a factor of s?
True
Is 4386415/1844*32/10 a multiple of 22?
True
Suppose 0 = c - 82 + 26. Let u be c/42*2/(8/(-18)). Does 39 divide 74*9*(-2)/u?
False
Suppose 5*o + 20 + 15 = 5*n, -2*o = 3*n - 16. Suppose 0 = -3*m + 2*s + n, -15 = -2*m + s + 4*s. Suppose m*g = 2*g - 360. Does 18 divide g?
True
Let l = 68 - -34. Let z = l + -162. Is (28/21)/((-1)/z) a multiple of 9?
False
Suppose 0 = 4*h + 5*m + 13, 3*m - 21 + 27 = -3*h. Does 27 divide h*3/(-18) - 325/(-2)?
True
Suppose 0 = 13*o - 3*o - 1070. Let w = -94 + o. Suppose w*x - 635 = 717. Does 20 divide x?
False
Suppose -619 = u + m, 1244 = -2*u - 4*m + 5*m. Let t = 849 + u. Does 12 divide t?
True
Suppose -9 = -3*n, 21 = -2*h - n - 16. Does 28 divide 48*(-1 + (-125)/h)?
True
Suppose 5*t - 2*b = 100, -40 = -2*t - 11*b + 7*b. Let d(k) = 15*k - 93. Does 11 divide d(t)?
False
Suppose 6*o - 19 = -7. Suppose 0*c - 4 = 2*c, -z + o*c = 0. Is 6 a factor of 1/(1/32) - z?
True
Let b(u) = 2*u**2 - 38*u + 20. Let x be b(27). Suppose 12 = 5*r - 2*r, -3*z = 5*r - x. Is z a multiple of 12?
True
Suppose -4*y - 2*p + 6 + 12 = 0, 3*y = -2*p + 14. Suppose -52 = -y*a - 12. Does 2 divide a?
True
Is 15/(-9) + ((-137298)/9)/(-14) a multiple of 8?
True
Is 26 a factor of ((-66)/8)/((-15)/28344*15118 - -8)?
False
Suppose -10 = 3*g - 5*p + p, 3*p = 12. Suppose r - w = 7, -4*r + 2*r = g*w - 34. Suppose 0 = r*n - 49 - 119. Is n a multiple of 3?
False
Let o be (-33)/(4 - 1) - -2. Let y(m) = 27 - 28*m**2 - 5*m + 32*m**2 + 14*m. Does 15 divide y(o)?
True
Suppose 0 = 5*a - 26 + 6, 0 = t + 5*a - 13. Suppose -33 = s - 5*c, 3*s - 2*c - c + 63 = 0. Is s/42 - 507/t a multiple of 18?
True
Let d = 554 - 189. Let b = d + -17. Does 12 divide b?
True
Suppose -5*k = 5, 5*k = 2*c - 16 - 7. Suppose -5*n - 40 = -5*w, 2*w + 19 = -3*n - 2*n. Suppose c = w*r, 3*r = 2*o + 2*o - 435. Is o a multiple of 37?
True
Let s = -51 - -53. Suppose 0 = 6*b - 4*b + 4*d - 484, s*d - 8 = 0. Is 18 a factor of b?
True
Let o be 4/10 + 21/35. Let r be o + 3 + 0/3. Does 27 divide r/(144/(-74) - -2)?
False
Let r(k) = k + 5. Let t be r(-3). Suppose -t*j + 39