3*v - 9. Let g(u) = u**2 + 5*u - 5. Let o be g(-7). Suppose 0 = -o*f + 4*f - 70. Does 11 divide c(f)?
True
Let h be ((-2)/4)/(1/(-30)). Let x be 3 + (3/(-1) - -1). Let n = h - x. Is n a multiple of 3?
False
Let q = -565 + 939. Suppose 4*y = q + 102. Is 34 a factor of y?
False
Let z(f) = f**2 - f - 1. Let k = -7 + 6. Let s(l) = -l**3 - 8*l**2 - l + 1. Let d(v) = k*z(v) - s(v). Is 8 a factor of d(-6)?
True
Let q = 60 + -75. Let l(o) = o**3 + 16*o**2 + 15*o + 8. Does 8 divide l(q)?
True
Suppose 20 = 5*c - 2*k, -5*k - 13 - 3 = -4*c. Let a(s) = -s**3 + 6*s**2 - 5*s - 1. Let x be a(c). Suppose -x - 3 = -w. Is 3 a factor of w?
False
Suppose 13*h = -3*h. Let t(g) = g**3 - 2*g**2 + 3*g + 65. Is t(h) a multiple of 36?
False
Let v(f) = -f**2 - 8*f + 11. Let y be v(-9). Suppose -3*b - 102 = -y*q, 5*b = -q + 4*q - 151. Let p = q - 18. Is p a multiple of 13?
True
Suppose r + 0*r = 58. Suppose -107 = 4*j + k, 3*k + 2*k - 5 = 0. Let s = r - j. Is 17 a factor of s?
True
Suppose -2*m + 5*i + 2284 + 1873 = 0, 0 = -5*m - 2*i + 10349. Is 19 a factor of m?
True
Suppose 26*y = 55*y - 36540. Is 45 a factor of y?
True
Let o(r) = 21*r**2 - 3*r - 6. Let g(d) = d**3 + 7*d**2 + 10*d - 2. Let f be g(-5). Does 31 divide o(f)?
False
Suppose -7*q - 4*g = -6*q - 4852, 3*g = q - 4824. Does 12 divide q?
True
Let n(c) = -5 - 241*c - 4 + 230*c - c**2. Suppose -3*v - 29 = -2. Does 3 divide n(v)?
True
Let v(u) = -7*u**3 - 15*u**2 + 14*u + 3. Does 17 divide v(-8)?
False
Let g(k) = k**2 + 6*k + 8. Let n be g(-4). Does 10 divide (-97)/1*(n - 1)?
False
Suppose 4*d = 5*d - 801. Suppose 0 = 3*b + 4*w - 304, -5*b - 5*w + d = 296. Is 19 a factor of b?
False
Let u be (-56)/12*(-12)/8. Suppose 0 = 9*o - u*o - 20. Is 4 a factor of o?
False
Suppose -b + 5*a = a + 4, 2*b - 4*a = 0. Suppose -2*h + 2*r = -3*h - b, 0 = 4*h + r - 12. Suppose -2*g + 109 = 2*p + 33, -g = -h*p + 127. Is p a multiple of 11?
True
Let m be 2*4/(-8) - 165. Let t = 382 + m. Is t a multiple of 31?
False
Suppose 3*k = 2*u + u - 24, 5*k + 44 = 4*u. Let i be (-4)/10 + k/(-5). Suppose -p = -i*v + 42 - 9, 0 = -5*v + 4*p + 84. Is v a multiple of 16?
True
Let d be (-328)/(-10) + (-4)/(-20). Suppose -j + 3 = -d. Is 18 a factor of j?
True
Suppose -3*h - 1 + 4 = 0. Does 8 divide 0 + -31*(0 - h)?
False
Suppose 2*l - 36 = -x, 0*x + 3*x = -2*l + 36. Let p = l + -9. Let t(g) = 3*g + 17. Is 23 a factor of t(p)?
False
Suppose -t = -3*t. Suppose 4*w + t*z = -4*z + 4, -2*z = -5*w + 33. Suppose w*k - 3*f = -6*f + 105, -2*k - f + 42 = 0. Is 21 a factor of k?
True
Let c(r) = r + 11. Let i be c(-12). Let w(l) = 156*l**2 + 3*l + 3. Is w(i) a multiple of 13?
True
Let q = 1276 - 868. Is 4 a factor of q?
True
Suppose -10*r = -160 - 380. Is r a multiple of 6?
True
Suppose 2*c - 3*m + 5964 = 6*c, 3*m = 5*c - 7428. Is c a multiple of 62?
True
Let c be ((-36)/(-21))/((-12)/42). Let b = -39 - 9. Let u = c - b. Is u a multiple of 11?
False
Suppose 0 = h - 35*h + 17272. Is 24 a factor of h?
False
Let r be (-3 - (-4)/2) + -16. Let v = -17 - r. Suppose 3*f + 3*x - 105 = v, 0 = f - 3*x - 25 - 14. Is 12 a factor of f?
True
Suppose -27*d = -9454 - 22433. Is 14 a factor of d?
False
Is 26 a factor of ((-194)/(-14) + 1)/(196/8918)?
True
Suppose 77 = -3*p + d, -3*d = -3*p - p - 111. Let j = -6 - p. Is j a multiple of 4?
False
Suppose -4*x = -4*u + 4, -5*x + 2*u + 0*u = -10. Does 11 divide (-7 + 1 - 2)/(x/(-66))?
True
Let p = 4 - 2. Let m(y) = 17*y**3 + 18*y**3 - 6*y**3 + 6*y**3 + y**p. Is 18 a factor of m(1)?
True
Let i(a) = 2*a - 8. Let b be i(7). Suppose b*h = 11*h - 375. Does 35 divide h?
False
Let b(m) be the second derivative of m**5/20 + m**4 + 5*m**3/3 + 2*m**2 - m. Suppose -4*h - 2*d - 24 = 26, -3*h + 2*d - 27 = 0. Is 7 a factor of b(h)?
False
Let b be (3 + -48 + 2)/(-1). Suppose -b = -t - 7. Is 27 a factor of t/10*(-125)/(-10)?
False
Suppose 24 = 3*n + n. Let c be 16/3*9/n. Let l = 14 + c. Does 10 divide l?
False
Suppose 2*m - 2 + 14 = 2*p, 3*p + 3*m - 6 = 0. Let h = p + 68. Is h a multiple of 12?
True
Suppose 7*m = -3*m - 1370. Let s = 193 + m. Is 11 a factor of s?
False
Suppose 0 = -106*x + 116*x - 5760. Is 12 a factor of x?
True
Suppose -6 = -3*n, -45*t + 5096 = -43*t - 4*n. Does 44 divide t?
True
Let l be 6/(-11 + -1) - 23/(-2). Is 17 a factor of (-180)/(-27)*(l + 6/(-3))?
False
Suppose 2 = 3*j - a - 16, -25 = -2*j + 5*a. Suppose -8 = j*p + 2. Let h(o) = -2*o**3 - 4*o**2 - o + 2. Does 4 divide h(p)?
True
Let f(n) = 5*n - 6*n + 11 - 4*n + 6*n. Is f(4) a multiple of 3?
True
Is 26 a factor of (155687/(-14))/(-23)*4?
False
Suppose 0 = m + 3*m - 48. Let p = m + 24. Suppose -3*k - 32 = -5*b, 3*b = -2*b + 4*k + p. Does 2 divide b?
True
Is (-87)/((-77)/(-16) + -5) a multiple of 58?
True
Suppose -2*v + 4*v = 8. Suppose 1322 = 5*a + 3*y, 5*a - 3*y + 636 = 1934. Suppose h + a = v*h + 2*j, -h = -3*j - 69. Is h a multiple of 28?
True
Suppose -9*w - 38 = -11*w. Is 19 a factor of w?
True
Let g = 444 + 23. Suppose g = -16*j + 2931. Is 30 a factor of j?
False
Let m(r) = 5*r**2 - 3*r. Let x be m(3). Suppose 4*y - 7*y = -x. Is 6 a factor of y?
True
Let v = -67 + 154. Does 38 divide v?
False
Let n = 325 - 201. Let u = n + 40. Does 9 divide u?
False
Let h(x) be the third derivative of x**5/60 + 7*x**4/24 + 2*x**3 + 12*x**2. Is 12 a factor of h(-7)?
True
Let k be (-33)/(-12) + (-3)/(-12). Suppose 9 = k*t + 3. Is ((-1)/(-2) - t)*-6 a multiple of 5?
False
Let q = 334 - 256. Is 3 a factor of q?
True
Let f(n) = -135*n + 33. Let b be f(-9). Suppose 0 = 9*l - b - 642. Is l a multiple of 35?
True
Let p = -15 + 31. Let w be (-14 - 0)*(10 - 9). Let b = p - w. Is 8 a factor of b?
False
Let v(a) = 2*a**2 + 4 - 5 + 4 - 3*a. Is v(-6) a multiple of 31?
True
Let f(w) = w**2 + 8*w - 8. Let j be f(-7). Let n = j - -19. Suppose 30 + 50 = n*i. Is i a multiple of 5?
True
Suppose 3*n - 71 = -4*d, 1 = n - 2*d - 16. Suppose 0*w - 4*w - 13 = k, -3*k = w - 5. Is (-76)/k*n/(-14) a multiple of 19?
True
Let c be ((-3)/(-6))/((-2)/(-8)). Suppose -c*x = x - 240. Suppose -x + 26 = -3*z. Is 6 a factor of z?
True
Suppose -7*u + 4*u + 38 = -5*g, -27 = -2*u + 3*g. Suppose -3*i = -171 + u. Is 7 a factor of i?
False
Suppose -4 = -3*n + 2. Let k(u) = u**3 + 27*u**2 - 28*u. Let y be k(-28). Suppose -n*g = 3*i - 132, y*i + 88 = 2*i + 3*g. Is 11 a factor of i?
True
Suppose -13*g + 2548 = -9*g. Suppose c = -0*c + g. Suppose -205 = 4*h - c. Is 27 a factor of h?
True
Let i be -6 + 3 - (-3 - -109). Let d = -7 - i. Is d a multiple of 34?
True
Suppose 3 = -4*u - 1. Let z be (0*(-2)/4)/u. Suppose -f + 23 + 1 = -5*k, -f - 3*k + 8 = z. Does 8 divide f?
False
Let h(o) = 44*o - 304. Does 4 divide h(10)?
True
Let z(c) = -c + 5. Let i be z(19). Is (-1 - i/(-1))/(4/(-16)) a multiple of 30?
True
Suppose -11*g + 3948 = g. Does 47 divide g?
True
Let y be 12/7*(-70)/(-4). Let m = y + 49. Is m a multiple of 10?
False
Let t(s) = -2*s**3 - 25*s**2 + 15*s - 9. Let y be t(-14). Suppose 4*v - y + 113 = 0. Does 14 divide v?
False
Let b = 418 - 334. Does 4 divide b?
True
Suppose -l + 2*f - 288 = 0, l + f + 258 = -18. Does 40 divide l*(-3*(-20)/(-12) - -4)?
True
Let m be ((-68)/(-2))/(-9 - -11). Does 15 divide 1*3 - (-10 - m)?
True
Suppose 8*g = 3*g + 570. Is g a multiple of 38?
True
Let s(y) = y + 1. Let a(n) = 2*n + 3. Let w(f) = -2*a(f) + 5*s(f). Let h be w(-8). Let u(b) = -3*b + 3. Is 7 a factor of u(h)?
False
Let s = 311 - 183. Is s a multiple of 32?
True
Suppose 0 = -5*p + 2*p + 264. Suppose 4*u - 4*d = d, -4*d = 0. Suppose u = -0*y + 2*y - p. Is y a multiple of 11?
True
Let y = -79 - -40. Let q be (-1866)/(-39) - 6/y. Suppose 6*j = 8*j - q. Does 9 divide j?
False
Suppose -3*h + 331 + 821 = 0. Does 34 divide h?
False
Is 21/(441/(-1288))*(-57)/4 a multiple of 46?
True
Suppose 8*f - 4*f = -16. Let k = f - -43. Suppose 51 + k = 3*m. Is m a multiple of 15?
True
Suppose 1 = 3*a - 8. Suppose c - a*f - 4 = -f, -2*c = -3*f - 6. Suppose c = -4*q, -3*q = 2*k - 4*q - 12. Is k a multiple of 2?
True
Let d = 287 + -221. Is d a multiple of 33?
True
Let f(s) = -4*s**2 - 31*s + 19. Let i(m) = 2*m**2 + 15*m - 10. Let y(w) = 2*f(w) + 5*i(w). Is 3 a factor of y(-9)?
True
Let s = 107 - 69. Suppose -3*g + 2*n + 23 = n, s = 4*g - 5*n. Suppose 0 = -f + 5*v + 41, 5*f - 3*f + 5*v - g = 0. Is f a multiple of 4?
True
Suppose -3*a + a + 8 = 0. Suppose 27 = a*