-36 - -188)/38 + 33208 + -2?
True
Let u(b) be the second derivative of -b**5/20 - b**4/12 - b**3/6 - b**2/2 - 8*b. Let r be u(-1). Suppose 3*a + 61 - 277 = r. Is 13 a factor of a?
False
Let w(o) = -18*o**3 - 8*o**2 - 5*o - 9. Let u(h) = 19*h - 117. Let f be u(6). Does 35 divide w(f)?
True
Suppose 249*q - 1206515 = 414475. Is 5 a factor of q?
True
Let s(z) = -z**3 + 12*z**2 - 33*z - 1. Is 85 a factor of s(-11)?
True
Suppose -z = 3*p - 20, 2*z - 4 + 0 = 0. Suppose p*r + r - 63 = 0. Suppose -r*c + 1465 + 434 = 0. Is 29 a factor of c?
False
Let p be (5 + 63/(-15))/(4/2510). Let i = -308 + p. Is 52 a factor of i?
False
Suppose 5*p - 15 = -9*x + 8*x, 0 = -5*p - 4*x + 15. Suppose 7 = z - p. Suppose f + 2*m - 2 = 0, 3*f + 3*m = m + z. Is f a multiple of 3?
False
Let l(w) = 3*w + 20. Let x be l(-6). Suppose -2*s = -10, -2*t + s + 19 = -x*s. Suppose 0 = -3*d + 3*h + 54, d = -2*h - t + 38. Does 6 divide d?
False
Let p = 26 + -23. Suppose -5*a = -y - 46 - 86, p*a - 96 = -5*y. Suppose -3*d = -27 - a. Is 18 a factor of d?
True
Let y(g) = -g**3 - 4*g**2 + 3*g + 5. Suppose 15 = -38*u + 35*u. Is y(u) a multiple of 2?
False
Let v = 18773 + -4043. Does 10 divide v?
True
Let c(w) = w + 18. Let m be (4/(-3))/(1 - (-38)/(-42)). Let v be c(m). Let q(z) = z**3 + 2*z**2 + 3*z - 5. Is q(v) a multiple of 7?
False
Suppose -q - 38 = -5*a, 4*a + 2*q - 16 = 20. Suppose -7*o + a*o = 287. Is o a multiple of 15?
False
Suppose -8*k + 7 - 151 = 0. Let b be 2/(-6) + ((-8016)/k)/4. Suppose -3*c + b = o, 3*o + c - 485 = -2*o. Is o a multiple of 24?
True
Suppose -x + 5*x - 364 = 0. Let y be 8/6 + 33019/159. Suppose 0 = -10*d + y + x. Is 4 a factor of d?
False
Suppose -22*i = -42362 - 100484. Does 29 divide i/8 - 7/((-448)/24)?
True
Suppose 2*k + 180 = -j - 0*j, -3*j + 90 = -k. Let p = k + -17. Let v = -87 - p. Is 3 a factor of v?
False
Suppose x = 5*d - 676, -4*d + 292 + 268 = 4*x. Suppose 5*z + 515 = q - d, -4*q - z = -2499. Is 16 a factor of q?
False
Let s(w) = -28*w + 87. Let v be s(3). Suppose 5*m - 1021 = n, 4*m + 3*n - 201 = v*m. Is 5 a factor of m?
False
Suppose 224*n - 592260 = 686682 - 95998. Is n a multiple of 48?
False
Let d(g) = -7*g - 103. Let k be d(-15). Suppose k*s + 36 - 1604 = 0. Is 49 a factor of s?
True
Suppose 2*g = -5*x + 7*x - 25538, 0 = -4*x - g + 51111. Is x a multiple of 6?
False
Let h(z) be the second derivative of -13*z**3/6 + 7*z**2/2 + 19*z. Let i be h(13). Is 27 a factor of i/(-24)*(27 + 1)?
True
Let g be (-4)/(-6)*(-3 + (-12)/2). Is 719/2 + (-3)/g a multiple of 20?
True
Let y(k) = 7*k**2 + 11*k + 134. Is y(-8) a multiple of 13?
True
Suppose -3*m = -6*m - 9048 + 47271. Does 114 divide m?
False
Let t be (2 + 6 + 0)*(-2)/(-4). Suppose -2*m + t*x = -25 - 35, 0 = 2*m - x - 54. Does 26 divide m?
True
Suppose 0 = -13*f + 3*f + 1300. Suppose -132*k + 500 = -f*k. Does 10 divide k?
True
Is 13 a factor of 1/(4/24) + 78696/24?
False
Let a be 6/((-7)/(35/(-10))). Suppose -4*q - 3*j = -1194, 4*q + j + a*j - 1196 = 0. Is 11 a factor of q?
True
Suppose -g + 19019 = 2*f, -17*g - 5*f + 228361 = -5*g. Does 10 divide g?
False
Is 115 a factor of 84/70*-5 + 51*61?
True
Let p = 3800 - 1449. Is 48 a factor of p?
False
Suppose 24 = -3*x + 2*x. Let m be (-3)/(-18) + 76/x. Let c = m - -33. Is c a multiple of 6?
True
Suppose 0 = 2*v - 42*v + 7320. Does 6 divide 8 - (-14)/21*v?
False
Let h(k) be the second derivative of -k**4/6 - 9*k**3/2 + 17*k**2 - 24*k. Let r be h(-14). Let p(d) = d + 20. Is 40 a factor of p(r)?
True
Let z(f) = 2*f**2 + 13*f - 33. Let l(i) = i**3 - 18*i**2 + 4*i - 94. Let k be l(18). Is z(k) a multiple of 18?
False
Is 32 a factor of 34779 + (-250)/25*1/1?
False
Let t(g) be the second derivative of -3*g**3/2 + 13*g**2 + 2*g. Suppose 0 = 34*p - 27*p + 42. Does 10 divide t(p)?
True
Let c be 4/(-8) - (-21)/6. Suppose 0*n = c*n - n. Suppose 2*w + 2*p - 256 = n, -2*p = -7*p. Is w a multiple of 8?
True
Let k = 492 + -556. Let r = k + 152. Is r a multiple of 4?
True
Is 7 a factor of (-25761)/(-5) - (-64)/(-320)?
True
Does 16 divide (-195)/3*(90/125)/(36/(-240))?
False
Let c be (-2810)/(-30) - (-4)/(-6). Suppose -5*a + 0*j + 2*j - 28 = 0, -5*a + 5*j = 25. Let y = c + a. Does 22 divide y?
False
Does 22 divide 1035/(-14490) + 989298/28?
True
Let v(l) = -973*l**2 + 992*l**2 - l**3 - 8*l - 4 - 20. Let h be v(18). Let x = h - -196. Is x a multiple of 44?
True
Let w(z) = 851*z**3 + 3*z**2 + 19*z - 51. Is w(2) a multiple of 32?
False
Suppose 0 = 122652*t - 122664*t + 106080. Is t a multiple of 136?
True
Suppose 0 = -18*t + 13983 + 5061. Suppose 100 = -3*i - 3*o + 880, t = 4*i - 5*o. Is 4 a factor of i?
False
Let j = -16378 + 25978. Suppose 0 = 6*n - 30*n + j. Does 18 divide n?
False
Let c(q) be the first derivative of 7*q**3/3 + 2*q**2 + 13*q - 1. Suppose -5*x = 4*d - 0 + 35, 0 = 3*x - 5*d - 16. Is 8 a factor of c(x)?
True
Let q(n) = n**2 - 7*n - 2. Let g(s) = 2*s - 6. Let o be g(4). Suppose -o*l + 3*z = 3, -4*l - 5*z = -6*l + 3. Does 12 divide q(l)?
False
Let n(s) = -7*s**2 + 463*s - 272. Is n(52) a multiple of 53?
True
Is 27912/(-40)*-3 + 6/(-15) a multiple of 19?
False
Let t(h) = h**2 + 14*h + 1. Let o be t(-14). Suppose 3*c + 423 = -4*q, 0 = 6*c - 7*c - o. Is 42 a factor of -4 - (-3 + q) - -2?
False
Let r = 12004 + 232. Is r a multiple of 5?
False
Let x(l) = -211 - 5 + 27*l + 26. Does 7 divide x(35)?
False
Let x(y) = -y**2 - 32*y - 85. Let v be x(-29). Suppose -q + 0 + 1 = 0, -606 = -v*l + 2*q. Is 8 a factor of l?
True
Is 20835/450 + 6/(-20) a multiple of 23?
True
Suppose -38*d + 41*d - 15 = 0. Let x(a) = 2*a + a - d*a - 53*a**3 - 4 + 54*a**3. Is x(3) a multiple of 6?
False
Let v = -7365 - -11687. Is v a multiple of 16?
False
Is -11 - 800/(14 - 15) a multiple of 26?
False
Let s be 5758/4 - 11*(-10)/(-220). Let y = 2133 - s. Is y a multiple of 14?
False
Suppose 0 = 4*w - g - 10, -3*g = -2*w - 0*g + 10. Suppose -4*t - 36 = -4*y, y + w*t - t - 11 = 0. Is 5 a factor of y?
True
Let z = 131 - 123. Suppose -y + 53 = -a, 4*y - z*y + 185 = 5*a. Is 35 a factor of y?
False
Suppose -5*d = 5*v - 1718 + 6788, -3*d - 3052 = v. Let h = -599 - d. Is 35 a factor of h?
True
Suppose 24*m + 368 = 5984. Is m a multiple of 18?
True
Let z = 892 - -4688. Is 124 a factor of z?
True
Let o = -10094 - -18942. Is o a multiple of 9?
False
Let g be 1287/66*(-38)/(-1). Suppose 2*a + 3*c - g = -3*a, 0 = 4*a - 5*c - 578. Does 3 divide a?
True
Suppose 36*c = -28 - 80. Does 51 divide ((-5)/10)/(-2*c/(-4680))?
False
Suppose -y = z + y - 37, 0 = 2*z + 3*y - 70. Does 3 divide (-54)/783 - (-5976)/z?
False
Let g(k) = k**3 + 11*k**2 + 14*k - 1. Suppose d + 5 = 2*v, v + 4*d = -7 - 13. Suppose -3*r - 21 + 3 = v. Is 19 a factor of g(r)?
True
Let q = 1508 + -5734. Let y = q - -7926. Is y/52 - (-1 - 30/(-26)) a multiple of 15?
False
Let m = 8920 - 6568. Does 6 divide m?
True
Suppose -i + 8 = 13*c - 9*c, -5*c - 3*i + 10 = 0. Suppose c*f + 29 = 357. Is 5 a factor of f?
False
Let a = -491 - -1274. Suppose 2559 = 5*x - 3*w, 3*x = 2*w + a + 753. Does 34 divide x?
True
Suppose 9*c + 42*c = 204. Let o(z) = -3*z - 4. Let r be o(-3). Suppose -675 - 66 = -c*u + 3*x, r*u + x - 912 = 0. Is 35 a factor of u?
False
Suppose -5*z + 26740 = -31*s + 35*s, -2*s - 11*z + 13404 = 0. Does 40 divide s?
True
Let b = 8 + -4. Let p be b/(-26) - (-3060)/(-221). Is 24 a factor of 108/p*84/(-9)?
True
Let s(r) = -17*r + 9. Let k(n) be the first derivative of n**4/4 + 3*n**3 + 4*n**2 - 11*n + 21. Let f be k(-8). Is s(f) a multiple of 12?
False
Let h = 5626 + 4076. Does 7 divide h?
True
Suppose 148 + 44 = 2*k + 4*d, -3*k - 2*d + 292 = 0. Does 69 divide (-414)/(-4)*k/7?
True
Let x = -4078 - -5634. Is 2 a factor of x?
True
Let o = 23592 + -7347. Is 45 a factor of o?
True
Let n(h) = 58*h**3 - 2*h**2 + 3*h - 6. Let z(w) = w**2 - 14*w - 13. Let g be z(15). Is 8 a factor of n(g)?
True
Let n(k) be the third derivative of 7*k**4/12 - 8*k**3/3 - 5*k**2. Let x be n(8). Suppose 2*r - 8*r = -x. Is r a multiple of 9?
False
Let u = -494 + 5742. Is u a multiple of 64?
True
Let c = 287 - 407. Let z = c - -122. Suppose 3*u = z*u - 5*s + 50, -3*u - 3*s + 186 = 0. Is u a multiple of 36?
False
Suppose 3 = -13*q + 68. Let x be 9 - ((-15)/q + 4). Let i(u) = -u**2 + 18*u + 1. Is 16 a factor of i(x)?
False
Suppose 8 = -5*m + 7*m. Let w be m*-1 + 1/(0 + -1). Is 23 a fac