 -1) + 6/14. Let x = 2 - z. Does 3 divide x?
True
Is (-68)/20 + 4 + (-31485)/(-25) a multiple of 15?
True
Let w = 1286 - 1195. Is w a multiple of 73?
False
Let z(d) = 5*d - 35. Let m be z(4). Let l(i) = i**2 - 2*i - 11. Does 52 divide l(m)?
False
Suppose 2 = f - 4. Let p(l) = -52*l - 68. Let n(s) = -21*s - 27. Let y(h) = 12*n(h) - 5*p(h). Is 32 a factor of y(f)?
True
Let m = -44 + 463. Does 5 divide m?
False
Let z(f) = f**2 - 13*f - 6. Let o be z(9). Suppose -3*p = -4 + 187. Let b = o - p. Is 8 a factor of b?
False
Does 29 divide 526 + ((-32)/(-8) - 8)?
True
Let g be (9/(-3))/(1/22*-2). Let j = 45 - g. Does 6 divide j?
True
Let y(n) = n**2 - n - 35. Let d be y(0). Let g = -25 - d. Is 10 a factor of g?
True
Is 9/3 - (-134 - -20) a multiple of 25?
False
Let u(a) = 168 - 7*a + 12*a - 49 + 105. Is 28 a factor of u(0)?
True
Let t(l) = -9*l**3 + 2*l**2 + 3*l + 6. Is 10 a factor of t(-2)?
True
Let n = -19 - -21. Is 9 a factor of n + -4 - -1*38?
True
Is (-7)/((-84)/16)*60*1 a multiple of 36?
False
Let w be -4 + 2/6*-3 + -4. Does 16 divide (358 + 2)/(w/(-6))?
True
Let w be 3 - 96*4/(-6). Let z = -41 + w. Is z even?
True
Suppose -3*s = 4*v - 1552, 246 = 5*v + 3*s - 1697. Let q = -235 + v. Does 12 divide q?
True
Let t be (-1)/(-2)*3192/12. Let l = -43 + t. Does 30 divide l?
True
Let j(f) = -f**3 - 3*f**2 - 10*f - 6. Suppose -2*s - 2*s + 2*r - 28 = 0, 0 = -s - 3*r. Does 42 divide j(s)?
False
Suppose 0 = 5*q + 1 + 49. Let l be (-16)/q*(-130)/(-4). Let m = l + -23. Does 6 divide m?
False
Suppose 5*u - 477 = 783. Does 12 divide u?
True
Let j = -3 + 8. Let o be (3 - 4)/(j/10). Does 19 divide -1*(-188)/o*-1?
False
Suppose 0 = -12*n + 8*n + 672. Is n a multiple of 14?
True
Let k = -30 + 27. Does 6 divide 1/k - (-182)/6?
True
Suppose -r = -4*r + 36. Let w(u) = -u**2 + u - 9. Let m be w(r). Let h = m - -245. Is 26 a factor of h?
True
Let h(r) = -2*r - 9. Let u(m) = m**3 + 3*m**2 + 2*m - 1. Suppose 0*s = -3*s - 9. Let t be u(s). Does 5 divide h(t)?
True
Suppose 0 = 5*o + 4*j - 5555 - 5420, -2214 = -o + 3*j. Does 58 divide o?
False
Let l be 6/(-21) - 7/(294/(-180)). Let u(i) = 5*i**3 + 4*i**2 + 7*i - 10. Does 24 divide u(l)?
False
Let f(b) = -2*b + 2*b - b - 15. Let j be f(7). Let k = j - -47. Does 5 divide k?
True
Suppose 2*s + 3*d - 119 + 24 = 0, 3*s + 3*d - 144 = 0. Suppose 0 = -a + 24 + s. Does 27 divide a?
False
Let u be 1/5 + 28/10. Suppose -162 = 12*t - u*t. Is 27 a factor of -54*(t/4 + 3)?
True
Suppose -4*w = -40 - 76. Suppose -8*a + w = -7*a. Suppose a + 11 = 4*j. Is j a multiple of 2?
True
Let s = -422 - -710. Is s a multiple of 48?
True
Let t(j) = 31*j**2 + 3*j - 8. Is t(-2) a multiple of 3?
False
Suppose 3*u = 3*w - 63 - 81, 191 = -4*u + 3*w. Is 2 a factor of (-1 - 5/(-20)) + u/(-4)?
False
Let f(c) = -4*c**3 - 6*c**2 - 23*c - 75. Does 130 divide f(-5)?
True
Let d be 2/(-3) + (-276)/(-9). Let l = -42 + 31. Let n = d + l. Does 16 divide n?
False
Let o(q) = q + 5. Let b be o(-7). Let f(v) = -v + 16. Let z(c) = -c + 17. Let t(d) = b*z(d) + 3*f(d). Is t(10) a multiple of 3?
False
Let j = 44 + -36. Suppose -11*o + 96 = -j*o. Does 32 divide o?
True
Let b(i) = -16*i - 12. Suppose -4*d + p - 27 = 0, -5 = 2*p - 11. Is 12 a factor of b(d)?
True
Let g = 419 - 380. Is 9 a factor of g?
False
Suppose -u + 5*v = -4227, 8*u - 11*u + 2*v = -12616. Does 20 divide u?
False
Suppose -q - 32 = -4*y - 3*q, 3*q = 6. Does 17 divide ((-14)/3)/y - 465/(-9)?
True
Suppose 7*c + 219 - 2151 = 0. Is c a multiple of 12?
True
Let g(z) = z - 4. Let n be g(4). Suppose -3*i - 5*m + 12 + 8 = n, -5*m - 40 = -3*i. Suppose -2*y + i = v - 1, 4*v = -3*y + 24. Is y even?
True
Let q(i) = 9*i - 424. Is q(51) a multiple of 35?
True
Let z be (-2)/(-4) - 47*3/6. Does 32 divide (z/(-2))/((-10)/(-40))?
False
Let u(h) = 70*h + 80. Is 32 a factor of u(8)?
True
Suppose -18 = 7*y - 53. Suppose -y*l - 2*o + 218 - 36 = 0, 4*l - 4*o - 168 = 0. Does 38 divide l?
True
Let t = -1478 + 2990. Is t a multiple of 46?
False
Suppose -41 = -13*i + 206. Let r = 84 + i. Is 21 a factor of r?
False
Let u = -61 + 142. Suppose 10*w = 669 + u. Is w a multiple of 20?
False
Let m(f) = f**2 - 3*f - 32. Let y be m(13). Suppose 3*i + 593 - y = 3*h, 495 = 3*h + 2*i. Is h a multiple of 11?
True
Let a = -1 - -6. Suppose -r + 4*c + 2 = 16, -5*c + 130 = -a*r. Let d = r - -48. Is 18 a factor of d?
True
Let r(q) = -8*q + 4. Let t be r(2). Let g(d) = -d**3 - 13*d**2 - 16*d + 1. Let h be g(t). Suppose f = -2, 0*y - y + h = -5*f. Is 13 a factor of y?
True
Suppose -64*l = -67*l + 3*g + 12573, 12573 = 3*l + 2*g. Is l a multiple of 33?
True
Let c = 187 + -88. Is c a multiple of 11?
True
Let l = 14 - 12. Suppose r = l*d + 51, 2*r - 130 = -2*d - 52. Is r a multiple of 16?
False
Let v be (1 - 5)/4 - -3. Suppose 5*g - 182 = -t, 2*g - v*t - 63 = 5. Is 4 a factor of g?
True
Let c be (157 + 3)/(-2) + 4. Let u = c + 101. Is u a multiple of 10?
False
Is (-39)/1*(8 + 335/(-15)) a multiple of 52?
False
Suppose 0 = -7*c + 4*c - 33. Let b = c + 19. Is b a multiple of 3?
False
Let b = 1519 + -1150. Is b a multiple of 44?
False
Let m be (1/2)/(5/(-60)). Let d = 12 + m. Is d a multiple of 6?
True
Suppose -57*o - 3 = -58*o. Let z be -1*4*(-1 - 3). Suppose 34 = r - 5*l, 4*r + o*l - z = 2*r. Is 5 a factor of r?
False
Let f(s) = -4*s + 17. Does 25 divide f(-36)?
False
Let o be ((-18)/(-7))/((-9)/(-42)). Let w(d) = 34 - 9 + 2*d - 3*d + 2. Is 6 a factor of w(o)?
False
Let m(z) = -z**3 + 6*z**2 + 11*z + 7. Let i be m(-4). Suppose 5*d - 294 = -4*j + i, j - 84 = -d. Is 9 a factor of d?
True
Suppose 2*h + 12 = -2*u + 3*h, -2*u - 4*h + 8 = 0. Let i = 3 - u. Suppose -4*j + 2*x + 152 = 0, 3*j = i*j + 5*x - 166. Is 12 a factor of j?
False
Let a = 455 - 231. Is 8 a factor of a?
True
Let p(y) = 208*y**3 - 2*y**2 + y. Is p(1) a multiple of 9?
True
Suppose g + 16 = 10. Does 32 divide ((-138)/(-8) + 1)*(-72)/g?
False
Suppose 5*f - 10 = -0. Let y(l) = 1 - 13*l + 2*l**f + 1 - 3. Does 11 divide y(9)?
True
Let d(t) = t**3 + 24*t**2 - 7*t + 96. Is d(-24) a multiple of 12?
True
Let f be ((-1)/(-3) + 0)*141. Suppose -f = -3*y - r, 74 = 3*y + 2*r + 25. Is 3 a factor of y?
True
Suppose 9 = 5*j - 3*o, 0 = 5*o - 2*o - 6. Suppose -5*r - 2*i + 89 = -2*r, 3*i - 93 = -j*r. Is r a multiple of 9?
True
Let b(g) be the second derivative of g**4/12 - 2*g**3 + 7*g**2 + 3*g. Does 11 divide b(12)?
False
Suppose 4*d = -1 + 17. Does 10 divide d/(-22) - (-574)/11?
False
Suppose d - 4*y - 292 = 0, -4*d = -5*d - 4*y + 292. Let x = d - 143. Is x a multiple of 21?
False
Let v be 734*(-25)/(-130) + 4/(-26). Suppose -v*b = -145*b + 480. Does 27 divide b?
False
Suppose -31 = -3*q + 4*a - 1, 4*a = 4*q - 40. Does 28 divide (84/q)/(27/90)?
True
Is 4 a factor of (10/15)/(8/540)?
False
Suppose -4*j + 0*j = -2*c - 18, 3*c = 5*j - 23. Suppose h = j - 0. Suppose -h*k + 58 = -150. Does 13 divide k?
True
Let p be (-4)/6*(-6)/(-4). Suppose 5*h + 14 = k, h + 2 = 2*h + k. Is 7 a factor of (p - -1) + (-26)/h?
False
Let g be (266/35)/((-3)/(-15)). Let y = -5 + g. Does 11 divide y?
True
Let z(r) = 3*r**3 - 2*r**2 - 4*r - 6. Let l be z(3). Let x = l - -7. Is x a multiple of 7?
False
Let p be (1 - -19)*(-8)/16. Let j be (-8)/10*175/p. Suppose -18 = -2*o + j. Is o a multiple of 8?
True
Let z(i) = 0*i + 10*i - 8 - 4*i - 9*i. Is 4 a factor of z(-5)?
False
Let n be 2/(8/(-4))*-5. Suppose 5*f = -4*m - 12, n*f = 2*f - 4*m - 4. Is 48 + 2*(-2)/f a multiple of 17?
False
Let l(f) = f**3 - 5*f**2 - 3*f + 12. Let s be l(5). Let g = -4 + 3. Is 6 a factor of s/(-2*g/(-4))?
True
Let o = 435 - 390. Does 9 divide o?
True
Let b = -26 - -15. Let y(o) = 178 - 3*o - 174 - o. Is 15 a factor of y(b)?
False
Let n = 55 - 6. Let r be 2/7 - 112/n. Is 24 - 9/(-6)*r a multiple of 21?
True
Suppose 0 = -f - 0 + 1. Let s(q) = 46*q**3 - 2*q**2 - q + 2. Is s(f) a multiple of 9?
True
Let q(x) = x**2 - 26*x + 14. Let d be q(25). Let w = 41 + d. Is w a multiple of 8?
False
Suppose 2*o + a - 3 = 1, -2*a = -2*o + 4. Suppose 0 = -o*t - 3*t + 240. Is 16 a factor of t?
True
Let w(k) = 5*k**3 - 2*k**2 + 2*k - 1. Let r be w(2). Suppose -5*h + 224 = -d, h + 5*d = r + 15. Is h a multiple of 11?
False
Let a(u) = 11*u**2 + 4*u + 4. Suppose -4*l - 3*l - 14 = 0. Is a(l) a multiple of 4?
True
Let r(j) be the third derivative of -j**6/120 + j**5/12 + j**4/8 - j**3/2 + j**2. L