-5*z + 3703 = 3*y. Is y a multiple of 58?
False
Suppose 0 = -2*b + k + 9, -4*b - 5*k - 4 + 1 = 0. Let w be 1*(18/b + -1). Suppose -4*m + 2*s = -177 + 7, s + 208 = w*m. Is m a multiple of 13?
False
Let k be (2/(-4))/((-2)/(-24)). Let c be 3/k + (-316)/(-8). Is 1196/c + 4/(-6) a multiple of 6?
True
Suppose 0 = -129*a + 121*a + 4136. Is 47 a factor of a?
True
Suppose 1567 = 5*z - 0*r + 4*r, 308 = z - r. Is 2 a factor of z?
False
Let b(y) = y - 19. Let l be b(16). Let t = l - -6. Suppose 5*a - 178 = -t*u, 3*a = -4*u + 24 + 85. Does 25 divide a?
False
Suppose -9 = -3*k - 3. Let x(h) = 169*h**3 - h**2. Let c be x(1). Suppose 0 = -6*g + k*g + c. Does 21 divide g?
True
Suppose 2*n = 19 + 1. Let a(r) = -6 - n*r - 7*r**2 + 2*r**2 + 6*r**2. Does 2 divide a(11)?
False
Let o(d) = d**3 + 5*d**2 - 5*d + 11. Suppose 0*h - 5*h - 25 = 0. Is 6 a factor of o(h)?
True
Let m(t) = 2*t**3 + 19*t**2 + 9*t + 6. Let x be m(-9). Is 2 a factor of -6*(x/18 + -3)?
True
Suppose -26*m = 12*m - 64676. Does 46 divide m?
True
Let a(v) = -v**3 + 10*v**2 + 17*v + 24. Let d(h) = -5*h**3 + 50*h**2 + 86*h + 119. Let g(j) = -11*a(j) + 2*d(j). Is 27 a factor of g(12)?
False
Let l(v) = 3*v**3 + 8*v**2 + 4. Let x(f) = 8*f**3 + 24*f**2 + 12. Let q(k) = 11*l(k) - 4*x(k). Let n be q(8). Is 16 a factor of (-2 - n - 31)/(-1)?
False
Let y(g) = 34*g + 17. Let m be y(10). Suppose 0 = -2*u - 5*u + m. Does 37 divide u?
False
Let h be 136/7 - 48/(-84). Suppose 0 = h*o - 23*o + 525. Does 11 divide o?
False
Let i(g) = -4*g**3 - 3*g**2 + 4*g - 15. Is i(-6) a multiple of 99?
False
Let y be 4 + (-4)/6*(-333)/2. Let o = 383 - 220. Let d = o - y. Is 9 a factor of d?
False
Suppose 11*d - 21*d + 170 = 0. Is 2 a factor of d?
False
Suppose 1187*f = 1177*f + 16920. Is f a multiple of 94?
True
Let b = -1 - 0. Let r(f) = -f**2 + 9*f + 19. Let q be r(11). Is 3 a factor of 1*(b*21)/q?
False
Let u be (-4*2)/(7 + -9). Is (-125)/30 + u + (-434)/(-12) a multiple of 9?
True
Suppose -162*f - 6219 = -171*f. Does 10 divide f?
False
Let q(h) = h + 10. Let x(d) = -11. Let b(c) = -3*q(c) - 2*x(c). Let o be b(-5). Let u = 21 - o. Does 4 divide u?
False
Let w = 88 + -88. Let s = 8 - 14. Is (1 + w + s)/(-1) a multiple of 3?
False
Suppose 0 = 4*a + 76 + 20. Let x = 39 - a. Is x a multiple of 21?
True
Let g = -66 - -389. Is g a multiple of 23?
False
Suppose 726 = 9*m - 6*m. Is 19 a factor of m?
False
Suppose 0 = 4*l + l. Let i = l - 0. Suppose i = -0*j - 2*j + 30. Does 7 divide j?
False
Suppose u + 627 = 5*d - 2*d, 5*d - 4*u = 1052. Is d a multiple of 26?
True
Let k = -12 + 20. Suppose 0 = 2*x - 0*x - k. Suppose -30 = -p - x*p. Does 6 divide p?
True
Let z be ((-28)/(-21))/((-1)/(-3)). Let o(n) = n**3 - 4*n**2 + n - 2. Let u be o(z). Suppose u*f - 48 = -2*f. Is 3 a factor of f?
True
Suppose 0 = -3*r + 17*r - 23800. Does 20 divide r?
True
Suppose 7*x - 1153 + 383 = 0. Is 11 a factor of x?
True
Let p(v) = 23*v**2 + 2*v + 47. Does 46 divide p(-5)?
False
Let y = 19 + 185. Does 5 divide y?
False
Let w(t) = t - 5. Let m be w(5). Suppose 6 = -m*x + 2*x. Is 17 a factor of 1/x + (-100)/(-6)?
True
Does 8 divide (15*6/27)/(3/684)?
True
Let f = 54 + -38. Suppose -125 + 42 = -3*q - 4*j, -5*q + 2*j = -121. Let i = q - f. Is i a multiple of 3?
True
Suppose 5*o = -196 + 651. Let y = o - 45. Is 10 a factor of y?
False
Suppose -4*j = -1491 + 171. Suppose -50*o = -44*o - j. Is 11 a factor of o?
True
Suppose -3*a + 252 = -10*z + 11*z, -3*z = -2*a - 789. Is 9 a factor of z?
True
Suppose -4*u - 17 - 43 = 0. Let z be (u/20)/(1/8). Is 1*z*(-27)/18 a multiple of 5?
False
Suppose 3*g + 78 = -48. Let f = -9 - g. Does 11 divide f?
True
Let c(u) = -3*u**3 - 10*u**2 - 15*u + 16. Let a(p) = -16*p**3 - 50*p**2 - 75*p + 79. Let n(j) = -2*a(j) + 11*c(j). Does 2 divide n(-8)?
True
Let g be (5 + -1)/(-4 - -5). Let p(r) = r**2 - 4*r + 4. Let v be p(g). Suppose 5*a - 5 = 0, v*a - a = -2*z + 27. Is 10 a factor of z?
False
Let z = -65 - -82. Suppose 0 = -z*i + 21*i - 960. Is 48 a factor of i?
True
Let y = -581 + 1043. Is 10 a factor of y?
False
Let j be 3/2 + (-48)/(-32). Does 17 divide (1 - j)/(20/(-390))?
False
Suppose 7*m = 1756 - 818. Is m a multiple of 8?
False
Let y(d) = 21*d + 33*d**3 - 8*d**2 + 17 - 5*d**2 - 34*d**3. Let x be y(-14). Is (28/(-3))/(18/x) a multiple of 14?
True
Suppose 0 = 5*q - 8 - 7. Suppose -y = -5*b - q - 8, 3*y = -3*b + 33. Let s = y + 25. Does 12 divide s?
True
Let b(q) = q**2 + q - 3. Let g be b(-3). Suppose 0*j - 5*j + 15 = -g*i, -4*j - 2*i = 10. Suppose f - 4*d - 72 = j, -4*d = 5*f - 3*d - 276. Does 8 divide f?
True
Suppose 3*b - b = 3*h - 1219, 5*h - 3*b = 2032. Is h a multiple of 13?
False
Let c = 1432 + -850. Is 50 a factor of c?
False
Let r(x) = 29 - 8*x + 3*x**2 - 9*x**2 + 7*x**2. Is r(-9) a multiple of 26?
True
Suppose 4*k = 3*a + 10, 5*k - a = -0*k + 18. Suppose -141 = -k*g - l, -2*g + 2*l + 150 = 2*g. Is 6 a factor of (3/2)/(3/g)?
True
Let h = 8 - 16. Let j = h + 12. Does 9 divide (2 + -3)/(j/(-68))?
False
Suppose -2*t - 1260 = -5*t. Suppose -2*u + 6*u = t. Is u a multiple of 15?
True
Let m = -84 + 153. Suppose -3*q - 15 = -m. Does 3 divide q?
True
Let w = -9 - -14. Suppose 2*m = -2*f + 300, -195 = -w*m - 3*f + 557. Suppose 0 = -2*h - n + m, 4*n - 71 = -3*h + 158. Is h a multiple of 25?
True
Let v(m) be the third derivative of 1/60*m**5 - 1/6*m**3 - 1/6*m**4 + 0*m - 5*m**2 + 0. Is 11 a factor of v(6)?
True
Let g be (4/(-3))/((-1)/3). Suppose 22 = -g*y + 2*y - 5*q, -5*y + 3 = -2*q. Is (9 + -7)/(y/(-8)) a multiple of 13?
False
Suppose g = t + 7, 5*g + 14 - 57 = 3*t. Is g a multiple of 2?
False
Let l be 8/28 + (-120)/(-21). Let x be l/3 + 1 - -1. Suppose 4*j = -4*d + 32, 0 = 3*j + x*d - 40 + 13. Is 2 a factor of j?
False
Let s(x) be the second derivative of x**5/20 + x**4/4 + x**2 - 5*x. Let t be s(-3). Is 6 a factor of (3*t)/((-10)/(-30))?
True
Let l(m) = m**2 - 7*m + 5. Let w be l(6). Is w + 27 - (-12)/6 a multiple of 4?
True
Let o(k) = -k + 2. Let h = 0 - 2. Let t be o(h). Suppose t*q + 155 = b + 2*b, 106 = 2*b - 4*q. Does 21 divide b?
False
Suppose 0 = -5*d + 1592 + 2008. Does 48 divide d?
True
Suppose 0 = -24*k + 7*k + 51459. Does 14 divide k?
False
Let n(r) = -2*r + 2*r + r + 4. Let b(t) = -4*t - 15. Let p(h) = 2*b(h) + 9*n(h). Is p(6) a multiple of 6?
True
Suppose 4*u - 5*r + 4 - 35 = 0, -1 = -r. Let v = -3 - u. Let f = v + 68. Does 8 divide f?
True
Let o = 0 - -4. Is ((-2)/o)/(17/(-646)) a multiple of 19?
True
Is 7 a factor of (-64)/(-128)*868/2?
True
Suppose 14*w - 4294 - 410 = 0. Is 7 a factor of w?
True
Let i(x) = -x - 1. Let a be i(4). Let o(d) be the third derivative of d**6/120 + d**5/12 - d**4/24 + 2*d**3/3 - 2*d**2. Is 9 a factor of o(a)?
True
Let z(x) be the second derivative of x**6/120 + 11*x**5/60 + x**4/2 - 2*x**3 - 3*x**2/2 + 5*x. Let y(g) be the first derivative of z(g). Does 14 divide y(-9)?
True
Suppose -2*n + 64 = 3*s, -5*s + 3*s + 46 = 2*n. Let o be (12/18)/(2/18). Suppose s = l - o. Is l a multiple of 5?
False
Suppose -5*y + 7 = -4*y. Let m = -7 + y. Suppose 5*i - i - 108 = m. Is i a multiple of 6?
False
Suppose 3*r + 2*y - 18 = 5*r, 5*r + 33 = y. Let i be 1/((-9)/66)*r. Suppose -l + i = -4. Does 6 divide l?
True
Let l(n) = n**3 - 25*n**2 - 39*n + 33. Let y be l(27). Let f = y - 222. Is 12 a factor of f?
True
Let g(t) = t**3 + 12*t**2 - 16*t - 17. Let y = 83 + -96. Is 13 a factor of g(y)?
False
Suppose 16416 = 18*p + p. Is p a multiple of 36?
True
Suppose -7*s = -4*s + 63. Let k(n) = -n + 50. Does 35 divide k(s)?
False
Suppose q + 10958 = 15*t - 12*t, -2*q - 3651 = -t. Is 41 a factor of t?
False
Let a = -32 - -27. Let x(u) = -29*u - 25. Is 22 a factor of x(a)?
False
Let i = -134 - -65. Let w = 1 - i. Does 13 divide w?
False
Let l(n) = n**3 - n**2 - n - 33. Let w be l(0). Let h = w - -55. Let o = h + -16. Is o a multiple of 3?
True
Let k(c) = 9*c - 68. Is k(34) a multiple of 11?
False
Suppose 5*s - 802 + 132 = 0. Does 16 divide s?
False
Let h = -16 - -71. Let u = h + -36. Is 11 a factor of u?
False
Suppose -2*t + 1 = 17. Let n be (3 - 2)/(1/5). Does 32 divide (7 + -47)*t/n?
True
Let b(y) = 2*y**2 + 4*y - 13. Let u = 34 + -40. Does 15 divide b(u)?
False
Let g(v) = 3 + 3 + 61*v - 57*v. Is 5 a factor of g(6)?
True
Suppose -19 + 1168 = 3*x. Is x a multiple of 5?
False
Suppose 4*m + 4*f = 56, 3*m + 2*f - 6*