m - m = -267. Does 32 divide f?
False
Let i be (-64)/3 - (-28)/(-42). Let w be (i/(-33))/(2/(-3)). Does 17 divide 30 - (3 - 1)*w?
False
Suppose 3*h - t - 55 = 0, h = -4*h + 3*t + 93. Let v = -6 + h. Let c = 20 - v. Is 8 a factor of c?
True
Suppose j - b - 19 - 76 = 0, -2*b = -4*j + 374. Suppose -z = -4*s + z - j, 14 = -s - 4*z. Let f = s - -44. Is f a multiple of 11?
True
Suppose -2*l - 30 - 2 = 0. Let v = l - -31. Suppose s = v - 2. Is s a multiple of 7?
False
Suppose -5*a - 35 = -3*l, -38 = -3*l - 5*a + 17. Suppose 0 = 15*y + l - 240. Is y a multiple of 6?
False
Let f(t) be the second derivative of 13*t**4/4 - t**3/6 + 17*t. Is f(-1) a multiple of 8?
True
Let m(c) = c + 7. Let y be m(-5). Suppose 3*p - 66 = -4*i, y*i = 5*p - 0*i - 84. Is 9 a factor of p?
True
Let l(z) = -z**3 + 11*z**2 - 8*z + 8. Let v be -1 - (((-156)/(-4))/(-3) - -2). Is 3 a factor of l(v)?
False
Suppose -6*z - 545 = -1625. Suppose 4*l + l + 15 = 5*v, 3 = v - 4*l. Suppose -v*q + z = 2*q. Does 12 divide q?
True
Let r(b) = -b**2 + 8*b - 6. Let y be r(6). Suppose 0 = -c - y*l + 2*l + 62, 0 = -4*c + l + 180. Suppose 4*k - c = 6. Does 13 divide k?
True
Let j = -350 + 508. Does 6 divide j?
False
Suppose -133 = -3*q + 215. Let g = q - 28. Is g a multiple of 13?
False
Let v(j) = j + 6. Let t(g) = -2*g - 11. Let q(n) = -4*t(n) - 7*v(n). Let d(w) = -2*w + 7. Let r be d(-7). Is 4 a factor of q(r)?
False
Let t(r) = -4*r + 5. Let o be t(-3). Let x = -25 + o. Let i = x + 16. Does 2 divide i?
True
Let l be -2 + -1 + 1 + 3. Suppose -4*v + l + 7 = 0. Is 19 a factor of -2 + 40 - (v - 3)?
False
Suppose 30*p = 38*p - 9840. Is 30 a factor of p?
True
Let s = 66 + -13. Let b = 114 - s. Is 11 a factor of b?
False
Suppose -4*p = -2*i - 2, 3*i - 2*i = 5. Let u be (-11)/(-3) + 16/(-24). Suppose p*x - u*z = 42, -5*x + 76 = -3*z + z. Is 5 a factor of x?
False
Let y(v) = 26*v - 23. Does 34 divide y(10)?
False
Let b = -757 + 1285. Is b a multiple of 12?
True
Suppose 2*y - 92 = 1658. Suppose -m - 5*u = -175, -3*m - 2*m + y = u. Suppose -5*t + 3*t + 85 = 3*o, -4*t - o + m = 0. Is t a multiple of 22?
True
Suppose 12*f - 8*f = 3008. Does 47 divide f?
True
Suppose -26 = -4*v - 2*b, -7*v - b + 20 = -4*v. Suppose -v*j = -2*j - 50. Is j even?
True
Let t = -21 - -25. Suppose 0 = -k - 4*n - 18, 2*k - 1 - 11 = t*n. Let a(h) = -29*h - 4. Does 23 divide a(k)?
False
Let s = -6 + 12. Suppose 0 = s*r + r - 308. Is r a multiple of 15?
False
Suppose 119 = 3*a - 565. Does 19 divide a?
True
Is 5/1 - (27 - 50) a multiple of 7?
True
Suppose -4*t + 2 = x - 4, 5*x - 2*t - 96 = 0. Let l(r) = 0 + x*r - 3 - 3*r + 0. Is l(3) a multiple of 14?
True
Let f = 246 - 181. Is f a multiple of 18?
False
Let k = -24 + 44. Suppose 2*r - 7*r + 25 = -4*x, 3*x = 4*r - k. Suppose 44 + 11 = r*f. Is f a multiple of 4?
False
Suppose -3*o - 88 - 56 = -t, t = o + 138. Is 15 a factor of t?
True
Let l be (-54)/9*1/(-2). Suppose -3 = -x + l*b, -x - 2*b = -12 + 4. Is (-444)/(-9)*9/x a multiple of 17?
False
Let c = -17 - -17. Suppose c = -2*u + 24 - 8. Is 2 a factor of u?
True
Let g be 24*(-6)/(5 - 4). Does 25 divide (-8032)/g - 4/(-18)?
False
Let k(z) = -2*z**2 + 3*z + 8. Let c(f) = 5*f**2 - 5*f - 16. Let p(t) = 6*c(t) + 14*k(t). Is 52 a factor of p(-12)?
False
Let p be 15*1*(-36)/(-45). Let y(m) = m**3 - 13*m**2 + 12*m + 1. Let o be y(p). Does 13 divide 3 + 0 + 22/o?
False
Let v be (-57)/(-38)*104/6. Let t = v + -22. Suppose 38 = 3*j - t. Is j a multiple of 7?
True
Suppose 5*o = -5*k + 1985, -2*k + 24 = o - 375. Is o a multiple of 14?
False
Let l be -1*((-45)/12)/(3/12). Suppose 49 = l*w - 8*w. Is 7 a factor of w?
True
Let a be 12/16 - 772/(-16). Let p = 7 + a. Is p a multiple of 25?
False
Let y(c) = 4*c**2 - 52*c + 4. Let l be y(13). Suppose -4*q = 3*h - 251 - 41, l*q - 272 = 2*h. Does 10 divide q?
True
Let z(r) = -14*r + 1068. Is 34 a factor of z(-39)?
False
Let u = 24 - 14. Suppose -155 = u*g - 835. Is g a multiple of 5?
False
Suppose -5*t - 20 = 0, -r = 2*r - 2*t + 1912. Is 16 a factor of (-24)/10*r/48?
True
Suppose 11 = 3*o - 1. Suppose 2*x = j + j + 16, -4*x - o = 5*j. Is (1 - x) + 136/4 a multiple of 31?
True
Let m = -5478 + 8636. Is 28 a factor of m?
False
Suppose 7*q + 16 = 4*q - i, 4*q + 19 = i. Let z be ((-6)/q)/((-21)/(-1400)). Is 17 a factor of (40/(-32))/((-2)/z)?
False
Let x = -6 - -4. Let a(k) = -23*k - 7. Is 13 a factor of a(x)?
True
Let n(v) = 13*v - 34. Let m(r) = -4*r + 11. Let z(y) = -7*m(y) - 2*n(y). Let a be z(7). Let i = a + 39. Is i a multiple of 11?
True
Suppose t - 4*t - 1 = -4*o, 5*o - 25 = -t. Suppose -r + t*u + 119 = 0, 179 = r + 4*u + 42. Suppose m + 1 = h - 31, 0 = 4*h - 3*m - r. Is 14 a factor of h?
False
Suppose -g + 5*q + 153 = g, 4*q = -g + 44. Let f = 73 - g. Is f a multiple of 9?
True
Let d(n) = 10*n - 8. Let l be d(12). Let m be l/(-21)*(-1 + -11). Is 1560/m + (-6)/16 a multiple of 8?
True
Let b = -53 - -58. Suppose x = b*v + 29, -4*x + 6*x - 58 = v. Is x a multiple of 3?
False
Is 58/((-1 - -4) + (-175)/60) a multiple of 24?
True
Let c(z) = z**2 + 6*z - 7. Let i be (-1 + 0)*(-51)/17. Is 10 a factor of c(i)?
True
Suppose 6*a = 4*a - 114. Let s = -38 - a. Is 17 a factor of s?
False
Suppose -881 = 19*z - 20*z. Is z a multiple of 20?
False
Let k be (-2)/((-8)/4)*2. Is k/(-10) - 1803/(-15) a multiple of 30?
True
Suppose -2*s = -0*s - 6. Suppose 4*t = s*z + 53, 14 = t + z - 2*z. Suppose -156 = 8*w - t*w. Is w a multiple of 9?
False
Suppose -u + 275 + 305 = 3*g, 382 = 2*g + 3*u. Let x(a) = 120*a**2 + 3*a - 2. Let w be x(1). Let c = g - w. Does 25 divide c?
False
Suppose 2*k - 855 = -3*k + 5*a, -5*a - 681 = -4*k. Let x = k - 118. Does 8 divide x?
True
Let q(x) = -2*x - 15. Let j(f) = 0 + 3 - 13*f**2 + 13 - 16*f + f**3. Let w be j(14). Is 9 a factor of q(w)?
True
Let g(l) be the first derivative of -2 - 3/2*l**2 + 13/3*l**3 - 2*l. Does 14 divide g(-1)?
True
Let g = -272 + 386. Does 38 divide g?
True
Let r(p) = -5*p**2 - 10*p - 9. Let u(l) = -9*l**2 - 19*l - 17. Let m(w) = 5*r(w) - 3*u(w). Is 11 a factor of m(-7)?
True
Let s = -39 + 34. Let n = 61 - s. Is 22 a factor of n?
True
Let j(s) be the third derivative of 0*s + 0 - 1/6*s**4 - 4*s**2 - 1/30*s**5 - 5/6*s**3 - 1/120*s**6. Does 14 divide j(-4)?
False
Let g be 93*10/(-21) - 2/(-7). Let i = -11 - g. Is 2 a factor of i?
False
Suppose g - 5*g = -4*f + 36, -2*g = 4*f - 30. Is 36 a factor of 20*(f/(-14) + (-36)/(-14))?
False
Suppose -16 = -3*j - 5*j. Suppose j*n - 3*k - 48 + 12 = 0, 4*n - k - 72 = 0. Is n a multiple of 6?
True
Let h(q) = 3*q**2 + 5*q - 4. Let c be h(-4). Suppose -f - 4*f + 30 = -3*b, f + 3*b = c. Does 5 divide f?
False
Let m be ((-58)/4)/(2/(-4)). Suppose -21 = f - 2*z, 0 = -f + 2*z + 2*z - 29. Let j = m + f. Does 6 divide j?
False
Let s(d) be the second derivative of 13/2*d**2 - 1/6*d**3 + 1/12*d**4 + 0 + 2*d. Is s(0) a multiple of 11?
False
Let d(g) = -3*g**2 + 59*g + 20. Let c be d(20). Let a be 31 + 1 + -2 + 3. Suppose c - a = -3*t. Is t a multiple of 5?
False
Let r be ((-352)/(-112))/(2/14). Suppose k = 2*k - r. Is k a multiple of 22?
True
Let a(p) = p**3 + 4*p**2 - 4*p + 2. Let d be a(-4). Suppose -2 - d = 4*c, 3*n + 28 = -2*c. Is 23 a factor of 1/n - 830/(-12)?
True
Suppose 7 - 4 = q. Suppose -3*t = -0*t - 3. Does 11 divide 64/6 + t/q?
True
Let p(u) = -u**3 - 2*u**2 + u + 2. Let t be p(-1). Suppose t*a - 60 = -2*a. Does 10 divide a?
True
Let z = 73 - 60. Suppose -k + z = -16. Is k a multiple of 5?
False
Suppose -161 = -11*f + 1698. Suppose -5*b + 1184 = f. Is b a multiple of 29?
True
Let v(r) = -r**3 + 11*r**2 + 11*r + 14. Let a be v(12). Let n(b) = 9*b**3 + b**2 - 4*b + 3. Does 14 divide n(a)?
False
Suppose 41*a + 4*l - 908 = 39*a, -l = -5*a + 2237. Is 64 a factor of a?
True
Let v = 331 + -148. Does 11 divide v?
False
Let g(n) = n**2 + 7*n - 3. Let w be g(-7). Let s be (-53 + -3)*w/(-4). Is s/(-4) - 9/(-18) a multiple of 6?
False
Suppose -2*n + 14 = -4*h, 2*n + 0*n - 29 = h. Is 17 a factor of ((-9)/3 - -3) + n?
True
Let x(p) = 2*p**2 + 14*p + 47. Is x(-17) a multiple of 9?
True
Suppose 6*a - 246 = -0*a. Let f = a + 15. Let d = 1 + f. Is 19 a factor of d?
True
Let g be (7*-3)/(3/(-2)). Suppose -4*d = -r + 5, -g - 1 = -3*r - 4*d. Suppose -3*j + 51 - 5 = 5*m, r*j = -m - 4. Does 5 divide m?
False
Let k = 118 - 5. Does 33 divide k?
False
Let a = -22 + 