e z(-7). Is a/77 - 6/k a multiple of 2?
True
Suppose -794*j + 98931 + 611987 = -720*j. Is 13 a factor of j?
True
Suppose 38478 = 27*r + 8184. Is r a multiple of 6?
True
Let k(p) = -p**3 + 4*p**2 - 3*p - 2. Let g be k(3). Let c(f) = f**3 + 79*f**2 - 3*f - 238. Let n be c(-79). Does 10 divide (-1127)/(-14) - n/g?
True
Does 24 divide (496/(-5))/(2/(-1)*3/15)?
False
Let m(r) = -47*r - 8. Let d be m(-1). Suppose v - 351 = -5*a, 3*a + d = -2*v + 251. Is a a multiple of 10?
True
Suppose -567791 - 105289 = -158*c. Is c a multiple of 6?
True
Suppose 37*l = 1217247 - 146097. Does 75 divide l?
True
Let k(f) = 15*f**3 + 4*f**2 + 12*f - 79. Does 81 divide k(5)?
False
Is 123222/99 + (-12)/(-9) a multiple of 7?
True
Let y(g) = g + 2. Let f be y(-1). Let d be (2/4 - f) + 39/26. Suppose -25 = -8*v - d. Does 3 divide v?
True
Does 2 divide (5084532/9234)/((-2)/(-38))?
True
Let j(f) = 7 + 12 - 4 - 15*f + f**2. Let a be j(14). Suppose -3*t - 66 = -p, -3*t = -2 - a. Is 23 a factor of p?
True
Let m = 16540 - 14251. Is m even?
False
Suppose 5*v + 26*v + 157*v = 1610032. Is 2 a factor of v?
True
Let n(u) = u**3 - 8*u**2 + 15*u + 4. Let k be n(8). Suppose 5*i - 9*i = 2*c - k, 2*i = 2*c - 148. Is c a multiple of 14?
True
Let z = -160 - -178. Suppose z*k - 15*k = 465. Does 16 divide k?
False
Let o be (-1176)/(-5) + (-2)/10. Suppose 100 = -3*n + o. Is 9 a factor of n?
True
Suppose -s - 4*h = -5560, -8374 = -3*s + h + 8384. Is s a multiple of 43?
False
Let g = 2 - -7. Suppose 3*s - g = -0, 4*b = -5*s + 31. Does 4 divide 17 + -1 + 2 + b?
False
Let d(x) = -91*x + 24. Let p be d(-4). Suppose -3*h + 3 = 0, -4*h + p = 3*b + b. Is b a multiple of 32?
True
Suppose -d + 175 + 93 = k, d = -5*k + 264. Let i = d - 161. Is 4 a factor of i?
True
Let k(i) = 20*i**2 + i - 3. Let m = -10 + 7. Let q be k(m). Suppose -6*r = -600 + q. Is 14 a factor of r?
False
Let z = 52489 - 26733. Does 359 divide z?
False
Suppose 478 - 142 = -16*y. Is 942 + 9/27*y a multiple of 17?
True
Let i = 146 + -152. Let z(p) = -p**3 - p**2 - 11*p - 33. Is z(i) a multiple of 31?
False
Let n(b) be the first derivative of -2*b**3/3 + 4*b**2 - 26*b + 14. Let r(o) be the first derivative of n(o). Is r(-19) a multiple of 4?
True
Suppose 0*s + 1 = p + s, 36 = 4*p - 4*s. Suppose 0*c - 309 = -2*q + 5*c, -p*q = -4*c - 798. Does 6 divide q?
True
Let p(z) = -z**3 - 23*z**2 - 73*z - 271. Is p(-23) a multiple of 22?
True
Suppose 14*u = -2*p + 13*u + 2145, -1 = u. Is p a multiple of 37?
True
Suppose -6636*i = -6659*i + 80500. Is i a multiple of 5?
True
Suppose 0 = -j - 4, 4*q = 4*j + 111509 + 185095. Is 300 a factor of q?
False
Let v = -4749 - -5800. Is v a multiple of 14?
False
Let p(c) = -90*c - 1790. Is 40 a factor of p(-91)?
True
Let a be 2*1*5082/84. Suppose 4*l - a = 183. Is 4 a factor of l?
True
Let v be (1 - 2 - -11)*(-635)/(-10). Suppose 0 = a - 26 - v. Suppose 0 = 2*y + 5*u - 335, -3*u + 169 = -3*y + a. Does 33 divide y?
True
Suppose 2*d - 4*m = 16476, 5*d + 2*m = 3*d + 16494. Is 18 a factor of d?
True
Suppose -18*v + 22495 = -50099. Is 109 a factor of v?
True
Let g be (3 - 2)/((-2)/(-30)). Let k = -25 + g. Is ((-5)/k)/((-2)/(-68)) a multiple of 17?
True
Does 21 divide (-33)/(-924)*42*(-5212)/(-3)?
False
Let j(v) = -3*v**2 + 12*v + 7. Suppose 3*x + 50 = 8*x. Let r be j(x). Let p = -94 - r. Is p a multiple of 17?
False
Let a(g) = 138*g**2 - 45*g - 508. Does 17 divide a(-13)?
False
Suppose -u + w + 6 = 0, 0 = 8*u - 5*u - w - 22. Suppose -16 = 4*y, 3*x = u*x + 5*y - 605. Is 25 a factor of x?
True
Suppose -69076 = 140*a - 748916. Is a a multiple of 27?
False
Is 64/(-4) + (34449 - 78) a multiple of 26?
False
Let o = 54291 - -1157. Is 11 a factor of o/174 + (-1)/(-3)?
True
Let x be (-14 - 3) + 0 + 2. Let g = -40 - x. Is 2 a factor of -2 + -1 + (-325)/g?
True
Let j(b) = -b**2 - b + 2. Let d be j(-2). Let k(z) = 8*z - 48. Let t be k(6). Suppose d*v + 6*v - 156 = t. Does 23 divide v?
False
Let d be (2 - 2)/5 - -5. Suppose -1830 = -5*p + 2*v, -1079 = -p - 2*p + d*v. Suppose -3*h + 392 = 5*u, -7*h + p = -4*h - u. Is 28 a factor of h?
False
Suppose -7430 = -5*c - 2*v, 14*c - 19*c + 5*v + 7465 = 0. Is c a multiple of 12?
True
Let m(r) = r**3 + 14*r**2 + 6*r - 31. Let h be m(-13). Suppose -15*k - h = -10*k. Does 13 divide (780/(-25))/((-1)/((-40)/k))?
True
Suppose 24*s - 30*s + 18000 = 18*s. Is s a multiple of 30?
True
Let z be 75468/(-36) - 1/(-3). Let o = z + 2960. Is 32 a factor of o?
True
Let t = 688 + -560. Is 5 a factor of (t + 6)*1*(-2)/(-4)?
False
Let f(p) = 6*p**2 - 23*p + 102. Let r = -238 - -247. Is 23 a factor of f(r)?
False
Let y be (-14)/((-126)/27) + -6. Let j(s) = -9*s - 5 - 1 + s. Is 3 a factor of j(y)?
True
Let d be 4/(-14) + (-592)/(-14). Suppose -110*t = -17*t + 1473 + 15. Let y = t + d. Is y a multiple of 2?
True
Let v(s) = 2*s**2 + 32*s - 90. Suppose -59*q = -63*q - 96. Does 4 divide v(q)?
False
Let n(t) = -42*t + 5. Let x(c) = 125*c - 15. Let q(z) = 8*n(z) + 3*x(z). Let s(m) = -10*m + 1. Let h(l) = 2*q(l) + 9*s(l). Does 9 divide h(-6)?
False
Let k(x) = 5*x**2 + 8*x - 18. Let c be k(-4). Suppose -2*l = c - 1182. Does 48 divide l?
True
Is 2/(-21 + (-1986278)/(-94584)) a multiple of 19?
False
Let a be 1/(((-14)/(-48))/(-7)). Let o be (a/(-14))/(10/35). Does 12 divide 747/o + -3 + (-21)/(-6)?
False
Let x be -4 - (4 + -8 + -2). Let f be (-1)/((-3)/(-6)*x/(-33)). Suppose -3*k = 3*w - f, 0*k + 4*w = -2*k + 12. Is 4 a factor of k?
True
Let i be -9 + 14 + -4 + 2. Suppose 2*n - 1946 = -2*o, 2*o + 0*n - 1950 = -i*n. Is o a multiple of 12?
False
Let w be (-20)/(-15)*((29 - -2) + -1). Suppose 0 = -b - 3*s + 24, 2*b + 3*s - w = -7. Suppose r - 61 = b. Is r a multiple of 10?
True
Suppose -5*q = -4*r - 580, -4*q + 4*r + 377 = -91. Suppose 5*i + 121 = -3*w, -2*w - 86 = 3*i - 5. Let a = w + q. Is 7 a factor of a?
True
Let b(c) = -283*c - 1297. Is b(-28) a multiple of 135?
False
Let m = -21 - -131. Let n(i) = i**2 + i + 190. Let x be n(0). Let l = x - m. Does 20 divide l?
True
Suppose 0 = -6*r + 386 - 50. Let i = -60 + r. Is 119 + (-1 - 4 - i) a multiple of 34?
False
Let n = 773 - 842. Suppose 3*b - 3 - 10 = 2*c, -5*b = c. Let h = b - n. Does 10 divide h?
True
Suppose 16*m - 19*m = -3*x + 3282, 2*x = -2*m + 2180. Is 91 a factor of x?
True
Suppose -342314 = -6*v - 43*v. Is v a multiple of 39?
False
Suppose 141 - 1697 - 6034 = -22*o. Let q = -1 - -3. Suppose 4*b - d = 635, -50 = q*b - 5*d - o. Does 16 divide b?
True
Let q(n) = -n**2 - 16*n + 5. Let s(t) = 4*t + 25. Let p be s(-7). Let f be 1 + (0 + 5)*p. Is q(f) a multiple of 3?
True
Suppose 0 = -a + 2*f + 6433, -3*a = -2*f + 6*f - 19289. Is a a multiple of 140?
False
Let j(a) = 53*a - 3 - 9 + 13 + 9 + 6*a. Is 23 a factor of j(1)?
True
Suppose -4*j = -4*w - 7*j + 62401, 0 = -5*w + 6*j + 78050. Does 22 divide w?
False
Let g = 6630 + -3254. Is g a multiple of 8?
True
Let l(x) = -537*x**2 + 11*x - 1. Let b(m) = -539*m**2 + 9*m - 1. Let i(k) = -6*b(k) + 5*l(k). Does 7 divide i(1)?
False
Suppose 3*k - 2215 = -2*o, 7*k + 12 = 3*k. Is o a multiple of 8?
True
Suppose 1284 = a + 5*p, 4*a + 36*p - 5011 = 41*p. Is a a multiple of 81?
False
Let k(a) = -2*a**3 + 3*a**2 + 12*a + 18. Let n be k(-5). Let z = n + 142. Does 25 divide z?
True
Suppose 3*k - 5*t - 69 = 10, 28 = k - 2*t. Is k a multiple of 3?
True
Let k(a) = -10*a**2 - a + 2. Let q be k(2). Let v(o) = -2*o**2 + 16*o + 146. Let g be v(-7). Let y = q - g. Does 12 divide y?
True
Is 748462/297 - (-8)/(-108) a multiple of 60?
True
Let a be (-14)/(-63) + (-58)/18. Does 24 divide -3 + -4 + 225 + (0 - a)?
False
Suppose -5*t = -4*t. Suppose t = 2*x - 2, 2*y = y - x - 122. Let z = y + 195. Does 18 divide z?
True
Suppose 5*p - 347 = -a, p + 0*p + 5*a = 79. Suppose -j = -p + 34. Is j a multiple of 7?
True
Let t(o) = -o**2 + 18*o - 42. Let s be t(15). Suppose 3*l + 5*j - 1298 = 4*j, 1290 = 3*l - s*j. Is 24 a factor of l?
True
Suppose 307 = 2*x + 115. Let p = x - 95. Does 40 divide ((-4)/(-8))/(p/80)?
True
Suppose -2*w + 0*w + 492 = 3*a, -a = w - 244. Let r = -121 + w. Does 16 divide r?
False
Suppose 0 = -41*d - 49*d + 283500. Is d a multiple of 105?
True
Suppose 4*o - 62 = 3*o. Suppose 0 = s - x - 19, 5*x = -3*s + 3*x + o. Is 525/s - (-3)/4 a multiple of 3?
True
Let v(n) = -2*n**2 + 5*n + 80. Let t be v(-6). Is (-14)/77 + (-1280)/t a multiple o