= -49 - -121. Is q a multiple of 11?
False
Let y(b) = b**2 + 9*b - 7. Let l be y(-10). Suppose -l*i + 7 = -5. Is 2/i*1*48 a multiple of 8?
True
Let g(i) be the second derivative of i**5/10 - i**4/2 - 5*i**3/6 + 5*i**2 - 24*i. Is g(4) a multiple of 11?
True
Let c(h) = -h**3 + 20*h**2 + 22*h + 21. Let f be c(21). Is (56/f)/((-1)/(-15)) a multiple of 10?
True
Let i be 24*(3/(-9))/(0 - 1). Is 192/36 - i/6 a multiple of 4?
True
Let b(o) = o**3 - 11*o - 6. Is 8 a factor of b(10)?
False
Suppose 3*k - 8164 = -5*x, 4*k - 10827 = -12*x + 17*x. Suppose -498 = 5*y - k. Is 59 a factor of y?
False
Let s(c) = 2*c**3 - 3*c**2 + c + 1. Let v be s(3). Let x = -180 + 179. Is 17 a factor of x*(-2*v - 0)?
False
Is 7 - (9 + 14168/(-11)) a multiple of 42?
False
Suppose -4*s - 3*w - 286 = -1231, s - 235 = -w. Is s a multiple of 16?
True
Suppose -5*i - 5*j = -345, 0 = 3*i - j - 126 - 61. Is i a multiple of 8?
True
Let q(a) = 3*a - 19. Let d be q(14). Suppose d*w - 136 = 21*w. Is 5 a factor of w?
False
Does 2 divide 1792/35*(-5)/(-2)?
True
Let i = 25 + -21. Let p(x) = 6*x**3 + 2*x**2 + 2*x - 2. Let b be p(2). Suppose -60 = -5*s - 5*h, -i*s + 3*h + b = 2*h. Does 2 divide s?
True
Let u(s) = -s**2 - 2*s + 102. Suppose 9*a = 7*a. Is u(a) a multiple of 17?
True
Is 62 a factor of (-434)/21*6*-1*4?
True
Let x = -1 - -1. Suppose 0 = -5*k + 28 - 3, x = 2*t + 5*k + 47. Is 3 + -5 - t/2 a multiple of 8?
True
Let p(l) = l**2 + l + 4. Let c = 9 - 14. Is 14 a factor of p(c)?
False
Suppose 0 = 6*z - 14*z + 6496. Does 7 divide z?
True
Let k(l) = 21*l**3 - l**2 - l + 1. Let b be k(1). Let g = 7 - b. Let o(x) = x**2 + 11*x - 13. Is o(g) a multiple of 4?
False
Let u(s) = 12*s**2. Let y(z) = -z**2 + z + 2. Let v be y(0). Is 24 a factor of u(v)?
True
Let l(n) = 3*n + 13. Let q be l(11). Let p = q - -11. Is p a multiple of 19?
True
Suppose 12*d + 329 = 13*d + 4*r, -2*d = -3*r - 691. Is d a multiple of 35?
False
Let d(p) = p**3 + 25*p**2 - 26*p + 15. Is 17 a factor of d(-21)?
False
Let r be -2*4/(-3 - -1). Suppose -68 - 38 = -3*s + r*c, -c = 4. Is 15 a factor of s?
True
Suppose -9*j + 18 = 72. Let b(x) = -13*x + 26. Is 26 a factor of b(j)?
True
Let w(s) = 10*s**2 + 30*s - 76. Does 20 divide w(11)?
False
Let h(p) = 3*p + 56. Let s be h(-17). Suppose -s*f = 3*y - 2109, 0*f + 3*f = -y + 1267. Is 47 a factor of f?
True
Suppose 63 = -c - 3. Suppose 0 = -5*b - 2*h - 459, 0 = 3*h - 4 - 5. Let r = c - b. Does 9 divide r?
True
Let i be 965/6 - 5/(-30). Let c = i + -97. Let m = c + -46. Is m a multiple of 9?
True
Suppose -3*q + 94 = 4*c, -42 = -5*c - q + 81. Let j = -7 + c. Does 6 divide j?
True
Let l be ((-2)/1)/((-20)/30). Let d be -4 + l - -1 - -1. Let k = 61 - d. Does 9 divide k?
False
Suppose 0 = 17*a + 35 - 188. Suppose 0 = -2*m - i - 0*i + 5, 0 = -m + i - 5. Suppose a = l - m. Is 7 a factor of l?
False
Suppose -3*b + 685 = 2*g - 777, -2 = b. Is g a multiple of 7?
False
Suppose 0 = c - 2*a - 611, 2*c - 38 = 2*a + 1180. Does 5 divide c?
False
Suppose 2*c + 1 = -d + 99, -c + 5*d + 49 = 0. Let x = c - -10. Does 8 divide x?
False
Let f(s) = -s**3 + 10*s**2 - 7*s - 15. Let i be f(8). Let l = 72 - i. Does 15 divide l?
True
Let i(n) = -29*n + 398. Is 21 a factor of i(-29)?
True
Let j(n) = 24*n + 9. Let x be j(-2). Let g = -41 - -24. Let q = g - x. Is 9 a factor of q?
False
Is 25 a factor of 288 + 0 + (-42)/(-14)?
False
Let w(t) = t**2 - 6*t + 1. Let n be w(5). Let i(y) = -9*y + 8. Does 8 divide i(n)?
False
Suppose -213 + 1 = -c. Suppose 5*s + 4*a = c, 4*s - a - 1 = 177. Suppose r + s = 3*r. Is r a multiple of 11?
True
Let f be 2 - 153/(-6)*(-16)/(-6). Let s = 125 - f. Is s a multiple of 15?
False
Suppose -882 = 8*h - 2442. Is h a multiple of 15?
True
Let r(x) = -19*x - 302. Is 8 a factor of r(-18)?
True
Let j(k) = -k**3 + 37*k**2 + 46*k + 226. Is 34 a factor of j(38)?
False
Let v(i) = i**2 - 7*i + 3. Let m be v(7). Let g be (-45)/(m + -6) - 3. Suppose -3*t = -g - 3. Is t a multiple of 3?
False
Suppose -19 - 5 = -6*n. Suppose n = -3*x + 5*x. Suppose -x*t - 42 = -v - 0*t, v = -3*t + 27. Is v a multiple of 18?
True
Let n(y) = 2*y - 7. Let x be n(6). Suppose 0 = 4*t + 5*i - 21, -12 - 8 = -5*t - x*i. Let j(f) = 7*f**2 + 2*f + 1. Is j(t) even?
True
Let o(k) = 5*k**2 - 10*k + 6. Let d = -41 + 47. Does 42 divide o(d)?
True
Is 10 a factor of 9/21 + (-6168)/(-14)?
False
Let u be 74/9 + (-22)/99. Let i = u + -8. Suppose 0*h + h - 31 = i. Is 31 a factor of h?
True
Suppose 4*j + 4 = 0, 3*t + j + 372 = 2099. Does 24 divide t?
True
Let x(c) = -3 + 0 + 2 + 41*c**2. Let g be 80/(-60) + 2/6. Does 10 divide x(g)?
True
Let r = 14 - 13. Let y(p) = 112*p**2. Is 14 a factor of y(r)?
True
Let v be 1/((-7)/(-56) - 1/(-8)). Suppose 3*b + 497 = v*x - 2*b, 5*b - 271 = -2*x. Is x a multiple of 32?
True
Let z(i) be the second derivative of -79*i**3/6 + 4*i**2 - 16*i. Does 7 divide z(-1)?
False
Suppose 1121 = 23*z - 1340. Is z a multiple of 7?
False
Let j be (12/10)/((-28)/(-70)). Is 85 + 12/j - -2 a multiple of 16?
False
Suppose 4*g = -3*d + 1233, 7*d + 829 = 9*d + 5*g. Does 12 divide d?
False
Let k = 254 + -100. Does 16 divide k?
False
Let y = -532 - -768. Is 5 a factor of y?
False
Let n = -44 + 49. Suppose -2*v - v + 85 = -d, 20 = -n*d. Is 9 a factor of v?
True
Let j = 0 + 4. Let y = -4 + j. Suppose -t = -y*t - 37. Is t a multiple of 11?
False
Let f(o) = -112*o + 3. Let g be (25/10 + -3)/((-3)/(-6)). Does 23 divide f(g)?
True
Suppose -4*f = -5*s + 814, -9*s + 3*f + 489 = -6*s. Is 3 a factor of s?
True
Suppose 0 = -a + 5*r - 7, -10 = 2*r - 7*r. Does 11 divide ((-52)/a)/(28/(-126))?
False
Let s(w) = w**3 + w + 3. Let j be s(4). Suppose -a + 50 = -5*p, -2*a = 5*p - j + 1. Is a a multiple of 20?
True
Suppose 3*q = -2 - 1. Let f(z) = 2*z**2 + z**2 - z + 8 - 9. Is f(q) a multiple of 3?
True
Is -103*(2 + 12/(-4)) + -4 a multiple of 11?
True
Does 20 divide 0 + (-4)/(-14) - 20148/(-42)?
True
Let q(f) = 3*f - 23. Let h be q(9). Suppose 4*m - b = 116, -4*m + 40 = -2*m + h*b. Is m a multiple of 7?
True
Let n be 42/(-28)*38/(-3). Suppose 262 = n*h - 18*h. Does 25 divide h?
False
Let g(n) = 31*n**3 - 2*n**2 + 2*n - 1. Let q(k) = 5*k + 13. Let p be q(-6). Let f = p + 18. Does 15 divide g(f)?
True
Does 5 divide (-7*40/140)/(1/(-375))?
True
Suppose -2*n + 11*a = 8*a - 1363, -2*a - 1368 = -2*n. Is 15 a factor of n?
False
Let y = -67 + 71. Suppose 0 = -k - y*k + 75. Does 2 divide k?
False
Suppose 1620 = 13*n - n. Is 9 a factor of n?
True
Let q = 101 + -97. Suppose 5*v = -q*g + 47, -v - 2 + 5 = 0. Does 3 divide g?
False
Let d = -1410 + 3100. Is 58 a factor of d?
False
Suppose -2*m + 1 = 2*z - 3*m, 0 = 3*z - 5*m + 16. Suppose h - 396 = -z*h. Does 17 divide h?
False
Let w(y) be the first derivative of -5*y**4/4 - 4*y**3/3 - y**2/2 + 2*y - 1. Let f(a) = 4*a**2 - 2*a - 14. Let p be f(2). Is 8 a factor of w(p)?
False
Let p(m) = -2*m**3 + 11*m**2 + 5*m + 8. Let d be p(6). Suppose -4*u = -d*q - 0*q + 36, -2*q - 4*u = -28. Is q a multiple of 16?
True
Let q = 625 - 90. Does 52 divide q?
False
Suppose 12*u - 5*u + 7 = 0. Does 19 divide (u - -7)/((-9)/(-228))?
True
Let f = 34 + -12. Is 4 a factor of f*6/8 + (-23)/(-46)?
False
Let d(v) = 9*v + 4. Let l(f) = -12*f. Let t be l(1). Let b be d(t). Is 834/13 - (-16)/b a multiple of 16?
True
Let d(f) = 3*f + 1. Suppose 0*c + c = 3*z - 14, 4*c = 5*z - 28. Suppose 2*b = o - 3, -5*o - z*b = 2 - 3. Does 4 divide d(o)?
True
Let n be 2/(338/114 - 3). Let g = 199 + n. Suppose 5*s - g - 23 = 0. Does 9 divide s?
False
Let a be (-512)/(-17) + (-12)/102. Let v = 282 - a. Is 18 a factor of v?
True
Let q = -1247 + 1856. Is 87 a factor of q?
True
Suppose 40 = -3*k - 2*m + 4*m, m + 1 = 0. Is 19 a factor of (9 + -1)*(33 + k)?
True
Suppose 4*m - d = 20, -3*d - 4 - 28 = -5*m. Suppose g + g = -c + 187, 4*g - 380 = m*c. Is 14 a factor of g?
False
Is (240/10)/((-6)/(-9)) a multiple of 12?
True
Suppose 46*q + 6 = 52*q. Does 4 divide -1*(q - -1) - -37?
False
Let f = -530 + 816. Is 11 a factor of f?
True
Suppose -5*j - d + 14 = 0, -4 = -j - 2*d - 3. Suppose -j*k = -5*o + 497, -2*k + 404 = 4*o + 2*k. Is 28 a factor of o?
False
Let i(l) = l**3 + 5*l**2 - l. Let u(a) = -a**3 - 5*a**2 + 2*a - 1. Let v(b) = -6*i(b) - 5*u(b). Does 25 divide v(-5)?
True
Let c be (-7)/(14/3)*-2. Does 13 divide ((-2)/c)/((-4)/354)?
False
Let t be ((-12)/(-10))/(