 Is 4/3*j/1 a multiple of 8?
True
Let n be (-6)/(3 + (-9)/2). Suppose -n*u + 26 + 26 = 0. Is 2 a factor of u?
False
Is 20 a factor of 50*(3 + -3*(-3)/(-15))?
True
Suppose -3*j = -68 - 115. Does 18 divide j?
False
Let x = 11 - 7. Suppose -4*z - 3*w + 291 = z, 0 = -x*z - 4*w + 228. Is z a multiple of 20?
True
Let w be 9 - 12 - 3/(-1). Suppose 2*f + 2*f - 103 = -i, w = -f + 3*i + 42. Is f a multiple of 9?
True
Is 1 + 2/(-2) + 2 even?
True
Let i be (-5)/4*4/(-1). Suppose 3*q + 9 = -p, 5*q - p - 4*p = i. Does 2 divide -1*q/(1 - 0)?
True
Let r(o) = -8*o**2 - 2*o. Let m be r(-3). Let p(k) = 11*k + 30. Let x be p(-7). Let u = x - m. Is u a multiple of 10?
False
Suppose -3 = -4*l + 5. Suppose -l*d - 103 = -259. Suppose -5*g = -2*y + 52, -g = 3*y - 2*g - d. Is 9 a factor of y?
False
Suppose 95 = -4*s + 359. Is s a multiple of 12?
False
Suppose -5*j + 757 - 157 = 0. Suppose -4*l - 4*g + j = 0, 3*l + 2*g = 4*g + 90. Is 16 a factor of l?
False
Is 6 a factor of 1 - (-1704)/15 - (-6)/(-10)?
True
Suppose 2*x - 5 = -2*h - 3*x, 7 = 2*h + 3*x. Suppose o - 6 = 2*o. Is (o/h)/((-4)/20) a multiple of 3?
True
Let m(b) = 5*b - 4. Does 16 divide m(4)?
True
Suppose -5*t + 23 = 3. Let h = 1 + t. Let v = 7 + h. Is v a multiple of 12?
True
Let l(f) be the second derivative of f**7/210 + f**5/120 + f**4/12 - f. Let j(v) be the third derivative of l(v). Is 9 a factor of j(1)?
False
Let w(q) = -q**3 + 9*q**2 - 8*q + 9. Is 17 a factor of w(7)?
True
Let f(s) = 12*s + s**2 + 13*s - 23*s - 2. Is f(2) a multiple of 6?
True
Let w be (-1 - 5) + (-4)/(-2). Let t(c) = 5*c + 1. Let h be t(2). Let m = w + h. Does 4 divide m?
False
Suppose 3*d - 54 = -4*r, 13 = r + 2*d + 2. Is 14 a factor of r?
False
Let v = -40 + 57. Does 12 divide v?
False
Let v = 4 + -1. Let m(y) = 0*y**v + 8*y + 5 - 3*y**2 - 2 - y**3. Is 13 a factor of m(-5)?
True
Let d = 24 - -26. Is d a multiple of 29?
False
Let x(t) = -t**2 - 7*t - 7 - 3*t + 3*t - t. Is x(-6) even?
False
Let l = 132 + -42. Does 19 divide l?
False
Suppose 4*q = -2*f, 3*f - 4*q + 8*q = 2. Is (f/4)/(1/24) a multiple of 10?
False
Let x = -24 + 72. Suppose -3*w + x = -0*w. Is 8 a factor of w?
True
Let g(v) = 3*v**2 - 3*v - 6. Let t = 8 + -3. Let b be g(t). Suppose 2*h = -2*s + b, 0*s - s + 2 = -4*h. Is 14 a factor of s?
False
Suppose 89*d = 88*d + 258. Is 43 a factor of d?
True
Suppose -g = -1, -3*f = -g - 3 + 13. Let l = f - -63. Suppose 0 = k - 6*k + l. Is 6 a factor of k?
True
Let x be ((-2)/(-4))/((-2)/52). Let m = x - -36. Does 11 divide m?
False
Let o = -6 + 8. Does 2 divide (3/o)/((-15)/(-50))?
False
Suppose -k + 3*j + 1 = 5*j, 4*j + 3 = -k. Suppose -26 = k*a - 126. Does 10 divide a?
True
Let z = -3 - -7. Is (7/z + 0)*4 a multiple of 4?
False
Suppose 144 = 3*j - 6*c + c, 5*c = 0. Is 4 a factor of j?
True
Suppose -4*r + 5*w + 126 = 0, -4*r + 2*w = -2*w - 128. Is 17 a factor of r?
True
Let r = -15 + 77. Is r a multiple of 31?
True
Let u be (-1 + 2)*4/2. Suppose u*a + r - 26 = 0, 5*r - 9 = -a + 13. Does 4 divide a?
True
Let p(u) = -u**3 + 11*u**2 - 9*u - 10. Let a be p(10). Let k(l) = l + 24. Does 12 divide k(a)?
True
Suppose 0 = -4*f, 5*z - 6 = 3*f - 1. Suppose 0 = c - 4 - z. Is c even?
False
Suppose -4*q + 3*q + 10 = 4*t, 16 = 2*t - 5*q. Suppose 40 = t*n + 4. Does 11 divide -2 + n + 4 + -2?
False
Let l = -5 - -4. Suppose -a + 66 = 4*a + 3*y, 0 = -2*a + 5*y + 45. Is l + 0 + 0 + a a multiple of 14?
True
Suppose 2*x - 4 = 24. Is x a multiple of 14?
True
Is (0 + 1)/(2/(2*54)) a multiple of 4?
False
Let k(c) = c**2 + 8*c - 6. Suppose -3*r - 16 - 14 = 0. Is k(r) a multiple of 5?
False
Let d(w) = w**3 + 5*w**2 + 4*w - 1. Let i be d(-3). Suppose -i*x = 15, 5*a + 5*x + 2 = 12. Is a a multiple of 5?
True
Suppose -7*i + 3*i + 480 = 0. Does 20 divide i?
True
Suppose -g + 122 = 3*u, -u - 5*g + 64 = -0*u. Does 16 divide u?
False
Let t(p) = -p**2 + 4*p + 4. Let j be t(5). Let a(l) be the second derivative of -5*l**5/4 + l**4/6 - l**2/2 + 16*l. Is 13 a factor of a(j)?
True
Suppose -3*j + 6 = 0, -4*j - 126 = -5*t - 7*j. Is t a multiple of 24?
True
Suppose -127 = -2*b - q, -3*q = -b + 2*b - 66. Is 19 a factor of b?
False
Suppose 0 = -2*z - 3*j + 180, -5*z - 3*j - 162 + 612 = 0. Is 30 a factor of z?
True
Let o be 4/6 - (-127)/3. Let a = o - 18. Let p = a - 7. Does 11 divide p?
False
Let o(d) = -5*d + d + 4*d + 6 - 2*d. Is 4 a factor of o(-5)?
True
Suppose -a + 51 = s, -s - 2 + 0 = 0. Is 10 a factor of a?
False
Let v(k) = 3*k - 9. Does 6 divide v(7)?
True
Suppose -5*d = -5 - 15. Suppose y - 4 = 3*y, 0 = -d*q - 2*y + 124. Is 16 a factor of q?
True
Is 16 a factor of (-3 - (-7 - 0)) + 64?
False
Let m = -64 + 116. Suppose -5*u + 38 = -3*s, s + m - 16 = 4*u. Does 4 divide u?
False
Let m(d) = -2*d. Let j be m(1). Let s = 4 - j. Is 5 a factor of s?
False
Is 4 a factor of (17/((-119)/42))/((-3)/4)?
True
Let i(g) = -g**3 + 2*g. Let v(d) = d - 7. Let t be v(5). Let c be i(t). Suppose 116 = c*m - 2*b, 0 = -2*m + 2*b + b + 62. Is m a multiple of 10?
False
Suppose t = 3*a - 2, 4 = -2*t + 3*a - 0. Is 7 a factor of (-2)/((-4)/(-35))*t?
True
Let g(u) = u**3 + 5*u**2 + 4*u + 5. Let t be g(-4). Suppose 2*a + 129 = t*i, 4*a = -4*i + 3*a + 98. Is i a multiple of 13?
False
Does 4 divide 104/6 - 6/(-9)?
False
Let q = 2 + 0. Let f = q - 2. Suppose 5*n - n - 28 = f. Is n a multiple of 7?
True
Suppose -550 = -4*v - 230. Does 23 divide v?
False
Let r = 483 - 259. Is r a multiple of 28?
True
Let h(s) = -s + 1. Let d be h(2). Let i(z) = -91*z**3 - z**2 - 2*z. Is 23 a factor of i(d)?
True
Let o(u) = 6*u - 6. Let g(a) = 1 + a**2 - 2*a**2 - 4*a + a**2 - a**2. Let w be g(-3). Is o(w) a multiple of 11?
False
Let q(l) = -4*l - 13. Let t(x) = -x**3 + 5*x**2 + 7*x - 2. Let u be t(6). Let k be -11 + u/(1 - -1). Is q(k) a multiple of 13?
False
Let p(f) = -f**3 - 4*f**2 - 1. Suppose 3 + 2 = -r. Let n be p(r). Suppose 14 = 2*h - n. Does 8 divide h?
False
Suppose 4*q - 179 = 5*v, 128 = 5*q - 4*v - 89. Suppose q = 4*h - 15. Is 14 a factor of h?
True
Let r be 3/(-2) + (-11)/(-2). Suppose -3*a + 15 = r*d, 2*d + 1 + 5 = 0. Suppose 3 = p - a. Is 6 a factor of p?
True
Let f = 7 - 4. Suppose -4*i + 3*i = -3*h - 184, 0 = -f*i - 15. Let u = 89 + h. Is u a multiple of 10?
False
Suppose -f + 5*f = 4. Does 19 divide (0 - f)/((-4)/152)?
True
Suppose -3*w + 0*w + 18 = 0. Let m = -35 - -181. Is m/6 + (-2)/w a multiple of 11?
False
Suppose -3*v + h + 27 = -2*h, -h - 57 = -5*v. Is v a multiple of 6?
True
Suppose -8*t - 71 = -583. Is t a multiple of 3?
False
Let x = -61 - -120. Suppose j - 21 = -u - u, -3*j + x = 5*u. Is j a multiple of 13?
True
Suppose 0 = -2*b + 13 + 17. Does 5 divide b?
True
Let w be (2/(-2) - 74) + 2. Let y = -81 + 44. Let k = y - w. Is 14 a factor of k?
False
Suppose -5*x + u = -266, 2*x - 2*u - 100 = -0*x. Does 27 divide x?
True
Suppose 4*b - 6 = 4*o - 2*o, 5 = 5*b - 3*o. Suppose -b*g = k - 260, 2*k + 202 = 3*g + k. Is 33 a factor of g?
True
Let u = 16 - 8. Suppose 3*m + 95 = u*m. Does 10 divide m?
False
Let p be -1 - -1 - -1 - 1. Suppose p*x - 20 = -2*x. Does 4 divide x?
False
Suppose 4*f - 18 = f. Let b = f - -9. Is 5 a factor of b?
True
Is 6/(-27) + 1270/45 a multiple of 7?
True
Let l = 9 - 106. Let g = l - -137. Is 8 a factor of g?
True
Is 19 a factor of ((-12)/8)/(3/(-82))?
False
Let l be (-2)/((-1)/36*2). Suppose 0 = 3*q + l - 120. Is 14 a factor of q?
True
Let c(k) = k**2 - 2*k + 3. Let x be c(8). Let p = x + -13. Let b = 54 - p. Is b a multiple of 6?
False
Let n = 21 + 6. Suppose -n - 93 = -5*b. Does 12 divide b?
True
Let c = -69 - -218. Suppose 5*k - 5*g - 265 = 0, 0*k + 5*g = 3*k - c. Does 29 divide k?
True
Suppose 3*r + 2*x - 13 = 0, 6 + 8 = 2*r - 4*x. Suppose -56 = -r*z + 34. Is z a multiple of 14?
False
Let b(v) = -v**2 - 8*v - 9. Let j(s) = -2*s - 5. Let y(i) = i + 3. Let l(a) = -3*j(a) - 5*y(a). Let r be l(-6). Is 3 a factor of b(r)?
True
Let u be (63/3)/3 + -2. Let m be ((-12)/(-14))/(u/35). Suppose -3*l + m = -i + 3, -l + 5 = i. Is i even?
False
Let p = -5 - 0. Let c(t) = -2*t - 7. Is c(p) a multiple of 3?
True
Let k = -4 - -11. Let y be 14*k*2/(-4). Let f = -29 - y. Does 20 divide f?
True
Let a(x) = x**2 - 5*x + 5. Let j(y) = -21*y + 6*y**2 - 7 + 32 - 4*y. Let o(q) = 11*a(q) - 2*j(q). Does 5 divide o(-5)?
True
Let o be ((-3)/2)/(3/4). Let n(v) = 2 - 3*v**2 + 3*v**2 - 4 + v - 4*v