f 11?
False
Let m = -1892 + 1028. Is m/(-14) + (-6)/(-21) a multiple of 31?
True
Does 19 divide (-6)/15 - (-768)/20?
True
Let m be -2*6*-9 + -1. Suppose 3*b - m - 185 = -a, b - 104 = -2*a. Does 13 divide b?
False
Suppose 3*a = -2*d + 40, 3*d - 6*d + 67 = a. Is 23 a factor of d?
True
Suppose 2*m - 10 = -2*x, 3*x - 2*x - 5 = -4*m. Suppose -x*c + 84 = -2*c. Is c a multiple of 9?
False
Let q be 4/6 + (-136)/24. Let n be 109 - ((q - -1) + 3). Suppose 0*c - n = -5*c. Is 11 a factor of c?
True
Suppose -5*c + 14 = 64. Let i = 19 - c. Is i a multiple of 11?
False
Suppose -2*m + 1 = -9. Suppose -1 - 5 = 4*b - m*x, 5*x = -3*b + 13. Is 18 a factor of (-2 - -1)/(b/(-53))?
False
Let y(w) = -4*w**3 - 2*w**2 - w + 1. Let p be y(-2). Suppose 0 = 2*x - 3*x + p. Is 1*x + (-3)/1 a multiple of 9?
False
Suppose f = 5*c + 17, 3*c - c = f - 14. Is f a multiple of 5?
False
Let v(w) = -w**2 - w + 51. Is v(0) a multiple of 17?
True
Let t(w) = -w**3 + 6*w**2 - w - 8. Let a be t(4). Let n = 77 - a. Does 10 divide n?
False
Let o be (-24)/(-14) + (-18)/(-63). Suppose -o*s = 4*k - 14, -5*k = -4*s + s + 54. Does 3 divide s?
False
Let b(q) = -7*q - 3. Let g be b(-6). Let u = -74 + g. Let c = -21 - u. Is c a multiple of 7?
True
Suppose 3*r = 3*i + i - 5, 0 = -2*i + 5*r - 1. Let w be -1 + (1 - i*-274). Is 1/(-4) + w/16 a multiple of 17?
True
Let i = -12 - -15. Suppose 4*q = 5*f - 13, -4*f + 4*q + i + 5 = 0. Does 5 divide f?
True
Let p(l) = -7*l - 8*l**2 + 0*l**3 + 2*l**2 + 0*l**3 + 2 - l**3. Is 12 a factor of p(-5)?
True
Suppose 0 = -3*s + 6*s - 987. Let k be 1/(-2) + s/(-14). Let j = 39 + k. Is j a multiple of 14?
False
Suppose 0*h = 3*h + 42. Let c = h + 24. Is 8 a factor of c?
False
Let c = -10 + 12. Suppose 4*t + c*m = 160, 3*m + 7 = 1. Is t a multiple of 29?
False
Let n = -1020 + 1780. Is n/24 - (-4)/(-6) a multiple of 23?
False
Let x(y) = -6*y**3 + y**2 + 4*y - 6. Is 13 a factor of x(-3)?
False
Let x = -14 - -34. Does 4 divide x?
True
Let y(j) = -52*j + 4. Let v be y(5). Does 7 divide 2/(-9) + v/(-18)?
True
Let x(f) = f**3 - 6*f**2 + 5*f. Let r = 1 - -4. Let q be x(r). Suppose q*y - 3*y = -15. Does 3 divide y?
False
Suppose 264 = -4*p + 6*p. Is -2*(p/(-8) - 2) a multiple of 11?
False
Let b(w) = 3 - 5*w**2 + w**2 + 3*w**2. Let s be b(0). Suppose 0*o = o - s, j + 5*o - 22 = 0. Is j a multiple of 7?
True
Suppose -5*k - 4*f = -3*f + 7, 2*k = 2*f + 2. Is 14 a factor of 39*(0 - k) - -1?
False
Is 44 a factor of (-132)/(-5)*((-2)/(-3) + 6)?
True
Let b be (-93)/(-4) - 2/8. Suppose 4*t = r + 36 + b, 0 = 4*r - t + 191. Does 8 divide r/(-6) + 1/6?
True
Let b be (-184)/12 + 2/6. Let h be (1 + 1)*b/10. Let j(c) = -6*c + 2. Does 10 divide j(h)?
True
Let d(t) = 21*t - 15. Is d(19) a multiple of 48?
True
Let x(d) = -48*d**3 - 7*d**2 + 3*d. Let y(j) = -16*j**3 - 2*j**2 + j. Let i(f) = -2*x(f) + 7*y(f). Is 5 a factor of i(-1)?
True
Suppose -c - c = 0. Suppose c = l - 3*h - 32, -2*h - 60 - 38 = -4*l. Does 11 divide l?
False
Suppose -8*w + 2*w = -432. Is 15 a factor of w?
False
Let g = -479 + 755. Let t = g + -188. Suppose 2*z - t = -2*z. Is z a multiple of 11?
True
Suppose 0*s + 5 = 2*z - s, -4*z + 11 = -3*s. Let h = 0 - z. Is 12 a factor of -24*h/(5 + -1)?
True
Suppose 5*a - 88 - 292 = 0. Is 19 a factor of a?
True
Let f be (-2 + 3/6)*2. Let w = f + 7. Is 3 a factor of w?
False
Let g be (-31)/(-11) + (-8)/(-44). Suppose 2*d - 1 = -t - 0*t, g*t = -4*d + 1. Suppose -d = -l + 2. Does 3 divide l?
True
Suppose -316 - 24 = -4*u. Is u a multiple of 18?
False
Let f = -6 - -5. Let b be (53 - f)*15/10. Suppose -5*y + 109 + b = 0. Is y a multiple of 17?
False
Let x be 3 - 9/3 - 0. Suppose x = -0*d - 4*d + 56. Is d a multiple of 6?
False
Let c = -2 + 5. Suppose 4 - 142 = -c*o. Suppose 5*v - o = 4*q, -2*q + 12 = -v + 2*v. Is v a multiple of 8?
False
Suppose 2*q + 2 = 3*q. Let c = 162 + 13. Suppose -q*f + 110 = 4*i, -i + 2*i + c = 4*f. Does 15 divide f?
True
Let c = 4 + -2. Suppose -3*g + 3*r + 7 = -2, 0 = -5*g + c*r + 21. Suppose -g*d = -d - 20. Does 2 divide d?
False
Let a(u) = -u**3 - 4*u**2 + u. Let g be a(-3). Let o = g + 22. Is o a multiple of 6?
False
Suppose -19*l = -18*l - 12. Is l a multiple of 4?
True
Let x(y) be the third derivative of y**6/60 - y**5/15 - y**4/8 - y**3/6 + 3*y**2. Is 17 a factor of x(4)?
True
Suppose -6*x + 3*x = 267. Let k = -27 - x. Is k a multiple of 14?
False
Let b be (0 - -3)/(-3)*-13. Suppose 3*x + b - 97 = 0. Is 11 a factor of x?
False
Suppose -2*l + 0*l + 3*q = -63, 2*q = l - 33. Is 3 a factor of l?
True
Suppose 22 = i - 3. Let h be 258/54 - 4/(-18). Suppose 5*y - 5*s - i = -h, y + 3*s = 4. Does 4 divide y?
True
Let r(s) = s**2 - s + 3. Let l be r(4). Is 4 a factor of 5 - 2 - l*-1?
False
Let c = 12 - 78. Let s = -32 - c. Does 14 divide s?
False
Suppose 0 = 5*o - 5, -2*x - o = 2*o - 39. Does 9 divide x?
True
Let t(x) = 17*x - 17. Is 34 a factor of t(9)?
True
Let c be ((-3)/1 - -4) + 71. Let s = 120 - c. Is s a multiple of 19?
False
Suppose 5*t - 5 = 10. Suppose 2*i + 15 = t*i. Is i a multiple of 5?
True
Suppose -6*i + 713 = 11. Does 26 divide i?
False
Suppose 24*b = 28*b - 936. Is 14 a factor of b?
False
Let a be -1 + 2 + -13 + 2. Let u(q) = -3*q**2 - 12*q + 8. Let v(m) = -m**2 - m - 1. Let p(d) = u(d) - 2*v(d). Is p(a) a multiple of 5?
True
Let o be 2/(0 + (-2)/(-4)). Let v be 1/o - (-3)/(-12). Suppose v = -4*h - 4 + 20. Is h a multiple of 2?
True
Does 3 divide -4 - (-5)/(15/39)?
True
Let o(i) = 4*i + 3*i**2 + i**3 + 4 - 4*i + 0*i. Let h be o(-3). Suppose -2*u - 30 = -h*u. Is u a multiple of 7?
False
Let y(n) be the first derivative of -n**4/4 - 5*n**3/3 - 3*n**2/2 - 6*n + 4. Does 5 divide y(-5)?
False
Let y(a) = 2*a - 5. Let q be y(5). Suppose 0*w = 3*w + 3*f - 63, -3*f = 0. Suppose 19 = q*z - w. Is z a multiple of 4?
True
Let a(c) = 14*c + 15. Is a(5) a multiple of 6?
False
Let l(p) = -9*p + 3. Let n be l(-3). Let u = 132 + -71. Let k = u - n. Does 11 divide k?
False
Suppose -119 = -3*j - 5*p, -5*p + 7 - 2 = 0. Suppose -r + 5*r = 2*t + j, 4*r - t - 37 = 0. Suppose -3*k + r = 2*q, -q - 18 = -3*k - 0*q. Does 5 divide k?
True
Suppose 0 = r - 3*r + 66. Does 13 divide r?
False
Let q be 1 + 1 + -3 + 1. Suppose 0 = 5*y - q*y - 70. Is y a multiple of 14?
True
Let u = 9 + -9. Let i(g) = 2*g + 77. Does 24 divide i(u)?
False
Suppose -2*f = -2*y - 210, -6*y + 225 = 2*f - 11*y. Is 20 a factor of f?
True
Is -4 + (3 - 1 - -21) a multiple of 6?
False
Let k(l) be the first derivative of -l**3/3 + 17*l**2/2 + 14*l - 5. Is k(14) a multiple of 20?
False
Let h be -3 - 0 - (3 + -2). Is 4 a factor of -2*(-3)/((-6)/h)?
True
Suppose 3*y - 36 = -v - 221, 3*v + 595 = -y. Is 7 a factor of (-4)/14 - v/14?
True
Let g = 68 - -44. Is g a multiple of 16?
True
Let s(n) be the third derivative of 1/60*n**5 - 1/8*n**4 + 1/3*n**3 + 0*n + 0 + 2*n**2. Is s(-3) a multiple of 10?
True
Suppose -2*q + 3*q - 116 = 0. Is 12 a factor of q?
False
Suppose -o - 45 = -3*g - 5*o, 30 = 2*g + 3*o. Let y be 9/g + (-96)/(-15). Suppose -6 = -2*n - m + y, 5*n - m - 43 = 0. Is n a multiple of 8?
True
Let r(o) be the second derivative of -o**4/12 - 3*o**3/2 + 3*o**2/2 + 3*o. Is 8 a factor of r(-8)?
False
Let r = 101 + -60. Is 5 a factor of r?
False
Suppose -5*x + 3*x + 144 = 0. Is 17 a factor of x?
False
Let k be (112/3 - 1)*-3. Let h = k + 177. Is 17 a factor of h?
True
Let n(j) be the first derivative of 2*j**3/3 - 5*j**2/2 - 7*j + 3. Is 5 a factor of n(5)?
False
Suppose -3 = 2*f - 5, -6 = i - 5*f. Does 28 divide i + -2 + 5 + 26?
True
Let u(x) = -9*x + 2. Let t be u(4). Suppose 6 = 2*o - 94. Let f = o + t. Is 8 a factor of f?
True
Suppose 37 = 4*t - 47. Does 7 divide t?
True
Suppose 3*f - 390 = f. Is f a multiple of 39?
True
Let q = 1 - -1. Let d be -3 - (37 + 0) - -2. Is 11 a factor of -1 + -2 - (d + q)?
True
Let c = 137 - 103. Is c a multiple of 5?
False
Suppose 60 = -7*n + 452. Is n a multiple of 21?
False
Let d(y) = -3*y + 2. Suppose -36 = 3*z - 15. Does 13 divide d(z)?
False
Is 12 a factor of (-4)/10 - ((-25284)/(-35))/(-6)?
True
Let q(s) = -12*s + 4. Let h be q(-5). Let t(l) = 5*l - 1. Let r be t(1). Suppose r*c = -0*c + h. Does 8 divide c?
True
Let i = 39 + -74. Let z = -8 - i. Is 10 a factor of z?
False
Suppose 3*b = 5*d + 278 + 21, 0 = -4*b - 5*d + 457. Is b a multiple of 18?
True
Let w = 11 - 7. Suppose w*g =