15 divide y?
False
Let s(b) = b**2 - 11*b + 13. Is s(15) a multiple of 12?
False
Let m = -14 + 9. Let l(d) = -2*d + 6. Does 8 divide l(m)?
True
Suppose -48 = -4*t + t. Suppose 3 = z + 3*s - t, 0 = -3*s + 3. Suppose -3*v - z = -l, 3*l + 4*v - 5 = 4. Is 7 a factor of l?
True
Suppose s = -s + 8. Let o(f) = 2*f**2 - 4*f + 6. Is 11 a factor of o(s)?
True
Let i = 45 - 8. Is 12 a factor of i?
False
Suppose 0 = 2*i - 4*t - 84, 0 = -i - 2*i - 4*t + 76. Is 6 a factor of i?
False
Suppose 0 = 5*r - 60. Let g(l) = -l - 27. Let y be g(-11). Does 14 divide y/(-10)*210/r?
True
Suppose 5*q + 12 - 87 = 0. Let j = -11 + q. Suppose -d + 18 = 2*o, j*d - d + 5*o = 50. Is 7 a factor of d?
False
Let c = -43 + 30. Let d = 11 + 7. Let v = d - c. Is 14 a factor of v?
False
Suppose -i = 3*i - 12. Let c(r) = 2 + 0*r**2 - 3 + i*r**2. Is 13 a factor of c(3)?
True
Let f be (-1 - (-3)/(-9))*(-7 + 13). Suppose -48 = -6*c + 3*c. Does 9 divide ((-108)/c)/(3/f)?
True
Suppose -2 = -5*m + 23. Let n = m - 7. Does 7 divide ((-1)/n)/(4/56)?
True
Let l(t) = -11*t**3 - t**2 + t + 1. Let r(y) = -y - 9. Let d be (-45)/6 - 2/4. Let v be r(d). Is 10 a factor of l(v)?
True
Let n(p) = 3*p - 3*p**2 - 2*p**3 + 3*p**3 - 2 + p. Let t be n(2). Suppose 3*a - t - 4 = 0, 0 = -3*x - 4*a + 89. Is 19 a factor of x?
False
Suppose -5*u = -5*m - 25, -4*m + 5*m = -5. Suppose -f = 2*s + s - 42, -s - 2 = u. Does 12 divide f?
True
Let r(l) = -l + 12. Let y(g) = -g + 1. Let a be y(7). Is r(a) a multiple of 9?
True
Let f(h) = -3*h - 1. Let r(p) = -p. Let w(u) = f(u) - 5*r(u). Does 3 divide w(2)?
True
Suppose -5*q + 8*q - 87 = 0. Suppose -2*i - 5 = 5*t - q, -2*t = 4*i - 16. Does 4 divide t?
True
Let w be 7790/65 + 4/26. Let s = -69 + w. Is 20 a factor of s?
False
Let i = 51 - 35. Let o be -13 + 0/(-3) + 1. Does 16 divide (0 + i/(-6))*o?
True
Let o(d) = d**2 + 2*d. Let p(c) = 2*c**2 + c. Let b be p(1). Is o(b) a multiple of 15?
True
Let d = -84 - -135. Is d a multiple of 24?
False
Let u(t) be the third derivative of t**5/60 - t**4/12 + t**3/3 - 5*t**2. Is u(2) a multiple of 2?
True
Let x = -2 + 4. Suppose 0*j + 12 = x*j. Is j a multiple of 6?
True
Suppose 2*n - 5*n = 30. Suppose 4 = 2*k - 0. Is 10 a factor of n*-2*k/4?
True
Is 30 a factor of (-3 + 4)/(1/155)?
False
Suppose -4*m - 212 = -612. Does 10 divide m?
True
Is 1 + 23 - 3*1/3 a multiple of 3?
False
Let s = 19 + -13. Let a = 0 - -17. Suppose -5 = -2*g - 3*r, -s*g + 2*g = -r - a. Is 3 a factor of g?
False
Suppose 9*n + 5*n - 1918 = 0. Does 23 divide n?
False
Let v(r) = -r**3 + 10*r**2 - r + 13. Does 13 divide v(9)?
False
Let p(j) = j**3 - 15*j**2 + 13*j + 14. Let o be p(14). Suppose 0 = -3*h + 5*d + 79, 3*d + 6 = -o*d. Is h a multiple of 14?
False
Suppose 2*t + 12 = 98. Is 30 a factor of t?
False
Let k(d) = -d**2 + 9*d - 8. Let j = 4 + 17. Let z = -14 + j. Does 2 divide k(z)?
True
Suppose -5*p - 5 = 0, 2*v - 6*v + 2*p = -18. Suppose -v*x = x + 80. Let f = x + 26. Does 8 divide f?
False
Let t(q) = 15*q + 3. Is 21 a factor of t(4)?
True
Let g = 7 - 12. Is 10 a factor of (-94)/g - (-4)/20?
False
Suppose -2*k = 3*w + 16, k = w + 2*k + 7. Is (-1 + 1)/w + 17 a multiple of 12?
False
Let i = 7 + -8. Is 8 a factor of (-3 + 1)*12/i?
True
Let v(j) = j**3 - 2*j**2 - j - 1. Let p be v(3). Suppose -n = 3 - p. Suppose -3*g = -n*g - 20. Is 10 a factor of g?
True
Let g = -6 + 1. Is (-2)/1 - (g - 6) a multiple of 3?
True
Is 4/3*(-585)/(-30) a multiple of 6?
False
Suppose 4*r = 2*r - 3*y - 5, -3*r + 4*y + 18 = 0. Suppose 0 = -r*h - 21 + 53. Is 8 a factor of h?
True
Suppose -3*g + 154 + 57 = -4*f, 5*g - 3*f - 337 = 0. Is g a multiple of 12?
False
Let a be 1/(-2*(-2)/12). Suppose 2*i - a*k - 168 = 0, 0 = 5*k - 26 + 6. Is 30 a factor of i?
True
Suppose -12 = -g - 2*g. Is 2 a factor of (3 - 2)/(1/g)?
True
Let w(u) = u**3 + 5*u**2 + 2*u + 6. Let t be w(-5). Let j = t - -7. Does 3 divide j?
True
Let z(y) be the first derivative of -y**4/4 - 3*y**3 - 4*y**2 - y + 3. Let g be z(-8). Let n = 13 - g. Is n a multiple of 7?
True
Let n be 3/6 - 1/2. Suppose n*r - 18 = -2*r. Suppose 21 + r = 5*j. Is 3 a factor of j?
True
Suppose -31 = -2*n - 5*k, -n + 4*k + 6 = 23. Suppose 7 = 4*u - n*u. Suppose 4*j = -4*a + 36, 4*a + 3*j - u*j = 60. Is a a multiple of 12?
True
Is (-1)/(-6) + (-955)/(-30) a multiple of 11?
False
Suppose -4*y = -r + 17, -13 = 3*r - 2*y + 6*y. Let b(n) = 3*n - r + n**3 - 13 + 1 - 9*n**2. Is 14 a factor of b(9)?
True
Suppose 5*v = -3*b + 278, -2*v + 2*b - 224 = -6*v. Suppose -v = 4*k + 14. Does 3 divide 2/(-9) + (-130)/k?
False
Let a(t) be the first derivative of -25*t**4/4 + t**3/3 - 1. Is a(-1) a multiple of 13?
True
Let p = 325 - 176. Is 19 a factor of p?
False
Suppose -25 = -6*f + 2*f + t, 3*t - 15 = -3*f. Suppose 0*h + 3*h = f. Suppose -s + h*q = 2 + 4, -5*s + 3*q + 5 = 0. Is 4 a factor of s?
True
Let i = -3 + 3. Suppose 0 = -3*f - 2*f + 15. Is 5 a factor of 15 - ((4 - f) + i)?
False
Let l = 14 + 7. Suppose -2*x + x = -l. Is x a multiple of 10?
False
Let v = 167 - 25. Suppose 4*z = -5*d + v, 0*z = -5*d - z + 148. Is d a multiple of 15?
True
Suppose -4*z + 16 = 0, -2*f + 2*z - 6*z + 24 = 0. Suppose -29 = -9*c + f*c - 4*j, -3*j - 2 = -c. Suppose 0 = -c*b + 78 + 62. Does 14 divide b?
True
Let o = -50 - -73. Is o a multiple of 16?
False
Suppose 0 = -2*p + d + 21, 42 - 3 = 4*p - 3*d. Let v be (2/(-6))/((-2)/p). Does 11 divide (-6)/(v + 36/(-15))?
False
Let d = -150 + 228. Does 13 divide d?
True
Does 17 divide 32/(-20)*(-35)/2?
False
Suppose 2*l = -10, 5*y - 2*y - 3*l - 27 = 0. Suppose -4*c + y = -64. Is c a multiple of 14?
False
Suppose -3*q + 7*q + 36 = 0. Does 27 divide 13*q/((-36)/16)?
False
Suppose 3*d - 3*u - 108 = 0, -d + 3*d + 2*u - 72 = 0. Is d a multiple of 21?
False
Suppose -2*t + 3 = -2*r + 5, 5*t + 2*r + 5 = 0. Let d be -3 - (3/t + -42). Suppose -3*g = 2*n - 71, -16 = -2*g - 4*n + d. Does 7 divide g?
True
Suppose -w + 3 = -4. Does 2 divide w?
False
Suppose -5*y + 5 = -z + 23, -3 = -3*y - 4*z. Is 3 a factor of y - (-1)/((-3)/(-27))?
True
Let t(i) = 11*i**3 - i + 6*i**2 - 10*i**3 - 2 - 2. Is t(-3) a multiple of 14?
False
Suppose -3*t + 61 = 16. Is 4 a factor of t?
False
Suppose 5*r + 7 = 17. Suppose 4*u = -2*m - r, -u - 5*m = 15 - 1. Is 15 a factor of u - (-32 - (-2 - -1))?
False
Let f(l) = -7*l + 4. Let u be f(-3). Suppose -u = -v - 7. Does 7 divide v?
False
Let f(b) = -39*b + 41. Does 56 divide f(-9)?
True
Suppose -3*i = -2 - 16. Let n = 41 - i. Is 10 a factor of n?
False
Let q(i) = i**3 - 6*i**2 + 6*i + 4. Suppose -1 = -5*k - 2*p + 8, 2*k + 2 = 2*p. Let m be -3*((-4)/6 - k). Does 9 divide q(m)?
True
Suppose -2*t - 10 = 3*t. Is 14 a factor of 2 + 1 + t + 27?
True
Suppose 6*z - 8*z = 4. Let b(i) = -6*i - 3. Is b(z) a multiple of 5?
False
Let a(w) = 0*w**2 + w**2 + 7 - 21*w + 25*w. Let t = 0 + -5. Is 7 a factor of a(t)?
False
Let t = 29 - 2. Is t a multiple of 26?
False
Let j(s) = s**2 - 6*s + 2. Let t be j(6). Let v be (-6)/2 + t*4. Suppose -v*a + 0*p + 2*p = -146, 0 = -5*a + 3*p + 144. Is a a multiple of 10?
True
Suppose 0 = b + 3*b - 120. Let i = b - 52. Let z = 6 - i. Does 14 divide z?
True
Let v(h) = 5*h**3 - 2*h**2 - h - 2. Suppose -2*b + 8 = 2*b. Let n be v(b). Suppose -5*o - n + 148 = 0. Is 12 a factor of o?
True
Suppose -4*z + 2*i + 38 = 0, -z - 2*i = 2*z - 25. Let k(r) = 3*r - 5. Let j(t) = -t - 1. Let h(c) = -4*j(c) - k(c). Is h(z) a multiple of 9?
True
Let f = 5 - 0. Let c(r) = 2*r**2 - 4*r - 6. Does 8 divide c(f)?
True
Let h(v) = 10*v - 3. Let m(p) = -50*p + 15. Let n(z) = 11*h(z) + 2*m(z). Is 13 a factor of n(4)?
False
Suppose -t = 3*p - 40, p + 2*p - 35 = -2*t. Let d(l) = -l**3 + l**2 - 2*l + 2. Let r be d(2). Is 18 a factor of p*r/(-5)*1?
True
Suppose -3*z = 60 - 0. Let l = -8 - z. Suppose l = 3*p - 12. Is 8 a factor of p?
True
Suppose -2 = -3*v + 4*n + 1, -5*n = 15. Is ((-10)/(-6))/((-1)/v) even?
False
Let u be 31 + (-6)/(2 - 0). Suppose -3*o - o = -u. Is o a multiple of 7?
True
Suppose -3*m = -2*v + 34, 0 = -4*m + 2 + 14. Is v a multiple of 4?
False
Suppose 0 = -3*k - 3*a + 45, -k = -6*k - 3*a + 69. Does 8 divide k?
False
Suppose -m + 1 + 3 = 0. Suppose 3*h = -m*x + 23 + 5, 4*h + 2*x - 24 = 0. Suppose -23 - 65 = -h*w. Does 10 divide w?
False
Let z = 106 + -43. Does 7 divide z?
True
Let a(m) = m**2 + 5*m + 8. Let t be a(-6). Suppose -5*f + t = -6.