 of 61?
False
Suppose -94*w + 52*w = -1154958. Is 8 a factor of w?
False
Does 10 divide -784 - -13931 - (2/(-3))/((-2)/3)?
False
Suppose o - 8 = -m - 3, 0 = -4*o - 5*m + 20. Suppose 8*q = -4*i + 9*q + 2083, 5*q = o*i - 2615. Is i a multiple of 10?
True
Let k(p) = -p**2 + 90*p + 3589. Does 5 divide k(112)?
True
Suppose 35*f - 127737 = 11*f - 3*f. Is f a multiple of 249?
True
Let w = -3774 + 16766. Is 126 a factor of w?
False
Suppose 0*v + 2*a - 20 = -4*v, -4*v + 20 = -4*a. Suppose -6*q + 1053 = -v*q. Suppose -13*l = -4*l - q. Is l a multiple of 39?
True
Let j(p) = p - 35*p**3 - 38*p**3 - p**2 + 74*p**3 + 0*p**2. Let b(n) = -2*n**3 + 11*n**2 - 10*n - 2. Let m(s) = b(s) + j(s). Does 13 divide m(5)?
True
Suppose -18*n + 3*k = -15*n - 9831, -n - 4*k + 3282 = 0. Is n a multiple of 22?
True
Let b = 1320 + -494. Suppose m - f = 746, 5*f - 100 = m - b. Is m a multiple of 37?
False
Let b(w) = -2*w**2 - 49*w - 46. Let p be b(-14). Does 24 divide -48*(p/(-12))/(48/36)?
True
Let z(l) = 20*l**2 - 8*l - 6. Let v(p) = 19*p**2 - 9*p - 7. Let j(n) = -2*v(n) + 3*z(n). Let b be j(3). Does 5 divide -9*(b/12)/(-4)?
False
Is 6 a factor of (36 - 48)/(1*4/(-142))?
True
Let g = 1475 - -3541. Is g a multiple of 19?
True
Suppose 9 - 29 = -5*s. Suppose 3*l - 297 = 3*m, -2*l - 7*m + s*m + 203 = 0. Is l a multiple of 5?
True
Does 22 divide (-1)/2*(-8136 + -10)?
False
Let n(u) = -33*u - 100. Let m = 287 - 305. Does 13 divide n(m)?
True
Let n = 13097 + -8558. Is n a multiple of 71?
False
Let f be 2 + -4 + 3 + 659 + -1. Suppose -f + 20 = -9*j. Is 3 a factor of j?
False
Let c = -145 - -151. Does 33 divide (-1)/((c/(-1002))/1)?
False
Suppose -3*g - z - 576 = 0, 4*g - 5*z + 199 = -569. Does 3 divide 1/(2/14 - g/(-1456))?
False
Let o(i) = 20*i**2 - 12*i + 70. Is 7 a factor of o(9)?
True
Suppose 33*b - 62 = 31*b. Suppose b*c = 29*c + 798. Let q = -249 + c. Is 15 a factor of q?
True
Let g = -265 + -65. Is (40/100)/(1/g*-1) a multiple of 27?
False
Let c = -19 - -25. Suppose -7*w + c + 8 = 0. Suppose 3*b = -w*k - k + 57, 5*b + 1 = k. Does 7 divide k?
False
Let i(g) = -2*g + 35. Let w be i(15). Suppose -4*u = -2*u + b - 9, 3*b - 24 = -w*u. Suppose u*h + 0*f = 4*f + 172, -173 = -3*h + 5*f. Is h a multiple of 14?
True
Let c(r) be the first derivative of -r**4/4 + r**3/3 - r**2 + 67*r - 5. Let g be 0*(24/6 + -5). Is 16 a factor of c(g)?
False
Suppose -5*y + 3*y + 1674 = h, -3313 = -2*h + 3*y. Is h a multiple of 13?
True
Does 4 divide (0 + 1272/(-20))/(50/(-875))?
False
Suppose -5*v + 26*a - 34*a = -74699, -v + 3*a + 14926 = 0. Is v a multiple of 6?
False
Let x(r) = 80*r**3 + 3*r**2 - 3*r + 5. Let a be x(2). Is 73 a factor of (-3 - -7) + a - -2?
True
Let i(a) = 627*a**2 + 8*a - 46. Does 15 divide i(4)?
False
Let u = -12 + 1860. Is u a multiple of 77?
True
Suppose 207 = 2*l + 3*j, 523 = -6*l + 11*l + 2*j. Let c = l - -200. Suppose 5*g - 305 = c. Is g a multiple of 11?
False
Suppose 5*c + q + 0*q - 878 = 0, -2*c = q - 353. Let a be (-2)/(-3)*(-539)/(-88)*12. Suppose 0 = 2*x + a - c. Does 9 divide x?
True
Suppose 165*s - 2674687 - 227663 = 0. Is s a multiple of 10?
True
Suppose -15*c + 8950 = 1004 - 619. Does 17 divide c?
False
Let d(a) = a**2 - 20*a - 1. Let q be d(21). Suppose -6*n - 3906 = -q*n. Is 31 a factor of n?
True
Suppose -3*c + 23665 = -3*t + 2*c, -t = 2*c + 7892. Is 10 a factor of t/(-27) - 38/171?
False
Suppose i - 17370 = -4*i - 2*u, -2*i - 4*u = -6948. Is i a multiple of 18?
True
Let r(z) be the first derivative of -111*z**4/4 + 2*z**3/3 + z**2 + z + 28. Suppose -3*t = -0*t + 3. Does 16 divide r(t)?
True
Let k = 718 - 494. Let w be 3/36*-4*72/(-6). Suppose -2*b - k = -w*j + 44, -4*b + 8 = 0. Is j a multiple of 15?
False
Let p(q) = -6*q**3 - 10*q**2 - 43*q - 1300. Is p(-17) a multiple of 21?
True
Let a(n) = 5*n**3 - 29*n**2 + 17*n + 8. Let z(d) = -14*d**3 + 85*d**2 - 51*d - 24. Let l(f) = 17*a(f) + 6*z(f). Is l(-8) a multiple of 44?
True
Does 57 divide -4 + 6 - (5 - 2) - -16531?
True
Let h be (-2)/4 + 6663/6. Suppose c - h = -14*c. Is 4 a factor of c?
False
Suppose 120*i - 5621 = 47*i. Is i a multiple of 32?
False
Is 11 a factor of (-1)/(-5)*7 + 845937/95?
False
Let c(v) = v**3 + 11*v**2 + 10*v + 2. Let n be c(-10). Suppose -2*m + 208 = -0*m. Suppose -m = -n*w + 106. Is 21 a factor of w?
True
Suppose 62*l - 56*l - 114 = 0. Suppose 0 = 24*v - l*v + 2*u - 3446, 682 = v + 4*u. Is 69 a factor of v?
True
Is 30 a factor of (-12852)/(-7) + (-6)/1*-1?
False
Let q = 642 + -626. Let y(t) = -t**3 + 15*t**2 + 53*t + 28. Is y(q) a multiple of 31?
True
Suppose 4*s + 40*w = 43*w + 14638, -3*w + 10968 = 3*s. Is 14 a factor of s?
False
Suppose -5*o + 29*o + 22*o = 911812. Is 106 a factor of o?
True
Let b = -980 - 226. Let u = 1836 + b. Is u a multiple of 30?
True
Suppose 317*i - 319*i - 11338 = -2*u, -2*i - 22678 = -4*u. Is 27 a factor of u?
True
Suppose 2*b - 22*r = -24*r + 9656, 14468 = 3*b - r. Does 15 divide b?
False
Is ((-1222)/(-3) - 16)/((-3)/(-18)) a multiple of 198?
False
Does 22 divide (1/(-3))/(7/(-35679))?
False
Let q be -8*-1*(3 + -2)*-32. Is (q/(-16))/(4/38) a multiple of 19?
True
Suppose -1838 = -42*c + 5*c + 231891. Does 14 divide c?
False
Suppose -4*n + 6*n = 6. Let c(x) = 3*x - 6. Let h be c(n). Is 10 - (h - 1)*1 - -1 a multiple of 9?
True
Suppose j = 6*n - 10*n, -2*j + 44 = -3*n. Suppose 2*x + x = 5*q + 12, 3*q + j = 4*x. Suppose -428 = -4*z - 5*r, q = z + 2*z - r - 302. Is z a multiple of 6?
True
Let x(y) be the first derivative of y**3/3 - 17*y**2/2 + 34*y + 67. Let w = 23 - 7. Is 18 a factor of x(w)?
True
Suppose 0 = -5*c - 2*u + 38, -7*u - 10 = -5*c - 2*u. Does 19 divide 2 + 88/(-33) - (-1096)/c?
False
Let w(x) = -4*x + 1. Suppose 3*z + 85 + 161 = 0. Let t = -93 - z. Is w(t) a multiple of 9?
True
Let s be -151*(3 + -4) - 6. Is 6 a factor of -4 + (s - (-4 - 1))?
False
Is 49 a factor of 756 + -1 - (-50)/(-13 + 23)?
False
Let u(o) = 2*o**3 - 40*o**2 + 165*o + 71. Is 16 a factor of u(23)?
True
Suppose -4*a + z = -95452, -16*a = -14*a - 3*z - 47736. Does 87 divide a/33 + 1/(-11)?
False
Suppose 5*z - 370 = 5*c, -4*z = -4*c - 7*z - 261. Does 16 divide c/(-161) + 2328/7?
False
Let a(l) = -12 + 11 + l**2 + 4*l + 5. Let y be a(-4). Suppose -535 = -y*k - k. Does 13 divide k?
False
Suppose 245 = -2*i + 3*l - 173, 0 = -4*i + 3*l - 848. Let y = 451 - i. Does 35 divide y?
False
Suppose -f = -3*n + 21, -5*n + 73 = -3*f - 6*n. Is 30 a factor of 48*(-6 - 272/f)?
False
Suppose 0 = 8*i - 12*i - 4*l + 908, 4*l = -5*i + 1132. Suppose -2*r - 3*p + 136 = -72, i = 2*r - p. Is 4 a factor of r?
False
Let p be (-1)/(-4)*2*(20 - 20). Let l = p - 0. Is 24 a factor of 120 + l/(1 - -4)?
True
Suppose -30*t - 569 - 451 = 0. Let i(h) = 2*h**2 + 5*h + 1. Let x be i(5). Let c = t + x. Is c a multiple of 14?
True
Let y = 1170 + -680. Suppose 2*z = -16 - 4. Is 28 a factor of (12/z)/((-3)/y)?
True
Suppose -117*f + 47*f + 57090 = -55*f. Does 33 divide f?
False
Let k(t) = -t**3 + 21*t**2 + 23*t - 20. Let s be k(22). Suppose 0 = z + 4, s*j - 4*z = -7*z + 24. Does 18 divide j?
True
Is 60 a factor of (0 - 32/(-56))/(10/176995)?
False
Let u = -321 - -321. Suppose u = 3*z - 523 - 494. Does 20 divide z?
False
Suppose 11*z - 10 = 9*z. Suppose -365 + z = -8*m. Suppose -m*y + 50 = -43*y. Is y a multiple of 11?
False
Let p(h) = -2*h + 45. Let m be p(21). Suppose k - 3*x = 139, k - 2*k + 169 = m*x. Suppose 5*n = 3*i - 16 - k, -3*i = -2*n - 176. Is i a multiple of 10?
True
Suppose -4 + 6 = g. Suppose -g*d + 7*d + 2*i - 1 = 0, 2*d = -i + 1. Is 21 a factor of (-1)/((-4)/332) - d?
True
Let l be -5 - -3 - (-27424)/16. Suppose 4*a + u - 1724 = 0, -29*a - l = -33*a - 4*u. Is a a multiple of 54?
True
Let m(f) = -29*f**2 + 89*f - 254. Let o(c) = 6*c**2 - 18*c + 51. Let u(q) = 2*m(q) + 11*o(q). Does 50 divide u(4)?
False
Suppose 15 = -87*u + 90*u. Suppose 0 = -u*y + 8*q - 4*q + 301, 0 = -5*y - 2*q + 277. Does 3 divide y?
True
Suppose 1361 = -12*t - 2263. Is 38 a factor of (0 - t)/((-18)/(-54))?
False
Let y(z) = 158*z - 93. Let k be y(5). Let w = -409 + k. Does 24 divide w?
True
Let z be (-4)/(-10)*(-5)/1. Let s be 5*z*(-12)/40. Does 22 divide ((-9)/s)/((-4)/76)?
False
Let q be 2 + (4 - 550/2). Let g = 391 + q. Let n = -62 + g. Is 20 a factor of n?
True
Suppose 0 = 5*p - 13*p + 96. Suppose 4*n - 5520 = -p*n. Is n a multiple of 18?