e i(-24). Is (-739)/(-11) - ((-4)/n)/2 a multiple of 15?
False
Suppose 46 = 2*i + 8. Let n = i - 31. Let z = n - -22. Is z a multiple of 10?
True
Suppose -11*u - 5*b = -10*u - 426, 0 = 3*u - 4*b - 1240. Is u a multiple of 5?
False
Let p be 4*(-6)/(-8) - 23. Is 396/10 + (3 - (-52)/p) a multiple of 20?
True
Does 50 divide 6 + 1 + -8 + 82?
False
Let s = 21 + 2. Suppose -18*l + s*l - 245 = 0. Is 9 a factor of l?
False
Suppose -3*g = -0*g + 3*y + 333, -5*y = -2*g - 250. Let p = -71 - g. Is 6 a factor of p?
False
Suppose -3641*q - 13440 = -3648*q. Is 64 a factor of q?
True
Suppose 0 = 7*k - 77 + 7. Suppose 1285 = k*b - 5*b. Suppose 3*i + 5*v - 89 = b, 4*v + 104 = i. Is i a multiple of 28?
True
Let w be -8 - 3*6/(-9). Let q be ((-28)/(-5))/(w/(-15)). Let c = q + -3. Is 5 a factor of c?
False
Let v(x) = -3*x + 10. Let n be v(2). Let i(m) = 6*m**2 - 5*m + 4. Is 15 a factor of i(n)?
False
Let c(o) = o**3 + 10*o**2 + 8*o - 1. Let f be c(-9). Suppose -f*x + 14 = -x. Suppose -9 = -v - 2*y, -x*y = -5*v + v + 56. Does 2 divide v?
False
Suppose 3*q = -2*q. Suppose q*r + 2*r = -5*v + 107, 152 = 3*r - v. Suppose 5*u = r + 9. Is u a multiple of 12?
True
Suppose j - 3*o = -j + 261, 0 = 5*j + 2*o - 681. Suppose -5*h + d - 8 = -j, 3*d - 35 = -h. Is h a multiple of 6?
False
Let t(d) = 52*d + 38. Does 10 divide t(6)?
True
Let j(f) = 3*f**2 + 6*f - 6. Let s be j(-6). Let p = s - 32. Does 17 divide p?
True
Suppose j - 2134 = 3*l - 68, 2*j + 3*l - 4132 = 0. Is 14 a factor of j?
False
Let i be 3*(-4)/8*-2. Suppose i = k - 7. Is 6 a factor of k?
False
Let q be (1/2 + 0)/((-11)/44). Is 10 a factor of (-374)/17*(-4 + 2/q)?
True
Let u(x) = 191*x + 120. Does 11 divide u(3)?
True
Let l = -180 - -219. Is l a multiple of 2?
False
Let i be (-12)/4*-1 - 10. Suppose 0 = -2*v - 2*v + 76. Let a = v + i. Is a a multiple of 12?
True
Let q(r) = 13*r**2 + 3*r + 9. Is 13 a factor of q(-5)?
False
Let p = -1 + 7. Does 12 divide (-381 + 0)*(10/p + -2)?
False
Let v = -51 - -105. Let d = 69 - v. Is 3 a factor of d?
True
Suppose 2025 - 38515 = -10*q. Is 41 a factor of q?
True
Let j(u) = u**3 - 3*u**2 + 3. Let z be j(7). Suppose -z = -4*d + 273. Is d a multiple of 33?
False
Let k be (-48)/(-16)*5/(-3). Let g(n) = 5*n + 9. Let m be g(k). Let r = m - -45. Is r a multiple of 14?
False
Suppose -5*m = -6031 - 269. Does 9 divide m?
True
Let v(p) = -p**3 - 7*p**2 + 4*p + 1. Let m be v(-7). Let g = -45 - m. Is (-1)/(56/g - -3) a multiple of 7?
False
Let x(v) = -19*v - 2. Let j be x(-2). Let h be (j/6)/((-3)/(-4)). Suppose 4*y - h = 0, -t + 3*t + y = 46. Does 10 divide t?
False
Let s(k) = -k - 7. Let q be s(-7). Let v(l) = l**3 + l**2 - l - 119. Let p be v(q). Let t = -47 - p. Is 12 a factor of t?
True
Suppose 0 = 4*m - 9*m + 2405. Suppose -4*f + 31 + m = 0. Is 16 a factor of f?
True
Let r be ((-128)/(-12))/(4/(-48)). Let d = 207 + r. Does 30 divide d?
False
Let v(k) = -11*k**2 + 2 + 11*k + k**3 - 11 + 4*k + 5*k. Let u be v(9). Suppose -g + u + 34 = 0. Does 17 divide g?
False
Let a(w) = w**2 + 8*w. Suppose 0*u + 37 = -2*t + 3*u, -2*u - 8 = t. Is 21 a factor of a(t)?
True
Does 14 divide ((-90492)/(-30) - -7) + 12/20?
True
Let a(x) = -x**3 - 3*x**2 + 4*x + 5. Let d be a(-4). Suppose -25 = -d*t - 0. Suppose 0 = f + 3, -93 = -t*p + f + 210. Is p a multiple of 30?
True
Let c be ((-12)/(-5))/((-8)/20*-1). Let i(p) be the second derivative of p**3/6 + 4*p**2 - p. Is 14 a factor of i(c)?
True
Suppose 0 = -v + 4*v - 1866. Is 25 a factor of v?
False
Let s be (-1909)/(-138) + (-1)/(-6). Suppose q - s = -0*q. Does 14 divide q?
True
Let y(o) = o**3 - 4*o**2 + 3*o + 8. Suppose 3*n - n - l = 9, 4 = -4*l. Is 11 a factor of y(n)?
False
Let o(a) = -2441*a + 2435*a + 2 - 1. Does 14 divide o(-8)?
False
Suppose q + 2 = -x + 1, x = -3*q - 13. Let o be q/2*2/(-2). Suppose -4*s + o = -101. Is 26 a factor of s?
True
Let f = 64 + -128. Let a = f + 93. Does 15 divide a?
False
Suppose -p = -3*a - 1301, 2*p - 2637 = -7*a + 6*a. Is 47 a factor of p?
True
Let b be (-364)/3 - (16/(-12) + 1). Let c = b + 229. Is c a multiple of 18?
True
Let j(p) = -p - 1. Let h(o) = 4*o**2 + o + 10. Let t(b) = h(b) - 3*j(b). Is 21 a factor of t(-9)?
False
Let g(j) = 10*j**3 + j**2 - 1. Suppose -4*w - 3*h = 1, 0 = -3*w - w + 3*h + 17. Suppose 0 = 5*m - w*r - 15, -3*r - 20 = r. Is 5 a factor of g(m)?
True
Suppose 5*a + 26 + 54 = 0. Does 13 divide 0 - (-183)/2 - (-8)/a?
True
Is 7/(28/(-50))*6/(-3) a multiple of 3?
False
Suppose 0 = 99*j - 84*j - 38280. Is 81 a factor of j?
False
Let q = -2710 - -4695. Is q a multiple of 15?
False
Suppose -65*i - 645 = -70*i. Does 10 divide i?
False
Suppose 0 = -q - 5*n + 11 + 1, 5*n - 20 = -5*q. Suppose 3*j = -1 - 5, l = q*j + 205. Is 15 a factor of l?
False
Let z be (0 - 0) + -5 + 2. Is 6 a factor of -1*(0 + -31 - z)?
False
Let z be (2/8*0)/(-2). Let r = 0 + z. Let p = r - -14. Is p a multiple of 7?
True
Suppose 10*y = 5*y + 5*c + 5460, -4*y + 2*c = -4366. Does 13 divide y?
False
Let v(i) = -i**2 - 14*i - 7. Let j(b) = b**3 - b - 1. Let p be j(2). Suppose 49 = p*n + 114. Is 6 a factor of v(n)?
True
Let c be (2 + (5 - 57))/((-1)/3). Let a = c + -91. Does 59 divide a?
True
Let v = 5747 + -2141. Does 20 divide v?
False
Let w(q) be the third derivative of 6*q**2 + 0*q + 7/6*q**3 - 3/8*q**4 + 0. Is 23 a factor of w(-9)?
False
Suppose 1 = -h + 2*o, 5*o + 13 = 5*h + o. Suppose 0 = -h*p - p + 324. Does 18 divide p?
True
Suppose 5*v = 7*v - 1120. Does 67 divide v?
False
Does 129 divide -7 + (-10 - (5 - 4025))?
False
Suppose 69*l = 72*l - 2184. Is l a multiple of 7?
True
Suppose -43*f + 38*f = -510. Suppose 2*m - 8*m = -f. Is 3 a factor of m?
False
Suppose -4*n = -5*k + 508, k + 260 = -2*n + 2*k. Is 6/((-2)/1) - n/2 a multiple of 21?
True
Suppose -2*p + 16 = 6. Suppose u + 12 = -o - 0*o, p*o + 36 = -3*u. Let a = u - -20. Does 7 divide a?
False
Suppose 0*q + 3 = 3*q, -5*z - 2*q = -642. Is 64 a factor of z?
True
Let x(b) be the first derivative of -5*b**3/3 + b**2 - 4*b - 2. Let k be x(2). Is 13 a factor of (-35)/k*84/3?
False
Suppose -z + 7 = 3. Suppose 1 = z*p + 9. Is 28 a factor of p/((-332)/(-112) + -3)?
True
Let k be 3 + 0 - (-12)/(-12). Suppose u = k*u + 1. Is 0 - -2 - u - -12 a multiple of 6?
False
Let z(k) = 5*k**3 + 5*k**2 + 8*k + 6. Let h be z(-3). Let r = h + 261. Is 25 a factor of r?
False
Let b(w) = 19*w + 9. Let c(u) = -37*u - 18. Let x(m) = -11*b(m) - 6*c(m). Is x(10) a multiple of 18?
False
Let a(m) = -m. Let p(j) = -6*j + 3. Let h(c) = -3*a(c) - p(c). Let u be ((-15)/10)/(3/(-6)). Does 9 divide h(u)?
False
Let j(m) = 2*m**3 + 16*m**2 + 5*m - 7. Let x be (-1)/(-3) - (-22)/(-3). Does 8 divide j(x)?
True
Let m be (-25)/9 - (-8)/(-36). Is m + 80 - 4/2 a multiple of 25?
True
Suppose 3*a = 0, -8*a - 1 = -c - 3*a. Let z(q) = 6*q - 2. Let t be z(c). Let l(f) = 8*f - 4. Is l(t) a multiple of 28?
True
Suppose -3*x - 3 - 3 = 0, 14 = -4*l - x. Is 37 a factor of l/(-12)*-3*-148?
True
Let q(m) be the second derivative of 5*m**4/12 - m**3/6 + 3*m**2 - 7*m. Is q(-4) a multiple of 30?
True
Let i = -49 - -1336. Is 18 a factor of i?
False
Does 7 divide (9/(-36))/((-2)/104)*49?
True
Let l(x) = 29*x - 12*x - 20 + 9*x. Is l(10) a multiple of 12?
True
Suppose 2*c + 15 = -3*c. Let o be c/(-9) + (-2)/6. Suppose -3*k - 3 + 12 = o. Does 2 divide k?
False
Suppose -3*a + 3*c + 19 = -a, -23 = -3*a - c. Is (-11 + a)/(3/(-160)) a multiple of 20?
True
Let o(s) be the third derivative of 7*s**4/12 - 67*s**3/6 - 14*s**2. Does 6 divide o(15)?
False
Let d(j) = 2*j**2 - 2*j + 3. Let l be d(-3). Is (3/2)/(l/1800) a multiple of 25?
True
Is 6 a factor of (-18)/171 - (-6842)/19?
True
Let m be 0*2/(-3 - -7). Suppose 2*v - 87 + 19 = m. Let s = v + 5. Is 22 a factor of s?
False
Let i(t) = 4*t**2 + 42*t + 17. Is 9 a factor of i(-16)?
True
Suppose s + 4*h = -15, -5*s + h + 2*h - 52 = 0. Let l(a) be the third derivative of -a**5/60 - 2*a**4/3 + 13*a**3/6 - a**2. Does 12 divide l(s)?
False
Suppose 33*w - 32*w - 130 = 0. Does 26 divide w?
True
Suppose -2*h + 551 = -10*g + 7*g, 0 = 3*h - 2*g - 839. Is 22 a factor of h?
False
Let l = -40 + 122. Suppose -3*v + 62 = 2*k, k + v + l = 4*k. Is 14 a factor of k?
True
Is 10 a factor of 95 + -18 + 28/(-4)?
True
Suppose 3*s = 4*j - 19, -j - 6 + 5 = 5*s. Suppose j*o + 5*q = -33, 3 = -o + 4*q - 0. Does 11 divide o/(7/(-2)) 