6 = -101*n. Is 49 a factor of n?
False
Let k = 63 - 31. Let q = k + -28. Suppose -q*o = -0*o + 4*m - 132, -4*o - 2*m = -122. Is o a multiple of 15?
False
Suppose 0 = -4*z + 150 + 10. Suppose z*s = 18566 + 7554. Is s a multiple of 7?
False
Let w(o) = 4*o**3 - 11*o**2 - 12*o - 33. Let g(f) = -f**3 - f**2 - f - 1. Let q(k) = -5*k + 7. Let u be q(2). Let d(s) = u*g(s) - w(s). Is 9 a factor of d(15)?
True
Suppose -6*q + 2509 + 4553 = 0. Suppose -q = -10*s + 223. Is s a multiple of 5?
True
Suppose z - h + 5*h - 92 = 0, -510 = -5*z + 5*h. Suppose 0 = t - c - z, 0*t + 465 = 5*t + 2*c. Is t a multiple of 4?
False
Let c(x) = 9*x**2 + 3*x - 2. Let b be c(2). Suppose -3*k + 5*k - b = 0. Suppose -4*i + k = i, -2*h - 5*i = -34. Is 7 a factor of h?
True
Let j(w) be the second derivative of 13*w**4/12 + w**3/6 + 2*w**2 + 82*w. Does 8 divide j(-2)?
False
Let z(w) be the second derivative of 71*w**3/2 - 58*w**2 + 317*w. Is 16 a factor of z(4)?
True
Let d(v) = v**2 + 3*v + 24. Let g(a) = -2*a**2 + 6*a. Let j be g(3). Is d(j) a multiple of 24?
True
Let s(j) = -75*j + 2. Let t be s(1). Let d = -31 - t. Is 1 + d - (4 + -2) - -1 a multiple of 14?
True
Suppose -37*s = -41*s + 2*n + 123012, 16 = -2*n. Does 97 divide s?
True
Suppose 4*z = 11*x - 14*x + 35, -5*z = -25. Suppose -3*h = k - x*h - 325, k - 325 = -4*h. Is 21 a factor of k?
False
Suppose -5*v - 6534 = -2*d, -d = -2*v - 637 - 2634. Does 12 divide d?
False
Is 12 a factor of ((-12)/(-8) + 0)/((-19)/(-66538))?
False
Suppose 0 = -2*c + 6*c - 196. Let p(h) = -20*h**2 - 5*h + 2. Let d be p(1). Let b = c + d. Is b a multiple of 4?
False
Let c(w) = -w**2 - 28*w - 112. Let g(h) = -29*h - 114. Let l(x) = -3*c(x) + 4*g(x). Does 8 divide l(17)?
False
Does 87 divide 88/4 + -14 + 2080?
True
Let y be (3 + 0)/(13/(-858)). Let k = 26 - y. Is k a multiple of 8?
True
Suppose 0 = 23*t - 2528 - 738. Is 8 a factor of t?
False
Let m be (-2)/((-14)/8 - -2). Does 11 divide ((-106)/m)/(5/40) + 4?
True
Let n(c) = -c**2 + 21*c - 4. Let a(o) = 7*o - 1. Let k(v) = 8*a(v) - 3*n(v). Suppose 0 = 3*f - 2*h - 8 + 2, -3*f - 5*h + 48 = 0. Does 10 divide k(f)?
True
Let i(u) = 3*u + 1 - 160*u**3 + 1 + 1 - u. Is 16 a factor of i(-1)?
False
Suppose -3688 = -2*y - 2*n, -9*y + n - 5534 = -12*y. Is y a multiple of 45?
True
Let m = 4310 + -3702. Does 11 divide m?
False
Suppose -5*v + 3*s - 1391 = 0, 1003 = -5*v + 2*s - 391. Let g = v - -295. Is 4 a factor of g?
False
Let k = 90 + 102. Suppose 0 = 4*u + 5*n - 32, n = -2*u - 2*n + 18. Suppose 8*j - u*j + 5*l - 495 = 0, 4*l = 2*j - k. Is 33 a factor of j?
False
Let k = 231 - 178. Suppose 47*y - k*y = -3060. Does 30 divide y?
True
Let u = -22 + -1. Let c = u - -17. Does 16 divide 67 + c/(-2) - 1?
False
Let r be (-7)/14 - (-7)/2. Let k(m) = 17*m + 1 - 1 - 6*m - 1. Does 13 divide k(r)?
False
Let l = -10670 - -13708. Does 4 divide l?
False
Let b(j) = j**2 + 103*j + 7839. Is 9 a factor of b(0)?
True
Suppose 5*f + 6397 = 50527. Is 26 a factor of (f/(-6) - 2)/(-3)?
False
Let a be 3/(54/45)*-4. Is 1263 + a + (-28)/(-4) a multiple of 18?
True
Is 10 - 300/45*-57 a multiple of 39?
True
Suppose 1 = 31*y - 30*y. Let n(r) = -184*r**2 - 1. Let m be n(y). Let z = m + 272. Is 19 a factor of z?
False
Let t = -393 + 103. Let l = 487 + t. Is l a multiple of 13?
False
Suppose 0 = 3*a - 8*a - 5, -5*o = 2*a - 103. Let b be 36/o*70/4. Let w = b + 18. Does 8 divide w?
True
Let f = 108 - 25. Suppose 75*o = f*o - 1824. Is 19 a factor of o?
True
Let u be ((-3)/(3/2))/((-63)/(-24696)). Let k = 108 - u. Does 60 divide k?
False
Suppose -5*z + 5*g = -170, 0 = 2*z - 12*g + 17*g - 54. Let n = z + -26. Is 3 a factor of n?
True
Let y = -121 + 262. Suppose 0 = 5*i + 5*o - 60, 9*o - 6*o = 4*i - 13. Suppose -i*s + y + 391 = 0. Is s a multiple of 7?
False
Let w(q) = 2*q**2 + 9*q + 12. Let j be w(-3). Suppose -3*d - f + j = 0, 3 = -2*f - 3. Suppose -5*t + s = -d*t - 215, -2*s + 8 = 0. Is t a multiple of 20?
False
Suppose 10*u - 18 - 32 = 0. Suppose -u*i = -14*i + 72. Is 8 a factor of i?
True
Let j(m) = m**2 - 2*m + 1. Let d be j(-6). Let o = d + -44. Is -3 + o - -1 - -4 even?
False
Let x(o) = 7*o - 21. Let m be x(4). Let t(y) = -65*y + 53. Let j be t(m). Is 28 a factor of (-21)/14*(-2 + j/9)?
False
Let n(k) = 2*k**3 - 7*k**2 + 7*k - 8. Let d be n(3). Suppose 5*c - 55 = -4*g, -d*c - 8 = -3*g + 10. Is 10 a factor of g?
True
Let j be (-3)/8 + (133/56 - -2). Suppose 6*x - 4 = 4*x, -4*x - 1752 = -j*m. Does 10 divide m?
True
Suppose 10*g = 6*g + 12. Suppose -g*o - 69 = -h, -4*h + 4*o = -9*h + 288. Is h a multiple of 60?
True
Let g = -765 + 573. Is 2 a factor of g/(-10)*175/70?
True
Let l be 15/1*(40/(-24))/(-5). Suppose -5*s + 848 = 7*v - l*v, 2*s = -v + 425. Is 13 a factor of v?
True
Let i be 2 + (-3)/3 - 1 - 0. Suppose -8*s + 9*s - 64 = i. Suppose 284 + s = 2*y. Is y a multiple of 29?
True
Let i = 305 + -340. Does 6 divide 8/(-56) - (4660/i + 1)?
True
Let i be (-16)/(-104) - (41/13 - 2). Let h(x) = -17*x**2 - 4*x - 4. Let s be h(i). Is 18 a factor of (-4 - 2)*(5 + s)?
True
Is 125 a factor of -5*(1 - 2)*325?
True
Let y(s) = 8*s**2 - 71*s + 679. Is 11 a factor of y(15)?
False
Let s = -39 + 65. Suppose k = -s - 26. Let z = -43 - k. Does 9 divide z?
True
Let p = 954 - -2800. Does 7 divide p?
False
Suppose -3*y - 6824 = -2*k, 3412 = -0*k + k + y. Is 3 a factor of k?
False
Let p = -2 + 1. Let f be 62*(p + 9/6). Let b = -24 + f. Is 7 a factor of b?
True
Let k = 167 + -167. Suppose 4*z + 568 = h + 5764, k = 4*z - 3*h - 5188. Is z a multiple of 20?
True
Let h(b) = 3*b**2 + 15*b + 131. Let o be h(-11). Suppose -10*v + o = -9*v. Is 39 a factor of v?
False
Suppose 251*j - 52 = 253*j. Let v(a) = a**3 + 26*a**2 - 21*a - 29. Is 70 a factor of v(j)?
False
Let d = 24198 - 22108. Is 2 a factor of d?
True
Does 16 divide (288/28)/(3/238)?
True
Suppose -3*i + 20*i + 18010 = 92130. Is i a multiple of 4?
True
Let l(x) = -89*x + 6. Suppose 0 = -81*j + 76*j - 10. Is l(j) a multiple of 9?
False
Suppose -5*i - 4*o = -270, 4*i - 188 = 2*o + 54. Suppose i*j + 1771 = 65*j. Is j a multiple of 14?
False
Let v(u) be the first derivative of 2*u**3 + u**2 - 2*u + 11. Let h be v(-4). Is (-3)/((-3)/h)*1 a multiple of 8?
False
Suppose -2*u = 4*r - 2058, -2*r - 14*u + 17*u + 1041 = 0. Suppose 6*n = r - 186. Is 55 a factor of n?
True
Let f(i) = 2*i**2 - 19*i + 91. Let v be f(10). Let r = v - 41. Does 15 divide r?
True
Let p(v) = -39*v + 1372. Is p(-127) a multiple of 25?
True
Let z(o) = -4*o**3 - 26*o**2 + 96*o + 1188. Does 18 divide z(-14)?
True
Let o(n) = 20*n - 60. Let u be o(-9). Does 30 divide (-9)/(-9)*u/(1/(-1))?
True
Is (-4 - (-76828)/44) + (-16)/176 even?
True
Let c(s) = s**2 - 18*s + 105. Does 3 divide c(26)?
False
Does 10 divide 1*(19 - 36) + 2817?
True
Suppose -2*y - 5*j = -19799, -2*y = -2*j - 13812 - 6022. Does 168 divide y?
True
Let h(l) = -l**2 - 5*l - 189. Let k(x) = 3*x + x**2 - 3*x + 3*x + 2*x + 190. Let z(n) = 6*h(n) + 7*k(n). Is z(0) a multiple of 28?
True
Let y = -26 - -5. Let d = y + -69. Does 3 divide (-11)/44 - d/8?
False
Suppose -13*a - 16 + 42 = 0. Suppose -a*d + 144 = 4*k, k = 4*k + 4*d - 108. Is k a multiple of 6?
True
Let b be ((-116)/5)/(11/(-2915)). Suppose 878 = -10*f + b. Is f a multiple of 17?
True
Suppose c = -5*r + 6459, 4*c - 253*r + 255*r - 25800 = 0. Is 11 a factor of c?
False
Let c(y) = 286*y**2 + 6*y + 16. Is 14 a factor of c(-2)?
True
Let d(k) = 2*k**2 + 10*k - 841. Is 8 a factor of d(73)?
False
Does 31 divide ((-378432)/2920)/(6/(-40))?
False
Let y be (2 - 1 - 0)*0. Suppose y = -9*c + 1889 + 424. Is 11 a factor of c?
False
Let s = -58 - -73. Let r(g) = -2*g - 13 - s + 34*g**2 + 37 - 11. Is r(-1) a multiple of 2?
True
Let b be 3/((1/2)/(10/20)). Does 11 divide 1/(3/387) + b?
True
Suppose -v + 0*v - n + 18 = 0, 2*v = -5*n + 48. Let s = v + 241. Suppose 2*c + s = 5*c. Does 17 divide c?
True
Is -51*(-2)/(-5)*(-540)/36 a multiple of 17?
True
Suppose 0 = 2*i, -5*x + 9*i - 4*i = -100. Is 4 a factor of (84/15 - 5)*x?
True
Suppose -15*b = -19*b. Let r(v) = -v + v**2 + 2*v**3 + v + 45 - v + b*v**2. Is r(0) a multiple of 12?
False
Suppose 206 = c - 2*r - 58, 0 = -5*c - r + 1309. Suppose -629 = -3*j + c. Is 33 a factor of j?
True
Let u be (-4)/(-30) + (56690/75 - -1). Suppose u*b = 758*b - 198. Is b a multiple of 2?
True
Is 3320 + (2 - 16/8) a multiple o