
True
Suppose 11 = -2*r + 5. Let s(a) be the third derivative of a**5/10 + a**4/8 + a**3/6 - 3*a**2. Does 15 divide s(r)?
False
Let q(t) = 7*t + 38. Let z be q(-5). Suppose 3*h = z*u + 336, 686 = 5*h + 2*u + 154. Is 12 a factor of h?
True
Let b(z) = -z**3 + 9*z**2 - 6*z - 10. Let x = 39 + -31. Is b(x) even?
True
Let k(s) = 43*s**2 - s. Let o be k(2). Is 25 a factor of o + 15/3 + 0?
True
Let r = 85 - 82. Suppose -r*g = -3 - 48. Is 14 a factor of g?
False
Let r be ((-1 + (2 - 1))/(-3))/(-1). Is 5 a factor of (r + -1)*((0 - 3) + -58)?
False
Suppose -2*a - 7056 - 3244 = -5*s, 0 = -4*s + 3*a + 8240. Is 10 a factor of s?
True
Let l(k) = k**3 - 10*k**2 - 26*k + 29. Let j be l(12). Suppose 0*t + j*t = 250. Is t a multiple of 25?
True
Let d(r) = 11*r - 5. Suppose 2*v + 3*a = a + 26, 2*v = 4*a + 2. Is d(v) a multiple of 13?
False
Let u be (-3)/(-9) + (-5)/(-3). Suppose -u = 4*f - 278. Is f a multiple of 24?
False
Let j(z) = -5*z**3 + 3*z**2 - z - 1. Let o be j(1). Let r = 28 + -56. Let b = o - r. Is b a multiple of 8?
True
Let c = 1686 + -915. Is 33 a factor of c?
False
Let q = 433 + -55. Is 21 a factor of q?
True
Let x = -1014 - -1454. Is x a multiple of 40?
True
Let m(q) = 42*q**2 + 34*q**2 - q + 0*q. Let a be m(-1). Suppose -5*y - 2*i = -131, -i - a = -3*y - 3*i. Is y a multiple of 6?
False
Let h = 2 - -3. Suppose -79 = -2*w + h*d, w + 0*d = d + 35. Does 7 divide w?
False
Let h(r) = -40*r**2 - 1. Let l be h(-1). Let u = l + 107. Suppose -3*b + k + u = -112, 0 = -2*b - 3*k + 137. Does 19 divide b?
False
Let w(f) = 26*f + 1. Let c be w(-3). Let b be (-2)/(-8) - c/28. Suppose -2*u + 38 = 2*s - 14, u - b*s = 10. Is u a multiple of 22?
True
Let d(h) = 44*h + 10. Let y be d(-3). Let k = -44 - y. Is k a multiple of 13?
True
Let c(r) = 18*r + 31. Does 5 divide c(3)?
True
Suppose -40 = -6*h + h. Let z(x) = 5 - x**2 + h - 14*x - 12. Is z(-13) a multiple of 8?
False
Let s(a) = -2*a**2 - 2*a + 3. Let v be s(-3). Let c be v/(-1) + 8/(-2). Suppose 0*k - 32 = -c*k - 3*z, 2*k - 9 = -5*z. Is k a multiple of 2?
False
Let j(f) = -4*f + 20. Let b be ((-1)/1)/(3/57). Does 32 divide j(b)?
True
Let n = -435 - -748. Is 39 a factor of n?
False
Suppose -4*o - 4 = 4*j - 20, -4*j + 5*o = -16. Is (-18)/(-72) + 251/j a multiple of 8?
False
Let v(w) = w**3 - 10*w**2 + 14*w + 10. Let d be v(8). Let j be -16*((-129)/d - 2). Is 18 a factor of (4/(-3))/(8/j)?
False
Suppose 6*p - 7*p = 3*g - 25, g - 10 = -2*p. Suppose -216 = -g*f + 168. Is 12 a factor of f?
True
Does 13 divide (-134 - -131) + -1 + 306/2?
False
Suppose 2*s + 13 = 4*b + 43, 3*b + 6 = -4*s. Let c be ((-6)/(-9))/(b/27). Is 15 a factor of (-1080)/(-20) + (0 - c)?
False
Suppose 26*y = 31*y - 75. Is 2 a factor of y?
False
Let j be (-4 + 3)/(3 + -2). Is 27 a factor of (j + -255)/(-2) - -2?
False
Suppose n + 0*n - 12 = -3*s, 5*s - 3 = 4*n. Suppose -n*l + 266 = -238. Is l a multiple of 21?
True
Let g(k) = k**2 + k - 2. Let w be g(1). Suppose w = 4*z - 2*z - 10. Suppose -5*a + 3*y = -90, -5*y = z*a - 2*a - 54. Does 15 divide a?
False
Let c(d) = 0*d**2 + 18*d - 5 - d**2 + 6 + 41. Does 6 divide c(17)?
False
Let h = 2480 + -674. Is 7 a factor of h?
True
Suppose 3*g + 12 = 315. Is 32 a factor of g?
False
Let o(n) = 3*n**2 + 125*n - 50. Let g be o(-42). Let k be (10/8)/(2/8). Is 9 a factor of 178/k + g/(-20)?
True
Let n(z) = -13 + 16*z**2 - 7*z**2 + 0*z**2 - z**3. Is 39 a factor of n(6)?
False
Does 35 divide 34668/(-135)*30/(-4)?
False
Suppose -2*z = z + 372. Suppose s + 37 = -37. Let n = s - z. Is 17 a factor of n?
False
Let p be (-12)/42 - (-464)/7. Suppose -8*c = -6*c - p. Does 11 divide c?
True
Let l(w) = 2*w**2 - 6*w + 1. Suppose 19 + 1 = 4*x, 2*m + 5*x - 29 = 0. Suppose 3*r + r - 2*f = 22, -2*f = -m*r + 12. Is 7 a factor of l(r)?
True
Let u(n) = -2*n**2 + n + 4. Let v be u(-3). Let x(f) = 2*f + 48. Is x(v) even?
True
Let x = 6 + -1. Suppose 4*f = f + x*b + 109, f = b + 37. Is f a multiple of 9?
False
Suppose -c = -0*c. Suppose c = 5*u - d + 12, 3*u + 0*d - 2*d + 3 = 0. Is 5 a factor of ((-6 - -1)*u)/1?
True
Let p(c) = -c**3 + c**2 - c + 54. Let z be p(0). Is 12 a factor of z*(-4 - 42/(-9))?
True
Let h = 64 - -1089. Is 49 a factor of h?
False
Let t(i) = 2*i**2 + 6*i + 2. Let x(h) = 3*h**2 + 12*h + 4. Let r(v) = -5*t(v) + 3*x(v). Is r(5) a multiple of 7?
True
Let x be (1 - -15)*(12 + -3). Suppose 120 + x = 6*s. Is s a multiple of 11?
True
Let h be 34/119 + 38/14. Let w be (-6)/(((-42)/(-8))/(-7)). Is 3 a factor of (18/8)/(h/w)?
True
Let n(a) = -a**3 + 49*a**2 - 68*a - 100. Does 22 divide n(47)?
True
Suppose 37650 = 23*q - 58007. Is q a multiple of 24?
False
Let b be (-9)/(-12) + 20/16. Suppose -h + 128 = -2*t, b*h = 5*h + 5*t - 340. Let z = h + -68. Is 13 a factor of z?
True
Let l(p) = -p**2 + 5*p - 2. Let k be l(8). Let n = k + 55. Is 11 a factor of n?
False
Let d = -27 - -21. Let h(a) = -a**3 - 6*a**2 - 5*a + 4. Let z be h(d). Suppose 3*g + q + 0 = z, 4*q = 16. Does 5 divide g?
True
Suppose -t - 3*t = -124. Suppose 3 = -2*r + t. Let w = 32 - r. Does 8 divide w?
False
Suppose 12 = -4*j + 256. Is j a multiple of 12?
False
Let k be 1 - (1 - 2/1). Suppose -k*i = -116 + 6. Is i a multiple of 9?
False
Is 32 a factor of ((-120)/2)/(28/(2688/(-9)))?
True
Let a = 106 + 301. Does 11 divide a?
True
Suppose -r = -1 - 1. Let j be -2*(-7)/14*(-1 + 1). Does 10 divide r + j + 14 + -6?
True
Let q(k) = -3*k + 51. Let m be q(17). Suppose 20*h = -m*h + 4120. Is h a multiple of 15?
False
Suppose 0*k - 16 = -4*k. Let v be 7*(k - 118/(-7)). Suppose -2*f + 0*f - 24 = -j, v = 4*j + 2*f. Does 17 divide j?
True
Suppose 2945 = 3*g + p, 1225 = g - 4*p + 265. Does 35 divide g?
True
Let w(n) = 7*n - 13. Let v be w(10). Suppose o - 3 = v. Does 5 divide o?
True
Let y = -148 + 385. Let b = y - 157. Is 10 a factor of b?
True
Suppose -279 = -3*j - 0*j - b, -4*b + 279 = 3*j. Is j a multiple of 13?
False
Let t be (1 + (-14)/2)*-2. Suppose 3*o = -o + t. Suppose -49 = -2*m - o*x - 2*x, 5*m + 2*x - 112 = 0. Is m a multiple of 8?
False
Let z = 24 - 48. Let p = z + 20. Is 34 a factor of (340/(-15))/(p/6)?
True
Suppose 12*x - 28944 = -12*x. Is 18 a factor of x?
True
Let y = 1 + 5. Suppose -4*n + y = -14. Let i(d) = d**2 - 2*d + 3. Does 6 divide i(n)?
True
Is 40 a factor of 491*4/7 + (-180)/315?
True
Suppose 3*o + 1 = -11. Let k(j) be the second derivative of -5*j**3/6 - 9*j**2/2 - 2*j. Does 5 divide k(o)?
False
Suppose 40 = -3*c + 139. Suppose -2*g + c = 1. Is (-6)/g*-2*24 a multiple of 12?
False
Let x = -120 - -1247. Is 29 a factor of x?
False
Suppose -13*f + 16*f - 9 = 0. Suppose 16 = f*l - 5*h, 11 = l + 4*h - 0. Is 7 a factor of l?
True
Let n be (84 - -3 - 1) + -2. Let w = n + -42. Does 12 divide w?
False
Let v = 26 - 26. Suppose -o = -x - 0*x, 3*x + o - 12 = v. Suppose 5*c - 4*s - s - 160 = 0, -x*c - 3*s + 66 = 0. Is 4 a factor of c?
False
Suppose -t - 3*q - 33 = -227, 2*t - 392 = -5*q. Is 17 a factor of t?
False
Let o = 15 + -12. Let l(w) = 4*w - 3. Is 2 a factor of l(o)?
False
Let f(j) be the third derivative of j**5/20 + 23*j**4/24 - 5*j**3/6 + 21*j**2. Does 29 divide f(-13)?
True
Let n(s) = -s**3 - 9*s**2 - 6*s + 4. Let g be n(-8). Let t be (-455)/(-4) - 3/g. Suppose -t = -3*b - 3*j, 0*b + 138 = 4*b - 3*j. Is 5 a factor of b?
False
Let d = 9 - 8. Let j be 101 + -7 + (-1 - d). Suppose -4*v + c + 2*c = -186, j = 2*v - 2*c. Is v a multiple of 24?
True
Let n = 21 - 15. Suppose n*x = x + 15. Suppose -x*d = -2*d - 17. Is 8 a factor of d?
False
Suppose 6*a - 3*t - 127 = a, 0 = 2*a - 2*t - 50. Suppose -8*z + 7*z = -a. Is 26 a factor of z?
True
Suppose 0*a - 96 = -a. Let l = a - -8. Does 26 divide l?
True
Let k = 11 - 3. Suppose 0 = -k*v + 5*v - 135. Is 3/(-6) - v/2 a multiple of 6?
False
Suppose 3*p + 0*p + 140 = -2*h, -4*p + 4*h - 180 = 0. Let i = 66 + p. Does 6 divide i?
False
Suppose 12*d = 14*d + 4. Let o(w) = 3*w**2 + 5*w + 2. Is o(d) a multiple of 2?
True
Let g = -36 + 60. Is 3 a factor of g?
True
Does 9 divide (-5)/(5/(-60)*2)?
False
Let a(y) = -3*y**3 - 3*y**2 - 5*y - 5. Let f be a(-5). Suppose -10*g - f = -15*g. Is g a multiple of 16?
True
Suppose 2*b - v + 1215 = -3*b, -2*b - 486 = -4*v. Let n = b + 351. Is n a multiple of 9?
True
Let s be 1 - (-4 + 15 - 0). Let o = s - -13. Is o even?
False
Suppose -5*k + g = -4*g - 65, 0 = 4*g - 8. Suppose k*b + 5 = 10*b.