+ 15*a + 9. Is l(-11) a multiple of 43?
True
Let z(t) = 37*t + 1. Let h be z(-2). Let p = h + 106. Is p a multiple of 14?
False
Let h = -4 + 6. Suppose -4*v - 3*k = 5, -h*v + 2*k - 30 = 2*v. Let z(m) = -m**3 - 5*m**2 - 2*m + 5. Does 11 divide z(v)?
False
Let g = 6 + -13. Let j(p) = 2*p**2 + 9*p + 10. Let r be j(g). Let m = 63 - r. Is 9 a factor of m?
True
Suppose 4*o - 19 = -7. Suppose 1 = c - o. Is c a multiple of 4?
True
Let f(o) = 18*o - 54. Does 18 divide f(20)?
True
Let n(c) = -c**3 + 5*c**2 + 8*c - 5. Let b be n(6). Let u = b - 14. Let a = -2 - u. Is a a multiple of 2?
False
Suppose 0 = 3*w - a - 10, -3*w + 4*a = -0*w - 22. Is 11 a factor of w/8 + (-87)/(-4)?
True
Let d be (-1)/(-4) + 332/16. Does 20 divide 843/d + 3/(-21)?
True
Suppose 5*d + 2*q = 31, -3*q + 20 = 5*d - 14. Suppose -d*i - 21 + 6 = -5*m, 4*m - 4 = -4*i. Is (38 + m)/(1/1) a multiple of 20?
True
Let b(s) = -2*s**3 + 3*s**2 - 4*s + 3. Let f be b(2). Is (-254)/f - (-10)/(-45) a multiple of 18?
False
Let o = 33 - 62. Let x = o - -56. Is 12 a factor of x?
False
Let z be (-1)/(-2)*(0 + 0). Suppose 3*s - 6 = -z*s. Is (-195)/(-9) - s/(-6) a multiple of 10?
False
Let n(g) = -g**3 + 7*g**2 - g + 9. Let r be n(7). Is -6*(-1)/(r/12) a multiple of 12?
True
Let i(u) = 8*u + 2. Let v = -22 + 43. Suppose -5*o + 3*h = -v, o - 8 = -3*o - 2*h. Is i(o) a multiple of 14?
False
Let b be 180/(-6) - (2 - 4). Let j = -9 - b. Is 7 a factor of j?
False
Let h(t) = 3*t**2 - 10*t + 11. Let p(d) = d**2 - 5*d + 5. Let f(s) = 3*h(s) - 7*p(s). Does 17 divide f(3)?
False
Let h(b) = b**2 + 6*b - 2. Let v be h(-7). Suppose -2*q - 2 + 16 = 4*y, 5*y - 5*q + v = 0. Is 6 a factor of (-2)/(y*-1) + 15?
False
Let n(l) = -9*l**3 - 3*l**2 - 3*l. Suppose 0 = 5*a - 7*a - 4. Is n(a) a multiple of 19?
False
Let p(m) = -m**2 - m - 52. Let n be p(0). Let h = n + 78. Does 7 divide h?
False
Let h(o) = -2*o + 15. Does 7 divide h(4)?
True
Suppose -5*k + 813 = 213. Is k a multiple of 12?
True
Let s be 1/(1/6 + 0). Suppose p - s*p + 15 = 0. Suppose w + 26 = p*w. Is w a multiple of 13?
True
Suppose 2*d = -4*b + 5*b + 82, -5*b + 10 = 0. Is d a multiple of 14?
True
Let o(t) = -5*t - 3. Let u be o(-8). Let w = -19 + u. Let d = w - 1. Is d a multiple of 7?
False
Let m(s) = -23*s. Let k be m(-2). Let y = k - 10. Is y a multiple of 12?
True
Let p(d) = d**3 - 5*d**2 + 6*d + 2. Suppose -3*h + 3 = 6. Let x = 4 - h. Is 15 a factor of p(x)?
False
Suppose -96*c + 72 = -94*c. Is c a multiple of 18?
True
Does 3 divide (-7)/(-5 - 4*3/(-3))?
False
Let z = 1 - -1. Let r be (15/10)/(1/z). Suppose 3*c + 2*c + 34 = r*o, 3*o - 22 = -c. Is 4 a factor of o?
True
Let s = -15 + 38. Does 2 divide s?
False
Let d(y) = 11*y + 1. Suppose 7 - 1 = 3*o. Is 11 a factor of d(o)?
False
Suppose 3*n - 2*n - 5 = 0. Suppose -n*x - 41 = -256. Does 11 divide x?
False
Let o(v) = v**3 - 6*v**2 - 5*v - 7. Let j be ((-24)/(-15))/(2/10). Let f be o(j). Suppose 5*w + f = 3*a, w + 0*w = 3*a - 93. Is 16 a factor of a?
True
Let t = 14 - 25. Let d = t - -18. Does 5 divide d?
False
Let o(l) = -l - 2. Let b be o(-4). Let k be (-1 - -2)*8 + b. Is 8/20 + 96/k a multiple of 4?
False
Let a(z) = z - 2. Let w be a(6). Let o be (-8)/6 - w/(-12). Is 52 + (-1 - o) + 0 a multiple of 18?
False
Let a = -37 - -76. Is a a multiple of 13?
True
Let k = -7 + 6. Does 7 divide (-1)/((3 + k)/(-18))?
False
Let c(h) = 0*h + h - 6*h + 6 - 4*h. Is c(-7) a multiple of 13?
False
Is 800/6*(-6)/(-4) a multiple of 14?
False
Let j(n) be the second derivative of n - 1/20*n**5 - 4*n**2 + 5/6*n**4 + 0 + 1/6*n**3. Is 2 a factor of j(10)?
True
Let a be -6*5/(45/(-24)). Suppose -f - 3*f = -4*d + 32, 2*f = d - a. Let z = 20 + f. Is z a multiple of 5?
False
Suppose 0 = 2*y - 5*y + 2*l - 14, 0 = 2*y + 3*l - 8. Let p = y - -2. Suppose p*x + 3*x = -4*a + 38, 3*a - 27 = -3*x. Is a a multiple of 4?
False
Let j(s) be the second derivative of s**4/12 + 3*s**3/2 + 3*s**2 + s. Let m be j(-8). Is 17 a factor of 62*((-1)/m + 0)?
False
Let m be 5/20 - (-263)/4. Suppose -u + 2 = -3*b - 16, 2*u - b = 11. Suppose 3*h - m = -4*x, -u*h + 2*x = -2 - 64. Is 22 a factor of h?
True
Suppose -17*l = -1409 - 1311. Is 8 a factor of l?
True
Let g be ((-6)/(-4))/(4/8). Suppose 25 + 24 = 4*o - c, -27 = -2*o + g*c. Is (-2)/(-8) - (-273)/o a multiple of 7?
False
Let l = 45 + -35. Is l a multiple of 10?
True
Suppose 0 = -y - 1, 5*z + 5 = 2*z + 4*y. Let u(f) = 2*f**2 - 10*f + 2. Let b be u(5). Does 11 divide b + (z + 1 - -25)?
False
Let p = -1 - -5. Let i(j) = -j**3 - 5*j**2 + 2 - p*j + j + j. Does 6 divide i(-5)?
True
Suppose 0 = -3*v + 5*y + 28, 3*y - 42 + 14 = -v. Is v even?
True
Suppose 3*k + 4*u = 28, 6*k - 3*k + 4 = 4*u. Is 6 a factor of (-156)/(-27) + k/18?
True
Let y(h) = -6*h + 5. Let u(f) = -f. Let i be u(5). Is 17 a factor of y(i)?
False
Let a = -4 + 7. Suppose 2*v = a*v. Suppose 2*m + 4*j - 62 = v, 4*m + m - 3*j - 103 = 0. Is 17 a factor of m?
False
Suppose 0 = 5*i - 15, -2*i - 33 = -5*k - 14. Suppose -k*b - 3*n - 98 = -0*b, 4*b + n + 77 = 0. Let a = -3 - b. Does 5 divide a?
False
Let m be 80/(-6) - 24/36. Is m*(12/8)/(-1) a multiple of 11?
False
Let r = -7 - -12. Suppose 2*q - 133 = -r*k, 49 = q - 2*k + k. Is q a multiple of 16?
False
Let p = 11 + 5. Does 8 divide p?
True
Suppose 0*c = 3*c + 2*b + 3, -6 = -2*c - 4*b. Let s be (-12)/(-9)*c/(-2). Suppose -s*v - v = -63. Does 21 divide v?
True
Let n(s) = -7*s - 4. Is 16 a factor of n(-3)?
False
Let k be (-1 - -1)/(-8 + 6). Suppose 3*h - 5 = -2*w, k*w - h + 7 = -2*w. Let l(i) = -2*i**3 + 3*i**2 + 3*i. Is 17 a factor of l(w)?
False
Suppose 2*i - 203 - 23 = -4*k, -580 = -5*i + 5*k. Is i a multiple of 27?
False
Let u(h) = 2*h**2 + 6*h + 9. Does 9 divide u(-6)?
True
Let c(f) = f**3 - 5*f**2 + 2*f - 4. Let s be c(5). Is 16 a factor of 2*1 + (s - -32)?
False
Suppose 3*r + 0*r - 180 = 0. Let k be ((-1)/(-1))/(2/6). Suppose 5*s = -4*j - 0*j + 80, -k*j + r = 4*s. Is j a multiple of 10?
True
Suppose -i + 9 = -2. Is i a multiple of 5?
False
Suppose 0 = -4*f + 2*f + 4. Suppose 0 = -5*l - 5*y + 153 + 167, 3*l - f*y - 217 = 0. Suppose -5*v + 16 = -l. Is v a multiple of 5?
False
Let n(f) = -f**3 + 8*f**2 + 8*f + 8. Let q(m) = 2*m**2 + 5*m - 3. Let l be q(-4). Let t be n(l). Is 13 a factor of 0 - (-2 + -23 + t)?
True
Let r(v) = v**2 - 6*v + 7. Let x(d) = d**3 - 3*d**2 + 3*d - 4. Let y be x(3). Does 2 divide r(y)?
True
Suppose 2*b - 4*b = -20. Let q be (-1)/5 + (-48)/b. Let m(r) = r**3 + 6*r**2 + 3*r - 4. Is 4 a factor of m(q)?
False
Is ((-5)/(-5) - -8)/1 a multiple of 4?
False
Let h be 9/4 - (-2)/(-8). Suppose -3*u - l = -4*u + 52, 4*u + h*l - 220 = 0. Suppose -2*n = n - u. Is 9 a factor of n?
True
Suppose 4*a - 352 = -20. Is 11 a factor of a?
False
Let u be (2/2)/(2/6). Suppose 5*s - 11 = u*q, -s + 3 = q + 4*s. Does 3 divide (1 + q)/(2/(-6))?
True
Suppose 14*q = 15*q - 4. Is q a multiple of 3?
False
Suppose 0 = -4*v - 11 + 23. Is 3 a factor of v?
True
Is 36*4*(-6)/(-16) a multiple of 27?
True
Suppose 2*g - 182 = -2*t, -4*t + 3*g = -t - 255. Is t a multiple of 11?
True
Suppose 0 = 4*a + 16 + 4, 2*b + 2*a - 278 = 0. Does 16 divide b?
True
Suppose 2*u - u - 40 = 0. Is u a multiple of 10?
True
Suppose -2 = 3*q + 4. Let c(i) be the third derivative of -i**6/40 - i**5/60 + i**4/24 + i**3/6 + 3*i**2. Is c(q) a multiple of 9?
False
Let o be 8/(-68) + 7756/34. Suppose 0 = -4*u + 3*r + o, -r + 3*r - 228 = -4*u. Does 14 divide u?
False
Suppose 5 = -t + 67. Does 6 divide t?
False
Let k(b) = -b**3 - 8*b**2 - b - 4. Let j be k(-8). Suppose -5*x = 15, 0*x + 15 = 3*l - j*x. Suppose 6 = t + l. Is t a multiple of 3?
False
Let x = 73 - -70. Does 21 divide x?
False
Suppose 0 = -j - j + 4*k + 216, -4*j - 2*k + 412 = 0. Suppose -y - 3*y = -j. Is 15 a factor of y?
False
Let l(m) = -3*m**2. Let r be l(-1). Let f = 1 - r. Does 4 divide f?
True
Let q = 5 - 3. Is 2 a factor of q?
True
Let g = -18 - -13. Does 15 divide (-3)/5 + (-243)/g?
False
Let v(f) = -f**2 - 10*f + 1. Let z be v(-8). Suppose 0 = q + p + 4*p + 1, -5*q = 3*p - z. Is 2/(-4)*q - -23 a multiple of 8?
False
Let q(w) = -2*w - 1. Suppose -f = 5 + 2. Is q(f) even?
False
Let f(p) = p**3 + 5*p**2 - 3*p - 5. Let g be f(-5). Let i(y) = 3*y - 6. Is i(g) a multiple of 7?
False
Let z = 107 - 59. Does 16 divide z?
True
Let a(d) = -d**3 + 8*d**2 + 4. Let q be a(6). Suppose -3*n