se
Let f = 291 + 663. Is f a multiple of 53?
True
Suppose 5*f - 140 = -5*j, f - 5*f + 16 = j. Let d = j + -29. Is 2 a factor of d?
False
Suppose 3*z + 5 + 2 = -2*u, 2 = u - 4*z. Let x = u - -27. Is 5 a factor of x?
True
Let w = -9 - -3. Let v(z) = -4*z - 12. Let f be v(w). Is 0 + 4/(f/9) a multiple of 2?
False
Let r = 882 + -302. Does 58 divide r?
True
Let w = 228 - -114. Is w a multiple of 18?
True
Let p be 14/2*2/(-2). Let a = 11 + p. Does 15 divide 86/4*16/a?
False
Let k(g) = -29*g**3 - g. Let j be k(-1). Suppose 2*h = 3*z - 40, 0*h = -3*z - 3*h + j. Let a(m) = 5*m - 18. Is 16 a factor of a(z)?
False
Suppose -4*b + 15 + 5 = 0, -5*a + 4*b + 95 = 0. Suppose -a = -11*g - 1. Is g a multiple of 2?
True
Suppose -10 = -7*o - 10. Suppose o = 6*l + 142 - 1168. Is l a multiple of 32?
False
Let y = -3227 - -4605. Does 24 divide y?
False
Suppose -3*s - 297 = -2*v - 85, 0 = 5*v + 3*s - 530. Is 35 a factor of v?
False
Suppose 0*b - 20878 = -26*b. Is 73 a factor of b?
True
Let u(b) = -b**2 + b + 10. Let d be (-2 - 0) + ((-12)/2)/(-3). Is 2 a factor of u(d)?
True
Suppose 4*c - 15*c = 0. Suppose c = -3*v + 5*w + 240, -v - 5*w = -2*v + 80. Does 20 divide v?
True
Suppose 6*p + 796 = 2*p. Let y = p + 88. Let c = y - -165. Is c a multiple of 18?
True
Suppose -t - 2*t = 2*f + 6, 5*t - 2*f + 10 = 0. Let w be (5*t)/((-3)/(-30)). Is 13 a factor of (-1)/(-2) - w/8?
True
Let t(g) = g**3 - 9*g**2 - 6*g - 16. Let q be t(9). Let y = 87 + q. Is y a multiple of 8?
False
Suppose v + 15 = 28. Suppose -v*q - 12 = -7*q. Does 16 divide (1536/112)/(q/(-14))?
True
Does 69 divide 218 + 0/(-5 - 2)?
False
Let w(a) = 2*a - 17. Let h be w(11). Suppose -h*z = -2*z. Let p(r) = r**2 + 54. Is 13 a factor of p(z)?
False
Does 26 divide (-1)/2 + -677*(-1)/2?
True
Is 11 + 1 + 7 + 0 a multiple of 2?
False
Suppose -342 = -3*h + h. Is 9 a factor of h + -26 + 2/(0 + -1)?
False
Let k = -18 - -18. Suppose 0 = -o - 4*d - k*d + 32, 4*d + 16 = 0. Does 6 divide o?
True
Let g be 2 + 24/(-10) + (-256)/(-40). Suppose 3*p - 6 = 0, -z - 3 = 2*p - g*p. Does 5 divide z?
True
Let k(i) = 3*i + 13. Let s be k(-4). Does 13 divide s/(5/75 + 0)?
False
Suppose 3*a - 2*a - 5*w = 23, 3*w - 6 = 0. Let r = a - 19. Is 10 a factor of r?
False
Let q = -1285 - -2349. Does 38 divide q?
True
Suppose -k - 670 = 4*k. Let u = -64 - k. Does 7 divide u?
True
Suppose 9*z - 4*z = -35. Let p(l) = -2*l + 30. Does 11 divide p(z)?
True
Let y be (-2)/4*0*(-3)/(-9). Does 54 divide (3 + (y - 5))*1*-32?
False
Let y(f) be the first derivative of -f**4/4 - 11*f**3/3 - 11*f**2/2 + 11*f - 34. Does 22 divide y(-11)?
True
Suppose -5*t = -3*u - 873, -t = u - 141 - 32. Does 37 divide t?
False
Let l = 27 + -33. Let y(u) = -u**3 - 7*u**2 - 4*u + 12. Let k be y(l). Suppose 0 = -2*m + 10 - 0, k = -3*h - 5*m + 85. Is h a multiple of 3?
False
Is 21 a factor of (-1)/(4/(-2) + (-10953)/(-5481))?
True
Suppose 3*a + 86 = 83. Is 26 a factor of 570/(-3 - (a - 4))?
False
Let g(l) be the second derivative of -5*l - 7/6*l**4 + 1/20*l**5 + 8/3*l**3 + 0 + 4*l**2. Is g(13) a multiple of 18?
False
Suppose -2*o - 4*n + n - 9 = 0, -2*n = -2*o + 6. Suppose -16*r + 12*r + 264 = o. Is r a multiple of 20?
False
Let l(s) = -7*s**3 + 16*s**2 - 3*s - 16. Is l(-8) a multiple of 106?
False
Let i(n) = -n**3 - 28 - 3*n + 0*n + 2*n + 12*n**2. Is 19 a factor of i(11)?
False
Is 46 a factor of -2 + 3 - 1*-1149?
True
Let r(p) = p**3 + 4*p**2 + 3*p - 16. Is 14 a factor of r(9)?
True
Let j(v) be the first derivative of v**3/3 - v**2/2 + 2*v + 2. Suppose -30 = -9*x - x. Is 2 a factor of j(x)?
True
Suppose 0 = -4*a + a. Suppose -2*r = -a*r - 26. Let o = r - 9. Does 2 divide o?
True
Let q = -16 - -15. Let n(o) = -82*o. Is 7 a factor of n(q)?
False
Suppose -o = -3*v + 66, v - 22 = -o - 0. Is 10 a factor of v?
False
Suppose 0 = 4*c - 4*t - 4916, -3 = -t - 8. Suppose -c = -15*p + 126. Does 14 divide p?
False
Suppose -2*c + 3*c + 122 = -2*n, -189 = 3*n + 3*c. Let a = -28 - n. Suppose -u + 2*m = -a, 0*u - m = -4*u + 131. Is 11 a factor of u?
True
Suppose -r + 5 = -0. Suppose -r*h = 9 + 21. Does 6 divide h/9 + 64/6?
False
Does 52 divide (-6)/15 - 1/(20/(-8328))?
True
Suppose 6*m - 9*m = -39. Suppose m*t = 18*t - 35. Suppose 0 = -2*p - 3*h + 90, -4*h = -t*p + 2*p + 202. Does 15 divide p?
False
Is (-2 + (-36)/10)*(-325)/2 a multiple of 26?
True
Let w be 48/18*9/12. Let q(l) = 7*l**3 - 3*l**2 + 4*l + 1. Let k(j) = -13*j**3 + 6*j**2 - 9*j - 3. Let d(c) = 2*k(c) + 5*q(c). Does 9 divide d(w)?
True
Suppose 31*y = 9628 + 30610. Does 11 divide y?
True
Let b(m) = 3*m**2 + 7. Let a be b(4). Suppose -3*q = -0*q - 15. Suppose -2*w + w + 9 = 3*t, -q*w - 5*t + a = 0. Does 3 divide w?
True
Let p be (4 - (-3 - -1)) + 0. Suppose -p = -2*l + 4*j, -4 = -l + 4*j - j. Is 27*l + -1 + 4 a multiple of 12?
False
Suppose 2*a = -0*a, -3*s - 5*a = 0. Suppose 0 = 2*r - 5*u - 240, s + 6 = -3*u. Does 23 divide r?
True
Let l = 280 - 165. Is (2 - (3 - (-1 + 4))) + l a multiple of 32?
False
Suppose 0 = 16*f - 11*f - 1050. Let h = 305 - f. Is 13 a factor of h?
False
Suppose 0 = -8*p - 63 + 623. Is 2 a factor of p?
True
Let c be (-4)/(3/6 + -1). Let v = -65 - c. Does 24 divide 4/(-12) + v/(-3)?
True
Let f(t) = 312*t**2 - 2*t + 1. Let k be f(1). Let x = k - 201. Suppose 4*m - 9*m + x = 0. Does 11 divide m?
True
Let a(x) be the first derivative of 5*x**2/2 + 73*x + 42. Is a(0) a multiple of 22?
False
Let p = 2 - 4. Let g(v) = -14*v - 3. Is 4 a factor of g(p)?
False
Suppose 10 = b + 2*i, -3*b + 4*i - 32 = -6*b. Let j = b - 8. Suppose m + 132 = 2*n, 5*n - j*m - 198 = 2*n. Does 24 divide n?
False
Let r(j) = 12*j**2 + 2*j + 5. Let d(s) be the first derivative of -37*s**3/3 - 5*s**2/2 - 16*s + 9. Let n(i) = 2*d(i) + 7*r(i). Does 17 divide n(-2)?
False
Let b(l) = l**3 - 3*l**2 - 3*l - 3. Let a be b(3). Let w(z) = -10 + 9*z - 9*z + 2 - 2*z. Does 4 divide w(a)?
True
Let j(b) = 9*b**2 - 181*b + 58. Is 13 a factor of j(22)?
False
Suppose 0 = 332*q - 321*q - 2079. Is q a multiple of 6?
False
Let z = 203 - 212. Suppose -3 = w - 0*w. Does 3 divide -4*w/(z/(-6))?
False
Suppose 4 = -2*i + 4*i. Suppose -l - y + 2 = 0, 61*l - y - 6 = 66*l. Does 10 divide ((-25)/i)/(l/4)?
False
Suppose -j + 2*j - 3*l = 12, 3*j - 5*l - 24 = 0. Suppose 3*q = 5*z + 15, j*z + 65 = 5*q + 8*z. Is 3 a factor of q?
False
Let a be (72/90)/((-1)/((-195)/(-2))). Let f = a + 189. Does 23 divide f?
False
Does 19 divide 421 - ((-15)/30 - (-14)/4)?
True
Suppose 0 = -4*p + 4553 + 4087. Suppose 0 = -13*j - 2*j + p. Does 36 divide j?
True
Suppose 2*r = 4*a - 802, -5*r - 1005 = -6*a + a. Is a a multiple of 10?
True
Let m(b) = -22*b + 4. Is 22 a factor of m(-6)?
False
Suppose -b = 6*b - 2576. Does 8 divide b?
True
Let c(l) = -l**3 + 17*l**2 + 3*l - 18. Suppose 5*x + 3*h - 6 = 73, -3*x = h - 49. Let d be c(x). Let n = 50 - d. Does 6 divide n?
False
Suppose -b + 3*b - 8 = 0. Suppose 0*j - b*j = -28. Suppose j*m = 3*m + 240. Is 15 a factor of m?
True
Suppose 0*p + 5*p + 765 = 0. Does 26 divide 974/18 - (-17)/p?
False
Let x = 1815 + -846. Is x a multiple of 30?
False
Suppose 0 = b - 5*b + 2900. Suppose s = -p + 123 + 56, b = 4*s + p. Suppose 11*n - 9*n = s. Is n a multiple of 24?
False
Does 5 divide (-72)/(-30)*1050/8?
True
Let p(r) = -r**3 - 5*r**2 - 4*r + 4. Let s be p(-4). Suppose -s*u + 3*x + 69 = 0, 3*u + 3*x - 103 + 25 = 0. Is 12 a factor of u?
False
Let r(y) = -20*y + 58. Is 8 a factor of r(-10)?
False
Suppose -3*x = -9, 4*x - 1263 = -3*o - 0*x. Is o a multiple of 11?
False
Suppose d - 10 = -8. Suppose 2*z + d*j - 28 = 138, 2*j - 400 = -5*z. Is z a multiple of 13?
True
Suppose -3*l - y + 223 = -61, 3*l = 4*y + 304. Is l a multiple of 8?
True
Suppose 3810 = 5*f - 3*d, -276*d + 2286 = 3*f - 279*d. Is f a multiple of 9?
False
Suppose 3*b - 4*w = -6*w + 13, 0 = -5*b - w + 24. Suppose -j + b*j - 174 = 5*m, -j = 2*m - 37. Does 41 divide j?
True
Is 9/((-36)/16)*(-20 + 5) a multiple of 4?
True
Is 63 a factor of 27/(-4)*(-41 - (-15)/(-1))?
True
Let h = 324 - -50. Suppose g + z = -0*z + h, z = 2. Is 31 a factor of g?
True
Let b = -278 - -372. Is 4 a factor of b?
False
Is 90 a factor of (12 + -9 + 6)*(-1875)/(-9)?
False
Suppose -1229 + 109 = -2*s - 3*o, -5*s + 2800 = 2*o. Does 16 divide s?
True
Does 18 divide 204/(-340) - (-3776)/10?
False
Is 419 + (8 + -4 - 2) - 3 a multiple of 22?
True
S