- 3 - (0 - 0)). Let o be k/((-12)/16) - -3. Does 25 divide s(o)?
False
Suppose 18*t = -1760 + 8420. Let n = t - 172. Does 18 divide n?
True
Suppose -4*w = z - 10248, 35*z - 41118 = 31*z + 5*w. Is z a multiple of 3?
True
Let k(v) = 264*v - 2110. Is 113 a factor of k(59)?
False
Suppose 0 = -53*v + 13*v + 640. Let b(g) = -g**3 + 16*g**2 + 2*g + 53. Does 17 divide b(v)?
True
Let w be -4 + -6 + 14 + 111. Does 4 divide (-1502)/(-14) - w/(-161)?
True
Suppose -10*v + z = -5*v - 2823, 4*v + 2*z - 2264 = 0. Is 6 + v + 15/(-3) a multiple of 27?
False
Let d(o) be the first derivative of 4*o**3/3 - o**2 + 102*o + 1729. Let i = -2 + 2. Is 16 a factor of d(i)?
False
Let o = -72 - -92. Does 57 divide 2/8 + 12535/o?
True
Suppose 28*u - 701316 = -5*u. Is 22 a factor of u?
True
Let b = -168 - -167. Let t(s) = 65*s**2 - 7*s - 6. Does 11 divide t(b)?
True
Let h = -62 + 130. Is 41 a factor of 568*(-8 - h/(-8))?
False
Let s = 25 + 28. Is (-4)/4*s*(0 - 1) a multiple of 2?
False
Suppose 4*m - 1689 = 291. Let v be (-10)/(-3) + (-16)/(-72)*3. Suppose -m = -3*h - v*a, -2*h + a - 3*a = -330. Is h a multiple of 33?
True
Suppose -286 = -13*x - 0*x. Suppose 46 - x = r. Does 8 divide r?
True
Let f be (-4 - (-1 + 0)) + 22. Suppose -4*k + 21 = -f. Suppose k*h - 5*h = -10, -2*a - 5*h = -136. Does 7 divide a?
False
Suppose -15*y + 35 = -130. Suppose -10*d + y*d - 78 = 0. Is 3 a factor of d?
True
Is (62/(-8) - (-2)/(-8))*(-3 - 391) a multiple of 106?
False
Let u be (59 + -49)*99/5. Suppose 4*n + 5*x = u, x = 3*n - 5*n + 102. Does 2 divide n?
True
Suppose -12 = 13*p - 9*p. Let u be (3*(-489)/(-15))/(p/(-15)). Suppose u = 6*g - 3. Is g a multiple of 7?
False
Let y(z) = -27*z + 21. Suppose -17*p = -3*p + 98. Is 14 a factor of y(p)?
True
Does 117 divide -5 - (47/(-94) + (-20651)/2)?
False
Let l(s) = 940*s + 13. Let w(b) = 313*b + 4. Let z(a) = 6*l(a) - 17*w(a). Is z(1) a multiple of 51?
False
Suppose 5*a = -79 - 116. Let g = 34 + a. Let s(m) = -m**3 - 6*m**2 - 4*m + 11. Is s(g) a multiple of 3?
True
Let y(h) = h**2 + 22*h + 573. Is 92 a factor of y(45)?
True
Let a = 50475 - 29196. Is a a multiple of 16?
False
Let x(t) = -t**3 - t**2 - 3*t - 24. Suppose 3*d = l + 3*l + 33, -5*l + 13 = 4*d. Suppose 11 = -d*q - 38. Does 36 divide x(q)?
False
Let t(a) = 1464*a**2 + 43*a + 42. Does 7 divide t(-1)?
True
Let n(i) = 5*i**2 + 11*i + 25. Let h(s) = -2*s**2 - 6*s - 12. Let p(w) = -7*h(w) - 3*n(w). Let r be p(6). Suppose 21*v + 120 = r*v. Is 4 a factor of v?
True
Let s = -27 + 36. Suppose -s*o + 4*o = -2940. Suppose -6*i + 2*i + o = 0. Is 30 a factor of i?
False
Suppose -2*a + 231 = 3*r, a - 114 = -6*r + 5*r. Suppose -2*s + 2*o + 330 = 0, -s + 4*o + 39 = -a. Is s a multiple of 34?
True
Let u(p) = 2*p**2 + 19*p - 5. Let r be u(-10). Suppose -z - n = -8, -4*z + 2*n - 7 = -r*z. Suppose z*t = 8*t + 39. Is t a multiple of 13?
True
Let o(c) = 198*c - 3131. Does 13 divide o(112)?
True
Let b(q) = 25*q + 300. Let w be b(-12). Suppose -3*a + 5*n + 33 = -1088, w = 4*a - n - 1489. Is a a multiple of 12?
True
Is 172 a factor of (768/640)/((-9)/(-132870))?
True
Suppose -197465 = -21*d + 243220. Is 6 a factor of d?
False
Let a = 27 + 330. Let l = a - -223. Is l a multiple of 33?
False
Let h be ((-8975)/50)/((-2)/12). Let b = -639 + h. Is 99 a factor of b?
False
Let w = -236 - -225. Let f(h) = -h**3 - 12*h**2 - 36*h + 10. Is 19 a factor of f(w)?
True
Suppose 18 = 3*v + 12. Suppose 2048 = -v*i + 6*i. Does 32 divide i?
True
Let w(y) = 379*y - 1422. Does 10 divide w(33)?
False
Let u(w) = 12*w**2 + 10*w - 11 + 5*w**3 - 11*w**3 + 7*w**3. Let a be u(-11). Does 19 divide (2/6 - a) + (-1506)/(-18)?
False
Suppose -f + 25 = 2*r, 3*f = -3*r + 6*r - 24. Suppose r*q = 8*q + 15. Does 3 divide q?
False
Let n be -6*(25/(-10) + 2). Suppose 0 = 4*i - 3*w - 14, -w + 2 = n*i - 15. Suppose -7*g = -i*g - 176. Is g a multiple of 9?
False
Let c(h) = -2*h**3 - 22*h**2 - 6*h + 7. Let d(o) = -o**3 + o + 1. Suppose v - 1 + 0 = 0. Let f(i) = v*c(i) - d(i). Does 40 divide f(-22)?
True
Let b(w) = -16*w - 22. Suppose -6*c = -0*c - 108. Let d be 4*(-26)/c - (-2)/(-9). Does 15 divide b(d)?
False
Suppose 0 = -3*f + 5*r - 823, -2*f - 339 - 235 = 3*r. Let v = f + 395. Is v a multiple of 3?
True
Let j(q) be the second derivative of q**4/4 - 5*q**3/3 + 25*q**2/2 + 45*q. Does 12 divide j(8)?
False
Suppose 0 = -5*m - 30, -7866 = -126*g + 122*g - 5*m. Is g a multiple of 14?
True
Let p(o) = 59*o**2 + 41*o + 278. Is p(-6) a multiple of 11?
True
Is 73 a factor of -45*(-2*(-423)/(-12) + (-45)/18)?
True
Suppose x - 3*j = 308, -4*x + 4*j - 343 = -5*x. Suppose 8*l + 2*g = 3*l + 517, 2*g + x = 3*l. Does 15 divide l?
True
Let s(q) = -q**3 - 13*q**2 - 7*q + 3426. Is s(0) a multiple of 21?
False
Suppose 7 = 2*d + 13, -5*d + 41 = 4*k. Is 22 a factor of k/(-4) + 92925/150?
True
Suppose 17949 + 1651 = 10*g. Suppose 4*v = -3*v + g. Is 8 a factor of v?
True
Suppose -5*k - t = -1 - 6, 5*k = -2*t + 9. Let x be 3 - k/(-3 - -2). Suppose 642 = 5*c - 5*l + 4*l, -2*c - x*l = -270. Is c a multiple of 12?
False
Let l(u) be the second derivative of u**5/20 - 7*u**4/6 + 5*u**3/6 + 3*u**2/2 + u. Let i be (-6)/(-20) + (2832/160 - 4). Is 19 a factor of l(i)?
False
Let i(j) = 29 + 7 + 86 - 22*j - 23. Does 10 divide i(-5)?
False
Let n(m) = -3*m**2 - 3. Let b be n(7). Let l = -69 - b. Does 5 divide l?
False
Let q be (-5 - 11 - -6)*-3. Suppose -3*r + 5*d = -57 - q, -87 = -4*r - 3*d. Is r a multiple of 15?
False
Let n(s) = s - 12. Let w be n(15). Suppose 122 = w*i - 3*d + 5*d, 3*d + 6 = 0. Suppose -i*o = -43*o + 86. Is o a multiple of 11?
False
Let p(y) be the first derivative of -4*y - 2 + 65/2*y**2. Is p(1) a multiple of 15?
False
Does 78 divide 234700/42 + 170/(-1785) - 3?
False
Suppose 5*a - 5*n - 1100 = 0, -a - 16 + 238 = n. Suppose 4*h + 11*l - 10*l - 875 = 0, -h + 2*l + a = 0. Does 94 divide h?
False
Let o(c) = c**2 - 20*c + 22. Let w be o(25). Let t = 348 - w. Is 67 a factor of t?
True
Let t(c) = 2*c + 9. Let k = 73 + -78. Let s(v) = v**2 + 4*v + 3. Let x be s(k). Is 2 a factor of t(x)?
False
Suppose 227*q - 206*q - 95592 = 0. Does 8 divide q?
True
Let z(k) = -519*k + 1078. Is z(-22) a multiple of 284?
True
Suppose -r - 9 = 6*z - 3*z, 19 = r - 4*z. Is (-490)/(-154) - r - (-1910)/22 even?
False
Let v(t) = 5*t**3 + 19*t**2 + 37*t - 102. Does 18 divide v(20)?
False
Let p(q) be the third derivative of q**5/60 + 5*q**4/24 - q**3/3 + 5*q**2 - 4*q. Does 18 divide p(6)?
False
Let y = -45 + 46. Let z(w) = -w**3 - 1. Let h(n) = 2*n**3 + 8*n**2 + 14*n + 3. Let f(i) = y*h(i) + 3*z(i). Is f(8) a multiple of 14?
True
Suppose -8*f + 17*f + 3249 = 0. Let s = 711 + f. Is 35 a factor of s?
True
Suppose 2*s = 6, -m + 2*s = -3*s + 12. Suppose -3*d = 4*h - 1008, -h - 2*h - m*d = -756. Suppose -c - 207 = -4*z, 3*z - c = 8*z - h. Is z a multiple of 20?
False
Let p be -37*((-3)/(-6) + (-126)/(-12)). Is (p/11)/((-3)/15) a multiple of 29?
False
Let k(i) = 2*i**2 - 13*i + 5. Let f = 25 - 15. Let l be k(f). Is (l/(-20))/((-9)/192) a multiple of 16?
True
Let d be -1 + 74/(-4)*(-11 + -5). Let o = d - 239. Does 14 divide o?
True
Let z = 19 + -58. Let i = -38 - z. Let y(v) = 43*v**3 + v. Does 26 divide y(i)?
False
Suppose 6*k = 2*k + 8. Suppose k*x - 5*a - 96 = 0, 0 = 2*x - 4*a - 99 - 1. Is 16 a factor of x?
False
Suppose 3*l - 22252 = 4*a, 31*l = 30*l + 4*a + 7436. Is 9 a factor of l?
False
Suppose -5*z + 3*w = -7364, 45*w = -2*z + 47*w + 2948. Does 70 divide z?
False
Does 15 divide (-21016)/(-20)*6/(36/15)?
False
Suppose 2*w - 3*i - 1 = 3*w, 20 = w - 4*i. Does 47 divide (92/w + 1)*(-1504)/(-40)?
True
Suppose 4*w - v = -2036, -4*v + v - 2052 = 4*w. Does 51 divide (144/(-15))/(4*3/w)?
True
Let h(i) = i**2 - 4. Let y be h(-2). Let x be (-1 + y)/(2/(-32)). Suppose x*g - 14*g - 34 = 0. Is g a multiple of 2?
False
Let b(z) = 36 - 21 + 25 + 5*z. Let l be b(-6). Let v(q) = -2*q + 33. Is v(l) even?
False
Suppose -267260 = 45*p - 68*p. Does 105 divide p?
False
Suppose 0 = -4*n - 274 - 22. Let v = 49 - n. Is v a multiple of 39?
False
Suppose 3*s + 24 - 45 = 0. Let l(j) = -19*j + 33. Let y(w) = 9*w - 17. Let z(u) = 2*l(u) + 5*y(u). Does 3 divide z(s)?
True
Suppose -3*q - 2*w + 11229 = 0, -5*q - 2*w - 7032 = -25755. Does 3 divide q?
True
Let n = -146 + 150. Suppose 0*x - 5*r = -2*x + 58, -n*x + r = -152. Is x a multi