 Suppose -3*c + 21 + s = 0. Is c a multiple of 7?
False
Let q be (27/6)/(9/12). Suppose 0 = 2*u - u - q. Is u a multiple of 6?
True
Let l be (-6)/9*6/4. Let f be ((-30)/4)/(l/26). Suppose 2*m - 156 = -4*d, 5*m - m + f = 5*d. Is 13 a factor of d?
True
Let d(k) = -5*k - 2. Let m be d(7). Let b = -22 - m. Does 15 divide b?
True
Let c be (-5)/3 + 2/3. Let b be -1 - (c - -1*2). Is b + 2/2 - -12 a multiple of 6?
False
Suppose 5*a + 200 = 10*a. Is a a multiple of 12?
False
Suppose -h + 12 = -0*h. Does 12 divide h?
True
Let q(n) = -n - 2. Let b(l) = -2*l + 7. Let t be b(5). Let v be q(t). Does 16 divide (-1 - v)/((-1)/13)?
False
Let f = -8 + 29. Is f a multiple of 3?
True
Suppose 2*b = s - 0*s + 58, 144 = 5*b - 3*s. Is b a multiple of 8?
False
Let u = 0 + 7. Let r(b) = 3*b - 9. Let a be r(u). Suppose -a = -5*d + 13. Is d a multiple of 2?
False
Let c = 173 + 10. Suppose x = -2*x + c. Is 14 a factor of x?
False
Suppose y = -4*r + 236, 2*r + 4*y + y = 118. Does 4 divide r?
False
Let s = 0 + -1. Let c = s + 3. Does 3 divide (3/(-4))/(c/(-8))?
True
Suppose -672 = -6*k - 30. Is k a multiple of 6?
False
Let x = -10 - -37. Is x a multiple of 27?
True
Let r(j) be the first derivative of j**2 - 5*j - 1. Let q be r(5). Suppose 9 = 2*o - q. Does 5 divide o?
False
Let j(o) = -o**2 + 6*o - 2. Suppose -2*r - 3 = 4*g - 19, 21 = 5*g + 2*r. Let l be j(g). Suppose 96 = l*y - 0*y. Is y a multiple of 15?
False
Let s(z) = z + 5. Let p be s(0). Suppose p + 93 = 2*h. Does 12 divide h?
False
Let o(a) be the third derivative of -a**6/120 + a**5/10 + a**4/4 + 5*a**3/3 - a**2. Let h be -7*(-2 + 4 - 3). Is o(h) a multiple of 3?
True
Let q(d) = d**3 + 12*d**2 + 16*d - 13. Is q(-9) a multiple of 17?
False
Suppose -4*u + 228 = 4*o, 0 = 5*u - o - 224 - 79. Is u a multiple of 5?
True
Suppose -5*u + 35 = -5*c, 0 = -3*c - 0*c - 15. Suppose 0 = -4*y + u*b + 66, -b - 2*b - 4 = -y. Is y a multiple of 9?
False
Suppose c - 20 = -3*f, -2 = 2*c - 3*c. Let m(p) = -p**3 + 6*p**2 + 6*p - 7. Is 8 a factor of m(f)?
False
Suppose -3*l = -575 + 83. Is l a multiple of 35?
False
Suppose 7*p - 42 = -7. Is 5 a factor of p?
True
Let s(b) = -b**3 - 5*b**2 + 5*b + 4. Let j(u) = -5*u**2 - 1. Let y be j(1). Let x be s(y). Suppose 3*w - 2 = x. Does 4 divide w?
True
Suppose 6*u = 3 + 75. Is 4 a factor of u?
False
Is ((-202)/(-4))/(1/2) a multiple of 35?
False
Let a(d) = -d**2 - 11*d - 6. Is 11 a factor of a(-7)?
True
Suppose -20 = -r - 4*r, -5*r + 658 = 2*t. Is t a multiple of 23?
False
Let m(a) = -a**3 - 8*a**2 - 7*a + 4. Let u be m(-7). Suppose 40 = 2*c - 4*l, -u*c + 2*c = l - 60. Does 14 divide c?
True
Suppose -4*o = 4*q - 7*q - 14, -3*q = 6. Suppose -2*i - o*j = -42, 4*j - 33 + 13 = 0. Is 9 a factor of i?
False
Let h be (-3)/6 - (-22)/4. Suppose -2*p = -o - 5, 5*p - o + h = -2*o. Suppose -5*b + 37 + 8 = p. Is b a multiple of 5?
False
Suppose 22*m = 21*m + 36. Does 3 divide m?
True
Suppose 4*l + x - 16 = 5*x, -5*x = -l - 4. Let u be ((-2)/l)/((-4)/84). Let i = u + -2. Is i a multiple of 2?
False
Suppose 0*p + p = 4. Suppose -p*w + 39 + 121 = 0. Is 20 a factor of w?
True
Let p(b) = -b**2 + 18*b - 36. Is 2 a factor of p(10)?
True
Let g be ((-3)/3 - -1)/1. Suppose -2*w + 3*i + i + 20 = g, w + 3*i - 10 = 0. Suppose -w = -b - 2. Is 3 a factor of b?
False
Does 10 divide ((-11)/2)/(4/(-8))?
False
Suppose 2*f - 184 = 110. Is 21 a factor of f?
True
Let t = 2 - 10. Let x = t - -59. Does 17 divide x?
True
Suppose 33 - 9 = 3*n. Suppose m = j + 6 + n, 3*j = -3. Let o = -9 + m. Is o a multiple of 4?
True
Let a(t) = 3*t**2 + 3*t - 11. Let m(q) = -q**2 - q + 5. Let h(y) = 2*a(y) + 5*m(y). Does 7 divide h(-5)?
False
Let a(t) = -28*t - 7. Is a(-4) a multiple of 35?
True
Suppose 47 = -5*l - 148. Let h = 91 + l. Is 26 a factor of h?
True
Let d = -16 + 9. Let a(s) = -s**2 - 9*s + 1. Does 15 divide a(d)?
True
Let n = 441 + -206. Suppose 6*f - f - n = 0. Is f a multiple of 18?
False
Let t be (-4)/(-10) + 16/10. Suppose 2*o + t*o - 452 = 0. Is o a multiple of 29?
False
Let d = 126 + -72. Does 12 divide d?
False
Suppose 3*q + 12 = 0, 0 = 2*h - 3*h + 2*q + 63. Is 11 a factor of h?
True
Let l = 355 + -607. Let b = -153 - l. Is b a multiple of 33?
True
Let z(g) = -6*g**3 + 5*g**2 + 7. Let b(v) = v**2 + 1. Let a(h) = -6*b(h) + z(h). Let f be a(-2). Suppose -4*w - w = -f. Is 5 a factor of w?
False
Let j(o) = o**3 - o**2 + 4*o - 2. Let c be j(3). Suppose 0 = -0*b + b - 2*n - 14, c = 2*b - 2*n. Does 6 divide b?
False
Let m be (-1)/3 + 1/3. Suppose 5*x + 3*n = 80, -3*x + 6*x + 4*n - 48 = m. Is x a multiple of 8?
True
Let j be ((-6)/7)/(2/(-14)). Let q = 14 - j. Does 7 divide q?
False
Does 7 divide 39/1 + (-4 - (-4)/1)?
False
Let b(p) = p**2 + 2*p - 6. Let m be b(-5). Let f(i) = -2*i + 13. Let q be f(m). Let j(o) = 2*o**2 + 3*o - 2. Is 13 a factor of j(q)?
False
Let f = -3 - -8. Let i = -1 + f. Suppose 5*j - 42 = -3*b, 4*b - 32 = -i*j - 0*b. Is 3 a factor of j?
True
Let f(m) = 2*m - 7. Suppose 4*p - 13 = 19. Is 9 a factor of f(p)?
True
Let c(z) = z**3 - 5*z**2 + 4. Let r be c(5). Suppose 5*p - r = 16. Is p a multiple of 4?
True
Let n(h) = h**2 - 2*h - 8. Let p be n(14). Suppose p = -13*r + 17*r. Is 8 a factor of r?
True
Is 24 a factor of (44 - -1) + (2 - (5 + -6))?
True
Suppose -x = -13 - 8. Is x a multiple of 11?
False
Let q(z) = z**3 + 5*z**2 + 2*z - 4. Let f be q(-3). Suppose -3*a + a - 7 = -v, 0 = v + 4*a + 11. Is f/2*(6 + v) a multiple of 15?
False
Suppose 0 = -0*h + 5*h - 655. Let j be h + (0 - (-2 - -2)). Suppose -157 = -4*d + j. Is 25 a factor of d?
False
Suppose 65 = 7*l - 2*l. Suppose -4*v + 1 = -11. Let k = l - v. Does 10 divide k?
True
Suppose -2*f = -3*f - 2*d + 76, 5*d = 4*f - 265. Is 35 a factor of f?
True
Is 40 - (-7)/(14/(-8)) a multiple of 6?
True
Suppose h - 3*h = 54. Let m be (2 - 10/4)*2. Does 9 divide (1 - m)/((-3)/h)?
True
Is 10 a factor of (-3 - 85/(-20))*8?
True
Suppose -2*y + r + 0*r + 87 = 0, y - 2*r = 36. Let f = 7 + -5. Suppose -f*i = 2*b - y, 3 = -i + 2*b + 14. Is i a multiple of 19?
True
Suppose -5*d = -27 + 7. Suppose -3*r - p = -136, r + 139 = 4*r + d*p. Is 20 a factor of r?
False
Let b be (-19)/3 - (-6)/(-9). Let i = b + 3. Is 24 a factor of i/(-6) + (-568)/(-12)?
True
Suppose 309 = 2*b + 5*s, -3*s - 3 = -6*s. Is b a multiple of 30?
False
Let k = -50 - -210. Is 10 a factor of k?
True
Let z(k) = -k**2 + 1. Let s be z(0). Let l be (-2 + s + 16)*-3. Is 13 a factor of 706/18 - (-10)/l?
True
Let w(t) = 4*t + 14. Is w(7) a multiple of 14?
True
Suppose j - 2*q = -j + 140, -4*j + 2*q = -270. Is 23 a factor of j?
False
Let f(h) = h**3 - 6*h**2 - 6*h - 5. Let v be f(7). Suppose -v*b = -2*z + 4, 5*z = 3*z + 3*b + 1. Suppose 0 - 25 = -z*m. Is 3 a factor of m?
False
Suppose -2 - 6 = -i. Does 8 divide i?
True
Suppose 2*n + 30 = 3*a, -2*n - 15 = -n - a. Let b be 52/(-10) + (-8)/(-40). Let i = b - n. Is i a multiple of 10?
True
Is (-4)/(-22) - (-9158)/209 a multiple of 13?
False
Suppose -7*k = 5*c - 3*k - 16, 0 = c - 5*k + 20. Suppose c*o - 14 = o. Is (-2)/(-7) - 80/o a multiple of 6?
True
Let l = 47 - 14. Is l a multiple of 11?
True
Suppose 3*d = -3*x + 36, 3*d - 40 = -2*d + 5*x. Is d a multiple of 5?
True
Suppose 2*s - 2*h = 92, 5*s - 7*s + 112 = 3*h. Is 6 a factor of s?
False
Let k(z) = z**3 + 5*z**2 - 2*z + 7. Let i(w) = w - 1. Let l(x) = -6*i(x) - k(x). Let v be l(-4). Let m = v - -7. Does 6 divide m?
True
Suppose -5*v = -760 + 180. Suppose -a = -5*a + v. Is a a multiple of 17?
False
Suppose -c - 3 = 0, -3*c - 132 - 107 = -5*r. Is 23 a factor of r?
True
Let t(k) be the third derivative of k**5/60 + 5*k**4/24 - k**3/2 - k**2. Is t(5) a multiple of 12?
False
Let w = -29 + 41. Suppose -2*n - w = 4*s, 2*s - 8 - 2 = -5*n. Suppose 0 = -n*h - 8, -5*l + 3*h + 36 = -2*l. Is l a multiple of 10?
True
Suppose 0 = -2*j - 8, -3*j - 1 - 6 = 5*l. Let k be (l - 3)*(1 - 2). Suppose k*a - 17 = 39. Is 11 a factor of a?
False
Let p = -15 - -31. Is 5 a factor of p?
False
Suppose 0*d = -2*d - 22. Let r = d - -39. Is 11 a factor of r?
False
Let q = 5 - 0. Suppose -122 = -3*c - a, -3*c + 0*c + 118 = q*a. Is c a multiple of 25?
False
Suppose -38 - 12 = -5*q. Let r = 0 + q. Is r a multiple of 5?
True
Suppose 5*i - 35 = -0*i. Let v(h) = -h**3 + 6*h**2 + 9*h + 9. Is v(i) a multiple of 8?
False
Let o(n) be the third derivative of n**5/15 + n**