g, 0 = -2*j - 5*l - 10. Let s = 63 + j. Is s a multiple of 6?
False
Is (2 + -7364 + (-2 - -2))*(-58)/116 a multiple of 25?
False
Let c(d) be the first derivative of 21*d**4 - d**2 + 2*d - 19. Suppose 0 = 10*z - 0 - 10. Does 28 divide c(z)?
True
Let f = -375 + 1662. Suppose -5*g = 2*t - 1412, 117 + f = 2*t + 3*g. Is 24 a factor of t?
True
Suppose -3*a + 20 = 2*o + 2, -a = -2*o - 6. Suppose 39*u + a = 38*u. Is 17 a factor of (136/u)/((-16)/24)?
True
Let y = -8 + -15. Let a = y - -37. Suppose 4*o = -5*b + a, 0*o = 5*b - 2*o - 38. Is b even?
True
Let q = 190 - 340. Let r = -128 - q. Is r a multiple of 15?
False
Let i(d) = -2*d + 21. Let s = -89 - -97. Let x be i(s). Let g = x + 12. Does 10 divide g?
False
Let b = -128 + 182. Is 15 a factor of (b/4)/((-31)/(-930))?
True
Suppose -224*b - 50160 = -257*b. Is 31 a factor of b?
False
Suppose -11*p - 19 + 52 = 0. Suppose -p*h + h + 1776 = 0. Is 74 a factor of h?
True
Suppose 5*h - 242*o + 239*o = 140955, -56382 = -2*h + 3*o. Is h a multiple of 31?
False
Suppose 0 = 2*n - 5*f + 72, 4*n - 7*n = -f + 108. Is 41 a factor of 26130/24 + n/48?
False
Suppose 3*v - 3*x = 0, 4*v + 11 - 36 = -x. Suppose -h = 5*w - 41, -h - 6*w + v*w = -29. Is 13 a factor of h?
True
Let h(s) be the first derivative of -111*s**2/2 - 135*s + 243. Is h(-5) a multiple of 6?
True
Let s(d) = 15*d**2 - 6*d + 47. Let c be s(-11). Suppose c = 7*v - 2076. Is 13 a factor of v?
True
Suppose 111*n - 108*n - 27 = 0. Let h(g) = -7*g + 240. Is 3 a factor of h(n)?
True
Let s be (-6)/16 + 4 + 990/80. Suppose 0 = -s*y - 11*y + 1431. Does 4 divide y?
False
Let f = -939 - -1447. Is f a multiple of 11?
False
Suppose 0 = -3*i - 4 + 52. Let x = i - 41. Let k = 23 - x. Does 8 divide k?
True
Let s(j) = -j**2 + j - 4. Let q be s(3). Let d(g) = g**2 + 11*g + 25. Let r be d(q). Is 4/(-10) - (-1086)/r a multiple of 12?
True
Suppose 0 = 2*z - 3*r - 4560, -5*z + 2*r = 6*r - 11400. Is z a multiple of 12?
True
Let d(v) be the second derivative of 89*v**4/12 + 25*v**3/6 + v**2/2 + 10*v + 3. Is d(3) a multiple of 23?
False
Suppose 0 = -6*m + 27843 + 67431. Does 52 divide m?
False
Is 20110/6*102/85 + 5 a multiple of 5?
False
Let d(z) = 49*z**2 - 11*z - 103. Does 89 divide d(24)?
True
Let v = -112 + 114. Suppose 4*a = v*i - 906, 3*i - a = -0*i + 1379. Is i a multiple of 70?
False
Suppose 228*o = 216*o + 10080. Is 42 a factor of o?
True
Let b be ((-32)/40)/(2/(-5)). Suppose -2*y = b*y - 16. Suppose -5*t = -y*t - 21. Does 7 divide t?
True
Suppose -3*c = -4*a - 31, 0 = 4*c - 2*c + 5*a + 10. Let f(n) = 63*n + 27. Let h(t) = -32*t - 14. Let q(j) = c*h(j) + 3*f(j). Does 15 divide q(4)?
False
Let j = 16101 - 1350. Does 32 divide j?
False
Let i(a) = a**2 - a - 4. Let y be i(5). Suppose y*o + 2277 = 12373. Does 15 divide o?
False
Let r(i) = 6*i**2 - 10*i + 12. Let l be r(1). Let y(c) = c**2 + 12*c + 56. Does 9 divide y(l)?
True
Let p(v) = 163*v + 131. Let a be -5 + 3/(21/70). Does 43 divide p(a)?
True
Let v be (147/(-21))/(1/(-13)). Suppose -4*k - 287 - 37 = -4*n, 3*k = n - 237. Let h = k + v. Does 2 divide h?
False
Let f = 4618 - 2658. Does 98 divide f?
True
Let j(a) = -3401*a + 6340. Is 17 a factor of j(-12)?
False
Suppose -58*g + 1982799 + 2790021 = 87*g. Is g a multiple of 156?
True
Suppose -2*p + 44808 = -g, -51*p = -46*p - 3*g - 112023. Is p a multiple of 131?
True
Let f(q) = q. Let j(t) = 3*t**2 + 14*t + 33. Let z(r) = -3*f(r) + j(r). Is 28 a factor of z(-4)?
False
Is 7 a factor of ((1 - (-6)/(-8)) + (-625890)/(-120))/1?
False
Let p(s) = -s**3 - 4*s**2 + 3*s + 4. Suppose -1 - 19 = -4*d. Suppose d*g = 2*t + 9, -4*t - g - 4*g = 33. Is p(t) a multiple of 10?
True
Let o be ((-14)/70 + (-8)/10)*-8. Suppose -o*c + 207 = c. Is c a multiple of 7?
False
Let f(n) = 19*n + 25. Let l be f(-11). Let t be 1 - (-7 + 4 - l). Is 9 a factor of 40/t + (-1696)/(-18)?
False
Let s = 8513 + -5409. Is s a multiple of 4?
True
Suppose -4*w - j = 3, 0 = -3*w + 4*j - 3*j - 11. Let m(l) = 37*l**3 + 3*l**2 - 4. Let n be m(w). Let x = -153 - n. Does 15 divide x?
True
Suppose -21 - 19 = -8*t. Suppose t*v + 3*l - 577 = -183, 5*l = v - 90. Is 20 a factor of v?
True
Suppose -5*z = 15, -z + 825 = 2*w + 2*z. Let c be (-8)/(-28) - (5139/(-21) + -1). Let o = w - c. Does 11 divide o?
False
Let y(w) = -2*w**3 + 17*w**2 + w - 123. Is 9 a factor of y(-12)?
True
Let m = -198 + 202. Suppose -2*t = -m*l + 568, -3*t + 372 = 4*l - 196. Is l a multiple of 7?
False
Suppose -a - 5*w = a - 102, a - 5*w - 36 = 0. Let g = a - 43. Suppose -36 = g*q - 7*q. Is 4 a factor of q?
False
Let q(m) = 34*m**2 + 16*m - 15. Is q(4) a multiple of 3?
False
Let k = 32 + -30. Suppose -5*n = -4*w + 157 + 68, -k*w = -n - 117. Is 10 a factor of w?
True
Suppose -4*m = -a - 26970, -25*m - 13488 = -27*m + 2*a. Is 8 a factor of m?
False
Let k(h) be the second derivative of 13*h**3/3 + 133*h**2/2 + 2*h + 27. Is k(6) a multiple of 17?
True
Suppose 5*l - 7 - 8 = 0. Let t(r) = 25*r - 2. Let b be t(l). Suppose p = -0*p + b. Does 9 divide p?
False
Suppose 5*y - 2*t - 75830 = 0, -2*y - 7*t = -5*t - 30318. Does 34 divide y?
True
Let j(l) = -2*l**2 - 5*l - 1. Let o be j(-6). Let x = o + 120. Does 2 divide x?
False
Let u(y) = y**3 + 11*y**2 - 16*y + 28. Let o be u(-12). Let f = o - 72. Suppose -5*p = 5*i - 160, 3*p - f*p + i = -36. Does 10 divide p?
False
Suppose -4*x + 1842 = 4*c - 6*c, -1380 = -3*x + c. Let w = 820 - x. Is 38 a factor of w?
False
Suppose -3*n - 22 = 3*j - 79, 66 = 2*j - 5*n. Suppose -j*o + 10*o = -1001. Is 37 a factor of o?
False
Suppose 3*z + 33 = -i + 139, -i + 2*z = -81. Suppose 0 = -4*a - 0*a + 3*q + 364, -3*a + 294 = 3*q. Suppose a*p = i*p + 261. Does 29 divide p?
True
Suppose 52*f - 53*f = -330. Suppose 0 = 2*t - 4*h - f, -2*t + 4*t = h + 330. Suppose -603 = -4*v + t. Is 32 a factor of v?
True
Suppose -553*a = 5*u - 555*a - 36377, -a - 36376 = -5*u. Does 75 divide u?
True
Let k(t) = t**3 + 15*t**2 + 11*t - 26. Let z be k(-13). Suppose 55 = -2*p + z. Is 6 a factor of p?
False
Let g be (-86)/(-14) + (1 - 8/7). Let q be (-1)/(-1)*(-3)/g*4. Is (q - 1*-6) + (3 - -263) a multiple of 18?
True
Let y(j) = -2*j**3 - 27*j**2 + 7*j - 1. Let w be y(-14). Let f = 192 - w. Is 19 a factor of f?
True
Let d be (-27)/(-6)*182/39. Let u = d - -83. Does 8 divide u?
True
Suppose 0 = -4*w + u - 5823, -3*u + u - 4381 = 3*w. Is -7 + 2 - (-5 + 0) - w a multiple of 79?
False
Suppose -18*a - 10*a + 33*a - 335 = 0. Does 2 divide a?
False
Let c be 16/(-2)*416/(-64). Is 11 a factor of 20/(-7)*154*(-13)/c?
True
Suppose 9*v - 1 - 8 = 0. Let s be (-2)/v*9/(-2). Suppose s*m = 3*m + 864. Does 10 divide m?
False
Let n = 1910 - 988. Let b = -508 + n. Is 46 a factor of b?
True
Suppose -80*d = -74*d - 22614. Does 3 divide d?
False
Suppose -2*f = 3*b + 25, -2*b = -0*b + 5*f + 24. Let r be (10/(-4))/((-65)/10 - b). Is 35 a factor of (-196)/r + -3 + (-56)/(-20)?
False
Suppose 754*n = 793*n - 8190. Does 7 divide n?
True
Suppose -q + 2388 = 5*f - 77, -4*f + 1966 = 2*q. Does 19 divide f?
True
Let v(g) be the second derivative of -13*g**3/6 - 208*g**2 + 28*g + 3. Is v(-49) a multiple of 6?
False
Let f(y) = y**3 + 53*y**2 + 43*y + 295. Is f(-25) a multiple of 8?
True
Let w = 772 - 70. Suppose w = 11*p - 464. Is p a multiple of 3?
False
Let c = -282 + 270. Does 21 divide (2/c + 126/(-28))*-54?
True
Let h(a) = 2*a. Let b(o) = 84*o. Let k(j) = -2*b(j) + 88*h(j). Let y be k(6). Let m = y - -51. Is m a multiple of 25?
False
Suppose -5*z = 27828 - 38033. Does 13 divide z?
True
Let k(z) = -2*z**3 + 4*z**2 + 1. Suppose -2*o - 3*w = -21, 2*o + 2*o + 3*w = 27. Let c be k(o). Let p = c - -40. Does 21 divide p?
False
Suppose 41949 = 5*d + 8209. Is 7 a factor of d?
True
Suppose -2*n - 1086 = 3*k - 3613, -3*n - k + 3808 = 0. Suppose 0 = -21*u + n + 1942. Does 9 divide u?
True
Let z(y) = -31*y + 32. Let r = -555 - -545. Is 42 a factor of z(r)?
False
Let k be ((-8)/(-80)*15)/(1/1970). Suppose 2*l + 180 - 3160 = 4*g, k = 2*l + g. Is l a multiple of 74?
True
Let n(u) = 610*u - 1560. Let a(z) = -51*z + 130. Let m(l) = -35*a(l) - 3*n(l). Is m(-7) a multiple of 10?
False
Let l be 2 - (76/(-10) - (-8)/(-20)). Suppose -4*i - l = 5*w, 2*i - 4*w = i + 8. Suppose i = -c - 2*c - 5*q + 89, 142 = 4*c + 2*q. Is 13 a factor of c?
False
Let n = -100 - -300. Let l = 350 - n. Is 6 a factor of l?
True
Suppose 