9. Is l a multiple of 16?
True
Let n(y) = 2*y**2 + 17*y + 36. Let m be n(-12). Suppose -49*t + 45*t = -m. Does 12 divide (3 - (3 + 2))/((-5)/t)?
True
Let h = 6557 - 5350. Is h a multiple of 53?
False
Suppose 4*y - 20 = -s, 4*y + 25 = 5*s + 9*y. Suppose 2*x - 145 = 5*w, w = x - s*w - 68. Let u = -25 + x. Is u a multiple of 40?
True
Suppose -5*v - 2 + 17 = 0, 2*b - 17785 = -3*v. Is 16 a factor of b?
False
Suppose -w + 16*z + 2280 = 19*z, -z + 11330 = 5*w. Does 2 divide w?
False
Suppose 8*f - 1282 = 726. Suppose 0 = -2*o + 141 + f. Is 33 a factor of o?
False
Suppose -o - 2*k - 344 = 458, 10 = -5*k. Let x = o - -1186. Does 19 divide x?
False
Let o be (-40)/(-2)*(1 + 6 + -5). Let z = 167 - o. Suppose 4*s + 3*f = z, -5*f - 60 - 23 = -2*s. Is 10 a factor of s?
False
Let r be 0 + (12 - 0)/4 - 2. Let g be (r - (-12)/(-8))*(-2 - -2). Suppose 7*v - 4*v - 54 = g. Is v a multiple of 9?
True
Suppose 7*c + 2516 = 3*c. Let h = -519 - c. Is h a multiple of 36?
False
Suppose 6*w - 11*w = 3800. Let f = w + 1256. Is f a multiple of 18?
False
Suppose 2*b + 3570 = a, -5*b = -4*a + 5186 + 9097. Does 162 divide a?
False
Suppose 0*n - 135 = -15*n. Let t = -1 - n. Is (-2 + (-53)/3)*(t - -7) a multiple of 9?
False
Let z be 45/12 - (-21)/84. Suppose -5*h = -v + 565, z*v + h - 3*h - 2242 = 0. Is 55 a factor of v?
False
Suppose -1 = z + 5*u + 11, 0 = -u - 5. Suppose -z*y = 27*y - 7880. Is 7 a factor of y?
False
Let q = 97 + -63. Suppose -3*w = -0*w - 5*s - q, -5 = s. Suppose -375 = -3*k + w*b, 3*k - 396 = -b - 3*b. Is k a multiple of 8?
True
Let o = 10370 + -2567. Does 93 divide o?
False
Let b = 510 + -237. Suppose 4*t = b + 875. Does 12 divide t?
False
Suppose 0 = -33*t - 12739 + 824539. Does 216 divide t?
False
Let y(s) = 4*s + 548. Let m be y(0). Suppose 4*h = 3*j - 794, 2*h - m = 3*j - 5*j. Does 18 divide j?
True
Let p = -20 + 25. Suppose -p*m = -53 - 2. Let w = m + -5. Is 4 a factor of w?
False
Let s = 3965 - 909. Is 4 a factor of s?
True
Let y(w) be the second derivative of 23*w**4/12 - 3*w**3/2 + 17*w**2/2 + 32*w. Is 10 a factor of y(4)?
False
Let h(n) = 2*n**2 - 31*n - 562. Is 26 a factor of h(42)?
True
Suppose 0 = -2969*q + 2971*q - 15488. Suppose -q + 1675 = -17*h. Is 3 a factor of h?
True
Let q be (25 + -26)/((-2)/10). Let a(v) = 93*v - 150. Is 63 a factor of a(q)?
True
Let v = 4844 + -2964. Is v a multiple of 16?
False
Let r be ((-6)/(-12))/((-1)/234). Let t(h) = -3*h**2 - 3*h + 6. Let l be t(-6). Let w = l - r. Is 11 a factor of w?
True
Let t(p) = -p**2 - 15*p - 25. Let r be t(-11). Suppose 2*o + 3*f + 68 = -r, f + 45 = -o. Is 50 a factor of ((-200)/(-16))/((-2)/o)?
True
Let m be 230/6 - 12/(-18). Suppose 177 - m = 6*p. Let b = p - -16. Is b a multiple of 13?
True
Let f(m) = -2*m**3 + 40*m**2 - 10*m + 20. Let x be f(16). Suppose -14*u + x = -8*u. Suppose -9*g = -6*g - u. Does 53 divide g?
True
Let t be -3 + 6 - 1/(-1). Suppose -u = -t*u + 27. Does 37 divide (-2)/u - 2733/(-27)?
False
Suppose 0 = -4*c + 37 - 9. Suppose -48 = -c*w + 6*w. Let v = -42 + w. Is v even?
True
Let p be (-254268)/(-224) + ((-7)/(-8) - 1). Suppose 1129*c - p*c + 10500 = 0. Is c a multiple of 35?
True
Suppose -6*q - 65228 + 299828 = 0. Is 165 a factor of q?
False
Suppose -f + 6 = 3*q - 17, 4*q + 39 = 5*f. Let p(m) be the second derivative of -m**5/20 + 5*m**4/6 + 5*m**3/2 + 5*m**2 - m - 1. Does 54 divide p(f)?
True
Let x = -83 - -83. Suppose 2*q - 461 = 3*l, 695 = 3*q - x*q - l. Is 29 a factor of q?
True
Suppose -11*s = -7*s + 4*l - 7508, 3*l = s - 1885. Is 21 a factor of s?
False
Is 2 a factor of 58611/28 - (-219)/292?
True
Suppose -l - x + 3 = 0, 0 = 10*l - 12*l - 3*x + 1. Does 9 divide 4/20*95 - l?
False
Let t = 11616 + -1248. Does 64 divide t?
True
Let g = 3487 + -965. Is 97 a factor of g?
True
Let h(y) be the third derivative of y**5/60 + 11*y**4/24 + 5*y**3/3 - 2*y**2 - 29. Is h(-13) a multiple of 12?
True
Let i = 12076 + -1168. Is 12 a factor of i?
True
Suppose 13 = -f + 15. Let m be (605*(-1)/f)/((-1)/2). Suppose -m = -10*h + 595. Does 12 divide h?
True
Suppose 5 = -d, 5*i - 26 = 2*d + 9. Suppose -i*s - 672 = -3522. Is 38 a factor of s?
True
Let j = -15 + 34. Suppose v + 28 = -j. Is 3/(-18)*2*(v + -1) a multiple of 3?
False
Let w = 59 + -59. Let g be (-2 - w) + 1 + 0 + 5. Let b(q) = 14*q - 22. Is b(g) a multiple of 17?
True
Let y(c) = 7*c**2 + 3*c + 16 - 8*c**2 - 3 + 15. Let j be y(7). Suppose j = 3*l - 4*u - 362, 214 = 3*l - u - 160. Does 21 divide l?
True
Let f(o) = o**2 + 12*o - 23. Let m be f(-16). Let k = 108 + m. Suppose v = -t + k, -t - 5*v = -0*v - 145. Does 17 divide t?
False
Let x(l) = 181*l**2 - 6*l - 189. Is x(-11) a multiple of 12?
False
Suppose 0 = 3*n + 5*t - 6521, -14233 + 3352 = -5*n - 2*t. Is 170 a factor of n?
False
Let k(c) = -3827*c - 6153. Is 128 a factor of k(-10)?
False
Let c(h) = -h**3 + 132*h**2 + 207*h - 518. Does 26 divide c(132)?
True
Let d = -53 + 54. Let n be (2 - (d - 46)) + -3. Let u = -24 + n. Is 20 a factor of u?
True
Let o = 4593 - -402. Does 3 divide o?
True
Let s = -70 - -74. Suppose -2*i = -s*y + 2872, -3*i - 1572 = -2*y - 128. Is 37 a factor of y?
False
Let i = 773 - 2193. Let n = i - -2692. Is n a multiple of 65?
False
Let j = 3859 + -2192. Does 39 divide j?
False
Suppose -521*m - z - 137758 = -525*m, -3*z + 34459 = m. Is 101 a factor of m?
True
Let n be (-9496)/(-48) - (-1)/6. Suppose -2*t = -5*v + n, v - 3*t = 5*v - 163. Is v a multiple of 20?
True
Suppose -12 = -4*u, 3*k - 2228 - 1381 = 2*u. Is k a multiple of 21?
False
Let a(d) = -2*d - 12. Let b(c) = -c - 13. Let w(k) = 3*a(k) - 4*b(k). Let o be w(13). Is (-344)/(-10) + -4 + (-36)/o a multiple of 7?
False
Suppose -2*c - 1 = f - 80, -2*c + 81 = 3*f. Let m = 43 - c. Suppose -m*p = x - 278, 280 = x + 2*p + 12. Does 38 divide x?
False
Let l = -42 - -46. Suppose 4*g + 21 = 1, -l*z = -2*g + 66. Does 10 divide z*(-5)/((-20)/(-8))?
False
Let m(t) = 24*t + 7. Suppose -5*q - 1 = 6*v - 7*v, -5*v = -3*q - 71. Does 16 divide m(v)?
False
Suppose 4*k - g - 266 = 0, -4*g - 70 = -k - 2*g. Is k a multiple of 4?
False
Let b(l) = 18*l - 7. Let r be b(9). Suppose -7*k + 2*k = -5*w - 605, -3*k + w + 361 = 0. Let s = k + r. Does 31 divide s?
False
Suppose -6*a + a = 0. Suppose -3*f + 5*h + 20 = 0, -5*h - 15 = -a*f - 2*f. Suppose 76 = 4*t + f*i, 3*t + 0*i = -3*i + 54. Does 14 divide t?
True
Let c = 12547 - -6015. Is c a multiple of 76?
False
Suppose -9*n = 115 - 214. Does 11 divide n?
True
Let o(a) = 8*a**3 - a**2 - 2*a - 4. Let l be o(-2). Let c = l - -98. Does 30 divide c?
True
Let s(y) = -2*y + 8. Let r be s(6). Let q = -182 + 124. Is 14 a factor of r*(q/4 + 0 + -3)?
True
Suppose 5*n + 2*s + 17 = 6*s, -2*s + 7 = -n. Let f be n + 2 + (-455)/(-7) - -2. Suppose 0 = -t + f + 75. Does 12 divide t?
False
Suppose -23*a + 51170 = 20*a. Does 17 divide a?
True
Suppose 231 = 4*d - 145. Let g be (2/4*20)/(16/(-40)). Let i = d + g. Is 14 a factor of i?
False
Suppose -9*i = -2*i - 35. Suppose -3*r - 2*t = -0*t - 73, i*r - 130 = -5*t. Is 3 a factor of r?
True
Let w = 26275 - 17979. Does 16 divide w?
False
Let z(w) be the first derivative of w**4/4 + 2*w**3 + 3*w**2/2 + w + 335. Is z(-5) even?
False
Suppose -17*f + 15*f = 24*f - 21242. Is f a multiple of 17?
False
Let v(c) = c**3 + 10*c**2 - 8*c - 20. Let x(g) be the first derivative of 3*g**2/2 - 10*g + 24. Let w be x(0). Is 30 a factor of v(w)?
True
Let h(w) = -w**3 + 10*w**2 + 12*w - 8. Suppose -6*r + 14 + 52 = 0. Let p be h(r). Suppose p*z - 4*z = -90. Is 15 a factor of z?
True
Suppose 94 = 2*w - 5*j, 0 = 18*w - 16*w + 4*j - 58. Suppose -43*l = -w*l - 480. Is l a multiple of 10?
True
Suppose 3*c - 9 = 3*q, 5*q + 5*c - 30 = c. Let i be (-98)/490 - (-762)/10. Let t = i + q. Is 8 a factor of t?
False
Let v = -331 + 334. Suppose v*g + 27 = y - 1, 0 = -g + 5. Is y a multiple of 10?
False
Let x be 7 + (-5 - (0 - 0)). Let v(c) = 4*c + 11 - 4*c**x - 2*c**2 - 5*c**2 + 13*c**2. Is v(5) a multiple of 9?
True
Suppose 0 = -2*p + 163 - 805. Let v = p + 554. Is v a multiple of 6?
False
Let p(q) = -q**3 - 30*q**2 - 44*q + 51. Let b be p(-23). Is b/18*-1 + 4/(-6) a multiple of 11?
False
Let q = 4763 + 12432. Does 10 divide q?
False
Does 26 divide 1541 + (2 - -9 - 18)?
True
Let d(h) = -h**3 + 12*h**2 + 15*h + 13. Let u be d(13). Let i = -43 + u. Does 11 divide (-14)/6*i/14*141?
Fa