11?
False
Let g(b) = -b**2 - 2*b + 7. Let y be g(-3). Suppose 2*c - p = 4*p + 431, 2*c = -y*p + 422. Does 13 divide c?
False
Is 9 a factor of ((-9648)/192)/(105/36 + -3)?
True
Let o(r) = -2*r**3 - 3*r**2 - 9*r - 15. Is o(-7) a multiple of 5?
False
Let g = 86 + -167. Let d = g + 141. Does 20 divide d?
True
Suppose -6000 = 43*p - 53*p. Does 50 divide p?
True
Let p(d) = d**3 + 10*d**2 + 17*d + 11. Let w be p(-8). Suppose -w*z + 21 = u, -4*z = 2*u - 30 - 12. Is 9 a factor of u?
False
Let p be (-51)/(-4) - 4/(-16). Let h(f) be the third derivative of f**6/120 - 7*f**5/30 + 7*f**4/12 - f**3/6 - 5*f**2. Is h(p) a multiple of 5?
False
Suppose 0 = 15*g - g - 1680. Is 15 a factor of g?
True
Let m(y) = y - 7*y - 5 + 4*y + y. Let j be m(-5). Suppose -75 = -j*l - 3*l. Does 10 divide l?
False
Let x be 30/9 - 4/(-6). Suppose 0 = 2*z - f - 36 + 13, -2*z - x*f + 38 = 0. Is z a multiple of 13?
True
Let w(p) = -p + 1. Suppose -4*t - 5 = -t - 2*q, -3*t = -5*q + 17. Let f be w(t). Suppose f = -5*h - 2*k + 30, -2*h - k + 12 = -3*k. Is h a multiple of 3?
True
Suppose 225 + 201 = 3*w. Does 9 divide w?
False
Let x(v) = 5*v. Let w(s) = s + 5. Let f be w(-4). Let h be x(f). Suppose h*u = 7*u - 30. Is u a multiple of 5?
True
Let t be 9 + 0 - (-1 + 4). Suppose -1860 + 408 = -t*w. Does 13 divide w?
False
Suppose 678*y - 22134 = 664*y. Is 93 a factor of y?
True
Suppose 8*r - 2 - 22 = 0. Suppose -2*c + r*l + 16 = 0, 0*c - 3*c + 3*l + 27 = 0. Is 5 a factor of c?
False
Let g be (4/(-12))/(1/12). Let r be -3*((2 - 0) + -1). Is 17 - (g - -3)*r a multiple of 7?
True
Let q = 27 - 22. Suppose 0 = 2*x - q*x + 90. Does 15 divide x?
True
Is (-25)/(150/24)*(-839)/2 a multiple of 14?
False
Suppose 33 = 5*t - 17. Suppose 2*m = -4*s + t, s - 5*m - 35 = -s. Suppose s*h = 21 + 4. Does 4 divide h?
False
Let o(l) = 0*l + 0*l + l**2 + 3*l - 2*l**2. Let w be o(3). Suppose -5*y + 23 + 15 = 3*p, w = 5*p + 3*y - 74. Is p a multiple of 16?
True
Suppose 92 = -4*l + 2*s, -3*l - s - 62 = 2. Let a = l - -61. Suppose -5*k + 2*k + 3*p + 63 = 0, -2*k + p = -a. Is k a multiple of 9?
True
Let y = 1746 + -1381. Is y a multiple of 2?
False
Suppose -2*y + 1488 = x, 7*y = 8*y - 2*x - 744. Is 31 a factor of y?
True
Let y = -8 - -11. Is 29 a factor of 24 + 21/y + -2?
True
Let o(h) = h**2 - 19*h - 7. Let j = 33 - 24. Let c be o(j). Let q = -3 - c. Does 27 divide q?
False
Suppose 1494 = 3*g + o, 5*g - 9*o = -14*o + 2480. Is 19 a factor of g?
False
Suppose 0 = 5*q - 2*q - 6. Suppose -p = -q - 0. Suppose -3*g + 3*v + 0*v + 27 = 0, p*v = 5*g - 30. Is g a multiple of 4?
True
Is (-4)/72*4 + 12318/27 a multiple of 24?
True
Suppose 5*r - m = -3*m + 104, -m = r - 19. Let q be -13*(-4)/(-2*2). Let k = r + q. Is 7 a factor of k?
False
Suppose -21*t = -49*t + 3024. Does 3 divide t?
True
Suppose -m + 2 = -0*m. Let a(w) = 42*w**3 - 3*w + 2. Let h be a(m). Suppose -h = -5*s - 62. Does 18 divide s?
True
Suppose 17*d - 14*d - 1277 = -2*s, 0 = -4*s - 20. Does 41 divide d?
False
Suppose 5*u - 16 = -s, -6*u = -3*s - 2*u + 48. Does 3 divide 9 + -9 + s/1?
False
Suppose 0*m + 18 = 2*m. Let y(z) = z**2 - 9*z + 2. Let v be y(m). Let c = v + 4. Is c a multiple of 2?
True
Let n(o) = -2*o + 17 + 5 + 0*o - 3*o. Let m be n(-7). Let g = -36 + m. Is 21 a factor of g?
True
Suppose -7*j + 108 + 172 = 0. Is 8 a factor of j?
True
Let l be (4/(-8))/((-1)/(-198)). Is (l/22)/((-2)/12) a multiple of 4?
False
Let y(d) = d**3 - 3*d**2 - 7*d + 8. Let f be y(4). Let p = 2 - f. Is p/(-5)*100/(-6) a multiple of 16?
False
Let n be -304 - 7 - (-5)/(10/(-8)). Let m = n - -543. Does 57 divide m?
True
Suppose i + i + 486 = 0. Let b = 407 + i. Is b a multiple of 41?
True
Let s = -126 + 209. Suppose -4*w = -w - 4*a - s, -3*w = -5*a - 85. Let m = 73 - w. Is 16 a factor of m?
True
Suppose 0 = t - 4*w - 14 - 4, -12 = 3*w. Suppose -t*g + 17 = -33. Is g a multiple of 4?
False
Let d = 38 + -38. Suppose z + d*z = 24. Does 6 divide z?
True
Suppose 5*c + 1001 = 3*i, -4*c + 183 + 128 = i. Is 44 a factor of i?
False
Let y(x) = -x**3 - 2*x**2 + 3. Suppose -6*q = -3*q + 27. Let z = 6 + q. Does 12 divide y(z)?
True
Let z be (-1 + -3731)*72/108. Is 14 a factor of ((-18)/8)/(-6 - z/416)?
False
Suppose 4*x + l - 20 = -0*x, 4*l + 20 = 4*x. Suppose 2*b - 17 = j, x*b + j - 40 = 13. Is (b/(-4) - -2)*-36 a multiple of 3?
True
Let j = 71 + -68. Suppose 0 = w - j*u + 5*u - 14, 4*w - 56 = -5*u. Is w a multiple of 7?
True
Suppose 188 = 7*t - 589. Is t a multiple of 37?
True
Let c = 11 + -7. Suppose c*u + 3*b - 262 = -u, 2*b + 192 = 4*u. Is u a multiple of 10?
True
Let d(g) = 3*g - 5. Let a be 2*(-3 + (-39)/(-6)). Let m = a + 0. Is 10 a factor of d(m)?
False
Is 11 a factor of 9 + 2/(-1) + 1 + 260?
False
Let b = -25 - -53. Suppose l - b = 28. Does 14 divide l?
True
Let i(h) = h**3 + 5*h**2 + h - 2. Let g be i(-2). Let l = 26 - g. Suppose 0 = -2*c + l + 132. Is c a multiple of 32?
False
Let m = 5 + -27. Suppose 3*f - 84 = 5*a, 5*f - 4*a = 3*f + 54. Is (m/f)/(2/(-183)) a multiple of 27?
False
Let w(v) = -v**3 + 5*v**2 - 7*v - 1. Suppose -4*t + 0 = -16. Let p be w(t). Let a(c) = -c**2 - 19*c - 10. Is 17 a factor of a(p)?
True
Let q = -42 - -46. Suppose m = -0*l - l + 17, 5*m - 94 = q*l. Is 18 a factor of m?
True
Is 27905/30 + (-1 - (-25)/30) a multiple of 10?
True
Let i = 709 - 321. Suppose 6*y - y - 5*p - 455 = 0, 0 = -4*y - 2*p + i. Is y a multiple of 20?
False
Let n be 27/18 + 1022/4. Suppose -289 = -2*o + n. Is 39 a factor of o?
True
Suppose 5*r - 270 = -0. Suppose 0*a + 3*a + r = -4*n, a - 62 = 4*n. Let m = 25 + n. Is m a multiple of 3?
False
Let l(c) = -4 + 3 - 70*c + 4. Is l(-2) a multiple of 22?
False
Let r(m) = -30*m**2 + 5. Let u(d) = d**2 - d + 1. Let f(g) = -r(g) + 3*u(g). Is f(-1) a multiple of 17?
True
Let f(g) = -2*g**2 - 29*g - 20. Is 14 a factor of f(-8)?
True
Let j = -10 + -4. Let w be -7*(5 + (-425)/35). Let h = w + j. Does 18 divide h?
True
Does 16 divide (1 - -288)*102/51?
False
Suppose -4*d + 0*p + p = 15, -5 = 5*p. Suppose -11*n = -5*n + 210. Is 6 a factor of (-7 + 3)/d - n?
True
Suppose 1186 = 2*b - 6*n + 5*n, -5*n = -b + 584. Is 18 a factor of b?
True
Let f(t) = t - 5. Let y(q) = 10*q + 1. Let i be y(2). Let d = i + -6. Is f(d) a multiple of 8?
False
Let i be 4 + (-1)/((-3)/9). Let f be (-328)/32*(-1 - i). Let h = f - -13. Is 30 a factor of h?
False
Let a(y) = 383*y**2. Let c be a(-1). Let w be ((-7)/(-7))/((-12)/16 + 1). Suppose 2*t = 4*t + 2*q - 174, w*t = 3*q + c. Is t a multiple of 15?
False
Let l(r) = -r**3 - 10*r**2 + 11*r + 16. Let k be ((-2 - -2) + -1)*11. Is l(k) even?
True
Let c be (-14)/4 - (-24)/16. Is 4 a factor of (c + 0)*(-91)/14?
False
Let d(w) = -2*w**2 + 12*w - 7. Let z(f) = 6*f**2 - 36*f + 21. Let k(l) = 8*d(l) + 3*z(l). Is k(8) a multiple of 13?
True
Suppose 22*y = 7*y + 990. Is y a multiple of 3?
True
Suppose 0 = -3*j + 1 + 29. Let n be (6/j)/((-2)/(-230)). Does 21 divide (4 - n/12)*-36?
True
Let f = -19 - -26. Suppose -2*i + f*i = 100. Does 10 divide i?
True
Let i = -2227 - -3339. Does 42 divide i?
False
Suppose -o = -5, 0 = 6*a - 3*a - 3*o + 9. Suppose 0 = -0*t + 3*t - 12, a*t = -y + 10. Suppose -y*r - 5*h = -55, r - 25 = -4*h + 2*h. Is 5 a factor of r?
True
Let x(m) = -311*m**3 + m**2 + 3*m + 3. Is 52 a factor of x(-1)?
True
Suppose -4*x = -0*x + g - 11, -5*x = g - 15. Suppose 2*h = -2*h + x*p + 176, 2*h + 5*p = 123. Is 10 a factor of h?
False
Suppose 5*d + 2845 = 5*x + 6*d, d + 5 = 0. Does 33 divide x?
False
Suppose 3*r - 18 = -4*v - 0*r, 0 = -4*v - 5*r + 14. Suppose -k + v = k. Suppose -17 - 4 = -k*q. Is q a multiple of 7?
True
Suppose 5*a + h + 603 = 0, -a + 4*h = -5*a - 492. Let v = a - -171. Does 17 divide v?
True
Suppose -107*i + 105*i = 6. Let h be 1/4*9*4. Let j = h + i. Is j a multiple of 3?
True
Let q(w) = 0*w - 5 - 84*w**2 - 13 + w + 85*w**2. Is q(-9) a multiple of 3?
True
Suppose -g + 12 = -4*x - 7, -x - 5 = 0. Let y = g - -20. Is y/((0 - 1)*-1) a multiple of 8?
False
Let z = 1226 + 496. Suppose 5*x - z = -312. Does 43 divide x?
False
Let l(a) = -2*a - 16. Let d be l(-10). Suppose 0 = -0*i + 5*i + 5*p - 535, -d*p = -5*i + 508. Is i a multiple of 26?
True
Let q(x) = -x**3 - x**2 - 4*x - 3. Let d be q(-2). Suppose d = 2*s + m - 2, s - 2 = -4*m. Does 13 divide 2/s + (-116)/(-3)?
True
Suppose 91 = -3*k + 901. Does 11 divide k?
False
Le