b + 35*b. Is l a multiple of 13?
True
Does 122 divide (-3701)/(40/5 - (-18)/(-2))?
False
Suppose -7*i = -13805 + 1947. Suppose i*l + 7128 = 1703*l. Is 17 a factor of l?
False
Let r = -2144 - -7233. Does 7 divide r?
True
Suppose 0 = 17*a + 17 - 136. Is (a + -5)/(6/1359) a multiple of 6?
False
Suppose 0*a = 5*t - a + 19, -3*t - 2*a = 14. Is (172 + 4)/(-4)*11/t a multiple of 11?
True
Suppose -q + 3*q = -i + 12, -3*i = 0. Suppose -5*c + 10 = 0, 0 = q*h - 2*h + 5*c + 46. Is -1*(h + (-25)/5) even?
False
Let d(a) = a**2 + 26*a - 17. Suppose 2*s + 102 = -3*k, 3*k + 58 = k + 2*s. Is d(k) a multiple of 9?
False
Let f(k) = 9*k - 27*k - 1 + 13*k. Let d be f(-1). Is 11 a factor of 4 + (d - (3 + -136))?
False
Suppose 241 - 96 = 5*d. Suppose -149 + d = -5*c. Is 7 a factor of c?
False
Let z = -18116 + 19901. Is z a multiple of 5?
True
Suppose 1598328 = 110*h + 175698. Is h a multiple of 9?
True
Suppose -3*i - 12 = 0, 2*d + 3*i = 22643 - 1041. Is d a multiple of 101?
True
Suppose -3*z - 4*h = -785, -50*z + 45*z = -4*h - 1319. Is z a multiple of 4?
False
Suppose 0 = -3*i - 21, w + 1037 = 2*i + 5773. Is 181 a factor of w?
False
Suppose 9*s = x + 4*s - 2484, -s + 2496 = x. Is x a multiple of 80?
False
Suppose 0 = -8*w + 5*w + 12. Suppose -4*l + 171 = v, w*l - l + 722 = 4*v. Let d = v + -108. Is 8 a factor of d?
False
Suppose 232*r - 238*r + 1056 = 0. Let w = -85 + r. Is w a multiple of 21?
False
Let r(t) = -267*t**2 + 4*t + 7. Let f(q) = 267*q**2 - 3*q - 6. Let i(v) = 6*f(v) + 5*r(v). Let n be i(1). Suppose 0 = 5*l - n + 58. Is l a multiple of 21?
True
Does 52 divide (-1885 + 13)*21/(-6)?
True
Let z(o) = 11*o**3 + 3*o**2 + 7*o - 38. Suppose v + 2*c = -3*v + 8, -12 = -2*v + c. Is z(v) a multiple of 7?
True
Let m(p) = -2*p**3 - 11*p**2 - 20*p - 1262. Is m(-32) a multiple of 25?
True
Let b(i) = i**3 - 67*i**2 - 594*i + 171. Does 155 divide b(76)?
False
Let q = -42 - -55. Suppose -q*a + 35 = -30. Suppose 3*d + a*d - 208 = 0. Is d a multiple of 13?
True
Does 31 divide -3 + 8569/2 + (-3)/(-6)?
False
Let t = 6 - 6. Suppose t = -6*c + c + 30. Suppose 0*h - c*h + 234 = 0. Is h a multiple of 8?
False
Suppose -15866 = -2*y - 5*h, 0 = -6*y + 8*y - 3*h - 15802. Does 4 divide y?
False
Let b(t) = 3*t**2 + 3*t + 14. Suppose -c - f = 0, -3*c + f = -0*c + 16. Is 10 a factor of b(c)?
True
Suppose 4563 = -4*z + 2*g + 17549, -3*g - 6503 = -2*z. Is z a multiple of 5?
False
Suppose 0*y + 5*y - 50 = 0. Let v(c) = 2*c - 24. Let n be v(y). Is -18*n*21/18 a multiple of 21?
True
Let h = -91 + 91. Suppose h = -22*j + 106 - 18. Suppose -j*z - 3*u + 298 = -2*z, -z = -4*u - 171. Is z a multiple of 18?
False
Let a be ((-48)/20)/(4/(-10)). Suppose -488 = 2*c - 2*o, -2*c + o + 961 = -a*c. Let g = c + 376. Is g a multiple of 27?
True
Let c(w) = -22 + 30 - 12 - 38 - 41 - 69*w. Does 11 divide c(-2)?
True
Let q be (2/(-5))/(5 + (-376)/75). Suppose -2*d + 1 = -7, -5*d + q = 5*r. Suppose r*n = -4*a + 130, -4*n - 5*a - 140 = -7*n. Is 11 a factor of n?
True
Let r(y) = y**2 - 7*y + 15. Let f be r(5). Suppose 2*o - 34 = 4*n, 0*n + 5*n = f*o - 60. Let i(b) = 6*b - 18. Is i(o) a multiple of 12?
True
Let f(m) = 25*m - 31. Suppose -5*b + 4*b = -3*z + 7, -3*z + 10 = -4*b. Suppose 0 = -4*x - 5*s + z + 1, -4*s = -4*x + 48. Does 21 divide f(x)?
False
Let g(z) = -123*z + 1269. Does 18 divide g(-45)?
True
Suppose -2*z + 3384 = -4*j + 2*z, j - 4*z + 855 = 0. Let i = 999 + j. Does 39 divide i?
True
Let h = 106 + -88. Suppose -19*a = -h*a - 446. Let g = a - 204. Does 22 divide g?
True
Suppose 2*w + 2*w + 24 = 0. Let t be 27/(-18)*16/w. Suppose 0 = -6*h + h - p + 539, -431 = -t*h - p. Does 36 divide h?
True
Suppose -18 = 5*p - 11*p. Suppose 6*r - 132 = 2*r - p*c, 3*r + 4*c - 106 = 0. Does 30 divide r?
True
Let n be (-1)/5 - 2043/(-15). Suppose -2*s + 4 = -0. Suppose 0*t + n = s*t. Does 17 divide t?
True
Let v = -3 + -1. Let t be v*3/18*-18. Suppose 0 = -t*s + 10*s + 44. Is 11 a factor of s?
True
Let f(w) = -3035*w - 1420. Does 12 divide f(-10)?
False
Let i be ((-10)/15 + 2)*12/(-8). Let c(p) = -4*p**3 + 2*p**2 - 5*p - 7. Is c(i) even?
False
Does 15 divide (-2)/20 - (-2407336)/1360?
True
Let i(y) = y + 22. Let a be i(21). Suppose 5*p = 247 + a. Is p a multiple of 12?
False
Let g = -5 + 8. Let o = -183 - -162. Let l = g - o. Is 6 a factor of l?
True
Let s = 62 + 20. Let w(l) = -22*l - 25*l + s*l + 11*l**2 - 32*l. Is 38 a factor of w(-2)?
True
Suppose -4*q - 87 = 5*h, 30*q - 34*q - 84 = 4*h. Let l(y) = 8*y + 456. Is 13 a factor of l(q)?
True
Let g be 352/(-12)*60/8. Let x = g - -318. Let n = x + -34. Is 16 a factor of n?
True
Let q be (-2 - 32/(-18)) + 11018/9. Let h = -825 + q. Is 15 a factor of h?
False
Suppose -4*f - l + 2016 = 83, f = 3*l + 493. Does 12 divide 3 - (2 + 2 - f) - -1?
False
Suppose u + 19827 = 4*p, -p + 4970 = -6*u + 19*u. Does 122 divide p?
False
Suppose -5*f = 14*f - 5206. Let j = f - 214. Is j a multiple of 10?
True
Let c be 39 + (-1 + 2)*0. Let t = 43 - c. Suppose -j - t*k - 57 = -200, 2*j = -5*k + 277. Is j a multiple of 13?
False
Let j(z) = z**3 + 5*z**2 + 40*z - 111. Does 20 divide j(14)?
False
Is 26 a factor of (-10382016)/(-384) - 7/(-2)?
True
Let p(l) = -2*l**2 - 13*l - 15. Let o be p(-5). Suppose 5*b = 3*b + 4*i + 132, o = 5*i - 5. Is b a multiple of 17?
True
Suppose 0 = b - 3*s - 82, 334 = -4*b + s + 706. Is 4 a factor of b?
False
Suppose -5*r - 125 = -5*l, 4*l - 140 = -6*r + 2*r. Let c be (l/(15/3))/(0 - -2). Suppose 0 = -2*n + 3*o + 352, -c*n + 0*o + o = -535. Is n a multiple of 13?
False
Suppose 0 = -4*d - 2*d - 90. Let i be (-4)/10 - 9186/d. Is 34 a factor of i/(-6)*4/(-6)?
True
Let w(r) = -258*r - 166. Let j be w(-9). Suppose -j = -2*o - 558. Is 32 a factor of o?
False
Suppose -3*n + 0*m - 89 = 4*m, 0 = -n + 4*m - 35. Let w(c) = -60*c - 243. Is 49 a factor of w(n)?
True
Suppose 165855 = 32*z + 33439. Is 45 a factor of z?
False
Let t = 460 - 90. Suppose 9*c + t = 3*k + 11*c, 3*c + 138 = k. Is k a multiple of 9?
True
Suppose 3*p = 4*p + s, 0 = -p - 3*s - 4. Let d be (-4)/(-12)*0/p. Suppose 2*l - 214 - 20 = d. Does 12 divide l?
False
Let n(p) = 3*p - 77. Let u be n(25). Let m(i) = 15*i + 70. Is 4 a factor of m(u)?
True
Let w(h) = -1138*h - 71. Does 64 divide w(-8)?
False
Let o be -1 + -2 + (9 - 6). Suppose d = -j + 178, -5*j + d + 564 + 302 = o. Does 16 divide j?
False
Let a be (1 - (9 + 2))*18/(-30). Let o be (-2)/1*(3 - 69/a). Suppose -3*q = 5 - o. Does 2 divide q?
True
Let z = 305 + -518. Let g = -104 + 25. Let b = g - z. Does 5 divide b?
False
Let a = -315 - -212. Let f = 219 - 74. Let c = f + a. Does 41 divide c?
False
Suppose 0 = -6*h - 457 - 1019. Let x = h - -715. Let k = -157 + x. Is k a multiple of 13?
True
Does 148 divide (174/(-8))/(30/(-16970)) + (-5)/20?
False
Let x = 885 + -881. Suppose -4*j + 2113 = -5*r, -4*j - x*r + 3136 = 1068. Does 87 divide j?
True
Let n be 148/52 + (-6)/(-39). Let c(v) = v**2 + 3*v + 2. Let g(w) = 2*w**2 + 4*w + 3. Let a(r) = n*g(r) - 4*c(r). Is a(3) a multiple of 2?
False
Let w be ((-186606)/27)/(-14) - (-2)/6. Let u = w - 281. Does 11 divide u?
False
Suppose -95*j + 33021 + 38799 = 0. Does 6 divide j?
True
Suppose -3*y = 2*v + 397 - 1754, -3*v + 2052 = -y. Is 10 a factor of v?
False
Suppose 89*g - 84*g - 4570 = 0. Let l = 1256 - g. Does 18 divide l?
True
Is 203*52 + 900/60 a multiple of 10?
False
Let u(y) be the first derivative of 8*y**3/3 - 4*y**2 + 13*y - 20. Let c be u(4). Let o = c + -63. Is 4 a factor of o?
False
Suppose -423 = 2*w - 5*w. Let h = 168 + -162. Suppose -261 = -h*j + w. Is j a multiple of 14?
False
Let m(g) = 2*g**3 - 86*g**2 + 86*g + 76. Does 5 divide m(42)?
True
Let a = -305 - -300. Is 31 a factor of -249*(a - -3) - 2?
True
Let n(i) = 663*i + 19. Let q be n(1). Suppose 3*w + 26*c = 22*c + q, -w + 218 = -c. Is 22 a factor of w?
False
Let i(p) = -222*p - 1822. Is 26 a factor of i(-9)?
False
Suppose 0 = -2*s + 21 - 9. Suppose y = -12 - s. Is 3 - 42/4*132/y a multiple of 16?
True
Suppose -2*n - 46 = -52. Suppose -5*v - 2*i + 12 = -3*v, n*v = -i + 8. Does 43 divide (-9 + 4 + 144)*v?
False
Let r be ((-47)/(3055/(-36036)))/((-3)/(-10)). Suppose 5*p = -10*q + 4*q + r, -p + 380 = -4*q. Does 6 divide p?
True
Suppose 0 = 3*y - 3*o - 69, -4*o + 41 + 7 = y. Suppose -y*q = -26*q - 888. Suppose -64 = 4*h - x - q, 2*h - x = 188. Is h a multip