12?
True
Let z be (544/(-16))/(1 + 0). Let x = 36 + z. Does 9 divide (x + 228)*(2/5 + 0)?
False
Let h = 39 - 37. Suppose 10*b + 2 = h. Let s(o) = -o**3 + 40. Is 40 a factor of s(b)?
True
Suppose -156 = 5*m + 54. Does 14 divide ((-2)/4 - 602/m)*6?
False
Let l = 158 + -155. Is 16626/136 - (l/4)/3 a multiple of 17?
False
Let a be ((-273)/(-9))/((-11)/(-231)). Let j = -323 + a. Is j a multiple of 8?
False
Let a be 4/24 + (-101)/(-6). Is 1666/a - (-4 - -1) a multiple of 7?
False
Let v(f) be the second derivative of f**4/12 + 7*f**3/6 - 5*f**2/2 - 16*f. Let u be v(5). Let d = -26 + u. Does 12 divide d?
False
Let c(y) be the third derivative of y**5/6 + 7*y**4/24 - 11*y**3/6 - 21*y**2 + 2*y. Is c(-5) a multiple of 38?
False
Suppose 12*r - 7*r = 670. Suppose -6*d + r = -5*d. Let h = d + -78. Is h a multiple of 6?
False
Does 154 divide (34839/98)/((-1)/(-86))?
False
Suppose 0 = -0*k - 8*k + 28696. Is k a multiple of 17?
True
Let l(q) = 8650*q + 410. Is l(4) a multiple of 73?
False
Let x(h) be the second derivative of -577*h**5/20 - h**4/6 + 3*h**2/2 - 2*h - 5. Is x(-1) a multiple of 17?
True
Let s(b) = 61*b**3 + 3*b**2 + 13*b - 151. Is 32 a factor of s(6)?
False
Let h = 33 + -16. Suppose 0 = 2*v, 5*v + 2951 = 3*u + 899. Suppose h*z - 13*z - u = 0. Is z a multiple of 35?
False
Is 30/(-25) + 112548/15 a multiple of 22?
True
Suppose -87*m + 42 = -93*m. Is 10 a factor of (-1035720)/(-700) - (1 - m/(-5))?
True
Let i = 10 + -3. Suppose -i*n + 953 = -6131. Is 23 a factor of n?
True
Let m = -26 + 26. Suppose m = -4*j + 488 + 912. Suppose -5*y = 5*u - j, -u = -5*u - 2*y + 278. Does 12 divide u?
False
Suppose 0 = -3*k - 0*k - u - 20, 5*u = 4*k + 52. Is ((-22)/k)/((-21)/(-2184)) a multiple of 22?
True
Let i(f) = -23*f**3 - 2*f**2 - 2*f - 1. Let s be i(-1). Suppose 5*g = y + s, g + 4*y - 10 = 7. Suppose -g*d + 47 + 73 = 0. Does 6 divide d?
True
Let j = 1522 + -132. Suppose -2*f = -4*p + j, 2*f = -19*p + 16*p + 1025. Does 17 divide p?
False
Let v be (1 - 1) + (-42)/(-7). Suppose -v*s - 54 = -180. Let a = s + -1. Is 4 a factor of a?
True
Let d = -2998 + 3595. Is 118 a factor of d?
False
Let j(f) = 2*f + 0 - 3 + 8 - 3*f. Let d be j(2). Suppose 0 = d*o - 0*o - 261. Is 29 a factor of o?
True
Suppose -5*q + 38 = -2*a, -6*a = -a + 20. Suppose 2*u - 145 - 31 = 0. Suppose -u + 10 = -q*w. Is w a multiple of 13?
True
Does 6 divide ((-36)/(-8))/((-16)/30792*(-3)/4)?
False
Let w be (10 + 1)/(-2 - -4 - 1). Let z be (-1)/(3/w)*1*-42. Suppose -z = -9*g + 908. Does 59 divide g?
True
Let a(i) = 24*i + 1 - 40*i**2 - 13*i - 8*i. Let q(m) = 41*m**2 - 2*m - 1. Let z(h) = 2*a(h) + 3*q(h). Is z(1) a multiple of 6?
True
Let o(p) = -398*p - 3. Let d be (14/(-28))/(2/4). Let s be o(d). Let x = -200 + s. Does 20 divide x?
False
Let l = -19843 - -28861. Is 18 a factor of l?
True
Let h(m) = m - 5*m + 3*m**2 - 4*m - 2*m + 0*m - 37. Is 49 a factor of h(-5)?
False
Let h(i) = -113*i + 2960. Is 37 a factor of h(0)?
True
Suppose 0 = -48*s + 67540 - 1636. Suppose 0 = 19*t + s - 24097. Is 52 a factor of t?
True
Suppose 31499 = 12*y - 10392 - 158005. Does 43 divide y?
False
Does 66 divide (-4)/10 - ((-60763038)/1395 - 16/6)?
True
Let o(f) = -43 + 42*f - 87 - 86 + 215. Let y be 1/(1 + (-1 - -1)). Is 7 a factor of o(y)?
False
Let w be (-2)/7 + 270/63. Suppose 5*i - 806 = -4*z, -10*i + 12*i = -w*z + 800. Is z a multiple of 12?
False
Let p(m) = 3865*m - 3867. Is 86 a factor of p(4)?
False
Suppose 0 = -14*x + 13*x - 65. Let r = -63 - x. Does 18 divide (4 + 2)*6/r?
True
Suppose -7*t = -0*t + 1309. Let i = t - -239. Does 13 divide i?
True
Is ((-118433)/21)/(21/(-108)) a multiple of 12?
True
Let c(s) = 105*s**3 - s**2 - 2*s + 3. Let r be c(2). Suppose 19*i - 3115 = -r. Is 4 a factor of i?
True
Let u(d) = -d**3 + 38*d**2 - 49*d + 134. Is u(33) a multiple of 14?
True
Suppose -63*g + 10 = -58*g. Let r be 30/g + (-6 - -3). Is 11 a factor of 75 - (4 - r*1/2)?
True
Let r(s) = -463*s - 13. Let y be r(-5). Suppose 5*v + z = 5*z + y, -v - z = -455. Does 28 divide v?
False
Let d = 1335 - -838. Does 53 divide d?
True
Suppose 0 = j - 3*j + 4, 35210 = 3*h + 7*j. Does 7 divide h?
True
Suppose -54244 = -7*m - 16031. Is 47 a factor of m?
False
Suppose -313*c + 824869 + 916976 = 0. Is 7 a factor of c?
True
Let b(x) = 5*x**2 + 11*x - 9. Let v be 6/(((-21)/2)/(-7)). Let u be b(v). Suppose u = 5*j - 155. Is j a multiple of 23?
False
Let m = -809 + 2005. Suppose 4 = -4*j, 2*a - 4*j - m = -8*j. Is a a multiple of 60?
True
Suppose 0 = -1873*a + 1878*a - 4*g - 23352, 0 = 5*g - 35. Is a a multiple of 35?
False
Let z(d) = 35*d**2 + 47*d + 608. Is 42 a factor of z(-11)?
True
Let n = 12763 + -7051. Is n a multiple of 56?
True
Suppose 5*p - 21 = -26. Is 11 a factor of 50*p*(8 + -10)?
False
Suppose -315 + 267 = -2*f. Suppose 5*x = -p + 202, -4*p = -4*x + f - 808. Is 79 a factor of p?
False
Does 42 divide ((-36)/(-162) - (-74)/(-9)) + 13994?
True
Suppose 15*w - 3256 - 1574 = 0. Suppose -w = 109*y - 111*y. Is 14 a factor of y?
False
Suppose -4*k = 2*b - 17032, -2*b + 5503 + 3011 = 2*k. Is 3 a factor of k?
False
Let g(l) be the second derivative of l**5/20 + 2*l**4/3 + 3*l**3/2 + 17*l**2/2 + 378*l. Let m be (-2 + 3)/(2/(-10)). Is g(m) a multiple of 7?
False
Suppose m = 2*v - 9, 8*v - 5*v = -5*m + 20. Suppose -4*s + n = -2860, -5*s + 3*n = v*n - 3562. Is 10 a factor of s?
False
Let w(x) = 15*x - 74*x + 9*x - 53*x + 179. Is w(-7) a multiple of 18?
True
Let i(f) = f - 10. Let y be i(10). Suppose -5*x - 5*r = -350, y*x + 3*r + 130 = 2*x. Does 14 divide x?
False
Suppose -12 = 17*j - 14*j, 4*j + 6 = -5*n. Suppose -8 = i + 5*w - w, -3*w = -3*i + 21. Suppose u + i*b - 31 = 32, 3*u = n*b + 147. Does 6 divide u?
False
Let p be 73060/(-75) + 8/60. Let y = -524 - p. Is 18 a factor of y?
True
Suppose -39 = -2*g + x, -3*x + 72 = 3*g - 0*x. Suppose 0 = -10*w + g*w - 484. Is w a multiple of 17?
False
Let q be 0/(3 - (4 + -2)). Suppose -5*j + 5*p - p - 617 = q, 256 = -2*j - 3*p. Does 12 divide 2 - -1 - (j - -1)?
False
Suppose -4*a = -3*a + 2*f - 9, -2*a = -2*f. Suppose -7*k + a*k = 2*o - 26, 6 = 2*o. Is (-798)/(-2)*(32/6 - k) a multiple of 30?
False
Let c(i) = -15*i + 25. Suppose w - 4*z = -z + 25, -2*w = -4*z - 40. Let x be c(w). Let f = x - -217. Is f a multiple of 23?
True
Let x = -66 - -66. Suppose -5*g = -0*g - 15, -3*m - 5*g + 312 = x. Is 12 a factor of m?
False
Let m(a) = -23*a**2 - 21*a - 16*a**2 + 31*a**2 - a**3 - 19. Is 8 a factor of m(-9)?
False
Let r(y) be the first derivative of 2*y**3/3 - 5*y**2/2 - 15*y - 2. Let t(j) = j**2 - 5*j - 15. Let v(u) = 2*r(u) - 3*t(u). Is v(-11) a multiple of 15?
False
Let m(v) = 2*v + 4. Let u be m(-4). Let i(g) = 119*g - 994. Let c be i(12). Does 10 divide -2 - (-18)/12 - c/u?
False
Suppose -4*i = i - 15. Suppose 3*x = -i*q + 12, -2*q - 3*q = -4*x + 25. Suppose 4*f - x*s = 270, -73 = 3*f + 5*s - 258. Is 13 a factor of f?
True
Suppose -6077 = 3*l + j, -2*l - 8094 = 2*l - 3*j. Let v = -1274 - l. Does 16 divide v?
False
Let v = -60 + 62. Suppose v*b = -y + 460, -3*y - b + 610 = -790. Suppose 0*m = -3*m + y. Is m a multiple of 26?
True
Suppose v + 24822 = 4*u - 38062, -3*u - 3*v = -47148. Is 131 a factor of u?
True
Suppose 4*q - 1 = -v + 19, 2*v = 3*q - 15. Suppose q*k + y - 56 = 2*y, k = y + 8. Does 3 divide k?
True
Let n(o) = -o**3 + 9*o**2 + o - 21. Let y be n(7). Let x = y - 83. Does 35 divide (x/(-1))/((-1)/197)?
False
Let m = -640 + 308. Let o = m + 579. Does 19 divide o?
True
Suppose 4*t - 283 - 117 = 0. Is 12 a factor of t/25*358/8 + 1?
True
Let t(l) = -98*l - 65 - 79*l + 814*l. Is 20 a factor of t(2)?
False
Does 148 divide (8/(160/(-12))*45)/((-10)/3030)?
False
Suppose 21885 = 2*s - 3*h, -5*s + 32607 = -2*s + 27*h. Is 12 a factor of s?
True
Let f(m) = -m**3 - 2*m**2 + 3*m + 7. Let s be 232/(-3) + 8/(-12). Let i be (s/(-117))/((4/(-9))/2). Is f(i) a multiple of 7?
True
Let o(h) = 1527*h**2 - 13*h + 17. Does 54 divide o(2)?
False
Let j(v) = -v**2 - 139*v - 266. Does 148 divide j(-49)?
True
Suppose 6*m = 2 + 52. Let c(i) = -i - m*i + 0 + 5. Is c(-3) a multiple of 13?
False
Let u = -8283 - -15301. Does 29 divide u?
True
Suppose -28 = -3*c - 2*f, 0 = 3*c - 4*f + f - 48. Let w(x) = x**2 - 7*x + 122. Is w(c) even?
True
Let s(l) = -2863*l + 3122. Does 146 divide s(-3)?
False
Let g(c) = -192*c - 2900. Is 11 a fact