2). Does 14 divide x(z)?
True
Suppose -17 = -5*d + 3*w, 15 = -6*d + d - 5*w. Let f = 21 - d. Suppose -2*r + f = 3*r. Does 4 divide r?
True
Let b(s) = s + 4. Let v be b(-3). Does 8 divide 2/(v/(-36)*-3)?
True
Let w = -7 + 31. Suppose -3*v + 2*v + w = 0. Is 7 a factor of v?
False
Suppose j = 2*n + 12, 3*j - 3*n + 9 = -6*n. Suppose -4 - 2 = -j*k. Suppose 4*x + 12 = -k*y + 4*y, x = 4*y - 18. Is y a multiple of 2?
True
Suppose -20*a = -11*a - 324. Does 9 divide a?
True
Let a(n) = n**2 - n - 2. Let c(q) = -q**3 + 6*q**2 + 4. Let i be c(6). Let w be a(i). Suppose -4*d = -j + 40, 3*d - 1 + w = 0. Is 14 a factor of j?
True
Let s be -7 + 10 + -1 + -54. Let c = -20 - s. Is c a multiple of 8?
True
Suppose 4*c + 2*o - 62 = 0, 0 = 4*c - 0*o - o - 53. Is c a multiple of 8?
False
Let d = 9 + -15. Let m be (-20)/d + (-1)/3. Suppose 4*l - m*l = q - 30, -l - 5 = 0. Does 18 divide q?
False
Let w(t) = -6*t - 3. Let i(a) = 24*a + 12. Let y(k) = 2*i(k) + 9*w(k). Does 21 divide y(-4)?
True
Let c = 5 + -6. Let s be c - (-39 + -1 + 1). Suppose -4*j = -s - 74. Is 14 a factor of j?
True
Let p(k) = 69*k. Is 23 a factor of p(1)?
True
Let x(j) = -j**3 - 4*j**2 - 2*j + 3. Let q be x(-3). Suppose 2*y - 7*y + 155 = 0. Is ((y - q) + -1)/1 a multiple of 17?
False
Let r(q) = 5*q + 4. Let y be r(6). Suppose -2*g + 0*g + y = 0. Does 8 divide g?
False
Suppose -3 = -4*b + l, 6*b + 3*l = b + 25. Suppose -b*w + 4 + 2 = 0. Is w/(9/15*1) a multiple of 3?
False
Let n(r) = -r**2 - 13*r - 8. Suppose -4*c = -5*o + 45, o = -3*o + 4. Does 11 divide n(c)?
True
Suppose 5*g + 2*d - 12 = 0, 2*d = 4*g - 0*d - 6. Let t be (2 + 0)*(3 - g). Suppose -3*z - 32 = -t*x, -5*x = -4*z - 0*z - 87. Is 19 a factor of x?
True
Let b(w) be the first derivative of w**4/4 + w**3/3 - 2*w**2 + 2*w + 2. Is b(3) a multiple of 13?
True
Suppose 2*u + 610 = -3*k + 6*k, 2*k - 396 = -4*u. Is 13 a factor of k?
False
Suppose -7*z + 247 = -89. Suppose -7 = -2*x - 3. Let i = z - x. Is 23 a factor of i?
True
Let u(h) = 2*h**3 - 5*h + 2. Is u(3) a multiple of 9?
False
Let k(u) be the first derivative of u**4/4 - u**3/3 - u**2/2 - u + 4. Let y be k(5). Let b = y - 29. Is b a multiple of 23?
False
Let j = 68 + -40. Suppose -3*y - j = -2*m, -y + 15 = m - 3*y. Suppose 2*o - 35 = m. Is o a multiple of 13?
False
Let v = 80 + -54. Let g = v - 8. Does 4 divide g?
False
Let o(c) = c**3 + 6*c**2 + 1. Let y be o(-6). Let g = -1 + y. Let a(h) = -h**3 + h + 42. Is 18 a factor of a(g)?
False
Is (24/(-18))/((-2)/21) a multiple of 3?
False
Suppose k = 29 + 15. Suppose -2*d + 6*d = k. Is 7 a factor of d?
False
Let p = -5 + 5. Let m = 0 - p. Is -2 + (m - -2) + 22 a multiple of 11?
True
Let d = 1 - -26. Is d a multiple of 9?
True
Let n(g) = g + 6*g**2 + g + 5*g**2 - 4*g. Let h be n(-2). Suppose -3*o = -7*o + h. Is 12 a factor of o?
True
Suppose -3*l + 25 = -95. Does 21 divide l?
False
Let p(r) = -r**3 + 6*r**2 + 4*r - 9. Let s be p(3). Let w be 2/7 - 372/(-21). Suppose w + s = l. Is 24 a factor of l?
True
Suppose 288 = 5*l + 68. Is l a multiple of 13?
False
Suppose -5*i + 2*h + 108 = 0, -i + 12 = -0*i + 2*h. Let l = -4 + i. Is 8 a factor of l?
True
Suppose 0 = 4*t + 4*x - 288, 1 = 5*x + 16. Is 15 a factor of t?
True
Let o(z) = -z + 9 - 3 - 3*z. Suppose 2*l + 4*v + 1 = -25, -11 = -l + 4*v. Does 9 divide o(l)?
False
Let j(k) = k + 7. Is 12 a factor of j(5)?
True
Let a = -128 - -209. Is 21 a factor of a?
False
Suppose 0 = 2*o - 2 + 6, o = -z + 2. Does 4 divide z?
True
Let x = 75 - -75. Is x a multiple of 10?
True
Suppose -2*f + 51 = -f - 3*j, -2*f - 5*j + 91 = 0. Suppose -7 - f = -5*k. Is 4 a factor of k?
False
Suppose -z + 21 = -8. Suppose 2*b = 19 + z. Is b a multiple of 7?
False
Suppose -12*p = 5 - 233. Does 19 divide p?
True
Let m = 7 - -13. Is m a multiple of 5?
True
Let c(a) = -a**2 - 5*a + 5. Let d be c(-6). Let k be (2/4)/(d/(-2)). Does 13 divide k*2*(-74)/(-4)?
False
Suppose -6*x + 6 = -4*x. Suppose 0 = -h + 6 - x. Suppose 4*s - 83 = -5*f, -2*s + 15 = h*f - 36. Is 13 a factor of f?
False
Suppose 0 = -6*w + 19 + 41. Is 10 a factor of w?
True
Suppose -3*f + 12 = 3. Suppose 3*k - 3*m = -4*m - 26, -f*k - 46 = 5*m. Let v = -4 - k. Is v even?
False
Does 16 divide 55 + 0 - 10/(-2)?
False
Let g(r) = -57*r - 12. Is g(-1) a multiple of 3?
True
Does 3 divide ((-3)/6)/1 + 234/12?
False
Is (-14 - -88)/(2/3) a multiple of 37?
True
Does 22 divide 1/(-3) - 2416/(-12)?
False
Suppose -10*d + 16*d = 186. Does 8 divide d?
False
Let p = 1 - -18. Is 8 a factor of p?
False
Let m = -3 - -2. Let x = m + 4. Suppose -18 = -b + s, 2*b - 27 = -x*s + 2*s. Does 7 divide b?
False
Suppose 0 = 2*m + 5*l - 20, -3*l + 11 = m - 0*m. Suppose 0 = m*z - y + 121, z - 4*y + 5*y = -23. Let x = z + 47. Does 9 divide x?
False
Suppose p - 3 = -2. Suppose -5*k + 4*i = -4, -k - 2*i = -11 - p. Suppose -3*l = -o + l + 11, 22 = 2*o + k*l. Is o a multiple of 11?
True
Suppose -7*i + 2*i = -30. Does 4 divide i?
False
Does 6 divide (60/(-14))/(7/(-49))?
True
Let r(d) = -9 + d**2 - 9*d + 2*d - 2*d. Let o be r(9). Let b(x) = x**3 + 11*x**2 + 13*x + 6. Is 13 a factor of b(o)?
False
Let a(t) = -t**2 - 2*t + 1. Let z be a(-3). Is z/(-4) + (-124)/(-8) a multiple of 16?
True
Let d = 77 - 27. Is d a multiple of 16?
False
Let t(w) = w**2 - 1. Let j be t(0). Is 26 a factor of j/2 + 525/10?
True
Let s = -20 - -31. Suppose 3*g + 12 = 0, 5*p - 57 + s = -g. Let y = p - 6. Is 3 a factor of y?
False
Suppose 2*c + 2*c = 2*p + 256, 4*p = 16. Suppose 2*i - c = 3*l, -3*i - 2*l + 95 = -17. Is 14 a factor of i?
False
Let x(h) = h**2 - 11*h - 5. Does 9 divide x(13)?
False
Let h(o) = 3*o**3 - 5*o**2 - 10*o - 5. Is h(5) a multiple of 26?
False
Let d(g) = g**2 + 5*g + 2. Let i be d(-5). Is 30*((-12)/(-5) - i) a multiple of 5?
False
Suppose -2*l + 32 = -4*l. Let y = l - -67. Is 25 a factor of y?
False
Let i(a) = 3*a - 7. Let b be i(-5). Let q = b + 77. Does 20 divide q?
False
Suppose 0 = -4*a - 8 + 20. Suppose -a*r - 240 = -8*r. Is r a multiple of 13?
False
Is 6 a factor of (20/(-15))/(-4)*51?
False
Is (2/(-4))/(6/(-720)) a multiple of 20?
True
Let x be 0 - (3 + (-12)/(-4)). Let p(k) = -4*k**2 + k - 6. Let v(i) = 21*i**2 - 6*i + 30. Let n(j) = -11*p(j) - 2*v(j). Does 19 divide n(x)?
False
Let i be 0/(-3) + 3/(-1). Is 25 + (-3 - (i - 2)) a multiple of 13?
False
Suppose 0 = 3*n - 2*w - 74, 8*n - 64 = 5*n + 4*w. Is 7 a factor of n?
True
Let y(k) = -k + 2. Let j be y(-15). Suppose 0*p + p - 5*h - j = 0, -2*p + h = -61. Does 8 divide p?
True
Let o(p) = 284*p**2 + p. Does 15 divide o(1)?
True
Let u be (-39)/(-6) + 3/(-6). Does 16 divide u/5*200/15?
True
Let d = 7 + -7. Let m be (-5 - d)/((-4)/(-8)). Does 11 divide (-254)/m + (-10)/25?
False
Let u(v) = v**2 + 2*v - 5. Let g be u(-8). Suppose 0*w + 2*w = 0. Suppose -g = -4*l - 5*y, -4*l - 2*y + y + 47 = w. Is 10 a factor of l?
False
Let z(h) = -3*h**3 - h**2 - 7*h + 7. Let n(c) = -5*c**3 - c**2 - 13*c + 13. Let v(t) = 4*n(t) - 7*z(t). Does 6 divide v(-3)?
True
Suppose -2*v - 2*p + 4 = 0, -7*p = -4*v - 2*p + 8. Suppose c - 15 = -x, x + 1 = -0*x. Suppose v*f + 0 - c = 0. Does 3 divide f?
False
Let m(v) = v - 2. Suppose -4 = -2*y - 0. Let a be m(y). Suppose o + 3 - 26 = a. Is o a multiple of 14?
False
Suppose 5*d = 2*d - 9, -4*d = -k + 19. Suppose -4*t = -3*t - k. Does 5 divide t?
False
Let j(v) = v**3 - 7*v**2 + 3*v + 10. Let d be j(7). Let s = d - 86. Let u = s - -91. Does 13 divide u?
False
Suppose -4*v = -2 - 18. Suppose -2*d - 10 = -0, -2*f - v*d = -17. Does 21 divide f?
True
Let q(t) = t**2 + 4*t - 34. Does 19 divide q(-15)?
False
Let j(a) = 6*a - 3*a + a**3 - 2*a**2 + 0*a. Let r be j(4). Suppose 0 = b + 5*u - 18 - 18, 3*b - u = r. Is b a multiple of 5?
False
Let n be (-22)/77 + (-46)/(-14). Is n + ((-80)/2)/(-2) a multiple of 23?
True
Let k(w) = -w**3 - 24*w**2 + 20*w - 41. Does 14 divide k(-25)?
True
Suppose -3*s - 123 = 3*y, 2*s + 42 + 151 = -5*y. Let w = -23 - y. Is (w/6)/((-2)/(-24)) a multiple of 15?
False
Suppose 8*x + 10 = 10*x. Is x a multiple of 2?
False
Suppose -4*k + 4 = -6*k, -2*b + 5*k = -492. Does 33 divide b?
False
Let o = 103 - 55. Does 16 divide o?
True
Let l(q) = -4*q + 4. Let o be l(-3). Suppose 2*g + 2 = o. Let w = 12 - g. Is w a multiple of 2?
False
Let y = 5 - -37. Does 7 divide y?
True
Let i be (-10)/25 + (-8)/5. Let r = -4 - i. Is 2 + -2 + r + 34 a 