- 6/(-3)). Suppose -m*r - r - 310 = 0. Let k = r + 118. Does 9 divide k?
False
Suppose 11*b - 7916 = -24493. Let x = b - -3305. Is 29 a factor of x?
True
Is (-3 - 31)*((-8)/(-32) - 355/4) even?
False
Suppose 4*r = -3*v + 19, -4*v + 2*v + 2 = 0. Suppose r*z = -5*n + 652, -5*z + 9*z + 3*n - 660 = 0. Is 6 a factor of z?
True
Let b(d) = d**2 - 3. Let z be (-1)/(-4) + (-209)/4 + 2. Let i be (z/20)/((-5)/12). Does 9 divide b(i)?
False
Let h(o) be the first derivative of o**4/4 - 2*o**3 - 6*o**2 + o - 88. Does 33 divide h(8)?
True
Let o(g) = -3*g**2 - 3*g - 69. Let v(k) = -13*k**2 - 13*k - 276. Let c(h) = -9*o(h) + 2*v(h). Is c(0) a multiple of 7?
False
Suppose 3*s - 7*s = 0. Suppose 3*k + k - 16 = s. Suppose 2*i = -2*i + 5*p + 83, i - k*p - 7 = 0. Does 17 divide i?
False
Suppose -2*z - 7 = -11. Let i(u) = 221*u**2 + 4*u - 10. Is 21 a factor of i(z)?
True
Let a be (1 - 0) + 5 + 539 + 2. Suppose 0 = -5*v - r - a, 5*v - 3*r = -0*r - 539. Let h = v - -217. Is h a multiple of 13?
False
Let s be ((-36)/108)/(1/3 - 0). Is (s - 41)*(-210)/60 a multiple of 4?
False
Suppose 22*b - 51251 = -3686 + 483. Does 21 divide b?
True
Let z = -28 + 39. Suppose -28 = -z*b + 4*b. Suppose -211 + 19 = -b*w. Is 8 a factor of w?
True
Suppose 817 - 92 = 5*w. Let t = 153 - w. Is t a multiple of 2?
True
Suppose -328*z = -290*z - 333184. Does 32 divide z?
True
Let g be (-2)/(-1) + 4 + 0. Suppose 4*q - r = r + 2, 5*q = -3*r + 19. Suppose -q*m - 176 = -g*m. Is m a multiple of 22?
True
Let b(l) = -l**2 + 41*l - 8. Let n be b(18). Let u be (18/(-63))/((-2)/n). Suppose 2*m - 2*o = u, 2*o = -4*m - 0*o + 98. Is 23 a factor of m?
False
Suppose -12*s + 8*s = -12. Suppose -4*m + 144 = -s*b + 5*b, 10 = -5*b. Let u = 68 - m. Is 14 a factor of u?
False
Let i = -72 - -121. Suppose -m + 46 = q, 2*m - 4*q - 49 = i. Is 5 a factor of m?
False
Is (-4)/10 - 339768/(-120) a multiple of 17?
False
Suppose -19*r - 39*r - 66*r + 7820928 = 0. Does 16 divide r?
True
Suppose 0 = 4*d - 5*u - 30, 3*d - 31 = -2*d + 3*u. Let y(m) = 627*m + 21. Let p(i) = -179*i - 6. Let j(w) = d*y(w) + 18*p(w). Does 42 divide j(-1)?
True
Let u(i) = -i**3 - 5*i**2 - 4*i + 6. Let t be u(-4). Suppose -t*w + 3315 = -783. Is 39 a factor of w?
False
Let b(l) = 4*l**3 + 2*l + 2. Let d be b(-1). Let z = d + 5. Is 7 a factor of -1 + z + 6 + 15?
True
Let i(u) = -82*u - 11. Let a(f) = -165*f - 21. Let b(l) = 5*a(l) - 9*i(l). Let n be b(3). Is 20 a factor of (n/(-15))/((-5)/(-25))?
False
Let y be (-2)/((-2)/(-3)) - (-8)/(-2). Let p = y - -61. Does 18 divide 9/(-5 + 273/p)?
True
Suppose 14*x - 12*x - 298 = 0. Suppose 0*u - u + 721 = 5*n, n - x = -5*u. Is n a multiple of 8?
True
Let s(t) = t**3 + 13*t**2 + 12*t - 8. Let x be s(-6). Let y = -154 + x. Is y a multiple of 3?
True
Suppose 4*u = 5*z + 60587, -73*z - 15149 = -u - 71*z. Does 78 divide u?
False
Let l(g) = 223*g**2 - 8*g. Let q be l(-1). Let r = q - 121. Is r a multiple of 11?
True
Is 61 a factor of ((-3917)/(-10) + 41/(-205))*8296/102?
True
Let m(q) = 19*q**2 + 296*q - 11. Is m(15) a multiple of 45?
False
Suppose 3*j = 7*j - 3*p - 4167, -4*j + 4200 = 8*p. Is 4 a factor of j?
True
Suppose 11*y + 48 = 23*y. Is ((-3)/(-3))/(y/784) a multiple of 49?
True
Suppose 5*g - 4066 - 10737 = 13607. Does 8 divide g?
False
Suppose 176 = 12*n - 124. Is (n - 25) + -3*1 - -438 a multiple of 18?
False
Let x = -507 + 499. Let p(t) = -113*t - 31. Does 93 divide p(x)?
False
Suppose -5*c - 3*k + 937 = 0, 5*c - 4*k - 254 - 655 = 0. Suppose w - 46 = -5*b + 21, c = 3*w - b. Is 9 a factor of w?
False
Let r = 141516 + -99474. Does 42 divide r?
True
Let z(p) = 246*p - 117. Let o be z(3). Suppose -126*w + 125*w = -o. Does 23 divide w?
True
Suppose -655 = -2*n - 5*a, n + 4*a - 161 - 168 = 0. Suppose -5*d + 445 = 4*i, -7*i + n = -4*i - 5*d. Is i a multiple of 5?
True
Let u = 9057 + -5028. Is 11 a factor of u?
False
Suppose 0 = 3*g + 9, 10129 = 161*d - 156*d + 2*g. Does 19 divide d?
False
Suppose 4*n - 6045 = -n. Let m = 9 + n. Does 87 divide m?
True
Suppose -17 = -5*h + 13. Let y(k) = 48*k**3 + 23*k - 75. Let z be y(3). Suppose -h*c + z = 396. Is c a multiple of 8?
False
Let k(w) = -18 + 14*w + 6*w - 34*w. Suppose -3*f + 7 = u, 4*u + 3*f = -u - 13. Is k(u) a multiple of 2?
True
Is 18/(-54) + 2 + (-12931)/(-3) a multiple of 77?
True
Suppose -11*c + 7*c = 3*x - 7948, 7*x - 18617 = 5*c. Does 37 divide x?
False
Let c = 28 - 84. Let k = 124 - c. Is k a multiple of 4?
True
Suppose 0 = -5*r + 6118 + 4027. Suppose 0 = -16*c + r - 397. Does 17 divide c?
True
Suppose -h = 1 - 2. Let r be ((-273)/130)/21 - 2082/(-20). Is 6 a factor of 1 + h + -2 - r/(-4)?
False
Let x be (-8)/6*3 + (-120)/1. Let m be (-21)/(-28)*x/1. Is 38 a factor of (-2 - -8)*m/(-2)?
False
Let b(y) be the first derivative of 12*y**4 + 2*y**3/3 - 3*y**2 + 4*y - 7. Let q be b(2). Suppose -27 + q = 7*z. Is z a multiple of 17?
True
Let r(m) = -3 - 9738*m + 9758*m - 1. Is r(4) a multiple of 6?
False
Suppose -8*o - 1622 + 5846 = 0. Let q = o + -225. Does 17 divide q?
False
Suppose 0 = -25*a + 19*a. Suppose -4*q + 149 - 1393 = a. Let o = q - -435. Is 12 a factor of o?
False
Let a(g) = -10*g**3 + 9*g**2 + 17*g - 4. Let n be (-195)/520 + 74/(-16). Is a(n) a multiple of 33?
True
Suppose -3*n = -8*n + 3*d + 32, -3*d = 3*n. Suppose -n = -4*q - r, -2*r + 8 = 4*q + q. Let u(i) = i**3 + i**2 - i + 8. Does 4 divide u(q)?
True
Let r(g) = -972*g + 356. Is 163 a factor of r(-5)?
True
Let r(b) = 3*b**2 - 13*b - 28. Let m(p) = -17*p + 14. Let x be m(1). Is r(x) a multiple of 4?
False
Suppose -2*f - 842 = 2*v, 1265 = -3*f - 0*v - 4*v. Let r = -303 - f. Does 29 divide r?
True
Let r(m) = 2*m**2 - 4*m - 2. Let p be r(3). Suppose 4*g = 0, 0*o - 2084 = -p*o - 4*g. Suppose 0*h + 859 = 5*f - h, o = 3*f - 2*h. Is f a multiple of 35?
False
Let n = 15 - 18. Let s be (4 - 6) + (-6)/n. Suppose -f + 55 = 2*b - 0*f, -f - 5 = s. Is b a multiple of 3?
True
Does 9 divide (21 + 98671)/22 - 23?
False
Suppose 0 = 15*i - 34 - 26. Let c(s) = 33*s + 4*s + 1 - 4 - 3. Is 22 a factor of c(i)?
False
Let i = 2913 + -891. Suppose 2*k - 5*p - i = 0, 5*p = -0*k + 3*k - 3023. Is k a multiple of 23?
False
Suppose -4 = -z, -3*p + 2*z + 1 = -0. Suppose 5*u - 3*k + 26 = 0, p*k + 3 + 3 = -3*u. Let q(f) = -26*f + 12. Is 29 a factor of q(u)?
True
Suppose 2*d - 48 = -5*i, -4*d + 43 = 4*i - 7*d. Suppose 0 = -5*x + i, f = 3*f - x - 14. Let n(s) = 12*s - 12. Is 13 a factor of n(f)?
False
Let l be (-2 - (3683 - 4)) + 1. Is l/(-14) - 78/91 a multiple of 3?
False
Suppose 1010 + 2150 = 2*x. Is (x/40)/(1/2) a multiple of 16?
False
Let a be (64/(-4))/(8/(-4)). Suppose 2*l - a = -0*l + u, 0 = -4*l - 5*u + 30. Suppose -862 = -l*d + 4*x, 0*d - 168 = -d + 3*x. Is 29 a factor of d?
True
Is (1716/2340 - 2/6)*(-77755)/(-2) a multiple of 12?
False
Let n(j) = 4*j**2 - 62*j + 300. Is n(23) a multiple of 3?
True
Let g = 4 + 1. Suppose -g*o - 2*h = -29 - 98, 4*o - 116 = 2*h. Let m = 15 + o. Does 4 divide m?
False
Let h = 27429 - 9212. Is h a multiple of 46?
False
Suppose -13*l + c - 5 = -14*l, -3*l + 2*c = -15. Suppose 5*h = l*u + 2235, 2*h - 3*u - 179 - 718 = 0. Is h a multiple of 6?
True
Suppose -356*d - 48*d + 15113624 = 3407724. Is 61 a factor of d?
True
Let b(c) = 514*c**2 - 49*c + 144. Is b(3) a multiple of 8?
False
Let a = -642 + 652. Is 53 a factor of ((-4770)/(-75))/(4/a)?
True
Let h be ((-10)/15)/(4 + 1085/(-270)). Suppose 0 = 43*y - h*y - 2079. Is y a multiple of 23?
False
Let r = 418 - 228. Let k = -137 - -52. Let m = k + r. Is 27 a factor of m?
False
Is 58/348 + (-1655)/(-6) a multiple of 138?
True
Suppose 10*o = 7983 - 243. Let b = o - 534. Is 16 a factor of b?
True
Let q be (3 + 13815/12)/((-9)/36). Is (4/(-6))/(18/q) a multiple of 19?
True
Suppose 2*r = -h + 12, -42*r = -39*r - h - 13. Suppose 3*v + 39 = c - v, 2*c - 13 = -r*v. Is c a multiple of 4?
False
Let m be (-156)/5 + (-4)/5. Let g be ((-13)/(-26))/(0 + (-2)/24). Let i = g - m. Is 13 a factor of i?
True
Does 2 divide (-1 + 59/(-2))*(-39 + 31)?
True
Suppose 5*a + 5 - 24 = -3*m, a - 3 = -m. Let u be m/49*-7 + 16/(-7). Does 9 divide (-92)/46 + (-1)/(u/100)?
False
Let f = -771 + 1245. Is 3 a factor of f?
True
Suppose 157 - 141 = 4*v. Suppose 0 = -3*x - 2*z + 425, -2*z = -0*z + v. Is 18 a factor of x?
False
Suppose 570 = -5*b + 2*p, -2*b - 204 = -p + 5*p. Suppose 257