t p be d(3). Let c(q) = 6*q**2 - 80*q - 24. Let m be c(14). Let n = m - p. Is 19 a factor of n?
False
Suppose 0 = i + 5*z + 17, -2*i - 3*z - 7 - 6 = 0. Is (1/((-6)/(-32)))/(i/(-66)) a multiple of 11?
True
Suppose 0 = 3*c - 2 - 10. Suppose -i = c*i - 50. Is 5 a factor of i?
True
Let d(m) = m**2 - 5*m + 14. Let f be d(7). Suppose -l = f - 128. Is l a multiple of 16?
False
Let s(z) = z**3 + 2*z**2 - z + 2. Suppose 0 = 2*w + 8, -3*h - 13 = -2*h + 4*w. Suppose -3*b - 1 = 3*o + 8, h*o - 2*b + 4 = 0. Does 2 divide s(o)?
True
Does 38 divide (1/3 - (-8812)/24)*2?
False
Let n(f) = -f**3 + 5*f**2 + 5*f - 1. Let x be (-6)/(-9)*30/4. Let y be n(x). Is 1/(-2*(-1)/y) a multiple of 7?
False
Let j(p) = -4*p - 21. Let i be j(-6). Suppose 6*s + 19 = o + s, -i*o + 4*s + 24 = 0. Does 27 divide (8/(-10))/(o/(-580))?
False
Let d(l) = -l**2 + 16 + 67*l - 25*l - 34*l. Is 12 a factor of d(8)?
False
Let g = -20 + 19. Does 9 divide (-9)/(g*12/40)?
False
Suppose 5*u = 9 + 6. Suppose -5*d = -u*s + s - 20, -d = 4*s - 4. Suppose s = 6*c - 3*c - 66. Is c a multiple of 20?
False
Suppose 3*d - 901 = -g, 5*g = 45*d - 46*d + 277. Is d a multiple of 9?
False
Let x(a) = -39*a - 5. Let f be x(-8). Suppose -309 - f = -4*l. Is 30 a factor of l?
False
Suppose -4*h = -9*h + 175. Suppose 0 = -g + 3*p + h, 4*p = -5*g - 0*p + 175. Does 7 divide g?
True
Let j = 152 + -70. Let h = 2 + j. Is 14 a factor of h?
True
Let f(q) = 390*q - 28. Does 42 divide f(5)?
False
Suppose 5*r + v + 87 = 0, -5*r + 4*v + 0*v - 102 = 0. Let f = -18 - r. Suppose -a - 5*t = 2*a - 125, 4*t - 16 = f. Does 5 divide a?
True
Let w(k) = -376*k + 16. Does 13 divide w(-3)?
True
Suppose 0 = 8*z + 12 - 44. Is 158 - 2/z*4 a multiple of 13?
True
Suppose 4*r + 5*d + 217 = -0*r, 0 = 2*r - d + 105. Let z = 121 + r. Is z a multiple of 17?
True
Let y be -65*-1*2/5 - -1. Suppose -6*x + 333 = -y. Is 8 a factor of x?
False
Let j = 5 + -22. Let y = -17 - j. Suppose p - 15 - 1 = y. Is 8 a factor of p?
True
Suppose -6*h - h + 21 = 0. Suppose h*a = -3 + 69. Is 5 a factor of a?
False
Suppose 4*d - 4*s = 96, 92 = -2*d + 5*d + 2*s. Let u = 55 - d. Is 9 a factor of u?
True
Suppose -4*x + 152 = -0*x. Does 22 divide (x + -5)*(-5)/(-3)?
False
Suppose -12 = -3*r - r. Suppose 4*j - 5*t - 5 = 0, 0 = r*j + 5*t + 4 + 1. Suppose 3*b + 5*s - 121 = 0, s + j*s = -5*b + 209. Does 15 divide b?
False
Suppose -2*a + 47 = -35. Suppose 0 = 41*p - 42*p + a. Is p a multiple of 6?
False
Let s = -212 + 306. Does 2 divide s?
True
Suppose -1240 = -3*x - 2*x. Let m = 108 - x. Does 11 divide 4/(-3 - m/44)?
True
Suppose 0 = -16*r + 11*r - 540. Let t = r - -233. Is 18 a factor of t?
False
Suppose 0 = 75*v - 133*v + 76328. Is 47 a factor of v?
True
Suppose 3*o = -0*o + 2*s + 292, 2*s - 296 = -3*o. Does 12 divide o?
False
Let k = -270 + 334. Is k a multiple of 16?
True
Let r = 68 - -182. Is 13 a factor of r?
False
Let k(o) = -o**2 + 8*o - 10. Let z be k(5). Let p = 9 - 6. Suppose 2*r - 143 = z*x, -r - p*x + 121 = 33. Is 20 a factor of r?
False
Suppose 4*g + 5*c = 155, 3*g - 4*g + 3*c = -26. Suppose -2*s = 3*v - g, -2*v + 4*s + 40 = 2*v. Is v a multiple of 4?
False
Let c = 10 + 115. Is 13 a factor of c?
False
Suppose 74 = -2*r + 342. Suppose 4*n - r = 94. Does 16 divide n?
False
Suppose -2*g - 5 = -2*z + g, 2*z = -g - 15. Let j(o) = -o**3 - 3*o**2 + 6*o + 4. Let b be j(z). Is b/10*90/27 a multiple of 8?
True
Does 21 divide ((-34)/(-85))/(2/5)*557?
False
Let p = 21 + -12. Suppose -4*q + p*q - 15 = 0. Suppose 23 = q*m - 19. Is 7 a factor of m?
True
Suppose 28*c = 24*c + 216. Suppose -4*h + 231 = -5*l, 0 = h - l - 5 - c. Is h a multiple of 16?
True
Suppose 2*a - 2*f = 0, a + 0 = 5*f - 12. Suppose -45 = a*s - 135. Does 10 divide s?
True
Let f(u) = -u**3 - 15*u**2 + 17*u - 2. Let t be f(-17). Is t/17 - 6/(-51) a multiple of 8?
False
Let i be -2 - (0/(-4 + 2) - 70). Let f = i + -2. Is f a multiple of 6?
True
Suppose 1 = 2*j - 447. Suppose -s = 3*s - j. Is 8 a factor of s?
True
Suppose -2*q + 1983 + 957 = 0. Is 23 a factor of q?
False
Let j(s) = 14*s**3 - 3*s**2 + 3*s - 5. Let t be (-1 + -3)/(6 + -8). Is 24 a factor of j(t)?
False
Let i = 2214 - 1419. Is 53 a factor of i?
True
Let x = -69 - -174. Suppose -3*v + x = 4*t, -5 = -t - 0*v - 5*v. Does 15 divide t?
True
Let a(m) = 11*m**3 - 12*m**2 + 3*m + 1. Is 34 a factor of a(5)?
False
Suppose -224 - 144 = -8*a. Let n = 131 - a. Is n a multiple of 5?
True
Let m(r) = 93*r**2 + 37*r + 25. Is 78 a factor of m(7)?
False
Suppose 4*w = d - 6 - 10, -4*w + 5*d = 0. Is 5/w + 278/2 a multiple of 21?
False
Let y = -27 + 223. Let m = y - 97. Does 12 divide m?
False
Suppose 23 = 3*c - 2*q, -c - 5*q = -16 - 20. Let v(a) = a**2 - 4*a + 2. Let d be v(4). Let o = c - d. Is o a multiple of 9?
True
Let z(f) = 8*f**2 - 15*f - 25. Is 10 a factor of z(-3)?
False
Let a(j) be the first derivative of 2*j**3/3 - 3*j**2 + 7*j - 9. Let s be a(8). Is 9 a factor of 2/(-3 + s/27)?
True
Let i be ((-4)/12)/(4/(-60)). Suppose -i*w = d - 82, -w + 6*w + 102 = d. Is d a multiple of 23?
True
Let t be 43 + 2 + (3 + 5)/(-2). Is (t/4)/(1 - (-7)/(-8)) a multiple of 10?
False
Let l = -7 + 11. Suppose -5*v + 163 + 142 = 2*q, l*v - 211 = 5*q. Suppose -17 - v = -5*i - u, i + 4*u = 0. Is 6 a factor of i?
False
Is (-392)/(-280) - 23476/(-10) a multiple of 87?
True
Let m(k) = k**3 + 7*k**2 + 6*k + 1. Let n = -16 + 13. Let i be 2*1/(n/6). Is 10 a factor of m(i)?
False
Suppose -5*o + 72 = 3*j, o + 7 - 3 = 4*j. Let m be (-80)/4 - o/3. Is (16/8)/((-1)/m) a multiple of 16?
True
Let y = -11 - -14. Let h = -6 + y. Is 15 a factor of h - 1/1 - -45?
False
Let t(y) = y**2 - 7*y + 5. Let o(q) = -q**2 + 8*q - 6. Let m(b) = 4*o(b) + 3*t(b). Does 6 divide m(8)?
False
Suppose 3*t = s + 38 + 55, 5*s - 3*t = -453. Let g = s + 60. Is (-18)/g - 504/(-10) a multiple of 8?
False
Let y = -2 - -5. Suppose -69 = -y*p + 30. Is p a multiple of 11?
True
Suppose -2*b = -3*g - 1908, -b = -0*g + 2*g - 968. Does 16 divide b?
True
Let f be (-17 + 3)*(-12)/14. Suppose f = 2*x + 4. Suppose x*v = v + 4*y + 117, 4*y + 39 = v. Is v a multiple of 13?
True
Suppose 0 = -8*l + 259 + 781. Is 6 a factor of l?
False
Suppose 0*c + 5*c - 315 = 0. Is c a multiple of 9?
True
Let g(b) = b**2 - 8*b + 4. Let s be g(8). Suppose 7*k - s*j = 2*k + 380, k - 95 = -3*j. Let t = k + -28. Is t a multiple of 26?
True
Suppose -3*z - 12 = z + 5*a, 3*z + 2*a + 2 = 0. Suppose z*t = 2 - 18. Let j = t - -14. Does 3 divide j?
True
Let m(v) = -3*v - 19. Let f be m(-5). Does 27 divide ((-12)/(-1))/(f/(-18))?
True
Let g = 13 - 11. Suppose g*x + x = 129. Is 13 a factor of x?
False
Suppose -6*z + 4*z = -172. Let o = z - 44. Is o a multiple of 6?
True
Let k(t) be the first derivative of -7/2*t**2 - 10*t + 4/3*t**3 - 4. Is k(5) a multiple of 22?
False
Let v(s) = 14*s**3 + 2*s**2 + 2*s - 9. Is v(2) a multiple of 11?
False
Suppose 1330*g - 26448 = 1322*g. Does 19 divide g?
True
Suppose -3*y + 5*y + 114 = 2*v, 0 = -5*y + v - 277. Let x = 105 + y. Does 8 divide x?
False
Let w(v) = -v**3 + v**2 + 4*v - 2. Let g be w(3). Let h(a) = 2*a**2 + 11*a + 14. Is 6 a factor of h(g)?
True
Let y be 124/(-16) + 3/(-36)*-9. Let v(i) = 1. Let c(g) = g**2 + g - 4. Let q(r) = c(r) + 4*v(r). Is 16 a factor of q(y)?
False
Let c(h) = 3*h - 13. Let j be c(6). Suppose -j*w + 59 = -136. Is 13 a factor of w?
True
Suppose -2*j + j = -119. Suppose 41 = 4*y - j. Suppose -i = 3*i - y. Is 7 a factor of i?
False
Let a = -28 + 72. Suppose -2*r - 308 = -a. Is 14 a factor of ((-3)/(-2))/((-9)/r)?
False
Is -2103*(-1)/(-1*(-1 + -2)) a multiple of 8?
False
Let x(w) = 14*w - 17. Let i = -103 + 111. Does 19 divide x(i)?
True
Does 9 divide 8/((-64)/(-10728)) - -4?
False
Suppose 4*p - p = -4*g - 2, 2*p - 2*g = 8. Suppose -1 + 3 = -2*d - 3*t, -p*d + 2*t = -8. Suppose x - d - 40 = 0. Does 21 divide x?
True
Let s(q) = -q**3 + 7*q**2 - 5*q - 5. Let j be s(6). Let f be 0/(2 - j) - 2. Is 23 a factor of (-1)/2*276/f?
True
Let s(j) = 4*j + 17. Let y be s(-8). Does 4 divide (28/(-21))/(2/y)?
False
Suppose -25 = -3*k + o, o - 35 = -3*k - 0*o. Suppose k*b - 806 + 66 = 0. Is 10 a factor of b?
False
Let h(j) be the first derivative of -21*j**2/2 - 14*j - 1. Does 13 divide h(-5)?
True
Suppose -y - 7*n + 2*n + 69 = 0, -287 = -5*y + 4*n. Suppose -y = -3*w + 136. Suppose w - 4 = 5*h + b, 0 = -2*h + 2*b + 22. Is