of 14?
True
Let a(w) = -w + 11. Let p be a(8). Suppose 0 = -p*l + 8 + 46. Suppose 4 + l = 2*s. Is s a multiple of 9?
False
Let u(y) = -y**2 + 88*y + 14. Is u(18) a multiple of 14?
True
Suppose 85 = u - 4*s, -6*u = -8*u - 4*s + 110. Is u a multiple of 19?
False
Suppose -107*h = -99*h - 14832. Does 33 divide h?
False
Let i(g) = -12. Let x(c) = 2*c + 13. Let h(t) = -4*i(t) - 5*x(t). Let q(p) = -p**3 + 2*p**2 - 2*p - 1. Let m be q(2). Does 11 divide h(m)?
True
Is 4 a factor of -186*((-168)/36 + 2)?
True
Let j(f) = f**3 + 7*f**2 + 3*f + 10. Let w be j(-7). Let a = w - 7. Let i = 37 - a. Does 11 divide i?
True
Let c(m) = m - 10. Let l be c(16). Suppose -l*o = -7*o + 80. Is o a multiple of 20?
True
Suppose 0 = 4*l - 32 - 0. Let c(a) = 2*a**3 - 5*a**2 + 3*a. Let p(n) = 3*n**3 - 7*n**2 + 5*n. Let b(k) = l*c(k) - 5*p(k). Does 19 divide b(7)?
False
Let j(u) be the second derivative of u**5/20 - u**4/3 + 7*u**3/6 - 2*u**2 + 19*u. Does 24 divide j(4)?
True
Suppose 0 = 4*x + 8, -10*a = -8*a + 4*x - 1144. Is a a multiple of 24?
True
Suppose 8*r - 440 = -2*r. Does 2 divide r?
True
Suppose 499 = a - z, 4*a = 2*z - 4*z + 1978. Is 20 a factor of a?
False
Suppose -4*z + 132 = -z. Is (11 - z)/(-1 + 0) a multiple of 11?
True
Suppose -493*c - 26075 = -528*c. Is 3 a factor of c?
False
Suppose 15*l - 7793 = 1522. Is l a multiple of 27?
True
Is (22/(-4) + 4)*(-50)/3 a multiple of 2?
False
Suppose -o = 2*g - 3 - 2, -2*o = 6. Suppose -b - 12 = 4*y - 6*b, -5*b = g*y - 28. Suppose 0 = -3*a - y*j + 46, a - 8 = 2*a - 4*j. Does 4 divide a?
True
Let p(i) = -i**3 - 10*i**2 + 11*i + 12. Let u be p(-8). Let y = -144 - u. Let m = y - 22. Does 22 divide m?
False
Suppose 20 = p + 4*p + 3*m, 0 = -3*p - 4*m + 12. Suppose p = o + 2. Is o - (-32)/(-4)*-10 a multiple of 13?
False
Suppose 242 = -8*z + 5*z + 2*t, z - 3*t = -90. Is 3 a factor of z/(-5) + (16/(-10) - -1)?
True
Suppose 7*d - 3*d - 20 = 0, -2*d = -o - 1. Let f(p) = p**3 - 9*p**2 + 4*p + 11. Does 23 divide f(o)?
False
Suppose -16697 = -5*t + 4*a - 5*a, -4*a + 13364 = 4*t. Is t a multiple of 21?
True
Let u(s) = -s**2 - s + 2. Let o be u(2). Let a = -301 + 301. Is (14/o + a)*-18 a multiple of 20?
False
Let q be -1*8/(3/(-3)). Suppose -q*b = -6*b + 20. Is -3 - 0 - -5 - b a multiple of 4?
True
Suppose -455 = -5*f - 3*v, 4*f + 4*v = 3*v + 364. Let o = -40 + f. Let q = o + -6. Is 15 a factor of q?
True
Suppose n - m + 48 = 0, n + 4*m = 2*m - 36. Let b be (n/(-6))/((-4)/(-150)). Suppose s + b = 6*s. Is s a multiple of 11?
True
Let f(q) = 261*q + 330. Let k(y) = 26*y + 33. Let w(i) = -2*f(i) + 21*k(i). Is 10 a factor of w(5)?
False
Let g = 0 - -44. Let j = 78 - g. Does 17 divide j?
True
Let m(c) = -7*c + 6. Let i be m(-1). Let u be (18/(-4))/((-2)/(-4)). Let s = i - u. Is s a multiple of 11?
True
Suppose -3*v - 2*w - 185 = 0, -5*w = -w - 20. Let q = 120 + v. Is q a multiple of 32?
False
Suppose -122 = -w - w. Suppose -4*j - w = 99. Let q = 76 + j. Is q a multiple of 12?
True
Suppose 5*b + 0*b - 5*w - 2005 = 0, -5*b = 5*w - 1985. Does 57 divide b?
True
Let o be 0 + -3 + 0 + 54. Suppose 0 = -4*j + 1 - 5. Is 6 a factor of 5/((-15)/o)*j?
False
Suppose 2591 = 3*i - 4*l - 911, -4*i + 2*l = -4676. Is i a multiple of 18?
True
Let g = -2486 + 5942. Is 54 a factor of g?
True
Let x(n) be the first derivative of -3*n**4/4 - 4*n**3/3 - 3*n**2/2 - n + 5. Let q be x(-2). Does 9 divide 1 - -1 - (-208)/q?
True
Let y(v) = -19*v + 2. Let a(d) = -18*d + 2. Let z(t) = -4*a(t) + 5*y(t). Suppose -8 = 3*o + o. Does 16 divide z(o)?
True
Suppose 155 = -0*m + 5*m. Let q = m - 3. Does 8 divide q?
False
Is 5 a factor of ((-19)/((-190)/(-244)))/(2/(-5))?
False
Let k(d) = d**2 - 2*d - 3. Let p be 66/15 + (-12)/30. Let s be k(p). Suppose -q = -s*x + 197, -2*x - q + 84 = -4*q. Is 18 a factor of x?
False
Let x = 34 - 10. Suppose 0 = 2*d - 16 - x. Let z = 70 - d. Does 11 divide z?
False
Suppose -4*w - 3*w = 84. Let o = 21 - w. Does 13 divide o?
False
Let m = -47 - -35. Let t be (-44)/(-6) - m/(-9). Let o(z) = 2*z**2 + z + 3. Is o(t) a multiple of 27?
True
Let t(p) = 13*p**2 + 10*p - 101. Is t(8) a multiple of 60?
False
Let c(z) = -7*z + 9. Suppose 3*u - 6 = -4*b + 14, -u = -b - 2. Suppose -4*w - 48 = 4*k, 2*k = -u*w + k - 39. Is c(w) a multiple of 24?
True
Let l be 1 - -2 - 2 - (-22)/11. Let n(o) = 2*o**3 - 4*o**2 + 3*o + 7. Is n(l) a multiple of 34?
True
Suppose 7*n - 3*n = -8, 2*t = -3*n - 8. Let i be t + -1 - (0 - -58). Is 8 a factor of (9/(-6))/(9/i)?
False
Let i be 5/10*(-16)/(-1). Let s(o) = 29*o**2 + 2 - 30*o**2 + 3*o + 8*o. Is 13 a factor of s(i)?
True
Let k be -25 - 0 - 1/2*-2. Let o = 100 + k. Is o a multiple of 19?
True
Let o be 437/(-5) - 18/(-45). Let a = 237 + o. Is 30 a factor of a?
True
Suppose -38*x + 39*x - 2 = 0. Suppose 3*s + x*q - 35 - 47 = 0, 0 = 2*s + 3*q - 63. Is 12 a factor of s?
True
Let o = 120 - 128. Does 10 divide 41 + (-9 - -4 - o)?
False
Let g(a) = 10*a**2 - a**3 - 15 + 28 - 11. Let y be g(10). Suppose -y*f + 4*t + 0*t = -68, -4*f + 3*t = -136. Is f a multiple of 8?
False
Suppose -3*q - 3*s = -105, 2*s - 7*s - 49 = -2*q. Suppose x + 4*m = 33 + 1, 0 = -x - 2*m + q. Does 12 divide x?
False
Let f(l) = l + 9. Let m be f(-5). Suppose m*u + 6 = -6. Is ((-2)/u)/(6/108) a multiple of 12?
True
Is (4/6)/((-4)/6)*-268 a multiple of 6?
False
Suppose -4*p + 1127 + 89 = 0. Is p a multiple of 16?
True
Let u(q) = 136*q**2 + 10*q + 10. Let i(l) = 91*l**2 + 7*l + 7. Let y(f) = 7*i(f) - 5*u(f). Let p be y(-1). Let o = 70 + p. Is 17 a factor of o?
False
Suppose 21*d - 18*d = 36. Suppose d*r - 11*r - 62 = 0. Is r a multiple of 16?
False
Let n(d) = 37*d**2 - 47*d + 9. Let b(i) = -18*i**2 + 23*i - 5. Let h(q) = -7*b(q) - 3*n(q). Is h(4) a multiple of 44?
False
Let g(z) = -1123*z + 5. Is 47 a factor of g(-1)?
True
Let i = -98 + 102. Suppose 0 = a + 3*g - 103, 5*a + i*g - 96 - 452 = 0. Is a a multiple of 38?
False
Does 5 divide (11 - 12) + (-6)/(-2) + 91?
False
Let n be 3*(196/(-12))/(-7). Suppose n*o = 8*o - 10. Does 10 divide 6/o - (-994)/35?
False
Suppose 5*w = w - 4. Is 18 a factor of w/(-5) + 1498/35?
False
Let k(d) = -d**3 - 19*d**2 - 12*d - 30. Is 8 a factor of k(-19)?
False
Let p(v) = 5*v**3 + 9*v**2 - 29*v - 29. Is p(6) a multiple of 50?
False
Let g be 1212/(-8)*1*6. Let i be g/(-81) + (-2)/9. Let a = i + -4. Is a a multiple of 3?
False
Suppose 0 = 3*q - 14*q - 154. Is 36 a factor of (q/(-4))/(4/64)?
False
Let b(v) = v**2 - 43*v - 69. Is b(-21) a multiple of 15?
True
Let o = -7 + 62. Is ((-1782)/o)/((-26)/20 - -1) a multiple of 12?
True
Let b(q) = 48*q + 162. Is b(20) a multiple of 14?
False
Let a(m) = 7*m + 45. Let d be a(6). Suppose 2*s = -4*r + 7*s + d, 0 = -r - s + 15. Does 3 divide r?
True
Suppose -18*n + 240 = -14*n. Suppose -v = v - n. Is 14 a factor of v?
False
Let w(p) = -p**2 - 4*p - 2. Suppose -13 = -5*h + 42. Let y(r) = 4*r**2 + 12*r + 5. Let f(j) = h*w(j) + 4*y(j). Does 15 divide f(3)?
False
Let p = -226 + 995. Is 9 a factor of p?
False
Suppose 126 - 22 = 13*b. Let s(y) = -2 - 3*y**3 + 3*y + 0*y + 2*y**3 + 8*y**2. Is s(b) a multiple of 22?
True
Let t(o) = -o**3 + 11*o**2 - 11*o + 12. Let b be t(10). Let x be (-3 + (4 - b))*-1. Let p = 10 - x. Is 3 a factor of p?
True
Suppose 3*p + 3*d - 7635 = -0*p, 5*p - 12734 = -2*d. Does 14 divide p?
True
Let h = 1612 + 302. Is 11 a factor of h?
True
Let v be (-54)/(-15)*(9 + -4). Suppose v = 2*j - 42. Suppose -2*h - j = -72. Is 7 a factor of h?
True
Does 8 divide 8/(-10) + 975/125 - -617?
True
Let b = 227 + 160. Does 21 divide b?
False
Let k(x) = -x + 2*x**2 - x - x - 3 + 9*x. Let y = 13 + -19. Is k(y) a multiple of 11?
True
Suppose -3*v = -4*v + 3. Suppose -4*q - 3*l + 71 = -74, 3 = -v*l. Let d = -19 + q. Is d a multiple of 6?
True
Let z(s) = -s**3 + 26*s**2 - 48*s + 20. Does 4 divide z(24)?
True
Suppose -3556 - 3572 = -18*n. Is n a multiple of 17?
False
Let z = -51 - -74. Suppose -2*k = i - 20, -2*i - z = -3*k - 0*i. Is 3 a factor of k?
True
Let n = -6070 + 8903. Does 103 divide n?
False
Suppose 147 + 203 = 7*o. Let x = -20 + o. Suppose 5*k - 10*k + x = 0. Does 5 divide k?
False
Let l = 3721 - 2159. Is 35 a factor of l?
False
Is ((-2)/3)/((-30)/28710) a multiple of 50?
False
Let w = -65 + 111. Let b = w + -1. Is 5 a factor of b?
True
Let p be 14/2 + 20/20. Suppose -3*a + 4*t = 6, -23 = -5*t - p. Is