 (-4 + 5)/((-2)/664) a multiple of 27?
False
Suppose 0 = 87*s - 122*s + 23835. Is 28 a factor of s?
False
Suppose 0 = 9*t - 1130 - 508. Does 19 divide t?
False
Let g(h) = h**2 + 26*h + 45. Let o be g(-19). Let f = o - -149. Does 13 divide f?
False
Suppose 48*y = 49*y. Suppose -b + 64 = -y*b. Is 16 a factor of b?
True
Suppose -266*x + 264*x = 4*h - 1152, -2*h = 5*x - 560. Is 2 a factor of h?
True
Let b = -95 - -68. Let o = b + 48. Is 7 a factor of o?
True
Let i(k) = 30*k + 186. Is i(14) a multiple of 7?
False
Suppose 0 = 10*c - 9*c + 3. Let r = c + 5. Suppose -3*v + r*h = -72, 0 = -2*v + 3*v - 4*h - 14. Does 12 divide v?
False
Suppose 1290 = 7*x - 61. Suppose 9*j = x + 59. Does 14 divide j?
True
Let p(r) = 187*r**2 + 6*r + 14. Is 22 a factor of p(-3)?
False
Suppose 3*b + 4 = 13. Let p(i) = -i**2 + 3*i + 2. Let o be p(b). Suppose -q + 4*z + 50 = 0, -o*q + 3*z + 239 = 2*q. Is q a multiple of 18?
False
Let f(g) = 30*g**2 + 11*g + 3. Does 60 divide f(10)?
False
Let p(f) = 5*f**2 + 2*f - 1. Let l be p(-2). Is 19 a factor of 4 + 3/l + 957/15?
False
Suppose 102 = -p + w + 629, -2*p - 5*w + 1061 = 0. Does 48 divide p?
True
Suppose -4*y = 3*y - 1806. Suppose -y = -2*j + 426. Is j a multiple of 57?
True
Let x = -34 - -2019. Is x a multiple of 13?
False
Let o(g) = 5*g - 7. Let p(y) = -2*y - 10. Let f be p(-5). Let d = f + 15. Is o(d) a multiple of 10?
False
Let r(k) = 16*k**2 - 7*k - 38. Is r(-6) a multiple of 83?
False
Suppose -5*d - 5*j = 15, 2*d - 3*d - 5*j = 23. Let b be (20/(-25))/(d/5). Is -1 - (1 - -63)/b a multiple of 9?
False
Suppose -7*q = -9*q. Let x(m) = m**3 + m. Let r be x(q). Suppose -4*y + r*y + 144 = 0. Does 18 divide y?
True
Let z(u) = -3*u**2 - 41*u + 17. Is 7 a factor of z(-11)?
True
Suppose -19 + 7 = 4*i, -4*i - 972 = -5*n. Is n a multiple of 24?
True
Let l = 14 + 5. Let s = 23 - l. Is 2 a factor of s?
True
Suppose 17*d - 8576 = d. Is d a multiple of 8?
True
Suppose 3*b - y = -55, 2*b - 4*y - 32 = 4*b. Does 17 divide (387/b)/(2/(-4))?
False
Let d = -27 + 26. Let p be 1202/12 + d/6. Suppose p = 4*q - 224. Does 17 divide q?
False
Suppose -2*j + 4*r + 1418 = 0, -2848 = -4*j + 2*r + 2*r. Suppose -5*s + 35 = -j. Does 42 divide s?
False
Suppose 4*o + 94 = 630. Is 67 a factor of o?
True
Suppose 8*f - 5323 = 2309. Is f a multiple of 53?
True
Let s = -3 + 9. Suppose s = -3*t - 6. Let c = t - -13. Does 9 divide c?
True
Suppose 28 = 4*r + 2*u, -3*r - 2*u + 27 = u. Let a(o) = 4*o**2 - 6*o - 2. Let s be a(-3). Suppose r*i = s + 98. Is 10 a factor of i?
True
Let c(q) = 3*q**2 + 5*q + 76. Does 6 divide c(-14)?
True
Suppose -16 = 3*v - 1. Let w = -3 - v. Does 9 divide (-12 + -46)*w/(-4)?
False
Let c = 3 - -1. Let x = 8 - c. Suppose 2*q + x = i, 3*i + 2*i - 4*q = 50. Does 10 divide i?
False
Let h = -3 + 6. Let o(q) = 2 - h*q + 8*q + q + 5*q**2. Does 12 divide o(-4)?
False
Is 2 + (6 - 6) - (-2 + -548) a multiple of 18?
False
Let c = 474 + 124. Does 13 divide c?
True
Suppose -3*p - 45 = 5*y, 3*y - 2*p - p + 3 = 0. Let r(k) = k**3 + 9*k**2 + 4*k - 8. Let x be r(y). Suppose c - x = -c. Is 12 a factor of c?
False
Suppose 0*j - j - 256 = -4*q, -4*j + 173 = 3*q. Suppose -21 = x - q. Is 7 a factor of x?
True
Suppose 2*v = -3*v. Suppose v = 3*h - 0*s + 4*s + 7, -5*s = h + 17. Suppose -46 = -h*t + 4*p - 0, 0 = -2*t - 5*p. Is t a multiple of 5?
True
Let o(k) = 11*k**2 - k - 64. Is 26 a factor of o(-8)?
False
Let z(p) = 104*p**2 + 3*p + 2. Let t be z(-1). Suppose 0 = 6*x - 2*x + 8, 3*w + 173 = -4*x. Let u = t + w. Does 19 divide u?
False
Let z(n) = 49*n**2 + 2*n + 1. Let j be z(-1). Let r = -21 + j. Does 20 divide r?
False
Let r(v) be the second derivative of v**4/12 - 7*v**3/6 + 6*v**2 - v. Let b = 319 + -311. Does 4 divide r(b)?
True
Let a(s) = 65*s**2 + 29*s + 50. Is 57 a factor of a(-7)?
False
Let f be (1 + 0)/(4/20). Suppose -y + 13 = 3*d - 0*d, 3*y = f*d - 3. Let u(h) = 2*h**2 - 3*h - 9. Is u(y) a multiple of 4?
False
Let f be 14/(-3) + (-1)/3. Is 16 a factor of 12/(-18)*(-1 - f)*-6?
True
Suppose 3*h + 9 = 4*j, 4 = h + 3. Let y be ((-12)/120*5)/(1/(-348)). Suppose j*o = -3*v + 237, 2*o + y = -2*v + 4*v. Does 20 divide v?
False
Let l(f) = f**3 + 10*f**2 - 9*f - 9. Let s be l(-11). Let q = s + 34. Suppose -q*j + 2 = -16. Is 2 a factor of j?
True
Let c = 97 + -81. Let g(a) = a**2 - 16*a + 31. Does 18 divide g(c)?
False
Let a = -297 + 435. Does 23 divide a?
True
Suppose 0 = -3*o + 9, 3*h + 6*o - 2037 = 4*o. Is 33 a factor of h?
False
Does 5 divide ((-170)/(-2))/(3 - 10/4)?
True
Suppose 10*l - 26239 = 2521. Does 18 divide l?
False
Suppose -525 + 80 = -5*j + 5*l, 182 = 2*j - 3*l. Is j a multiple of 81?
False
Let i = 68 - 15. Is 15 a factor of i?
False
Let u = 16 - -2. Suppose -v = -2*o - u, -v - 3*o + 4 = 1. Is 4 a factor of v?
True
Suppose 927 = -5*t + 6342. Is 10 a factor of t?
False
Suppose u - 1 = 4*i - 25, -5*u + i - 25 = 0. Is u/((9/168)/((-63)/28)) a multiple of 48?
False
Let j be ((3/(-2))/3)/((-1)/(-34)). Let b = 38 + j. Does 11 divide b?
False
Let j(x) = -x**2 - 3*x - 4. Let a(c) = -c**2 - 3*c - 4. Let u(m) = -6*a(m) + 5*j(m). Let l be (-10)/(-8)*(-6 - -2). Does 6 divide u(l)?
False
Let h(g) = g**2 - 9*g. Let j be h(8). Let o be 2/12 + 136/48. Does 9 divide o/4*(j + 20)?
True
Let q = 2 - 1. Let d(k) be the third derivative of 7*k**4/8 - 23*k**2 - 2*k. Is 4 a factor of d(q)?
False
Suppose 430 = 5*y - 1870. Is y a multiple of 76?
False
Let u = -2 + -11. Let b = u + 20. Is b a multiple of 3?
False
Suppose 4*j = r - 397, -r - 5*j + 151 = -246. Suppose 835 + r = 7*t. Is t a multiple of 45?
False
Suppose -6 = -3*s - 0. Let u be (-1)/s*(3 - 3). Suppose 4*q - 150 - 10 = u. Is 22 a factor of q?
False
Let x(b) = b - 4. Let u be x(9). Suppose 288 = -u*t - 52. Is (-4 + t)*4/(-6) a multiple of 16?
True
Let y(c) = 3*c**3 - c**2 - 6*c + 2. Let m be 4 - (3/(-1))/(-3)*1. Does 14 divide y(m)?
True
Let t(v) be the first derivative of v**7/840 - v**6/45 - v**5/15 - v**4/12 + v**3/3 - 1. Let l(i) be the third derivative of t(i). Is l(9) a multiple of 7?
True
Let f = 0 + 5. Suppose f*p - 17 - 23 = 0. Is p a multiple of 8?
True
Let n be 2/3 - 4/6. Suppose -4*a - 1 = -4*s - 217, -5*a + 284 = 2*s. Suppose n*j + a = 8*j. Is 3 a factor of j?
False
Let o = 11 + -8. Let a = o + -33. Let p = a - -54. Is 8 a factor of p?
True
Does 3 divide -5*3123/(-45)*1?
False
Suppose -6*n - g = -2*n - 24, -3*n + 13 = 2*g. Let d(o) = 33*o - 15. Is d(n) a multiple of 12?
True
Let z(i) = 1956*i**2 + 4*i - 3. Is 33 a factor of z(1)?
False
Let s(j) = j. Let a be s(-19). Let i = a - -69. Is i a multiple of 25?
True
Let o be 1/1 - (12 + -10). Does 14 divide 7/o*(-17 - -11)?
True
Let h(b) = -15*b**2 - 301*b - 12. Is 9 a factor of h(-19)?
False
Let p(f) = -1293*f - 149. Is p(-3) a multiple of 13?
False
Let y(k) = k**2 + 29*k - 333. Does 15 divide y(-39)?
False
Suppose 6 + 0 = 2*i. Suppose 148 = 2*h - h + 3*o, 0 = -i*o + 15. Does 9 divide h?
False
Let p(l) = -l - 8. Let o be (4 - 6)*(-15)/6. Let m be p(o). Is 33 a factor of 198/(-4)*26/m?
True
Let r be (19/(760/336))/((-1)/(-5)). Suppose -3*n + 366 + r = 3*h, -5*h = 3*n - 680. Does 28 divide h?
False
Let d be 2 + (34/10 - 16/40). Let t(a) = -a**2 + 7*a - 6. Does 2 divide t(d)?
True
Suppose -4*i - 30 = 4*b + 14, i = -4*b - 26. Is 23 a factor of 12/8 + (-957)/i?
True
Suppose 3*h + h = -3*d + 16, 5*d - 2*h = -8. Suppose 5*l + d*l + k = 561, 2*k = 2. Is 16 a factor of l?
True
Suppose 64*k - 59280 = 16*k. Does 65 divide k?
True
Let u(a) = a**3 - 6*a**2 + 5*a + 6. Let k be u(5). Suppose 2*h - 4*w = 24, -w + k*w = -25. Suppose 2*x = 3*r - 1, -4*x - h*r + 38 = -0*r. Does 5 divide x?
False
Let n(o) = 2*o**2 + o - 50. Let l be n(0). Let m = 74 + l. Is 6 a factor of m?
True
Let o(y) be the first derivative of 3*y**2 - 6*y - 1. Let d = 229 + -218. Is 20 a factor of o(d)?
True
Suppose -5*q + q - 16 = 0, 0 = -2*z - 5*q - 10. Suppose 4*y - z*i = y + 53, 0 = -i + 5. Is 12 a factor of y?
False
Let d be (-6)/(-24) + 38/8. Let k be 11/d + 3/(-15). Suppose 3*u - 2*z - 68 = 0, -u = k*u - z - 64. Does 10 divide u?
True
Suppose -2*w + 4924 = 4*x, 0 = 4*w - 5*x - 10783 + 922. Is 44 a factor of w?
True
Let h be -9*((-4)/12 - 0). Let f be (19/h)/(10/240). Does 14 divide (f/10)/((-2)/(-10))?
False
Suppose -6*k + 15 + 9 = 0. Suppose 4*r - 244 = 180. Suppose 0 = -2*t + k*t - r. Is