 a factor of (f/25 + 2)/((-3)/795)?
False
Let k be (-355)/(-30) + -3*(-1)/18. Let n(i) = -5*i + k*i**2 + 5 - i**3 - 8 - i - 3. Is n(10) a multiple of 27?
False
Is 30 a factor of (-32)/12 + (-71872)/(-24) + -7?
False
Let c = -186 - -192. Suppose k - 124 = -c*t + t, -4*k = 2*t - 568. Does 18 divide k?
True
Suppose 519*b = 513*b + 2538. Let k = b + -305. Is k a multiple of 10?
False
Let r(z) = -400*z + 626. Is 14 a factor of r(-25)?
True
Suppose -25 = 5*c, -5*y - 19*c + 26610 = -22*c. Is 94 a factor of y?
False
Let n = -772 - -1324. Suppose s - 7*s + n = 0. Suppose 76 = 4*d - s. Is d a multiple of 21?
True
Let b = 15958 - -4340. Is 78 a factor of b?
False
Let k be 22 - 20 - ((-114)/2)/(-1). Let j = -42 - k. Let s = 34 - j. Does 3 divide s?
True
Suppose -9*x + 230885 + 346930 - 169890 = 0. Is x a multiple of 25?
True
Suppose -2*d = y - 372, 2*y + 3*d + 362 = 3*y. Suppose 4*r = j + 152 + 1425, r + 5*j = y. Does 7 divide r?
False
Let z = 41 - 2. Let d be (6/15)/(z/(-40) + 1). Suppose -292 - d = -7*q. Is 11 a factor of q?
True
Suppose -2*a = 4*k - 4252, -3*a - 5*k + 7*k = -6386. Is a a multiple of 26?
False
Suppose 3*v - 6*v + 45 = 0. Is 4/(-2) + -402*(-10)/v a multiple of 14?
True
Suppose 145*b - 29*b = 88973 + 24707. Does 49 divide b?
True
Suppose 11*t - 95 = 6*t. Let r = 24 - t. Suppose -4*o + 100 = 2*v, 0 = -4*v + 4*o - r*o + 179. Is 6 a factor of v?
False
Let d(z) = 103*z**2 + 5*z + 4. Let k be d(-3). Suppose 0 = 4*m + 2*p - 566, -5*m + k - 211 = 2*p. Suppose -m*l = -134*l - 1405. Is l a multiple of 38?
False
Let p = -11 - -6. Does 29 divide (4/(-12))/((p/(-1827))/(-5))?
True
Let o(x) = -7*x - 37. Suppose 5*b - 33 = -58. Let d be o(b). Let q(v) = 69*v**2 + 4. Is q(d) a multiple of 28?
True
Suppose -56 = -24*u + 10*u. Suppose -2*b - 1026 = -2*r, -5*b + 0*b = -u*r + 2054. Is r a multiple of 20?
False
Suppose -39*s + 26 = -37*s. Suppose -83 + 5 = -s*l. Is l even?
True
Suppose t = -11*j + 16*j + 959, -3*t = -3*j - 2853. Is (-3 + t/(-3))*-3 a multiple of 67?
False
Is (15/(-4))/(((-2)/(-163))/(1392/(-58))) a multiple of 15?
True
Suppose -22418 = -35*s + 755842. Suppose -s = 2*l - 19*l. Is 68 a factor of l?
False
Let i be (-1)/(-3) - (-5 + (-80)/(-15)). Suppose i = -3*u - 4*y - 20, 2*y + 16 - 6 = 4*u. Suppose -2*l + 3*l - 185 = u. Is 37 a factor of l?
True
Suppose 2*o + 41508 = i, 5*i + 7823 = -5*o + 215258. Is i a multiple of 98?
False
Let w(h) be the first derivative of 379*h**3/3 + 61. Is 11 a factor of w(-1)?
False
Is (77/2)/(-21 + 18029/858) a multiple of 39?
True
Suppose -2*q = -3*i + 3, -1 = -2*i + 5. Suppose -3*g = -l - q, -4*g - g - l = -13. Suppose g*v - 15 = 1. Is v a multiple of 8?
True
Let c(u) = -u**2 + u + 27. Let f be c(0). Let m(s) = s**3 - 28*s**2 + 27*s + 67. Is m(f) a multiple of 27?
False
Let m(r) be the first derivative of r**3/3 + 8*r**2 - 62*r - 60. Is 31 a factor of m(17)?
False
Let r = 3152 - 596. Is 4 a factor of r?
True
Let k be (-8)/2*5*(-6)/24. Suppose x - 3*a + 1124 = 3*x, -2789 = -k*x + 3*a. Is 18 a factor of x?
False
Let j(x) = x**3 - 12*x**2 + 10*x + 14. Let o be j(11). Let f(s) = -6*s**2 + 12*s**2 - s**o - 1 - 2*s + 7 - 2. Is f(4) a multiple of 9?
False
Suppose -5*v + 96 = c, -10*v + 12*v = 4*c - 296. Suppose -6*m + 325 = 4*i - m, i + 3*m - c = 0. Is i a multiple of 26?
False
Let g(b) = 9*b - 13. Let y(u) = 2*u + 19. Let t be y(-8). Suppose 2*s + 33 = t*v, 0 = 2*v - 3*v - 2*s + 19. Is 13 a factor of g(v)?
True
Let l(x) be the second derivative of -69*x**5/10 - x**4/6 + x**3/3 - x**2 + 27*x. Let z be l(1). Let p = 10 - z. Does 25 divide p?
True
Let n(a) = a**2 - 2*a - 16. Suppose 0*h + 4*h + 32 = 0. Is n(h) a multiple of 32?
True
Let f = 2 + 3. Suppose -f*t - 4*j = 510, 4*t = -5*j + 4*j - 397. Let b = -58 - t. Does 10 divide b?
True
Suppose -3*r = 4*k - 23, 0 = -2*k - 3*r - r + 4. Let s(u) = u**3 - 8*u**2 + 2*u + 4. Is 4 a factor of s(k)?
True
Let h = 71 + -59. Suppose -f = -3*s + 1344, 8*f = h*f. Is s a multiple of 32?
True
Let i = 54 - 48. Let f be 0 + (-2)/(-4) + i/4. Suppose 0 = f*c - u - 335, 0 = 5*c + u - 4*u - 836. Is 15 a factor of c?
False
Let d = -21983 - -32433. Is 38 a factor of d?
True
Let h be (195/4)/((-3)/(-24)). Suppose 5*x - 145 = h. Does 6 divide (-5)/(-30) + x/6?
True
Suppose -7348 = 25*t - 143873. Is t a multiple of 135?
False
Let h = -27575 + 34736. Does 273 divide h?
False
Suppose -4*z = -y - 651 - 371, 265 = z - 5*y. Suppose -2*q = -194 - 100. Let h = z - q. Is h a multiple of 9?
True
Let o(f) = 10*f**2 + 12*f - 6. Let y(w) = w**3 - 6*w**2 - 9. Let m be y(6). Let k be o(m). Suppose -424 = -8*p + k. Is 28 a factor of p?
True
Suppose 0 = 3*p - 2*g + 5*g - 21, 4*p = g + 3. Let s be p + (-2264)/(-14) - 8/(-28). Suppose -s = -5*k + 11. Is 4 a factor of k?
False
Let m = 14 + 5. Let h(w) = -12*w + 5*w**2 + 10*w**2 + 3*w**2 - m*w**2 + 12. Does 21 divide h(-11)?
False
Let z(d) = 910*d - 7171. Does 23 divide z(12)?
True
Let b(o) = 6968*o + 2826. Is 111 a factor of b(2)?
False
Let j(v) = 281*v**3 - 3*v**2 + 32*v - 69. Is j(2) a multiple of 2?
False
Suppose 5*k = -3*h - h + 32, -17 = -5*k + h. Suppose -2*q = -2*p + 332, -5*q = k*p - 323 - 359. Is p a multiple of 8?
True
Let n(m) be the second derivative of 85*m**4/6 + 7*m**3/6 - 3*m**2 + 21*m - 2. Is 28 a factor of n(1)?
False
Suppose -91*m + 92*m = 10. Suppose -5*f - 394 = -m*o + 9*o, 5*o = -f + 1866. Is o a multiple of 17?
True
Let c(l) = 3*l**2 + l - 56. Let n be c(8). Let h = 56 + n. Is 20 a factor of h?
True
Let j(u) = -48*u**3 + 19*u - 44*u**3 - 4*u**2 + 93*u**3 - 3*u**2 - 3. Is 25 a factor of j(6)?
True
Suppose 10*w - 12*w = -90. Suppose -3*z - 5*u + 30 = 0, 3 = -5*u + 18. Does 9 divide z/((-100)/(-8))*w?
True
Let m = 17553 - 16508. Does 13 divide m?
False
Let a(v) = v**3 - 16*v**2 + 27*v + 2. Let g be a(13). Is 9 a factor of (-22)/g - (1 + (-138)/14)?
True
Let f(j) = j**3 - 14*j**2 - 49*j - 1. Let i be f(17). Suppose 23*w - i*w + 1720 = 0. Is 2 a factor of w?
True
Suppose 50*n + 2*j + 17721 = 51*n, -n + j + 17722 = 0. Suppose -34*y + n = 3*y. Does 14 divide y?
False
Let h = 79 - 73. Let y be 2*(h/3 - 28). Let f = -24 - y. Is 14 a factor of f?
True
Let j be 3/6*12 - -25. Suppose -j*r = -29*r - 4*c - 74, -40 = -r + c. Does 2 divide r?
False
Suppose 0*o + 3*o = 9. Let n(r) = 4*r**3 + 2*r**2 + 5*r - 2. Let v be n(o). Let l = v - 84. Is 10 a factor of l?
False
Suppose 36 = -404*t + 400*t. Does 5 divide (15/10)/(t/(-390))?
True
Suppose 5*g - 17 = -2*p + 3*p, g + 4*p = -5. Suppose -3*k - 1073 = -l - l, g*k + 1085 = -4*l. Let q = -207 - k. Does 38 divide q?
True
Let j(l) = 85*l - 721. Is 109 a factor of j(29)?
True
Let w(p) = -2*p**2 + 12*p - 3. Let s be w(5). Let g be 84/24*6/s. Suppose b = 69 + g. Is 12 a factor of b?
True
Let h be 51 + 0/2 + (2 - 4). Let t = h + -53. Is t/(-1 + 249/255) a multiple of 34?
True
Let g = 101 - 52. Let p = g - -109. Does 9 divide p?
False
Let h(q) = 3*q**3 - 15*q**2 - 2*q + 12. Does 43 divide h(17)?
False
Is 132 a factor of ((-3)/1)/(68/(-106556))?
False
Let m = 148 + -145. Suppose 5*x = -2*g + 3221, 2*x + m*g - 589 = 695. Does 15 divide x?
True
Let l = -39 + 13. Let x = -119 + 121. Is 12 a factor of l/(((-3)/x - -3)/(-6))?
False
Suppose -509 = -6*d - 497. Suppose -d*b - 8 = 0, 4*q - 5069 = -3*b + 3495. Is 67 a factor of q?
True
Suppose -44160 = -121880*c + 121873*c + 48723. Does 23 divide c?
False
Let z(k) = k**2 - 14*k + 160. Suppose 309 = 20*n - 11. Does 24 divide z(n)?
True
Let i(q) = q**2 + 14*q + 9. Let s(z) = z**2 - 2*z - 2. Let m(o) = i(o) - 2*s(o). Let k be (-2 - -2) + (-26)/(-2). Does 26 divide m(k)?
True
Suppose -5*b = 2*l - 17283 - 1823, 0 = 2*l + 3*b - 19110. Is 118 a factor of l?
True
Let y be (96/(-84))/((-4)/14). Suppose n - t - 184 = 0, -2*n + y*n - 372 = 4*t. Does 26 divide n?
True
Let r(x) = -5*x - 143. Let m be r(-10). Suppose -g - 14 = -4*n + 117, -421 = 3*g + 2*n. Let q = m - g. Does 23 divide q?
True
Let i = -8 - -4. Let t(r) = r**2 + 2*r - 6. Let q be t(i). Is (q + (-3)/(-3))/(-2)*-100 a multiple of 30?
True
Suppose 5*y - 3*h - 56932 = y, 0 = 7*y - 4*h - 99631. Is y a multiple of 30?
False
Let f = 16 + -14. Let y be -1*(-1)/f*4. Suppose -k + q - 278 = -y*k, -k = -5*q - 254. Does 17 divide k?
False
Suppose 0 = 3*i - 5*h - 497, 3*i + 5*h = 633 - 146. Suppose -i = -25*m + 461. Is 3 a factor of m?
Fal