 - 4. Is 14 a factor of -1*(-56 + -2)/w?
False
Let j be ((-2)/(-4))/(2/12). Let c(g) = 4*g**2 - 3*g + 3. Is 13 a factor of c(j)?
False
Suppose -2*k = -k. Let w = 3 - k. Does 14 divide 10*w - -1 - 3?
True
Let i(n) = 4*n**3 + n**2 - n - 1. Suppose 0 = 3*j - q + 3*q, -5*j - 2*q - 4 = 0. Let m be i(j). Does 8 divide (m/(-2))/((-2)/(-4))?
False
Let w = 70 + -112. Let r be 12*(-2 + w/(-9)). Suppose -3*q - q + r = 0. Does 4 divide q?
True
Let k be 4/(-10) - (-12)/5. Suppose 4 = 3*y - k*f + 1, 2*y - 2*f = 0. Does 8 divide (8 - y)*16/5?
True
Let q(z) = z**3 + 8*z**2 + 4*z - 1. Let n(i) = -i**3 - 9*i**2 - 4*i + 1. Let t(b) = 2*n(b) + 3*q(b). Let x = 2 - 6. Is t(x) a multiple of 5?
True
Suppose -2*k = 2*i - 6*i - 4, -2*k - 2*i = -16. Let o = k - 3. Let m = 15 - o. Is m a multiple of 4?
True
Let t(v) = v - 1. Let f be t(5). Let g = f + 15. Does 11 divide g?
False
Let q be (4 + 0)*(-1)/2. Suppose -5*p - 2*z + 1279 = -337, 4*z - 1622 = -5*p. Is 16 a factor of p/10 - q/(-10)?
True
Suppose 6 + 3 = 3*k. Suppose -k*f - f - 13 = -i, 13 = i + 4*f. Is 6 a factor of i?
False
Suppose 100 = -2*m + m + 5*s, m = 4*s - 95. Let w = m - -123. Does 12 divide w?
True
Is ((-536)/12)/(-3 + 14/6) a multiple of 36?
False
Let f = 536 - 284. Is f a multiple of 18?
True
Let h = -16 - -8. Is 7/(-28) + (-290)/h a multiple of 9?
True
Suppose -4*g - 3*z = -12, -z = -g - 0*g - 4. Suppose 0 = -g*v - v - 5*w + 22, 16 = 4*v - 4*w. Let u(s) = -s**2 + 9*s + 4. Does 10 divide u(v)?
False
Does 24 divide (-6)/10 + 123/5?
True
Let t(j) = 6*j**2 + j - 1. Let h(f) = 17*f**2 + 4*f - 2. Let z(u) = 4*h(u) - 11*t(u). Is z(-4) a multiple of 7?
False
Does 58 divide 36/(-18)*326/(-4)?
False
Suppose 0*c + 3*c = 0. Is 4 a factor of 36*(c + (-1)/(-2))?
False
Suppose 3*h = -2*y + 264, -h + 6*h - 424 = 2*y. Is 27 a factor of h?
False
Let q(j) = -j**3 + j - 11. Let u be q(0). Let d = -7 - u. Does 2 divide d?
True
Suppose 2*i + 9 - 123 = 0. Is 15 a factor of i?
False
Does 7 divide 12/4 - (-9 - 2)?
True
Let f = -11 - -7. Let x(o) = -4*o**2 + o**3 + 15*o**2 + 3*o - 5*o**2 - 5. Is x(f) a multiple of 5?
True
Is 12 a factor of (30/4)/((-6)/(-56))?
False
Let b = -42 - -73. Is 17 a factor of b?
False
Let v be (58 - 2) + -1 + 1. Suppose -3*f = -v - 16. Is 10 a factor of f?
False
Let t(b) = b**2 - 3*b + 2. Let r be t(2). Let g be 1 + r - 21/7. Let v(z) = -z**2 - 6*z - 3. Does 3 divide v(g)?
False
Suppose -3*d = -b - 2*d - 10, 4*d - 20 = 0. Let u = b + 48. Is 35 a factor of u?
False
Let k = 16 - -43. Is k a multiple of 4?
False
Let m = 112 - 58. Does 27 divide m?
True
Let s be 24/(4 + -2) + 2. Suppose -s = b - 2*b. Is 7 a factor of b?
True
Suppose 0 = -3*v - 4*r, r - 3*r = 0. Suppose v = -a + 5 + 2. Suppose -2*s - 6 = 0, -a*h + 3*h + 37 = -3*s. Does 5 divide h?
False
Suppose 0 = l - 6*l - 330. Let t = 93 + l. Is 7 a factor of t?
False
Is 2 a factor of (-1)/(1 + (-4)/3)?
False
Suppose 0 = 2*c + 16 - 42. Is 3 a factor of c?
False
Suppose 5 = 4*m - 2*d + 1, -2*m = 4*d - 2. Is m + (-3)/(9/(-33)) a multiple of 12?
True
Let b = 22 + -15. Is b a multiple of 3?
False
Suppose 0 = 4*q - 5 - 15. Let w = q - 3. Is 4 a factor of 5/((w/2)/1)?
False
Suppose -75 = -2*n + 15. Suppose -19 = 2*t - n. Is t a multiple of 7?
False
Suppose -4*f + 20 = -0. Suppose 30 = f*n - 0. Is n a multiple of 3?
True
Suppose 3*z - 104 = -z. Is 15 a factor of (3/(-1))/((-3)/z)?
False
Let h = -10 - -13. Suppose 0*j + 2*q + 100 = 2*j, -h*j - 4*q = -143. Is j a multiple of 13?
False
Suppose 223 = 4*l - 241. Is 9 a factor of l?
False
Suppose -5*b = -6*b + 4. Suppose -2*f = b*j + 2*f - 24, 0 = -f - 2. Does 4 divide j?
True
Let j(g) = g**3 - 4*g**2 - 9*g + 1. Let q(i) = -5*i + 1. Let n be q(-1). Is 7 a factor of j(n)?
False
Let o(c) = -c**3 - 6*c**2 - 5*c - 5. Let g be o(-5). Let i = 6 + g. Is 6 a factor of (i/(-1))/(4/(-48))?
True
Let g be 12 - (0 + -1 + -1). Let d = g + -10. Suppose d*k - 21 - 3 = 0. Does 6 divide k?
True
Suppose 0*w + 2 = w. Suppose -x - 5*j - w = -1, -4*j = 2*x - 4. Suppose 7 = -3*r + x*r - n, -38 = -5*r + 4*n. Is 9 a factor of r?
False
Suppose 0 = 4*c - 26 + 10. Is 10/2 + -3 + c a multiple of 6?
True
Let t(x) = x + 4. Let l be t(-7). Let k be 1/(3/(-45)*l). Suppose 25 = y - k*s, 4*y + s - 79 = -0*y. Is 10 a factor of y?
True
Let f be 22/(-4) + (-1)/2. Let h = 41 + -26. Is 18 a factor of f*(-3)/15*h?
True
Suppose 2 = 4*f - 6. Is (2 - -8 - 1) + f a multiple of 11?
True
Suppose 3*d = -3*d + 12. Let p be 1/(-3) + (-1)/(-3). Suppose -2*r - 3*u + 74 = -d*u, -3*u - 6 = p. Does 19 divide r?
True
Does 2 divide ((-52)/(-3) - 5) + (-2)/6?
True
Let h be (-1443)/(-12) - (-6)/8. Suppose h = 3*r + 4. Does 8 divide r?
False
Suppose p = 4*p - 63. Let v = -12 + p. Does 4 divide v?
False
Let f(r) = r**3 + 5*r**2 + 5*r - 2. Let q be f(-5). Let b = -1 - q. Does 13 divide b?
True
Let p(t) = -13*t - 35. Is 5 a factor of p(-4)?
False
Let q = -30 - -58. Is q a multiple of 7?
True
Is 36/27*393/2 a multiple of 13?
False
Suppose -2*o + o + 3 = 0. Let s(c) be the third derivative of -c**5/60 + 7*c**4/24 - c**3/3 - c**2. Is 10 a factor of s(o)?
True
Let c = -4 + -7. Let k = 0 - c. Is k a multiple of 11?
True
Let h = -18 + 32. Does 14 divide h?
True
Suppose -27 = 2*c - 3*c. Does 3 divide (c/(-12))/((-12)/32)?
True
Suppose -6*i = -2*i - 24. Does 2 divide i?
True
Let c(t) = -4*t**3 + 2*t**2 + t - 2. Does 18 divide c(-2)?
True
Let u(q) = 3*q + 3. Let c be u(-3). Let i be 2*c/(-4 + 1). Suppose a + 0*j + i*j - 38 = 0, -4*j = -a + 14. Does 14 divide a?
False
Let o(h) = h - 2. Let c(y) = -y - 1. Let u(x) = 2*c(x) + o(x). Let a(n) = n**3 - 6*n**2 - 8. Let f be a(6). Is 2 a factor of u(f)?
True
Suppose -7 = -5*d + 4*g + 12, -4*d + 5*g = -17. Suppose -d*j = 6, -q + 3*j + 22 - 6 = 0. Is 3 a factor of q?
False
Is 6*(-2)/(-3) - -1 a multiple of 5?
True
Let c(f) = f**3 + 2. Let n be c(0). Suppose 5*r - 81 = n*r - 3*i, 0 = 4*r - 4*i - 108. Is 9 a factor of r?
True
Let v(j) = 2*j**3 + 2*j**2 - j + 2. Let u be v(3). Suppose b + 2 - u = 0. Does 23 divide b?
True
Suppose -7*c + 1094 = -1090. Does 45 divide c?
False
Let z(q) = 3*q**2 - 5 + 5*q**2 - 4*q**2 + 4. Suppose b = -4*g + 10, -5 = -0*g - 3*g - 2*b. Does 12 divide z(g)?
False
Let h = 148 - 40. Suppose -3*d - 2*n = 24 - 85, -5*d + 3*n = -h. Is d a multiple of 21?
True
Suppose 5*b + 2 = -2*u, -7*u = -4*b - 4*u + 3. Suppose b = -0*y + y. Suppose -5*g - 2*i + 82 = y, 0*i - 51 = -3*g - 3*i. Is g a multiple of 16?
True
Let z(l) = -l**2 + 9*l. Let j be z(7). Let b = 10 + j. Is b a multiple of 8?
True
Let v = -1 + 4. Let t(u) = -u + 1. Let p be t(v). Let z(d) = -d**3 + 2*d**2 + 2*d - 2. Is 6 a factor of z(p)?
False
Let s be 1 - 2 - (-2 - 4). Suppose 0 = -s*a - 3*y + 66, 3*a - 3*y - 32 = -2. Does 11 divide a?
False
Let z = 15 + 14. Suppose 4 = 3*l - 5. Suppose -z = l*y - 107. Is 13 a factor of y?
True
Let b(k) = 2*k**2 + k + 1. Let i be b(-1). Let d(l) = -3 - 10*l + 37*l + 2 + 0. Is 19 a factor of d(i)?
False
Let k(h) = 9*h + 4. Let f be k(-3). Let m = f - -40. Is 15 a factor of m?
False
Let t(d) = 0 - 2*d**3 - 5*d**2 - 3*d + 0 + 3. Is 7 a factor of t(-3)?
True
Let z(q) = 7*q - q**2 - 4 + 4*q**2 - 8*q - 3*q. Does 16 divide z(-2)?
True
Let j be ((-8)/10)/((-4)/10). Suppose 3*p - 2*z - 19 = 0, -4*p - 2*z + j = -42. Is 9 a factor of p?
True
Suppose -w = -0*w - 3*s - 58, 12 = 3*s. Is 14 a factor of w?
True
Suppose -4*x + 182 = 2*z, 14 + 14 = x + 4*z. Suppose -5*c - 2*q + 3*q - 104 = 0, -2*c = -2*q + x. Let f = 34 + c. Does 7 divide f?
True
Suppose 3*c + 8 - 44 = 0. Does 3 divide c?
True
Let i(y) = 3*y**2 + 3*y. Let t be i(-2). Let c = t - -27. Suppose j - 5*j = 20, 3*j = -4*o + c. Does 12 divide o?
True
Let w = 2 - -29. Suppose 2*k + 1 = -w. Let n = k - -55. Is n a multiple of 13?
True
Suppose 3*b = -2*x + 13, 3*x - 3 = -0*b + b. Suppose 19 = 2*s - m, -4*m = x*s - 0*m - 14. Is 4 a factor of s?
False
Suppose -8*o = -2*o - 42. Let w = o + 3. Does 3 divide w?
False
Does 22 divide 6/(-5)*(-1860)/18 + 3?
False
Suppose 6 = -0*y - 2*y. Is 0/y + -2 - -4 even?
True
Let z(u) = -u**2 + 7*u + 8. Let o be z(7). Suppose v = 18 + o. Let s = v + -14. Is s a multiple of 12?
True
Let f = -17 - -25. Is f a multiple of 2?
True
Suppose -6 + 81 = 5*g - 5*i, 2*g = -i + 15. Does 3 divide g?
False
Suppose -3*p + 189 = -2*j, -p + 44 = 4*j - 19. Does 9 divide p?
True
Su