= i + c. Does 15 divide j?
False
Let r(l) = -2*l**2 + 9*l - 4. Let q(g) = g - 1. Let a(c) = 3*q(c) - r(c). Does 21 divide a(6)?
False
Let j(p) = 7*p**2 - p + 13. Does 11 divide j(4)?
True
Suppose -2*m = 4*d - 14, 0 = 2*m + 3*m + 4*d - 41. Does 8 divide m?
False
Suppose 2*p + 0*p = 0. Suppose p = 5*s - 2*m - 12 - 238, 2*s = -m + 91. Is 18 a factor of s?
False
Let u(a) = -11*a**3 - a**2 + 27*a - 17. Suppose 0*k = 4*k - 24. Let z(n) = 5*n**3 - 13*n + 8. Let l(w) = k*u(w) + 13*z(w). Is l(-6) a multiple of 15?
False
Suppose 0 = j - 6 + 1. Is j even?
False
Suppose -6*b + 9 = -3*b. Suppose -5*n + 6 = -4. Suppose n*k + b*k = 15. Does 2 divide k?
False
Let w(y) = y**3 - 5*y**2 + 5*y - 5. Let u be 6/27*-6*-3. Suppose 3*k + 5 = -u*i, -10 = 4*i + 10. Does 10 divide w(k)?
True
Let q = 13 - 6. Suppose 4*g - q = 1. Suppose -4*b + 2*z = -g*b - 50, 5*b + z = 143. Does 16 divide b?
False
Suppose 4*n + 119 = 3*w, -3*n = 2*w - 8*n - 77. Let v = 114 - w. Does 19 divide v?
False
Let s = -271 - -491. Does 55 divide s?
True
Suppose 0 = -3*z - z + 164. Suppose -5*f - 4*j = -53, -2*j = -0*f - 5*f + z. Is f a multiple of 9?
True
Let o(p) = p**3 + 2*p**2 - p - 2. Let s be o(-2). Suppose s = 6*t - t - 350. Is 27 a factor of t?
False
Let r(v) = 2*v - 9. Is r(9) a multiple of 2?
False
Let y be (-9)/(-1)*2/6. Suppose 4*j - 3*j - 9 = 3*s, -2*j + s = -y. Suppose j = -4*x + 8*x - 108. Is x a multiple of 13?
False
Let m be 5/(-10)*(1 - 1). Suppose 38 = -m*k + k. Suppose 2*a - k = a. Does 13 divide a?
False
Let v(k) = k + 5. Let s be v(-6). Let t = s - -3. Does 9 divide (-3)/6 + 37/t?
True
Let z = 62 + -29. Suppose a = -5*n + 22, 3*n + z = 3*a + 3. Is a a multiple of 4?
True
Suppose 3*i + 0*i - 18 = 0. Let x(a) = 4 - 6*a + a**2 + 3 + 1 - 2. Is 6 a factor of x(i)?
True
Let x be 15/5*4/6. Suppose -m = 3*y - 45, -4*m - x*y + 0*y + 170 = 0. Is m a multiple of 14?
True
Let x = -82 - -51. Let h be 22/5 + (-4)/10. Let g = h - x. Is g a multiple of 16?
False
Let t(k) = 15*k + 8. Let w(g) = 1. Let x(f) = t(f) + w(f). Is 16 a factor of x(5)?
False
Let b = -2 - -226. Is 28 a factor of b?
True
Let v be -18*(-1)/(-6)*-2. Suppose -255 = -v*d + d. Is 17 a factor of d?
True
Is 12 a factor of (16/20)/(-2)*-30?
True
Let w(b) = b - 1. Let a be w(3). Suppose -2*g + 9 = -5*g, a*s = -g + 429. Suppose -2*o + 6*o + s = 4*n, -o = -4. Is 21 a factor of n?
False
Let x(j) be the third derivative of j**5/4 + j**4/12 - j**3/6 + 3*j**2. Is x(1) a multiple of 6?
False
Suppose -3*o + 3*s = 2 + 58, 2*o = -2*s - 20. Does 19 divide 3/o + 181/5?
False
Suppose y + 4 = -2. Let f(w) = w**2 + 2. Does 22 divide f(y)?
False
Suppose 5*y - 10*y - 135 = 0. Let o = y + 69. Is 14 a factor of o?
True
Suppose 0 = p - 51 - 8. Does 12 divide p?
False
Let v(n) = n**3 + 5*n**2 - 2*n - 3. Let c = -9 + 5. Does 21 divide v(c)?
True
Suppose -5*i + 1 = -f - 3*f, 4*f + 2*i = -22. Let w be f/(-22) - 194/(-22). Suppose -p + 4*p - w = 0. Is p a multiple of 2?
False
Let n(g) = -g**3 + 7*g**2 - 6*g - 8. Let b be n(6). Is 0 - (b/2 + 1) a multiple of 2?
False
Let h = -91 + 118. Is 9 a factor of h?
True
Suppose 0*p - p + 6 = 0. Suppose 0 = -w + p + 4. Is w a multiple of 10?
True
Let n(w) = 4*w + 2. Let b be n(-5). Let i be (-312)/b + 4/6. Suppose i = 4*d - 3*a - 39, -3*a - 72 = -5*d. Is d a multiple of 5?
True
Suppose -v - 2*v = 3*r - 237, 0 = 3*v - r - 245. Does 9 divide v?
True
Suppose 2*g - 3*g - 93 = -r, 0 = -2*r + 5*g + 201. Does 22 divide r?
True
Let n(l) be the second derivative of l**3/3 + 4*l**2 - l. Suppose 2*m - m = 6. Does 9 divide n(m)?
False
Let l(s) = -1. Let x(b) = -b - 6. Let o be x(-5). Let a(t) = -38*t - 2. Let p(h) = o*a(h) + l(h). Is 13 a factor of p(1)?
True
Suppose -5*u - 283 = -4*a, -a = -4*u - 9 - 59. Is a a multiple of 8?
True
Let s(b) = -b. Is s(-6) a multiple of 3?
True
Let u = -1 + 4. Suppose -2*i + 19 = -u*h, h + 39 = i + 2*i. Does 5 divide i?
False
Suppose u + 2*u = 2*c + 171, 5*c - 133 = -2*u. Is u a multiple of 12?
False
Let a(t) = t**3 - 14*t**2 + 12*t + 16. Let o be a(13). Suppose -o*l + 6*l = -12. Let y = l - -9. Does 2 divide y?
False
Suppose -4*f + 113 = s, 2*s - 43 = -f - 13. Does 19 divide f?
False
Suppose 2*m - 2 = 4*h - 0*m, -2*m + 4 = -3*h. Suppose 3*q = -4*t + 85, -h*t - 2*t + 3*q = -115. Does 20 divide t?
False
Is 0*(-2)/(-4) - -22 a multiple of 22?
True
Let m(x) = 13*x - 7. Is m(2) a multiple of 8?
False
Suppose -3*m + 45 - 6 = 0. Suppose 2*y - m = 19. Does 10 divide y?
False
Suppose 0*n + 108 = 4*n. Is n a multiple of 16?
False
Let x(j) = -j**2 - j - 1. Let d be x(-2). Is 12 a factor of (1 + 0)*d*-4?
True
Let d(c) = 2*c + 3*c**2 + 2*c**2 - 3 - c**2. Is d(3) a multiple of 16?
False
Suppose -40 = -2*f + 5*p + 14, -p = 4. Does 5 divide f?
False
Let g be -34*3*(-1)/(-6). Let b(l) = -4*l - 1. Let s be b(7). Let u = g - s. Does 5 divide u?
False
Suppose -6*v + v + 2*f + 571 = 0, -3*v = -3*f - 339. Is 10 a factor of v?
False
Suppose 4*r - 64 = -0. Is 16 a factor of r?
True
Suppose 10*d - 5*d = 15, 0 = 5*z + 5*d - 25. Is 8 a factor of z/5 + (-790)/(-25)?
True
Suppose 5*a = -3*p + 154, 0 = -a - 1 - 0. Does 22 divide p?
False
Let f(j) = -j**2 + 12*j + 7. Let m be (120/14)/(2/14). Suppose -2*w - 5*o = -4*w + 2, 4*o - m = -4*w. Is f(w) a multiple of 18?
True
Let c(m) be the first derivative of -m**4/4 + 2*m**3 - m**2/2 + 5*m + 3. Let q be c(6). Is 2 + ((-1)/1)/q a multiple of 3?
True
Let d = 4 + 1. Suppose 0 = -d*k + 4*k + 4. Is k a multiple of 4?
True
Is 14 a factor of (-6)/39 - 1644/(-39)?
True
Suppose 6161 = 24*x - 1183. Does 18 divide x?
True
Let p = 0 + 9. Suppose l - 38 + p = 0. Does 12 divide l?
False
Let i(z) = 3*z**2 - 4*z + 2. Let s be i(2). Let d = 8 - s. Suppose d*x = 6*x - 24. Does 5 divide x?
False
Suppose o + 0*o - 3*t - 49 = 0, t + 83 = 2*o. Is o a multiple of 20?
True
Let w(o) = -o**3 - 6*o**2 + 10*o + 1. Let q be w(-7). Suppose 16 = 2*r + 42. Let v = r - q. Does 5 divide v?
False
Let r be 8/12*(2 + 1). Let i be 6 - (r/(-1) - -3). Suppose 0 = -n + 5*p - 3 + 8, 0 = i*n - 5*p - 125. Is 13 a factor of n?
False
Let u(l) = l - 2. Let x be u(6). Suppose 3*g + 22 = x*g. Let p = g + -15. Does 5 divide p?
False
Suppose -t = -x - 0*t - 2, -3*t = -15. Is 11 a factor of ((-3)/x)/1*-23?
False
Let p = 5 + -2. Is (p/(-2))/((-1)/6) a multiple of 7?
False
Suppose -16*y = -19*y + 87. Is y a multiple of 29?
True
Suppose 4*a - 5*u - 458 = 1358, -5*u + 1327 = 3*a. Let w = -314 + a. Suppose -2*c + w = 3*c. Does 16 divide c?
False
Suppose 0 = m + 4*m - 15. Is 2 a factor of (m/(-2))/((-3)/8)?
True
Suppose 7*l - 110 = 2*l. Does 22 divide l?
True
Suppose 0 = 2*t - 0*t - 56. Suppose -2*l - 78 = -4*m + t, 2*m - 49 = -3*l. Is 8 a factor of m?
False
Let o(a) = 2*a - 5. Let q be o(5). Let w(s) = 7. Let k(h) = -h - 29. Let y(n) = -2*k(n) - 9*w(n). Does 3 divide y(q)?
False
Let n = 0 - -1. Let s = 3 - n. Suppose 2*p + 49 = 2*h + 7*p, -2*p - s = 0. Does 13 divide h?
False
Let d be (-4)/(-18) + 3610/(-45). Does 15 divide (d + 2)*(-2)/4?
False
Suppose 3*g + g - 32 = 0. Let j = 1 + 2. Let r = g - j. Does 5 divide r?
True
Suppose -4*d + x = -80, -6*d - x = -2*d - 80. Let r = d + -8. Is r a multiple of 3?
True
Suppose 2*r = -0*r - m + 279, -3*m - 670 = -5*r. Is r a multiple of 18?
False
Let b = 7 + -3. Suppose 2*u = 16 - b. Is u a multiple of 2?
True
Let p be (-1413)/5 - (-4)/(-10). Let n = p + 125. Is 7 a factor of n/(-14) - 4/14?
False
Suppose 0*p - 5*p + 35 = 0. Let r(d) = -d**3 + 6*d**2 + 8*d - 2. Let c be r(p). Suppose -2*m + 5*m = -3*l + 60, 5 = -c*l. Does 19 divide m?
False
Let d = -26 + 58. Suppose -4*v = -5*u + d, -12 - 10 = -3*u + v. Suppose 3*o + 0*l + 2*l - u = 0, -o - 2*l = 0. Is o a multiple of 3?
False
Let s = 124 - 45. Suppose -3*j + 2*k = -0*k - s, 0 = 4*j - 3*k - 104. Does 13 divide j?
False
Let j(t) = -t**3 + 6*t**2 - t - 4. Let a be j(5). Suppose -4*q - 3*c + 21 = 0, -3*q + 6 + a = c. Is 4 a factor of 1*6/q*12?
True
Suppose -4*o + 87 = -o. Let r = o - 10. Is r a multiple of 12?
False
Let w(z) = -3*z. Is w(-4) a multiple of 5?
False
Let p = 1 - -2. Suppose p*o - 2 = 2*o. Suppose 3*s - 12 = 0, 52 = o*f - 0*s + s. Is 12 a factor of f?
True
Let i = 1 + -1. Suppose -p = -i*p + 3. Let r = 22 + p. Is 10 a factor of r?
False
Let p(g) = 5*g**3 + 2*g**2 - 2*g + 3. Let i be p(2). Suppose 3*m = 6, -i = 5*f - 2*m - 158. I