5*a - 63 = 6*a. Does 8 divide r?
True
Let j be (-3)/(-4) + (-40)/(-32). Suppose 0 = j*x + 3*x - 45. Is 9 a factor of x?
True
Let v(r) be the second derivative of 1/20*r**5 + 3/2*r**3 + 7/2*r**2 + 0 + 5/6*r**4 - 2*r. Does 4 divide v(-9)?
False
Suppose 4*m = -3*k + 14, 8 = k + m - 3*m. Let d = k + -3. Let t = 10 - d. Is t a multiple of 3?
False
Let d(h) be the second derivative of h**4/4 - 2*h**3/3 - 2*h**2 + 4*h. Suppose 0 = 4*p + 4, -x = 2*x + p - 14. Is d(x) a multiple of 20?
False
Suppose 0 = 5*c - 4*c + 19. Let o = 17 - c. Does 28 divide o?
False
Let b = 345 + -165. Is 30 a factor of b?
True
Let g be ((-12)/(-16))/((-2)/(-8)). Suppose 2*l + g = -3. Does 17 divide ((-15)/(-5))/(l/(-34))?
True
Let l = -5 + 117. Suppose 7*d - 3*d - l = 0. Is d a multiple of 14?
True
Let t(d) = -d**2 + 3*d + 2. Let o be t(3). Suppose -5*p - o*h + 175 = 0, 2*p + 5*h = h + 86. Does 11 divide p?
True
Suppose w + 3*n - 18 = 5, -2*n + 62 = 3*w. Suppose 4*z - w = -5*x + 42, z = x + 11. Does 13 divide z?
True
Let c(u) = u. Let b(a) = 6*a - 14. Let y(p) = b(p) - 10*c(p). Is y(-8) a multiple of 3?
True
Suppose 5*l = -q - 2, -l = -2*q - 4*l + 3. Let r be 398/8 + q/12. Suppose 0 = 3*j + 2*j - r. Is 5 a factor of j?
True
Suppose a + 8 = 5*a. Let v = a + 1. Suppose -2*c - 4*u + 6 = -2, v*c - 4*u = 12. Is c even?
True
Suppose 15*x = 10*x + 130. Does 26 divide x?
True
Let l(w) = w + 2. Let a(s) = s - 11. Let z be a(8). Let x be 3 - (0 + 2 + z). Does 6 divide l(x)?
True
Suppose 8*s - 7*s = 46. Is s a multiple of 23?
True
Let p be 8/16 - (-434)/4. Suppose 4*f = 2*v - 1 + 51, f + p = -4*v. Let j = 61 + v. Is 17 a factor of j?
True
Let w = 36 + 14. Suppose -2*f + f + 30 = 3*j, 3*f - j - w = 0. Is f a multiple of 18?
True
Suppose -3*w + 4 - 1 = -2*f, 3 = f. Suppose w*x = -5*h - 30, -h + x + 2*x = -12. Is 5 a factor of (-19)/h + (-2)/(-3)?
False
Let w = -7 - -10. Is 23 a factor of (0 - (w - 3)) + 75?
False
Is 7 a factor of 21/(9*(-2)/(-12))?
True
Suppose -z + o + 393 = 4*z, -3*z = 5*o - 247. Is 11 a factor of z?
False
Suppose -2*n + 173 = 25. Suppose 0*g + n = 2*g. Does 13 divide g?
False
Suppose -2*z - 5*p = 5 + 1, p - 2 = -2*z. Let n = z - 3. Let j = 4 + n. Is j even?
False
Let h(m) be the first derivative of m**4/4 + 10*m**3/3 + 11*m**2/2 - m - 5. Is 26 a factor of h(-8)?
False
Let k(u) = -9*u**3 + u - 1 + 0*u**2 - 2*u - u**2. Is k(-1) a multiple of 2?
True
Let c(n) = n**2 - 8*n - 4. Is 5 a factor of c(9)?
True
Suppose 3*b = f + b + 24, -4*b = -12. Let g be ((-4)/(-4))/(2/(-18)). Let o = g - f. Is o a multiple of 9?
True
Let y(v) = v**2 + 8*v - 9. Does 7 divide y(5)?
True
Suppose o - 179 = -3*j, 17*j - o + 240 = 21*j. Does 21 divide j?
False
Suppose 3*n = 65 - 41. Does 3 divide n?
False
Suppose -4*a - 5*k - 2 = 0, k = -4*a + 6 - 0. Let b(h) = 4*h**3 - 2*h**2 - 2*h - 3*h**3 - 4 + h**a. Is b(3) a multiple of 8?
True
Suppose x + 258 = 2*h, -h - h = -4*x - 246. Does 21 divide h?
False
Suppose 3*q - 66 = 2*q. Suppose -a + 120 = 3*z + 33, 2*z - q = 2*a. Is z a multiple of 15?
True
Let n(l) = -19*l + 5. Does 16 divide n(-2)?
False
Is 10 a factor of (3 - -6) + -2 - -3?
True
Suppose -f + 0 = -4. Suppose 5*b + 4*d = 9, 4*b - f*d = -0*b + 36. Suppose -2*m = v - 59, 0*m = b*v + m - 277. Does 14 divide v?
False
Suppose 26 = -3*y + i + 67, 5*i - 5 = 0. Does 13 divide y?
False
Let c(s) = s**2 - 9*s - 16. Is 15 a factor of c(-13)?
True
Does 14 divide -23*(-12)/(0 + 4)?
False
Let n be (-4 - -2) + 1*2. Let r(z) = n - 1 + 0 + z + 2. Is r(10) a multiple of 11?
True
Suppose -5*t - 4*l + 97 = 0, t - 3*l = l + 5. Does 2 divide t?
False
Let l(x) = 4*x + 3. Let b be l(4). Suppose b = g - 31. Suppose -a - 14 = -g. Is a a multiple of 18?
True
Let g be 2 + (-3 + 2)*-3. Suppose 0*i = i + 2*a, g*a - 30 = 5*i. Let b(w) = -w**3 - 2*w**2 + w. Does 14 divide b(i)?
True
Suppose 0 = 2*f + f + 9. Let h(k) = 15*k. Let s(u) = -7*u. Let d(a) = 6*h(a) + 13*s(a). Is d(f) a multiple of 2?
False
Let f(t) = t**3 + 4*t**2 - 8*t - 18. Is f(-4) a multiple of 2?
True
Suppose 348 = u + 2*u. Suppose -6*i = -2*i - u. Does 11 divide i?
False
Let f = 26 - 0. Is f a multiple of 13?
True
Let o(n) be the third derivative of n**4/24 - 7*n**3/6 + n**2. Let y be o(9). Suppose 2*t + y*t = 80. Does 7 divide t?
False
Suppose 1428 = 10*i - 3*i. Is 17 a factor of i?
True
Does 25 divide 3/(-4) - 618/(-24)?
True
Let x be ((-4)/14)/(7/(-49)). Let y be 30/6 - 1*x. Suppose 6*s = 3*s - 6, 269 = 5*a + y*s. Is 17 a factor of a?
False
Suppose -4*b = 3*h - 461, 4*h + 100 = b - 1. Does 11 divide b?
False
Let t(g) = 32*g - 25. Is t(8) a multiple of 21?
True
Suppose 2*l - 3*t - 1 = 5, 0 = 5*l - 5*t - 10. Let v(g) = 2*g**2 + 8*g + 11. Let w be v(-5). Suppose l = 2*h - w + 3. Is 9 a factor of h?
True
Is 24 a factor of 119 - -1 - 0/(-2)?
True
Suppose -5*m - 33 = -j - 5, 0 = -j - m + 10. Suppose -i = -j - 10. Is 8 a factor of i?
False
Suppose 3*i + 5*o - 209 = 0, -4*i + 0*o + 292 = 4*o. Does 14 divide i?
False
Let d(u) = -5*u - 3. Let l be d(-4). Suppose c + 4*y - l = 0, -c = -3*c + 4*y + 10. Does 9 divide c?
True
Let p be 1/(-1*(-2)/(-4)). Let k(f) = -f**3 - 4*f - 3. Does 12 divide k(p)?
False
Let q(n) = 8*n. Let w be q(1). Let b = w + -9. Does 10 divide -2 + 16 + b + -2?
False
Suppose -1 = 2*d - 19. Let c be (57/d)/(3/18). Let h = c + -22. Does 8 divide h?
True
Let u = -306 + 458. Is u a multiple of 38?
True
Let o = -44 - -172. Does 20 divide o?
False
Suppose 17*b = -2*b + 1786. Is 3 a factor of b?
False
Let u = 0 - -29. Let z = u + -17. Is 12 a factor of z?
True
Let y(v) = v**3 + 12*v**2 - 12*v + 13. Let i be y(-13). Suppose i = 5*h - 6 - 94. Is 10 a factor of h?
True
Let o = 9 + -5. Suppose 3*k = 6, -o*r - 2*k + 20 - 4 = 0. Suppose 217 = c + 3*c + r*t, 0 = -c + 3*t + 58. Does 14 divide c?
False
Suppose 3*g + g - 188 = 0. Let o(p) = -2*p**3 + 4*p**2 - 5*p + 3. Let f be o(3). Let t = f + g. Is t a multiple of 15?
False
Does 4 divide (-33)/(-4) + 2/(-8)?
True
Let f(q) = -q**3 + q**2 + q + 23. Let c be f(0). Let n = c + -16. Is 7 a factor of n?
True
Let m(o) = o**2 - 7*o - 3. Let z be m(7). Let d(w) = -3*w**3 - 4*w**2 - w - 3. Does 15 divide d(z)?
True
Let f be 60/(-14) + 4/14. Is 32*((-14)/f + -3) a multiple of 8?
True
Suppose -3*d + 0*d = 3. Let l(f) = -4*f**3 + f**2 + f. Is l(d) a multiple of 4?
True
Is (-1)/(-5) + (-627)/(-15) a multiple of 28?
False
Let w be (120/(-14))/(3/(-63)). Let d be (-1 + -1)*w/(-8). Suppose 0 = -v - 4*v + d. Does 5 divide v?
False
Suppose -o = 7 - 67. Is 15 a factor of o?
True
Suppose 4*k - 4*s = 4 - 0, -15 = -3*s. Suppose -3 = -o + k. Let l(f) = -f**3 + 8*f**2 + 14*f - 7. Is 19 a factor of l(o)?
True
Suppose s + 52 = 5*s. Is 2 a factor of s?
False
Let k(n) = -87*n**3 - n**2 - n. Is 18 a factor of k(-1)?
False
Let k(n) = n + 4. Is 6 a factor of k(7)?
False
Let g(v) = -15*v - 2. Let s(p) = -p + 6. Let x be s(9). Let b = x + 1. Is 14 a factor of g(b)?
True
Let l(r) = 17*r - 24. Is l(3) a multiple of 12?
False
Is 7 a factor of -114*((-39)/9 - -4)?
False
Does 13 divide (-687)/6*(2/2 + -3)?
False
Suppose 3*h - 36 = 4*k, -60 = -5*h - 0*k + 3*k. Is 8 a factor of h?
False
Let m be -3 - 3/(6/(-4)). Let i be (1 - 4) + (1 - m). Is 9 a factor of (-6)/i*8/3?
False
Suppose 5*a - 348 = -v, v - 4*v = -4*a + 267. Is a a multiple of 16?
False
Let m(t) = 4*t**2 - 5*t + 7. Let b be m(-5). Suppose -3*z = z - b. Suppose 3*d + 2*i - 34 = -0*i, z = 3*d + 3*i. Is 6 a factor of d?
True
Suppose -2*i + 115 = 5*w + i, -2*i + 10 = 0. Suppose w = 5*v - 0. Let y(h) = h**2 - 2*h - 4. Is y(v) a multiple of 3?
False
Let r(s) = -s**2 + 20*s + 7. Does 23 divide r(14)?
False
Suppose 7 = w + 5*c + 22, 0 = 3*w + 2*c + 6. Suppose -11*x + 7*x = 0. Suppose w = -x*v - v + 5. Is 2 a factor of v?
False
Let u be 6*(-6)/(-9) - 0. Suppose -19 + 3 = -m - z, -32 = -u*m + 4*z. Does 8 divide m?
False
Let l = -31 - -52. Let d be (l/(-5))/(5/(-25)). Let t = d - -3. Is t a multiple of 8?
True
Let i = 67 + -43. Is 12 a factor of i?
True
Let p = -12 + 66. Is p a multiple of 12?
False
Suppose -4*w + 4*d - 272 = 0, 3*w + 0 + 210 = -3*d. Suppose -4*x = -8, 2*o = 6*o + x + 194. Let c = o - w. Is 10 a factor of c?
True
Let g(m) = -m**2 - 14*m - 3. Let y be g(-9). Suppose -x = -4*x - u + y, 2*u = x - 7. Is x a multiple of 13?
True
Let l(f) = f**3 + 8*f**2 - 5*f - 12. Let s = 6 - 14. Does