 = -166 - -187. Is 3 a factor of c?
True
Let u(n) = n + 10. Let o be u(-7). Let b(k) = -o*k + 4 - 4 + 2*k + 10. Does 4 divide b(6)?
True
Suppose 38 = 2*r + 14. Suppose -h + r = -6. Is 6 a factor of h?
True
Let b(r) = 121*r**2 - r. Is b(1) a multiple of 30?
True
Let n(y) = 6*y**2 - y - 1. Let f be n(-1). Suppose 2*h + 3 = 5*g + 1, 4*g = 3*h + 3. Let u = f + h. Does 5 divide u?
True
Let p(l) = 4*l**2 + l + 1. Let h be 0 + -1*2/2. Let v be p(h). Is (-12)/(-9)*54/v a multiple of 9?
True
Suppose 3*c - c - 8 = 0. Suppose -c*y - 48 = -184. Is y a multiple of 17?
True
Suppose -16 = 2*u - 20. Is u a multiple of 2?
True
Suppose -4*b + z + 18 = -15, 3*z - 13 = -2*b. Suppose 5 = 5*v - 0*v. Is v/(-2) + 100/b a multiple of 6?
True
Let l(m) = 20*m**3 + 2*m + 1. Let u be l(-1). Let z = u - 3. Does 7 divide (z + 5)/(2/(-2))?
False
Let n = -13 - -7. Let g be (-63)/14*(-16)/n. Is 2 a factor of (2/6)/((-1)/g)?
True
Let h(u) = -u**3 + u**2 + u. Let j(l) = 5*l**3 - 4*l**2 - 3*l - 2. Let w(z) = -4*h(z) - j(z). Let q be w(0). Is 1/((q - 0)/66) a multiple of 15?
False
Suppose 2*a = 3*v - 800, 5*a + 666 = 2*v + 118. Is v a multiple of 44?
True
Let n = 54 + -31. Let g = n - 17. Is g a multiple of 3?
True
Suppose 2 + 3 = n. Let g = n - 0. Does 2 divide g?
False
Suppose -r + 5*h + 24 = 0, 0*r = -3*r - 3*h + 126. Is r a multiple of 20?
False
Suppose 2*o + 2 = 3*o. Let j be (o/3)/((-6)/(-27)). Let r(y) = 4*y - 4. Does 4 divide r(j)?
True
Let i = -71 + 99. Is 14 a factor of i?
True
Does 23 divide (-1)/(5/(-280)) - (0 - 2)?
False
Is (-1 - -5)*(-3 - 1075/(-20)) a multiple of 29?
True
Let y = -25 - -43. Is y a multiple of 6?
True
Let s(k) be the second derivative of k**6/180 + k**5/30 + k**4/8 - k**3/3 - 2*k. Let n(f) be the second derivative of s(f). Is n(-2) a multiple of 3?
True
Let k = 2 + 4. Suppose 3*t - i = 76, 114 = k*t - 2*t + 5*i. Does 13 divide t?
True
Suppose d - 2*d + 2 = 0. Is (21/(-9) + d)*-111 a multiple of 19?
False
Suppose 2*i + 0*i = -8, -3*s - i = -338. Is 38 a factor of s?
True
Let g(l) = 2*l**2 + 21*l - 9. Is g(-15) a multiple of 9?
True
Let t(h) = -h**3 + 9*h**2 - 9*h + 8. Let l be t(8). Suppose 3*i - 78 = -3*n, l = 2*i + 5*n - 27 - 19. Is i a multiple of 14?
True
Let w = -36 + 53. Suppose w*b - 21*b = -52. Does 13 divide b?
True
Suppose 5 = -2*p - 3. Let j(h) = -h**2 - 5*h + 3. Is 3 a factor of j(p)?
False
Let o(s) = s**2 - 14*s + 22. Does 8 divide o(18)?
False
Let t be (-2)/(-1 + (-12)/(-10)). Let f = t - -27. Is f a multiple of 17?
True
Let b(a) = 4*a**2 + 12*a + 5. Let i(z) = -3*z**2 - 11*z - 6. Let c(d) = -4*b(d) - 5*i(d). Does 2 divide c(8)?
True
Let y(k) = -k**2. Let x(a) = 3*a**2 + 9*a + 4. Let l(z) = x(z) + 4*y(z). Is 9 a factor of l(7)?
True
Let w be (-1)/1*(-4)/(-2). Let b(s) = -s - 7. Let g(r) = -6*r - 36. Let m(t) = w*g(t) + 11*b(t). Is 2 a factor of m(8)?
False
Suppose -16 = -5*v + v. Suppose 60 = 2*k - v*g, -g = 4*k + 3*g - 108. Is 10 a factor of k?
False
Let x be (-1 - -2)*(-3 + 7). Suppose 5*j + 0 = 5*l - 105, 2*j - 60 = -x*l. Suppose 5*o - l = 28. Is 9 a factor of o?
True
Let s = 51 + 48. Is 11 a factor of s?
True
Let k(z) = z**3 + 18*z**2 + 25*z + 12. Is k(-14) a multiple of 25?
False
Suppose 0 = -3*r + 142 - 28. Let g = 77 - r. Does 12 divide g?
False
Suppose s + 4*s - 4*m = 814, -5*s - m = -809. Does 27 divide s?
True
Let g be 1/(-2)*(-10)/1. Suppose -s - g*v = 2*s - 25, 0 = -2*s - v + 26. Is 15 a factor of s?
True
Let g(o) be the second derivative of -o**5/20 - o**3/3 - o**2/2 + o. Let k be g(-1). Suppose 4*w = -3*y + 54, k*w = -0*w. Is y a multiple of 8?
False
Let v = -15 - -23. Let x be 8/(-5 - -3) + 4. Let t = v + x. Does 4 divide t?
True
Suppose 24 + 140 = 4*o. Let r = o + -17. Suppose -5*l = -l - r. Is l a multiple of 3?
True
Suppose -3*y = -4*s, -4*s + 0*s = -12. Suppose 80 = -y*f + 9*f. Is 8 a factor of f?
True
Suppose 0*o + 4*o = -u + 15, -5*o = -3*u - 40. Let n(d) = -74*d + 2. Let j be n(u). Is 4 a factor of j/30 + 2/(-5)?
True
Suppose 0 = -4*z - 26 + 78. Suppose 0 = 3*h - 2 - z. Is 4 a factor of h?
False
Suppose -4*f - f = 2*q - 554, f - q - 115 = 0. Is 27 a factor of f?
False
Is 40 a factor of (1/(1/4))/(3/180)?
True
Suppose 0 = -0*r + 3*r - 75. Suppose -5*w = r, 5*y - 70 = y + 2*w. Is y a multiple of 6?
False
Let o(b) = 2*b + 1. Let d be o(1). Let p = d + -7. Does 20 divide (-132)/p + 2*-1?
False
Let t(i) = i**2 - 10*i + 5. Let n be t(4). Let g = -6 - n. Suppose -j - 1 = -g. Does 6 divide j?
True
Is (-1 - -19)*96/18 a multiple of 16?
True
Suppose -160 = -4*t + 196. Is t a multiple of 6?
False
Let m(h) be the second derivative of 2*h**3/3 - 13*h**2/2 + 5*h. Is 21 a factor of m(10)?
False
Let p(s) = s**3 - 3*s**2 - 4*s - 7. Let i be p(5). Let j = 31 + i. Does 18 divide j?
True
Suppose 42 = -x + 3*x. Let v = x - 7. Is 14 a factor of v?
True
Let c be 0/(3*4/(-6)). Suppose c = -5*x + 36 + 24. Is x a multiple of 3?
True
Suppose -13*w = -9*w - 944. Is 31 a factor of w?
False
Suppose 0 = 4*i - 7 - 5. Suppose -4*c = 4*q + 36, -5*q + i*c + c = 0. Let f(h) = 3*h**2 + 2*h + 4. Does 12 divide f(q)?
False
Suppose 3*b - 85 = 2. Is 29 a factor of b?
True
Let l be (-16)/(-6) + 10/(-15). Let h(b) = 2*b**2 - 3*b. Let u be h(l). Suppose 5*p - u*p - 42 = 0. Does 7 divide p?
True
Let j(k) = -4 + 2*k - 3 + 48*k. Does 27 divide j(2)?
False
Let s = -1 + 11. Let i(r) = 2 - s*r - 4 + 3 + r**2 + 9. Is i(10) a multiple of 5?
True
Let v = 6 - 4. Suppose 2*a + v*a = -64. Does 3 divide 1/(-5) + a/(-5)?
True
Let n(i) = i**2 + 2*i - 14. Is n(-6) a multiple of 5?
True
Let h(y) = -8*y**3 - 2*y**2 - 2. Is h(-2) a multiple of 27?
True
Suppose 5*b - 356 = 219. Is b a multiple of 23?
True
Is 30 + (-12)/(-9)*12/(-8) a multiple of 7?
True
Is 11 a factor of ((-82)/4)/(2/(-4))?
False
Let c = 13 + -20. Is -1*2*(c - 4) a multiple of 11?
True
Suppose -55 = -2*d + 75. Does 13 divide d?
True
Let f(j) = -j**2 + 10*j + 7. Let o(q) = q**2 - 3*q - 1. Let w be o(5). Does 8 divide f(w)?
True
Let s be -2 + 3 - (0 - 0). Let w = 7 - s. Suppose 3*g - 9 = 0, w*g = 3*i + 3*g. Is 3 a factor of i?
True
Let f = 22 - -16. Suppose 56 = 4*j - 36. Let u = f - j. Is u a multiple of 6?
False
Suppose 16 = -2*w + w. Is 10 a factor of 4/3*(-216)/w?
False
Suppose 0 = 2*k + k - 384. Let p = 76 - k. Let a = p + 81. Is a a multiple of 12?
False
Suppose -4*k - 3*a + 12 = 0, 2*k - 4*k + 5*a + 6 = 0. Suppose k*q + 32 = 122. Let z = q + -12. Is 15 a factor of z?
False
Suppose 4*k + 40 = 272. Let i = -29 + k. Is 8 a factor of i?
False
Is 18 a factor of (26/3)/((-4)/(-12))?
False
Is (-3)/4*-24*(-3)/(-3) a multiple of 3?
True
Let d(g) = -45*g - 39. Is d(-3) a multiple of 8?
True
Suppose -n = -0*n + 9. Let v(b) = -4*b - 1. Let g be v(-6). Let y = g + n. Is 7 a factor of y?
True
Let m be (-18)/22 - 2/11. Let w = 4 + m. Suppose w*q = -q + 88. Is q a multiple of 9?
False
Let f = -12 - -32. Suppose -5*z - f = 0, 3*p - z = z + 80. Is p a multiple of 8?
True
Let s = 123 + -234. Does 14 divide (-15)/20 + s/(-4)?
False
Let z = -37 + -12. Let g = 17 - z. Is g a multiple of 17?
False
Let w = -30 - -16. Suppose 33 = z + d, 4*z = d + 122 - 15. Let a = w + z. Is 7 a factor of a?
True
Let q be (-2)/(-3*(-1)/72). Does 13 divide (16/24)/((-1)/q)?
False
Suppose -w - 12 = -4*w, 4*n + 16 = -2*w. Let i be (-2 - -1)/((-1)/n). Is 40/6*(-9)/i a multiple of 5?
True
Let d = -43 - -54. Does 2 divide d?
False
Suppose 3*w + 55 = v, -25 = w + 4*v - 3*v. Let p = w - -32. Does 12 divide p?
True
Suppose 19*m = 731 + 257. Does 11 divide m?
False
Suppose 2*o + l - 54 = -0*l, 0 = -4*o - l + 106. Suppose -7*k + 2*k + 15 = 0. Suppose -o = m - k*m. Does 6 divide m?
False
Is 7 a factor of -3 + (-18)/(-8) + 524/16?
False
Suppose -n - 3*p = -20, 4*n - 82 = p + 24. Is 6 a factor of n?
False
Suppose 0 = i - 4*i. Is ((-6)/9 - i)*-39 a multiple of 9?
False
Let d be (-6)/5*(0 - -5). Let m be 4*3*(-2)/d. Suppose 3*u + 128 = m*c, 2*c - 2*u - 78 = 3*u. Is 13 a factor of c?
False
Suppose -4 = 4*o, 2*o = m + 7*o - 85. Let h = -50 + m. Suppose q - h = -q. Is 16 a factor of q?
False
Suppose 2*t - 20 = -2*t. Suppose -t*j + 233 = -2*y, 22 = -5*j + 5*y + 267. Is j a multiple of 9?
True
Let x = -19 + 11. Let h = x + 9. Does 19 divide (-852)/(-15) + h/5?
True
Let y(f) be the first derivative of -f**4/4 + 8*f**3/3 - 5*f**2/2 + 2*f - 2. Let g be y(6). Suppose