 + 2*n + 122, -2*s + 117 = -2*n + 5*n. Is s a multiple of 22?
False
Is 11 a factor of 34/(-6 - 340/(-55))?
True
Suppose 4*h - 2*t = 54, -2*t + 67 = 5*h + 4. Let j = 101 - h. Does 15 divide j?
False
Let u = -244 - -427. Suppose -3*r = q - 4 - u, 5*q = -4*r + 253. Is 21 a factor of r?
False
Suppose 67*h - 18734 = -644. Is 9 a factor of h?
True
Suppose -3*p + 4*s = 3*s - 318, 3*p - 303 = -4*s. Is 13 a factor of (13/3)/(7/p)?
True
Suppose 5*x = -4*k - 61, 0 = -9*x + 6*x - 3*k - 39. Is (x/15)/(((-9)/105)/3) a multiple of 7?
True
Let p = 4301 + -2381. Does 35 divide p?
False
Does 13 divide (-181)/(-4)*(-5 + 57)?
True
Let h be ((-32)/(-6))/((-1)/3). Let u be 152 + (-12)/h*4. Suppose -5*l - 5*p = -u, -l = 2*l - p - 93. Does 7 divide l?
False
Suppose 2*r - 8 = -6, -2*r + 572 = 2*a. Is a a multiple of 3?
True
Suppose -16*o = -13*o + b - 3131, 0 = 2*o + 5*b - 2109. Does 16 divide o?
False
Suppose -10 = -b - 3. Suppose 0 = -3*v + 9, -b + 1 = 3*t + 4*v. Is 10 a factor of t/(-14) + (-831)/(-21)?
True
Let i = 40 + -14. Suppose 131 = -5*p + i. Does 16 divide (-4)/28 - 339/p?
True
Let y = -14 - 11. Let b = y - -71. Is 23 a factor of b?
True
Let d = 17 - 15. Suppose -7 = -m + d*h + 61, 2*h + 8 = 0. Suppose 0*v - 5*v = -m. Does 4 divide v?
True
Suppose -y - 2*z - 6 = 0, 4*y = -0*y + 5*z - 24. Does 11 divide (15/y)/(3/(-102))?
False
Let u(q) = -6*q + 19. Let i be u(3). Does 3 divide (-4*i)/(4/(-36))?
True
Let x = -1 + 19. Suppose j = -j + x. Suppose 3*z + 5*v + 15 = 45, 3*z - j = 2*v. Is z a multiple of 5?
True
Let a(k) = 35*k**3 + 2*k**2 + 2. Let h be a(2). Suppose -4*g + h = 106. Suppose 3*c = g + 20. Is c a multiple of 22?
True
Suppose 0 = 2*g - 6*g + 16. Let i be g/(-6*2/(-9)). Suppose -88 = -i*z + 68. Does 21 divide z?
False
Let q(f) = -f**3 - 10*f**2 - 40*f - 124. Is 7 a factor of q(-12)?
True
Suppose -724*z = -728*z + 4992. Is z a multiple of 8?
True
Suppose -1844 = 4*h + p - 11646, -7358 = -3*h - 4*p. Is h a multiple of 14?
True
Is 140 a factor of ((-57950)/152)/((-2)/16)?
False
Let j = -105 + 107. Suppose -5*k = 3*m - 15, -j*k - 3*k + 4*m = -50. Is 6 a factor of k?
True
Let o = -805 - -1610. Is 14 a factor of o?
False
Let o(m) = -9*m - 117. Let v be o(-13). Suppose -2*s + 9 = -l, 3*s - 16 = 2*l - 3*l. Suppose -r + 97 = -s*g, v*r = -5*r - 2*g + 350. Is 27 a factor of r?
False
Suppose -51*z + 67284 = 12*z. Is z a multiple of 52?
False
Suppose -31*z + 120 = -26*z - 2*q, -z - 4*q = -46. Does 26 divide z?
True
Let j(d) = -772*d + 176. Does 133 divide j(-5)?
False
Suppose 2*w + 5*j = 20, 4*w + 0*j = -4*j + 40. Suppose -10*c = -5*c - w. Suppose 0 = -c*m - 2*s + 44, -3*s + 63 = 3*m + s. Is 10 a factor of m?
False
Let d(q) = -q**2 + 17*q + 65. Does 27 divide d(10)?
True
Suppose -8*o + 3*o = 4*p - 897, -3*o = 3*p - 672. Is 18 a factor of p?
False
Suppose -s - 230 = -6*s. Suppose -3*g = -2*r + 42, 0 = -0*r + 2*r - 4*g - s. Is r a multiple of 9?
False
Let s = -14 - -4. Let k be 531/45 + 2/10. Let c = k + s. Does 2 divide c?
True
Suppose -25396 = 49*b - 63*b. Does 54 divide b?
False
Suppose 4 = -4*m - 4*i, 2*m - 5*i + 30 = -0*m. Let j(h) be the first derivative of h**3/3 + h**2/2 + 2*h + 8. Is j(m) a multiple of 11?
True
Let h = 0 - -4. Suppose c + 21 = h*w, -w = 3*w + 4*c - 36. Is (5 - (0 - -3))*w a multiple of 6?
True
Let t be (1/(-2))/(4/(-592)). Suppose -t + 235 = w. Is 23 a factor of w?
True
Let d(y) = 3*y**2 - 30*y - 57. Does 12 divide d(-14)?
False
Let h = 375 - 139. Is 59 a factor of h?
True
Let j = -34 - -24. Is 24 a factor of (-998)/j - 12/(-60)?
False
Let h(r) = -14*r - 4. Let c be h(5). Suppose 18*k = 21*k + 486. Let u = c - k. Does 24 divide u?
False
Let w(c) = 74*c**2 - 5*c - 44. Is 45 a factor of w(-5)?
False
Is (81/1)/((-27)/(-27)) a multiple of 19?
False
Let t(h) = -h + 3. Let k be t(2). Suppose g - k = 4. Suppose g*f - 2*b = -0*b + 68, 16 = -4*b. Does 3 divide f?
True
Suppose -38*f + 43*f = 225. Is f even?
False
Suppose 10 + 2 = 3*u. Suppose 0*p + 360 = u*p. Does 20 divide 1 - 3 - p/(-2)?
False
Suppose 0 = 6*a - 25 - 305. Is 11 a factor of a?
True
Let o(z) = -z - 2. Let y be o(6). Let c(k) be the first derivative of -k**2/2 - k + 27. Is 7 a factor of c(y)?
True
Let i be 0 - -4 - (-635 - 5)/5. Let a = i + -104. Is 13 a factor of a?
False
Does 29 divide (-9026)/(-16) + (-8)/64 - 0?
False
Suppose 22998 = 5*r + 4*y, 7*r + 3*y = 2*r + 22996. Does 22 divide r?
True
Suppose l + 3*n = 19 + 29, -l + 3*n = -66. Suppose -l = 62*w - 65*w. Is 13 a factor of w?
False
Suppose 5*z - 20 = -3*d - 0*z, 0 = 3*z - 12. Suppose d = 3*w - 2*w - 38. Is 13 a factor of w?
False
Let d(s) = -8*s. Let b be d(3). Let z = -45 - b. Let a = z + 36. Is a a multiple of 4?
False
Suppose 0 = -0*d - 2*d. Suppose 4 = 2*p - 3*p. Is 13*((-4)/p - d) even?
False
Let n = -618 - -1077. Is 9 a factor of n?
True
Let s be (1 - 5)*(-77)/22. Let i = 34 - s. Suppose 0 + i = q. Is 4 a factor of q?
True
Let m = 341 + -241. Is 20 a factor of m?
True
Suppose -30*w + 45*w - 1875 = 0. Does 2 divide w?
False
Suppose 0 = 4*q + 7 - 31. Suppose 5*u - 30 = -2*t, -4*u - 45 = -3*t - q*u. Suppose 4*s - t = 113. Is s a multiple of 9?
False
Suppose 4*l - 58 = 2*l. Suppose -11 - l = 4*i. Does 10 divide 3/(-15) + (-142)/i?
False
Is 74 a factor of 251389/209 + (-6)/(-33)?
False
Suppose h + 0 + 1 = 0. Let f be 0*(-6)/(-36) - -2. Is 20 a factor of -24*(h + f)*-2?
False
Suppose -2*z = 2*y - 746, 2*z - 6*z = 3*y - 1495. Is 28 a factor of z?
False
Is 7524/18 + -2 + (-4)/(-1) a multiple of 10?
True
Let y = 511 + 177. Is y a multiple of 10?
False
Does 30 divide (-11)/(-1) + (-16966)/(-34)?
True
Is ((-4)/10)/((-16)/3600) a multiple of 2?
True
Let v(n) = -3*n**2 - 10*n - 16. Let d(r) = 4*r**2 + 10*r + 16. Let s(y) = 2*d(y) + 3*v(y). Let l be s(-13). Let c = -7 - l. Does 24 divide c?
True
Suppose -1630 - 1202 = -6*b. Let t = b + -328. Is t a multiple of 15?
False
Suppose 13*p - 9008 = 40496. Is 56 a factor of (1 - (5 - 1))*p/(-51)?
True
Let r(l) = 13*l**2 - 2*l + 1. Let p(s) = -s**3 - 4*s**2 - s + 4. Let g be p(-2). Does 11 divide r(g)?
False
Let y(h) = -h - 1. Let g(x) = 5*x - 4. Let s(m) = -2*g(m) + 6*y(m). Does 18 divide s(-1)?
True
Let c be 10/(-45) + 74/9. Let b = 48 - 26. Does 7 divide 1*b + (7 - c)?
True
Let y(q) = -q + 10. Let l be y(6). Is 16 a factor of 66 - (l + -5 - 1)?
False
Suppose -3*f + 2494 = -2*h, -18*f + 4165 = -13*f + 5*h. Is f a multiple of 11?
False
Let y be (1/3)/(10/(-3420)*-6). Suppose 0 = y*o - 12*o - 266. Is o a multiple of 16?
False
Let k(u) = 8*u**2 - 10*u + 14. Let r = -73 + 75. Does 3 divide k(r)?
False
Is 34 a factor of (3 + 6)*11 - -3?
True
Suppose 31*u + 64 = 27*u. Let c = u + 36. Is 12 a factor of c?
False
Let z = -139 - -143. Suppose 3 = 4*k - 9. Does 11 divide (z - k) + -2 - -41?
False
Let o(w) be the second derivative of 4*w**3 - w. Suppose -3*g + 14 = 11. Is o(g) a multiple of 19?
False
Let h(n) = n - n**2 - 4 + 3*n**2 + 1. Let w be h(-2). Suppose -95 = -4*c - 2*f - w*f, 50 = 2*c + 2*f. Is 6 a factor of c?
True
Suppose -8*r = -3*r - 615. Does 15 divide ((-30)/(-2))/(2 - r/66)?
False
Let z = 18 + -11. Suppose -1 = -f + z. Is (-10)/(1*f/(-52)) a multiple of 14?
False
Suppose -254 = 8*n + 2. Suppose -233 = -5*x + 2*b, 4*b = -2*x - 3*x + 239. Let q = n + x. Does 5 divide q?
True
Let f(s) = s + 13. Let t be f(-9). Suppose 5*j = -3*d + 630, 3*j - 46 - 303 = t*d. Does 33 divide j?
False
Suppose 1329 + 37583 = 16*b. Is b a multiple of 19?
True
Is 1/(2/(-76))*(-3751)/242 a multiple of 23?
False
Let w(p) = -p**3 - 6*p**2 + 8*p + 6. Let j be w(-7). Is (-24)/4 - 3/j - -138 a multiple of 27?
True
Let g(v) = 4*v**2 + v - 2. Let u be g(1). Is 9 a factor of (26/4)/(u/6)?
False
Suppose -2*o - 12 = 4*q, -5*o + 0*o = 3*q + 2. Let a = 21 - q. Let k = 8 + a. Does 11 divide k?
True
Let h = -85 - -19. Let x = h + 123. Does 24 divide x?
False
Suppose 10*j - 752 = 228. Is 2 a factor of j?
True
Let u be -1 + 5 - 1 - (-144 - 6). Suppose 0 = 4*p - 3*p + 5*x - u, -p + 171 = -x. Does 24 divide p?
True
Suppose -5*n = -3*j + 555, -5*n = -j - 3*j + 745. Let k be (-16)/40 - (-81)/15. Suppose -j - 80 = -k*t. Is 27 a factor of t?
True
Suppose 0 = -8*o - 4281 + 11353. Is 17 a factor of o?
True
Does 11 divide 90/(-21)*(-2)/((-4)/(-14))?
False
Let x(b) = 182*b + 4 + 14*b**2 + b**3 - 207*b + 0. Is 22 a factor of x(-15)?
True