m?
False
Is 7 a factor of 1/(5 - 37723/7546)?
True
Let h = -190 - -30. Is (-54)/1*h/60 a multiple of 24?
True
Suppose -4*a + 4 = 0, 2*s = a - 3*a + 100. Suppose -50*q + 169 = -s*q. Is 13 a factor of q?
True
Suppose -3*s + 3*o = -0*s - 12, -s - 2*o = 2. Suppose -r + 69 = -n - 56, -2*n + 246 = s*r. Is r a multiple of 38?
False
Suppose 0 = -0*r + r - 4*x - 42, -3*x = -5*r + 227. Suppose r = 3*o - 146. Is o a multiple of 8?
True
Suppose 176 = -2*i - 3*i - o, -66 = 2*i - 4*o. Let s = i - -42. Is 3 a factor of s?
False
Let x(v) = 35*v**2 + 7*v - 3. Is 7 a factor of x(-2)?
False
Let q = -513 + 1267. Is q a multiple of 58?
True
Let d = 77 + -71. Suppose 0 = -2*f + 2*p + 70, d*p - p = -2*f + 56. Does 33 divide f?
True
Let x be ((-3632)/10)/(-1) - 3/15. Let v = x - 258. Is 12 a factor of v?
False
Suppose 0 = -36*t + 2509 + 8831. Is t a multiple of 7?
True
Let h be 2 - (-2 + 4 - 4). Suppose 0 = -7*q + 3*q - h, -4*v + 410 = -2*q. Suppose 6*f + v = 8*f. Is f a multiple of 17?
True
Let a be -4 - (1 + -2 + -3). Suppose a = 3*y - 26 - 172. Is y a multiple of 22?
True
Let z(a) = 12*a**2 + 4*a + 2. Let q be z(-1). Suppose -15 = 5*l + q. Does 18 divide 39 + -2 - (1 + l)?
False
Let c be (18 + 3)*(-9)/9. Is (-14)/c - (-724)/3 a multiple of 22?
True
Let u = 622 + -419. Is u a multiple of 31?
False
Let w(s) = s**2 + 8*s + 9. Let c be w(-10). Suppose -4*y = -d - 307, 0 = y + 5*d - 74 - c. Suppose 3*b - b - 3*i - y = 0, 5*b - 3*i = 195. Is 13 a factor of b?
True
Let b be (-3)/(-6) + (-57)/(-6). Suppose -f - b = 8. Let h = f + 57. Is h a multiple of 10?
False
Suppose 2*j - d - 283 = 0, -4*d - 8 + 4 = 0. Suppose r + 150 = 3*r - 2*p, -2*r + j = p. Does 12 divide r?
True
Suppose -19*d + 135 = -18*d. Suppose 0 = -2*f + d + 35. Does 15 divide f?
False
Let z(n) = n**2 - n - 7. Let f be z(-3). Suppose 5*h + 0 - 5 = 0, -f*g - 4*h = -124. Suppose -4*s + 104 = -3*o + 17, 3*o = s - g. Does 4 divide s?
False
Let a = -459 - -765. Is a a multiple of 18?
True
Suppose 47767 + 124871 = 54*x. Does 115 divide x?
False
Suppose -2*i - l = -1 + 5, i + 12 = -3*l. Suppose 13*x - 11*x - 208 = i. Is x a multiple of 10?
False
Let k(u) = -2*u**3 + 5*u**2 - 9*u - 17. Let f be k(-5). Suppose 77 = 12*c - f. Is c a multiple of 12?
False
Let l = 26 - 16. Is 30 + -1 + l/5 a multiple of 7?
False
Suppose -2*l + 0*j = -4*j - 196, -5*l + 498 = -2*j. Does 19 divide (34/(-10) + -5)/((-6)/l)?
False
Suppose 73 + 51 = -4*y. Let m = -27 - y. Suppose 0 = -m*b - b + 220. Is 11 a factor of b?
True
Let f(v) = v**2 + 7*v + 5. Let q be f(-6). Let l be (-4 - -4)/1*q. Suppose 59 + 271 = 5*i - 2*a, l = -2*a. Is i a multiple of 33?
True
Let y be (-1)/(((-4)/10)/2). Suppose -2*z + 126 = y*k, -3*k - 42 = -5*k + 2*z. Suppose -c + k = 2. Does 11 divide c?
True
Let y(j) = 3*j**2 - 2. Let l = -130 - -138. Is y(l) a multiple of 11?
False
Let y be -7*((-36)/(-1))/(-6). Suppose -4*l - 6 = -l. Let b = l + y. Does 8 divide b?
True
Let o be (-5)/2*12/(-10). Suppose -4*f = -2*f + 2, 0 = o*a + f - 8. Suppose 0 = 3*u - a, -3*k + 3*u = u - 58. Is 11 a factor of k?
False
Let z(o) = 12*o + 1. Let y = -16 - -13. Let m be z(y). Let s = 49 + m. Is s a multiple of 14?
True
Suppose z - 1136 = n, 0 = -2*z + 3*n + 429 + 1844. Does 14 divide z?
False
Let z(t) = -7*t - 12. Let v be z(-3). Is 33 a factor of v + 185 - (1 + -5)?
True
Let v(b) = -751*b + 5. Is 7 a factor of v(-1)?
True
Let h be (75/(-6) - -2)*2. Let c = h - -22. Let l(r) = 29*r**2 - r + 2. Is l(c) a multiple of 6?
True
Let i(y) = 105*y + 585. Is 9 a factor of i(12)?
True
Let g be 15/(-9) + 2/(-6). Is (-15)/(g + -3) + 41 a multiple of 12?
False
Suppose 207 = 12*h - 9*h. Let k = h - 28. Is k a multiple of 12?
False
Let c be (-6)/(-27) - (-77)/(-63). Let h(r) = 5*r + 2. Let t be h(-4). Is (18/4)/(c/t) a multiple of 27?
True
Let q(p) = -p**3 - 5*p**2 - 4*p - 7. Let i be q(-4). Let o = i + 12. Is 5 a factor of o?
True
Let d(a) = -6*a - 20. Let r be (-95)/10 + (-2)/(-4) + 1. Does 14 divide d(r)?
True
Suppose 4*s + 12 = 3*g, 3*s = g - 2 - 2. Suppose -3*x - 2*x = s. Is (4 + x)*(-321)/(-12) a multiple of 22?
False
Let y be (-13)/4 + 16/64. Is 50 a factor of (7 + y)*(-106)/(-8)?
False
Let a(h) = 13*h**3 - h**2 + h. Let c be a(1). Let j be -10 + c + -1 + 14. Is (j/(-6))/(4/(-120)) a multiple of 20?
True
Let p(u) = 11*u - 40*u + 16*u. Let c = -1 + -2. Does 17 divide p(c)?
False
Suppose -5*p = q - 24, 3*q = 4*p - q. Suppose 0 = -3*b + p*b - 22. Is b a multiple of 11?
True
Let d(k) = k**2 + k - 3. Let s be d(-3). Let a be 202/(-4) - s/2. Is 37 a factor of (-2880)/(-39) - 8/a?
True
Does 10 divide 27300/90 + (-1)/3?
False
Suppose 15*m - 1687 = 1808. Does 21 divide m?
False
Suppose -p = 4*i - 393, -5*i - p = -237 - 255. Is 7/35 + i/5 a multiple of 3?
False
Let h(w) = w**3 + w**2 - w + 9. Let r be h(6). Suppose -25 = 5*o - r. Is 21 a factor of o?
False
Is 3 a factor of (-296 + 294)*(1/(-1) - 120)?
False
Suppose -3*l - 27 = -0*l. Let u = 11 + l. Does 20 divide 19 + (-1 + u - 0)?
True
Suppose 66*y - 38 = 64*y. Does 3 divide y?
False
Let i(a) = -a**3 + 15*a**2 + 13*a - 29. Is i(12) a multiple of 34?
False
Let n = -628 + 821. Does 55 divide n?
False
Let z = 110 + -21. Let w = z - 14. Is w a multiple of 15?
True
Let r(m) = m**2 - 14*m + 27. Let o be r(12). Is (o + 306/(-70))*5*-7 a multiple of 30?
False
Let i = -368 - -408. Is i a multiple of 10?
True
Suppose 349*f - 358*f + 441 = 0. Is 7 a factor of f?
True
Let k(p) = 2*p**2 + 2*p - 49. Is 43 a factor of k(11)?
True
Let l be 3/36*4*(1 - -8). Suppose 3*v + f - 163 = 0, -22 = -v + l*f + 29. Is v a multiple of 18?
True
Let z(b) = -b**2 + 9*b - 4. Let h be z(6). Let i(v) = v**2 - 13*v + 18. Is 5 a factor of i(h)?
False
Suppose k - 4*h + 4 = 0, -3*k - 5*h + 6 = 1. Suppose -q = 3*s - 46, s - 12 = -k*q - q. Suppose s = 3*l + 5*t - 86, 4*l = 2*t + 172. Is l a multiple of 15?
False
Let q be 9/(-6)*(-12)/9. Suppose q*w = -2*w. Suppose -2*b + 4 = w, 4*m + 2*b = -0*m + 196. Does 16 divide m?
True
Suppose 7000 = 322*y - 317*y. Does 25 divide y?
True
Let w(x) = -x**3 + 13*x**2 + 20*x - 43. Is 41 a factor of w(-10)?
False
Let b = -28 - -25. Is -48*((-9)/b)/(-3) a multiple of 8?
True
Let v(t) = 6*t**2 + 76*t - 84. Let c(q) = -q**2 - 15*q + 17. Let d(u) = -11*c(u) - 2*v(u). Is 7 a factor of d(8)?
True
Suppose 275 + 317 = 2*q. Let b = -180 + q. Is b a multiple of 37?
False
Let g(q) = -q**3 - 3*q**2 + q - 1. Suppose 3*k = -k - 12. Let x be (-1)/k - 13/3. Is g(x) a multiple of 4?
False
Let z be (1 + 2/(-1))/((-1)/5). Does 31 divide ((-15)/(-2))/z*310/3?
True
Let v(d) = -d - 5. Let k be v(-7). Let t be (-8)/k - 3/1. Let x = 0 - t. Is 3 a factor of x?
False
Let r(t) = -t**3 + 5*t**2 + 3*t. Let i be ((-78)/91)/((-1)/7). Let m be r(i). Does 6 divide (-256)/m - (-2)/(-9)?
False
Let b(s) be the third derivative of 3*s**4/2 + s**3/2 - 25*s**2. Is 31 a factor of b(4)?
False
Suppose 0 = 13*u + 512 - 2332. Does 35 divide u?
True
Suppose -68 - 36 = -4*c. Let n(z) = -z**2 + 32*z + 31. Is n(c) a multiple of 24?
False
Suppose -3*c + 30*s + 4605 = 33*s, 0 = -4*c + 4*s + 6124. Is 48 a factor of c?
False
Suppose 5*o - 293 = -v - 85, 0 = o - 3*v - 32. Does 4 divide o?
False
Let i = -5 - -5. Let q(o) = -o**3 + 5*o**2 - 4*o + 1. Let r be q(2). Suppose -3*y + 4*m + 306 = i, r*m + 154 = -4*y + 562. Is y a multiple of 38?
False
Suppose 4*y - 2*p = -7*p - 176, -2*y + p = 88. Let i = y + 67. Is 23 a factor of i?
True
Suppose 12*h + 930 + 534 = 0. Let s = h + 139. Is 3 a factor of s?
False
Let b(i) = i**3 - 21*i**2 - 9*i + 29. Let p be b(21). Does 15 divide ((-44)/(-10))/((-16)/p)?
False
Let v = -93 + 225. Suppose -5*b + 933 + v = 0. Let a = b - 144. Is a a multiple of 23?
True
Suppose 20*j = -651 + 5131. Does 4 divide j?
True
Suppose 4*l + 5*u = 2880, 24*l + 4*u = 21*l + 2160. Is 39 a factor of l?
False
Let m = -165 + 265. Suppose 5*w + 7 = -n, -4*n + 2*w + 2*w - m = 0. Let b = 32 + n. Is b a multiple of 5?
True
Let y(n) = -95*n**2 - 4*n. Let m(l) = -96*l**2 - 3*l. Let j(k) = -4*m(k) + 3*y(k). Is j(1) a multiple of 33?
True
Let i(c) = c**2 - 2*c - 5. Let r(s) = 5*s - 4. Let z be r(2). Let m be i(z). Suppose -b + 9 = -m. Is b a multiple of 14?
True
Let j(i) = -208*i + 12 + 222*i + 0. Is 50 a factor of j(17)?
True
Suppose n + 40*x = 41*x + 627, 0 = 2*n - 4*x - 1262. Is n a multiple of 89?
True
Supp