e h(5). Suppose 5*c + p*m = -27 - 6, 14 = -4*c + 3*m. Does 9 divide y(c)?
True
Suppose 4*a - 2*t + 951 = t, 453 = -2*a - 3*t. Let f = a - -377. Does 29 divide f?
False
Let p(t) = 10*t. Let m be p(4). Suppose c - 189 - 593 = -5*y, 4*c + 772 = 5*y. Suppose 0 = k + 3*u - m, 0 = 5*k - u - 12 - y. Is k a multiple of 12?
False
Is 45 a factor of (-9016)/(-40) - 6/(-45)*-3?
True
Suppose -2*g - 3*y = -23, 28 + 8 = 4*g + 4*y. Suppose 0 = -g*f + 7*f - 63. Is 5 a factor of f?
False
Let x(m) = 27*m**2 - 15*m - 2. Suppose 0*l - l + 3 = 0. Is x(l) a multiple of 14?
True
Let d be 13 + ((-3)/(-2))/(9/24). Suppose -53 = -w + d. Is 14 a factor of w?
True
Let l = 30 + -26. Suppose a + 30 = -l*a. Let y = 12 + a. Is 2 a factor of y?
True
Suppose -t + 18 = 4*f - 3*t, -4*f = -t - 15. Suppose 0 = f*z - 15, 4*m + 2*z - 786 = 4*z. Is m a multiple of 17?
False
Suppose -7 = -f + w, 3*f - 5*w = 8*f - 5. Suppose -f*b + 2*b + 6 = 0. Suppose -b*z + 4 = -131. Does 9 divide z?
True
Suppose -j - 3*b - 16 = 0, -2*j - 22 = 6*b - 2*b. Let f be -2 - 104 - 2 - 0. Is f/45*10/j a multiple of 12?
True
Let h(a) = -230*a - 64. Let n be h(-21). Suppose 12*c - n = -1502. Does 34 divide c?
True
Let r(o) be the second derivative of -o**5/10 + 5*o**4/3 + o**3/2 - 3*o**2 + 20*o. Is 6 a factor of r(10)?
True
Suppose 0*w - 4*w + 8 = 0, -3*r = -3*w - 42. Let o = r + -11. Let s(y) = 10*y - 8. Is 7 a factor of s(o)?
True
Suppose -12 = -2*v + 4*q, 3*v + 4*q + 1 = 9. Suppose -v*b = 4*z + 12, 0*b = b. Let d(a) = 6*a**2 + 3*a - 1. Is d(z) a multiple of 14?
False
Let a be (-12)/18 - (-19)/(-3). Let s(b) = -b**2 - 6*b + 9. Let n be s(a). Suppose 0 = n*w + 36 - 172. Does 27 divide w?
False
Let t be (-6)/51 + (-3640)/(-17). Suppose 0 = -j + 2*b + 100 + 23, 2*j + 4*b = t. Let y = j - 65. Is 10 a factor of y?
True
Let z(k) = -k**3 + 10*k**2 + k - 6. Let y be z(10). Suppose 5*x + y*i - 320 = 0, 0*x + 3*x - 5*i - 155 = 0. Is x a multiple of 12?
True
Let i(w) = -51*w + 9. Let k be i(6). Is k/(-6) + (-2)/4 a multiple of 24?
False
Suppose z = -2*z + 3*f + 15, -3*f = z + 11. Let t(b) = -z - 2 + 4 + 3 - 3*b. Is t(-11) a multiple of 28?
False
Suppose -15*i = -45*i + 3210. Is i a multiple of 3?
False
Let y(t) = 11*t. Let i(n) = -n**2 - n + 2. Let l be i(0). Let j be y(l). Suppose -r + j = r. Is r a multiple of 6?
False
Let r(l) = 36*l + 14*l - 15*l - 6. Let n(a) = 18*a - 3. Let f(d) = -11*n(d) + 6*r(d). Is 15 a factor of f(4)?
True
Let b = 24 + 21. Does 15 divide b?
True
Let v = 482 - 287. Is 12 a factor of v?
False
Suppose -675 = -55*a + 27045. Is 42 a factor of a?
True
Suppose -21*c - 5*g = -16*c - 3645, -2*c - 5*g = -1458. Is 9 a factor of c?
True
Let a(l) = -8 - 5 + 0*l - 2*l + 3*l**2 + 4. Let b(v) = -4*v**2 + 2*v + 9. Let s(i) = 3*a(i) + 2*b(i). Does 18 divide s(-7)?
True
Let m(t) = 9*t - 6. Let d be m(6). Let z = -40 + d. Is 4 a factor of z?
True
Suppose -24*s = -22*s + 90. Is 22 a factor of (s/(-21) - -3)*7?
False
Suppose -1 = -4*j + 3. Let a(h) = 19*h + 4. Is 16 a factor of a(j)?
False
Suppose 3*k = -3*h + 12, -3*h - k + 3*k = -2. Let z be (2/(-10))/(h/(-20)). Suppose -z*w - 3*x = -77, 0*w - 2*w - 4*x = -74. Does 23 divide w?
False
Let s(x) = x**3 + 11*x**2 - 2*x - 13. Let a(j) = 4*j - 3. Let t be a(-2). Let w be s(t). Let q(r) = 3*r - 4. Is q(w) a multiple of 13?
False
Let i(g) = 3*g**2 + 2*g - 4. Let l be i(2). Let w = 15 - l. Suppose -k = -w*z + 14 - 3, -4*z + 5*k + 22 = 0. Is z even?
False
Suppose -72*s = -65*s - 700. Suppose -12*k + 14*k = s. Is 10 a factor of k?
True
Let n(x) = -x + 42. Let c be n(-17). Suppose c = u + 53. Does 3 divide u?
True
Suppose 4*p - 4*x + 633 = 1961, 1328 = 4*p + 5*x. Suppose -3*g = -12, 3*y + y + 3*g = p. Is y a multiple of 8?
True
Let n(b) = b**3 - 5*b**2 - 8*b + 12. Let o be n(6). Suppose 9*d + 37 = 2*c + 6*d, 3*c + 3*d - 33 = o. Is c a multiple of 3?
False
Let m be 55/3 + 10/(-30). Suppose -5*j - 3*d + 103 = 0, -2*j - 2*d = -m - 20. Is j a multiple of 7?
False
Let u(k) = k**2 + 6*k - 5. Let p be u(-9). Let w = -36 + 68. Suppose b + 4*g - p = -2*b, -2*g = 5*b - w. Is 3 a factor of b?
True
Does 12 divide (-4972)/(-14) - -5 - (-4)/(-28)?
True
Let c(h) be the second derivative of -7*h**3/2 - 11*h. Does 14 divide c(-4)?
True
Let p(o) be the third derivative of o**4/24 - 2*o**3/3 - 4*o**2. Let g be p(9). Suppose -3*n - g*w = -6*w - 11, 13 = 3*n - 2*w. Is n a multiple of 2?
False
Suppose -189 = -2*o + 661. Is o a multiple of 14?
False
Suppose 0 = -4*n + 5*j + 4435, n + 16*j = 20*j + 1117. Does 13 divide n?
True
Suppose 48*k + 10 = 50*k. Suppose 3*g + 256 = 2*p + g, 2*g + 652 = k*p. Is p a multiple of 11?
True
Let w be 16/(-3)*114/(-304). Let l(z) = 405*z. Let r be l(1). Suppose 5*d + 5*p - r = 0, d + w*p = 6*p + 96. Is 23 a factor of d?
False
Let u = 937 + -837. Does 2 divide u?
True
Suppose -g - 2*m = -3*m + 16, g + 5*m = 8. Let l be (-292)/g + (-4)/(-6). Is (180/l)/(1/5) a multiple of 16?
False
Suppose 0 = -321*t + 324*t - 6426. Is t a multiple of 21?
True
Suppose -5*n + 4*n = -4*z + 1624, -3*z = -2*n - 1223. Does 27 divide z?
True
Let c(z) = -z + 29. Let j be c(7). Does 12 divide 964/j + 12/66?
False
Does 6 divide (-2)/1*(211/(-2) + -6)?
False
Suppose 0*u - 4*u = 5*c + 33, 5*u - c + 5 = 0. Let w = u - -7. Does 10 divide (-5)/(w/(-31))*1?
False
Let i be (28 - 36) + 3*2/3. Does 24 divide i/21 + (-2020)/(-14)?
True
Let z = 339 - -205. Is 68 a factor of z?
True
Let c = 73 + -73. Suppose 28*n - 23*n - 120 = c. Does 4 divide n?
True
Suppose -5*r - 2504 - 6476 = 0. Is 25 a factor of 1/6 - r/24?
True
Suppose -43*p + 45186 = 8*p. Does 28 divide p?
False
Let i = 1280 + -770. Does 51 divide i?
True
Let k be 2/(-8) - 21/(-4). Suppose h = 5*c - 3*h - 10, -k*h = 3*c - 6. Suppose -2*q + 2*x + 24 = -x, 20 = 2*q - c*x. Is q even?
True
Let t = -21 + 26. Suppose -5*l = -t*b - 20, b + 4 = -5*l + l. Suppose l = -h - 2*q - 10 + 71, 0 = -4*h + 4*q + 232. Is 15 a factor of h?
False
Let n be (-6)/9 + 2*(-3)/18. Let w(a) = -10*a**3 + 16 - 15 + 4*a + 2*a**2 - 2*a. Is w(n) a multiple of 7?
False
Let v(o) = -2*o**2 + 58*o + 33. Let n be v(26). Let g = n + -54. Is 45 a factor of g?
True
Let p(x) = -274*x + 126. Does 35 divide p(-2)?
False
Let g(z) = z + 24. Let y be g(-15). Suppose 4*i + 255 = y*i. Does 6 divide i?
False
Suppose -a = -237 + 233. Suppose -486 = a*h - 10*h. Does 38 divide h?
False
Suppose 0 = -5*o - 190 + 215, -3*o = 5*f - 6015. Is f a multiple of 81?
False
Suppose -108 = -17*h + 16*h. Let n be (-12834)/h + 1/(-6). Let v = n - -179. Is 12 a factor of v?
True
Suppose s = -0*s - 26. Let x = s + 50. Is 6 a factor of x?
True
Let i(l) = 8*l - 20. Does 3 divide i(19)?
True
Suppose 0 = -3*a - 4*h + 620, -421 = -2*a + 3*h + 2*h. Does 26 divide a?
True
Suppose 3*i - 4*q - 1024 = 0, -i + 4*i - q = 1021. Does 20 divide i?
True
Let l = 12 + -12. Suppose l = -5*c - 0 + 15. Is (531/c)/3 - 3 a multiple of 13?
False
Is ((-4190)/(-6))/((-8)/(-24)) a multiple of 38?
False
Let i = 17 + -17. Suppose -2*q + i*q + 6 = 0. Suppose -4*r + j + 156 = 4*j, -r - q*j = -30. Is 14 a factor of r?
True
Let g(j) = -1737*j + 33. Is g(-1) a multiple of 8?
False
Is (-55836)/(-90) + (-6)/15 a multiple of 31?
True
Suppose -39*z + 17*z + 31680 = 0. Is 15 a factor of z?
True
Suppose 29*u - 20*u - 9108 = 0. Is 11 a factor of u?
True
Let a(c) = 587*c - 436. Does 12 divide a(8)?
True
Let p(g) = 33*g. Let k be p(1). Let l = -33 + k. Suppose 5*x + 175 = i + 3*i, -5*x + 25 = l. Is 14 a factor of i?
False
Let s = -21 - -40. Suppose s = q - y - 3, -5*q + 4*y = -108. Suppose q = 5*c, 2*c + c - 30 = -2*h. Is h a multiple of 3?
True
Let f = 141 - 92. Suppose 38*n = 46*n + 56. Let v = n + f. Is v a multiple of 17?
False
Suppose -145 = -21*o - 8*o. Suppose 2*d + 5*n - 268 = 0, -3*n = 2*d - 313 + 53. Is d/10 - (-3)/o even?
False
Is (-8 - (-70180)/150) + (-2)/(-15) a multiple of 46?
True
Let o be (6/(-18))/((-2)/84). Suppose 28 = -3*h + h - 3*b, -o = 2*h - 4*b. Let c = 2 - h. Is c a multiple of 13?
True
Let u(w) = 18*w**2 - 21*w - 38. Is 16 a factor of u(10)?
True
Suppose -c + 14 = -6. Let b = 21 - c. Let d = 19 - b. Is 9 a factor of d?
True
Let h = -95 + 307. Suppose h = 3*c - 4*w, 5*c = c - 5*w + 293. Is 12 a factor of c?
True
Let s be (-7 - 0)*6/(-7). Let v(z) = s*z**2 + 10 + 3 - 11 + z**3 + 8*z**2 + 12*z. Is v(-13) a multiple of 15?
True
S