= 144. Is y a multiple of 10?
True
Let c(q) = -q**3 + 14*q**2 - 13*q + 2. Let t be c(13). Suppose -t*p = 2*v, -2*v + 15 = -5*p + 4*p. Is 2 a factor of v?
False
Is 13 a factor of 890/45 + (-4)/(-18)?
False
Let s(v) = 2*v**2 + 3*v**2 + 0*v**2 - 2 - 5*v - 3*v**2. Does 3 divide s(4)?
False
Let l(d) = d**3 - 6*d**2 + 6*d - 8. Let c(n) = -2*n**3 + 13*n**2 - 12*n + 16. Let k(q) = 3*c(q) + 5*l(q). Is k(8) a multiple of 12?
True
Let t be (-15)/(-10)*44/3. Is t - 0*3/9 a multiple of 11?
True
Suppose -6*g + 16 = -2*g. Suppose -g*c - c + 120 = 0. Does 12 divide c?
True
Let u(i) = -i**2 + 10*i - 14. Let m be u(8). Suppose 2*w - 24 = m*h, -w = 2*w + 5*h + 4. Is w a multiple of 7?
True
Suppose 4 = 4*w - 3*w. Is w a multiple of 3?
False
Let g = 77 - -4. Is 6 a factor of g?
False
Let w = 225 + -145. Does 24 divide w?
False
Let r(n) = -n - 3. Let j be r(-5). Suppose -32 = -5*h - 2*s, -2*h + 2 = 2*s - 6. Is 17 a factor of (-33)/j*h/(-3)?
False
Let b = 30 + -20. Let p = 14 - b. Suppose -p*h + 56 = -0*h. Is h a multiple of 7?
True
Let f = 16 - 11. Suppose -o = -d - 57, f = 2*d + 11. Suppose 4*w + o = 7*w + 3*x, -76 = -4*w - 2*x. Is w a multiple of 13?
False
Let p = -4 + 4. Suppose 0 = -4*o - 4*b, -4*b - 15 = -o - p. Is o a multiple of 2?
False
Let t(d) = d**2 - 7*d - 10. Let h = -7 - -17. Is t(h) a multiple of 20?
True
Suppose 0 = -2*m + 3 - 1. Let n = m + 6. Is n a multiple of 6?
False
Suppose -33 + 2 = -4*u + 3*h, 4*u + 3*h - 25 = 0. Suppose -u*k = -3*k - 136. Does 9 divide k?
False
Let l be (3 - 1) + 0/(-6). Does 15 divide 41/l*(1 - -1)?
False
Let p(v) = -v**2 - 2*v - 1. Let l be p(-1). Suppose -4*n = h - 26, l*h + 3*n - 79 = -5*h. Is 7 a factor of h?
True
Suppose 2*p = -3*b + 25, -1 = -2*b + 3*b. Let u be 4/(-5)*(-35)/p. Is (5 - u) + 10/1 a multiple of 13?
True
Suppose 2*k - 3*k = -4*h + 205, 5*h + k - 263 = 0. Suppose 4 = 2*n, -2*n + 72 = 2*g - h. Is 15 a factor of g?
True
Suppose 11*n - 7*n = 100. Is 9 a factor of n?
False
Let h(d) = 7*d + 1. Let f(c) = c + 7. Let t = -8 + 2. Let k be f(t). Does 8 divide h(k)?
True
Let a(j) = 6*j + 1. Let b(s) = -3*s**2 + 5 - 7 + 2*s**2 - 6*s. Let z(f) = -3*a(f) - 4*b(f). Is z(-4) a multiple of 13?
False
Let w(a) = a + 13. Let u be w(-9). Suppose 860 = -5*i + x, 2*i - u*i = 3*x + 361. Is 19 a factor of i/(-9) + (-2)/9?
True
Suppose 0 = -q + 4*s + 46 - 16, -5*s = 5*q - 250. Does 15 divide q?
False
Let s be (-2)/6*1*-267. Let z = s + -64. Is 7 a factor of z?
False
Suppose -21*j + 25*j = 240. Is 12 a factor of j?
True
Let d(f) = f**2 + 7*f + 11. Is 15 a factor of d(-12)?
False
Suppose -13 = 2*y + 9. Let m = -6 - y. Suppose -5*z + 18 = m*p - 22, -34 = -5*z - 2*p. Does 3 divide z?
True
Let v = 14 - 9. Suppose 102 = v*l - 2*l. Is 17 a factor of l?
True
Let t(s) be the third derivative of s**5/60 - 3*s**3/2 + 6*s**2. Is t(7) a multiple of 13?
False
Let y(h) = h**2 + 11*h - 6. Let u be y(-12). Suppose -u*n + 130 = -n. Is n a multiple of 13?
True
Suppose 4*z + z - 25 = 0. Let q(a) = -a - 2. Let g(l) = -2*l - 3. Let x(c) = z*q(c) - 3*g(c). Does 3 divide x(4)?
True
Let o(k) = k**3 - 7*k**2 + 5*k - 6. Let n be o(6). Is 6 a factor of (24/(-16))/(1/n)?
True
Suppose 3*u - u + 10 = 0. Let g(d) = d**3 + 7*d**2 - 7. Let a be g(u). Suppose -5*x - a - 12 = -5*m, 5*m = 4*x + 58. Is m a multiple of 5?
False
Let n = -35 + 101. Is 9 a factor of n?
False
Suppose 3*k = 4*k. Does 3 divide 6 + (-3 - -3) + k?
True
Let a = -3 - -7. Let k(v) be the first derivative of 2*v**2 - 3*v - 3. Is 5 a factor of k(a)?
False
Suppose -128 = -4*j - 4*j. Does 4 divide j?
True
Let q(b) = b**2 + 5*b. Let x be q(-5). Suppose -4*g + 72 = -3*o - o, x = -g - 3*o + 22. Is 6 a factor of g?
False
Let i(b) be the second derivative of -2*b + b**2 + 7/3*b**3 + 0. Does 15 divide i(2)?
True
Let x(u) = u**3 - 2*u**2 - 2*u - 4. Let l be x(4). Suppose 4*y = -l, 0 = 3*c - 3*y - y - 146. Does 14 divide c?
True
Let y = -27 + -9. Let w = -12 - y. Is 9 a factor of w?
False
Let n(k) be the first derivative of 0*k + 2 - 3/2*k**2. Is 3 a factor of n(-2)?
True
Let c be -11*3 + (-12)/(-4). Is 28 a factor of (168/c)/((-1)/5)?
True
Let d(w) = -11 - 11*w - 2*w**2 + 6 + w**2. Does 14 divide d(-8)?
False
Let d be 220/33*3*12. Let c = d - 164. Is 17 a factor of c?
False
Let j(k) = k**3 - 16*k**2 + 4*k - 16. Let r be j(16). Suppose -4*a - r + 196 = 0. Is a a multiple of 11?
False
Let n(b) = 8*b**2 - b + 1. Let q be n(-5). Suppose q + 314 = -2*p. Is 3 a factor of p/(-28) + 2/(-7)?
True
Let q = 48 - 43. Is 5 a factor of q?
True
Let a = -14 - -8. Let p(s) = s**3 + 6*s**2 - 4*s + 2. Does 19 divide p(a)?
False
Does 13 divide 2 - 6*55/(-10)?
False
Suppose 4*p - 78 + 246 = 0. Is 12 a factor of (-2490)/p + (-4)/14?
False
Suppose 2*p - 3285 = -3*f + 648, -2*p + 3923 = f. Let m be p/21 - (-4)/(-14). Suppose 0*n + 3*n + 4*u - 93 = 0, 3*n - u - m = 0. Is 15 a factor of n?
False
Does 5 divide 338/(-39)*6/(-4)?
False
Suppose 3*a = -a + 60. Suppose -3*q - 2*q + a = 0. Suppose q*l = -15, 2*p - 2*l = -4*l + 26. Is 9 a factor of p?
True
Let i = 103 + -50. Let v be -1 + (38 - (-4)/(-2)). Let n = i - v. Is n a multiple of 9?
True
Is (0 + 1)*20*234/72 a multiple of 36?
False
Let o = 34 + -22. Let h = 54 - o. Is 21 a factor of h?
True
Let i = 3 + -197. Suppose -12 = 3*w, -2*z = -4*z - 2*w - 28. Does 13 divide (-2)/5 + i/z?
False
Suppose 2*r - 55 - 113 = 0. Does 12 divide r?
True
Suppose -4*s + 12 = 0, u - 3*s - 14 + 5 = 0. Does 18 divide u?
True
Suppose -309 = -4*w - 125. Is 23 a factor of w?
True
Suppose 5*m + n - 28 = 0, 0*m + 3*m - 3*n = 6. Suppose -f + 110 = 3*l - 0*f, 0 = -m*l - 5*f + 170. Is 19 a factor of l?
True
Let v(p) = -p**2 - 2*p + 3. Let c be v(2). Let b be ((-6)/c)/((-3)/(-20)). Is 11 a factor of 12/b*28/3?
False
Let q = -6 - -10. Let y = q - 1. Suppose o - 11 = -3*u, -y*o + 9 = -2*o + 4*u. Does 7 divide o?
False
Let t(a) = -a**2 - 8*a**2 + 12 + 2*a - 5*a - a**3. Does 19 divide t(-9)?
False
Suppose -4*j + 212 = 4*k, 2*j = -3*k + 70 + 32. Is 16 a factor of j?
False
Suppose -3*r - 6 = 0, r + 421 = 5*m - 2*r. Does 16 divide m?
False
Suppose -3060 + 204 = -12*o. Does 14 divide o?
True
Let a = 1 - -6. Let n = a + 6. Does 9 divide n?
False
Let i = -2 - 13. Is 11 a factor of (-10)/6*i + -2?
False
Let r(a) = -4*a**2 + 1 - 2*a**2 + 5*a + 14 + 3*a**2. Let o(w) = 2*w**2 - 6*w - 14. Let y(h) = -5*o(h) - 4*r(h). Is y(-7) a multiple of 19?
True
Let f(w) = 7*w**2 + 1. Let u be f(-1). Suppose -3*l - 3*r + 12 = 0, -5*l + 38 - u = -5*r. Is 21 a factor of l/(-1)*42/(-5)?
True
Let z(t) = 99*t**2 - 7*t - 6. Does 24 divide z(-1)?
False
Let r = 1 - -14. Suppose j - r + 2 = 0. Suppose 89 - j = 2*z. Is 14 a factor of z?
False
Let a = -5 + 23. Let j = 3 + a. Does 12 divide j?
False
Let k = -21 - -15. Let a(b) = b**3 + 7*b**2 + 7*b + 9. Let f be a(k). Suppose 3*w = f*r + 81, w - 27 = -0*r + 5*r. Does 11 divide w?
False
Suppose 2*j + 24 = -2*j. Let m be 4/j - 293/(-3). Suppose 4*w - f - m = 0, -3*w + 53 = 3*f - 16. Does 12 divide w?
True
Let d be 10/(-3)*72/(-10). Let l = d - 16. Suppose -l = -2*j + 12. Is j a multiple of 5?
True
Let f(y) be the third derivative of -y**5/60 - y**4/12 - y**3/6 + 2*y**2. Let z be f(-1). Suppose g = -z*g + 5. Does 5 divide g?
True
Suppose -4*y + 18 = -14. Suppose -10*m + 12 = -y*m. Is m a multiple of 3?
True
Suppose -25 = -2*x - 2*r + 7*r, -2*r - 13 = -x. Does 5 divide x?
True
Let p(k) = -5*k + 8*k + 8*k. Is 11 a factor of p(1)?
True
Let i be (4 - 2)*(-3)/(-2). Suppose 5*n = 4*o + 78, i*o = 2*n - o - 36. Is n a multiple of 4?
False
Let k be 3 + -1 + 2 + 0. Let g be k/(-3)*3/2. Is 18 a factor of (6/(-7))/(g/84)?
True
Let r(h) = h**2 - 2*h - 1. Let z be r(3). Suppose 0*y = -z*y + 44. Is y a multiple of 22?
True
Suppose 27 - 76 = -k - 3*b, 3*k + 3*b = 177. Does 37 divide k?
False
Let r(o) = 15*o - 36. Is 29 a factor of r(17)?
False
Let z = -39 + 81. Suppose -2*t - 3*b + 14 = -7*b, -z = -5*t + 3*b. Is 3 a factor of t - (-3 + 2 + 2)?
False
Suppose 29 = 5*v - 16. Is v a multiple of 3?
True
Suppose p + p - 140 = 0. Is p a multiple of 35?
True
Is 32 a factor of 8/(-20)*-5*101/2?
False
Let l = 38 + -6. Suppose 0 = -y + 2*y - l. Does 17 divide y?
False
Let u(x) = -x**2 - 11*x + 21. Is u(-12) a multiple of 7?
False
Suppose 11 = y - 25. Does 5 divide (-1)/(-2) + y/8?
True
Suppose -5*g + 2*z = -564, -g + 3 = -z - 