*x = 5*p - 112, -4*p + 71 + 1 = -2*x. Does 4 divide p?
True
Let a(v) = -v**3 + 3*v**2 + 7*v - 4. Let m be a(4). Let u = 4 + m. Is 3 a factor of u?
True
Let u(y) = -y**2 - 6*y + 2. Let i be u(-6). Let t be -2 + 4 + i + 0. Suppose -t*b + 7 = -45. Is 8 a factor of b?
False
Suppose i - 11 + 3 = 0. Is (i + 2)*(-4)/(-10) a multiple of 4?
True
Let u be (16/(-5))/((-4)/130). Suppose -7*a + u = -3*a. Is a a multiple of 18?
False
Let o(z) = -z**3 + 7*z**2 + 8*z + 2. Let y be o(8). Suppose -2*w + 53 = 3*j, w = 3*w + y*j - 54. Is 11 a factor of w?
False
Suppose -6*y + 2*y = -20. Suppose -y*i - 3 - 7 = 0. Is 4 a factor of 4/2 + (-4)/i?
True
Let v(m) = m**3 + 3*m**2 - m - 1. Let g be v(1). Suppose -72 - 72 = -g*o. Does 24 divide o?
True
Let r(a) = -a + 11. Is 3 a factor of r(8)?
True
Suppose -5*z - 2 = 8. Let c be 5*(z + (-24 - 0)). Does 9 divide 2/(-7) + c/(-14)?
True
Let b(d) = -d**3 + 12*d**2 - 10*d + 9. Does 4 divide b(11)?
True
Suppose 4*o = 2*o. Suppose o*j - 9 = -3*j. Suppose 3*l = j*d - 60, 4*d - 6*l - 82 = -3*l. Does 8 divide d?
False
Let y be (-2)/(-5)*(-20)/(-4). Suppose 10 = -2*f + 38. Suppose 0 = -h - y*z + f, -62 = -2*h - h - 2*z. Is h a multiple of 11?
False
Let w(s) = s**2 + 10*s - 9. Is 15 a factor of w(-13)?
True
Let n(d) = 9*d**2 + d + 3. Is n(2) a multiple of 8?
False
Suppose 0 = o + 4 + 6. Let w(u) = -u**3 - 9*u**2 + 7*u - 13. Does 7 divide w(o)?
False
Suppose -2*v - m = -v - 5, 0 = 2*v - 2*m + 2. Let c be (-2 - (-6)/v) + 40. Suppose 4*q + 2*n = 114, 3*q + 2*n - 44 - c = 0. Is 15 a factor of q?
False
Let a = 2 - 2. Let n = a + -1. Is 6 a factor of 1/n - (-42)/3?
False
Does 10 divide 60/18*3/(-6)*-42?
True
Let w(t) = t**2 + 2*t - 2. Let j be w(-2). Let h be ((-5)/j + -2)*-4. Is 9 a factor of (-46)/4*h*1?
False
Suppose 2*s + 3*d + 4 = -7, 5*s + 3*d = -14. Let j be 8/10*(s + 11). Let m = -1 + j. Is m a multiple of 7?
True
Let l = 123 - 41. Let a be 1/3 + 139/(-3). Let c = a + l. Is 14 a factor of c?
False
Let d be 0 + -2 - (-14)/2. Suppose 0 = -d*g + g + 24. Suppose -l - 30 = -g*l. Does 6 divide l?
True
Let n(x) = -27*x**3 - x**2 + x + 1. Let c(u) = -u**2 - u - 1. Let w be c(-1). Is 13 a factor of n(w)?
True
Suppose 5*n = 2*c + 21, 3*n = 2*c + 16 - 5. Suppose 0 = l, 0 = 5*q + c*l - 0*l - 30. Is q a multiple of 6?
True
Let g be 6 - 3/((-3)/(-1)). Suppose 32 = d - g*t, -2*d - 3*d + 102 = 4*t. Is d a multiple of 11?
True
Suppose -8*i = -5*i - 369. Does 10 divide i?
False
Let n(r) = r + 6. Let p be n(-5). Let w(o) = 34*o**3 - 2*o**2 + 1. Does 7 divide w(p)?
False
Suppose -3*n = n, n - 32 = -2*v. Let x(u) = 4*u. Let f be x(1). Suppose -2*o - v = -f*o. Is 8 a factor of o?
True
Suppose 1540 = -3*h + 17*h. Is h a multiple of 24?
False
Is 35/2*(-216)/(-30) a multiple of 14?
True
Let y = 45 - 34. Does 5 divide y?
False
Suppose 2*q = -3*r - q + 3, -5*r + 2*q = 2. Suppose r = -3*n - 2*n + 80. Does 8 divide n?
True
Let d(k) = 7*k - 1. Let a(o) = -o**3 + 6*o**2 - o + 7. Let b be a(6). Is 3 a factor of d(b)?
True
Suppose g = 24 + 9. Is g a multiple of 4?
False
Let i = 17 + -6. Is i even?
False
Suppose -6*s + 70 = -5*s. Is s a multiple of 7?
True
Let s(k) = -2*k - 12. Let t be s(-8). Let x be 14/t - 3/6. Suppose -f = -2*f + x*u + 19, u = 4*f - 32. Is f a multiple of 7?
True
Suppose 4*w - 4 = 8. Suppose 0 = -4*a + 4*g + 8, -4*a + w*g + 7 = -3. Is 2 a factor of a?
True
Suppose -22 = -2*m + 4. Is 2 a factor of m?
False
Suppose -97 + 4 = -h + 3*r, 5*r - 335 = -3*h. Is h a multiple of 35?
True
Let s(v) = -v**3 + v**2 - 4*v - 3. Let k be s(-2). Let l = 25 - k. Does 3 divide l - (-1 + -1)/2?
True
Let n be 80/(-24)*(-3)/2. Suppose 5*s - n = 5. Is s a multiple of 2?
True
Let d = 11 + 14. Does 5 divide d?
True
Let p = 52 + -20. Let q = p - 7. Is q a multiple of 5?
True
Does 9 divide ((-749)/(-9) - 2) + 10/(-45)?
True
Let u(p) = -p**3 + 2*p**2 + 4. Let s be u(3). Let x be s/((-10)/(-4)) + 1. Is 7 a factor of (0 - (2 + x))*-7?
True
Let f(s) = s**3 + 5*s**2 - 6*s - 6. Let o be f(-6). Does 6 divide 15/o*38/(-5)?
False
Let h = 178 - 94. Suppose 3*a = 36 + h. Is 11 a factor of a?
False
Suppose 0*j = 5*j - 80. Let o = j + -6. Is o a multiple of 10?
True
Let i = 8 + -3. Is 22 a factor of i/((-15)/(-6))*22?
True
Let p = 7 + -2. Let d = p + -5. Is 48 + -1 + d + 1 a multiple of 18?
False
Suppose g + 9 = 4*g. Suppose 0*a = g*a. Let x = a - -8. Is 8 a factor of x?
True
Let f(q) = 7*q + 7. Let s be ((-2)/3)/((-20)/150). Does 14 divide f(s)?
True
Let j be 2/4*0/2. Suppose 3*d - 6*d = j. Suppose -2*r + 8 = -d*r. Does 4 divide r?
True
Suppose 4*m - 672 = 2*p, 4*m + 2*p - 561 - 111 = 0. Let j = m - 63. Suppose -3*n + j + 84 = 0. Is n a multiple of 24?
False
Let d = -244 - -385. Is 40 a factor of d?
False
Suppose -2*i = -5*y + 32, -4*y - 5*i + 21 = -2*i. Suppose t = y*t - 10. Suppose 68 = 4*d - 0*d - t*b, 0 = -d + 3*b + 12. Is d a multiple of 15?
False
Suppose 3*l + 8 = -i, -2*i + 7*l - 3*l - 16 = 0. Let p(h) = -h**2 - 13*h + 17. Does 19 divide p(i)?
True
Let x be 8/4 - 12/3. Is 4 a factor of ((-112)/(-35))/(x/(-5))?
True
Suppose 0 = -3*h + 5*y + 1, y = h - y. Let w be (-2)/((-2)/1)*30. Let b = w - h. Is 10 a factor of b?
False
Let w = -277 - -504. Is w a multiple of 24?
False
Suppose 3*r - 12 = -r. Suppose 4*i - r*i = 17. Does 8 divide i?
False
Let h(w) be the third derivative of w**4/3 - 3*w**2. Is h(1) a multiple of 8?
True
Suppose 75 - 15 = 5*f. Does 8 divide f?
False
Suppose -3*b - 10 = -b. Let j = -2 - b. Suppose 0 = 5*a - j*a - 8. Does 4 divide a?
True
Suppose -2*i - 83 = 5. Let o = i + 65. Is 7 a factor of o?
True
Suppose -j + 101 = -2*v - 29, -4*j + 475 = v. Is 10 a factor of j?
True
Suppose 2*j - 5*j = 15. Let l(c) = -c + 6. Let p be l(j). Let i(u) = -u**3 + 10*u**2 + 13*u - 13. Is 9 a factor of i(p)?
True
Let x(o) = -2 - 3*o - 3 + 4 + o**2. Let s be x(-2). Is -3*1*(-48)/s a multiple of 8?
True
Let j(y) = 0*y - 1 - 3*y**2 + 3*y**2 + y**2 - y + 13*y**3. Let z be j(-1). Is (-1)/2*z + 3 a multiple of 9?
True
Let h be 68/4 + -1 + 0. Suppose -k + h = -2*o - 31, -k - o = -35. Is 24 a factor of k?
False
Suppose -3*a = -5*u - 125 + 643, -4*u + 3*a = -412. Is u a multiple of 10?
False
Let n be (-4)/(-4)*3*-1. Let a be (-2 - -1) + (-18)/n. Suppose -3*i - a*w + 38 = 0, -4*i + 95 = i + 2*w. Is i a multiple of 11?
False
Suppose 2*x + 2*x = -3*h + 214, 0 = h - x - 83. Suppose -3*s + 4 = -2. Suppose 4*o = 2*f + 8*o - h, s*f - 5*o - 42 = 0. Is 19 a factor of f?
False
Let w(s) = 2*s**2 - 3*s. Let o(d) = d**3 - 8*d**2 + 8*d - 10. Let f be o(7). Let t be w(f). Suppose i = -4*x + 9, -3*i + t = -2*x - 28. Is 15 a factor of i?
False
Let x be (1 - 2/6)*3. Let m = x + 16. Let h = 46 - m. Is h a multiple of 14?
True
Let h(y) = -y**2 + 3*y**2 + 3*y - 3 + 0*y. Let v(f) = -3*f**2 - 6*f + 5. Let k(u) = 5*h(u) + 3*v(u). Is 13 a factor of k(6)?
False
Let u = 0 + 2. Suppose -u*f - 6 = -0. Let v = f + 7. Is v a multiple of 4?
True
Suppose 0*p - 528 = -2*p. Is p/21 + (-6)/(-14) a multiple of 13?
True
Suppose -g - 5 = -49. Is g a multiple of 11?
True
Suppose -4*h = 2*r + 2, -3*r = 21 - 6. Suppose k + 0*k = 6. Let x = h + k. Is 8 a factor of x?
True
Suppose -5*z - 668 = -1623. Is z a multiple of 16?
False
Suppose 2*z = -2*a + 7*z + 29, 2*a - 39 = -5*z. Is 17 a factor of a?
True
Suppose -87 - 69 = -3*z. Does 25 divide z?
False
Let n be ((-12)/15)/(3/15). Does 14 divide 55/3 + n/12?
False
Let s be 1 + 0 - (-2)/1. Let k(f) = -13*f - 7. Let w(b) = -20*b - 11. Let g(m) = -8*k(m) + 5*w(m). Is g(s) a multiple of 13?
True
Let g be (1/2)/((-1)/(-6)). Let k(j) = j**3 - j**2 - 3*j. Is k(g) a multiple of 7?
False
Let y = 59 + -25. Is y a multiple of 17?
True
Let p = 42 - 2. Let x = p + -28. Does 12 divide x?
True
Let u be (-4)/14 - 192/14. Let f = -31 + 58. Let j = f + u. Does 5 divide j?
False
Let h = -11 + 151. Is h a multiple of 28?
True
Let z be (-4 + 4 + 5)*2. Let q = 36 - 7. Let s = q - z. Is 6 a factor of s?
False
Let l be ((-12)/(-10))/(5/(-25)). Let s = l + 13. Does 3 divide s?
False
Let n = -3 - -4. Suppose 0 = 2*u - 5 - n. Suppose -4*z - 2*p - 11 = -31, 3*z - 9 = -u*p. Is z a multiple of 3?
False
Suppose 29*k - 200 = 24*k. Is 8 a factor of k?
True
Let f = -2 + -16. Let r = -6 - f. Is r a multiple of 12?
True
Let w = 202 + 16. Is w a multiple of 19?
False
Let k(l) = l**3 + 15*l**2 - 16*l - 17. Let t be k(-