 of 10?
False
Suppose 9*n + 11 = 10*n. Is n a multiple of 4?
False
Suppose 3*y + 3*c = 63, c - 2*c + 109 = 5*y. Suppose -3*o + f = 26, -2*o = -4*f + 1 + 23. Let a = y - o. Does 14 divide a?
False
Let h(q) = q**3 - 5*q**2 - 7*q - 3. Let y = -11 - -35. Let m = -17 + y. Does 20 divide h(m)?
False
Suppose 0 = 4*l - 3*q - 48, 0 = 2*l - 4*l + 2*q + 26. Is l even?
False
Let c = -153 - -337. Does 17 divide c?
False
Let g(i) = -i + 36. Is 5 a factor of g(6)?
True
Suppose 0*g = 4*g + 28. Let d(u) = -u**2 - 9*u - 10. Let q be d(g). Suppose 0 = -0*c - 2*c + q. Does 2 divide c?
True
Is (-2)/(-1 + (-24)/(-27)) a multiple of 6?
True
Let c = 72 + -36. Let s = 68 - c. Is s a multiple of 8?
True
Suppose -3 = q - 63. Suppose -z = -h - 14, 2*h - q = -5*z - 3*h. Let k = -2 + z. Does 3 divide k?
False
Does 20 divide 2224/48*1/((-1)/(-6))?
False
Suppose 4*v - 68 = 320. Suppose -l + b = 58, -2*b - 2*b = 4*l + 240. Let z = l + v. Is 17 a factor of z?
False
Let m = 18 - 11. Is m even?
False
Let x = 56 - 12. Is x a multiple of 22?
True
Let q = 164 - 7. Suppose -5*o - 3*i + q = 0, 2*o - 2*i = 5*o - 94. Is o a multiple of 14?
False
Let z(g) be the second derivative of -g**3/6 + 7*g**2/2 - 3*g. Is 12 a factor of z(-5)?
True
Suppose -15 - 35 = -2*k. Does 7 divide k?
False
Suppose 580 + 148 = 4*h. Is h a multiple of 28?
False
Let z(n) = -n**3 + 10*n**2 + 15*n - 27. Let x be z(11). Suppose -2*f - 30 = 3*f. Let u = x + f. Is u a multiple of 4?
False
Let k be 2 - (-2 - 5/(-1)). Let v = k + 19. Is 9 a factor of v?
True
Suppose -2*v - 4*d - 2 = -4*v, -5*d = 2*v - 20. Does 9 divide 203/(-35)*v/(-1)?
False
Suppose 0 = f - 183 + 76. Does 13 divide f?
False
Let h(a) be the third derivative of -7*a**6/144 + a**5/120 + a**4/12 + 3*a**2. Let x(p) be the second derivative of h(p). Is x(-1) a multiple of 13?
False
Suppose 0 = 6*y - 8*y - 5*s + 184, -3*s + 6 = 0. Is 4 a factor of y?
False
Let w = 2 - 1. Let n be ((2 - 4)/2)/((-2)/(-4)). Is 10 a factor of -28*(3/n + w)?
False
Let v = -2 + 3. Let h(d) = d**3 + 2*d**2 - 2*d + 1. Let f be h(v). Suppose f*u = u + 9. Does 9 divide u?
True
Let s = -25 + 44. Does 10 divide s?
False
Let k = 169 + -78. Suppose 2*p - 13 = k. Is p a multiple of 23?
False
Let v be 18/(-4)*4/(-3). Let f be (-1)/3 + 20/v. Suppose 16 = -u + f*u. Is 4 a factor of u?
True
Is (-1958)/(-55)*5/2 a multiple of 15?
False
Let s be (-2 - (1 + -4)) + 1. Suppose -84 = n - s*n. Is 28 a factor of n?
True
Suppose -3*r = 75 - 3. Let c be (-2)/(-7) - r/14. Does 8 divide 0 - (-1)/(c/16)?
True
Suppose 2*c + c = -21. Let w(v) = -3*v + 6. Is 9 a factor of w(c)?
True
Let m = 53 - 42. Is m a multiple of 3?
False
Suppose 0 = 3*b + 2*b - 30. Let p(x) = x**3 - 6*x**2 + 2*x - 9. Let s be p(6). Suppose o + b + 2 = 3*d, 0 = -d + s*o. Is 3 a factor of d?
True
Let h be (-27)/(-15) + (-4)/5. Suppose -29 = -u - h. Is 7 a factor of u?
True
Suppose -33 = -a + 43. Let v be (-2 + 1)*43 + 2. Let o = v + a. Does 21 divide o?
False
Let w = 130 - 40. Does 18 divide w?
True
Suppose 0 = -4*f - 3*l + 312, 4*l - l = -2*f + 156. Is f a multiple of 20?
False
Let v = 6 + -4. Let n(p) = p - 9 - p**2 + 5*p**2 + 2*p - 3*p**v. Does 15 divide n(-9)?
True
Suppose 2*r - 10 = 0, 3*o - r + 9 = 4*o. Let m = 18 - o. Does 14 divide m?
True
Let p(b) = 11*b - 19. Does 2 divide p(4)?
False
Let h = 8 - 5. Suppose -3*p = -o - 109 - 54, -3 = h*o. Is 15 a factor of p?
False
Suppose 5*f = -3 + 38. Suppose f*p - 108 = 3*p. Is p a multiple of 9?
True
Suppose 0 = -z - 4. Let i = 3 + z. Does 10 divide 0 + (-1 + -9)/i?
True
Let j(z) = -54*z**2 - 5*z + 1. Let i(o) = o**2 + o. Let q(s) = -3*i(s) - j(s). Does 15 divide q(1)?
False
Suppose 5*l - 3*l = 5*c - 55, -4*c + 21 = 3*l. Suppose 4*z = c + 15. Does 6 divide z?
True
Suppose 0 = 7*m - 2*m - 20. Suppose w = 3*d - m*w - 130, 2*d - 80 = 5*w. Is 25 a factor of d?
True
Let g(b) = b**3 + b**2 - b + 5. Suppose 4*f = 2*f. Is g(f) a multiple of 5?
True
Let s = 6 + -6. Suppose 3*z - 2*t - 50 = s, -2*z + z - 2*t = -30. Does 20 divide z?
True
Let u be -2 - (1 - 0 - 1). Let x = u - -6. Suppose -5*k + x*t + 136 = 0, -4*t - 40 = -0*k - k. Does 24 divide k?
True
Let h = -15 - -60. Is h a multiple of 15?
True
Let y be (2/4)/(2/4). Let p = -2 - y. Let m = p + 10. Is m a multiple of 7?
True
Let p = -7 + 9. Does 10 divide p/3*5*3?
True
Let x(v) = -v + 3. Let j be x(-8). Suppose -j + 43 = 2*m. Is m a multiple of 16?
True
Does 26 divide ((-4)/(-12))/(3/234)?
True
Let t(l) = -l + 13. Let a be t(9). Suppose -3*d - 66 + 289 = 2*i, a*i - 451 = -5*d. Suppose -i = -3*n - o, -4*n - 36 = 3*o - 193. Is n a multiple of 16?
False
Suppose 4*t - 38 = -2*k, 2*k = -2*t + 5*k + 31. Let m = 55 - t. Is 19 a factor of m?
False
Let r = -25 - -17. Let k(y) = -y**3 - 7*y**2 + 3*y - 4. Does 12 divide k(r)?
True
Suppose 4*g = 5*g - 9. Suppose 0 = -5*j + 4*p + 13, g = 4*j + j - 2*p. Is j/(-2) + (-53)/(-2) a multiple of 13?
True
Let t be (2/4)/(3/30). Suppose 0 = -t*i + i + 96. Is 7 a factor of i?
False
Let v(g) = g + 7. Let j be -1 + 1 + 0 + 8. Is v(j) a multiple of 8?
False
Suppose 3*i - 4*b - 2116 = 0, 3*i = -0*i - 3*b + 2109. Suppose 2*z - z = 4*s - 132, 2*s = -5*z - i. Is 12 a factor of z/(-6) - (-2)/(-6)?
False
Suppose -4*u - 675 = -5*d + u, 261 = 2*d + u. Does 41 divide d?
False
Suppose -5*c + 5*j - 4*j + 116 = 0, 0 = 3*j - 12. Is c a multiple of 9?
False
Let r(q) = q**3 + q**2 + 2*q - 2. Let w be r(2). Let s = w + 6. Is s a multiple of 10?
True
Suppose 2*v + 19 = 3*o, -5 = v - 0. Suppose 4*c - 892 = -188. Suppose 5*i + 2*a - c = 0, -3*a = -o*i + 2*a + 118. Does 12 divide i?
True
Let s(h) = h**2 - 5*h + 8. Is s(9) a multiple of 22?
True
Let i be (-14)/91 + 2065/(-13). Let z = i - -234. Is z a multiple of 28?
False
Suppose n - 5*n + 4 = 0. Let c(p) = 9*p**2 - 1. Does 6 divide c(n)?
False
Let p = 338 + -176. Does 18 divide p?
True
Is -1*5/((-10)/84) a multiple of 21?
True
Let r = 6 - 2. Does 18 divide (-1)/r + 290/8?
True
Suppose 3*t - 2 = 2*x - 0, 16 = 3*t + 5*x. Suppose y = t*y - 4. Suppose 6*i - 9 = i - 2*l, 0 = -y*i - 4*l. Is 2 a factor of i?
False
Let p(q) = 2*q + 2. Let v be p(-2). Let d = v + 13. Is 5 a factor of d?
False
Suppose 3*w = 5*z + 412, 4*z - 304 = -2*w - 0*z. Is 9 a factor of w?
True
Suppose 0*n = 3*n. Suppose 3 = -n*u + u. Suppose -4*q + q + u*h + 39 = 0, -h + 7 = q. Is 10 a factor of q?
True
Let o(n) = -2*n**2 + n - 6. Let t(d) = 2*d**2 - d + 5. Let v(s) = 6*o(s) + 7*t(s). Does 14 divide v(-5)?
False
Suppose -c + 3*c - 125 = 5*p, -p + 380 = 5*c. Suppose 0 = 7*k - 2*k - c. Does 5 divide k?
True
Suppose 814 = -7*v + 11*v + 2*r, -2*v + 416 = 4*r. Does 44 divide v?
False
Suppose -2*j = -3*j. Suppose j*t + 9 = t - 5*y, t - 12 = 4*y. Does 13 divide t?
False
Let r be -1 + 0 - 7*49. Is 4/(-6) - r/12 a multiple of 14?
True
Let c(a) = 2*a**2 - 4*a + 5. Does 9 divide c(5)?
False
Suppose 2*q = 3*m - q + 48, -4*m = -q + 64. Let d = -5 - m. Does 3 divide d?
False
Suppose 3*n = 2*n - 60. Let i = n + 86. Does 13 divide i?
True
Let i = 76 + -8. Suppose 0*w = 2*w - i. Is 17 a factor of w?
True
Suppose 5*r + 0*r = 15. Suppose 2*v = 4, y - r + 5 = 2*v. Suppose 7*n - 95 = y*n. Is n a multiple of 12?
False
Suppose 3*t - 140 = -a, -t = -0*t + 3. Suppose 5*b = a - 29. Is 12 a factor of b?
True
Is (-2015)/(-39) - 2/3 a multiple of 16?
False
Suppose 0 = -5*s + 6 + 4. Suppose 2*h - 44 = -s*h. Suppose -h = -f + 15. Does 11 divide f?
False
Let t(m) = 64*m**2 + m - 1. Let b be t(1). Suppose -3*a - a = -b. Is a a multiple of 7?
False
Let i be -6 + 8 + 6 + 1. Is ((-3)/i)/(1/(-69)) a multiple of 23?
True
Let x(y) be the second derivative of -y**5/20 - y**4/12 - 4*y. Is 6 a factor of x(-3)?
True
Is 3 a factor of 32/80*15/2?
True
Is 29 a factor of (-4)/2*(0 + 58*-1)?
True
Suppose 4*w + 4*l - 1344 = 0, -w + 3*w + 3*l = 672. Is w a multiple of 48?
True
Let o = 41 - 11. Is o a multiple of 10?
True
Let n(r) = r**2 - 2*r - 6. Let l(t) = -t**2 - 1. Let j(u) = -5*l(u) + n(u). Let p be j(-2). Let f = 49 - p. Does 11 divide f?
True
Suppose 0 = -3*r + 572 - 164. Does 34 divide r?
True
Let b(v) = -v + 5. Let t = 3 + -7. Let m(j) = -2. Let d(l) = t*b(l) - 11*m(l). Is d(3) a multiple of 7?
True
Let u(n) = -n - 46. Let q be u(0). Let r = q - -91. Does 12 divide r?
False
Suppose 4*o + 0*m = m - 121, 4 = 4*m. Let b = 90 + o. Is 20 a factor of b?
True
Suppose 4