. Let o = -171 + 145. Does 17 divide o/(-1 - v/4)?
False
Suppose -30*f = 5*f - 1260. Suppose -3*c - 24123 = -f*c. Is 24 a factor of c?
False
Let s(r) = -8*r + 7. Let p be s(-6). Suppose -4*q - 17*h + 610 = -15*h, 0 = -2*q - 3*h + 303. Let g = q - p. Is g a multiple of 24?
False
Suppose -12*f + 32 = -4. Is 14 a factor of ((3675 + 6)/f)/3?
False
Suppose 3*h = 205*h + 1003927 - 4460753. Does 157 divide h?
True
Let g be (3/(-5))/(16/80). Let o be g/(233/118 + -2). Let j = o + -60. Is j a multiple of 29?
True
Let h(x) be the first derivative of -5*x**2/2 - 8*x + 4. Let f be h(-16). Let m = 104 - f. Is m a multiple of 8?
True
Let y(s) = 9*s**2 + 58*s + 37. Does 115 divide y(21)?
False
Let v(x) = 228*x**3 - 425*x**2 + 2149*x. Does 60 divide v(5)?
True
Suppose 2*f = -4*j + 24, -5*j + 3*f - 15 = -56. Let c(s) = 1. Let q(y) = y**2 - 2*y + 6. Let z(u) = -c(u) + q(u). Does 11 divide z(j)?
False
Is 22 a factor of (-6776)/2*(-114)/152?
False
Let v(b) = b**3 - 7*b**2 + 16*b + 10. Let w be v(9). Suppose -3*a + 324 = j, 0*j - 5*a = j - w. Does 48 divide j?
True
Suppose -8*j = -2*j - 636. Let r = j + -127. Let b = 61 + r. Is 40 a factor of b?
True
Let b(h) = 4*h**3 - 5*h**2 + 14*h - 40. Does 72 divide b(10)?
True
Let l be ((-71)/(-4))/((-23)/(-92)). Let c = 75 - l. Suppose -780 = -8*t + c*t. Does 18 divide t?
False
Let a be (6/(-4))/(12/24). Let c(p) = 3*p - 19. Let w be c(a). Is 8 a factor of (w + 12)/((-2)/10)?
True
Let f = -122 + 125. Is 52 a factor of (4 - 5 - -5) + f + 129?
False
Let r(a) = 319*a + 56. Let u be r(7). Does 23 divide (4/(-14))/((-3)/u)?
False
Let a(y) = 10 - 2 + 10*y - 2*y - y**2. Let f be a(9). Is 6 a factor of 12*-1*f*3?
True
Suppose -2*f - 14 = -4*i - 0*f, 2*f - 26 = -4*i. Suppose -t = 5*j - i*t - 170, -j + 55 = -5*t. Is 10 a factor of j?
True
Let k = -310 + 308. Is 19 a factor of 0 + 145/k*-4?
False
Suppose 5*s - 5*r - 3611 = 5219, 2*r - 1769 = -s. Suppose 8*i - 4417 = s. Is i a multiple of 16?
False
Let f(q) = 0 - 2*q - 3*q + 21 + 33. Is 10 a factor of f(-18)?
False
Let u = 203 - 343. Let v = u - -374. Does 39 divide v?
True
Let f = 1113 - 415. Suppose -1356 = -4*x + 4*b, -2*x + 4*b = 6*b - f. Does 7 divide x?
False
Suppose 805*b = 513*b + 2294828. Is b a multiple of 9?
False
Let q(r) = -r**2 + 8*r - 4. Let f be q(7). Suppose -i - 3*v + 0*v = 229, -4*i + f*v - 841 = 0. Let y = -137 - i. Is y a multiple of 8?
False
Let p = 14137 + -10957. Does 5 divide p?
True
Suppose 4*y = u - 6 + 20, 2*u = -4*y + 20. Suppose 3*w - 31 + 7 = -3*g, 4*w = -5*g + 36. Suppose 4*o - y*h = -6*h + 494, 4*o - 500 = g*h. Is 31 a factor of o?
True
Suppose -8*s + 242 + 558 = 0. Suppose -t + 11*t - s = 0. Does 24 divide 60/7*(t - -4)?
True
Let j(t) = t**2 - 9. Let r be j(4). Suppose r*n - n = 3366. Suppose 149 + n = 5*m. Does 9 divide m?
False
Let i be (-1 + 1)*(-21)/63. Let w be i/(-6) - (1 - 1). Suppose 3*a - 39 = 2*t + 111, w = -5*a + t + 250. Does 25 divide a?
True
Let n = 1787 - 1783. Suppose 162 = 5*q - 1063. Suppose 4*l = -5*f + 400, n*f + 2*l - 75 = q. Does 23 divide f?
False
Let r be (20/(-30))/(4/(-12)). Let u(x) = 5*x**3 - x**2 + 3*x - 3. Is u(r) a multiple of 11?
False
Suppose -855 = -39*b - 18*b. Suppose 0 = b*r + 7*r - 22550. Is 9 a factor of r?
False
Let y be 15 + 2 + 22/(-11). Let i(s) = s**2 - 14*s - 13. Let c be i(y). Suppose -5*z + 441 = v, -4*z + 5*v + 171 = -c*z. Is z a multiple of 20?
False
Suppose -161742 = -189*m + 934497 + 1391379. Is 14 a factor of m?
False
Suppose 0 = -z + 3*k + 42, -3*z = 4*k - 56 - 109. Let p = 51 - z. Suppose p = -7*c + 138 + 352. Does 35 divide c?
True
Suppose -406*r + 399*r - 7 = 0. Let c(a) = -3 - 4 - 110*a + 5. Does 22 divide c(r)?
False
Suppose 0 = 61*a - 2937 - 30186. Let u = a - -263. Is u a multiple of 62?
True
Suppose -6*f + 5*f - 8 = 0. Let i be -10*((-4)/f)/(-1). Suppose 0 = -i*y - s + 229, -6*y + y + 209 = -4*s. Is 13 a factor of y?
False
Does 9 divide 1*(42606/8 + (-2 - 18/(-8)))?
False
Suppose -2*l + 4 = 2*i, -i + l + 2 = -4. Suppose 2*o - 110 = -3*z, -o - o = 10. Suppose 5*k + i*n - 118 = 0, 4*k - n - 46 - z = 0. Is 11 a factor of k?
True
Let y(f) = -8*f + 31. Let j be y(4). Is (-2)/((-20)/1515)*(3 + j) a multiple of 18?
False
Let v(t) be the first derivative of -40*t**2 - 43*t - 99. Does 39 divide v(-2)?
True
Let f be 16*((-1 - 1) + 5). Suppose -6*y + 156 + f = 0. Is 14 a factor of (320/48)/(y/30 - 1)?
False
Let o be -1*(-15)/(-25) - (-14)/(-10). Let g(b) = 10*b**3 + 5*b**2 + 4*b - 2. Let u be g(o). Let v = u + 94. Does 6 divide v?
True
Suppose 0 = 4*g - 11 + 127. Let v be -5 + 170/35 - g/7. Suppose -4*t = 0, -v*t - 10 = -j + 3. Is 13 a factor of j?
True
Let w = 18511 - 17900. Is w a multiple of 4?
False
Let k = 455 - 191. Let t = 302 - k. Does 13 divide t?
False
Suppose -p - 106 = -274. Suppose 0 = 4*c + p + 200. Let k = -1 - c. Is 16 a factor of k?
False
Let b be 7695/12 - 5/20. Let t = b + -425. Suppose 7*h - h - t = 0. Is 6 a factor of h?
True
Suppose 99*j - 628 = 95*j. Let x = 162 - j. Is x even?
False
Let d(v) = -v**2 + 217*v + 78. Does 26 divide d(74)?
True
Let t be (-879)/(-2)*9*10/45. Suppose 8*i + 143 - t = 0. Is i a multiple of 20?
False
Let j be (1*(-20)/15)/((-4)/9). Let z be (1 - 1)/(-2 - -3). Suppose -j*b + 107 + 445 = z. Is 14 a factor of b?
False
Let u = -8 + 7. Let b be (6*u)/(-6 + (-27)/(-6)). Suppose m - 75 = -5*l, -b*m + l + 54 = -309. Is 15 a factor of m?
True
Suppose 4*m - 1421 = 5*t + 113, 922 = -3*t + 4*m. Let w = t - -446. Does 28 divide w?
True
Suppose 79*u = 84*u + 2*j - 61574, u - 4*j - 12306 = 0. Is 262 a factor of u?
True
Let k(m) = 6*m + 12. Let h be k(3). Let f = h + 280. Suppose 34*g - 29*g - f = 0. Is g a multiple of 11?
False
Suppose 14 = 5*x - 1. Suppose 4*f = x*f + 143. Suppose -5*r + f = -p, -2*p - 25 = -r - 0*p. Is 5 a factor of r?
False
Suppose 2*o - 40 = u, 6*o - 2*u - 62 = 3*o. Suppose 2*h = a - 9, a = 4*h + 5 + o. Is 18 a factor of (-474)/h - 12/(-42)?
False
Let u be (10/4)/((-1)/(-2)). Let s(j) = -j**3 + 6*j**2 - 8*j + 12. Let z be s(u). Is 10 a factor of (-5)/(20/(-712)) + (-6)/z?
True
Let m = 331 - 317. Suppose 3*u - 79 = m. Does 3 divide u?
False
Let k(s) = s**2 + 4*s + 126. Let d be k(0). Is 70 a factor of -10*(d/(-10) - -4)?
False
Suppose 4*y = 12, -y + 2*y - 7687 = -4*w. Suppose -19*q + w = -24090. Is 56 a factor of q?
False
Suppose -2*h + 5*h - 99 = 0. Let r = h - 28. Suppose 2*m + 4*t = 48, -22 = r*m - 5*t - 97. Is 6 a factor of m?
True
Let b = 17 - 17. Let l be (b/12)/(-1 + 4). Suppose 0 = t - l*t - p - 49, 0 = 2*t - 3*p - 94. Is 13 a factor of t?
False
Is ((-122508)/328)/((-2)/16) a multiple of 36?
True
Suppose -f = -5*t - 719, -2*t = -3*t + 5*f - 163. Let z = 395 + t. Is 41 a factor of z?
False
Let r(j) be the first derivative of j**4/4 + 8*j**3/3 + 3*j**2 + 6*j - 1. Suppose 5*p - 3*f = -50, -45 = -62*p + 67*p - 2*f. Is r(p) a multiple of 8?
False
Let x = -117 - -109. Does 21 divide (120/(-14))/(((-96)/(-126))/x)?
False
Let m = -1957 - -3589. Let k = -1162 + m. Does 55 divide k?
False
Suppose 21 = o - 0*o. Suppose 0 = z + o - 20. Does 17 divide (1 + 14/(-7))*z*51?
True
Suppose r + 7*c - 2*c + 15 = 0, -2*r + 26 = -4*c. Suppose 5*p = -r + 15. Suppose -3*h = -3*i - i + 389, 2*i - p*h - 192 = 0. Does 17 divide i?
False
Let b = -2164 - -6550. Is b a multiple of 86?
True
Suppose -194*c + 43*c + 2337245 = 4*c. Does 10 divide c?
False
Let z be (-1 + -1)/(2596/1299 - 2). Let a = z + -739. Is a a multiple of 6?
False
Suppose -5*k = -3*k - 30. Suppose 8*o + 12 + 44 = 0. Is 11 a factor of -1 + k/21 - 282/o?
False
Let p(n) = 53*n + 13*n + 22*n. Let c be p(3). Suppose -2*h - h + 176 = 2*m, -5*h = 3*m - c. Is m a multiple of 8?
True
Let x(p) = 9*p**2 + 38*p - 251. Is x(17) a multiple of 7?
True
Is 10/8 - (400/500 + 64131/(-20)) a multiple of 7?
False
Let t = -13657 + 29354. Is 63 a factor of t?
False
Let i be (1 + (3 + -3)/(-5))*-7. Let g(o) = -o**3 - 5*o**2 - 2*o - 2. Is g(i) a multiple of 22?
True
Is 36 a factor of (-31)/((-40580)/2705 + 15)?
False
Let n be 1306/4 + 8/(-16). Let v = -285 + 126. Let i = v + n. Does 18 divide i?
False
Let w(y) = -31*y - 2 - 12 + 16 + 35. Is 5 a factor of w(-2)?
False
Is (-2 - (-1 + 470/(-6)))/(49/6321) a multiple of 29?
True
Let z(s) = -80*s - 2198. Does 4 divide z(-51)?
False
Suppose -7*x + 18*j + 33183 = 22*j, -4*j + 24 = 0