 - 61 = -3*s - 234. Let a = -34 + k. Does 20 divide f(a)?
False
Let h(i) = i**3 + 2*i**2 - 21*i + 14. Let x be h(-6). Is (((-581)/x)/7)/1*28 a multiple of 76?
False
Let k = -40288 + 63901. Is 11 a factor of k?
False
Suppose w - j = 20586, -29*j + 34*j + 61770 = 3*w. Does 91 divide w?
False
Let z(d) = 27*d**3 + 4*d**2 + 13*d - 60. Does 12 divide z(5)?
True
Is 6/16 + 3164664/192 a multiple of 12?
False
Let t = -37 - -40. Let w be ((-40)/(-12))/2*t. Suppose -2*b = w*b - 266. Is 38 a factor of b?
True
Let y(n) be the second derivative of 0 + 18*n - 41/2*n**2 + 35/6*n**3. Is 8 a factor of y(5)?
False
Let i(a) = 100*a**2 + 547*a - 4913. Is 10 a factor of i(9)?
True
Suppose 5*x = x + 24. Suppose 0 = -4*o + 3*p - 6*p + x, -2*p = -4*o + 16. Suppose o*a + 3*y - 5 = 163, y = 2*a - 106. Does 18 divide a?
True
Let g be ((-5)/1)/(33904/33908 - 1). Suppose 0 = -26*t - 9*t + g. Does 22 divide t?
False
Let h = -727 - -542. Let a = h + 650. Is 15 a factor of a?
True
Suppose -5*r + 288 = 3*r. Let x be (r/(-27))/(6/(-99)). Suppose -13*j + x*j - 90 = 0. Does 5 divide j?
True
Does 26 divide (1/((-3)/(-36)*10))/((-72)/(-323160))?
False
Let u = 458 + -458. Suppose 0*p - p + m + 375 = u, 370 = p + 4*m. Is 49 a factor of p?
False
Let y(x) = 6*x**2 - 27*x - 2833. Does 14 divide y(79)?
True
Let p be 8 + (-1 - -5 - (-30)/(-5)). Suppose 0 = 2*d + 5*i - 4, -3*d - p*i = -i - 11. Suppose d*h - 236 = 135. Is 11 a factor of h?
False
Let b = -663 + 662. Let l(q) = -143*q - 31. Is 7 a factor of l(b)?
True
Suppose 13*n - 156 = 52. Let k(f) = 4*f**3 - 13*f**2 + 9*f + 9. Let s(p) = -3*p**3 + 14*p**2 - 8*p - 9. Let d(m) = -2*k(m) - 3*s(m). Is 15 a factor of d(n)?
True
Let x = -73 - -76. Suppose x*a = 15, 2*q - 119 = -0*a + 3*a. Is 3 a factor of q?
False
Suppose -5*b - 3*u = 44, -u = -4*b - 0*u - 42. Let v(g) = -g - 5. Let h be v(b). Suppose 509 = h*t + 119. Does 13 divide t?
True
Let b be (-11 - (-75)/10)*8/14. Is ((-20)/6)/(-5)*(-657)/b a multiple of 32?
False
Let y = 2297 + -2110. Is 4 a factor of y?
False
Let c be -3*2/(-30) + 3732/15. Suppose 5*j - 142 = 3*j + 2*k, -3*k + c = 4*j. Let h = 183 - j. Is 39 a factor of h?
True
Let d = -106 - -69. Let h = d + 79. Let y = -14 + h. Is y a multiple of 14?
True
Let o(t) = -249*t - 1334. Is o(-16) a multiple of 9?
False
Suppose 0 = -18*t + 744 - 24. Is (-16)/t*5 - -387 a multiple of 14?
False
Let l(f) = -f**2 + 15*f - 50. Let k be l(6). Suppose 2*w + p + 0*p - 569 = 0, 1136 = 4*w + k*p. Does 26 divide w?
False
Let w = -16285 - -22754. Does 24 divide w?
False
Let u(r) = -9*r**2 + 11*r + 108. Let l be u(23). Is l/(-36) - (-2)/(-9) a multiple of 61?
True
Let t be ((-717)/6 - -2) + 4/8. Let v = -52 - t. Is v a multiple of 8?
False
Let l = 43 - 43. Suppose -3*g - 5*h = 0, l = 4*g - g - 5*h. Is (5 + 0)/(6/12 - g) even?
True
Let w(m) be the first derivative of -m**4/4 + 16*m**3/3 + 13*m**2/2 + 75*m + 24. Is w(17) a multiple of 7?
True
Suppose 0 = -3*p + 5*i + 10455, 10431 = -24*p + 27*p + 3*i. Does 145 divide p?
True
Suppose 2*u + 5*m - 10890 = 0, 16*u - 20*u + m + 21758 = 0. Suppose 0 = 228*w - 220*w - u. Is w a multiple of 17?
True
Suppose -14*x = 19*x - 142725. Is 49 a factor of x?
False
Suppose -2*o + 2*f + 2866 = 0, 3*o + 4*f = -0*f + 4264. Does 42 divide o?
True
Suppose 344 = -o - 4*n, n = 3*o + 4*n + 1005. Let t be (2/7)/2 + o/(-28). Is t/(-18) - (161/(-3) + -1) a multiple of 6?
True
Let c(s) = s**2 - 69 - 17*s**2 - 19*s + 8*s**2 + 9*s**2. Is c(32) a multiple of 6?
False
Let w(z) = 49 + 5 + 435*z + 3*z**2 - 392*z. Is 9 a factor of w(-18)?
True
Suppose 0 = 14*b - 9*b - 15. Suppose 987 = b*a - k, 19*k - 16*k = -9. Does 35 divide a?
False
Suppose 3*c - 26810 = 604. Is 8 a factor of c?
False
Let g(i) = 11*i**3 - 10*i**2 + 19*i + 6. Let o(x) = 4*x**3 - 3*x**2 + 7*x + 2. Let v(j) = 3*g(j) - 8*o(j). Is 6 a factor of v(6)?
False
Is 7*6*(-64)/224 - -2489 a multiple of 45?
False
Let x(c) = -17*c - 95. Let m be x(-8). Suppose -m*l = -40*l - 48. Is l a multiple of 8?
True
Let q(u) = -125*u - 49. Let r be q(-7). Suppose 138 = -3*t + 5*k + 615, 5*t + 2*k - r = 0. Does 10 divide -2 + t - (-2 - -4)?
True
Suppose 4*a - 2*a - 10488 = -3*g, 78758 = 15*a - 2*g. Does 70 divide a?
True
Let i(h) = 13*h**2 + 9*h + 15. Let j be i(-3). Suppose -106*x + j*x + 483 = 0. Does 23 divide x?
True
Let q(k) = -3*k**2 + 4*k - 4. Let d(l) be the first derivative of l**3/3 - l**2/2 - l - 9. Let h(s) = 4*d(s) + q(s). Is h(-10) a multiple of 12?
False
Let m(l) = 80*l**2 + 6*l + 6. Let r be m(-2). Let h = 410 - r. Does 12 divide h?
True
Let m(s) be the third derivative of s**4/6 + 38*s**3/3 + 20*s**2 + 3*s. Is 6 a factor of m(-16)?
True
Let p(r) = -22*r - 134. Let u be p(-7). Suppose -113 = -c - u. Does 9 divide c?
False
Suppose -3*t - 8 = -5. Let m be (-3)/(-2)*(-274)/(-3)*t. Let h = m - -269. Is 12 a factor of h?
True
Let h = -40 + 44. Let q(t) = -89*t**2 + 89*t**2 - h - t**3 + 6*t. Is 5 a factor of q(-3)?
True
Suppose -4*d - 77 = -85. Is 16 a factor of d/(-2) - 292/(-4)?
False
Let s(v) = -v**3 - 2*v**2 - 2*v + 25. Let g be s(0). Suppose 0 = -2*o - 10, o = 4*r - g. Is (4/r)/(-3*4/(-420)) a multiple of 28?
True
Let a = 91 + -89. Suppose -a*p + 154 = -8*j + 11*j, -3*j + 12 = 0. Does 3 divide p?
False
Does 2 divide -14648*(4/8)/(-5*4/10)?
True
Let j(a) = -a**3 - 12*a**2 - 13*a - 22. Let s be j(-11). Suppose -5*b + 2847 + 98 = s. Does 31 divide b?
True
Let m be (-3)/(-27)*0*(-1 - 0). Let q(p) = -p**3 + 3*p**2 - p + 32. Is q(m) a multiple of 11?
False
Suppose 5*p - 10 = 0, -4*p = -d + 22 - 15. Let i = 119 + -68. Suppose 3*t - i = -d. Does 2 divide t?
True
Let c = -4323 - -9034. Does 89 divide c?
False
Let b(y) = 13*y**3 - 6*y**2 - 5*y + 1. Let q(g) = -g**3 + g**2 + g. Let o(f) = -b(f) - 4*q(f). Let p be o(2). Let l = p - -127. Is l a multiple of 8?
True
Suppose 10*g = 17*g + 4942. Let z = -383 - g. Is z a multiple of 19?
True
Is 124 a factor of (13 - 2 - -49)/(3/234)?
False
Let p(k) = 0*k**2 - 12*k**2 - 2 - 8 - 771*k + 776*k. Let m be p(3). Let h = m - -207. Does 17 divide h?
False
Suppose 0 = -13*c - 5821 + 75147 + 22766. Is c a multiple of 21?
False
Let f(r) = -r**2 + 10*r + 26. Suppose 4*k + g - 27 = 0, 4*k - 5*g = k + 49. Does 18 divide f(k)?
False
Let d(z) = 6*z - 14. Let x(p) = -p. Let r(j) = -d(j) - 5*x(j). Let h be r(11). Suppose -h*u + 4*v = 3*v - 95, -u = -5*v - 27. Does 8 divide u?
True
Let a be (-4)/(-8)*-13 - 3/(-6). Let v(i) be the first derivative of -i**4/4 - 5*i**3/3 - 3*i**2/2 - 10*i - 22. Is v(a) a multiple of 5?
False
Let d = 155 + -218. Is (-2940)/d*((-68)/(-10) - 2) a multiple of 16?
True
Suppose -t + 133 = -99. Let o = t - 159. Is 5 a factor of o?
False
Does 37 divide (-185)/(-2)*15502/337?
True
Suppose -29*c + 27*c + 40 = 0. Suppose -c = -3*n - 4*a, -n + 3*a - 20 = -a. Suppose 7*v - v - 504 = n. Is v a multiple of 21?
True
Suppose 0 = 7*z - 11*z. Suppose -636 = -4*m + o + 3980, -3*m + o + 3461 = z. Suppose -q + m = 10*q. Is 7 a factor of q?
True
Let m(i) = -17*i - 24. Let l(x) = -2*x**2 - 53*x - 28. Let g be l(-26). Is 5 a factor of m(g)?
True
Suppose -2*a + 3*k + 12 = 5*k, -5*a + 3*k = -6. Let b(v) = 44*v - 28. Is b(a) a multiple of 13?
True
Is 2613/(-33)*-208 + 622/3421 a multiple of 45?
True
Suppose 41 = 4*a - 19. Suppose 75 = -4*g + a. Does 7 divide (-15)/25 + (1 - 699/g)?
False
Suppose -2*k - 6*f + 1033 = -f, -5*f = -3*k + 1612. Suppose v - 3*a = 378, -3*v - 2*a + 649 + k = 0. Does 26 divide v?
True
Let q(h) = -3*h + 24. Let w = 39 + -69. Let m = 30 + w. Does 19 divide q(m)?
False
Let v = -79 - -88. Suppose -v*d - 9*d = -9072. Does 14 divide d?
True
Suppose 2*k - 5*g = -0*k + 1299, -k + 3*g + 650 = 0. Suppose 17*l = k + 101. Is 17 a factor of l?
False
Let j(o) = -79*o + 4. Let d be j(-4). Suppose 15*s + 6*s = 924. Suppose d = 4*n + s. Is n a multiple of 5?
False
Let h be (-18)/(105/126*4/50). Let y = h + 612. Does 19 divide y?
True
Let f be -208 + (2 + -4 - -3) + -3. Let c = f - -441. Is c a multiple of 21?
True
Let c be (2 + -5)/((-3)/11). Let x(s) = -s**2 + 13*s - 20. Let b be x(c). Suppose -b*z - 3*z = -3*f - 297, 2*z = 3*f + 117. Does 20 divide z?
True
Is 1468/(-35966) + 1302228/98 a multiple of 11?
True
Let x(t) = -t**2 - 2*t. Let o(i) = -61*i**2 + i - 9. Let y(c) = -o(c) + x(c). Is y(3) a multiple of 18?
True
Let f(t) = 67*t + 2. Let j(p) = -1