c, 0*y + 3130 = 4*y + 3*c. Is 7 a factor of y?
True
Let p = -23 - -19. Does 32 divide -31*(0 + p) + 4?
True
Suppose -i + 5*m + 66 = 0, 0 = -4*i + m + m + 336. Is 43 a factor of i?
True
Let g be (4/(-5))/((-18)/45). Suppose 4*o = g*k - 290, -k = 4*o - 0*o + 281. Let d = o + 127. Is d a multiple of 28?
True
Let c(n) be the second derivative of n**4/12 - n**2/2 + 10*n. Does 6 divide c(-3)?
False
Suppose 2*q - 597 = 483. Is q a multiple of 54?
True
Suppose -x + 11*k = 14*k - 39, -x + 36 = 4*k. Is x a multiple of 8?
True
Suppose 2*v + 5*g + 6 = -0, -2*v - 2*g = 0. Suppose a - 22 = c, 2*c - 2*a + 34 = v*a. Let d = 39 + c. Is 12 a factor of d?
True
Let g(o) = 3*o - 11. Let v be g(5). Suppose -4*i - 4*d + v = 0, 0*i = -i + 3*d + 9. Suppose 3*a + 22 = f, i*f + a - 96 = 4*a. Is 30 a factor of f?
False
Suppose -2*l + 8 = 2*y - 2, -3*l = 5*y - 13. Suppose -10 = -v + l*v. Is (224/(-21))/(v/3) a multiple of 4?
True
Let z(r) = -r**3 + r**2 - 41. Let q be z(0). Suppose g + 4 = -21. Let o = g - q. Is 14 a factor of o?
False
Let x = 1127 - -293. Does 71 divide x?
True
Suppose -3*y - 9 = 2*k - 5*k, y = -5*k + 21. Does 4 divide 54 - y - (-7 - -8)?
True
Let y be ((-304)/24)/(2/3). Let r = 32 + y. Suppose 3*m - 20 = r. Is 3 a factor of m?
False
Suppose 4*s + 0 = 8. Suppose -5*f - s*b = -8 - 13, -5*b - 35 = -5*f. Is 5 a factor of f?
True
Let o be (2 + 6/(-3))/2. Let w be (-1 + 2/4)*o. Suppose 4*d = 3*p + 74, -5*d = -w*p + 3*p - 79. Does 17 divide d?
True
Let c(q) = q + 8. Let y be c(10). Suppose -y*b = -20*b + 86. Does 3 divide b?
False
Let d(f) = -28*f. Let o = -5 + -1. Let t(c) = -14*c. Let a(y) = o*d(y) + 10*t(y). Is a(1) a multiple of 14?
True
Let q = 4 - 9. Let t(o) = -o - 5. Let k be t(q). Let x = k - -11. Is x a multiple of 11?
True
Suppose -4*c = -3*y - 726 - 268, 0 = -4*c + 2*y + 996. Suppose -16*w = -11*w - c. Is 3 a factor of w?
False
Is (-1)/10*-2 + (-2670)/(-150) even?
True
Is 8/(-52) - (-45260)/130 a multiple of 29?
True
Suppose g - 2*b - 151 + 14 = 0, 400 = 3*g + 5*b. Is 15 a factor of g?
True
Let d = 588 + 402. Is d a multiple of 15?
True
Let a(k) = k**2 - 10*k + 2. Let h be a(10). Suppose 3*z + 2*b - 303 = -0*b, -b - 202 = -h*z. Does 38 divide z?
False
Suppose -6*b + 57 = -3. Is (105/b)/(1/6) a multiple of 21?
True
Let z(j) = j**3 + 8*j**2 - j - 5. Let m be z(-8). Suppose 0 = -3*g - d + 11, -g = 5*d + m + 12. Suppose -g*q + 58 + 47 = 0. Does 5 divide q?
False
Suppose -14*z - z = 75. Let w(h) = -h**3 + h**2 + 24*h. Does 6 divide w(z)?
True
Suppose -4*d + n = -1932, -3*n - 1924 = d - 5*d. Is 5 a factor of d?
False
Does 23 divide ((-10)/(-20))/(1/54)?
False
Suppose 3*i + 5*x = -20, 2*x + 1 + 7 = 4*i. Suppose 6 = -i*h + 3*h. Suppose -4*t = -4*g + 148, 0 = g - 3*t - 37 - h. Is 13 a factor of g?
False
Let d = -423 + 1221. Is d a multiple of 6?
True
Let q = -50 + 188. Let f = q + -36. Is f a multiple of 24?
False
Is 76/456 + (-4763)/(-6) a multiple of 11?
False
Let t(n) = 7*n**2 + 7*n + 59. Is t(-6) a multiple of 35?
False
Let t(w) = w**3 + 9*w**2 - 16*w + 25. Let z(n) = n**3 + 9*n**2 - 17*n + 24. Let s(d) = -4*t(d) + 5*z(d). Is 9 a factor of s(-11)?
True
Suppose -12*j = -20*j + 15936. Is j a multiple of 24?
True
Suppose -2*p - 4*q + q + 98 = 0, q = 0. Let u = p + -27. Let d = u + -14. Is 4 a factor of d?
True
Let h(p) = -p**3 - 4*p**2 - p + 3. Let u be h(-2). Suppose 2*b + 4*d - 2 = 0, 4*d = -5*b + b. Is 5 a factor of ((-3)/u - b)*5?
True
Let h(z) = 7*z + 24. Does 34 divide h(16)?
True
Let v be (-2 + (-20)/(-16))*-4. Let n(p) = -p + 12. Let y be n(7). Suppose -y*i = -v*i - 198. Is 33 a factor of i?
True
Let u(j) = -j**3 - 4*j**2 - 4*j + 1. Let z be u(-3). Suppose -204 = -4*r - 4*d, -127 = -z*r - d + 68. Is 16 a factor of r?
True
Let d = 308 + 202. Is 17 a factor of d?
True
Let n = -2587 - -3652. Does 31 divide n?
False
Suppose 4*v = -3*j + 15, 3*v - 2*j = -4 + 11. Suppose 2*h - 4*a = -10, 3*h = -4*a + v - 8. Let m(q) = q**3 + 2*q**2 - 3*q + 4. Is m(h) even?
True
Let v be 3 + 0 - (0 - 1497/3). Is v/12 + 2 + 55/(-30) a multiple of 14?
True
Suppose -1 + 5 = l + h, 2*h + 2 = 0. Suppose 23 = 2*d - l. Let y = d - 10. Does 4 divide y?
True
Let o(n) = -10*n + 10. Let x be o(-8). Let w = x - 50. Does 10 divide w?
True
Let d be -3 + 1 - 1 - 6/3. Is 54 - ((-2)/(-5))/(1/d) a multiple of 8?
True
Let y = 26 - 20. Let c(p) = 13 - y*p + 3*p + 2 + 2*p**2 - 7. Does 26 divide c(-4)?
True
Does 43 divide 253 + (9*1 - 76/19)?
True
Let a(k) = -k**2 - 6*k + 2. Let y be a(-6). Suppose 35 = -y*r + 7*r. Is r even?
False
Suppose -1753 = 16*d - 21*d + b, -d = -2*b - 356. Is d a multiple of 7?
True
Let k = -509 - -1073. Does 47 divide k?
True
Let h = -68 + 71. Suppose -83 = -h*w + 193. Is 17 a factor of w?
False
Let v(r) = 9*r**3 - 3*r**2 + 3*r + 3. Let k be v(3). Suppose z + 3*z = k. Let x = z + -41. Is x a multiple of 8?
True
Is 11 a factor of 4136/48 - 5/30?
False
Suppose 5*c - c + 28 = 0. Let v be 23 + c/(7/(-3)). Suppose -v = -2*u + 4. Is u a multiple of 15?
True
Suppose -z + 8 = 4*m, 0 = m - 2*z + 6 + 1. Is (236 - 0/(-1))/m a multiple of 59?
True
Let j(f) = -f**3 - 4*f + 16. Is j(-4) a multiple of 32?
True
Let l(t) = -t**2 + 9*t - 12. Let b be l(5). Suppose -4*a = j + 7, b = 5*j + 23. Is (-9)/(a - 2/4) a multiple of 2?
True
Suppose -4*n + 2*n + 230 = 0. Suppose -4*c = -n - 25. Suppose -6 = 2*j, -127 = -3*a - 3*j + c. Is 16 a factor of a?
False
Let c(x) = 0*x + 6*x + 24*x + x - 10. Does 18 divide c(3)?
False
Suppose 12*h - 4021 = 8651. Is 33 a factor of h?
True
Let g be -2 - -3 - (-705 - (3 - 2)). Suppose -2*c + 454 = w, -c + 5*w = 2*c - g. Is 24 a factor of c?
False
Let p(a) be the third derivative of a**5/60 + 7*a**4/24 - 4*a**3 - 20*a**2. Does 2 divide p(-10)?
True
Let u(s) = s**3 - 10*s**2 - 4. Let n be u(10). Let x(q) = -q - 10. Let i be x(n). Let t(p) = -p**3 - 4*p**2 + 7*p - 1. Is 13 a factor of t(i)?
False
Suppose -2*h + 5*m = -2100, -4*h = 5*m - 2249 - 1921. Suppose -h + 37 = -7*p. Is 48 a factor of p?
True
Let a = 41 + -39. Suppose 599 = 5*t + 4*x, -a*t + 3*t = -3*x + 111. Does 14 divide t?
False
Suppose -7*r + 739 + 255 = 0. Is 39 a factor of r?
False
Suppose 0 = -1553*m + 1559*m - 3294. Does 8 divide m?
False
Let u(v) = 1619*v + 99. Is 79 a factor of u(1)?
False
Let p be 1/(-2) + (-25)/(-10). Suppose 5*n = -10, p*n - 5*n - 236 = -5*t. Does 23 divide t?
True
Let n(l) = -13*l + 1. Suppose b + 4*b - 15 = 0. Suppose -15 = -x - 2*s - 2*s, -12 = -b*s. Does 14 divide n(x)?
True
Suppose 2*j = -u + 7, -24 = -5*j - u - 2. Suppose -2*n - 1 = -j. Suppose -4*b + 98 = -3*b + q, -n*b - 5*q + 193 = 0. Does 33 divide b?
True
Let b be 384/18 - 1/3. Suppose n + 9 = s - n, s + n - b = 0. Suppose 0 = 2*z + s - 77. Does 17 divide z?
False
Let b = -69 + 149. Suppose 4*p - 1 - 6 = l, b = 5*l + 3*p. Let r = -2 + l. Does 11 divide r?
True
Suppose 0 = -12*m + 18183 - 4071. Is m a multiple of 17?
False
Let z be 1/2*(6 + 66). Suppose 9*g - 10 = 4*g. Suppose -z = -6*r + r - 4*x, -g*r = -2*x. Does 4 divide r?
True
Let y(r) be the third derivative of 7*r**5/5 - r**3/6 + 6*r**2. Let m be y(1). Suppose -5*t + 22 + m = 0. Does 7 divide t?
True
Let b be 3141/24 - 1/(-8). Suppose -129 = -2*z + b. Suppose -5*h + 70 = -z. Is h a multiple of 11?
False
Suppose -w - 130 = -34. Is w/(-1)*(-15)/(-20) a multiple of 22?
False
Let i(a) = 2*a**2 + 4*a - 8. Let l be i(-4). Does 6 divide 39 - l/(8/(-3))?
True
Suppose -194*x = -252*x + 22736. Is 28 a factor of x?
True
Is 13 a factor of 2*(-521)/(-2)*(-410)/(-205)?
False
Let c = 338 - -101. Does 13 divide c?
False
Is 26 + (-5 + (-39)/(-9))*3 a multiple of 6?
True
Let o(g) = 57*g + 375. Is 62 a factor of o(13)?
True
Suppose 813 = s - 2943. Does 9 divide s?
False
Let a(r) be the second derivative of 7*r**6/120 + 11*r**4/12 - r. Let k(y) be the third derivative of a(y). Is k(1) a multiple of 16?
False
Is 0 + 1205*(-2)/(-10) even?
False
Let b = -49 - -49. Suppose 3*k = 6, -3*a + 151 = -b*k - k. Is a a multiple of 14?
False
Suppose 4*y + v - 1 = 7, -12 = 3*v. Suppose -3*w - 16 = -5*w. Suppose w*d = y*d + 110. Is d a multiple of 6?
False
Let o(u) = -u**3 + 28*u**2 + 22*u - 14. Is o(20) a multiple of 12?
False
Let a be 33 + (-15)/(5/(-1))*1. Does 13 divide (-6 - 125/(-10))/(2/a)?
True
Let k(b) = -b**3 + 4*b**2 + 2*b - 3. Let h be k(4). Let w(m) = -8 + 5*m + 6*m - 4*m. Is