?
True
Let w be 990/5 + 0 + -5. Suppose 2*y - y = -p + 191, -w = -p - 2*y. Is p a multiple of 9?
True
Let d be (15 + -11)*(-7)/(-2). Let x be (-4)/d + (-1392)/(-168). Suppose 0 = -2*f - m + 89, -3*m + 99 = 10*f - x*f. Does 12 divide f?
False
Let f = 3806 + 1189. Is 9 a factor of f?
True
Let d(n) = 9*n - 125. Let z be d(0). Let v = -183 - -407. Let m = z + v. Is m a multiple of 33?
True
Let f be -5 - (-30)/(6/2). Suppose 0 = f*b - 2 - 18. Is 2 a factor of b?
True
Let y = 89 - -19. Suppose -3*j - 5*t = -106, 0*j + 3*j - y = -3*t. Let c = 13 + j. Is c a multiple of 10?
True
Suppose -z - 5*m = -2 - 1, 5*z + 5*m = 15. Is -100*(-3)/6*7*z a multiple of 25?
True
Suppose -o = 4*f - 1, -2*o + 16 = 2*o + 4*f. Is 5/(20/1428) - (2 - o) a multiple of 30?
True
Suppose -3*b + 4650 - 897 = 0. Let i = -719 + b. Is 14 a factor of i?
True
Suppose 4*b - 68235 = 5*q, -5*b - 3*q + 34123 = -3*b. Does 30 divide b?
False
Let o be -6*(-2 - 70/(-15)). Let t be -4 - (o + 0 + 1). Let v(k) = 2*k**2 - 18*k + 1. Is 15 a factor of v(t)?
True
Suppose -h + 33 = 3*n + 4*h, 0 = n - 2*h - 11. Suppose 0 = -n*d + 8*d - 12. Does 14 divide (34/(-4))/(d/16)?
False
Let b be 894/18 - 4/6. Let u be (28/b)/((-4)/(-14)). Suppose -q + 69 = 4*z, -5*z + 3 = -u. Is q a multiple of 9?
False
Suppose -25*x + 756 = -7*x. Does 3 divide x?
True
Let b(r) = 6*r**2 + 4*r + 1. Let p be b(-1). Suppose 0 = -p*m + 5*m - 8. Suppose m*c - 5*v = 20, -20 = -0*v - 5*v. Does 7 divide c?
False
Let o(l) = l**2 - 18*l + 20. Suppose -8*f = -5*f + 45. Does 22 divide o(f)?
False
Suppose 1569 + 4146 = 2*g - 1173. Does 42 divide g?
True
Let o(c) = 127*c - 1. Let k be o(-2). Let g = -80 - k. Suppose 0 = -10*j + 15*j - g. Is 8 a factor of j?
False
Let w = 11406 - 8851. Is 14 a factor of w?
False
Suppose 4*w + 1 = 13. Suppose 5*z - 1183 = -3*v, -2*v + w*z = 2*z - 780. Is v a multiple of 24?
False
Suppose -74 + 14 = -3*t. Suppose t = -4*i - 124. Let h = i + 159. Is 9 a factor of h?
False
Let p = 521 + 488. Suppose -i + 222 = 5*k - 1037, -4*k + i = -p. Suppose -4*a - 2*s + 830 = k, 5*s - 167 = -a. Is a a multiple of 28?
False
Let x(z) = 2*z**2 - 214*z - 684. Is 106 a factor of x(-34)?
True
Let j(s) = 13*s + 115. Let u be j(27). Suppose 0 = -2*r + 10, -y - r + u = -93. Is y a multiple of 16?
False
Let o = -6 - -8. Let a(q) = -2*q**2 - 61*q - 351. Let w be a(-19). Suppose -3*x + w = -2*p - 28, -o*x + 78 = -2*p. Is x a multiple of 3?
True
Suppose -1098*f + 1071*f + 178605 = 0. Is f a multiple of 15?
True
Suppose -20 = -3*n + k, 7*n - 3*n - 30 = 3*k. Suppose -n*c = 2*q - 10*c - 116, -3*q + 170 = -4*c. Is q a multiple of 18?
True
Let i(y) = -y**3 + 38*y**2 + 166*y + 4. Is i(40) a multiple of 42?
True
Suppose 15*s - 19 = 16*s. Let k(f) = -3*f**2 - 73*f + 16. Is 35 a factor of k(s)?
False
Let g(n) = n - 38. Let z be g(-4). Does 52 divide (-43608)/z - 14/49?
False
Let c(z) = -z**2 - 12*z - 8. Let i be c(-11). Let f be ((-22)/8)/(i/72). Does 4 divide -4*f/10 + (-4)/10?
False
Let t(f) be the third derivative of -f**5/10 + f**4/12 + f**3/2 + 21*f**2. Let y be t(-1). Let p(j) = -j**3 + j**2 + j + 1. Does 14 divide p(y)?
False
Let y(x) = 42*x - 88. Let z be y(-5). Let u = z - -343. Does 3 divide u?
True
Let p(h) = 154*h**2 + 566*h - 2. Is p(-12) a multiple of 71?
False
Let w = -40628 + 62681. Does 24 divide w?
False
Suppose -4*o + 2*d = 454, -14 = 4*d - 2. Suppose -2*i + 5*a + 398 = a, -i + 4*a = -207. Let f = o + i. Is 19 a factor of f?
True
Let k(t) = -5*t + 108. Let i be k(21). Does 18 divide -5 - -35*(-1)/(i/(-39))?
True
Suppose 3*k = -4*r + 32, 7*k + 2*r - 72 = 2*k. Is (-182*(-2)/k)/(2/16) a multiple of 26?
True
Suppose 33 = -j - 240. Let w = 504 + j. Does 10 divide w?
False
Let b(i) = i**3 - 40*i**2 - 92*i + 328. Let h be b(42). Let r(w) be the third derivative of -19*w**4/24 - 9*w**3/2 + w**2. Is 6 a factor of r(h)?
False
Let s(j) = 14*j**2 - 18*j - 47. Let w be s(-3). Suppose a - 3*p - 342 = 0, a - p - w = 219. Is 21 a factor of a?
True
Let k(z) = -z**3 - 4*z**2 - z + 6. Let p be k(-3). Suppose p = -0*s - 3*s - f + 1172, -f = 5*s - 1956. Is s a multiple of 28?
True
Let x be (((-256)/(-3))/4)/((-88)/(-132)). Is (2/3)/(x/1872) a multiple of 13?
True
Suppose 33*b - 4*i = 377426, 0 = b + 15*i - 10*i - 11473. Is 133 a factor of b?
True
Let c = -3283 + 12691. Is 64 a factor of c?
True
Let k(d) = 7*d**3 + 24*d**2 - 16*d + 56. Let u(w) = 4*w**3 + 13*w**2 - 8*w + 28. Let s(z) = 3*k(z) - 5*u(z). Is 12 a factor of s(8)?
True
Is ((-1)/7)/((494/(-187397))/26) a multiple of 8?
False
Let m(p) = -14*p + 8. Let b be m(7). Let t = 21 + b. Let c = t + 79. Is 7 a factor of c?
False
Suppose -5*n - i + 48731 = 0, 145*n - 2*i = 146*n - 9757. Does 150 divide n?
False
Suppose 5*r = 4*v + 730, 6*v = -r + 3*v + 146. Let h = -279 + 210. Let f = r + h. Is f a multiple of 22?
False
Let f be (-2 - (-12)/5)*5 + -2. Suppose f = 2*j - 12 + 8. Suppose -279 = -2*p - 3*q, -2*p - 3*q + 269 = -j*q. Does 33 divide p?
True
Suppose 0 = -j + 4*s + 10, 5*j + 98 = -3*s + 33. Is 15 a factor of -2 + (2451/(-95))/(2/j)?
False
Suppose 0 = 21*r - 8*r + r - 304024. Does 178 divide r?
True
Let k be 18/(-45) + 27/5. Suppose 3*v - k*d = 265, 90 = v + 9*d - 11*d. Is v a multiple of 11?
False
Suppose -5*v = -4*d + 16 - 456, -4*d = 20. Is v a multiple of 7?
True
Suppose 20 = 4*m, 3*n - 37 = -0*n - 5*m. Suppose 0 = 3*z + p - 5617, -3*p + 4590 = -n*z + 12075. Is 18 a factor of z?
True
Let g(c) = c**2 + 4*c + 3. Let a be g(-4). Is 12 a factor of 23450/85 - (a - 265/85)?
True
Let j(k) = 3*k**3 + 6*k**2 - 6*k + 1. Let b be j(1). Suppose 323 = p - 13*w + 9*w, -p - b*w = -315. Is 25 a factor of p?
False
Let g be (-2)/(2/3) + 327. Let n = 518 - 324. Let d = g - n. Does 26 divide d?
True
Suppose 0 = 4*f + 5*t - 988, 5*t - 3*t = -3*f + 734. Suppose d - f = -4*a, 2*d + 2*a - 478 = -3*a. Is 9 a factor of d?
True
Suppose 56*f - 17*f = 177216. Does 71 divide f?
True
Suppose 5*z - 6466 = -4*c, 5*c - 75 = -80. Is 16 a factor of z?
False
Let w(p) = 11*p**2 + 4*p - 10. Let c be w(2). Let a = 59 - c. Is 15 a factor of a?
False
Let j be 2/(-2) + -3 - (-119)/17. Suppose j*w = -4*k + 1590, -w + 130 = -2*k + 920. Is 44 a factor of k?
True
Let p = 35250 + -19085. Does 5 divide p?
True
Let r = -6188 + 11761. Does 52 divide r?
False
Let x(k) = k**3 + 25*k**2 + 2*k - 16. Is 88 a factor of x(-8)?
True
Let s be 0 + -1*1/3*-9. Suppose 3*y - 543 = -s*t + 2199, t + 3*y - 918 = 0. Is 38 a factor of t?
True
Let k(i) = -1032*i**3 + 6*i**2 + 66*i + 211. Is k(-3) a multiple of 31?
True
Let i = 16906 + -6172. Is i a multiple of 18?
False
Let c = 398 + -527. Suppose -4*m + 2*p - 996 = 0, 3*m + 4*p = m - 498. Let y = c - m. Is y a multiple of 25?
False
Let p be (-9)/15 + (-288)/20. Let g be 48*(p/6)/5. Does 5 divide ((-38)/6)/(2/g)?
False
Let o = 104 + -110. Let y be (-8)/o*33/22. Suppose -2*f + 184 = 5*z, -y*f - 15 = -2*z - 185. Is 10 a factor of f?
False
Suppose 2*k - 5*l - 24 = 0, 10 = -5*k - 5*l - 0. Is 16 a factor of -1182*(-171)/243 + k/9?
True
Let j(q) = -11*q**2 + 314*q - 143. Let a be j(27). Suppose -156 - 440 = -4*w. Suppose 4*g - 4*o = a, -5*g + 4*o + 249 = -w. Is g a multiple of 7?
False
Does 15 divide 77580/18 + (-27 - -10)?
False
Let s = -1608 + 4312. Is s even?
True
Suppose -507*z = -11*z - 10812800. Is z a multiple of 200?
True
Let o = -13183 - 48557. Is 14 a factor of (24/(-14))/(168/o)?
True
Let h(k) = -7*k + 110. Let g be h(16). Let r(c) be the second derivative of -41*c**3/6 - 15*c**2/2 + 3*c. Is r(g) a multiple of 7?
False
Let z(j) = 23 + 3 + 4*j + 16 + 2*j. Let m be z(-8). Let x(n) = -n**2 - 7*n + 26. Does 8 divide x(m)?
True
Let p be (-3 + 4)*3 - 6175. Let t = p - -3500. Does 8 divide (4/14 - 0) + t/(-56)?
True
Let q(s) = -s**3 + 24*s**2 - 43*s - 22. Let f be q(22). Let o be (4/(-3))/((-1)/231). Suppose m - 8*m + o = f. Is 22 a factor of m?
True
Let q be ((-1 + 1)/8)/2. Suppose 2*z + 5*c - 643 = q, -917 = -2*z + 3*c - 266. Does 81 divide z?
True
Suppose 0 = -4*c - 4*d + 1528, 0 = -4*d - 5 + 9. Suppose x + 14 = -4*n + 152, n - c = -3*x. Is 21 a factor of x?
True
Suppose 0 = 4*x + g - 21072 - 5626, -x + 6685 = -5*g. Does 15 divide x?
True
Let t = 15 + -8. Let w = -1398 + 1463. Let k = w + t. Is 9 a factor of k?
True
Suppose -105 = -f + 3*i, -4*f - 5*i - 207 = -6*f. Suppose f*w - 1032 = 93*w. Is 43 a f