= 57*p**2 - 8*p + 10. Is c(2) a multiple of 6?
True
Let a(t) = -t + 101. Is 17 a factor of a(-28)?
False
Let o be 814/4 - (2/(-4) + 0). Is (-1 - 2/(-4))/((-1)/o) a multiple of 8?
False
Let y be 4 - 0 - (-1 - -3). Suppose 3*p - 459 = -p - 5*k, y*p - 235 = 3*k. Does 29 divide p?
True
Let j = -68 + 45. Is 24 a factor of (2/(-3))/(j/2553)?
False
Suppose 0 = -5*t - 19 + 24. Let c(x) = 83*x**2 + 2*x - 1. Is c(t) a multiple of 19?
False
Let c = 675 - 287. Suppose -5*i + c = -162. Does 17 divide i?
False
Let i = 3 - 4. Let l be ((-12)/9)/(i/3). Suppose -5*n = -5*y - 185, -l*n + 10 = 5*y - 120. Is 6 a factor of n?
False
Let s(i) = 2*i**2 - 40*i + 418. Is s(0) a multiple of 22?
True
Does 10 divide 161/2*(-180)/(-63)?
True
Suppose 2*g + 8 = 2*w, 0 = 3*w + 4*g - 9*g - 18. Let j = 30 + -13. Is j - 14 - (w - 2) even?
True
Is 13 a factor of (57 + 851)*3*2/4?
False
Let x(g) be the second derivative of g**4/12 - 3*g**2 + 30*g. Suppose -4*s = -3*f - 1 - 1, -s - 13 = -3*f. Does 12 divide x(f)?
False
Let z(g) = -g**3 - 9*g**2 - 7*g - 4. Let i be z(-8). Does 10 divide -1 - i/3 - -59?
False
Suppose 6*h - 9*h = -3. Does 29 divide h/((5/15)/((-74)/(-6)))?
False
Let m(g) = 2*g + 11. Let w be m(-4). Suppose -4*i + 108 = w*p, 2*i + 3*p - 27 = i. Is i a multiple of 9?
True
Suppose -5*y = 2*o - 3*y - 8, -y + 4 = 0. Suppose 3*z - 4*a = 68, o = 3*a - 7*a + 16. Does 2 divide z?
True
Suppose 3*p + 0 = 3. Suppose 4*c = p + 7. Suppose -4*i + 5*j = -165, i + i = c*j + 84. Is i a multiple of 15?
True
Let z = 31 - 32. Is -1*(-3)/z - -103 a multiple of 31?
False
Let c(q) = q**2 + 11*q + 21. Let b be c(-9). Let v be (-1 - b)/(9/(-126)). Suppose -5*g + 64 + v = 0. Does 6 divide g?
True
Is 3185/(8 - 1) - -2 a multiple of 5?
False
Suppose 4 = 2*a - 4*a. Let p = a + 0. Is 14 a factor of 144/(p - 1)*-1?
False
Is 1/((-2)/(-351)) + 15/30 a multiple of 16?
True
Suppose -4*m = 2 - 114. Let o(b) = -b**3 - 3*b**2 + 10*b - 6. Let u be o(-5). Is (m/u)/((-12)/18) a multiple of 5?
False
Let g(k) = -2*k**2 - 33*k - 5. Let u be g(-16). Let j = 76 - u. Is 17 a factor of j?
False
Suppose -31*q = -38*q + 1120. Does 20 divide q?
True
Let s(x) = -2*x - 10. Let a = -5 - 0. Let p be s(a). Suppose -d - 32 = 2*o - 4*o, p = -4*o - 2*d + 80. Is 9 a factor of o?
True
Suppose 46*c = 39*c + 2527. Does 9 divide c?
False
Suppose b = 3 - 12. Let v = 17 + b. Suppose 3*d = v*d - 180. Is d a multiple of 18?
True
Suppose -m + 10368 = 23*m. Is m a multiple of 18?
True
Let z be 0 + -2 - (-215 + 2). Suppose 17 = 4*b - z. Suppose -s + 9 = n, 5*s + n - b = -0*s. Is s a multiple of 6?
True
Suppose -134*s = -139*s + 3135. Is 19 a factor of s?
True
Is 14 a factor of (1 - (-75)/(-45))/((-1)/315)?
True
Let d = 15 - -1101. Is d a multiple of 10?
False
Suppose 4*n + 0 = 8. Let d(j) = n*j**2 + 3*j + 9*j - 3 - 9*j. Is d(3) a multiple of 14?
False
Let s(n) be the third derivative of -n**5/40 + 3*n**4/8 + n**3/2 - 4*n**2. Let q(z) be the first derivative of s(z). Is 14 a factor of q(-11)?
True
Let x(j) = -j**3 + 13*j + 1980. Is 36 a factor of x(0)?
True
Let r(l) = l**3 + 7*l**2 + 4*l - 2. Let b be r(-5). Let p be (b/8 + -3)*10. Suppose -p*t = -21 - 4. Is t even?
False
Suppose 3*t + 0*t = 264. Let o = -22 + 26. Suppose 0*j = -5*f - j + 90, 4*j = -o*f + t. Is 17 a factor of f?
True
Let b be ((-33)/(-6) - 5)/(1/4). Suppose b*w - 3*w = -100. Is w a multiple of 19?
False
Suppose -19 = -3*b - 5*d, 0 = -d + 1 + 1. Suppose 0 = -3*x + b, 5*a + 3*x = -2*x + 155. Does 12 divide a?
False
Suppose 4*l + 3*q = -0*q - 17, -l - 4*q = 1. Let j be l/((-10)/8) - -1. Suppose -4*m + j*i = -160, -2*m + 4*i - 14 + 88 = 0. Is 15 a factor of m?
True
Let p be ((-8)/(-2))/(-4) - -3. Suppose 5*l + 5*i + 110 = 0, -p*l - 3*i = -7*i + 62. Let u = -12 - l. Does 13 divide u?
True
Let a be (6 + -5)/(2/4). Suppose 3*r + 0*h + 5*h = 75, -a*h - 96 = -3*r. Is 4 a factor of (0 + 6)/(9/r)?
True
Suppose -m + 2538 = 4*s, -1339 = 3*m - 2*s - 8897. Does 75 divide m?
False
Let r = -213 + 1048. Does 70 divide r?
False
Suppose 15*b + 26 = 176. Suppose -20*q + 360 = -b*q. Does 9 divide q?
True
Let b = 27 + -19. Suppose b*l = 136 + 56. Does 4 divide l?
True
Suppose 0*v - 5*v + 20 = 0. Suppose v*l - s = 334, -2*l + 250 = -4*s + 90. Does 14 divide l?
True
Suppose s + 4*x - 92 = 0, -2*s - x = 2*x - 189. Let j = s + 68. Does 41 divide j?
True
Suppose 0 = -16*o + 9*o + 238. Is 44 a factor of o*((11 - 1) + -4)?
False
Suppose 4*c - 3971 - 2792 = 5*x, 0 = -4*c - x + 6769. Is c a multiple of 51?
False
Let t(y) = -y**3 - 7*y**2 - 6*y + 4. Let m be t(-6). Suppose 4*c = 5*j - m - 0, -2*c - 20 = 2*j. Does 3 divide c + 17 + 3*-1?
False
Let k = -45 + 48. Let v be ((-6)/3)/(2/(-4)). Suppose -l = -0*l - v*p - 49, -k*l + 3*p = -129. Does 18 divide l?
False
Suppose 11 - 1 = 5*u. Suppose 361 = 4*q - 3*p, 2*p = -4 - u. Is 8 a factor of q?
True
Let m(c) be the third derivative of c**5/60 + 43*c**3/6 + 12*c**2. Let p be m(0). Let i = p + -5. Does 19 divide i?
True
Suppose 3*y = -g + 5, -2*g + 3*y + 10 = -y. Does 2 divide (-87)/(g/(-10)*6)?
False
Suppose 2*w = -2*x + 2136, x + 7 - 5 = 0. Is 15 a factor of w?
False
Suppose 4*q = 2*v + 10, q - 6*q - 2*v + 17 = 0. Let d(c) = 10*c**3 - c**2 + c. Does 24 divide d(q)?
True
Let s = 9 - -210. Is 11 a factor of s?
False
Let x(v) = 19*v**2 + 63*v + 468. Does 106 divide x(-12)?
False
Let o = -282 + 461. Does 6 divide o?
False
Let j be -6*2/(-18)*3. Is 8 a factor of (-2)/4 - (-101)/j?
False
Suppose -4*m + 28 = 3*k, 5*m - 28 = -2*k - 0. Suppose 3*f = y - 74, 9*f - k*f + 390 = 5*y. Is 20 a factor of y?
True
Suppose 0*d = d + 29. Let s = -8 - d. Does 21 divide s?
True
Let l = -108 + 103. Is 209 + (l - -5 - -1) a multiple of 30?
True
Suppose -1637 = -2*c + 2523. Is c a multiple of 80?
True
Suppose -6 + 1 = -5*w - n, 2*n + 4 = -3*w. Suppose -7*m + 110 = -w*m. Does 22 divide m?
True
Suppose -3*y - 20 = y, m + 5*y = 2159. Does 52 divide m?
True
Let b be (1 + -3)*(-33)/6. Let w be 6/(1*9/(-12)). Let z = b + w. Is z a multiple of 3?
True
Let s(b) = -2*b + 5. Let r be s(5). Let v(l) = -11*l - 5. Does 24 divide v(r)?
False
Suppose 12 = 4*w, 0 = 4*j - 8*j - 5*w + 23. Let z(k) = -12 + k + j*k**2 + 15*k - 3*k**2. Is z(12) a multiple of 9?
True
Let p(a) = -25*a - 31. Let u be p(-7). Suppose 0 = 2*z - 5*z + u. Is 12 a factor of z?
True
Let q(p) = p**2 - 2*p + 3. Let i be q(2). Is (i - (-3)/9)*(-18)/(-6) a multiple of 9?
False
Let m = -42 + 64. Suppose m = 7*c - 111. Suppose -3*j - c + 100 = 0. Is 22 a factor of j?
False
Suppose 4*b - 37 = -4*f + 47, 3*f + 121 = 5*b. Is (b + 5)/(1/2) a multiple of 18?
False
Let y(i) = -i**2 - 8*i + 6. Let t(d) = -3*d**2 - 17*d + 11. Let w(j) = -3*t(j) + 7*y(j). Is w(4) a multiple of 19?
False
Suppose -52 + 80 = 4*z. Let s(x) be the first derivative of x**4/4 - 2*x**3 - 3*x**2/2 - 5*x - 2. Is s(z) a multiple of 17?
False
Suppose -121 - 59 = 6*n. Is 27 a factor of -3 - 0/2 - n?
True
Suppose 8*i + 3*v - 3990 = 6*i, -3*v - 6 = 0. Is 109 a factor of i?
False
Suppose 25*x = 34*x - 18396. Does 73 divide x?
True
Suppose -5*q + 8*q = 9. Suppose 5*r = -3*f + 535, 7*r + 4*f - 420 = q*r. Is 11 a factor of r?
True
Suppose 0 = -3*u + 47 + 604. Suppose -u - 1115 = -6*j. Does 28 divide j?
False
Suppose d = -8*d - 423. Let w = 102 - 30. Let j = d + w. Does 11 divide j?
False
Let j(k) = -4*k**3 - 2*k**2 + 11*k + 47. Is j(-8) a multiple of 79?
False
Let z(n) = 81*n**2 + 26*n - 51. Does 7 divide z(2)?
False
Let a(q) = -q**3 - 17*q**2 - 43*q + 8. Is a(-16) a multiple of 71?
False
Suppose 0*g = -j + 5*g + 41, 4*j + 3*g - 72 = 0. Let m be (19/(-76))/(1/(-4))*13. Let l = j - m. Is l a multiple of 3?
False
Suppose 4*h - 5*h = -3*f - 1903, -5*f + 9555 = 5*h. Is h a multiple of 32?
False
Let g(q) be the third derivative of q**5/30 + 23*q**4/24 + q**3/2 - 11*q**2. Let d be g(-11). Is (-4)/d*4*4 a multiple of 4?
True
Suppose -o + 530 = 5*a - 6*o, -206 = -2*a - 4*o. Does 21 divide a?
True
Suppose 0 = -3*n + 4*y + 16, -10 = -n + 3*y - 4*y. Let j(c) = 5*c**2 - 14*c + 20. Is 57 a factor of j(n)?
True
Suppose 0*m - 3*g = -m + 14, g + 74 = 3*m. Suppose 3*h = k + h - 30, 0 = -k - 2*h + m. Let c = k + 20. Is c a multiple of 16?
True
Let l = 39 - 34. Suppose 0 = -3*c - o - 383, -2*c + l*o - 189 = 38. Is (6/(-4))/(3/c) a multiple of 11?
False
Let t(x) = 2*x + 113. Is t(-7) a multiple of