 (63 - 11)/(4/10). Let f = -125 + k. Suppose f*p - 121 = 179. Is 10 a factor of p?
True
Suppose 5*g = 5*a + 6*g - 97, -4*a + 5*g = -95. Does 37 divide (4 + 105/a)/(2/64)?
True
Let k be -2 + (-19)/(95/270). Let l = k + 456. Does 23 divide l?
False
Does 2 divide (6 - 36)/((-3 + -3)/222)?
True
Let h = -34518 + 67484. Does 9 divide h?
False
Let u(h) = 61*h**3 + 5*h + 1. Let m(f) = -f**3 + f. Let w(z) = 5*m(z) - u(z). Suppose -10 + 5 = 5*t. Is w(t) a multiple of 22?
False
Is 48 a factor of (-40)/(-320) - 47063/(-8)?
False
Suppose -7*n - 288 = n. Does 35 divide (8/6)/(n/(-18900))?
True
Let s be (-7 - -14 - 8)*13. Is 15 a factor of 4/(s/((-94614)/24))?
False
Suppose -5*j + 2 = -3*j. Let f be ((-34)/51)/(-1 + 3/9). Does 44 divide f + 1475/5 + j?
False
Suppose -5*v + 49 = 3*l, 4*v + 3*l - 41 = -0. Let k be (v/12)/(-1 - 340/(-342)). Let c = -79 - k. Is c a multiple of 11?
False
Let w = 1840 - -749. Is w a multiple of 24?
False
Let o = -10892 + 21112. Is o a multiple of 112?
False
Let b(a) = 49*a + 35. Let i = 34 - 13. Let o(t) = -12*t - 9. Let j(m) = i*o(m) + 5*b(m). Does 6 divide j(-10)?
False
Suppose -v - 2*z + 6532 = 0, -6*v - 2*z + 52298 = 2*v. Does 5 divide v?
False
Let k(o) = -1496*o**2 + 2*o + 2. Let w be k(-1). Let f = -1032 - w. Does 58 divide f?
True
Suppose 4*f - 2*u - 202 - 318 = 0, -4*f = -u - 516. Let m be f/(-1 - (4 - 6)). Suppose 2*w = -5*h + 885, 3*h - 3*w - 382 = m. Does 39 divide h?
False
Suppose d = -82 + 98. Is d/(((-7)/(-448))/1) a multiple of 21?
False
Let r be (-4)/10*(-37 + 32). Suppose 5*u - 12 = -r. Is 2 a factor of 6*(4 - u - 0)?
True
Suppose 7*w - 541743 + 148025 = -31*w. Does 13 divide w?
True
Let l(v) = 4*v**2 + 28*v + 647. Does 9 divide l(-21)?
False
Let h be (-2)/(-7) + 5 + 248/14. Let f = h + 78. Does 13 divide f?
False
Suppose 0 = 2*h + 3*t - 2, -3*h + 2 + 4 = 3*t. Let w be ((-6)/h)/((-7)/14). Suppose w*o = 5*o - 196. Does 17 divide o?
False
Suppose 22*p + 5*p - 11961 = 0. Let l = p + -439. Is l a multiple of 3?
False
Let f(p) = 24*p**2 + 104*p - 313. Is 3 a factor of f(-23)?
False
Let l = 9502 - 3992. Is l a multiple of 95?
True
Let x(l) = l - 1. Let q be x(-5). Let g(f) = 3*f**2 - 14*f - 11. Let o be g(q). Let k = o + -31. Does 43 divide k?
False
Suppose -4*y + 19234 = -s, -19252 = -4*y - 6*s + 4*s. Is y a multiple of 16?
False
Is 46 a factor of (-1)/(-16) + 582429/48?
False
Let y(q) = q**3 - 6*q**2 + 3*q + 12. Let z be y(5). Suppose -n = 0, -z*r = -4*n + 13 - 117. Let k = 87 - r. Does 15 divide k?
False
Let r be 2/((-1)/(0 - (2 + 357))). Suppose 98 = 16*q - r. Does 20 divide q?
False
Let w(u) = -u**2 + 18*u - 9. Let h be w(17). Suppose 5*c = h*c - 27. Suppose c*v - 4 = 221. Does 25 divide v?
True
Suppose 0 = 23*x + 44*x - 389538. Is x a multiple of 9?
True
Let n = 14 - 10. Suppose -32 = n*j - 4*k, 2*k + 14 + 6 = -4*j. Is 11 a factor of j/8 - 7830/(-72)?
False
Let v(x) = 106*x + 104. Let k(m) = -2*m + 1. Let s(b) = k(b) - v(b). Does 12 divide s(-6)?
False
Let u be (3*-6)/(6 - 7). Let l = 22 - u. Is (-3 - -3) + 1 - (-68)/l a multiple of 2?
True
Let i = -125 + 149. Suppose 912 = -5*s + i*s. Is 2 a factor of s?
True
Suppose -f - 4*r + 6120 = 0, -4*f - 118*r + 122*r + 24420 = 0. Is 12 a factor of f?
True
Suppose -8*w = w + 2979. Let i = w + 475. Does 12 divide i?
True
Let o = 33107 + -27208. Is 2 a factor of o?
False
Let y(v) be the first derivative of 4*v**3/3 - v**2 - 20*v + 9. Let i be y(5). Suppose 2*a - 5*c - 52 + 10 = 0, i = 5*a + 5*c. Does 16 divide a?
True
Let k = -216 - -376. Let x = 292 - k. Does 6 divide x?
True
Suppose -2*o - 2*d + 8 = 0, 2 = -d - 0*d. Suppose 0 = -o*j - 2*j. Suppose -y + 2 = -j, 5*n - 606 = -3*y. Is 12 a factor of n?
True
Suppose 2*t = 5*t - 2*m + 6, -4*m + 12 = 0. Let o be (-66482)/(-208) + 1*12/32. Suppose 0 = -t*s + 5*s - o. Is s a multiple of 32?
True
Let s(h) = 4*h + 24. Let m(w) = -2*w + 18. Let p be m(9). Suppose -o + 7*z - 2*z = 0, p = -4*o + 5*z. Is s(o) a multiple of 4?
True
Let x be (-20 - -19)/(2/10). Does 48 divide 120*(-6 - 36/x)?
True
Let u(g) = -2*g - 31. Let f be u(-14). Let t be 2/f - (-2)/15*5. Suppose -6*q + 12*q - 120 = t. Does 10 divide q?
True
Suppose 5*q + 2*r = 296, 4*q - 94 = 4*r + 154. Suppose -203 = -l + q. Is 26 a factor of l?
False
Let c(k) = 33*k + 101. Let h be c(9). Suppose 7*j - 4*v = 2*j + 995, -2*j + h = -4*v. Does 6 divide j?
False
Let c = -8058 + 13308. Is 70 a factor of c?
True
Suppose r - 5828 = -z, -2*r + 16671 + 12469 = 5*z. Is z a multiple of 56?
False
Let j be 2 + (1 - 5/(-5) - 4). Suppose 4*r - 1029 = -c, -3*c + 15 = -j. Is r a multiple of 16?
True
Suppose 2*c + 14 = 0, c = -2*a - 72 + 4005. Is a a multiple of 13?
False
Let n(m) = -4*m**3 - 8*m**2 - 115*m - 2680. Does 107 divide n(-19)?
False
Let m(k) = -2*k**2 - 19*k - 46. Let t be m(-3). Is (-4454)/t + -2 + (-24)/(-14) a multiple of 23?
False
Suppose -5*v + 612 = -11*v. Is (-5491)/v - (-2)/12 a multiple of 27?
True
Let c = -1392 + 3003. Suppose -o = -3*z + 924 + c, 0 = 4*z - 4*o - 3372. Is z a multiple of 94?
True
Let j(b) = -b**3 + 7*b**2 + 19*b + 6. Let n be j(9). Suppose -4*s - 4*v = -860, -n = 3*v - 0*v. Is 55 a factor of s?
True
Let q(n) = -23*n**2 - 20*n + 36. Let x be q(2). Let l = 9 - x. Is l a multiple of 15?
True
Let r = 1018 + -685. Let t = 473 - r. Does 28 divide t?
True
Let f be -32 + 28 + 2*1. Is 11 a factor of 2*2/(-4) + f + 25?
True
Is 39 a factor of (34/(-153))/((-2)/912)*2445/20?
False
Suppose -6*a + 40 = 4*a. Suppose z + 1 = 0, a*g - g + 2*z - 3178 = 0. Is 52 a factor of g?
False
Let n(d) = 3*d**2 + 7*d + 103. Let m be n(-8). Suppose -b = q - m, -4*b + 201 = 2*q - 753. Is 16 a factor of b?
False
Let p(b) = -15*b + 193. Let w be p(-37). Suppose r - 366 = 3*x, 0 = 3*r - 5*r + 2*x + w. Does 14 divide r?
True
Suppose 2*a + 16 = 4*w, 4*a + w = 3*a + 4. Suppose a*i = -2*i. Is i - (-204 + -3 + 2) a multiple of 41?
True
Let u be (1044/(-15))/4*(3 - -2). Suppose -9*k - 400 = 545. Let z = u - k. Does 9 divide z?
True
Let f = -475 + 478. Suppose -f*t + 20*p - 16*p = -1557, t - 500 = -5*p. Is 9 a factor of t?
False
Suppose 20342 = -28*x - 10514. Let k = 2693 + x. Is 37 a factor of k?
True
Suppose -14*j = -3*b - 10*j + 21, 2*b - 9 = j. Suppose 5*h = -5*y + 2715, b*h - 2*y = 2*h + 543. Is h a multiple of 16?
False
Let r = 155 + -150. Let c(d) = -d**3 + 10*d**2 - 7*d + 6. Does 12 divide c(r)?
True
Let f be 0 - 4 - (-13)/13. Let p be f - (-12)/(-2)*-3. Let h = p + -2. Does 13 divide h?
True
Let o(y) = -1190*y**3 + 6*y**2 + 2394*y**3 - 20*y + 8 - 1203*y**3. Let t(u) = -2*u. Let p be t(4). Is 10 a factor of o(p)?
True
Let m be (-50)/(-475) + (-4)/38. Suppose m = -25*f - 1186 + 8936. Is f a multiple of 12?
False
Does 18 divide -11 + (-191898)/(-18) - -8?
False
Let x(z) = -7*z + 6. Let y(u) = -u. Let p(k) = -x(k) + 6*y(k). Let t be p(10). Suppose 23 = -t*h + 103. Does 4 divide h?
True
Suppose -d - 3*t - 6 = -3*d, 2*t = 2*d - 6. Suppose 0 = d*i - 331 - 215. Suppose -3*u = -w + 5*w - 149, 0 = -4*u - 2*w + i. Is u a multiple of 12?
False
Suppose 3816 = h - 3*c, -127*c + 3 = -128*c. Is 88 a factor of h?
False
Let r(x) = x**3 - 14*x**2 - 9*x - 18. Let v be (-3 + 33/(-6))/((-9)/18). Is 12 a factor of r(v)?
True
Suppose q - m = 2*m + 21, 8 = -4*m. Suppose -6*w - q = -9*w. Suppose -5*i + 2 = -7*i, w*i + 197 = 4*b. Does 24 divide b?
True
Let f = -94 - -102. Let y(n) = -13*n + 27*n + 23 - f*n - 5*n. Is 17 a factor of y(-6)?
True
Let h = 44 - 29. Suppose 0 = -h*l + 10*l - 65. Does 7 divide 1*53 - (-15 - l)?
False
Does 9 divide ((-36875)/(-10) - -12)*(9/3 - 1)?
False
Let r be -1 + 4 - 77/11. Let y be 74 + r/1 + 0. Suppose -2*b - 5*p + y = 0, 4*p + 38 + 32 = 2*b. Is 7 a factor of b?
True
Let o(d) = -59*d - 24. Let b be o(2). Let t = b - -196. Is 9 a factor of t?
True
Let m(d) = 57*d**2 - d + 6. Let h be m(3). Let x = -53 + h. Is 7 a factor of x?
False
Suppose 6*w = -w + 49. Suppose -3*n + 209 = -4*g, w*n - 237 = 3*n - 3*g. Is n a multiple of 3?
True
Let b be 22/(-121) - (-592)/(-11). Let s be 12/b - (-152)/36. Does 7 divide (s/2)/((-6)/(-27))?
False
Suppose -24*s + 17*s - 42 = 0. Is 41 a factor of ((-21760)/(-60))/(0 + (-2)/s)?
False
Let b be (-2)/(-2)*152 + -2. Suppose -2*n + 480 = b. Suppose -z = -0*z + 5*w - n, 552 = 3*z - 4*w. Is 41 a factor of z?
False
Suppose 842 = 3*w - 529. Let i = 727 - w. Suppo