irst derivative of 7*i**2/2 + 6*i + 2768. Does 6 divide a(d)?
False
Suppose -3*a - h + 107 = 0, 7*h = 3*a + 2*h - 95. Suppose 11*k - 950 = -8*k. Let t = k - a. Is 4 a factor of t?
False
Let q(w) be the first derivative of 119*w**2/2 - 7*w - 3. Let b be q(2). Suppose 2*v - 5*y - 233 = v, -v = -4*y - b. Does 38 divide v?
False
Suppose 18*j - 62 = 20*j. Let o = j - -158. Let f = o - 103. Is f a multiple of 6?
True
Suppose -15*z + 2291 + 1463 = -2231. Does 19 divide z?
True
Suppose -26*q - 15 = -29*q. Suppose 5*t - q = 4*z + 35, 5*z + 4*t = -50. Is (160/z)/(1/(-2)) a multiple of 16?
True
Let c(v) = 11*v**3 - v**2 + v. Let i be c(3). Let s(u) = 11*u**2 + 148*u + 68. Let x be s(-13). Suppose 342 = 3*b - h, x*b - 5*h - 39 - i = 0. Does 9 divide b?
False
Does 8 divide 2/(-5) + (-2208694)/(-535)?
True
Let o be (-1 + 2 + -2)*-1. Let x(u) = 50*u**2 - u + 2. Let i be x(o). Suppose -2*k + 87 = -h, -4 + i = k + 3*h. Does 3 divide k?
False
Let q = 10037 - 6853. Is 89 a factor of q?
False
Suppose 4*r - f - 764 = 0, -968 = -5*r + 3*f - 5*f. Let i be (370 - -2) + (-24)/6 + 6. Let z = i - r. Is 14 a factor of z?
True
Suppose -700288 = -157*a + 429327. Is 5 a factor of a?
True
Let d(j) = -j**3 - 2*j**2 + j + 4. Suppose 14*k = 6*k - 496. Let p = k - -59. Is 10 a factor of d(p)?
True
Suppose 9*h + 5*b = 4*h + 715, 425 = 3*h + 5*b. Suppose 475 = 5*x - h. Suppose 3*d = x + 161. Does 11 divide d?
False
Let u be (4 - (7 - 3)) + 1*4. Suppose 18*q - u*q = 2422. Is q a multiple of 17?
False
Suppose 0 = 3*h + 9 - 27. Suppose h*t - 198 = -120. Does 2 divide t?
False
Let t(s) = 229*s - 50. Let c be t(3). Is 3 a factor of (c/14)/7*2?
False
Let f = 64288 - 32628. Does 169 divide f?
False
Suppose -q - 7 = -s - 2*q, -2*q = 3*s - 20. Suppose -s*x + 84 = -7*x. Let b = -52 - x. Is b a multiple of 8?
True
Suppose 113*x - 91*x = -7018. Let y = 384 + x. Is y a multiple of 5?
True
Let w(f) = -173*f - 1117. Is 8 a factor of w(-47)?
False
Suppose 38 = f + 18. Suppose f*s - 8*s = 6708. Is 13 a factor of s?
True
Suppose -10*d = -8*d + 58. Let s = d + 66. Is s a multiple of 4?
False
Let n(x) = x**3 + 19*x**2 - 20*x + 2. Let p be n(-20). Suppose 0 = -2*r - 3 + 1, -4*r = -p*w + 20. Suppose -w*v + 7*v + 141 = 0. Is 30 a factor of v?
False
Let z(r) = -r**3 - 50*r**2 - 39*r + 584. Is 2 a factor of z(-49)?
True
Let h = -745 + 443. Let c be (-5 + 11)*(2 + -3). Does 2 divide h/(-18) - c/27?
False
Does 63 divide ((-9639)/(-15))/(2 + 27/(-15))?
True
Suppose 893*v - 2*d + 106490 = 895*v, -2*d - 266232 = -5*v. Does 79 divide v?
True
Let g(y) = y**3 - 7*y**2 + 6. Let u = 39 + -29. Let n be g(u). Suppose 3*t = c - 5*c + 411, -3*t = 3*c - n. Does 15 divide c?
True
Let o = 8 + -3. Suppose 2*f - 29 = -f - o*a, -5*a = -5. Does 8 divide ((-3)/(-6))/(f/768)?
True
Suppose -5*h - 2*s + 10283 = 0, 14*h - 18*h = -2*s - 8230. Is h a multiple of 11?
True
Suppose -5*w - 15 = 0, 5*m = 4*w + 6 + 21. Does 27 divide (-90)/(2 + -5) - m?
True
Suppose -a + 87 = -118. Suppose -9*n + a + 2441 = 0. Is 7 a factor of n?
True
Suppose 88*h = 82*h - 1068. Let g = 108 + h. Let j = 121 + g. Is 4 a factor of j?
False
Let x(r) = 9 + r**3 + 30*r - 45*r + 32*r + 17*r**2. Let b(d) = -d**2 + 1. Let t(l) = -5*b(l) - x(l). Does 19 divide t(-12)?
True
Let j(d) = 15*d - 8. Let p be j(1). Suppose -3*h - 2*t + p = -1211, 3*t = 0. Does 29 divide h?
True
Let u = 1352 - 762. Is 44 a factor of u?
False
Suppose 104*d - 235*d = -96*d - 48580. Is d a multiple of 31?
False
Let n = 18 - 22. Let o be (n + 20)/(-1 + 0). Let d = o + 42. Is d a multiple of 13?
True
Let t(o) = -o**2 + 17*o + 35. Let l = -134 - -147. Is 12 a factor of t(l)?
False
Suppose -5*g = -5*y - 6*g + 89725, 0 = -2*y - g + 35887. Is 68 a factor of y?
False
Let z(t) = 13*t - 43. Let y(b) = -6*b + 21. Let q(p) = 5*y(p) + 2*z(p). Let o be q(4). Suppose -15 = -2*g - o. Is g a multiple of 6?
True
Suppose -3440612 = -93*p + 48*p - 58*p. Does 15 divide p?
False
Suppose -25 = 5*f - 5, 565 = s + f. Is 2 a factor of s?
False
Let n(s) = 207*s + 20*s**2 - 204*s - s**3 - 22*s**2 + 7. Is 27 a factor of n(-4)?
True
Let z(m) = -m**3 + 27*m**2 + 47*m - 57. Is z(25) a multiple of 4?
True
Suppose -2*t + 20*k - 17*k = -3474, 0 = -3*t - 5*k + 5192. Does 53 divide t?
False
Let d(l) be the second derivative of 19*l**4/12 - l**3/2 + 9*l**2/2 + 25*l. Let m be d(-3). Suppose -m = -0*s - s + 3*g, -185 = -s + 2*g. Is s a multiple of 32?
False
Suppose -4*q + 64*j - 68*j = -108104, -2*j - 6 = 0. Does 14 divide q?
False
Is (-16)/((-320)/(-26170))*(-2)/1 a multiple of 13?
False
Let z(a) = -a - 6 + 7*a + 13*a - 29. Is 7 a factor of z(14)?
True
Suppose 2*a - 5*x = -2*a + 36, -5*x - 24 = -a. Suppose -3*g + 3800 = -4*d, -a*g - 4*d + 2519 + 2501 = 0. Is 14 a factor of g?
True
Suppose 2*p = 6*p - 116. Suppose p*r = 24*r. Let l(k) = -k**2 + 2*k + 90. Is 15 a factor of l(r)?
True
Let w(h) = -3*h - 84. Let t(k) = 5*k**2 + 26*k. Let j be t(-3). Is w(j) even?
False
Let q(c) = -36*c**2 - 4*c - 4. Let k be q(-1). Let x = k - -156. Does 15 divide x*(-3 + -1)*(-2)/8?
True
Let j(c) = -c**3 - 52*c**2 - 197*c - 122. Is 61 a factor of j(-54)?
True
Let l(p) = 11*p**2 - 26*p - 8. Let o be l(-8). Let q = -570 + o. Does 13 divide q?
False
Let i = 69 + -74. Let n(o) = -58*o - 3. Let j be n(i). Suppose -3*u + j - 2 = 0. Is u a multiple of 13?
False
Suppose 138577 - 345411 = -19*t + 110238. Is 112 a factor of t?
True
Let q(t) = 5*t**2 - 8*t + 15. Suppose -81 = -20*p + 21*p. Let k = -75 - p. Does 32 divide q(k)?
False
Let p = 290 + -311. Let h(c) = -8*c + 87. Is 5 a factor of h(p)?
True
Suppose 0 = -192*y + 193*y - 2. Suppose 2*r + 5*f - 1464 = 0, y*f - f = -2*r + 1480. Does 53 divide r?
True
Let h be 0/(-3) + (2 - (-231 + 1)). Suppose 0 = 11*a - 131 - h. Does 3 divide a?
True
Let g = 118 - 84. Suppose 5*d - 4*d - 2*u - g = 0, 3*d - 2*u - 98 = 0. Is d a multiple of 32?
True
Let a(y) = 1422*y**2 - 2*y + 7. Let x be a(-2). Suppose 5*k - 10*k + x = 4*i, -2*i = -2. Is k a multiple of 17?
True
Is 30 a factor of 555/45 + -12 - (-10532)/3?
False
Let u(z) = 1910*z**2 + 28*z - 145. Does 5 divide u(2)?
False
Suppose 11*f = 19*f - 10*f. Suppose -736 = -8*s - f. Suppose 3*t - 401 = -5*c, 0 = 3*c - 2*t - 344 + s. Is 22 a factor of c?
False
Is 4 a factor of ((-1)/(-2))/((-16)/(-100608)*8)?
False
Suppose -6*x - 2472 = -3*w - 4*x, 0 = w + 4*x - 838. Suppose 4*r + 483 = -3*f, -5*f + 13 = 4*r + w. Let h = f - -282. Is 34 a factor of h?
False
Let k be (-1 + 0/1)*-3. Suppose 14*x - 33 = k*x. Let m(i) = 32*i - 34. Is m(x) a multiple of 31?
True
Suppose 11*p + 3976 = 25*p. Let s(w) = w + 6. Let m be s(-2). Suppose -m*q + p = -80. Is 10 a factor of q?
False
Let f = 12958 - 12397. Let l be 0*((-6)/(-4) - 1). Suppose n - 3*t = 179, l*t + f = 3*n - t. Is n a multiple of 18?
False
Let v(c) = -2*c + 58. Let r(q) = -9*q - 46. Let o be r(-4). Is 7 a factor of v(o)?
False
Let o = -45 - 4. Suppose -2*n + 5*u = -0*u - 259, 0 = -3*n + 5*u + 376. Let z = o + n. Is z a multiple of 17?
True
Suppose -186*k = 849786 - 2408838. Is k a multiple of 22?
True
Let k(p) = 598*p**2 - 30*p + 12. Is k(-6) a multiple of 8?
True
Suppose 81*y = 79*y - 5*u + 5267, 5*u = -5*y + 13205. Is y a multiple of 49?
True
Is 13 a factor of (-4)/(-18) + (-44790)/(-135) + -8?
False
Let c(d) = 8*d + 1. Let w be c(1). Suppose 4*g - 195 = w*g. Let n = 80 + g. Is 7 a factor of n?
False
Let v = -156 - -176. Is 3 a factor of 0 + (v/4 - -18)?
False
Let h be 5/(5*1/10). Is 1322/h - ((-52)/(-10) - 5) a multiple of 11?
True
Let r = -570 - -572. Suppose r*y + 0*y = 3*i - 1160, 4*i - 5*y - 1535 = 0. Is 24 a factor of i?
False
Let s = -4199 + 15467. Does 25 divide s?
False
Suppose -6808 = 27*z - 19*z. Let s = -309 - z. Is 58 a factor of s?
False
Let a be 20/(-30)*-42*1. Suppose -2*v + 4*t = -20, -v - 24*t + 20*t = -a. Is v a multiple of 3?
False
Suppose -153 = 2*p + 265. Let h = p + 479. Suppose -10*q + 15*q = h. Is q a multiple of 7?
False
Let a(z) = 64 - 41*z + 4*z - 12. Is a(-4) a multiple of 12?
False
Let s(v) = 2*v**2 - 10*v + 4475. Is 19 a factor of s(0)?
False
Suppose -5*q + 11075 = -5*w, 4*q + 326*w - 328*w = 8856. Is q a multiple of 3?
False
Let i be (-90)/27*(-378)/5. Let c = -216 + i. Is 36 a factor of c?
True
Let r be -4*4/(-32)*78. Suppose 44*v - r*v = 895. Is 14 a factor of v?
False
Let k be ((-110)/3 + 