f 12?
True
Suppose s - y = -4*s + 9229, 3*s - 5531 = -y. Is 15 a factor of s?
True
Let l be 33/(-22) + (-66)/(-4). Suppose l*g - 11*g = 120. Let s = g + -15. Is s a multiple of 8?
False
Let u(z) be the second derivative of -z**4/12 + 4*z**3/3 + 3*z**2/2 - 5*z. Let n be u(8). Does 34 divide (-53)/(n*1/(-6))?
False
Let i be (-42)/56 - 3/(-4). Suppose i = 11*z - z - 120. Is 4 a factor of z?
True
Let p(n) = 2*n**3 + 31*n**2 - 17*n - 14. Let h be p(-16). Suppose h*z - 199 + 37 = 0. Is z a multiple of 14?
False
Let o(m) = m**3 + 10*m**2 - m - 5. Let a be o(-10). Suppose 5*v + 0*v - 440 = 5*p, -p = a*v - 422. Does 17 divide v?
True
Suppose 4*w = 6*w - 6932. Is 11 a factor of w/12 - (-1)/6?
False
Let b(k) = k**2 + 21*k - 2. Let t be b(-20). Let d = 36 - t. Is 29 a factor of d?
True
Suppose 55*a - 32879 = 65461. Does 12 divide a?
True
Suppose 2*q + 3*q = 10. Suppose -q*r = -4*m - 0*r - 58, 0 = m - r + 14. Let l = m - -26. Is 11 a factor of l?
True
Let a = -8137 - -11513. Does 28 divide a?
False
Suppose 6 = -5*f + 21. Suppose 0 = -7*p + 6*p + 2. Suppose p*h + f*h = 120. Does 24 divide h?
True
Suppose 972 = 4*z + 3*v, -3*z + 5*v = 8*v - 732. Is 20 a factor of z?
True
Let y(w) = w**3 - 38*w**2 + 41*w + 158. Is y(37) a multiple of 19?
False
Let o = -2 - -21. Suppose 0 = o*p - 23*p + 84. Does 4 divide 112/p - 2/(-3)?
False
Suppose -184 = -k + 5*a, a - 211 = -k - 3*a. Let d = k + -81. Is 16 a factor of d?
False
Let v(z) = z**3 - 5*z**2 + 4*z - 2. Let u be v(4). Does 7 divide u/(-5) - 144/(-15)?
False
Let h be 1/((-7 - -2)/(-10)). Suppose h*v = -2*v + 88. Is 12 a factor of v?
False
Let q(n) = 87*n - 33. Is q(4) a multiple of 22?
False
Let f be (-124)/(-2) - 2/1. Suppose -c = -f - 0. Does 7 divide c?
False
Let z(q) = -48*q - 1. Let x be z(-2). Let l = x - 50. Let y = -15 + l. Does 10 divide y?
True
Suppose -45 = -26*g + 21*g. Is g/3 + 1*17 a multiple of 8?
False
Let f(g) = g**3 + 7*g**2 + 4*g + 2. Suppose 8*s = -0*s - 32. Is f(s) a multiple of 7?
False
Suppose 2*b + 2*b + 36 = 5*t, 2*t - b = 12. Suppose -3*a + 159 + 44 = 2*d, t*a - 504 = -5*d. Does 20 divide d?
True
Let y(u) = 27*u - 6. Let w be y(6). Does 25 divide (-3)/(4/(w/(-3)))?
False
Does 36 divide (-2807)/(-6) - (122/(-12) + 10)?
True
Let s(c) = c**2 - 9*c. Let b be s(8). Let n be b + (6 - 2) + 10. Suppose 138 = -3*h + n*h. Does 16 divide h?
False
Let s(i) = -10*i + 24. Let p be s(1). Let q = -7 + 11. Does 3 divide 2/(q/p) - 2?
False
Let w be 1*(4 + -2*1). Let t(n) = 2*n**3 + 1 + 2 - 3*n**2 - 4 + 3*n. Is t(w) a multiple of 9?
True
Let h = 72 - 100. Suppose -7*n - 16 = -3*n. Does 14 divide (h + n + 4)/(-2)?
True
Let q = -2769 - -4913. Does 134 divide q?
True
Suppose 2*c + 190 + 270 = 0. Let z = -128 - c. Suppose a = -0*a + z. Is a a multiple of 34?
True
Suppose -3*z + 3 = 0, -2*w = 3*z - 7*z - 12. Suppose -13*d + 935 = -w*d. Does 17 divide d?
True
Let i(q) = q**3 - 8*q**2 - 10*q - 9. Let x be i(9). Is (-3)/18 + (-507)/x a multiple of 28?
True
Let q(l) = 0*l + 20 - 45 + 3*l. Does 23 divide q(16)?
True
Is (-1 - 2)/(2*1/(-260)) a multiple of 10?
True
Suppose 3*g = -5*g - 1504. Let m = 367 + g. Is m a multiple of 23?
False
Suppose -h + 5*q = -340, h - 6*q = -7*q + 316. Does 40 divide h?
True
Let v(m) = -38*m + 176. Is 8 a factor of v(0)?
True
Suppose -373 = -6*q + 2627. Suppose q = 5*j - i, 0 = 5*j + 2*i - 0*i - 515. Is 9 a factor of j?
False
Let x = 8 + -5. Suppose 4*o + 5*q - 113 = 47, x*o = -2*q + 120. Is 10 a factor of o?
True
Let c(v) = -6*v - 7*v + 1 - 10*v. Let i be c(-1). Suppose 2*s - 4*s + i = 0. Does 4 divide s?
True
Suppose -9 = -4*f + 3*o, -5*f - 2*o - 6 = -0*o. Suppose -q + 4*q - 9 = f, 0 = -2*c - 2*q + 24. Suppose c*d = 13*d - 260. Does 22 divide d?
False
Let i = 5 + 20. Is (-126)/(-5) + (-5)/i a multiple of 5?
True
Suppose -2*y = -555 - 187. Is y a multiple of 15?
False
Suppose -z + 23 = -5*y, 0 = -9*z + 14*z + y - 11. Let k = 4 + -1. Is 21 a factor of k*67/z + -3?
False
Suppose 8*g - 5*g + 3 = 0. Does 7 divide g*4 - (-4 + -76)?
False
Let o(b) = 15*b**2 - 13*b + 3. Does 8 divide o(2)?
False
Is 9/(-24) + ((-2002430)/80)/(-17) a multiple of 11?
False
Let y(d) = 13*d**2 - 7*d - 5. Let n be y(7). Suppose 3*r - 326 = n. Is r a multiple of 52?
False
Suppose -c - 2*f = -6, 12 = 2*c + c + 4*f. Suppose c*z + 12 = 4*z. Suppose 0*w + 60 = z*w. Is 4 a factor of w?
True
Let y = 18 + -13. Suppose y*w - 53 = 3*q - 139, 0 = q - 5*w - 32. Suppose -4*c + 13 = -q. Is c a multiple of 10?
True
Suppose -4*w - 3852 = 9*y - 13*y, -16 = 4*w. Is y a multiple of 44?
False
Let k(v) = 24*v**3 - 3*v**2 - 2*v + 9. Is k(3) a multiple of 52?
True
Let b = -18 + 21. Let q(c) = -c**3 + 7*c**2 - 4*c + 4. Is q(b) a multiple of 5?
False
Let c(s) = -33*s + 18. Does 8 divide c(-3)?
False
Suppose -2*y + 44 = 2*y. Let x = y - 11. Let z(d) = -d + 16. Is 6 a factor of z(x)?
False
Let h(r) = r**2 - r. Let d be h(-3). Suppose 4*g = d*g - 680. Is g a multiple of 17?
True
Let b be ((-40)/3)/((-18)/27). Suppose 0 = 4*z + b, -d + 0*z - 3*z + 33 = 0. Is 8 a factor of d?
True
Let s(z) be the third derivative of -z**6/60 - z**4/12 - z**3/3 + 6*z**2. Suppose 19 = -4*c + 3*m + 2, -16 = 2*c - 4*m. Is s(c) a multiple of 6?
True
Let p be 6/(-4) + (-1710)/(-12). Let v = 248 - p. Is v a multiple of 21?
False
Suppose -5*s + 3*g = -2334, s - 4*g - 1396 = -2*s. Is 26 a factor of s?
True
Suppose -a - 5*o + 418 = -956, 0 = 2*a - o - 2726. Is a a multiple of 6?
False
Let x = 31 + -31. Suppose 2*m + x*m = -384. Is m/16*(-8)/3 a multiple of 8?
True
Is (-2)/(-6) + 1482/(-234) + 4382 a multiple of 114?
False
Let v be (6 + -4)/(2/129*3). Suppose 3*u + v - 151 = 0. Is u a multiple of 11?
False
Suppose 14 = -2*p + 146. Let j be (-304)/22 + (-12)/p. Let i = -10 - j. Is i a multiple of 4?
True
Let w(f) = -1. Let d(k) = -4*k + 30. Let b(l) = d(l) + 4*w(l). Is 11 a factor of b(-16)?
False
Let c(k) = -k**3 - 11*k**2 + 11*k + 95. Is 45 a factor of c(-13)?
False
Let j be 128/24 + (-4)/(-6). Suppose 2*u = -2*g - j, -g = -2*u + 6*u - 9. Is 16 + 0 + g + 5 a multiple of 5?
False
Let g be 25/2*(-4)/(-10). Suppose -4*j + j - 2*l = 28, 3*j + g*l + 34 = 0. Does 27 divide 18/j*(-11 + -5)?
False
Suppose -8*s + 528 = -1488. Does 18 divide s?
True
Is 56 a factor of -8*4/10*840/(-48)?
True
Let h be 414/21 - (-10)/35. Let r = h - 15. Suppose -4*p = 4*d - 37 + r, 0 = -2*p + 4. Is d a multiple of 5?
False
Let h(j) = -3*j**3 + 5*j**2 + 14*j - 47. Is h(-7) a multiple of 20?
False
Let u = -2778 + 4948. Suppose -10*j = -0*j - u. Does 31 divide j?
True
Let c(r) = 5*r**2 + 5*r. Let m be c(6). Suppose -4*l + 66 = -m. Suppose l = 5*w - 76. Is w a multiple of 10?
False
Is 54 a factor of 12/6 - ((-5)/(-5) - 377)?
True
Let y(u) = -u**2 + 30*u + 18. Is y(27) a multiple of 9?
True
Suppose z - 5 - 37 = 0. Let y = -24 + z. Is 18 a factor of y?
True
Let n be (4/8)/(3/(-72)). Let v be ((-3)/(-6))/((-2)/n). Suppose v*l = 18 - 3. Is l a multiple of 3?
False
Suppose -5*f - 3*u + 80 = -179, 215 = 4*f + 5*u. Does 2 divide f?
True
Is 4 + -9 - 4/(-2)*157 a multiple of 22?
False
Let p(b) = b**3 - 3*b**2 - 4*b + 3. Let n be p(4). Let t(z) = 25*z - 8. Let d(f) = 49*f - 17. Let a(c) = n*d(c) - 7*t(c). Does 9 divide a(-2)?
False
Suppose y - 5*m = 374 - 44, 0 = -3*y - m + 942. Let a = y - 205. Suppose u = 4*v - 0*u - a, 5*v - 148 = -4*u. Is 6 a factor of v?
False
Suppose 35*c - 426 = 29*c. Suppose z - 27 = c. Does 14 divide z?
True
Let k = 0 + 3. Suppose k*o - 9 = 0, 5*c + 5*o - 2*o + 11 = 0. Is 2 a factor of (0 - -6)*(-2)/c?
False
Let s(v) be the third derivative of v**5/30 + v**4/6 + 5*v**3/6 - v**2. Let h be s(-2). Suppose h*z - 3*u - 90 = 2*u, 3*u = -5*z + 74. Is 16 a factor of z?
True
Let n(h) = h**2 + h - 12. Let r be n(-4). Suppose -3*c + a = -59 - 129, r = -2*c - 2*a + 136. Does 10 divide c?
False
Let z be (-8*1)/(-1)*1. Let c(n) = -n**3 - n**2 + 4*n + 7. Let s be c(-2). Let p = z + s. Is p a multiple of 11?
True
Let n(c) = 17*c + 3. Let f be n(2). Let r be (5 + f)*(-6)/(-4). Suppose 3 - r = -5*u. Is u a multiple of 5?
False
Let f be (-24)/20*(110/(-3))/1. Suppose f = 2*v - 54. Is 7 a factor of v?
True
Suppose 0 = 23*p + 7209 - 23953. Is p a multiple of 104?
True
Let p = 10 - 8. Let r = p - -1. Suppose 5*o - 44 = -5*l + 3*o, o = -r. Is l a multiple of 4?
False
Let p(b) = -117*b + 114. Is p(-12) a multip