**3 + 7*y**2 - 5*y - 15. Is l(-7) a multiple of 11?
False
Suppose 5*g + 0*g = -5*p + 165, 5*p - 3*g = 149. Does 6 divide p?
False
Let f = 149 + -70. Does 12 divide f?
False
Suppose -3*i = -3*p + 6 + 9, 4*i = -5*p - 11. Let y(o) = -4*o + 1. Is 3 a factor of y(i)?
False
Suppose 3*p - 67 = -4*n, 2*n - 6*n - 83 = -3*p. Suppose 0 - p = -5*q. Is q a multiple of 2?
False
Let i = 2 + 0. Let d be (3/i)/3*-4. Is 5 a factor of d + -12*(-3 + 2)?
True
Is (-4037)/(-44) + (-2)/(-8) a multiple of 23?
True
Let m(p) = p + 7. Let d = 3 + -7. Is m(d) a multiple of 2?
False
Let n(v) = -v + 1. Let s be n(8). Let b = s - -45. Is 22 a factor of b?
False
Suppose 0*z - 166 = z - 3*w, -166 = z - w. Let i = 318 + z. Suppose 5*t - i + 37 = 0. Is 14 a factor of t?
False
Is 4 a factor of (3 + (-30 - -4))/(-1)?
False
Suppose -235 = -5*i + 270. Is i a multiple of 23?
False
Suppose 5*k = 4 + 11. Suppose -k = 2*v - 13. Suppose -4*b - v*p = -146, 39 - 199 = -4*b + 2*p. Does 13 divide b?
True
Let i(z) = 5*z + z - 4 - 2*z. Let f be i(5). Suppose -j = 5*p - 5, 4*j + 4*p - f - 20 = 0. Is 10 a factor of j?
True
Does 12 divide 279/6 - 9/6?
False
Let f = 4 - -1. Suppose -f*p = -2*u - 21, 5*u - 1 = p + 4. Suppose q = -2*t + 22, 7*t + 4*q = u*t + 49. Is t a multiple of 12?
False
Is (131/1 - (2 + -2)) + -1 a multiple of 13?
True
Is 3 a factor of 53/11 + 4/22?
False
Let q(a) be the first derivative of a**4/4 - 2*a**3 + 2*a**2 + 5*a - 2. Let y be q(5). Does 13 divide (26/2 - y)*2?
True
Let j be (2 + -3)/(2/(-4)). Let r(p) = -p**2 - 7*p - 5. Let u be r(-6). Suppose j*d + b = 68, -u = 2*d + 4*b - 69. Does 17 divide d?
True
Let v = -11 - -26. Is v a multiple of 15?
True
Let k = 190 + 18. Is k a multiple of 26?
True
Let d be (4 + -2)/(1/5). Let a(y) = 9*y - 6. Does 14 divide a(d)?
True
Let m be ((-1)/(-3))/((-7)/(-126)). Suppose 4*t - m*t + 20 = 0. Is t a multiple of 5?
True
Let l(c) = -c**2 + 26*c - 4. Is l(11) a multiple of 7?
True
Suppose 3*m + 105 = -3*d, 2*d + 251 = -5*m + 70. Let u = m + 67. Is u a multiple of 15?
True
Let y be (-1376)/(-14) + 18/(-63). Let r = y + -50. Is r a multiple of 16?
True
Let m(y) = -y**2 - 12*y - 11. Let z be m(-11). Suppose z = -17*r + 13*r + 160. Is r a multiple of 11?
False
Let o(s) = s**3 + s**2 + 102. Does 34 divide o(0)?
True
Let b(k) = 5*k**2 + 4*k + 3. Suppose 0 = 2*z - 2*c + 2, -4*c + c = -3. Let q be (z - 0) + (-3 - -1). Does 15 divide b(q)?
True
Is 6/(-30) - ((-192)/10 - -1) a multiple of 6?
True
Let q be (2/4)/(1/2). Let y(s) = 18*s - 2. Is y(q) a multiple of 16?
True
Let s be -1 - (-2 - -4 - 5). Is -2 + s*(-58)/(-4) a multiple of 7?
False
Suppose 2*v = -5*o + 130, o = -3*v + 185 + 10. Is v a multiple of 7?
False
Is 39 a factor of 3 - 23*(-3 - 2)?
False
Let j(v) = v**2 - 1. Let h be j(0). Let m be (2 + -5)*1/h. Suppose 1 + 11 = -m*w, w = -l + 9. Is l a multiple of 13?
True
Let h be -1*3*(-2 - -1). Let v(j) = -j**2 + 4*j + 2. Let t be v(h). Suppose 11 + 19 = t*g. Is g a multiple of 3?
True
Let o(d) = -d**2 - 12*d + 2. Let f be o(-10). Let u be 5/((-5)/f)*-1. Suppose 0 = w - u. Is 11 a factor of w?
True
Let v(q) = 4*q - 9. Let j be v(6). Does 3 divide 2 + j - (6 - 3)?
False
Let k(f) = f**2 + 3*f - 6. Let t be k(-5). Suppose 1 = 3*h + t*g, 4*h - 3*h + 2*g + 1 = 0. Is h a multiple of 3?
True
Is 19 + -3 - (-1 + -1) a multiple of 16?
False
Let n = 9 + -5. Suppose 0 = 4*i + 4, -n*t + 2*t = 5*i - 7. Is t a multiple of 6?
True
Let h(y) = 8*y**3 - 18*y**2 + 32*y + 10. Let r(l) = -3*l**3 + 6*l**2 - 11*l - 3. Let s(b) = 4*h(b) + 11*r(b). Suppose 14 = -4*k - 14. Is 4 a factor of s(k)?
False
Let w(z) = 22*z + 6. Does 18 divide w(3)?
True
Let w(u) = -u**2 - 5*u. Let i be w(-5). Suppose i*n = 5*n - 220. Is n a multiple of 14?
False
Suppose -4*o + 2*o + 68 = 0. Suppose 4*l - o = -2*k, 4*k - 5*l - 160 = -k. Does 9 divide k?
True
Let a be (-1)/(-4) + (-19)/(-4). Suppose -35 = -5*y - a. Suppose 0 = y*z - 2*z - 88. Does 10 divide z?
False
Let l = -3 - -3. Suppose 2*d + l = -18. Let v = 17 + d. Is v a multiple of 8?
True
Let h = 45 - 32. Is 13 a factor of h?
True
Suppose -2*r - 320 = -7*r - 2*i, -r = -5*i - 64. Suppose -k = -4*d + 4*k + 167, -r = -2*d - 4*k. Does 11 divide d?
False
Let c be (-136)/(-6) + (-6)/9. Let u = c + -37. Let j = u + 23. Is 5 a factor of j?
False
Let x = 33 + -10. Let z = x + -4. Let y = z + -5. Is 10 a factor of y?
False
Suppose -2 = 5*n - 17. Suppose 4*j = n*u + u - 36, -6 = -2*u - j. Suppose 0*m + 4*m = 0, 3*m + 70 = u*c. Does 14 divide c?
True
Let u(i) = 21*i**3 + 2*i**2 + 2*i. Let c(m) = 41*m**3 + 5*m**2 + 4*m. Let g(l) = -3*c(l) + 7*u(l). Does 25 divide g(1)?
True
Suppose -d - 35 = 4. Let k = 56 + d. Is k a multiple of 14?
False
Suppose -4*x - 4*n + 588 = n, 0 = -x - 5*n + 132. Suppose 3 = -4*w - 5, 2*w - x = -3*b. Is b a multiple of 26?
True
Let p(x) = x**2 + 4*x + 3. Let a be p(-2). Let y(i) = 5*i**2 + i + 1. Let f be y(a). Suppose -2 = -f*r + 258. Is 14 a factor of r?
False
Let b(s) = -s**3 - 2*s**2 + 6*s + 5. Is 12 a factor of b(-4)?
False
Suppose -5*o + 16 - 1 = 0. Suppose -93 = -o*a + 5*c, 48 = a - 4*c + 10. Does 13 divide a?
True
Let n = -45 + 75. Suppose n = l + 2*l. Is 10 a factor of l?
True
Let x(f) be the second derivative of f**6/240 - 7*f**5/120 + f**4/12 + 2*f. Let h(p) be the third derivative of x(p). Is 4 a factor of h(5)?
True
Suppose 38*h - 36*h = 44. Is 6 a factor of h?
False
Let l = 8 - 8. Suppose l*q = 4*q - 36. Is 4 a factor of q?
False
Let s(i) be the second derivative of i**4/12 - i**3/2 - i**2/2 - 3*i. Let z be s(2). Does 10 divide z/9 + (-61)/(-3)?
True
Let z(y) = -7*y - 12. Does 12 divide z(-7)?
False
Let q(h) = -h**2 + 15*h + 30. Is 14 a factor of q(13)?
True
Let l(p) = 2*p - 1. Let w be l(-1). Let x(z) = -z - 3. Let n be x(w). Suppose 4*r = -f + 4 - n, 5*f - 68 = 4*r. Is 6 a factor of f?
True
Let v(p) = p**2 + 3*p - 5. Let h be v(-8). Let g be 10/h + (-5)/(-7). Does 3 divide -1 - (g*-12 - -2)?
True
Let d(q) = 3*q + 20. Is 4 a factor of d(5)?
False
Let x be -1 - 5 - 9/3. Let s(y) = -y**2 - 10*y + 13. Is s(x) a multiple of 11?
True
Let p = -98 + 168. Suppose -2*t - 72 = c - 0, -2*t - p = 2*c. Let s = -4 - t. Does 11 divide s?
True
Let s be (0 + -2)*10/(-4). Suppose 4*b = -b. Suppose -k + 2*d = -20, b*k + s*d - 58 = -2*k. Is k a multiple of 12?
True
Is (-176)/6*15/(-10) a multiple of 13?
False
Let k = 3 - 9. Let z be 2/k - (-10)/(-15). Let v = z - -15. Is 7 a factor of v?
True
Suppose 4*t - 19 = -7. Suppose -m = -3*i + 7, 2*m + 8 = t*i - 0*i. Suppose 0 = -b - 3*p + 11 + 19, 4*b = i*p + 92. Is 12 a factor of b?
True
Let t(r) = r**3 - 10*r**2 + 3*r + 22. Is 52 a factor of t(10)?
True
Let l(a) = -24*a**2 - 12*a - 6. Let o(v) = 8*v**2 + 4*v + 2. Let i(n) = 5*l(n) + 16*o(n). Does 10 divide i(-2)?
False
Suppose -4*m - 78 = -246. Suppose -u + 4 = -0*u. Suppose -w + 2 = -u*x, -4*w - 2*x + m = -x. Is 5 a factor of w?
True
Let j(v) be the first derivative of v**4/4 - 3*v**3 + 11*v**2/2 + 3*v + 1. Let z be j(9). Suppose -z = -2*s - s. Does 17 divide s?
True
Let v be (45/(-12))/((-9)/24). Suppose 3 = 3*q, p - 2*q + v = -3*p. Is (-1)/p - (-30)/4 a multiple of 8?
True
Let u = -133 - -209. Is 19 a factor of u?
True
Let s be -2*(-2)/(-6)*3. Does 10 divide (-1)/s + 145/10?
False
Let x = 21 - 11. Let v be (-2)/2 + (31 - x). Let k = 31 - v. Is 4 a factor of k?
False
Does 7 divide 1/((-129)/(-63) - 2)?
True
Suppose 3*o - 5 = 4. Suppose 2*u + 6*h = h + 9, 0 = 3*h - o. Suppose 4*t - 57 = 3*m, -u*t + 5*m = -6*t + 65. Is 15 a factor of t?
True
Suppose -2*n + 3*n = 11. Suppose -5 = 3*y - 5*j + n, -y + 5*j - 22 = 0. Is 2 a factor of y?
False
Let v(l) = l**3 + 12*l**2 - 7*l + 5. Is 16 a factor of v(-12)?
False
Let s = -114 + 179. Does 13 divide s?
True
Let r = -39 - -151. Is 16 a factor of r?
True
Let k = -13 + 16. Suppose -2*h - 6 = -k*h. Is 2 a factor of h?
True
Let r be (3/(-2))/(3/(-6)). Suppose 5*y - r*o - 49 = y, -2*y + 4*o = -32. Is y a multiple of 5?
True
Let b = -7 + 10. Suppose 3*m - 52 = 5*i, 8*m = b*m - 5. Let a = i - -21. Is a a multiple of 7?
False
Suppose -5*q + 15 + 10 = 0. Is 2 a factor of q?
False
Suppose 0*y = 3*y - 5*q - 474, 5*q = 0. Is 7 a factor of y?
False
Suppose 4*r - 5*d - 13 = -115, 5*r + 5*d + 150 = 0. Does 6 divide 2/7 - 496/r?
True
Let w = -8 + 10. Let c be (5 - w) + -3 + 12. Is (-1)/3 - (-400)/c a multiple 