 11?
True
Let x = -7 + 12. Suppose 0 = -x*y + 20*y - 675. Is 9 a factor of y?
True
Suppose 4*s = 16, 4*m - s - 2*s = 32. Suppose -9*a - 290 = -m*a. Does 29 divide a?
True
Suppose 4*z - 107 = -c, -2*c + 32 = 3*z - 182. Is c a multiple of 12?
False
Suppose 20*d - 10340 = -2420. Is 12 a factor of d?
True
Let j(k) = 0*k - 1 + k + 1. Let p be j(-11). Let y = 23 + p. Is y a multiple of 3?
True
Suppose -3*v + 2433 + 1053 = 0. Is 9 a factor of 1 - (-5)/(-7) - v/(-49)?
False
Let i be (-6)/(-4) + 4/(-16)*-102. Let h = i + 163. Is h a multiple of 19?
True
Suppose 15*f = 2*y + 12*f - 97, 3*f = 9. Does 7 divide y?
False
Let u = -85 - -127. Is 5 a factor of u/35*(-135)/(-6)?
False
Is (-4 - (-30)/9)*-450 a multiple of 12?
True
Let n(f) = -2*f**2 - 29*f - 5. Let y = 70 + -83. Is n(y) a multiple of 14?
False
Suppose 49 = 4*j - 1147. Is j a multiple of 13?
True
Suppose -5*p = g + 1222, 3*p - 5*g + 726 = -2*g. Let a = p + 364. Is a a multiple of 10?
True
Let r = -32 + 108. Suppose 3*n - 80 + 15 = -4*w, r = 5*w + 2*n. Does 4 divide w?
False
Let u(j) = 91 - j - 54 + j + 2*j. Is u(15) a multiple of 8?
False
Let f(s) = -11*s**3 - 40*s**2 - 2*s - 11. Does 9 divide f(-6)?
False
Let x be ((-3)/15 + 1)/((-6)/(-15)). Suppose -9*j + x*j + 455 = 0. Is 13 a factor of j?
True
Let z = -211 - -313. Let i = -53 + z. Let m = i + -25. Is 24 a factor of m?
True
Suppose -24*z + 9063 = -5*z. Does 38 divide z?
False
Let o(q) = 20*q - 1. Let a be o(1). Suppose 4*r - 19 = -3*x, -4*x + 0*x + 17 = -3*r. Let s = a + x. Is s a multiple of 24?
True
Let b(r) = -2*r**3 + 4*r**2 - 2*r - 2. Let y be b(2). Let f(v) = v**3 + 8*v**2 + 8*v + 2. Let i be f(y). Let h = i - -4. Does 10 divide h?
True
Suppose 250 - 40 = 5*m. Let i = m + -31. Does 8 divide i?
False
Let d(i) = 2*i**3 + 23*i**2 - 24*i + 11. Let g(b) = -3*b**3 - 34*b**2 + 36*b - 17. Let v = 12 + -17. Let n(w) = v*g(w) - 7*d(w). Is n(-10) a multiple of 11?
False
Suppose -2*f - 4 + 10 = 0. Suppose f*b = 73 + 38. Let i = 10 + b. Does 13 divide i?
False
Let n = 19 - 6. Suppose -n + 205 = 4*c. Is 16 a factor of c?
True
Let t(s) = 19*s**2 + 12*s + 10. Is t(-4) a multiple of 38?
True
Let a(s) = s**3 - 8*s**2 + 12*s - 15. Let r be a(8). Suppose -21 = -17*c + r. Does 6 divide c?
True
Let p(o) = 2*o + 9. Let q be p(-6). Does 10 divide (2 - (-357)/(-9))*q?
False
Let t = -15 + 32. Let p(g) = -3 - t*g - g**2 - 1 + 31*g. Does 10 divide p(11)?
False
Let c(i) = 2*i**2 + 8*i + 3. Let w be c(-5). Let m = -11 - -39. Suppose m - w = g. Is g a multiple of 9?
False
Let d(j) = 2*j + 2. Suppose -4*t + 53 = -5*m, 0*t - m = -3*t + 37. Let c be 33/t + (-1)/(-4). Does 8 divide d(c)?
True
Let k = -27 - -39. Suppose -n = 5*n + k. Is 24 a factor of -150*n*(-2)/(-5)?
True
Suppose -5*s + 1993 = 3*o, -9*s - 3*o + 1197 = -6*s. Does 12 divide s?
False
Let r(k) = 12*k - 98. Does 7 divide r(15)?
False
Suppose -101*x + 112*x - 6534 = 0. Is 9 a factor of x?
True
Suppose -34 = -4*s + 6. Let l be 440/25 + 4/s. Suppose 3*g - 4*g = -l. Is 9 a factor of g?
True
Suppose 2*x - 162 = -2*w, -7*w + 5*x = -3*w - 342. Let r = 92 + w. Does 25 divide r?
True
Suppose -2*u + 8 = 2*u. Suppose 2*f - 2*z = 54, 0 = u*f + z - 78 + 18. Is 6 a factor of f?
False
Let b = 195 + 73. Is b a multiple of 9?
False
Let d(w) = 37*w**2 + 1. Let g be (3/6)/(1/(-2)). Let s be d(g). Suppose j - 27 = 5*b + s, -131 = -3*j - b. Is 15 a factor of j?
True
Let n(r) = -10*r + 13. Let m be n(-4). Suppose 49*c = m*c - 128. Is c a multiple of 28?
False
Let a = -306 - -663. Let c = a - 242. Does 23 divide c?
True
Let q(f) = 18*f**2 + 2*f + 13. Does 4 divide q(-3)?
False
Let n(s) = -3*s**3 + 2*s**2 + 27*s - 40. Does 5 divide n(-6)?
False
Let t = 224 + -104. Is t a multiple of 24?
True
Let t(f) = -19*f - 223. Is 9 a factor of t(-16)?
True
Let p(m) be the first derivative of 1/3*m**3 - 7 + 0*m - m**2 + 3/2*m**4. Is p(2) a multiple of 12?
True
Suppose -7*l - 10 = -31. Suppose -l*r - 1 = -13. Is r a multiple of 4?
True
Let o(d) = -38*d - 2. Suppose -3 = 3*n + a, 3*n - 5*n + 5*a = 19. Is 8 a factor of o(n)?
False
Let v = -1318 + 1967. Is 10 a factor of v?
False
Suppose -2*g + 0 + 18 = 0. Is 3*309/g + -2 a multiple of 31?
False
Suppose 0 = -194*n + 187*n + 77. Is n a multiple of 11?
True
Let l(u) = 2*u**2 + 31*u + 6. Let x(t) = -3*t + 39. Let q be x(19). Is l(q) a multiple of 14?
False
Suppose 3*w = -x - 8, -w = -x - 7 - 9. Let l(s) = -s**3 + 7*s**2 - s + 3. Let j be l(5). Let b = x + j. Does 11 divide b?
False
Let d = -222 - -552. Does 22 divide d?
True
Suppose 90 - 20 = -7*v. Let x be (-5046)/(-30) + 2/v. Suppose -5*g - 2*n + x = -3*n, 128 = 4*g - 4*n. Is 5 a factor of g?
False
Suppose -6 = -4*n + 22. Does 6 divide 46/2 + (4 - n) + 3?
False
Is 3 a factor of (-2 - -48) + (-5)/5?
True
Let c = 153 + -103. Does 5 divide c?
True
Suppose -2*i - 10*i = -432. Suppose -p + 54 = -i. Is p a multiple of 15?
True
Let k(f) be the first derivative of -f**4/4 + 4*f**3/3 + 7*f**2/2 - 4*f + 6. Let a be k(5). Let s = a + -2. Is 2 a factor of s?
True
Suppose 4*i + w - 378 = 0, 5*i - 384 = i - 4*w. Suppose r - 186 = i. Is 16 a factor of r?
False
Let d(l) be the second derivative of l**5/20 + l**4/3 + l**3/2 + l**2 - 4*l. Let g be d(-3). Suppose -g - 36 = -2*p. Is p a multiple of 8?
False
Let w(g) = -13*g**2 - 2*g**3 + 3*g**3 - 4 + 9*g + 20*g**2. Is w(-4) a multiple of 4?
True
Suppose 3*s - 717 = 3*g, -4*s + 3*g - 212 = -1169. Does 52 divide s?
False
Is ((-25714)/78 - 1/3)/(-1) a multiple of 32?
False
Does 5 divide (44/33)/((-7510)/(-2502) - 3)?
False
Suppose -168 = -6*c - 6*c. Is 9 a factor of c?
False
Suppose 1 + 5 = 6*y. Let i = -61 + 97. Is (y - (-14)/6)*i a multiple of 33?
False
Let x(k) = 193*k**2 + 4*k - 5. Is x(2) a multiple of 65?
False
Let g = 34 - 34. Let w(b) = -28*b**2 + 27*b**2 - 5*b - 1 + g. Does 2 divide w(-2)?
False
Suppose 1150 + 578 = 4*u. Does 54 divide u?
True
Suppose 4*r = 7*n - 3*n, 45 = 5*r + 4*n. Suppose -r*z = -21 + 1. Suppose 5*s - 5*d = 10, 2*s - 3*d - 5 = -z. Is 4 a factor of s?
False
Let m(p) = -p**2 + 18*p + 15. Let h be m(14). Does 12 divide (h/2)/((-3)/(-6))?
False
Is 11 a factor of (27/2)/((-14)/(-1848))?
True
Let d = 122 - -148. Is 57 a factor of d?
False
Suppose -19289 = -28*x - 4169. Does 18 divide x?
True
Let f be (-12)/(-10)*375/6. Let p = f + -25. Is p a multiple of 25?
True
Suppose 20*b - 15*b = 15. Suppose b*n - n = 426. Is 16 a factor of n?
False
Suppose 3*s = 4*n - 253 + 85, n - 42 = 5*s. Let z = n + -23. Is z a multiple of 8?
False
Let i = 7 - 19. Let q = -1545 + 533. Is 21 a factor of q/i - (-1)/(-3)?
True
Suppose 3*m = 8*m - 15. Suppose 4*x = m*f - 0*f + 16, -3*f - 9 = 3*x. Is 5 a factor of (119/(-7))/((-1)/x)?
False
Let l(i) = i**2 - 32*i + 4. Let d(v) = -1. Let a(o) = 5*d(o) - l(o). Is 42 a factor of a(27)?
True
Suppose 0 = 9*d - 32*d + 12512. Is d a multiple of 8?
True
Let b = 3125 + -1338. Does 59 divide b?
False
Let k(x) be the first derivative of x**7/840 - x**6/360 - x**5/24 + x**4/8 + 3*x**3 - 2. Let y(t) be the third derivative of k(t). Does 26 divide y(5)?
True
Let t(f) = 0*f**2 + f**3 - 7*f**3 - f - 3*f**2 - 1. Is 4 a factor of t(-2)?
False
Suppose -d - 3*t + 445 = 0, 0 = -0*d - 2*d - 4*t + 890. Suppose 2*i = -3*i + 5*j + d, 0 = i - 2*j - 85. Is 17 a factor of i?
False
Let g(c) = -4*c + 5. Let v be g(7). Let a = v + 33. Does 10 divide a?
True
Let g = 31 + -47. Let j = 0 - g. Suppose v = 76 - j. Is v a multiple of 23?
False
Let v be ((-18)/(-2) - 7)*(-4)/1. Let p(j) = j**2 + 7*j + 32. Does 5 divide p(v)?
True
Let h(f) = f. Let c be h(5). Let m be ((-11)/2 + 5)*(-46 + 0). Suppose -2*b = c - m. Is b a multiple of 6?
False
Let y(g) = 2*g**2 - 37*g + 15. Let w be y(18). Let m(x) = 0*x + 3*x + 2 - x**2 - 7*x. Does 5 divide m(w)?
True
Let q(t) = 4*t - 1. Let y be q(6). Suppose -5*b + y = -3*i, b + i + 4*i - 27 = 0. Is b even?
False
Suppose d - 3 = -2. Does 32 divide d*(101/3)/((-4)/(-12))?
False
Is 53 a factor of (28*-23)/(-7)*424/16?
True
Suppose 0 = 5*v - 5*m + 215, -5*m + 23 + 72 = -2*v. Let r = v + 27. Is 3 a factor of (r - -11) + (13 - 0)?
False
Let m(d) = d**2 - d - 8. Let r be m(0). Let c = r - -7. Does 15 divide 324/(-6)*c/1?
False
Suppose -15 = -u + 3*m, -16 + 11 = m. Suppose -6*s - 5 = -s. Is (-21)/(-7) - (s + u) a multiple of 2?
True
Let i(q) = -6*q**2 - 2*q - 3. Let f be (1 + 2)*(-3 -