 Is g a multiple of 4?
False
Let r be ((-36)/(-10))/(16/3760). Suppose -i - 2*a + 3*a + 280 = 0, -3*i + r = -5*a. Is i a multiple of 26?
False
Let g = -23099 + 35833. Does 5 divide g?
False
Let l(a) = 49*a**2 - 3*a - 4. Let q be l(-2). Suppose 4*s - 2*f - q = 0, -s + 6*f = 4*f - 42. Suppose -4*h = -z - 178, h + 3*z = -14 + s. Does 10 divide h?
False
Suppose 4*a + 2*r = 36176, -4*r - 5629 + 105113 = 11*a. Is 28 a factor of a?
True
Let u(o) = -4*o - 45. Let t(v) = -v**2 - 15*v + 42. Let f be t(-18). Let p be u(f). Suppose -2*b - b + 5*q + 486 = 0, -462 = -p*b - 3*q. Is b a multiple of 33?
False
Suppose 40966 = -3*o + 4*a, 2*o - 6*o - 4*a = 54584. Is o/(-40) + (-3)/(-4) a multiple of 38?
True
Let u(l) be the third derivative of -l**6/720 - l**5/120 + 3*l**4/8 - 3*l**2. Let d(m) be the second derivative of u(m). Is d(-13) a multiple of 4?
True
Let y(m) = 213*m**2 + 28*m - 28. Suppose -17 - 10 = -27*j. Is 6 a factor of y(j)?
False
Suppose -15*h = -47 - 43. Suppose -77 = -h*z + 211. Is 48 a factor of z?
True
Let o(d) = d**3 + 7*d**2 + 3*d - 14. Let b be o(-6). Suppose -2432 = -b*h - 4*j, -2*h = 3*j + j - 1208. Is 68 a factor of h?
True
Let z(u) be the second derivative of -2*u**3/3 - 10*u**2 - 30*u. Let w be z(-6). Suppose -s + 3*b = -w*s + 162, -4*s - 2*b + 214 = 0. Does 8 divide s?
False
Suppose -2*d = 3*d, -8 = -2*v + 2*d. Let j(p) = 58 + 76 + 3*p - 4*p - 25 - v*p**2. Does 41 divide j(0)?
False
Suppose -5*i = -3*l - 9506, 11*i + 2*l = 14*i - 5702. Is 10 a factor of i?
False
Let n be 46/((-6)/(-15)*5). Suppose -q - 6*q = -3*q. Let v = n - q. Does 11 divide v?
False
Let s(z) = 23*z**2 + 10*z + 14. Let y be s(-6). Let r be y/(-8) - (-2 + (-9)/(-4)). Let h = r + 105. Does 7 divide h?
True
Suppose -236 = 8*g - 52. Let r = -72 - g. Let y = r - -56. Is 7 a factor of y?
True
Let f(a) be the second derivative of 0 - 5*a - 5/3*a**3 + 8*a**2 - 1/12*a**4. Does 5 divide f(-11)?
True
Let q(a) be the second derivative of 2*a**4/3 + 2*a**3/3 + 2*a**2 - 28*a. Is q(3) a multiple of 22?
True
Let x = 694 - 689. Suppose -253 - 111 = -3*w - 5*y, -y - 616 = -x*w. Is w a multiple of 5?
False
Let t(w) = -4*w**3 + 5*w**2 + w + 326. Let q(n) = 5*n**3 - 6*n**2 - 2*n - 324. Let h(c) = 5*q(c) + 6*t(c). Is 28 a factor of h(0)?
True
Let h be (1 - 56/40) + (-436)/10. Does 5 divide 2/(4 + 0 + 174/h)?
False
Suppose -27*d + 13*d = -455504. Is (-10)/95 + d/76 a multiple of 37?
False
Let c be (70/(-21))/((-2)/(-3)). Let g be 6/(-4)*((-40)/(-12))/c. Let w = 50 - g. Is w a multiple of 12?
False
Suppose -5*u - 9182 = -75*n + 74*n, 2*n - 18442 = -3*u. Does 110 divide n?
False
Suppose -114*x + 118*x + 29320 = 4*t, -x = 0. Does 185 divide t?
False
Suppose 48*s - 46*s - 144 = 0. Does 11 divide (-6624)/s*((-26)/4 + 1)?
True
Suppose -2*k - 5*n - 54 = 33, 0 = 4*n - 20. Let x be (k/6)/((-3)/(-18)). Let u = -29 - x. Does 11 divide u?
False
Suppose -22*a - 223839 = 41*a. Let y(w) = -6*w + 4. Let d be y(3). Is (-2)/d + a/(-119) a multiple of 11?
False
Suppose z + s = 8034, -16067 = 15*z - 17*z - s. Is z a multiple of 29?
True
Let o(s) = s - 5. Let p be o(6). Let b be (p/1)/(3/318). Suppose -q - 5*g + b = 0, 3*g = q - 2*q + 108. Does 22 divide q?
False
Let b(l) = -464*l - 10. Is b(-3) a multiple of 85?
False
Let t be (-1148 - 4) + (-18)/9. Let y = -722 - t. Does 27 divide y?
True
Suppose 0 = -5*f + 2078 + 7879 + 2048. Is f a multiple of 8?
False
Let m = 10095 - 7875. Is m a multiple of 69?
False
Let x(z) = 3*z + 31. Let u be x(-9). Suppose k = -5*y + 554, u*y + 8 - 454 = 2*k. Does 6 divide y?
False
Let i = 57 + -23. Let h = 33 - i. Let w = h - -155. Is w a multiple of 22?
True
Let y(j) = -j**2 + 4*j + 17. Let c be y(6). Does 5 divide (-28 + (c - (-4)/(-1)))*-2?
False
Let f(j) = 10*j**2 - 14*j - 1. Let c be f(-5). Suppose 2*b - c = -1. Does 53 divide b?
True
Suppose 0 = -85*c + 341103 + 394997. Does 49 divide c?
False
Suppose 1048*w - 1053*w + 10 = 0. Suppose 0 = -2*c - 3*l + 91, -2*c = w*l + 3*l - 97. Is 5 a factor of c?
False
Let f(o) be the second derivative of o**6/240 - 7*o**5/40 + o**4 - 27*o. Let j(r) be the third derivative of f(r). Is 7 a factor of j(11)?
False
Let g(k) = -k**2 - 34*k - 12. Let h(w) = 6*w - 1. Let m(t) = g(t) + 2*h(t). Suppose 2*u - 7*u = 95. Is m(u) a multiple of 21?
False
Suppose 2*y - 24 = 27*o - 23*o, -4*o = 16. Does 14 divide ((-10584)/(-162))/(y/6)?
True
Suppose 4*m - 6750 - 9524 = 5*o, 20340 = 5*m - 5*o. Is m a multiple of 19?
True
Let k(i) = i**3 + 6*i**2 + 2*i + 22. Let x(h) = -h**3 + 11*h**2 + 19*h - 11. Let b be x(12). Let c = b + -79. Is 3 a factor of k(c)?
False
Let k be (-4)/(-30) - (-30860)/300. Suppose -2*g - 5*j = 32 - k, -3*j + 65 = 2*g. Does 13 divide g?
False
Suppose 113*k = 97*k - 16. Let n(c) = 68*c**2 - 11*c - 10. Is n(k) a multiple of 4?
False
Suppose -112763 - 110689 = -54*p. Is 11 a factor of p?
False
Suppose 95*k - 954499 - 1355046 = -0*k. Is 25 a factor of k?
False
Let w = 77 + -50. Let u(y) = 2*y**2 - 3 - 37 - w*y + 65. Is 17 a factor of u(15)?
False
Does 40 divide 2720/(((-3)/(-12))/(1287/312))?
True
Suppose 0 = 5*g - 3*q + 11, -g + 5*q + 1 = -10. Let r be g*(1 + -2) + 1 + -5. Suppose -c + 2*y + 72 + 74 = r, -5*c + 5*y = -755. Is c a multiple of 13?
True
Let k(a) = -3*a**3 - 13*a**2 + 10*a + 18. Let q be k(-10). Let c = -877 + q. Is c a multiple of 13?
True
Suppose 5*g - 12751 = -3*a, -3*g + 7653 = -16*a + 17*a. Does 29 divide g?
True
Let i be 66/((3/90)/((-2)/(-9))). Suppose 0*t - 2*t = 5*f + 190, 5*f - i = 4*t. Let m = -15 - t. Is 10 a factor of m?
True
Let l(z) = 479 - 479 - 3*z + 2*z**2. Let q be l(2). Suppose 5*u + 59 = q*p, -65 = -2*p - 0*p + 3*u. Is 9 a factor of p?
False
Let l(k) = 418*k**2 - 302*k - 1820. Is l(-6) a multiple of 94?
True
Let y be 15876/20 - ((-56)/(-20) + -3). Let l = y - 384. Is 13 a factor of l?
False
Let n be (-4)/(-3) + (-64)/48. Suppose n = 62*a - 55*a - 819. Does 4 divide a?
False
Let r(y) = 7*y + 107. Let n be r(-13). Suppose 0 = -n*i + 164 + 732. Is 8 a factor of i?
True
Let b = 55 + -16. Is (-13)/b - (-1 - 381/9) a multiple of 14?
False
Let m(i) = -26*i - 1210. Is m(-81) a multiple of 32?
True
Let i be 1/(-1) + (3 - 5). Does 54 divide 3*i/(-9) - 159/(-3)?
True
Let g(s) = 7*s**2 + 1. Suppose m = 2*m - 1. Let f be g(m). Suppose f*p = 2*p + 828. Is p a multiple of 16?
False
Suppose -31*n - 9334400 = 32*n - 383*n. Does 24 divide n?
False
Let u(c) = c**3 - 17*c**2 + 95*c + 221. Does 169 divide u(32)?
False
Let z be (-24)/192 - 3518/16. Let g = z - -575. Does 71 divide g?
True
Let s = -50 + 53. Suppose 3*j + 15 = s*w, 3*w = 5*w - 3*j - 15. Let d(g) = -g**2 + 5*g + 86. Is d(w) a multiple of 43?
True
Suppose -20*y + 33*y = 14*y - 6754. Is 234 a factor of y?
False
Let v(s) = s**2 + 8*s + 16. Let z be v(13). Let n = 366 - z. Is 4 a factor of n?
False
Suppose 4*n - 2*n - 14 = 0. Suppose n*k + 0*k - 21 = 0. Suppose -14*g + 1936 = -k*g. Does 19 divide g?
False
Suppose 5*t - 5*q = 7440, -143*t + 5*q + 1476 = -142*t. Is t a multiple of 21?
True
Let h be 2102/5 + 2/(-5). Let u be (10832/80 - 25)/(4/10). Let r = h - u. Does 9 divide r?
True
Suppose 3*m - 6361 = 5645. Does 58 divide m?
True
Let p(b) = b**3 - 2*b**2 + b - 2. Let t be p(2). Suppose z - u - 22 = t, -z - 88 = -5*z - 2*u. Does 2 divide z?
True
Let q = -118 - -70. Let o = q - -446. Is 30 a factor of o?
False
Suppose 0 = 6*n - 638 + 668. Is 22 a factor of (-1080)/(-8) - n/((-20)/4)?
False
Let r(t) = t**2 + 21*t - 50. Let d = 159 - 184. Is r(d) a multiple of 50?
True
Let m(v) = v**3 + v**2 + v + 1. Let y(t) = -4*t**3 - 21*t**2 - 11*t + 9. Let g(a) = -3*m(a) - y(a). Is 59 a factor of g(-10)?
True
Suppose 23*p - 16*p - 56 = 0. Suppose 2*q = f - 110, 0 = 10*f - p*f - q - 220. Is f a multiple of 55?
True
Suppose 0 = 3*o + 3*u - 11598, -354 + 362 = u. Does 24 divide o?
False
Suppose -j = -134*l + 138*l - 229748, -4*l - 4*j + 229772 = 0. Does 130 divide l?
False
Let v(i) = -i**3 + 65*i**2 - 91*i + 357. Is v(63) a multiple of 42?
True
Suppose h + 73 = 30. Let w = h - -48. Is 968/40 - (-1)/w*-1 a multiple of 4?
True
Let o = -166 - -172. Suppose -157 = -o*m + 5*m - 4*x, -3*x = 9. Does 26 divide m?
False
Suppose -7*h - 45 = -2*h. Let u(v) = 6 - 21*v + 32 + 5*v - 65. Does 39 divide u(h)?
True
Let p = -100 - -105. Let k(c) = -3*c + 30. Is k(p) a multiple of 15?
True
Suppose -q