 a factor of d?
True
Let x(t) = -t**3 - 9*t**2 - 4*t - 6. Is x(-9) a multiple of 15?
True
Let c(r) = 5*r + 5. Let p be c(5). Let h(i) = i**2 + 11*i + 12. Let q be h(-10). Suppose -w - q*w + p = 0. Is w a multiple of 10?
True
Let y = -3 - -8. Suppose 0 = -y*s - o + 50, 0 = -4*o + 3*o. Is s a multiple of 10?
True
Let p be (1 - 2)/(2/(-6)). Suppose 15 = 4*m + 3*h, -p*h + 4 = -3*m - 11. Suppose -3*t + 45 = -m*t. Is 15 a factor of t?
True
Suppose 5*j + 1 - 11 = 0. Suppose -o = -j*o. Suppose -5*u - 2*b + 36 + 20 = o, -2*b = -2*u + 28. Is u a multiple of 6?
True
Suppose -w = -3*d + 326, 8*d + w = 3*d + 530. Does 11 divide d?
False
Suppose -16 = -2*r - 2*x - 2*x, -3*r = 5*x - 23. Does 18 divide (-18)/(-4)*76/r?
False
Suppose -3*c = -c - b - 67, c - 23 = -3*b. Is c a multiple of 14?
False
Suppose 8 = 2*d + 2*o, -2*d = -3*d - 5*o + 20. Suppose -4*a + 2*l - 4 = d, 5*a + 2*l - 5*l = -6. Suppose a = c - 10 - 26. Is 18 a factor of c?
True
Does 13 divide 1/(1/(-2))*390/(-60)?
True
Suppose 3*c - 29 = -5. Does 8 divide c?
True
Let q = -3 + 22. Does 8 divide q?
False
Let q(y) = y**3 - 9*y**2 - y + 6. Let p be q(9). Suppose 0 = 2*k - k - 4. Is 8 - (3 - (k + p)) a multiple of 4?
False
Let w = -9 - -33. Suppose -w = -3*y - y. Is y a multiple of 3?
True
Let w = 3 + -1. Let x = -4 - -6. Suppose 0 = x*n + 10, 0*t - n - 61 = -w*t. Does 14 divide t?
True
Let u be 8*1*(-10)/(-20). Suppose -81 = -5*g + 4*k, -k + 73 = 4*g + u*k. Is 7 a factor of g?
False
Let x(g) be the third derivative of -11*g**6/240 - g**5/120 + g**4/24 - 2*g**2. Let d(c) be the second derivative of x(c). Does 11 divide d(-1)?
False
Let g be 2/3 + 496/(-24). Does 35 divide 2/((-24)/63)*g?
True
Let v = 11 + -6. Suppose 2*s + 10 = 5*x, 3*s = -v*x + 12 + 23. Let p = 13 - s. Is 4 a factor of p?
True
Suppose -c + 40 = 2*u, -c + 4*u - 22 + 68 = 0. Suppose -4*y + c = -y + 2*p, -4*p - 42 = -3*y. Does 14 divide y?
True
Let i(x) = -x + 7. Let t be (-2)/(((-8)/(-6))/(-2)). Let o be i(t). Suppose o*m - 14 = 18. Is m a multiple of 5?
False
Let t = 92 + -32. Suppose -6*u = -u - t. Is 4 a factor of u?
True
Let z(y) = -27*y - 80. Is 20 a factor of z(-10)?
False
Suppose 2*d - 2*s = 2, 5*d + 0*s - s = 21. Is 3 a factor of d?
False
Suppose 4*g - 4 = 2*g. Suppose -5*u + g*q = -74, 0*u + 3*q = -4*u + 73. Is 16 a factor of u?
True
Suppose 0 = -d + 3*d - 5*z - 8, 2*d - z - 8 = 0. Let j(f) = 3*f**2 + 6*f - 1. Let n be j(d). Suppose 4*t = 3*m - n + 205, -5*t - m = -177. Does 15 divide t?
False
Let n(v) = -6*v. Let b be n(2). Let z be ((-20)/3)/(4/b). Suppose -d - d + z = 0. Is d a multiple of 4?
False
Does 22 divide ((-1290)/20)/((-3)/4)?
False
Let u(v) = -v**3 - 4*v**2 - 4*v + 1. Let y = 9 - 13. Does 7 divide u(y)?
False
Suppose 45 = 3*k - 0*k. Is (70/k)/(2/3) even?
False
Let w(q) be the second derivative of 0 + 2*q + 1/2*q**3 - 7*q**2. Is 11 a factor of w(12)?
True
Let r(c) be the third derivative of -c**5/60 + c**4/4 - c**3/3 + 3*c**2. Let d be r(5). Suppose 0 = -4*q + d + 65. Is q a multiple of 6?
False
Let c(r) = r**3 - 2*r**2 - 2*r + 3. Suppose -2*f = 2*p + 2, f + 3*p + 5 = p. Suppose -3 = -5*v - 3*z, z + 5 = f*v + 2*z. Is 3 a factor of c(v)?
True
Let w(a) = a**3 - 5*a**2 - 13*a + 5. Let k be w(10). Suppose 7*l - k = 2*l. Does 21 divide l?
False
Let u = 3 - 6. Let i be 1*u*(-4)/6. Suppose -i*o + 38 = -2*d, o - 3*d - 35 = 2*d. Does 9 divide o?
False
Suppose -6*g + 4*g + 171 = -a, -3*g - a + 264 = 0. Is g a multiple of 29?
True
Let p be 4 + -1 + 1*-6. Let x(d) = -d**3 - 2*d**2 - 3*d - 4. Is 14 a factor of x(p)?
True
Is 2/(-7) + (-520)/(-7) a multiple of 21?
False
Let d be ((-12)/(-10))/((-4)/(-10)). Let x(h) = 3*h - 4. Let k be x(d). Is (-4)/(-10) - (-18)/k a multiple of 4?
True
Suppose -b = 4*z - 45, -4*b - 34 = z - 184. Is 37 a factor of b?
True
Does 4 divide 14/3 - 18/27?
True
Let v(s) = -s - 7. Let k(t) = -2*t - 20. Let n(i) = -2*k(i) + 7*v(i). Let w(m) = m**3 - 5*m**2 + 5*m - 4. Let f be w(3). Does 12 divide n(f)?
True
Let n be (-4)/(-5)*(-1725)/(-6). Suppose 3*o - n = -80. Suppose 3*b + 10 = 3*l - 2*l, 4*l = 2*b + o. Is l a multiple of 13?
True
Suppose 8*z + 2*z = 340. Is 21 a factor of z?
False
Suppose 0 = -5*c + 2*y - 12, -20 = -y + 6*y. Let a be (0 + 2)*(c - -124). Suppose -4*f + a = f. Is 16 a factor of f?
True
Suppose 0 = -2*t + t - 2. Suppose -4*r + 4 = -2*k, r - 7 = -4*r + 2*k. Is 5 a factor of r*(102/(-9))/t?
False
Let f(g) = -4*g. Let m be f(4). Suppose 5*u - 4*u - 3 = 0. Does 2 divide (u/6)/((-2)/m)?
True
Let w be (4/12)/((-1)/(-12)). Let z = 4 + w. Does 8 divide z?
True
Is (939/6)/(2/4 + 0) a multiple of 33?
False
Let a = 83 - 11. Does 12 divide a?
True
Let o(m) = -3*m + 100. Does 20 divide o(0)?
True
Let k(q) = 140*q**3 + q**2 - 3*q + 2. Is 20 a factor of k(1)?
True
Let m(c) be the second derivative of -1/6*c**3 + 4*c**2 - c + 1/2*c**4 + 1/20*c**5 + 0. Is m(-6) a multiple of 6?
False
Let h = 83 + -14. Does 19 divide h?
False
Suppose z = -z + 8. Suppose 2*y = z*u + 20, -3*u = -0*y - y + 11. Does 4 divide y?
True
Let a(v) = v**3 + 6*v**2 - 2*v - 4. Is 6 a factor of a(-3)?
False
Let w(f) = f**2 + f + 2. Let a be w(2). Suppose 2*r = -a, 5*r + 28 = 2*g - 4. Does 2 divide g?
True
Suppose 0 = 5*t + 2*j - 19, 5*t - 9 = j + 2*j. Suppose -t*i = -n - 86, -5*n = -5*i + i + 133. Is 9 a factor of i?
True
Suppose 2*r - 3*l + 5 - 1 = 0, 12 = r + 2*l. Suppose -8*i + r*i - 5*f = -37, 5*f - 25 = 0. Is 3 a factor of i?
True
Suppose -33 = r + 2*r. Let d = 19 + r. Does 4 divide d?
True
Let p = -4 - -10. Let a = 16 + p. Let o = -11 + a. Is o a multiple of 5?
False
Let l(m) = -m + 13. Let r be l(8). Suppose -k + 23 = -r*x, k = 6*k - 5*x - 55. Does 8 divide k?
True
Let c be 25/6 + 1/(-6). Suppose -3*f - c + 49 = 0. Does 9 divide f?
False
Let o(m) = m**2 + 4*m - 1. Let q be o(-4). Let u = 10 + q. Is 9 a factor of u?
True
Let a = -4 - -7. Let d = 5 - a. Suppose 0 = d*s - 0*s - 10. Is 3 a factor of s?
False
Suppose 90 - 9 = x. Suppose -2*v = 2*v - 3*q - x, 4*v = 4*q + 76. Is v a multiple of 12?
True
Suppose 3*v - 10 - 14 = 0. Suppose -k - v = -2*k. Is k a multiple of 8?
True
Suppose -6 - 19 = -5*i. Suppose i*z - 2*z = 9. Suppose z*s + 15 - 57 = 0. Does 14 divide s?
True
Let f be 3/18*2*3. Suppose j = -f + 38. Does 8 divide j?
False
Suppose -n - 2 = n. Does 3 divide (-24)/(-1*3) - n?
True
Is (80/(-12) - -6)/(2/(-114)) a multiple of 28?
False
Let b(h) = -h + 25. Let q = 10 - 10. Is b(q) a multiple of 5?
True
Let m = -8 + 12. Let y(s) = -5*s + 5 - m*s + s**2 + 3*s. Is y(6) a multiple of 4?
False
Suppose -k - 6 = 16. Let w = -17 - k. Is w a multiple of 2?
False
Let m = -3 - -3. Let o be m*(3 + 4/(-1)). Suppose o = l - 6*l + 160. Is 18 a factor of l?
False
Suppose 3*z - 5*s = 20, -3*s - 2 = 1. Let a = z - 9. Is 3 a factor of (-29)/(-4) - a/(-16)?
False
Suppose 3*r - 5*r = -12. Suppose -r*d + 220 = -140. Does 30 divide d?
True
Suppose 5*q + v + 0*v = -15, -3*q - 21 = 3*v. Let s = -11 + 41. Is ((-6)/q)/(9/s) a multiple of 5?
True
Let l(i) = 3*i - 4. Let s be l(3). Suppose n + 47 = 3*n - s*f, 0 = -2*n - 2*f + 12. Does 9 divide n?
False
Suppose -5*u = 5*g - 25, 5*g - 2*u - 13 = 5. Suppose 0*z + g = z. Suppose 3*y - 3*i - 2*i = -6, 18 = z*y + 2*i. Is y a multiple of 2?
False
Let j be 3/9 - (-22)/6. Suppose -4*x = -4 - j. Suppose -2*d + 3*p + 38 = 0, x*d = 4*d - 5*p - 42. Is d a multiple of 6?
False
Let h = 55 - 101. Is (-1)/(48/h - -1) a multiple of 7?
False
Let l(x) = x**3 + 6*x**2 + 6. Let q be l(-6). Suppose f + 4*z = 0, -2*z = 3*f - q*z - 16. Suppose f*j - 12 = 32. Does 11 divide j?
True
Suppose -l = -30 + 3. Is 12 a factor of l?
False
Suppose 0 = 3*n - 5*k - 120, -2*n - 2*k + 80 = -0*k. Is n a multiple of 20?
True
Suppose y = -0*y + 3*a + 5, -4*y - 4*a = -36. Does 4 divide y?
True
Does 3 divide 33 - 0 - (4 + -1) - 2?
False
Let r = 16 + -9. Suppose -4*f = r - 27. Suppose -3*n + 38 = -f*j - 72, -n - 3*j = -18. Is n a multiple of 15?
True
Is 9 a factor of 1/((-3)/273*-1)?
False
Is 9 a factor of (-632)/(-48) - (-2)/(-12)?
False
Does 25 divide 2641/19 - (1 + 2)?
False
Let q be (30/(-50))/(2/(-30)). Suppose -q + 21 = s. Is 11 a factor of s?
False
Let z = 29 + 17. Is 8 a factor of z?
False
Let g(q) = 87*q**2 - 43*q**2 + q**3 - 2*q**3 - 48*q**2 - 6*q - 2. Let c be (0 - (-2)/(-3))*6. Is 15 a factor of g(c)?
False
Let a = 42 - -142. Is a a mu