= -2 - 4*r**2 + r + 5*r**2 - 5. Let m be n(7). Let v = m + -26. Is v a multiple of 10?
False
Suppose 6*c - 11*c - 3*t + 2934 = 0, -t - 2 = 0. Does 28 divide c?
True
Is 24 a factor of ((-174)/(-15))/(31/155)?
False
Let f(b) = 2*b + 11. Let j be f(-5). Is 29/j*(11 + -10) a multiple of 24?
False
Suppose 5*f - 325 = -5*s, -f + 45 = 2*s - 5*s. Is f a multiple of 8?
False
Suppose -680 = -5*m - 3*n, 0*n = m + n - 138. Suppose -m = 7*f - 14*f. Does 5 divide f?
False
Suppose 0 = 2*g - 3*g + 5*w + 765, g + 4*w = 720. Is g a multiple of 37?
True
Let q(w) = w. Let k(d) = -d**2 + 20*d + 25. Let r(m) = k(m) - 2*q(m). Is r(11) a multiple of 17?
True
Let b = -532 + 756. Let z = b + -114. Is z a multiple of 11?
True
Let z(s) = -s**3 + 19*s**2 + 9*s + 73. Does 61 divide z(19)?
True
Let r = 136 + -247. Let h = r + 206. Is 19 a factor of h?
True
Does 27 divide (-2)/3*(-3 - (-1164)/(-8))?
False
Suppose 0 = 17*d + 9*d - 8892. Is d a multiple of 38?
True
Let m be (9/6)/((-3)/(-8)). Suppose -3*d = -p - m + 1, p + 4*d + 3 = 0. Let g = p - -7. Is g a multiple of 2?
True
Let x be (-1 - (1 - 3))*5. Let a be ((-12)/x)/((-36)/120). Let j(l) = 2*l**2 - 7*l - 10. Is 31 a factor of j(a)?
True
Suppose 4*n - 39 = 85. Let m = n - 27. Is 15 a factor of 114/m + 21/14?
True
Suppose -20 = -6*k + k. Suppose -2*d + 44 = -k*d. Let y = d + 40. Does 9 divide y?
True
Let f(b) = 4*b**2 - 7*b - 74. Is f(-10) a multiple of 66?
True
Is ((-1)/2)/(10017/(-2502) - -4) a multiple of 14?
False
Let g(n) = 13*n**2 + 27*n + 89. Is 18 a factor of g(-3)?
False
Let o = 1665 - 136. Is 12 a factor of o?
False
Let p(w) = 5*w**2 + 5*w - 92. Does 63 divide p(-11)?
False
Let u(k) = 3*k**2 + 6*k + 11. Is u(-11) a multiple of 14?
True
Let k be (-6 - -5)/((-2)/8). Suppose 2 = -k*j + 6. Is 25/((-2)/(-4)*j) a multiple of 12?
False
Suppose 7*a - 1621 = -200. Does 8 divide a?
False
Suppose -4*w = w. Suppose w = -5*l + 2*r + 640, -r = l + 2*r - 145. Suppose 5*v + 5*s = l, -v = 4*v - 3*s - 162. Does 10 divide v?
True
Suppose -2*h = -5*v - 42, 0*h = 4*h + v - 62. Suppose -19*x + h*x = -108. Is x a multiple of 4?
True
Suppose 4*a - 1230 = a - 5*p, -2*a + 3*p + 801 = 0. Does 19 divide a?
False
Suppose 0 = 30*a - 3663 - 46497. Does 76 divide a?
True
Is 13 a factor of (13 - 11)*652/8?
False
Let w(f) = 50*f - 41. Is 19 a factor of w(5)?
True
Is 4*(1029/20 + (-40)/(-50)) a multiple of 19?
True
Let l = 1097 - 647. Is 15 a factor of l?
True
Let n = 617 + 1558. Is n/120 + (-1)/8 a multiple of 9?
True
Let q be (-1)/(-3) - (-19)/(-3). Does 3 divide (-1)/(q/(-32)*(-10)/15)?
False
Let i(m) = m**3 + 6*m**2 - 3*m + 6. Let k be i(-6). Let s = k - 59. Let d = -3 - s. Is d a multiple of 16?
True
Let g(j) = -j**2 - 21*j + 94. Is 2 a factor of g(-24)?
True
Suppose -23*m = -26*m. Suppose m = i + 2*i + 3*t - 147, 34 = i - 2*t. Does 11 divide i?
True
Let k(g) = 3*g**3 + 2*g**2 + 2. Let r be k(-2). Is 1 + 101 - (-16 - r) a multiple of 26?
True
Suppose -16*h + 15*h = -1, 2*h - 1066 = -4*p. Is p a multiple of 9?
False
Suppose -462 = 104*l - 110*l. Is l a multiple of 11?
True
Let u be 15 + (-1 + 2 - 2). Let i be 3 + -2*u + 1. Let w = 2 - i. Is w a multiple of 10?
False
Is 124 + 0*(-6)/42 a multiple of 62?
True
Let x be 4/(-14) + 12/(-7) + -289. Let d = -161 - x. Is 12 a factor of d?
False
Suppose -185*d + 33360 = -170*d. Does 12 divide d?
False
Suppose 3*c + 6*s - 9*s = 0, 4*c = -3*s + 35. Let z(h) = -5*h + 2 + 3*h + 3*h. Is 2 a factor of z(c)?
False
Let v = 14 - 2. Suppose 3*c - 21 - v = -5*u, -5*c + 5 = 0. Is 6 a factor of u?
True
Suppose 2 = d + 62. Let s be (-4)/(-10) - (-1884)/d. Let o = 47 + s. Is 15 a factor of o?
False
Let i = 47 + -42. Let n = i - -265. Does 45 divide n?
True
Let q = -8 - -29. Is 7 a factor of q?
True
Let v be 3/3 - (-100)/(-4). Let h = v + 40. Suppose -4*q - h = -5*q. Is q a multiple of 6?
False
Let w(h) = 2 + 3*h + 4*h**2 - 3*h**3 - 3*h**2 + 4*h**3 + 2*h**2. Is w(4) a multiple of 11?
False
Let o(p) = -7*p + 18. Let v be o(-9). Is 1/(-2) - v/(-6) a multiple of 13?
True
Let u(v) = -v**2 - 72*v - 143. Is 92 a factor of u(-29)?
True
Let p(f) = f**2 + f - 8. Let c be 0 + -6 - (6 + -4). Does 24 divide p(c)?
True
Let b = -214 - -448. Does 39 divide b?
True
Let t be (-1539)/(-21) + (-4)/14. Let o = 198 - t. Let q = o + -77. Is q a multiple of 10?
False
Suppose -9*c - 159 = 3. Let i(h) = h**3 + 19*h**2 + 16*h - 11. Is i(c) a multiple of 25?
True
Let a(q) = 74*q - 116. Does 25 divide a(3)?
False
Does 6 divide 4*(1 + 410/20)?
False
Suppose 260 + 54 = 5*z - 2*g, 3*z + g = 184. Let d = -40 + 29. Let l = d + z. Is l a multiple of 17?
True
Suppose u - 8 + 11 = 0. Does 15 divide (-114)/(u/((-12)/(-8)))?
False
Let j = 7 - 13. Does 22 divide (-44)/(((-21)/j)/(-7))?
True
Suppose -3*q - q + 1872 = 0. Suppose -2*o + 5 = -3*o, -q = -4*s - 4*o. Is s a multiple of 12?
False
Suppose 7 = 3*t - 2*t. Let b be (t - 53)*1/(-1). Suppose 4*g - b = 146. Is g a multiple of 24?
True
Let h(v) = v**3 + 14*v**2 + 19*v - 3. Let d be h(-9). Let c = d - 151. Is 8 a factor of c?
True
Suppose s - 4 - 1 = 0. Let w = 14 - 34. Is 4 a factor of s/(-2)*112/w?
False
Let a(y) = -41*y - 3. Is a(-1) a multiple of 13?
False
Is 20 a factor of (16/12)/(2/396) - 4?
True
Suppose -3*k + 45 = -60. Let f = 36 + k. Is f a multiple of 4?
False
Let a = 1 - 5. Let t be a*5 + 8/8. Let k = t + 67. Does 18 divide k?
False
Does 58 divide -153*295/(-15) + 7?
True
Suppose 3*l = -v + 528, -4*v + 2*l + 650 = -1406. Is v a multiple of 8?
False
Is 11 a factor of 1/(6/20 - (-2166)/(-7245))?
False
Is 4756/14 + 10/35 a multiple of 17?
True
Suppose 4*r + 5*q - 25 = 0, 5*r + 14 = 5*q - 11. Suppose -2*x + 1 - 3 = r, n - 5*x - 18 = 0. Does 4 divide n?
False
Suppose -4*u = -6*u + 306. Suppose -u = -2*r + 5*q + 14, 4*q + 460 = 5*r. Does 16 divide r?
True
Let t(y) = -y**2 + 4*y - 6. Let h be t(7). Let q = 8 - h. Does 7 divide q?
True
Let u = 170 - 120. Is (u/(-20))/((-1)/2) even?
False
Let o(h) = 3*h - 36. Let g be o(13). Let d(k) = 5*k + 1. Is d(g) a multiple of 4?
True
Let c be 0*(-1)/((-7)/(14/4)). Suppose 5*s - 502 = x - 4*x, 3*x + s - 506 = c. Is 15 a factor of x?
False
Suppose -2*c - f - 15 = 4*f, -4*c + 2*f = -30. Suppose -m - c*d + 2 = 0, -2*m - 1 + 5 = -5*d. Does 4 divide (m/(-3) - 0)*-6?
True
Suppose 0 = -0*u - 5*u + 280. Suppose -4*s - d + 88 = 3*d, 2*s - 36 = 2*d. Suppose -g = -u + s. Does 18 divide g?
True
Let a = 2777 - 1759. Does 54 divide a?
False
Let z(q) be the second derivative of -19*q**3/6 - 5*q**2/2 - 5*q. Is z(-3) a multiple of 13?
True
Let t = 205 + 665. Does 10 divide t?
True
Suppose -4*p = 4*t - 72, 4*t + p - 106 = -t. Let l = 24 - t. Suppose 4*m - l*g = 2*m + 18, 0 = m + g - 5. Is m a multiple of 2?
False
Suppose -66*r + 61*r + 720 = 0. Is r a multiple of 4?
True
Let y(m) = -m**3 - 2*m**2 - 2*m + 35. Let q be y(0). Let d = 71 - q. Is d a multiple of 6?
True
Let p(w) be the first derivative of 2*w**3 - 4*w**2 - w - 12. Does 43 divide p(6)?
False
Let f(z) = -z**3 - 4*z**2 + 3*z - 6. Let d be f(-5). Suppose 4*c - 9 = 7, 3*c + 1428 = d*p. Suppose -102 = 6*u - p. Is u a multiple of 13?
False
Suppose 3 = 5*s - 2. Let f be ((-36)/14)/(s/(-7)). Suppose -f - 98 = -4*w. Does 10 divide w?
False
Let l = 6188 + -2476. Is 128 a factor of l?
True
Suppose 0 = 3*p - 4*n - 0*n - 707, 2*p = -5*n + 479. Let l = p + -158. Is l a multiple of 8?
False
Suppose 0 = -z + 9*z. Suppose 8*o - 215 - 425 = z. Is 12 a factor of o?
False
Let c be -6*22/(-20) + (-6)/(-15). Suppose -v = s - 8, s + 2*v = -c + 15. Is s a multiple of 8?
True
Let p(v) = 166*v + 1120. Does 16 divide p(14)?
False
Let c(m) = -m**3 + 5*m**2 + m - 2. Suppose 6*b = 2*b + 16. Is 18 a factor of c(b)?
True
Suppose -r - 29 = -s, -5*s + 7*r + 135 = 4*r. Let y be (-2)/(-6)*s/4. Suppose -2*k + 23 = k + 2*j, y*j = -4*k + 28. Is 5 a factor of k?
True
Let v(d) = -d**2 - 4*d. Let m be v(-5). Let n be 3/1 + 4 + m. Suppose 3*h - 61 = n*h. Is h a multiple of 18?
False
Does 83 divide (-4 + 6 + -3)*-309?
False
Suppose -7 = -4*s + 17. Let q = s + -4. Suppose 5*p - 303 = 4*x, 0 = -q*p + 3*p + 3*x - 72. Does 18 divide p?
False
Let v(j) = -j**3 + 5*j**2 - 2*j - 5. Let s be v(4). Let y be (-15 + 12/4)/(30/(-20)). Suppose -4*k + 44 = 4*x, 23 = s*x + y. Is 6 a factor of k?
True
Suppose -5*c - 10 = -10*c. Suppose 0 = 2*q + c*k - 5*k - 25, -3*q - 2*k = -