*b - 5*t - 619. Suppose b = i*o + o. Does 11 divide o?
False
Let p = -304 + 443. Does 20 divide p?
False
Let k(s) = -3*s**3 - 6*s**2 - 2*s + 8. Is k(-3) a multiple of 36?
False
Let m(n) = n**2 + 13*n + 16. Let f = -27 - -10. Let h = -29 - f. Is 2 a factor of m(h)?
True
Suppose m - 1246 = -4*b, 0*b - 938 = -3*b + m. Is 26 a factor of b?
True
Let z(q) be the third derivative of -q**4/12 - 3*q**3 - 10*q**2. Is 3 a factor of z(-11)?
False
Let b = 1 - 1. Suppose g + b*g = -4*c + 4, -c + 1 = -g. Suppose g = 5*m - 19 - 11. Is 3 a factor of m?
True
Suppose 2*b - 26 - 28 = 0. Is b a multiple of 8?
False
Let w(j) = j**3 - 3*j**2 + 3. Let x(d) = -5*d**3 + 15*d**2 + d - 16. Let z(l) = 22*w(l) + 4*x(l). Does 15 divide z(4)?
False
Suppose 0 = 3*a - 6 - 27. Suppose 3*k = -b + a, 0*k - 2*b = -k - 8. Suppose -26 = -k*s - 4. Does 10 divide s?
False
Let h(q) = -q**3 - 3*q**2 + 8*q - 8. Is h(-5) even?
True
Let f be (-14)/63 - 4/(-18). Let i be ((-56)/6 - -1)*-12. Suppose u + u - i = f. Is u a multiple of 14?
False
Suppose -33 = 4*q - 3*n - 2, 2*n = -5*q - 33. Is (q - -4)/((-2)/24) a multiple of 18?
True
Suppose 0 = 3*i - 4*i + 47. Is 14 a factor of i?
False
Suppose 3*a = -2*j + 26, 0*a + 13 = j - a. Is j a multiple of 5?
False
Let o be (-3)/((-1)/4*-3). Let x(q) = -q**3 - q**2 - 3*q - 4. Let r be x(o). Suppose 5*u - 24 = r. Is 8 a factor of u?
True
Let p be (1/(-1))/((-12)/24). Suppose 4*h - 8 = 0, -h + 84 = 2*z + p*h. Does 15 divide z?
False
Let s = 44 + -24. Is 4 a factor of s?
True
Suppose 2*t = 5*l - 39, 5*l - 4*t = 32 + 11. Is 2 a factor of l?
False
Let a = 118 - 16. Let q = a + -51. Is 17 a factor of q?
True
Suppose -352 = -3*g - 64. Is 30 a factor of g?
False
Let o be (1 - 0)/(2/4). Suppose 2*g + n + 2*n = 2, -3*g - 5*n + o = 0. Suppose -g*y + 16 = 0, 0 = -3*q + 3*y + 9 + 6. Does 9 divide q?
True
Let l(s) = -6*s**2 - 2*s - 4 + 0*s**2 + 4*s**2 - s**3 + 3*s. Suppose r - 8 = 3*r. Does 12 divide l(r)?
True
Let a = 31 + -19. Is 1 + a + 2 + -1 a multiple of 7?
True
Let s be (-3)/2 + (-45)/(-18). Does 16 divide (1 + s)*57/2?
False
Let l(h) = -h**2 + 14*h - 16. Let u be l(13). Does 7 divide (50/4)/(u/(-6))?
False
Let t = -14 - -6. Let h(z) = -z - 4. Does 4 divide h(t)?
True
Suppose -5*u - 55 = -x + 54, 5*x - 632 = -4*u. Is x a multiple of 30?
False
Let f = 14 - 18. Is 5 a factor of -3*((-4 - -3) + f)?
True
Is 15 a factor of 7/((-28)/(-96)) + -1?
False
Suppose -3*p = -2*w - p + 164, -143 = -2*w - 5*p. Is 8 a factor of w?
False
Let j(h) = 5*h - 65. Is 10 a factor of j(21)?
True
Let g = -6 - -7. Is (-1 + -12)/(0 - g) a multiple of 5?
False
Suppose 75 = 5*k + 400. Let o = k - -124. Let c = o + -32. Is 12 a factor of c?
False
Suppose 0 = 4*x - 150 - 214. Does 10 divide x?
False
Let r = 30 + -20. Suppose n + 1 = r. Does 9 divide n?
True
Is (-4)/(-5) - 812/(-35) a multiple of 8?
True
Is 9 a factor of ((-68)/7)/(2/(-7))?
False
Let j be (2/2 - 4)*-1. Suppose 4*z = -j - 9. Is 38 - 1 - (-6)/z a multiple of 13?
False
Suppose 5*a + 4*r - 252 = 0, -2*r - r - 231 = -5*a. Is a a multiple of 18?
False
Let p(d) be the first derivative of -d**3/3 - 5*d**2 - 11*d + 3. Is p(-8) a multiple of 5?
True
Let g = 158 - 95. Let a = 42 - g. Is 2 + (0 - 2 - a) a multiple of 21?
True
Let z be 2/6 + 30/18. Suppose 3*n + z = -2*f - 1, f - n - 1 = 0. Suppose f - 3 = -u. Is 3 a factor of u?
True
Let k be (3/4)/((-1)/4). Let y be 3 + (k - -5)*-2. Is 12 a factor of y + -1 + 0 - -14?
True
Let n(a) = 43*a**3 - 6*a**2 + 6*a. Suppose y - 4 = 1. Let i(f) = -43*f**3 + 5*f**2 - 5*f. Let x(g) = y*n(g) + 6*i(g). Does 17 divide x(-1)?
False
Suppose 0 = 9*b - 8*b + 4. Is b/(-1 - 2/(-3)) a multiple of 12?
True
Let b = 161 + -111. Does 18 divide b?
False
Suppose 11*q - 6*q = 25. Suppose 0 = -3*d + 3*h + 51, 3*h = -q*d + d + 82. Is 16 a factor of d?
False
Suppose 0 = 3*w - 0*w - 9. Let x = w + -3. Suppose x*q - 34 = -q. Does 17 divide q?
True
Suppose 5*a + a + 8460 = 0. Does 21 divide 4/3*a/(-40)?
False
Let d(q) = -q. Let b be d(1). Let t = 1 - b. Suppose t*v - 10 = 3*r + 1, -5*v + 75 = 2*r. Does 5 divide v?
False
Suppose -5*u = -n - 4*n + 85, 2*n - 38 = -2*u. Is n a multiple of 11?
False
Let n = 44 - -1. Does 9 divide n?
True
Suppose i = -i + 112. Suppose -2*t = a - 0*a - 50, -a + i = -t. Is a a multiple of 27?
True
Let w = 64 - 34. Let m = -51 + w. Let z = m + 40. Is 11 a factor of z?
False
Let r(d) = 4*d - 3. Let s = -9 + 13. Suppose 4*i - 35 = 4*o + o, s*o + 17 = i. Is 15 a factor of r(i)?
False
Let w = 230 - 128. Is 9 a factor of w?
False
Suppose -t - 4 = 4*j, 3*t + 4*j = 2*j + 18. Let d(y) = y**2 - 6*y - 2. Is 14 a factor of d(t)?
True
Suppose 21 + 39 = 5*x. Suppose 2*c - x = 8. Is 3 a factor of c?
False
Let o(s) = -3*s - 8. Let z be o(-6). Suppose b - z = 15. Does 11 divide b?
False
Suppose -19 = a + 2*x, 3*x - 3 = -3*a + 5*a. Is 9/(a/(-6) + 0) a multiple of 4?
False
Suppose 2*v + 6*h - 44 = 2*h, v = -h + 23. Is v a multiple of 4?
True
Suppose 5*x + 20 = 0, -5*m = 4*x - 2 + 23. Let r(b) = -4*b**3 + 2*b + 1. Let o be r(m). Suppose 25 = o*g + 7. Does 3 divide g?
True
Suppose 4*p - 5*c - 1123 = 0, p - 2*c - 174 = 106. Is 29 a factor of p?
False
Let d = -6 + 8. Let t(f) = 1 - 6*f + 3 - 4*f**d + 6*f**2. Is 4 a factor of t(4)?
True
Let o(i) = i**2 + 10*i + 2. Let y be o(-9). Let l = y - -11. Suppose 80 = 4*z - 2*n, -l*z - 5*n + 31 = -35. Does 7 divide z?
False
Suppose 4*p = -2*s + 22, s + 57 = 5*s - 5*p. Does 13 divide s?
True
Let i(m) = m**2 + 5*m + 7. Let o = -9 - -4. Is i(o) even?
False
Let b(w) = 2*w**2 - 3*w + 4. Is 9 a factor of b(3)?
False
Suppose -150 = -2*x - 4*k, -4*x + 4*k = -5*x + 73. Is 9 a factor of x?
False
Let n = 118 + -83. Is n even?
False
Suppose 2*w - 5 = 7*w. Let z(c) = 2*c**2 + c + 1. Let b be z(w). Suppose m - 45 = -b*m. Is m a multiple of 8?
False
Suppose -2*f + 288 = 4*n, 4*n - 230 = -5*f + 52. Is 21 a factor of n?
False
Let j be -4*-1*2/4. Suppose -1 = c - j*k, 5*c - 4*k = -5*k + 39. Is 5 a factor of c?
False
Suppose -4*b = -22 - 86. Is 15 a factor of b?
False
Let f be (-2)/3*(0 - -9). Let t(g) be the second derivative of -g**5/20 - g**4/2 - g**3/3 - g**2/2 - 2*g. Is t(f) a multiple of 3?
False
Suppose -s + 34 = -2*d, -s + 4*d - 6*d + 46 = 0. Let m = -23 + s. Let p = 1 + m. Does 9 divide p?
True
Suppose 2*o - 10 - 2 = 0. Does 5 divide o?
False
Let n(c) = c**3 + 11*c**2 + 7*c + 4. Is n(-9) a multiple of 19?
False
Let i(d) = -4*d + 7. Suppose 0 = 3*k - 5*u - 33, 39 = 5*k + u - 4*u. Let p be i(k). Is (p/(-1))/((-1)/(-2)) a multiple of 13?
False
Let u(y) = y + 11. Let d be u(-7). Suppose -n + 5*m - 3 = -3*n, -5*n + 90 = -d*m. Does 5 divide n?
False
Suppose -2*s + 0*s + 10 = 0. Is s a multiple of 3?
False
Let k(w) = -w + 32. Does 13 divide k(0)?
False
Let u be (17/(-3) - 0)*3. Let j = u - -99. Suppose -4*r + j = 6. Is r a multiple of 10?
False
Does 4 divide 1/2 - (-98)/4?
False
Suppose -4*a + 13 = -2*u + 1, 5*u = -a + 25. Let s be u/(-14) - 37/(-7). Suppose -67 = -5*h - b, -5*h - s = 3*b - 66. Is h a multiple of 8?
False
Suppose 2*g - 219 = 171. Is 37 a factor of g?
False
Let v(t) = t**3 - 5*t**2 - 6*t + 4. Let u be v(5). Let k = 37 + u. Does 11 divide k?
True
Suppose 7*m + 910 = 12*m. Is m a multiple of 14?
True
Suppose 46 + 1959 = 5*y + 2*l, 0 = 2*y - 2*l - 788. Is 18 a factor of y?
False
Let n(f) = -f**2 + 7*f + 1. Let w be n(7). Let s(h) = -w + 6*h + 2 + 14*h**2 - 2*h - 2*h. Is s(-1) a multiple of 4?
False
Suppose 5*d - 4*c = 392, 0*d - 316 = -4*d + 2*c. Is d a multiple of 20?
True
Suppose 0 = -4*o + 2*o + 342. Is o a multiple of 41?
False
Suppose -16 = -z + 2*s, 2*s + 2*s + 56 = 5*z. Suppose -a + 2*d + 10 = 0, -a + 4*d = d - z. Is a a multiple of 5?
False
Let r(w) = -20*w + 1. Let y(i) = -i**2 - 4*i + 7. Let h be y(-5). Let m(u) = 19*u - 2. Let c(x) = h*m(x) + 3*r(x). Is 11 a factor of c(-1)?
False
Let r be 28/4 + 0 + -1. Let i be ((-20)/6)/(r/(-45)). Let p = i + -11. Is p a multiple of 14?
True
Let l be (3/3)/(0 - 1). Let h be 2*1 + (0 - l). Suppose h*x = -m + 50, m + 14 = -0*x + x. Is 16 a factor of x?
True
Suppose 0 = -2*g - 5*h - 79 - 55, 132 = -2*g - 4*h. Let j = g + 103. Is 20 a factor of j?
False
Let l = 88 - -7. Suppose -8*d = -3*d - l. Does 11 divide d?
False
Let d = 55 - 33. Does 13 divide d?
False
Let y be (2/5)/((-2)/(-60)). Does 8 divide 19 - 5/(20/y)?
True
Let n = -146