t j be (-2)/(-4*x/(-4)). Is 11 a factor of m(j)?
False
Suppose 0 = 2*d - 5*d + 75. Is 6 a factor of ((-20)/d)/((-2)/15)?
True
Let a = 11 - 26. Let y = 3 - a. Is y a multiple of 13?
False
Let r = -4 - -6. Is 31/r*(3 - 1) a multiple of 14?
False
Suppose -19 = -d - 3*w, -d + 35 = -w - 0*w. Is d a multiple of 12?
False
Suppose -278 = 4*m - 3*h, 4*m = -5*h - 0*h - 294. Let o = m - 95. Does 11 divide (-1)/(-3) + o/(-6)?
False
Let y = 50 + -28. Is 5 a factor of y?
False
Let h = 3 + -1. Suppose 0 = o + 3*f - 33, h = -o - 0*f + 4*f. Does 6 divide o?
True
Let v be (38/6)/((-2)/6). Let a(b) = b**2 + 16*b - 15. Let q be a(-14). Let d = v - q. Does 12 divide d?
True
Let t(h) be the second derivative of -h**4/12 + 33*h**2/2 - 2*h. Let l be t(0). Suppose 2*a + a = l. Does 11 divide a?
True
Let m(a) = -13*a - 11. Is 44 a factor of m(-11)?
True
Let t be -1*(-14)/(1 + -3). Let q = 13 + t. Is 2 a factor of q?
True
Suppose -d + 0*d = 2*x, -3*x = -2*d + 35. Suppose -4*b + 5*b = -3*s - 2, -b + 3*s = -d. Is 2 a factor of b?
True
Does 16 divide (-5)/(-2)*(-128)/(-20)?
True
Let y(j) = -j + 14. Let o be y(6). Suppose -2*h + 6 = -o. Suppose 0*n = n - h. Is n a multiple of 3?
False
Let s(w) = -w - 1. Let o be s(-6). Suppose -6 = -o*u + 169. Is u a multiple of 12?
False
Suppose o + 11 = 2*a, 10 = 2*o + 3*o + 3*a. Let j = 2 - o. Suppose -5*x + 20 = 0, -5*x - 51 = -4*s - j. Does 11 divide s?
False
Suppose 2 = 3*m + 3*k - 1, 0 = 3*m - 3*k - 21. Is 4 a factor of m?
True
Let x = 29 - 5. Does 12 divide x?
True
Does 18 divide 70/2 - (-5 - -2)?
False
Suppose 3*j - 68 = -2. Is 16 a factor of 5/(10/(-4)) + j?
False
Let c(l) = 4*l + 1. Let i be c(-5). Let y = i - -56. Let q = y - 21. Is 16 a factor of q?
True
Let s(z) = -z**3 - 13*z**2 + 6*z - 27. Does 17 divide s(-14)?
True
Let l = 132 + -81. Does 8 divide l?
False
Let q = 12 - 8. Suppose -g + 1 = q*v, 5*g + 3*v - 30 = 2*g. Suppose -z = 3*r - g, -4*z = -3*r + 7*r - 44. Is 4 a factor of z?
False
Suppose -x + 3 = 0, -2*w + 7 - 18 = x. Let f(l) = l**2 + 10*l + 9. Let t be f(w). Let y = t + 29. Is 8 a factor of y?
False
Suppose -5*g = 26 - 361. Is g a multiple of 19?
False
Let c(p) = p + 4. Let s be c(-2). Suppose -s*x - 1 = -17. Is 7 a factor of x?
False
Let i = 12 + -6. Suppose 9 = 5*v - i. Is 15 a factor of ((-18)/(-5))/(v/15)?
False
Suppose -4*h + 180 = -h. Is 12 a factor of h?
True
Let y be -1*(-3 - (4 - 2)). Suppose 0 = l + w - 2, 0 = y*l + w - 26. Let k = l + 1. Is k a multiple of 4?
False
Suppose -3*p - 4 = 2*x - 20, 0 = -p + 4*x - 18. Suppose -p*s - 2*j + 38 = 0, 2*s = 4*s - j - 41. Is s a multiple of 10?
True
Let a be 5 - (-1)/(-2 - -1). Suppose -5*x - a*h + 19 = -8, 5*x - 45 = 5*h. Suppose x = 3*c - 3*b - 8, -3*b = 4*c - 6. Does 2 divide c?
False
Let f(z) = 4*z - 6. Let c = 2 + 4. Is f(c) a multiple of 9?
True
Let x = 34 + -12. Is 8 a factor of x?
False
Does 32 divide (-442)/51*54/(-4)?
False
Let k = -172 - -277. Is 19 a factor of k?
False
Let q(s) = -s**2 + 2*s - 2. Let i be q(4). Let o = -6 - i. Suppose 87 + 9 = o*d. Is 14 a factor of d?
False
Suppose -2*n - 3*n = 3*f - 37, 2*f = n - 10. Is 2 a factor of n?
True
Let y = -1 - -3. Does 12 divide y*4*(7 + -1)?
True
Suppose 3*i - 153 = -g, 2*i + 2 = -g + 103. Is i a multiple of 26?
True
Let z = -2 - -4. Suppose -z*n - 56 = -4*n. Is n a multiple of 14?
True
Is 10 a factor of 3032/104 - (-4)/(-26)?
False
Is 47 a factor of (-2590)/(-21) - 2/6?
False
Suppose -2*h - 11 + 43 = 0. Does 3 divide h?
False
Let b(q) = 4*q**2 - 9*q + 20. Is b(7) a multiple of 13?
False
Let m = 31 + -25. Is 4 a factor of m?
False
Suppose 0 = -5*j - 2 - 8. Is 10 a factor of (-1)/j - 38/(-4)?
True
Let u = 317 + -147. Suppose -6*a + a = -u. Suppose -2*i = -4*f - 0*i + a, f - 7 = -i. Is f a multiple of 8?
True
Suppose 7*f - 2011 - 439 = 0. Is f a multiple of 24?
False
Let f = -2 - -18. Let m = f + 2. Is m a multiple of 9?
True
Suppose 5*k - 9*k + 96 = 0. Does 24 divide k?
True
Suppose 0 = 5*l - g - 9, 3*l + 6 = -g + 13. Suppose 3*u - 4*a - 39 = -a, 3*a + 29 = l*u. Is 10 a factor of u?
True
Let b = -6 - -9. Suppose b*u - 10 = u. Suppose 4 = -0*i - 4*i, -u*i + 55 = 4*z. Does 7 divide z?
False
Let r = -102 + 150. Is 12 a factor of r?
True
Let s = -156 + 206. Does 5 divide s?
True
Suppose 5*o - 3*h = 9, -o - 4*h = -9*h - 15. Is (6 + o)*(-100)/(-30) a multiple of 10?
True
Suppose -5*m - 5*d = -150, 0 = -5*m - d + 218 - 52. Suppose v = -v + m. Is v a multiple of 17?
True
Is 14 a factor of (168/(-15))/((-3)/15)?
True
Is 15*3 + 9 + -12 a multiple of 14?
True
Let j(q) = 43*q + 1. Is 11 a factor of j(1)?
True
Let n be (-4)/((-16)/(-158))*2. Let o = n + 111. Does 14 divide o?
False
Let p be 9/(((-4)/(-46))/(-2)). Does 8 divide p/(-12) - (-9)/12?
False
Let a(o) = -o**3 + 10*o**2 - 5*o + 1. Let r be a(9). Let i = -2 + r. Does 10 divide i?
False
Let h(m) = -m**3 + 30*m**2 + 36*m + 18. Is 14 a factor of h(31)?
False
Let i(p) be the second derivative of p**4/4 + p**3/6 - p**2/2 - 2*p. Let r be i(1). Let x(w) = w**3 - w**2 + w + 3. Is 10 a factor of x(r)?
False
Let a = 17 - 14. Suppose -14 = -4*t - 2*j, -3*t + 27 + 6 = -a*j. Is t a multiple of 6?
True
Let h = 1 + 0. Let a = 46 - 28. Let q = a + h. Does 17 divide q?
False
Suppose 5*v + 2*r - 10 = -1, -r = -2. Let o(f) = 21*f**2 + f - 1. Is o(v) a multiple of 21?
True
Suppose 4*q = -197 + 1641. Is q a multiple of 74?
False
Let u(j) = -j**2 - 19*j - 6. Is u(-9) a multiple of 28?
True
Is (24/16 + 1)/(1/14) a multiple of 8?
False
Let f be 12/7 - (-4)/14. Suppose f*w - 1 = b - 6, 0 = 5*w + 4*b - 20. Suppose 0 = -3*t + 30 - w. Is 9 a factor of t?
False
Suppose 3*s + 4*t + 2 - 6 = 0, s + 2*t = 0. Suppose 0 = m + s*m - 90. Is m a multiple of 18?
True
Suppose 4*t + 3*y = 164, -t - 4*y + 116 = 2*t. Let x = -23 + t. Is x a multiple of 7?
True
Does 50 divide ((-20)/(-3))/((-4)/(-144)*1)?
False
Let k(p) = 4*p + 7*p + 21*p. Is 11 a factor of k(1)?
False
Let c(z) = z**3 + 7*z**2 - 9*z - 7. Let w be c(-8). Let a(h) = 27*h**2 + 1. Does 14 divide a(w)?
True
Suppose -3*c - 3*g = 0, 0*c + 4*g + 6 = -2*c. Is c - 0 - 2 - -67 a multiple of 17?
True
Let a = 55 - 81. Let q = a - -36. Is 3 a factor of q?
False
Suppose 1 = -3*r + 22. Suppose -3*l = -r*l. Suppose l = 2*u - 4*o - 34 - 8, -u + 5*o = -36. Does 9 divide u?
False
Let t be 116/28 - (-1)/(-7). Suppose -t*n + 36 = -0*n. Does 9 divide n?
True
Suppose -321*s = -320*s - 20. Does 4 divide s?
True
Let v(l) = 5*l**2 - 6*l**2 + 5 - 4. Let q be v(-1). Suppose 2*y - 5 - 43 = q. Is y a multiple of 12?
True
Let a(c) = c**2 - 2*c - 2. Let k be (8/10)/((-3)/(-15)). Is a(k) a multiple of 3?
True
Let s(j) = 2*j**2 + j + 2. Let a be s(-3). Suppose 4*b + 3*p - a = 0, -5*b - 4*p + 2*p = -30. Is b a multiple of 6?
False
Let k(n) = n**2 + 2*n - 3. Let u be k(2). Suppose -4*x + 1 - 5 = a, 2*a + 5 = -u*x. Suppose 5*c - 4*c - 22 = a. Does 12 divide c?
False
Let c(n) = -n + 0*n + 3*n. Let d be c(-1). Is 9 a factor of d/7 + (-256)/(-14)?
True
Let p(r) = -5*r**3 - 2*r. Let f be p(-2). Let w(a) = a**2 - 2*a - 3. Let o be w(3). Suppose 4*x - f = -o*x. Is 11 a factor of x?
True
Let g(u) = 12*u + 5. Let x be g(-6). Let s = -11 - x. Suppose -s = -5*l + 3*l. Is l a multiple of 9?
False
Let h = 254 + -142. Does 17 divide h?
False
Suppose u + 2*u + 4*l = 185, -4*u - 5*l + 245 = 0. Does 11 divide u?
True
Let j(c) = -c**2 + c. Let l be j(0). Let b(u) = -3*u + l*u + 11*u - u**2 + 11. Does 6 divide b(8)?
False
Let c(r) = -1 + r**2 + 6*r + 1 + 5. Is c(-6) a multiple of 2?
False
Let b = 4 - 4. Let z be 1 - ((0 - 2) + b). Let k(f) = 7*f - 2. Is k(z) a multiple of 13?
False
Let q(a) be the second derivative of a**5/20 + a**4/4 - a**3/2 - 2*a. Is q(-3) even?
False
Let w = -21 + 47. Let s be 4/(-10) + w/(-10). Does 5 divide (-25)/s - (-3)/(-9)?
False
Let g be (-3 - (-8 + 3)) + -2. Suppose -2*l + o + 2*o + 42 = g, 84 = 4*l - o. Is l a multiple of 7?
True
Let l = -12 + 135. Is 19 a factor of l?
False
Let a(k) = -k**2 + 6*k - 6. Let r be a(4). Let o be 0*((-3)/r + 1). Is 22 a factor of (o + 12)*2 + -2?
True
Let t be -2 + 3 - (0 - 4). Suppose -23 = -h - 4*z, 0*h + 4*h + t*z = 59. Is 4 a factor of h?
False
Suppose x + 308 = 3*x. Suppose 2*j + x = 4*r - 2*r, 0 = -r - j + 83. Suppose -4*m + r = m. Is m a multiple of 16?
True
Suppose -1 = z - 6. Suppose -3 = z*t - 128. Is t a multiple of 7?
F