 = -4*f + z + 176. Does 25 divide f/18*51 - x/24?
True
Let q = 271 - 266. Is 36/(-180) - (-1556)/q a multiple of 14?
False
Suppose -3*n = -3*c + 2895, -3*c = 3*n - 190 - 2663. Is 3 a factor of c?
False
Let b(f) be the first derivative of f**2/2 + 2*f + 11. Let r be b(4). Is r/((-2)/7 + (-88)/(-259)) a multiple of 10?
False
Let j(s) = -s**3 + 5*s**2 + 8*s + 1. Suppose 10*u - 6 = 9*u. Let m be j(u). Let y = m + 37. Is y a multiple of 10?
True
Let j(t) = 11*t**2 + 45*t - 963. Is 93 a factor of j(-37)?
False
Suppose 13*r + 14*r + 38372 = 575753. Is 13 a factor of r?
True
Suppose 901*q = 905*q - 1420. Is 2 a factor of q?
False
Suppose -2*f - 969 = -5*f. Suppose 0 = 4*z - 929 - f. Does 9 divide z?
False
Suppose 94651 = 80*r - 1248 - 104741. Is r a multiple of 38?
True
Let v = -834 + 837. Let f(p) = -p**3 - p**2 + 2*p - 2. Let j be f(-3). Suppose -251 = -v*m + j. Is 24 a factor of m?
False
Let c(u) = -u**3 + 4*u**2 + 13*u - 34. Let p be c(5). Does 23 divide (355 - 13) + p*(-1)/(-2)?
True
Let z be 5/(-5) - (-4 + -1). Let j be (26/z)/(3/6). Suppose -16*c = -j*c - 342. Is c a multiple of 19?
True
Suppose -641*u + 640*u - 4572 = -3*c, u + 3047 = 2*c. Is c a multiple of 25?
True
Suppose 2*s = -7*m + 5*m, 5*s = -3*m. Suppose -2*b + s*b - 28 = 0. Does 33 divide -1 - 886/b - 6/21?
False
Let j(o) = -2*o - 9 - 5*o - 6*o - 6*o. Let u be j(4). Is 27 a factor of (-6)/(-10) + (-6)/10 - u?
False
Let u be -327*(-6 - 42/(-9)). Suppose -439*t + 810 = -u*t. Is t a multiple of 27?
True
Let c(d) = d**3 - 7*d**2 - 3*d - 7. Let t be c(6). Let o = -20 - t. Let h = 151 - o. Is 10 a factor of h?
True
Let h = -66 + 63. Does 4 divide h/21 + 16659/189?
True
Suppose 54*z + 371 = -5677. Is 6*z/120*(-15)/6 a multiple of 10?
False
Suppose v + 94 = 130. Suppose 6*q + 13770 = v*q. Is q a multiple of 9?
True
Is ((-8)/(-6))/(4/8415) a multiple of 37?
False
Let i(d) = d**2 - 22*d + 80. Let j(v) = v**3 + v**2 - 15*v + 5. Let s be j(-5). Does 20 divide i(s)?
True
Suppose 2*a - 3*a + 5 = 0. Let w(b) = b**3 - 5*b**2 + 2*b - 8. Let h be w(a). Suppose -59 + 153 = d - 5*x, -5*d = h*x - 416. Is d a multiple of 21?
True
Suppose -5*w - 3*d = -2877 - 6613, 0 = -3*d. Is 23 a factor of w?
False
Suppose -19 - 16 = -7*p. Suppose 447 = p*x + 97. Does 10 divide x?
True
Let k = 3175 + 13209. Is 4 a factor of k?
True
Let k(r) = r**2 - 58*r + 853. Is k(47) a multiple of 4?
True
Let v(j) = 1. Let w(h) = 24*h + 31. Let u(q) = -2*v(q) + w(q). Is 2 a factor of u(3)?
False
Let x be 5/(-2)*(2 + -54 + 2). Let v = -290 + x. Let o = v - -346. Does 19 divide o?
False
Is 600389/85 + (-8)/(-5) + (-4)/2 a multiple of 5?
False
Let a = -203 + 221. Is 73 a factor of 45/a*584/10?
True
Let q(p) = -p**2 - 2*p + 2. Let r be q(-1). Suppose -r*h + 344 = -475. Is h a multiple of 21?
True
Let k(u) = 1880*u - 403. Does 50 divide k(2)?
False
Let q(v) = v. Let u(n) = 14*n + 21. Let p(o) = -5*q(o) + u(o). Let l be (-16)/(-120) + 163/15. Is p(l) a multiple of 20?
True
Let s(k) = -k**2 - 9*k - 6. Let u be s(-4). Suppose -u*t = 69 - 545. Does 12 divide t?
False
Suppose 3*t + 3 = -0. Suppose 14*q - 738 - 928 = 0. Let j = q - t. Is 10 a factor of j?
True
Suppose 5*x + 2*k = 141, -4*k = -4*x + 59 + 37. Let o = x + -29. Does 13 divide o/(3 - 1) + 67?
False
Suppose 8*k - 6*k - 43575 = -3*o, -87130 = -4*k - 2*o. Does 194 divide k?
False
Suppose 0 = 4*s - 17 - 3. Suppose -s*h = -4*w - 9 + 3, h = -5*w + 7. Suppose 0 = h*t + 2*t, -4*t = -n + 136. Does 34 divide n?
True
Suppose -6*a = 9*a - 2085. Let f = a - 105. Does 34 divide f?
True
Let w be (1/6)/(-1) - (-3952)/96. Suppose 3402 = w*h - 23*h. Is h a multiple of 21?
True
Suppose 0*z - 5*z - 290 = 0. Let c(k) = 2*k**2 + 57*k - 189. Let r be c(-30). Let v = z - r. Does 11 divide v?
False
Suppose 899384 = 227*c - 709964 - 1515761. Is 33 a factor of c?
False
Let l = 566 - 571. Does 57 divide -12*l/(120/(-57))*-10?
True
Suppose -i - 4*h + 22449 = -0*i, 0 = -5*i - 2*h + 112137. Does 195 divide i?
True
Let q(b) = -24*b**3 - 265*b**2 + 37*b + 32. Is q(-16) a multiple of 12?
True
Let g(o) = -176*o - 1536. Is g(-21) a multiple of 8?
True
Let u be (7 - 33 - -7) + -2 + -1. Let n = u + 47. Does 5 divide n?
True
Suppose 5*h = 45 - 40. Does 5 divide (432/(-90))/((-1)/35) + h?
False
Let n be (53865/6)/(-9)*-2. Is n/27 + 15/135 + 1 a multiple of 9?
False
Suppose 4*x = s - 9 - 57, -5*s - 3*x + 261 = 0. Let v(u) = -u**3 + 3*u**2 + u - 2. Let c be v(2). Does 17 divide -1*(-1 - (s + c))?
False
Let m(f) = f**3 + 12*f**2 + 11*f + 4. Let d be m(-11). Let l be d/10 - 1060/(-100). Let a(n) = n**3 - 9*n**2 - 8*n - 18. Is a(l) a multiple of 9?
False
Let n = -144 + 146. Let k be 6 - 283 - 7 - n/1. Let r = k - -416. Is r a multiple of 30?
False
Suppose 14*y - 13*y + 5*v + 5 = 0, 0 = 3*v + 3. Let k = 73 + y. Does 29 divide k?
False
Is 61 a factor of ((-9)/6)/(-4*(-9)/(-12))*8174?
True
Suppose 429*i + 423445 = 4293454. Is i a multiple of 93?
True
Let q = 107 - 99. Suppose y - n = 3*y - 4, -4*y + 4*n + q = 0. Let v(h) = 12*h**2 + 2*h + 2. Does 18 divide v(y)?
True
Suppose -5*c + 105*w = 109*w - 4848, -3*c + 3*w + 2898 = 0. Does 42 divide c?
False
Let c(g) = -g**2 - 49*g - 5. Let h = 15 + -42. Let p be c(h). Suppose p + 968 = 9*q. Does 15 divide q?
False
Let r = 23198 + -20448. Is 14 a factor of r?
False
Let g be 16 + -16 - (-1 - 1). Suppose -g*a + 12 = -0*a. Suppose -5*h - 15 = -a*h. Does 3 divide h?
True
Let w(f) = 14*f**2 - 13*f - 11. Suppose -15*l = -15 + 60. Is 16 a factor of w(l)?
False
Suppose -2*o + 5940 = 7*o. Suppose -6*b - 5*b + o = 0. Let d = 99 - b. Is 13 a factor of d?
True
Let q = 1422 - 2017. Is 37 a factor of q/(-4) + 45/(-60)?
True
Let d = 316 + -314. Suppose -1010 = -d*n + q, q = n + 6*q - 494. Is n a multiple of 11?
False
Is (-2 + 1 + 5007/(-12))/((-159)/1908) a multiple of 3?
True
Suppose 4*h + 0*h = 0. Let j be ((-30)/25)/(10661/(-2660) + 4). Suppose -4*i + 2*p + 206 = 0, 3*i - 5*p + p - j = h. Is i a multiple of 27?
False
Let o(r) = 4*r**2 - 22*r - 28. Let w be o(18). Let z = -136 + w. Suppose -2*d + 745 = 3*d + 5*f, -5*d = -4*f - z. Is d a multiple of 17?
False
Let o(f) = f**2 - 22*f. Let l be o(22). Suppose l = 2*q + 24 + 54. Let s = q + 83. Is 11 a factor of s?
True
Does 76 divide (-52)/((-11)/((-60192)/7287) - 28/21)?
True
Let d(f) = -15*f + 21. Let b be d(5). Let r = b - -50. Does 17 divide 57 - (-6 - r - 2)?
False
Let c be 6/4*(2050/(-15))/5. Is 4 a factor of 4 + c/(-1) - 4?
False
Let y(u) = 3*u**2 + 15*u + 1161. Does 13 divide y(-42)?
False
Let x = 1209 - 1019. Is 10 a factor of x?
True
Suppose 49*r - 827147 = 1143895 - 467036. Is r a multiple of 103?
True
Suppose 5*g + 15404 = 3*w, -3*w + 100*g - 99*g = -15424. Is w a multiple of 139?
True
Suppose -87*p + 158854 + 22106 = 0. Does 5 divide p?
True
Let s(g) = -6*g + 12. Let m be s(-5). Suppose -4*k + m = 10*k. Does 12 divide k - ((-10)/4*34 - 0)?
False
Let h be (-1)/((-2)/(54*2)). Let y = 53 - h. Let s = y + 49. Does 28 divide s?
False
Suppose -7*m + 4026 - 3466 = 0. Let n(b) = b + 2. Let w be n(6). Suppose 3*p = w*p - m. Does 8 divide p?
True
Let l = -459 - -12459. Is 25 a factor of l?
True
Let w(m) = 101*m**2 + 9*m - 102. Is 77 a factor of w(-10)?
False
Is 16 a factor of 396/((-3666)/216 + 17)?
True
Let h(u) = 8*u**2 - 2*u + 8. Let s be h(6). Suppose -468 = 5*y - 3*i + 331, 5*y + 802 = 4*i. Let d = y + s. Is 21 a factor of d?
True
Suppose -7*m + 132 = -15. Suppose -m*v + 1575 = 4*j - 20*v, -3*j - 2*v = -1185. Is 8 a factor of j?
False
Let s(c) = c**3 + 13*c**2 + 19*c - 21. Suppose -2*r = 3*h - 10, -2*r + 8 = -r + 3*h. Suppose -4*p - r = j, j - 30 = 5*j + 5*p. Is 21 a factor of s(j)?
False
Suppose 0 = -2*t + 10, -238 - 203 = -4*l + 3*t. Let h = l - -190. Is 19 a factor of h?
True
Suppose 4*k = -4*w + 185244, 0 = 20*k - 26*k + 4*w + 277836. Is 31 a factor of k?
False
Let l(c) = -5*c**3 - 7*c**2 - 9*c - 45. Let b be l(-5). Suppose -10*j = 5*j - b. Is 10 a factor of j?
True
Suppose 2283*m = 2301*m - 536220. Is 9 a factor of m?
True
Suppose 5*u - 14 - 21 = 0. Suppose u*a = a + 18. Suppose 2*b = 3*j - 94, 0 = 2*j + a*j - 2*b - 150. Is 14 a factor of j?
True
Suppose 0 = -2*c - 2*q, 2*c = -0*c + 2*q. Suppose 2436 = -4*y + 8*y + 4*g, c = 3*y - 4*g - 1806. Is 23 a factor of y?
False
Suppose 2*i + 5*o = 61915, 9*i + 2*o = 5*i + 123854. Does 35 divide i?
