de d?
False
Let p be -1 - (-9)/(3 - 0). Suppose -p*j = 3*j. Suppose b - 4*f + 7 = j, 3*f - 16 = -1. Is 7 a factor of b?
False
Suppose 2*d - 3*d + 6 = 0. Suppose -d*r + r + 50 = 0. Is 13 a factor of (-4)/r*(-59 + -6)?
True
Let r = 9 - 7. Let k(b) = 6 + 6*b**r + 3*b - 8*b**3 - 11*b + 9*b**3. Is k(-7) a multiple of 7?
False
Let t be (-35)/(-2) + 5/(-10). Suppose t*w - 192 = 13*w. Is w a multiple of 24?
True
Suppose 5*u + 4*q = q + 12, -q = 1. Let f = u - -30. Is f a multiple of 12?
False
Let f = 0 - 0. Let y = 0 - f. Suppose y*j = -5*j + 120. Is j a multiple of 11?
False
Suppose -c + 61 = -3. Is 16 a factor of c?
True
Suppose -3*z + 3*s + 306 = s, z - 95 = 3*s. Is 26 a factor of z?
True
Let f be 66/(-4) - (-1)/2. Let s be 17*((0 - 2) + -1). Let x = f - s. Is 12 a factor of x?
False
Suppose 49 + 89 = 3*t. Let r = t + -29. Is 7 a factor of r?
False
Is -1 - (-90)/2 - 0 a multiple of 11?
True
Suppose 5*x - 2*y = 51, 5*y - 1 = -16. Does 5 divide x?
False
Let f = -2 - -2. Suppose -5*o + 118 + 72 = f. Suppose 0*j - 2*j - o = -2*k, 0 = 2*k + j - 53. Does 12 divide k?
True
Suppose 0*f + 5*n + 16 = -3*f, -4*n = 20. Suppose 3*c - 4*c + 21 = -h, -c = -f*h - 23. Is 17 a factor of c?
False
Suppose -q - 3*w = 8, 4*q - 3*w + 7*w = -16. Let t(s) be the first derivative of s**3/3 - s**2 - 2*s + 1. Is 3 a factor of t(q)?
True
Let k = -117 + 205. Does 4 divide k?
True
Let j = 56 + -8. Is j a multiple of 16?
True
Suppose -w = -5*u + 329, -u - 3 = -7. Let l be (w/6)/(1/(-4)). Suppose 5*r - 4*z = l, -r + 6*r + 5*z - 170 = 0. Is r a multiple of 16?
False
Let g(w) = 30*w**2 - 2*w. Let j be g(-2). Let l = j - 89. Is 9 a factor of l?
False
Suppose -15 = -6*f + 4*f + 3*b, f - 10 = 4*b. Suppose 0 = -x + 2*x - f. Is x a multiple of 3?
True
Suppose 5*j + 4*v = -6, 8 + 10 = -j - 5*v. Suppose 2*w - 10 = 0, 0*o - 4*w = j*o - 40. Does 3 divide o?
False
Let v(x) = 7*x - 4. Suppose 3*k + 242 = 2*l, -5 + 0 = -5*l. Let n be k/(-14) + 2/7. Does 19 divide v(n)?
True
Let h(x) = x**2 + 7*x - 4. Let t be h(-8). Is 25*(-3 + t) + -1 a multiple of 24?
True
Suppose 150 = -2*u - 3*u. Is 13 a factor of 134/10 + 12/u?
True
Let r(u) = u**3 + 7*u**2 - 5*u - 8. Let l be r(-7). Suppose 3*a - 48 - l = 0. Let h = a - 16. Is h a multiple of 3?
True
Let n(k) = -k**3 + 20*k**2 - 13*k + 40. Is 14 a factor of n(19)?
True
Does 4 divide (-2 + -8)/((-6)/63*3)?
False
Suppose -3*y - 40 = -5*y. Let c = y + -9. Is 8 a factor of c?
False
Let p(s) = 19*s - 4. Does 22 divide p(6)?
True
Let n = 17 - -72. Is n a multiple of 20?
False
Suppose 4*k - 63 = 5*z, -75 = -5*k + 2*z + 3*z. Does 3 divide k?
True
Suppose p - s - s + 8 = 0, 0 = -4*s + 12. Let k be (p - -43)*(2 - 1). Suppose -k - 15 = -4*c. Is 7 a factor of c?
True
Let s be -1 + 9/(-3) + -2. Let r be 8/(-12) - 34/s. Suppose 4*o + 3 + 14 = 3*g, r*g - 40 = -5*o. Is g a multiple of 7?
True
Let r(t) = t**3 + 2*t - 2. Let q = 10 + -15. Let n = -3 - q. Does 5 divide r(n)?
True
Suppose 9*a - 500 = 4*a. Suppose -3*m = -7*m + a. Is 22 a factor of m?
False
Let x(h) = 18 + 8*h - 18 - 3*h. Is x(6) a multiple of 17?
False
Let o be (34/6)/((-6)/18). Let t(u) = u**2 + u + 17. Let l be t(0). Let v = l - o. Is v a multiple of 12?
False
Let m(y) = 17*y + 1. Suppose 3 = s + 2. Is 6 a factor of m(s)?
True
Let m be -7 + 2 - 5/5. Is 23 a factor of (3 - 141/m)*2?
False
Let i(x) = -x**3 + 5*x**2 - x + 7. Let t be -2 + 7 - 0/3. Suppose 0 = -t*z + 4*z + 5. Does 2 divide i(z)?
True
Suppose 3*y = 10 - 4. Suppose -w + 42 = y*w - 3*x, -5*w + x = -78. Does 8 divide w?
True
Let t(h) = h**3 + 8*h**2 - 2*h - 3. Does 20 divide t(-4)?
False
Let v = -13 - -17. Suppose -b - v*q - 7 = -22, 5*b + 4*q = 107. Does 8 divide b?
False
Suppose i + 7 = 4*g, 2*i = -0*i - 5*g + 25. Suppose -i*t - 5*v = -305, -v - 51 = -t + 3*v. Is 20 a factor of t?
False
Let t be 4*(-13)/(-2) + 0. Let b be -2 - (-16)/4 - 0. Suppose -2*i - t = -4*q - 80, -b*i = 2*q - 72. Is i a multiple of 11?
True
Let d(c) = 7*c + 5. Let m(h) = 8*h + 5. Let r(l) = -6*d(l) + 5*m(l). Let i be r(-5). Suppose -t + i*t - 8 = 0. Is 2 a factor of t?
True
Suppose f + 2*u - 7*u = 113, -u - 190 = -2*f. Is 31 a factor of f?
True
Let o = -31 + 91. Does 9 divide o?
False
Suppose -8*f = -70 - 290. Is f a multiple of 9?
True
Let k(p) = -p**2 - 12. Let m be k(0). Let v = m + 30. Is 18 a factor of v?
True
Let d(n) = n**3 + 5*n**2 + 7*n + 6. Suppose -5*p + 5*g - 15 = 0, 0*p + 1 = -p + 3*g. Let o be d(p). Let j(k) = -k**3 - 6*k**2 - 2*k + 2. Does 6 divide j(o)?
False
Let j = 494 + -95. Is 49 a factor of j?
False
Let g(x) = -13*x**3 + 6*x**2 + 16*x - 16. Let r(w) = 4*w**3 - 2*w**2 - 5*w + 5. Let l(n) = -2*g(n) - 7*r(n). Is 23 a factor of l(-3)?
False
Let b(a) = -12*a - 13. Does 21 divide b(-7)?
False
Suppose 2*g = -3*g - 35. Let t = g + 15. Is t a multiple of 8?
True
Suppose -8 = -3*k + g, 0*k - 3*k + 2*g + 4 = 0. Suppose 2*s = -2*s, -s + 16 = k*f. Suppose -f*i + 28 = -2*i. Does 7 divide i?
True
Let o = 7 - 3. Suppose i + 300 = o*q, -i = -2*q + 2*i + 140. Suppose 5*l = q - 16. Is 6 a factor of l?
True
Suppose -955 = -22*z + 1663. Is z a multiple of 40?
False
Suppose -5*y - 12 - 3 = 0. Let v be y/(-3) + (21 - 1). Suppose 3*f - 21 = v. Is f a multiple of 5?
False
Let q = -4 - -8. Suppose 0 = 2*u + 4, -2*n + 6 = q*u - 0. Is n a multiple of 6?
False
Suppose -w + p = 1, -2*w + 3 = -7*w + 4*p. Let o(x) = 0*x + 25*x**3 - 8 + x**2 + 7 + x. Is o(w) a multiple of 13?
True
Is 18 a factor of ((-12)/15)/(-2) - 2956/(-10)?
False
Suppose 0 = -5*x + 4*r - 0*r - 6, 0 = -r + 4. Suppose x*b = 5*b - 48. Does 16 divide b?
True
Let h = 7 - 10. Let w be (-1)/(h/(0 - -3)). Suppose n + 5*q = -w + 27, 28 = 4*n + q. Does 6 divide n?
True
Suppose -3*f - 8 = -5*f. Suppose -4*i + 19 = -g, -g + 3*i + f = 21. Let u = 5 - g. Is u a multiple of 7?
False
Let k(f) = -f**2 + 8*f - 1. Let v be k(7). Let c(b) = -4*b + v*b**2 - b**3 - 2 + 2*b**3 + b. Does 15 divide c(-5)?
False
Suppose -q - 6 + 27 = 0. Does 7 divide q?
True
Let g = -7 - -12. Suppose -g*c = -h + 25, -6*h + 5*c = -2*h - 25. Does 8 divide h + 22 + 0/6?
False
Suppose 3*i - 8*i + 3*x = -222, -4*i + 2*x + 176 = 0. Is 20 a factor of i?
False
Let b be ((-2)/4)/(1/(-6)). Suppose -37 = b*o - 10. Let w = 41 + o. Is w a multiple of 12?
False
Let o be (-4)/(-1) - 4/4. Suppose 5*u = c + 21, -c - o*u = -u. Let k(j) = j**3 + 6*j**2 - 4*j + 8. Is 16 a factor of k(c)?
True
Is 4 - 8/(((-8)/38)/2) a multiple of 7?
False
Suppose -x = 2*d - 131, -3*x + 6*x + 322 = 5*d. Is 19 a factor of d?
False
Let f(b) = b**3 + 8*b**2 + 5*b - 4. Let c be f(-7). Suppose -m + c = -78. Suppose 3*a - m + 22 = 0. Is a a multiple of 11?
True
Suppose 0 = 3*l + 58 + 17. Let c = -13 - l. Is c a multiple of 5?
False
Suppose j - 47 = -3*z, -4*z = -3*z + 1. Suppose -j - 271 = -3*b. Suppose 3*p - b = -5. Does 17 divide p?
True
Let i = 36 - -38. Let y = i + -51. Suppose 4*k - 53 = y. Is 7 a factor of k?
False
Let u(n) = -21*n - 2. Is u(-2) a multiple of 10?
True
Let y(p) = 4*p - 5. Let l(n) = -3*n + 4. Let v(t) = 7*l(t) + 6*y(t). Is v(5) a multiple of 13?
True
Let l(m) = m**3 - 10*m**2 - 5*m + 5. Let f be l(10). Let w = f - -77. Is 16 a factor of w?
True
Let x(i) = i**2 + 125. Is x(0) a multiple of 25?
True
Let g be -17 - (-4 - (-2 - 0)). Let z = g + 30. Is (-321)/(-15) + (-6)/z a multiple of 19?
False
Let a(y) = -2*y**3 - 3*y**2 + 2. Let s be a(-2). Let i = s + -4. Let z(o) = 5*o**2 - 2*o + 2. Is z(i) a multiple of 9?
True
Let s = -4 - -4. Let v(x) = x**3 - x**2 + 31. Let t be v(s). Let f = 57 - t. Is 13 a factor of f?
True
Suppose 0*l + 4*l - 12 = -j, 0 = -2*j + l + 24. Is j a multiple of 3?
True
Let d(b) = -b**3 - 3*b**2 + 7*b + 6. Let w be d(-5). Let t = -12 + w. Does 9 divide t?
True
Let i = -1 - -2. Let t be -1 + -1 - -6*i. Suppose 0 = 5*h + 10, 3*v - h - 46 = t*h. Is v a multiple of 7?
False
Let s(j) be the second derivative of -j**5/20 + 7*j**4/12 - j**3/3 - 5*j**2/2 + 7*j. Is s(5) a multiple of 7?
True
Let g = 49 + 30. Is g a multiple of 33?
False
Let r be -2 + 39/(-1 + 0). Let q = -18 - r. Suppose o - q = -3. Does 8 divide o?
False
Let l(w) be the first derivative of w**3/3 + 7*w**2/2 - 11*w + 1. Does 7 divide l(-9)?
True
Suppose 8 = 5*l - 12. Suppose -2*m + l*m - 44 = 0. Is 22 a factor of m?
True
Let d(g) = -g**2 - 20*g - 20. Let i be d(-16). Let c be 1 + -3*(-4)/6. Let j 