- 3*r + 20, -4*r - 1 = -c. Suppose 0 - 15 = c*a. Does 6 divide -1 + 12 - (2 + a)?
True
Let r = 13 + -63. Let i be 4*-6 - (0 - -1). Let y = i - r. Is y a multiple of 13?
False
Suppose i + 4 = -0*i, 4*j + 3*i = 212. Let r be 167/(-5) + (-2)/(-5). Let n = r + j. Is n a multiple of 17?
False
Let i = 90 - 38. Does 13 divide i?
True
Let n(z) = 25*z - 3. Let c be n(6). Let f = 25 - 128. Let a = f + c. Is a a multiple of 22?
True
Suppose 2*u = 4*t + 194, -2*u - 86 = 2*t - 256. Suppose 4*q = u + 3. Suppose -q = 3*v - 101. Does 13 divide v?
True
Let a(x) = 7*x + 5. Let c(s) = -7*s - 4. Let t(n) = -4*a(n) - 3*c(n). Is t(-6) a multiple of 10?
False
Let q(h) be the third derivative of h**4/24 - h**3/2 + 4*h**2. Let p be q(0). Is p - -20 - (0 - 1) a multiple of 9?
True
Let z(s) = -2*s**3 - 2*s**2 + 4*s + 1. Let d be 2/(3/(21/2)). Let g(k) = k - 10. Let f be g(d). Is 10 a factor of z(f)?
False
Let a be 164/((-8)/(-4) + 0). Suppose 2*u + 0*u - a = -2*z, z + 3*u = 47. Does 19 divide z?
True
Let c(f) = f + 4. Let s be c(0). Suppose -v = -s, 0 = 2*b - 4*b + 5*v - 12. Suppose b*l - 7*l = -54. Is 8 a factor of l?
False
Let p(a) = -a. Let m be p(3). Let s = -3 - m. Suppose s = 3*d - 32 - 109. Is 21 a factor of d?
False
Let u be 0*(-4 + 5)/2. Let n(c) be the third derivative of -c**6/120 + 13*c**3/6 - c**2. Is n(u) a multiple of 7?
False
Does 7 divide ((-24)/30)/(2/(-185))?
False
Let p(y) = y**3 + 6*y**2 - 7*y + 3. Let z be p(-7). Suppose -z*j + 163 = 2*r, -r + 5*r + 301 = 5*j. Is j a multiple of 23?
False
Let o(g) = g**2 - 5*g - 4. Let a be o(6). Is 3*a - (-5 - -3) a multiple of 4?
True
Suppose -4*t = -3*t - 3. Is 16 a factor of (-20 + (0 - t))/(-1)?
False
Let p = -17 - -9. Let y(x) = -x + 1. Let u be y(p). Suppose a - 10 - u = 0. Does 15 divide a?
False
Does 6 divide (-130)/(-15) + (3/9 - 0)?
False
Let x(q) = -3*q**2 + 3*q - 7. Let l(z) = -z**3 - 1. Let f(i) = -4*l(i) + x(i). Let b(n) = -n**3 - 12*n**2 - 12*n - 9. Let k be b(-11). Is 16 a factor of f(k)?
False
Suppose 6 + 4 = 5*j. Suppose 0 = z + j*z - 42. Does 7 divide z?
True
Suppose -a + 4*s + 58 = -50, 0 = -2*s. Is 18 a factor of a?
True
Suppose -307 = -t - 21. Is t a multiple of 11?
True
Let h be (-1 - 39)*3/4. Let a be 20*(15/6 + -2). Is (16/a)/((-2)/h) a multiple of 19?
False
Let x(o) = -o**2 + 2*o + 5. Let p be x(-5). Let c = p + 101. Is c a multiple of 22?
False
Let n(k) = -k + 3. Let r be n(-3). Let w = -2 + -1. Is 14 a factor of -2 + 32 + r/w?
True
Let m = -5 - -8. Suppose p - 60 = -m*p. Is 6 a factor of p?
False
Suppose -3*m - m + 12 = 0. Suppose c = -u - c + 1, u + 1 = -m*c. Suppose -u*r + 11 = -89. Is r a multiple of 10?
True
Let t = 6 - -2. Let x = t - -16. Is 6 a factor of x?
True
Let n(v) = -4*v + 7. Let q = 12 + -17. Let l = -10 - q. Is 10 a factor of n(l)?
False
Let i(n) = n**2 + 6*n + 5. Let u be i(-6). Suppose -4*d + 3*f + 62 + 47 = 0, 4*d - 117 = -u*f. Is d a multiple of 16?
False
Suppose 4*y - 2*d = -3*d + 10, 4*d + 5 = -y. Is -3 + (-5 + y - -13) a multiple of 5?
False
Let b(g) be the third derivative of 5/6*g**3 - 3*g**2 + 0 + 1/4*g**4 + 0*g. Is b(5) a multiple of 12?
False
Let l = 5 + -6. Let h(d) = 6*d**2 - 1. Let v be h(l). Suppose 2*u - 18 = -3*k, k = v*k + 16. Does 15 divide u?
True
Suppose 0 = -z - 2 + 6. Suppose -k = 4*q + 7, z*q = -0*q - 4. Let n = 13 - k. Is 16 a factor of n?
True
Suppose 2*f = -2*n + 28, 2*f - 1 - 1 = 0. Let h = -8 + n. Is h a multiple of 5?
True
Let p(d) = -4*d - 8 - d - 8 + 2. Does 15 divide p(-6)?
False
Let d = -84 + 131. Is 16 a factor of d?
False
Suppose -180 - 312 = -2*m. Is m a multiple of 36?
False
Suppose 21 - 80 = -g. Is 23 a factor of g?
False
Let x = 5 + 19. Is 24 a factor of x?
True
Suppose 31 = -3*c + 4*y, -3 = -c + 2*y - 4*y. Is (-1056)/(-55) - (-1)/c a multiple of 13?
False
Let j(t) = -t**2 - 8*t - 9. Let s be j(-6). Let z(m) = -3*m - 2 + 9*m + 2. Is z(s) a multiple of 8?
False
Let v(z) = 7*z**2 + 2*z + 1. Let d be v(-1). Let t = d + -10. Let x(j) = -j**3 - 4*j**2 - 6*j - 3. Does 21 divide x(t)?
True
Is 11 a factor of ((-58)/(-6))/((-8)/(-96))?
False
Is (160/(-4))/(-4)*1 a multiple of 5?
True
Let g be (-3)/(-6)*-2 + 3. Let v = g + -1. Suppose -v - 13 = -p. Is 5 a factor of p?
False
Let l = 42 - 83. Let h = -27 - l. Does 7 divide h?
True
Let k = 40 + -23. Is k a multiple of 6?
False
Suppose -y - 5 = -6*y, -y + 1 = 2*q. Suppose -5*l = -c - 3*c + 117, 4*l + 20 = q. Is 8 a factor of c?
False
Let x(g) = 3*g - 2. Let l be x(4). Suppose -81 = 2*m - 4*a + 9, 2*a + l = 0. Let d = -39 - m. Is d a multiple of 7?
False
Let b(m) = -m**2 - 4*m. Let d be b(-3). Suppose -d*k + 46 = -11. Suppose -5*y + 4*y + k = 0. Is y a multiple of 19?
True
Let d be (0/3)/((-4)/4). Suppose -3*a + 0*a + r = -183, d = -a + r + 59. Does 22 divide a?
False
Let m(y) = -y**3 + 4*y**2 - 2*y - 3. Let v be m(3). Suppose v = 4*g - 0*g - 8. Is g even?
True
Let f = 2 + 0. Suppose k - 210 + 78 = -4*j, j + 4*k = 48. Suppose w - j = 2*t, 2*t + 100 = 5*w - f*w. Does 17 divide w?
True
Let k(z) = -z**3 + 5*z**2 - 2*z + 3. Let a be k(5). Is (-4 - 10)/(2/a) a multiple of 19?
False
Let n = -178 - -346. Is n a multiple of 14?
True
Suppose -6*w + 10*w - 284 = 0. Does 21 divide w?
False
Suppose v = -i + 4*i - 10, 2*i = v + 9. Let j = 4 - v. Does 9 divide j?
False
Let b(o) = -o**2 - o + 26. Does 13 divide b(0)?
True
Suppose h = 3*h + 8. Let g = 0 - h. Suppose g*w - 35 = 49. Is w a multiple of 13?
False
Does 13 divide (7/(35/6))/((-9)/(-930))?
False
Let j(l) = l**2 + 2*l. Does 24 divide j(6)?
True
Let x = 6 + -4. Suppose x*i + 2*i - 228 = 0. Is i a multiple of 13?
False
Let j(r) = -r**2 - 7*r - 1. Let v be j(-3). Suppose -4*b + 26 = 5*w - v, -5*w - 5*b + 40 = 0. Suppose w = -3*u + 23. Is u a multiple of 3?
True
Let f(r) = 3*r. Let q be f(1). Let v be (q + -2 - 11)/(-2). Suppose 10*y - 96 = v*y - p, -24 = -y + p. Is 16 a factor of y?
False
Suppose 4*x = 3*o + 682, 0*o - 515 = -3*x + 4*o. Is 13 a factor of x?
True
Suppose 2*n - 3*b - 120 = -19, -4*b = -3*n + 149. Is n a multiple of 10?
False
Suppose 0 = o + 4*o - 30. Let c = -4 + o. Is 31/c + (-2)/4 a multiple of 7?
False
Let s be 9*(-2 + (-32)/(-6)). Suppose -4*l - 3*f = -24, 3*f = -2*l + 2*f + 12. Suppose 5*p = 5*i - s, -4*p + l = 5*i - 42. Is i a multiple of 8?
True
Let o be (-24)/14 + (-4)/14. Let j(r) = -r**2 + 3*r. Let l be j(3). Let w = l - o. Is w a multiple of 2?
True
Suppose -3*y - 1097 = -2*k + 7*k, 1456 = -4*y - 5*k. Let c = -186 - y. Let b = -123 + c. Does 19 divide b?
False
Suppose -4*f = 11 - 47. Is f a multiple of 2?
False
Let d(n) = -13*n - 15. Is 12 a factor of d(-3)?
True
Let x = -6 + 4. Let k = x - -1. Is 7 a factor of 66/6 - (k + 1)?
False
Let o be ((-7)/14)/(2/4). Let x be -3 + 6/o + -3. Is x/(-1)*(-9)/(-6) a multiple of 6?
True
Let c(o) = 14*o**2 + 3*o - 10. Is 25 a factor of c(3)?
True
Let k(y) = -3*y + 3. Is 14 a factor of k(-8)?
False
Suppose 5*g = 3*j, -3*g = -4*j + 16 - 5. Suppose -g*z + 22 = -2. Is z a multiple of 3?
False
Let n(a) = a**3 + 4*a**2 + 5*a + 3. Let p be n(-3). Let l = 1 - p. Is l even?
True
Suppose 3*o = 32 + 22. Is o a multiple of 6?
True
Let i(c) = c + 7. Let r be i(11). Let m be 34/9 + 4/r. Does 14 divide 2/m + (-54)/(-4)?
True
Let i(o) = 2*o**2 + 1. Does 33 divide i(7)?
True
Let n(r) = 3*r - 3. Let z be n(2). Suppose i - 2 = z. Suppose -2*l - 4*f + 46 = -3*f, -i*f - 56 = -3*l. Is l a multiple of 18?
False
Let m = -20 - -104. Suppose -m = -2*z + 4*q - q, -10 = 5*q. Does 13 divide z?
True
Let l(j) be the third derivative of j**5/30 - 3*j**4/4 - 9*j**3/2 - 3*j**2. Let a(m) = -m**2 + 9*m + 14. Let z(c) = 7*a(c) + 4*l(c). Is z(11) a multiple of 12?
True
Let r = -90 + 134. Does 44 divide r?
True
Suppose 144 = -17*a + 26*a. Is 4 a factor of a?
True
Suppose -14 = -2*n + n. Is 4 a factor of n?
False
Suppose 439 = 3*x - 86. Is x a multiple of 35?
True
Let t be (-3 - -10) + (-4)/2. Suppose -4 = -t*k + 51. Is 4 a factor of k?
False
Suppose -5*y = -2*y + 24. Let b = -13 - y. Let k = 11 + b. Does 3 divide k?
True
Let b = -4 + -3. Let v(u) = 2*u**2 + 10*u + 10. Is 20 a factor of v(b)?
False
Is 15 a factor of (-37 + 1)/(1 - 3)?
False
Suppose -3*z - z + 128 = 0. Let v = 14 + -36. Let t = z + v. Does 7 divide t?
False
Let k = -360 + 523. Is 14 a factor of k?
False
Let y(a) = -12*a + 17*a - 7*a - 7*a + a**2 - 5. Does 27 divi