i - 16*i = 450. Does 15 divide i?
True
Let q = 1 + 2. Suppose -143 = -q*p - w, -2*p = -6*p + 3*w + 195. Is p a multiple of 15?
False
Let d = 2 - -1. Is 12 a factor of d + -3 + 32 + 0?
False
Let o = -11 - -11. Suppose o*x - 5*a + 22 = x, -4*x = a - 88. Is 11 a factor of x?
True
Let t = -6 - -11. Suppose 0 = 3*q - t*u - 50, 3*u + 74 = -0*q + 4*q. Is 10 a factor of q?
True
Let l(v) = v + 6. Let f be l(-7). Let d(x) = 8*x**2 - 1. Let j be d(f). Suppose -j*g = -3*g - 84. Is g a multiple of 8?
False
Let f(q) = -2*q - 6. Let r be f(-5). Let i = 6 - r. Suppose -i*b + 3*b = 14. Is b a multiple of 11?
False
Let u = 97 - 23. Let c = u + -41. Is c a multiple of 11?
True
Is 28 a factor of (8/(-12))/((-3)/387)?
False
Let s(w) = w + 3. Let q(t) = 2*t + 4. Let n(p) = -2*q(p) + 3*s(p). Is n(-1) a multiple of 2?
True
Let m = 27 - 27. Suppose 0*b + 5*b - 6 = 4*z, -4*z = b - 6. Suppose m = -2*k + 10 - b. Is 2 a factor of k?
True
Suppose 9 + 11 = -4*q. Let x = 17 + q. Is 12 a factor of x?
True
Let v = -3 + 6. Let t = 5 - v. Let b(y) = 3*y**3 + y**2 - 3*y + 2. Is 12 a factor of b(t)?
True
Let g(d) = -2*d**2 - 16*d - 2. Let f be g(-11). Let w = -40 - f. Is w a multiple of 14?
True
Let r(y) = y**3 - 5*y - 1. Let q(d) = d**3 - 9*d**2 - 11*d + 11. Let x be q(10). Let b = 5 - x. Is 16 a factor of r(b)?
False
Is 10 a factor of (-1 - (-46 - -2))/(0 - -1)?
False
Let t(x) = -x**2 - 12*x + 13. Suppose y + 4*o = -6, -5*y - 4*o - 23 = 23. Is t(y) a multiple of 10?
False
Let c = 2 - 30. Let x = c + 42. Is 14 a factor of x?
True
Suppose -2*c + 5*n = -60 - 62, -4*c = 5*n - 184. Is 21 a factor of c?
False
Suppose -4*g - 12 = -4*l, -g - 4*g - 3*l + 25 = 0. Suppose 2*h - 4 - 2 = 0. Is 15 a factor of (10/h)/(g/9)?
True
Suppose 4*n = 241 + 11. Let a = n - 35. Is a a multiple of 7?
True
Let h(r) = -3 - 6*r**2 + 5*r - 5 - r**3 + r + 4. Let m be h(-7). Suppose m*q + 21 = 4*q. Does 12 divide q?
False
Let d(t) be the first derivative of t**4/4 - 16*t**3/3 + 17*t**2/2 + 16*t + 3. Is 19 a factor of d(15)?
False
Let y(d) = -6*d - 1. Let m be y(-1). Let g(j) = -3*j - 17. Let a be g(-10). Suppose -m*p + 27 = -a. Is p a multiple of 4?
True
Suppose 3*k - 8 = -k. Let r(n) = 3*n**2 + 2 + n**k + 0. Does 8 divide r(-2)?
False
Is (-2 - (-56)/10)*10 a multiple of 12?
True
Suppose -x + 14 = -7. Is 21 a factor of x?
True
Suppose -s + 63 = -4*s. Suppose 0 = -c - 22 - 11. Let g = s - c. Is g a multiple of 7?
False
Suppose -4*m = -0*m. Let r(g) = g**3 + g - 50. Let k be r(m). Does 5 divide k/15*6/(-4)?
True
Let b(o) = o**2 + 5. Let r(p) = -p**3 - 7*p**2 + 3*p - 2. Let u be r(-8). Let n be 2/8 + u/8. Is b(n) a multiple of 15?
True
Let n(q) = -55*q - 11. Let f(k) = -18*k - 4. Let i(u) = 17*f(u) - 6*n(u). Suppose 3*v - 2*a - 3*a - 16 = 0, -2*v = 2*a. Does 19 divide i(v)?
False
Suppose -3*v - 16 = b - 51, -v - b + 11 = 0. Is v a multiple of 12?
True
Suppose 3*w - 39 = -2*b, -2*w + 4 + 6 = 0. Is b even?
True
Suppose -5*u - 2*n = -3*n - 29, 4*n + 8 = 2*u. Suppose 26 = 2*d - u. Is d a multiple of 8?
True
Suppose 4*w - 8 = 2*w. Suppose -2*n + 72 = w*a, -n + 3*n + a = 66. Is n a multiple of 8?
True
Suppose -4*k = s - 180, -k + 4*s + 37 + 8 = 0. Is 15 a factor of 1/(138/k - 3)?
True
Suppose 7*x - 3*x + 22 = 3*z, -3*x - 2 = 5*z. Suppose -z*n + 5 = -n. Let y = n - 2. Is 2 a factor of y?
False
Suppose 0 = -0*f + 5*f - 25. Is 2 a factor of f?
False
Suppose n - 10 = -4*u, -7 = -2*u + 2*n + 3. Suppose s - u*s = -78. Does 20 divide s?
False
Suppose 2*w + 0*w = -10, -3*k + 3*w + 135 = 0. Is k a multiple of 12?
False
Suppose -m + 25 = 4*m. Let g = m + -46. Let u = g + 59. Is u a multiple of 9?
True
Let u = 107 - -3. Is 11 a factor of u?
True
Let j(o) = o**2 + 7*o + 5. Let l be j(-6). Let z be (l - -3) + 3*5. Suppose 5*g = z - 2. Is 3 a factor of g?
True
Let q(y) = -2*y**3 + 8*y**2 - 4*y + 3. Is q(3) a multiple of 2?
False
Let z = 5 + -3. Let b(v) = 11*v**z + 2*v + 2*v - 5*v. Is 10 a factor of b(1)?
True
Does 33 divide 1386/(-7)*9/(-6)?
True
Let y be ((-3)/(-1))/((-9)/(-6)). Let n(k) = 1 + 8*k**y + k - 3 - 3*k**2. Does 10 divide n(2)?
True
Let a be (1 + 0 - 1) + -2. Let q be (-3)/2*a/1. Suppose -44 = -5*k + q*k. Is k a multiple of 9?
False
Suppose -y - 20 = -6*y. Let r(w) = 2 + y + 5*w - w + 4*w**2 - 9. Does 15 divide r(-4)?
True
Let k = -10 + 14. Let q = 6 - k. Let s = q + 16. Is 18 a factor of s?
True
Suppose 14*j = 8*j + 618. Is j a multiple of 16?
False
Let q(m) = -m**2 - 27*m - 10. Is 11 a factor of q(-25)?
False
Let d = 306 + -50. Is 16 a factor of d?
True
Let j(q) = -4*q + 3. Let u be j(-8). Let m = u - 5. Does 12 divide m?
False
Let j(f) = f**3 + 3*f**2 + 5*f + 3. Let o be j(-3). Let v = o + 19. Suppose 2*a = -4*k + v + 1, 24 = k - 5*a. Is 2 a factor of k?
True
Let p(s) be the third derivative of s**5/60 - s**4/12 - 2*s**3/3 - 5*s**2. Is 4 a factor of p(5)?
False
Suppose 6*f + 100 = 394. Is f a multiple of 24?
False
Suppose 4*s - s + 3*h - 66 = 0, 19 = s + 4*h. Suppose 5*j + 0*j = 20. Let g = s - j. Is g a multiple of 18?
False
Let m(v) = -v**3 - 4*v**2 + 7*v - 1. Let y(s) = 3*s**3 + 13*s**2 - 21*s + 3. Let f(p) = -8*m(p) - 3*y(p). Is f(-8) a multiple of 7?
True
Suppose -5*t + 13 = -12. Suppose -3*q + t*q = 68. Does 8 divide q?
False
Suppose -4*u + 36 = -u. Does 6 divide 1*7/(7/u)?
True
Suppose -5 = -5*w + 10. Suppose 0 = -w*h - 2*h + 20. Suppose -32 = -h*i + 4. Is 3 a factor of i?
True
Suppose 0 = 3*k - 8*k + 40. Let s = 41 - k. Let b = -13 + s. Does 20 divide b?
True
Suppose -3*z = -23 - 43. Suppose 5*k - 13 - z = 0. Does 7 divide k?
True
Let j(u) = -9*u - 9. Is 18 a factor of j(-3)?
True
Suppose -3*a - 5*r + 11 = -0, -2*a + 3 = -r. Suppose 48 = a*t - 0*t. Does 10 divide t?
False
Let a be (-5 + 1)/4 - 1. Let i(o) = -3*o - 3. Is 3 a factor of i(a)?
True
Let c(r) = r**2 + r - 2. Let i = -4 - -12. Is 18 a factor of c(i)?
False
Let n(m) = -m - 7. Does 5 divide n(-13)?
False
Suppose -r = -5*r + 2*j + 188, 2*r - 2*j = 92. Does 24 divide r?
True
Let g = -114 - -292. Does 20 divide g?
False
Let s(i) = 9*i**2 - 2*i - 3. Does 27 divide s(-2)?
False
Suppose -20 = -2*i + 6*i. Let f(k) = 2*k**2 + 4*k + 4. Let j be f(i). Suppose -2*n + j = 3*r, -r + 19 = 2*n - 19. Is n a multiple of 8?
False
Let h(z) = 5*z**2 - 4*z + 3. Let w be h(2). Suppose 3*o = 2*o + w. Is o a multiple of 13?
False
Let s = -21 + 29. Suppose 2*p + 4*h = s, p - 13 = -p + h. Is p a multiple of 2?
True
Let l(v) be the third derivative of 1/60*v**5 + 0*v + 0 + 5/24*v**4 - 4/3*v**3 + v**2. Does 3 divide l(-7)?
True
Let f(a) = a**2 + 2*a + 2. Let s be f(-2). Suppose -5*b = 5*d - 5760, 5742 = b + 4*b - d. Is 14 a factor of s/11 + b/33?
False
Let p(v) = -1 + 9*v - 1 + 10*v. Is 18 a factor of p(2)?
True
Let p = 9 + -17. Let c = p + 35. Is c a multiple of 9?
True
Suppose -2*l - 13 = 25. Let j = 23 - l. Is j a multiple of 13?
False
Let z(h) = 5*h**2 + h + 10. Is 9 a factor of z(-4)?
False
Suppose 39*h - 37*h = 88. Is 8 a factor of h?
False
Suppose -2*o + 2 + 3 = -s, 3*s - 5 = o. Suppose 2*v = o*v - 6. Is 2 a factor of v?
False
Let r(u) = -2*u**3 + 7*u**2 + 2*u - 9. Let o be r(6). Let y be 2/8 + o/(-12). Suppose y = m - 12. Is m a multiple of 16?
False
Let x = -51 - -111. Does 4 divide x?
True
Suppose 749 + 186 = 5*z. Does 11 divide z?
True
Suppose -3*f + 12 = -6. Suppose f*z = 129 + 411. Does 30 divide z?
True
Let b(p) = 30*p - 7. Does 26 divide b(3)?
False
Let f(n) = -5*n + 7*n**2 + 0*n**3 + 2*n**3 - 1 - 3*n**3. Let k be f(6). Suppose 0 = 4*p - 0*p + m - 114, k*p + 2*m - 144 = 0. Is 14 a factor of p?
True
Let a(m) = 15*m - 3. Let i be a(2). Suppose -4*u = -7*u + i. Does 9 divide u?
True
Is 64/6*2175/100 a multiple of 13?
False
Suppose 0 = -3*v + 2*i + 17, 3*i = -v - i + 29. Suppose -2*a - 4*n + 15 + 9 = 0, -4*a = n - 83. Let z = a - v. Does 6 divide z?
False
Let m = 107 + -24. Is 6 a factor of m?
False
Let o(g) = -15*g + 48. Is 11 a factor of o(-7)?
False
Let s = 6 - 4. Suppose -18 = -4*a - s. Suppose -f + 30 = a*f. Is 3 a factor of f?
True
Suppose -2*u + 108 = 3*z - 0*z, 144 = 4*z + 3*u. Does 18 divide z?
True
Let o be (6/(-4))/(5/(-10)). Suppose 0 = 5*t - 11 - 14, o*u - 77 = -4*t. Is 5 a factor of u?
False
Let k(x) = -2*x**2 + 2*x - 1. Let r(w) = -4*w**2 + 4*w - 1. Let m(y) = 7*k(y) - 4*r(y). Does 3 divide m(3)?
True
Let m(b) = -6*b**2 - 1 - b**3 + 2 - 2 + 3. Let 