- u. Suppose -v = -4*a - 116, m*v - 559 = -v - 3*a. Is 11 a factor of v?
False
Let h(z) = 257*z - 151. Let l be h(7). Let p = l - 992. Is p a multiple of 41?
True
Suppose 3*x - 123 - 109 = 5*b, 4*b - 5*x = -196. Let v = 69 + b. Suppose 5*z = v, 3*q + 0*z - z = 403. Is q a multiple of 17?
True
Let d(f) = -f + 29. Let t be d(0). Let b = t - 18. Suppose -492 = 5*q - b*q. Does 26 divide q?
False
Does 2 divide ((-36)/14)/(24/(-896))?
True
Let r(d) = 32*d**2 - d + 1. Let s = -17 - -12. Let w(n) = -n**3 - 5*n**2 - n - 6. Let a be w(s). Is r(a) a multiple of 25?
False
Let t(n) = -5 + 1 + 0 + 4*n. Let k(g) = -11*g + 516. Let o be k(46). Is t(o) a multiple of 9?
True
Let r(l) = l**3 + 16*l**2 + 30*l + 33. Suppose 19 = -f - 2*y, -f + 8*y - 31 = 13*y. Is r(f) a multiple of 22?
True
Let g = -17465 - -31307. Is g a multiple of 24?
False
Let s(l) = -451*l**3 + 41*l + 76. Does 4 divide s(-2)?
False
Let i(k) = -2*k**2 - 9*k - 2. Let o be i(-2). Suppose -171 = -2*d + 3*u, u = -o + 3. Is d a multiple of 9?
False
Suppose 6*m - 2*m + 12 = 0, 597 = 4*o + 5*m. Is (-78)/(9 + (-1395)/o) a multiple of 22?
False
Let j be 3 + (3 - 2)*-203. Suppose 3*h - 1158 = -4*k - 0*h, -3*k = -5*h - 883. Let g = j + k. Does 32 divide g?
False
Suppose 0 = -8*z + 59 + 37. Suppose -z*f + 9*f = -4*j + 273, j - 47 = 5*f. Is 21 a factor of j?
False
Suppose -41*m + 14035 = 4*h - 46*m, 3*m = 3. Is h a multiple of 6?
True
Let t = 615 - 651. Does 22 divide 7156/6 + (-11 - 408/t)?
False
Suppose -14*o + 40 = -4*o. Let w = 60 + 146. Suppose -o*t + w = -2*z, 3*t + 2*t - z = 250. Is 4 a factor of t?
False
Let n(t) = -t**3 + 4*t**2 - 2*t - 22. Let z(b) = -b**3 + 6*b**2 - 2*b - 24. Let c(v) = 3*n(v) - 2*z(v). Is c(-3) even?
False
Let h = -4664 - -5301. Is h a multiple of 91?
True
Let w(f) = 2*f + 6. Let h be w(-2). Suppose 5*b + 5*u + 115 = 0, h*b + 4*u + 26 = -14. Let x = 25 - b. Is 17 a factor of x?
True
Suppose -9*r + 2541 + 6585 = 4*r. Does 6 divide r?
True
Suppose 0 = 52*c + 121*c - 261576. Is 24 a factor of c?
True
Let m be 1/2*(-7 + 1). Let v(n) = -n**3 - n**2 + 2*n + 3. Let k be v(m). Suppose -939 = -k*g - 219. Is 7 a factor of g?
False
Let t(r) = -r**3 + 4*r**2 + 3*r - 13. Let d be t(4). Let n(m) = -346*m + 7. Is 10 a factor of n(d)?
False
Suppose -r + 23260 = 12*z - 9*z, 0 = 5*z - 4*r - 38761. Does 51 divide z?
False
Suppose 8*j + 35465 = 181*j. Is 5 a factor of j?
True
Suppose -5*d + 122*k = 124*k - 4090, -3*d + 2435 = 5*k. Is d a multiple of 10?
True
Let b(q) = 4 + 22*q**2 - 5*q + 20*q**2 + 0*q + 10*q**2. Does 87 divide b(3)?
False
Let m = 28 + 188. Let t be (39 - 5)/(2 - m/111). Suppose 0 = 15*l - t + 104. Is l a multiple of 5?
True
Let s(j) = j**2 + 12*j - 7. Let c be s(-11). Let p be (-140)/c + 12/54. Suppose 40 = -4*u + p*u. Does 10 divide u?
True
Let f(s) = s**3 - 26*s**2 - 11*s + 59. Let a be f(26). Let p = a + 452. Is 3 a factor of p?
True
Let j = 5 + -8. Suppose -3*d - 3243 = -3*m, -d + 34 - 37 = 0. Is j/(-9) + m/6 a multiple of 30?
True
Let s(m) = -9*m + 107. Let j be s(0). Let o = -41 + j. Does 2 divide o?
True
Let u(h) = 3*h - 3. Let k be u(3). Let o(c) = c**3 - 24*c**2 - 86*c + 77. Let b be o(27). Let j = k - b. Does 16 divide j?
True
Let x = -397 + 397. Suppose x = 3*s + b - 472, -4*s - 9*b + 14*b = -623. Is s a multiple of 22?
False
Let l(g) = 6*g**2 - 124*g + 188. Does 9 divide l(38)?
True
Let b be 3/(-3)*((-26 - -17) + 8). Suppose 4*x + 67 = 5*f, -4*f + x + 28 = -2*f. Does 15 divide (f/20)/b*(87 - -1)?
False
Let b = 57138 + -32080. Does 34 divide b?
True
Suppose -5*i = 10*i - 23955. Suppose 3*u + i = 4*p, 3*p - 17*u + 14*u = 1197. Does 50 divide p?
True
Let c be 0 + -2 - -10*(-4)/(-8). Suppose -c*v = -3*t - 141, 2*v + 1 = 5. Is 10 a factor of 1*(1 + (1 - t))?
False
Suppose 5*d + 16 = -a, -3*d - 10 = 3*a - 7*d. Is 25 a factor of 69589/130 - a/(-20)?
False
Suppose 18*i = 11*i + 3024. Suppose i = 22*b - 19*b. Is 10 a factor of b?
False
Let z be 8/6*1*3. Suppose 14*w - 10*w - 18 = -3*k, 2*k = 12. Suppose -2*b + w*x - x + 314 = 0, -z*b - x = -630. Is 30 a factor of b?
False
Let y(n) = -3*n - 43. Let d be y(-9). Is 21 a factor of (84/d)/(15/(-980))?
False
Suppose -5*f + 0*u = 4*u - 29, 2*f + 5*u - 15 = 0. Let h(b) = b**2 - 5 + 11*b + f*b - 14*b. Does 24 divide h(-9)?
False
Does 37 divide (-3 - -4)*(15384 - -8)?
True
Let z(j) be the first derivative of 2*j**3/3 + 3*j**2/2 - 19*j + 24. Let p be z(6). Let k = p + 33. Does 13 divide k?
True
Suppose 294049 = -60*h + 634121 + 307568. Does 50 divide h?
False
Suppose -26*g = -9*g. Suppose 3*o - j - 1533 = -g*j, -o + 4*j + 500 = 0. Is o a multiple of 64?
True
Let b(r) = r**3 + 10*r**2 + 44*r + 376. Does 38 divide b(-8)?
True
Let s(h) = h**3 - 27*h**2 + 20*h - 15. Let f be s(26). Let l = f - -621. Does 45 divide l?
True
Let s(i) = -i. Let m be s(-3). Let k(j) = 1 - 2*j**m + j**3 - 9*j**2 + 3*j**3 + 5*j**2 + j. Is 17 a factor of k(4)?
False
Is -1598*(8/(-4) + 21/42) a multiple of 3?
True
Does 101 divide 1630719/207 + (-117)/(-897)?
True
Let q(d) = -2*d**3 + 30*d**2 + 11*d - 12. Let u be ((-2)/(-3))/((-13)/39). Let f be u/4*150/(-5). Does 12 divide q(f)?
False
Let x(v) = 13736*v - 80. Is 98 a factor of x(2)?
False
Let a(b) = 2*b**3 + 2*b**2 + 25*b + 140. Is 8 a factor of a(12)?
True
Suppose -f + 49 + 258 = 0. Let m = f - 132. Does 25 divide m?
True
Let a be 16/(-168) - (-25135)/(-21). Let y = 2623 + a. Is y a multiple of 37?
False
Let l be (1 + (4 - 2))/((-36)/(-60)). Does 56 divide l/10 + 28210/28?
True
Suppose -14 = -6*n + 4. Suppose 19 + 14 = n*o - 4*q, -23 = -2*o + 3*q. Let j(v) = 5*v - 4. Is 16 a factor of j(o)?
False
Let w = 10342 - 2347. Is 15 a factor of w?
True
Let y(w) = 2*w**3 + 34*w**2 - 6*w - 3. Let p(r) = -r**2 - 23*r - 129. Let x be p(-16). Does 5 divide y(x)?
False
Suppose -72 = -5*x + 28. Suppose -15*o + x*o = 30. Suppose -o*t = -t - 100. Is t a multiple of 3?
False
Let j(c) = -2*c + 11. Let w be j(5). Is 7 a factor of ((-3)/(-5))/(w/35)?
True
Let g = 629 + -274. Is 71 a factor of g?
True
Let l(n) = -n**2 - 2*n + 55. Let t be l(6). Let z(d) = d**2 + 40*d - 9. Is 8 a factor of z(t)?
True
Let t(y) = -36*y + 5 + y**2 + 22*y + 18*y. Let u be t(-3). Suppose u*n = 5*n + 3*s - 234, -3*n = -s - 242. Is 12 a factor of n?
False
Let h(n) = 41*n - 51. Suppose -102 = -7*t + 45. Is 15 a factor of h(t)?
True
Suppose 7*o = 6*o + 2. Let k be 0 + o/(6/9). Suppose 36 = k*x + 2*j, 3*x - 14 = x + 2*j. Is 7 a factor of x?
False
Let j(n) = -28*n**3 - 9*n**2 + 17*n + 100. Let v(p) = 42*p**3 + 12*p**2 - 26*p - 150. Let c(g) = -7*j(g) - 5*v(g). Is c(-4) a multiple of 25?
True
Let s be (-2)/4 + 2/4. Let f = 2370 + -2175. Suppose s*v + f = 3*v. Is v a multiple of 14?
False
Suppose y + 332 = 380. Suppose 12*c - y = 8*c. Is c a multiple of 6?
True
Let b(t) be the first derivative of -t**4/4 - 14*t**3/3 + 6*t**2 + 16*t + 3. Let m be b(-15). Suppose 4*a = 5*l - m, 2*a = -5*l + 21 + 46. Does 13 divide l?
True
Suppose 12*n + 7344 = -4*n. Let x = n - -744. Does 57 divide x?
True
Let b(u) = -29 + 18 + 43*u - 35. Let x be b(7). Suppose 2*f - 9 = -y + 42, 4*f = -5*y + x. Does 6 divide y?
False
Suppose -5*m = -2*s - 2*s - 5, 2*m - 4*s - 14 = 0. Suppose 39*w + 261 = -48*w. Is 5 a factor of m/9*7*w?
False
Suppose -100017 = -86*c + 84195. Is 119 a factor of c?
True
Let k(a) = 7*a - 37. Let q be k(6). Let v = 62 - q. Let j = v - -45. Is j a multiple of 17?
True
Suppose 0 = 4*k - 4, 0 = z - 10*k + 7*k - 2. Suppose -z = -11*y + 6*y, 4*u = -4*y + 388. Is u a multiple of 24?
True
Let i(v) = 132*v + 37. Let u(r) = 18*r + 97. Let q be u(-5). Does 31 divide i(q)?
True
Let h(q) = 2*q**2 + 18*q + 2525. Is h(-106) a multiple of 19?
False
Is 1/(22/1086782) + ((-2247)/77 - -29) a multiple of 36?
False
Let i be 15/210 - (-9395)/(-14). Let o = i - -1222. Does 5 divide o?
False
Suppose -q + 3*c = 6*c + 748, 3*c + 1502 = -2*q. Let k = q + 409. Let i = -141 - k. Is i a multiple of 12?
True
Suppose -80*j + 35*j + 19845 = 0. Let l(q) = q**3 + 6*q**2 + 4*q + 2. Let b be l(-5). Suppose -j = 4*k - b*k. Is k a multiple of 25?
False
Let v = -82 + 180. Suppose 2*b + 4*t - v = 0, 0 = 2*b + 6*t - 8*t - 122. Does 13 divide b?
False
Suppose n = 4*h - 3115, -32*n + 35*n = 5*h - 3885. Is 90 a factor of h?
False
Let g = 99 + 1318. Does 107 divide g?
False
Suppose 0*h + 3*h - 6 = 0. Let v = 4 -