*a + 2*a - 20 = 0. Does 28 divide k?
True
Suppose 2*p + t - 186 = 5*t, 114 = p + 5*t. Is p a multiple of 9?
True
Let j be -3 + (0 + 1)*114. Suppose 5*l - 54 = j. Is l a multiple of 14?
False
Suppose 5*r = 2*k + k - 118, -3*k = 3*r + 90. Let u(l) = l**3 - 5*l**2 + l - 4. Let p be u(4). Let h = p - r. Is 10 a factor of h?
True
Let a(l) = -8*l - 1. Let h be a(-1). Let x = h - 7. Suppose 30 = -x*u + u. Does 14 divide u?
False
Let n = -1 - 2. Let s be ((-1)/n)/(2/18). Suppose q + 24 = s*q. Does 12 divide q?
True
Suppose 3*v - 5*y + 32 = 0, -y + 10 = 2*v - 3*v. Let k(m) = -m**3 - 8*m**2 + 10*m + 8. Let d be k(v). Let h = d + 3. Is h a multiple of 2?
True
Suppose -386 = d - 3*d. Suppose 5*h + 43 - d = 0. Is 18 a factor of h?
False
Let v = 25 + -17. Suppose -2*a - v = -6*a. Let k = a - -7. Is 7 a factor of k?
False
Suppose x + x = -2*k, 4*k = -2*x. Let g be (-3 + -23)*(k - -1). Let q = g + 64. Is 19 a factor of q?
True
Let k = -1 + -1. Let u(g) be the third derivative of -3*g**4/8 - g**3/3 + 2*g**2. Does 7 divide u(k)?
False
Let f(o) = o + 5. Let h be f(-5). Suppose 0 = -h*p + p - 18. Is p a multiple of 6?
True
Suppose -2*l = -l + g - 207, -4*g + 622 = 3*l. Does 37 divide l?
False
Let d be 26/6 + (-9)/27. Suppose 0 = -o + 4 + d. Does 4 divide o?
True
Let k(i) = 2 - i**2 - 8 - 1 + 13*i. Let a be k(10). Suppose 127 = 4*b - 5*p, b + 0*b - 3*p = a. Does 19 divide b?
True
Let t = 45 + -30. Does 6 divide t?
False
Is 13 a factor of 2/1*(-59)/(-2)?
False
Let r(a) = -a**2 - 9*a - 4. Let n be (-6)/(-4)*(-16)/(-12). Let k = n - 8. Is r(k) a multiple of 14?
True
Suppose -21 = -2*x - 25. Is 19/(-3*x/6) a multiple of 10?
False
Let p be -3 - ((-9)/3 + -4). Suppose p*v = 12*v - 864. Is v a multiple of 27?
True
Suppose 3*w + 5*t = 4*w + 23, 2*w + 2*t - 14 = 0. Suppose p + 200 = 3*p. Suppose 2*f + w*f = p. Is f a multiple of 10?
False
Let g be (-74)/(-4) - (-3)/2. Suppose -278 = -5*p + 3*m - m, g = -5*m. Let c = -22 + p. Does 16 divide c?
True
Suppose -180 = 2*n - 5*n. Does 15 divide n?
True
Let t = -112 - -214. Suppose 5*d = 3*q - 104, -54 = -4*q - 2*d + t. Does 14 divide q?
False
Let f(d) = 3*d**3 - 14*d**2 + 19*d + 9. Let x(a) = -21*a**2 + 14 - 2*a**3 + 29*a + 9*a**3 - 2*a**3. Let z(l) = 8*f(l) - 5*x(l). Does 5 divide z(-8)?
True
Let y(a) be the second derivative of a**3/6 - a**2 + 2*a. Let c be y(6). Does 14 divide c*-8*(-3)/6?
False
Let x be 2/6 + (-5)/15. Suppose m - 3 - 10 = x. Does 13 divide m?
True
Let z = 81 - -68. Let t = z + -103. Let w = t + -21. Is w a multiple of 12?
False
Is 8 a factor of 25 + ((-6)/2)/3?
True
Let y = 11 + 7. Suppose -p - 4*s = -y, -36 = -3*p - 3*s + 36. Is p a multiple of 15?
False
Let d(r) = -36*r**2 - 5. Let b(a) = a**2 + 1. Let s(x) = -4*b(x) - d(x). Is 12 a factor of s(-1)?
False
Let w be 6/(-15) + (-17)/(-5). Suppose -w*n = -n. Suppose 4*j - 2*j - 46 = n. Does 13 divide j?
False
Let w(f) be the first derivative of f**2 + 4*f - 1. Is 10 a factor of w(7)?
False
Let q(r) = -r**2 + 7*r + 2. Let x be q(7). Suppose -4*p + 96 = 2*u, -x*u = u. Is 8 a factor of p?
True
Let h be (2 + 1 + -3)/2. Suppose -3*r + 94 = -j, 4*j = 4*r - h*r - 112. Does 19 divide r?
False
Let o(c) = -c**3 - 6 + 3*c**2 + 1 + 2 + 0*c**2 - c. Let m be o(3). Is (-160)/m - (-2)/(-3) a multiple of 13?
True
Let v = -18 - -39. Is 3 a factor of v?
True
Suppose 3*u + 70 = g, 2*u = -5*g - 11 - 13. Let x = u - -1. Let c = x + 33. Does 6 divide c?
True
Suppose 5*j - 25 = 0, 2*p - j - 14 - 7 = 0. Suppose 0*a + p = z - 3*a, 0 = 4*a + 4. Does 6 divide z?
False
Let w(b) = -1 - 2*b + 2*b - 16*b. Let d(j) = j + 13. Let r be d(-14). Does 15 divide w(r)?
True
Suppose -u - 28 + 0 = 0. Let l = u - -59. Is l a multiple of 11?
False
Suppose 2*d + n - 6*n = -32, 4*d + 36 = 3*n. Let w be 9/(3 + d)*-1. Suppose -x = -w*x + 72. Is x a multiple of 12?
True
Let p(w) = -2*w**3 + 18*w**2 + 11*w + 9. Does 43 divide p(9)?
False
Let y(o) = -6*o + 7. Let r(a) = -a**3 + 5*a**2 - 5*a - 2. Let g be (32/(-12))/(4/(-6)). Let w be r(g). Is y(w) a multiple of 17?
False
Suppose -2*u = 5*c - 7, -5*c + 2*c = 3*u + 3. Let x = 11 - 7. Suppose x*w - 6 = c*w. Does 6 divide w?
True
Let t be (3/3)/((-2)/(-4)). Let r be (4*1 - -2) + -2. Suppose r*z + 106 = 3*s, -z + 2*z = -t*s + 56. Is s a multiple of 13?
False
Let a = 171 - 79. Suppose a = 2*f - 4*w, -5*f - 2*w + 203 = -3*w. Suppose 0 = 4*l + 4*v - f, -l + 5*v = -3*l + 17. Does 4 divide l?
False
Let t = 19 - 31. Let f be ((-8)/(-3))/((-8)/t). Suppose -11 = -f*x + 17. Does 7 divide x?
True
Let g = 51 + 5. Is 8 a factor of g?
True
Let n = -5 - -4. Is 96/9*(n + 4) a multiple of 16?
True
Suppose -87 = 4*j - 7*j. Is j a multiple of 26?
False
Suppose -5*u + 6*k - 11*k + 480 = 0, 3*k = -u + 86. Does 21 divide u?
False
Let f = 5 - 3. Let n = 6 - f. Suppose -4*m + 20 = 0, -n*h + 103 = m + 2*m. Does 11 divide h?
True
Does 38 divide -1 - (1 - (-1194)/(-6))?
False
Let k(l) = l**3 + 13*l**2 - 7*l - 13. Let x be 3 + -1 - 14 - 1. Is 16 a factor of k(x)?
False
Suppose -5*h + 339 = -2*c, 0 = 4*h - 5*h - 4*c + 81. Is h a multiple of 29?
False
Let p(m) = -m**2 + 3*m**3 - 4*m**2 - 4*m**3 - 4*m + 5. Let v be p(-4). Let j(g) = 3*g - 4. Is j(v) a multiple of 11?
True
Suppose q = 76 + 20. Is q a multiple of 16?
True
Suppose 0*j - 2*j - x = -23, -x - 16 = -j. Is 5 a factor of 2/(1/j*2)?
False
Let u = -7 + 33. Is u a multiple of 13?
True
Let l(x) = -x**2 + 4*x + 5. Suppose 0 = -u + 6*u - 20. Does 4 divide l(u)?
False
Let i be (-1)/6 + 318/(-36). Suppose -4*q + 56 = -0*q. Let o = i + q. Does 5 divide o?
True
Let k = 9 + -4. Let s(p) = 2*p - 7. Let n be s(k). Does 13 divide 0*n/6 + 26?
True
Let d(t) = t**3 + 8*t**2 - 6*t - 6. Let c(x) = x**3 + 8*x**2 + 8*x - 1. Let p be c(-7). Is 11 a factor of d(p)?
False
Let t be 5/(5/(-34)) - 3. Let o = 127 + t. Is 30 a factor of o?
True
Is 4 - (-46 + 0 + -1) a multiple of 6?
False
Does 13 divide (-3)/(-6) - (-774)/12?
True
Is (164/6)/(4/6) a multiple of 23?
False
Suppose 5*v - 27 - 23 = 0. Does 5 divide v?
True
Suppose -2*p + 536 = 2*w, -p + 253 = 2*w - 13. Does 10 divide p?
True
Suppose -a - 3*t + 11 = 0, 3*t - 85 = -5*a - 2*t. Is a/(-30)*240/(-2) a multiple of 23?
False
Let j = -10 - -10. Suppose 4*v + 5*k + 4 = 0, j*v + k - 8 = -3*v. Is v even?
True
Suppose t - 5*t - 297 = -5*k, 5*t + 72 = k. Does 19 divide k?
True
Suppose 144 = 2*b + 42. Suppose 3*z - 93 = -4*g, 0*g - 2*g + 3*z = -b. Does 13 divide g?
False
Does 18 divide 77 + -9 + 4/1?
True
Let s(w) = -5*w + w + 3*w - 6. Let u be s(-6). Suppose u = 3*m - 37 - 50. Is m a multiple of 12?
False
Let w = 5 + -2. Suppose 22 = w*q - q. Does 11 divide q?
True
Let j(b) = -b. Let w(u) = -u. Let r(z) = 2*j(z) - w(z). Is 3 a factor of r(-7)?
False
Suppose -o + 11 = -25. Is o a multiple of 21?
False
Suppose 3*n + 30 = -s + 2*s, 0 = -5*s + n + 192. Is 4 a factor of s?
False
Let w = 1 - -1. Let j(c) = 9*c**3 + 3*c**2 - c - 2. Does 24 divide j(w)?
False
Let x(s) = -2*s - 4. Let b be x(-3). Suppose 4*h = 5*q - 22, -b*q - 2*h = -5*q + 12. Is 1*q/3*12 a multiple of 7?
False
Let i be 1/(-4) + (-18)/(-8). Suppose -w = s - 28, -w + 76 = i*w - s. Is w a multiple of 13?
True
Let s(n) = n**2 - n + 31. Let j be s(0). Let w = -18 + j. Is w a multiple of 7?
False
Suppose 3 - 18 = -5*b. Suppose v - 1 - b = 0. Suppose 2 = h, -4*p + 94 = v*h - h. Is 11 a factor of p?
True
Let s(h) be the first derivative of h**3/3 - 3*h**2/2 + h - 1. Let r be s(3). Suppose -y = -r - 28. Is y a multiple of 12?
False
Suppose -a + 3*k = 0, 11 = 3*a - k + 3. Suppose 2*p + a = 23. Is p a multiple of 4?
False
Let i(f) be the first derivative of f**4/4 - 5*f**3/3 - f**2/2 - 2*f - 3. Is i(6) a multiple of 14?
True
Suppose -u - 7 = -4*j + 8, 5*j + 5*u = 25. Suppose -j*k + 52 = 2*s, 2*s = 4*k + 7*s - 58. Is k a multiple of 12?
True
Let c(a) = 3*a**2 + 2*a + 6. Is 31 a factor of c(4)?
True
Let b = 3 + -4. Suppose -v + 55 = -h, h + 2 = -0*h. Is 10 a factor of b/3*(2 - v)?
False
Does 5 divide 12/(-21) + 474/21?
False
Suppose 0 = x + 5*v - 16, -48 = -3*x + 2*v - 5*v. Let d be 4/x + 15/4. Does 15 divide 68/3 - d/6?
False
Let j(h) = -26*h + 15. Is 19 a factor of j(-3)?
False
Suppose -d - d = 4. Let j be 2 - d/(-1) - -2. Suppose l - 2*z = j*z - 4, 4*z = -4*l + 84. Does 8 divide l?
True
Let h = 36 - 21. Let m = h - 9. Is 6 a factor of m?
True
Suppose -4*d = -2*b 