= 6*g, 0 = 7*v + g - 3. Is m(v) a multiple of 17?
True
Suppose 0 = -q + 5*i + 13 + 9, 2*q = -3*i - 8. Suppose 4*o + 1008 = o + v, -672 = q*o + v. Let c = -172 - o. Does 30 divide c?
False
Suppose 3*q = 2*b + 7208, 6*q - 4820 = 4*q + 5*b. Does 5 divide q?
True
Let r(s) be the third derivative of 7*s**4/24 + 14*s**3/3 + 3*s**2. Suppose 0 = 11*p - 40*p + 232. Is 21 a factor of r(p)?
True
Let v be 12 + -14 - 19*4. Is v*((-135)/72)/((-18)/(-8)) a multiple of 5?
True
Suppose 3*o - 583 = -k, -4*k - 5*o + 2187 + 138 = 0. Let j = k + 514. Is 37 a factor of j?
False
Let q(l) = -5*l**2 + 4*l - 1. Let x be q(-5). Let f = -64 - x. Does 5 divide f?
False
Let t = -15868 + 44623. Suppose -t = -46*i + 29895. Is 64 a factor of i?
False
Does 20 divide 118168/(-3)*(-435)/580?
False
Suppose 2*o + 12 = q + 4*o, -5*o + 15 = 0. Suppose -q*u = -24*u + 5382. Is 29 a factor of u?
False
Let c be 3/(27/6) + 1276/66. Does 9 divide ((-750)/3)/(-5) + c/(-4)?
True
Suppose 0*i + 6824 = 5*i - 8581. Does 100 divide i?
False
Let j be (3/9)/(1/12). Suppose 4*l + j*r = 0, l + 16 = -0*l - 5*r. Suppose -196 - 148 = -l*b. Does 43 divide b?
True
Let j be -2 + -2 - ((-1 - 9) + 3). Suppose j*r - 5*r + 2361 = 3*t, 2*r - 2358 = -2*t. Does 84 divide r?
True
Does 31 divide -4*(-11)/(-22)*-32468?
False
Suppose 0 = -a + 6, 0 = 2*b - a + 9039 - 39929. Is b a multiple of 10?
False
Suppose 0 = -3*v + 2*c + 29482, v + 1434 = -5*c + 11233. Does 68 divide v?
False
Let f be 4*(17 - 5 - 2). Suppose -4*v = -4*z - f, -2*z - 4*v = 3*z + 32. Let x(l) = -17*l + 47. Is x(z) a multiple of 13?
False
Let d(c) be the second derivative of c**5/20 - 7*c**4/6 + c**3/2 + 10*c**2 + 55*c. Is 33 a factor of d(15)?
False
Let c(h) = 6*h**2 - 13*h**2 - 4 + 8*h**2 - 10*h. Let b be c(14). Is (b/10)/((-2)/(-10)) a multiple of 13?
True
Let z = 165 + -145. Does 19 divide ((-19)/(-1))/(-1)*(z - 23)?
True
Let t(d) = -57*d**3 - 6*d**2 + 8*d - 21. Is 10 a factor of t(-4)?
False
Let m(s) = 22*s - 15*s**2 + 8*s**3 + 3 - 9*s**3 - 6*s**2. Let n be m(-22). Suppose r - z - 84 = 0, 4*z + 138 + 110 = n*r. Is r a multiple of 44?
True
Let t(n) = 1160*n - 665. Is 5 a factor of t(2)?
True
Let u be (-51)/(6 - (-426)/(-72)). Let j = -336 - u. Is 20 a factor of j?
False
Let g(x) = 3*x**3 - 2*x - 2. Let t be g(2). Suppose 0 = -2*m - 4*l + t, -5*l + 32 = 3*m + 5. Suppose 12 = 3*r - m. Does 2 divide r?
False
Suppose -8 = -5*o + 9*o. Let k be o + 544 + ((-9)/(-3))/3. Suppose p + 376 = i + 100, 2*i = 5*p + k. Is i a multiple of 31?
True
Suppose -2*c - 5 = -f, 0*f - f + 5 = 0. Suppose c = -25*z + 2154 + 6196. Is 17 a factor of z?
False
Let u(v) = 37*v**3 + 3*v + 29. Is 73 a factor of u(4)?
True
Let l(j) = 444*j**2 - 43*j - 116. Does 21 divide l(-3)?
False
Suppose j - 1 + 131 = 0. Let y = j + 188. Is (-2)/1 - (-4 - y) a multiple of 25?
False
Let u be (-1 - 6/(-4))/(1/14). Suppose 0 = 5*i + a + 14, -2*a + u*a = -3*i - 26. Is 10 a factor of 360/(i - 0)*(-4)/10?
False
Let j(v) = -3*v**3 - 3*v**2 - 7*v - 10. Suppose 2*t + 200 = 3*a, 4*t - 3*t = -4*a + 263. Let q = 62 - a. Does 18 divide j(q)?
True
Let j(b) = 42*b**2 + 17*b + 64. Suppose -17*y - 5*y - 88 = 0. Is 19 a factor of j(y)?
False
Suppose -8*v + 10 = -6. Is 2 - ((-5)/v - 13/(-26)) a multiple of 3?
False
Let t = -1136 - -1573. Is t even?
False
Does 15 divide ((-2346)/(-4))/((-42)/(-4480)*16)?
False
Let b(d) = 3*d**2 + 95*d - 5. Let u(x) = 2*x - 72. Let m be u(20). Is 9 a factor of b(m)?
True
Let t(z) be the third derivative of -z**8/10080 + 2*z**7/315 - z**6/60 - z**5/4 - z**2. Let p(k) be the third derivative of t(k). Is 9 a factor of p(15)?
True
Let n(s) = -471*s + 3. Let w be n(1). Let r = w + 1084. Does 28 divide r?
True
Suppose -n + 6 - 1 = -k, 2*k + 12 = 3*n. Let t be -1 + (-6)/n - -64. Is (-458)/(-12) - 10/t a multiple of 5?
False
Let b(a) = -14*a + 472. Is b(-12) a multiple of 32?
True
Let j(t) = 17*t**3 - 8*t**2 + 2*t + 5. Let u be j(-2). Let w = u + 307. Is 18 a factor of w?
False
Let f be ((-4675)/170)/((-1)/(-10)). Let p = 1741 + f. Is 19 a factor of p?
False
Let q(p) = p**2 - 12*p - 13. Let l be q(13). Suppose -f = 2*y - 20 - 76, -4*y + 4*f + 204 = l. Is 49 a factor of y?
True
Let y(k) = 83*k**2 - 21*k - 134. Does 20 divide y(-6)?
True
Let l = 215 + -210. Suppose -5*u + 0*o + 2*o + 598 = 0, 0 = 2*u - l*o - 235. Does 15 divide u?
True
Let p = 281 + 2519. Is p a multiple of 5?
True
Let q = -62 - -64. Suppose -q*l + 3*l = 6*l. Suppose 0 = -5*t - s + 22, 4*t - 2*s + l*s = 26. Is t a multiple of 5?
True
Suppose -3*j = 5*d - 38443, 14*d - 3*j = 10*d + 30722. Does 29 divide d?
True
Let u be ((-15)/6)/((-40)/96). Suppose -u*i - 3945 = -i. Let j = -551 - i. Does 14 divide j?
True
Suppose -26*g - 3942 = -32*g. Suppose -3*c - 4*m - 22 = -g, -428 = -2*c + 2*m. Does 2 divide c?
False
Let p(v) = v**3 - 15*v**2 + 9*v + 71. Let i be p(14). Is i/(-5) - (1 - (-918)/(-15)) a multiple of 10?
True
Suppose -10*f + 726 + 1724 = 0. Let c = 609 - f. Does 36 divide c?
False
Let b be (-1)/(-6) + 9/((-324)/(-30)). Let d be b/(-4) + 10/40. Suppose -186*p + 189*p - 324 = d. Is p a multiple of 6?
True
Let c = -4099 + 7420. Is 108 a factor of c?
False
Is 594 - (37/111)/(1/(-18)) a multiple of 25?
True
Let l = 1255 - -3285. Is 10 a factor of l?
True
Let t(a) = -264*a + 6. Let c be (1/3)/((-15)/180). Is t(c) a multiple of 19?
False
Let h(k) be the second derivative of k**4/12 + k**3/2 - k**2 - 43*k. Let y be h(-4). Suppose 2*m = 2*a - 2*m - 420, a + y*m - 202 = 0. Is a a multiple of 15?
False
Let y = 119 + -231. Let n = -110 - y. Let m(b) = 15*b - 5. Is m(n) a multiple of 25?
True
Is (-2970)/(-4) + ((-13)/2 - -6) a multiple of 53?
True
Let f(m) = m**3 - 18*m**2 - 25*m + 62. Let c be f(20). Suppose -25*a - c = -27*a. Does 4 divide a?
False
Let v be (4/6)/((-6)/(-27)). Let u = 24 + -9. Suppose -v*o + 60 = u. Does 5 divide o?
True
Let j(c) = 59*c - 14*c + 14*c + 23*c + 4 - c**2 - 9*c**2. Does 4 divide j(8)?
True
Let w(q) = -1504*q + 2488. Does 122 divide w(-11)?
True
Let q(c) = -6 - 633*c**2 + 49*c - 5 + 629*c**2. Is q(11) a multiple of 21?
False
Let l(z) = 17*z + z**2 + 4 + 9 + 0 + 17. Let n be l(-15). Suppose n = -c + 94 - 1. Is 14 a factor of c?
False
Let v = -4282 - -13088. Is v a multiple of 119?
True
Suppose 5*k + 3*n - 3129 = 0, 5*k + 1897 = 4*n + 5005. Is k a multiple of 4?
True
Is (-387377)/(-9) - 1*16/(-144) a multiple of 186?
False
Let s = 62833 + -36763. Is s a multiple of 11?
True
Suppose 13*c - 56 = -c. Suppose c*r + 43 = -5*l, 5*r - 4*l = -6 - 17. Let d(t) = -t**3 - t**2 + 14*t + 11. Is d(r) a multiple of 16?
False
Let v = 112 + 31. Suppose -7*c - v = 4*c. Let j(m) = m**3 + 12*m**2 - 16*m + 8. Is j(c) a multiple of 10?
False
Suppose -5*k - 116*o + 113*o + 4827 = 0, -5*k + 4*o + 4834 = 0. Is k a multiple of 6?
True
Does 3 divide (-27)/12*(-151488)/216?
True
Let a(r) = 3 - 2 + 13*r**2 + 10*r**2 - 34*r**2. Let j(q) = -q + 1. Let f(z) = -a(z) - 2*j(z). Is 15 a factor of f(-3)?
True
Suppose 15394 = -9*c + 72733 + 9828. Is c a multiple of 191?
False
Is 8 a factor of (3 - 4)/(0 - 2/6376)?
False
Let f be (14/(-6) + 1)*42/(-28). Suppose f*c - 405 = -m - 87, -3*m = 5*c - 959. Is 5 a factor of m?
False
Does 45 divide 19 + 3227 + -20 + 14?
True
Let s = -23 + 24. Let i = 153 + s. Is 14 a factor of i?
True
Let g = 6807 - 3903. Is g a multiple of 24?
True
Let c = 5001 - -9198. Is c a multiple of 145?
False
Suppose 2*f - 2 = -w - 0*w, -w = 3*f - 1. Suppose -3*u = x - 1091, w*u = -x + 3*x + 1458. Does 14 divide u?
True
Suppose 5*i - 102975 - 32722 = v, 0 = 3*i - 5*v - 81449. Is 47 a factor of i?
False
Let c = 189 - 129. Suppose 3*q = -2*k - 3*k - 35, 2*q - c = 5*k. Let b(y) = -19*y - 71. Is 17 a factor of b(k)?
True
Let d(s) = 34*s**2 + 166*s - 2033. Is 13 a factor of d(14)?
True
Suppose 5*h + 82 = 652. Suppose 3*z + 2*p = -h, -3*z - 7*p - 105 = -2*p. Let o = z + 156. Does 29 divide o?
True
Suppose -4*a - 2*x = 804, -7*x + 10*x = 12. Let c = 359 + a. Is 13 a factor of c?
True
Let q = -7 + 84. Let x = -157 + q. Does 40 divide (9/(-6))/(3/x)?
True
Suppose -435 + 27 = -12*s. Suppose 0 = -3*l + 12, l = 3*f + 6*l - 209. Suppose f = x - s. Is x a multiple of 13?
False
Let l be ((-1090)/(-6))/(45/54) + 5. Suppose -211 = -4*d + 241. Suppose l + d = 8*n. Does 25 divide n?
False
Suppose 6757*f = 6759*f - 11882. Does 4 divide f?
F