/(-2)*64/(-12). Is 7 a factor of w(b)?
True
Let a(l) = -5*l**2 + l - 3. Let q be a(4). Let o = -34 - q. Let z = o + -23. Is z a multiple of 12?
False
Let g = -113 + 161. Is 24 a factor of g?
True
Suppose -r - 4*r + 1815 = 0. Does 11 divide r?
True
Let x(z) = -z**2 + z + 3*z**2 - z**2. Let m be x(-3). Suppose 0 = l - m - 1. Does 4 divide l?
False
Let m be 2/(-9) - (-176)/(-18). Let h be 10*(-1)/m*4. Suppose -t - 4 = 0, -3*s + 67 + 15 = -h*t. Is s a multiple of 12?
False
Let a(r) = -6*r - 5. Let c be a(-9). Is 0 + 3 + c + 3 a multiple of 11?
True
Suppose -f - 2*m + 12 = -14, -62 = -2*f - 2*m. Is f a multiple of 12?
True
Suppose 1130 = 13*l - 781. Does 17 divide l?
False
Suppose -20 = -9*v + 4*v. Does 9 divide (1 - -3)*13/v?
False
Let i(q) = -q**3 - 6*q**2 + 8*q + 10. Let d be i(-7). Suppose -14 - 55 = -d*g. Does 6 divide g?
False
Let w(q) be the third derivative of 0*q + q**2 + 1/120*q**6 + 1/30*q**5 - 1/24*q**4 + 0 + 1/3*q**3. Is w(2) a multiple of 12?
False
Suppose 5*x + 38 + 12 = 0. Let r be 2*(x/(-4) + 0). Suppose 0 = r*d - 108 + 28. Does 7 divide d?
False
Suppose 5*x - x - 64 = 0. Does 8 divide x?
True
Let u(b) = 2*b**2 + 5*b + 5. Let h be u(-2). Suppose -6*g = -h*g - 90. Is 15 a factor of g?
True
Let c = 0 - 2. Let x(k) = 3*k - 16 - 5*k + 10*k**2 + 15. Is 15 a factor of x(c)?
False
Let z be 16/3 - (-1)/(-3). Suppose -o - z = 4. Let h = o + 15. Is h a multiple of 3?
True
Let i(w) be the second derivative of 0 + w + 1/20*w**5 + 5/12*w**4 - 1/2*w**3 + 0*w**2. Does 14 divide i(-4)?
True
Suppose -4*u + 151 = 3*m, -4*m + 222 = -0*m - 5*u. Let b = m + -26. Is 2/(-9) - (-249)/b a multiple of 7?
False
Suppose r - 2*f = -r, -4*f = 5*r. Suppose r = 7*c - 8*c + 23. Is c a multiple of 23?
True
Let o = 51 - 42. Is o even?
False
Does 10 divide ((-13)/(65/(-30)))/(1/4)?
False
Suppose -6*v = -4*v - 8. Suppose 124 = v*k - 0*k. Is 12 a factor of k?
False
Let c be 2 + (1 - 4) - 0. Let a(j) = j**2 - j**2 - j + 15*j**2 + 12*j**2. Is 14 a factor of a(c)?
True
Suppose 0 = 2*u + 59 - 155. Is u a multiple of 24?
True
Suppose 2*d + 0*d + m + 7 = 0, 0 = 3*d - m + 8. Let n = -4 - d. Is 4 a factor of (5 - 0)*(n - -2)?
False
Let u be -1*3/1 + 3. Suppose u = c + 4*c - 140. Is 14 a factor of c?
True
Suppose 5*k = -95 - 70. Is (-3 - k/15)*-5 a multiple of 3?
False
Let w(z) = 2*z**2 + 2*z + 6. Let i be w(-5). Let r = 9 - -17. Let u = i - r. Is u a multiple of 7?
False
Is 22 a factor of 1906/6 + (-4)/6?
False
Let z = 56 + -31. Let n be -30*5/(z/(-6)). Is 5 a factor of 0/3 + n/3?
False
Let l(u) = 8*u + 4. Is 15 a factor of l(7)?
True
Suppose -2*z = -6*z + 12. Let o = 5 - z. Suppose -o*v = -v - 9. Is 6 a factor of v?
False
Suppose 5*b = -5, -b + 11 + 3 = 5*l. Suppose -3*n + 108 = -0*g - l*g, 0 = -2*g - 6. Does 11 divide n?
True
Let d = -111 + 120. Is d a multiple of 9?
True
Let o(r) = 5*r**2 - 3*r + 3. Suppose -8 = -2*l - 2. Is o(l) a multiple of 17?
False
Let g(o) = -5*o**3 - o**2 - o + 3. Does 41 divide g(-2)?
True
Is 60/8*(-12)/(-10) a multiple of 8?
False
Let i = -5 - -5. Suppose 46 = -4*s + 5*s - t, -5*t + 25 = i. Is 17 a factor of s?
True
Suppose -2*m - 3*m + 389 = -h, -288 = -4*m - 5*h. Is 36 a factor of m?
False
Suppose -5*i + 25 = -0*i. Suppose i*z - z - 232 = 0. Let t = 4 + z. Is t a multiple of 23?
False
Is 5 a factor of (2 + -3)*1*-22?
False
Let w(g) = 3*g**3 + 2*g**2 - 2*g + 6. Is w(2) a multiple of 7?
False
Suppose -3*v = 97 - 682. Is v a multiple of 13?
True
Suppose -5*q = -2*q. Let n = 18 + -16. Suppose -62 = -n*c - d, -4*d = -4*c - q*d + 112. Is 10 a factor of c?
True
Let t = 19 - 68. Let s be (4 - -2)*(2 + -15). Let f = t - s. Is f a multiple of 10?
False
Is (-6)/5*(-280)/42 a multiple of 4?
True
Let g be (-135)/(-20)*(-32)/(-3). Let x = -44 + g. Suppose -d + x = d. Is d a multiple of 8?
False
Let s be 7 + 2 + (0 - 1). Let v = -5 + s. Suppose -v*w = -0*w - 9. Does 3 divide w?
True
Let f(j) = j**3 + 10*j**2 + 8*j - 5. Let n be f(-9). Is 16 a factor of (13/n)/(5/60)?
False
Let b be (4/(-6))/((-8)/36). Let q(u) = -u - u + 6 + b*u - 5. Is q(7) a multiple of 3?
False
Let l(o) be the first derivative of -o**4/4 - 2*o**3/3 - o**2/2 - 4. Let u be l(-2). Is ((-28)/(-35))/(u/45) a multiple of 12?
False
Suppose -8 = 2*k + 22. Is -9*(-3 - k/9) a multiple of 6?
True
Let x(s) = s**2 - 27*s + 56. Does 15 divide x(26)?
True
Suppose -15 - 7 = -2*q. Does 2 divide q?
False
Suppose 2*q = -7 - 13. Let u(n) = -6*n - 12. Is 16 a factor of u(q)?
True
Let h be 10/(-30) + 26/6. Suppose h = j - 11. Does 8 divide j?
False
Let b be (-4)/6 + 46/6. Let o = 7 - 5. Suppose b*f - 19 = -2*z + o*f, 16 = 5*z + 2*f. Does 2 divide z?
True
Suppose f + f - 136 = 0. Does 17 divide f?
True
Let g(f) = f**2 + f. Suppose -5*a = -3*a. Let v be g(a). Suppose -2*q = -v*d - d - 62, 4*q = -d + 124. Is q a multiple of 13?
False
Let n(c) = 11*c - 99. Let t(r) = 7*r - 66. Let g(i) = 5*n(i) - 8*t(i). Let f be g(0). Let s = 50 - f. Is s a multiple of 17?
True
Let s = -755 - -1061. Is 17 a factor of s?
True
Let a(c) = c**2 - 6*c + 3. Let s(w) = -w**2 + 6*w - 3. Let j(z) = 5*a(z) + 6*s(z). Is 2 a factor of j(5)?
True
Let t be (2/(-4))/((-3)/42). Suppose 4*i - 5*x - 95 = -i, i + 3*x = 31. Let j = i - t. Is j a multiple of 15?
True
Let h(z) = z**2 - 3*z - 14. Let u(d) = d + 1. Let r(l) = -h(l) - 5*u(l). Let w be r(7). Does 22 divide -3 + 1/((-1)/w)?
False
Let z(g) = 7*g**2 + 23*g - 1. Let o(k) = 4*k**2 + 12*k - 1. Let s(n) = 5*o(n) - 3*z(n). Let t be s(-8). Suppose 46 - t = 2*a. Is 10 a factor of a?
True
Suppose 4*y - 19 = -l, 2*l + 5*y - 17 = 3*l. Does 3 divide l?
True
Suppose 0 = w - 2*y - 59, -4*w = -w - 5*y - 172. Does 26 divide w?
False
Let r = -28 - -19. Is 51/2*(-12)/r a multiple of 10?
False
Let d(h) = 5*h + 4. Let m be d(-8). Let u = 10 - m. Is u a multiple of 14?
False
Let b(l) = -l**3 - 6*l**2 - 5*l + 3. Let m be b(-5). Suppose -4*v + 4 = -m*v. Is 4 a factor of v?
True
Let q(h) = -h**2 + 2*h + 1. Let u be q(3). Does 9 divide (-3 - -8)/(u/(-10))?
False
Let w be 37/7 + 2/(-7). Suppose 0 = w*k - 3*g - 5 - 0, -11 = k - 3*g. Suppose 2*n + 3*u - 11 = 0, k*u - 5 + 37 = 4*n. Is 5 a factor of n?
False
Let b be (0 - -2)*(-9)/(-6). Let v(t) = 8*t + 1. Is 6 a factor of v(b)?
False
Let f(n) = 0*n**2 - 2 - n**2 + 2*n**2 + 0. Is f(6) a multiple of 9?
False
Let k(l) = 6 + 2 + l**2 - 11*l + 7. Is k(10) even?
False
Does 14 divide 111/4 + (-16)/(-64)?
True
Let o(h) = -h**3 - 6*h**2 - 8*h + 1. Let t be 51/(-7) + (-6)/(-21). Let v be o(t). Is (-2)/(-9) + v/9 a multiple of 11?
False
Let c(y) = y**3 + 6*y**2 + 4*y. Suppose 0 = t + 2*t + 12. Is c(t) a multiple of 4?
True
Suppose 5*m + 3*r = 32, -r = m - 8 - 0. Suppose b + 3*q = -1 + m, -5*b = -5*q - 15. Suppose -5*a + 3*k + 17 = 0, b = 5*k - 2. Does 2 divide a?
True
Let a(d) = d**3 - 6*d**2 - 7*d - 3. Let o be a(7). Does 11 divide -27*o/((-9)/(-2))?
False
Suppose -4 = -d + 1. Suppose -1 = -u + d. Let y(t) = -t**3 + 7*t**2 - 6*t + 7. Does 7 divide y(u)?
True
Suppose 1 = -4*c - 19. Let v = 1 - c. Suppose s + 3 = 4*z - v, -5*z + 24 = 3*s. Is 2 a factor of z?
False
Suppose y + 1 + 3 = 0. Let d be 204/(-28) - y/14. Let u = d + 35. Does 14 divide u?
True
Suppose -240 = -4*g - 60. Does 17 divide 1520/g + (-2)/(-9)?
True
Let o(j) = 2*j. Let m be o(7). Let n = m + 4. Let t = 37 - n. Is 19 a factor of t?
True
Suppose -5*j + 3*u = -235, -2*j - u = -0*u - 105. Is j a multiple of 7?
False
Let t be 10/(-35) - 270/(-14). Let r = t + 6. Suppose 3*z - x = 85, -x = z + 2*x - r. Is 15 a factor of z?
False
Suppose -102 = -2*r + r - 4*z, 5*r - 5*z = 485. Is 12 a factor of r?
False
Suppose -r - 5*q + 2*q = -75, 4*q = 2*r - 100. Is r a multiple of 15?
True
Let d = 97 + 15. Is 16 a factor of d?
True
Let b = 747 + -1071. Is 8 a factor of b/(-10) + (-8)/20?
True
Let y(b) = -2*b + 0*b - b. Let j be y(-3). Suppose g - j = 9. Is 12 a factor of g?
False
Suppose -3*c + 137 = 47. Is c a multiple of 8?
False
Suppose 3*r = 108 + 75. Is r a multiple of 14?
False
Suppose -3*x - 5*k = -x + 10, -3*x = 4*k + 1. Suppose -x*b = -0*b - 185. Is b a multiple of 11?
False
Let y(p) be the second derivative of -p**3/6 + 3*p**2/2 - 2*p. Let r be y(-3). Is (-9)/((15/r)/(-5)) a multiple of 15?
False
Suppose -4*w - 40 = d, -2*d + 2 = -w + 1. Does 16 divide (-4)/(-12) + (-447)/w?
False
Let m = -6 - -3. Let k = -1 - m. Does 5 d