 5 + x. Suppose n*i - i - 52 = 0. Does 5 divide i?
False
Let x(i) = -85*i - 1. Let d be x(3). Does 11 divide (d/40)/(1/(-10))?
False
Is 10 a factor of (-1212)/(-24) + (-3)/2?
False
Suppose 55 = -2*b - 3*b + 5*f, -2*f + 12 = -b. Is 10 a factor of (b + -3)/(1/(-2))?
False
Let q = -5 + 9. Suppose 5*t + 5 = 25. Let m = q + t. Is 4 a factor of m?
True
Suppose 2 = -s, -109 = 2*u - 5*u - s. Suppose -3*c = -2*c + 4*f - u, -115 = -4*c - 5*f. Let i = c + -4. Is i a multiple of 7?
True
Let r be (-1)/(-2) - (-6)/4. Suppose d = -4*s + 44, d - 2*s - r*s = 60. Suppose 4*j = 76 + d. Is j a multiple of 16?
True
Suppose 4*a + a - 50 = 0. Suppose 4*c - 8 = 12. Suppose -a = -t - c. Is 5 a factor of t?
True
Suppose 6 = l + 2. Let z(c) = 41*c - 3. Let q be z(l). Suppose -41 + q = 3*k. Does 17 divide k?
False
Let k = 8 + -2. Let j be ((-2)/k)/(2/(-12)). Suppose -17 - 3 = -j*c. Is 6 a factor of c?
False
Let o(y) = 4*y - 2. Let p be o(-1). Suppose -3*b + 2 = -b. Let i = b - p. Is 7 a factor of i?
True
Let a(j) = j**2 + 8*j - 33. Does 13 divide a(15)?
True
Let m(n) = n**2 - 2*n - 4. Let c be m(-4). Suppose 0*k - 5*v = -2*k + c, -2*k + 20 = -v. Does 10 divide k?
True
Let u be 3 + 1 + -1 - 2. Let p = 4 - u. Suppose -4*w + 31 = p*v - 19, v = -5*w + 68. Does 8 divide w?
False
Let r = -128 + 23. Let z = -69 - r. Suppose 2*p + z = 6*p. Is p a multiple of 6?
False
Let b(c) = 5*c**2 + 3*c. Suppose 4*q + 2*j - 2 = 0, 4*q - j - j = 22. Is 18 a factor of b(q)?
True
Suppose -3*d = -4*d - 5*i + 30, 3*i - 22 = -d. Suppose 2 = z + 5*x, -33 = -d*z + 5*z - 2*x. Is 5 a factor of z?
False
Suppose 16 = 9*s - 47. Does 4 divide s?
False
Is (-8)/(-52) - (-1920)/26 a multiple of 10?
False
Suppose -4*o + 4*a = 0, -3*o = a - 4 - 8. Suppose 0*t = 4*t + 2*s - 26, 0 = -4*t + 4*s + 8. Suppose -66 = -t*d + o*d. Is d a multiple of 11?
True
Let j(x) = -7*x**3 - x**2 - x. Let n be (3/6)/(2/12). Suppose 8*d + 5 = n*d. Is 3 a factor of j(d)?
False
Let a = -8 - -29. Suppose -a*k = -17*k - 164. Is 13 a factor of k?
False
Let v be (-116)/12 + 1/(-3). Let w = v - -24. Does 7 divide w?
True
Let s(u) = -4*u + 3. Let w be s(7). Let i = w + 13. Let o = 20 - i. Does 13 divide o?
False
Let h(g) be the third derivative of -g**6/60 - g**5/12 - g**4/8 - g**3/3 - g**2. Suppose -2*c - 1 = 3*f, 4*f + 0*c + 8 = -c. Does 14 divide h(f)?
False
Suppose -3*x - 5*d + 3 = -2*d, 3*x = -4*d + 4. Suppose 0 = -x*g - 4*g - 4. Let n(k) = -3*k + 1. Is n(g) a multiple of 3?
False
Suppose -4*a = 0, -a = -4*w - 3*a + 288. Is w a multiple of 18?
True
Let c(n) = -264*n**3 - n**2 + 1. Let p be c(-1). Let q = -74 + p. Suppose 3*j - 98 = 5*m, j = -4*j - 5*m + q. Is j a multiple of 20?
False
Is 1/(1/(-2)) - 13*-1 a multiple of 5?
False
Suppose -92 = 3*h - 4*h. Let d = h - 53. Suppose -4*k + d = 3*l, -3 = 4*k - 3*k. Is l a multiple of 6?
False
Let a be 2*-1*(-6)/12. Let m = a - -1. Is 11 a factor of 3/m*(-156)/(-9)?
False
Let q(m) be the first derivative of -m**3/3 - 2*m**2 + 8*m + 1. Let v be q(-6). Let z(g) = g**2 - 6*g - 6. Does 14 divide z(v)?
False
Suppose -i = 4*i - 10. Is 11 + (2 - (i + -1)) a multiple of 9?
False
Let c(r) = r**2 + 11*r + 6. Let g be c(-11). Suppose -3*b + g = -b. Let z(h) = 2*h**2 - h - 3. Does 12 divide z(b)?
True
Let y(q) = 3*q**3 + 3*q**2 + 3*q - 2. Let a(t) = t. Let j(v) = 3*a(v) - y(v). Does 7 divide j(-2)?
True
Suppose -4*n = -3*n - 4. Suppose 1 - 25 = n*o. Let a = o + 9. Is 3 a factor of a?
True
Let g(y) = -y**3 - 4*y**2 + 9*y + 9. Let w(l) = -2*l**2 + 4*l. Suppose -2*s = s - 9. Let h be w(s). Does 17 divide g(h)?
False
Let w(g) = -g**3 - 3*g**2 - 4*g - 3. Let x be w(-2). Let o be x*(61 + -2 + 0). Let f = o - 42. Does 10 divide f?
False
Suppose -4*o + 14 = -2. Suppose -o*m + 75 = 3. Is m a multiple of 9?
True
Suppose -3 = -2*g + 2*w + 69, -5*g + 210 = w. Is 16 a factor of g?
False
Suppose 5*c - 131 = k + 2*k, 146 = 5*c + 2*k. Suppose -s + 48 = 2*s. Is 7 a factor of (c/s)/(2/8)?
True
Suppose -3*p + 21 = 2*w + 1, -3*p + 16 = w. Suppose -w + 1 = -z. Suppose z*n = 18 + 18. Is n a multiple of 6?
True
Suppose 5*d - d - 6 = 5*y, -24 = -4*d - 4*y. Suppose d*k - 36 = -4*f, k + 3*f - 8 = 3. Is k a multiple of 6?
False
Suppose -i + 7 = 1. Let y be (i/4)/((-2)/20). Let k = 9 - y. Is 12 a factor of k?
True
Let d = 37 + -13. Is d a multiple of 6?
True
Let m(n) be the first derivative of -n**4/4 + 4*n**3 - 4*n**2 - 14*n + 8. Is m(11) a multiple of 4?
False
Suppose 4*p - 6 = 2*v - 140, p + 41 = 3*v. Let a be (p/3)/((-2)/6). Let x = -16 + a. Is x a multiple of 8?
True
Let p(i) = -i. Let f be p(-3). Suppose 8 = f*j - 1. Suppose k = -j*k + 16. Does 4 divide k?
True
Let b(f) = f**2 - 6*f - 1. Let a be b(6). Let h = -4 + a. Let d = -3 - h. Is 2 a factor of d?
True
Let h = -151 + 233. Suppose -h + 11 = -f. Does 20 divide f?
False
Suppose 2*n + 5*g = n + 5, -4*g = 3*n - 4. Let f = 1 - n. Is 1 + f + 13 + -2 a multiple of 13?
True
Let q = 16 - 10. Is q a multiple of 2?
True
Let p = -144 + 239. Does 43 divide p?
False
Let d = -4 + 7. Suppose 7*k - 56 = d*k. Does 3 divide k?
False
Let s(c) = c**2 + 3*c + 3. Does 3 divide s(-3)?
True
Let c be 1/(3/6)*3. Let u(x) = 3*x + 2 + 2 + 4. Is 13 a factor of u(c)?
True
Suppose -4*r = -0*r - 16. Let c be 1/1*(-1)/1. Let u = r - c. Is 5 a factor of u?
True
Let l(u) = u**2 - 12*u + 13. Let m = -2 + 15. Does 7 divide l(m)?
False
Suppose 0 = -o - 3*i + 14, 0 = -6*o + 4*o + 4*i - 12. Let d be -2 - -1 - 0 - -28. Suppose -d + 9 = -o*t. Is t a multiple of 7?
False
Let u(f) = 5*f - 2 - 13*f + 3. Let q be u(-1). Let j(c) = c**3 - 9*c**2 + 12. Is 6 a factor of j(q)?
True
Suppose -2*t - 4*o + 149 - 33 = 0, 4*t + 5*o = 220. Is 16 a factor of t?
False
Let r = -7 - -12. Suppose 40 = r*t - 15. Is 5 a factor of t?
False
Let t(p) = p**3 - 12*p**2 + 2*p. Is 3 a factor of t(12)?
True
Suppose 2*q - k = 13, -3*k = -q - 4*k + 2. Does 13 divide (15/(-2))/(q/(-10))?
False
Let w = 4 - 4. Suppose 54 = z + 4*x, w + 10 = 2*x. Is z a multiple of 11?
False
Let u = -7 - -16. Is 3 a factor of u?
True
Let o(a) = a**3 + 3*a**2 - a. Let y be o(-3). Suppose 20 = 4*r + 4. Suppose 2*k = r*w - 84, y*k = w - 2*k - 30. Does 10 divide w?
True
Suppose -4*s - 2 = -218. Suppose -4*f - 6*u + 2*u + 56 = 0, -4*f - 3*u + s = 0. Is 9 a factor of f?
False
Suppose 14 = -3*f - 4*n - 0, 2*n = -3*f - 10. Is f - (7 + -2)*-1 a multiple of 3?
True
Suppose 8*y - 170 = 470. Is y a multiple of 8?
True
Let f(r) = 10*r - 1. Let w be f(-1). Let h = w - -24. Is 5 a factor of h?
False
Let g(l) = 41*l + 1. Is g(1) a multiple of 11?
False
Let s(h) = 0 - 14*h + 0*h**3 + 4*h - 1 + 6*h**2 + h**3. Let p be (-14)/(-4)*2*-1. Is 10 a factor of s(p)?
True
Let a = 235 - 101. Let s = -90 + a. Does 17 divide s?
False
Suppose 0*l + 3*a = 3*l - 21, 0 = -3*a - 15. Suppose 20 = 3*k + l. Is 4 a factor of (-1 - (-6)/2) + k?
True
Suppose 17 = 2*s - s. Suppose 0*n - s = -n. Suppose 0 = p + 3*t - n, -p + 0*t + 12 = 2*t. Is 2 a factor of p?
True
Suppose -3*o - 366 = -4*c - 23, 0 = -3*o + 3*c - 339. Is (o - 3)*6/(-8) a multiple of 28?
True
Let t(m) = m - 1. Let f be t(3). Let v = f - 4. Let d(r) = -2*r**3 + 2*r**2 - 2*r - 3. Is 11 a factor of d(v)?
False
Let h = 8 + -8. Suppose 3*z - 2*w - 82 = h, -3*z - w = 4*w - 89. Does 7 divide z?
True
Let n = 1 + 6. Is 10/(-35) - (-436)/n a multiple of 21?
False
Let a(w) = -w**2 + 23*w + 24. Let d be a(24). Suppose -64 = -4*j - 0*j. Let q = j + d. Does 8 divide q?
True
Suppose -5*z + 2*d = -2*d - 780, -15 = -3*d. Is 40 a factor of z?
True
Let q(s) = s**3 - 3*s**2 - s + 4. Let z be (-28)/(-7)*(-1)/(-1). Does 6 divide q(z)?
False
Suppose 5*c - 119 = 526. Is c a multiple of 12?
False
Suppose 6*n - 2*n = 340. Does 17 divide n?
True
Suppose -u + 4*o = -76, -o + 10 = o. Let s = u + -60. Is 20 a factor of s?
False
Suppose -5*r - 500 = -10*r. Is r a multiple of 10?
True
Suppose 290 = 2*u + 3*u. Does 29 divide u?
True
Let y(m) = 3*m + 6. Let t be y(7). Let w = t + 5. Is w a multiple of 8?
True
Is 27/6 - (-9)/6 a multiple of 3?
True
Suppose 7 = 4*w - 197. Is 14 a factor of w?
False
Let b = -298 - -461. Is 33 a factor of b?
False
Let a = 112 + -72. Suppose 0 = -0*r + 3*r + 69. Let i = a + r. Is i a multiple of 17?
True
Is (0 - -38 - 1) + -1 a multiple of 12?
True
Suppose -q = -4 + 1, h + 17 = -5*q. Let k be (-7)/((-2)/(2 + 18)). Let z = h + k. Is 17 a facto