 w + 46, 73 = v*w - 5*o. Does 6 divide w?
True
Let b be 75/(-10) - (-1)/(-2). Is 12 a factor of 303 + (b/10)/((-32)/80)?
False
Let y be (2/4)/(8/96). Let k be 34 + 2/(2 + -4). Let x = k + y. Is x a multiple of 14?
False
Let a(l) = 3 - 4*l + 5*l + 2*l. Let u be 72/8*(2 - 1). Is a(u) a multiple of 10?
True
Let v be (-1 - 0)*(-15)/3. Let s be 0/1*v/(-5). Does 13 divide 20 + (-6)/3 + s?
False
Suppose 0 = 28*q - 32*q + 1488. Is 4 a factor of q?
True
Suppose -3*n = -4*u - 102, -2*n + 5*u + 68 = u. Is n a multiple of 10?
False
Suppose 25*b = 27*b - 884. Is 17 a factor of b?
True
Let q = -33 - -310. Is q a multiple of 31?
False
Is 5 a factor of 500*4/16*1?
True
Let b = -387 - -2078. Is 19 a factor of b?
True
Let q(m) = m**2 + 7*m - 15. Let h be q(-9). Does 23 divide ((-3)/(-6))/(h/162)?
False
Let b(s) = 4*s - 1. Let r be b(1). Let j(y) = 3*y**3 - 24*y**2 - 11*y + 87. Let p be j(8). Is 120/16*(r + p) a multiple of 15?
True
Let x(u) = u**3 - 4*u**2 - 2*u - 11. Let m be x(5). Let s(b) = 9*b**2 + b - 4. Does 17 divide s(m)?
False
Let g = -60 - -29. Let r = 2 - g. Is 6 a factor of r?
False
Suppose -7 = m - 13. Let c = m + -4. Suppose c*b + 2 = 14. Is 6 a factor of b?
True
Does 5 divide (5 + -4*346)*(-8)/28?
False
Let j(r) = 7 + 2*r - 19 - 20 + 4*r. Is 8 a factor of j(7)?
False
Let z(r) = -r**2 + 7*r + 7. Let j(x) = 2*x - 4. Let l be j(11). Suppose -3*q + l = -0*q. Is 4 a factor of z(q)?
False
Let b(w) = w**3 + 2*w**2 - w - 1. Let m(p) = -3*p**3 - 20*p**2 + 3*p - 2. Let n(k) = -4*b(k) - m(k). Does 19 divide n(9)?
False
Let r = -64 - -38. Let c = r - -126. Does 9 divide c?
False
Let z(r) = 3*r**3 + 12*r**2 - 6*r - 7. Let s be z(-4). Suppose m - s + 11 = 0. Does 3 divide m?
True
Let q(y) = 1 + y**3 + 3 + 8*y + 1 - 1 - 6*y**2. Is 8 a factor of q(5)?
False
Let f(b) = 3*b**3 + 5*b**2 + 3*b + 2. Let a(h) = -2*h + 1. Let w be a(2). Let x be f(w). Let d = 73 + x. Is d a multiple of 15?
True
Suppose t = -t + 7*t. Suppose -p - 4*h + 92 = -t*p, -5*h = 25. Is p a multiple of 16?
True
Suppose -r = -0*r - 88. Let k = 158 - r. Let l = k - 16. Does 20 divide l?
False
Suppose 2*m - 1658 = -31*c + 35*c, -m - 2*c + 809 = 0. Is 63 a factor of m?
True
Suppose 2*m + 5*p - 3*p - 172 = 0, 0 = -3*m - 2*p + 258. Is 43 a factor of m?
True
Suppose w - 4*s = 377, -2*s = 13 - 5. Is 46 a factor of w?
False
Suppose 2*q + 2*d = 7*d + 12, -4*q = -d + 12. Is (3 + q + 0)*-39 a multiple of 13?
True
Suppose 5*w - 1820 = -5*x, 79 = 2*x - w - 652. Does 5 divide x?
True
Suppose 8*m = 13*m + 30. Let p(d) = d**2 + 2 + 0 + 4*d - 3. Does 6 divide p(m)?
False
Let y(p) = -9*p + 3 - 15*p + 16. Is y(-5) a multiple of 31?
False
Suppose -2*z + 305 - 65 = 0. Suppose -25*p + 23*p + z = 0. Does 12 divide p?
True
Suppose -6 = 3*v, 4*q = 5*v - 5 + 3487. Suppose t - 2*f = 196, -5*t + 101 + q = f. Is t a multiple of 33?
False
Suppose 5*f = 3*h - 267, 7*h - 2*f - 342 = 3*h. Does 7 divide h?
True
Suppose -3*n = u + 20, -5*n + 0*u - 20 = -u. Let l(g) = g**2 + 3*g + 11. Is l(n) a multiple of 14?
False
Is 4/(-9*8/(-3672)) a multiple of 14?
False
Suppose 0*l = 5*l - 5, l + 19 = 4*t. Suppose -t*a = 5*n - 180, 0 = -n + 2*n - a - 28. Is 16 a factor of n?
True
Let g = 89 - 64. Suppose 2*v = 3*r + 2*r - g, 5*r + v - 40 = 0. Is 6 a factor of r?
False
Let t = 549 + -225. Is 14 a factor of t?
False
Is (0 - 2166)*1/3*-1 a multiple of 38?
True
Let n = 106 - 53. Suppose -s + 26 = -t, 0*s - n = -2*s + t. Is s a multiple of 6?
False
Let f be (5 - 0)/5*(7 + -4). Suppose -76 = -4*z + 308. Suppose f*l - z = -l. Does 9 divide l?
False
Let o(l) = -8*l**2 + 6. Let p be o(-2). Let c = p + 100. Does 4 divide c?
False
Let c = -12 + 4. Is 172*26/36 + c/36 a multiple of 11?
False
Is 14 a factor of ((-314)/4)/((60/(-8))/15)?
False
Let t(d) = -24*d - 10. Let l be t(-15). Suppose 3*u + 17 - l = 0. Let w = u - 56. Does 20 divide w?
False
Suppose -r + 8 = 3. Suppose r*n - 23 = 47. Does 3 divide n?
False
Let j(r) = r**3 + 7*r**2 - 17*r + 13. Let s(z) = -2*z - 1. Let o be s(4). Let p be j(o). Suppose -3*t + 7*t - 259 = c, -2*c = p*t - 274. Is t a multiple of 33?
True
Let n = -2 + 6. Suppose 31 = 2*t - z - 2*z, 0 = -t + n*z + 13. Does 19 divide (1 + 1)*t + -3?
False
Let x = -506 - -572. Is 7 a factor of x?
False
Let i be 304/38 + (1 - 0). Suppose -2*c + 14 + 8 = 0. Let u = c + i. Does 10 divide u?
True
Let n = 429 - 244. Suppose 2*a - 3*t = 214, -4*a - 4*t + 243 + n = 0. Does 28 divide a?
False
Let b(y) = -y**2 + 2*y. Suppose 5*o = -5*m + 8 - 23, -o = 5*m + 23. Let l be b(o). Suppose -80 = -l*u - 5*u. Is 6 a factor of u?
False
Suppose 0*v = -10*v + 30. Suppose -v + 443 = 4*i. Is 11 a factor of i?
True
Let i(q) = -319*q + 205. Does 30 divide i(-7)?
False
Suppose 15*n = -3*h + 11*n + 1147, -3*h + 4*n = -1139. Does 6 divide h?
False
Let r be (-2)/((-4)/(-3)) + (-9)/6. Let f(c) = 20*c**2 + 5*c + 1. Does 24 divide f(r)?
False
Is -239*2/(-2)*(0 - -1) a multiple of 46?
False
Let y(q) = q + 4. Let u be ((-4)/(-8))/((-2)/8). Let i be y(u). Suppose 0 = -i*v - 2 + 16. Is 6 a factor of v?
False
Let a = 3 + 0. Suppose r + c + 30 = 0, -3*r - 2*r = a*c + 142. Is 10 a factor of (r/8)/(6/(-24))?
False
Let q = 1736 + -871. Does 15 divide q?
False
Suppose -4*s = 2*x, s = -x + 6*s - 21. Let l = 122 + x. Does 11 divide l?
False
Let z = -172 - -1069. Is z a multiple of 13?
True
Suppose 0 = 3*n + 2*g - 10999, 3*n - 5*g + 9*g - 10997 = 0. Is n a multiple of 11?
False
Suppose -4163*v = -4156*v - 5145. Is v a multiple of 147?
True
Suppose 0 = 2*q - 6, -2*j - q + 14 = -5. Suppose -2*b + 76 = j. Is b a multiple of 13?
False
Let a(z) = 108*z**2 - 36*z - 149. Is a(-5) a multiple of 18?
False
Let o(k) = 26*k + 689. Is 13 a factor of o(-15)?
True
Let m(y) = -y**3 - 3*y**2 + 5*y - 1. Let v = 8 + -4. Suppose -5*n - v*h = 33, 0 = 2*h + 1 + 3. Is 8 a factor of m(n)?
True
Does 17 divide (-76 - -21)*(0 - 5)?
False
Suppose -5*h + 880 = -4*h + u, 3*h + 4*u - 2643 = 0. Is 25 a factor of h?
False
Does 38 divide -2564*(-8)/32 + 4?
False
Let f(s) be the third derivative of s**5/60 - 5*s**4/24 - 17*s**3/6 + 18*s**2. Is 10 a factor of f(-7)?
False
Let i = 22 - 14. Suppose i*t = 15*t - 28. Is 2 a factor of t?
True
Let f = 924 - 317. Does 82 divide f?
False
Let n(g) = 9*g - 2. Let d be n(2). Suppose 2*t + 6 = -2, -14 = 5*s - 4*t. Does 2 divide ((-18)/8)/(s/d)?
True
Let t(p) = -p**2 + 13*p - 10. Let u be (0 + -1)*1 + 12. Let m be t(u). Let g = 42 + m. Is g a multiple of 23?
False
Let z = -92 + 165. Suppose -2*y - 431 = -5*n, n + 2*y - z = -2*y. Is n a multiple of 16?
False
Suppose 21 = 5*x - s, -3*x + 9 = -4*s - 7. Suppose -x*l + l = -135. Does 15 divide l?
True
Let p(s) = -s**2 + 7*s + 16. Let d be p(8). Suppose 2*o = 10, d = -b + 4*o + 63. Is 13 a factor of b?
False
Suppose 0 = -9*o + 16*o - 714. Is 8 a factor of o?
False
Is 19 a factor of 24959/22 - 8/(-16)?
False
Let y(g) be the third derivative of -5*g**4/24 + 5*g**3/2 - 8*g**2. Is 20 a factor of y(-13)?
True
Suppose 1109 + 391 = -10*h. Let u = 38 + -136. Let g = u - h. Is g a multiple of 13?
True
Let g = 203 + 150. Suppose -t = 1, -2*t = 6*o - o - g. Is o a multiple of 11?
False
Suppose -4*b = 0, 2*h + 260 = 5*b - 3*b. Let n = -64 - h. Is 13 a factor of n?
False
Suppose 594 = 3*r - 306. Suppose 0*u = 2*u + r. Is 19 a factor of (-1)/(152/u - -1)?
False
Let g(i) = -i**3 - i**2 - i - 12. Let p be g(0). Does 8 divide (6/(-5))/(p/160)?
True
Is 10 a factor of (-6)/(-5)*(-3575)/(-33)?
True
Suppose -2*z + 21 = 3*q + 2, 4*z - 3*q = -7. Suppose -5*p - 5*r = -725, -5*p + 626 = z*r - 84. Does 10 divide p?
True
Is (-56)/(-6)*72/7 a multiple of 24?
True
Let u(a) = a + 13. Let q(m) = 1. Let g(y) = -y**2 - 9*y + 5. Let c be g(-10). Let j(n) = c*q(n) + u(n). Is j(6) a multiple of 7?
True
Let m = -30 - -28. Is 7 a factor of ((-20)/60)/((m/27)/2)?
False
Let b(y) = -2*y**3 - 2*y**2 + 24*y - 64. Is 23 a factor of b(-13)?
True
Suppose 0 = 11*s - 460 - 1663. Does 10 divide s?
False
Suppose -5*c - 37 = -2*g + 266, 3*c + 729 = 5*g. Suppose 13*u - g = 11*u. Is u a multiple of 24?
True
Let j = 825 + 1023. Does 42 divide j?
True
Does 25 divide 28/(-12)*3 - (-1292 - -5)?
False
Let i be (-11)/((-1)/3*-1). Let u be (-1022)/21*(-1)/((-8)/(-12)). Let l = i + u. Does 5 divide l?
True
Suppose -x + 14 = 10. Suppose -4*s = s + x*h - 1563, 2*s + 4*h - 618 = 0. Is s a multiple