3))/((-4)/6). Does 13 divide 1/b*0 + 65?
True
Let u(g) = -g - 4. Let y be u(-6). Let m(q) = q**3 + 11*q**2 + 9*q + 5. Let h be m(-10). Suppose -5*z + y*z + h = 0. Is z a multiple of 5?
True
Let b be 4*2 - (-2)/(-1). Suppose 0 = -0*m - m + b. Does 3 divide m?
True
Let j = 8 - 8. Suppose -c - 21 = -3*f - 7, j = 5*f - 5*c - 30. Is f even?
True
Let m = 5 - 7. Let z(w) = -w**3 - w**2 - 2*w - 3. Let s be z(m). Suppose -67 = -s*p + 108. Does 15 divide p?
False
Let p(j) be the second derivative of -j**3/6 - 3*j**2 - 3*j. Let f be p(0). Is (1 + 5)*f/(-9) a multiple of 2?
True
Let n = -28 - -194. Let t be n + (-1 + 0)/1. Suppose 5*f = -5*d + t, 73 = 2*f - d - 8. Does 19 divide f?
True
Let k(f) = -f + 4. Let x be k(-3). Suppose x - 6 = u. Is 12 a factor of u/4 + (-230)/(-8)?
False
Suppose 5*u = 2*p - 78, 5*u - 10 - 14 = -p. Let k = p - 20. Does 5 divide k?
False
Let r(d) = 5*d + 4. Let b be r(-5). Let o be (3*1)/((-2)/22). Let l = b - o. Does 9 divide l?
False
Let x = 4 + 149. Suppose 7*r - 2*r = -520. Let k = x + r. Does 18 divide k?
False
Suppose -2*r = 2*r. Let y(b) = 3 + 0*b + 0*b + r*b + b. Is y(10) a multiple of 13?
True
Suppose 2*l - 63 = -l. Is 6 a factor of l?
False
Let x(m) = 12*m. Let f be x(5). Suppose -5*u = -2*u - f. Is 5 a factor of u?
True
Is 13 a factor of 26/3*9/6?
True
Suppose -4*s = -2 - 6. Suppose -l - 5 = -s*l. Is 2 a factor of l?
False
Let a be (3 - -11)/(4/26). Let u = a - 49. Is 23 a factor of u?
False
Let w be 14 + 3 + 0 + -2. Suppose 0 = -3*y + w - 3. Does 4 divide y?
True
Suppose 0 = 5*p - 55 - 310. Is 8 a factor of p?
False
Let w be -4 + 2 + 0/(-1). Let q(k) = -6*k - 2. Is 5 a factor of q(w)?
True
Let x be (-14)/((-2 - 2) + 2). Let o = -5 + x. Suppose -45 = -5*l + o*l. Is 12 a factor of l?
False
Suppose -2*n + 524 = -0*n - 5*r, -1244 = -5*n - 4*r. Is n a multiple of 18?
True
Let x(g) = -g**2 - 8*g - 11. Let k be x(-8). Let a = 25 + k. Is 14 a factor of a?
True
Let g(c) = -c**3 + 6*c**2 + 8*c - 1. Let f be g(7). Let d = f - 3. Is 6 a factor of d/(-2 - 1)*-9?
False
Let u = 19 - 13. Is u even?
True
Suppose 0 = 4*w - 11*w + 350. Is 4 a factor of w?
False
Let d(s) = -47*s**3 - 2*s - 1. Is d(-1) a multiple of 16?
True
Let v(n) = -6*n**2 + 6*n - 1. Let m(y) = 9*y**2 - 9*y + 1. Let w(g) = -g**2 - 7*g + 1. Let j be w(-6). Let k(c) = j*v(c) + 5*m(c). Is 8 a factor of k(-2)?
True
Let s(y) = -y**3 + 9*y**2 + 5*y. Let w be s(9). Let d = -30 + w. Does 5 divide d?
True
Let d(f) = -f**2 + 3*f - 7. Let c(w) = w**2 - 2*w + 3. Let u(n) = -5*c(n) - 2*d(n). Let p be u(3). Let y = 0 - p. Is 16 a factor of y?
True
Suppose 7*t + 0*t = 616. Does 17 divide t?
False
Let y(j) = 45*j**2 + j. Let v = 7 - 8. Is 22 a factor of y(v)?
True
Suppose -5*j = 0, -3*o - o = -j - 84. Suppose 0 = -k - 3 - 10. Let m = k + o. Is 4 a factor of m?
True
Suppose -2*j = -4*j + 58. Is 14 a factor of j?
False
Let d = 36 + 306. Is d a multiple of 19?
True
Let c = -2 + 0. Let h = 6 + c. Suppose -w - 15 = -h*w. Is w a multiple of 5?
True
Let s = 129 + -49. Does 12 divide (9/(-4))/((-15)/s)?
True
Suppose 0 = 7*s - 3*s - 16. Suppose -s*h + 8*h = 52. Does 13 divide h?
True
Let y(s) = -11*s + 3. Let f be y(6). Let g be (-5)/(-2)*3*-2. Let v = g - f. Is v a multiple of 16?
True
Does 11 divide (-1)/2 + (-199)/(-2)?
True
Suppose 7*f = 4*f + 120. Let g = f + -4. Does 12 divide g?
True
Let v = 1 - -4. Suppose -v*y - 5 = f, -3*f = -y + 5*y + 15. Let r = y - -3. Is 2 a factor of r?
False
Suppose -5*j = 4*i - 498, 294 = -0*j + 3*j + 4*i. Is 34 a factor of j?
True
Suppose -3*j + 16 = -b - 3*b, b + 4 = 0. Suppose -2*t = -4*m - 26, j = -5*m - t - 3*t - 26. Is (m/9)/((-1)/63) a multiple of 21?
True
Suppose i - 127 + 44 = 0. Does 9 divide i?
False
Let f(l) = 9*l + 1. Let b be f(1). Suppose -36 - b = -2*t. Is t a multiple of 9?
False
Suppose 0 = -4*k + 4*s + 60, -3*k = -4*k - 4*s + 25. Suppose 5*g + m - k - 192 = 0, 0 = g - 5*m - 21. Is 10 a factor of g?
False
Let b(r) = 5*r**2. Let m be (3/(-2) - -1)*-2. Is 5 a factor of b(m)?
True
Let f = 89 - 47. Is 7 a factor of f?
True
Is (13 + -2)/(5 - 4) a multiple of 11?
True
Let d(a) = -a + 6. Let n be d(6). Let c = n + 2. Is c a multiple of 2?
True
Suppose -i - 20 = -6*i. Suppose k - 245 = -i*k. Is k a multiple of 20?
False
Let n be (8/(-6))/((-10)/15). Suppose -d = n*d - 165. Is d a multiple of 17?
False
Let z(u) = -2*u**3 - 4*u**2 + 3*u - 4. Suppose 1 + 7 = -2*r. Let c be z(r). Does 10 divide 2/5 + c/5?
True
Is (0 + 64/6)*9/4 even?
True
Let s be (6/3 + -1)/(-1). Let u = s - -36. Does 11 divide u?
False
Let f(j) = -j**2 - 8*j - 9. Let q be f(-6). Let b be q/((-3)/30*-6). Let v = 11 - b. Is 2 a factor of v?
True
Let b(v) = -89*v - 1. Is 22 a factor of b(-1)?
True
Let i(o) = -6*o**3 - 3*o**2 + 2*o + 1. Is 10 a factor of i(-3)?
True
Suppose -3*z + 8 = -43. Does 5 divide z?
False
Let i(a) = -a**3 - 9*a**2 + 3*a - 8. Is 13 a factor of i(-10)?
False
Let s(g) = 2*g - 9. Let h be s(6). Suppose 13 = -4*i - 7, -4*i - 497 = -h*m. Suppose 5*n + 39 = m. Does 12 divide n?
True
Let q be -3 - -4 - (-4)/2. Suppose 0 = -3*w + 3 - 15, q*t - 38 = 5*w. Does 2 divide t?
True
Let f(s) = 9*s**2 + 9*s - 17. Let w(n) = 5*n**2 + 4*n - 9. Let q be ((-6)/7)/(2/(-14)). Let g(c) = q*f(c) - 11*w(c). Is g(8) a multiple of 6?
False
Let n(d) be the first derivative of d**2/2 + 9*d + 2. Is 2 a factor of n(-7)?
True
Suppose 4*v + 9 - 60 = -3*g, 3*v = 0. Is 7 a factor of g?
False
Suppose -51 = -5*f - 3*j - 1, 3*j = 4*f - 13. Does 3 divide f?
False
Suppose 0 = 5*i - 5*k + 10, 0 = -0*i - 2*i + 4*k - 12. Suppose -i*w - 165 = -7*w. Does 12 divide w?
False
Let p = 0 - 36. Let t = 17 + -41. Let i = t - p. Is i a multiple of 12?
True
Let h be (-145)/7 - (-6)/(-21). Is 6/h - (-107)/7 a multiple of 15?
True
Let u(i) = 15*i**2 + i. Let a = -3 + 8. Suppose 0 = 4*g + a - 9. Is 8 a factor of u(g)?
True
Let s(w) = 1 + 7*w - 4*w + 6*w. Does 8 divide s(1)?
False
Let g = 31 + -15. Let w = g - -23. Suppose -u - 2*u = -w. Does 12 divide u?
False
Suppose 5*c + 2 = -y + 1, -2*c + 2 = -2*y. Let t(z) = -z**3 - z + 21. Is 21 a factor of t(c)?
True
Suppose -4*s - 6 = 4*q - 3*q, -5*s + 9 = 4*q. Let k = q + -6. Suppose o - 5*n + 9 = k, -3*n + 2*n = -3*o + 15. Does 6 divide o?
True
Suppose -4*t = 4*c + 143 + 149, 0 = t - 3*c + 53. Does 13 divide t/8*4/(-2)?
False
Let z = 1 + 1. Suppose 2*l = -z*x - l + 105, -3*x = 4*l - 157. Is x a multiple of 18?
False
Suppose -s - 47 = -147. Is s a multiple of 14?
False
Suppose -4*x = -3*c + 25, -2*c - 2*x - 3 + 1 = 0. Suppose 5*g = -4*j + 75, c*j + 0*g + g = 59. Does 10 divide j?
True
Let s = -16 - -9. Let p = 3 + s. Is 42/5 - p/(-10) a multiple of 8?
True
Let z = -3 - 1. Let u be 2/(-3) - z/6. Suppose -s - 1 + 17 = u. Does 6 divide s?
False
Let f be 2/((-3)/(9/(-2))). Let i(s) = -s**2 + 5 + s + f + 4*s. Is 2 a factor of i(6)?
True
Suppose 254 = 4*v - 322. Is 16 a factor of v?
True
Is 526/11 - (-2)/11 a multiple of 15?
False
Let r be ((-9)/4)/(3/(-24)). Suppose 3*y + r = 6*y. Is 6 a factor of y?
True
Is 8 a factor of 8/(-2 - (-9)/4)?
True
Let d = -2 - -6. Suppose -d*n = n - 10. Does 19 divide 17 - 4/(n/(-1))?
True
Let k(c) = c**2 + 5*c + 3. Let a be k(-4). Let h be 259/14 + a/2. Let y = h - -3. Is 7 a factor of y?
True
Suppose 3*v = -2*i + 21 - 3, -3*v = -5*i + 45. Let z = i - 2. Let a(n) = n + 4. Is 11 a factor of a(z)?
True
Let f(b) = -2*b + 13. Let l be f(9). Let q be (-15)/(-4) + l/(-20). Suppose -o + 3*o - 3*j = 25, q*j + 24 = 2*o. Does 6 divide o?
False
Let k be (-2 + 1)/(2/(-38)). Let g = k + 17. Is g a multiple of 12?
True
Suppose 4*q = 2*n - 26, 4*q - 8 = 6*q - 2*n. Let f be ((-3)/q + 0)*15. Suppose 2*y - 3 - f = 0. Is y a multiple of 3?
False
Suppose 4*u = v + 151, -u + 6*v - 3*v + 24 = 0. Does 11 divide u?
False
Let d = 2 - -7. Is (14 - 1)*d/9 a multiple of 13?
True
Let w = 19 - 11. Suppose -w = c + 3*y - 5*y, -76 = 5*c - y. Let d = c - -25. Is 7 a factor of d?
False
Let w = 12 + 2. Is w a multiple of 14?
True
Suppose 3*w - 23 = -1364. Does 9 divide w/(-21) - 8/28?
False
Suppose 0 = -0*d - d + 3*l + 19, -3*l = 15. Suppose k + 2*f + 6 = -0*f, -f = -d*k + 12. Suppose 0*s - k*s = -76. Does 19 divide s?
True
Suppose 3*v - 104 = 64. Let k(n) = 3 - 2*n - 2 - 21*n**2 + v*n**2. Is 17 a factor of k(1)?
True
Let n(m) = m**2 - 5*m - 5. Let y be n(5). Let k(t) = -6*t - 6. Is 1