Is 16 a factor of c?
False
Suppose 24*f + 10*f - 3672 = 0. Is f a multiple of 2?
True
Let n(q) = 2*q**2 - 14*q - 5. Let d be n(-11). Let t = d + -230. Does 23 divide t?
True
Suppose 0 = -f - 4*k + 2365, -k - 21 + 16 = 0. Is f a multiple of 53?
True
Suppose 0 = -2*r - 4, 4*x - 1 + 13 = -2*r. Let h be x/10 - 296/(-5). Suppose 5*u + 4*p - h = -0*p, 2*u - 25 = -3*p. Is u a multiple of 3?
False
Let n = 2 + 68. Suppose -5*w + 3*g + 195 = -99, -w = 5*g - n. Does 8 divide w?
False
Let q(h) = -15*h - 10. Let i(g) = g**3 + 6*g**2 - 6*g + 4. Let y be 4 - 44/(4 + 0). Let v be i(y). Does 13 divide q(v)?
False
Let l(m) = -m**3 - 10*m**2 + m + 7. Let p be l(-10). Let r = p + 19. Does 15 divide r?
False
Let c(b) = 31*b - 171. Does 52 divide c(29)?
True
Let p(n) = 3*n**2 - 4*n - 2. Let r be p(2). Suppose -4*u + k = -12, -k = 2*u - r - 4. Suppose -75 = -5*z + 5*b, -3*z + u*b + 47 = 2*b. Does 8 divide z?
True
Let g(j) = -2*j**2 - 11*j + 12. Let i be g(-6). Let o(k) be the third derivative of k**5/60 - k**4/6 - 5*k**2. Does 11 divide o(i)?
False
Let s be (-4)/14 - (-172)/14. Let i(m) = -20*m - 11. Let j be i(-4). Suppose 3*l - s = j. Is 9 a factor of l?
True
Suppose 72*z = 73*z - 159. Suppose 0 = -8*s + 625 + z. Is s a multiple of 20?
False
Suppose i = 39 + 73. Suppose i = 2*j + 5*u, 10*u - 5*u = 4*j - 224. Is 7 a factor of j?
True
Let t(d) = 2*d**2 + 9*d + 33. Is t(-8) a multiple of 6?
False
Suppose p - f = 8, p - 3*f = -4*p + 50. Suppose -p = -2*j + 11. Suppose -s - j = -19. Is s a multiple of 2?
False
Is 84 a factor of (-1112582)/(-473) + (-2)/11?
True
Let r(w) = 2*w**3 - 10*w**2 - 6*w + 14. Let n(g) = -g**3 - g - 1. Let s(i) = -3*n(i) - r(i). Is 12 a factor of s(-8)?
False
Suppose 2*o + 7 = 3*t, -t - 3 = -0*o - 2*o. Suppose 0 = -4*f - 5*l + 121, -4*l + 0*l - 100 = -t*f. Is f a multiple of 24?
True
Let o = -14 - -16. Let m be 3/(-2) - (-7)/o. Suppose 4*j = -s + 4*s + 89, 3*j - 68 = m*s. Does 26 divide j?
True
Let k = -107 + 136. Does 8 divide k?
False
Let w = -1422 - -2021. Does 40 divide w?
False
Let v = 4642 - 2590. Is v a multiple of 18?
True
Let d(y) = -5*y**3 - 8*y**2 - 20*y - 133. Is 42 a factor of d(-6)?
False
Let v be (-5)/(-15) + (-244)/12. Does 9 divide ((-36)/16)/(5/v)?
True
Let h(o) = o**3 + o**2 - 10*o - 2. Is h(4) a multiple of 4?
False
Suppose -15*z + 6264 = -9*z. Is 14 a factor of z?
False
Suppose 4*z = -3*a + 41, -4 - 52 = -4*a - 4*z. Is a a multiple of 4?
False
Suppose -x = 5 - 2. Let v be (23*-3)/x - 1. Is 6 a factor of (3 + -1 - 4) + v?
False
Let i = 293 - -354. Is 29 a factor of i?
False
Let b(o) = 339*o - 60. Is 52 a factor of b(3)?
False
Let a be (-1)/1*(-14 - 2). Let z(g) = -g**2 + 6*g - 3. Let k be z(5). Is 11 a factor of (a/8)/(k/52)?
False
Let r(z) = z + 6. Let y be r(0). Is 1068/24 - y*(-2)/(-8) a multiple of 43?
True
Let q = -196 + 1512. Is q a multiple of 14?
True
Let r(o) = 2*o - 15. Let j be 1 + -4 + 1 + 2. Let t be r(j). Is 3*((-95)/t + -4) a multiple of 7?
True
Suppose 1 = 3*p - 0*w - 5*w, 4*p - 6 = 2*w. Suppose p*t + 68 = 3*t. Is t a multiple of 17?
True
Suppose -8*c + 534 + 4506 = 0. Suppose -8*n = -1910 + c. Is n a multiple of 40?
True
Let j(f) = -5 + 2*f + f**2 - 7*f + 0*f**2 - 6*f**2 + f**3. Let q be j(5). Let d = -6 - q. Is d a multiple of 8?
True
Let v(h) be the third derivative of -h**6/20 + h**5/30 - h**3/6 + h**2. Let d be (1/2)/(((-27)/(-6))/(-9)). Does 6 divide v(d)?
False
Let o = -1141 + 1821. Is 10 a factor of o?
True
Let o be -12*3*1/3. Let q(h) = -h + 17. Let m(s) = -s + 18. Let u(c) = -2*m(c) + 3*q(c). Is 6 a factor of u(o)?
False
Suppose 0 = -3*v - g + 2, -v - 4*g = -g + 10. Suppose a = -v*a. Is -2 + 0 + a - -42 a multiple of 10?
True
Let u(l) be the third derivative of -31*l**4/12 + l**3/6 - 12*l**2. Is 21 a factor of u(-1)?
True
Let j(v) = 7*v**3 + 7*v**2 + 7*v + 43. Let f(o) = 9*o**3 + 7*o**2 + 6*o + 43. Let y(m) = 3*f(m) - 4*j(m). Is 6 a factor of y(-8)?
False
Let n(w) = -2*w + 31. Let b be n(14). Suppose -l + 12 = 2*y, -b*y + 4 = -y + 3*l. Does 4 divide y?
True
Let d(f) = -f + 6. Let r be d(6). Let v be (r - 116/8)*-4. Suppose -v - 22 = -4*i. Does 5 divide i?
True
Let x = 25 + 269. Is x a multiple of 21?
True
Suppose -5*j - 4515 = -2*j - 3*f, 4*j + 6018 = 3*f. Let i be (-4)/30 - j/135. Let m = 44 - i. Is 17 a factor of m?
False
Let y(v) = -3*v**3 + v**2 - v + 1. Let f be y(1). Let q be (81/f)/((-15)/20). Suppose o + 2*r + 0*r = q, 4*r = 4*o - 204. Is o a multiple of 26?
True
Let h(a) = -3*a**2 + 17 + 0*a**2 + 7*a + 4*a**2. Does 23 divide h(-14)?
True
Is 37 a factor of -1 + -1 + 517 - -3?
True
Let l(z) = 67*z**2 + 15*z + 35. Does 91 divide l(-2)?
True
Let r(i) = -141*i**2 - 3*i - 2. Let l be r(-1). Let q = 241 + l. Suppose 195 = 5*o - 5*f, -q = -4*o + f + 70. Is o a multiple of 8?
False
Suppose -9 = -2*t + f + 5, -3*t = 3*f - 30. Is 7 a factor of ((-405)/(-36))/(3/t)?
False
Suppose 4*p + 70 = -6*o + o, 4*p = -o + 2. Let y = o + 34. Is 16 a factor of y?
True
Is 16 a factor of 47362/51 - 6/9?
True
Suppose 4*j = j + 33. Let g(h) = h**3 - 12*h**2 + 14*h + 5. Let n be g(j). Suppose -192 = -5*c + n. Is c a multiple of 12?
False
Let i(w) = -w + 8. Let m be i(0). Let f(u) = -u**3 + 6*u**2 - 5*u - 11. Let p(n) = -n**2 + n. Let v(d) = f(d) - 4*p(d). Is v(m) a multiple of 15?
True
Suppose c - 159 = -79. Is 10 a factor of c?
True
Let g(l) = l**3 - 5*l**2 + 5*l - 4. Let c be g(4). Suppose 4*i + 4*k + 4 = -i, 3*i + 2*k + 2 = c. Suppose -3*h + h + 12 = i. Is h a multiple of 6?
True
Let v be (-56)/(-12) + -5 - (-170)/(-3). Let w = -53 - v. Is 2 a factor of w?
True
Suppose 0 = -8*u + 3*u + 675. Suppose 0*w = -5*w + u. Let z = w + -16. Is z a multiple of 11?
True
Let t be 5104/99 - (-8)/18. Suppose 2*u - 18 = -2*q, -4*u + 2*q = -2*q - t. Is u a multiple of 4?
False
Suppose -18*w - 42 + 708 = 0. Is w a multiple of 8?
False
Suppose -4*x = 4, -5*x + 3 - 10 = -s. Suppose 0*z + s*z = 144. Does 18 divide z?
True
Let a(s) = 16*s**2 + 3*s. Suppose -3*i = -7*i + 12. Does 17 divide a(i)?
True
Let g(w) = -w - 5. Let j be g(9). Let s = j - -17. Suppose s*z - 2*o = 2*z + 34, -z = -5*o - 49. Is 12 a factor of z?
True
Let t(p) = 87*p - 6. Let o be t(-4). Suppose -53 = -5*n + 7. Is 12 a factor of 1/2 - o/n?
False
Let i be (1 - -5)*(-45)/(-6). Let n = i - 25. Is 20 a factor of n?
True
Suppose 0 = -v + 2*w + 193, -2 = 2*w + 6. Is 15 a factor of v?
False
Suppose 4*m - 3 = 133. Let w be ((-222)/(-37))/(1 - -2). Suppose -w*r + m = -r. Is r a multiple of 6?
False
Let f be 17/9*2 - 78/(-351). Suppose 4*i - 4*y - 1068 = 0, -2*i = -4*i - f*y + 564. Does 25 divide i?
False
Let g be (-12 + 24)*10/8. Let x = 16 - g. Let r(j) = 126*j - 1. Is 29 a factor of r(x)?
False
Let r(f) be the second derivative of -f**5/10 - 7*f**4/12 - f**3/2 - 5*f**2 + 4*f. Does 40 divide r(-5)?
True
Let u = 13 + 175. Let z = -93 + u. Is z a multiple of 19?
True
Suppose -4*t - 19 = -5*x - 72, -51 = -4*t + 3*x. Let p(d) = 2*d**2 - d - 1. Let f be p(-5). Suppose t + f = c. Does 20 divide c?
False
Let s(m) = -143*m + 14. Is s(-1) a multiple of 9?
False
Suppose 0 = w - 1, 2*d + 9*w - 11 = 4*w. Suppose -i = -d*i + 370. Is i a multiple of 37?
True
Suppose 3*u = -6*n + 3*n + 15, -2*n = -5*u - 10. Suppose 3*k - 24 + 0 = u. Does 4 divide k?
True
Suppose 0 = 10*s - 300 - 1610. Does 16 divide s?
False
Suppose 5*p + 308 = 93. Let k be 2 - p/((-2)/2). Let f = 73 + k. Is 29 a factor of f?
False
Let w(z) = 5 + 6*z - 7*z - 22. Let o be w(-13). Does 2 divide ((-6)/(-12))/((-1)/o)?
True
Suppose 13*y = 7719 + 2577. Does 9 divide y?
True
Let z = -51 + 51. Suppose z = 4*l + 5*x - 103, 0*l - 49 = -2*l - 3*x. Is l a multiple of 3?
False
Suppose u + 58 = 442. Is u a multiple of 24?
True
Let u(a) = 2*a + 3. Let d be (-52)/39*(-3)/(-2). Let t be u(d). Does 17 divide (8/(-16))/(t/104)?
False
Suppose 82 = -4*c - 26. Let z = -22 - c. Is 20 a factor of (-15)/(-75) - (-499)/z?
True
Let t(g) = 118*g**2 - 6 + 123*g**2 - 237*g**2 + 13*g. Is 18 a factor of t(6)?
True
Let t(c) be the second derivative of c**4/12 - 2*c**3 - 9*c**2/2 + 11*c. Let l be t(-6). Let v = -67 + l. Does 8 divide v?
True
Let l(y) = y**3 + 8*y**2 - 9*y - 9. Let a(u) = -4*u**3 - 23*u**2 + 27*u + 26. Let p(v) = v - 9. Let z be p(7). Let r(f) = z*a(f) - 7*l(f). Does 3 divide r(9)?
False
Let h be (2 + -1)/(1/43). Let d = h - 25. Is 3 a fa