et d be (-4)/2 + (-14)/(-2). Suppose -4*f - 31 = -v, -d*f - 4*v = -8*f - 7. Is -10*3/f*3 a multiple of 4?
False
Suppose 52 = -4*u + 232. Does 20 divide (-32)/(-6)*u/12?
True
Suppose 6*t - 53 = 91. Is t a multiple of 4?
True
Let a(d) = 112*d**3 + 3*d**2 + 7. Let p(f) = 75*f**3 + 2*f**2 + 5. Let i(y) = -5*a(y) + 7*p(y). Is i(-1) a multiple of 13?
False
Suppose -q - 36 = -5*q. Let m = 14 - q. Suppose m*r - 4*v = 141, -r + 3*v + 13 = -13. Is r a multiple of 14?
False
Let c = 17 - 2. Suppose i - 12 = -1. Let v = c - i. Is 2 a factor of v?
True
Suppose w - 23 = 1. Let q = w + 6. Suppose -2*c + q = x, -x + 0*c + 29 = c. Is 11 a factor of x?
False
Let z(v) = -57*v - 1. Is z(-1) a multiple of 14?
True
Suppose -6*c = -2*c + 12. Let g be (c - 47)*2/4. Let q = g - -55. Does 9 divide q?
False
Let v = 4 - 1. Let r(l) = 2*l**3 - 3*l**2 - l + 4. Is 14 a factor of r(v)?
True
Let f be -2 - (0 + (-3 - -1)). Suppose f = -12*p + 7*p + 175. Is 7 a factor of p?
True
Is 7 a factor of (-6)/12*(0 + -28)?
True
Let c(d) = 5*d + 5. Let s(k) = -14*k - 16. Let u(i) = 11*c(i) + 4*s(i). Let b be u(-7). Is (-69)/(-12) + b/(-8) a multiple of 5?
False
Let t be 3 + (-1 - (1 - 3)). Suppose -s = -t*n - 2*s + 118, s + 122 = 4*n. Does 24 divide n?
False
Suppose 0 = -0*u + 3*u + 15. Is (-288)/(-40) - (-1)/u a multiple of 3?
False
Let h = -46 + 65. Does 11 divide h?
False
Suppose 5*y + 25 = -i, -5*i - 3*y - 25 = 2*y. Suppose 4*j - 5*k = -i*k + 15, 5*k = 5. Does 2 divide j?
False
Let q = 1 - -1. Suppose -2*n + 50 = -4*m, q*n - 2*m = -0*m + 48. Suppose -n = -w + 7. Does 8 divide w?
False
Suppose -4*n + 29 + 11 = 0. Let b = 34 - n. Is b a multiple of 15?
False
Suppose -11*x + 178 = -86. Does 6 divide x?
True
Let o(n) be the third derivative of -n**6/60 - n**5/10 + n**3/6 + 4*n**2. Is o(-4) a multiple of 9?
False
Suppose -1 = 5*a + 4. Is 11 a factor of (0 - a) + (2 - -26)?
False
Let t = 123 - 80. Is t a multiple of 12?
False
Let a be (0 + 1)/((-2)/(-12)). Let p be 2/4 - 3/a. Suppose 5*x - x - 56 = p. Is 14 a factor of x?
True
Is (-687)/(-7) + 1/(-7) a multiple of 14?
True
Let n(w) = w**3 - 12*w**2 + 13*w - 2. Suppose y = -3*y + 44. Does 12 divide n(y)?
False
Does 8 divide 12/(-78) + (-418)/(-13)?
True
Let z(l) = -l**2 + 11*l + 1 + 0 + l - 3. Is 3 a factor of z(11)?
True
Is 17 a factor of (-268)/(-8) - (-3)/6?
True
Let s(b) = b - 8. Let u be s(7). Is 11 a factor of u/(23/(-11) + 2)?
True
Suppose -4*p = -2*p - 382. Suppose 0 = -2*d - j - 3*j + 118, j + p = 4*d. Does 21 divide d?
False
Let g(u) = -u**3 - 5*u**2 - u + 7. Let m be g(-5). Suppose m = y - 6. Does 18 divide y?
True
Suppose -x - 280 = 3*x. Suppose 0 = 5*v - 65 - 425. Let q = x + v. Does 13 divide q?
False
Let v be (-2)/(-14) - 203/49. Let h = 25 + -15. Let y = h + v. Does 6 divide y?
True
Suppose 2*x = -h + 10, 5*x = -3*h + 14 + 10. Suppose -2*q + x*q = 72. Suppose -n + 0*n = -q. Is 6 a factor of n?
True
Let p(d) = -15*d + 31. Is p(-15) a multiple of 60?
False
Suppose 0 = -3*b - b + 52. Let o = 617 + -1445. Is 16 a factor of o/(-26) - (-2)/b?
True
Suppose -5*h + 975 = 2*i, -4*i - 366 = -2*h - 0*i. Is h a multiple of 15?
False
Let g(k) = 5*k**2 - k + 3. Suppose -4*u = -2*y + u + 12, 5*y - 3*u + 8 = 0. Let q be g(y). Suppose 0 = 4*o - q - 13. Is 9 a factor of o?
False
Let s = 328 + 366. Let x be s/10 + 9/15. Suppose z - 5*w = -z + 40, x = 4*z - 5*w. Does 5 divide z?
True
Let d = -8 - -3. Does 5 divide (-5)/1*7/d?
False
Suppose -b + 3*u + 167 = 0, 0*b - 2*b = 4*u - 294. Is 31 a factor of b?
True
Suppose x = 8 + 2. Is x a multiple of 10?
True
Let o(m) = -m**3 + 6*m**2 - 6*m + 5. Is 13 a factor of o(4)?
True
Suppose 3*d + 19 = 5*j, 0 = 5*d + 3*j - 18 - 7. Suppose 4*i - d*u + 6*u - 56 = 0, -4*u - 4 = 0. Is 5 a factor of i?
True
Suppose 108 = 3*q - n, -2*n + 102 = 4*q - 42. Suppose 0 = 3*t + 78 - 279. Let y = t - q. Is 12 a factor of y?
False
Let b(h) = 24*h + 37. Let y(v) = -6*v - 9. Let p(f) = -2*b(f) - 9*y(f). Does 17 divide p(5)?
False
Let v = -9 + 34. Let n be -1 - -1 - 1 - 4. Let m = n + v. Is 10 a factor of m?
True
Suppose -n - n + 4 = 0. Is 2 a factor of (1 + -1)/(-3) + n?
True
Suppose 6 = 2*f - 88. Suppose -4*s - 15 + f = 0. Is s a multiple of 4?
True
Let l = -58 - -113. Does 31 divide l?
False
Does 12 divide -80*(-2)/(-4)*-1?
False
Let l(u) = 6*u. Let y be l(2). Is 4 a factor of 4/y*(1 - -11)?
True
Suppose 0*r - 3*x = 4*r - 37, -r + 5*x = -15. Is (-48)/r*20/(-6) a multiple of 8?
True
Let p = 174 - 109. Does 16 divide p?
False
Let b = 4 - 5. Is 21 a factor of -14*-3*b/(-2)?
True
Suppose 4 = 2*b - 0. Suppose -b*c - 2*c + 116 = 0. Let m = c + -15. Is m a multiple of 14?
True
Let k = 18 + -13. Let y(h) = h**3 + 10*h**2 + h - 12. Let f be y(-9). Suppose f = -0*z + 5*z - 4*b, -5*b = -k*z + 65. Is z a multiple of 8?
True
Suppose -n + 3*n = 5*h - 31, -n - h - 5 = 0. Let p be (54/(-24))/((-2)/n). Is (-52)/p + (-20)/(-90) a multiple of 3?
True
Suppose 55*h - 57*h + 368 = 0. Is 46 a factor of h?
True
Does 11 divide (0 + 1)/(8/216)?
False
Suppose -3*n + 6*d = d - 8, 3*d - 6 = 0. Is 6 a factor of n?
True
Suppose -2*y = -10, 3*s + 2*y = -2*y + 65. Suppose s = 2*c - 35. Is c a multiple of 9?
False
Let k be 0 + -3 + 52 - 3. Let w = -27 + k. Does 6 divide w?
False
Let r = 6 - 3. Suppose z - 5 + 2 = -r*w, -w + 21 = 2*z. Is 12 a factor of z?
True
Let y(k) = k**3 - 19*k**2 + 39*k - 5. Does 10 divide y(17)?
True
Let u(o) = 7*o - 24. Is u(7) a multiple of 5?
True
Suppose 20 = 7*x - 2*x, -4*u + 232 = 4*x. Is 15 a factor of u?
False
Let m(a) = a**3 + 6*a**2 - 16*a + 9. Is 36 a factor of m(-7)?
True
Suppose -5*s + y = -18, y = -s - 3*y - 9. Let k(v) = -v**3 - 9*v**2 - 9*v - 6. Let d be k(-8). Suppose -l + 3 = d*f, -s = -4*f - 19. Does 9 divide l?
False
Let j(n) = -n + 22. Let b be j(10). Is (-93)/(-4) + (-3)/b a multiple of 11?
False
Let q = 13 + 0. Suppose 4*l + 19 = -q. Let v = 18 + l. Is 10 a factor of v?
True
Is 30 a factor of 10/(-8) + 2/8 + 200?
False
Let q(s) = -5*s + 3. Let x be q(9). Let b be 2 + -2 - x - 0. Suppose 44 = 2*d - b. Is 22 a factor of d?
False
Let u(p) = -p**3 - 6*p**2 + 2*p + 3. Let m = 1 + -4. Let i be u(m). Let c = i - -58. Is c a multiple of 14?
True
Suppose -3*u = -2*u - 24. Suppose u = -2*m - 36. Let s = m + 44. Is s a multiple of 14?
True
Let o(u) be the third derivative of -53*u**6/120 - u**5/60 + u**4/24 + u**3/6 + 3*u**2. Is o(-1) a multiple of 23?
False
Let v = 10 - -65. Let y = 119 - v. Is y a multiple of 11?
True
Suppose -4*c - c = 0. Suppose m - 6*m + 65 = c. Is m a multiple of 6?
False
Let z(v) = -2*v - 4. Let y be z(-3). Let c be (-4 - 13/(-3))*27. Suppose -s + c = y*s. Is s even?
False
Let b(x) = 9*x - 1. Does 13 divide b(5)?
False
Let m be (-31)/(-2) - (-2)/(-4). Suppose -m + 3 = -2*r. Does 3 divide r?
True
Let t(z) be the third derivative of -z**6/120 - z**5/20 + z**4/12 - 2*z**3/3 + 3*z**2. Let u be t(-4). Is 384/27 - u/18 a multiple of 7?
True
Let s = 105 + -57. Is 6 a factor of s?
True
Let x be (-33)/(-22) + 318/(-4). Let f = 132 + x. Does 8 divide f?
False
Does 12 divide -3 - -2 - 2*-11?
False
Let a = -157 - -247. Suppose -5*f + a = 5*x, 0 = -4*x - f + 2*f + 62. Is 8 a factor of x?
True
Suppose 24 + 31 = 5*x. Suppose -1 = l - x. Does 10 divide l?
True
Suppose -182 = -5*b - 0*s + 4*s, -151 = -4*b + 5*s. Let n = b + -21. Is n a multiple of 5?
False
Let b = 166 + -73. Is 16 a factor of b?
False
Suppose -4*u + 5*u = 0. Suppose -3 = -i - u*i. Suppose 167 = 4*k - q, -k - i*q = k - 73. Is k a multiple of 18?
False
Suppose -4*f + 18 = -2. Suppose b - 6*b + f*u + 135 = 0, -4*b = -5*u - 111. Does 12 divide b?
True
Suppose 2*v - 2*p = 2, -3*p - 3 = -5*v + 4. Is 0 - v - (-8 + 0) a multiple of 6?
True
Let t = -3 + 6. Suppose t*i - 12 = -i. Suppose 45 = 5*o + i*l - 70, o - 6 = -4*l. Does 13 divide o?
True
Suppose 699 - 188 = 7*w. Suppose -3*c = -2*f - w, 0 = -2*c + 4*f + f + 34. Is c a multiple of 9?
True
Let a(w) = w + 0 + w**2 - 3 + 1. Let s be a(0). Does 3 divide (-13)/s - 3/6?
True
Suppose 2*x = 4*q - 24, -2 = -q - 4*x - 5. Suppose -20 = -2*a + 148. Suppose -q*f + 21 = -a. Is f a multiple of 8?
False
Let t be 1566/10 + 4/10. Suppose -p = -5*n + 530 - t, n = p + 77. Let z = n - 50. Is z a multiple of 10?
False
Suppose 3*c - 4 - 11 = 0. Suppose n + 2 + 30 = c*l, 2*l - 22 = 5*n. Does 6 divide l?
True
Suppose 6*f = 2*