= -13*v + 168. Let w be (-66)/55*15/(-2). Does 17 divide f(w)?
True
Let m be 150/(-375) - ((-81486)/5)/3. Is (-54)/(-63)*m/6 a multiple of 17?
False
Suppose -7*r + 1519 - 11151 = 0. Let j = -572 - r. Is 12 a factor of j?
True
Let j be 44/3 + 44/33. Suppose -5*z = -j*a + 11*a - 4145, 4*z - 2*a - 3326 = 0. Is z a multiple of 8?
False
Let u = 71 + -70. Let a(t) = 19*t**2 - t. Does 2 divide a(u)?
True
Let c(x) = 2*x**2 - 27*x + 34. Let o(t) = 4*t**2 + 1. Let p be o(-2). Let h be c(p). Suppose -2*y + h = -39. Is 16 a factor of y?
True
Let t = 49 - 44. Suppose 0 = -5*b + 5*h - 25, -5*b + 5*h = -4*b + t. Is 6 a factor of (b - -8) + (-2)/(-1) + 30?
False
Let a(k) = k**3 + 25*k**2 + 32*k - 25. Let o(f) = -f**3 - 25*f**2 - 30*f + 27. Let w(u) = 2*a(u) + 3*o(u). Let m = 30 + -54. Is w(m) a multiple of 6?
False
Suppose 3*u - 772*s + 777*s = 106730, s = -4*u + 142267. Is u a multiple of 15?
True
Let g(k) = -6*k**2 - 85*k. Let f be g(-19). Let z = 130 - f. Is z a multiple of 48?
False
Let k = -456 + 476. Is 10 a factor of (k*28/35)/(4/10)?
True
Let i be (6/(-18))/(1/(-3)*1). Let s be (i*(-2)/(-6))/((-1)/(-501)). Let f = -109 + s. Is 8 a factor of f?
False
Suppose -66*x - 200044 = -152*x + 26394. Is x a multiple of 2?
False
Suppose 26089 - 106091 = -17*l. Suppose -l = 17*f - 33317. Is 16 a factor of f?
False
Is 3*(0 - (-9889)/33) even?
False
Let u = -4148 + 8036. Is 27 a factor of u?
True
Suppose 3*g = -c + 94, 2*c - 185 = -5*g + 6*c. Let v = g + -23. Suppose 5 + v = 3*n. Is n a multiple of 5?
True
Let l(f) = 4*f + 3. Let r be (15/(-9))/(1 + (-20)/15). Does 4 divide l(r)?
False
Let y = -1801 + 2379. Is y a multiple of 14?
False
Let k be 208/(-364) + (-2902)/(-7). Is 28 a factor of -4 + (-13)/((-78)/k)?
False
Suppose -143*d + 52788 = -131*d. Is 83 a factor of d?
True
Let y(l) = l**3 + 6*l**2 - 10*l + 10. Let g be y(-7). Let i = 413 - g. Is 15 a factor of i?
False
Let x(h) be the second derivative of 4*h**3/3 - 13*h**2/2 - 6*h. Let k be x(5). Suppose k + 363 = 3*m. Is 16 a factor of m?
False
Let d be 0/(5 - 2) - -51. Let z(k) = -k**3 + 31*k**2 - 27*k - 87. Let o be z(30). Suppose 5*g = 5*h - 195, -o*g = -h - 8*g + d. Does 16 divide h?
False
Let q(k) = k**2 + 7*k - 7. Let g be q(-8). Let l be ((-3)/9)/(g/6). Is (l/5)/(((-33)/390)/11) a multiple of 14?
False
Suppose -879 = -53*u - 84. Let a(c) = -c**2 + 15*c**2 + 18*c - c**3 - 12 + 35. Does 20 divide a(u)?
False
Let m(r) = -23*r + 5*r - 11568 + r**2 + 11553. Let h(u) = u + 11. Let l be h(8). Does 3 divide m(l)?
False
Let f(o) = 20*o**3 - 5*o**2 - 39*o + 92. Does 3 divide f(2)?
False
Let o be (312/(-65))/((-2)/10). Suppose -o = 5*x - 59. Does 25 divide (4 - 3) + (0 - x*-5)?
False
Suppose 29*b - 30*b = -4*d + 5, 0 = 5*b - 5*d - 20. Is 3 - (5 - 103)/b a multiple of 5?
False
Suppose 247*b = 253*b - 6. Is b/(-6) - (-5162)/12 a multiple of 30?
False
Let d = 129 + -241. Let i = 118 + d. Suppose -340 = -i*l - 4. Is 11 a factor of l?
False
Let y(p) = -p**3 + 2*p**2 + 6*p + 12. Suppose 0 = u - 10 - 7. Suppose 4*t + u = 3*z, 19 = -5*t - 2*z - 8. Does 24 divide y(t)?
False
Is 21 a factor of (-9*2/(-27))/3 - (-178491)/27?
False
Suppose -2*i + 117 = 5*z, 4*i = z - 0*z - 41. Suppose -4*l + z = 65. Is (l/8)/(11/(-748)) a multiple of 25?
False
Suppose 15162 - 7012 = 5*j - 9630. Is 47 a factor of j?
False
Let j(t) = -2*t**3 + 3 - t**2 - 2*t**2 + 4 - 6 - t. Let b be j(-1). Suppose -f + 23 = -b. Is f a multiple of 14?
False
Let p(k) = k**3 + 16*k**2 - 41*k - 23. Suppose -2*n = n + 5*v + 62, -n = -3*v + 2. Is p(n) a multiple of 19?
False
Let a(q) = -q**3 + 2*q**2 - q + 30. Let z be a(0). Does 43 divide (40/z)/(-3 - 2938/(-978))?
False
Suppose -z + t + 84 = 4*t, 2*z = 2*t + 208. Let j = -96 + z. Suppose 4*p - 592 = -j*l, p = l - 0*p - 188. Is l a multiple of 8?
True
Let f be 76/18 + 14/(-63). Suppose 5*g = f*g. Suppose g = -3*b - 2*z + 214, -6*b - 5*z = -b - 360. Does 5 divide b?
True
Suppose -112 = 9*u - 634. Let x = u + -52. Suppose 7*y - 27 = x*y. Is 27 a factor of y?
True
Suppose 7*y + 430 = 1620. Let l = -19 + y. Is 10 a factor of l?
False
Let s(b) = -b**3 - 12*b**2 - 2. Let x be s(-12). Let n be (-3)/(3/(-7)) + (x - 2). Suppose n*m = 7*m - 164. Is m a multiple of 6?
False
Let r(o) = -o**2 - 24*o - 152. Let z be r(-13). Let u(w) = -w**3 + 8*w**2 + 25*w - 22. Does 53 divide u(z)?
False
Let y = -217 - -150. Let t = y + 59. Let a(o) = o**3 + 9*o**2 + 7*o + 7. Is a(t) a multiple of 9?
False
Let n(t) = 7*t + 48. Let b be n(-5). Suppose -b*q + 699 = -211. Is q a multiple of 5?
True
Suppose -11*a + 10396 = -21086. Is 14 a factor of a?
False
Let d(a) = -96*a + 18. Let b be d(-5). Suppose 23*n = 20*n + b. Is ((-52)/(-16) - 3) + n/8 a multiple of 7?
True
Let m(o) = 27*o**2 - 24*o - 5. Let h be 20 + -13 - (-3 + 1)/(-1). Is 5 a factor of m(h)?
True
Let b(n) = -457*n + 189. Is 150 a factor of b(-15)?
False
Suppose -40*q = -44*q + 8. Suppose 0 = -q*a + 406 + 166. Is a a multiple of 22?
True
Let g be 0 - 16/4 - (-143 - -1). Let f = g - 106. Does 32 divide f?
True
Let w = 125 + -75. Let h = -45 + w. Does 2 divide (h/(-15))/(2/(-78))?
False
Let n = 9559 + -617. Does 8 divide n?
False
Let p(b) = 18*b + 14. Let w be 35/7 + -1 + (-3 - -6). Let u be p(w). Suppose u = 5*r - 3*r. Is 5 a factor of r?
True
Suppose 0 = -5*r - 5*k + 520, -r + 0*r + 96 = 5*k. Suppose -162 = -2*p + 4*f, 5*f = -3*p + r + 126. Suppose -m + 2*m - p = 0. Is m a multiple of 24?
False
Let l(r) = -r**3 + 7*r**2 - 5*r + 1. Let u be l(6). Suppose u*s - s = 144. Suppose -q = -4*j + 75, -j + s = -0*j - 2*q. Does 9 divide j?
True
Suppose 2*g = -3*l + l + 20, 0 = 4*g + 3*l - 38. Let j(m) = m**3 - 3*m**2 - 10*m + 20. Let u be j(g). Suppose 0 = -t - t + u. Does 26 divide t?
True
Suppose 6*j - 35*j = 11*j - 799240. Does 13 divide j?
True
Let t(s) = 4*s**2 + 3*s + 25. Let x be t(-7). Let g = -31 + 33. Suppose 1 = -g*i + 9, 2*p - 2*i = x. Does 8 divide p?
True
Suppose d - 48 = -3*d. Let r be 0 + (-95)/(-30) + (-2)/d. Suppose 2*o - r*o + 60 = 0. Is o a multiple of 10?
True
Suppose -12 = -3*i, -i - 117 = -d + 47. Suppose -j + 318 = -2*p, -p + 2*p = -4*j - d. Let x = p - -298. Is 23 a factor of x?
True
Suppose -38 = 4*a + 4*h + 70, 5*a - h + 147 = 0. Let f(y) = -5*y - 14. Let m be f(13). Let d = a - m. Is d a multiple of 19?
False
Suppose 61390 = 95*q - 1463961 - 1300899. Does 119 divide q?
True
Let j be 7 + (-5)/((-30)/12). Let v(t) = t**3 - 5*t**2 - 16*t + 25. Is 13 a factor of v(j)?
False
Let c be (-1)/(-5) + (-361)/(-95). Suppose 0 = -c*b - 2*d + 18, -b = -2*d - 2*d + 18. Suppose b*p - 31 - 25 = 0. Does 4 divide p?
True
Let t = -50 - -86. Let k = t - 32. Suppose -k*a - 16 = -o, 9 = o - 2*a - 5. Is 3 a factor of o?
True
Is ((2988/30)/(-1))/(30/800*-1) a multiple of 16?
True
Let b(q) = 37*q + 10764. Let c be b(0). Is 15/(-12)*c/(-23) a multiple of 65?
True
Let s = -4 + 7. Let r be 8/s - 8/12. Suppose 0 = -r*p + 45 + 51. Is 18 a factor of p?
False
Let u(z) = z**3 + 6*z**2 - 14*z + 12. Let i be u(-5). Suppose -1001*v + i = -1000*v. Does 21 divide v?
False
Does 11 divide (-19)/((-342)/(-12))*-3 + 2077?
True
Suppose -4*b = -20, -2*o - 2*o + 2*b = -10. Suppose 2*g + d = -4, -3*g - 2 = o*d - 3. Is 14 a factor of ((-28)/(-10))/((-1)/5)*g?
True
Let u(v) = -1960*v - 2268. Does 114 divide u(-15)?
True
Let s(f) = -53*f + 0*f**3 + 15 - 6*f**2 + 48*f + f**3. Let v be s(8). Let g = -52 + v. Does 17 divide g?
True
Suppose -3*j + 0*l - 239 = -l, 5*l = 10. Let t = -7 - j. Suppose 2*h + p - 75 = -0*p, -2*h + t = 2*p. Is 13 a factor of h?
True
Let x = 64 - 59. Suppose -x*c + 2 = -8. Is 131 - ((c - 1) + -3) a multiple of 19?
True
Suppose -5*o = -23 + 3. Let k be 2/4 - (-10)/o. Suppose 4*m - k*m = 47. Is 7 a factor of m?
False
Let m(f) = -13*f**3 + 7*f**2 - 71*f - 384. Is 5 a factor of m(-5)?
False
Let f = -1374 + 11222. Is 53 a factor of f?
False
Let g be (2*-1 - (-10 - -2)) + -219. Let s = g + 578. Is s a multiple of 6?
False
Suppose 3*b - 15*b - 67913 = -181061. Does 99 divide b?
False
Suppose -3*p + 16 = -4*g, 0 = -2*p + 4*g + 12 - 0. Suppose 742 = p*s + w, 4*s - 4*w - w - 754 = 0. Suppose 7*k - s = 3. Does 11 divide k?
False
Let j(b) be the third derivative of -23*b**4/24 - 13*b**3/2 - 3*b**2 + b. Is j(-3) a multiple of 9?
False
Let p = 62 - 60. Let f(r) = -15 - r**2 - r**p + 3*r**2 - 3*r + 20. Is 3 a f