 = -n*o + 1. Suppose -k + x + 24 = -0*x, -b*k + 68 = x. Is 11 a factor of k?
False
Let r be (-3)/4 + (-18811)/(-52). Suppose 0 = -34*z + 7153 + r. Does 21 divide z?
False
Let b = 19941 - 14241. Suppose 5*a - b = -15*a. Is 57 a factor of a?
True
Let j(y) = 2*y**3 + y**2 - y. Let b be j(1). Let f be -3 + -32 + b + 3. Is 9 a factor of (-135)/f*18*2?
True
Let v = 63 - -37. Let p = v - -6. Is 17 a factor of p?
False
Let w(r) = -5*r - 11. Let p be w(-7). Suppose k + p - 6 = 5*b, -b + 2*k + 9 = 0. Suppose -z + 189 = b*t, 3*t + 0*t = -5*z + 177. Is t a multiple of 8?
True
Suppose b = 5*x - 13, -4*b - 4*x = 42 - 14. Is 22 a factor of b/1*((-9 - -4) + 1)?
False
Let w(d) = d**3 - 4*d**2 + 5*d - 1. Let t be w(3). Let q(m) = -24*m - 3 + 23*m + t. Is q(-1) a multiple of 3?
True
Let s = 3388 - 2968. Is s a multiple of 20?
True
Let s(x) = 125*x**3 - 7*x**2 - x - 11. Let a(n) = 2*n**2 + 2. Let m(f) = 5*a(f) + s(f). Is 9 a factor of m(1)?
True
Let h(x) be the second derivative of 151/2*x**2 + 0 - 1/6*x**3 - 1/6*x**4 + 14*x - 1/20*x**5. Is h(0) a multiple of 37?
False
Suppose 0 = 16*u + 3*u + 4902. Does 10 divide 93 - -1 - u/43?
True
Suppose -19 - 21 = -2*f. Let d be (-25193)/(-236) - (-6)/(-8). Let o = d - f. Is 11 a factor of o?
False
Let f = -320 + 122. Let h = f - -226. Is h even?
True
Let m(t) = -t**2 - t + 56. Let z be m(7). Suppose -11*v + 14 + 85 = z. Is 3 a factor of v?
True
Suppose 7973 = 3*c + j - 29590, 37581 = 3*c - 2*j. Is c a multiple of 5?
False
Let f = 174 - 170. Suppose 5*m = 5*u - 209 - 156, 48 = u + f*m. Is 34 a factor of u?
True
Does 55 divide ((-49)/14 + (3 - -1))*(-2 - -15624)?
False
Suppose 4*n = -5*i - 0*n + 31, i = n - 1. Suppose 2*t + 4*r - 4 = 0, i*r = -2*t - 0*t + 5. Suppose -t*j + 44 + 24 = 0. Is 17 a factor of j?
True
Let j be 5*(-33 + 1)*8/(-20). Let c = 410 - j. Suppose 4*w = 82 + c. Is 13 a factor of w?
False
Let s = -8695 - -8794. Suppose 2*x + t = 4*x - 165, -x + 2*t + 78 = 0. Let u = s - x. Is 5 a factor of u?
True
Let n(s) = 2*s**2 + 3*s + 3. Let w be n(-2). Let h(g) = -g**3 + 6*g**2 - 2*g - 7. Let j be h(w). Is 9 a factor of 20 - j - -3*1?
False
Let p(c) = 42*c - 30. Let z be p(5). Suppose 4*b - z = -2*o, 5*o - 3*b - 465 = -8*b. Is o a multiple of 9?
False
Suppose 11*z - 12*z - 57*z = -2024142. Does 44 divide z?
False
Suppose s + 145 = 3*v, -s - 98 = 2*v - 4*v. Suppose 525 = -42*f + v*f. Is f a multiple of 16?
False
Suppose 0 = -4*g + 5*f - 2861, -4*f - 3571 = 5*g - 5*f. Let o = -509 - g. Is 18 a factor of o?
False
Suppose 11*z = 8*z + 15. Let w = 0 + z. Is 7 a factor of (-245)/w*(2 - 3)?
True
Is 44 a factor of -1 - ((-145578)/(-285))/(4/(-10))?
True
Suppose 4*l + 5*j - 829 = 0, -35*l + 32*l - 4*j + 620 = 0. Does 4 divide l?
True
Let i(u) = -737*u - 11. Is i(-3) a multiple of 5?
True
Let t(o) = 738*o - 1061. Is t(24) a multiple of 12?
False
Let s(m) = m**3 + 114*m**2 + 443*m + 598. Does 66 divide s(-108)?
False
Let v(a) = a**3 + 21*a**2 + 23*a + 62. Let s be v(-20). Suppose -1725 = -3*f + 2*d, -964 = -s*f - 3*d + 199. Does 8 divide f?
False
Suppose 4*n = 4*v + 32, -3*n = 2*v - 2*n + 4. Let l(g) = 18*g**2 + 3*g + 4. Let h be l(v). Suppose 12 = -3*j, -5*z + 4*j + j + h = 0. Is z a multiple of 13?
True
Let m = 33512 + -16412. Does 63 divide m?
False
Let r be 2129/10*14 + 8/20. Suppose -14*s + r = -477. Is 4 a factor of s?
False
Let k(f) = -12*f - 23. Let a(m) = 2*m + 19. Let d be a(3). Suppose 0 = 5*p - d, s - 36 = 2*s - 5*p. Is 25 a factor of k(s)?
False
Let c(x) = -x**2 + 18*x + 47. Let d = -114 - -133. Is 4 a factor of c(d)?
True
Let q = 141 - 123. Is ((-4)/q - 4668/(-108))*8 a multiple of 8?
True
Suppose -545 = -3*s + 9*p - 5*p, 0 = -2*s + p + 360. Let r = s - -195. Does 34 divide r?
True
Is 109 a factor of 2/(-9) - 722020/(-18)?
True
Let x(w) = w**2 + 6*w + 13. Let c be x(0). Is 14 a factor of 2/c + (55678/91 - 5)?
False
Suppose 0 = 4*d + 2*h - 24538, 0*d + 5*d = -5*h + 30670. Suppose -54*g + d + 9093 = 0. Does 22 divide g?
False
Does 7 divide (75 + -20 + 4/(-1))/(2/128)?
False
Let k = 1 + 168. Let l = 246 - k. Does 7 divide l?
True
Let b(a) = -38*a**3 + 16*a**2 + 43*a + 40. Let c(i) = 7*i**3 - 3*i**2 - 9*i - 8. Let l(o) = 2*b(o) + 11*c(o). Let k = -1 + 7. Is 16 a factor of l(k)?
False
Let u be -6*16/(-36)*744 - 4. Suppose 0 = 7*c + 2*c - u. Does 11 divide c?
True
Let t(j) = j + 2. Suppose 3*c = -0*p - 3*p - 15, c - 2*p - 10 = 0. Let x be t(c). Is 14 + x/6*6 a multiple of 6?
False
Let k be 6/(-15) - 9882/45. Let l = 517 + k. Let h = -94 + l. Is h a multiple of 28?
False
Let k = 17908 + 3452. Does 15 divide k?
True
Suppose 26*t - 28*t - 6 = 0. Let x(c) = -16*c + 16. Does 8 divide x(t)?
True
Let g(h) = -80*h**3 - 4*h**2 - 6*h - 9. Suppose 0 = 5*m - d + 12, -4*m - 16 = 10*d - 14*d. Does 19 divide g(m)?
True
Let t(o) = -o**3 - o**2 - o + 203. Let c = 131 + -131. Is 13 a factor of t(c)?
False
Suppose -23*s - 93 = -3*j - 20*s, -5*s = -3*j + 99. Let z(y) = -23*y - 7 + 2*y**2 - y**2 + 6 + 20. Is 12 a factor of z(j)?
False
Is 20 a factor of 6*(-1 + 1 + -2) - -10499?
False
Let c = 2326 + -1073. Suppose 0 = -5*w - 4*j - c, 2*j - 2 - 257 = w. Let d = -41 - w. Is d a multiple of 34?
False
Let h be 6/(-27) + 76/18. Let s be (-149)/h + (-11)/(-44). Let g = 247 + s. Is 30 a factor of g?
True
Suppose -6*s + 9*s = 27. Let o be 7425/s*-2*(-1)/2. Suppose 0 = 10*r - 5*r - o. Does 33 divide r?
True
Let h(a) = a**3 + 4*a**2 - 20*a - 75. Let j be h(-5). Let w(m) = -m**2 + 583. Does 38 divide w(j)?
False
Suppose 12*q - 5*q = 91. Suppose -q*p = -30*p + 19448. Is p a multiple of 11?
True
Let d be (-288)/(-120)*((-13)/(-3) - 1). Let z(i) = -14*i**2 - 121 + 0*i**3 + i**3 + d*i + 105. Is z(14) a multiple of 16?
True
Let w be (3/6)/(2/(-8)). Let f be (-20 + -1)/(w + 1 + 0). Suppose s = -2*s - 5*q + 79, 3*q = -s + f. Is 9 a factor of s?
False
Let b(y) = 682*y**2 - 2*y + 3. Let o be b(1). Let n = 1000 - o. Does 36 divide n?
False
Let u(r) = r**3 + 25*r**2 - 7*r - 19. Suppose -17*z - 13*z - 750 = 0. Is 26 a factor of u(z)?
True
Suppose 409*i - 509198 = -270552 + 1256658. Is 14 a factor of i?
False
Let j(a) = a**3 - 16*a**2 + 9*a - 32. Let n(p) = p + 25. Let u = 31 + -40. Let s be n(u). Does 23 divide j(s)?
False
Suppose -38*y - a + 130487 = -33*y, -5*y - 3*a = -130491. Does 16 divide y?
False
Is 59 a factor of (2*(-12)/8)/(9/(-9501))?
False
Let r be (14/16)/(140/1120). Let b(k) = -k**3 - 2*k - 2. Let f be b(-2). Is (84/f)/(r/105) a multiple of 14?
True
Does 19 divide (-11)/((-231)/(-78484))*(-12)/16 - -4?
False
Let c be 2 + 5248/36 + 6/27. Let v = 388 - c. Suppose v = 2*k + 3*k. Does 16 divide k?
True
Suppose -2*f = f + 30. Let r(a) = 8*a + 31 + 12*a - 28 + 2*a**2. Is 3 a factor of r(f)?
True
Suppose 63 = -4*c + 3*b, 12 = b + 11. Let a(r) = -r**3 - 14*r**2 + 16*r + 33. Does 18 divide a(c)?
True
Let a be (12/(-14))/(-5*(-6)/(-8610)). Suppose a = 7*y - 1602. Does 12 divide y?
True
Is ((-45)/(-81)*1735 - 6/27)*39 a multiple of 30?
False
Suppose 1040*j + 78 = 1046*j. Suppose -136 = -j*r + 9*r. Is 2 a factor of r?
True
Let x(o) = -15*o - 16*o**2 + 24904 - 24900 - 4*o**3 + 5*o**3. Let u(q) = q**3 + 10*q**2 + 6*q - 10. Let l be u(-9). Does 19 divide x(l)?
True
Let j(t) = t**3 + 11*t**2 + 9*t - 17. Let h be j(-5). Let u = h - 84. Suppose 3*z = u*o - 425, 0*o + z = -5*o + 536. Does 13 divide o?
False
Let i be (-2)/4 - ((-504)/16)/7. Suppose 0 = 4*s + i*q - 88, s - 4*q + 8 = 35. Is 9 a factor of (-3)/((-3)/145) + (-23)/s?
True
Let u(y) = 229*y - 46. Let b(v) = 116*v - 24. Let s(z) = 7*b(z) - 4*u(z). Does 18 divide s(-13)?
True
Suppose -p + 1 - 57 = 0. Let q be (-5)/((-15)/(-4))*2886/(-52). Let s = p + q. Is s even?
True
Let v(c) = -c**2 + 25*c - 22. Let p be v(20). Let s = p + -36. Is 14 a factor of s?
True
Let o(g) = g**3 + 27*g**2 + 28*g + 57. Let c be o(-26). Suppose 3*f - 6*l + 2*l - 314 = 0, l = c*f - 512. Is 6 a factor of f?
True
Let j = -25059 + 37528. Is 99 a factor of j?
False
Suppose 69 - 90 = -7*o. Suppose -5*g + 2*n + 444 + 77 = 0, -g - 5*n + 115 = 0. Suppose 5*b + g = 5*j, 0 = o*j - 2*b - 24 - 34. Does 4 divide j?
True
Suppose 14*k - 325 - 9886 = 751. Does 27 divide k?
True
Is ((-24192)/(-784))/(1/42) a multiple of 18?
True
Does 3 divide (-85)/34 - (-603)/(-12)*-2?
False
Let i = 98388 + -66853. Is i a multiple of 265?
True
Suppose -5*w + 1171 - 11