 y + 620, -r*k + 5*y + 442 = 0. Does 14 divide k?
True
Let j = -4 + 7. Suppose 8*n - 7 = 25. Suppose -357 = -j*h - n*p, -h + 3*h = -4*p + 242. Does 23 divide h?
True
Suppose -2*q = -2*g + 12, -7 - 11 = -3*g - 4*q. Is 250 + (-49)/7 + g a multiple of 13?
False
Is 291*(-35)/(-4)*4 a multiple of 15?
True
Suppose 0 = -3*d + 4*s + 33, 0 = 5*d + 5*s - 0 - 20. Let p be (-1)/((-5)/20) - 12. Is (-112)/(-6)*((-68)/p - d) a multiple of 7?
True
Let l(r) = 174*r**2 - r - 2. Let c be l(-2). Suppose c + 221 = -7*q. Let m = -93 - q. Is 10 a factor of m?
False
Suppose -j - 2 = 3*o - 4, -2*j = -2*o + 12. Suppose 2430 = -o*v + 17*v. Is v a multiple of 14?
False
Let i(l) = -l**3 - 7*l**2 + 118*l - 27. Let x be i(-15). Suppose -3*n - 738 = -4*c, -4*c + 3*c = -5*n - 176. Suppose -c = -x*f + 117. Is 18 a factor of f?
False
Suppose -10*b = -6*b + 272. Let w = b + 88. Is w a multiple of 2?
True
Let c = -1887 - -3640. Suppose c + 2370 = 19*b. Does 15 divide b?
False
Let k(a) = -7565*a**3 + 9*a**2 + 8*a + 1. Does 47 divide k(-1)?
True
Suppose 171814 - 2774518 = -52*r. Does 13 divide r?
False
Suppose 386*x = 12471668 + 29263038. Is 13 a factor of x?
True
Suppose 936 = -3*r + 3297. Let x = r - 423. Is 26 a factor of x?
True
Let k = -776 + 1513. Let h = k + -323. Is 23 a factor of h?
True
Suppose -4*u - 6 + 18 = 0. Suppose 36 = u*c - 7*c. Let d = 20 + c. Is d a multiple of 3?
False
Is 21 a factor of (-544)/14*((-810)/36 + 19)?
False
Let v be 36/12 + 3*959. Let q be ((-10)/8)/(-2*5/v). Suppose x - q = -4*x. Is 36 a factor of x?
True
Let c = 18 - 16. Let z be ((-2)/(-4) + c)*8/4. Suppose -f = -z*f + 796. Is 20 a factor of f?
False
Let h be -3 + 0 - (1 - 7). Suppose 45 = -h*o + 8*o. Suppose t + 2*u - o = 3*u, -4*u = 4*t - 12. Is t a multiple of 6?
True
Let f(l) = -4*l**2 - 2*l + 4. Let m be f(2). Let u be (-18)/2*1*m. Does 38 divide 0 + u - (-16 + 15)?
False
Let j = -6453 - -9333. Is j a multiple of 40?
True
Suppose -i = -3*x - 18807, -37*i + 18847 = -36*i + 5*x. Is 17 a factor of i/27 - 6/54?
True
Let i(y) = 26*y + 28*y + 3 - 52*y - 4 + 123*y**2. Let h be i(2). Suppose 5*q - 2*q - h = 0. Does 33 divide q?
True
Let m be (-10)/3*3384/(-60)*-11. Let o = -1209 - m. Is 44 a factor of o?
False
Suppose 5*m + 8835 = 5*d, d + d - 4*m = 3534. Is 25 a factor of d?
False
Let p = 1764 - 1671. Suppose 20 = 2*t + 2*t. Suppose -p = -t*z + 267. Is z a multiple of 8?
True
Let j = 942 - 1624. Is (11/66)/((-1)/3)*j a multiple of 6?
False
Suppose -5*v + 35 = -8*w + 3*w, -5*v = -20. Is 3*3/w - -117 a multiple of 2?
True
Suppose 7*c - 3*c - 4 = 0, n + 3*c = 68. Let m(p) = 2*p + 2. Let q be m(-3). Let d = n + q. Is d a multiple of 8?
False
Let r(g) = 4*g - 29. Let b be r(8). Suppose 2*c = -4*k + 2448, -b = -c - 7. Does 80 divide k?
False
Suppose 2*r = 4*r - 4*k - 2288, 3*r = -4*k + 3412. Is 15 a factor of r?
True
Does 8 divide (-12111)/(-15) + 1 - (-32)/(-80)?
True
Is 97 a factor of (-5)/(-20)*(-358520)/(-12) + 35/(-210)?
True
Let f be (-2)/(-7) + (-9034)/14 + -2. Let p = 956 + f. Is 26 a factor of p?
False
Suppose -22418 = -b + h + 11008, 2*h - 167081 = -5*b. Does 33 divide b?
False
Let b = 5288 + 14344. Does 218 divide b?
False
Let b(l) = -2*l**2 - 9*l - 2. Let j be b(-4). Let m be (-1)/(j*(-3)/108). Is 39 a factor of (1 + 12)*(-9 + m)?
True
Suppose 3*k = 2*t + 13698, 4*k - 34*t + 29*t - 18250 = 0. Does 10 divide k?
True
Suppose 55*a - 85176 = 16*a. Is 156 a factor of a?
True
Suppose 67 = 4*j + 3*b - 1, 5*j - 85 = 3*b. Suppose -6*r = -j*r + 935. Is 8 a factor of r?
False
Does 57 divide -8 + 12 + 15551 + -1 - -7?
True
Suppose 2*w - 2*j - 8 = 0, -2*j = 2*j. Suppose 5*q - 2 - 7 = 4*l, -w*q - 4*l + 36 = 0. Suppose -3*x + 4*t + 71 = -1, -q*x - 5*t = -120. Is x a multiple of 6?
True
Suppose -5*q - 10 = -4*g, g - 5*g - 2*q + 24 = 0. Suppose -5*z + 9 = 3*n, g*n + 0 = -3*z - 1. Suppose h + 3*h - 83 = -z*b, 42 = 2*h + 2*b. Does 6 divide h?
False
Let c = 37 - 38. Let s be 4 - (-212)/(-4) - (-1 - c). Let y = s + 133. Is y a multiple of 12?
True
Let r(j) = -3 - 11 - 5*j + 19. Let v(o) = -4*o + 4. Let h(g) = -6*r(g) + 7*v(g). Does 5 divide h(12)?
False
Suppose 3*o + 8*o = 17*o - 96408. Is 50 a factor of o?
False
Let x = 864 + -880. Let k(h) = 51*h - 1. Let n be k(-3). Let d = x - n. Is 46 a factor of d?
True
Let c(t) = 2*t**2 - 1 + 0*t**2 + 3*t - t**2 + 0. Let f be c(-4). Suppose -f*k - 93 = -4*b, -4*b - 2*k + 129 = 31. Does 8 divide b?
True
Let u = -51 - -56. Suppose g = -3*y + 5*y - 15, -y = 2*g + u. Suppose 5*w = -y*m + 520, -4*w + 7*w - 4*m = 277. Is 24 a factor of w?
False
Let x be 0/(6*2/(-4)). Suppose x = 42*i - 38*i - 12. Is 1364/12 + 1/i a multiple of 17?
False
Suppose -23*s = w - 26*s - 4653, 4*s = -w + 4702. Is w a multiple of 6?
True
Let i be (-302)/10 + 20/100. Let r(v) = -2*v**3 - 59*v**2 + 24*v + 56. Is 29 a factor of r(i)?
False
Let f be 22/55 + 36/10. Let r = -171 + 244. Suppose b + f*b + 191 = 2*i, i - r = -2*b. Is 33 a factor of i?
False
Let k(y) be the second derivative of y**5/20 - y**4 + 7*y**3/2 + 11*y**2 - 53*y + 3. Is 22 a factor of k(11)?
True
Does 9 divide 31306 - (-18)/(36/10) - (-8 - 1)?
True
Let v(h) be the third derivative of -7*h**5/60 - 7*h**4/4 + 2*h**3/3 + 7*h**2. Let b be v(-6). Suppose -5*g + b*l + 205 = -2*g, 4*l = 20. Is g a multiple of 18?
False
Let b = 26 - -75. Suppose s + 4*s = -m + b, -s - 375 = -5*m. Let u = m + 157. Is u a multiple of 35?
False
Suppose 2*q - 8010 = -z + 25310, 5*z = -5*q + 83300. Is q a multiple of 140?
True
Suppose -2*p = -12471 + 3891. Does 8 divide p?
False
Let b(z) = -z**2 + z - 2. Let v(s) = 23*s**3 + 3*s + 14. Let h(r) = -2*b(r) - v(r). Is 24 a factor of h(-2)?
True
Let l(n) = -400*n - 443. Is l(-2) a multiple of 2?
False
Let r = -363 + 368. Suppose 5*i + r*f = 3310, 1981 = 11*i - 8*i + 2*f. Does 73 divide i?
True
Let l = -26347 + 42967. Is l a multiple of 14?
False
Suppose 0 = -4*k + 4*b, -2*b = 8*k - 9*k - 4. Suppose -4*i - 5*d + 1056 = 0, -k*i + 3*i = -5*d - 239. Is i a multiple of 4?
False
Let t = 610 + -607. Suppose -82 = -5*w + 63. Does 16 divide w/3*t/1?
False
Let v(n) be the first derivative of -n**3/3 + n**2 + 431*n - 3. Let o be v(0). Let b = o - 307. Is 38 a factor of b?
False
Suppose -2*x + q - 351 = -7*x, -3*x + 2*q + 208 = 0. Let y = -41 + x. Let r = 53 - y. Is 6 a factor of r?
True
Suppose 0*r = -2*r + d + 155, 2*r + 5*d - 137 = 0. Suppose -r = -8*s + 4. Is 29 a factor of 15/s + 687/6?
True
Suppose 2*p - 3*j - 14 = -5*j, 19 = 2*p - 3*j. Suppose -w + 14 = p. Does 5 divide (w - 7)/((-1)/10)?
True
Let j be 10218/(0 - 3)*33/(-66). Suppose -19*q + j = -1394. Is q a multiple of 9?
False
Let d = -617 + 795. Suppose -102 = -j + 105. Suppose -5*f + j = -d. Does 16 divide f?
False
Let y be (-10)/6 - (-4)/(-12). Let s = -18 - -13. Let t = y - s. Is t a multiple of 3?
True
Suppose 2*o - 18 + 8 = -3*s, 4*o = -4*s + 12. Suppose s*g + 181 = 757. Is g a multiple of 72?
True
Let m(r) = -1235*r + 25. Let j be m(-2). Suppose 0 = 14*d - 11*d - 5*k - j, -3*d = -2*k - 2501. Does 44 divide d?
False
Suppose 4*m + 737 = s - 403, -5*s = 7*m - 5700. Is s a multiple of 60?
True
Suppose -d + 220 = -3*d. Let x be (-11)/d - 1882/20. Let j = x + 137. Does 10 divide j?
False
Let b(n) = n**2 + 28*n + 39. Let f be b(-27). Suppose 16 + f = -7*h. Let j(i) = -14*i - 19. Is 23 a factor of j(h)?
False
Suppose -4*m + 5827 = -3*b, -2031 = -2*m - b + 870. Is m a multiple of 49?
False
Let c = 7 + -11. Let p = 224 - c. Does 24 divide p?
False
Does 9 divide (-136180)/(-264) + (-1)/(-6)?
False
Let g = 466 + -388. Let x be -8 + 2 + (-6)/(-3). Is 5 a factor of 6/(-9)*g/x?
False
Let l = 1613 - -13641. Does 25 divide l?
False
Suppose -3*m - 216 = -o, 898*m - 895*m - 1080 = -5*o. Let g be ((-19)/2)/((-3)/(-36)). Let h = o + g. Does 10 divide h?
False
Let z be 1/(-32)*12 - 35/(-8). Let y(w) = -3*w - 2. Let d be y(-6). Suppose -j + n = -d, -n - 52 = -z*j - 3*n. Is 7 a factor of j?
True
Let s = 2285 - 1564. Is s a multiple of 21?
False
Does 19 divide 578/2023 - 2/(-4)*3622/7?
False
Suppose 6*k - 9 - 3 = 0. Suppose i - 3*z = 10, -3*z - 30 = -k*i - 2*z. Suppose 600 = -8*h + i*h. Is h a multiple of 15?
True
Let k(i) = i**3 - 34*i**2 - 42*i - 80. Does 196 divide k(40)?
True
Suppose t - 5*o - 19 = 0, 5*t - 29 = 3*o - 0*o. Suppose t*q = -0*q + 68. Is q a multiple of 6?
False
Suppose 