*c**2 + 6*c. Let a be w(4). Is 13 a factor of 1236/a + 2/4?
True
Let c(k) = -7*k. Let o be (4/(-6))/((-1)/(-3)). Is c(o) a multiple of 7?
True
Let o(z) = -z**3 - 2*z**2 + 2*z. Let g be o(-3). Suppose 3*s - 4*f - 32 = -2, -g*s - 4*f = -54. Does 7 divide s?
True
Suppose -4*s + 368 = 2*z, 65 = -3*z + 2*s + 625. Is z a multiple of 17?
False
Let s = 86 - 59. Does 9 divide s?
True
Suppose 5*t = -5*u + 260, 0 = -3*t + 15 - 3. Suppose 6*q - 5*q - u = 0. Is 10 a factor of q?
False
Suppose 54 = y - 1. Is y a multiple of 16?
False
Let u = -30 - -62. Is 8 a factor of u?
True
Suppose -3*h - 1 = -64. Is h a multiple of 12?
False
Suppose -4*i + 0*i = 5*s - 1, -2*s + 10 = 4*i. Let j = s - 1. Does 2 divide (j - -7)/((-3)/(-2))?
True
Let n(y) = y**2 + y + 2. Let r be n(-2). Suppose 22 = 2*t - 2*c, 4*t = -5*c + r + 4. Is 5 a factor of t?
False
Let n be (-28)/6*(-9)/2. Suppose -n = -j + 17. Suppose -3*c + j = -c. Does 19 divide c?
True
Suppose -2*t - 2*s = -2, -2*t + 8 = s - 5*s. Suppose 0 = -m + 54 + 26. Suppose 3*q = -t*q + m. Is 11 a factor of q?
False
Suppose a = 6*a - 60. Suppose u = -a + 56. Is 13 a factor of u?
False
Let l(q) = q + 1. Let a be l(4). Suppose p + 4 + a = 0. Let y(r) = r**3 + 8*r**2 - 12*r - 1. Is 13 a factor of y(p)?
True
Let x = -13 - -27. Let k(u) = 2*u - 18. Is k(x) a multiple of 7?
False
Suppose -3*g - 9 = -0*g, -3 = -5*t - 4*g. Suppose 2*n - 20 = -t*n. Suppose 39 = -n*y - 3*u + 117, 3*y = -5*u + 64. Does 6 divide y?
True
Let c be (6/(-1))/(-2) - 15. Let h = 18 + c. Suppose -b = -1 - h. Is b even?
False
Let x = 104 + 68. Is x a multiple of 25?
False
Let v = 43 - 35. Is v a multiple of 2?
True
Suppose 4*n + 1 = -3. Let x be 84/(-8) - n/(-2). Let t = x + 35. Does 8 divide t?
True
Let q(z) = z - 5. Let f be q(7). Suppose 2 = f*r - 4. Suppose 2*g + 6 = r*l, 0 = l - 4*g + 1 + 7. Is 3 a factor of l?
False
Let k(f) = 2*f**2 - 11*f + 7. Is k(7) a multiple of 7?
True
Let a = 4 - 0. Suppose n = -a*n + 90. Does 14 divide n?
False
Suppose -3*g + 28 = -170. Suppose -3*w = -6, 3*m + 5*w - w + 106 = 0. Let c = g + m. Is c a multiple of 14?
True
Let v(o) = 2*o**2 + 11*o + 10. Is v(-6) a multiple of 4?
True
Suppose -3*z - 21 = -4*z. Let t = z - 12. Is t a multiple of 3?
True
Let j(w) be the second derivative of -2*w + 1/12*w**4 + 0*w**3 + 4*w**2 + 0. Is j(0) a multiple of 8?
True
Suppose -3*s = -n - n - 252, -4*s + 336 = 2*n. Does 42 divide s?
True
Let i(a) be the first derivative of 15*a**2 + 4. Is i(3) a multiple of 19?
False
Let b = -156 + 263. Is 22 a factor of b?
False
Suppose 3*y + 5*j + 42 = 0, y - 5*j = -0*y + 6. Let a(b) = -b**2 - 7*b + 4. Let k be a(y). Let p = 2 - k. Is 8 a factor of p?
True
Suppose -2*g + 52 = 2*g. Is 13 a factor of g?
True
Suppose -s + 2*k = -16, -s + 0*s + 3*k + 19 = 0. Suppose -3*l - 20 = 4. Let t = s - l. Is 8 a factor of t?
False
Let i = 72 + -7. Is 13 a factor of i?
True
Suppose 17 - 131 = -5*h + 2*m, 4*h - 3*m = 87. Suppose 3*r + 3 - h = 0. Let v(n) = n**2 - 5*n. Is 14 a factor of v(r)?
True
Suppose 2*t + 3*g - 35 = 0, -g - 84 = -5*t - 5*g. Suppose 5*c + t = 56. Let i = c + 52. Does 23 divide i?
False
Suppose 37 - 12 = 5*g. Suppose -17 = g*a + 3*y, a + y + 0 = -5. Does 2 divide (1 + -6)*(a + 0)?
False
Let z = 47 - 33. Suppose 4*t = 82 - z. Suppose 6 + t = q. Does 13 divide q?
False
Let j = -93 - -208. Is 26 a factor of j?
False
Let v be 61 + (0 - -2)/1. Suppose -2*a + 28 = k - v, -a + 5*k = -51. Is a a multiple of 16?
False
Let h(f) = 5 + 4*f - 2 - 8 - 18*f. Does 12 divide h(-3)?
False
Suppose 0 = -3*f + 3*c + 102 - 21, -f + 27 = 3*c. Is 2 a factor of f?
False
Let p be (-1)/(-7) + (-232)/56. Does 13 divide (p/8)/(3/(-96))?
False
Let q be 6/((-1)/(-48)*9). Does 7 divide q/(-12)*-1*15?
False
Suppose -41 = 5*r - 3*q, -2*r - 5*q - 5 = -1. Let g = 6 - r. Is g a multiple of 5?
False
Let w(a) be the second derivative of a**4/12 + 7*a**3/6 + 4*a**2 + a. Let u be w(-6). Suppose -u*i = 3*b - 0*i - 56, -b + 20 = 2*i. Does 18 divide b?
True
Let k(s) = -s**3 - s**2 - s - 14. Let d be k(0). Let o be 2/(4/d) + 0. Is o*1*(-36)/21 a multiple of 7?
False
Suppose 152 = 4*x - 0*n - 2*n, -5*x + 190 = -3*n. Is 9 a factor of x?
False
Suppose t + 30 = 4*t. Is 10 a factor of t?
True
Let u(g) = 6*g + 2. Let w be u(7). Suppose -o = -3*k + 93, -k + 2*k + 4*o = w. Does 13 divide k?
False
Let b(r) = -r**3 - 4*r**2 - 2*r + 2. Let o be b(-2). Let q(f) = -f - 2*f**2 - 2 - 5*f**3 - 3*f + 0*f + 0*f**3. Is 19 a factor of q(o)?
True
Let l = 6 - 16. Does 11 divide 1*3 - 360/l?
False
Does 14 divide ((-36)/(-14))/((-4)/(-56))?
False
Suppose 6*v - 166 = -16. Does 5 divide v?
True
Suppose 0 = -3*l - 4*l + 210. Is l a multiple of 11?
False
Let t be (-24)/9*(-6)/4. Let a = 8 + t. Is 6 a factor of a?
True
Let y(c) = c**2 + 4*c - 8. Is 18 a factor of y(7)?
False
Let y = 17 + 18. Is y a multiple of 5?
True
Let l(a) = -a**3 + 7*a**2 + 4*a + 4. Is 16 a factor of l(7)?
True
Let u(b) = 15*b - 6. Is u(3) a multiple of 13?
True
Suppose -3*z - 69 - 26 = -5*i, 0 = 2*i + 2*z - 22. Is 4 a factor of i?
True
Let a = -109 + 229. Does 40 divide a?
True
Let w = 11 - 5. Let r = w - -6. Is r a multiple of 5?
False
Let t(a) = a**3 + 3*a**2 + a - 2. Let z be t(-2). Suppose -5*h + 0*h + 270 = -c, -5*c = 2*h - 135. Suppose h = 5*o - z*o. Is 11 a factor of o?
True
Let o(w) = w + 3. Suppose 4*q = -3*z - 14, z + 2*q + q + 13 = 0. Suppose -z*u + 6*u = 0. Is o(u) even?
False
Let l be -3*((-30)/(-9))/1. Let n = -6 - l. Is n a multiple of 4?
True
Let q be -50*-6*(-1)/(-4). Suppose 4*d - 45 = q. Is 15 a factor of d?
True
Suppose -72 = 3*o - 6*o. Suppose -o = -m + 11. Is m a multiple of 10?
False
Let i be (-2)/1 + 81/(-3). Is (-4)/8 - i/2 a multiple of 14?
True
Let s be -3 - -1 - (-3 - 1). Let l(i) = -i**3 + 4*i**2 + i + 3. Let r be l(3). Is 14 a factor of s*r*1/1?
False
Let c(r) = r + 7. Let a be c(-6). Let b(l) = l - 1. Let y be b(a). Suppose 105 = -y*m + 5*m. Is 13 a factor of m?
False
Suppose 0 = 3*n - 3*h - 129, 4*n + n - 185 = -5*h. Let y = n - 26. Is y a multiple of 14?
True
Let v(n) = 0*n + 7 + 0*n - 2*n + n. Let j be v(4). Suppose 0*g - 132 = -j*g. Does 17 divide g?
False
Let h = 14 + 9. Does 2 divide h?
False
Let w(i) = i - 1. Let t be w(5). Let z = t + -2. Suppose 2*h = z*o + 16, 4*o + o - 38 = -h. Does 5 divide h?
False
Suppose -2 = 3*y + 1. Let x(o) = -40*o**2 - 7*o. Let f(p) = -60*p**2 - 10*p. Let z(n) = -5*f(n) + 7*x(n). Is z(y) a multiple of 7?
False
Let u = 7 - 3. Suppose -3*i + 2*i = -u*b, 4*i + 4*b = 80. Is 8 a factor of i?
True
Suppose 4*h + 4*i = 0, -2*h + 0*i + i = -12. Suppose 2*w - 136 = 3*q, 5*w + h*q = 469 - 106. Suppose 39 = 3*y + 4*p + 1, -p - w = -5*y. Does 11 divide y?
False
Let y(u) = 7*u**2 + 5*u. Let l(v) = v**2 - 7*v + 4. Let c be l(5). Let r(k) = 13*k**2 + 11*k + 1. Let f(m) = c*r(m) + 11*y(m). Does 11 divide f(-4)?
True
Suppose 3 = 2*y - 5*d, -4*y - 7*d - 9 = -2*d. Does 11 divide 1/(1/((-14)/y))?
False
Suppose 0 = t - 3*m - 14, -5*t + 102 = 5*m - 8. Let j be t/(-1*(1 - 0)). Is 10 a factor of (-51)/(-5) - (-4)/j?
True
Suppose 0*k - 3*k = -573. Suppose 4*m - 132 - 61 = w, -4*m + k = w. Does 24 divide m?
True
Let p(b) = b**3 + 2*b**2 + 3*b + 3. Let f = 18 + -13. Let l(i) = -i**3 - 3*i**2 - 3*i - 4. Let d(j) = f*p(j) + 4*l(j). Is d(3) a multiple of 17?
True
Suppose -6 = 4*z - 14. Let i be (z + -1 - 1) + 6. Suppose -26 - i = -4*y. Does 8 divide y?
True
Let i(q) be the first derivative of q**4/2 - 5*q**3/3 + q**2 + 3*q + 2. Let v be -9*-1*(-1)/(-3). Does 9 divide i(v)?
True
Let x = -11 - -16. Suppose x*z - 2 = 3*z. Does 5 divide 1 + 1 + (9 - z)?
True
Suppose -3*l - l - 12 = -5*r, 0 = -3*r. Is 9 a factor of ((-1)/3)/(l/153)?
False
Let r(d) = -13*d - 21. Is r(-7) a multiple of 7?
True
Let v(q) = 2*q**3 - 2*q**2 + 2*q - 6. Is v(4) a multiple of 49?
True
Let n(c) = c**2 - 5*c - 3. Let g be n(6). Let d be (-1)/(-2) - (-87)/2. Suppose -g*a + 34 + d = 0. Is a a multiple of 13?
True
Let s(y) = y**2 - y - 12. Does 10 divide s(7)?
True
Let w = -1 - -7. Suppose 0 = -s + w + 20. Does 13 divide s?
True
Let c be -2*1 - (-4 - -1). Is 3 a factor of c - ((1 - 0) + -3)?
True
Suppose -5*j + 76 = -2*z, -j + 0*z = -z - 17. Suppose -5*f - 4 = -f, -c = -2*f - j. Is c a multiple of 7?
False
Let d(j) = -j**3 + 11*j**2 - 10*j + 5. Let o be d(10). Suppose -v + 4 = -0*v. Suppose 37 = 5*l