) - (-2)/6?
False
Let g = -967 + 1399. Does 24 divide g?
True
Let u = -39 + 19. Let a = u - -23. Suppose 0 = -a*p + 108. Is 9 a factor of p?
True
Suppose 23*l = 4*k + 25*l - 678, -5*l = -4*k + 699. Does 38 divide k?
False
Let j(q) = q**3 - 7*q**2 - 8*q + 8. Let g = -7 - -13. Let m be 2*g/(-3)*-2. Is 6 a factor of j(m)?
False
Suppose -519 = -14*t - 239. Does 10 divide t?
True
Suppose -14*a = -4*a + 80. Let x = 30 - a. Does 18 divide x?
False
Let i be (-23)/(-2) + (-12)/8. Is ((-16)/i)/((-10)/300) a multiple of 12?
True
Suppose -7 = -5*m + 13. Let g be (-54)/(1 - m) - 2. Suppose -5*k + 5*b + 39 = -g, 0 = 4*k + 3*b - 65. Is 7 a factor of k?
True
Suppose 3*d + 2968 = 10*d. Suppose 5*u = d + 116. Does 18 divide u?
True
Suppose 370 = -5*q - 560. Let u = q + 270. Is 21 a factor of u?
True
Let f(l) = 33*l + 3. Is 18 a factor of f(13)?
True
Suppose 5*i - 4*g + 0*g - 164 = 0, -3*i + 3*g + 99 = 0. Is 4 a factor of i?
True
Suppose -107*v + 52*v + 18920 = 0. Does 8 divide v?
True
Let k = 39 + -38. Is (10/(-20))/(k/(-74)) a multiple of 18?
False
Suppose d - 5*d + 5*r = -85, 0 = -5*d + r + 122. Is (-11)/4*(-3 - d) a multiple of 11?
True
Let k(f) = -12*f - 15. Let x be k(-6). Let q = x + 97. Is q a multiple of 26?
False
Let j = 25 - 25. Let c(m) = 4*m**3 - 7*m**3 + j*m**3. Does 6 divide c(-2)?
True
Let o(g) = -37*g - 369. Is o(-42) a multiple of 12?
False
Suppose -o = 4*f - 923, -5*f + 920 = 3*o - 2*o. Is 43 a factor of o?
False
Let w be (-2*88)/((-5)/10). Suppose -1408 = -4*z + 3*v, -z + w = v + 4*v. Is 15 a factor of z?
False
Suppose -5*u - 24 = u. Let q be -8 - (8 + u + -4). Let k(j) = j**3 + 9*j**2 + 2*j - 11. Does 27 divide k(q)?
False
Suppose 11*q - 19 = 3. Is q a multiple of 2?
True
Suppose 1398 = -3*t + 5*t. Is 13 a factor of t?
False
Let g(j) = -2*j**3 - 3*j**2 - 4. Let o be g(-2). Suppose o*t = t - 31. Does 8 divide t?
False
Let j be 6985/(-10) - 1/2. Let m = -417 - j. Is m a multiple of 47?
True
Let j = 85 - 60. Does 8 divide (104/20 + -4)*j?
False
Suppose -10 + 0 = -2*u. Suppose -u*s - 3*o + 17 = 0, -4*s - 2*o + 11 = 3*o. Suppose c - s*c = -81. Does 9 divide c?
True
Let s be (2/(-3))/((-14)/(-399)). Let b(c) = 3 + 3*c - 2*c + 24. Does 4 divide b(s)?
True
Suppose 5*x - 54 = i + 3*i, -3*i = 3. Does 14 divide (1 + -6)/((-1)/x) - 2?
False
Suppose g - 25 = 5*g - 5*z, -20 = 4*g - 4*z. Suppose 4*a - 4 = g, -a - 7 = -4*t + 4. Suppose -t*l - r - 19 = -4*l, -4*l - 2*r = -58. Is 4 a factor of l?
True
Let p be (0*(-4)/(-8))/4. Suppose p*i + 3*i - 129 = -3*v, 81 = 2*v + 3*i. Is 16 a factor of v?
True
Let z be ((-6)/39 - 0) + 306/(-39). Is 13 a factor of 2/4*26*(-40)/z?
True
Suppose -3*g + 443 = -181. Suppose -2*u - 3*s = -0*s - g, 384 = 4*u - 2*s. Does 13 divide u?
False
Suppose q + q = 5*g - 48, -3*g = -5*q - 44. Let x be (-9)/2 - (-4)/8. Is (g/x)/(1/(-5)) a multiple of 5?
True
Suppose 11*o - 189 = 8*o. Suppose 4*t = 311 - o. Does 7 divide t?
False
Suppose -1546*k + 1558*k = 8736. Is 12 a factor of k?
False
Is 8 a factor of (-160)/((-6)/(15 - 3))?
True
Let z(a) = 56*a**3 + a**2 + 8*a - 58. Is 97 a factor of z(4)?
False
Let p(l) = -l - 1. Let h be p(-1). Suppose h = 5*j - 123 - 27. Is 14 a factor of (10/(-6))/((-2)/j)?
False
Suppose -940 = -5*i - 4*v, 4*i + 4*v - 752 = -0*v. Is 19 a factor of i?
False
Let d(f) = 2*f**3 + 54*f**2 - 2*f + 10. Is 16 a factor of d(-27)?
True
Let h(q) = 94*q + 14. Does 10 divide h(7)?
False
Is 11 a factor of 901 + (-4)/(-4) + 0?
True
Suppose 0 = -37*i + 32*i - 215. Let v = 89 + i. Does 22 divide v?
False
Let j = 1206 + 307. Is j a multiple of 89?
True
Let d(b) be the first derivative of b**4/4 - 11*b**3/3 + 3*b**2/2 - 21*b - 8. Is d(11) a multiple of 12?
True
Suppose -2 = z - m, m - 20 = -4*m. Let f(y) = 2*y**2 - 2*y + 4. Does 8 divide f(z)?
True
Suppose -130*s = -113*s - 8568. Does 6 divide s?
True
Let v(y) = -12*y - 2. Let p be v(-3). Suppose 2*w - p - 50 = 0. Suppose -b + w = 6. Is 9 a factor of b?
True
Let d = 1676 + -1292. Does 3 divide d?
True
Suppose 5*z = 5*p + z + 677, -4*z = -p - 145. Let u = -47 - p. Is 10 a factor of u?
False
Let j(a) = 37*a - 20. Let b be j(-12). Is 3*(b/12)/(-4) a multiple of 3?
False
Suppose 0*w = -4*w + 8. Let o be (w - 2 - 0) + -32. Does 13 divide (-1256)/o - 1/4?
True
Suppose 8*y - 36*y + 2072 = 0. Is 11 a factor of y?
False
Let d(w) = w**3 + 7*w**2 - 5*w - 8. Let o be d(-6). Let j be (o + -3)/(1/1). Let v = j + -37. Is v a multiple of 11?
False
Let k(g) = 525*g + 19. Is 56 a factor of k(1)?
False
Let x(b) = 4*b + 15. Let w be x(9). Let y be -12*(w/(-12) - -4). Suppose -3*v = 2*z - 71, -y*v + 3 = -4*v. Does 8 divide z?
True
Let m(b) = b**2 + 14. Let o be m(8). Let k = 7 + o. Is k a multiple of 9?
False
Suppose 5*c - 12 = 2*c. Let u be 5/c - 1/4. Suppose -h - u = -z + 47, -3*h = z - 32. Is z a multiple of 15?
False
Let u(j) = 3*j**2 + j + 250. Let g be u(0). Let o = -130 + g. Does 26 divide o?
False
Let q = 407 + -347. Does 15 divide q?
True
Let a be (3 + 4 + -8)*1. Let v = 124 - a. Is 23 a factor of v?
False
Let g = 2 + 13. Let z = 23 - g. Does 20 divide 56/1 + z + -4?
True
Let h = -814 - -1075. Does 3 divide h?
True
Suppose 9*v = 2808 + 648. Is v a multiple of 8?
True
Let p(m) = m**2 - 15*m + 37. Let k be p(11). Let t(j) = 3*j**2 - 10. Does 8 divide t(k)?
False
Let i = 80 - 74. Is 18 a factor of ((-15)/4)/(i/(-144))?
True
Let c(g) be the first derivative of -25*g**2/2 - 25*g + 16. Is c(-6) a multiple of 33?
False
Let n be (-1722)/7 + -3 + 0. Let k = -131 - n. Is 19 a factor of k?
False
Suppose 2*x + 1920 = 6*x. Is x a multiple of 12?
True
Suppose -2780 + 92 = -6*d. Suppose 0 = 4*l - 5*b - d, 0 = 4*l - 3*b - 256 - 200. Is l a multiple of 43?
False
Suppose 2*z = -2*o, -2*z = -2*o - 6*z. Is 16 + (-5 + o - -3) a multiple of 7?
True
Suppose -5*o + 47 + 38 = 0. Let u = 75 + -75. Suppose u = -4*p + 15 + o. Is p a multiple of 4?
True
Let z = 40 - -165. Is z a multiple of 41?
True
Let u(r) = -r**3 + 3*r**2 + 10*r - 9. Let w be u(4). Let t(b) = 3*b + 30. Is t(w) a multiple of 5?
True
Let h(c) = 2*c**2 + 10*c - 7. Let f be h(-6). Suppose 2*m - 117 = n, 5*n = 3*m - f*m + 135. Does 15 divide m?
True
Let k(d) = 4*d**2 - 9*d - 7. Is 3 a factor of k(-2)?
True
Suppose -4*t = 5*b - 170, 3*t = 3*b + 4*t - 109. Suppose 0 = 2*n - 2*u - b, n - 4*u = -0*n + 10. Does 22 divide n?
True
Let v(h) = 2*h**2 - h**2 + 132 + 2*h + 2*h - 128. Let t be v(-4). Suppose t*u - 102 = 5*k + 114, -u + k + 55 = 0. Is 13 a factor of u?
False
Suppose 2*s + 1684 = 3*m, 5*m - 6*s = -10*s + 2792. Is 35 a factor of m?
True
Let t(l) be the third derivative of l**6/120 - l**5/10 - 7*l**4/24 + 5*l**3/6 - l**2. Let k be t(7). Suppose 0*y - 100 = -k*y. Does 7 divide y?
False
Let w(t) = -t**2 - 6*t + 22. Let k be w(-7). Let y(q) = -q**2 + q + 5. Let a be y(4). Let z = k + a. Is z a multiple of 8?
True
Let p = -1946 + 2761. Does 9 divide p?
False
Let h(j) = 3*j**2 + j. Let p be h(-1). Let f(w) = 3*w**3 + 2*w - 2. Is f(p) a multiple of 3?
False
Let v = -8 - 13. Let o = v - -24. Suppose 2*x - 135 = -o*x. Is 9 a factor of x?
True
Let q(v) = 14*v - 168. Is 5 a factor of q(25)?
False
Let l = 18 + 32. Let f = -24 + l. Is 26 a factor of f?
True
Let u(c) = -4*c**2 - c + 19. Let x(g) be the first derivative of -g**3/3 + 6*g + 1. Let v(k) = -2*u(k) + 7*x(k). Is v(-2) even?
True
Let u(m) be the first derivative of m**4/4 + 4*m**3/3 - 5*m**2/2 - 6*m + 10. Let f be u(-4). Is -3*(f/6 + -3) even?
True
Let p = 24 + -21. Suppose 13 = 2*b + p, 2*j = -b + 139. Suppose 2*g + 4*o + 21 = j, 5*o - 5 = 0. Does 8 divide g?
False
Let f(q) = -23*q - 21. Let t be f(-2). Suppose -4*r + 147 + t = 0. Is 3 a factor of r?
False
Let d be (-12)/(-2 - (-4)/4). Suppose -d*g - 240 + 1320 = 0. Does 15 divide g?
True
Let q(s) = s + 5. Let g be 52/(-16) - (-1)/4. Let y be q(g). Suppose -y*j = -6*j + 52. Is 13 a factor of j?
True
Does 8 divide 84/(-10)*1400/(-42)?
True
Let w = 51 - -169. Let x = -128 + w. Suppose -4*d + 19 - x = -s, -128 = -2*s - d. Is s a multiple of 13?
True
Let l(r) = -r**3 + 2*r**2 + 4*r. Let v be l(3). Suppose -2*c - 2*j + 170 = 0, 2*c - v*j = -6*j + 174. Suppose 0 = -3*n + 63 + c. Does 12 divide n?
True
Let v(z) = 396*z + 48. Is v(5) a multiple of 12?
True
Let q(r) = -21*r - 225. Does 8 divide q(-33)?
False
Suppose -14*n + 14121 + 24183 = 0. Is n a multiple of 12?