ivide -45*(0 - k/(-3))?
False
Suppose 51 = 3*h + 9. Does 3 divide h?
False
Suppose 0 = -m + 6*m - 330. Suppose 3*c = 6*c - m. Is c a multiple of 8?
False
Suppose -l + 60 = -5*i, -i - 1 = l + 5. Let h = 32 + i. Is h a multiple of 15?
False
Suppose 0*f + 2*f - 32 = 0. Is 4 a factor of f?
True
Let n = 16 + -7. Suppose -s = h - 3, -4*h - 2*s = -s. Let f = n + h. Is 3 a factor of f?
False
Let l = 3 - 0. Suppose -6*n + 2*h = -2*n - 226, -l*h - 231 = -4*n. Is n a multiple of 20?
False
Let j be 6/(-4) - 9/(-6). Suppose j = 2*m - 3*a - 183, 2*m - 62 - 96 = -2*a. Does 15 divide m?
False
Let z = -60 + 85. Is 5 a factor of z?
True
Suppose -5*c + 12 = -c, f - 192 = 2*c. Is f a multiple of 18?
True
Suppose n = 5*j - 0*n - 1, -3*j - 5*n = 5. Suppose 3*k + j*b + 3*b + 78 = 0, -k - 30 = 2*b. Does 11 divide (k/(-6))/((-2)/(-18))?
True
Let c = 139 + -69. Does 11 divide c?
False
Suppose -5*k + 4 + 11 = 0. Suppose 25 = -k*p - 5*q, -3*p = -0*p + q + 17. Let u = p - -13. Is 6 a factor of u?
False
Let o(s) be the second derivative of -s**5/20 - s**4/4 - s**3/3 + s**2 - 3*s. Is o(-3) a multiple of 4?
True
Let r = -10 + 15. Let k(t) = t**2 - 7. Is k(r) a multiple of 17?
False
Suppose 22*b - 2584 = 1178. Is 13 a factor of b?
False
Let h(q) be the third derivative of q**5/30 - q**4/8 - 7*q**3/6 - q**2. Let l be h(6). Suppose 4*j + 4*b + 1 = 53, 5*b - l = -4*j. Is 6 a factor of j?
True
Let c = -7 + 4. Let h = c - -19. Is 6 a factor of h?
False
Let y(c) = -2*c**3 - 6*c**2 + 5*c + 10. Does 16 divide y(-5)?
False
Let h = -5 - -7. Is 6 a factor of h - (-8 - -1 - -3)?
True
Suppose 3 = -3*r - 4*b - 2, 0 = -2*r + 3*b - 9. Is 16 a factor of (r/(-2))/((-12)/(-256))?
True
Suppose -t + 3*w - 2 = 0, 2*t - 6 = t - w. Suppose -5*o - 31 = -3*s, -33 = -s - t*o - 0*o. Is s a multiple of 17?
True
Suppose l = -100 + 26. Is 20 a factor of (1 + 0)/(-1)*l?
False
Let a be ((-6)/9)/(6/(-45)). Suppose -a*c + 0*c + 100 = 0. Suppose -2*i + 2*s + 22 = 0, 3*s = -s + c. Does 11 divide i?
False
Let s = 79 - -44. Is 35 a factor of s?
False
Let s be (-5)/(-3) - 8/12. Let k be (8/(-10))/(s/(-5)). Suppose 0 = -k*f + 3*f + 16. Is f a multiple of 16?
True
Does 9 divide 1 - 2 - (2 + 2 + -131)?
True
Suppose -81 + 13 = -2*p. Suppose -p = -5*h - 4. Let n(c) = -c**3 + 7*c**2 - c - 2. Does 14 divide n(h)?
True
Let r be (-2 - -1)*(8 - 11). Suppose -r*c + 108 = 2*l - c, 3*c = -2*l + 112. Is l a multiple of 25?
True
Let v(b) = 2*b**3 - 3*b**2 + 8*b - 4. Is 15 a factor of v(5)?
False
Is (18/24)/((-2)/(-104)) a multiple of 13?
True
Suppose 5 = 3*x - 31. Is 6 a factor of x?
True
Suppose 5*w - 154 + 4 = 0. Is 5 a factor of w?
True
Let s(c) = -4 - 2 + 0*c - 4 + 5*c. Does 15 divide s(11)?
True
Does 3 divide (-70)/(-22) + 6/(-33)?
True
Let r = 3 - 3. Suppose 0*n + n + 3*a = r, -2*a = 2*n. Suppose n = -2*k + 9 + 1. Is k a multiple of 2?
False
Let k(a) = 3*a - 3. Let b be k(2). Suppose 0 = -b*u + 176 + 4. Is 20 a factor of u?
True
Suppose 5*s - 2*v = 674, s - v = 3*v + 124. Suppose w = -3*w + s. Is 17 a factor of w?
True
Let x(a) = -2*a**3 - 3*a**2 + 2. Let v be x(-2). Is 3/v + (-34)/(-4) a multiple of 9?
True
Let f(p) = -3*p - 9. Let n(d) = -13*d - 37. Let x(h) = -9*f(h) + 2*n(h). Let r be x(0). Is 5 a factor of (-5)/3*(1 - r)?
True
Suppose 0*h + h = 0. Suppose -3*k + 2*k + 47 = h. Does 15 divide k?
False
Suppose -3*k = -k - 2. Let c be 7/2*(k - -3). Is 14 a factor of (-3)/(12/(-10))*c?
False
Let f = -5 + 6. Let p = 10 - f. Is p a multiple of 9?
True
Let z = 11 + 39. Is 5 a factor of z?
True
Suppose -3*x = -28 - 2. Does 4 divide x?
False
Suppose -k - 3*j = -276, k - j + 69 = 349. Is 41 a factor of k?
False
Let r(n) = 2*n**2 + 14*n - 3. Let p be r(-10). Suppose -2*o - k + p = 2*k, 5*o = 2*k + 190. Does 12 divide o?
True
Let p = 48 - 46. Is p a multiple of 2?
True
Suppose 2*u = -0*u + 242. Suppose -4*g = g + 10, u = 3*a - 2*g. Does 13 divide a?
True
Let l be 16/6 + (-6)/9. Suppose -57 = -3*m + 4*a, l*m + 9 = 3*m + 2*a. Is m a multiple of 5?
True
Let h be (-12)/18 + 68/3. Suppose -h = -2*n + 26. Does 12 divide n?
True
Suppose -4*x - x = -235. Let c = -3 + x. Does 12 divide c?
False
Suppose 2*s = s + i + 23, i + 92 = 4*s. Does 2 divide s?
False
Let b be ((-1)/1)/((-5)/(-10)). Let g be 2 - -1 - b/(-2). Suppose -4*m = -3*q + 20, g*m + m = 5*q - 48. Is 6 a factor of q?
True
Suppose -3*h + 8 = 2*h + 4*z, -3*z + 6 = 0. Is (21/(h - 3))/(-1) a multiple of 3?
False
Suppose 6 = 4*n - 2, 3*d - 195 = -3*n. Does 28 divide d?
False
Let v(x) = 2*x**2 + 4. Let j be v(6). Suppose 5*m - 32 - j = -3*g, 2*m = -5*g + 28. Is m a multiple of 15?
False
Let h(a) = 23*a. Is h(1) a multiple of 4?
False
Let h = 4 + -2. Suppose q + 5*f = 26, -h*f + 240 + 5 = 5*q. Suppose 4*g - q - 21 = -4*d, -2*d + 5*g + 29 = 0. Does 16 divide d?
False
Suppose -83 + 675 = 4*r. Is r a multiple of 25?
False
Let t be (80 + -4)*(-9)/(-4). Suppose -4*g + g = 4*h - 171, -3*h = -3*g + t. Is g a multiple of 19?
True
Let x(f) be the first derivative of -f**2 + 4*f - 3. Let j be x(-8). Let t = j - 14. Is t a multiple of 6?
True
Let v(m) be the third derivative of m**5/60 + m**2. Suppose 2*z = 2*s + 1 + 9, s = -3. Is 3 a factor of v(z)?
False
Let i(u) = -3*u + 69. Is i(-24) a multiple of 17?
False
Is 33 a factor of 173 - (10/2)/(-5)?
False
Let i(k) = k**3 - 2*k**2 - 2*k + 2. Let a be i(2). Is 3 + (-3)/6*a even?
True
Let j = -12 - -107. Is j a multiple of 19?
True
Suppose 3*z + 9 = 4*z. Does 2 divide z?
False
Suppose -o = -1 - 1. Let q = 4 - o. Suppose q*y - 7*y = -100. Does 20 divide y?
True
Suppose v + 2*u + 6 = 77, -2*v - u + 139 = 0. Is v a multiple of 3?
True
Does 9 divide 190/8 + 1/4?
False
Let i(t) = t**2 + 5*t + 5. Let c(w) = 6*w**3 - w**2 + w + 1. Let p be c(-1). Does 16 divide i(p)?
False
Suppose -4*p + 0 + 4 = 0. Is 2 + p - -15 - 2 a multiple of 16?
True
Let v(n) = 2*n**2 - 3*n**2 + n - 8*n**3 - n**2. Is 27 a factor of v(-2)?
True
Let w = -6 - -20. Suppose h = 28 + w. Does 14 divide h?
True
Suppose -3 = -0*b - 3*b. Suppose 5*l - 61 = -b. Does 7 divide l?
False
Suppose 0 = -0*f - f - 7. Let c(j) = -j**3 - 8*j**2 - 7*j + 3. Let u be c(f). Does 4 divide 19/u - 2/6?
False
Let n be (2/((-4)/14))/1. Let v be n - -3 - 3/1. Does 16 divide (-443)/v - 6/21?
False
Suppose -2*g - 8 = -2*c, 0 = -c - 0*c. Let z(m) = 2*m**2 + 2*m + 3. Let o be z(g). Is 318/o + (-6)/(-27) a multiple of 12?
True
Let z(m) = -m**2 - 5*m - 6. Let c be z(-4). Let a be (1 - c)/3*3. Suppose 4*r - 7 = -4*h + 1, a*r = -2*h. Is h a multiple of 3?
True
Let m(a) = 2*a**2 + 8*a + 14. Let g = -19 - -12. Is m(g) a multiple of 14?
True
Suppose 0*n - 4*n + 236 = 4*q, q = -2. Is 3 a factor of n?
False
Let p(g) = g**3 + 3*g**2 + 3*g. Let b be p(-2). Let m = b - -52. Does 25 divide m?
True
Let s(r) be the first derivative of -r**2/2 + 2*r - 2. Let h be s(1). Does 4 divide h*(0 + 11) + 1?
True
Does 4 divide (-12)/4 + 23 - 4?
True
Suppose 2*d - 23 = 2*f - 5, -4*f - 4*d = 20. Let c = f - -4. Let p = c - -6. Does 3 divide p?
True
Suppose -12 - 184 = -4*k. Is 25 a factor of k?
False
Suppose -w - 4*j = -5*w - 4, 3*w - 4*j = -6. Suppose -i = -w*i + 16. Does 7 divide i?
False
Let i be (-49)/(-2*(-3)/6). Let u = i - -6. Let a = 61 + u. Does 9 divide a?
True
Suppose -3*r = -o + 17, 4*o + 2*r = -6 + 4. Let v be 57*(o - 0) - 0. Suppose 3*j - 42 = v. Is j a multiple of 19?
False
Let x be 36*2/(2/1). Suppose 2*z - 9 = z. Let a = x - z. Is a a multiple of 15?
False
Let s(z) = -z**3 - z**2 + 4*z + 3. Does 3 divide s(-3)?
True
Let c(y) = -2*y - 2. Let m be c(2). Let a be m/3 + (1 - -4). Suppose a*u = 6*u - 21. Is u a multiple of 7?
True
Let a(d) = 4*d**3 - d. Let n be a(-1). Let u be 6*(n/(-2) - -1). Let g = 8 + u. Is g a multiple of 23?
True
Let i = 156 - -55. Is 42 a factor of i?
False
Let s(b) = b**2 + 29*b + 25. Let w(v) = -7*v - 6. Let a(n) = 2*s(n) + 9*w(n). Does 12 divide a(-4)?
True
Suppose 4*d = 4*g + 84, -2 + 4 = -g. Let c = 4 - d. Let m = c + 26. Does 4 divide m?
False
Let z = 9 - 2. Does 7 divide z?
True
Let j(s) = s**2 - 4*s + 3. Let h be j(2). Does 15 divide 2*(h + 135/6)?
False
Suppose 3*v + 5*z = 208, 3*v = -z - 2*z + 198. Suppose 4*b = -v + 157. Does 12 divide b?
True
Let d(v) = v**2 + 12*v - 5. Suppose 0 = u - 2, 3*q - 3*u + 9 = -15. Let i be d(q). Let w = i - -59. Is w a multiple of 9?
True
Let a = -20 + 55. Is a a mul