*w**2 - 12*w + 11. Let f = -15 - -16. Does 15 divide g(f)?
False
Let s(u) = 2*u**2 - 2*u - 6. Let a be s(-3). Suppose a*v - 19*v = -306. Suppose 3*n + 294 = 3*f, -2*f - 3*n = f - v. Does 20 divide f?
True
Suppose -2*a = -1068 - 730. Suppose 6*h - h - 3145 = 0. Let x = a - h. Is 45 a factor of x?
True
Let f be (-3)/6*(-13 + 6/2). Suppose -664 = -f*s - 2*r + 4*r, 2*r = -4. Suppose 5*i = -5*a + s + 38, -4*i + 100 = 3*a. Is 18 a factor of a?
True
Suppose -70*b = -71*b - 6. Let d be (-5 - 1)/(-18) + (-952)/b. Suppose -7*j + d = -338. Is j a multiple of 4?
False
Let a(p) = 2*p + 12. Let j(o) = o**2 + 13*o + 40. Let r be j(-9). Is 4 a factor of a(r)?
True
Let o = 715 + -713. Is 4 a factor of (-3 - (-4824)/33) + o/(-11)?
False
Let w(o) = -3 + 145*o - 18*o**2 - 2*o**3 - 116*o - 1. Does 8 divide w(-12)?
True
Let a(c) = -c**3 + c**2 + c + 20. Let r be (0/(-1))/(-1*(-3 + 0)). Let y be a(r). Let m = y + 160. Is m a multiple of 18?
True
Suppose 0 = -3*q + 12*v - 8*v + 20490, 0 = -5*q - 3*v + 34208. Is q a multiple of 26?
True
Is (-57 + 54)/(3/(-773)) a multiple of 5?
False
Suppose -15*y - 15945 = g - 11*y, -79615 = 5*g - 2*y. Is 13 a factor of (16/5)/((-70)/g)?
True
Let k(i) = i**3 + 7*i**2 - i - 12. Let m = 18 - 25. Let p be k(m). Let s(r) = -r + 12. Is s(p) a multiple of 11?
False
Suppose 1 = s - 7. Suppose -s*w = -3*w - 90. Let r = 8 + w. Is r a multiple of 13?
True
Let u(a) = 9*a + 347. Let k be u(7). Let s = -173 + k. Does 8 divide s?
False
Is 15 a factor of -3 + -98*(-8 + (6 - (-2891)/(-14)))?
True
Suppose 0 = 6*j + 54 + 36. Is (1 + (-3)/j)/(12/210) a multiple of 6?
False
Suppose 3*m + 4*v - 840 = 0, -1718 = -4*m + 5*v - 598. Suppose -m = -5*k - 2*z, 5*z - 18 = 2*k - 101. Is k a multiple of 54?
True
Suppose -t - t = 2*z - 12, -t - 3*z = -10. Suppose 4*k - 4*f - 162 = -6, -96 = -3*k - t*f. Suppose -2*r = -r - k. Is r a multiple of 4?
True
Let q(k) = -3*k**2 + 7*k - 16. Let j be q(4). Does 15 divide j/(4 - 126/30)?
True
Let p = 4509 - -9. Does 15 divide p?
False
Let t(l) = 109*l**3 + 4*l**2 - 12*l + 21. Let r be t(3). Suppose 546 = 13*c - r. Is c a multiple of 6?
True
Let f = -281 - -140. Let v = f - -381. Is v a multiple of 7?
False
Let x = -66 - -78. Suppose -11 = -a - 4*h, 2*h + x = 2*a + 5*h. Suppose -a*w + 120 = 3*i, -2*w = 3*i - 7*i - 80. Is 5 a factor of w?
True
Suppose 0 = -2*h + 315 - 23. Suppose 3*k + 57 = -3*m + 510, 4*m + h = k. Is 44 a factor of k?
False
Let m be 1*4*(-138)/(-8). Let y be (-6)/21 - m/(-21). Suppose y*w + 452 = 7*w. Is w a multiple of 25?
False
Let r(c) = c**2 + 2*c + 40. Let s be r(18). Suppose s = -28*v + 33*v. Is 7 a factor of ((-138)/8)/((-20)/v)?
False
Let x(d) = 125*d**2 - 96*d + 1060. Is 40 a factor of x(10)?
True
Let q be 485/15 + 1/(-3). Let b = q + -25. Let d(p) = 2*p**2 - 12*p - 8. Does 6 divide d(b)?
True
Let m = 2924 + 7194. Is m a multiple of 88?
False
Suppose -4 = 2*r - 4*r - 2*i, -r = 5*i - 6. Let j be (1 - -15)*r/2. Suppose -g + 45 = -5*q, j*q - 3*q = -5*g + 105. Is g a multiple of 5?
True
Let v(p) = -15*p - 46. Suppose -9*x + 7 = -10*x. Is v(x) a multiple of 59?
True
Suppose 2*r = -2*f + 2964, -5*r = -2*f + 3662 - 691. Let t = -842 + f. Is t a multiple of 21?
False
Suppose 2*m = -4*d + 20210, 0 = 2*m - 5*d + d - 20250. Is 27 a factor of m?
False
Let r(u) = -u**2 + u + 1. Let g be r(3). Let q be (4 - 66/15)*g. Let f(p) = 4*p**2 + p - 4. Does 7 divide f(q)?
True
Let u(y) = -13 - 11*y + y**2 - 12*y - 6. Let l be (61 + -9)*1/2. Does 7 divide u(l)?
False
Suppose -2*c + 5*f = 3*f - 6, -4*f - 12 = -2*c. Suppose c = -8*i + 2*i + 36. Is -8*(441/i)/(-7) a multiple of 28?
True
Suppose -4*d - 6*r + 60489 = -r, 4*d - 60482 = 2*r. Does 89 divide d?
False
Is (9695/831)/(-1*1/(-594)) a multiple of 66?
True
Let i(d) = -55*d + 960. Is i(15) a multiple of 5?
True
Suppose -11*d - 3*o - 1449 = -8*d, -5*o - 1936 = 4*d. Let x = -342 - d. Is 3 a factor of x?
False
Is (-2 + -1)*(-14)/(126/11085) a multiple of 50?
False
Let t be (9 - 2)*18/9. Let c = t - -50. Does 6 divide c?
False
Let f = 167 + -165. Suppose f*h - 87 = 3*l, -2*h + 29 = -4*l - 57. Does 15 divide h?
True
Let z be (1 - (-50)/(-1))/1. Does 30 divide 2/(-7) - (2 + 16282/z)?
True
Let h be (48/(-10))/(4/(-20)). Suppose 3*f = 0, 2*w + h = 5*w + 3*f. Suppose 5*y = 348 - w. Is y a multiple of 8?
False
Suppose -5*t + 3*k + 10050 = 0, -51*k = 2*t - 47*k - 3994. Is 96 a factor of t?
False
Let l(d) = 81*d + 15. Let z be l(13). Let g = -628 + z. Does 22 divide g?
True
Let p = 62 + -41. Suppose 3528 = p*m - 567. Does 15 divide m?
True
Suppose 0 = 5*g + 4*h + 24, -5*g + g = -3*h + 44. Let f(v) = 2*v**2 - 10*v + 7. Let p be f(g). Let b = p - 150. Is b a multiple of 9?
False
Let b(m) = 160*m**2 - 412*m - 2070. Does 15 divide b(-5)?
True
Suppose -50 = 2*y - 54. Suppose -15 = -y*q + 517. Is q a multiple of 38?
True
Let f(s) = -s**3 + 8*s**2 - 26*s - 89. Is f(-12) a multiple of 29?
True
Let y(r) = r**3 + 8*r**2 - 4*r + 16. Let d be y(-8). Suppose -2*j + d = g, 4*g + 3*j + j - 196 = 0. Is 10 a factor of g?
True
Let v be 4*2372/64 + (-1)/4. Let d = v - 244. Does 8 divide 8/(-12)*(d - 0)?
True
Suppose -5*z + 18 = 8. Does 22 divide 41*(-42)/(z + -9)?
False
Let j(b) be the first derivative of -3*b**2 + 61*b + 105. Does 8 divide j(-27)?
False
Let g(v) = 13*v**2 - 2*v - 1. Let o be g(-1). Let x be (o - 17) + (1 - -1). Is x*(-41 + 1 + 4 + -7) a multiple of 12?
False
Suppose -5 + 9 = -2*j. Let i be 1 + -1 + j + 4. Suppose -41 + 3 = -i*c. Is 4 a factor of c?
False
Let u = 23 - 43. Let t be ((-6)/4)/((-10)/u) - 1. Is 4 a factor of t/(-4)*1 - -19?
True
Let s = 49 + -81. Let i be 3 + -95 + s/8. Let t = i + 300. Is 27 a factor of t?
False
Suppose 46*q = 111660 - 19292. Is 10 a factor of q?
False
Suppose -1511 = -4*z + u, 0 = 4*z - 2*u - 720 - 794. Let p = z - 276. Is 9 a factor of p?
False
Suppose -7*w + 719 = -618. Let f = 737 + w. Does 32 divide f?
True
Suppose 104*f - 60712 = 520171 - 15435. Is f a multiple of 4?
False
Suppose 4*z - 60 = -3*g + 5*g, -3*g - 60 = -4*z. Suppose -573 = -z*i - 18. Does 7 divide i?
False
Let b(i) be the first derivative of 2*i**2 + 29*i + 21. Let k be b(-6). Suppose -k*j + 820 = -4*w + 8*w, 3*j + w = 499. Does 42 divide j?
True
Suppose 82*f - 48252 - 208159 = 42233. Does 61 divide f?
False
Let o(s) = s**2 + 20*s - 30. Let i be o(-35). Suppose -12*l + i + 1689 = 0. Is 91 a factor of l?
True
Let l(a) = a**2 - a - 32. Let r = -108 + 115. Let f be l(r). Suppose f*u - 50 = 5*u. Is 6 a factor of u?
False
Let n = -4149 + 5786. Is n a multiple of 4?
False
Let q be 4*(-2 + -7)*(-156)/9. Suppose r - q = 3*l, 13*r = 10*r + 4*l + 1867. Does 69 divide r?
True
Let n(m) = 16*m**2 - 60*m + 24. Let o be n(4). Let w = 82 - 4. Suppose 0 = -43*b + o*b + w. Is 12 a factor of b?
False
Suppose 3*o - 21 = -2*g, -2 + 1 = -2*o + 3*g. Let y be -3*(1360/(-30) - 2/2). Suppose -y = -4*z - 0*k - k, -k = -o*z + 185. Is z a multiple of 12?
True
Let t(v) = v**2 - v - 1. Let b(l) = -l**2 + 2*l + 2. Let r(w) = 4*b(w) + 5*t(w). Let z be r(-1). Is 18 a factor of (40 + z)/1 - (-39)/13?
False
Suppose 5*u - 309 = 2*v + 6, -5*v + 63 = u. Is 2 a factor of u?
False
Suppose -4*h + 15903 = 3*w, 0 = -0*h + 6*h + 54. Is 15 a factor of w?
False
Let a(m) = m**3 + 13*m**2 + 13*m + 15. Let n be a(-12). Suppose -10*l = i - 13*l - 85, -3*i - n*l = -291. Is i a multiple of 8?
False
Does 167 divide (-7 + 6 + 8 - 2) + 6174?
True
Let w(h) = 2*h**2 - 3*h**2 - 107 + 108 - 7*h. Let m be w(-6). Suppose 2*d - 3 - m = 4*r, 49 = 5*d - 2*r. Does 9 divide d?
False
Suppose -v + 5 = -2. Let f(c) = -53 + 9 + 11 + 20*c + 4 + 15. Is 30 a factor of f(v)?
False
Let q(m) = -4 - 3 + 3 + 12 + 322*m. Is q(1) a multiple of 54?
False
Let g(w) = -115*w - 17. Is 173 a factor of g(-16)?
False
Let v be (1/(3/(-21)))/1. Let k be 2/v + 48/(-28) - -2. Suppose k = a - 2*a + 58. Does 29 divide a?
True
Is 37 a factor of (71937/12)/(2875/100 - 28)?
False
Let v(o) = 187*o + 888. Is 199 a factor of v(14)?
False
Let f(s) = 2*s**3 - 18*s + 114. Is f(19) a multiple of 50?
False
Suppose 6*k = 3*k - h + 43, 0 = 3*k - h - 53. Suppose -48 = -t - k. Is 8 a factor of t?
True
Let d be (-3 - (8/(-3) - 1))*3. Let y(l) = l**3 + 4 - 81*l**2 + 0*l + d*l + 86*l**2. Is 4 a factor of y(-4)?
True
Let w(r) = 36*r**2 - 151*r - 1710. Does 102 divide w(-13)?
False
Suppose 12*u -