*n - 5*v. Is 6 a factor of a(n)?
False
Let c = -3 + 7. Suppose -3*v + 0*a + 31 = a, -3 = -v - c*a. Is v a multiple of 11?
True
Let n = 68 - 146. Let m = n - -118. Does 20 divide m?
True
Suppose -2*r + 3 - 7 = 0. Is (0 + r)/(2/(-3)) a multiple of 2?
False
Let t(k) = -3*k - 7. Let c be t(-6). Suppose 0 = -p + 3*r + 6 + c, 0 = 2*r - 8. Does 24 divide p?
False
Suppose 3*r - 29 = -0*r - 5*n, -3*r + 5*n + 79 = 0. Does 6 divide r?
True
Let b = -47 - -92. Does 15 divide b?
True
Let b = 149 - -88. Does 11 divide b?
False
Suppose 8*i - 557 = -181. Is 11 a factor of i?
False
Suppose 0 = -0*r - 2*r. Suppose r = 3*j + 3*g - 4*g - 83, g - 47 = -2*j. Does 13 divide j?
True
Suppose -2*v - v + 5*g = 16, -5*g = 3*v - 34. Suppose 5*l = -5*x + 50, -3*l = -v*x + x - 50. Is l a multiple of 14?
True
Suppose 6 = 3*c, -3*c + 11 = -x + 59. Suppose -v + x = 2*v. Is 6 a factor of v?
True
Let p be (-246)/8 - 3/12. Is 4 a factor of (p - 2)*2/(-3)?
False
Let u = 6 - -36. Does 7 divide u?
True
Suppose 3*b - 3*d = 0, -d = -5*b + 17 - 1. Suppose 12 + 0 = b*r. Is r even?
False
Let g(c) = -2*c + 16. Is 13 a factor of g(-18)?
True
Suppose -31 = -5*n + 3*g + 140, 35 = n - g. Is n a multiple of 5?
False
Is 0/(-12) + -34*(-21)/6 a multiple of 17?
True
Let o(g) = g - 1. Let n be (6/3)/(2/9). Does 5 divide o(n)?
False
Let y be (48/9)/(1/18). Let b = -46 + y. Does 13 divide b?
False
Suppose -3*v - 22 = -j - 8*v, 0 = -4*v + 20. Suppose 3*n = -f - 63, -6 = -f + 3*f. Does 10 divide (15/10)/(j/n)?
True
Let h(d) = -6*d - d**2 - 3*d + 0 - 7. Let n be h(-8). Suppose 5 + n = 3*w. Is 2 a factor of w?
True
Is 9 a factor of 12/(-54) + 569/9 + -1?
False
Suppose b + 0*b = 3. Suppose b*r = -r + 16. Suppose 2*h + 3*k + 2 - 42 = 0, -4*h + r*k + 100 = 0. Does 9 divide h?
False
Let l be 6*(3 - (-14)/(-4)). Let w = l + 8. Is w a multiple of 5?
True
Suppose -22 = -4*r + 74. Does 8 divide r?
True
Suppose 5*l + 4*h = 21, 0 = -l + 2*h - 7*h. Does 2 divide l?
False
Let i(r) = 6*r**2 + 3*r + 6. Is i(4) a multiple of 18?
False
Let r = -29 + 135. Does 13 divide r?
False
Suppose -5*l + 58 + 7 = -b, -61 = -4*l - b. Suppose l = 3*j - 148. Does 16 divide j?
False
Let z = -13 + 5. Does 7 divide 30*(0 - z/10)?
False
Suppose 0 = -0*f + 3*f - 6. Suppose -3*r - p + 21 = -f*r, r - 3*p = 1. Is 8 a factor of r?
True
Let c(z) = -z**3 + 10*z**2 - 15*z - 4. Is c(7) a multiple of 9?
False
Suppose -154 = -z + 3*n, 0*z - 2*n - 154 = -z. Suppose -w = -2*w + 4*c + 44, 2*c = -5*w + z. Is w a multiple of 16?
True
Let p be (-2)/((2 + 1)/(-165)). Let y(c) = -2*c. Let l be y(-2). Suppose -l*f + p = f. Does 21 divide f?
False
Let z(v) = v**3 - 5*v**2 + 6*v + 3. Let i be z(5). Let k be (-4)/(-14) + (-80)/(-14). Suppose -l + i - k = 0. Is 9 a factor of l?
True
Let t be 2*(1 - 0/1). Suppose p = -4*h + 19, -h + t = h. Suppose -3*c + p = 2*c. Is 2 a factor of c?
False
Let c(j) = 33*j**3 + 3*j + 2. Let b be c(-2). Let s be (-1)/(b/89 - -3). Suppose -5*d + s = -131. Is d a multiple of 18?
False
Suppose -5*b = -3*q + 15 + 50, q - 17 = -3*b. Suppose 4*o + k = 2*o + 113, q = 4*k. Does 18 divide o?
True
Let w be (-1)/((-2)/(-4) - 1). Suppose -h + l + 25 = 2*h, w*h + 5 = 5*l. Does 10 divide h?
True
Suppose 5*v - 3*v = -16. Is (-268)/v - 2/(-4) a multiple of 13?
False
Suppose 0 = -0*v + 2*v + 2. Is 12 a factor of -4 + 3 + (v - -18)?
False
Suppose -3*t = -5*h - 413, 3*t + 56 = h + 465. Is 10 a factor of t?
False
Let f(m) = -5*m. Let b be f(-1). Suppose -2*d = -j, -5*d = -5*j + 5 + b. Suppose -3*x + s + 15 = 1, -d*x + s = -10. Does 4 divide x?
True
Suppose 2*s - 106 = 3*g, 153 = 3*s - 2*g - g. Let l = s + -30. Is 17 a factor of l?
True
Let x be (3 - 2)*2/2. Suppose 0 = -4*n + 2*y - 4 - 2, 3*y = n - x. Is n - 14*(-15)/6 a multiple of 10?
False
Let k = -29 - -42. Suppose 1 = 2*p - k. Does 7 divide p?
True
Let f(p) = p**2 + 3*p - 5. Let g(v) = -1. Let w(u) = f(u) - 3*g(u). Is w(-5) a multiple of 7?
False
Suppose 0 = x + 2*r + 17, 3*x + 5*r = -0*x - 47. Let l be x/(-2)*36/(-3). Is (1 + l)*(1 + -2) a multiple of 15?
False
Suppose 0 = -2*k + 6*k - 216. Does 9 divide k?
True
Suppose -1 + 41 = p. Is p a multiple of 4?
True
Suppose -y + 188 = 3*y. Let o = y - 26. Is o a multiple of 7?
True
Let h(b) be the second derivative of b**3/2 - 3*b**2 - 6*b. Is h(7) a multiple of 7?
False
Let r = 68 + 76. Is r a multiple of 24?
True
Suppose 3*c = -1 + 4. Is 18 a factor of (-123)/(-3) - -2*c?
False
Is 10 a factor of 40*(3 + 28/(-16))?
True
Is ((-1572)/(-26))/3 + (-2)/13 a multiple of 4?
True
Let n(p) = -7*p**2 + 7. Let y(w) = -7*w**2 + 6. Let t(c) = 6*n(c) - 7*y(c). Is 7 a factor of t(-1)?
True
Let t(g) = -g**3 + 2*g**2 + g + 40. Does 10 divide t(0)?
True
Let s be 2/6 - 33/(-9). Suppose -5*a + 2*b = 12, 5*a - s*b + 0 = -14. Let v = 18 + a. Is 16 a factor of v?
True
Suppose -2*o - 108 = -4*o. Is 9 a factor of o?
True
Let r be ((-4)/(-3))/(3/(-9)). Let v(q) = 24*q**2 - 5. Let b(a) = -23*a**2 + 4. Let l(t) = r*v(t) - 5*b(t). Is 16 a factor of l(-1)?
False
Let u(d) be the third derivative of d**4/24 + d**3/6 - 3*d**2. Let p be u(5). Is p/9*(1 - -47) a multiple of 16?
True
Let z(a) = 3*a + 4*a + a**2 - 2*a + 3. Let q be z(-5). Suppose q*w - 128 = -w. Is 12 a factor of w?
False
Suppose 3 = 2*t + 5. Let z = 1 + t. Does 13 divide z + 31 + -1 + 0?
False
Suppose -9 = -4*x + x. Suppose -x*y + w - 3*w = -14, -3*y - 14 = -5*w. Suppose v - 7 = -y. Is 5 a factor of v?
True
Suppose 7 = -0*i - i + j, 5*j - 21 = -2*i. Is (2 - 4/i)*4 a multiple of 8?
True
Let q be (10/(-3))/(7/(-126)). Suppose 8*v = 3*v + q. Does 12 divide v?
True
Let l = -1 + 17. Let s = -4 + l. Let a = s + 13. Does 10 divide a?
False
Let u(k) = -2*k**2 - 3*k - 1. Let o be u(-2). Let c(t) = -3*t. Is 9 a factor of c(o)?
True
Suppose 0 = 7*d + d - 1856. Is 29 a factor of d?
True
Let p(o) = -2*o**3 - 6*o**2 + 7*o + 1. Let j be p(-5). Suppose -46 - j = -4*c. Is c a multiple of 13?
False
Let b = -35 - -79. Does 23 divide b?
False
Is 28 a factor of (-936)/(-21) - 3/(-7)?
False
Suppose 0 = y - 35 + 8. Let q = y - 6. Let h = q + -11. Does 10 divide h?
True
Suppose -i + 2*i - 6 = 0. Suppose 4*q - z = 61, -5*z + 70 = -q + i*q. Is q a multiple of 6?
False
Suppose 8*i - 3*i - 10 = 0. Let n = 4 - i. Suppose -84 = -n*y - 22. Is y a multiple of 11?
False
Suppose 5*d + 5*b = 20, -2*b - 16 = -0*d - 2*d. Suppose 3*o - o = -40. Is o/d*(-144)/15 a multiple of 16?
True
Suppose -m + 33 = 5*a, 4*m - 42 = -5*a - 0*m. Suppose -10*b + 116 = -a*b. Does 28 divide b?
False
Suppose 2*a - 4*a + 64 = 0. Let b = 19 + a. Is b a multiple of 17?
True
Is ((-4)/(-1))/(-8)*-74 a multiple of 19?
False
Let b(t) = t - 4. Let l be b(6). Suppose 7*a - 180 = l*a. Is 17 a factor of a?
False
Suppose 4*o - 5 = 3. Let y be 13/(-1) - (-2 - 0). Is y*(-2 + o + -2) a multiple of 11?
True
Let q(n) = -5*n**3 - 5*n**2 - 6*n - 10. Let k(b) = b**3 + b + 1. Let z(g) = 4*k(g) + q(g). Does 2 divide z(-5)?
True
Suppose 2*h = 21 + 3. Does 13 divide (-9)/(-12) + 735/h?
False
Let q = 18 + -13. Suppose -5*x - 4*g + 2 = -4, g + q = 2*x. Suppose -x*o + 73 = 5*b + 6, 3*b = 5*o + 34. Does 6 divide b?
False
Let h = 23 + -10. Is h a multiple of 13?
True
Suppose -2*k + 2*u = -6*k + 24, 0 = 4*k + 4*u - 28. Let d(j) = 4*j**3 - 6*j**3 - 4*j + 7*j**2 - 2*j**3 + 3*j**3 - 3. Does 11 divide d(k)?
False
Let s(p) = -p**3 + 13*p**2 - 12*p - 6. Let y be s(10). Suppose -g - y = -3*g. Is 15 a factor of g?
False
Let j(n) = -3*n - 5. Let v be j(-5). Suppose -35 = 5*o - v*o. Suppose 0 = 3*s + o - 25. Is 5 a factor of s?
False
Let u(r) = -72*r**2 - r - 4. Let z be u(4). Is 13 a factor of (-4)/22 + z/(-88)?
True
Suppose 16 = 6*v - 110. Does 7 divide v?
True
Does 17 divide 4/(-24) - (-4251)/18?
False
Let u(w) = w**3 + 5*w**2 + 5*w + 6. Let o be u(-4). Let h(i) = i**3 - i**2. Let t be h(o). Let d(b) = 8*b - 4. Is 14 a factor of d(t)?
True
Suppose -2*s = -3*z + 127, s = 2*z - 73 - 11. Is z a multiple of 15?
False
Let h(a) = -a + 3. Let j be h(-2). Suppose -f - 265 = -j*i - 4*f, i + 5*f - 53 = 0. Is 15 a factor of i?
False
Let z be 2/(-3)*(4 - 1). Let u = -12 - -20. Let m = u - z. Is m a multiple of 5?
True
Let n(o) = 29*o + 7. Let v be n(4). Suppose 1 = 5*l - 4*d - v, 5*d = 5*l - 125. Does 6 divide l?
True
Let s be ((-2)/(-4)*2)/1. Does 3 divide (10/1)/(s/1)?
False
Let a(t) = -2*t - 10. Suppose l = 2*g - 4, -8