 - 13. Let c be i(m). Does 9 divide c/5*(2 + 13)?
True
Let h be (-2)/(-5) + (-227)/5. Let x = h - -12. Let a = 2 - x. Does 13 divide a?
False
Suppose -4*r = 274 - 746. Is r a multiple of 9?
False
Suppose v + 79 = 3*v - 5*g, 4*v - 165 = 3*g. Does 7 divide v?
True
Let m be (-3)/9 + (-9)/(-27). Suppose m = 3*l - 0*l - 30. Suppose -l*g + 5*g + 150 = 0. Is g a multiple of 15?
True
Suppose 147*j = 169*j - 5610. Is 60 a factor of j?
False
Let g(a) = 48*a**2 + 40*a - 72. Is g(2) a multiple of 10?
True
Does 2 divide ((-2)/(2/(-53)))/1?
False
Suppose -2*g = -3 - 3. Suppose y + 8 = g*y. Suppose 0*t + 44 = 4*s - t, t = -y. Does 3 divide s?
False
Let y(p) = p**3 + 11*p**2 + 11*p + 10. Let k be y(-10). Suppose 208 = -4*j - b, j + j + b + 104 = k. Let u = j - -77. Does 25 divide u?
True
Let f = 45 + 31. Suppose -2*q - 3*b = -12, f = 5*q - 2*b + 8. Let c = q - 3. Is 9 a factor of c?
True
Let s(d) = 27*d. Suppose 0 = 5*r + 3*q + 19 + 53, 2*r - q = -20. Let g be (-6)/(-9)*r/(-8). Does 17 divide s(g)?
False
Let j(a) be the second derivative of -a**3/6 + a**2/2 - 3*a. Let y(r) = -8*r - 3. Let n(m) = -j(m) + y(m). Does 12 divide n(-4)?
True
Let v be 34/2 - (0 - -2). Let t be (v/10)/((-2)/4). Does 8 divide t/6*19*-2?
False
Let d = -21 + 9. Let u be (-4)/3 + (-1804)/d. Let p = 221 - u. Is 18 a factor of p?
True
Is 62 a factor of (4/(-22) - 90/(-132))*3402?
False
Let k(i) = i**3 + 3*i**2 - 2*i - 2. Let o be k(-4). Does 21 divide (-2)/o - (-2356)/20?
False
Suppose -3*k + 840 = -5*h, 4*k + 14*h - 1106 = 16*h. Is 2 a factor of k?
False
Suppose 5*h - 13 = 2*g, 3*g - 10 = -g - 2*h. Does 17 divide (-10 - g)/(18/(-36))?
False
Let s(b) = -2*b - 19. Is s(-14) a multiple of 9?
True
Let q = 227 - 144. Does 5 divide q?
False
Suppose 0 = 2*j + 2*j + 2*r - 266, -246 = -4*j + 2*r. Is (j/(-2))/((-20)/110) a multiple of 44?
True
Suppose 4*l + 8*s + 2*s = 11006, l - s - 2741 = 0. Does 63 divide l?
False
Let u = -43 + 44. Is (-1)/1*u*-77 a multiple of 11?
True
Let p = -26 - -16. Let x = p + 28. Does 13 divide x?
False
Suppose -j + 2*k = -3*j - 20, -25 = 3*j - 2*k. Let i be (-1 - -4)*(-123)/j. Does 10 divide (i - 1)/(12 + -11)?
True
Let y = 34 - 33. Let s(v) = 82*v**3 - v**2 + v - 1. Is 9 a factor of s(y)?
True
Let c be (-256)/(-10) - 2/(-5). Let r = -14 + c. Suppose 3*y - r = 21. Is 7 a factor of y?
False
Suppose 4*u + f - 864 = 0, 2*f + 1093 = 2*u + 3*u. Let z = 65 - u. Let g = z + 228. Does 13 divide g?
False
Suppose 103*s = 113*s - 6900. Does 46 divide s?
True
Let w(j) = j**3 - 8*j**2 + 6*j + 10. Let x be -3*14*(-1)/6. Let u be w(x). Suppose -u*a + 165 = 2*a. Is a a multiple of 17?
False
Suppose -5*h = 5*t - 2565, 2*t + h = -2*h + 1029. Does 10 divide t?
True
Let x be (224 - -2) + (-2 - -4). Suppose 3*l - 3*m - 348 = 0, 3*m = 4*l - x - 231. Is 37 a factor of l?
True
Let v = 72 - 51. Is 8 a factor of 486/v - 2/14?
False
Let x(g) = 2*g**3 + 8*g**2 - 15*g - 2. Does 23 divide x(-5)?
True
Suppose -2*h - 2 = -3*h. Suppose -4*t - 5*a + h*a + 36 = 0, -5*t + 2*a + 68 = 0. Is t a multiple of 4?
True
Let r = -110 + 151. Is r a multiple of 5?
False
Let w be (-2344)/18 + 16/72. Let l = w + 251. Is 17 a factor of l?
False
Let v(o) = 14*o - 245. Is v(37) a multiple of 3?
True
Suppose -5*v = a - 13, -7 - 4 = -v + 4*a. Let j(r) = -r - 1. Let l be j(-4). Suppose -2*w + 13 + 7 = v*u, 5*u = l*w + 65. Is u a multiple of 10?
True
Let p(n) = 4*n**3 + n**2 - 2*n + 1. Let h = -2 - -3. Let l be p(h). Let j = l + 2. Is 6 a factor of j?
True
Suppose 2*y - 53 = -3*j, -29 = y - 3*y + 5*j. Suppose 4*p + 224 = 6*p. Suppose -5*d - y = -p. Does 9 divide d?
True
Suppose -5*z = -10*z + 945. Does 21 divide z?
True
Suppose -s - 2*j + 4 - 1 = 0, -2 = -2*j. Let b(y) = -y**2 + y - 1. Let t(q) = 26*q**2 + 2*q - 1. Let a(n) = b(n) + t(n). Is a(s) a multiple of 13?
True
Let o(w) = w + 13. Let s = 6 - 3. Let r be 2/s + 69/(-9). Is o(r) a multiple of 6?
True
Let l(p) = -p**3 + 8*p**2 - 6*p - 5. Let b be l(7). Is 2/b + 6/(-36)*-6 a multiple of 2?
True
Suppose s + 10 - 143 = 0. Let g = s + -79. Is g a multiple of 18?
True
Let t(w) = 771*w - 27. Is 62 a factor of t(1)?
True
Let t be 12/(-30) - (-27)/5. Suppose 4*p + t*b = 112, 5*p = 3*p - b + 50. Suppose 0 = -0*k - k + p. Is k a multiple of 12?
False
Let o be 290 + 4/(3 + -1). Suppose 4*c + 8 - o = 0. Let s = -33 + c. Does 15 divide s?
False
Let w(r) = -36*r + 2. Suppose -h + 0*h = 1. Is w(h) a multiple of 19?
True
Let b = -32 + 36. Suppose -b*d + 2*n = -196, 3*d + 3*n - 122 = 43. Is 15 a factor of d?
False
Let k(s) = 14*s**3 + s**2. Suppose 4*h - 4 = 2*h. Let w be k(h). Let r = w - 35. Is 27 a factor of r?
True
Let m = 39 + -104. Suppose -3*k = -i + 50 + 104, 0 = 5*k + 15. Let n = i + m. Is 16 a factor of n?
True
Let v(a) = 4*a - 19. Let b be v(-15). Let m = b + 139. Suppose 3*i = i + m. Is i a multiple of 4?
False
Let v be (-3)/1 + 1 + 6. Suppose -v*s + r = s - 81, 0 = -5*r - 5. Let g = 25 - s. Is g a multiple of 4?
False
Let a = -90 - -78. Is 12 a factor of 35*(a/(-21) + 4/2)?
False
Suppose 0*b + 2*b - 880 = 0. Is b a multiple of 24?
False
Does 57 divide ((-836)/(-3))/(-6 + 504/81)?
True
Does 17 divide (206/6)/(-9 - 2119/(-234))?
False
Let x(r) = 9*r**2 - 13*r - 6. Let j be x(6). Suppose -5*p - 45 = -j. Is 9 a factor of p?
False
Let v = 3 + 44. Suppose -x - 3*q + 168 = -v, -x = -5*q - 183. Is x a multiple of 29?
True
Suppose 5*h - 84 = -2*x - 2*x, 3*x = 2*h + 40. Suppose -17*s + 162 = -x*s. Is s a multiple of 32?
False
Suppose -4 = -3*j + 3*i - 1, -2*j - 1 = -5*i. Suppose -4*l + j*g + g = -82, 2*g = -5*l + 91. Is l a multiple of 19?
True
Let x = -103 + 1259. Is x a multiple of 34?
True
Suppose 2*t = -5*c + 629, -4*t = 2*c - 5*t - 248. Suppose f - c = -5*s, -3*s + 0*f + 82 = 2*f. Suppose 0 = -3*z + s. Does 8 divide z?
True
Let r(h) = h**2 - 2*h + 24. Is r(0) a multiple of 8?
True
Let m be 4/(-14) + 6/105*5. Suppose -s = m, -2*a - 3*s - 2*s = -34. Does 2 divide a?
False
Let n(w) = w**2 + 2*w + 4. Suppose -4*q - q = 65. Let x be n(q). Suppose -3*p + x = -114. Is 29 a factor of p?
True
Suppose -4*a + 6*a = -4*h - 4, a - 6 = 2*h. Suppose 5*k - 102 = a*k. Is 8 a factor of k?
False
Let g = 34 - 56. Let z = 37 + g. Let q(r) = 6*r - 22. Is 34 a factor of q(z)?
True
Let p(l) = -5*l + 7. Let u(n) = -3*n + 4. Suppose 9 = -2*v - 3*t, -4*v + 2 - 24 = 2*t. Let w(x) = v*p(x) + 11*u(x). Does 7 divide w(-7)?
False
Suppose -9*f + 91 = 4*f. Suppose -f*x - 4*x + 143 = 0. Is x a multiple of 2?
False
Let g = -1 - -4. Suppose 4*h + 5 = -g. Is 31 a factor of ((-31)/h)/((-2)/(-8))?
True
Let o be (0 + 1)/((-3)/3). Let x be -3*(-10)/(-3)*o. Suppose -x = -c + 12. Is c a multiple of 6?
False
Suppose 73 = -2*p + 441. Suppose 0 = 5*w + 34 - p. Let z = 76 - w. Is 10 a factor of z?
False
Suppose 4*b + 89 + 15 = 0. Let x = b + 27. Is 7 a factor of (9 - x)/(4/10)?
False
Let c(u) = 5 - 12*u**2 + 0*u**2 - 14*u + 9 - u**3. Let x be 33*(8/40)/((-6)/10). Is c(x) a multiple of 22?
False
Suppose -71*z = s - 70*z - 81, 3*s + 2*z - 239 = 0. Is s a multiple of 18?
False
Let n(c) = 157*c**2 + 7*c + 10. Is 12 a factor of n(-2)?
True
Let t be (-48)/(-10)*20/(-6). Does 14 divide (t/24)/(4/(-498))?
False
Let p(d) = 110 + 110 + 9*d**2 - 11*d - 214. Does 10 divide p(-3)?
True
Is 14 a factor of -2 - 24/(-48)*331*4?
False
Suppose s + 3 = 9. Let d(n) = 9*n**2 + n + 2. Let v be d(2). Suppose p = s*p - v. Is p a multiple of 6?
False
Let x(g) = -9*g. Let m(q) = -1. Let z(l) = -3*m(l) - x(l). Let a be z(7). Suppose -w - 3 = 0, 3*w = 5*p - a + 7. Is p a multiple of 7?
False
Suppose -3*g + 12 = -0*g. Suppose g*w + 0 = 4. Suppose 36 = y + 4*k + w, 3*k - 153 = -4*y. Does 13 divide y?
True
Let z(b) = -b - 3. Let q be z(-5). Suppose -4*j + q*l + 0*l - 24 = 0, -5*j - 32 = -2*l. Let w = 6 - j. Is w a multiple of 5?
False
Suppose -5*t + 2614 = 4*z, -7*z - 2*t = -6*z - 655. Does 21 divide z?
True
Does 12 divide 1/(-50)*-8945 + 2/20?
False
Is 133*8 - 3 - -5 a multiple of 90?
False
Let b be (-36)/15 + 2 - (-23376)/40. Suppose 7*l - 1187 = b. Does 32 divide l?
False
Let k = 895 - -221. Is k a multiple of 36?
True
Suppose p = 3*s - 0 + 3, 5*s + 5 = -4*p. Suppose p*a - a + 42 = 0. Is 21 a factor of a?
True
Let n(w) be the first derivative of w**4/4 + 7*w**3/3 - 3*w**2 + 2*w - 15. Is n(-5) a multiple of 27?
False
Let i = 46 - 37. Let n(w) = -w**2 