s 14 a factor of d?
False
Suppose 6*b + 23 = -7. Let l = b - -16. Does 5 divide l?
False
Suppose -r + 2*v + 64 = 0, -4*r - 2*v = 3*v - 308. Is 15 a factor of r?
False
Suppose -100 = -2*i + 5*c, -i = 5*c - 0*c - 20. Suppose f + i = 6*f. Is 7 a factor of f/3*18/2?
False
Let h be ((-8)/3)/((-8)/12). Suppose 7*o - 156 = 3*o + 4*s, -2*s = -h*o + 146. Is o a multiple of 6?
False
Suppose 6*w - 4*w - 8 = 0. Suppose 0 = 2*f - 3*f + w. Suppose -7*o + 51 = -f*o. Is 9 a factor of o?
False
Let h(p) = 2*p**2 - 8*p - 6. Let d(n) = -n - 1. Let a be d(-1). Let v = a - -6. Is 9 a factor of h(v)?
True
Let r(d) be the third derivative of -d**5/60 - d**4/12 + d**3/6 + 2*d**2. Let z be r(3). Is (-27)/(-2) - (-7)/z a multiple of 9?
False
Let k(w) be the third derivative of w**6/120 - 2*w**5/15 + w**4/3 + 2*w**3/3 - 2*w**2 - 2*w. Suppose 2*q = 2*s + 24, q + 4*s + 27 = 2*q. Is 10 a factor of k(q)?
False
Let w be (3 - 11/3)*-6. Suppose -w*g = 8, -3*c + 25 = -4*g - 28. Is c a multiple of 15?
True
Suppose 2*m + 3*m = -15, 4*n - 4*m = 0. Let o be 5/(5/(-3)) - n. Suppose o = -f - 7 + 16. Is f a multiple of 3?
True
Let c = -302 + 549. Is 13 a factor of c?
True
Suppose 4*s - 65 = -s. Is s a multiple of 10?
False
Let a(k) = -k**2 + 10*k + 8. Let d be a(7). Let m = d - 11. Does 9 divide m?
True
Let s(d) = -d**2 - 7*d + 20. Let p be s(-9). Let y be (0 + -1)/(0 - -1). Does 11 divide (p - -25) + 1/y?
False
Suppose 0*n + 15 = 5*n. Does 7 divide (-30)/8*(-16)/n?
False
Suppose -2*a + 0*u - 5*u - 7 = 0, -3*a - 4 = u. Let f = 83 - 58. Let x = f - a. Does 14 divide x?
False
Let h = -8 + 10. Is (-3 + h + -2)*-6 a multiple of 12?
False
Suppose 2*h - 426 = -26. Suppose -3*u = -4*m - h, -5*u + 3*m = -0*m - 315. Does 15 divide u?
True
Suppose 3*z + r - 45 = 0, 2*z + 15 = -r + 46. Suppose o + 3 - z = 0. Suppose 4*d - o = 101. Does 14 divide d?
True
Does 9 divide 804/15 + 6/15?
True
Suppose 2*o - 3*w = 291, 5*o = w - 2*w + 753. Is o a multiple of 15?
True
Let u(v) = v - 1. Let b be u(4). Suppose 0 = 3*x - 2*r - b, -r - 3*r + 27 = 5*x. Suppose 0 = x*c - 2*f - 122, 79 + 146 = 5*c + f. Is 19 a factor of c?
False
Is 12 a factor of 2 + 348/(1 + 3)?
False
Let j(p) = -11*p**2 - 6*p - 2. Let u(m) = 23*m**2 + 13*m + 4. Let g(k) = -5*j(k) - 2*u(k). Is 15 a factor of g(-2)?
True
Suppose 2*l + 4*y - 36 = 0, l - 2*y + 60 = 5*l. Suppose -4*i = -38 + l. Suppose -66 = -4*u + i. Is u a multiple of 10?
False
Suppose f + m - 8 = 0, f + 17 = 5*f - m. Is f even?
False
Suppose -3 - 7 = -5*c. Let z(t) = 10*t**2 - t - 1. Is 13 a factor of z(c)?
False
Suppose 4*d + 177 = 3*t - d, 2*d - 210 = -4*t. Is 8 a factor of t?
False
Let g(j) be the first derivative of 0*j - 2 + 1/2*j**4 + 0*j**3 + j**2. Does 11 divide g(2)?
False
Let h(p) = -p**3 + 8*p**2 + 3*p + 2. Let u be h(8). Suppose u + 4 = r. Is r a multiple of 10?
True
Let q(t) = 30*t**2. Let i be q(1). Let s = i + -7. Does 8 divide s?
False
Let a = 39 + -8. Is a a multiple of 20?
False
Suppose 0 = -4*f + 3*f + 172. Let u = -101 + f. Let y = -51 + u. Is y a multiple of 9?
False
Let d be (-1)/(-4) + 162/24. Let j = 5 - d. Let p = j - -10. Is 5 a factor of p?
False
Let x = -34 - -22. Is 6 a factor of (8/x)/(10/(-615))?
False
Let z(i) = -i + 11. Let c be z(10). Let v(j) = 24*j**2 - j. Is v(c) a multiple of 23?
True
Does 11 divide (-1)/(1/((-141)/3))?
False
Let h be (-6)/(((-8)/6)/(-2)). Let w(s) = -s**3 + 7*s**2 - 3*s + 5. Let u(j) = -2*j**3 + 6*j**2 - 3*j + 6. Let g(v) = -2*u(v) + 3*w(v). Does 10 divide g(h)?
True
Suppose 4*p - 192 = -6*b + 2*b, b + 4 = 0. Does 13 divide 6/(-4)*p/(-6)?
True
Suppose 5*k - 4*h = -25, 0 = -3*k - 5*h + 2*h + 12. Let n(p) = -26*p. Is 13 a factor of n(k)?
True
Suppose 1076 = 7*o - 1920. Is 49 a factor of o?
False
Let k(d) = -3*d - 10. Let n(g) = 2*g + 9. Let x(l) = 3*k(l) + 4*n(l). Is 8 a factor of x(-8)?
False
Let d be 23/(-3) + (-2)/(-3). Let g(p) be the first derivative of -p**3/3 - 4*p**2 + 7*p - 7. Is 13 a factor of g(d)?
False
Let k(j) = 29*j**3 - 2*j + 1. Is k(1) a multiple of 14?
True
Let k be (-37)/7 + (-4)/(-14). Let n(q) be the third derivative of -q**5/60 - 3*q**4/8 - q**3/3 - 2*q**2. Does 9 divide n(k)?
True
Is 20 a factor of (378/30)/((-3)/(-10))?
False
Let x(r) = -r + 26. Suppose -3*y + 5*b + 4 = 3*b, -4*y = -5*b + 4. Suppose y*s = -5*w, -4*w + 6*s - 3*s = 0. Is x(w) a multiple of 21?
False
Let j be 0/(-1 - 0/3). Suppose j = q - a - 41, 13 = -4*a - 7. Is 23 a factor of q?
False
Let w(i) be the first derivative of i**4/4 + i**3 - 5*i**2/2 + i - 4. Let u be w(-4). Suppose -u*m = -2*v - 78, -3*m + 44 = -5*v - 18. Does 4 divide m?
False
Let z = 27 + -72. Let v = -21 - z. Is 15 a factor of v?
False
Is 15 a factor of (-22)/(-6)*-2*-6?
False
Suppose w = 3, 5*j - j = 5*w - 3. Let a(f) = 4*f**2 + 1 - 4*f**3 + f**2 + 3*f**3 - 4*f. Is 7 a factor of a(j)?
True
Let k(v) = -2*v**3 - 4*v**2 + 5*v - 9. Does 23 divide k(-5)?
False
Let v = -7 - -11. Let f = 41 - 38. Suppose -92 = -v*l - 2*h, -f*l + 89 - 13 = 5*h. Is l a multiple of 11?
True
Suppose 0*o = -4*o - 28. Let a = o + 14. Is 96/a + 4/14 a multiple of 9?
False
Let v be (8/(-6))/((-2)/9). Suppose 111 = 4*h - 5*r, v - 3 = -r. Does 12 divide h?
True
Suppose 0 = -2*t + 5*h + 219, -5*t + 562 = -4*h + 6*h. Let v be 2 + 2/(-4)*-146. Let s = t - v. Does 15 divide s?
False
Suppose 4*j = -16, 3*j = -i + 5*j + 4. Let c be -1*(-1)/(-2)*i. Suppose -c*k - 2*d - 39 = -5*k, 3*d + 13 = k. Is 13 a factor of k?
True
Is 9 a factor of (2/4)/(2/(-24))*-3?
True
Let l be ((-12)/2)/(-6 - -4). Let u be (-14 - (-3)/l) + -2. Let t = u + 26. Is 6 a factor of t?
False
Let y = -2 + 7. Suppose 4*r + y*v = 19458 + 7922, -4*r - 4*v + 27376 = 0. Is r/110 - (-2)/(-11) a multiple of 16?
False
Let t(h) be the first derivative of -5*h**3/3 + 2*h**2 + 2*h + 2. Let b be t(6). Is (-4)/10 + b/(-10) a multiple of 15?
True
Let t be (0 - (4 - 2))*-82. Let j = t - 67. Let i = -55 + j. Does 21 divide i?
True
Let j(d) = 10*d - 12. Is j(4) a multiple of 11?
False
Suppose 0 = 4*w - 22 + 6. Suppose -2*s - 2 = -30. Suppose -w*v + 82 = -s. Is v a multiple of 12?
True
Let p be 12/(-54) + 4/18. Suppose -4*c + 20 + 20 = p. Does 8 divide c?
False
Suppose n - 116 = -3*n. Does 6 divide n?
False
Suppose 4*i + 77 = 5*i - 5*z, 2*z + 68 = i. Let q = i - 22. Does 20 divide q?
True
Let b be -15*(0 + 4/(-3)). Does 3 divide (36/b + -3)*-5?
True
Suppose u + 20 = d, 0 = d - 0*u + 2*u - 32. Is 6 a factor of d?
True
Let g = -13 + 13. Let m = -6 + 9. Suppose -5*u = w - 80, 48 = m*u - g*u - 3*w. Is 8 a factor of u?
True
Suppose -u - 2 = -2*u. Suppose -116 = -0*g - u*g. Is 12 a factor of g?
False
Suppose 0 = -z - 5*h - 19, 0 = -4*z - h - 2*h + 9. Let c(n) = 4*n - 8. Is 16 a factor of c(z)?
True
Let a = -7 - -21. Is 7 a factor of a?
True
Let i = 22 - 3. Is 19 a factor of i?
True
Let i = -147 - -246. Does 11 divide i?
True
Suppose -4*q + 2*w + 28 = 3*w, -5*q + 46 = 4*w. Let x(n) = 2*n**2 + 5*n - 5. Let r be x(q). Let d = r + -61. Is d a multiple of 18?
True
Suppose -59 = -o + 130. Does 14 divide o?
False
Suppose -i - 4*i + 165 = 0. Is i a multiple of 19?
False
Does 31 divide ((-12)/(-9))/((-1120)/(-372) + -3)?
True
Does 7 divide ((-134)/(-4))/((-13)/(-26))?
False
Let k(t) = 75*t + 1. Let n be k(1). Suppose -p + n = 3*p. Does 16 divide p?
False
Let m(d) be the first derivative of d**5/30 + 3*d**4/8 + 2*d**3/3 + d**2 - 1. Let l(t) be the second derivative of m(t). Does 11 divide l(-6)?
True
Let t be 3*-8*92/(-8). Does 19 divide ((-6)/3)/((-8)/t)?
False
Let n = -8 + -12. Is 11 a factor of (-516)/(-20) - 4/n?
False
Let f be 16/(-6) + 3/(-9). Let u be (4/(-2))/(-2) + 1. Is 19 a factor of u*f/(-6)*19?
True
Let l(h) = h**3 + 6*h**2 - 4*h - 7. Let j(v) = -v**2 + v + 1. Let o be j(0). Let f be o - 9 - (3 - 5). Is l(f) a multiple of 10?
False
Suppose -1545 = -6*c + 915. Does 41 divide c?
True
Let l(y) = 29*y**2 - 7*y - 10. Let u be l(-7). Is 2/7 - u/(-35) a multiple of 14?
True
Suppose 0 = 4*i - 10 - 62. Suppose -w + 9 = -i. Let b = w + -11. Is b a multiple of 8?
True
Let u be (5/2 + -2)*-12. Is (6/9)/(u/(-117)) a multiple of 3?
False
Let z be ((-27)/6)/(2/(-4)). Suppose -2 = -r + z. Suppose r + 1 = 2*x. Does 6 divide x?
True
Let c be ((-4)/3 - -2)*3. Suppose -c*g - 5 = 11. Is (-2)/g + 357/12 a multiple of 15?
True
Suppose -y = 0, 0 = -c - 3*c - 5*y - 28. Let g = -4 - 