w) = -32*w - 2. Let h(m) = m + 1. Let j(s) = -3*h(s) - o(s). Is 15 a factor of j(c)?
False
Let j be 1 + (-1 - -3) + 0. Let d be (0 - (-4)/j)*-3. Is 7 a factor of (-63)/(-4) + (-1)/d?
False
Let j(l) = 7*l - 2. Let s be (3 - (-3)/(-3)) + 1. Does 13 divide j(s)?
False
Suppose -28 - 139 = -x. Is x a multiple of 33?
False
Let r = -250 - -712. Is 66 a factor of r?
True
Let f be -5 + 2 - 2/2. Let i(l) = -6*l. Is i(f) a multiple of 6?
True
Let g(y) be the third derivative of y**6/120 - y**5/10 - 7*y**4/24 + y**3 - 2*y**2. Is g(7) a multiple of 2?
True
Let p(i) = 14*i - 52. Let t(f) = 5*f - 17. Let a(v) = -4*p(v) + 11*t(v). Is 21 a factor of a(0)?
True
Let w(q) = 8*q + 15. Is 16 a factor of w(7)?
False
Let v(s) = 4*s**2 + 4. Is v(6) a multiple of 37?
True
Let h = 38 + -20. Is h a multiple of 6?
True
Suppose 5*s = -2*a + 22 + 212, -4*a + 84 = 2*s. Suppose -2*d = d - 6, 4*h = 2*d - 124. Let n = h + s. Is 9 a factor of n?
True
Suppose -2*j = 3*j + 10. Let r = 87 + -2. Is (r/(-10))/(j/12) a multiple of 18?
False
Suppose 3 = -r - 1. Let w be -1 - -5 - 4/2. Let h = w - r. Is h a multiple of 2?
True
Let o = -131 + 202. Suppose -o = -5*d + 119. Does 9 divide d?
False
Let t(g) = g**2 + 4*g + 8. Let r be t(-6). Suppose -w = -0*w - r. Does 10 divide w?
True
Is 28 a factor of 4556/51 - (-2)/3?
False
Suppose k - 3 = -2*o - 2, 5*k = -2*o + 5. Let h be ((-20)/(-2))/(-1*k). Is 122/5 + 4/h a multiple of 12?
True
Suppose 5*x = -3*o + 175, 5 = -o - 2*x + 64. Is o a multiple of 55?
True
Suppose -3*k = 2*k - 10. Let h = -33 + 48. Suppose -k*z = -z - h. Is z a multiple of 7?
False
Let b(g) = 2*g + 9. Does 9 divide b(0)?
True
Let x = 4 + -2. Suppose -12 = x*j + 16. Let d = j - -35. Is 6 a factor of d?
False
Let m = -36 + 60. Does 6 divide m?
True
Let m = 143 + -48. Is m a multiple of 22?
False
Suppose -5 - 2 = h - 4*f, -5*h + 4*f + 13 = 0. Suppose 4*x = 3*x + h. Is 3 a factor of x?
False
Let c = -401 - -567. Is c a multiple of 17?
False
Let a(b) = -16*b - 10. Is 11 a factor of a(-5)?
False
Let t be (-2 - 4)*(-1 + 2). Let d be 0 + 2/(t/9). Let j = 24 + d. Is 21 a factor of j?
True
Suppose -4*p + 5 = -127. Is 9 a factor of p?
False
Suppose -734 = -5*q - 39. Let d = q - 79. Is 30 a factor of d?
True
Suppose -k = 4*x - 157, -3*k - 4*x - 118 = -565. Suppose 0 = -5*m + 5*s + 265, -3*m + 0*s + k = 4*s. Does 14 divide m?
False
Suppose -a + 0*a + 9 = k, -2*a = 4*k - 26. Suppose 33 = o - 4*q, -48 = -3*o - 2*q - a. Is 17 a factor of o?
True
Suppose 3 - 1 = x. Is 6 a factor of (308/11)/(1*x)?
False
Suppose 0 = 6*t + 163 - 1213. Is 25 a factor of t?
True
Suppose m + 4 = -3*p, 0*p = 3*m + 3*p - 12. Let j(f) = -f**3 + 10*f**2 - 9*f + 4. Let y be j(m). Suppose o - y = -o. Is o a multiple of 14?
False
Let s(i) = -3*i**3. Let z be s(-1). Let p(v) = 7*v**3 + 7*v**2 - 5*v - 2. Let j(n) = -n**3 - n**2 + 1. Let m(k) = 6*j(k) + p(k). Is m(z) a multiple of 11?
False
Let c = 25 - 13. Let a = c - 22. Does 18 divide (-10)/25 - 454/a?
False
Let y = -4 - -1. Let j = -2 + 3. Is 7 a factor of (2 + y)/(j/(-9))?
False
Let y = 54 - 36. Does 9 divide y?
True
Let h(z) = z + 10. Let u be h(10). Let b be (-1 - -4)*4/6. Suppose b*d - u = d. Does 7 divide d?
False
Let k(c) = 21*c - 4. Is k(4) a multiple of 16?
True
Let c be (-8)/(-36) + 1857/27. Let m = 104 - c. Is 11 a factor of m?
False
Suppose -8 = -d + 2. Let r = d + -34. Let p = 42 + r. Is 9 a factor of p?
True
Let u = 32 + 3. Suppose 3*i - 31 = u. Is 12 a factor of i?
False
Suppose -4*p + s + 521 = 0, -5*p + 0*s = 4*s - 625. Suppose -25 + p = 2*h. Let o = h + -32. Is 10 a factor of o?
True
Let r = 188 - 123. Is r a multiple of 13?
True
Let j(h) = -2*h + 8*h + 3*h - 2*h - h**2 + 2. Does 8 divide j(6)?
True
Suppose 3*g + 5*u = -5, 3*g + 4 = 7*g - 4*u. Suppose -5*d = -g*d - 50. Is d a multiple of 5?
True
Suppose 4*p = 4*j + 16 + 36, -2*p + 41 = j. Is p a multiple of 3?
True
Suppose -2*o = o - 6. Does 11 divide -1 - o - (-57)/3?
False
Let r(q) be the first derivative of -q**4/4 + 11*q**3/3 - 9*q**2/2 - 5*q - 4. Let d be r(10). Suppose -52 = d*k - 172. Is k a multiple of 8?
True
Let v(l) = -l**3 - 3*l**2 - 2*l - 12. Is v(-5) a multiple of 27?
False
Let m be (-2 + -3)/1 - -3. Let q = -2 - m. Suppose -5*s + 2*s + 144 = q. Does 15 divide s?
False
Suppose 3*b = -3*b + 18. Let p(u) be the third derivative of u**6/120 - u**5/20 + u**4/6 - u**3/6 + u**2. Is 8 a factor of p(b)?
False
Does 11 divide 8/(-20) - 554/(-10)?
True
Let q = -108 + -28. Is 10 a factor of ((-9)/(-12))/((-2)/q)?
False
Suppose 0 = -5*p - 5*v + 125, -5*p + v + 97 = -v. Let n = -13 + p. Is n a multiple of 4?
True
Let v(d) = d**3 - 4*d**2 - 3. Let m be v(4). Let i be (-112)/4*(1 + m). Suppose 0 = 5*a - 2*o - i, 27 = 2*a - 2*o + 7. Does 6 divide a?
True
Suppose 4*d + 440 = 4*o, 2*d + 1 + 1 = 0. Is 19 a factor of o?
False
Let c = 21 - -42. Is c a multiple of 23?
False
Let g = -234 + 418. Is 23 a factor of g?
True
Suppose -2*v - 19 - 5 = 0. Is (45/v - -3)*-24 a multiple of 18?
True
Suppose 3*u + 3*v = 510, 305 = 3*u + 2*v - 200. Suppose -4*a - u = a. Let h = a + 72. Is h a multiple of 13?
True
Let y(q) = -2*q**3 - 7*q**2 - 2*q + 3. Let z be y(-6). Is z/(-26)*32/(-3) a multiple of 40?
True
Let m be -3 - -2 - -2 - -1. Suppose -j + m + 32 = 0. Is 17 a factor of j?
True
Let p = -3 + 48. Is 15 a factor of p?
True
Let z(w) = w**3 + 3*w**2 + 4*w + 3. Let o be z(-2). Is 5 - (-2 - o - -1) a multiple of 3?
False
Let s(u) = -u**3 + 7*u**2 + 16*u + 9. Is s(8) a multiple of 11?
False
Let b(z) = -z**2 - 16*z - 15. Let t be ((-4)/(-12))/((-1)/33). Is b(t) a multiple of 8?
True
Let g(i) = 3*i**3 + 2*i**2 - 2*i + 2. Let r be g(-3). Suppose 0*x - 2*j - 93 = 3*x, 3*x - 2*j + 93 = 0. Let s = x - r. Is s a multiple of 12?
True
Suppose -x - 4*k = -66, x - 2*k = -0*k + 60. Is 2 a factor of x?
True
Is 2 a factor of 4/24*-3*(-1 + -29)?
False
Let z be ((-194)/8)/(4/(-16)). Suppose -4*m = -4*l - 91 - z, -5*m = 4*l - 262. Let p = m + -36. Is 14 a factor of p?
True
Let f = 9 + -5. Let k be 18/f + (-6)/(-12). Suppose -k*g = -143 + 23. Does 16 divide g?
False
Let d be (2/(-2))/(2/8). Let p = -25 - -45. Does 9 divide p - (d - -2)*-1?
True
Suppose -4*j = -12, -3*l + 6*l - 2*j = 6. Suppose 0 = -n + 5*n + z - 51, 0 = 4*n + l*z - 36. Does 3 divide (n/4)/((-5)/(-10))?
False
Let c(y) = -y - 4. Let s be c(0). Suppose -f - 7 = 3*d + 15, 0 = -d - 2*f - 9. Is (-3)/(-12) + d/s a multiple of 2?
True
Suppose 0 = 4*s - 3*s - 5. Suppose s*g = 39 + 11. Does 10 divide g?
True
Suppose h - 455 = -4*h. Does 15 divide h?
False
Let l(c) = c - 8. Let x be l(9). Does 5 divide x/((-18)/10 + 2)?
True
Let h(z) = z**3 - 10*z**2 - z + 12. Let x be h(10). Let t(s) = -6*s**2 - 2*s**3 + x*s**2 + 1 - 4*s + 2*s**3 - s**3. Is t(-3) a multiple of 3?
False
Let x(t) = 2*t + 2. Suppose 2*d - 2 = -0. Let c = 5 - d. Does 10 divide x(c)?
True
Let a(u) = 2*u - 4. Let w be a(6). Suppose 0 = 3*f - w*f - 2*z - 852, -5*f - z = 851. Does 16 divide (2/4)/((-5)/f)?
False
Let p be 1 + -3 + 2 + -5. Let o(x) = x**2 + 5*x + 5. Does 3 divide o(p)?
False
Let f = 48 + -43. Does 5 divide f?
True
Suppose -f = 3*i - 129, -f = -0 - 3. Suppose -14 = -u - 2*a, -3*a + i = 4*u - 2*a. Let s = u - -1. Is s a multiple of 11?
True
Let k = 439 + -237. Is k a multiple of 21?
False
Let o = 5 - -2. Let s = o + 10. Does 5 divide s?
False
Suppose -2*l - 5*p = l - 79, -3*l = -2*p - 65. Does 23 divide l?
True
Let z = -8 + 3. Let k(w) be the first derivative of -w**2/2 + 5*w - 4. Is 3 a factor of k(z)?
False
Suppose 0 = -4*w - 2*p + 278, -5*p = -3*w + 5*w - 135. Let v = -48 + w. Is v a multiple of 11?
True
Let p = 15 - -3. Suppose -5*h + 14 = 89. Does 20 divide (p/h)/((-3)/50)?
True
Let q(z) = -4*z - 8. Does 16 divide q(-10)?
True
Let g be (-54)/(-12) + 1/(-2). Suppose 222 = g*i + 38. Suppose -l = l - i. Is 10 a factor of l?
False
Let s(h) = 27*h**2 - 2*h + 7. Let m(r) = -14*r**2 + r - 3. Let w(y) = -7*m(y) - 3*s(y). Is w(1) a multiple of 8?
True
Let u(y) = 4*y**2 + 1. Let a be u(-1). Let f be ((-3)/5 - -1) + 23/5. Suppose -f*o + 75 = j + 22, -2*j + 61 = -a*o. Does 19 divide j?
True
Let x(i) = i**3 + 5*i**2 + 5*i + 4. Let q be x(-4). Suppose -p - 3*j + 19 = 0, -6 + q = 2*j. Is 166/7 + 8/p a multiple of 13?
False
Let p = 16 + -9. Is 4/(-14) - (-268)/p a multiple of 18?
False
Let o(h) = 5*h**2 + 4*h + 3. Does 9