et a(b) = b**3 + 7*b**2 - 9*b + 10. Does 9 divide a(m)?
True
Suppose -1 = r - 5. Is r/4*(9 + -2) a multiple of 7?
True
Suppose l = 6*l. Suppose l = -n - 2*n + 30. Is n a multiple of 10?
True
Let d be 2/(-3) + 77/(-33). Is 17 a factor of 54/(2 + -4 - d)?
False
Let s(c) = 1 - 35*c**3 + 0 + 0. Let p be s(-1). Suppose 2*g + g = p. Does 6 divide g?
True
Let z be (-3)/((-6)/(-2)) + -2. Does 6 divide z/((1*-2)/8)?
True
Suppose 4*c - 3*v = 184, -5*c + 4*v + 103 = -126. Is (c/28)/(1/4) a multiple of 7?
True
Suppose h = -3*i + 8, 4 = 3*h + 2*h - 3*i. Suppose h*u = 3*b - 43, 3*b - 3*u = 2*b + 26. Does 11 divide b?
True
Does 5 divide 30 + 0/2 - (-22 - -21)?
False
Suppose r - 4*g + 3*g = 17, -32 = -2*r + 3*g. Let p = -9 + r. Is p a multiple of 5?
True
Let q = 1 + 12. Let n = -8 + q. Let l(f) = 2*f**2 - 5*f + 6. Is 23 a factor of l(n)?
False
Suppose 2*p = -3*r + 108, -r + 13 = -4*p - 37. Let s = 82 - r. Suppose 0 = 4*q - 2*q - s. Is 11 a factor of q?
True
Suppose 98 = 2*i + 2*r, -4*r + 150 = 3*i - 2*r. Is i a multiple of 12?
False
Suppose -12 = -2*k + 18. Suppose -u + 34 = -4*z, k = -9*z + 4*z. Is 11 a factor of u?
True
Let i = 4 + -10. Let p(w) = -3*w + 5. Does 8 divide p(i)?
False
Let f be -1 + 2/2 + 99. Is 18/f - (-436)/22 a multiple of 20?
True
Let s = 14 + -35. Is 742/s*(-6)/4 a multiple of 27?
False
Let z = -12 + 23. Does 11 divide z?
True
Let j(c) = c**2 + 7*c + 29. Does 20 divide j(-13)?
False
Suppose -4*x - 3*n + 18 = 0, 2*n - 1 = 3*x - 6. Suppose -5*t - 4*q + 6*q = -270, t + x*q = 71. Is 19 a factor of t?
False
Suppose 3*l - 2*h + 3 = 107, -4*l + 134 = 2*h. Is l a multiple of 17?
True
Let r(w) = -w**3 + 5*w**2 - 5*w + 6. Let b be r(4). Suppose 4*s - b*s = 52. Suppose -h + 0*h = -s. Does 17 divide h?
False
Is 15 a factor of 2/(-8) - 1562/(-8)?
True
Suppose 12 = -4*p - 0*p. Suppose -x = -5*g + 39, 2*g + g = 9. Is (x/p)/(2/5) a multiple of 14?
False
Suppose 25 = 4*w + 9. Suppose w*f - 17 = 47. Is 14 a factor of f?
False
Let z = -41 + 60. Does 19 divide z?
True
Suppose -a - 60 = -5*a. Let c = a + 1. Is 16 a factor of c?
True
Is 6 a factor of ((-18)/21)/(2/(-28))?
True
Suppose 0 = -3*g + 36. Let q = 16 + g. Is q a multiple of 14?
True
Suppose -13*m + 8*m + 150 = 0. Is m a multiple of 10?
True
Suppose 0 = -6*a + 5*a + 3. Suppose -a*d = 23 - 119. Is 16 a factor of d?
True
Let d(b) be the third derivative of b**5/60 - b**4/2 + 5*b**3/3 - 4*b**2. Let o be d(10). Does 8 divide ((-8)/o)/(4/120)?
True
Let a = 16 + 108. Is (-14)/21 + a/6 a multiple of 10?
True
Suppose 3*z - 334 = -4*p + 6*z, z + 2 = 0. Let t = p - 44. Does 19 divide t?
True
Let a(h) = 3*h**2 + h - 8. Let u(q) = -q**2 - q + 1. Let s(v) = -a(v) - 2*u(v). Is 6 a factor of s(0)?
True
Suppose 64*a - 58*a = 750. Does 38 divide a?
False
Suppose -5*t + 4*g = -150, 4 = -t - 4*g + 10. Is 14 a factor of t?
False
Let d(j) = -j**2 - j - 1. Let l(y) = -3*y**2 - 11*y + 3. Let q(k) = -2*d(k) + l(k). Does 7 divide q(-7)?
False
Let s = -40 + 88. Is s a multiple of 3?
True
Is 40 a factor of -1*(-1 + 2)*-167?
False
Is (1*-1)/((-275)/30 + 9) even?
True
Let c = 6 + -3. Suppose -2*l + 260 = -2*q, 4*q - 7*q - 9 = 0. Suppose -c*u - 22 = -l. Is 10 a factor of u?
False
Suppose 2*x + 3*x - 25 = 0. Suppose -x*n + 27 = -308. Is n a multiple of 21?
False
Let r be 16/40 + (-16)/(-10). Let t be -1*(-21 - 1)/r. Suppose 4*v - 1 = 5*s, 2*v + 3*s - t = 2*s. Is v a multiple of 4?
True
Suppose 7*y = 18*y - 220. Is y a multiple of 8?
False
Let q(j) = -j**2 + 1. Let f(y) = 4*y**2 - 7*y - 5. Let g(o) = f(o) + 3*q(o). Is g(9) a multiple of 9?
False
Let g(n) = -5*n**3 + 7*n**2 + 13*n - 1. Let l(d) = -2*d**3 + 4*d**2 + 6*d - 1. Let h(u) = 3*g(u) - 7*l(u). Let s be h(-5). Let m = 69 + s. Is 19 a factor of m?
True
Let u be 53/(-4) + 3/12. Let d = -9 - u. Suppose d*t = 3*t + 9. Does 4 divide t?
False
Suppose 2*g = -l + 3 - 23, 4*l + 35 = -3*g. Let i = g + 34. Let s = 55 - i. Does 15 divide s?
True
Is 8 a factor of (42/8)/((-24)/(-128))?
False
Let c = 6 - 4. Does 16 divide 2 + 6*(3 + c)?
True
Let k be 16/(-12)*(-9)/2. Suppose l + 72 = 3*l - n, -3*n = k. Is l a multiple of 16?
False
Suppose 5*x = 8*x - 21. Is x a multiple of 2?
False
Let y(g) = -12*g - 3. Is y(-4) a multiple of 9?
True
Let z = 15 + -13. Suppose z*c - 72 = -c. Is 24 a factor of c?
True
Let q(f) = -f**3 - 5*f**2 - 4*f + 6. Let u(o) be the first derivative of o**4/4 - 2*o**3 - 9*o**2/2 + 9*o + 1. Let n be u(7). Is 13 a factor of q(n)?
True
Let c = 145 - 80. Let b = -20 + c. Does 15 divide b?
True
Let s(b) = b + 36. Let n be s(0). Let h = 0 + n. Is 18 a factor of h?
True
Suppose 3*i = -i - 32. Is 17*3/((-12)/i) a multiple of 9?
False
Suppose 2*z = z + 3*f + 124, 0 = 4*z + 3*f - 436. Does 28 divide z?
True
Suppose 0 = -4*k + 446 - 126. Suppose z + z = k. Is 10 a factor of z?
True
Suppose -2*u + 0*u + 2 = 0. Suppose -k = -3*w + 4 - 1, w = -3*k + u. Suppose b - 2*m - 27 = k, -2*b - 3*m + 45 = 2*m. Is 9 a factor of b?
False
Let h(z) = z**3 - 8*z**2 + 9*z - 9. Let p be h(7). Suppose -2*m = -p*m + 9. Suppose -2*l - 2*a = -0*a - 32, 0 = -5*l + m*a + 56. Does 7 divide l?
False
Suppose -11*m + 5*m + 210 = 0. Is 7 a factor of m?
True
Is 10 a factor of 21/7*(-43)/(-3)?
False
Let s(r) = -8*r + 6. Is 13 a factor of s(-3)?
False
Let y be 11/5 - 10/50. Is 0 - 1/(y/(-72)) a multiple of 12?
True
Suppose 5*u + 203 = -427. Let d = u + 187. Is 13 a factor of d?
False
Is 8 a factor of 1 - -2 - 60/(-12)?
True
Let q = 15 + 3. Is q a multiple of 10?
False
Suppose 0 = 5*y - 148 - 92. Suppose 0 = -4*h - 2*v - 2*v + y, -4*h - v = -39. Suppose -42 = -h*a + 6*a. Does 11 divide a?
False
Let k be 573/(2 + 1) + -1. Suppose 40 = -j + k. Suppose -j = -3*b - 2*b. Is 17 a factor of b?
False
Let t = -48 + 64. Is t a multiple of 16?
True
Let c = 43 - -229. Does 27 divide c?
False
Suppose q - 3 = -4*d + 6, -q = -3*d + 26. Let k = -6 - q. Does 2 divide k?
False
Let a(g) = -g**2 - 3*g + 2. Let t = 4 - 5. Let h be t/3 + 10/(-6). Is a(h) a multiple of 3?
False
Suppose 3*i + 126 = 3*v, v + 198 = 6*v + i. Is v a multiple of 20?
True
Let z(p) be the second derivative of 19*p**3/6 + p**2/2 - 3*p. Let v be z(1). Let j = v + -10. Is 6 a factor of j?
False
Let m(h) = -h**2 + 3*h + 2. Suppose -5*i + 8 = -3*i. Let d be m(i). Let p(x) = 13*x**2 - x + 1. Does 21 divide p(d)?
False
Let f(s) = s + 116. Suppose -5*p = 4*x - 8, -2*x = -p - 0*x - 4. Let k be f(p). Let d = -81 + k. Does 12 divide d?
False
Suppose 5*k + 10 = 0, -12 = -2*v + 5*k + 22. Is v a multiple of 2?
True
Let z = 0 + 3. Let k be (-2)/2*(0 + 1). Let x = z + k. Is 2 a factor of x?
True
Let f = -48 - -96. Is f a multiple of 24?
True
Let o = -36 + 52. Let f = o + -8. Is 8 a factor of f?
True
Suppose -6 = 2*t - 4*t. Let p = 0 + t. Let c(l) = 2*l**2 + 4*l - 4. Is c(p) a multiple of 13?
True
Let k(c) = -5 + 0*c - c + 4 + 2*c. Let f be k(3). Suppose -3*g + f*w - 18 = -64, -g - 5*w = -4. Is 6 a factor of g?
False
Let g(i) be the second derivative of i**4/24 + i**3/6 - 3*i**2/2 + 2*i. Let z(m) be the first derivative of g(m). Does 2 divide z(6)?
False
Let y(d) be the third derivative of d**5/60 + d**4/24 - d**3/2 - 3*d**2. Is y(-4) a multiple of 9?
True
Let j(h) = h**2 + 2*h - 1. Let k be j(6). Suppose -5*g - k = -152. Is g a multiple of 6?
False
Suppose d = 4*d. Let g(n) = n**3 - n**2 + n + 6. Is 3 a factor of g(d)?
True
Does 25 divide (50/3)/(5/30)?
True
Let a be 10*(15/(-6))/(-5). Does 3 divide 1 + (-4)/((-4)/a)?
True
Let w(s) = -s**2 - 9*s - 10. Is 5 a factor of w(-5)?
True
Let v(s) = 20*s**2 - 4*s - 25. Is 28 a factor of v(-3)?
False
Let x(r) = -2*r - 3. Let m = 3 + -5. Let z be x(m). Let k = 2 + z. Does 3 divide k?
True
Let o(j) = 3*j**2 - 18*j - 6. Is 25 a factor of o(9)?
True
Let f(a) = a**2 - 2*a - 6. Let x be f(5). Let b = -14 - -35. Let h = b - x. Is 12 a factor of h?
True
Does 48 divide 4/28 + (-3204)/(-14)?
False
Let h(y) = -5*y - 4. Let f be h(11). Let q = 33 + f. Let r = -15 - q. Does 4 divide r?
False
Is 5 a factor of (-384)/(-18) + 2/3?
False
Let g(k) = -3*k**3 + k + 1. Let m be g(-1). Suppose 6*n - n - 25 = -5*h, -m*n - 65 = -5*h. Does 7 divide h?
False
Let l(x) = x**2 - 8*x - 12. Suppose -p + 4*o + 0*o = -18, -3*o = 4*p - 34. Is 8 a factor of l(p)?
True
Suppose 5*h - 1251 - 499 = 0. Is h a multiple of 19?
False
Suppose -b - 4*u = -5*b + 40, 5*u = -3*b + 