+ 2/v a multiple of 11?
False
Suppose 4*z + 160 = 3*l, 7*z - 2*z + 193 = 2*l. Let h be (4 - 6) + 201/3. Let w = h + z. Is 7 a factor of w?
True
Let l be (5/4)/((-1)/(-4)). Suppose 2*d - 128 = x, -l*d + 3*x + 2*x + 310 = 0. Is d a multiple of 6?
True
Let p(m) = -108*m - 48. Does 12 divide p(-2)?
True
Suppose -4*c - 825 = -s, 1 = -4*c - 7. Is 9 a factor of s?
False
Suppose 3*p = 2*k + k + 486, -k - p - 168 = 0. Let a = -74 - k. Does 14 divide a?
False
Suppose -36 = -5*w + 2*d, -d - 9 = -4*w + 21. Let q(f) = f**3 + 4*f**2 - 2*f - 7*f + 4 - 8*f**2 - 2*f**2. Is 20 a factor of q(w)?
True
Let v(y) = 13*y**2 + 5*y - 29. Let q(f) = -6*f**2 - 3*f + 14. Let p(a) = -5*q(a) - 2*v(a). Is 21 a factor of p(-5)?
True
Suppose 0 = 47*u - 26*u - 13713. Is 33 a factor of u?
False
Suppose -8*r = -11*r - 336. Let v = -73 - r. Is 39 a factor of v?
True
Suppose -2*r - 5*f = 2*r - 76, 4*f - 58 = -3*r. Suppose 0 = 10*h - r*h + 676. Is 13 a factor of h?
True
Let z(o) = -o. Let t be z(-2). Let d be 88/10 - t/(-10). Is 9 a factor of d/5*(9 - 4)?
True
Suppose 0*f - 6 = -3*f. Suppose 0*p + f = -p. Does 7 divide (p/3)/(6/(-261))?
False
Let y be (-3)/((-1)/(2 - 3)). Let x be 3 + (2 + y - 4). Let t = 8 + x. Does 6 divide t?
True
Suppose -282 + 246 = -c. Is 6 a factor of c?
True
Let h = 234 + -144. Is h a multiple of 45?
True
Suppose 0*x = -4*x + 2348. Is x a multiple of 16?
False
Let w = -9 - -7. Let a be 1*(w - 0) - -1. Is 76*(a + 6/4) a multiple of 19?
True
Let s be (-10)/(-3)*3/2. Suppose -s*z + 685 = -0*z. Is z a multiple of 10?
False
Let m be ((-3)/(-1))/18 - 11/66. Let c(d) = 16*d**2 + 6*d + 2. Let n be c(5). Suppose m*f + n = 6*f. Is f a multiple of 24?
True
Let b be ((-22)/(-4) + -6)*642*-1. Let l = 610 - b. Is l a multiple of 27?
False
Let a(t) = -5*t**3 + 5*t**2 - t + 9. Let q(v) = 14*v**3 - 15*v**2 + 4*v - 26. Let p(g) = -11*a(g) - 4*q(g). Let z be p(5). Does 4 divide (100/z)/((-2)/8)?
True
Let x(j) = 3*j**2 - 80*j - 3. Is 2 a factor of x(27)?
True
Let o(h) = -241*h**2 + h. Let a be o(1). Let l = -122 - a. Suppose 8 = 2*k - l. Is k a multiple of 13?
False
Suppose -v - 37 = -9*o + 4*o, -3*o = 3*v - 15. Suppose 5*q = -2*c + 38 + 3, 5*c - 4*q = 86. Let i = c - o. Is i a multiple of 11?
True
Let q = 892 + -508. Is 8 a factor of q?
True
Does 40 divide (129 - 279)/((8/(-10))/2)?
False
Is 80/(-120)*144/(-2) a multiple of 48?
True
Let j(f) = -3*f - 14. Suppose 2*c = c - 9. Does 3 divide j(c)?
False
Suppose -t = 12*i - 14*i - 656, -2*t - 2*i = -1324. Does 55 divide t?
True
Let q(c) = c**2 - c + 10. Let z be q(-7). Let t be 92/(-22) + 12/z. Does 11 divide 2/(-8) + (-221)/t?
True
Let c(w) = -80*w + 3. Does 31 divide c(-5)?
True
Suppose 0*i + 2*i - 14 = r, -4*i + 34 = -5*r. Suppose 0 = -4*x + i*x - 84. Does 11 divide x?
False
Suppose -5*n + 4*h + 656 = 0, -n + 5*h = -116 - 11. Suppose 3*s = -0*s - n. Let i = s + 84. Is 10 a factor of i?
True
Let o(g) = -g**3 - 11*g**2 + 9. Suppose -5*w - 4*t = -37, 4*w - 3*t + 2*t - 38 = 0. Let m be 1/(-1)*(w + 2). Is 9 a factor of o(m)?
True
Let x = 25 - 14. Suppose 0 = -2*c + 1 - 5. Let t = x + c. Does 3 divide t?
True
Let g(q) = -6*q**2 - 22 + 4*q**2 + 7*q + 0*q**2 + 3*q**2. Is 8 a factor of g(-13)?
True
Let a be 0 + 9/12*4. Let p be a/(((-27)/130)/(-9)). Is p/18 + 4/(-18) a multiple of 3?
False
Suppose -6*x + 16 = -8*x. Let u(r) = -5*r + 3. Does 14 divide u(x)?
False
Let i(v) = 11*v**2 + 6*v - 14. Is i(2) a multiple of 3?
True
Suppose 4*b + 5*f - 135 = 0, -67 = -3*b + 2*f + 17. Is b a multiple of 5?
True
Let n(k) be the second derivative of k**3/6 + 197*k**2/2 - 48*k. Is n(0) a multiple of 21?
False
Let t = 168 - 126. Does 42 divide t?
True
Let p be (-55)/25 + 1/5. Let w(f) = -f**2 + 2*f + 4. Let r(y) = -y**2. Let o(m) = p*r(m) + w(m). Is 7 a factor of o(-3)?
True
Let x = 366 + -159. Does 3 divide x?
True
Suppose -3*q + j = -3086, 3*j + 1944 + 104 = 2*q. Does 12 divide q?
False
Let z(q) = 24*q + 21. Let w be z(8). Let a = -112 + w. Is 15 a factor of a?
False
Let m = -560 + 931. Does 7 divide m?
True
Let o = -196 - -399. Does 12 divide o?
False
Let v = -723 + 1152. Does 13 divide v?
True
Let m(x) = x**3 + 37*x**2 - 229*x - 96. Is 13 a factor of m(-42)?
True
Let s(t) be the third derivative of t**4/8 + 23*t**3/6 + 13*t**2. Is 9 a factor of s(7)?
False
Let y(g) = g**2 + 7*g + 4. Let d be (-2)/10 - 294/(-70). Is y(d) a multiple of 6?
True
Suppose -2740 = -4*o + 2456. Is o a multiple of 22?
False
Let m be -10*(18/4 - -4). Let l = m + 119. Is 17 a factor of l?
True
Let j = -53 + 107. Let p = 76 - j. Let k = p - -11. Is 11 a factor of k?
True
Suppose 4*t = -5*n + 23, 0*n + 5 = n + t. Suppose 3*h = -k + 188, 0 = n*h + 5*k + 53 - 237. Does 7 divide h?
True
Let y(m) = -m**2 - 9*m - 2. Let t be y(-10). Let h = t - -14. Does 9 divide 188/8*h - -4?
False
Is 25 a factor of (-63 + 794)*2/2?
False
Is (-37430)/(-76) + (2/(-1))/4 a multiple of 12?
True
Let i(t) = -t**3 + 9*t**2 - 8*t - 13. Let d be i(7). Suppose 4*p - d + 5 = 0. Does 2 divide p?
True
Suppose 4*d + 35 = 5*x - 2, 2*x = 5*d + 25. Let u be (8/6)/(1/d). Let a(b) = -3*b - 5. Is a(u) a multiple of 7?
True
Let b = 437 - -923. Is 11 a factor of b?
False
Let h(t) = t + 4. Let b be h(3). Suppose 2*i - b*i + 1080 = 0. Is i a multiple of 45?
False
Suppose 0 = -10*a + 2226 + 2184. Is 21 a factor of a?
True
Suppose -r = -3*r - 6. Let o = 83 + -72. Is (o/r + -1)*-3 a multiple of 3?
False
Suppose -3*s = 0, -b + 784 = -20*s + 24*s. Does 98 divide b?
True
Let h(d) be the second derivative of -d**4/12 - 7*d**3/6 + 2*d**2 - 11*d. Let f be h(-8). Let r = 116 - f. Does 40 divide r?
True
Suppose -20 = 5*q - 0*q. Let v = -8 + q. Does 15 divide ((-59)/(-2))/((-6)/v)?
False
Let a(w) = w**3 - 14*w**2 + 15*w - 14. Let c be a(13). Suppose -17*o = -c*o - 65. Is o a multiple of 6?
False
Suppose 5*y + 2*i = 334, 5*y + 3*i - 469 = -138. Is 2 a factor of y?
True
Suppose y = -2*y - 3*u - 33, 5*y - 4*u + 28 = 0. Let b = y - -57. Is b a multiple of 10?
False
Let l = 2 - 3. Let m be -1 - (-9)/(-3)*l. Suppose -m*c - 2*c = -152. Does 19 divide c?
True
Suppose 0 = 3*c - m - 130, 2*c = -2*m + 95 - 3. Is c a multiple of 9?
False
Let h = 90 + -84. Does 14 divide -2*(-241)/h - (-1)/(-3)?
False
Let k(c) = -11*c - 3. Suppose 0 = -u - 6 + 4. Is k(u) a multiple of 19?
True
Let i(a) = -15*a - 9. Let y be i(3). Is 10 a factor of 12/y + 722/9?
True
Let b(d) be the third derivative of d**5/20 + d**4/8 + 2*d**3/3 - 7*d**2. Does 18 divide b(-6)?
False
Suppose -b + 16 = 12. Suppose -38 = -b*g - 2*h, -6 = g + g - 4*h. Is g a multiple of 2?
False
Let m = 2257 + -1387. Does 30 divide m?
True
Suppose q + 10*q - 154 = 0. Suppose -664 = -q*r - 34. Does 16 divide r?
False
Let v be (-2658)/(-15) - (-2)/(-10). Let n(u) = -66*u - 3. Let m be n(1). Let x = v + m. Does 22 divide x?
False
Let y(c) = 2*c - 2. Let r be y(-4). Suppose -5*o - 5 = -5. Is ((-52)/r - o)*5 a multiple of 8?
False
Let k(q) = q**3 - 10*q**2 - 10*q - 65. Is 16 a factor of k(15)?
False
Let t(b) = -b**3 + b**2 + 63. Let x be t(0). Suppose x - 221 = -o. Is 30 a factor of o?
False
Suppose -4*u + u - 3 = 0. Let a be 34 + (-1)/u + -5. Let v = a - 24. Does 4 divide v?
False
Let o be (382/(-4))/(((-16)/8)/4). Suppose o = 5*t + c, -t + c + 17 = -20. Is 13 a factor of t?
False
Suppose -15 = -6*m + m, 5*h - 23 = 4*m. Let k = h - -1. Is 126/k + 1/4 a multiple of 11?
False
Let z be 0*-2*(-1)/(-6). Suppose z = 4*a + 12, i + a = 2*i - 11. Is 18 a factor of ((-21)/1)/((-6)/i)?
False
Suppose 0*x - 2*x - 3*a = 0, 3*x - 3 = -3*a. Does 10 divide 2/((-220)/75 + x)?
True
Suppose 21591 = 70*w - 35809. Does 14 divide w?
False
Let p(d) = 6*d**3 + d**2 - 5*d. Does 23 divide p(3)?
False
Let b be (0 + 4 - -1)/(0 + 1). Suppose b*t + 198 = 4*r, 2*r + r = -2*t + 160. Is r a multiple of 26?
True
Suppose -5*y = 10, -2*l + 3*y - 566 = 4*y. Let w = l - -447. Is 55 a factor of w?
True
Let x = 73 + 225. Does 16 divide x?
False
Let g(z) = 8*z - 10 + 3 + 37. Does 6 divide g(0)?
True
Suppose 0 = -h - 4*y - 5, y = -h + 3*h + 37. Let p = h - -13. Does 14 divide (-4 - 0) + 50 + p?
True
Let v(p) = 82*p**3 - p**2 - p + 4. Let n = 8 + -4. Let j(z) = 82*z**3 - z**2 - z + 5. Let d(y) = n*v(y) - 3*j(y). Is 14 a factor of d(1)?
False
Let p = 1238 + -581. Does 73 divide p?
True
Suppose -3*a + 253 + 1508 = 0. Does 12 divide a?
False
Le