0 - -2)*1 + (w - -121)?
False
Suppose -11*g - 2*x - 26 = -9*g, -3*x = -3*g - 51. Is 45 a factor of (219*(-5)/25)/(3/g)?
False
Suppose 24*z = 301 + 83. Let v be 0*(-3)/9 + 164. Suppose -17*f + z*f = -v. Is 41 a factor of f?
True
Suppose -4*n = -n - 6, -2*s + 5*n = -88. Suppose -13 - 31 = 11*j. Does 8 divide j/(-12)*18/3 + s?
False
Let l(j) = 11*j**2 + 43*j + 391. Is l(-20) a multiple of 6?
False
Let h(s) be the first derivative of s**3 + 27*s**2 - 89*s - 94. Is 31 a factor of h(-29)?
True
Let o be (-24)/48 + 730/(-4). Let u = o - -308. Does 20 divide (200/u)/(0 - 2/(-125))?
True
Is 42 a factor of (-1785)/204*(-79080)/25?
True
Let w(q) = q**3 + 6*q**2 + 11*q + 49. Let f be w(-4). Suppose 0 = -f*c - 9*c + 23000. Is c a multiple of 22?
False
Suppose -70*y = -84*y + 42. Suppose 2*g + 78 = -t + y*t, g = -2. Is t a multiple of 22?
False
Let t = -1177 - -1181. Let w(q) = q**2 - 7*q - 4. Let v be w(6). Is 10 a factor of (16 + t)*v/(-5)?
True
Is (-1 - -261) + 552/644*(-28)/6 a multiple of 2?
True
Let j(m) = -8 - 17*m + 23 - 7 - 7 - 9. Is j(-17) a multiple of 27?
False
Suppose 6*l = 4 + 2. Is 12 a factor of -3 - (-508 + (l - 0/1))?
True
Suppose 3*c + 263*k - 264*k = 389, 5*k - 544 = -4*c. Is c a multiple of 3?
False
Suppose -2*t = -4*s + 2292, -93*t - 1719 = -3*s - 91*t. Does 3 divide s?
True
Suppose 0 = -4*r - q - 38 - 7, -3*r + 3*q = 45. Let f(p) = -5*p - 38. Let h be f(r). Let v = h - -83. Does 21 divide v?
True
Suppose 2836 = 23*o - 1074. Suppose -5*a + 20 = -0*a. Suppose -5*n + 4*n = a*b - o, 5*b - 170 = -n. Is 16 a factor of n?
False
Suppose 5*i + 5*t = 0, 4*i + 6 = -10*t + 9*t. Is 27 a factor of (3 + 141/(-2))*(i + -2)?
True
Suppose -7*k - 6*k + 1443 = 0. Let y = 13 + k. Is y a multiple of 32?
False
Suppose 0 = -c + q + 8, -2*q - 20 = -4*c - 4*q. Suppose -761 = -c*i + 5*i. Does 33 divide i?
False
Is (2070/2)/((-60)/(-60)) a multiple of 10?
False
Let h(m) = 111*m**2 - m. Let d(k) = 332*k**2 - 3*k. Let j(q) = 6*d(q) - 17*h(q). Is 14 a factor of j(-2)?
False
Let s be -2 - (0 - 3 - -5). Let t(h) = 20*h + 8. Let b(i) = -50*i - 20. Let r(o) = 5*b(o) + 12*t(o). Is 24 a factor of r(s)?
False
Let d(q) be the first derivative of 20*q**2 - 22*q - 164. Is d(9) a multiple of 6?
False
Suppose 4*f - 2739 = -7*f. Suppose 19*i = 207 + f. Suppose -12*m = -i - 0. Is m even?
True
Let t(x) = -808*x + 4086. Does 35 divide t(0)?
False
Suppose 0 = 8*t - 136 - 56. Suppose x - t + 5 = 0. Suppose 300 = x*u - 16*u. Is u a multiple of 12?
False
Let u(q) = 22*q**2 - q + 1. Let m be (-11 + 387/27)*3/2. Is u(m) a multiple of 13?
True
Let f(y) = 11*y**2 + 53*y + 246. Is f(-6) a multiple of 24?
False
Let s = 6699 + -1974. Is 29 a factor of s?
False
Let v = 315 - -581. Suppose 5*b + 1783 = 2*n + 6*b, -n = -b - v. Is 19 a factor of n?
True
Let z = 3185 + 7885. Is z a multiple of 90?
True
Suppose 0 = p + 4, p = -k - 3331 + 10271. Is k a multiple of 56?
True
Let h(m) = -10*m**2 - 8*m - 6. Let r be h(-2). Let n = r - -34. Suppose 0 = n*f - 20, a - 3*f + 4*f = 286. Does 15 divide a?
False
Let j(y) = -y**2 - 11*y - 5. Let t be j(-10). Suppose -t*n + 283 = x, -5*n - 5*x + 279 = -2*x. Is 14 a factor of n?
False
Let q = 12486 - 6926. Is q a multiple of 40?
True
Let m(c) = -c**3 + 3*c**2 + c - 1. Let l be m(3). Suppose 0 = -l*v + 9 + 105. Does 2 divide v?
False
Let h(i) = 6*i**2 + i - 3. Let g be h(-3). Suppose 10*q = 339 + 2781. Suppose -8*u + q = -g. Does 15 divide u?
True
Suppose 33 + 11 = f. Let i = f + -114. Let r = i + 100. Is 6 a factor of r?
True
Let d = 1072 - 696. Let z = d - 310. Is 38 a factor of z?
False
Suppose 43*j - 49*j = 18. Is (-2 + j + -15)/((-2)/4) a multiple of 40?
True
Let j = -582 - -637. Suppose 3*d = m - 95 + j, 3*d = 2*m - 68. Is 3 a factor of m?
False
Let d = 13326 + 594. Is d a multiple of 16?
True
Let c(u) = -24 + 175*u**2 + 70 + 69*u - 27 - 23 - 178*u**2. Let f(a) = 19*a**3 + a**2 - a + 1. Let p be f(1). Is 14 a factor of c(p)?
False
Let b(s) = -s**3 + 4*s**2 - s - 1. Let y be b(3). Suppose -y*r + 0 = -15. Suppose r*f = 4*g - 21, 52 = -g + 4*g + 5*f. Is 9 a factor of g?
True
Suppose 0 = -k + 2*z - z + 188, 4*z - 976 = -5*k. Let q = k - 112. Does 11 divide q?
False
Suppose -2*r + 184 = -446. Let b = -229 + r. Is 24 a factor of b?
False
Let a = -29 - -63. Suppose a*q + 1950 = 44*q. Is q a multiple of 65?
True
Let a(y) be the third derivative of -1/4*y**4 + 0 - 4*y**2 + 1/60*y**5 - 17/6*y**3 + 0*y. Does 8 divide a(11)?
False
Suppose -q = -0*q - 5*c + 21, 5*q = -3*c + 35. Suppose -g - q*p + 182 = 0, 4*g = 4*p + 329 + 419. Suppose 24*l + g = 25*l. Is l a multiple of 14?
False
Let k = -254 + 254. Suppose -15*m + 17*m - 104 = k. Is m even?
True
Let i be 5 + 0 + -1 + -9. Let u(p) = -41*p + 41. Is u(i) a multiple of 7?
False
Suppose -3*b + 8*b = 3295. Let m = -120 + b. Is 50 a factor of m?
False
Suppose -z - 11760 = -2*o, -2*z = -6*o + 5*o + 5880. Suppose 112*b = 122*b - o. Is b a multiple of 12?
True
Suppose 18 = 75*u - 69*u. Let g = 16 - 24. Is (u/2)/(g/(-208)) a multiple of 5?
False
Let w be (7 - 6) + 0 - -1. Suppose 5*t = -f + 860, -4*t + 865 = -f + w*f. Does 8 divide f?
False
Is (40470/456)/(10/16) even?
True
Let w = -247 + 475. Suppose -148*m + 142*m + w = 0. Is m a multiple of 18?
False
Suppose 0 = 5*a + 2*l - 1828, -3*a + 4*a = 4*l + 370. Let i be a - (2 - (0 - 2/1)). Suppose -2*x = -2*b - i, 7*b = 3*x + 2*b - 545. Is 28 a factor of x?
False
Suppose 2*y - 3*y = -17. Let i = y - 14. Suppose -2*l - i*z + 257 = 0, 4*l - 615 = z - 66. Is 17 a factor of l?
True
Suppose 0 = -289*f - 88*f + 58812. Is f a multiple of 3?
True
Let v(r) = 4*r**2 - 62*r - 22. Is v(-63) a multiple of 104?
True
Let m(d) = 5*d**3 - 30*d**2 + 13*d - 96. Let s be m(5). Suppose 0 = 5*i + 5, 4*i - 5*i - 90 = a. Let h = a - s. Does 19 divide h?
False
Let v(q) = -q**3 + 68*q**2 - 4*q - 890. Is v(64) a multiple of 19?
True
Let b be 18/(-12)*17*2. Suppose 0 = -2*g - 3*g + 4*d + 49, -5*g + 47 = -2*d. Let x = g - b. Is 15 a factor of x?
True
Suppose 5*s = -f + 467, -5*s + 1793 = -15*f + 19*f. Suppose f*c - 445*c + 396 = 0. Is 22 a factor of c?
True
Let c(l) = -l**2 - 8*l + 27. Let m be c(-12). Let r(d) = -15*d + 41. Does 23 divide r(m)?
False
Let w = 51 + -22. Let x = 43 - w. Is 15 a factor of x/(-63) - (-2704)/18?
True
Let a(k) = 2*k**2 - 42*k - 4. Let t be a(21). Let m be -45*154/(-21) + (t - 0). Is m*4/8 + 1 a multiple of 29?
False
Suppose 3*k = 5*t - 0*t - 4, k + t - 4 = 0. Let y = k + 6. Does 8 divide (-2)/(y/(-212)) + -1?
False
Let b(t) = 21*t + 3924. Is 62 a factor of b(70)?
True
Let q(l) = -2*l**2 - 90*l + 75. Let u be q(-46). Let o(x) be the second derivative of -x**3 - 7*x**2 - x. Is 8 a factor of o(u)?
True
Let d be (1/4 + (-170)/40)*1. Is -116*((-7 - -9) + 14/d) a multiple of 26?
False
Let u be 4/(24/9)*572/33. Let n = u - 26. Suppose n = 6*l - 4*l - 80. Is 16 a factor of l?
False
Suppose 3612 = 5*x - 7*f + 5*f, -2*x - 5*f + 1468 = 0. Suppose -11*n + x = -2664. Does 28 divide n?
True
Let k(f) = 7*f + 14. Suppose 0*s = -2*s - 8. Let o be k(s). Is 16 a factor of (-6)/21 - 1362/o?
False
Let c(n) = n**3 - 38*n**2 + 261*n + 8. Let b be c(9). Let h(f) = -f**3 + 4*f + 2. Let v be h(-3). Suppose -b*a = -v*a + 126. Does 14 divide a?
True
Let p(x) = 3*x**2 - 66*x - 57. Suppose 4*c + 43*c - 1410 = 0. Does 24 divide p(c)?
False
Suppose -p + 23685 = 5*g, 100690 = 4*p + 3*g + 5967. Does 20 divide p?
True
Suppose 0*a = -5*a + 225. Let h = 332 + a. Suppose 2*y - h = -9. Does 23 divide y?
True
Let s = -241 - -473. Suppose 226*q = s*q - 2976. Does 65 divide q?
False
Let i = -32 + 34. Suppose 2*j + 0*j = -a + 3, i*j = 3*a - 17. Suppose -2*l - a*s = -308, -6*s + 606 = 4*l - s. Is 18 a factor of l?
False
Let t(b) = 9*b + 23. Let a be t(-3). Let d be a - (-13)/(-26)*(-24 + 0). Suppose 3*v = -12, 3*v - d = -5*c + 45. Does 2 divide c?
False
Suppose h + 38 = 5*p + 3, -7 = -p - 2*h. Does 12 divide (-1)/(-2)*(14 + 8)*p?
False
Suppose 169*c + 12480 = 95*c + 90*c. Does 39 divide c?
True
Suppose 25*x = 23*x + 68. Suppose 6164 = x*p - 11*p. Is 3 a factor of p?
False
Suppose 12*q - 10460 - 27871 = -1671. Is q a multiple of 47?
True
Let p be 3344/(-48) - (2/(-3) + 0). Let c = p - -127. Let x = c + -14. Does 11 divide x?
True
Let a(p) = -756*p + 594. Is 54 a factor of a(-20)?
True
Suppose 0 = 5*r - 25, 21 + 10 = 2*d + 5