 + 119. Let u = z + -37. Does 27 divide u?
True
Suppose -3*q + 2*r + 81 = 3*r, 0 = 3*r. Let t = q + 3. Suppose z - t = -4*z. Is z a multiple of 3?
True
Suppose k - 3 = -0, 4*r + 5*k - 23 = 0. Suppose -r*u = -5*u - 39. Does 7 divide (1 + u)/4 + 23?
False
Suppose 0*a + 2 = a. Let z(x) = -x**2 - 20*x + 10. Let t be z(-19). Suppose a*k = 10, t = 3*v + k + 3*k. Is 3 a factor of v?
True
Does 41 divide 12/8*-4*365/(-6)?
False
Let t = 130 + -88. Suppose -2*c = -5*c + 12, 0 = -2*y + 5*c + t. Suppose -2*m + 27 = -y. Is m a multiple of 15?
False
Suppose -29*m + 21*m - 32 = 0. Let l(q) be the second derivative of -4*q**3 - 3*q**2/2 + q. Is 31 a factor of l(m)?
True
Let r = -135 - -135. Suppose 3*o + f - 96 = r, -2*o = -4*o - 3*f + 64. Is 2 a factor of o?
True
Suppose t - 43 = 92. Is (4/3)/(138/t - 1) a multiple of 30?
True
Let l(z) = z**2 - z. Let t(o) = -o**3 - 16*o**2 + 20*o + 28. Let j(k) = 4*l(k) - t(k). Is 28 a factor of j(-21)?
False
Suppose -48 = 11*k - 19*k. Suppose -4*d = 5*p - 7*d - 40, p + 4*d + 15 = 0. Let a = p + k. Does 5 divide a?
False
Suppose 0 = -72*y + 77*y - 805. Is 3 a factor of y?
False
Let i(k) = -8*k**3 - 8*k**2 - 7*k + 2. Let j(f) = -9*f**3 - 9*f**2 - 8*f + 3. Let r = -7 + 3. Let c(m) = r*j(m) + 5*i(m). Is c(-2) a multiple of 5?
True
Let t = -207 - -1126. Does 17 divide t?
False
Let c(v) = -4*v**2 - 18*v - 8. Let k be c(-7). Let u = 142 + k. Does 16 divide u?
True
Is (2/(-6))/(-6 + (-327679)/(-54615)) a multiple of 15?
False
Is 4 a factor of (-6)/14 + ((-31064)/(-77) - -6)?
False
Is 44 a factor of 6760/26 - (1 - 5)?
True
Let p(k) = 93*k + 5. Does 12 divide p(1)?
False
Let j be 74*-21*2/(-12). Let u = 583 - j. Suppose m = 7*m - u. Is m a multiple of 27?
True
Let j(u) = 5*u**2 - 14*u + 76. Does 26 divide j(5)?
False
Suppose -5*y = 0, -a + 5*a + 5*y = 36. Is a a multiple of 2?
False
Suppose -4*p = 2*s + 32 - 0, 5*p + 5*s = -45. Let f = 35 - p. Is f a multiple of 9?
False
Suppose -q + 6 = 4. Suppose 100 = 6*a - q*a - 4*p, 4*a - 88 = -2*p. Suppose -a - 9 = -2*u. Does 4 divide u?
True
Suppose 3*n + n = 4*w + 272, -340 = 5*w - n. Let m = w - -36. Is m/6*(-15)/10 a multiple of 3?
False
Let b = -3 - 5. Let d = b + 12. Suppose 240 = s + d*s. Is s a multiple of 16?
True
Suppose 349*d + 2656 = 365*d. Does 10 divide d?
False
Let m = 796 + -563. Is 5 a factor of m?
False
Suppose 42 = 2*u + 38. Suppose 0*p + u*p = 84. Is p a multiple of 7?
True
Suppose -2*d + 16*s + 70 = 14*s, 100 = 4*d + 4*s. Is d a multiple of 4?
False
Suppose -5*r = -151 + 146. Is 44 a factor of 178/r - (-1 - -17)/8?
True
Let p(b) = b**2 + 4*b - 4. Let x be p(-5). Suppose -4*y + 35 = 3*o, o + 17 - 7 = 3*y. Suppose -129 - x = -o*i. Is i a multiple of 13?
True
Suppose 12*h + 5*u - 795 = 10*h, -2*h = 4*u - 800. Does 74 divide h?
False
Suppose -d + 176 = 4*a, -2*d - 3*d + a = -796. Is 4 a factor of d?
True
Let y(f) be the third derivative of f**6/20 - f**5/30 - f**4/24 + f**3/6 - 27*f**2. Suppose -4*j + 6*a + 28 = a, -5*a = 4*j + 12. Is 13 a factor of y(j)?
True
Let w(f) = -2*f**3 - 2*f - 1. Let j be 1/(-4)*-4 - 3. Does 19 divide w(j)?
True
Let q(w) = -w**2 + 10*w + 85. Is 4 a factor of q(12)?
False
Let o = -267 + 166. Let l = o + 159. Is l a multiple of 8?
False
Suppose -2*f + 2*a + 134 = 0, 0 = 5*f + 3*a - 472 + 145. Is 22 a factor of f?
True
Suppose 0 = 4*t - 13*t + 18. Suppose t*f - s = 117, 4*f = -5*s + s + 252. Is 60 a factor of f?
True
Let f be (-4)/(-12) - 10/(-6). Let k be f/((6/15)/1). Suppose -2*d - h + 49 = 0, k*h - 1 + 42 = d. Is d a multiple of 13?
True
Let k = 4 + 11. Let p = 75 + k. Does 18 divide p?
True
Let t(q) = 3*q**2. Let y be t(-1). Suppose 0 = y*h + 3, -2*w + 6 = 2*h - 2. Suppose x = -0*x - w*m - 6, -4*m - 4 = x. Is 3 a factor of x?
False
Suppose -4*a = 6*o - o - 365, -5*a + 449 = -o. Let b = a - 30. Is 19 a factor of b?
False
Let w be (-3 - -3)/(3/1). Does 21 divide (w + 15/6)*38?
False
Suppose -2*c - 328 = -0*c. Let x = -75 - c. Suppose 5*d - 186 = x. Is 11 a factor of d?
True
Let y(s) = -586*s - 308. Is 10 a factor of y(-3)?
True
Let v = 49 + 29. Suppose v = 5*f - 102. Does 9 divide f?
True
Let l = 444 + -279. Is l a multiple of 5?
True
Suppose 41 - 11 = -5*f. Suppose x = -n - 6, 2*n = 5*x - x - 30. Does 10 divide (-3)/n + (-118)/f?
True
Let k(q) = -q**2 + 8*q - 7. Let t be k(5). Suppose -5*u - 3 = 3*o, -2*u + 2*o = 8 + 6. Does 21 divide u/((t/28)/(-2))?
True
Suppose 5*x - 27 = 6*x + 5*b, -5*x + b - 109 = 0. Let w = x - -34. Is (-4)/(w/(-27)) - -1 a multiple of 10?
True
Suppose 4*f + 687 = 2007. Is 11 a factor of f?
True
Let k = 124 + -81. Does 21 divide k?
False
Suppose -21*y + 372 = -9*y. Does 6 divide y?
False
Let k be (2/(-4) + 0)*-8. Let s be k/(-6) + 3/(-9). Is s/(-2*(-3)/(-24)) a multiple of 2?
True
Suppose b = 3, -2*k + 5*b = 3*k + 5. Suppose -k*g = 2*g. Suppose 0 = p + d - 16, -5*p - 3*d - d + 79 = g. Is p a multiple of 13?
False
Let q be (-6)/9 - (-220)/15. Let x be 2/(-7) + 60/q. Suppose -2 = -x*h + 6. Is h even?
True
Let t(y) = 7*y**2 - 4*y - 57. Is t(-9) a multiple of 68?
False
Let i(s) be the third derivative of 2*s**5/3 + s**3/6 - s**2. Suppose -3*y - 11 = -8. Is i(y) a multiple of 19?
False
Is (-12)/(2/(-68)*3) a multiple of 8?
True
Let i(s) = -29*s + 38. Is i(-8) a multiple of 30?
True
Does 37 divide (180/(-25))/(8/(-740))?
True
Let y = 37 - 42. Is 2/y + (648/(-5))/(-9) a multiple of 14?
True
Is 38 a factor of (10/(-25))/(2*(-3)/50730)?
True
Let f(t) = 17*t**2 - 101*t + 86. Does 21 divide f(17)?
False
Let c(o) = -331*o + 2. Is 3 a factor of c(-1)?
True
Let v(w) = 3*w**2 + 3*w + 23. Suppose 4*p = p - 18. Is 29 a factor of v(p)?
False
Suppose 5*o = 280 + 1960. Does 4 divide o?
True
Let q be 224/2 + 6 + -6. Let t = -76 + q. Let u = t - 19. Is u a multiple of 12?
False
Suppose -70*t + 74*t = 168. Does 14 divide (-5)/(-10)*-2 + t + 1?
True
Let t(r) = -202*r + 56. Is 23 a factor of t(-2)?
True
Let h = 2304 - 1088. Does 21 divide h?
False
Suppose a - 1 = 1. Suppose 0 = -5*i + a*i + 192. Does 16 divide i?
True
Suppose -505 = -3*j + 815. Is j a multiple of 14?
False
Suppose -4*w + a + 442 = -135, 20 = -4*a. Is w a multiple of 36?
False
Suppose -115*n = -112*n - 675. Does 2 divide n?
False
Suppose g - 2*n = 13, 5*n - 3*n + 34 = 4*g. Let c(w) = -w**2 + 9*w + 3. Let a be c(g). Let i = 42 - a. Is 8 a factor of i?
False
Suppose -139500 = -30*l - l. Is l a multiple of 108?
False
Suppose -2*w + 4134 - 1098 = 0. Is w a multiple of 66?
True
Let i(o) = 21*o**2 - 43*o - 11. Does 55 divide i(-5)?
False
Let s be 36/(-27)*9/(-6). Suppose 8*h - 3*h = -3*q + 88, 0 = s*q + 5*h - 52. Is q a multiple of 6?
True
Suppose 30 = 11*g - 1994. Is g a multiple of 20?
False
Let c(k) = -k**3 - 12*k**2 - 19*k + 2. Is 18 a factor of c(-11)?
True
Suppose 0 = 5*j - 6 + 1. Let c(m) = -12*m - 149. Let g be c(-14). Let q = g + j. Does 4 divide q?
True
Let q = -98 + 168. Suppose -5*f = 5 - 20. Suppose j = f*j - q. Does 16 divide j?
False
Let p = -24 - -39. Does 24 divide -96*(p/(-20))/1?
True
Let x be 11/4 + (-3)/(-12). Suppose -3*o + 5*i = -6, x*o = i + 8 + 10. Let j(z) = -z**2 + 10*z + 14. Is j(o) a multiple of 17?
False
Suppose 0 = -7*c + 72 + 2392. Does 16 divide c?
True
Suppose -20*c - 3*c + 11040 = 0. Is c a multiple of 8?
True
Let w(r) = -2*r + 13. Let u be w(-8). Suppose 0 = y + u - 140. Is y a multiple of 16?
False
Let q be 6*(-3)/6 - 19. Let w be 159*(25/15)/(-5). Let g = q - w. Is 4 a factor of g?
False
Let v(y) be the third derivative of y**5/30 - 5*y**4/24 + 2*y**3 + 5*y**2. Let o be v(6). Is (-3 - -4)*(2 + o) a multiple of 28?
True
Let k(g) = -2*g**3 + 37*g**2 - 20*g + 45. Does 2 divide k(17)?
True
Suppose 0 = -15*d + 11*d + 8. Suppose 2*x - d*q - 54 = 0, 6*x = 2*x - 4*q + 84. Is x a multiple of 23?
False
Suppose 9*b + 12*b = 1827. Is b a multiple of 87?
True
Let f = -518 - -1162. Is 46 a factor of f?
True
Suppose 0 = -5*r - s + 1, 0 = -0*r - 5*r + 4*s - 4. Suppose -j - 390 = -3*m + 2*j, r = 4*m + j - 495. Let z = m + -15. Is z a multiple of 22?
True
Let q = 8 + -20. Let o(k) = -116*k - 7 - 114*k + 344*k - 116*k. Is 17 a factor of o(q)?
True
Let q(y) = -6*y**3 + 2*y**2 + 31*y + 50. Is q(-7) a multiple of 7?
False
Let m(q) = 94*q - 126. Is 13 a factor of m(8)?
False
Let l(w) = -2*w + 1. Let s be l(5). Let q be 274/(-10) - s/(-15). Let d = -12 - q. Is 5 a factor of