*n**3. Is 11 a factor of s(3)?
True
Let k(h) = 6 + h**2 - 4*h**2 + h**2 + 3*h**2 + 4*h. Is 19 a factor of k(-8)?
True
Let j(z) = 2*z**2 - z - 4. Let a(d) = -3*d + 14. Let u be a(6). Let r be j(u). Suppose 2*w + 2*g = -3*w + r, 3*g = 4*w - 21. Is 5 a factor of w?
False
Let x(u) = 3*u**2 + u - 1. Let m be x(1). Let k = -8 + 28. Suppose k = m*p - 4. Is 8 a factor of p?
True
Suppose -r + 6*r = g + 215, 3*r = g + 129. Does 16 divide r?
False
Suppose -4*h = w - 63, w = h + 4*h - 72. Suppose -5*g + h = -2*n - 0*n, -2*n = 4*g - 30. Is g a multiple of 5?
True
Let f = -56 + 124. Suppose -5*n = -f - 47. Is 15 a factor of n?
False
Let d(a) = a + 6. Let v be d(-5). Let l be (0/v - -4)*5. Suppose 0 = -k - k + l. Does 5 divide k?
True
Let j(x) = -3*x - 10. Let t = 35 + -13. Let c = -32 + t. Is j(c) a multiple of 6?
False
Let p(b) = -b + 11. Let w be p(9). Let l(h) = -3*h - 8. Let f be l(-7). Suppose -f = w*s - 37. Does 6 divide s?
True
Let o = -210 + 88. Does 10 divide o/(-6) - (-7)/(-21)?
True
Let g = 9 + -26. Let m = g - -33. Let i = 24 - m. Is i a multiple of 6?
False
Let v be (-3 + 6)/((-3)/(-4)). Let i(w) = w**2 - 3*w + 2. Does 6 divide i(v)?
True
Let i be -2*1/((-2)/4). Let g be 18/24 + (-31)/i. Let f(z) = z**2 + 4*z + 4. Does 14 divide f(g)?
False
Let j = -2 - 4. Let l be 1/(9/j + 2). Is 6 a factor of 150/14 - l/(-7)?
False
Let k(u) = -u - 5. Let o be k(-7). Suppose -i - 17 = -r + 6*r, i + 5 = -o*r. Suppose -s = -4*a + 96, -90 = -i*a - s - 18. Is a a multiple of 15?
False
Suppose -2*j + t - 58 = -4*j, -5*j - 3*t + 145 = 0. Suppose 0 = 4*x - 193 + j. Is 15 a factor of x?
False
Does 12 divide 95200/375 + (-4)/(-30)?
False
Suppose 2*n - 245 = s, n + 4*s = 6*n - 620. Is n a multiple of 40?
True
Suppose 5*h - 275 = 2*h - 2*j, -5*h + 480 = -j. Suppose h = 6*s - s. Let a = -9 + s. Is a a multiple of 8?
False
Let r = -20 - -12. Let l(u) = -u**2 - 12*u - 7. Is l(r) a multiple of 12?
False
Let d = 114 - 67. Is d a multiple of 8?
False
Suppose -5*g + 72 = 17. Does 9 divide g/1 - 2 - 0?
True
Let k(p) = 6*p**2 - 2. Does 19 divide k(-4)?
False
Is 15/6*(-6)/(-3) a multiple of 2?
False
Let d(m) = 17*m**2 + m - 1. Let i(r) = r**2 + 7*r**2 + r**3 - 6 + 10*r - 4*r. Let o be i(-7). Is 17 a factor of d(o)?
True
Let v = -50 - -30. Let c = 4 - v. Is 13 a factor of c?
False
Let r(q) = -2*q - 7. Let z be r(-5). Does 20 divide z/1 + -1 + 21?
False
Suppose -h + 30 + 13 = 0. Suppose 5*n - 238 = -h. Is n a multiple of 13?
True
Let s(i) = -i**3 + 2*i**2 + 3*i + 1. Let l be s(3). Suppose 5*c - g - 189 = -2*g, -g - l = 0. Is 19 a factor of c?
True
Let p be 76/8*(3 - 1). Suppose 3*z - 5 = -4*t - 4, 5*z - 2*t - p = 0. Does 24 divide (-10)/30 + 82/z?
False
Suppose 148 = 11*f - 2778. Does 38 divide f?
True
Let h = -6 + 8. Let u(w) = -w**3 + 8*w**2 - 7*w + 5. Let p be u(7). Suppose -5*y + 45 = p*z, h*y = 5*y - 9. Does 3 divide z?
True
Let n be 5 - 2 - 7*1. Is 4 a factor of (-15)/n + (-3)/(-12)?
True
Let o be (-32)/(-6) + (-1)/3. Suppose -o*u + 9 = -11. Suppose -u*t + 6*c = 4*c - 72, 3*t + 3*c - 54 = 0. Is 6 a factor of t?
True
Suppose 2*s = 8, -4*x = -0*x - 3*s + 28. Let m = -1 - x. Suppose -m*i + 43 - 4 = 0. Is 13 a factor of i?
True
Let c be (-15)/3 - -2 - 3. Let v = -8 - c. Let y(h) = -2*h**3 - h**2 + 2*h - 1. Is y(v) a multiple of 7?
True
Let c be 2*-11*1/2. Let y(k) be the first derivative of -3*k**2/2 - 16*k + 9. Is 13 a factor of y(c)?
False
Let f = 78 - 114. Let m = -18 - f. Does 6 divide m?
True
Let v = 136 - 48. Is 22 a factor of v?
True
Let d be -2 + (-2 - (-2 - 5)). Let p(x) = -x**3 + 4*x**2 - 5*x + 4. Let k be p(d). Is (-2 - k - -10)*2 a multiple of 10?
True
Suppose -4*r + 33 = -31. Is 4 a factor of r?
True
Suppose -3*s - 84 = s + b, 0 = -4*s - 2*b - 88. Let c be 2/(-3) + s/(-3). Let d = 18 - c. Is d a multiple of 12?
True
Suppose 366 = 6*w - 354. Does 24 divide w?
True
Let y = -5 + 3. Let l be (0 + 1)/(y/(-18)). Does 14 divide (l + 0)*(-8)/(-2)?
False
Let c = 20 + -13. Suppose 3 = 2*d - c. Suppose -3*t + d*t = 36. Does 18 divide t?
True
Let z(o) = 3*o**2 + 17*o - 6. Let h(p) = -25*p - p**2 + 9 - 5*p**2 - p**2 + 2*p**2. Let u(d) = 5*h(d) + 8*z(d). Is 10 a factor of u(6)?
False
Let q(a) = -5*a - 20. Is q(-7) a multiple of 3?
True
Let o be 19/(-2) + (-2)/(-4). Let x = -4 - o. Does 5 divide x?
True
Let r be (2 + 0 - 1)*2. Let f = 9 - 6. Suppose -r*m + 25 = f*m. Is m a multiple of 3?
False
Suppose -2*r = -5*s - 5*r + 5, -5*r = 5*s - 5. Suppose -2*o + s = -5. Is 6 a factor of -2 + (o/3 - -13)?
True
Let b(l) = l**2 + 2*l + 2. Let h be b(-3). Let s = -4 + 7. Suppose -h*v + 63 = -4*u, s*u = -u + 12. Is 15 a factor of v?
True
Let c(r) = r**3 - 4*r**2 - 5*r + 3. Let h be c(5). Suppose 5*v - h*v = 56. Does 12 divide v?
False
Suppose 6 = -2*r, -2*s = -7*s - r + 157. Let g = s - 22. Suppose g = 2*l - l. Is l a multiple of 10?
True
Let m(q) = 3*q - 5. Let a = -1 - -4. Suppose -3*p = 2*p - a*j - 24, -2*j - 14 = -3*p. Is 13 a factor of m(p)?
True
Is 103/5 - 10/(-25) a multiple of 4?
False
Suppose -2*x + 14 = 3*g - 32, g = 3*x + 19. Is g a multiple of 4?
True
Let o = 14 - -36. Is o a multiple of 22?
False
Suppose 0 = 2*q + 2*q + 2*u - 202, -q = -u - 58. Does 13 divide q?
False
Let p(x) = -39*x + 12. Is p(-8) a multiple of 26?
False
Let t = 32 - 121. Let g = -50 - t. Is g a multiple of 13?
True
Let a be 8/(-44) - 6/(-33). Suppose -3*s = l - a*s - 76, l - 80 = s. Suppose -4*g + l = 5*x, 17 = g + x - 2. Is 9 a factor of g?
False
Suppose -4*u - 7 + 23 = 0. Suppose -25 = 2*o - u*d - 5, 2*d = -3*o - 14. Is (o - -38) + (-2)/(-2) a multiple of 17?
False
Suppose 2*a + 4*m - 850 = -a, 0 = -2*m - 10. Suppose 5*l + a = 5*t, 3*t - 6*t = -5*l - 184. Does 13 divide t?
False
Let i be ((-6)/(-5))/((-6)/(-15)). Suppose i*u + 24 = -0*u. Let s = u - -12. Does 4 divide s?
True
Let v = 14 + 0. Is 8 a factor of v?
False
Suppose 0 = -4*o + 3*o + 84. Is 13 a factor of o?
False
Let t(j) = j**2 - 2. Let o be t(-2). Let m be (-2 + 1)*67 - o. Let p = m + 105. Is 20 a factor of p?
False
Suppose -476 = -5*g + g. Suppose -a = -2*a + g. Suppose 4*v - a = -6*r + r, 0 = v - 5*r - 61. Does 18 divide v?
True
Let a(b) = 3*b + 2. Is 9 a factor of a(15)?
False
Let l(k) = 4*k**3 - 2*k**2 - 3*k + 3. Suppose 3 = r + 1. Let j be l(r). Suppose 3*m = j + 87. Is 18 a factor of m?
True
Let k be (0 - -1)*20/1. Let h = 123 + -83. Let b = h - k. Is b a multiple of 10?
True
Let u be 696/14 + 4/14. Suppose 3*v - u = 22. Suppose -m + 68 = 2*g + 20, -g = -4*m - v. Does 12 divide g?
True
Suppose -4*s + 0*s + 162 = 2*o, -5*s + 5*o = -225. Suppose 186 = 4*k + s. Is k a multiple of 12?
True
Does 5 divide 0 + -1 - (-26 - -12)?
False
Let z(j) = -2*j**2 - 5*j + 2. Let y(x) = x. Let b(g) = -5*y(g) - z(g). Is 8 a factor of b(3)?
True
Suppose -2518 + 633 = -5*t. Suppose -5*v + 2*d = -t, -3*v + 5*d + 145 + 85 = 0. Is (-1 + -4)/((-5)/v) a multiple of 26?
False
Let r be (5 + -4)/((-2)/(-4)). Let a = r + 12. Is a a multiple of 4?
False
Let g = -152 - -224. Is g a multiple of 18?
True
Let n(v) = -v - 6. Let j be 212/(-18) + 2/(-9). Is n(j) a multiple of 4?
False
Suppose 2*h = 7*h - 80. Is h a multiple of 8?
True
Suppose -3*w = -0*j + 4*j - 23, 5*w = 5*j + 15. Suppose 15 = i - q, -q = -2*q + j. Does 6 divide i?
False
Suppose 4*q + 3*f = -28, f = 3*q - f + 4. Let o(p) = p**3 + 5*p**2 - p - 4. Is 13 a factor of o(q)?
False
Is (-20*(-1 + 3))/(-1) a multiple of 15?
False
Let l(z) = -z**2 + 9*z - 10. Let h be l(7). Let m(j) = -h*j + 0*j + 5*j. Is m(9) a multiple of 9?
True
Suppose v - 4*a - 10 = 0, 2*v + 2 = -4*a - 26. Is v/9 - (-82)/6 a multiple of 6?
False
Suppose 3*k + 1088 = -5*a, 3*a = 5*a - 4. Let h = -253 - k. Does 23 divide h?
False
Let j(i) = i**2 - 14*i**2 + 15 + 14*i + 0*i**3 + 0*i**3 + i**3. Does 7 divide j(12)?
False
Suppose -14 = -3*l + 1. Suppose 354 = l*y + 3*s - 13, 2*y - s = 138. Is 25 a factor of y?
False
Does 3 divide 10/(-45) + (-50)/18 + 23?
False
Let m(y) = 10 + 3*y + y**2 + 4*y - 6*y. Let x be m(0). Let i = x + 7. Does 9 divide i?
False
Let i(r) = -3*r + r + 6*r. Is 12 a factor of i(3)?
True
Suppose t = 5*u + 74, -5*t + 79 = -2*u - 291. Does 25 divide -5 + 1 - (-5 - t)?
True
Let s be (-3)/(2/4*2). Let g be 16/(-6) + (-2)/s. Is 4 a factor of ((-4)/3)/(g/6)?
True
Let s(a) = a. Let p = -4 - -7. Let b be s(p). Suppose 2*v - 4*c = -b*v + 140,