q + j + 4*j + 20, -5 = 4*q - 3*j. Is i(q) a multiple of 12?
False
Is 13 a factor of (-3)/(-6)*(-33540)/(-15)?
True
Suppose q = -7*q + 16. Does 2 divide ((-126)/(-49))/(-1*q/(-14))?
True
Let j(o) be the third derivative of o**5/60 + 11*o**4/24 - o**3/3 - 5*o**2. Let k be j(-11). Is (-2)/(4*k/292) a multiple of 14?
False
Suppose 5*w + 15 = 6*w. Let j(s) = s**2 - 16*s + 18. Let z be j(w). Suppose -z*g = -5*g + 20. Does 5 divide g?
True
Suppose -7*v + 12 = -3*r - 3*v, -r + 6 = 2*v. Let w = -15 + 35. Suppose 4*l = -l - 3*y + 28, r = -5*y - w. Is l a multiple of 4?
True
Let j(c) = c**2 - 5*c + 7. Let h be j(4). Suppose d = -h*d + 24. Let l(p) = p**2 + 2*p + 3. Is 15 a factor of l(d)?
False
Let d = 6281 - 988. Is 18 a factor of d?
False
Suppose -11*v + 60 = -16*v. Suppose 0 = -4*b - w - 17 - 4, 0 = -2*b - 2*w - 18. Is 13 a factor of 78/b*8/v?
True
Let r = -203 - -369. Is r a multiple of 8?
False
Is (-4 + (-28)/(-3))*7*3 a multiple of 8?
True
Suppose 26 = -3*y - 25. Let n = y + 20. Suppose -n*v + v + 45 = -3*w, 2*w = -2*v + 30. Is v a multiple of 9?
True
Let m = 13 - 7. Let o be 3/2 + 3/m. Let a(v) = v**2 - v + 4. Does 2 divide a(o)?
True
Suppose -2*u = 2*u - 16. Suppose 0 = u*f + f - 15. Suppose -f*t + 16 = -2. Is t a multiple of 6?
True
Let z be 4/(-4) + (0 - -2). Let i be z*(0 + -26)*-4. Let v = i + -57. Does 11 divide v?
False
Suppose -3*o + 394 = o - 5*c, 0 = 4*o + 2*c - 408. Let j = o - -98. Does 36 divide j?
False
Let l be 1/(-1 + (-416)/(-414)). Suppose -l = -2*n - 57. Is n a multiple of 20?
False
Let a(k) = 203*k + 79. Is a(6) a multiple of 99?
False
Let f(h) = 0 + 5*h - 9 + 3 - 2*h. Let k(w) = -8*w + 19. Let v(m) = -7*f(m) - 2*k(m). Is 6 a factor of v(-6)?
False
Suppose 0 = 3*t + p - 751, -524 = -2*t - 18*p + 22*p. Is t a multiple of 81?
False
Let s(a) = -3*a - 2 + 0*a**2 + 3 + 2*a**3 - 3*a**2. Suppose -4*y = -4*z - 4, 0 = 3*z - 4*y + 7. Is s(z) a multiple of 15?
False
Let t = 41 - 36. Suppose -2*p - p + 5*h + 634 = 0, t*p = 3*h + 1030. Is 14 a factor of p?
False
Let s(t) = -t**3 + 16*t**2 - 14*t + 12. Let f be (5/(-1))/((-5)/15). Does 14 divide s(f)?
False
Let z(o) be the third derivative of o**4/12 - o**3/6 + o**2. Let b be z(-1). Let y = 15 - b. Is 17 a factor of y?
False
Let m(l) = l**2 + 13*l + 50. Is m(10) a multiple of 20?
True
Suppose -h = 14*h - 1890. Suppose 4*q + 2*w = h, 3*w + 27 = 3*q - 81. Is 11 a factor of q?
True
Does 22 divide 3/(-4) + ((-88812)/(-16))/9?
True
Let s(p) = -p**3 + 6*p - 2*p - 8*p - 4 - 2*p**2 + 5*p. Let q be s(-3). Does 9 divide 2 - q/(4/(-46))?
False
Let b be ((-3)/(-12))/(3/276). Suppose 3*g = -4*c + 376, c - b = g - 146. Does 7 divide g?
False
Let s(r) = 6*r**2 + 28*r - 4. Is 6 a factor of s(-5)?
True
Suppose -l = -0*l - 3*z + 13, -4*l = 3*z - 23. Suppose l*h + 11 = r + 5*h, -58 = -2*r + 3*h. Is 4 a factor of r?
False
Suppose -2*h + 42 = -5*h - 3*z, 3*z + 26 = -2*h. Let m = -11 - h. Does 4 divide m?
False
Let b(t) = -7*t**3 - 3*t**2 + 12*t + 32. Is b(-4) a multiple of 32?
True
Suppose i + 12 = -17. Let v be (-1 - 2)/((-21)/343). Let m = v - i. Is m a multiple of 29?
False
Let x = -11 + 22. Suppose -2*i - x = -119. Does 6 divide i?
True
Let z = 21 + -40. Let s = 75 + z. Is 14 a factor of s?
True
Suppose -546*z + 11232 = -538*z. Does 39 divide z?
True
Let g(a) = a**2 - 13*a + 16. Let z be g(12). Suppose -2*c + z*c - 73 = -b, -5*b = -5. Does 18 divide c?
True
Let g(q) = 870*q**2 + 9*q - 4. Does 84 divide g(1)?
False
Suppose -2*r - 2*r = 2*z - 58, 0 = -3*z + 15. Suppose 4*p = 10*p - r. Suppose q - p*q + 24 = 0. Is q a multiple of 6?
True
Suppose -y + 0*k - 5*k = 6, -k - 1 = 0. Let p(c) = -53*c + 1. Is 8 a factor of p(y)?
False
Is 0 + 430 - 1*(6 + -6) a multiple of 43?
True
Let z(p) = -401*p + 264. Is z(-6) a multiple of 118?
False
Let b(v) = -v**3 + 27*v**2 - 95*v + 42. Is 4 a factor of b(18)?
True
Let h be 10/15 + 2449/3. Suppose -4*t + h = 5*c, -2*c + c + 599 = 3*t. Is t a multiple of 22?
True
Let m(h) = -13*h + 1184. Is m(0) a multiple of 16?
True
Suppose -21 = -4*o + 4*i + 19, -10 = -2*i. Suppose 3*s + o = x - 0*s, 0 = -5*x - 5*s - 25. Does 37 divide 2 - (x - -1) - -52?
False
Let v be (-4)/24*-16*(-1 - -4). Let o = 52 - v. Does 18 divide o?
False
Suppose f = -0*f + 5*w + 120, 0 = 5*f - 3*w - 600. Is f a multiple of 10?
True
Is 36 a factor of (-1 - (-7)/2)*66006/285?
False
Let a be (5 - 39/6)*584/(-6). Let i = -82 + a. Does 8 divide i?
True
Let t = -714 - -888. Is t a multiple of 3?
True
Suppose -14 = -3*i - 5. Suppose 4*s - 2 = i*s. Suppose s*z = -z + 12. Is 4 a factor of z?
True
Let u(j) be the second derivative of -20*j**3/3 + j**2 + 8*j. Does 26 divide u(-2)?
False
Suppose 8*p - 44 + 12 = 0. Suppose 0 = q + 4*d - 172, 688 = p*q - 4*d + 5*d. Is 13 a factor of q?
False
Suppose 0*l = -4*l. Suppose l*x - x = 0. Suppose r - 3*r + 76 = x. Does 11 divide r?
False
Let l(r) = -r**3 - 6*r**2 + 5*r + 3. Let g be l(-7). Let y = -39 + g. Is 7 a factor of ((-84)/(-10))/(y/(-55))?
True
Suppose 4*f = -3*o - 46, -13 = 4*o + 5*f + 49. Let u be -3*20/o*3. Suppose u*g - 9 = 9*g. Is g a multiple of 9?
True
Suppose 58*f = 163 + 2099. Is 12 a factor of f?
False
Let j = -237 + 345. Does 3 divide j?
True
Let v(s) = 2*s - 20. Let k be v(10). Suppose 9*q = -k*q + 1260. Is 12 a factor of q?
False
Let i = -951 - -1106. Does 7 divide i?
False
Let h(i) = 104*i - 2. Let t be h(-4). Let j = 608 + t. Is 19 a factor of j?
True
Suppose -2*a - 3*n + 802 = 2*n, 5*n = 0. Does 4 divide a?
False
Let l(w) = 18*w**2 - 10*w + 12. Is 8 a factor of l(7)?
True
Let h be (10 - -3)*-1 - -1. Let a = h - -15. Suppose 2*q - 6*q = -a*m + 70, 3*m + 2*q = 46. Is m a multiple of 6?
True
Let t(b) be the second derivative of b**4/12 + 4*b**3/3 + b. Let q be t(-9). Let f(c) = -c**3 + 11*c**2 - 11*c + 1. Does 15 divide f(q)?
False
Let w = -19 + 23. Suppose 5*h + 273 = 4*z, -4*h = z - w*z + 204. Is 36 a factor of z?
True
Let d = 64 - 121. Let u = d - -139. Is 19 a factor of u?
False
Suppose -10*l + 47 = -253. Is l a multiple of 15?
True
Let b(c) = 54*c**3 - 3*c. Is 45 a factor of b(2)?
False
Suppose 4*q - 2842 = 2*h, 0 = 3*q - q + h - 1427. Does 89 divide q?
True
Let d(z) = -z**3 + 24*z**2 - 38*z + 108. Does 13 divide d(21)?
False
Let t(g) = 384*g**2 + 4*g + 4. Is t(-1) a multiple of 14?
False
Let v(a) = -a**3 - 9*a**2 - 4*a - 8. Let p(b) = -b**3 - 6*b**2 + 2*b + 3. Let j be p(-6). Is 5 a factor of v(j)?
False
Let u = -10 + 10. Suppose c - 59 + 4 = u. Suppose -b + c = 3*h, 3*b - 5*b - 26 = -2*h. Is h a multiple of 12?
False
Let z = -197 - -417. Is z a multiple of 11?
True
Let h = 24 - -14. Let v = 61 - h. Does 22 divide v?
False
Let j be (1/(-3) + 1)*174. Suppose -12*g = -14*g - j. Let o = g - -86. Does 18 divide o?
False
Let f(q) = q**2 + 8*q + 2. Suppose 0 = 2*c - 5*c - 24. Let t be f(c). Let r(v) = 12*v - 2. Is r(t) a multiple of 11?
True
Suppose -5*m = -4*a - 381, -5*a + 2*m - 276 = 179. Suppose 660 + 3 = 5*d + o, -d - 4*o = -144. Let y = a + d. Does 16 divide y?
False
Let w(b) = 11*b + 13. Let v be w(9). Let s = 193 - v. Is 27 a factor of s?
True
Let y be ((-40)/15)/((-3)/(-54)). Let i = y - -72. Does 6 divide i?
True
Let o = -10182 - -14569. Is 22 a factor of o?
False
Suppose 0 = -y - 7 + 12. Let j(o) = -o. Let z(v) = v**2 - 3*v - 1. Let m(n) = -6*j(n) + z(n). Is m(y) a multiple of 13?
True
Let j = 128 - 35. Let g = j + -59. Suppose g = 2*l - 44. Does 11 divide l?
False
Let d(y) = y**3 + 2*y**2 + 8*y + 1. Let i = -25 + 20. Let j(z) = z**2 + z. Let h(a) = i*j(a) + d(a). Does 5 divide h(3)?
True
Let j = 9 - 6. Let i(q) = -4*q + j*q + 4*q - 4 + 5*q. Is i(4) a multiple of 14?
True
Let k(m) be the first derivative of m**2/2 - 6*m - 1. Let y be k(8). Suppose 9 - 83 = -y*h. Is 16 a factor of h?
False
Let x be 5/(-50) + 41/10. Suppose 5*a = -x*a + 1134. Does 16 divide a?
False
Let h(u) = -u**3 + 8*u**2 + 3*u - 12. Let l be h(8). Let g = l - 7. Suppose 2*b - 51 = -5*a - 0*b, -10 = g*b. Is a a multiple of 10?
False
Let k(w) = 2*w**2 - 3*w. Let x be k(2). Let c be 1*(x + (-3)/3). Is 27 a factor of (-5 - (c - 3)) + 84?
True
Let c(g) = 11 + 74*g + 10*g - 24. Is c(2) a multiple of 31?
True
Let z = -1082 + 2132. Is z a multiple of 16?
False
Let u(l) = 13*l**2 + 4*l - 20. Does 15 divide u(4)?
False
Suppose -2*v = -0*v + 12. Is (-259)/(-6) + 1/v a multiple of 6?
False
Le