)/3)/(27/(-15) + 1). Let y(r) = 4*r - 3 + 1 + 6*r. Is y(j) a multiple of 14?
False
Let q = 145 + -246. Let r(u) = 22*u + 20. Let j be r(7). Let l = j + q. Does 15 divide l?
False
Let u(i) = 4*i**3 - 9*i**2 - i + 9. Let f(k) = 3*k**3 - 9*k**2 + 8. Let a(l) = -5*f(l) + 4*u(l). Let t = 824 + -833. Is a(t) a multiple of 16?
True
Suppose 0 = -5*q + 2*i + 5078, 3*q - 8*i + 7*i - 3046 = 0. Does 4 divide q?
False
Suppose -s + 1 = -5*d + 6, -3*d - 15 = 3*s. Suppose -4*h = -5*z - 81, 5*h + d = -2*z + 93. Is 6 a factor of h?
False
Let p(r) = -14*r - 18 - 3*r**2 + 7*r + 19*r**2 + 10*r - r**3. Does 3 divide p(16)?
True
Does 16 divide (8/(-5))/(7*(-5)/2800)?
True
Let m(t) = 11*t**3 - t**2 - t - 1. Let v be m(-1). Does 17 divide (v/9)/((-2)/255)?
True
Let o = 846 + -417. Is 4 a factor of o?
False
Suppose -3*p = -4969 - 1145. Does 17 divide p?
False
Suppose 19*g + 7*g = 14768. Is 26 a factor of g?
False
Suppose -3*n + 786 = 3*d, -4*d + n + 1181 = 113. Is 14 a factor of d?
True
Let t(h) = h + 3. Let a be t(0). Suppose d + a = 9. Suppose 25 = i + d. Does 7 divide i?
False
Let x be ((-4)/5)/((-2)/5). Suppose 1 - 23 = -x*s. Does 7 divide 2*1 - (-11 - s)?
False
Let a(y) = 3*y + 3. Let t(c) = -1. Let q(w) = -a(w) - t(w). Let z be q(-3). Is 17 a factor of 6*(z + -2 + -1)?
False
Suppose -l + 58 = 4. Does 18 divide l?
True
Suppose -2*n - 310 = -2*w, 5*n + 9 = -6. Suppose 13*s - 17*s + w = 0. Does 11 divide s?
False
Let x be (-302)/(-10) + 6/(-30). Let d(r) = 44*r - 15. Let v be d(7). Suppose 0 = i + b - 74, 4*i - 5*b - v = x. Is i a multiple of 23?
False
Let y = 993 - 962. Is y a multiple of 3?
False
Let i be (-30)/(-5)*(20/(-8))/(-5). Suppose -4*t + 91 = 5*z, -t - 37 = -i*z + t. Is z a multiple of 15?
True
Suppose 2*a = -4*j + 1208, 3*j + 5*a + 592 = 5*j. Is j a multiple of 8?
False
Let w be (-3 + -2)*2048/(-20). Suppose 2*u = -5*l + 1277, 4*l - 2*l + 2*u - w = 0. Suppose -z - 2*i - 2*i = -66, 5*i - l = -5*z. Is 23 a factor of z?
True
Let y be -4 + 73 + 3 - -1. Let l = y + -48. Does 8 divide l?
False
Let g(a) = -a**3 - 7*a**2 + 2*a + 8. Suppose 3*y = 6*y + 24. Is 14 a factor of g(y)?
True
Let x = 1483 - 699. Does 106 divide x?
False
Let p(a) = 10*a + 94. Does 9 divide p(13)?
False
Suppose 0 = 5*u + 3*i + 96, 0*u - i + 108 = -5*u. Let b = 7 - u. Does 6 divide b?
False
Let g(m) = m + 171. Let n be g(0). Let j = -108 + n. Does 21 divide j?
True
Let f(m) = -3*m**3 - 20*m**2 + 12*m + 55. Is f(-9) a multiple of 23?
False
Suppose 1218 + 4830 = 24*d. Is 12 a factor of d?
True
Suppose -n = -i + 2866, 26*n - 22*n = -2*i + 5738. Is 21 a factor of i?
False
Let m be 6/21 + (-519)/(-21). Let i = 29 + m. Does 26 divide i?
False
Let z(l) = -l**2 + l + 10. Let n be (1 - -8)*1/3. Let a be (40/12 - n)*0. Is z(a) a multiple of 5?
True
Suppose t = 4*a + 283, 0 = 5*a - a - 4*t + 280. Let j = 117 + a. Is j - (-4)/(-3)*3 a multiple of 14?
True
Let w = 256 + -162. Let i be -1*w/(-2) - 2. Suppose 5*s = 280 + i. Does 11 divide s?
False
Suppose 275*a - 279*a + 892 = 0. Does 2 divide a?
False
Suppose -2*b = -25 + 27. Does 9 divide (b + (-5)/(-2))*42?
True
Let j(i) = -i**2 + 14*i - 12. Let b be j(9). Suppose -31 - b = -2*r. Is r a multiple of 16?
True
Let k = 6 - -1. Let z(m) = 2*m - 5. Is 9 a factor of z(k)?
True
Does 6 divide 5 - (-594 + 7) - (1 - 3)?
True
Suppose -220*o + 225*o = 4815. Is 15 a factor of o?
False
Suppose 2*u + 1456 = 6*u. Suppose -8*i + i = -u. Is i a multiple of 13?
True
Suppose c = -3*b - 16, 5*c = 4*b - 6 + 2. Is 19 a factor of 11/(22/160) + b?
True
Suppose -3*i + 2*w = 8 + 9, 2 = 2*i + 2*w. Let p = 20 + -12. Is i/(-4) + 370/p a multiple of 10?
False
Suppose 20685 = 5*c + 3*m, 12410 = 3*c + 7*m - 5*m. Is c a multiple of 90?
True
Suppose -3*i + 6*x - 5*x + 1761 = 0, 5*i = 4*x + 2935. Is 20 a factor of i?
False
Suppose 3*g + 2*x - 1178 = -g, 4*g - 1213 = 5*x. Suppose -4*h + 3*n + 73 = -g, -2*h = 2*n - 192. Does 20 divide h?
False
Let r = -153 - -522. Is r a multiple of 37?
False
Let c = 867 + -387. Is c a multiple of 40?
True
Let p = -2 - -2. Suppose 5*g = t + 59, 0*g + g - 4*t - 27 = p. Does 11 divide g?
True
Let a(f) = f + 1. Let g be a(1). Suppose 361 = g*u + 51. Does 42 divide u?
False
Let m = 68 + -40. Suppose -8*x + m + 92 = 0. Is x even?
False
Suppose 3*c + q = 21, 2*q = 5*c + 6*q - 42. Suppose 0*u + c*u - 714 = 0. Is 23 a factor of u?
False
Suppose -3*d = 9 - 3. Let l = 14 + d. Let i = 48 - l. Does 10 divide i?
False
Let b(z) = -1. Let l(v) = -28*v**2 + 2. Let q(a) = 4*b(a) + l(a). Let w be q(-2). Does 19 divide -5*-3*w/(-45)?
True
Let n(x) = 8*x - 1. Let q be n(2). Suppose -233 = -43*r - 18. Suppose -r*v + q = -5. Is v a multiple of 2?
True
Let r be (-30)/25*5/2. Let b be r/(((-8)/(-76))/(-2)). Suppose 3*j = 3*w - 57, -b - 11 = -4*w - 4*j. Is 3 a factor of w?
True
Suppose 0*l - 6 = -2*l. Suppose 23 = 5*n - s, -4*s + 5 = 2*n - l*s. Suppose -2*b - q = -86, 2*q - 3*q = -n*b + 172. Does 13 divide b?
False
Is (-8)/((-16)/166) - (-5 - 0) a multiple of 44?
True
Let g be 6/(-48) - (-1053)/(-24). Let c = g - -48. Is c a multiple of 2?
True
Let k = -766 - -1327. Is k a multiple of 44?
False
Let i(r) = -4*r + 11 - 16 + 8. Let c be i(-7). Let n = 60 - c. Does 5 divide n?
False
Suppose -4*b = 5*j - 6002, j + 3600 = 4*j + 2*b. Is j a multiple of 73?
False
Suppose 3*z - 1763 = -21*d + 16*d, 2*d - 699 = 5*z. Does 35 divide d?
False
Suppose 7*c = 2*c + 20. Suppose 3*z - f = -17, 9*f = 3*z + c*f + 37. Let d = z - -11. Is 2 a factor of d?
False
Let s(g) = -3*g**2 - g + 50. Let d be s(0). Let u(b) = 3*b + 4. Let p be u(-10). Let c = p + d. Is c a multiple of 6?
True
Does 15 divide (351/(-26)*-24)/(3/10)?
True
Let g = 34 - 22. Let s = g - 7. Suppose 0 = 5*u + 5*m - 285, 4*u + m - 228 = s*m. Does 19 divide u?
True
Let l(m) = 98*m + 154. Is 88 a factor of l(13)?
False
Let r = 351 + -191. Let d = 297 - r. Is d a multiple of 15?
False
Suppose 4510 = 16*f + 6*f. Does 14 divide f?
False
Let m = -2 + 109. Let n = m + 82. Suppose 0 = 4*y + y - 2*l - n, -129 = -3*y - 4*l. Is 13 a factor of y?
True
Let v(h) = 9*h - 4. Let d be v(5). Suppose -4*a = -2*i + 14, -4*i - 9 = 5*a + d. Is 5 a factor of (-57)/(-6) + (-3)/a?
True
Let b(l) = 6*l**3 - l**2 + l - 1. Let f be b(1). Let q(x) = x**3 - 6*x**2 - 7*x - 20. Let a be q(9). Suppose a = f*i - i. Is i a multiple of 20?
True
Let f(m) = m**3 - 21*m**2 + 27*m - 74. Is f(20) a multiple of 6?
True
Let f = 111 + -27. Let u = f - 64. Does 6 divide u?
False
Let m(b) = 3*b**2 - 7*b - 117. Is 7 a factor of m(12)?
True
Suppose 5*s = s + 12. Is 28 a factor of -14*((-18)/s - -4)?
True
Let s(n) = 44*n - 10. Let t(w) = -29*w + 7. Let l(g) = -5*s(g) - 8*t(g). Let p(u) = 3*u**2 - u. Let i be p(-1). Does 14 divide l(i)?
True
Suppose -63 = -5*o + 2*j, 5*o - 16 - 19 = -5*j. Is o a multiple of 2?
False
Suppose 5*a = -5*j - 35, 0 = -3*j + a - 10 + 1. Suppose -4*x - 55 = -5*c + 56, 3*x - 5*c + 77 = 0. Let y = j - x. Does 14 divide y?
False
Suppose -6*f + 3*f = 5*i + 73, -4*f - 59 = -i. Is 47 a factor of (282/9)/(f/(-72))?
True
Let d(o) = o**3 + 7*o**2 - 24*o - 20. Let p(a) = a**3 + 8*a**2 - 24*a - 19. Let t(b) = -5*d(b) + 6*p(b). Is t(-14) a multiple of 21?
True
Let w(h) = 9*h - 7. Let o(r) = -44*r + 36. Let l(z) = -3*o(z) - 14*w(z). Let t be l(6). Suppose -4*k + 36 = 3*b - t, -5*b = -5*k - 115. Is 7 a factor of b?
False
Let z be (-574)/4 + (-14)/28. Let c = z + 232. Is c a multiple of 7?
False
Let c = -101 - -99. Is (1*(-2 + 3))/(c/(-16)) a multiple of 8?
True
Suppose a + 1 = q + 141, 4*q + 8 = 0. Is 3 a factor of a?
True
Suppose 8 = 17*j - 15*j. Suppose 6*q = 4*q + h + 8, j*h = -5*q - 6. Suppose -k = -q*k + 56. Is 14 a factor of k?
True
Suppose 5*a - 2 = -3*w + 43, 3*w + 3*a - 45 = 0. Let x = 48 - w. Is x a multiple of 4?
False
Suppose 72 = 3*n - 9. Suppose -p + n = -4*a, 0*p + 15 = -3*a - p. Is 9 a factor of -3*26/a*2?
False
Suppose -5*v = -14*v + 54. Does 15 divide (1 + -19)*(0 + (-50)/v)?
True
Suppose -3*i - 2*i + 107 = 2*n, -4*n = 4*i - 208. Let r = 92 - n. Does 6 divide r?
False
Suppose 3*c + 39 = 5*k, 3 = 3*c - 3. Let p = -67 - -71. Suppose w + 24 = p*l - 88, 5*w + k = l. Is l a multiple of 29?
True
Suppose 0*i = 3*i - 3*y - 783, -5*i - 4*y + 1314 = 0. Let g = -172 + i. Is 6 a factor of g?
True
Let c(r) = 606*r**2 - 19*r - 18. Is 4 a factor of c(-1)?
False
Let n(v)