ctor of z?
True
Let p be -3 - (3 + -2)/(-1). Suppose -21 = -5*f + 4. Is 10 a factor of 196/10 - p/f?
True
Suppose -18 = -0*i - 3*i. Does 3 divide i?
True
Let y = 6 + -2. Suppose 32 = -y*c + 80. Is c a multiple of 6?
True
Let g be -2*(2/2 - -6). Let k be (-25)/(-2)*2 - 0. Let m = k + g. Is 11 a factor of m?
True
Does 16 divide (-144)/(-10)*20/6?
True
Suppose u + 3*u = 24. Does 12 divide 4/u + (-134)/(-6)?
False
Suppose 44 = 5*v - 21. Is 2/(-13) + 340/v a multiple of 12?
False
Let a(d) = 14*d + 3. Let t be a(-3). Let h = 56 + t. Is h a multiple of 7?
False
Suppose 0 = 5*v + 5*b - 160, -46 + 143 = 3*v + 4*b. Does 31 divide v?
True
Suppose 3*j = j. Suppose j = -a + 6*a. Suppose -5*n - 15 = 2*z, 15 = 4*z - a*n + n. Does 3 divide z?
False
Let y(a) = 49*a**3 - a**2 + 2*a - 2. Is 12 a factor of y(1)?
True
Suppose -2*p - p + 212 = -4*c, -3*p + 207 = -3*c. Is 13 a factor of p?
False
Let o = -156 + 100. Let j(m) = m**3 - 7*m**2 + 3*m + 3. Let x be j(6). Let w = x - o. Is w a multiple of 16?
False
Suppose -4*c + 5 = -5*q, 0*c - c - 1 = q. Let v = 14 + c. Is 4 a factor of v?
False
Suppose -16 = -4*t + 52. Suppose 4*h - 3*m - 91 = 0, -h = -0*h + 5*m - t. Let s = -5 + h. Does 5 divide s?
False
Let a(v) = 4*v + 6. Suppose 2 = 2*w - 8. Does 13 divide a(w)?
True
Let k = -86 - -149. Is k a multiple of 8?
False
Suppose n - x - 35 = 0, -x - x + 140 = 5*n. Let z = n - 18. Is z a multiple of 4?
True
Let m be (-5184)/45 + (-2)/(-10). Is 35 a factor of m/(3/(-6)*2)?
False
Suppose -w + 3*f - 2*f + 7 = 0, 0 = w + f + 1. Let g(n) = 19*n + 3. Let b(y) = 6*y + 1. Let l(o) = -8*b(o) + 3*g(o). Is l(w) a multiple of 14?
True
Let u = -136 + 203. Is u a multiple of 14?
False
Suppose 2*t - 1008 = -4*t. Is 42 a factor of t?
True
Suppose 4*y + 25 = -2*f - 25, -5*y - 45 = 2*f. Let c = f - -60. Is c a multiple of 12?
False
Suppose -2*g - 2*f + 13 = -77, 0 = -4*f + 16. Let x = g - 16. Is x a multiple of 17?
False
Does 16 divide 8/(-20) - 2574/(-10)?
False
Let r(i) = -i - 7. Let k be r(7). Let n be (-23)/(-7) - (-4)/k. Suppose -p + 13 = -n. Does 8 divide p?
True
Does 20 divide (-723)/(-18) - (-3)/(-18)?
True
Suppose 3*h - 103 - 128 = 0. Is h a multiple of 11?
True
Let o = 7 - -6. Suppose -1 = 4*d - o. Does 3 divide d?
True
Let l(o) = -o + 8. Let b be (-8 + 6)*5/(-2). Let t(m) = -m + 7. Let j(q) = b*l(q) - 4*t(q). Is j(6) a multiple of 6?
True
Let u = -31 - -82. Does 23 divide (u/9)/((-2)/(-12))?
False
Let d be (10/8)/(2/8). Suppose -d*n + 4*a = -277, 28 = -n + 4*a + 93. Is n a multiple of 17?
False
Let y = 313 - 113. Is 25 a factor of y?
True
Let g(f) = -f**2 - 3*f + 1. Let i = 5 - 10. Let j be g(i). Let q = j - -21. Is 6 a factor of q?
True
Is 11 a factor of 180 + (-2 - 1) - (3 - 3)?
False
Suppose 0*k - 3*k - x = -16, -2*k + 20 = 3*x. Is 4 a factor of k?
True
Suppose 0 = -4*c + g - 49, -3*c = -c + 5*g + 19. Let h be (-3)/(-2) + c/8. Let q(b) = -b + 27. Is 9 a factor of q(h)?
True
Suppose 79*h = 77*h + 192. Does 20 divide h?
False
Let s(u) = -12*u. Let g(w) = 2*w**2 - 4*w + 1. Let c be g(3). Suppose 3*a - 1 = -c. Does 12 divide s(a)?
True
Let y = 4 + 1. Let d = y - 1. Suppose 2*z + 192 = d*m, 5*z - 41 = -3*m + 129. Does 16 divide m?
False
Let u be (-27)/(-6)*2/3. Let h be (-6)/(-9) - 7/(-3). Suppose u*a + 5 = -3*w + 50, -2*w + 46 = h*a. Is a a multiple of 9?
False
Suppose -4*u + 45 = r, 3*u + 248 = 4*r + 2*u. Is r a multiple of 15?
False
Let a = -42 - -92. Is 10 a factor of a?
True
Let w = 38 - 4. Suppose -5*j - 2*o = -2*j - w, -5*j + 50 = 2*o. Is 4 a factor of j?
True
Let z(p) = p**3 - 5*p**2 - 8*p + 7. Let k be z(6). Is 12 a factor of (-2)/k + (-58)/(-5)?
True
Suppose -b + 5*g = -5*b + 159, -g = -b + 51. Does 15 divide 0 + -3 + b - -2?
True
Let a(w) = w**3 + 10*w**2 - 12*w - 14. Let i be a(-11). Let k(j) = 2*j**2 - j - 4. Does 7 divide k(i)?
False
Suppose -5*f + 72 = p - 62, -4*f = -4*p + 464. Is 17 a factor of p?
True
Let j(b) = 10*b + 2. Let m(i) = -i**2 - 8*i + 4. Let a = 0 - 8. Let y be m(a). Does 14 divide j(y)?
True
Let p(q) = q**2 - 6*q - 1. Let n be p(11). Let a = n + -36. Is 3 a factor of a?
True
Let z(m) = -m**2 - 4*m - 2. Let v be z(-3). Suppose -v + 163 = -3*r. Let t = r + 89. Is 15 a factor of t?
False
Let c = -10 + 24. Is c a multiple of 7?
True
Let h(t) = 8*t - 5. Let q be h(5). Suppose -d + q = -5*i, -84 + 18 = -3*d + 2*i. Does 10 divide d?
True
Let i(u) = -8*u + 6. Let m(v) = 3 + 7 - 5 - 7*v. Let d(n) = -3*i(n) + 4*m(n). Is 9 a factor of d(-4)?
True
Let q(k) = -k**2 + 3. Let b(w) = -w**2 + 10*w. Let f be b(10). Is 2 a factor of q(f)?
False
Is 3 a factor of (86 + -20)/((-3)/(-2))?
False
Suppose 9 = 2*q + 3*x, 0 = q - 0*x - 3*x + 9. Suppose -2*b - 3*b + d + 13 = q, -d = 4*b - 14. Suppose 20 = b*i - 13. Is 11 a factor of i?
True
Let p be (105/28)/(1/(-4)). Let l = p + 37. Is l a multiple of 11?
True
Let r be (-3)/2*-2 + 1. Let v = 11 - r. Does 4 divide v?
False
Let z(x) = -3*x - 5*x - 1 + x + x. Is 8 a factor of z(-3)?
False
Suppose 2*h = 2*a + 22, -a = -2*a - 2*h - 8. Let y be (2/6)/(1/3). Is 0 - (a + 2)*y a multiple of 3?
False
Suppose 0 = 2*t - 8 - 0. Suppose t*x - 57 = 11. Does 17 divide x?
True
Let v = -134 + 236. Is 18 a factor of v?
False
Let s(j) = -2*j - 7. Does 9 divide s(-8)?
True
Suppose 4*a = -4*r + 3*a + 56, 4 = -a. Does 3 divide r?
True
Let n = 14 + -24. Let p = 4 + n. Is (-608)/(-18) - p/27 a multiple of 24?
False
Let p = 101 + -59. Is 7 a factor of p?
True
Suppose 0 = 3*k - k - 8. Let x(z) = -2*z + 2. Let a be x(k). Let y(t) = -2*t + 5. Is y(a) a multiple of 17?
True
Let b(z) = -z**3 + 7*z**2 - 9*z + 8. Let w be b(6). Let d be 1/(-2) - 5/w. Suppose d*y + 33 = y. Is y a multiple of 15?
False
Suppose j - 3*i - 2*i - 90 = 0, -i + 3 = 0. Is j a multiple of 12?
False
Let i = -86 + 164. Is i a multiple of 13?
True
Suppose 0 = -2*k + 4, 3*k - 10 = 3*h - 5*h. Suppose -3*v = -3*r + 6, 0 = 5*v - h*r + 7*r - 40. Is -1 + 26 + (-3)/v a multiple of 12?
True
Let o(g) = 2*g**2 - 5*g - 1. Let x(m) = 2*m**2 + 2*m + 1. Let l be x(-2). Let a be o(l). Does 7 divide (-1)/(1 - a/21)?
True
Let f(y) = -y**3 + 8*y**2 - 5*y + 7. Let t be f(6). Let x be (-2)/11 + (-1268)/44. Let s = t + x. Is 7 a factor of s?
False
Let w = -11 - -21. Let i = w - 5. Suppose -z = -4*s + 35 + 58, -i*s + 95 = 3*z. Does 11 divide s?
True
Suppose -3*t - 2*u = -175, -5*t - 2*u + 7*u = -275. Does 19 divide t?
True
Let w(z) be the third derivative of z**5/10 + z**4/8 + z**3/2 + z**2. Let p be w(-5). Suppose 5*s - p = -0*n + n, -3*s + 66 = 5*n. Is 14 a factor of s?
False
Let k(m) = -m**3 + 4*m**2 - m + 2. Let o be k(4). Let l be 12*((-5)/o - 2). Is 9 a factor of 116/6 + (-2)/l?
False
Let d(t) = 9*t**2 - 4. Is 27 a factor of d(-2)?
False
Let a = -32 - -75. Is a a multiple of 23?
False
Suppose d + 3 = -0*d. Is 10 a factor of (-3 - d/1) + 20?
True
Is 19 a factor of (-28*2)/(-1) - (0 - -1)?
False
Let y = -112 + 120. Is 4 a factor of y?
True
Is 22 a factor of 392/18 - (-30)/135?
True
Let i(s) = 4*s**2 + 15*s + 21. Does 14 divide i(-9)?
True
Suppose 7 + 44 = 3*l. Let t = 37 - l. Is 10 a factor of t?
True
Suppose 4*n = 74 + 374. Is 28 a factor of n?
True
Let v be 39/1 - (1 + -3). Suppose -3*p = -0*p + 5*j - 37, -4*p - 5*j + v = 0. Suppose -p*a + 4 = 3*l + 1, -4 = -2*l - 2*a. Does 2 divide l?
False
Suppose -5*t + 10 = 0, 4*m + 22 - 118 = -4*t. Suppose -5*y + 8 + m = 0. Is 6 a factor of y?
True
Let w = 13 - 9. Suppose 3*o = l + 119, -w*l = -o + l + 35. Suppose 0 = -9*h + 4*h + o. Is h a multiple of 3?
False
Suppose v + 0*v - 61 = 0. Is 8 a factor of v?
False
Let r = -107 + 170. Is 21 a factor of r?
True
Suppose -8 = 3*r - 2*r. Let o(c) = c**3 + 14*c**2 + 6*c - 1. Let j(h) = 2*h**3 + 29*h**2 + 13*h - 3. Let f(u) = -6*j(u) + 13*o(u). Is f(r) a multiple of 2?
False
Suppose b = -4*g + 2*b + 59, -g + 2*b = -6. Let o be 964/g + (-1)/4. Suppose 0*v = 5*v - o. Does 7 divide v?
False
Let f(o) = 6*o**3 - o. Let l be f(1). Suppose 2*u + l*v = -0*u - 19, 3*u = -5*v - 16. Does 2 divide u?
False
Suppose -3*k = -0*k - 18. Let p(n) = 5*n + 6. Does 12 divide p(k)?
True
Suppose 0 = 5*l - 16 + 6. Let a(t) = 5*t**2 - 2. Is 6 a factor of a(l)?
True
Suppose -3*f + 209 + 199 = 0. Does 10 divide f?
False
Suppose 0 = -5*r + 15 + 485. Is 25 a factor of r?
True
Let o(l) = 6*l**2 + l**3 + 0*l - 2 + 8*l - 2*l**3. Let z be o(6). Suppose -2