 multiple of 12?
True
Let a(d) = 6*d**2 - 5*d - 4. Let h be a(5). Let t = h + -61. Suppose 7 = -l - 4*v + t, -3*l + 5*v + 108 = 0. Is l a multiple of 15?
False
Suppose -r + z + 6 = 5*z, -1 = -z. Suppose -r*w = 5*k - 142 + 12, -2*k = 5*w - 73. Is 11 a factor of k?
False
Let g(f) = f**3 - 5*f**2 - f + 11. Does 2 divide g(5)?
True
Let m = -58 + 109. Is 23 a factor of m?
False
Suppose 2*p + 40 = 2*j, 0 = -p + 2*p - 5*j + 16. Let y = 31 + p. Does 9 divide y?
False
Suppose -5*y - p + 78 = -3*y, 5*p - 94 = -2*y. Does 16 divide y?
False
Let b = -17 - -28. Is b a multiple of 4?
False
Let s(c) = c**3 - 2*c**2 - 5*c. Does 4 divide s(4)?
True
Let b(y) = y**3 - 11*y**2 - 10*y + 2. Suppose 5*i - 128 = 2*i - 2*r, 108 = 3*i - 3*r. Suppose 3*n + 4 - i = 0. Is 13 a factor of b(n)?
True
Suppose -3*l + 2*q = 3*q - 257, 2*l - 4*q - 162 = 0. Is l a multiple of 17?
True
Let b(a) = -2*a**2 + 11*a - 7. Let u be b(5). Is 12 a factor of (-2)/(u*3/132)?
False
Let m = -7 + 11. Suppose 0 = -m*a + 9*a - 125. Does 25 divide a?
True
Let y(j) be the first derivative of j**3/3 - 13*j**2/2 + 3. Let q(c) = -2*c**2 + 25*c + 1. Let f(z) = 6*q(z) + 11*y(z). Is f(7) a multiple of 6?
True
Let a(o) = -8*o - 3. Let n be a(-2). Let v(d) = -d**2 + 8*d - 5. Let h be v(7). Suppose 5*u = -y + h*y - n, -95 = -3*y + u. Does 25 divide y?
False
Let c = 7 + -6. Let j be (-26)/(c - (-6)/(-10)). Is 4 a factor of j/(-6) + 2/12?
False
Suppose -58 - 134 = -4*a. Is 11 a factor of a?
False
Let i(y) = 21*y**3 + 1. Is i(1) a multiple of 22?
True
Suppose -4*h = -2*h - 6. Suppose h*l - 66 = -0*l. Does 11 divide l?
True
Suppose -4*w + 0*w + 28 = 0. Let f be ((-12)/w)/((-6)/42). Let x(m) = -m + 19. Is x(f) even?
False
Let a = 180 + -90. Is a a multiple of 10?
True
Let g(d) be the third derivative of d**4/24 - d**3/6 + d**2. Let m be g(4). Is (m/2)/(3/20) a multiple of 10?
True
Suppose -d + 0*d - 4 = 0. Let w(k) = -k**2 + 7*k + 2. Let j be w(8). Let l = d - j. Is 2 a factor of l?
True
Does 17 divide (48/(-10) - -5) + (-678)/(-10)?
True
Suppose 28 = -5*p - 2*o + 7, 3*o = -4*p - 21. Does 19 divide (-173)/p - (-4)/(-6)?
True
Suppose -7*a + 3*a = -112. Let g = a + -19. Does 3 divide g?
True
Let r = 70 - 46. Is 6 a factor of r?
True
Let q(k) = -4*k - 11. Let v(r) = -1. Let b(y) = -2*q(y) + 22*v(y). Is b(3) a multiple of 8?
True
Suppose 4 - 10 = -2*h. Suppose -65 = -4*f - h*u - 4, 4*f - 5*u - 69 = 0. Does 8 divide f?
True
Let h(t) = t**2 - 2*t - 7. Let w(y) = -y**3 + 7*y**2 - 7*y + 6. Let k be w(6). Let l be (k + 6)/(-3) + 9. Is h(l) a multiple of 14?
True
Let d be -2 - (-1)/2*-2. Let v = 11 - d. Does 7 divide v?
True
Let k(t) = 5*t - 10. Suppose 2*u + m = 2*m + 22, 0 = 2*m + 8. Is k(u) a multiple of 12?
False
Suppose 0 = p - 0 - 13. Does 6 divide p?
False
Let f = 10 - 5. Suppose n - 4*p - 24 = -2*p, f*n - 94 = -3*p. Is 7 a factor of n?
False
Suppose -23*w + 168 = -20*w. Does 4 divide w?
True
Let k(s) = 59*s**2 + 3*s. Let y(p) = p. Let a(d) = k(d) - 4*y(d). Is a(-1) a multiple of 17?
False
Does 12 divide (21/2)/(-7)*-24?
True
Suppose 3*w + 0 = 30. Is w a multiple of 4?
False
Let k(x) = -x + 36. Is k(0) a multiple of 19?
False
Let b(y) = -y**2 + 13*y + 5. Let d be b(13). Suppose -3*k = 5*x + k, 0 = 4*x - 2*k - 26. Suppose -x*f + i = -94, d*f + 2*i - 125 = 7*i. Is f a multiple of 10?
False
Let i(p) be the first derivative of -p**6/360 + p**5/12 - p**4/12 + 2*p**3/3 - 2. Let m(o) be the third derivative of i(o). Does 9 divide m(5)?
False
Suppose -10 = -5*n - 0. Let i be -2 - (0 - n) - -1. Suppose -l - i = -4. Is l a multiple of 3?
True
Let r be (-1 - 0)*(2 - 2). Suppose i + 4*i - 55 = r. Is 9 a factor of i?
False
Let f(p) = 0 + 7*p + 1 + 12*p - 4*p. Is 9 a factor of f(1)?
False
Let j(h) = -h + 6. Let g be j(6). Suppose g = 4*q - 3*s + 4*s + 5, 5*s = -q - 25. Suppose -3*a + 66 = -q*a. Does 11 divide a?
True
Let n = 15 - 4. Let p(z) = z**2 - 3. Let r be p(n). Suppose 0*j = 3*a - j - 92, 4*a = -j + r. Is a a multiple of 13?
False
Suppose -3*b + 6*b = 0. Let r = 2 + b. Suppose 0 = -5*o - 10, -o = -3*j - r*o + 4. Does 2 divide j?
True
Let j(v) be the second derivative of -v**3/3 - 5*v**2/2 + 2*v. Is 3 a factor of j(-7)?
True
Suppose -3*o + 30 = 2*o. Let h = o + -2. Suppose -i - 56 = -5*x, -4*i + 3 = x - h. Is x a multiple of 5?
False
Let w be (1/(-3))/(1/(-15)). Suppose 3*t - w*s + 9 = 0, 4*t = t + 2*s. Let l = 3 + t. Is 5 a factor of l?
True
Suppose 0 = 5*o - 656 - 254. Does 26 divide o?
True
Let x = 77 - -61. Is x a multiple of 16?
False
Let s(g) = 12*g + 2. Let y be s(4). Is (-9)/5*y/(-15) a multiple of 4?
False
Let g(h) = 7*h - 1. Does 42 divide g(7)?
False
Let o = -24 - -246. Is 7 a factor of o?
False
Suppose 170 = y + 37. Suppose 2*n = -5*f + y, -f - f - 5*n = -70. Let b = 37 - f. Is 12 a factor of b?
True
Does 48 divide ((-128)/(-12))/(2/45)?
True
Let x be ((-1)/(-2)*-2)/1. Let q be (-2 - x)/(4/(-52)). Suppose -3*s - q = -88. Is s a multiple of 13?
False
Suppose -14 - 16 = -3*j. Let t = 273 - 188. Suppose 5*s = t + j. Is 19 a factor of s?
True
Let o be (-4)/(-12) + 166/6. Let r = o - -2. Let p = -20 + r. Is 5 a factor of p?
True
Suppose 6*b - 38 - 16 = 0. Suppose -7*r = -2*r - u - 121, -4*u = -r + b. Does 7 divide r?
False
Let u = -72 - -103. Suppose 0 = c + 2*q - 24, 3*q - u - 53 = -3*c. Is 16 a factor of c?
True
Is 8 a factor of 1*-4*15/(-20) - -106?
False
Let a(u) = u**3 - 2*u**2 + u + 1. Let s be a(2). Suppose 0 = -5*o + 3*y + 141, 102 = -s*o + 7*o + 3*y. Is o a multiple of 13?
False
Let b(f) = f**3 + 10*f**2 - 4*f - 2. Is 9 a factor of b(-5)?
False
Let v(y) = -y + 5. Let l be v(4). Let w be l - (0 - 2) - -9. Suppose w = t - 43. Is 16 a factor of t?
False
Let b(j) = 2*j - 1. Let k be b(3). Let n be 1 + 3 + 0/(-2). Suppose -g - g + 4 = -n*t, -4*g + 47 = k*t. Is g a multiple of 3?
False
Let d(p) = p**3 - 9*p**2 + 8*p + 4. Does 3 divide d(8)?
False
Let t be 2*(-4)/3*-12. Let l = t - -8. Does 14 divide l?
False
Suppose -w - 13 = -d, -4*w - 45 + 9 = -3*d. Let h(n) = n**3 - 17*n**2 + 17*n - 4. Is h(d) a multiple of 4?
True
Is 34 a factor of 2/(-4) + (-1818)/(-36)?
False
Let t = -45 - -150. Does 12 divide t/(-2)*20/(-25)?
False
Let s be (0 + 2)/((-6)/(-135)). Let d = s + -31. Is d a multiple of 14?
True
Let x be (-4)/(-10) - (-108)/30. Suppose -x*o + o + 15 = 0. Suppose 0 = 5*s + 4*d - 61, o*d = -7*s + 2*s + 65. Is s a multiple of 9?
True
Does 5 divide 1/(-3) - 1/(6/(-452))?
True
Let g(z) = -z**2 + 2*z**2 - 1 + 12 + z + 0*z**2. Does 18 divide g(-6)?
False
Suppose -k + i + 25 = -4, 5*i = -4*k + 71. Let f = 0 - -3. Suppose u - 2 + 6 = f*w, 4*w + k = 5*u. Is 3 a factor of u?
False
Let n(w) = 4*w + 2. Does 4 divide n(3)?
False
Let a(q) = 7*q**3 - 13*q**2 - 4*q + 12. Let z(m) = 13*m**3 - 25*m**2 - 7*m + 23. Let y(t) = -11*a(t) + 6*z(t). Is 20 a factor of y(7)?
True
Let p be (-12)/(-8) - (-14)/4. Suppose 0 = -p*c - 35 + 160. Let s = c + -16. Is s a multiple of 9?
True
Let o = 2 - 0. Suppose -o*p = -p - 7. Is p even?
False
Suppose -3*s + 3 = -2*d + 5*d, -2*s = -4*d - 8. Let m(b) = -2*b**3 + 3*b**3 + s - 5 - 7*b + 6*b**2 + 2*b. Does 7 divide m(-6)?
False
Suppose 9*x - 10*x = -76. Does 4 divide x?
True
Suppose 3*n - 78 = 18. Is n a multiple of 9?
False
Let z be 2 - (-3 - -3) - 22. Is 12/4*z/(-6) a multiple of 9?
False
Let a be (-216)/(-21) + 2/(-7). Suppose -2*k + 4*s + 112 = 0, k - 65 + a = s. Does 19 divide k?
False
Let g(k) = -k**3 - k**2 - 3*k - 3. Let q be 6/(-4) - (-1)/(-2). Does 7 divide g(q)?
True
Suppose q - 16 = -2*d, 2*q - 8 = -d + q. Is d a multiple of 4?
True
Suppose 4*t - 18*t + 980 = 0. Is t a multiple of 10?
True
Let q = -22 - -36. Does 11 divide q?
False
Suppose 3*i + 4*h = 10, -2*i - 3*h + 8 = 2. Suppose 3*m - 36 = -0. Is 18 a factor of (-2)/((-4)/i)*m?
True
Let j(k) = 19*k - 19. Does 19 divide j(6)?
True
Suppose 0 = -7*g + 36 - 1. Is g a multiple of 4?
False
Suppose 4*f - 71 + 23 = 0. Is 4 a factor of f?
True
Let t(v) = -10*v + 2. Let o(h) = 10*h - 2. Let b(q) = -4*o(q) - 3*t(q). Is 24 a factor of b(-8)?
False
Let a be (3 - 46/4)*-10. Suppose -2*s - 28 = -n, 5*n + s + 0*s - a = 0. Is 9 a factor of n?
True
Let c(m) = m**3 - 10*m**2 - 9*m - 1. Let v be c(11). Let g = v - 14. Is g a multiple of 3?
False
Let b be 2/3*(0 + -3). Let m = 17 + b. Let q = 23 - m. Is 8 a factor of q?
True
Let t be 6*(-2)/(-12)*3. L