2/2 - 2*m. Let s(z) = -5*z + 2. Let v be s(1). Is a(v) a multiple of 3?
True
Suppose -3*o + 3007 = 14*p - 9*p, 3*o + 587 = p. Is 2 a factor of p?
False
Let d(j) = -7315*j + 89. Is 14 a factor of d(-4)?
False
Suppose 245*d + 160*d - 225758 = 813067. Does 3 divide d?
True
Let j(k) = k. Suppose 79*y - 36 = 73*y. Let a(c) = 6*c - 23. Let l(m) = y*j(m) + a(m). Is l(7) a multiple of 28?
False
Let r be 2/8*(0 - -5 - -7). Suppose r*y + 3*w = 192, -5*w + 4*w = -5*y + 290. Is y a multiple of 28?
False
Let g(v) = 16230*v + 230. Is g(1) a multiple of 20?
True
Suppose -4*w = -32*l + 33*l - 699, 0 = -2*w - 12. Is 8 a factor of l?
False
Suppose 24 = -3*h, 0 = 31*f - 33*f + 5*h + 63454. Does 39 divide f?
True
Suppose 0 = -59*i + 26*i + 2*i + 21080. Does 40 divide i?
True
Suppose -b + 5*k - 2 = -11, 0 = -5*b + 4*k + 24. Suppose -d = -b*v - 26, -3*v - v = -3*d + 86. Suppose -o - 2 - 6 = -p, -4*p + 5*o = -d. Does 5 divide p?
True
Let i(d) = -5*d**2 + 19*d - 6. Let h be i(-4). Does 3 divide (0 + 98)*(-9)/(h/45)?
False
Suppose 5*k + 9846 = 4*w, -89*k = -2*w - 92*k + 4934. Does 88 divide w?
True
Suppose 0 = 11*n - 15*n + 8. Does 68 divide (12/(-18))/(n/(-1959)) + 3?
False
Let l(s) = s**3 + 29 - 1 + 27*s**2 - 44*s + 11*s. Suppose 5*o + c = -2*c - 149, 4*c = -3*o - 96. Does 42 divide l(o)?
True
Let j be 0/(-2) + -2 - (-18 - 10). Suppose -b + 356 = 3*t + j, t + 5*b = 124. Suppose 8*h + t = 477. Is 19 a factor of h?
False
Suppose 3*u - 145*z - 46882 = -144*z, -2*z + 10 = 0. Does 18 divide u?
False
Let s = -163 - -367. Suppose 0 = 5*i + 9 - s. Let t = i + -10. Does 5 divide t?
False
Suppose -28005 = -11*o + 15742. Is o a multiple of 97?
True
Suppose a + 77 = 3*n - n, -3*a - 120 = -3*n. Suppose n + 73 = 10*t. Suppose 2230 = -v + t*v. Does 23 divide v?
False
Suppose -p + 19 = t - 3, 3*t - 54 = 3*p. Let a(s) = s**3 + 7*s**2 - 8*s - 1. Let m be a(-7). Let o = t + m. Is 15 a factor of o?
True
Let a = -52 + 57. Suppose -4*v = -4, 5*v - 4 = 3*z - a. Let k = 13 + z. Is k a multiple of 2?
False
Let p be ((-15)/45)/((-2)/(-12)*-1). Let c be ((-3)/p*4)/((-6)/8). Suppose -480 = -5*h + 2*s, -3*h = -c*h + s + 485. Is h a multiple of 41?
False
Let g(d) = d**3 - 41*d**2 - 2*d + 91. Let f be g(41). Suppose 0 = f*a + 3*a - 1968. Does 4 divide a?
True
Is 13 a factor of (-2637)/(-6) + (-44)/(-88)?
False
Let g(z) = 2*z + 64. Let b be g(-29). Suppose -2*f = 5*r - 2*r - 13, 0 = 2*f - 4*r + 22. Is 3 + (f/b - (-532)/24) a multiple of 3?
False
Let j(t) = -4*t**2 - 2*t + 2. Let x be j(0). Let h(d) = 156*d**2 - 10*d + 20. Is h(x) a multiple of 21?
False
Let g(v) = v**3 - 19*v**2 + 3*v - 7. Let f be g(19). Suppose -9*y + f*y - 5535 = 0. Is 3 a factor of y?
True
Suppose -120 = -i + 5*i. Let o = i - -78. Suppose 104 = o*g - 47*g. Does 13 divide g?
True
Let z(r) = -r**2 - 4*r + 5. Let d be z(1). Suppose -3*q - 2*c = 2*q - 72, d = 3*q - 2*c - 56. Does 4 divide q?
True
Suppose -9*l = -3*l + 36. Let r(k) = 0 + 7*k**2 - 5 - k**2 - 15*k + k**3. Does 23 divide r(l)?
False
Let l be (-5 + 6)/(2/546)*1. Suppose -11*u = -24*u + l. Is 21 a factor of u?
True
Let r(d) = -d**2 - 2 + 10*d - 9 - 26*d. Let s be r(-18). Let t = 19 - s. Is 11 a factor of t?
True
Let h = -193 - -197. Suppose h*o + 20 = 4*m + 320, -158 = -2*o - 2*m. Is 11 a factor of o?
True
Suppose -3*w = -4*p - 1233 - 319, 5*w + p - 2602 = 0. Is w a multiple of 65?
True
Let j(x) = -17*x - 372. Does 6 divide j(-72)?
True
Suppose 48 = 3*q - 5*y + 16, 20 = 3*q - 2*y. Suppose 0 = -r - q*x + 144, 2*r - 156 = x + 150. Is 19 a factor of r?
True
Suppose -5*i - 6*k + 18 = -4*k, 0 = -3*i + 2*k + 14. Suppose -i*h - 4055 = -3*l, -2045 = 4*l - h - 7456. Does 41 divide l?
True
Suppose 0 = -4*i + 8*i - 4*w, 0 = 3*i - 4*w. Suppose -8*h - h + 864 = i. Is 16 a factor of h?
True
Let n(f) = 3*f**2 + 23*f + 385. Does 103 divide n(42)?
False
Let h = 16 + 20. Suppose z - h = -2*z. Is z a multiple of 3?
True
Let v(i) = i + 5. Let c be v(8). Suppose -20 = m - 6*m, -4*y - m = 76. Let b = c - y. Is b a multiple of 10?
False
Let y(s) = -s**3 + 20*s**2 + 68*s + 26. Let x be y(23). Suppose 0 = 5*g + j - 79, g - 2*j - 19 = -x*j. Is 5 a factor of g?
True
Suppose -1500 = -0*f - 4*f. Let i = f + -167. Is i a multiple of 8?
True
Is 2731/2 - (-2795)/430 a multiple of 102?
False
Suppose 6 = -2*w, -5*w = 6*p - 2*p + 3. Suppose -2*x = 5*o - 293, -5*x + p*o + 429 = -2*x. Does 9 divide x?
True
Let f(z) = -z**2 - 11*z - 11. Suppose -i - 3 = 0, -5*h = -0*i + 3*i + 4. Let p be h/6*-22 - 4/(-6). Does 6 divide f(p)?
False
Suppose 4*i - 12882 = 2*p, 12*i - 18*i = p - 19319. Is i a multiple of 7?
True
Suppose 46*p - 37*p - 15129 = 0. Is p a multiple of 13?
False
Suppose 7*r = 4*r - 192. Let s(a) = -41*a + 177. Let f be s(6). Let m = r - f. Does 2 divide m?
False
Is (2 + -1*1)*((-183690)/(-13))/10 a multiple of 3?
True
Let d(q) = -17*q**3 - 11*q**2 - 11*q + 33. Is d(-6) a multiple of 45?
True
Let a = 1611 - 583. Does 90 divide a?
False
Suppose 5*p - 4*x = -44 + 156, 2*p - 31 = -3*x. Suppose -18174 - 6266 = -p*v. Is 13 a factor of v?
True
Suppose -58*y + 52*y = -12. Does 6 divide ((-7)/5*y)/(1/(-60))?
True
Let n = -11178 + 11885. Does 67 divide n?
False
Suppose 5*g - 405 = -a, 2*g - 2117 = -14*a + 9*a. Is a a multiple of 29?
False
Suppose -40 + 24 = -4*u. Suppose u*i + 6*i - 1840 = 0. Does 30 divide 1 + i/4 - -4?
False
Let z = -153 - -149. Is (3 + z)/(2/(-332)) a multiple of 8?
False
Suppose v - 7*u - 11 = -4*u, 13 = v - 5*u. Let r(l) = 3*l**3 - 5*l**2 + 14*l - 8. Does 56 divide r(v)?
False
Let c = -129 + 133. Let i be (-2 + c)*(-2 - -7). Is (-4)/8*i*(-23)/5 a multiple of 6?
False
Let l(w) = 104*w + 475. Let k be l(-4). Suppose 0 = r - 2*a + 4*a + 10, 3*a = 2*r - 15. Does 13 divide (3 - r)*1 + 11 + k?
False
Suppose -135913 = 11*j - 15*j - 4213. Is j a multiple of 15?
True
Suppose -t - 6 - 2 = 0. Let o = t - -10. Suppose 0 = -o*m + 323 + 7. Is m a multiple of 34?
False
Let k = -116 - -116. Suppose k = -3*t + 289 - 22. Is 6 a factor of t?
False
Suppose -25 = -3*y + 4*w, -3*y + 2*y + 3*w + 15 = 0. Suppose 4*c = 17 + y. Suppose 4*q = 3*j - 38, 5*q - 21 = -c*j + 89. Is j a multiple of 18?
True
Let g(y) = y**3 - 13*y**2 + 12*y. Let r = 94 - 82. Let c be g(r). Does 28 divide 4 - (c + -68)*2?
True
Let t be (4 + 2)*6/(-4). Let h(u) be the third derivative of -11*u**4/24 + 7*u**3/6 - 897*u**2. Is h(t) a multiple of 8?
False
Let j(v) = -62 + 4*v + 8*v**2 + 4*v**3 - 3*v**3 + 63. Let m = -7 - -2. Does 7 divide j(m)?
True
Let d = 22284 - 18379. Is 2 a factor of d?
False
Let l(p) be the third derivative of -p**4/8 + 13*p**3/3 + 30*p**2. Is 11 a factor of l(-30)?
False
Let x(d) = 12*d + 1484. Does 13 divide x(-30)?
False
Let j = 45965 - 30854. Is 23 a factor of j?
True
Let k = -8659 - -12535. Is k a multiple of 17?
True
Let q(k) = 41*k + 22. Let p be (24/18)/((-4)/(-30) + 0). Is q(p) a multiple of 9?
True
Let y = 66390 - 38984. Is y a multiple of 155?
False
Let p = 17665 - 8012. Is 35 a factor of p?
False
Suppose -z + 83 = -474. Let q = z + -110. Does 14 divide q?
False
Let r(t) = 3*t - 7. Let y be r(4). Suppose 2*a - 470 = -l, l - y*l = -a - 1844. Does 21 divide l?
True
Let c = 23822 + -13893. Is c a multiple of 86?
False
Suppose 3*p = -j + 36791, -4*p - 15*j + 49060 = -19*j. Is p a multiple of 14?
True
Let m(u) be the second derivative of 37*u**3/6 + 3*u**2 - 33*u. Let x be m(-11). Let y = 632 + x. Is 24 a factor of y?
False
Suppose 54*f + 3*z = 58*f - 122640, 5*z - 20 = 0. Does 9 divide f?
True
Let w be 2/12*-1 + (-3281)/(-102). Suppose -w*i - 19240 = -45*i. Is i a multiple of 48?
False
Suppose 5*y + 14*s = 15*s + 7031, y + 3*s = 1403. Is 38 a factor of y?
True
Let d(h) = -21*h**3 - 9*h**2 - 4*h. Let o(n) = 22*n**3 + 6*n**2 + 3*n. Let f(l) = 2*d(l) + 3*o(l). Does 7 divide f(1)?
False
Suppose 35*s + 4*m = 32*s + 20388, s - 4*m - 6812 = 0. Does 85 divide s?
True
Suppose 80 - 74 = 3*s. Suppose 4*w - 28 = -s*g, -15 - 51 = -3*g + 2*w. Suppose g + 64 = 7*o. Is 5 a factor of o?
False
Let d = -13686 + 15648. Does 9 divide d?
True
Let h = -175 + 170. Is 9 a factor of (((-17)/h - 2) + -1)*1020?
False
Suppose -23*m = -25*m + 2*y + 410, 2*y - 826 = -4*m. Suppose 0 = m*c - 205*c - 68. Is c a multiple of 2?
True
Let l be (24 - 27) + 162/9. Let k(h) = 2*h**2 + 24*h - 47. Let t(i) = 3*i**2 + 48*i - 93. Let j(s) = -5*k(s) + 3*