 + 41. Let q be (-14)/3*g/(-14). Suppose 3*j - 16 = -s - j, q*j = -3*s + 40. Is 3 a factor of s?
True
Let f be (-1)/(-3) + 34/6. Suppose -f*y + 668 + 454 = 0. Does 16 divide y?
False
Is 52 a factor of 5580/(-50)*(-50)/15?
False
Let n(c) = c**3 - 40*c**2 - 80*c - 34. Is 20 a factor of n(42)?
False
Suppose 12*g = 4*g + 3*g. Let c(y) = -3*y**3 + 4*y**2 + 43. Let a(n) = -8*n**3 + 11*n**2 + 129. Let q(h) = 4*a(h) - 11*c(h). Does 18 divide q(g)?
False
Suppose -4*r = -6*r + 2. Suppose i = r + 1. Suppose -6*t - 140 = -4*h - t, 0 = -5*h - i*t + 142. Is 12 a factor of h?
False
Let a(n) = -n**2 + 12*n - 19. Let m be a(9). Suppose 23*c - 225 = m*c. Does 15 divide c?
True
Is 32 a factor of 9 + 7/((-35)/(-8755))?
True
Let h(t) = t**2 + 6*t + 1. Let f be h(-6). Let r = 28 + -25. Suppose f = -r*g + 49. Does 11 divide g?
False
Suppose -30*b + 47490 - 2520 = 0. Is 57 a factor of b?
False
Suppose 29*d - 7025 - 776 = 0. Is 4 a factor of d?
False
Suppose -2*w - 2*w - 4*r = 4, 0 = -4*w + 4*r - 20. Let x be (-8)/w*(-3)/(-2). Suppose -2*y - 82 - 156 = -x*j, 5*y + 223 = 4*j. Is j a multiple of 12?
False
Let n(u) = -u**3 + 5*u**2 - u - 10. Let m be n(4). Suppose -4*v + 40 = q - 7*v, 0 = -q - m*v + 20. Is q a multiple of 28?
True
Let g = 262 + -137. Let n = g + -39. Is 8 a factor of n?
False
Let p = -187 - -210. Suppose 0 = 4*b - b + 15, 5*g - 5*b - 195 = 0. Let n = g - p. Is 3 a factor of n?
False
Suppose -4*l = -4*w + 112, -2*w - 2*w - l + 137 = 0. Suppose -2*k = j - 3*j - 10, 3*j = 15. Suppose -w = -n - k. Is 6 a factor of n?
False
Let c(x) = 120*x**2 + 6*x + 5. Let v be c(-1). Suppose 12*m - 791 + v = 0. Is m a multiple of 5?
False
Suppose 5*d + 4 - 24 = 0. Suppose -10*f - d*f + 910 = 0. Is f a multiple of 5?
True
Let f = -20 - -23. Suppose 0 = l + 2*l - 21. Suppose f*d + 195 = -2*a + l*a, -39 = -a - 2*d. Is a a multiple of 13?
True
Suppose -4*t + 12*h - 17*h + 308 = 0, 385 = 5*t + 2*h. Does 11 divide t?
True
Let a = -31 + 136. Suppose -6*y + a = y. Does 8 divide y?
False
Let g(z) = 12*z**3 + z**2 - 5*z + 29. Does 13 divide g(4)?
True
Let w(f) = -f**2 - 2*f. Let y be w(-2). Suppose 4*u - 16 = 0, y*o + 28 = 2*o - 4*u. Does 11 divide o?
True
Let f(s) = -s**3 - s**2 - 2*s + 795. Let g be f(0). Suppose -z - 2 = 0, 219 = -5*w - 2*z + g. Is w a multiple of 35?
False
Suppose -6*f + 112 = -10*f. Let j = 32 + f. Is j even?
True
Let k(m) = -2328*m - 8. Does 40 divide k(-1)?
True
Let w = -238 + 943. Is 8 a factor of w?
False
Let l = 267 - -45. Suppose -4*n = -2*j + 152, -n - l = -4*j + 3*n. Is 16 a factor of j?
True
Let y = 15 - 11. Let w be (-170)/(-8) - (-3)/(-12). Let q = w + y. Is q a multiple of 15?
False
Let d(a) = a + 2*a + 2*a. Let n(b) = -11*b + 1. Let o(q) = 7*d(q) + 3*n(q). Is o(6) a multiple of 5?
True
Let t be 280/12*(-3)/(-2). Let c = 27 - t. Does 5 divide ((-150)/20)/(2/c)?
True
Suppose 3*v - 9*v + 174 = 0. Is 9 a factor of (v*12)/2 - (-6)/(-2)?
True
Let m = -3165 - -5924. Is 31 a factor of m?
True
Suppose -20*l + 114 = 414. Let v(k) be the second derivative of -k**4/12 - 19*k**3/6 - 5*k**2 + k. Is 6 a factor of v(l)?
False
Let s(j) = -2*j**2 - 3*j + 5. Let x be s(-3). Let n(c) = -5*c + 7. Is 15 a factor of n(x)?
False
Let p = -2897 - -4510. Is p a multiple of 33?
False
Let a(g) = -11*g**2 - g - 5. Let w be a(3). Let q = 155 + w. Is q a multiple of 8?
True
Let c = 77 + -77. Suppose c = -6*i + 5*i + 20. Is i a multiple of 20?
True
Suppose 37*t = 2561 + 3766. Does 10 divide t?
False
Let f(l) = l**2 - 4*l + 1. Let q be f(5). Suppose -q = -b - 2. Does 4 divide -3 + b - -5*1?
False
Let u(x) = 7*x**2 + 6*x + 11. Does 36 divide u(7)?
True
Let z(p) = 4*p**3 - 2*p. Let a be z(2). Suppose a + 147 = 5*s. Suppose k - 43 = s. Does 25 divide k?
False
Suppose 0 = -5*m + 2*p - 0*p + 6064, 5*p = -10. Suppose -s + 3*s = -4*x + m, 3*x - 912 = -3*s. Is x a multiple of 28?
False
Let p(t) = t**2 - 17*t + 12. Let z be p(16). Let r be (1 + z/(-1))*1. Suppose k + 58 = r*j + 22, -4*j = -3*k - 31. Is 2 a factor of j?
False
Let u = 44 - 41. Suppose 2*o = u*x - 2*x - 174, 4*x - 676 = 4*o. Does 25 divide x?
False
Let v = -7 + 13. Suppose -10*h - 36 = -v*h. Does 26 divide (156/h)/(-1)*3?
True
Suppose -3*t + 2*t = -2*z - 15, 2*t - z = 30. Suppose 2*d = t + 121. Is 37 a factor of d?
False
Suppose 2*q = -4*b - 1 - 1, -4*q - 3*b = -11. Suppose 6*r - q = 13. Is r a multiple of 2?
False
Let s be 4/(-8)*2 - -3. Let v = -2 + s. Is (168/1)/3 - v a multiple of 14?
True
Let d be 22/(-209) - -7*(-64)/76. Let q be -1*(11 + 1*-2). Is 4 a factor of (-1)/3*q - d?
False
Let b = 573 + -299. Let g be (-68)/(-170) + 4/(-10). Suppose -3*w + w - 4*d + b = g, -5*w + 620 = -3*d. Does 19 divide w?
False
Let d(j) = -j - 2. Let k be d(-4). Let u(r) = r**3 - 2*r**2 + 2*r - 2. Let y be u(k). Suppose -3*i - y*i + 230 = 0. Is 7 a factor of i?
False
Let l(u) = -u**3 - 15*u**2 + 16*u + 17. Let i be l(-16). Suppose n - 11 = i. Is 28 a factor of n?
True
Let c = 29 + -27. Suppose 5*z = c*q + 1, -2 + 22 = 4*z. Is q a multiple of 2?
True
Let l(h) = 8*h**2 + h + 1. Let q be l(-1). Let s = q + -5. Suppose -y + 0*z + 13 = -z, -4*y + 56 = -s*z. Is 7 a factor of y?
False
Let p(w) = w**3 - 5*w**2 + 38*w - 267. Is 24 a factor of p(8)?
False
Let j be 12/20 + 14/10. Is j/(-9) + 722/9 a multiple of 20?
True
Suppose v + 4*z = 65, 2*v + 3*z - 7*z - 154 = 0. Suppose i = v - 24. Is i a multiple of 7?
True
Suppose -27*o + 25*o + 5*a + 1967 = 0, 4*a = 3*o - 2954. Is o a multiple of 34?
True
Suppose 0 = -4*k + 5*k. Suppose 2*s = 5*z - 3*s - 1740, 5*z - s - 1732 = k. Is 13 a factor of z/14 + (-12)/(-42)?
False
Suppose 5*j = -5*d + 930, j + 68 = -2*d + 436. Is d a multiple of 7?
True
Suppose -1912*i + 1913*i - 414 = 0. Does 9 divide i?
True
Let h(w) = -w**3 + w**2 - 3*w + 2. Let r = 19 + -18. Let k be h(r). Is 7 a factor of (-18)/k + 45/15?
True
Suppose -5*a + 40 = -3*t - 2*t, 5*t = -4*a - 4. Let b(m) = 788 + m - 794 - 5*m. Is b(t) a multiple of 5?
True
Let y = 440 - 242. Is y a multiple of 23?
False
Let d(s) = 12*s**2 - 2*s - 2. Let q be d(-1). Suppose -3*a = q, 5*j - 45 = -0*j + 5*a. Suppose -y + 4*m + 44 = 0, -j = 2*m - m. Does 6 divide y?
True
Suppose -y = -d - 9, -d = -3*y + 4*d + 29. Let p = 11 + y. Is p a multiple of 6?
False
Let c(z) = -z**3 - 3*z**2 + 3*z + 19. Let v be c(-7). Suppose v + 100 = 7*a. Is a a multiple of 3?
True
Suppose 2*w + 4573 = 5*f + 296, 0 = -w + 4. Does 25 divide f?
False
Let x(a) = -4*a + 52. Let q be x(18). Does 5 divide (-2)/4*(q - -10)?
True
Let q be -1*((-1 - 106) + 0). Suppose 110*r = q*r + 18. Is 3 a factor of r?
True
Let u(b) = b**3 + 5*b**2 + b + 9. Let t be u(-5). Suppose -t*x + 22 = -46. Suppose 4*r = 195 + x. Is r a multiple of 8?
False
Let p be 4*1 - (5 - 7). Let d be ((-172)/p)/((-8)/24). Does 20 divide 3 + 4/(8/d)?
False
Let m(l) = 2*l + 14. Let h(t) = -t - 14. Let v(x) = -3*h(x) - 2*m(x). Suppose 2*n - 4*n + 12 = 0. Does 4 divide v(n)?
True
Does 29 divide ((-369489)/186)/(3/2 - 2)?
True
Let r(u) = u**3 - 6*u**2 - 5*u - 8. Let q be r(7). Suppose 0 = 2*x - q*x - b + 1009, 5*x + 4*b - 1275 = 0. Is 29 a factor of x?
False
Is 6 a factor of (4100/(-30))/(2/(-9))?
False
Let h(y) = -19*y - 10. Let x be h(-10). Suppose x = -0*s + 5*s. Let r = 64 - s. Does 28 divide r?
True
Let z be (-4)/(-14) - (-4)/(-14). Let y be -3*(-21)/(-9) + 11. Suppose -4*h = -h - y*g - 324, -2*g = z. Is h a multiple of 36?
True
Let f = -578 + 841. Let u = f + -378. Let m = -65 - u. Is m a multiple of 23?
False
Is 4 a factor of (2*6/16)/((-16)/(-4416))?
False
Suppose 4*n + 417 = -5*q, n = -3*q - 2*n - 249. Suppose -r - 3*r = 3*v - 603, -2*r + v + 299 = 0. Let j = q + r. Is j a multiple of 14?
False
Let t be 5 - (3 - 1/1). Let h(b) = 2*b**2 + b + 2. Let c(w) = 3*w**2 + 2*w + 4. Let j(f) = -c(f) + 2*h(f). Is 2 a factor of j(t)?
False
Let h(u) = -u**3 + 15*u**2 + 4*u + 49. Is h(11) a multiple of 41?
False
Suppose 400 = 2*n - 5*f, -264 = -n + 5*f - 64. Let a = -36 - -164. Let l = n - a. Is 15 a factor of l?
False
Suppose -160*w + 165*w - 350 = 0. Suppose 65*i = w*i - 870. Does 18 divide i?
False
Let g(h) = -h**3 + 7*h**2 + 7*h + 19. Let m be g(8). Let z(d) = -d**2 + 15*d + 8. Let x be z(m). Let l = x - 30. Is 22 a factor of l?
True
Suppose -3*o - 5*i = 36, 0*o + 2*o + i + 17 = 0. Let m = 35 + o. Is 10 a factor of m?
False
Let s(q) = -q**