 = -200 + w. Is 2 a factor of x?
True
Let z = -181 - -161. Let p(n) = -n + 7. Is p(z) even?
False
Let j(p) = -2*p**3 - 44*p**2 - 4*p - 20. Let s be j(-21). Let g = s - -900. Is 3 a factor of g?
False
Let d(g) = g**2 + 14*g + 26. Let h = -82 - -70. Let j be d(h). Suppose 0*c = j*b - 2*c - 38, 5*b - 95 = 4*c. Is 10 a factor of b?
False
Let f(c) = c**3 + 39*c**2 - 204*c - 10. Does 29 divide f(19)?
True
Does 224 divide (-18)/27*-2*-3*-3221?
False
Let x be (-9)/(20/(-15) + (-1180)/(-912)). Let d = 655 - x. Is 15 a factor of d?
False
Suppose 3*t + 5*q - 13922 = 0, -t - 11*q = -16*q - 4674. Does 68 divide t?
False
Let g(w) = -31*w - 876. Is g(-39) a multiple of 2?
False
Suppose 227345 = 54*y - 265567. Is y a multiple of 84?
False
Suppose 7*y + 28*y - 735 = 0. Suppose -22*p = -y*p + 1, -4*p = 2*g - 674. Is g a multiple of 53?
False
Suppose 100 + 526 = 2*n - 2*r, n - 328 = -4*r. Is n/(-1422) + (10973/9 - -1) a multiple of 61?
True
Suppose 1 = -7*k + 50. Let m be k/2 - 3/6. Suppose -3*i + m*f = -183, 0*f + 94 = 2*i + 5*f. Is 12 a factor of i?
False
Suppose 5*z - 2*m - 137 = 0, -z - m + 45 = 3*m. Let o = z - -2. Let f = 193 - o. Is 18 a factor of f?
True
Let f(z) = -z - 3. Let r be f(-3). Suppose r = 5*a - 136 - 84. Suppose -31 - a = -3*h. Does 8 divide h?
False
Does 10 divide 11/((-1353)/6) + 8929332/492?
False
Suppose 2*z - 3*s - 4 = 0, 2*z - 2*s + 6 = -4*s. Let a be ((-3)/z)/(5/(-12935)). Does 11 divide 4/(-14) - a/91 - -3?
True
Suppose -15 = 8*z - 3*z. Let u(d) = 2*d**2 + 2*d. Let t be u(z). Suppose -t*y + 14*y = 28. Is 8 a factor of y?
False
Suppose 4*h - 14274 = 106*s - 107*s, 0 = 3*h - 3*s - 10728. Does 51 divide h?
True
Let d be 18/42 + 900/(-42). Let s = d - -97. Is s a multiple of 6?
False
Does 27 divide (81/(-36))/((-78)/1519336)?
False
Let c(o) = 8*o - 25. Let q(s) = s**2 + 20*s + 5. Let r be q(-20). Let y be c(r). Suppose 0 = w - 4*u - y - 3, w - 33 = u. Is 9 a factor of w?
False
Suppose -4*x + o = -152, 0 = -x - x - 2*o + 76. Suppose 0 = 12*p - 22 - x. Suppose -104 = -4*f + 4*r - 2*r, -p*f + 145 = 5*r. Does 7 divide f?
False
Suppose -4*m + 0 = 24. Let w(u) = -6*u**2 - 2*u + 13. Let q be w(m). Let x = 320 + q. Is 43 a factor of x?
True
Suppose 39*o - 7152 - 2364 = 0. Does 61 divide o?
True
Let p = -9449 - -12820. Is 4 a factor of p?
False
Suppose -8*t + 22 = -58. Suppose -720 - 330 = -t*q. Suppose 0*w - 5*w = -q. Does 3 divide w?
True
Suppose -10*q + 5*q + 13680 = 3*a, -2*q + 5472 = 2*a. Is q a multiple of 16?
True
Let l be (-60)/18*162/15. Let n be (-18)/l - 2/4. Let y(r) = r**2 - r + 113. Does 14 divide y(n)?
False
Let g(c) = -50*c**3 + 4*c - 8. Let k be g(-3). Let s = k + -776. Does 12 divide s?
False
Let m be 4/(-10)*(-1 + -3263 - 11). Let f = -911 + m. Is f a multiple of 28?
False
Suppose 27 = 13*s + 79. Let a(j) = -4*j**3 - 3*j**2 + 4*j + 18. Is a(s) a multiple of 70?
True
Suppose -104 = 4*n + 24. Let i be (-1)/(-3) - (3 - n/(-12)). Suppose 0 = 3*s + 15, 5*x + i*s = s + 275. Is x a multiple of 6?
True
Let g be 1*(-4)/(-2) + (482 - 3). Suppose -2208 = g*h - 487*h. Does 3 divide h?
False
Let y = -53813 + 91859. Does 17 divide y?
True
Suppose -4*t + 13368 = 70*x - 71*x, -4*x + 3325 = t. Is t a multiple of 24?
False
Let p = 52 - 4. Let d = 54 - p. Suppose 0 = -d*z - 26 + 194. Does 7 divide z?
True
Let g = -503 + 352. Let u = g - -350. Does 10 divide u?
False
Suppose 0 = i - 3, 5*x + 194*i - 33563 = 193*i. Does 4 divide x?
True
Let u(o) = -2147*o - 2521. Does 112 divide u(-3)?
True
Is 12 a factor of ((-62)/8 - -4)/((-16)/1280)?
True
Suppose -s + 4*t = 4*s - 44, 3*t = s. Suppose 4*r = r - s. Is 37 + (-4)/r + -4 a multiple of 8?
False
Suppose 0*k + 4*k + 2*z = 14, z + 7 = 5*k. Let w(r) = 2*r**3 - r**2 - 5*r + 2. Let o be w(k). Suppose 44 = 2*y - 4*j - 88, o*y - 264 = -5*j. Does 6 divide y?
True
Let c = -623 + 627. Suppose -2*j + 3*j + 1158 = c*p, 5*p - 5*j = 1455. Is p a multiple of 8?
False
Suppose -4*m - 5*k = -5*m + 40, 4*m + k - 223 = 0. Suppose 2*c = 61 + m. Suppose 0 = d - c + 6. Is 13 a factor of d?
True
Suppose 78246 = 12*y - 6*y + y. Is 23 a factor of y?
True
Is 53 a factor of (8604/162)/((-1)/(-117))?
False
Let s(g) = -5433*g - 1586. Does 20 divide s(-2)?
True
Suppose -42 - 6 = -8*v. Suppose v*k = 1176 - 156. Is k a multiple of 85?
True
Let s(j) = -28*j + 466. Does 7 divide s(14)?
False
Suppose 0 = 3*r - 5*y - 75, 0 = -2*r - 5*y + 10*y + 55. Let b = 1075 - 1090. Is (144/b)/((-8)/r) a multiple of 6?
True
Suppose -987*b + 937*b - 8271 = -399271. Does 17 divide b?
True
Let t(p) = 673*p - 6206. Is 10 a factor of t(12)?
True
Let f(c) = -c**3 + 49*c**2 + 36*c - 60. Let a be f(25). Suppose a = -8*v + 26*v. Does 20 divide v?
True
Suppose s - 4*u + 3756 = 0, -5*s - 4*u - 6064 - 12692 = 0. Is 9 a factor of 11/(7/s*-8)?
False
Let q(h) = h + 1. Let u be q(3). Suppose 108 = -5*j - 3*c, j - 4*c + 13 = -u. Does 16 divide 5*(j/5)/((-6)/28)?
False
Suppose -7696008 = -87*w - 104*w - 3142568. Does 22 divide w?
False
Is 25 a factor of (33 + -30 + -1)*16950/4?
True
Let n(t) = 12*t**2 - 5. Let l(x) be the first derivative of 4*x**3 - x**2/2 - 4*x + 2. Let u(w) = 3*l(w) - 2*n(w). Is u(-3) a multiple of 20?
False
Let k = -4543 - -5973. Is 18 a factor of k?
False
Suppose 0 = 11*h - 34059 - 36341. Suppose -h = -10*t - 6*t. Does 11 divide t?
False
Let v(m) = m**2 + 28*m - 121. Let x be v(-27). Let k = x + 260. Is 5 a factor of k?
False
Suppose -3*f + 6*f + 2*g + 1202 = 0, f = -2*g - 406. Let j = f + 606. Suppose 22*r + j = 24*r. Is 37 a factor of r?
False
Suppose -1558 = -7*c + 269. Is 23 a factor of c?
False
Let g = -3228 + 5548. Is 19 a factor of g?
False
Suppose 52*a + 88504 - 40970 - 940478 = 0. Is 108 a factor of a?
True
Let j = 1 - 45. Let m(f) = 129*f - 4. Let q be m(1). Let y = j + q. Does 17 divide y?
False
Let m(i) = -3*i + 14. Suppose 11*p = 64 + 13. Let o be m(p). Let w = o + 62. Does 14 divide w?
False
Suppose -5*r + 215 = -205. Let w be r/(-70)*320/6. Is (w/28)/((-8)/28) a multiple of 8?
True
Let s = 24669 - 14605. Is s a multiple of 17?
True
Let a be (-100)/(-6)*(-27)/18. Let d be a/75 + 46*226/12. Suppose 3*q - 106 - d = 0. Is 24 a factor of q?
False
Let d be (12/(-30))/(6/15). Is (-7 + -222)*1/d a multiple of 28?
False
Let n = -1301 - -2086. Let d be (n/(-2))/(-1) - (-2)/4. Suppose -3*o - 111 = -d. Is 9 a factor of o?
False
Let w(k) = -6*k + 57. Suppose 0 = -45*l + 43*l - 14. Does 4 divide w(l)?
False
Let l be 5 + 540 + -7 - 6. Let g = 874 - l. Is g a multiple of 38?
True
Let b(d) = -2*d + 24. Let a be b(12). Suppose 10*h - 4120 - 1380 = a. Does 25 divide h?
True
Let t(o) = -4*o**3 - 89*o**2 - 22*o + 33. Let w be t(-22). Is (w + 18)/((-3)/(-76)) a multiple of 76?
True
Is (258/(-90) - (-4)/(-30))*(-14569 - -5) a multiple of 66?
True
Suppose -248 = 2*l + 3*h - 8*h, -l + h - 121 = 0. Let s = 205 + l. Is 4 a factor of s?
False
Let b(u) = 23*u + 8 + 0*u**3 - u + 5*u + 2*u**3 - 49*u**2. Suppose -5*i + 24 = -4*i. Does 4 divide b(i)?
True
Let v = 18244 + -13295. Does 13 divide v?
False
Let q = 84 - 79. Suppose -281 = q*k - 2*k - f, -f = 1. Let m = k - -170. Is 26 a factor of m?
False
Let i(s) = 18*s**2 + 2*s + 246. Is 25 a factor of i(-17)?
False
Let s be (2 + 1)*2448/27. Suppose s = 5*g - 223. Let w = g + -50. Does 28 divide w?
False
Is (-238)/21 - -11 - (-3)/(36/17704) a multiple of 17?
False
Let j(b) = b + 27. Let v be j(-22). Suppose -2*g = 3*g - v*s - 195, 3*g + 3*s = 141. Suppose 239 = 4*p + g. Is p a multiple of 18?
False
Suppose -5498 = -2*b + 2*h, -5*b + 2*h - 3*h + 13751 = 0. Does 19 divide b/50*(33/5 - -1)?
True
Is 19 a factor of 2708120/420 + 26/273?
False
Is -3 - -18440 - ((-74)/26 + 34/(-221)) a multiple of 40?
True
Suppose -28 = 5*i + 1222. Let c = i - -386. Is c a multiple of 17?
True
Suppose -4*n = n - 20. Suppose 4*h = 5*z + 64, -h = -n*h + 5*z + 43. Let r = h - -12. Is r a multiple of 9?
False
Let k be ((-2)/6)/(1/(-9)). Suppose -k*z - 797 = 91. Let d = z - -502. Does 21 divide d?
False
Let n = 15 + 83. Let m = n + -38. Is 14 a factor of m?
False
Suppose 128*q - 663509 = 79*q. Does 140 divide q?
False
Suppose -2*f = -4*c - 30, -4*f - 4*c = -4 - 8. Is 15840/21 - 2/f a multiple of 29?
True
Suppose -548*c + 12500 = -558*c. Is 5 a factor of c/100*(-32)/5?
True
Let k = -24 - -26. Suppose k = -16*m + 15*m. Is (31/(-2) - -4)/(m/4) a 