5*j - 57. Does 9 divide j?
True
Let w(y) = 3*y + 1. Let i = 9 + -17. Let h be (i/(-12))/((-4)/(-18)). Is w(h) a multiple of 5?
True
Let b = -24 + 38. Is b a multiple of 9?
False
Suppose 0 = 5*q - m - 644, -4*q - 5*m + 496 = -m. Is 8 a factor of q?
True
Let i(h) be the first derivative of -6*h**2 - h + 1. Is i(-3) a multiple of 14?
False
Let d(c) = 4*c + 122. Is d(-23) a multiple of 6?
True
Let s(y) = y - 1. Let f be s(1). Suppose 16 = 2*x - f*x - 4*k, 0 = -3*x - 3*k + 42. Is 12 a factor of x?
True
Let p be -2 - ((2 - 1) + -14). Let s = p - 4. Does 5 divide s?
False
Let f be (2/6)/((-2)/6). Is 20 a factor of 2*(2 - (f + -7))?
True
Let q be 22*2/4 + -3. Let v = 48 - q. Is 20 a factor of v?
True
Let f(s) = s**3 + s**2 + s - 1. Let l be f(1). Suppose -2*m + 20 = l*m. Suppose -m*g + 63 = -2*g. Does 12 divide g?
False
Let f(x) be the first derivative of x**4/2 + x**2 - x + 5. Does 3 divide f(1)?
True
Let c(v) = -3 + 10 + 6*v - v**2 + 0*v**2. Suppose 17 = 2*z + 5. Is c(z) a multiple of 7?
True
Suppose -2*n = -5*p + 282, -3*n + 2*n - 1 = 0. Does 14 divide p?
True
Let j(g) = 8*g - 1. Let n be j(-1). Let r(z) = -z**3 - 8*z**2 + 6*z + 11. Is r(n) a multiple of 8?
False
Let k = 94 - 90. Is k a multiple of 4?
True
Let p = 28 - 50. Let h = p + 26. Is 3 a factor of h?
False
Let l be (1 - 10)*(2 - 1). Let t be (-18)/(-4)*(-96)/l. Suppose -t = -3*y + 6. Is y a multiple of 18?
True
Let j(a) = 13*a + 11. Let p(r) = -19*r - 16. Let f(i) = 7*j(i) + 5*p(i). Does 3 divide f(-2)?
False
Is (5/(-15)*3)/(1/(-10)) a multiple of 4?
False
Suppose 8*o - 16*o + 1728 = 0. Is o a multiple of 14?
False
Let x = 122 + -42. Suppose x = -3*w + 26. Does 10 divide 2/9 + (-356)/w?
True
Let l = -36 - 61. Let j = l + 148. Is j a multiple of 16?
False
Suppose -8 = 4*q - 64. Let a = q + -9. Suppose -4*u = k - 80, -k - 3*k + a = u. Does 6 divide u?
False
Suppose 36 = 3*h + h - 5*n, 0 = 5*h - 5*n - 50. Is h a multiple of 4?
False
Suppose -5*q = 15, -4*q + 0*q - 33 = -3*v. Suppose -s + 3*a + 81 = 0, 3*a - v*a = -2*s + 156. Is 24 a factor of s?
True
Let l be (8/6)/((-9)/27). Let u(m) = 2*m**2 + 3*m. Is u(l) a multiple of 13?
False
Let d = -66 + 143. Suppose -3*s - 5*x + d = 0, -3*s = -4*x + x - 93. Is 15 a factor of s?
False
Let f(n) = 0*n**2 + 7*n**2 + 1 - 5*n + n + 0. Let m be f(-3). Suppose g - m = -g. Is g a multiple of 15?
False
Is 28 a factor of ((-24)/30)/((-2)/140)?
True
Let k = 43 - -27. Does 7 divide k?
True
Let m(f) = 4*f + 1. Let k be m(-4). Let x = k + 41. Does 15 divide x?
False
Let d be 2/5*(7 + -2). Suppose 2*f - 2 = 2*l, -d*f + 4*l = 3 + 1. Is 2 a factor of f?
True
Let r(c) = 2*c**2 - 2*c - 2. Let p be r(-2). Suppose -3*x = 2*v - 3*v + 6, 2*x - p = 3*v. Let w(l) = -l**2 - 8*l - 2. Is w(v) a multiple of 4?
False
Let o(x) = -22*x + 9. Is 15 a factor of o(-4)?
False
Suppose 3*d = -5*q + 200, -2*d - 7 = 3. Let s = q - 25. Is 9 a factor of s?
True
Suppose -20 = -3*l - 5. Let u = l + -2. Suppose 5*s = u*k + 60 - 149, 5*k - 215 = -5*s. Is k a multiple of 16?
False
Suppose -o - 4 + 37 = 5*f, 0 = -3*f + 4*o + 29. Is 7 a factor of f?
True
Let v(m) = -3*m - 4. Does 11 divide v(-5)?
True
Let t = -2 - -6. Suppose -5*d = -t - 6. Is 12 a factor of (-18)/(-6) - (-74)/d?
False
Suppose -42 - 3 = -5*p + 5*q, -21 = -p - 2*q. Does 13 divide p?
True
Is (6/(-1))/(2/(-11)) a multiple of 16?
False
Let o(t) = -t**3 + 5*t**2 + 6*t - 2. Let q be o(6). Let h be (-167)/q*(1 + 1). Suppose -4*l = -3*f + 19 + 107, -4*f = -5*l - h. Is 16 a factor of f?
False
Let m be 2 + 7715 + 2 + 1. Let y be (-2)/7 + m/(-28). Is (-2)/(-3) + y/(-18) a multiple of 7?
False
Suppose 6*s + 3184 = 22*s. Is s a multiple of 36?
False
Let p(v) = 7*v + v**2 + 6 - 3 - v. Let t be p(-6). Suppose -4*s - t*o = -103, 2*o - 146 = -5*s + 4*o. Does 14 divide s?
True
Let z = -62 + 87. Does 4 divide z?
False
Let x be (-2 - -2 - 2) + 2. Suppose x = -2*q + 3*b + 23, 0 = -q - 3*q + 5*b + 49. Does 8 divide q?
True
Suppose 5*s - 8 = 2. Suppose -24 = -s*d - n, d + n - 5*n = 21. Does 7 divide d?
False
Suppose 0 = -5*f - 38 + 338. Does 15 divide f?
True
Let q = 33 - 3. Suppose 4*d + 4 = 0, 4*n + 86 = -6*d + 4*d. Let h = n + q. Is h a multiple of 3?
True
Suppose 14 - 83 = -3*v. Let x = -14 + v. Is x a multiple of 4?
False
Let k = -3 + 3. Let f(s) = -s**3 + s**2 + s + 12. Is f(k) a multiple of 6?
True
Let k = 103 - -23. Is k a multiple of 14?
True
Let i = 67 + 10. Let s = 4 + i. Is s a multiple of 23?
False
Let i(w) = -w**3 + w + 15. Let u be 2*-1 - 6/(-3). Does 5 divide i(u)?
True
Suppose -2*d - 5 = 5. Is 122 + d/(10/8) a multiple of 33?
False
Suppose 4*l - 4*i - 92 = 0, 0*l - 2*i = -l + 25. Is l a multiple of 5?
False
Suppose 3*u - 426 = -5*s, 0*s - 338 = -4*s - u. Is s a multiple of 28?
True
Suppose -120 = -3*f + 258. Is 34 a factor of f?
False
Suppose 3*u + 1 + 27 = 5*y, -3*y + 13 = 2*u. Suppose j - 17 = y. Does 13 divide j?
False
Suppose 5*w - 25 = -4*c, 12 = -3*w - 0*c + 3*c. Suppose 5*o = 11 - w. Suppose -l + 7 = -o. Does 4 divide l?
False
Let x(w) = w**3 + 12*w**2 - 31*w. Does 21 divide x(-14)?
True
Suppose r + 3 = 5*n, -9 = -5*n - 0*r - 2*r. Let g = n - -2. Let d = -1 + g. Is d a multiple of 2?
True
Suppose -3*x + 35 = -5*m, -7 = -2*m + 3. Is x a multiple of 6?
False
Suppose -5*s + 289 = 3*q + 85, 0 = 5*q + s - 318. Is q a multiple of 9?
True
Let y(p) = p**3 + 7*p**2 - 5*p - 14. Is y(-7) a multiple of 6?
False
Suppose 0*r + 20 = 5*r. Suppose 2*i + i - 2*d - 47 = 0, -64 = -r*i + 4*d. Is 15 a factor of i?
True
Let q(n) = 5*n**2 + 3*n + 5. Let j(t) = 14*t**2 + 8*t + 14. Suppose 3*z = -4*m + 3 + 21, 0 = -3*z - m + 15. Let u(k) = z*j(k) - 11*q(k). Is 16 a factor of u(5)?
False
Let r(d) = d**3 + 11*d**2 - 3*d - 1. Does 8 divide r(-11)?
True
Suppose 47 = -4*r + 15. Let o be (1 - (2 - 131))/1. Does 9 divide (-6)/r - o/(-8)?
False
Let l = 6 + -18. Is 9 a factor of (-2 + 20)/(l/(-16))?
False
Let c(n) = 3*n**2 - 4*n. Let v be c(4). Let r = v + -6. Does 13 divide r?
True
Let c = 141 - 87. Let a = 0 - -9. Suppose 0 = -4*p - 3*i - a + c, -3*i + 54 = 5*p. Does 6 divide p?
False
Let h = -31 - -67. Let y = h + -4. Let r = -17 + y. Does 5 divide r?
True
Let r(f) = -f**3 - 4*f**2 + f + 4. Let k be r(-3). Let p(n) = n**2 + 6*n - 7. Let b(y) = -2*y**2 - 12*y + 14. Let o(a) = 3*b(a) + 7*p(a). Does 3 divide o(k)?
True
Suppose -2*g + 5*n = 14, 3*g - 6 = -5*n + 23. Suppose 2*h + 6 = -l, g*l = l. Does 8 divide (0 + -21)/(h/3)?
False
Suppose -s + 5 = 2*j, 0*s - 10 = 2*j - 2*s. Suppose 805 = -3*p + 2*h, 5*h + 1058 = -j*p - 4*p. Is 16 a factor of (-2)/(-6) + p/(-9)?
False
Suppose 0*u + u = 5. Suppose -2*v = 3*p - 68 - 9, -115 = -3*v - u*p. Is 19 a factor of v?
False
Suppose j + 0*j = -15. Let t = -10 - j. Suppose t*y + 3*g + 0*g - 171 = 0, -2*y + 5*g = -87. Does 13 divide y?
False
Suppose 35 - 2 = 3*i. Is i a multiple of 2?
False
Suppose -o - 6 = -2*o. Suppose -s + 0*s = -o. Is 6 a factor of s?
True
Suppose -16 = -0*h - 4*h. Suppose 3*p - 4*p = -h. Suppose 2*u - 26 + p = 0. Is u a multiple of 4?
False
Suppose 6*l = -5*s + 3*l + 17, 0 = 4*s + 3*l - 13. Suppose -20 = 3*g - s*g. Is g a multiple of 10?
True
Let a = -3 + 9. Let i = 1 + a. Does 7 divide i?
True
Suppose 7 = i - 58. Does 17 divide i?
False
Suppose -o + 15 + 5 = 0. Suppose 0*b = -b + 3*t - 10, 18 = 5*b + 2*t. Is 3 a factor of 20/b*12/o?
True
Suppose 4*b + 3 = 15. Is 7 a factor of 4*(2/4 + b)?
True
Let h(v) = -v**3 - 2*v**2 + 3*v + 2. Let d be h(-3). Suppose 0 = c + 2*l - d, -5*l = -2*c - 2 - 3. Suppose 4*f - 29 - 27 = c. Is 7 a factor of f?
True
Is (-2 + 3)/((-5)/(-145)) a multiple of 9?
False
Let b = 10 + 6. Is b a multiple of 5?
False
Let k(s) = s**2 + 6*s + 5. Let z be k(-5). Is 13 a factor of (-30 + 0)/(-2) - z?
False
Let m = 1 - 4. Is 1/(m*4/(-180)) a multiple of 7?
False
Let j(g) be the first derivative of -17*g**6/120 + g**5/30 + g**4/24 + g**2/2 + 1. Let u(m) be the second derivative of j(m). Is 11 a factor of u(-1)?
False
Suppose 0 = -3*z + 6*z + 24. Let w = z + 42. Suppose -2*b + 16 = -w. Is 10 a factor of b?
False
Let u(j) = -j**2 - 7*j - 4. Let z be u(-5). Let h = z + -1. Is h a multiple of 2?
False
Is (-22)/8 - -2 - (-1084)/16 a multiple of 5?
False
Let w = -61 + 34. Is 2 a factor of 6/w + (-47)/(-9)?
False
Let p be 20 - 0/(-1 - -3). Suppose 3*b - p = -2*b. Suppose -3*r = -6*r - 6, -j - 5*r - b = 