 = 164 + z. Is 15 a factor of o?
False
Suppose 5*n - 155 = 4*n - 2*r, -3*n = -3*r - 438. Does 7 divide n?
False
Let r = 77 + -72. Suppose -v - 183 = -r*w, 51 = 4*w + v - 90. Does 6 divide w?
True
Let j(z) = -z**3 - 13*z**2 - z + 32. Suppose 114 - 101 = -d. Is j(d) a multiple of 3?
True
Let o(l) = l**2 + 11*l + 14. Let j be o(-10). Suppose -3*t + 0*t + 9 = -m, 0 = -j*m + 4*t + 4. Is 3 a factor of m?
True
Let o = -20 + 15. Let t(l) be the first derivative of -3*l**2/2 - 5. Does 4 divide t(o)?
False
Let s = -86 + 206. Let o be ((-2)/5)/(6/s). Is 2/o + (-722)/(-8) a multiple of 18?
True
Let a(o) = -1 - 3*o + 1 - 2*o**2 + 0*o**2. Let v be a(-2). Does 12 divide (-8)/(-1*v/(-3))?
True
Let l(t) = -2*t + 4. Let m = -31 - -30. Is 2 a factor of l(m)?
True
Suppose -4*r - d + 5927 = 0, -3*r + 1979 = 4*d - 2463. Is 19 a factor of r?
True
Is 41 a factor of (-10)/30*9*(-3436)/3?
False
Let b(s) be the second derivative of 9*s**4/2 - s**3/3 + 5*s. Does 13 divide b(1)?
True
Let x be ((-21)/56*4)/(2/(-4)). Let k be (16/(-6))/(4/(-6)). Suppose k*i - 25 = x. Is 7 a factor of i?
True
Let o(t) = t**3 - 6*t**2 + 5*t + 4. Let r be o(5). Let m(h) be the first derivative of 4*h**2 + 4*h - 16. Does 12 divide m(r)?
True
Let i be -1 + 6 + -2 + (4 - 5). Is 4/(i + 105/(-54)) a multiple of 8?
True
Suppose -6*b + 2816 = 704. Is b a multiple of 16?
True
Suppose -7 + 3 = 2*i. Is 21 a factor of (105/25)/(i/(-30))?
True
Let l be (-8 - 1)/(21/(-70)). Suppose p = -0*p - l. Let y = 54 - p. Is y a multiple of 14?
True
Suppose 5*u - j - 2021 = 2*j, 4*u - 1602 = -5*j. Is 18 a factor of u?
False
Let z(u) be the third derivative of -u**4/12 + 13*u**3/6 + 7*u**2. Let h be z(6). Does 16 divide (h + 0/(-2))*40?
False
Suppose -16*b - 3*s = -21*b + 390, 5*s = 3*b - 250. Is b even?
False
Suppose 0 = -3*g - 2*j + 242, j = 4*g - 0*g - 319. Let x = g - -3. Let y = -29 + x. Does 16 divide y?
False
Suppose 2*l - 616 = -4*v, 0 = -3*l + 4*l - 5*v - 294. Suppose 0 = -0*w + 2*w - l. Is w a multiple of 38?
True
Suppose -y - 3 = 2*y - 5*k, -3*y = k - 15. Let d = 16 + y. Is 20 a factor of 90/d*(-40)/(-3)?
True
Is 42 a factor of -2 + (-82)/(-1) + -1 + -3?
False
Suppose 16*a + 78*a - 233496 = 0. Is a a multiple of 54?
True
Let u(v) = v**3 - 25*v**2 + 83*v - 6. Is 12 a factor of u(22)?
False
Is 252329/261 - 2/(-9) a multiple of 3?
False
Let i(s) = 39*s**3 - s**2 + 3*s + 2. Let v be i(-2). Let t be v/12 + 4/6. Let d = -9 - t. Does 5 divide d?
False
Let r(f) = -2*f + 20. Let l(a) = -4*a + 40. Let x(o) = 6*l(o) - 14*r(o). Is 4 a factor of x(20)?
True
Suppose 3*a - x - 158 = 0, 5*x = -2*a - 0*a + 128. Suppose -z + a - 14 = 0. Does 10 divide z?
True
Is (13 + 5)*10/3 a multiple of 45?
False
Is 11 a factor of 80/35 - 2 - (-6795)/7?
False
Let y be -13*(2/(-3) - -1)*-3. Suppose 9*h - y*h = -380. Is h a multiple of 19?
True
Let m(s) = 221*s**2 - s - 1. Is m(2) a multiple of 21?
False
Suppose -5*m + 2*y + 18 = -m, -13 = -2*m - 3*y. Let p = 35 - m. Does 10 divide p?
True
Let o = -433 - -486. Is o a multiple of 16?
False
Suppose -31960 = -25*t + 16840. Is 61 a factor of t?
True
Is 113 a factor of 7 - (-973 + 72/6)?
False
Suppose -2*m - 69 = -3*m. Let a = m - 22. Does 16 divide a?
False
Suppose 0 = 2*o + 3*l - 6, 3*o = 5*l - 2 - 8. Suppose a + 0*a + 2*d - 246 = 0, o = 2*d. Is 41 a factor of a?
True
Let k(c) be the third derivative of c**8/10080 + c**7/1008 + c**6/120 - c**5/12 - 9*c**2. Let b(n) be the third derivative of k(n). Is 14 a factor of b(-6)?
False
Suppose 0*w - 2*d - 58 = -4*w, 4*d + 12 = 0. Let i = 13 - w. Suppose i = r + 3, -3*s - 153 = -8*s + r. Is 8 a factor of s?
False
Let j = 934 + -798. Is j a multiple of 4?
True
Suppose 0 = -3*d + 2*d - 2, 0 = -2*z - 3*d + 310. Let w = -105 + 108. Suppose -w*r + z = 3*o - 2*o, -10 = -2*o. Is r a multiple of 17?
True
Let z = 606 + -2. Is 5 a factor of z?
False
Let z(f) = 3*f**3 + 2*f**2 - 10*f - 12. Let b be z(6). Suppose -14*l + 18*l = b. Is 31 a factor of l?
False
Suppose -2*j = -2*n - 3*j + 281, -15 = 5*j. Suppose 0 = -5*r - 2*g + n, r - g - 26 = -2*g. Is 15 a factor of r?
True
Suppose 7*y - 4466 - 630 = 0. Does 28 divide y?
True
Suppose 31*c - 32140 = 1309. Is 16 a factor of c?
False
Let r(i) = -18 + 2*i - 10*i + 2*i. Suppose -5*q - 3*m = 53, -6*m - 45 = 4*q - m. Does 7 divide r(q)?
True
Let d(l) = 98*l - 961. Is d(22) a multiple of 43?
False
Suppose -2*p + 388 = 5*b, -5*b + 277 = 4*p - 519. Does 5 divide p?
False
Let y(c) = 22*c - 76. Let s be y(11). Let n = -193 - -108. Let w = s + n. Does 27 divide w?
True
Suppose -12 = 4*g, -3*w - 281 = 2*g - 1361. Does 32 divide w?
False
Let r = 208 + -200. Is 6 a factor of r?
False
Suppose 4*k + 1 = -5*b + 25, -3*k = -4*b + 13. Let t be ((-3)/4)/((-1)/4). Suppose 115 = b*v + t. Is 14 a factor of v?
True
Suppose -2*w - v = -133, -4*w + 8*v - 6*v + 286 = 0. Does 66 divide w?
False
Let l(y) = -6 + 0*y + 0*y - 8*y + 20*y**2 + 4*y. Is 31 a factor of l(-3)?
True
Suppose -269 + 57 = -4*n + 4*u, -n - 3*u = -69. Suppose -30 = -2*t + 4*b, 5*t - 32 = -4*b + n. Does 6 divide t?
False
Let r = 30 - 38. Is 7 a factor of -113*3/(-4) - (-6)/r?
True
Suppose -17*d - 1529 = -4997. Does 6 divide d?
True
Suppose s + l - 23 = 12, 0 = s - 4*l - 35. Let a(x) = -4*x**3 + 35*x - s*x + 3*x**3 + 1. Is a(-3) a multiple of 7?
True
Is 1740/42 + 8/14 a multiple of 7?
True
Suppose -730 = 57*j - 14125. Is j a multiple of 23?
False
Let o(w) be the first derivative of -w**3 + 3*w**2/2 + 7*w + 13. Let n be o(-3). Let s = -11 - n. Is 18 a factor of s?
True
Let p be 12/(-8)*-1*2. Let n(u) = -u + 3. Let g be n(p). Suppose -o + m + 23 = 0, 3*m + g*m = o - 21. Is 12 a factor of o?
True
Let j(a) = -a**3 + 2*a**2 - 4*a + 2. Let k(u) = -u**2 - 1. Let c(t) = -j(t) + 2*k(t). Does 6 divide c(4)?
True
Let b(q) = 6*q**3 + 5*q**2 + 2*q - 35. Is b(7) a multiple of 116?
False
Suppose 5*u - 9*u + 540 = 0. Suppose -4*h + u = -13. Suppose -3 = -2*x + h. Is x a multiple of 18?
False
Let v(u) = -205*u + 37. Does 10 divide v(-3)?
False
Let c be ((-2)/(-3))/((-1)/(-48)). Let o = c - 26. Is o a multiple of 2?
True
Is (-13)/((-91)/3784) + 36/(-63) a multiple of 9?
True
Let j(y) = 4*y**2 + 13*y + 6. Suppose -8*l = -0*l + 72. Is 26 a factor of j(l)?
False
Suppose -4*n = 4*c - 572, 239 = 4*n + 2*c - 331. Does 25 divide n?
False
Let a be (-312)/(-16)*26/3. Suppose 2*m - 573 = -4*i + 103, 4*m + a = i. Suppose 2*d - 233 = -5*y, -5*y + 3*d + i = -44. Does 15 divide y?
True
Let u(c) = -c + 10. Let o be u(8). Does 11 divide (1/o)/(5/590)?
False
Is 47 a factor of (858/44)/(1/16)?
False
Suppose 3344 = 119*q - 118*q. Is q a multiple of 88?
True
Let c(q) = -4*q - 3 + 9*q - q + 13. Let s be c(-8). Let n = s - -79. Does 13 divide n?
False
Let y(b) = -b**2 + 13*b - 12. Let t = 30 - 23. Is 8 a factor of y(t)?
False
Let c(g) = 3*g + 3 + 4*g - 3*g - 2*g. Is 3 a factor of c(0)?
True
Suppose -15 = -0*l - l + 4*w, l - 5*w = 16. Is 2/l + 986/22 a multiple of 5?
True
Let j = -1679 + 3324. Is 35 a factor of j?
True
Does 37 divide 7 - (-3843)/7 - 5?
False
Is (-3150)/(-27) - 2/(-18)*-6 a multiple of 29?
True
Let b(h) = -2*h**3 - 2*h**2 + 2. Let n be b(-3). Let r be (-2 + (-5)/(-2))*-58. Let g = r + n. Is 9 a factor of g?
True
Let p = -2 + 6. Suppose -b + 0 = -p. Suppose -5*m + l + 52 - 14 = 0, b*l = -12. Is 7 a factor of m?
True
Suppose 2*v = 7*v + 5*i - 665, i = -5*v + 645. Is 16 a factor of v?
True
Let j = -2 + 5. Suppose -2*z + 5*h + 137 = 0, -3*h + 212 = j*z - 4*h. Does 17 divide z?
False
Is -6*14/(-21)*(-2 - -14) a multiple of 16?
True
Let l = 98 - 6. Let g be l - ((-8)/4 + 1). Suppose 3*i = -0*i - 2*r + g, -3*r = -3*i + 108. Is i a multiple of 23?
False
Suppose 3 + 5 = y. Let n be (-2 + 2)/(y - 5). Suppose n = -s - 5*c + 48, 0*s + 44 = s + c. Does 14 divide s?
False
Let b(m) = m**2 + 27 + 29*m + 0*m**2 - 30*m. Is 12 a factor of b(0)?
False
Is (30/(-10) + 8)*4 even?
True
Suppose 3*i + i - 2031 = -3*n, 0 = -i - 2*n + 514. Is 12 a factor of i?
True
Let f = 109 - 44. Let c = f + -51. Does 7 divide c?
True
Let r be 3 + -1 + 0 - -2. Suppose 0 = j - r*j + 207. Is 23 a factor of j?
True
Let q = 9 + -1. Let k be 20290/(-40) + 2/q. Is (-1)/(-5) + k/(-15) a multiple of 17?
True
Let z(g) be the first derivative of g**4/4 + 2*g**3/3 - 3*g**2/2 - 3*g + 2. Let n be z(-2). Let t(w) = -w**2 + 8*w - 6. Is 3 a factor of t(n)?