506. Suppose 0 = 31*p - 39*p + j. Is 36 a factor of p?
False
Is 85 a factor of -19 + 1 + (-4317084)/(-563)?
True
Is 19 a factor of (19439/14*1 - 2) + 5/2?
False
Let j(z) = 19*z. Let d be 4/(-26) + (-108)/(-26). Is j(d) a multiple of 38?
True
Suppose 5*p + 5*s + 13 = 3, 37 = 4*p - 5*s. Suppose 33*i + 20 = 38*i. Suppose -3*f + 56 = 5*v - 8, i*v + p*f = 53. Is v a multiple of 11?
True
Let w(y) = 4*y - 5*y - 4 + 5*y. Let v be w(1). Suppose 0*s - 6*s + 366 = v. Is 18 a factor of s?
False
Does 14 divide (12 - 92/6)/(6/(-32211))?
False
Let g = 875 + -369. Let m = -316 + g. Is 38 a factor of m?
True
Let g(t) = t - 11. Let j be g(11). Let x be 8/(j + 10/5). Suppose -2*r + 9 = 5*v, -6*r = x*v - r + 3. Is 2 a factor of v?
False
Suppose -t = 4*n - 2873, -3*t = -6*t + 15. Suppose -c + 196 + n = 0. Does 51 divide c?
False
Suppose 24*n - 22*n - l - 13291 = 0, -2*n - 2*l = -13276. Does 14 divide n?
False
Suppose -118*j + 65528 = -104751 + 64787. Does 6 divide j?
True
Let i(u) = -4*u**3 - 8*u**2 - 95*u + 14. Does 77 divide i(-8)?
True
Suppose -t + 1820 = -61*m + 58*m, 0 = -4*m + 28. Is t a multiple of 3?
False
Let p be ((-114)/(-12))/((-2)/20). Let f = -57 - p. Let j = 88 - f. Is j a multiple of 5?
True
Suppose -62*l = -68*l + 53502. Does 37 divide l?
True
Suppose -3*h + 6205 = 2*l - 4*h, -3*h = 2*l - 6209. Is l a multiple of 29?
True
Let n be (-16)/((5/10)/(1/4)). Is (-1096)/3*12/n a multiple of 14?
False
Let n(z) = 11*z**2 + 68*z - 112. Is 16 a factor of n(24)?
True
Suppose 0 = 4*w - 3*s + 2, 0 = -4*w - 2*s + 4*s. Let v be 747/6 + 2 + w/(-2). Let h = v + 85. Is 42 a factor of h?
False
Let m = 1018 + -2562. Let p = -413 - m. Is 29 a factor of p?
True
Let u be -5 + 220/14 - (-4)/14. Suppose -16*c = -u*c - 895. Suppose 5*n = -4*x + c, n + 2*x - 22 = 15. Is n a multiple of 17?
False
Suppose 4*g + 28108 = 5*h, -3*g + 7061 + 9793 = 3*h. Is 19 a factor of h?
False
Is (-40)/((-6)/4194*3) - (-1 - -8) a multiple of 10?
False
Let l be 0 - -3*20/15. Suppose 1 = l*y - 3*w + 6*w, -2*y = -w - 13. Suppose 3*p = 6, a + y*a - p - 448 = 0. Does 9 divide a?
True
Let m = 378 + 9495. Is 36 a factor of m?
False
Let g = 7232 + 5583. Is g a multiple of 55?
True
Let x(w) be the third derivative of -7/6*w**3 - 25/24*w**4 + 0 + 20*w**2 + 0*w. Is x(-2) a multiple of 4?
False
Let j = 2532 + 1851. Is j a multiple of 9?
True
Let o = -5526 - -10077. Is o a multiple of 41?
True
Suppose 121424 = 3*q + 3*m + 2105, -4*m = 5*q - 198872. Is q a multiple of 170?
True
Suppose 2*n = -n + 240. Suppose 2*j = -j - t - 52, 4*j = 4*t - n. Does 22 divide 2*(-6)/j*(98 - -1)?
True
Let f = -235 + 218. Let s(k) = -k + 6. Let i be s(0). Let q = i - f. Does 5 divide q?
False
Let s(t) = 102*t + 46. Let d = -516 - -520. Does 7 divide s(d)?
False
Is 236 a factor of 10/6 + -1 + (12247060/147 - 6)?
True
Let f = -666 - -676. Suppose -f*x - 2051 = -6771. Is 12 a factor of x?
False
Let t = 21 - -67. Let v = -82 + t. Is v a multiple of 3?
True
Is 17 a factor of 32/((-104)/13) + 714?
False
Let g be (1 + -2)/(7/2 + -3). Is (g - 4 - -453) + 6 a multiple of 51?
False
Let q(o) = -o**3 - 5*o**2 + o + 3408. Is 24 a factor of q(0)?
True
Let x = 11 + -1. Suppose -491 = 38*g - 118*g - 11. Is 117/13*x/g a multiple of 5?
True
Let d(h) = 6*h**2 - 2*h - 18. Let r = -43 - -37. Is 30 a factor of d(r)?
True
Let b = 1045 + -1043. Let v(n) = -n + 35*n + 19 - 7. Does 13 divide v(b)?
False
Suppose -4*d + 1186 = 5*g - 3510, 0 = -2*d + 4*g + 2322. Is d even?
False
Let w(k) = 11*k + 23. Let o(u) = -14*u - 22. Let h(r) = 4*o(r) + 5*w(r). Let b(d) = -d**3 - 10*d**2 - 11*d - 3. Let q be b(-9). Is 9 a factor of h(q)?
False
Let c = -324 + 1832. Is c a multiple of 8?
False
Suppose 7*t - 13*t + 1314 = 0. Let v = t + -186. Is v a multiple of 13?
False
Let g be 8/(-10) + 98/35. Suppose -g*c = 9 - 13. Suppose -8*h + 1410 = c*h. Is 47 a factor of h?
True
Suppose -4*a = 4*a - 144. Suppose -99 = -s + a. Is s a multiple of 38?
False
Suppose 10*v - 11 - 9 = 0. Suppose 0 = -4*t + 3*d + 519, 2*d + 262 = v*t - 2*d. Does 4 divide t?
False
Let y be (-17)/((-2)/(3 + 1)). Suppose -2*q = -2*f + y, 5*q - f + 65 = -0*f. Let t = 15 - q. Is t a multiple of 4?
False
Let d = 14 + -10. Suppose -g - 3*g - 6 = -2*u, d*u = 3*g + 17. Suppose 0 = -u*v - 3*n + 468, -4*v + 500 = v - 5*n. Is v a multiple of 12?
True
Suppose -2*i = -2*p + 2*i - 40, -4*i + 28 = -p. Let g(u) = -u**2 - 9*u + 39. Let v be g(p). Suppose 4*o - 2*j = 102, -o = v*j - j - 18. Does 3 divide o?
True
Let v = 248 + -127. Let u = v + 200. Suppose 126 + u = 3*z. Is z a multiple of 32?
False
Let z = 83 - 81. Is 24 a factor of z/8 - (-1566)/8?
False
Is 5 - ((-4 - 2549) + 10) a multiple of 52?
True
Suppose -2*n + 2*u = -2, u = -5*n + 4*u + 15. Suppose -n*m - 2*m + 672 = 0. Suppose 2*f - m = -2. Is f a multiple of 13?
False
Let x(l) = -1 + 8 - 577*l - 288*l - 615*l + 14. Is x(-1) a multiple of 31?
False
Suppose 24 - 44 = -4*l. Suppose -3*y = -l - 265. Is y a multiple of 2?
True
Suppose 0 = i - 5*a - 32, 0 = -5*i - 4*a + 111 - 38. Suppose -5*r - 4*k = -167, 5*r + 8*k - 12*k - 183 = 0. Let o = r + i. Is o a multiple of 26?
True
Suppose -x - 24111 = -4*r, -66*r + 30136 = -61*r - 4*x. Does 22 divide r?
True
Let y = -933 - -936. Suppose -2334 = -3*v + y*u, -2*u = 2 - 0. Is 21 a factor of v?
True
Let v(b) be the second derivative of -b**3/6 + 7*b**2/2 - 8*b. Let o be 5/(30/4) - (-20)/6. Does 3 divide v(o)?
True
Let o = 282 + -296. Let l(p) = 2*p**2 + 25*p - 39. Is l(o) even?
False
Suppose -7*a + a = -23*a. Suppose 3*i = 4*u + 176, -2*i + 4*u + 127 - 15 = a. Is 16 a factor of i?
True
Suppose 3*b = a - 7, a - 2*b - 7 = 4. Suppose 0 = 27*y - a*y - 1512. Is 11 a factor of y?
False
Is 15 a factor of (90 + 0)*(-11136)/(-1044)?
True
Is 24 a factor of 2*-865*-5*2041/650?
False
Let m(v) = -10*v + 167. Let i be m(17). Let d(c) = -2*c**3 - c**2 - 17*c - 32. Is d(i) even?
True
Let j = 22468 + -1357. Is 41 a factor of j?
False
Let a(x) = 2*x**3. Let n be a(1). Suppose 0*l = 5*i - n*l - 717, -5*l - 577 = -4*i. Let z = i - 83. Is z a multiple of 15?
True
Let b(i) = 6 + 3*i + 26*i**2 - 1 - 11*i**2 + 1. Suppose -18*y + 14*y - 4*f = 16, 4*y = 4*f. Is 18 a factor of b(y)?
False
Let r(l) = 3*l - 26. Let z be r(14). Let x(g) = z*g + 5 - 1 + 0. Is 22 a factor of x(8)?
True
Suppose -5*x + 270 = 4*x. Suppose 4*q + x = -74. Let o = 30 - q. Is o a multiple of 4?
True
Does 21 divide (-2 + 3)/(-3) + 570/9?
True
Suppose -8*x + 17297 = x - 13051. Does 152 divide x?
False
Suppose -4*x + r + 144433 = 0, 378*r = -5*x + 373*r + 180535. Does 12 divide x?
True
Is 90 a factor of 1 - 314486/(-22) - ((-114)/22 - -5)?
False
Suppose 32*w - 10*w - 88 = 0. Suppose -4*h - w = 0, r + 4*r = 2*h + 1002. Is 8 a factor of r?
True
Let a = 3588 + -2807. Is a a multiple of 24?
False
Let d(s) = 4*s**2 + 21*s + 10. Let z = -35 + 28. Let l be d(z). Let v = l - -1. Is v a multiple of 12?
True
Suppose 5*f = -3*z - 275, 3*z + 78 = -3*f - 189. Let y = z - -81. Does 11 divide 270/4 - (-1)/y*-2?
False
Let n(d) = d**2 - 9*d. Let a be n(10). Suppose -3*w = 20*w - 92. Suppose w*k + a*b - 181 = 5*b, 0 = 5*b + 15. Is k a multiple of 4?
False
Let d = 11192 + -2165. Does 44 divide d?
False
Let b(m) = 9113*m**2 - 7*m + 7. Is 89 a factor of b(1)?
False
Suppose 154 = 1614*i - 1625*i. Let j = -1 + 3. Does 25 divide 394/j + i/(-7)?
False
Suppose -1978*z = -1963*z - 29205. Is 33 a factor of z?
True
Let r(j) = -562*j + 106. Is r(-3) a multiple of 56?
True
Suppose 80 = 21*i - 26*i. Is 17770/(-640)*-8 - (-2)/i a multiple of 3?
True
Suppose -804 = 4*k - 816. Let p(r) = -r - 4. Let u be p(-6). Suppose k*z = -5*a + 365, 3*a + 4 = -u. Is 11 a factor of z?
False
Let d(r) = 40*r**3 + 2*r**2. Let b be d(1). Suppose -b*p + 23*p + 12901 = 0. Does 24 divide p?
False
Let g(k) = -9*k + 11 + 6*k**2 + 1 + 6 + 14. Is 13 a factor of g(4)?
False
Suppose -14*f - 359 = -13*f. Let b = -323 - f. Is b a multiple of 3?
True
Suppose -5*q + 15 + 5 = 5*i, -4*q = -i + 4. Suppose 0 = -5*t - q*t - k - 738, 4*t + k = -591. Let x = t - -310. Is x a multiple of 39?
False
Let p(n) = -n - 11. Suppose 2 = -2*i - 20. Let z be p(i). Suppose z = -3*q + 10*q - 700. Is 20 a factor of q?
True
Let w(p) = 254*p + 3430. Does 4 divide w(-8)?
False
Let p(d) = 9*d - 6. Let q be p(2). Suppose 3*r - 38 + q = 4*z, 2*r - 5*z = 29. Suppose -r*a