2). Let n = d - 46. Does 14 divide n?
False
Let b = 0 - 5. Let z(w) = w + 9. Let s be z(b). Suppose -s*u + 72 = 3*k, 0*u - 2*k + 68 = 4*u. Is 7 a factor of u?
False
Suppose 0 = 3*u - 3. Let c be (1 + 0)*3/u. Suppose -5*l + 4*i = -i - 100, -2*i + 55 = c*l. Does 6 divide l?
False
Let q(z) be the second derivative of 3/2*z**2 + 1/20*z**5 + 0 - z - 1/6*z**3 + 5/12*z**4. Is 12 a factor of q(-3)?
True
Let c = -66 - -36. Let q be ((-2)/6)/(2/c). Suppose -q*f + 13 + 12 = 0. Does 2 divide f?
False
Let d = -221 + 325. Does 14 divide d?
False
Does 3 divide 62*(-1)/3*-3?
False
Is 23 a factor of ((-14)/(-4))/((-15)/(-270))?
False
Let s(w) = -w**2 + 5*w + 2. Let h(b) = b**2 - 2*b - 3. Let l be h(-2). Let f be s(l). Does 6 divide 0*f/(-4) - -9?
False
Let b be (64 + 1)*1/1. Suppose 0 = -2*q - 29 - 11. Is 13 a factor of b/(-2)*q/25?
True
Suppose 3*m + 87 = 9. Let w = m + 60. Is w a multiple of 17?
True
Suppose 1 = -4*y + 17. Let t be 6/y + (-65)/(-10). Let g = t + 12. Does 10 divide g?
True
Let f(h) = -h**3 + 17*h**2 + h + 17. Let x be f(17). Let p = -3 - -2. Let w = p + x. Does 11 divide w?
True
Suppose 0 = -b + 6 + 4. Is b a multiple of 4?
False
Let o(q) = 11*q - 7. Let p(m) = 45*m - 29. Let k(t) = -9*o(t) + 2*p(t). Let y be k(4). Let b = 51 + y. Is b a multiple of 8?
False
Let v(r) = r**2 + 3*r + 4. Let o be 3*(-16)/(-6) - -1. Suppose 2*h + o = 1. Does 7 divide v(h)?
False
Suppose 0 = r + 3 - 12. Suppose 4*w - w = r. Is w a multiple of 3?
True
Is (-107)/(-5) + (-2)/5 a multiple of 7?
True
Suppose 2*f - 3*r - 3 = 0, 2*r + 8 + 2 = 0. Is 9 a factor of ((-31)/3)/(f/18)?
False
Let u(n) = n**3 - 7*n**2 + 6*n - 10. Let v be u(7). Suppose 2*d = 4*o + 66, -3*o + o - 48 = 2*d. Let q = o + v. Is 7 a factor of q?
False
Let i(u) = 5*u**3 + 3*u**3 + 5*u + 3*u**3 + 24*u**2. Let v(j) = 7*j**3 + 16*j**2 + 3*j. Let t(n) = -5*i(n) + 8*v(n). Does 4 divide t(-8)?
True
Let b = 10 - 5. Suppose 0*n - 16 = -b*n - j, 28 = 3*n - 4*j. Suppose p + 2*p = -n*a - 4, 5*p = 4*a + 36. Is p a multiple of 2?
True
Let s(o) = -6*o + 11. Suppose 2*n - 6 = 10. Let x be s(n). Let z = -22 - x. Does 5 divide z?
True
Let y(z) = -z**3 - z - 1. Let x(j) = 6*j**3 - 5*j**2 + 11*j + 1. Let f(n) = x(n) + 5*y(n). Let a be f(4). Suppose -64 = -0*k - a*k. Is 16 a factor of k?
True
Let m = 78 + -42. Does 12 divide m?
True
Let y = -109 + 259. Let n = -45 + y. Does 32 divide n?
False
Suppose 0 = 2*a - 16. Suppose 5*r - a = 3*r, -4*l - 2*r + 72 = 0. Is 16 a factor of l?
True
Let i(v) = 2*v**3 - 4*v**2 + 2*v. Let o be i(2). Let n(p) = 3*p - o + 4*p - 2*p. Is 11 a factor of n(3)?
True
Let z be 2/3*9/2. Suppose -32 = -z*o + o. Is 8 a factor of o?
True
Suppose -3*u + 18 - 6 = 0. Suppose 0*f = u*f - 12. Suppose 122 = 4*a - 5*z, f*a - 3*z + z - 88 = 0. Does 12 divide a?
False
Suppose -11 = -g + 4. Let o be (-50)/4 + (-12)/8. Is (o/6)/((-1)/g) a multiple of 14?
False
Let z = -5 + 14. Suppose -3*o + 4*g + z = -g, -3*g = -9. Is 8 a factor of o?
True
Suppose 0 = -6*k + 366 - 54. Is 6 a factor of k?
False
Does 22 divide 1/(-2) + (-1062)/(-12)?
True
Let t = 13 + 4. Is 12 a factor of (-2 + (-2 - -5))*t?
False
Let q(i) = 23*i - 3. Let k(l) = -12*l + 2. Let y(g) = -10*k(g) - 6*q(g). Is y(-4) a multiple of 14?
True
Let p(d) = 18*d - 1. Let f be p(1). Suppose -4*o = -103 - f. Let k = -17 + o. Is 13 a factor of k?
True
Let d = -3 + 94. Is d a multiple of 7?
True
Let j = 0 + 20. Suppose -j = -4*b + 2*b. Is b a multiple of 10?
True
Suppose -255 = 4*i - 1251. Is 23 a factor of i?
False
Suppose 4*a - 553 = -5*r, 5*a - 157 = 4*a + 5*r. Is a a multiple of 12?
False
Let z(n) = 2*n - 27. Is 11 a factor of z(26)?
False
Let j(z) = -2*z**2 + z**2 + 8 + 7*z - 1. Let h be j(8). Is (6 - 0/(-2)) + h even?
False
Suppose 0 = 5*k - 4 - 1. Let v(t) = -t**2 - 1. Let y(a) = 5*a**2 + 4*a + 13. Let h(c) = k*y(c) + 4*v(c). Does 14 divide h(-7)?
False
Suppose 0 = -8*c + 9*c - 6. Is (56/c)/1*3 a multiple of 10?
False
Suppose m + 0*m = 5. Let n(i) = 6*i - 6. Let o be n(2). Suppose -3*t = 5*x + 5, -2*x + 3*t - m*t = o. Is x even?
True
Let b(y) = 3*y**2 + 6*y + 5. Is 29 a factor of b(-8)?
False
Let n = -2 + -2. Let t = n - -6. Is 4/t - 72/(-4) a multiple of 20?
True
Let a = -83 - -221. Suppose 2*u + 4*q - a = 0, -u + 69 = -2*q - q. Suppose u = 5*x - 36. Is 7 a factor of x?
True
Suppose -4*z = -17 - 43. Let t = z + -11. Suppose -b + 3*x + 10 = 0, t*x + 18 = 2*b - 0. Is b a multiple of 7?
True
Suppose -2*p + 5*l + 23 = 0, 3*p - l - 6 = -3*l. Let v(m) = -4 + 2*m + 0 + 3*m. Is v(p) a multiple of 8?
True
Let i be (-2)/(-2) + -1 - -4. Let r = 51 + -21. Does 9 divide 12/10*r/i?
True
Let t(w) = 17*w**2 + 7*w + 6. Is 14 a factor of t(-2)?
False
Let r(q) = q. Let f be r(2). Suppose 2*o + 4*d - 2 = 0, f*d + 7 + 7 = 2*o. Does 5 divide o?
True
Suppose v - 23 = -4*n, 14 = 4*v + 5*n - 23. Let z(h) = 4*h + 4 + 2 - 2. Is z(v) a multiple of 14?
False
Let u(i) = 21*i. Let o be 12/(-9)*(-9)/12. Does 7 divide u(o)?
True
Let z(i) = -1. Let d(b) = 2*b**2 + 7*b + 10. Let j(o) = d(o) + 6*z(o). Does 19 divide j(-5)?
True
Let o be -15*(-2 + (1 - 0)). Let a be 5*1*(-6)/o. Is a*6/(-8)*26 a multiple of 15?
False
Let h = 60 - 24. Is h a multiple of 9?
True
Suppose -226 = -10*w + 164. Is 7 a factor of w?
False
Is (-39)/(-15) - 8/(-20) - -206 a multiple of 19?
True
Let p(a) = a**3 - 15*a**2 + 22*a + 27. Does 21 divide p(15)?
True
Let o be (-3)/12 - 427/4. Let z = -200 - o. Let u = 133 + z. Is 19 a factor of u?
False
Let z = 9 + 0. Let t = 16 - z. Is 7 a factor of (-16)/(-5)*(t - 2)?
False
Let z = -3 + 19. Is 8 a factor of z?
True
Let q(g) = -g**2 - 7*g + 4. Let j be (-2)/(-13) - (-54)/(-13). Let s be q(j). Suppose 2*a - 58 - s = 0. Does 24 divide a?
False
Suppose 4*y = 3*y - 4. Suppose 2*x - x - 14 = 0. Does 2 divide (-376)/(-56) - y/x?
False
Is 4 a factor of 6/3 + 7 - -3?
True
Let y(u) = -1 + 3*u + u**2 + 4*u - 3*u. Is 11 a factor of y(-7)?
False
Suppose -2*t - 8 = 0, -100 - 8 = -r + 4*t. Let a = 136 - r. Suppose k = a - 12. Is 12 a factor of k?
False
Let q = 5 - 4. Let z(v) = -3*v - 1. Let u be z(q). Let b(x) = -x**3 - 4*x**2 - 6*x - 6. Does 18 divide b(u)?
True
Let g(k) = 16*k - 1. Let c(v) = v**2 - 6*v + 6. Let y be c(5). Is g(y) a multiple of 15?
True
Suppose -5*y = -2*t - 935, y = 5*t + 132 + 32. Is 21 a factor of y?
True
Let d(x) = 25*x - 9. Let i(t) = -13*t + 5. Let k(h) = 6*d(h) + 11*i(h). Does 18 divide k(4)?
False
Let d = 318 + -171. Is 21 a factor of d?
True
Let q(c) = -5*c - 4. Is q(-4) a multiple of 4?
True
Let r(q) = 8*q - 2. Let j be r(1). Let a(h) = h**3 + h**2 - 4*h + 8. Let i(v) = v**3 + 2*v**2 - 3*v + 8. Let z(x) = 6*a(x) - 5*i(x). Does 13 divide z(j)?
True
Suppose r = -5*z + 10, -2*z = -z - r - 2. Let a be 2 - 2/z - -1. Suppose -a*u + 34 = 5*g, -3*g = -2*g - 3*u. Is 6 a factor of g?
True
Let s(p) = 7*p - 3. Is s(2) a multiple of 9?
False
Suppose 6 = 3*l - 5*m, -1 = 5*l - m - 11. Suppose 3*i - l*z + 168 = z, -5*z = i + 32. Does 13 divide (2*2)/((-8)/i)?
True
Let m = -12 + 18. Is m a multiple of 2?
True
Let i be (0 - 1)*(0 + 1). Let f(w) = -57 + 58 - 3*w - w. Is 5 a factor of f(i)?
True
Suppose 3*h = -d + 7, -4*h - 3*d + 5 + 11 = 0. Let b(y) = -6*y + 3 - 3 + 2 + h. Does 13 divide b(-4)?
False
Suppose -68 = 5*n + 2*q + 74, 18 = -n - 3*q. Does 3 divide (n/(-35))/(2/7)?
True
Let r(t) be the third derivative of -t**5/60 + 11*t**4/24 - 11*t**3/6 - t**2. Suppose -5*q + 24 + 21 = 0. Does 7 divide r(q)?
True
Let i = 44 - 37. Is 7 a factor of i?
True
Let x(f) = 5*f + 2. Let b be 3*-1*(1 - 2). Let k be x(b). Suppose 0 = -4*o + 27 + k. Does 11 divide o?
True
Suppose 2*n + g - 176 = -n, 5*n - 292 = -2*g. Does 16 divide n?
False
Let y(d) = -d**3 + 11*d**2 - 8*d + 3. Is y(10) a multiple of 12?
False
Let p(y) = -y**3 - y + 2. Let u be p(-2). Suppose -2*g = -2*s - g + 1, -u = -3*s - 2*g. Suppose 5*m - 40 = s*q + 2*q, 4*q = 3*m - 16. Does 11 divide m?
False
Let u be (-3)/(2/(3 + -1)). Is 14 a factor of (42/5)/(u/(-15))?
True
Let p(q) = q**2 + 10*q + 17. Let l be p(-5). Let h(s) = 39*s + 1. Let k be h(1). Let y = l + k. Is y a multiple of 16?
True
Suppose 0 = 3*c - 2*r - 18, 4*r + 9 + 7 = c. Suppose 2*u + 160 = 3*i + 6*u, 0 = c*i + 4*u - 220. Is i a multiple of 20?
True
Let m(j) = j**3 - 3*j**2 + 3*j - 1. Is 16 a factor of m(5)?
True
Is 20 a factor of (115/69)/(1/30)?
False
Suppose 2*o 