e k?
False
Let d(c) = -21*c - 366 + 150 - c**2 + 163. Is d(-12) a multiple of 11?
True
Let h = -38 - -45. Let f be -5 + 2350/7 - (-2)/h. Let z = 463 - f. Does 17 divide z?
False
Suppose -6*x - 1514 - 118 = 0. Let q = x - -286. Is 2 a factor of q?
True
Suppose 5*j - 65 + 5 = 0. Suppose j*l - 19*l = -56. Is 36 a factor of 1598/l + (-3)/(-12)?
False
Let r(l) = 68*l + 15. Let m(j) = 24*j + 5. Let i(d) = 7*m(d) - 2*r(d). Is 31 a factor of i(27)?
False
Let n be (7/42 + 37/(-6))*-1. Suppose -785 - 193 = -n*f. Is 16 a factor of f?
False
Let n be (5 - 133/(-28))*(0 - -16). Does 39 divide n/14*(36 + 6)?
True
Suppose 0 = 5*b - 25 - 5. Let q be (-4 - 14/3)*b. Is 13 a factor of (91/(-4))/(13/q)?
True
Let r(g) = -5694*g**3 - 2*g**2 + 2*g + 2. Let n be r(-1). Suppose 8*q - n = 708. Is 40 a factor of q?
True
Let y(q) = -q**3 - q**2 - q + 119. Let k be y(0). Let t = -79 + k. Is 20 a factor of t?
True
Suppose -4293 + 974 = 3*p - 5*a, -3*p = -2*a + 3331. Let h = -679 - p. Is 10 a factor of h?
False
Let s be (1 - 31)/((15/(-10))/1). Is (1832/s + -4)/((-12)/(-40)) a multiple of 17?
False
Suppose 0 = -26*w + 9851 - 2779. Does 34 divide w?
True
Let s = -199 - -204. Is 7 a factor of (3 + -2)/(s + 834/(-167))?
False
Suppose 2*i = a + 49909 - 13803, 2*i - 2*a = 36104. Does 6 divide i?
True
Suppose -61*x = -42*x - 32680. Is x a multiple of 172?
True
Suppose 5*o - 20 = -4*f - 6, 2*o - 3*f - 24 = 0. Let l be o/45 + (-566)/(-30). Suppose 0 = -21*g + l*g + 234. Is 9 a factor of g?
True
Suppose 536 = 4*h + 3*k - 7*k, h + 4*k = 139. Suppose -x - h = -10*x. Suppose 2*j = 111 - x. Is 24 a factor of j?
True
Suppose 702175 + 23825 = 242*f. Is f a multiple of 15?
True
Let a be 2 - 384/(-10) - (-8)/(-20). Is 23 a factor of ((-390)/a)/(1 - 273/264)?
False
Let z(t) = -2336 + 2374 - 14*t - 3*t + 2*t. Is 16 a factor of z(-7)?
False
Let k(l) = 3*l**3 + 4*l**2 - 20*l + 4. Let t be k(2). Suppose 24 = -3*w + x, 2*w - 6*x = -11*x - 16. Is 18 - (6/t - 12/w) a multiple of 14?
False
Let t = 8858 - 8689. Is t a multiple of 2?
False
Suppose -4*u - 20 = i, 4*i + 76 = i - 4*u. Let o be 4/(-6)*(-42)/i. Let d(x) = -9*x**3 - x**2 - x - 1. Is 2 a factor of d(o)?
True
Suppose -2*s + 0 + 10 = 0, -5*p - 17155 = -5*s. Let v = -1791 - p. Is 30 a factor of v?
False
Let i be (-2)/(24/16*(-2)/6). Suppose 72 = 5*v + i*t, -t + 40 = 2*v - 5*t. Let s = 37 + v. Does 19 divide s?
False
Suppose 23*p = 166*p - 21*p - 88938. Is 3 a factor of p?
True
Let m(j) = -j**3 + 14*j**2 + 5*j - 31. Let i be m(14). Let q = -41 + i. Let a = q + 53. Is a a multiple of 10?
False
Suppose 97*p - 862229 = 853722 - 173554. Is p a multiple of 267?
False
Suppose -14 = 4*v - 8*v - y, 0 = 3*v + 3*y - 15. Let k(d) = 442*d + 144. Is 15 a factor of k(v)?
True
Let d(c) = 148*c**2 + c + 1. Let g be d(-1). Suppose -28 = 3*k - g. Suppose 4*a - 60 = k. Does 10 divide a?
False
Let f(k) = -k**3 + 22*k**2 - 6*k - 14. Suppose 16*a - 14*a = 38. Is 21 a factor of f(a)?
False
Let d = 1331 - -1711. Is 18 a factor of d?
True
Let u be 4/20 - ((-16)/20 + -2). Suppose -d - 261 = -u*b + 82, -2*b - 4*d + 238 = 0. Is 24 a factor of b?
False
Let o(t) = -3*t + 20. Let c = 49 - 24. Let w be o(c). Is 6/10 + (-2057)/w a multiple of 6?
False
Let x(y) = 199*y - 634. Is x(46) a multiple of 40?
True
Let l(n) = 45*n**2 + 5*n + 10621. Does 247 divide l(0)?
True
Suppose -3*w + 2474 = 3*s - 1156, 4*s + 2450 = 2*w. Suppose 3*y + 2*x - 413 = 2*y, 2*x + w = 3*y. Does 11 divide y?
True
Suppose 80 = 10*h - 0. Suppose 1496 = h*f + 14*f. Is f a multiple of 68?
True
Suppose -3*p = 11*t - 13*t + 9480, 20 = 5*p. Does 21 divide t?
True
Let g = -17240 + 20273. Does 101 divide g?
False
Suppose -54*j + 98460 = -9*j. Is 28 a factor of j?
False
Let r(n) = 2*n + 22. Let y be r(-14). Let d(q) = 1. Let c(m) = m + 47. Let v(a) = y*d(a) + c(a). Is v(-20) a multiple of 2?
False
Let v(h) = 879*h - 1729. Is 16 a factor of v(31)?
True
Let i(j) = -4*j - 6. Let s be i(-3). Suppose 0 = 4*a - s*a + 6. Suppose -a*o = -49 - 23. Is o a multiple of 3?
True
Suppose 0 = 4*w + 5*b - 23324, -2*w = -4*b - 11842 + 154. Is w a multiple of 5?
False
Let m(v) = -1014*v - 3775. Is m(-39) a multiple of 112?
False
Suppose 0 = -31*v + 29*v + 200. Let k = 226 - v. Is 18 a factor of k?
True
Let l(w) = 3*w**2 - 203*w + 236. Does 30 divide l(76)?
False
Let s = -330 + 333. Suppose -4*m - 2*z + 656 = 0, -5*z = s*m + m - 662. Is 24 a factor of m?
False
Is 9 a factor of (9 - 16 - (-774 + 5))*(44 - 2)?
True
Suppose 4*j = -5*c + 66100, 8*c + 12*j - 15*j = 105713. Is 16 a factor of c?
True
Let a = 107 - 124. Let j(s) = s**3 + 10*s**2 + 7*s - 4. Let c be j(-8). Let k = a + c. Does 3 divide k?
True
Suppose 8*k - 79 = -39. Suppose -j + k*j = 2*w - 980, 5*w = 5*j + 2435. Is 28 a factor of w?
False
Let j be (76/18)/2 + (-2)/18. Is (-128)/(-2) + -1 + j + 0 a multiple of 8?
False
Is 3105666/234 + 2/(-26) a multiple of 84?
True
Suppose -29*c + 29 = -29. Suppose 1896 = 5*m - p + c*p, m = -5*p + 384. Is m a multiple of 92?
False
Does 6 divide 1287 - (-5 + 1 + 98/14)?
True
Is 26/(36/18) + 1386 a multiple of 11?
False
Suppose -4*o + 150 = 2*g, 135 = -38*o + 41*o - 3*g. Suppose 41*q = o*q + 240. Is 14 a factor of q?
False
Suppose -854 - 650 = -7*d + 1625. Is d a multiple of 3?
True
Let d(v) = -v**3 + 13*v**2 - 13*v - 16. Let i be 8/(-3)*-3*(-2)/(-2). Is 40 a factor of d(i)?
True
Suppose 0 = -12*j + 71940 + 57594 - 14190. Is 27 a factor of j?
True
Let s = -11296 + 42368. Is 32 a factor of s?
True
Let s(h) = -2*h. Let z be s(-2). Suppose 219 + 545 = z*o. Is o a multiple of 21?
False
Let v be (2 - 3)*5 + -4. Let f be -12*17/v*3. Let k = f + -32. Is 18 a factor of k?
True
Let v(s) = s**3 - 13*s**2 + 7*s + 27. Suppose -34 = -2*o + 7*d - 9*d, -4*o - d + 65 = 0. Is 52 a factor of v(o)?
False
Suppose -5343*m = -5350*m + 64778. Is 19 a factor of m?
False
Let g = 4928 + 2332. Is 10 a factor of g?
True
Let o(b) = 80*b + 1. Let f(p) = -161*p - 3. Let t(s) = -4*f(s) - 9*o(s). Let m be t(1). Is 11 a factor of (0 - (3 + m)) + 2?
False
Is 4 - ((-138)/897 - (-290988)/(-26)) a multiple of 18?
True
Let s(n) = -4*n + 13. Let o(m) = 18*m - 66. Let v(r) = -3*o(r) - 14*s(r). Let t be v(-6). Does 9 divide t + (6 - 5) + 4?
True
Let b be (-4)/(-10) - 54/(-15). Suppose b*x = -2*x + 24. Suppose x*f - 552 = -4*j, -2*f + 180 = j - 94. Is 17 a factor of f?
True
Let z(g) = g + 13. Let l be z(8). Let n(a) = -15*a + l*a - 9*a**2 + 4 + a**3 - 1. Is 18 a factor of n(9)?
False
Let l = 1334 - -20818. Is 142 a factor of l?
True
Suppose 588 = -0*v + 2*v - 3598. Is v a multiple of 7?
True
Suppose -4*p + 4*h + 36 = 0, -p - 4*h = h + 15. Is (p/(25/(-2)))/(1/(-65)) a multiple of 13?
True
Does 3 divide (-78)/195 - (-104582)/5?
True
Suppose w + 478 = -2*j + 4*j, w = 0. Let c = -124 + j. Let y = c + 7. Is 9 a factor of y?
False
Let q be ((-318)/4)/(18/24). Let c be (q/6)/((-8)/(-24)). Let s = 1 - c. Is 18 a factor of s?
True
Suppose -3*c = 2*f - 3054, -1599 + 81 = -f + 3*c. Let u = -994 + f. Is u a multiple of 53?
True
Let y(i) = -i**3 - 10*i**2 + 7*i - 14. Let n be y(-11). Suppose 0 = 4*b + n - 90. Let s(q) = 2*q**2 - 28*q + 9. Is 16 a factor of s(b)?
False
Let n(i) = i + 7. Let r be n(-2). Let m(q) = 47*q - 5. Let f be m(r). Let a = 434 - f. Is 17 a factor of a?
True
Let c = 37 + 5781. Is 14 a factor of c?
False
Let w = -401 + 440. Suppose 0 = 40*r - w*r - 126. Is 18 a factor of r?
True
Suppose 255*n = -69*n + 14430960. Does 131 divide n?
True
Let q be -12*(-1 + (-11)/(-3)). Let l be 12/q + (-35771)/(-8). Does 9 divide 2/8 - l/(-68)?
False
Suppose -5*y + 6781 = s, -1192*y - 13567 = -2*s - 1197*y. Is s a multiple of 6?
True
Let a be (-2)/((-3)/4*-4)*-3. Suppose -5*z = 3*b - 7*z - 325, 0 = -a*z - 10. Let r = b - 0. Does 21 divide r?
True
Let a = 4570 + -2687. Is a a multiple of 23?
False
Let g(a) = -6*a**3 - 12*a**2 - a + 19. Let q = -46 - -41. Does 25 divide g(q)?
False
Suppose 885*k - 876*k = -27. Is (0/2 - k/(-3))*-73 a multiple of 6?
False
Is 2/3*(7215 - -45) a multiple of 120?
False
Suppose -70*d + 75*d - 50358 = -4*h, 5*h = -2*d + 62939. Is h a multiple of 19?
False
Let r = 337 - 327. Suppose 1740 = r*y - 7*y. Does 17 divide y?
False
Let v(x) = x**2 + 11*x - 128. Let o be v(-18). Does 51 divide 5/(((-32)/186)/8)*o?
False
Let y = -458 + 2295. Does 17 divide y?
False
Suppose -520*h 