s 24 a factor of m?
True
Let l = -11 - -8. Let c be (3/2)/(l/4). Is 5 a factor of c/(-3)*(-21)/(-2)?
False
Let x be -10 + 1 - (7 + -6). Let d = 46 - x. Suppose -d = -4*c + 40. Does 14 divide c?
False
Let m(z) = 4*z**2 - 10*z + 12. Let r(i) = -3*i**2 + 7*i - 8. Let n(g) = -5*m(g) - 8*r(g). Does 15 divide n(-6)?
False
Suppose 10 = 3*t + 2*t. Let p be -1 - (t + -6) - -65. Suppose -p = -4*l - 4. Is 8 a factor of l?
True
Let x be (161/21)/(1/3). Suppose 5*s + 17 = -f, 4*s + x = 5*f + 2*s. Suppose 0 = w + 4*v - 44, 0 = -0*w + f*w - v - 106. Does 12 divide w?
True
Suppose 464*i - 471*i = -1141. Is 8 a factor of i?
False
Suppose -2*o - 6 = -4*o. Suppose 0*q - 32 = 2*q. Is 5 a factor of (0 + o)*q/(-3)?
False
Suppose -10 = -2*l, 2*x = 6*x - 5*l + 37. Is 154 + (-3 - (-8 - x)) a multiple of 12?
True
Let l(c) = -23*c + 80. Is l(-20) a multiple of 12?
True
Is 32 a factor of 78*(4 - 3/(-6))?
False
Let s = 4 - 3. Let k = -19 + 33. Let b = s + k. Is b a multiple of 15?
True
Suppose 0 = -9*d - 550 + 8866. Is 77 a factor of d?
True
Let w(i) = i**2 + 9*i - 30. Let k(l) = -2*l**2 - 17*l + 59. Let r(j) = 6*k(j) + 11*w(j). Does 8 divide r(0)?
True
Let d be (76/8 - 0)/(3/6). Let j = d + 8. Is j a multiple of 9?
True
Let j be -4*(-5 + (-145)/4). Suppose 0 = -4*s - 7*s + j. Is 2 a factor of s?
False
Let o = 14 - 12. Suppose -3*r - o = -5. Does 21 divide 1/3*r*141?
False
Suppose 0 = c + 4, -f = 2*f - 4*c - 31. Suppose 0*n + 485 = f*n. Suppose u = -4*m + 211, 4*m - 4*u - 139 = n. Is 18 a factor of m?
True
Is 10 a factor of (-69)/(-15) + 15/(-25) - -578?
False
Suppose -4*q - 112 = -2*l, -9*l + q = -4*l - 298. Is 261/2 + -6 + l/8 a multiple of 32?
False
Let f(g) be the third derivative of -7*g**4/6 - 17*g**3/3 + 28*g**2. Is 13 a factor of f(-5)?
False
Suppose 5*y - 11478 = 15*x - 18*x, -2*x - 11473 = -5*y. Does 85 divide y?
True
Is (-1)/(6/(-1124)) - 1/3 a multiple of 9?
False
Let c = -52 + 110. Let d = c - 49. Is d a multiple of 2?
False
Let a be ((-2)/5)/((-1)/(-10)). Does 5 divide (10/a)/((-9)/54)?
True
Suppose 0*o + 159 = -4*z + o, z + 4*o = -44. Does 11 divide 0 + (-1 - z) + -3?
False
Let t = 982 + -654. Suppose a - t = 5*a. Let p = a - -122. Does 6 divide p?
False
Let b = 19 + -47. Let l = -16 - b. Is 3 a factor of l?
True
Let m(j) = -j**3 - 22*j**2 - j - 31. Let u be m(-22). Let r(i) = -28*i**3 - i**2 + i - 1. Let z be r(1). Let q = u - z. Is 4 a factor of q?
True
Let k = 631 + -359. Does 17 divide 1/(-4*(-4)/k)?
True
Suppose 6 = 6*x - 6. Suppose -2*b - 5*q + 26 = 0, -x*q - 12 = -3*b + 8. Does 2 divide b?
True
Let c(p) = 15*p**2 + 7*p - 2. Is c(-4) a multiple of 14?
True
Suppose 18*g - 19*g + 20 = 0. Suppose 2*r - 78 = 2*c, -c + 19 + g = r. Is r a multiple of 6?
False
Suppose 4*r = 2*b + 22, 5*b = 5*r - 7 - 28. Let d(l) = -l + 14. Is 3 a factor of d(r)?
False
Let y = 7 - 4. Suppose -20 = -p + y*p + 5*q, -12 = -4*p + 3*q. Is 2 a factor of -1 - -7 - (p + 3)?
False
Suppose 2*a - 2*f - 6 = a, -a - 15 = 5*f. Suppose -7*v + 4*v + 462 = a. Is 22 a factor of v?
True
Is 15 a factor of (-3 - 7 - -22)*34/6?
False
Let a be -2*6/36 - 1624/6. Let f = -131 - a. Is 14 a factor of f?
True
Let v(p) = 14*p**2 + 17*p + 44. Is v(-4) a multiple of 8?
True
Let w(z) = 5*z + 6. Let t(b) = -2*b + 44. Let s be t(19). Does 12 divide w(s)?
True
Let n = -223 - -362. Is n a multiple of 7?
False
Let o(d) = -d**2 - d + 1. Let n(t) = -t**3 - 2*t**2 + 3. Let x(w) = -n(w) + 5*o(w). Does 9 divide x(5)?
True
Let c = -24 + 78. Is c a multiple of 20?
False
Let a be (-2)/4*1/(2/(-1056)). Suppose -8*w - a = -11*w. Does 23 divide w?
False
Let g(y) = y**3 - 6*y**2 - 11*y. Let u(h) be the third derivative of -h**6/120 + h**5/10 - 7*h**4/24 + 2*h**3/3 + h**2. Let w be u(4). Is g(w) a multiple of 10?
True
Let j be -2 - (-195 + 2) - -1. Let y = j - 19. Suppose 4*a = -3*z - 2*z + y, -130 = -4*z + a. Is z a multiple of 11?
True
Let r be (-1)/(-6)*-4 + 1534/6. Let n = -122 + r. Is n a multiple of 23?
False
Let h = 22 - 15. Let v(j) = j - 10. Let l be v(h). Is 9*(15/(-9) - l) a multiple of 4?
True
Suppose 5*r = 2*p - 25, 0 = p - 2*r - 1 - 9. Suppose -2*l + 4 = -p*l. Does 2 divide l?
True
Suppose -247 = -6*p - 7. Suppose -2*f = -3 - 1. Suppose 4*m + 78 = 2*k, 5*m - f*m + p = k. Is 13 a factor of k?
False
Let c be ((-5)/1 - -4)*-1. Let n be (-1 + -1 - c) + 21. Let g = -12 + n. Is 3 a factor of g?
True
Let s = -65 + 108. Let y = s - 27. Does 11 divide y?
False
Suppose 4*n = -20, -103 = -4*t + 2*n + 151. Suppose 3*b + 5*u - 306 = -t, 0 = b - u - 95. Is b a multiple of 9?
True
Suppose 0 = 11*j - 16*j + 25. Suppose 2*u = -13 - j. Let y = u + 13. Is y even?
True
Suppose -914 = -4*g - 290. Is 14 a factor of g?
False
Let j = 207 + -291. Let g = j - -118. Does 5 divide g?
False
Is 15 a factor of -13 - -18 - (-667 - (-3 + 6))?
True
Suppose j + 7*b = 5*b + 24, -2*j + 3*b + 55 = 0. Let z = j + -23. Is z a multiple of 2?
False
Suppose g + 3 - 1 = 2*p, -3*g - p + 29 = 0. Let t(a) = a**2 + 5*a - 41. Does 9 divide t(g)?
True
Let c(b) = -b**2 + 2. Let t be c(-3). Let g(v) = 20*v. Let l be g(1). Let r = t + l. Is r a multiple of 10?
False
Let n(t) = -2*t + 3. Let p be n(-3). Suppose -4*k + 5*k - p = 0. Is 7 a factor of k?
False
Suppose 7*u - 10*u + 20 = h, 2*h - 10 = 0. Let w = 0 - -4. Suppose -5*i + 2*g = -375, -4*g = w*i - u*i + 93. Is i a multiple of 23?
False
Let v be 6/8 - (-169)/52. Let s(d) = -d**3 - d + 1. Let t be s(0). Let q = t + v. Is 2 a factor of q?
False
Let w be (18/10)/3 + (-882)/(-30). Suppose -2*c + 2*i - 22 - 6 = 0, 4*i = -2*c + 2. Let v = w + c. Is v a multiple of 7?
True
Let s be 4*11/1*65/52. Let x = s + 55. Does 36 divide x?
False
Let n = -1169 - -1282. Does 11 divide n?
False
Let l = 122 + -114. Is 9 a factor of -1*2/l - 177/(-4)?
False
Let f(u) = -8*u. Let z be (4/(-16))/(3/12). Let d be f(z). Let q = d - -3. Does 2 divide q?
False
Let k(y) = -y**3 - 5*y**2 + 7*y + 3. Let w be k(-6). Let d(u) be the third derivative of u**5/30 + u**4/12 + u**3/6 - 2*u**2. Does 13 divide d(w)?
True
Let g = -628 - -1008. Is g a multiple of 19?
True
Let t be (0 - -1)*4 + 2. Suppose -2*d + 2*j - t*j + 34 = 0, -2*d - j + 49 = 0. Is 9 a factor of d?
True
Suppose 0 = 3*a + 1 - 10. Suppose -85 = -2*n + a*h, -n + 2*h + 53 = 4*h. Is 11 a factor of n?
False
Let i(s) = -s - 21. Let x = 6 - 15. Let j be i(x). Is (23 - 2)*j/(-9) a multiple of 20?
False
Suppose -10*k + 7 = -9*k. Suppose -m = 5*u - 769, -k*u = -3*u + 3*m - 613. Is 11 a factor of u?
True
Suppose 3*u - u = -3*h + 206, 2 = h. Is 4 a factor of u?
True
Suppose 0 = j + 5*j - 15600. Is 52 a factor of j?
True
Let y(t) = t**3 + t + 38. Let g(i) = -39*i**2 - i. Let h be g(1). Let a be (-16)/h + 4/(-10). Is 19 a factor of y(a)?
True
Is 68/(-12) - -4 - (-11190)/18 a multiple of 21?
False
Let h(y) = y - 1. Let g be h(3). Suppose 2*t = 4*j - g*t - 172, -j + 53 = -3*t. Suppose -x - 8 + j = 0. Is 10 a factor of x?
True
Let r = -51 - -104. Suppose -4*a = -5*b + 315 - r, -b + 4*a + 46 = 0. Is 6 a factor of b?
True
Suppose -23*l + 7175 = 2*l. Does 41 divide l?
True
Let l(k) = -41*k - 44. Is 7 a factor of l(-5)?
True
Suppose -4*b - v = -425, 5*b - 330 = 2*b - 3*v. Is b a multiple of 14?
False
Let h be (-4)/(-22) + 159/33. Suppose 0 = n + 4, -h*j - n + 2*n = -149. Is 20 a factor of j?
False
Let m be (0 + 6)*2/4. Let v be 5 + -1*6/m. Does 6 divide ((-54)/(-12))/(v/4)?
True
Let t(v) = -v**3 - 5*v**2 - 18*v - 15. Does 5 divide t(-5)?
True
Let m(g) = 3*g**2 + 10*g - 27. Is 67 a factor of m(10)?
False
Suppose 36 - 130 = -4*f - 2*k, 3*f = -k + 68. Let q = -37 + f. Let c = q - -50. Is c a multiple of 21?
False
Let s(m) = -m**3 - 4*m**2 - 7*m. Let n be s(-5). Suppose 4*g - 48 = -4*x, -5*g + 2*x + n = -2*x. Does 12 divide g?
True
Suppose 5*p = -h + 15, 8*p + 5 = 3*p + 3*h. Suppose -5*x + 210 = r, -3*x + p*x = 3*r - 630. Does 17 divide r?
False
Suppose 3*w = 2*w + 600. Suppose -h = 3*h - w. Suppose 5*m - 4*b = h, -6*m - 5*b + 79 = -2*m. Is 13 a factor of m?
True
Let c(j) = -1 - j**3 - 2 - 5*j**2 + 6*j + 8. Let n be c(-6). Suppose 4*u - 5*u + n*q + 88 = 0, 315 = 3*u + 2*q. Is 33 a factor of u?
False
Let c = 1449 - -2927. Suppose -6*g + c = -4*g. Does 14 divide g/26 - 14/91?
True
Let p be 23720/(-100) + 4/(-5). Let j = -142 - p. Is j a multiple of 24?
True
Let o = 189 - 7. Is o a multiple of 13?
True
Le