se
Does 11 divide 1*(59/(-3))/((-29)/87)?
False
Suppose -5*c + 13 - 38 = 0. Let p(r) = -r**3 - 4*r**2 + 4*r - 3. Let n be p(c). Let k = 12 - n. Is 3 a factor of k?
False
Suppose -18*x - 4372 + 19492 = 0. Is x a multiple of 12?
True
Suppose 0 = -12*j - 309 - 4299. Let m = 642 + j. Is 39 a factor of m?
False
Suppose -o + 4*v + 13 = 0, -o = -0*o + 4*v + 3. Suppose 3*z - 13 = 2*y - 272, o*y = -5*z - 390. Let l = -49 - z. Is l a multiple of 6?
False
Let f(t) = t**3 - 3*t**2 + 2*t. Let r be f(2). Suppose r = 5*w - 33 - 62. Let j = 23 - w. Is 4 a factor of j?
True
Does 9 divide (64/(-8) - -349) + 1?
True
Suppose -a + 3 - 19 = -4*j, -j - 2*a = 5. Suppose 80 = j*h - 157. Is 26 a factor of h?
False
Let r(t) = -t**2 - 9*t - 8. Let x be r(-7). Suppose x*k = 2*k + 120. Does 10 divide k?
True
Suppose -137 + 185 = 2*u. Is u a multiple of 12?
True
Let r(u) = -8 + 2*u + 1 + 1 + 55*u. Let y be r(5). Suppose 3*x + 5*v - 209 = -23, 2*v = 5*x - y. Is 19 a factor of x?
True
Let z(k) = -k**2 - 10*k + 9. Let v = 6 - 11. Is 26 a factor of z(v)?
False
Let d = -58 - -86. Suppose 3 = 3*b + 2*i - 17, -3*b + d = 4*i. Suppose -f + b*f - 36 = 0. Is f a multiple of 8?
False
Let h(z) = -z**2 + 14. Let l be h(0). Let c be ((-8)/6)/(l/(-567)). Suppose 12 = -6*t + c. Does 3 divide t?
False
Does 7 divide 777/(-6)*(-512)/32?
True
Let c(n) = -n**2 + 13*n + 4. Let a be c(13). Let u(o) = 19*o + 16. Does 23 divide u(a)?
True
Let q = -7 - -7. Suppose q = 3*f - 76 - 176. Does 14 divide f?
True
Suppose 18*y - 16*y = 3*l + 313, -4*l + 840 = 5*y. Does 41 divide y?
True
Let y(h) = -h - 1 - h**3 + 3 - 6 - 7*h**2. Let v be ((-3)/(-6))/((-1)/14). Does 3 divide y(v)?
True
Suppose 0 = 5*y + 5 - 15. Suppose -5*n + 148 = r, 4*r - 2*r - 26 = -n. Suppose 3*j + 4*m - 52 = 0, 3*j - n = j + y*m. Is 15 a factor of j?
False
Let z(j) = 2*j**3 - 9*j**2 - 9*j - 4. Let b be z(6). Suppose 438 = 4*a + b. Does 10 divide a?
False
Suppose 0*p - 2*p + 5 = 5*y, -2*p + 2*y = 2. Is 19 a factor of (p + 6)/(-6 - (-693)/114)?
True
Is 27992/100 - 10/(-125) a multiple of 16?
False
Let t(z) = -2*z - 48. Let j be t(-22). Is 134 + -16 - j/1 a multiple of 12?
False
Let i(h) = 346*h + 207. Is i(5) a multiple of 13?
True
Suppose 4*q = -5 + 17. Let t(c) = 3*c**3 - c**2 + 3. Is 12 a factor of t(q)?
False
Suppose 2*n - 1 = -2*j + 7, -8 = -3*j + n. Suppose 2*y = -j*o + 140, y + 3*o + o - 70 = 0. Suppose 4*r - 5*i = -2*i + 165, -r - 5*i = -y. Does 16 divide r?
False
Let k(s) = 675*s**2 - 44*s + 83. Is 55 a factor of k(2)?
True
Let u(p) = -39*p + 18. Let q(g) = -118*g + 52. Let d(h) = 4*q(h) - 11*u(h). Is d(-2) a multiple of 38?
False
Let b be (-12 + 11)*(4 + -1). Is (-84)/10*10/b a multiple of 28?
True
Suppose 5*l - 1155 = -5*z, 0 = -11*l + 16*l + 4*z - 1160. Does 9 divide l?
False
Let s = 211 + -151. Let y = -57 + s. Is 3 a factor of y?
True
Let k(p) = -44*p - 5. Let g be k(-4). Let d = 270 - g. Is 9 a factor of d?
True
Is 0 + (-12225)/(-60) + (-1)/(-4) a multiple of 34?
True
Let m(f) = 70*f**2 + 33*f - 27. Is 11 a factor of m(-6)?
False
Suppose 5*z - 2*n + 60 = 0, 0*z + 2*n + 48 = -4*z. Let p = z - 2. Does 18 divide 92/1 + p/(-14)?
False
Does 2 divide ((-8)/4)/((-18)/126)?
True
Suppose -1404 = 5*a - 11*a. Suppose -i = -a + 53. Is 13 a factor of i?
False
Suppose -2*i - 2*i = -24. Let z(u) = 0*u + 2*u**2 - u**2 + i*u - 6 - u. Is z(-8) a multiple of 13?
False
Suppose 0*v + 10 = v - 4*n, -n = v - 20. Does 31 divide (-37*(-60)/v)/(2/6)?
False
Let a be -13 + 2 - (5 - 4). Let z = a - -17. Suppose -l - z = -44. Is 13 a factor of l?
True
Suppose 3*w - 22 = -a - 8, -2*a = -4*w - 8. Suppose 0 = 4*d + a, d - 68 = -p + 4*d. Let o = p + -44. Is o a multiple of 8?
False
Let o(r) = -2*r**2 - 8*r - 2. Let w be o(-8). Let h = w - -101. Is 7 a factor of h?
True
Let g = 66 + 207. Suppose -5*s + 540 = -8*s. Let d = g + s. Is 31 a factor of d?
True
Let u = 305 + -218. Let r = -73 + u. Is r even?
True
Suppose q - b = 3*b + 164, 2*b = -q + 146. Suppose -70 = -2*j - 6. Suppose 0 = -4*s - j + q. Is s a multiple of 15?
True
Suppose -6*o = -3*j - 11*o + 27, 0 = -o + 3. Suppose 0*s + s - 39 = -3*t, -36 = -s - j*t. Does 16 divide s?
True
Suppose u + 3*u = 0. Suppose -i - 4*i - 145 = u. Let w = 25 - i. Is 18 a factor of w?
True
Let i(m) = m**3 - 2*m**2 + 2*m - 1. Let d be i(2). Let c(j) = -j + 3 - 4*j**2 + 0*j**3 - 2 + j**d. Does 6 divide c(5)?
False
Suppose 4*w - w = t + 16, -3*w = -2*t - 20. Suppose i - 2*i - 25 = -h, 5*h + w*i = 152. Suppose -7*a + h = -3*a. Is a a multiple of 7?
True
Suppose 0 = 2*o - 18 - 2. Let k(v) = v**3 - 11*v**2 + 9*v + 16. Is 2 a factor of k(o)?
True
Let b = -15 - -19. Suppose 4*d + b = -2*c, 4*c + 3 = d + 4. Is 15 a factor of (15/6 + d)*30?
True
Let t = -4 + 7. Suppose -t*s = 6, 3*s = -3*j + 7*j - 318. Is 13 a factor of j?
True
Suppose -3*d + 6 = -21. Let t = 9 - d. Suppose -160 = -5*z - t*z. Is z a multiple of 5?
False
Suppose 0 = 4*y + 3*j - 7, 0 = 4*y - 0*j + 5*j - 1. Suppose 2*l = 88 + 212. Is 8 a factor of (y/(-5))/((-3)/l)?
True
Let z be 938/9 + (-16)/72. Suppose a + 5*q + 37 = 0, 2*q + 0*q - z = 5*a. Is 11 a factor of (8 - 7)/((-2)/a)?
True
Does 4 divide (-8 + (-12 - -19))/((-2)/28)?
False
Suppose -f = 1 - 18. Suppose -f*b + 7*b + 110 = 0. Does 11 divide b?
True
Let z(y) = y**3 + 13*y**2 - 19*y - 16. Let j be -2*(-34)/4*-1. Let x = j - -3. Is 19 a factor of z(x)?
False
Let p = 53 - 23. Suppose 0 = -2*h - h - p. Let i(j) = -8*j - 8. Is 19 a factor of i(h)?
False
Is (-5384)/(-28) - (-14)/(-49) a multiple of 12?
True
Let l(m) = m**3 + 2*m + 2. Let b be l(7). Is 3 a factor of b/19 + 24/228?
False
Does 36 divide ((-27)/(-14)*52)/((-27)/(-126))?
True
Let w(o) be the second derivative of -o**3/2 - 7*o**2 + 31*o. Is 7 a factor of w(-21)?
True
Let q be (2/6)/((-6)/90). Let r(p) = p**3 + 7*p**2 + 3*p + 4. Does 14 divide r(q)?
False
Does 7 divide ((-115)/25 + 5)/(3/2910)?
False
Suppose -94*z = -104*z + 1600. Does 16 divide z?
True
Suppose -b = 3*w - 7, 0 = w + w - 5*b + 1. Suppose 0*q - w*q + 30 = 0. Does 15 divide q?
True
Suppose 5*c = 2*g + 4, 12 = 4*g - 0. Let u(x) = -3*x**2 - x**3 + 2*x**c - 4 + 5. Is u(-3) a multiple of 14?
False
Let u = 498 - 406. Does 46 divide u?
True
Suppose 4764 = 13*o - 9*o. Is 15 a factor of o?
False
Let t(w) = 35*w - 130. Is t(9) even?
False
Suppose 8*o + 3275 = 3*h + 6*o, 0 = 3*o + 12. Is h a multiple of 11?
True
Let h(c) = -c**2 + 2*c + 27. Let l(d) = 4*d**2 - 4*d - 3. Let j be l(-1). Does 12 divide h(j)?
True
Let c be (-1 - 0)/((-10)/(-330)). Let u be c*(44/(-12) + 4). Let t = u + 21. Is 8 a factor of t?
False
Suppose 20 - 16 = 2*s. Suppose -2*q + s*p + 18 = 2*q, p = -q. Suppose o = -q*o + 200. Is 10 a factor of o?
True
Suppose -3796 + 1016 = -4*d. Let f = d + -478. Is 41 a factor of f?
False
Let z(l) = 156*l**2 + l - 2. Let c = 83 - 82. Is z(c) a multiple of 31?
True
Does 54 divide (-378)/(1/(2 - 6))?
True
Let p(y) = y**2 - 13*y - 22. Let s be p(16). Let q = 178 - s. Does 22 divide q?
False
Suppose 11*m = 8*m + 21. Let x be -4*5/((-15)/6). Is 58/m - x/28 a multiple of 8?
True
Suppose -4*i + 1916 + 2520 = 0. Let k = i + -694. Suppose -a = 4*a - 2*h - k, -3*h = 0. Is a a multiple of 10?
False
Let j = -3 - -9. Suppose -k - 4*c = -j*k + 8, 0 = k + 4*c + 8. Suppose 132 = 2*v + 4*a, 0 = 2*v - k*v - 2*a - 102. Does 16 divide v?
False
Let s(u) = -2*u**2 - 78*u - 240. Is s(-30) a multiple of 15?
True
Suppose -4*l - 4*t = -l + 5, 4*t + 2 = -2*l. Let a be 0*-1*(l - -4). Suppose a*r + r - 12 = 0. Is r a multiple of 12?
True
Let w = -21 - -25. Suppose 3*p - 5 = w. Suppose -p*b = -2*b - 6. Does 3 divide b?
True
Suppose 3*n + 2*a = 8 + 12, -n = -5*a + 16. Suppose -v + 63 = f + v, v - 315 = -5*f. Suppose -215 = -n*t - f. Does 14 divide t?
False
Is (-35)/(-15) - (-5855)/3 a multiple of 9?
False
Suppose -5*r = -13*r + 16. Suppose -275 = -r*f - 3. Is 35 a factor of f?
False
Suppose -n + 7 - 3 = 0, -5*g + 23 = 2*n. Suppose 11 = g*r - 31. Is (4 + 2 + -2)*r a multiple of 28?
True
Let d = 17 - 17. Suppose d = -2*s - 2*m + 242, 5*m + 28 = s - 93. Is 23 a factor of s?
False
Let b(h) = -2*h**2 - 11*h - 9. Let t be b(-5). Is 12*(-4 + (-46)/t) a multiple of 10?
True
Is 11 a factor of (-2)/(-8) - (-95082)/312?
False
Let d = -511 + 767. Is 4 a factor of d?
True
Suppose -9*s + 12*s - 366 = 0. Is 6 a factor of s?
False
Let u(r) = 