43 = 0. Does 3 divide q?
False
Suppose 0 = -0*n + 4*n - 28. Suppose 0 = n*v - 527 - 425. Suppose -7*b = -v - 431. Is b a multiple of 17?
False
Let q = -77 - -80. Suppose 2*r = y + q*r - 50, -128 = -2*y + 5*r. Does 9 divide y?
True
Let x = 135 + -74. Does 8 divide x?
False
Let y = -345 - -425. Is y a multiple of 8?
True
Let i(c) = 35*c**2 + c. Let g be i(1). Let s be ((-5)/3)/((-10)/g). Suppose s*k - 264 - 24 = 0. Is 10 a factor of k?
False
Suppose 4*f - 3461 + 921 = 4*p, 5*p + 1903 = 3*f. Is 25 a factor of f?
False
Let k(w) = w**2 - 1 + 5*w - 2*w**2 + 0*w + 9*w. Let g be k(14). Is (-4 - 3/g)*-59 a multiple of 13?
False
Let i be -3*17/(-3) - -1. Suppose 4*v + 3*t - 5 = 0, v + 2*v - 5*t + i = 0. Let h(c) = -44*c**3 - c**2 + 1. Does 11 divide h(v)?
True
Let c(w) = -w**3 + 10*w**2 - 12*w + 4. Let p be c(8). Suppose -2*k + 0*s - 3*s = -p, -5*s = -10. Is k a multiple of 9?
False
Let c = -7 - -10. Let f be (-19)/(-4 + 9/c). Suppose -2*t - 2 = -6*b + 3*b, -b + f = 3*t. Is 2 a factor of b?
True
Let r(m) = -m**3 + 14*m**2 + 2*m - 26. Let s be r(14). Suppose -51 = -5*n + s*d + d, 3*n + d = 25. Is 5 a factor of n?
False
Let t be ((-21)/42)/((-1)/12). Let p be ((-4)/t)/(8/(-36)). Suppose o - p*u = 83, -4*o - 262 = -7*o - 4*u. Is 34 a factor of o?
False
Suppose -995 = -2*x + 5*y, -3*x - y + 1487 = -3*y. Is x/2 - 21/42 a multiple of 13?
True
Let x = 3961 + -1854. Is 43 a factor of x?
True
Is -10 + -1977*22/(-11) a multiple of 58?
True
Let s(z) = -5*z + 34. Let r be s(6). Suppose -f + 2*c - 3 = -162, -4*f = r*c - 660. Does 19 divide f?
False
Suppose -z + 17 = -u, -4*u = u + 10. Let n(x) = 2*x**3 + 6*x**2 - 2*x - 2. Let w be n(-3). Let i = z - w. Is i a multiple of 3?
False
Let q(j) be the first derivative of j**3/3 - j**2 + 5*j + 109. Let l be (-8)/((-2)/1) - -1. Does 5 divide q(l)?
True
Suppose 0 = 79*q - 74*q - 255. Is 3 a factor of q?
True
Suppose -80 = 23*j - 3*j. Let i(v) be the third derivative of -v**6/120 + v**5/60 - v**3/6 + v**2. Is i(j) a multiple of 27?
False
Let r(n) = -11*n - 38. Suppose -19 = 4*z + 5. Is r(z) a multiple of 20?
False
Let z(m) = 44*m**3 + 5*m**2 - 5*m + 6. Is z(3) a multiple of 34?
True
Let s(z) be the third derivative of z**5/12 - z**4/6 + z**3/2 - 5*z**2. Suppose 1 = y - 1. Is 15 a factor of s(y)?
True
Let w(d) = -8*d**3 - 3*d**2 - d + 2. Let n be w(-4). Suppose -13*v - n = -15*v. Is v a multiple of 41?
False
Let l = -97 - -69. Let n = 58 + l. Is n a multiple of 15?
True
Is 3 a factor of -6 + (2 - -1) + 6?
True
Let l = -198 + 280. Does 3 divide l?
False
Let k(s) = s**3 - 8*s**2 + 3*s - 15. Let c be k(7). Let l = 54 + c. Is 2 a factor of l?
False
Let o(c) = c**3 + 4*c**2 + 2*c + 3. Let k be o(-4). Let b = -106 - -122. Let t = b + k. Does 7 divide t?
False
Let m(z) = -141*z + 8. Does 36 divide m(-3)?
False
Suppose -2*d = -0*d - 5*x + 34, -5*d - x = 31. Let n = d + 71. Is n a multiple of 11?
False
Suppose 4*g = -4*w + 8, -w = 2*g - 0*g + 1. Suppose -w*s + 161 = t, t + s = 2*s + 179. Is 44 a factor of t?
True
Let m = 43 - 4. Suppose -j + 119 = m. Is j a multiple of 16?
True
Does 17 divide 12/(-32) - 5382/(-16)?
False
Let k = 0 + 3. Suppose -199 = k*t - 511. Does 26 divide t?
True
Let y = -903 + 2336. Is y a multiple of 14?
False
Let b(r) = -r**3 + 14*r**2 - 24*r + 39. Is b(12) a multiple of 4?
False
Does 71 divide (-4 + -24358)/(-13) - (-6 - 0)?
False
Suppose 4*a + 639 = 3*b + 9*a, -3*a = 0. Does 3 divide b?
True
Let b(s) = -s**3 - 5*s**2 + 2*s + 24. Does 52 divide b(-11)?
True
Let u(f) = 25*f**2 - 64*f - 2. Is 6 a factor of u(-4)?
True
Suppose 2*a - 60*j + 58*j = 450, -3*j = 3*a - 681. Does 14 divide a?
False
Let a(i) = 99*i**2 + 2*i - 1. Let b be a(1). Does 11 divide 5/(b/8)*55?
True
Let v(l) = -3*l**2 + 4. Let u(z) = -4*z**2 + 5. Let q(i) = 4*u(i) - 5*v(i). Let p(j) = -2*j**2 + 9*j - 8. Let n(c) = -p(c) + q(c). Is n(11) a multiple of 10?
True
Let q(w) = 3*w**2 - 6*w + 1. Let h(g) = 3*g**2 - 7*g. Let y(s) = -5*h(s) + 6*q(s). Is 6 a factor of y(3)?
True
Does 4 divide (5/((-45)/27))/((-3)/596)?
True
Does 41 divide (-160893)/144*-4 - (-2)/(-8)?
True
Let i = 20 - -86. Is 18 a factor of i?
False
Let r = -169 - -240. Let x = -47 + r. Is x a multiple of 7?
False
Suppose -3 = u, -6*u = -4*y - 8*u + 3866. Is 86 a factor of y?
False
Let x(h) be the third derivative of 2*h**5/15 - h**4/12 - h**3/3 - 8*h**2. Does 8 divide x(2)?
False
Is 4 a factor of ((-603)/(-18))/((-2)/(-4))?
False
Suppose 124 = 4*f - 200. Let b = 57 - 30. Let x = f - b. Is x a multiple of 18?
True
Let d(t) = 4*t**3 - 2*t**2 - 11*t + 2. Does 7 divide d(4)?
True
Let n = -363 + 961. Is 46 a factor of n?
True
Suppose 7 = -u + 4, -2*q + 3*u + 645 = 0. Suppose -2*g + q = 3*n + n, 0 = 4*g + 2*n - 642. Is 23 a factor of g?
True
Let y(c) = -8*c**3 + 2*c**2 - c. Let t be y(1). Let i be (-26)/t - 4/(-14). Suppose i*q = -5*f + 40, 0 = -4*f + q - 0*q + 53. Does 6 divide f?
True
Suppose -f - 32 = -4*k, -4*f = -3*f + k + 7. Is 460/6 - 4/f a multiple of 11?
True
Let w = 65 + -28. Suppose -24 = -l + w. Is 18 a factor of l?
False
Let y = -476 - -771. Suppose -6*i - 174 = -9*i - 2*k, -5*i = 5*k - y. Is 8 a factor of i?
True
Let l(k) = 3*k**2 - 2*k - 13. Let f(b) = 2*b**2 - 2*b - 13. Let v(t) = -4*f(t) + 3*l(t). Let u(s) = 3*s + 11. Let p be u(-7). Does 31 divide v(p)?
True
Let k(f) = -2*f**3 - f**2 + 18*f - 3. Is k(-4) a multiple of 3?
False
Suppose 0 = 13*l - 2803 + 801. Does 34 divide l?
False
Suppose -2*n + 1973 = 4*z - 295, 2*z = 5*n + 1110. Is 9 a factor of z?
False
Let n(z) = 4*z - 26. Suppose -3*b = -4*j - b + 70, -2 = -2*b. Does 24 divide n(j)?
False
Let z(i) = -i**2 - i. Let r(c) = c**3 + 9*c**2 + 2*c + 4. Let w(a) = r(a) + 4*z(a). Is w(-5) a multiple of 2?
True
Let v(d) = -14*d - 66. Is 19 a factor of v(-12)?
False
Suppose 2*c = n - 48, -n - c + 192 = 3*n. Suppose -5*d = -3*u - n, 4*d - 2*u = 17 + 21. Does 7 divide d?
False
Suppose g - 15 = 3*d, -5*g + 3*g = -2*d - 10. Suppose g = -2*p + 4*w + 18 + 10, -p + 3*w = -15. Does 2 divide p?
True
Let b(v) = -v**2 + 5*v + 8. Let m be b(6). Suppose -7*w + 15 = -m*w. Suppose -w*t = -0*t + 2*q - 16, -3*q - 9 = -t. Is t a multiple of 6?
True
Suppose 3*z - 698 = -4*b, 5*z - 35 = -5*b + 1120. Does 8 divide z?
False
Suppose -3*y + 62 = -415. Suppose -5*m = -2*i + y, 2*m - 161 + 455 = 4*i. Is i a multiple of 24?
True
Let j be 2 + (2 - 3) + 2. Suppose -2 = -a + 4*d - 9*d, 0 = j*a + 2*d + 7. Is 8 a factor of 8*a/(-30)*20?
True
Suppose 2*j + 231 = -5*r, -r + 120 = -j + r. Let p = -73 - j. Is 5 a factor of p?
True
Let g(a) = -a**2 - 19*a - 13. Suppose 0 = -3*t - 12 + 3, -k - 23 = 2*t. Is 21 a factor of g(k)?
True
Let z(q) = 39*q - 31. Let m be z(8). Suppose 13*v - 642 = m. Is 3 a factor of v?
False
Let o(j) = j**2 + 5*j + 47. Let q be o(9). Suppose 3*s - q = 172. Is 15 a factor of s?
False
Let o = 16 - 14. Suppose -7 = o*v + 5*g - 29, 4*g = -5*v + 21. Let r(y) = 40*y**3 - 1. Does 18 divide r(v)?
False
Let f(i) = 4*i**3 - 2*i**2 + 6*i - 7. Does 9 divide f(2)?
False
Suppose -9*o + 2*o = -147. Is 22 a factor of (321/2)/(o/28)?
False
Suppose -s + 247 = x, 3*x + 0*s = -4*s + 742. Let h = x - 139. Suppose 132 = 3*l + 4*u - 2*u, -5*u = -2*l + h. Does 23 divide l?
True
Suppose -71*p = -81*p + 4640. Is 8 a factor of p?
True
Let x(b) = -2 - 8*b - 6 + b**2 + 9*b. Suppose 3 = 3*p, 0 = -5*d - 0*p - 3*p + 38. Does 16 divide x(d)?
True
Let n(c) = -6 + 12*c - 18*c + 5*c + c**2. Does 4 divide n(-5)?
True
Let r = -291 - -368. Is 7 a factor of r?
True
Let t = 394 + 234. Is 73 a factor of t?
False
Suppose 3*w = 4*b - 3299, 2*b - 201*w - 1660 = -203*w. Does 39 divide b?
False
Suppose 2*w = -4*f + 372, -7*f + 3*f = -2*w + 340. Suppose 14*g = 12*g + w. Let m = 140 - g. Is 14 a factor of m?
False
Let t(l) = -l**3 - 4*l**2 + 5*l. Let b be t(-4). Let v(z) = -2*z + 2. Let q be v(3). Is ((-35)/q)/((-5)/b) a multiple of 17?
False
Suppose f - 8 = 5*w, 3*w + 27 + 39 = 4*f. Suppose -f*u + 13*u + 5 = 0. Is (-172)/(-6) + u/3 a multiple of 29?
True
Suppose k = 2*c + 578, -5*k - 3*c - 2883 = -10*k. Is k a multiple of 24?
True
Does 2 divide 87/2*24/18?
True
Suppose 0 = 10*u + 2550 + 3690. Is 5 a factor of (-12)/(-15) - (u/20 - 1)?
False
Is 18 a factor of -2 + 30/18 + 2269/3?
True
Suppose -p - n - 293 = 0, -n - 4*n = -3*p - 871. Let u = p - -424. Suppose 5*o - u = o. Is 16 a factor 