 -3*q + 2*t = -361, 157 + 207 = 3*q + t. Does 9 divide q?
False
Let d be 10/(-4)*-2 + -1. Let l be (-3 - -1)/(d/(-26)). Suppose 0*f = -5*n - f + l, -5*n - 3*f + 19 = 0. Is n even?
True
Let q = 16 - 25. Let t be (-2)/q + 125/45. Suppose -4*p = -5*w - 201, 0 = -4*p + 7*w - t*w + 200. Is 14 a factor of p?
False
Suppose -2*l + 178 = -4*o, -o = l + 2*o - 69. Is 9 a factor of l?
True
Let n = 113 + -65. Is 16 a factor of n?
True
Suppose -2*v + 0 = -10. Let n(m) be the third derivative of m**4/4 + 7*m**3/6 + 2*m**2. Is n(v) a multiple of 14?
False
Let h = 14 + -17. Is 4/(116/(-40) - h) a multiple of 10?
True
Suppose -3*f = -13 - 5. Let z(r) = 4*r - 8. Does 4 divide z(f)?
True
Let z(y) = -2*y - 8. Let f be z(-6). Suppose -f*c + 16 = -48. Is c a multiple of 5?
False
Let b(s) = 2*s**2. Is 5 a factor of b(-4)?
False
Suppose 5*k = 483 + 142. Is k a multiple of 21?
False
Suppose 4*f + 29 - 601 = -3*b, 0 = 4*f + b - 580. Does 32 divide f?
False
Is (-4 - (-4 - -4)) + 27 even?
False
Let n(k) = -k**2 - 3*k + 4. Let g be n(-3). Suppose 40 = g*f - 2*f. Is 10 a factor of f?
True
Let z be 2/(3 + -5)*-5. Let c(p) = -4*p**2 - 4*p + 1. Let q(d) = d**2 + d. Let y(h) = z*q(h) + c(h). Is y(4) a multiple of 10?
False
Let i = 13 + 43. Suppose -4*w + i = 4*k, 2*w - 2*k = 5*w - 37. Suppose -5*b + w = -2*b. Is 3 a factor of b?
True
Let m(q) = q**2 - 7*q + 6. Let c be m(7). Suppose -3*v + 457 = 4*s, -5*s + 4*v + v = -580. Suppose -s = -c*w + w. Is 15 a factor of w?
False
Let m be 36/16 - 2/8. Suppose 3*x - m*x = 18. Let s = -6 + x. Does 4 divide s?
True
Let r = -9 - -15. Let t be 9/r*(-280)/(-3). Suppose 8*s - t = 3*s. Is 14 a factor of s?
True
Suppose 2*b + 156 = 4*b. Is 13 a factor of b?
True
Is (-3)/(8/(5440/(-6))) a multiple of 52?
False
Let s = 116 - 41. Does 25 divide s?
True
Let k be (-1)/7 - (-141)/7. Suppose k = a - 0*a. Does 10 divide a?
True
Suppose 10*u + 66 = 12*u. Is u a multiple of 11?
True
Let f be 74 - 2*(-3 + 2). Let u = -38 + f. Suppose -5*p + 193 = u. Does 11 divide p?
False
Let q = 101 + -6. Does 19 divide q?
True
Let g(h) = 15*h**2 - 6*h + 17. Is g(4) a multiple of 15?
False
Suppose 5*u = 4*n + 1838, u - 5*n - 374 = -n. Does 13 divide u?
False
Let a(p) = -2*p**2 - 5*p**3 + 2*p**3 - p - p**2 + 5*p**3 - 4. Let b be a(3). Suppose -5*z = 0, 3*n + b = 4*n + z. Is n a multiple of 10?
True
Let l be (3 - 2)/((-2)/(-10)). Let t(n) = l + 2*n - 3*n + 0*n. Does 12 divide t(-7)?
True
Suppose -3*q + 2 = -2*h - q, 0 = -h + 5*q - 13. Does 15 divide 1 + h + (45 - -2)?
False
Let l(n) = n + 2. Let x be l(-3). Let s = 5 + x. Suppose 4*v + s*d + 2 - 38 = 0, 4*d = 4. Is 8 a factor of v?
True
Suppose 0 = d - 2*s - 9, 3*s + 12 = -2*d + s. Let h be (3*5)/3 + d. Suppose 180 = y + h*y. Is y a multiple of 13?
False
Let k = -11 + 71. Is 30 a factor of k?
True
Let o(z) be the second derivative of -2*z**3/3 + 6*z**2 - 3*z. Let s be o(8). Is (48/s)/((-2)/5) even?
True
Let c = -107 - -168. Is 10 a factor of c?
False
Let n(i) = -6*i**2 - i - 10. Let t(z) = 4*z**2 + z + 7. Let p(g) = -5*n(g) - 7*t(g). Is 18 a factor of p(4)?
False
Suppose -3*z + 4*w - 6 = 3, 4*w = -5*z - 15. Let l(n) = 14*n - 7. Let p(s) = -28*s + 15. Let j(m) = -7*l(m) - 3*p(m). Is 28 a factor of j(z)?
False
Let c(y) = y**2 - 5*y. Let b be c(5). Suppose 2*n - 13 = -b*a - a, 2*n + 5*a = 17. Is n a multiple of 4?
False
Suppose 104 = -2*o - 0*o - 2*u, o = 2*u - 67. Let k = -30 - o. Let c = 3 + k. Is c a multiple of 18?
False
Suppose 4 = v - 0*v. Let p(n) = -n**3 - 5*n - 3. Let s be p(v). Let f = -57 - s. Is 15 a factor of f?
True
Let u = -9 + 24. Suppose -4*a + 2*a = 3*x + 7, -u = -5*a - x. Does 2 divide a?
True
Let u(y) = -5 - y + 1 + 3*y. Let v be u(4). Suppose -v*b = 2*c - 94, c = b - 11 - 8. Does 11 divide b?
True
Suppose 14*p - 11*p - 90 = 0. Is 18 a factor of p?
False
Suppose 4*z - 108 = 180. Does 9 divide z?
True
Let p be 12/3 - 466/2. Does 13 divide p/(-11) - (-26)/143?
False
Suppose -5*d - 5*i + 5 = 0, -d + 4*i - 7 = -2*d. Is (-23)/(d - (-1 + 1)) a multiple of 10?
False
Let g = 777 - 494. Is 19 a factor of g?
False
Does 3 divide 2 - (0 - 2) - -2?
True
Let v be 87/2*(-84)/9. Let r be (-5 - -2)*v/6. Suppose -4*y = -r + 79. Is y a multiple of 16?
False
Suppose -4*g + 9*g = 45. Let a = g + -5. Suppose -2*q = a*i - 124, -3*i + 238 = 4*q - 5*i. Is 21 a factor of q?
False
Suppose z = -5*k + 2*z + 18, 5*k + 4*z - 3 = 0. Suppose 3*m - 36 = -k*x + 6*m, 0 = -3*m - 12. Does 4 divide x?
True
Suppose c - 5*c = -20, -o - 5*c = -29. Suppose -92 = -5*q - 2*w + 43, -o*q + 75 = -5*w. Does 8 divide q?
False
Suppose 3*s = 15 + 3. Let i be -4*(-3)/18*s. Suppose -i*p + 74 = -14. Is 11 a factor of p?
True
Let b(i) = 13*i - 1. Let h be b(1). Suppose 14 = 2*a - h. Does 6 divide a?
False
Let u be 96/9 + 2/(-3). Suppose 5*h = 2*y - 8 + 46, -5*h + u = 5*y. Let x = h + -3. Is 3 a factor of x?
True
Let u(h) = 3*h**2 - 32*h - 10. Let d(p) = -p**2 + 11*p + 3. Let i(x) = 17*d(x) + 6*u(x). Let g be (2 + -1)/3*21. Is i(g) even?
False
Suppose -n = -3*z - 70, 5*n - 328 = 2*z + 2*z. Let c = -29 + n. Is c a multiple of 14?
False
Let x(o) = o**2 + o - 6. Is 28 a factor of x(9)?
True
Let h(z) = 3*z - 10. Let v be h(11). Let d = v + -11. Is d a multiple of 8?
False
Does 23 divide ((-85)/(-15))/(2*(-2)/(-96))?
False
Let r be (-4 - 2)*(-2)/4. Is -1*(-3 - 23) + r a multiple of 19?
False
Let k(s) be the first derivative of s**4/4 + 7*s**3/3 - 3*s**2 + 6*s - 3. Let f be k(-8). Does 6 divide (-2 - 8/f)*-10?
True
Suppose -6*h = 13 - 43. Let i be 12 + (-1 - 1*-1). Is 15 a factor of (-1 - i)/(h/(-10))?
False
Let r = 44 - 29. Is 5 a factor of r?
True
Suppose -o = 4*u - 5*u - 3, -4*u + 18 = 2*o. Suppose -4*y - 117 = -3*w, -4*y = -o - 7. Is 15 a factor of w?
False
Let w(p) = -3 - 13*p**2 + 1 + p**3 - 6 + 21*p - 6*p. Does 15 divide w(12)?
False
Let n(h) = h**3 - 3*h**2 - 9*h + 3. Let g be (8 - 4) + 1*-1. Let z(b) = b**3 - 3*b**2 - 10*b + 3. Let k(o) = g*n(o) - 2*z(o). Is k(5) a multiple of 14?
False
Does 15 divide 10*14/21*12/5?
False
Let v = 17 - -31. Is 12 a factor of v?
True
Suppose 4*n + 70 = 9*n. Does 14 divide n?
True
Suppose -28 = -0*d - 4*d. Let r = -16 + d. Let y = 4 - r. Is y a multiple of 5?
False
Let p(f) = -5*f**2 - 4*f**3 + 7 - 2*f + 4*f**3 + 0*f - f**3. Is p(-5) a multiple of 17?
True
Let n(c) = c**3 + 18*c**2 - 44*c + 20. Is n(-20) a multiple of 10?
True
Suppose 0 = 14*r + 122 - 486. Is r a multiple of 9?
False
Let x(q) = q**2 + 22*q - 6. Let w be x(-12). Is (-20)/3*w/12 a multiple of 24?
False
Let t(b) = 8*b**2 - b - 2. Does 11 divide t(3)?
False
Let i = -38 + 70. Is i a multiple of 32?
True
Let u = -225 + 315. Is 12 a factor of u?
False
Suppose -4*w - i + 92 = 0, 4*i - 52 = -2*w + 5*i. Does 6 divide w?
True
Let l = 129 + -48. Is l a multiple of 14?
False
Let m be (69/6)/(1/(-4)). Let c = -22 - m. Is c a multiple of 11?
False
Let n be 4/(-6) + (-260)/(-12). Is 9 a factor of (-4)/(-14)*3*n?
True
Suppose -b = -6 + 2. Let p(d) = -d**3 + 5*d**2 + 4*d - 3. Let u be p(b). Let z = 55 - u. Is 8 a factor of z?
False
Let m be (1 - 0)*(82 - -1). Suppose m = 7*v - 6*v. Does 16 divide v?
False
Suppose 3*h - 182 + 11 = 0. Let b = h - 23. Is b a multiple of 17?
True
Does 13 divide (212/10)/((-18)/(-45))?
False
Suppose 0 = 4*j + 6 - 2. Let h = j - -14. Is h a multiple of 13?
True
Let q = -1 - -3. Suppose q + 10 = 2*x. Is x a multiple of 4?
False
Let n = -26 - 9. Is ((-469)/n)/(1/5) a multiple of 13?
False
Suppose 0 = d - 4*w + 2*w + 1, -2*w = -10. Let y(g) = g**2 - 7*g - 8. Is y(d) a multiple of 10?
True
Suppose 4 = 2*d + 3*c, -d - d + 5*c = -4. Suppose 0 = -h + f + d, 4*f = -4*h + f + 36. Does 4 divide 12/(-8)*(-40)/h?
False
Let j be (-6)/15 - 27/(-5). Suppose j*y - 5*o - 21 = 14, -3*y = -5*o - 31. Suppose -15 = -x - y*x. Is x a multiple of 5?
True
Let z = 6 - 1. Suppose 0 = 2*m - l - 4*l + 9, z*m = 2*l + 30. Is 4 a factor of m?
True
Suppose -4*g = -3*f - 73, 2*f + 70 = 4*g - 0*f. Does 7 divide g?
False
Let s = 80 - 14. Suppose -4*b - s = -j - 7, j = 5*b + 59. Is j a multiple of 16?
False
Let v(b) be the first derivative of -3*b**2/2 + 5*b - 2. Does 13 divide v(-7)?
True
Let b(m) = -m**3 + 4*m**2 + m - 2. Let f(p) = 2*p**2 + p + 1. Let t be f(-1). Suppose 20 = t*x + 2*x + 4*v, 3*x = 2*v + 5. Is b(x) a multiple of 5?
True
Let g = -3 - -7. Let v(f) = -13*f + 1. Let 