1 = 0. Is 19 a factor of q?
True
Suppose -246 = 5*l + y - 1725, -2*l + 578 = -3*y. Is 34 a factor of l?
False
Let c(g) = g**3 - 8*g**2 + 7*g + 5. Let i be (-11)/(-44)*(27 + 1). Let j be c(i). Suppose j*q = 20, 2*q - 96 = -3*n - n. Does 8 divide n?
False
Suppose -13 = -d + 6*d + w, -2 = -2*d + 2*w. Let k = 0 - d. Suppose k*z - 42 - 4 = 0. Is 23 a factor of z?
True
Suppose -3*l = -f + 12, -12*l + 3*f = -15*l. Let d(h) = -38*h + 9. Is d(l) a multiple of 23?
False
Let x = 43 + -53. Is 61 a factor of 4/x + (15855/25)/3?
False
Let h(n) = 6*n**2 + 2*n - 32. Let b(r) = r**2 + 30*r + 33. Let l be b(-29). Is h(l) a multiple of 12?
True
Let x = -94 + 922. Is x a multiple of 69?
True
Let f(r) = -r**2 + 8*r - 12. Let a be f(5). Let j(c) = 14*c**2 - a + 0 + 2*c + 0. Is j(2) a multiple of 19?
True
Let x be 119/8 - 2/(-16). Suppose -3*l - 1 = -2*c - 4*l, -3*c + 3*l + x = 0. Suppose 3*v = -3*d + 156, -2*v = c*d - 4*v - 88. Does 24 divide d?
True
Let i(h) = 4*h + 6. Let z be i(-6). Let l = 20 + z. Suppose -c + 95 = l*p, 6*p + 5*c = 3*p + 146. Is p a multiple of 25?
False
Let v = 481 + -244. Let y = v - 92. Suppose 5*n - 140 = y. Is 20 a factor of n?
False
Is 4 a factor of (-10082)/(-213) + 2/(-6)?
False
Suppose -z = 8 - 110. Does 17 divide z?
True
Let b = 25 - 17. Suppose 4*q = b*q + 24. Does 7 divide (-3)/q - 27/(-2)?
True
Suppose -6 = 3*u - 6. Suppose -3*m + 228 = s - u*s, -5*m - 4*s = -387. Is 4 a factor of m?
False
Let h = 6 - 5. Does 4 divide 7/35*h*115?
False
Let t be (10/(-15))/(1/(-9)). Suppose 0 = -5*w + t*w - 75. Is 15 a factor of w?
True
Let m(u) = 9*u**3 - 47*u**2 + 29*u + 27. Let w(n) = 5*n**3 - 24*n**2 + 14*n + 14. Let h(s) = -4*m(s) + 7*w(s). Does 9 divide h(19)?
True
Let h(w) be the second derivative of 11*w**4/12 - w**3/6 - 11*w**2/2 - 26*w. Does 25 divide h(-4)?
False
Suppose 0 = 6*u - 1 + 79. Suppose -28 = 2*b + 14. Let i = u - b. Is 3 a factor of i?
False
Let j(q) = 6*q**2 - 4*q. Let t be j(-4). Let r be t/52 + 4/(-26). Suppose 3*p + 10 - 39 = -m, r*p = 6. Does 10 divide m?
True
Let q be (2 - 2 - 90)*-2. Suppose 4*t + t = q. Is 18 a factor of t?
True
Suppose 0 = -5*a + h + 17, -5*a - 3*h + 7 = -22. Suppose -a*c + 383 = -217. Does 14 divide c?
False
Suppose 0*d = 5*d - 1880. Suppose -l = 3*u + 70 - 356, -4*u + d = 4*l. Is 6 a factor of u?
True
Let v be ((-16)/(-4))/16 + 45/12. Suppose w - 2*k = 182, 2*w + 2*w = -v*k + 764. Is 47 a factor of w?
True
Let u be 1/(-1)*(4 + 2 + -6). Suppose -y - 4 = u, 2*t - 4*y + 264 = 7*t. Is 14 a factor of t?
True
Suppose 0 = x + r - 33, 3*x - 5*r + 36 = 143. Is x a multiple of 17?
True
Let z = -36 - -101. Does 6 divide z?
False
Let l = -73 + 73. Suppose l = -2*d + 5*h - 0*h + 32, h = 0. Is 8 a factor of d?
True
Let d(n) = n**3 - n**2 - n + 1. Let w(o) = -9*o**3 - 6*o**2 + o + 1. Let v(g) = 3*d(g) - w(g). Does 17 divide v(2)?
True
Is (348/6*-11)/(2/(-1)) a multiple of 29?
True
Suppose 8 = -6*d - 4. Is 11 a factor of 31/2*d*-5?
False
Suppose 165 = 21*a - 24*a. Let y = 95 + a. Is 10 a factor of y?
True
Let o(m) = m + 12. Let d be o(-3). Suppose -8*l + d*l - 60 = 0. Is l a multiple of 12?
True
Let s be (3 + (-70)/6)*(-45)/(-6). Let f = 3 - s. Is f a multiple of 17?
True
Suppose -6*q - 8 = -4*l - 2*q, 0 = 5*l + 4*q - 46. Does 8 divide (-221)/(-7) - l/(-14)?
True
Suppose -5*n + 9 + 46 = 0. Let o(l) = -l**3 + 11*l**2 + 6*l. Let f be o(n). Suppose -5*p + 34 = -f. Is p a multiple of 5?
True
Let w(g) = 2*g**2 - 9*g + 5. Let v(a) = -3*a**2 + 9*a - 4. Let i(l) = 3*v(l) + 4*w(l). Is 7 a factor of i(-4)?
True
Let p(d) be the second derivative of d**4/12 - d**3/3 + d**2 + 4*d. Let x be p(2). Suppose s - 35 = 5*j - 3*j, -x*s = 5*j - 70. Is s a multiple of 20?
False
Suppose 83*s - 74*s = 9558. Is s a multiple of 10?
False
Let q(m) be the second derivative of m**5/20 - m**4/4 - m**3 - m**2 - 8*m. Does 5 divide q(5)?
False
Is 18 a factor of (80 + -1)*(11 - 8)?
False
Suppose 22*u - 18*u = 1260. Does 72 divide u?
False
Let l be 6*(12/8)/3. Let r(h) = 1 - l*h + 0 - 7 + 13. Is r(-8) a multiple of 16?
False
Let a(k) = 2*k**2 + 6*k - 2. Does 6 divide a(-5)?
True
Let n = 167 - 235. Let u = 83 + n. Is u even?
False
Let u be (-2 + (-8)/3)/(10/(-15)). Suppose u*g - 505 = 524. Is g a multiple of 14?
False
Let c(z) = z**2 - 5*z + 4. Let j be c(5). Suppose m = -j*x - 196, 0 = 5*x - 3*m + 40 + 188. Let t = x - -173. Is 21 a factor of t?
False
Let m be (15/(-10))/(1*(-3)/6). Suppose m*z + 234 = 5*z + 4*o, 5*o - 132 = -z. Is z a multiple of 11?
False
Suppose s - 1 = 2*p + 6, -2*s = 4*p - 6. Is 9 a factor of (1 + 6)*(-1 + p + 4)?
False
Let u be -4 - (0 + -2) - 2. Let d(z) be the third derivative of z**5/20 + 7*z**4/24 + 5*z**3/6 - 3*z**2 - 12. Is 25 a factor of d(u)?
True
Let l be (2/(-6))/(3/(-45)). Suppose l*k - 198 = 122. Suppose 5*x = k + 156. Is 22 a factor of x?
True
Suppose 1455 = 26*k + 103. Is k a multiple of 13?
True
Suppose -4*g = -3*z + 18, -2*g - 22 = 2*g - z. Is 10 a factor of g*-3*(-8)/(-6)?
False
Let o(m) = m**2 - 2*m - 4. Let w be o(4). Suppose -w*i + 112 = -228. Suppose -2*r - d - 20 = -57, -5*r = 5*d - i. Is r a multiple of 10?
True
Let r be 12 - 6/(-9)*-3. Let u = r - -6. Is u a multiple of 4?
True
Let z(i) = 32*i - 19. Let n(t) = 21*t - 13. Let k(y) = 7*n(y) - 5*z(y). Let r be k(-2). Let f = 46 - r. Is f a multiple of 16?
True
Let s(w) = 4*w**3 - 7*w**2 - 9*w - 16. Does 22 divide s(5)?
True
Let l(r) = -2*r**3 + 7*r**2 + 5*r + 1. Let c be l(6). Let x = c + 254. Is x a multiple of 13?
False
Suppose -5*u = -762 - 2373. Is 19 a factor of u?
True
Let d(c) = c**3 - 11*c**2 + 7*c + 3. Let k be 1/2*(22 - 0). Let q be d(k). Let l = q - 56. Does 8 divide l?
True
Let t = -929 + 1772. Is 12 a factor of t?
False
Let i(o) = -o**2 - 13*o + 4. Let z be i(-13). Suppose 0 = -s - 3*s + z*p + 8, 5*p = s + 18. Is s even?
False
Let f = -5 + 1. Let c(b) = b**3 - 37*b**2 + 3*b - 159. Let g be c(37). Is (g/(-72))/(f/(-54)) a multiple of 2?
False
Let t = 2919 + -1549. Does 35 divide t?
False
Let p be 4/(-10) - 132/(-30). Let j be p/2 - 0/1. Suppose -3*w - j*m = -5*m - 78, 12 = 3*m. Is w a multiple of 15?
True
Is 14 a factor of 231/1 - (-6)/(-12)*8?
False
Let s(b) = 3*b**3 - 39*b**2 + 16*b + 8. Does 53 divide s(13)?
False
Suppose 277 = -5*s - 163. Let i = s - -149. Is i a multiple of 39?
False
Suppose 0 = -2*n + 2*a - 10, -a + 1 + 4 = 4*n. Suppose 4 = 4*t - n. Is 21 a factor of (2 - 3)/t*-42?
True
Let n = 0 - 3. Let q = -314 + 288. Is (-2 - n)*q/(-2) a multiple of 3?
False
Let p = 1380 + -705. Is 15 a factor of p?
True
Suppose -3*k - 2*n + 0*n + 129 = 0, 0 = k - 5*n - 43. Is k a multiple of 3?
False
Let r be (-1)/((-3 - -6)/(-3)). Let w be (-4)/1 + r + -12. Does 12 divide 1*85*(-9)/w?
False
Suppose 15*f = 7*f + 5536. Suppose 10*u = f - 82. Is 4 a factor of u?
False
Suppose 6 = 3*g + 3*r, -r = -4*g - 0*r + 28. Suppose -5*p - b + 61 = 0, -g*p + 5*p + 21 = -2*b. Is p a multiple of 4?
False
Let h = 0 - 0. Let n(t) = 4*t**3 + 5*t**2 + 5*t - 36. Let j(b) = -3*b**3 - 4*b**2 - 4*b + 36. Let x(a) = 5*j(a) + 4*n(a). Is 12 a factor of x(h)?
True
Let j(t) = 113*t**3 - t**2 - 2*t + 2. Let z(c) = -10*c - 9. Let f be z(-1). Is j(f) a multiple of 18?
False
Let t be (6*7/84)/(1/(-6)). Does 20 divide (3/(-9))/(1/t) - -131?
False
Let g(f) = -f**3 + 5*f**2 - 3*f - 4. Let n be g(3). Suppose -4*x = 4*i - 8, 2*x + x = -n*i + 2. Suppose x*p = -j + 24, p + 4*p = -3*j + 65. Does 10 divide j?
True
Suppose 970 - 331 = 3*w. Let i(g) = -g**2 - 5*g + 10. Let y be i(-7). Does 25 divide w*y/(-12) - -4?
True
Let s be 1 + -2 - (-2 - 2). Let q be 1/(-3)*-10*s. Suppose -q = -b - 1. Does 9 divide b?
True
Suppose 4*o + 12*y = 17*y + 12550, 15677 = 5*o - y. Is 57 a factor of o?
True
Suppose -43*j + 0*j = -11094. Does 5 divide j?
False
Suppose 13*d = 14*d - 189. Is 3 a factor of d?
True
Let l(t) = t**3 + 7*t**2 + 9*t + 9. Let r(q) = -q**2 - q. Let w be r(2). Let x be l(w). Is 15 a factor of 0 - -46 - (10 + x)?
True
Let b(z) = 1507*z - 124. Is b(3) a multiple of 19?
False
Suppose -10*h - 152 = -392. Suppose -3*y + 60 + h = 0. Is 4 a factor of y?
True
Let z = 599 - 544. Is z a multiple of 5?
True
Let r = -569 + 682. Is 2 a factor of r?
False
Let t(u) = -7*u + 4. Let m(c) = -4*c + 2. Let w(v) = -5*m(v) + 3*t(v). Let z be w(0). Suppose -31 = -r - 3*y + 20, z*r + 5*y - 102 = 0. Is 17 a facto