/(-9)*(-3)/(-2). Suppose 0 = -4*f - 52 + 72. Let z = f - p. Is z a multiple of 6?
True
Suppose 0 = -109*s - 103116 + 571053. Is 5 a factor of s?
False
Suppose -3645 = 9*d - 14*d. Let t(p) = -p**3 + 3*p**2 + 2*p + 4. Let g be t(3). Suppose d = g*c + 239. Is c a multiple of 7?
True
Suppose -5*b - 1 = -4*s, -2*b + 0*s + 3*s = 6. Let k(v) = 93*v**3 + 2*v**2 + 2*v + 1. Let o be k(-1). Is 2/((-8)/o)*b a multiple of 11?
False
Suppose 3*t - 24 - 317 = u, -5*t = 2*u - 583. Suppose -5*r + 490 = t. Does 4 divide r?
False
Suppose 0 = k - 0*t - t - 6, -5*t - 20 = 0. Suppose 6*n = k*h + 3*n - 245, 5*h - n = 606. Is h a multiple of 11?
True
Let p = 98 - 88. Suppose k - p*k + 1134 = 0. Is 18 a factor of k?
True
Suppose x - 6*x + 30855 = 9*r, -5*x + 10305 = 3*r. Does 25 divide r?
True
Suppose -12*n - 5*h = -7*n - 392545, n - 78527 = 5*h. Is n a multiple of 14?
True
Let q(f) be the second derivative of f**4/12 + 3*f**3/2 - 29*f**2/2 + 6*f. Let x = 57 - 69. Is q(x) a multiple of 4?
False
Let j(k) = -59*k - 103. Suppose 57*d + 336 - 51 = 0. Does 8 divide j(d)?
True
Suppose v + 24 - 29 = 0. Suppose -k = v*i - 17, 2*k + 93 = 5*k + i. Suppose -2*b + 3*o + k = -2*o, -o = -4. Is b a multiple of 13?
True
Suppose -2*i - 5*h + 2900 = 0, 2*h - 8648 = -20*i + 14*i. Is 40 a factor of i?
True
Let f = 176 + 16. Suppose n + p - 90 = f, 2*n - 3*p = 569. Suppose -3*g + n = 5*y, -4*y + 229 = -0*y + 5*g. Is y a multiple of 8?
True
Suppose -17*c + 22*c - 640 = 0. Suppose -4*a - c = -2*w, -5*w + a = 2*a - 265. Suppose 366 = 6*u - w. Is 10 a factor of u?
True
Suppose 5*p + 3*s = -1078 + 32743, -4*p + 25329 = 3*s. Is p a multiple of 44?
True
Let h(m) = 77*m + 889. Is h(15) a multiple of 28?
True
Let w(r) = -r**2 - 7*r + 63. Let y be w(-12). Suppose -4*t + y*u = t - 126, 2 = -u. Is t a multiple of 3?
True
Let v(l) = -l**2 - 8*l + 18. Let x be v(-10). Is 12 a factor of (1/x)/(((-78)/5028)/13)?
False
Suppose -2375 = -4*a + 5*r, -4*a = -3*a - 2*r - 590. Is a even?
True
Let c be (-8 - -8) + (3*-3)/(-3). Let d be c - (36/30)/((-2)/(-5)). Suppose d = -13*m + 15*m - 278. Is m a multiple of 34?
False
Let l = -267 - -3834. Is l a multiple of 123?
True
Suppose -3*q + 4*s + 7138 = -q, 21*q = -s + 75250. Is q a multiple of 43?
False
Suppose -i + 320 = i. Suppose s + 7 = 2*x, x = 148*s - 150*s + 6. Suppose 0 = -b, i = x*g - 0*g + 5*b. Is 7 a factor of g?
False
Let r(b) be the first derivative of 25*b**2/2 + b - 1. Suppose -52*i = -49*i - 15. Is 17 a factor of r(i)?
False
Suppose 3453 = 4*j + 17*j - 97578. Does 17 divide j?
True
Suppose -3*y = 5*n - 53, -7*n = 4*y - 5*n - 80. Is 13050/126 - (-9)/y a multiple of 14?
False
Let y(q) = 1413*q - 9022. Is 4 a factor of y(7)?
False
Suppose -11*t - 17 = -72. Let s be -18*(-3)/6 - t. Suppose 196 = 5*h - s. Does 8 divide h?
True
Suppose 0 = -88*t - 592 + 65826 + 21358. Is t a multiple of 12?
True
Suppose 0 = -p - 5*z - 52, -3*p - 155 - 1 = 3*z. Let c = 308 - p. Is c a multiple of 36?
True
Let w(i) = -i**3 - 4. Let x be w(0). Is 34 a factor of (x - 1) + (5 - -459)?
False
Let r(y) = 51*y**3 + 25*y**2 - 74*y + 1. Does 35 divide r(4)?
False
Let p be (-24)/(-32) + 18708/16 + -2. Let m = -265 + p. Does 26 divide m?
False
Let r(z) be the first derivative of z**5/20 - z**4/12 + z**3/3 + 15*z**2 + 14*z + 12. Let p(b) be the first derivative of r(b). Does 15 divide p(0)?
True
Suppose -2*v + 6*v = -l + 23, v + 18 = -5*l. Let h(b) = 15*b. Let c(i) = 10*i. Let g(q) = v*c(q) - 5*h(q). Does 7 divide g(-3)?
False
Suppose -6*w - 46792 = -2*g, 3*g - 2*w + 7674 - 77890 = 0. Does 34 divide g?
False
Let c(o) = 2944*o**2 + 53*o - 51. Does 19 divide c(1)?
False
Let u be 32/6*783/(-58). Is 105/(-24) - 27/u - -409 a multiple of 27?
True
Suppose 5515 = 5*u + 5*g, 0 = -2*u - 25*g + 28*g + 2191. Does 44 divide u?
True
Suppose 2*u + 29219 + 47190 = 5*h, u + 15277 = h. Is h a multiple of 18?
False
Let x(h) = 59*h + 5. Let a be x(-4). Let m = a - -535. Suppose -24 = 2*k - m. Does 15 divide k?
False
Let q(g) be the third derivative of g**6/60 - 2*g**5/15 - g**4/12 + 2*g**3/3 - 2*g**2. Let s be q(6). Suppose 678 = -s*n + 138*n. Does 54 divide n?
False
Let p = -14 + 16. Let y be 1542/4 + (-15)/10. Suppose j = -p*j + y. Does 13 divide j?
False
Suppose -9*c + 10*c = 1680. Suppose 2*h + 0*h = 2*m - 660, 0 = 5*m + h - c. Is m/15 - (-1)/(-3) a multiple of 2?
True
Suppose -3*v + b = -19104, -v + b + 6352 = -2*b. Is 5 a factor of v?
True
Let t = 16 - 29. Let u = -1340 + 1341. Is (t - 5)/(-6) - -29*u a multiple of 8?
True
Suppose -94667 = -3*d + q, -3*q - 126221 = 54*d - 58*d. Does 16 divide d?
False
Let s be (-2)/(-3) + 32406/(-198). Suppose 4*j = 3*j + i + 230, 0 = -4*j - 4*i + 912. Let z = s + j. Is z a multiple of 6?
True
Let n = 2675 - -7673. Does 13 divide n?
True
Is 15 a factor of 667199/85 - ((-60)/(-25) - 3)?
False
Let f(v) = -v**2 - 21*v + 12. Let z = -63 - -51. Let p be f(z). Suppose -p = -3*o - 0*o. Does 5 divide o?
True
Suppose 19*h - 34*h + 29598 = 4188. Is 7 a factor of h?
True
Let a(q) = -12*q + 18*q - 55 + 25*q. Is 25 a factor of a(5)?
True
Let a = -527 + 748. Does 2 divide a?
False
Suppose 4*i + 4 = -c + 11, 2*i = -c + 3. Suppose 5*l = 3*q + 448 + 2120, -508 = -l + i*q. Is 46 a factor of l?
False
Let r(q) = -149*q + 90. Let b be r(7). Let c = b + 1565. Is 18 a factor of c?
True
Suppose 2*r = -8 + 4. Let l be (r*2/8)/((-7)/42). Suppose 48 = 4*q - l*x, q + 3*x = -0*q + 12. Does 12 divide q?
True
Let g(b) = 6524*b**3 + 3*b**2 - 16*b + 12. Does 11 divide g(1)?
True
Let h be -6*(4/6)/(-1). Let j be (1/(-15)*-3)/((-2)/10). Does 26 divide ((h - 125) + -3)*j?
False
Let s be (40/2 + -1)*1. Let z(n) = -21*n**3 - 57*n**2 - 14*n - 46. Let h(b) = -13*b**3 - 38*b**2 - 9*b - 31. Let w(j) = -8*h(j) + 5*z(j). Does 7 divide w(s)?
True
Let w(z) = 9*z**2 - 11*z + 20. Let l(f) = 8*f**2 - 11*f + 20. Suppose 6*k + 0 = 24. Let o(j) = k*l(j) - 3*w(j). Is 18 a factor of o(8)?
True
Suppose 3*m + 283*k - 284*k = 34661, 11555 = m - k. Is 19 a factor of m?
False
Let n be ((-10)/3)/(18/2133). Let y = -75 - n. Is y a multiple of 8?
True
Suppose -l = 2*a - 7474, -2*a - 6077 = -2*l + 8889. Is 11 a factor of l?
True
Suppose 3*d - 1 = -4. Let z be ((6 - -4) + 2)/d. Is (-244)/10*30/z a multiple of 12?
False
Let h(a) be the second derivative of -19*a**3/6 - 15*a**2/2 + 2*a + 129. Let z = -25 - -15. Is 25 a factor of h(z)?
True
Suppose -5*r + 6*r - 4 = 0, 2*r = m - 85. Let z be 4/(-32) + m/(-24). Is -1*(z/6)/((-2)/(-177)) a multiple of 17?
False
Suppose l = -4*x + 10, 3*x + 4*l - 18 = -4. Is 4/(-2) - (x - 86) a multiple of 23?
False
Let n be (4/8)/((-2)/4) - -1. Suppose 5*d - 10*d + 185 = n. Suppose 177 = 5*r + d. Does 14 divide r?
True
Suppose 10 = -12*b + 2*b. Let u = 5 + b. Does 12 divide 121/3 - 4/(-24)*u?
False
Suppose 4*c - 5*r = 61, 2*c - 58 = 6*r - 10. Suppose c*g - 3660 = -g. Does 6 divide g?
True
Suppose 4*q = 8*q + 152. Let d be 501/9 - 5/(-15). Let o = q + d. Does 6 divide o?
True
Let m = 22283 + -3485. Does 78 divide m?
True
Suppose -129 = -2*k + 55. Suppose 0 = q + p - 107, -q - 2*p + k = -4*p. Is q a multiple of 54?
False
Suppose -a = -4*s + 9715, -3*s - 9*a = -6*a - 7305. Is 15 a factor of s?
True
Let q(w) = 6*w**2 - 65*w + 736. Does 9 divide q(11)?
True
Let b(x) = -6*x**2 + 46*x + 18. Let t be b(8). Is ((4 - -22)/(t/1))/1 a multiple of 3?
False
Let j(d) = 2*d**3 + 6*d**2 - 4*d - 6. Let t be j(-3). Suppose t*r = 10*r - 8. Is (1 - 6)*2/(r/(-19)) a multiple of 19?
True
Suppose 12*p = 14520 + 47676. Does 133 divide p?
False
Suppose -5*o = -2*h - 548, -o + h - 6*h = -88. Let l(f) = 113*f - o*f - 9 - 25. Is l(9) a multiple of 3?
False
Suppose -8*t = -20383 - 46385. Does 39 divide t?
True
Suppose -327 = -3*r - 0*r + 3*a, 0 = r + a - 117. Let j = r - -916. Suppose -321 = -10*o + j. Is o a multiple of 14?
False
Let x(t) = 727*t + 3710. Is 12 a factor of x(49)?
False
Suppose -4*s = -2*m - 8186, -2493 + 436 = -s + 4*m. Suppose 4*w - s = -5*x, -w - 40 - 1617 = -4*x. Is x a multiple of 19?
False
Let q be ((-3)/9)/1*(-1 + 1). Suppose -313*d + 317*d - 368 = q. Does 15 divide d?
False
Let p = 5493 - 2591. Does 6 divide p?
False
Let h(j) = 233*j**2 - 186*j - 2320. Is 13 a factor of h(-12)?
False
Suppose 3*r - 6 - 51 = 0. Suppose 0 = 14*j - r*j + 135. Let n = j - -1. Does 7 divide n?
True
Let j(t) = -2*t**3 - 6*t**2 