s a multiple of 21?
True
Is 17 a factor of -3 + (0 + -54)*-1?
True
Let p(a) = a**2 - 11*a + 16. Suppose -3*m = 4*l - 37, 6 = -4*l + 2*m + 68. Does 21 divide p(l)?
True
Let r = 118 - 71. Suppose 0 = -c + r + 16. Let z = c + -44. Is z a multiple of 12?
False
Let q be (10/4)/(5/(-20)). Is 12 a factor of (9 - 4)*(-24)/q?
True
Suppose 42 = 3*l - f, 5*l = 3*l - 5*f + 45. Is 5 a factor of l?
True
Suppose -2*f - 6 + 24 = 4*y, -5*y = -15. Suppose f*i - 18 = -3*n, -2*i + 3*n + 37 = -0*i. Suppose 3*w - 2*w = i. Is w a multiple of 8?
False
Let x(y) = -y**3 - 3*y**2 - 2*y + 2. Let p be x(-2). Suppose 3*s - 2*s = p. Suppose 0 = -3*j + s*a + 38, 58 = 3*j + 4*a - 2*a. Does 6 divide j?
False
Is (-988)/(-16) - 4/(-16) a multiple of 31?
True
Is 5 - 2 - (-7 - 33) a multiple of 15?
False
Let b(n) = n + 3. Let s(l) = -l + 3. Let m be s(0). Suppose -2*x - 4*d + 13 = -3*x, m*x - 5*d + 11 = 0. Does 3 divide b(x)?
True
Suppose -3*i = -105 + 18. Does 3 divide i?
False
Let a(c) = -2*c. Let s be a(-2). Suppose -5*p - 53 = -y, -3*p - 14 = s*y + 4. Let z = p + 14. Is z a multiple of 3?
False
Is (-4)/(4/(-3)) - 391/(-23) even?
True
Let t be ((-38)/(-4))/(1/2). Let s = 68 - t. Is s a multiple of 17?
False
Let i(y) = -y**3 + y**2 + y + 2. Suppose c = 2*c. Let q be i(c). Suppose 0 = -q*h - 16 + 54. Is 19 a factor of h?
True
Is 19 a factor of 2/2 + 12 + 68?
False
Let h(s) be the third derivative of s**4/3 + 2*s**3/3 + 4*s**2. Does 26 divide h(5)?
False
Suppose 0 = -h + y + 44, 2*h + 3*h + y - 226 = 0. Suppose 0 = -5*x + h - 0. Is x a multiple of 5?
False
Let t(q) = -9*q**3 - 1. Suppose -o + 4 = -0*o. Suppose -k = -4*g + g + 16, -3*g = o*k - 11. Is 3 a factor of t(k)?
False
Suppose 3*w - 135 = -3*z, z = 3*w + 24 + 25. Is z a multiple of 14?
False
Let g = 44 + -24. Suppose 0 = -m - 0 + g. Is m a multiple of 10?
True
Let x = -64 + 124. Is x a multiple of 12?
True
Let p(d) = -d**2 + 2*d - 14. Let l(x) = 4*x**2 - 9*x + 57. Let f(i) = -2*l(i) - 9*p(i). Let h = 7 + -7. Is f(h) a multiple of 12?
True
Suppose 4*r = 4*x + 4, -3*r - 2*r - 3*x + 13 = 0. Suppose 13 = r*c + 41. Let z = 26 + c. Is z a multiple of 4?
True
Suppose 4*r - 5 - 35 = 0. Suppose -4*i = -5*i + r. Is 5 a factor of i?
True
Let s(g) = 6*g**2 + 0*g + 0*g - 4*g**2. Let y be s(-4). Suppose -4*k + y = -2*k. Is k a multiple of 8?
True
Let r = 138 + -94. Is r a multiple of 17?
False
Let v = 29 + -58. Let l = -3 - v. Is l a multiple of 13?
True
Suppose -r - p - 4*p + 109 = 0, -5*r - p + 449 = 0. Suppose 5*d = r + 6. Is d a multiple of 8?
False
Suppose -3*a + 45 = 2*a. Suppose 0 = -6*p + 3*p - a, 4*u = p - 369. Is (-4)/14 + u/(-7) a multiple of 13?
True
Suppose 3*r - 5 = 2*r. Let j(o) = -7*o**2 - o + 4. Let g(s) = -s**2 + 1. Let d(q) = r*g(q) - j(q). Is 3 a factor of d(-2)?
False
Is 8/(-28) + (-4288)/(-14) a multiple of 18?
True
Suppose -3*y - 4 = -2*u, 3*y - 4 = -2*u + 8*y. Suppose -5*p + 115 = 4*f, -u*p - 5*f = -10 - 19. Is p a multiple of 9?
True
Let x = 9 + -5. Suppose -4*z + 4*l = -x - 0, -z - l = -9. Suppose -f - 49 = -3*c, 2*c = 4*c - z*f - 24. Does 7 divide c?
False
Let b(g) = g + 2. Let s be b(-1). Let m = -1 - -1. Suppose m = -3*y - s - 8, 2*y = -3*l + 3. Is 3 a factor of l?
True
Suppose -4*w = -w - 12. Suppose w*u + 4*r = 140, 4*r - 39 = -u + r. Let x = u + -19. Does 7 divide x?
True
Let v = 94 - 34. Does 10 divide v?
True
Suppose -6*v + 96 = -2*v. Does 6 divide v?
True
Let n = -15 - -21. Let k(x) = -x**2 + 10*x + 2. Is 13 a factor of k(n)?
True
Suppose 2 = -k - 5. Let t(l) = -115 - 4*l + 4*l + 121 - 5*l. Is 19 a factor of t(k)?
False
Let n be (104/(-10))/((-2)/10). Let t be (-1 - (-5 + -1)) + -2. Suppose -x = 4*w - n, t*w + x - 45 = -6. Does 13 divide w?
True
Suppose -5*p = s - 607, 4*p + 4*s = -70 + 546. Is p a multiple of 14?
False
Suppose -5*d + 226 = u, 0 = -0*d + 3*d + 4*u - 139. Is d a multiple of 9?
True
Let h(d) = d**3 - 12*d**2 + 13*d - 13. Let p be h(11). Let a be p*(12/(-9) + 2). Is ((-62)/a)/(1/(-6)) a multiple of 17?
False
Let v(d) = -5*d**3 + d**2 - d. Let b(f) = -11*f**3 + 2*f**2 - 3*f. Let l(h) = 4*b(h) - 9*v(h). Is l(4) a multiple of 9?
True
Let l(f) = -10*f + 6. Does 23 divide l(-4)?
True
Is -2*((-1)/2 + 270/(-4)) a multiple of 34?
True
Let b(f) = -f + 7. Let d be b(7). Suppose d = -5*g - 0 + 15. Suppose -4*r + 71 = g. Is r a multiple of 17?
True
Suppose -4*l = -3*l - 4. Let n be (-325)/(-35) + 4/(-14). Suppose -n = -q - l. Does 3 divide q?
False
Let v(f) = 4*f**3 + 2*f**2 - 2*f + 1. Let p be v(1). Suppose 0 = 2*u + p*h - 185, -5*u = -5*h - 119 - 326. Is 17 a factor of u?
False
Let z(l) = 6 - 1 + 9*l + 2*l**2 + 5*l**2 - 5*l**2. Is z(-6) a multiple of 14?
False
Let z(q) = -q**3 + 6*q**2 - 6*q - 8. Let f be z(6). Let k = -12 - f. Is k a multiple of 11?
False
Let u be (4 + -2 + -1)*-362. Let a = u + 527. Suppose a = 5*x - 0*x. Is 13 a factor of x?
False
Let r(p) = p**2 - 4*p + 4. Let f be r(4). Is 13 a factor of 39/(-6)*f/(-1)?
True
Is 14 a factor of (109 - 10) + 2 + -3?
True
Let k(y) = y**3 + 6*y**2 - 3*y + 8. Is 13 a factor of k(-6)?
True
Let h(a) = -16*a - 3*a**2 + 4*a**2 - 2*a**2 - 12 - 3. Is h(-11) a multiple of 20?
True
Let t(a) = a - 2. Let x be t(6). Suppose 2*p + 2*p = x*j + 132, -j = -5*p + 177. Does 6 divide p?
True
Let x = 5 + -12. Is 2/x + 852/42 a multiple of 10?
True
Let l(o) = o**2 + 9*o + 1. Let s(x) = 1. Let v be (2 - 0)/1 + -1. Let i(z) = v*l(z) + 3*s(z). Is i(-10) a multiple of 14?
True
Let k(o) = o**2 - 7 + 1 + 0*o**2 + 2. Is k(-3) a multiple of 3?
False
Suppose -2 = -4*d + 6. Suppose -p - p + 144 = 4*h, d*h - 70 = -2*p. Is 12 a factor of h?
False
Suppose m + 3*u - 7 = 0, 5*m + 2 = u - 27. Let i = 5 + m. Suppose 60 = 4*j + z - 4*z, i = 3*j + 3*z - 66. Does 6 divide j?
True
Let d be 4/10 + (-1292)/(-20). Suppose -k + 6*l - 2*l + d = 0, -k + 3*l = -60. Does 16 divide k?
False
Is (1092/70)/(4/10) a multiple of 13?
True
Let y(g) = 8*g - 17. Does 3 divide y(5)?
False
Suppose -5*b + 4*b + 25 = 0. Let t = b + -18. Is 2 a factor of t?
False
Is (-4)/14 + (-15144)/(-84) a multiple of 15?
True
Let t(o) be the first derivative of 7*o**3/3 + 3*o**2/2 + o - 3. Is t(-2) a multiple of 14?
False
Suppose -6*u + u = 0. Suppose 3*c - c + 6 = u, 2*v + 2*c = 8. Let j = 1 + v. Is 8 a factor of j?
True
Suppose 0*f - 4 = -4*f. Suppose -t = -f - 2. Suppose 40 = -y + t*y. Is 15 a factor of y?
False
Let c(p) = 29*p**2 - p. Does 10 divide c(-1)?
True
Suppose 3*g + 134 = -3*v + 4*g, -2*v + 4*g - 86 = 0. Let q = v + 66. Suppose -5*r + 111 - q = 0. Is r a multiple of 12?
False
Let n(j) = j**2 + 2*j - 1. Let a be n(-4). Let g(i) = 4 + i + 3*i + 0*i. Is g(a) a multiple of 16?
True
Suppose 24 = 3*d - a, -5*a - 9 - 6 = 0. Is d even?
False
Suppose -z + 0 = 10. Let l(a) = a**3 + 11*a**2 + 7*a + 4. Let c be l(z). Suppose 3*n - 139 + c = 0. Is n a multiple of 16?
False
Suppose 7*l = 6*l + 3. Let r be (-2 + l)*(0 - 0). Suppose r*p - 3*p = -4*u - 24, p - 27 = -5*u. Is 7 a factor of p?
False
Suppose 6 = 2*b + 2*f, -4*b + 3*f = -0*b + 9. Suppose -c + 34 + 9 = b. Is 16 a factor of c?
False
Let s(w) = -w + 9. Let p be (-2)/(-8) + (-45)/(-12). Is s(p) a multiple of 2?
False
Let w(h) = -2*h - h + 19*h + 13. Let i(y) = 5*y + 4. Let l(v) = 7*i(v) - 2*w(v). Is l(2) a multiple of 3?
False
Let v(m) = m**2 - 5*m + 2. Is 14 a factor of v(-6)?
False
Suppose -4*p = -m - 10, -m = -10*p + 5*p + 12. Suppose 0 = -2*j - 3*o + 20, j - o - 28 = p*o. Is 7 a factor of j?
False
Suppose 24 - 122 = -2*h. Is 22 a factor of h?
False
Let d be 5 - (2 + (2 - 2)). Suppose 21 = -2*f - 2*j - 35, 66 = -d*f + 3*j. Let a = f + 35. Does 7 divide a?
False
Let c = 84 + -118. Let h = c - 16. Let f = -18 - h. Is f a multiple of 12?
False
Let r = 35 + 49. Is 14 a factor of r?
True
Let u = -4 + 6. Let c(o) = -2*o**3 + 4*o**u + o - 1 + 2*o**3 - o**3. Is 4 a factor of c(3)?
False
Is 10/(-6 - -3 - -5) even?
False
Let v = -231 + 421. Is 19 a factor of v?
True
Let v(x) be the first derivative of -x**2 + 7. Is v(-6) a multiple of 3?
True
Suppose a - 4*a = -4*l + 11, -5*l + 25 = 0. Suppose -2*y - a*y - 166 = 3*m, 0 = y + m + 34. Let r = 54 + y. Does 11 divide r?
True
Let y = -40 - -70. Does 11 divide y?
False
Suppose -8 = -4*y + 2*y. Suppose -5*j - 23 + 5 = -2*g, 0 = -y*g + 2*j + 20. Suppose g*q = -12, 3*q = 4*x + 13 - 142. Is x a multiple of 15?
True
Suppose -3*z + 150