9 + (-398360)/20*-1?
False
Let k(f) = -f**3 - 2*f**2 + 2*f - 19. Let w be k(-4). Suppose 3*i - w*h - 1583 = 0, 539 = i - 3*h + 7*h. Does 59 divide i?
True
Let y be 74/14 - (120/42)/10. Suppose -3*j = -4*i - 2503, 4179 = y*j - 2*i - i. Is 23 a factor of j?
False
Suppose -12*n + 9648 = 12*n. Let w = n + -316. Is 18 a factor of w?
False
Let r(b) be the second derivative of b**5/20 - b**4/6 - 3*b**3/2 + 3*b**2/2 - 5*b. Let k be r(6). Suppose -2*u + 173 = -h, -16 = -u - 4*h + k. Does 17 divide u?
False
Let m(i) = -12*i - 24. Suppose -78*z - 205 = -83*z. Suppose -5*f - z - 14 = 0. Is 18 a factor of m(f)?
True
Let k(b) = 27*b**3 + 17*b**2 - 88*b + 50. Is 22 a factor of k(5)?
True
Let h(n) = 12*n + 2278. Is h(-68) a multiple of 43?
True
Suppose -11448 = -k + 4*h, -4*k + 22703 + 23067 = -5*h. Does 40 divide k?
True
Suppose 4*p = -3*h + 140432, 19*h - 4*p = 16*h + 140368. Is h a multiple of 15?
True
Let j(k) = -k**2 - 4*k + 4. Let l be j(-5). Let z(i) = 2*i + 1. Let w(o) = -o - 1. Let h(p) = l*z(p) + w(p). Is h(-8) a multiple of 19?
False
Suppose -2542 = -l + 818. Is l a multiple of 40?
True
Let u(y) = -31*y + 765. Let r be u(0). Let h = -399 + r. Is 61 a factor of h?
True
Let v(z) = -2*z + 38. Let s be v(19). Let j be 1 + -4 + s + 383. Suppose -4*x + j = -0*x - 3*p, -x + 4*p = -95. Is x a multiple of 43?
False
Suppose 89505 = 9685*y - 9676*y. Is 153 a factor of y?
True
Let x(r) = 91*r**2 - 8*r - 65. Is x(-9) a multiple of 14?
True
Let t(q) = q**2 - 13*q + 44. Let k be t(7). Does 8 divide (19 + 9)*3/3*k?
True
Let b(o) = 3038*o + 9383. Is 329 a factor of b(11)?
False
Let c be (-10 + (-2165)/25)/(1/(-15)). Is c/15 + -4 - (-6)/(-10) a multiple of 7?
False
Let b = -6972 - -8333. Does 4 divide b?
False
Let x(w) = -5*w**2 - 12*w + 35. Let t be x(5). Suppose -a - 5*g - 4 = 0, 5*a + 5*g = -0*g. Is (-3)/((63/t)/7) + a a multiple of 51?
True
Let b(s) = -s**2 + 2*s + 7. Let l be b(6). Is (-8 - l/2)*1082 a multiple of 20?
False
Let v be ((-114)/8)/(9/(-24)). Suppose p + 3*p = -2*b + v, p - 2 = b. Suppose -650 = -5*u - h, p*h = 5*u + 3*h - 650. Does 29 divide u?
False
Let d(z) = 259*z**3 - 2*z**2 + z. Suppose -247 - 15 = 2*p. Let l = p - -132. Is d(l) a multiple of 26?
False
Suppose 3*y + 5*p = 4582, -32*p = 4*y - 30*p - 6114. Is 39 a factor of y?
False
Let w be (2/(-3))/(2*(-2)/(-690)). Let h = w + 122. Is 2 a factor of h?
False
Suppose -6*i = -13166 - 11800. Does 102 divide i?
False
Let n(r) = -17*r + 27. Let a be n(-18). Suppose 3*x = h - a, x + 1 + 4 = 0. Suppose -w = 2*g - 135, 4*w + 3*g - 207 = h. Does 17 divide w?
False
Let o = -2210 - -2569. Is 3 a factor of o?
False
Let o(i) = 145*i**2 - 52*i - 181. Is o(-5) a multiple of 7?
False
Suppose 0 = 3*c + 4*f + 2 + 21, -21 = c + 4*f. Let g(m) = 2*m + 5 - 4 - 1801*m**3 + 1773*m**3. Is g(c) a multiple of 6?
False
Let k(y) = -y**3 + 11*y**2 + 16*y - 29. Let u be k(11). Suppose -a - 5*s = -41, -3*a + 7*a = -3*s + u. Does 12 divide a?
True
Let m(o) = -1588*o + 488. Is m(-4) a multiple of 40?
True
Suppose 2*i + 0*i + 18 = 2*r, r - 3*i = 19. Suppose -4*l - 4*j + 7*j + 229 = 0, 0 = -l + r*j + 54. Does 4 divide l?
False
Suppose -2*a - 15*s - 784 = -11*s, -2*a + 4*s - 808 = 0. Let h = a - -418. Is 10 a factor of h?
True
Suppose 0 = 5*x + 2*l - 117, -5*x = -0*l - 5*l - 110. Let z(d) = 2*d**2 - 45*d + 9. Is 9 a factor of z(x)?
False
Let a(m) = 178*m - 42. Is a(26) a multiple of 93?
False
Let u(o) = -o**3 + 17*o**2 - 19*o - 27. Let a be u(11). Suppose -a = -8*d + 750. Does 16 divide d?
False
Let r(q) = 7*q + 77. Let o be r(-10). Does 17 divide (o - (-6 + -209)) + -1?
True
Suppose 56289 - 221470 = -10*a + 104739. Does 89 divide a?
False
Suppose -3*g - 10 + 26 = 2*p, 4*p - 22 = -g. Suppose -p*l - 198 = -3*b + 378, 0 = -b + l + 194. Does 31 divide b?
False
Let f(d) = 233*d**3 - 35*d**2 + 166*d + 34. Is 160 a factor of f(5)?
False
Suppose 0*y - 1780 = -y - 2*c, 5*y + 2*c = 8940. Let i be 2/(-21) - (-3344)/1596. Does 25 divide 3/(-16 - i) + y/12?
False
Let o(w) = -2*w - 37. Let x(z) = 6*z + 113. Let t(h) = -21*o(h) - 6*x(h). Does 3 divide t(-7)?
True
Let k = 5597 - 3942. Does 6 divide k?
False
Let h(n) = 60*n + 26. Let p be h(11). Suppose 0 = -4*d - 238 + p. Let r = d - 77. Is 11 a factor of r?
False
Let u(d) = -2*d + 3. Let g be u(0). Suppose -8 = 2*y - g*j, y = -j + 2*j - 2. Does 12 divide (-1 + y)/(3/(290*3))?
False
Suppose 2*y - 5*x = 3*y + 13, 4*x = 4*y - 44. Suppose 1526 = y*s - 1351. Let k = s - 173. Does 11 divide k?
False
Let y(v) = -v**2 + 11 - 5*v + 5*v + 7*v. Let n be y(11). Let g = 66 + n. Does 11 divide g?
True
Let s(g) = -g**3 - 3*g**2 - 3*g + 2. Let n be s(-2). Suppose n*t + 52 = 164. Does 3 divide t?
False
Let t = 710 - 1446. Let j = 754 + t. Is 11 a factor of j?
False
Let r(a) = 519*a + 525. Is 24 a factor of r(29)?
True
Suppose b = -4*n + 370, -5*n - 3*b = 2*b - 470. Let d = 3001 - 3069. Let w = d + n. Does 4 divide w?
True
Let b be (-44 - 1) + -2*6/(-12). Let t(v) = -2*v**3 + 2*v**2 + 5*v - 3. Let w be t(4). Let c = b - w. Is c a multiple of 8?
False
Let f = 431 + -429. Suppose -f*i + 7*i + 3*y = 3914, 0 = i + y - 782. Does 6 divide i?
False
Suppose -6535*d - 228623 = -6572*d. Is d a multiple of 51?
False
Let v be (-50)/(-6)*(27 - 6). Suppose 26 = 5*f - 29. Let d = v + f. Does 18 divide d?
False
Suppose -8*v - 62976 + 210432 + 204584 = 0. Is v a multiple of 13?
True
Suppose -52*x + 30695 + 35865 = 0. Does 40 divide x?
True
Let h(m) = -7*m + 63. Let f be h(9). Let k(v) = v**3 + 2*v**2 - 4*v + 136. Is 19 a factor of k(f)?
False
Let j = -2563 - -3913. Does 54 divide j?
True
Let u(d) = d**2 + 34*d + 35. Let a be u(-34). Let l = a + -12. Is l a multiple of 21?
False
Let n = 475 - 471. Is 15 a factor of ((-530)/n)/((-21)/42)?
False
Let j = -36 + 46. Let f be (4 - 45/j)*-86. Let x = 17 + f. Does 15 divide x?
True
Suppose 17*s - 12*s = -20, -4*n - 4*s = -7416. Does 14 divide n?
False
Let b(j) = j**3 - 2*j**2 - 9*j + 1. Let w be b(5). Let k = -31 + w. Let z = k + 25. Is 11 a factor of z?
False
Let b(t) = -t**3 - 10*t**2 - 2*t - 10. Let j be b(-10). Suppose 25 = -5*z, 0 = 4*g + 4*z - z - 313. Let k = g + j. Is 23 a factor of k?
True
Suppose 114*x - 122*x + 64514 = -28158. Is 138 a factor of x?
False
Let z(t) = -5 - 38*t + 14*t + 91*t. Is 15 a factor of z(5)?
True
Suppose 5*q = -z + 669, 2*q - 1716 = -3*z + 317. Is z a multiple of 6?
False
Let n(r) = -8*r**2 - 15*r - 9. Let i(k) = -15*k**2 - 29*k - 19. Let b(w) = -6*i(w) + 11*n(w). Let z be b(-9). Suppose -3*u - z = -5*u. Is u a multiple of 27?
False
Let b be (-6 + 8 + -4)/(6/(-27)). Let i(s) = s**2 - 15*s + 174. Is i(b) a multiple of 6?
True
Suppose 56*x - 45*x + 154 = 0. Let y(q) be the first derivative of q**3/3 + 5*q**2 - 14*q - 2. Is 20 a factor of y(x)?
False
Suppose 11*l + 3 - 3 = 0. Suppose 2*f + 3*f + 3*q = l, 0 = -f - 4*q. Suppose 4*v + 4 = -f*c - c, -c + 1 = 3*v. Is c a multiple of 2?
True
Let k(t) be the first derivative of 31*t**2/2 + 3*t - 20. Let q be k(-2). Let v = 97 + q. Is 12 a factor of v?
False
Suppose 4*l = 7 + 1. Suppose -5*u + 86 = l*v - v, -2*v - 3*u + 151 = 0. Suppose -3*o + v = 11. Is o a multiple of 4?
True
Let z be (-2 - 11/(-4))/((-7)/140). Is -372*(16/(-40))/((-12)/z) a multiple of 30?
False
Suppose -11*d = -12*d + 474. Suppose x - 2*g = 248, -5*g - 506 = -4*x + d. Is 6 a factor of x?
True
Does 7 divide (-107205)/(-10)*(28/98)/(3/7)?
True
Let x be 20/(-4) - (-4 + -5). Suppose 207 = x*w - 5*b, 0 = -4*w + 3*b + 145 + 56. Is w a multiple of 19?
False
Let t = -4053 - -6370. Suppose 0 = -6*p + t + 353. Does 13 divide p?
False
Let i(m) = -2*m**3 - 4*m**2 - m - 1. Suppose 5*l - 20 = 3*y - 8*y, 0 = -y + 3. Let h be 2/(l/2*(-36)/27). Is 14 a factor of i(h)?
False
Let z(s) = -s - 1. Let q(b) = b**2 - b - 6. Let t(p) = q(p) - 2*z(p). Let k be 74/(-8) + (-1)/(-4). Does 17 divide t(k)?
True
Suppose 184944 = 63*a - 11931. Is a a multiple of 25?
True
Let x(y) = -53*y - 96. Let z be x(-2). Is 1/(z/90) + 629 a multiple of 13?
False
Let a(d) = -d**3 - 10*d**2 - 11*d - 12. Let j be ((-1)/1)/((-11)/(-110)). Let f be a(j). Suppose 10*t - 12*t = -f. Is t a multiple of 5?
False
Suppose 0 = 4*d + 4*m + 860, -d - 621 = 2*d - 3*m. Let w = d + 67. Does 11 divide (-8960)/w - (-2)/(-9)?
False
Let k = -931 + 3287. Is k a multiple of 19?
True
Let s(y) = -35*y - 2336. 