2 + 6*n + 4. Is a(h) a multiple of 20?
True
Suppose 15 = -5*m, 3*i + 2*i = -m + 657. Suppose 2*r - 4*h + 6 = 0, -r - h + 4*h = 7. Is i/r + 10/(-25) a multiple of 13?
True
Suppose -3*y + 1014 = 246. Does 16 divide 3/(-2)*y/(-24)?
True
Let x be 2*(2/(-4) - -1). Let r = 1 + x. Suppose 18 = t + r. Is t a multiple of 7?
False
Let y(k) be the second derivative of k**4/4 + 2*k**3/3 + k**2/2 - 3*k. Let q be (-8)/(-6)*6/(-2). Is 12 a factor of y(q)?
False
Let q = 9 - 21. Suppose g + 4*l = 3 - 36, 0 = -2*g - 3*l - 61. Let f = q - g. Does 17 divide f?
True
Suppose 47 = m - 4. Let l be (-1)/4 - m/(-12). Suppose 4*a - 60 = -3*p, 2*a = 6*a - l*p - 60. Does 13 divide a?
False
Let b = 119 + -21. Is b a multiple of 18?
False
Let d be 7 - (-2 - -6) - 0. Does 3 divide (2/d)/((-20)/(-150))?
False
Let a = -17 + 39. Suppose -3*g + 2*f - 28 = 0, 2*g - f = 4 - a. Is 76/16 + (-2)/g even?
False
Let g be -69 - (1 + -3 + 2). Let y be 3/((-6)/(-82))*3. Let k = g + y. Is 23 a factor of k?
False
Let o(b) = 2*b**2 - 2*b - 1. Let a = 4 + -5. Is o(a) a multiple of 3?
True
Suppose 3*t = 34 - 7. Let a(u) = 4*u - 13. Let h be a(t). Suppose -4*z + 4*d = h - 87, 3*d - 16 = -z. Does 6 divide z?
False
Let r(y) = 2*y**2 + 6*y + 2. Let z(n) = n + 1. Let l be z(-5). Is 10 a factor of r(l)?
True
Let z(o) = -8*o + 18. Let u(t) = -5*t + 12. Let a(f) = -7*u(f) + 5*z(f). Does 23 divide a(-7)?
False
Let p = -99 + 125. Is p a multiple of 13?
True
Suppose -r + c = 0, -6*c = -3*r - c - 4. Suppose 0 = r*g + 11 - 51. Does 10 divide g?
True
Let b be (-4)/20 + (-1)/(-5). Suppose -r + 5*r - 44 = b. Let f = r + -3. Is 7 a factor of f?
False
Let j(b) = -10*b**2 + 0*b**2 + 7 + 0*b**2 + b**3 + 10*b. Is 5 a factor of j(9)?
False
Let y = 10 - -15. Suppose y = 3*p - 14. Does 10 divide p?
False
Let r be (6/15)/(1/5). Suppose r*f - 3 = 7. Is f a multiple of 5?
True
Let p be 8 + 4/8*-2. Let k(l) = l**3 - 5*l**2 - 4*l + 10. Is k(p) a multiple of 22?
False
Suppose -3*r + 3*f + 0 - 3 = 0, -r + 4*f - 13 = 0. Let y = 0 + r. Suppose -y*o - 1 = -28. Is 9 a factor of o?
True
Suppose 3*x + 5*p - 4 - 12 = 0, -22 = -3*x + p. Let a(g) = -g**2 + 9*g - 9. Let w be a(x). Let f = w + 1. Is f a multiple of 3?
True
Suppose 2*d = -3*d + 175. Does 35 divide d?
True
Let b(f) be the first derivative of -3*f**4/4 + f**3/3 + f**2/2 + f - 1. Let z = -4 + 3. Is 2 a factor of b(z)?
True
Suppose 4*q = -0*q. Suppose c - 24 = -q*c. Is 14 a factor of c?
False
Let g(u) = u**3 - 5*u**2 + 5*u - 1. Let k be g(4). Suppose -3*s = -s - j - 43, 0 = -k*j + 15. Does 6 divide (s/9)/(4/18)?
True
Suppose -3*x - 5*o - 17 = 0, -3*x - 8 = -0*o - 4*o. Let z be (-66)/x + 3/(-2). Let v = 45 - z. Is 15 a factor of v?
True
Suppose 7 = 5*b - 193. Does 10 divide b?
True
Let a be 39 - (0 + -3 + 0). Let g = -30 + a. Does 7 divide g?
False
Let v = 13 + 60. Let u = v + -48. Suppose 4*q - u + 5 = 0. Does 4 divide q?
False
Let g = 11 - 8. Does 2 divide g?
False
Suppose 0 = -5*z - 5*h, 4 = 3*z + 2*h - 0. Suppose 7 = -z*i - 5. Is (-27)/i + 2/(-2) a multiple of 4?
True
Suppose s = -0*s + 8. Let g = s + 2. Let d = g + 0. Is d a multiple of 5?
True
Let v(w) = 3*w - 5. Let q be v(7). Suppose -5*d = q - 81. Suppose 3 = g - d. Does 14 divide g?
False
Let l(f) = 2*f**3 - 2*f**2 + f - 1. Is l(3) a multiple of 13?
False
Let n(x) = -3 + 2*x**2 + 3*x + 5*x - 3. Let p be n(-7). Suppose b - p = 3. Is 14 a factor of b?
False
Suppose -2*z = 5*m - 51, 0 = 3*z - 2*m - 132 + 27. Suppose -6*j = -2*j - 80. Let o = z - j. Is o a multiple of 13?
True
Let i(w) = -w**2 + 17*w - 2. Let g be i(13). Suppose 4*h + g - 150 = 0. Does 6 divide h?
False
Does 28 divide (-3 + 0 - (1 - 5))*35?
False
Is -2 + 1 + 23 - 0 a multiple of 22?
True
Suppose 230 = 4*a - 3*c, -2*a + 0*c = -c - 114. Let s = -11 + 15. Suppose 8 + a = s*o. Is 16 a factor of o?
True
Let n(b) = -12*b - 11. Is n(-10) a multiple of 30?
False
Let n(y) = y**3 + 7*y**2 + y + 5. Does 7 divide n(-4)?
True
Suppose 5*n = 4*o - 328, -3*n - 142 = -2*o - 6*n. Is o a multiple of 11?
True
Suppose f - 13 = v - 2*f, 2*v = 2*f - 10. Let a be 7*7 + (-4 - v). Suppose j + a = 2*j. Is j a multiple of 15?
False
Let m(r) = 37*r - 7. Let d be m(-4). Suppose 5*j + 58 - 158 = 0. Is 1/4 - d/j a multiple of 4?
True
Let q be 5 + (-1 + -1 - -2). Suppose -x + 250 = 4*x - q*g, -2*x + 95 = -g. Is x a multiple of 11?
False
Let t be (249/9 + -1)*3. Let l = -52 + t. Does 14 divide l?
True
Let t(q) = -4 - 1 - 3 + 9*q. Does 21 divide t(6)?
False
Let h be 1/(-2 - (1 - 2)). Let g(x) = -102*x + 3*x**2 + 7*x**2 + 100*x - 1. Is 4 a factor of g(h)?
False
Let w(h) = h**2 - h + 4. Let m be w(4). Suppose -i - 2*q - m = -58, 5*q + 7 = i. Is 10 a factor of i?
False
Let r = -13 + -7. Is 6 a factor of 24/(-10)*r/6?
False
Suppose -k + 47 = 2*y, -3*k + 3*y = 71 - 257. Is 19 a factor of k?
True
Let n(c) = -c**3 - 6*c**2 - c + 4. Suppose -f + 34 = -4*z - 3*f, -3*z - 36 = 5*f. Let t be n(z). Suppose -3*h = 6 - t. Is 18 a factor of h?
True
Let j(o) = o**3 - 10*o**2 - 9*o - 2. Let h be j(11). Let y = 35 - h. Does 12 divide y?
False
Let m = 338 + -239. Does 33 divide m?
True
Let f = -4 + 5. Is 14 a factor of f*(8 - 4) - -50?
False
Is -3*(-12)/(-8)*-24 a multiple of 11?
False
Let q(r) = -4*r - 22. Does 14 divide q(-23)?
True
Suppose -7*c - 56 = -11*c. Does 7 divide c?
True
Let j be -2 - (-19 + 2 + -1). Let c = -11 + j. Suppose 0 = c*g + 41 - 161. Is 12 a factor of g?
True
Let u = -131 + 191. Suppose -3*f = 4*s - 47, 5*f - s - 49 = u. Is 13 a factor of f?
False
Let k = -144 - -189. Is 5 a factor of k?
True
Suppose 0 = v - 2*v + 135. Suppose 25 = f + m - 28, -3*f + v = -3*m. Is 17 a factor of f?
False
Let h be 8 + 2 + (-2 - 2). Let b be 1 + -1 + (30 - h). Suppose 0 = -0*c - c + b. Does 24 divide c?
True
Let r = -5 + 23. Suppose 4*n - 40 = 4*h, 3*h - 4*h = 3*n - r. Is n a multiple of 3?
False
Let p(w) = -2*w**3 - 6*w**2 - w + 16. Does 22 divide p(-5)?
False
Let s(i) = -4*i + 8. Let n(g) = -1. Let m(a) = n(a) - s(a). Does 9 divide m(8)?
False
Suppose 5*s + 0*s = q - 69, -5*s = -2*q + 158. Is q a multiple of 23?
False
Let g(j) = 3*j - 6. Suppose 15 = 5*k - 15. Does 6 divide g(k)?
True
Suppose 3*k - 7 = -1. Let p = 0 + k. Suppose -5*a + 30 = -p*a. Does 5 divide a?
True
Suppose -4 - 2 = o - 3*f, 0 = 3*o - 2*f + 11. Let y(n) = -n**3 + 6*n**2 + 6*n - 6. Let t be y(6). Is 7 a factor of (t/(-4))/o*4?
False
Let v = -11 - -17. Is 15 a factor of v*(9 + -1 + -3)?
True
Suppose -10*v + 21 + 79 = 0. Does 5 divide v?
True
Let b be ((-4)/3)/(4/(-18)). Let q be (b/(-3))/((-6)/9). Is 1/(q/6) - -46 a multiple of 16?
True
Let l(w) = 2*w**2 + 13*w - 26. Let f(h) = h**2 + 9*h - 17. Let g(c) = -8*f(c) + 5*l(c). Let k be g(5). Suppose -45 - k = -2*d. Is d a multiple of 14?
False
Suppose -9*t - 317 = -10*t. Is t a multiple of 16?
False
Let o = -43 + 67. Is 12 a factor of o?
True
Let q(y) = y**3 + 6*y**2 - 7*y. Let p be q(-6). Let c = p + -28. Does 7 divide c?
True
Let j be 6/3 - 3 - -4. Suppose x + 2*q + 1 - 4 = 0, j*q - 32 = -4*x. Is 11 a factor of x?
True
Let l be ((-26)/(-1)*-1)/2. Is l/(2 + -3) + -1 a multiple of 3?
True
Suppose 5*h = 25, 18 = j + h - 12. Let s = j + -9. Is 7 a factor of s?
False
Let h(t) = -t**3 - 5*t**2 + t + 5. Let j be h(-5). Let i = j + 21. Suppose 0 = -5*y + i + 29. Is 5 a factor of y?
True
Let k = -4 + 6. Let g(a) = -7*a**3 + 0*a**3 + 2*a + 1 - a**k - a - 2*a. Is 14 a factor of g(-2)?
False
Suppose -18 = -3*u + 3*n, 7*n = 3*u + 2*n - 10. Does 10 divide u?
True
Suppose 0 = 3*y + 2*j - 23 - 15, 8 = y + 3*j. Let k be (-1)/(3/6)*-1. Suppose y + 6 = k*v. Does 5 divide v?
True
Let x(r) = 6*r + 11. Is x(17) a multiple of 22?
False
Suppose -d = 4 - 5. Is 19 a factor of (18 - (-5 + 4))/d?
True
Suppose 9 = -5*j - 5*q + 124, 17 = j - q. Is j a multiple of 14?
False
Is -2 + (-16)/(-4) - -2 a multiple of 4?
True
Let x(h) = h. Let f be x(-4). Does 6 divide 136/12 - f/6?
True
Let n = -2 + 160. Is 5 a factor of n?
False
Suppose j - 2*d - 9 = 0, -4*j + 0*d = -4*d - 32. Let s(a) = a - j*a + 0*a. Is s(-5) a multiple of 15?
True
Let a(p) = -p**2 - 12*p - 15. Let h = 1 - 7. Is a(h) a multiple of 7?
True
Let h(j) = j + 22. Let v(p) = p**3 + 3*p**2 - 3*p + 4. Let r be v(-4). Let t be h(r). Let k = t + -6. Does 8 divide k?
True
Let s(f) = 10*f**2 - f. Let r be s(-1). Let g(a) = a. Is 8 a factor of g(r)?
False
Suppos