 q be d(6). Suppose 5*n - 2*b = 3*b + 30, -n + q*b = -10. Suppose n*h - 225 - 30 = 0. Does 16 divide h?
False
Let g be 20/12*(2 + 1). Suppose -2*k + 160 = -g*x, 2*x + 0*x = -3*k + 221. Is k a multiple of 15?
True
Let s = -15 - -23. Let i(j) be the second derivative of j**3/2 - 19*j**2/2 - 33*j. Does 2 divide i(s)?
False
Does 56 divide 6 - 3 - (-3008 - -5)?
False
Suppose 99 + 1097 = v. Suppose v = -12*g + 4100. Does 22 divide g?
True
Let b(t) = -6*t**2 - 7*t - 2. Let g(n) = -3*n**2 - 3*n - 1. Let v(a) = 3*b(a) - 7*g(a). Let s be v(-1). Suppose -s*k = -45 - 3. Does 6 divide k?
True
Suppose p + 381 = 2*d - 2*p, 0 = 5*d + p - 995. Is 9 a factor of d?
True
Suppose 4*f = j - 100, 5*j + f - 475 = -4*f. Let l be 6/(j/(-28))*-36. Suppose -3*z = -81 - l. Is z a multiple of 12?
True
Suppose 9*w + 1939 - 9121 = 0. Is w a multiple of 19?
True
Suppose 4 + 21 = -5*c. Let y(m) = m**2 + 6*m + 7. Let b be y(c). Let x(j) = 4*j**3 - j**2 + 3*j - 1. Does 11 divide x(b)?
True
Let t(y) = -y**3 - 4*y**2 + 2*y + 2. Let w be t(-3). Let h(g) = g**2 + 12*g - 27. Let p be h(w). Let n(m) = -m**3 - 13*m**2 + 14*m + 13. Does 2 divide n(p)?
False
Let z(o) = 23*o + 3. Let j be z(-2). Let m = j + 75. Is 16 a factor of m?
True
Let r be ((-7 - -3) + 125)/(-2)*-2. Suppose 0 = -4*v - 4*y + 496, -4*v + 4*y = -5*v + r. Is 50 a factor of v?
False
Suppose 40*n - 65*n + 8250 = 0. Is n a multiple of 15?
True
Suppose 2*k = -c + 98, 11*c + 4*k = 16*c - 448. Is 26 a factor of c?
False
Suppose -3*c - 4097 = -3*y - 5*c, 0 = 2*y - 3*c - 2727. Does 15 divide y?
True
Let k(h) be the third derivative of -h**5/60 + 3*h**4/4 - 3*h**3 + 35*h**2. Does 5 divide k(8)?
False
Let w be 30/(-8) + ((-36)/16)/(-3). Let p = 307 - 523. Is ((-8)/w)/((-12)/p) a multiple of 16?
True
Is 14 a factor of (6/(-12))/(2/(-504))?
True
Let n(b) = 5*b + 30. Let j be n(-7). Is 6 a factor of (-122)/(-10) - (-1)/j?
True
Let r = 64 + -29. Let t = r - 25. Is t a multiple of 3?
False
Let r(l) = l**3 - 4*l**2 + l + 3. Let s be -3 + 0 + 5 - -2. Let d be r(s). Suppose u = f + 89, -d*f + 2*f = -u + 81. Is u a multiple of 37?
False
Let j = 586 + -195. Is j a multiple of 10?
False
Let u(f) = f**3 + 11*f**2 + 13*f - 6. Is 4 a factor of u(-9)?
False
Suppose -4*h + 55 = -9*h. Let k = h - -16. Suppose a - k*a + 80 = 0. Does 7 divide a?
False
Let j(k) = -2*k**3 + 9*k**2 + 20*k + 13. Is 4 a factor of j(-5)?
True
Suppose -3*x - m = 72, 4*x + 65 = m - 31. Let d = 29 + x. Is 3 a factor of d?
False
Let q(s) = 14*s**2 + 2*s + 14. Let x = 63 + -67. Is q(x) a multiple of 23?
True
Let i = 632 - 304. Does 8 divide i?
True
Let n(f) = 14 - 4*f + 4*f + f - 5*f. Does 5 divide n(0)?
False
Suppose -3*a - 5*a + 96 = 0. Suppose -a*l - 540 = -2052. Is 25 a factor of l?
False
Let t = 35 - -16. Let b be ((-18)/10)/((-4)/220). Let c = b - t. Is c a multiple of 16?
True
Suppose 3*g = -3*m + 945, 0 = g - 59 + 64. Is m a multiple of 2?
True
Let d = 921 - 264. Is 123 a factor of d?
False
Let p = -231 + 496. Is p a multiple of 21?
False
Let k = -1 - -2. Let i be ((-4)/(-10))/((-4)/200). Let y = k - i. Is y a multiple of 7?
True
Let m be 1 + (152/(-6) - (-1)/3). Is (-1)/6 - ((-19940)/m)/(-5) a multiple of 28?
False
Let i(l) be the second derivative of -3*l**5/20 - l**4/4 + 5*l**3/3 + l**2/2 - 10*l. Is i(-4) a multiple of 5?
True
Let k(f) = -5*f + 142. Is 26 a factor of k(-28)?
False
Suppose 772 = 5*w - w. Does 20 divide (w - (4 - 9)) + 1 + 1?
True
Let y(z) = z**2 - 11*z + 16. Let w be y(8). Let c(p) = p**2 + 2*p + 15. Is 11 a factor of c(w)?
False
Let l = -11 + 12. Suppose 29 = 5*f - l. Suppose f*h - 253 + 13 = 0. Does 5 divide h?
True
Let i be -6 - (-3)/((-6)/(-2)). Let k be (-1)/(i - -3 - -1). Suppose -l - 4*c + 13 = -k, -5*l = -3*c - 139. Is 13 a factor of l?
True
Let h = -34 - -38. Suppose -87 = -3*i - 5*y + 32, -217 = -h*i + 5*y. Does 8 divide i?
True
Let b = -29 - -11. Let w = 28 + b. Is 5 a factor of w?
True
Suppose 4*s - 147 = -3*i, -s + 3*i + 33 = -0*s. Suppose -7 - 1 = 3*y + 5*a, -s = 5*y - 3*a. Is (-268)/y - (-10)/(-15) a multiple of 35?
False
Let d be (-3)/4 - 151/(-4). Let q = d - 2. Is q a multiple of 35?
True
Let m = 200 + -36. Is m a multiple of 21?
False
Let j = 7 + -4. Suppose -8 = -j*d - o - o, 2 = 3*d - 4*o. Suppose -d*w + 6 + 66 = 0. Is w a multiple of 31?
False
Let m = 15 - -143. Is 11 a factor of (m/8*-2)/(3/(-24))?
False
Suppose 13*a + 3397 = 5*p + 12*a, -p - 3*a = -689. Is p a multiple of 34?
True
Let l = 507 + -51. Suppose -23*y + l = -20*y. Does 23 divide y?
False
Is -9 + 32/2*117 a multiple of 23?
True
Let c = -1 - -7. Suppose c*v = 98 + 40. Is v a multiple of 6?
False
Let a = 115 - -196. Is 3 a factor of a?
False
Suppose -y - b = -10, 6*y - 35 = 2*y - 3*b. Suppose 0 = 2*w + y*w - 140. Is 20 a factor of w?
True
Suppose 0 = -12*l + 420 + 1752. Is 32 a factor of l?
False
Let w(o) = -o - 7. Let p be w(-4). Let h be ((-6)/p)/(4/142). Suppose -a = -3*n + h, 3*n - 4*a - 68 = -0*a. Is 6 a factor of n?
True
Let n be (-80)/2*3/(-6). Let f = n - -12. Is 7 a factor of f?
False
Suppose 0 = -6*g + g + 5*w, 0 = -3*w + 9. Suppose -g*s + 2*k + 25 + 37 = 0, -4*s + 3*k = -83. Is s a multiple of 5?
True
Suppose -4*s - r = 5, r = 5*s - r + 16. Is ((-4)/(-2))/(s - (-18)/8) a multiple of 2?
True
Let f(i) = -i**2 - 9*i - 14. Let c be f(-7). Suppose c = -7*d + 9*d - 88. Is d a multiple of 8?
False
Suppose 0*l - 2*l - a + 3 = 0, -3*l + 3 = a. Suppose -j + 4*j - 399 = l. Is j a multiple of 24?
False
Let f be (8/(-2))/((-10)/(-15)). Let r(j) = -2 + j**2 + 6*j - 3*j + j. Does 4 divide r(f)?
False
Let p be (3 + -2)/((-4)/(-12)). Let s(q) = 10*q**2 - 4*q + 6. Is s(p) a multiple of 12?
True
Let y(q) = 6*q - 6*q + 14 + 40*q - 6. Does 9 divide y(2)?
False
Is 3 a factor of 3312/(-80)*(-2)/(-6)*-10?
True
Suppose 4*t + 76 = p, 2*p + 3*t + 37 = 145. Let a = 474 - 324. Suppose c + 4*c + p = 2*z, -5*z = -3*c - a. Is z a multiple of 10?
True
Let k be (12 - 15)*(-193)/3. Let o = -127 + k. Let x = o - 25. Is x a multiple of 15?
False
Suppose -2*q + 6*q - 20 = 0. Does 10 divide (q/(-4))/(-5) + 237/12?
True
Suppose -26*m - 37758 = -55*m. Does 7 divide m?
True
Let a be (-14)/35 - (-741)/15. Let x = 166 - a. Is 23 a factor of x?
False
Let p(x) = x**3 - 10*x**2 + 14. Let l(j) = j + 10. Let d be l(0). Is 7 a factor of p(d)?
True
Let p = -19 - -21. Suppose p*a + 4*a = 396. Does 11 divide a?
True
Let m(i) = i**3 + 27*i**2 - 7*i - 34. Does 9 divide m(-26)?
False
Suppose 3*d = -4*c - c + 1057, 4*c + 3*d - 845 = 0. Suppose c - 80 = 2*q. Is 18 a factor of q?
False
Suppose -2*h + 0*h = 6, -4*q + 325 = h. Let r = 63 + q. Suppose r - 40 = c. Does 35 divide c?
True
Let y = -60 - 9. Is (0 - 30/9)*y a multiple of 33?
False
Suppose 8*z = 1612 + 1148. Is z a multiple of 17?
False
Suppose 3*z - z - 6 = 0. Suppose -3*v = -z*a - 15, 2*a - a - 1 = -v. Suppose d = 5*f - 214, -f + v*d + 126 = 2*f. Does 9 divide f?
False
Suppose 0 = -4*n + 27 + 89. Let c = -11 + n. Is 10 a factor of c?
False
Let y(c) = 18*c**2 + 60*c + 8. Is 40 a factor of y(8)?
True
Let s(m) = m + 4. Suppose -3*y = -6 - 0. Suppose p - 3 = -1, 0 = y*n - 4*p. Does 4 divide s(n)?
True
Suppose -2*x + 276 = -0*x. Suppose 0 = -3*v - 0*v + x. Is v a multiple of 23?
True
Let t(f) = f**2 + 4*f - 144. Is 11 a factor of t(13)?
True
Suppose -15 = -3*o, z - 3*o = 73 + 46. Suppose 298 = 3*a - z. Is 31 a factor of a?
False
Suppose -3*m + m = -144. Let q be ((-4)/(-12))/(3/m). Let b(h) = 8*h - 19. Is 15 a factor of b(q)?
True
Let f(n) = -15*n**3 + n**2 + 5*n + 1. Does 33 divide f(-4)?
True
Suppose -q + 5 = -2. Let a = q + -6. Is 7 + 15 - -2*a a multiple of 7?
False
Suppose -5*g + 75 = -5*c, 18 = g - 2*c - 2*c. Is 7 a factor of g?
True
Let o(v) = v**2 + 11*v + 18. Let c be o(-9). Suppose 3*u - 5*u = c. Suppose 0 = -r - m + 14, u = -r - m + 4*m + 22. Is 8 a factor of r?
True
Is ((-208)/(-20))/(-2)*-20 a multiple of 13?
True
Suppose 5*g = 2*d - 88 + 408, 4*g - 279 = -3*d. Is 33 a factor of g?
True
Let u(r) = r**2 - 3*r + 2. Let h be u(1). Does 13 divide (-3)/6*(h - 2 - 106)?
False
Suppose 632 = -c + 995. Is 18 a factor of c?
False
Suppose -7999 = -2*a - 2*y - 2589, 2707 = a + 2*y. Does 7 divide a?
False
Let r be (0/1)/2 + 39. Let j = -57 + r. Is ((-24)/j)/(4/90) a multiple of 30?
True
Let q(g) = -g**2 - g + 2. Let c be q(2). Is 13 a factor of c + 142/(-