5 divide b(-9)?
True
Suppose -30772 = -g - 512. Is g a multiple of 178?
True
Let t(b) = -2*b**2 + 12*b - 32. Let y(m) = 2*m + 24. Let a be y(-7). Let g be t(a). Let h = -26 - g. Does 34 divide h?
False
Suppose 2*r - t - 85840 - 45856 = 0, 0 = -5*r - t + 329212. Is r a multiple of 236?
True
Let a be (4/(-6))/((-122)/915). Suppose -y + a = 0, 13*g + 870 = 18*g - 5*y. Is g a multiple of 26?
False
Let h = 12 + -28. Let g(z) = -z**2 + 26*z - 166. Let x be g(16). Does 16 divide 2*h/x*3?
True
Suppose -4*n = 3*m - 4296, 5*m - 2*n - 3*n = 7195. Suppose -26*w + 9782 = m. Is w a multiple of 23?
False
Let a = 1886 - 1730. Does 4 divide a?
True
Let w(d) = 298*d - 232. Is 14 a factor of w(9)?
True
Let h(b) be the second derivative of b**5/20 - b**4/3 + b**3/3 + b**2 + b. Let u be h(2). Is 19 a factor of u + 1248/(16/4)?
False
Suppose 6*k = 2*k + 8. Suppose -3*o - 375 = -3*h + 201, 2*h - 384 = -k*o. Suppose 19*c = 3*c + h. Is 4 a factor of c?
True
Suppose 0 = 5*l + 3*x - 3432, -2032 = -3*l + 2*x + 3*x. Is l a multiple of 38?
True
Suppose -98148 = -13*f + 14*f - 5*f. Does 11 divide f?
False
Let p = 3793 - -1751. Is p a multiple of 28?
True
Let t be 1 + 3 + 1 + -9 + 4. Suppose 2*r - 1207 = -4*b - 213, t = 5*b - 4*r - 1262. Is 32 a factor of b?
False
Suppose -2*f + 127*n + 1668 = 132*n, 0 = -5*f - 2*n + 4170. Is 139 a factor of f?
True
Let z = 11901 + -4349. Does 16 divide z?
True
Let a = 4379 - 2633. Does 9 divide a?
True
Let z(c) = -c**3 - 5*c**2 - 3*c + 4. Let b be z(-4). Let i be 7 + (-1)/1 - b. Suppose 7*k = i*k + 56. Is k a multiple of 8?
True
Suppose -5*z = -7*z - 10. Let a(q) = -5*q - 22. Let l be a(z). Suppose 2*w + 4*m - 103 = w, 3*w = l*m + 369. Is 17 a factor of w?
True
Is 30 a factor of ((-873)/(-27) + 3)/((-1)/(-2205))?
True
Let d = 6546 - -450. Does 22 divide d?
True
Let j(n) = n**2 - 22*n - 138. Let o be j(27). Is 18 a factor of o*(-7 - -8 - (2 - -202))?
False
Let k be (-99)/6*2/(-3). Let n(g) = 6*g**2 - 21*g - 106. Let w be n(-4). Let d = w - k. Is 21 a factor of d?
True
Suppose 20 = -5*s + 40. Let c(d) = 3*d**3 - 7*d**2 - 5*d + 4. Is c(s) a multiple of 16?
True
Let u(t) = 13*t**3 + 9*t**2 - 3*t + 9. Let d be u(-5). Let m = -951 - d. Does 25 divide m?
True
Let r(b) = 11175*b**2 - 688*b. Is r(-2) a multiple of 16?
False
Let o(t) = -57*t - 39. Let f be o(8). Let j = f - -560. Is 4 a factor of j?
False
Let z = 74221 - 41810. Is z a multiple of 76?
False
Let o(n) = 9 + 11 + n - 22. Let v(u) = -3*u + 6. Let x(b) = -7*o(b) - 2*v(b). Is x(-9) a multiple of 5?
False
Let p(u) = u - 13. Let w be p(15). Suppose w*d - 162 = -d. Let s = 78 - d. Does 8 divide s?
True
Suppose 3*l - 70 = -5*m - 20, 4*l - m = 36. Suppose l*i - 6*i - 20 = 0. Suppose 2*g - 137 = 4*d - 27, i*d + 223 = 4*g. Does 6 divide g?
False
Let r = -1222 + 1226. Suppose 2 = p - 2. Suppose 60 = 2*z - 3*b, -z - r*z + 104 = p*b. Does 6 divide z?
True
Let x be (-6)/(-8)*4 - -1. Suppose 0 = u - x*s - 182, -235 - 451 = -4*u - 5*s. Suppose 6*k - 8*k + u = 0. Is k a multiple of 11?
False
Suppose 0 = -18*q + 27*q - 72. Suppose -q*a + 380 = -6020. Does 68 divide a?
False
Suppose -474*a + 622*a - 1697412 = 0. Is 118 a factor of a?
False
Let q be -6*6/(-45)*10/4. Suppose -p = q*y - 7, -4 = -p + 2*y - 5. Suppose 0 = p*i - 4*i + 23. Does 3 divide i?
False
Let m = -216 - -212. Is 18 a factor of (334/(-8))/(5/m + 1)?
False
Let k(o) = o**3 - 29*o**2 - 9*o + 112. Is 3 a factor of k(30)?
False
Suppose 858020 = 94*t - 12890. Does 27 divide t?
False
Suppose -4*u + 16316 = 2*v, 4*v - u - 6296 = 26408. Does 66 divide v?
False
Let g = 57 - 51. Suppose -1237 + 103 = g*p. Let b = 342 + p. Is 27 a factor of b?
False
Let u be 1*(-15)/(-2 - 3). Suppose -u*o = 5*l - 1281, 2*o - 4*o + 854 = l. Is o a multiple of 7?
True
Suppose -4*h + 0*h = -6*h. Suppose h = 3*w - u - 21, -2*w - 5*u = -5*w + 33. Let z = w + 38. Does 11 divide z?
True
Suppose -4*d - 3373 = -5*z + 2072, 4*d + 1089 = z. Let p = -494 + z. Is (p/28)/((-2)/(-8)) a multiple of 7?
False
Let a(o) = o**3 - 20*o**2 + 10*o - 311. Is 11 a factor of a(24)?
True
Does 35 divide -3*((-161184)/72 - -5)?
False
Let b(z) = z**3 + 13*z**2 + 40*z - 19. Let s be b(-7). Let a(l) = -90*l - 82. Is a(s) a multiple of 16?
True
Let v(c) = 4*c + 45*c**2 - 44*c**2 + 9 - 16*c + 4*c**3. Is 15 a factor of v(3)?
True
Let k = 82 + -65. Suppose -18*v + k*v + 15 = 0. Is 15 a factor of v?
True
Let b be (-1)/3 + 1808/24. Let v = b + -67. Suppose o - 22 = v. Is o even?
True
Let i(q) = 2*q**2 - 36*q - 26. Let t be i(19). Let m(b) = -b**3 + 15*b**2 - 17*b. Is 12 a factor of m(t)?
True
Is 49 a factor of (-4900)/(-6)*41/(1845/1026)?
True
Let q(a) = 8*a**2 + 7*a + 20. Let v be q(-3). Let u = v + 59. Is 26 a factor of u?
True
Let v(d) = 4*d - 3*d + 2*d - 4*d - 3. Let y be (0 + -4)*10/8. Is v(y) a multiple of 2?
True
Let p(g) = -g**3 + 6*g**2 + 31*g - 17. Let v be p(9). Suppose v*s - 2123 - 1601 = 0. Does 4 divide s?
True
Let t(w) be the third derivative of 97*w**4/12 - 7*w**3/3 + 15*w**2. Let j be t(13). Does 16 divide j/42 - 4/(-14)?
False
Is 19 a factor of (-5)/60 - (1182401/(-204) - (-2 - -2))?
False
Suppose -5*f - 16 + 78 = 2*b, 3*f - 62 = 5*b. Is 32 a factor of (3/(12/11))/(f/1792)?
True
Suppose 4*p + 4248 = 4*h - 0*h, 0 = -9*p. Is 12 a factor of h?
False
Let g = 13211 - 8619. Does 41 divide g?
True
Let w(o) = -32*o + 1841. Does 9 divide w(-62)?
True
Suppose 5*b - 4750 = -5*s, -b - 3*s + 1738 - 782 = 0. Is b a multiple of 16?
False
Let r(u) = -9127*u + 16189. Does 13 divide r(-6)?
False
Let q = -253 + 695. Suppose 0 = v - 4*s - q, -2*v + 4*s + 455 = -449. Is 23 a factor of v?
False
Suppose -13*s + 4872 = -20*s. Let p = s + 1851. Suppose p = 42*v - 37*v. Does 11 divide v?
True
Let m(w) be the first derivative of -w**4/4 - 7*w**3/3 + 5*w**2/2 - 48. Is m(-8) even?
True
Suppose 19*o - 14807 = 9*o - 3*o. Is 12 a factor of o?
False
Suppose -399276 = -108*q + 88097 + 90427. Does 5 divide q?
True
Let f(b) = -247*b - 4716. Is 39 a factor of f(-37)?
False
Let a(q) = -2142*q**2 - q - 2. Let t be a(5). Does 21 divide 1/(-4) - t/196?
True
Suppose -4*t + 32 = 4*u, 18 = 2*u + 12. Suppose -157 = -5*a - 3*n, t*a = -5*n + 30 + 125. Is a a multiple of 16?
True
Let y(u) = 5*u - 8 - 8*u**2 + 13*u**2 + 7*u**2 + 36*u**2. Does 6 divide y(2)?
False
Suppose -3168 + 3 = -3*w. Suppose 5*q - 4*z = -0*q + 13, -z = 3*q - 18. Suppose w = q*x + 380. Is 8 a factor of x?
False
Suppose 15 = -5*n + 5. Let l = n - -6. Suppose -2*r - 110 = -l*r. Is 18 a factor of r?
False
Suppose 3*k + 2*s = 98, 6*k = 2*k - 3*s + 131. Suppose -3*j = 5*y - 18, -2*y + 4*j = -j - k. Suppose 4*x = -3*c + y*x + 58, 2*c = -x + 48. Does 11 divide c?
True
Let j = 4883 - -1464. Does 14 divide j?
False
Is (-1 - -2239)*(-8 + (-112)/(-12)) a multiple of 14?
False
Let w(d) = d**3 - 4*d**2 - 5*d + 8. Let t be w(5). Suppose t*l - 6 = 34. Does 40 divide 1/l - -38*84/40?
True
Suppose 17*m = 22*m + 2*s - 34329, -20616 = -3*m + 5*s. Is 16 a factor of m?
False
Suppose -14*x + 2107 = -7*x. Let h = 21 + x. Does 7 divide h?
True
Let p be (2/(-6))/(5/60) + -49. Let n = p + 474. Does 44 divide n?
False
Let h(g) = -g**3 - 7*g**2 + 5*g - 8. Let p be h(-8). Let u be (-1 + 1)/1 + 224/p. Let t = u - -23. Is 12 a factor of t?
False
Let j(p) = -5*p + 3. Let f be j(9). Let o = 33 + f. Does 5 divide o/(-2)*(14/6 - -1)?
True
Let j(q) = -2*q**2 + 2*q - 2. Let w be j(3). Let i(g) be the first derivative of -g**2 + 30*g - 7. Does 11 divide i(w)?
False
Let u = -194 + 197. Suppose g - 950 = -u*g + p, 5*g - 1177 = -4*p. Is g a multiple of 15?
False
Is 40 a factor of -465*(-1 - (-136)/(-6) - 502/251)?
False
Suppose -5*o - 21265 = -5*l, -6*o = 5*l - 10*o - 21272. Is 60 a factor of l?
True
Let n(i) = 142*i**3 - 16*i**2 + 34*i - 14. Does 9 divide n(4)?
False
Suppose 3*z = 4*s + 19 - 62, -4*z = 2*s - 38. Suppose -2*k - 39 = -s. Let j(y) = -5*y + 7. Is 14 a factor of j(k)?
False
Let m = -10399 + 12667. Does 63 divide m?
True
Let v = 14338 + -3152. Does 14 divide v?
True
Suppose 31500 = -29*u + 58*u - 25*u. Is 164 a factor of u?
False
Let a = 394 + -104. Let d = a - 172. Is d a multiple of 59?
True
Suppose -w - 4*c + 6 = 0, 0 = -2*w - 2*c - 0*c + 12. Let h be (2/w)/(-2 - (-4335)/2169). Let d = -164 - h. Is 7 a factor of d?
True
Suppose 0 = -5*h, -5*h = 4*f - h - 16068. Is 39 a factor of f?
True
