-2*z = -2*w + z + 189. Does 3 divide w?
True
Let i = -3 + 8. Suppose 0 = -i*d - 0*d. Suppose -5*n + 8 + 37 = d. Does 9 divide n?
True
Let l(x) = -x - 6. Let y(c) = -c + 1. Let v be y(7). Let t be l(v). Is (-16 - t)*-1 + -2 a multiple of 4?
False
Let r(g) = -2*g**2 + 2*g + 2. Let v be r(2). Let s be 3*v/6 - -27. Is s/3 - (-2)/(-3) a multiple of 8?
True
Suppose -2*i - 1052 = -2*v, -25*v + 29*v - 3*i = 2109. Does 12 divide v?
False
Let g = 727 - -1066. Is g a multiple of 42?
False
Let o = -37 + -2. Let a = o - -66. Does 12 divide a?
False
Suppose -o = -2*k + 3*k - 4, 4*o = k + 16. Suppose o*y = 5*x - 236, -4*x - x + 2*y = -228. Is x a multiple of 11?
True
Let g(y) = -y**3 - 16*y**2 - 20*y - 4. Let b be g(-14). Let c = b - -244. Does 25 divide c?
False
Suppose -4*z = -c - 2*c + 2666, 1749 = 2*c + 3*z. Is 13 a factor of c?
False
Let s(y) = y**2 + 20*y + 28. Let n be s(-11). Let p = -64 - n. Is p even?
False
Let t be (-5 + -1)/(4/(-4)). Suppose 0*y = 3*y - t. Is y - (4*12)/(-2) a multiple of 7?
False
Suppose 0 = 10*r - 703 - 647. Suppose -6 = -s + r. Does 52 divide s?
False
Let a = 10 + -2. Suppose -a*r = -9*r + 6. Does 6 divide r?
True
Suppose 0 = 4*h - 22 - 34. Suppose 3*s + 5*w - 18 = 10, w + 34 = 3*s. Let i = h - s. Is 3 a factor of i?
True
Let h(z) = 22*z - 3. Let j(u) = 44*u - 7. Let y(b) = -7*h(b) + 4*j(b). Is y(3) a multiple of 21?
False
Is 67 a factor of (-9*(-670)/180)/((-2)/(-12))?
True
Let t(v) = v**2 - 2*v + 5. Let q be t(5). Let b(u) = u**3 - 21*u**2 + 24*u - 26. Does 9 divide b(q)?
True
Suppose -11*t + 12408 = -4378. Is 58 a factor of t?
False
Let q be 2*5*((-3 - -2) + 4). Let x = 27 + q. Does 16 divide x?
False
Suppose -50*x = -2*o - 47*x + 441, 4*o - 847 = -x. Does 5 divide o?
False
Let m(f) = f**2 - 7*f - 1. Let a be (-4)/(8/(-28)*-1). Is 27 a factor of m(a)?
False
Let v be (-1 - 49) + 0/(-4). Let z be (-90)/v - 2/(-10). Is (z/4)/(4/616) a multiple of 27?
False
Suppose x = 4*z + 470, 10*z = -x + 15*z + 475. Is 18 a factor of x?
True
Let h(j) = 12*j**2 - 3*j. Let m be h(-3). Let x be (-26)/m + 1480/18. Let s = x + -46. Is s a multiple of 36?
True
Let i(j) = 17*j + 11. Let r(g) = 4*g + 3. Let o(c) = 2*i(c) - 9*r(c). Let k be o(-8). Let n(s) = s**2 - 10*s + 1. Is n(k) a multiple of 4?
True
Suppose 0 = 2*s + 15 - 7. Is 11 a factor of 74 - (1 - (s + 2))/(-1)?
True
Is 1 - ((-4618)/(-8))/(2/(-8)) a multiple of 11?
True
Let r be 0/7*(0 + 1 + -2). Let x(c) = 23*c. Let b be x(1). Suppose r = d - 25 - b. Is d a multiple of 12?
True
Let x = 245 + 331. Is 9 a factor of x?
True
Suppose 0*r + 3*r + 48 = -4*i, 5*i + 57 = -3*r. Let j(g) = g**3 + 8*g**2 - 8*g - 7. Let w be j(i). Let d = w + 24. Does 3 divide d?
False
Suppose 3*d - 180 = 2*s - 252, 0 = -s - d + 46. Does 24 divide s?
False
Let v(z) be the third derivative of 35*z**4/12 - z**3/6 + 5*z**2. Let c be v(2). Suppose -4*r + c = 19. Is r a multiple of 18?
False
Let z be 18/(-12) - -2 - (-5)/2. Suppose -l = -d + 116, -z*l + 8*l - 140 = -d. Is 40 a factor of d?
True
Suppose 0 = -4*t + 169 + 367. Is 2 a factor of t?
True
Let x(r) = r**3 + 13*r**2 - 6*r - 30. Let n(a) = 2*a - 25. Let p be n(6). Is x(p) a multiple of 6?
True
Let i(z) = 3*z**2 - 3*z + 47. Is 47 a factor of i(0)?
True
Let o(h) = -3*h**2 + 2*h - 4. Let f(s) = 10*s**2 - 5*s + 11. Let i(z) = 3*f(z) + 8*o(z). Let j be i(-1). Is 23 a factor of (3/(j/184))/2?
True
Let r = 1 - -9. Let g(x) = 15*x - 13. Does 35 divide g(r)?
False
Let r = 317 - 239. Does 22 divide r?
False
Let w be (-112)/(-20) - (-9)/(-15). Suppose -b - w*a = 0, -a = a + 2. Suppose -2*k = -5*t - 47, k + 2*k - 63 = b*t. Is k a multiple of 7?
False
Let h(q) = 3*q**3 + 29*q**2 - 28*q + 10. Does 4 divide h(-10)?
False
Let b(q) = q**3 - 10*q**2 - 12*q + 5. Let y be b(11). Let u be (-7 - y) + 1 + 5. Suppose j - m + 15 - 62 = 0, 0 = m + u. Is j a multiple of 13?
False
Suppose 0 = 4*g - 4*h + 40, 3*g = -0*g + h - 34. Let p = g + 17. Suppose p*s + 4*l - 131 = 52, 2*s = 3*l + 87. Does 13 divide s?
True
Let o(j) = j + 7. Let n be o(4). Suppose -n*b - 200 = -16*b. Is 20 a factor of b?
True
Let p(f) = f**3 + 2*f**2 - 5*f - 7. Let u be p(-3). Does 16 divide 9/(-6) + (-1660)/8*u?
False
Let a(h) = 22*h**2 - 27*h + 92. Is 20 a factor of a(8)?
False
Let q = 742 + -427. Is 39 a factor of (-24)/32 + q/4?
True
Let w(l) = 3*l - 8*l**3 + 12 + 7*l**3 + 2*l**2 - 12. Suppose -k + 2 = 0, -4*t + k = -0*t + 10. Is 2 a factor of w(t)?
True
Let d = 472 + 475. Is 71 a factor of d?
False
Let t(f) = f**3 - 4*f**2 - 3*f - 7. Let w be t(5). Suppose 0 = -z - w*z + 180. Let q = 14 + z. Does 27 divide q?
False
Let n = -7 - -3. Let u(a) = 5*a + 73. Let o(c) = 6*c + 73. Let i(p) = n*o(p) + 5*u(p). Does 20 divide i(0)?
False
Let y(q) = 39*q - 68. Is y(12) a multiple of 10?
True
Suppose -10*n = -759 - 11481. Does 37 divide n?
False
Let m(f) = -5*f - 7. Suppose 0 = 13*k - 15*k + 20. Suppose -k - 5 = 5*d. Does 2 divide m(d)?
True
Let s be (-280)/(-3) - (-8)/(-24). Suppose 4*q - b = -s + 347, 193 = 3*q - 2*b. Does 9 divide q?
True
Let l(t) = 8 - 20*t**2 + 10*t + 9*t**2 + 0*t**3 + t**3. Does 10 divide l(11)?
False
Let p = 103 - 169. Suppose 2*c = -c + 342. Let i = c + p. Is 12 a factor of i?
True
Suppose -71 = -2*a + 5*y, -3*y + 155 = 4*a - 0*a. Suppose -134 + a = -4*f - 5*q, -4*f = -3*q - 64. Suppose 4*x - f = 4*j + j, -5 = -j. Is x a multiple of 5?
False
Suppose -4*w + 12 = -4. Let y be 12/(-4) - -5 - 0. Is 4 + y*2/w a multiple of 2?
False
Let h(s) = 0*s**2 + 2*s**2 + s**3 - 5*s**3 - s**2. Let i be h(-1). Suppose v = 2*g + 16, 22 = 3*v - 2*v - i*g. Is 6 a factor of v?
True
Let w(h) be the first derivative of -4 - 9/2*h**2 + 0*h. Is 14 a factor of w(-7)?
False
Let n be 1/(-3) - (364/(-12))/7. Is 26*2 + (n - 1) a multiple of 6?
False
Let m(y) = 8*y**2 + 3*y**3 + 10 + 6*y**3 - 8*y - 10*y**3. Let x be m(7). Suppose -5*a - 19 = -5*o + 106, -157 = -5*o - x*a. Is 20 a factor of o?
False
Let t(g) = g**2 + 3*g + 34. Suppose 0 = -2*d + 17 + 21. Suppose -16*x + d*x = 0. Does 17 divide t(x)?
True
Let s be ((-44)/(-6) - -2)*3. Suppose 0*a + s = a. Let f = a - 10. Does 6 divide f?
True
Is (68 - -2)*96/28 a multiple of 30?
True
Let u(k) = 3*k**2 + 14*k - 5. Let q be u(-5). Suppose q = 12*x - 14*x + 374. Is x a multiple of 27?
False
Let d = -53 + 29. Let x = 50 + d. Suppose -x = -4*j + 22. Is 4 a factor of j?
True
Suppose 177 = -189*s + 192*s. Does 2 divide s?
False
Suppose 0 = 3*b - 5*p + 31, -b + 4*p - 12 = -5*b. Let i = 20 + b. Suppose 0 = -18*n + 19*n - i. Does 18 divide n?
True
Let p(d) = d**2 + 8*d + 17. Let w be p(-6). Suppose 2*b + 117 = w*s, -s + 0 + 9 = -4*b. Is 3 a factor of s?
False
Let r(y) = y**3 - 15*y**2 - 22. Let i be r(15). Let a = i + 56. Does 14 divide a?
False
Let l = -84 - -1684. Is l a multiple of 8?
True
Let y be (1 + -2)*(0 - (-2 - -1)). Is (-16 + 7)/((3/8)/y) a multiple of 6?
True
Let s be (-2)/3 - (-53)/3. Suppose -66 = -15*y + 4*y. Is 17 a factor of y*s*(-1)/(-2)?
True
Let y(j) = -j**3 - 7*j**2 + 6*j - 12. Let z be y(-8). Suppose -z*i = -0*i + 2*n - 274, -5*n = 5*i - 345. Does 17 divide i?
True
Let h be 5*(6/10 - 0). Let b = -182 + 319. Suppose 5*a = b + h. Is 8 a factor of a?
False
Is 7 a factor of 6*(-10)/(-15) - (0 + -290)?
True
Suppose 0 = 2*a - 2*x + 56, 0 = 2*x + x - 9. Let t(q) = -27*q - 27. Let z be t(-6). Does 3 divide (-4)/10 - z/a?
False
Let u(t) = t**2 - t + 2. Let v(f) = -f**2 - 6*f + 2. Let h be v(-7). Let q be u(h). Let n = 92 - q. Is n a multiple of 15?
True
Suppose s + 12 = -3*s. Let q(v) = 12*v**2 + v. Let r be q(s). Suppose 0 = 4*w + w - r. Is w a multiple of 7?
True
Let h = 12 - 12. Suppose h*w = -2*w + 240. Suppose -q - 3*q = -w. Does 13 divide q?
False
Suppose -q + 4*y - 7 = -20, 3*q + 2*y - 81 = 0. Suppose -2*v + q = -3*x, -x + 4*x + 40 = 5*v. Suppose -v*u + 311 = -29. Is u a multiple of 17?
True
Let n(u) be the third derivative of 277*u**6/120 - u**4/24 + u**2. Is 46 a factor of n(1)?
True
Suppose 403 = x - 3*t + 4*t, 0 = 2*x + 5*t - 809. Suppose -8*n + 11*n = x. Let j = n - 69. Is 13 a factor of j?
True
Let y = 16 + 29. Is 3 - 6/(-4)*(y + 1) a multiple of 5?
False
Let y(k) = k**3 + 18*k**2 + k + 38. Let l be y(-18). Let c = l - -19. Is c a multiple of 28?
False
Let z = 554 + 280. Does 67 divide z?
False
Let k(g) = 165*g - 270. Does 7 divide k(6)?
False
Let r(y) = -y**2 + 6*y +