Suppose -j = -4*u + 4*z, -3*u + 4*z + 148 = 2*z. Is 17 a factor of u?
False
Let p = -3 + 7. Let z(r) = 4*r**2 - 3*r**2 + 1 - 3 - p*r - 1. Is 4 a factor of z(6)?
False
Suppose 4*f - 250 = -2*w + 310, f - 5*w = 151. Is 20 a factor of f?
False
Let t(c) = -12*c - 10. Does 24 divide t(-4)?
False
Suppose -5*i = -5*x - 10, -2*x + 3 = -0*x + 5*i. Does 4 divide 8 + -2 + x + 3?
True
Suppose 3 = 2*v - 3. Is 0 + v*75/9 a multiple of 13?
False
Suppose 6 = 7*m - 4*m. Suppose m*y - 5*y = -69. Is y a multiple of 23?
True
Suppose 0 = -4*k + 4*b - 0 + 4, -5*b = 3*k - 35. Let f(u) = u**2 - 4*u - 3. Let q be f(k). Suppose 6 = l + q. Does 4 divide l?
True
Suppose 0*f + 800 = 5*f. Does 36 divide f?
False
Let v(l) = -3*l**3 + l**2. Let j be v(-1). Suppose -j*x + 12 = -4*a + 3*a, 5*x - 15 = -a. Is x a multiple of 3?
True
Let b = 123 + -77. Let w = 97 - b. Does 17 divide w?
True
Does 6 divide ((-2)/(-3))/((3 + -2)/36)?
True
Let h be 7/21 - 428/6. Does 26 divide (h - -10)*(-1 - 0)?
False
Suppose -2*a + 4 = -0, -26 = -4*r - 5*a. Suppose -7*h + r*h = -168. Is 28 a factor of h?
True
Suppose 47 = 3*n + 20. Is 2 a factor of n?
False
Let v(o) = 45*o + 52. Does 14 divide v(6)?
True
Let u(n) = -2*n - 5. Let m be u(-5). Is -20*1/m*-2 a multiple of 8?
True
Let w be (4/(-5))/(6/(-975)). Suppose b = -4*b + w. Is b a multiple of 14?
False
Let x(b) = 24*b**2 + b + 1. Is x(-1) a multiple of 12?
True
Is 6/(-9)*6/4*-81 a multiple of 13?
False
Let l = 2 - -1. Let r = 0 + l. Suppose 0 = -r*g + 5*f + 9, -2*f - 26 = g - 5*g. Is g a multiple of 8?
True
Let f(k) = -14*k + 1. Is 5 a factor of f(-1)?
True
Suppose 6*p + 42 - 618 = 0. Does 16 divide p?
True
Let i = -3 - -9. Suppose 2*r - 6*r = 3*x - 42, 0 = -3*x + i. Let o = r + -5. Is 2 a factor of o?
True
Suppose -258 = -5*f - 63. Does 13 divide f?
True
Suppose -3*h + 49 + 59 = 0. Does 9 divide h?
True
Suppose 6*c = 4*c + 18. Is c a multiple of 4?
False
Does 12 divide -27*4/15*20/(-3)?
True
Let i(f) be the second derivative of -5*f**3/3 - 3*f**2/2 + 5*f. Let v be -3 - (0 - 0 - 1). Is 8 a factor of i(v)?
False
Suppose -7*p + 779 = 12*p. Is p a multiple of 6?
False
Let h = -31 - -43. Let y be (-15)/(-2)*8/h. Suppose -18 = y*n - l - 105, 0 = n - 2*l - 12. Does 11 divide n?
False
Let s be 1/(-2) + 7/2. Suppose 3*f = -3*u + 69, -s*u + 4 = f - 27. Is 11 a factor of f?
False
Is 3 - 2 - -118 - -2 a multiple of 28?
False
Let y = 7 - 2. Suppose -2*k + 5*r = -4*k + 42, -y*r = -3*k + 63. Does 12 divide k?
False
Suppose -l - 1 - 6 = 0. Does 14 divide (-226)/l - (-4)/(-14)?
False
Is (-12)/(-10)*(-540)/(-81) even?
True
Let x = 402 - 214. Is x a multiple of 47?
True
Suppose 4*p = -20, -h + 4*p + 12 = 3*h. Let i(w) = -3*w - 2. Is i(h) a multiple of 3?
False
Suppose 2*a + 4*g - 198 = 0, a - 3*a = -3*g - 219. Does 14 divide a?
False
Let p(j) be the second derivative of j**5/20 - 7*j**4/12 + 5*j**3/6 + 5*j**2 + 3*j. Does 15 divide p(7)?
True
Let n = -29 - -48. Let m be 10/4 + 4/8. Suppose -4*f + n = -m*f. Does 12 divide f?
False
Let k(j) = -2*j**3 - j**2 - 4*j**2 + 1 - 6. Let c be k(-4). Suppose -3*x - 7 = -c. Is 6 a factor of x?
True
Let w be (-26)/(-3)*(-3)/(-2). Suppose -3*v + w + 2 = 0. Suppose 0 = -5*b + t + 159, -3*b - v*t + 42 = -b. Is 17 a factor of b?
False
Let h(q) = -q**3 - 3*q**2 + 2*q + 6. Suppose 0 = 3*d + 3*a - 3, -7*a + 5*a = -5*d + 5. Let o be 5/d*(-8)/10. Is 7 a factor of h(o)?
True
Let u(m) = -m**3 - 8*m**2 - 8*m - 1. Let o be u(-7). Does 11 divide (-124)/o*(-3)/2?
False
Let n = 3 + -3. Let r(s) = -s**3 - s**2 - s + 435. Let f be r(n). Is 18 a factor of f/12 + 1/(-4)?
True
Let x = 13 + -10. Suppose 4*z - 175 = -5*c, -135 = -x*c + 3*z - 3. Is 13 a factor of c?
True
Let h(w) = w**3 + w**2. Let d be h(1). Suppose -d*j + 10 = -v, 4*j - 4*v = 1 + 27. Does 3 divide j?
True
Let n(m) = m**3 + 12*m + 3. Let f(a) = -a**3 - a**2 - 11*a - 2. Let g(y) = 6*f(y) + 5*n(y). Let u(c) = -c**2 + 4*c. Let i be u(5). Is g(i) a multiple of 8?
True
Let w be ((-8)/6)/((-4)/6). Suppose z - 144 = -2*u - z, -288 = -4*u + 5*z. Suppose -2*d = w*d - u. Is d a multiple of 6?
True
Let j(k) = 3*k - 6. Is j(12) a multiple of 10?
True
Suppose -3*p = p + 12. Let b(t) = -t**3 - t**2 - 2*t + 2. Is b(p) a multiple of 13?
True
Suppose 2*x + 3*a + 2 = -2*x, -a + 2 = 0. Let s be (x/(-1) - -2) + 2. Suppose -36 = -3*p + s. Is p a multiple of 14?
True
Suppose 0 = -j + 27 + 1. Is j a multiple of 6?
False
Let f be (-2)/8 - (-297)/(-12). Let b = f + 43. Is b a multiple of 6?
True
Let w(n) = -n**2 + 14*n + 6. Is w(8) a multiple of 18?
True
Suppose 5*n = 4*o + 357, -5*o = -0*n + 3*n - 229. Is n a multiple of 29?
False
Let q(f) = f**2 - 3*f + 2. Does 15 divide q(-4)?
True
Let h(f) = f + 15. Let j be h(-11). Suppose 2 = -j*x + 110. Is x a multiple of 15?
False
Suppose -15*t - 96 = -17*t. Is 14 a factor of t?
False
Let x = 15 + -11. Let h(v) = v**3 - 4*v**2 + 5*v + 1. Let q be h(x). Is 2 a factor of (-4)/(-14) + 141/q?
False
Let s = 18 + 0. Is 12 a factor of s?
False
Suppose -12 + 0 = 4*s. Is (3 - 4)*s*3 a multiple of 7?
False
Suppose -42 = -5*l + 13. Does 3 divide l?
False
Let s = 19 + 56. Is s a multiple of 15?
True
Let r(l) = -l + 1. Let j(u) = -2*u + 3. Let a(m) = j(m) + r(m). Suppose o = -0*o - 4. Does 16 divide a(o)?
True
Suppose 0 = -g + 6*g + 15, 14 = 2*i + 2*g. Does 6 divide -7 + i - 1*-3?
True
Suppose 2*m + m = -4*n - 41, -4*n - 42 = 2*m. Is 13 a factor of (-2)/1*(-3 + n)?
False
Let x be 2*(1 - (2 - -6)). Let u = 31 + x. Let h = 29 - u. Is h a multiple of 12?
True
Let s(r) = 5*r**2 + 4*r - 4. Let t be s(3). Suppose -143 = -5*j - 4*y, 0 = -2*j - 0*j - 2*y + 56. Let w = t - j. Is 14 a factor of w?
False
Let m(n) = n**3 + 4*n**2 - 5*n + 3. Let c be -3 + 3*(-6)/9. Let y be m(c). Suppose -3*z + 0*o - 4*o + 112 = 0, -5*z + 183 = y*o. Is 14 a factor of z?
False
Let n(m) be the first derivative of -11*m**2/2 - m + 1. Is n(-5) a multiple of 27?
True
Let d(g) = -g**3 - 5*g**2 + 12. Is 4 a factor of d(-5)?
True
Suppose 4*y = -2*v + 185 + 1, 0 = 3*y + 5*v - 122. Is y a multiple of 7?
True
Let i(a) = 4*a**2 - 2*a - 3 - 3*a**2 - 3*a. Is i(-3) a multiple of 11?
False
Let d(y) = -2*y**3 + 21*y**2 + 11*y + 4. Is d(11) a multiple of 2?
True
Suppose p + 342 = 5*l, -5*l - 4*p + 84 + 273 = 0. Suppose -l = -u - 0*u. Does 18 divide u?
False
Suppose -5*a - r = -40, -2*a - 1 = -2*r - r. Let x(o) = -o**3 + 8*o**2 - 2*o - 2. Does 11 divide x(a)?
True
Suppose -3*k = -17 - 37. Is 11 a factor of k?
False
Let j(y) = y**3 - 7*y**2 + 11. Is j(8) a multiple of 25?
True
Suppose 5*h = 5*t + 45, -2*t = -4*h - 5*t + 8. Suppose 0 = h*c - c - 84. Is 10 a factor of c?
False
Let f(q) be the third derivative of q**6/40 - q**5/20 + q**4/24 - q**2. Is 11 a factor of f(2)?
False
Let u be (-1)/2*-2*3. Suppose -2*h + 4*w + 34 = 0, -6 = -u*h - 2*w + 5. Is 2 a factor of h?
False
Let y be (4/6)/(1/(-12)). Let l = 15 + y. Suppose -2*c + 3 = -l. Is c a multiple of 5?
True
Suppose 59 = -5*n + 334. Suppose j - 18 - 25 = -w, 2*j + n = w. Is w a multiple of 13?
False
Let r(b) = -b**2 + b**2 + 0 - 7 + b**2 + 2*b. Does 12 divide r(-7)?
False
Let y = -18 - 2. Let m = -7 - y. Is 13 a factor of m?
True
Let x(m) = 13*m**2 + 2. Suppose 3*n + 3*p = -5 - 7, 3*n - 4*p - 2 = 0. Is 19 a factor of x(n)?
False
Let j be 46/3*(-3)/(-2). Suppose -4*x - 2*y = 22, -x + 5*y - j = 2*x. Is 11 a factor of 3/x*(-44 - 0)?
True
Suppose 2*l = 2*h + 32, 3*l + h + 2*h = 18. Is 3 a factor of l?
False
Suppose -5*u + 187 = m, 5*m + 44 = u - 9. Does 19 divide u?
True
Let o = -32 + 56. Let v = o + -10. Does 11 divide v?
False
Let y = 2 - 0. Suppose -y = -2*m + k, 8 = m + 2*k + k. Is m a multiple of 2?
True
Let z = 248 + -101. Does 15 divide z?
False
Does 45 divide (-4 + -1)/5 + (-182)/(-2)?
True
Let h = -10 + 23. Does 13 divide h?
True
Let x(l) = -l**2 + 8*l + 11. Let t be x(8). Suppose c = -t - 5. Is (-3)/(-6)*-1*c a multiple of 6?
False
Let c(y) = y**3 - 8*y**2 - 9*y + 3. Let q be (9/4)/(3/12). Let v be c(q). Suppose -2*w = 0, v*w + 9 = h - w. Does 5 divide h?
False
Suppose 5*d + 4*l - 188 = 0, d - 16 - 18 = l. Let u(s) = s**2 - 2*s - 6. Let m be u(4). Suppose 5*r - 37 = 2*g, 7*r - m*r = g + d. Is r a multiple of 4?
False
Suppose 0 = 4*b - 0*b - 68. Suppose -m + 4*f = -10, -5*m = -f - 48 + b. Is m a multiple of 2?
True
Suppose 3*v = -2*p + 56, -5*p - 20 - 24 = -4*v. Is 