 7 - (3/(-1) + 7). Suppose 8*o - 415 = w*o. Let n = o - 6. Is n a multiple of 22?
False
Let n(p) = -13*p - 7*p + 3*p**2 - 5*p - 36. Is n(18) a multiple of 36?
False
Suppose -8*u = -9964 - 5700. Suppose 5*m - 2*m = 2*c - u, 2*m = -2*c + 1938. Is 7 a factor of c?
True
Let s(b) = b**3 - 2*b**2 - 22*b. Let h be s(6). Suppose -h*c = -2*c - 2380. Is c a multiple of 34?
True
Let b(x) = 14*x + 18*x - 144 + 4*x**2 - 7*x. Is 89 a factor of b(6)?
False
Suppose 0 = 4*w + 9*k - 12*k + 570, -5*k = 3*w + 413. Let j = 152 + w. Is j a multiple of 4?
False
Suppose o = 2*v - 14, -21 - 14 = -3*v + 5*o. Suppose 0 = n, -v*p = -n + 6*n + 195. Is (13/p)/(1/(-243))*1 a multiple of 9?
True
Let p = 8885 + -5509. Is 22 a factor of p?
False
Let g(m) = 332*m - 1500. Is g(8) a multiple of 39?
False
Let j(n) = n**3 - 9*n**2 - 19*n - 8. Let q be j(12). Is (2 - 30/(-35))/(8/q) a multiple of 14?
True
Suppose 4 - 52 = 3*j. Is (-2385)/(-60)*j/(-3) a multiple of 9?
False
Let k be 210/(-42) + 1 + 9. Suppose 17 = u - 2*o, -k*u - 2*o + 65 - 16 = 0. Does 9 divide u?
False
Let q = -291 - -296. Suppose -5*d + 9444 = -u, u = 7*d - q*d - 3780. Does 16 divide d?
True
Does 42 divide (-1247920)/(-1292) + ((-53)/(-17) - 3)?
True
Suppose 7*g = -2 + 16. Suppose 992 = g*m - 126. Let l = m - 361. Is 33 a factor of l?
True
Let k(j) = -364*j + 332. Is k(-24) a multiple of 11?
False
Is 6 a factor of (-10637)/(-3) + -3 + 65/15 + -1?
True
Suppose 2*n + 0 = -10, 2*h - 3997 = 5*n. Suppose 2*k = -3*p + 354 + h, -2*k = p - 776. Does 23 divide p?
True
Is 472864/30 - (-7 + (-1926)/(-270)) a multiple of 142?
True
Let w(r) = -3*r + 42. Let l be w(14). Let a be 4/16*4*(l - -1). Is 28/4 + 2 + 4/a a multiple of 2?
False
Let i(m) = 0*m + 10*m + 5*m + 7*m - 2*m + 5. Suppose -2 = l - 3. Is 11 a factor of i(l)?
False
Let l be 5835 - (-6)/21*-14. Suppose 45*u - l = -2141. Is u a multiple of 3?
False
Let k(u) = -u**3 + 37*u**2 + 144*u + 102. Does 58 divide k(25)?
False
Let f = -22 + 16. Is 17*1/((-6)/f) even?
False
Let c(y) = 8*y + 179. Let v be c(0). Suppose -2*x + 1125 = -v. Does 34 divide x?
False
Suppose -301*s - 174160 = -311*s. Is s a multiple of 13?
False
Suppose 2*i - 55 = 3. Let v(q) = -q**3 + 25*q**2 + 26*q + 30. Let h(s) = 2*s**3 - 49*s**2 - 53*s - 61. Let g(b) = -3*h(b) - 7*v(b). Is 49 a factor of g(i)?
True
Let g be (-4)/18 + 11224/(-36) + 1. Let i = 375 + g. Does 18 divide i?
False
Is 7 a factor of (5177 + -1)*147/84?
True
Let d be -1*(-1)/((-1)/6). Let w(a) = -2*a - 9. Let c be w(d). Let m(y) = -y**2 + 5*y + 5. Does 11 divide m(c)?
True
Let j = 33001 - 15001. Is 36 a factor of j?
True
Suppose -4 = -5*i + 4*x + 33, -2*i - 2*x = -4. Suppose -i*j + j = -476. Is 21 a factor of j?
False
Let q be -1 + -16*(-150)/4. Suppose 5*m = 4*u + 742, -3*u = 4*m - 8*u - q. Let o = -38 + m. Is o a multiple of 12?
True
Suppose 2 = -5*k + l + 12, 3*k + 2*l - 6 = 0. Let a be k/(-12) - (-7)/6. Is 10 a factor of (-5 - -8)/(a/30)?
True
Suppose 4*t = -6*y + 135312, 5*y = -2*t + 26765 + 40875. Is 94 a factor of t?
True
Let q = -201 + 214. Suppose 5*l = q*l - 1096. Is 5 a factor of l?
False
Suppose 10556*n - 367794 = 10538*n. Does 139 divide n?
True
Does 14 divide (-3355)/(-10) + (-63)/42?
False
Let f(y) = 90*y + 135. Let h(p) = 3. Let a(m) = f(m) - 3*h(m). Is a(7) a multiple of 12?
True
Let l(d) = 1303*d - 634. Is 131 a factor of l(3)?
True
Let o be (2 - 29)*(-2)/6. Let s(g) be the second derivative of g**4/12 - 5*g**3/6 - 13*g**2 + 9*g + 3. Does 3 divide s(o)?
False
Let j(w) = 3*w - 23. Let s be j(9). Suppose -15 = 5*l - s*l. Is 51 - (l/(-5))/(2 - 1) a multiple of 16?
True
Does 19 divide 6644 - (27/6 - 42/84)?
False
Is (-200)/16*768/(-20) a multiple of 12?
True
Let t = 53 + -50. Suppose 14 = -0*x + 5*x - 3*p, t*x - 22 = -5*p. Suppose 0 = -0*o - x*o + 408. Is o a multiple of 17?
True
Suppose -s + 23 = 21. Suppose -5*k - 3*j - 32 = -0*j, -s*j - 12 = k. Does 14 divide k*(-5)/(-10) + 5*11?
False
Let s = 53 - 48. Suppose -s*c = c - 18. Suppose 0*q = c*q - 42. Does 7 divide q?
True
Let d = -5 + 67. Suppose -2*q = -2*k - 10 - d, -q + 2*k = -31. Is q a multiple of 5?
False
Suppose 9020 = 24*t - 36004. Is t a multiple of 10?
False
Let g(t) = 5*t**3 - t**2 + t - 1. Let a be g(1). Suppose -a - 21 = -5*x. Suppose -x*r + 5*h + 745 = 0, h - 4*h = 4*r - 589. Is r a multiple of 30?
False
Let r(t) = -t**3 + 10*t**2 + 4. Let f(p) = -p**3 + 7*p. Let l be f(-4). Suppose -9*z = -13*z + l. Does 24 divide r(z)?
False
Let s(o) = 66*o**2 - 18*o + 46. Let h be s(3). Let x = h - 238. Does 12 divide x?
True
Let m = 1398 - -2689. Is 17 a factor of m?
False
Suppose 5*d - 15890 = 14745. Does 19 divide d?
False
Let k(v) = -167*v - 15. Let z(x) = x**2 + 9*x + 16. Let h be z(-6). Let m be k(h). Suppose 70*g - 69*g - m = 0. Is g a multiple of 29?
True
Suppose -2*f - y = -206, 6 = 4*y + 14. Let c = -144 - f. Let h = -135 - c. Does 5 divide h?
False
Suppose 35 = 5*v - 40. Suppose 0 = 5*k - v - 0. Suppose x = -k*d + 90, -2*d = 4*x - 2*x - 64. Is 14 a factor of d?
False
Suppose 41*s = -15*s + 3*s + 470693. Is 107 a factor of s?
True
Let m(c) be the first derivative of 35*c**2/2 + 5*c + 15. Let r be m(2). Suppose w - 227 = -r. Is 25 a factor of w?
False
Suppose 5*m - 425 = 265. Suppose -m = -d + 142. Suppose 0*g = -2*g + d. Is 21 a factor of g?
False
Suppose 824658 = 246*d + 70422. Is d a multiple of 14?
True
Let g(x) = 229*x**2 - 3*x + 2. Let q = -10 + 14. Let d be q - (-4)/(8/(-6)). Is g(d) a multiple of 19?
True
Suppose -13292 = -78*a + 2698. Suppose p = -5, -2*p - 560 = -3*u - p. Suppose -y + a = 3*q - 2*y, -3*q + u = -5*y. Is 14 a factor of q?
True
Suppose 0 = -9*l + 8*l + 3. Does 5 divide (10/25)/(l/(-15)) + 7?
True
Let i = 716 - 446. Suppose 6 = -86*a + 38*a - 2154. Let b = a + i. Is 13 a factor of b?
False
Let p = -3954 + 4583. Does 57 divide p?
False
Let f(w) = 5 - 4*w**2 + 1 + 10 - w + 5*w**2. Let x be f(0). Suppose x*n - 18*n = -174. Is 29 a factor of n?
True
Is 7 a factor of 17/(15848/932 + -17)?
False
Suppose 133*p - 114*p = 540778. Is p a multiple of 214?
True
Let t(w) = -7*w**3 - 3*w - 34 + 5*w**2 + 31*w**3 + 37. Does 11 divide t(2)?
True
Suppose -2*z - 66 = -5*z + 3*q, 3*z + 2*q = 56. Suppose 0 = 4*t + z, -5*w + 2703 = 5*t + 8. Does 34 divide w?
True
Let l be (2 + -19)/((-3)/102*2). Let y = l - -435. Is 23 a factor of y?
False
Let t(v) = v**3 - 38*v**2 - 79*v + 20. Suppose -33*j + 132 = -30*j - 4*z, -166 = -4*j + 2*z. Does 60 divide t(j)?
True
Is 15 a factor of (7 - (2/(-22) + 759/363)) + 7915?
True
Suppose 0 = -3*y + 19 + 11. Suppose 9*j - y = 17. Suppose 0 = -3*p - 2*r + 831, -j*p = -5*p - 5*r + 554. Is p a multiple of 46?
False
Suppose 0*t = -14*t + 10*t + 80. Is t a multiple of 2?
True
Let w be (-1 - 20/(-25)) + 302/10. Let u = -14 + w. Does 13 divide (-259)/(-4) - (-4)/u?
True
Suppose 0 = -p - q + 2, 5*q + 11 - 9 = p. Suppose 3*u - 980 = -u + 5*r, -2*r = p*u - 472. Does 30 divide u?
True
Is 30 a factor of (-23776)/(-11) - 672/(-1232)?
False
Suppose -15*o + 27013 + 47087 = 0. Is 20 a factor of o?
True
Is (-4 - 102)*(-927)/18 a multiple of 5?
False
Let v = -33 + 42. Let b be 1 - (v/3 - 5) - 0. Suppose 2*l - b*u = 65, 7*u = -4*l + 3*u + 140. Is l a multiple of 22?
False
Suppose -73*z + 290341 = 57544. Is z a multiple of 18?
False
Suppose 61*w - 25340 = 56*w + 4*l, 15206 = 3*w - 2*l. Is w a multiple of 185?
False
Let a = 204 - 128. Let g = a + -130. Let n = g - -86. Is n a multiple of 8?
True
Let o(p) = -1066*p - 1057. Does 27 divide o(-8)?
False
Let b(l) = -11 - 8*l - 79 + 19 - 75 - 38*l. Does 36 divide b(-34)?
False
Suppose 0 = -18*q + 13*q - 15. Is q/5 - (-20)/(-50)*-99 a multiple of 13?
True
Suppose -224 + 218 = -2*x. Suppose 0*j + x*j = 123. Is 5 a factor of j?
False
Does 75 divide ((-2)/10 - (-4157)/10)*(27 - 25)?
False
Let p(i) = -16*i - 33. Let m(w) = 2*w - 7*w - 6*w**2 + 1 + w**3 + 7*w. Let x be m(5). Is 37 a factor of p(x)?
False
Let d(c) = c**3 - 3*c**2 - 4*c + 31473. Is 23 a factor of d(0)?
False
Let y(a) be the third derivative of -5*a**4/6 - 55*a**3/6 - 16*a**2 + 2. Does 15 divide y(-5)?
True
Suppose 81 = -8*v - 87. Let w(h) = -2*h**2 - 54*h - 54. Is w(v) a multiple of 4?
False
Is 25 a factor of (-31095)/(-54) - -15*(-7)/126?
True
Let s(o) = 17*o**3 + o**2 + o + 2. Let k be s(-2). Does 13 divide ((-52)/6)/(12 + 1592/k)?
True
Let k(r