24 divide v?
False
Let w be 944/36 - 2/9. Suppose -n = -3*n + 56. Suppose n + w = 2*g. Is g a multiple of 12?
False
Suppose 0 = -10*k + k + 396. Is k a multiple of 11?
True
Suppose -10 = 2*g + 26. Let q(f) = -f**3 - 17*f**2 + 16*f - 7. Does 13 divide q(g)?
False
Suppose 0 + 3 = b. Suppose 2*k = -u - b*k + 64, 0 = 5*k. Does 12 divide u?
False
Let g = 70 - 24. Suppose -5*b + g = -4. Is b a multiple of 6?
False
Let g be 5*-1 + 4/4. Let a(q) = q**3 + 4*q**2 - 6*q + 5. Let x be a(-5). Let c = x + g. Is 6 a factor of c?
True
Is (-1 - 86*-1) + -3 a multiple of 29?
False
Let d(k) = -7*k - 2. Suppose b = 2*b + 2. Is d(b) a multiple of 6?
True
Suppose -5*k + 7*k - 10 = 0. Suppose k*p - 97 - 28 = 0. Is 7 a factor of p?
False
Let o be 65/(-5)*1/1. Let v = -8 - o. Does 14 divide (28/v)/(1/5)?
True
Let t = 1 + 11. Does 3 divide t?
True
Let q be (5 - 4)/(1/(-5)). Let r be ((-28)/q)/((-1)/(-5)). Suppose -1 + r = 3*c. Is 9 a factor of c?
True
Let l = -6 - -7. Let h = l + 7. Is h a multiple of 6?
False
Let z(r) be the first derivative of r**4/4 - r**3 - 7*r**2/2 + r - 3. Does 16 divide z(5)?
True
Suppose -325 = -3*k - 10*k. Is k a multiple of 25?
True
Suppose -23*b = -18*b - 80. Is 4 a factor of b?
True
Let k(l) = -14*l**2 - 3*l - 14. Let n(s) = -5*s**2 - s - 5. Let v(w) = 6*k(w) - 17*n(w). Let d be v(4). Let c = 28 - d. Is c a multiple of 15?
True
Let p(f) = 0*f**3 + 7*f - 3*f**2 + 4*f - 3 - f**3 - 3*f. Is 20 a factor of p(-6)?
False
Suppose -i = -r - 18, 0 = 4*r - 0*i + 4*i + 80. Let v = -11 - r. Let f = 24 - v. Is 8 a factor of f?
True
Let b = 11 + -13. Is (-729)/(-21) + b/(-7) a multiple of 11?
False
Let w(n) = 26*n + 5. Suppose 10 - 1 = 3*x. Is w(x) a multiple of 31?
False
Suppose 3*t - 3 = 12. Suppose t = -3*z + 29. Does 4 divide z?
True
Let p = 21 + -11. Suppose w + 3 = -j - 0, 5*j - 5 = -w. Suppose -p = -3*l - q + j*q, -2*l - 15 = -5*q. Does 3 divide l?
False
Suppose -4*m - 32 + 12 = 0. Let g(j) = -j**3 - 8*j**2 - j - 7. Let z be g(m). Let v = z + 121. Is v a multiple of 15?
False
Let p(h) = -18*h - 1. Let w be p(-1). Let q = -5 + w. Does 4 divide q?
True
Suppose 22*l = 10*l + 576. Is l a multiple of 24?
True
Let n(m) = 35*m - 6 + 2*m**2 - 2*m**2 - 41*m - m**3 - 7*m**2. Is 18 a factor of n(-7)?
True
Let x = 61 + -37. Is x a multiple of 4?
True
Suppose 4*s - 7 - 9 = 0. Is 12 a factor of (-3)/(6/s) + 41?
False
Suppose -109 = -2*q + 3*n, -4*q + 222 = 5*n - 7. Let k(o) = o**3 + 8*o**2 - 10*o - 4. Let u be k(-9). Suppose m = u*m - q. Is m a multiple of 14?
True
Suppose -2*v = -0*v + f - 30, v + 3*f = 20. Is v a multiple of 7?
True
Let c(l) = -l + 1. Let d be c(6). Is 10 a factor of (56/10)/(d/(-25))?
False
Suppose 22 = -10*k + 122. Does 5 divide k?
True
Let g(q) be the second derivative of q**4/12 + q**3/6 - 2*q**2 + 2*q. Does 4 divide g(3)?
True
Suppose 5*f - 399 - 181 = 0. Is 31 a factor of f?
False
Let s be (-2)/(-1 + 1 - -1). Let h be (2/4)/(s/(-4)). Is 4 a factor of 10 + h/2*0?
False
Suppose 2 = y - 2*y. Is 7 a factor of y*1/(-2) + 9?
False
Is 31 a factor of (-187)/(-3) - 4/12?
True
Let d = -16 + 52. Suppose 2*f - g = -0*g - 16, 4*g = -f - 17. Let t = f + d. Is 10 a factor of t?
False
Let a be (-3216)/(-28) - (-2)/14. Suppose 3*s + 37 = a. Is s a multiple of 19?
False
Let w = -11 + -1. Let r = w - -21. Is r a multiple of 9?
True
Let t(u) = -u - 1. Let r be t(-5). Does 9 divide ((-2)/r)/((-1)/36)?
True
Let r(t) = -18*t - 2. Let p be 6*(3 + -3 - -1). Suppose -2*j + p*j - 3*s = 1, -3*s - 11 = j. Does 17 divide r(j)?
True
Let a(c) be the third derivative of c**5/60 - c**4/8 - c**2. Let k be a(4). Suppose 2*o = o - 2*m + 58, k*o - 226 = -2*m. Does 23 divide o?
False
Let n = 91 + -4. Does 12 divide n?
False
Suppose 0 = -4*g + 2*m - 5 - 7, -3*g + m = 8. Does 4 divide ((-8)/3)/(g/3)?
True
Let g(f) = -21*f - 34. Does 56 divide g(-8)?
False
Suppose 0 = 2*r + r + 3*v + 15, 0 = r - 4*v - 15. Let f(n) = n**2 - n + 2. Let i be f(3). Let k = i - r. Is k a multiple of 9?
True
Suppose -20 = -r - 4*r. Suppose -r*k + 114 = -6. Does 12 divide k?
False
Suppose 0 = 6*l - 135 + 381. Let p = 121 + l. Does 16 divide p?
True
Let p = 4 - -11. Suppose -1 = -4*u + p. Suppose 38 = 5*b - u*v, -3*b + v + 2 + 18 = 0. Is b a multiple of 6?
True
Suppose 0 = 2*u - 3*i - 10, -5*i - 7 = 3. Let f be (1/1)/u*0. Is 18 a factor of (-43)/(-1) - (1 + f)?
False
Let i(q) = 10*q + 59. Is i(10) a multiple of 53?
True
Suppose 0*i + 84 = 2*i. Suppose 2*a - 172 = -i. Is a a multiple of 13?
True
Suppose -135 = -g - 4*g - 2*p, -2*g + p = -63. Suppose o = -g - 18. Let l = -29 - o. Does 12 divide l?
False
Suppose 4*f + 104 = 8*f. Is 15 a factor of f?
False
Suppose -2*v + 2*i + 24 = -20, 0 = -4*v - 5*i + 43. Is 9 a factor of v?
False
Let b = 141 + -88. Is b a multiple of 12?
False
Suppose 87 = -5*p + w, 4*p = 2*w + 3*w - 57. Let b = p + 30. Is 6 a factor of b?
True
Let o(r) be the second derivative of -r**5/20 - r**4/4 + r**3/6 - 5*r**2/2 - r. Does 7 divide o(-4)?
True
Let m be 2/(-3) - 122/(-3). Suppose 0 = 4*h + 4*z + 1 + 3, -z = 4*h - 8. Suppose h*x + x - m = 0. Is 4 a factor of x?
False
Suppose -3*r + 1238 - 128 = 0. Does 13 divide r?
False
Let b be -1*3/6*0. Let w(r) = 2*r**2 - 1 + r + b + 21*r**2. Is 16 a factor of w(1)?
False
Let m(q) = q**3 + 3*q**2 - 3*q - 2. Let z be (6/(-4))/((-9)/(-24)). Let u be m(z). Does 4 divide (u/(-4))/((-6)/(-16))?
True
Suppose 8*v - 55 = 3*v. Is 2 a factor of v?
False
Let t = 189 - 47. Is t a multiple of 20?
False
Let n = 17 + -12. Suppose -a + 3*a + 8 = 0, 0 = -n*b - a + 246. Is 25 a factor of b?
True
Let r = -3 + 5. Let u be -2*(r - 5/2). Suppose 3*w - 4*q - 64 = 0, -4*q + 55 + u = 2*w. Is 12 a factor of w?
True
Let r = -153 - -239. Is r a multiple of 15?
False
Is 23 a factor of (3 + -26)/((-2)/4)?
True
Suppose 2*h - 96 = 4*u, 0 = 2*h + u + 1 - 102. Does 17 divide h?
False
Suppose -4*h + h = 0, -2*g + 176 = 2*h. Does 22 divide g?
True
Suppose 0 = -y + 2*y - 4. Suppose 0 = k - 6*k + q - 35, 0 = -k - y*q + 14. Let g(x) = x**3 + 5*x**2 - 8*x + 1. Is g(k) a multiple of 6?
False
Let b = -317 - -463. Let n = b + -86. Is 22 a factor of n?
False
Suppose r - 3*s = 15, s = r - s - 13. Suppose 11 = 4*q - r. Suppose -180 = -q*m + 3*g, -65 = -2*m - 3*g + 28. Is m a multiple of 13?
True
Suppose 5*q + 5 = 0, 0 = -2*v - v - 3*q + 3. Suppose v*f - 5 + 1 = 0. Suppose -18 + 40 = f*o. Is o a multiple of 11?
True
Let s = 178 - 118. Is s a multiple of 11?
False
Let w(q) = 3*q - 7. Does 2 divide w(4)?
False
Let p = -4 - -5. Let c be p/(1*(-3)/(-39)). Let g = c - 1. Is 4 a factor of g?
True
Let z(p) = p**3 + 2*p**2 - 8*p + 17. Is z(5) a multiple of 22?
False
Suppose v + 2 = 2*b - 3, 2*b - 3*v - 15 = 0. Suppose -y + 11 + b = 0. Is y a multiple of 11?
True
Suppose 5*v - 16 + 6 = 0. Suppose -v*m - 34 = -q, -2*q - 3*q - 3*m + 170 = 0. Is 6 a factor of q?
False
Let w = 9 + -13. Does 7 divide 4/(((-8)/17)/w)?
False
Let n(g) = -g**3 - 7*g**2 - 10*g - 6. Let x = -2 - -5. Let w be x/(-3)*2*3. Is 9 a factor of n(w)?
True
Let b(z) = 2*z**3 - z**2 - 4*z + 2. Let s be b(3). Let k(o) = -2*o**2 - 8*o - 5. Let p be k(-5). Let f = s + p. Is f a multiple of 8?
False
Let m(f) = -f**3 + 7*f**2 - f + 9. Let u be m(7). Let y(q) = q - q + 2*q**u + 5*q + 6. Is y(-4) a multiple of 12?
False
Let i(s) = -9*s - 7. Suppose 5*f = -z + f + 15, 25 = 5*f. Is 15 a factor of i(z)?
False
Suppose -4*i + 27 = -i. Let x = -3 + i. Does 13 divide x/21 - 229/(-7)?
False
Is 19 a factor of 22/8*50 - 9/(-6)?
False
Let b = 29 + -17. Suppose -5*o - 24 = -4*w, 0 = -0*w + 2*w + 5*o - b. Is 6 a factor of w?
True
Let u be 1/((-9)/6)*3. Let o = 4 + u. Is 2 a factor of o?
True
Let w = 45 - -115. Is w a multiple of 16?
True
Let y(k) = -14*k - 2. Let l(o) = o**3 - 10*o**2 + 8*o + 8. Let h be l(9). Is 6 a factor of y(h)?
True
Suppose 10*q - 226 = 164. Is q a multiple of 6?
False
Suppose 1 - 25 = -4*p. Let f = p + 6. Does 12 divide f?
True
Suppose 46 = -3*h - 4*v, 2*v - 3*v = 2*h + 24. Let b = -38 - h. Is 8 a factor of (b/(-6))/(1/3)?
False
Let d(v) = -3*v + 1. Let y be d(1). Let k(j) = j + 4. Let h be k(-8). Does 11 divide 69/3 + h/y?
False
Is 12/(-30) + 574/10 a multiple of 13?
False
Suppose -4*d = -3*d - 23. Let l = d + -11. Let o = l - 4. Is o a multiple of 5?
False
Let o be (9/3)/3*-1. Does 5 divide ((-15)/(-6))/(o/(-2))?
True
Let w(m) = -