False
Let g = -7 + 15. Let q = g - 1. Let x = q - -4. Is x a multiple of 11?
True
Let i be (-114)/42 + (-4)/14. Let h = i + 1. Is 12 a factor of (2/5)/(h/(-180))?
True
Suppose 0 = -o + 5*g + 29, 5*g + 16 + 1 = -2*o. Is 13 a factor of o/12 - (-358)/6?
False
Suppose -240 = -3*v - 3*v. Is v a multiple of 8?
True
Is 31 - (1 + (-3 - -1)) a multiple of 8?
True
Let c(z) = 3*z**2 - 12*z + 7. Does 33 divide c(9)?
False
Suppose 5*v - 263 + 38 = 0. Is 15 a factor of v?
True
Suppose j + 8 = 3*x, 0 = -5*x + x - 2*j + 14. Suppose -m - x*m + 28 = 0. Does 7 divide m?
True
Let v = -12 - -15. Suppose -v = 4*m - 71. Is 4 a factor of m?
False
Suppose 2*a + 0 = -4. Does 16 divide -1 + 46/2 - a?
False
Suppose -50 = -15*j + 14*j. Does 25 divide j?
True
Let n(w) = w**3 + 12*w**2 - 4*w + 11. Does 26 divide n(-12)?
False
Let a(h) = -3*h**3 + h**2 - 3*h - 2. Suppose 3*f + 3 = -3*r, r + 3 + 3 = 4*f. Is a(r) a multiple of 8?
True
Let q = -19 - -81. Is q a multiple of 24?
False
Let v be (2 - 0)/(-1)*-1. Suppose -v*x = -6*x + 8. Suppose -k - 2*c = -4*c - 3, -x*k = 5*c - 15. Does 5 divide k?
True
Suppose -j = -3*j + 3*x + 102, -j - 4*x = -40. Does 24 divide j?
True
Let c be (-2)/(-3) - 4/(-12). Suppose -b - 4*l + c + 3 = 0, -b + 16 = l. Is 13 a factor of b?
False
Suppose 4*z + 72 = 8*z. Does 6 divide z?
True
Is 4 a factor of 4/(-7) + (-60)/(-7)?
True
Let v = -73 - -121. Let b = -7 - -7. Suppose b*n - n = -v. Does 17 divide n?
False
Let l(o) be the third derivative of o**6/360 + o**5/30 + o**4/4 + o**3/3 - 2*o**2. Let q(i) be the first derivative of l(i). Does 3 divide q(-4)?
True
Let f(n) = -n**3 - 6*n**2 + n + 20. Is 14 a factor of f(-8)?
True
Let o(t) = 2*t**3 - 4*t**2 - 2*t - 6. Let y(x) = x**3 - 2*x**2 - x - 3. Let f(n) = -3*o(n) + 5*y(n). Does 15 divide f(-3)?
True
Suppose -14 = 4*v - 190. Is 22 a factor of v?
True
Suppose -d = -4*u - 91 + 28, -2*d + 5*u = -117. Is 17 a factor of d?
True
Let h = 107 + 25. Does 30 divide h?
False
Let s = -8 - -16. Let u be (-2 - 2/(-4))*-10. Let t = s + u. Is 12 a factor of t?
False
Is 16/(-1 - (-8)/4) a multiple of 9?
False
Suppose 1 = -3*q + 43. Does 2 divide q?
True
Let o be 4/(-2) + 3 - -2. Suppose 3*y + o*m = -2*m - 118, -3*y - 3*m - 120 = 0. Let i = 88 + y. Is i a multiple of 18?
False
Let m = -10 + 99. Is m a multiple of 54?
False
Let x = 176 + -122. Suppose -f - x = -4*f. Does 18 divide f?
True
Let t(i) = -3*i + 3. Let r be t(2). Does 12 divide 16/r*9/(-2)?
True
Let c = 261 - 185. Does 15 divide c?
False
Let g = 1 - -2. Suppose -g*q + 51 = -21. Does 24 divide q?
True
Suppose 0 = -4*m - 5*x + 1337 + 376, -2*x = 5*m - 2120. Does 52 divide m?
False
Let l = 55 - 39. Let x = l - 5. Is x a multiple of 5?
False
Let g(z) = 3*z**2 + 15. Does 18 divide g(-7)?
True
Let x = -37 + 52. Suppose -x = 5*s - 0, -126 = -4*a + 2*s. Is 14 a factor of a?
False
Is ((-258)/5)/((-12)/30) a multiple of 43?
True
Suppose -3*b + 1370 = 7*b. Is b a multiple of 38?
False
Suppose -2*l - 2 = -8. Suppose 0*f - 12 = -l*f. Is 13 a factor of 163/5 - f/(-10)?
False
Let l(y) = y**3 - 8*y**2 - 9*y + 12. Let c be l(9). Is 2 a factor of (c - 0)/(2*1)?
True
Let y(v) = -v**3 + 6*v**2 + 9*v - 7. Suppose 3*q - 21 = -0. Is 3 a factor of y(q)?
False
Let y = 48 + -19. Does 7 divide y?
False
Does 56 divide ((-60)/18)/5 - (-1012)/6?
True
Let q(d) be the second derivative of d**5/20 + 7*d**4/12 + 4*d**3/3 + 3*d**2/2 - 2*d. Let f be q(-5). Let x = f + -9. Is x even?
True
Let a(t) = t**3 + 10*t**2 + 7*t - 5. Is 12 a factor of a(-8)?
False
Let b be ((-80)/6)/(5/(-30)). Suppose -3*q - 2*q = -b. Is q a multiple of 6?
False
Let y(z) = z**2 - z + 2. Let t(r) = -3*r**2 + r - 4. Let a(s) = 2*t(s) + 5*y(s). Let v(d) = -d + 1. Let w(j) = -a(j) - 2*v(j). Does 10 divide w(-7)?
True
Suppose -240 = -17*u + 14*u. Is u a multiple of 11?
False
Suppose -2*z + 4 = -2*r - 2*r, 5*z + 4 = 3*r. Let g be (-27)/z*16/6. Suppose -g = 4*y - 148. Is 14 a factor of y?
True
Suppose -2*k = -0*k - 3*d + 12, -5*d + 10 = 0. Is k/(-9) + 85/15 even?
True
Let j be (2 - 4) + (-3 - -1). Suppose -5*a + 0*p = -4*p + 43, 19 = -2*a + p. Let f = j - a. Is 7 a factor of f?
True
Let w(r) = 30*r - 6. Let q be w(4). Suppose k = b - 72, -4*b = -5*k - q - 177. Suppose 3*t - b = 39. Is t a multiple of 15?
False
Suppose -5*g = -4*x + 60, -4*x - 2*g + 20 = -12. Is 16 a factor of 4/x - 390/(-25)?
True
Suppose 2*x + 3*x - 25 = 0. Suppose -5*k - 85 = -x*t - 0*k, 2*t - 5*k = 49. Is t a multiple of 6?
True
Let w(r) = -8*r**3 + 5*r + 4. Let x be w(-3). Suppose -6*a + x = -a. Is a a multiple of 15?
False
Let s(g) = -15*g - 4. Let y be s(-2). Suppose k - y = 4. Is 14 a factor of k?
False
Suppose 3*l - 3*k = 78, 76 = 4*l - 2*k + 5*k. Let d = l + -16. Is 2 a factor of d?
True
Let t = -26 - -49. Is t a multiple of 3?
False
Let p(x) = -x + 95. Is p(0) a multiple of 15?
False
Let j(n) = 33*n - 63. Is 28 a factor of j(7)?
True
Let i = -2 - -10. Let j = 3 + i. Does 11 divide j?
True
Is 60/(2 - -2) + 3 a multiple of 12?
False
Suppose -18 = -0*z - 3*z. Is z a multiple of 3?
True
Let v be (-1)/(0 - -1)*-5. Suppose 0 = v*p - 6 - 4. Suppose p*k = -0*k + 30. Is k a multiple of 14?
False
Let s = 41 + -72. Let i be -2*((-47)/2 + -1). Let l = i + s. Is l a multiple of 9?
True
Suppose -o + 2*o = 30. Let b = -18 + o. Is 3 a factor of b?
True
Suppose 3*s - 10*s = -672. Does 8 divide s?
True
Let m(h) = 2*h**3 + 18*h**2 - 7*h + 21. Is 12 a factor of m(-9)?
True
Let n be (5/4)/(1/4). Suppose -4*c + 4 = -2*c, -n*c = -t + 23. Does 9 divide t?
False
Suppose -4*c + 808 = 3*t, 4*t = -c - c + 394. Is 32 a factor of c?
False
Let o be (-51)/(-15) - (-2)/(-5). Suppose o*g = -g + 16. Is g even?
True
Let h(v) = -v**3 - 10*v**2 - 11*v - 6. Let k be h(-9). Suppose -3*g = -2*s - k, -3*g + 8 = 4*s - 4. Does 15 divide s - 1 - 29*-1?
False
Let z = 0 + -2. Let b be (4/z - 1)*-1. Suppose r + 3*r - 16 = -4*t, -3 = b*t. Is r even?
False
Let a(f) = 3*f**2 - 2*f - 1. Let h be 12/(-8)*(-4)/(-6). Is a(h) a multiple of 2?
True
Suppose -y + z + 45 = 0, 6*y - 2*y - 180 = 3*z. Let l = y - 31. Is 14 a factor of l?
True
Suppose 4*f + 1 = -5*j - 7, 3*j - 8 = 4*f. Let n(l) = 10*l + 1. Let p(t) = -9*t - 2. Let i(o) = f*n(o) - 3*p(o). Is 15 a factor of i(6)?
False
Let k = -270 - -382. Suppose 5*d + 4*c - 5*c = 103, 4*c = 5*d - k. Does 6 divide d?
False
Let b(h) = -h**3 + 4*h**2 - 2*h + 2. Let v be b(2). Is 6 a factor of (-45)/v*(-16)/6?
False
Let w(f) = f + 1. Let j(q) = q**2 + 6*q - 6. Let k be j(-6). Let g be w(k). Is (-1 - -13)*g/(-4) a multiple of 8?
False
Let z be ((-18)/(-5))/(16/40). Let l = z + 5. Is l a multiple of 7?
True
Let k be (-3 - -2 - 0) + 4. Let r be (-134)/(-3)*k/2. Let d = r - 40. Is d a multiple of 12?
False
Suppose 2*l = -2, 3*f + l - 2*l - 94 = 0. Is f a multiple of 17?
False
Suppose 4*b = -87 + 23. Let s be (27/(-12))/(2/b). Suppose 0 = 5*r - 103 + s. Does 14 divide r?
False
Does 16 divide 578/9 + (-4)/18?
True
Let c(n) = n**3 - 5*n**2 + 4*n - 4. Let y be c(4). Does 32 divide -27*(y/(-6) + -2)?
False
Suppose 3*c - 50 = 52. Is 8 a factor of c?
False
Let v = 36 - 53. Let o = -8 - v. Is o a multiple of 9?
True
Suppose -5*p - p = -384. Is p a multiple of 6?
False
Let g = 5 + 0. Suppose 0 = j - 22 + g. Suppose 0 = -l + j - 4. Does 13 divide l?
True
Let y(r) = 6*r**3 + r**2 - 1. Let i be y(1). Suppose -2*d + 27 = -m, 4*d + 12 = i*d - 4*m. Is 6 a factor of d?
False
Let s be (-4)/10 - (-8)/20. Let v(a) = a**2 + a + 1. Let r be v(-3). Let t = s + r. Is t a multiple of 7?
True
Suppose -y - 3 + 4 = 0. Let b = y + 2. Is b a multiple of 3?
True
Let g = 41 - -1. Is g a multiple of 14?
True
Suppose -r - 70 = r. Let k = 53 + r. Does 18 divide k?
True
Let w = 13 + -8. Suppose 3*b - 31 = b + w*i, 0 = 3*b - i - 66. Is 15 a factor of (b - 2) + -1 + -2?
False
Let y(v) = 6*v**2 - 3*v - 3. Suppose 0 = 2*u - 7*u + 60. Suppose 0 = 4*w - 0*w + 5*j + u, 4*w - 3*j + 12 = 0. Is 21 a factor of y(w)?
False
Let b be 100*((-28)/(-8))/(-7). Let c = 124 + b. Is 21 a factor of c?
False
Suppose v - 120 = -4*v. Does 3 divide v?
True
Let d be (-236)/(-20) - 2/(-10). Let l = d + 36. Does 15 divide l?
False
Let o = 5 + -5. Suppose 0 = -5*i - o*i + 90. Does 9 divide i?
True
Let m = 210 + -124. Is m a multiple of 15?
False
Let j = 168 - 80. Suppose 0 = -3*x - 12, 3*z = -z - x + j. Is z a multiple of 23?
True
Sup