3 = s, -k = -2*r - 2*r - s. Is 12 a factor of r?
True
Let m(h) = h**3 + 4*h**2 - 5*h + 3. Let s be m(-5). Suppose i - 165 = s*u + 6*i, -5*i = -u - 75. Let q = -18 - u. Is 16 a factor of q?
False
Let c(g) = 2*g + 8. Let b be c(-6). Let u(q) = -q**3 + 5. Is 18 a factor of u(b)?
False
Let q(l) be the third derivative of l**4/12 + l**3/3 + l**2. Let z be q(2). Is 6 a factor of z/9 - (-56)/6?
False
Suppose -38 = 4*l - 4*v - 134, 2*l + 2*v - 48 = 0. Suppose -5*r + l = -126. Is 15 a factor of r?
True
Let u be (8/(-3))/((-6)/(-45)). Let f = -14 - u. Is 34/6 + (-4)/f even?
False
Let k = 182 + -83. Is k a multiple of 32?
False
Let c = -39 - -25. Is 23 a factor of (-3)/(-7) + (-638)/c?
True
Let w = 22 - 8. Is 3 a factor of 6/2 + w/2?
False
Let h(z) = 126*z**2. Let u be h(1). Suppose -5*w + u = 26. Is 10 a factor of w?
True
Suppose -3*v = -5*q + 2*v - 10, -3*v = q - 18. Suppose -o + q = -3*h, -h + 2*o = 1 - 0. Let z = 18 - h. Is z a multiple of 16?
False
Let m(k) = 5*k - 3 + 2 + 2*k**2 - 3*k**2. Is m(3) a multiple of 3?
False
Let r(s) = -s**2 - s + 36. Let c be r(0). Suppose -4*h = -0*h - c. Is 9 a factor of h?
True
Suppose 2*d + 5 = -m - 7, -4*d - m - 28 = 0. Let b = d + 14. Is 18 a factor of b*(-34)/12*-3?
False
Suppose -2*r = -i - 15, -3*r + 5*i = -0*r - 40. Suppose 5*b + 7 = 4*t, r = 5*t - 3*b - 20. Is 4 a factor of t?
True
Let d = -86 - -164. Does 18 divide d?
False
Suppose 0 = 4*p - 7 - 29. Does 10 divide 12/p*(-180)/(-8)?
True
Let r(w) = -w**2 - 6*w - 5. Suppose 3*a - 6 + 18 = 0. Does 3 divide r(a)?
True
Let y = -12 + 17. Let i(c) = c**3 - 4*c**2 - 7*c + 7. Let x be i(y). Let o = 6 + x. Does 2 divide o?
False
Let i(u) be the third derivative of u**5/60 - 5*u**4/24 + 7*u**3/6 - 2*u**2. Let x(z) = z**2 + 10*z - 6. Let f be x(-11). Does 3 divide i(f)?
False
Let y(q) be the second derivative of q**3/6 + 19*q**2/2 + 2*q. Is y(-9) a multiple of 7?
False
Let k = 17 + -36. Let p = k - -47. Does 7 divide p?
True
Suppose -1 = 2*b - 7. Suppose -b*s + 14 = -49. Is 21 a factor of s?
True
Let m = -6 + 12. Is (-2)/m + (-110)/(-6) a multiple of 9?
True
Let j be (1 + 1)/(2/7). Suppose -x = 0, -x + 8 + j = u. Does 15 divide u?
True
Let r(w) = -3 - 2*w**2 + 3*w + 8 + 0*w + w**2. Let v be r(5). Let h(l) = l**2 + l. Does 16 divide h(v)?
False
Let o be (-4)/6 + (-22)/(-6). Suppose -5*l + 245 = -o*i + i, -25 = -5*i. Does 18 divide l?
False
Let n be 4/8*14 + 1. Suppose 3*r + 7 = 3*c - n, -3*r = 4*c - 6. Is c a multiple of 3?
True
Let z(d) = -16*d**2 - 3*d - 3. Let l be z(-2). Is 23 a factor of l/((-3)/(-9)*-3)?
False
Let p(l) = 2*l**2 - 2*l - 3. Let g be p(-2). Is ((-96)/g)/(4/(-12)) a multiple of 16?
True
Let i(h) = h - h**3 + 4 + 0*h**3 + 4*h**2 + 0*h**2. Let m be i(4). Suppose 0 = -3*f + 1 + m. Is f a multiple of 2?
False
Let r(b) = -b**2 + 11*b + 15. Does 5 divide r(11)?
True
Let j be 7 + (-1 - -1) + -2. Let x = j - 1. Suppose -5*i + 56 = x*o - i, 5*i + 66 = 3*o. Is 13 a factor of o?
False
Let i(v) = -v**3 - 3*v**2 + 4*v - 12. Does 18 divide i(-5)?
True
Let w(f) = -f**2 + 2*f. Let j be w(2). Suppose 0*o = 4*o - 968. Suppose -i + 2*x - 6*x + 53 = j, -5*i + 3*x + o = 0. Is 19 a factor of i?
False
Suppose 0 = f - 18 - 15. Does 7 divide f?
False
Let k = 70 + -21. Let i = -22 + k. Is 27 a factor of i?
True
Let h = 26 - -86. Is 23 a factor of h?
False
Suppose z = h - 4 + 13, 6 = -z - 4*h. Suppose 0 = n - 3*d - 100, -z*n + n + 458 = -d. Is 23 a factor of n?
False
Suppose 2*n = -3*n - x + 480, 15 = 3*x. Is 29 a factor of n?
False
Let g be (-1 + -30)*(-1)/1. Suppose 5*a - g = -2*m, -3*m - 26 = -5*m - 4*a. Is 14 a factor of 26 - (-2)/m*3?
True
Suppose 4*q = -4*x + 4, 4*q = -2*x + 17 - 5. Suppose -k - k - 61 = -3*a, q*a - k = 90. Is 11 a factor of a?
False
Suppose -54 = 4*l - 6. Let n = -7 - l. Is n even?
False
Is (-6)/(-2)*16*(-56)/(-32) a multiple of 12?
True
Suppose -5*y + 4*u = -47, -2*u + 4*u = -3*y + 15. Suppose -2*n = -o + n - y, 4*o - 4*n = 12. Is 3 a factor of o?
False
Let k = 184 + -111. Is 25 a factor of k?
False
Suppose -m + 4*q = -190 - 20, -2*m + 2*q = -420. Is m a multiple of 35?
True
Let y be 1/(-3) + 30/9. Let h(l) = -l + 4*l**2 - 4*l**2 - 2 + l**y. Does 11 divide h(3)?
True
Let i(g) = -7*g + 1. Let t(v) = -4*v**2 + 2*v + 2. Let h be t(2). Let k be i(h). Suppose 0 = -2*q - 7 + k. Is q a multiple of 16?
True
Suppose 3*x - 84 = t, -2*t + 0 - 52 = -2*x. Is 6 a factor of x?
False
Is 5 a factor of 3 + (5 - 4) - -28?
False
Suppose 240 = 9*r - 7*r. Is 6 a factor of r?
True
Let o = -4 - -4. Suppose p + 19 = 4*j - 41, o = 5*p + 20. Does 14 divide j?
True
Let g = 88 + -31. Does 16 divide g?
False
Suppose -16*f + 15*f + 77 = 0. Is f a multiple of 21?
False
Let f(q) = -4*q + 6. Let k be f(7). Let h = k + 46. Does 12 divide h?
True
Suppose 0 = 3*h - 0*h. Suppose -5*w - 3 - 2 = h. Let n = w - -11. Is 10 a factor of n?
True
Let d(j) = j**3 + j - 49. Let g be d(0). Is 18 a factor of 14/g - 508/(-14)?
True
Let p = -1 - -4. Let c = 7 + p. Is (24/c)/(2/25) a multiple of 22?
False
Is 15 a factor of 2/9 - (-2)/(36/770)?
False
Suppose -4*w + 8 = -3*v, -3*v + 7 = -w - 0. Suppose 5 = -3*a + w*p + 117, 2*p - 2 = 0. Is a a multiple of 11?
False
Let r(w) = w**3 - 3*w + 2. Let o be r(2). Suppose 3*f + 104 = o*a, 2*f + 35 + 69 = 4*a. Suppose d - a = -x, 2*x - 27 = -d + 20. Is x a multiple of 9?
False
Does 5 divide (-4)/(-5) + 980/25?
True
Suppose 75 = 18*c - 15*c. Is c a multiple of 21?
False
Let t(q) = -q**2 + q + 4. Let n be t(0). Suppose 5*d + 0*o = n*o + 23, 3*d = -4*o + 33. Suppose -97 + d = -3*p. Does 20 divide p?
False
Let l(u) = 5*u + 6*u - 3*u**2 - 3*u + 4*u**2 - 8. Is 12 a factor of l(-10)?
True
Suppose -3*n = 4*g - 98, 2*n - 4*g + g = 54. Is 6 a factor of n?
True
Let c be 19/7 + (-4)/(-14). Suppose -4*a + q = 3*q - 142, c*a - q - 94 = 0. Suppose -v - y + a = 1, 2*v + 4*y - 64 = 0. Is v a multiple of 12?
False
Let q(m) be the second derivative of m**8/3360 - m**7/840 - m**6/180 + m**4/12 - 2*m. Let s(n) be the third derivative of q(n). Is 12 a factor of s(3)?
False
Let b = 23 - 32. Does 12 divide (-1881)/(-81) + 2/b?
False
Suppose 5 = 3*g - 7. Is 4 a factor of g?
True
Let j(p) = -p + 1. Let h(k) = -k**3 + 5*k**2 + 9*k - 14. Let i(f) = -h(f) - 6*j(f). Is 14 a factor of i(6)?
False
Suppose -m - 2*m + 93 = 0. Does 8 divide m?
False
Let b = -20 + 30. Suppose 0 = 5*d + b, 4*d + 388 = -2*r + 7*r. Let u = r - 20. Is 16 a factor of u?
False
Suppose 10 = -3*r + 67. Is r a multiple of 3?
False
Suppose s - 63 = -3*s + 3*h, 49 = 2*s - 5*h. Is 4 a factor of s?
True
Let j(m) = -2*m**2 + 8*m + 8. Let o be j(7). Let t = o + 59. Let p = 39 - t. Is 14 a factor of p?
True
Does 20 divide 4/(-5)*(-9)/(18/50)?
True
Suppose -12 = -3*d + 21. Is d a multiple of 3?
False
Let f = 5 + -2. Let n = 74 - 30. Suppose 0 = -f*o - 5*p + p + n, -4*p + 8 = 0. Is 12 a factor of o?
True
Let u(i) = -i + 2. Let v be u(2). Suppose 50 - 9 = 2*s + o, v = 4*s - o - 73. Is 11 a factor of s?
False
Suppose -14 = 4*b - 58. Let w = -7 + b. Does 4 divide w?
True
Suppose 2*c = -6, -s - 5*c = -2*s + 13. Let k(j) = j**3 - 8*j**2 - j + 10. Let y be k(8). Is 14 a factor of y/s*(-42 - 0)?
True
Let q be (0 - 4)*(-25)/20. Let b(i) = 0 + 5 + 1 + 3*i. Does 14 divide b(q)?
False
Let w = -46 - -138. Suppose -14 = 3*l - w. Is l a multiple of 13?
True
Suppose 0 = -4*w + w + a + 74, 4*w - a = 99. Is 5 a factor of w?
True
Let d(v) = v**3 + 15*v**2 + 11*v + 5. Is 27 a factor of d(-14)?
False
Is 14 a factor of ((-10)/(-20))/(2/112)?
True
Suppose j = -0*j + 70. Is 14 a factor of j?
True
Let s(g) = -14*g - 3. Let l be s(-2). Suppose -5*z + l = 0, -4*t - 2*z + 28 = 2*z. Suppose 4*a - t*a = 44. Is a a multiple of 18?
False
Suppose -2*c - 2*c = -20. Let w = c - -27. Is w a multiple of 16?
True
Let q(r) = r**2 - 2*r + 6. Let s(f) = f - 4. Let y be s(8). Is 8 a factor of q(y)?
False
Suppose 0 = -2*n + n - 2*o + 18, 0 = n - o - 6. Is n a multiple of 6?
False
Let i(y) = -y**3 - 6*y**2 - 5*y - 4. Let v be 17/4 + 5/(-20). Suppose -2*g - 30 = 3*g + v*a, g = a - 6. Is 10 a factor of i(g)?
False
Suppose d + 2 + 3 = -2*a, -d - 4*a - 7 = 0. Does 25 divide 34/51 + (-148)/d?
True
Let y(f) = -f. Let x be y(-5). Suppose 2*m + 35 = 2*j + 3, 100 = 4*j + x*m. Is j a multiple of 11?
False
Let f(q) = q**2 - 3*q - 3. Let t be f(6). Let c = t - -15. Does 10 divide c?
Tr