 = -5*d + d + 0*d - z*d. Is u(-6) a multiple of 17?
False
Let o(i) = -i**3 - 27*i**2 - 2*i + 2. Let c(m) = m**2 - 16*m + 36. Let l be c(9). Is 11 a factor of o(l)?
False
Let r(y) = 3*y + 3*y + 8*y + 110 - 4*y + 106. Is 18 a factor of r(0)?
True
Let o = 85703 + -21759. Is o a multiple of 15?
False
Let t(c) = -4*c + 58. Let p(z) = z - 19. Let s(r) = 7*p(r) + 2*t(r). Let o be s(-20). Suppose o*q - 225 = -2*q. Is q a multiple of 9?
True
Suppose 2*z = 2*b - 7*b + 14, 0 = -4*z + 4*b. Does 17 divide 102/(((-28)/(-91))/z)?
True
Suppose -r - 3*k + 14 = 0, -2*r - k - 4*k = -24. Suppose 0 = r*q + 16*q - 5760. Is q a multiple of 22?
False
Let k = -3698 - -7464. Does 20 divide k?
False
Suppose 4*a - 270 = -262, 3*m + a - 16022 = 0. Does 4 divide m?
True
Let w(c) = 85*c - 36. Suppose 2*t = -4*u + 26, -3 + 4 = t - 4*u. Is w(t) a multiple of 20?
False
Suppose -20*y + 2*y + 124117 = -y. Is y a multiple of 15?
False
Let h = 6 - -6. Suppose -49*u = -50*u + h. Suppose 18*w - u*w = 1134. Does 33 divide w?
False
Let g = 34417 - 18495. Is 6 a factor of g?
False
Let p(a) = -a**2 - 12*a + 4. Let t be 5 - (10 - (2 + 3 - 3)). Is 2 a factor of p(t)?
False
Let u(m) be the first derivative of 3*m**4/4 - 2*m**3 + 3*m**2/2 + 4*m - 45. Suppose 3*t + 8 = 5*t. Does 28 divide u(t)?
True
Let r(o) = 14*o - 301. Suppose 242 = 25*c - 708. Is r(c) a multiple of 21?
True
Let a(p) = 4*p**2 + 35*p - 116. Let y be a(3). Suppose -l - f + 22 + 22 = 0, -2*f = 4*l - 166. Let g = l - y. Does 7 divide g?
True
Let q be 1620/(-14) - 4/70*5. Let x = q + 93. Does 12 divide (-60)/(-1)*(-22 - x)?
True
Suppose 4*g + 10830 + 6398 = 4*a, 4*g = a - 4295. Is a a multiple of 9?
True
Suppose 1098675 = 112*a - 1318206 - 588751. Is a a multiple of 27?
False
Let g(z) = z**3 + 11*z**2 + 12*z + 20. Let x be g(-10). Suppose 2*h - 109 - 325 = x. Is h a multiple of 26?
False
Let c(j) = -j**2 - 40*j + 1975. Is c(-59) a multiple of 54?
False
Let t(h) = -19*h - 23. Let n(x) = -77*x - 92. Let u(q) = 2*n(q) - 9*t(q). Is u(11) a multiple of 42?
True
Let d(p) be the first derivative of -p**7/840 + 11*p**6/360 - p**5/30 + p**4/2 - 5*p**3/3 - 9. Let m(l) be the third derivative of d(l). Does 8 divide m(10)?
True
Let v = -871 + 1284. Is v a multiple of 3?
False
Suppose 65 - 72 = -2*i + 3*p, 1 = 2*i + 3*p. Suppose -43 = c + 181. Is (c - 14)/(-1 + i - 2) a multiple of 16?
False
Suppose 734 = 16*w - 1330. Suppose n - w = 3*l, 0*l = l - 2. Does 15 divide n?
True
Let a be (62 - -2)*(-18)/24. Suppose 4*l - 266 - 1086 = 0. Does 25 divide a/32 + l/4?
False
Let a(f) be the third derivative of 0*f - 1/120*f**6 + 5/24*f**4 - 7/6*f**3 + 16*f**2 + 2/15*f**5 + 0. Is a(7) a multiple of 7?
True
Suppose -4*h + 4 - 1 = -o, -5*h = -2*o. Suppose -a + 13 = -h*a + 2*s, -5 = s. Let v = 31 + a. Is v a multiple of 6?
False
Let j(r) be the third derivative of 29*r**5/15 - 7*r**4/24 + r**3/2 - 84*r**2. Does 3 divide j(1)?
False
Suppose 3*p + 25 = -0*c + 5*c, -4*p + 4*c = 20. Suppose p = y, 3*j + 14*y - 2766 = 16*y. Is 69 a factor of j?
False
Suppose 1041*a + 24 = 2*d + 1038*a, 2*d = -3*a. Let o be 436/(-5)*(2 - 12). Suppose 4*b + o = d*b. Is 52 a factor of b?
False
Let k(g) = -52*g - 14. Let c be k(5). Let u = c - -406. Does 33 divide u?
True
Suppose 3*v = -5*n + 22695, 0 = 203*n - 204*n - 3*v + 4551. Does 13 divide n?
False
Suppose -a = 5*r - 6971 - 5637, -2*r + 5040 = 2*a. Is r a multiple of 4?
False
Let b(m) = 2*m**3 - 3*m**2 - 15*m + 360. Does 23 divide b(16)?
True
Suppose 3*z = 2 + 4. Suppose 2*v + z = -0. Is v*2*(-31 + -2) a multiple of 37?
False
Suppose -5*i + 4796 = 2*x - 2212, i = -4*x + 14016. Is 25 a factor of x?
False
Is 8 a factor of ((-4)/(-10))/(381/2714625)?
False
Suppose 13 = -3*l + 130. Let t be 1/3 - 13/l. Suppose 8*u - 4*u - 232 = t. Is u a multiple of 18?
False
Let m(f) = -18 + f**3 - 10 + 51*f - 25*f**2 + 16. Is 10 a factor of m(23)?
False
Let t(o) = -53*o - 336. Let a be (-8)/(-16)*-26 + 3. Is 4 a factor of t(a)?
False
Suppose -y + 2*r - 5 = -0*r, 3*y + 4*r + 5 = 0. Let l(s) = 10*s**2 + s + 10. Let m be l(y). Suppose 733 = 5*h - m. Does 50 divide h?
False
Let l = -1495 - -4130. Is 30 a factor of l?
False
Suppose -13*r - r = -126. Is 13 a factor of ((-375)/r)/(5/(-30))?
False
Let d = -234 + 234. Suppose d = -5*a + 354 + 1021. Is a a multiple of 58?
False
Suppose -2*w - 6 = 5*v - 8*v, 2*w = 4*v - 8. Suppose 4*s + 4*y = 828, 0 = 3*s + v*y + 3*y - 611. Does 39 divide s?
False
Let h = -3570 + 7542. Is h a multiple of 12?
True
Let u(k) = -3713*k - 1578. Is 50 a factor of u(-3)?
False
Let v(u) = 2*u**3 - 37*u**2 + 41*u - 40. Suppose -4*k = -3*d - 0*d - 79, -3*d = -2*k + 41. Is v(k) a multiple of 22?
True
Let c = 9611 - 3467. Does 128 divide c?
True
Suppose -4*s + y = 6*y - 315, 319 = 4*s + y. Let l be (2 - 8/(-4))/((-4)/38). Let b = l + s. Is b a multiple of 14?
True
Let g(d) = d**2 - 7*d + 4. Let w be g(3). Let a be 76/w - (-1)/2. Does 2 divide 4/6 - 1*129/a?
False
Suppose -45*q + 384878 + 213334 = -16*q. Is q a multiple of 54?
True
Suppose 0 = -m + 4, -16*v + 14*v - 5*m = -3196. Is v a multiple of 4?
True
Let v = 6680 + -5364. Is 2 a factor of v?
True
Let w(g) = 114*g**3 + g**2 + 16*g - 33. Is 7 a factor of w(2)?
False
Let f be (-1)/(-2)*(4 + -4). Suppose f = -u + 35 + 51. Let q = u - 9. Does 25 divide q?
False
Let w be (-1)/(-1) - (2 - -20). Suppose -6*i + 64 = 532. Let h = w - i. Does 18 divide h?
False
Suppose 0 = 160*b - 12*b - 258852. Is b a multiple of 33?
True
Let u(x) = 8*x - 65 + 34 + 28 + 24. Let j = -3 - -8. Is u(j) a multiple of 31?
False
Suppose 3*c = -4*f + 794, c - 123 = 4*f + 147. Suppose c = z + 6*z. Suppose -5*u + 88 = -n, -2*u + 3*n - 4*n = -z. Is u a multiple of 6?
True
Let f be -5*(3 - 54/15). Suppose -4*d = p - 1001, -5*d + 5*p = f*p - 1235. Let t = d - 176. Is 12 a factor of t?
False
Let b = 9676 - 4682. Is b a multiple of 11?
True
Does 83 divide -5 + (11 - 12)/((55/(-32770))/11)?
False
Let p(n) = 2*n**2 + 32*n**2 - 15*n + 1 - 26*n**2 + n**3. Let l be -1 + (-10 - 0) + 2. Does 11 divide p(l)?
True
Suppose 3*s - 30877 = n, -30*n + 20585 = 2*s - 31*n. Is s a multiple of 31?
True
Let b = -118 - -4416. Is b a multiple of 5?
False
Let g = 238 - 546. Let b = -164 - g. Is b a multiple of 12?
True
Let u(j) = 11*j - 80*j**2 - 76*j**2 + 7 + 267*j**2 - 75*j**2. Is u(-2) a multiple of 17?
False
Let a be ((-150)/45)/((-8)/40 - (-1)/(-45)). Let f(s) be the second derivative of s**3/6 + 23*s**2/2 - s. Is f(a) a multiple of 11?
False
Suppose 0 = -3*v - 3*j + 7020, j - 11712 = 27*v - 32*v. Is v a multiple of 6?
False
Let g = -11 + 164. Let l = g + -58. Is 16 a factor of l?
False
Let d = 5031 - 4750. Is d a multiple of 29?
False
Suppose 0 = -11*y + 12*y - 2*c + 100, y = -5*c - 107. Let o = y - -160. Is o a multiple of 29?
True
Let n = -3923 - -6099. Suppose 43*v - 12195 = -n. Does 11 divide v?
False
Suppose 17 = -6*x - 7. Does 56 divide -8*(x/18 - (-694)/(-36))?
False
Let j(z) be the first derivative of 9*z**2 - 178*z - 73. Does 19 divide j(32)?
False
Let q(h) = 2*h**2 + 23*h - 26. Let c be q(-13). Let r be (-4)/(-2) - (-63)/9. Suppose -428 = r*u - c*u. Is 18 a factor of u?
False
Let t(z) = -2*z - 26. Let g be t(-14). Let c be 3/(-1) + (4 - g/2). Does 16 divide (c + -3 - -190)*1?
False
Let v = 727 + -718. Let l be ((-6)/(-4))/((-3)/(-4)). Is 4 a factor of (-6 + l - -2) + v?
False
Let h(u) = -u**2 - 94*u - 68. Is h(-64) a multiple of 135?
False
Let q(d) = 118*d**2 + 402*d + 2814. Does 6 divide q(-7)?
False
Let p(h) = -h**2 + 5*h + 2. Suppose 9*x - 5*x = 16. Let v be p(x). Is 0 - 2 - (-255 + v + 7) a multiple of 44?
False
Let q(b) = b**2 - 11*b - 18. Let r be q(12). Let o(i) = -i**2 - 5*i + 4. Let g be o(r). Is (-1)/g + 418/4 a multiple of 21?
True
Is 98 a factor of (-16)/180*(-75)/50 + (-667376)/(-30)?
True
Let b = 71 - 61. Suppose 2*h = -b, -7*h - 254 = -2*t - 3*h. Suppose 3*a + t = 5*k - 147, -2*a + 4 = 0. Is k a multiple of 8?
False
Let p(z) = 1356*z + 307. Is 35 a factor of p(3)?
True
Let s = -12373 - -21413. Is 11 a factor of s?
False
Let p = 1151 - -623. Is 24 a factor of p?
False
Let i be (-3 - -2)/(-6) + (-5837)/(-78). Let a = i - -21. Does 12 divide a?
True
Suppose 4*u - 9 = -57*p + 58*p, -4*u + 14 = -2*p. Let q(j) be the second derivative of 19*j**4/6 + j**3/3 - j**2 + j. Does 6 divide q(u)?
False
Let t = -607 + 61