 + 122. Does 41 divide b?
True
Let z(b) = -795*b**3 + 5*b**2 - 9 + 796*b**3 + b - 15*b. Is 30 a factor of z(-5)?
False
Suppose 0 = 2*m - 314 - 706. Let w(h) = 5*h**2 - 2*h + 1. Let x be w(1). Suppose m = n + x*n. Does 10 divide n?
False
Let g be (-8)/(-10)*(8 + -3). Suppose -g*h = -2*h. Suppose 170 = 2*r + 3*r - 5*n, -n + 3 = h. Is 8 a factor of r?
False
Does 17 divide -12410*11/(825/(-45))?
True
Suppose 627752 + 393498 = 190*y. Is y a multiple of 9?
False
Let z(w) = -w**3 - 4*w**2 + 10*w + 3. Let c(t) = -3*t**3 - 13*t**2 + 30*t + 10. Let y(b) = 3*c(b) - 8*z(b). Let v be y(-8). Is 40 a factor of 3774/85 + 4/v?
False
Let b(j) = -5*j - 20. Let p be b(-5). Suppose -295 = -q - 4*q + p*m, -4*q - 5*m + 245 = 0. Is 6 a factor of q?
True
Is 835 - (-7 - -6)*-11 a multiple of 37?
False
Is (-367136)/(-532) + (-222)/(-57) + -4 even?
True
Suppose 5*v - 1903 - 2327 = 5*m, 882 = v + 5*m. Is 8 a factor of v?
False
Let q(n) = 94*n + 2507. Is 23 a factor of q(0)?
True
Suppose 27 = -5*k - 23. Let f(z) = -z**3 - 9*z**2 + 20*z - 5. Let y be f(k). Is ((-18)/7)/(15/y) a multiple of 9?
True
Let b(w) = -89*w - 278. Does 50 divide b(-11)?
False
Let s = 60 - 57. Suppose s*i - 212 = 4*j, -i = 4*j - 6*j - 72. Is i a multiple of 15?
False
Suppose 98*r = 137*r + 363*r - 109746. Is r a multiple of 90?
False
Let m(v) be the first derivative of v**3/3 + v**2 + 10*v - 116. Does 5 divide m(10)?
True
Suppose 4*k + 2*h + 9767 - 45457 = 0, 0 = 3*k + 4*h - 26760. Is 92 a factor of k?
True
Let l(z) be the first derivative of -3*z**2/2 - 9*z + 28. Let o be l(-13). Suppose 16*x + o = 18*x. Does 3 divide x?
True
Suppose -2*t - 4*q + 306 = 212, -3*t + 147 = 4*q. Is 53 a factor of t?
True
Suppose -17*x = -19*x + 6. Let v be x + -2 - (4 - 8). Suppose -g = -3*f + 324, f - v*g - 108 = -2*g. Is f a multiple of 12?
True
Let u(g) = 4*g - 1. Let z be u(-2). Let p(o) = -o**3 + 16*o**2 - 46*o - 6. Let y be p(12). Let a = z + y. Is 9 a factor of a?
True
Suppose -a - 41 = 3*t, 0 = -2*t + 3*t + 1. Let f = -36 - a. Suppose 0 = 2*j - f*s + 6*s - 238, 640 = 5*j + s. Is j a multiple of 17?
False
Suppose -a = 82 + 2. Let u be ((-5)/3)/((-14)/a). Let g(f) = -f**3 - 8*f**2 + 15*f + 3. Is g(u) a multiple of 18?
False
Let m(u) = -u**3 - 2*u**2 - u + 4045. Let j be m(0). Suppose 5*l + 4*h - j = 0, -4*h - 3293 - 792 = -5*l. Is l a multiple of 39?
False
Suppose -l + 10294 = 2*r, 7*r + 41155 = 4*l + 12*r. Is l a multiple of 20?
True
Does 119 divide ((-45069)/1629)/(2/(-396))?
False
Let y(q) = 21*q**2 - 17*q - 319. Is 127 a factor of y(-20)?
False
Suppose 13*a = 9*a - 4*u + 28, -u = -5*a + 17. Suppose 2*v - 3*n + 4*n + 740 = 0, -377 = v + a*n. Let i = v - -593. Is 28 a factor of i?
True
Suppose 3*f + 5*a - a = 30, -4*a = 0. Suppose 3*o - 2*c = 1148, -4*c + f = -2*c. Suppose -6*d - 14 + o = 0. Is 17 a factor of d?
False
Suppose -3*i - 6 = -k, -2*k - k - 5*i = -60. Suppose -11 = -2*r + k. Suppose -r*u + 9*u + 100 = 0. Is 25 a factor of u?
True
Suppose 0 = -184*n + 898923 + 945309. Does 22 divide n?
False
Let l be -3 + 4/8*128 + -2. Suppose -l*y + 55*y + 1672 = 0. Does 29 divide y?
False
Let d = 69 + -67. Suppose 5*k + 21 = -d*s, 4*s - 3*k + 3 = -0*k. Is 19 a factor of (6 - -18)/((-2)/s)?
False
Let w(v) = 2*v + 22. Let p = 21 + -29. Let d be w(p). Let r = 26 - d. Is 4 a factor of r?
True
Let a(x) = -x**2 + 27*x + 116. Let d be a(-4). Let l(h) = -h**3 - 5*h**2 - 16*h - 34. Does 22 divide l(d)?
True
Let b(l) = -2*l**3 + 3*l**2 + 8*l + 3. Let f(x) = 6*x**2 + 4*x + x**3 - x**2 + 65 - 67. Let d be f(-4). Is b(d) a multiple of 9?
False
Suppose 5*k - 2606 = 9994. Does 60 divide k?
True
Is 6363/202*10*(-3 - -4) a multiple of 25?
False
Suppose 5*z - 6*d = -7*d + 153, 3*z - 4*d = 78. Suppose -z*x + 38*x = 2240. Is x a multiple of 14?
True
Let f(a) = -2*a + 53. Let u be f(24). Suppose 536 = 2*q + 4*r, 0*q + u*q = 5*r + 1295. Does 22 divide q?
False
Let m(r) = -2*r + 16. Let b be m(6). Suppose c - 2*w = 308, b*w + 143 = -c + 463. Does 39 divide c?
True
Let w = 520 - -438. Suppose w + 153 = 11*k. Suppose -5*v = -3*i - k, -4*v = -i - i - 82. Does 11 divide v?
True
Let r(t) = 3*t - 33. Suppose -4*d = -2*w + 6, -5*w = 2*d - w - 12. Suppose d = 3*c - 44 + 2. Is r(c) a multiple of 4?
False
Suppose 838428 = 162*i - 1592220. Is i a multiple of 17?
False
Suppose 0 = -5*g + 13 + 12. Suppose 4*i + 4*w = 5*i - 65, -4*w + 277 = g*i. Suppose -2*a = -3*t + 7*t - 66, -4*t + a = -i. Is 15 a factor of t?
True
Suppose 0 = 5*h + 20, -o - 4*o + 5*h - 350 = 0. Let z = o + 76. Suppose -5*s + 167 = z*t, 3*t - s - 127 = 98. Is 19 a factor of t?
True
Let k(m) = 22*m - 6. Let i be k(4). Let g = i + -78. Suppose g*x - 148 - 460 = 0. Does 8 divide x?
True
Let y(k) be the second derivative of 5/6*k**3 + 0 + 1/6*k**4 - 3/2*k**2 + 17*k. Is 12 a factor of y(5)?
True
Suppose -2*w + 8 = -10. Let v be (1 - -111) + (6 - w - -1). Suppose -65 = -q + v. Is 35 a factor of q?
True
Let d be (-4 - -1)/(6/(-10)). Suppose d*k = 10*k - 2125. Let s = k + -243. Does 13 divide s?
True
Let r(h) = -208*h - 43. Is 36 a factor of r(-36)?
False
Let o(r) = -14 - 8*r - 14 + 24. Let d = -111 + 110. Is o(d) even?
True
Suppose 3*b - 3*z - 3 = 0, b - 9 = -2*b - 3*z. Suppose b*n - 168 = -2*n. Suppose 0*h + 13 = h - 2*u, 0 = -3*h + 5*u + n. Is 5 a factor of h?
False
Let u = 21229 - 19509. Is u a multiple of 43?
True
Suppose -2*k = 40 + 66. Let j = k - -38. Is 5 - (1/(-3) + 10/j) a multiple of 6?
True
Let q = 29 + -23. Is q + (-4 - -273 - 5) a multiple of 30?
True
Let b be (-11 - -22)*1*10. Let k be -2 + -3*b/(-6). Let a = k - -19. Does 18 divide a?
True
Let r = 4659 - 2775. Does 184 divide r?
False
Suppose -1494*u = -1430*u - 2445376. Is u a multiple of 156?
False
Let v = -5 - -16. Let i = -7 + v. Suppose -361 = -4*t - 3*l, -i*t + 420 = 4*l + 60. Is 19 a factor of t?
False
Suppose 0 = 68*r + 5*r - 119355. Does 2 divide r?
False
Let x(f) = f**2 - 11*f + 15. Is 3 a factor of x(34)?
False
Let j = -65 - -66. Is (-29*j)/((-84)/168) a multiple of 14?
False
Suppose 4*o = w + 11701, -6*o + 6*w = -9*o + 8742. Is o a multiple of 9?
False
Let n(f) = -f**2 - 28*f + 17. Let d be n(-29). Let a = d - -430. Does 19 divide a?
True
Is (-7)/((-308)/8) - (-266098)/77 a multiple of 36?
True
Let n be (-51)/((-1)/(-2)*(-88)/220). Let d = n + -192. Is d a multiple of 5?
False
Let h(s) = -s**2 + s. Let d be -2 - (-10 + 3) - (-1 + 5). Let o(j) = 2*j**2 - 2*j + 3. Let t(p) = d*o(p) + 4*h(p). Is 3 a factor of t(0)?
True
Is 342040/544*(-8)/(-5) a multiple of 71?
False
Let d = -4251 + 4883. Is d a multiple of 6?
False
Suppose 110*w - 179185 = 527235. Does 22 divide w?
False
Let c be -2 + 3 + -10 + 25 + -10. Let i(m) = 15*m**2 + 19*m - 78. Is 24 a factor of i(c)?
True
Let k = -4420 - -8809. Does 14 divide k?
False
Suppose -110*c + 23177382 = 103*c. Does 14 divide c?
False
Let y = -18546 + 27456. Is 18 a factor of y?
True
Suppose -71*f + 76*f = 3*y + 23394, 0 = 4*f + 5*y - 18730. Is f a multiple of 20?
True
Suppose -3*z = 5*l - 15, 3*z - 6*l + l = 15. Let s(m) = z*m + 691 + m**2 + 8*m - 703. Is 20 a factor of s(-17)?
False
Suppose -5*y = -v + 1251 + 1801, 2*y - 9224 = -3*v. Suppose -6*o - 6*o + v = 0. Does 16 divide o?
True
Suppose 12*d - 9*d = -12. Let s be (d/(-10))/(2/3350). Suppose c - 6*c + 5*f = -s, 2*f = c - 130. Does 49 divide c?
False
Let r(s) = -s - 27. Let f be r(-10). Let p(g) = -g**2 - 21*g - 38. Is 15 a factor of p(f)?
True
Let t = 114 - 112. Let g be (3/t)/((-27)/(-126)). Let v(q) = 29*q - 45. Is v(g) a multiple of 16?
False
Suppose 18750 = 2*g + 2*d, -3 = -93*d + 92*d. Is 33 a factor of g?
True
Suppose -20 = 93*g - 98*g. Suppose 4*i + 2*b = 2328, 3*b - 2*b + 2340 = g*i. Does 64 divide i?
False
Let f(g) = g**3 + 10*g**2 - 16*g - 5. Let k(r) = -9 - 9*r + 5*r + 5*r - 9. Let j be k(7). Does 24 divide f(j)?
False
Is -660*((-2550)/24)/17 a multiple of 55?
True
Let v(k) = k**3 - 2*k**2 + 2*k - 1. Let u be v(2). Suppose 5*y - u = -f, 4*f - 3*f + y = 3. Suppose f*j = -5*i - j + 299, -3*i + 180 = 3*j. Does 24 divide i?
False
Suppose -2119*t + 16416 = -2100*t. Is 4 a factor of t?
True
Let m(d) = 675*d**2 - 42*d + 31. Does 13 divide m(3)?
True
Suppose -14*v - 239432 + 1390712 = 94*v. Does 62 divide v?
False
Is 50 a factor of (2 + -3)*9/(-18)*8414?
False
Let p(n) = -n**3 - 74*n**2 + 50*n - 270. Does 15 divide p(-7