7*q - 4*y - 30. Let a = -10 - q. Suppose a*s + 3*o - 129 = 0, 2*o - 30 = -s - o. Is s a multiple of 16?
False
Let z be 54/(9/(-6) + 3). Let c = z - 0. Suppose 0 = 2*j - 4*a - c, 0 = 4*a - 9*a - 10. Does 6 divide j?
False
Suppose 26*i - 21387 + 301 = 0. Does 6 divide i?
False
Let x(y) = y**3 - 9*y**2 + 6*y - 9. Let t be x(8). Does 23 divide t/((-27)/6 + 4)?
False
Let y be 0/5*(1 + -2). Suppose r = -y*r + 11. Does 4 divide r?
False
Let r(v) = 5*v + 2. Let i be r(1). Suppose -768 = -h - i*h. Is h a multiple of 10?
False
Let i(c) = 3*c**2 - 12*c - 27. Is 12 a factor of i(-5)?
True
Let n(s) = -74*s - 2. Suppose -4*v - 6 = 2*v. Is n(v) a multiple of 12?
True
Let v be 2646/4 - (-17)/34. Let d = -88 + v. Is d/7*(-2)/(-4) a multiple of 11?
False
Let s(w) = -2*w**3 - 15*w**2 - 10*w + 60. Is 12 a factor of s(-10)?
True
Suppose 0*w - 4 = w, 5*w + 165 = 5*u. Is 28 a factor of u?
False
Suppose 3 + 33 = 9*s. Does 21 divide 2/s*20/(-10) + 148?
True
Suppose -10 = -4*i + 10. Let k = 71 + -68. Suppose -i*g = -3*t - 167, 3*g - 2*g = k*t + 31. Is g a multiple of 5?
False
Let y = -135 - -441. Is 9 a factor of y?
True
Suppose -3*d + b - 460 + 1986 = 0, -2*d + 1012 = -2*b. Is d a multiple of 34?
True
Let c(l) = 3*l**2 - 3*l - 16. Let y be c(5). Suppose -2*u + y = -72. Is u a multiple of 19?
False
Let g be 12*1*(-285)/10. Let s = g - -586. Suppose -4*c + s = 4*x, -165 = -3*c - 5*x + 16. Is 13 a factor of c?
False
Let z = -21 + 23. Suppose z*h - 298 = -2*f, 0*f + 3*h + 161 = f. Is 19 a factor of f?
True
Let r = 8680 - 4937. Is r a multiple of 62?
False
Suppose -14*q = -10*q. Suppose q = -g + 3, -6*g + 4*g + 58 = j. Is j a multiple of 13?
True
Suppose 397 + 7 = -4*c. Let d = -29 - c. Suppose -i = i - d. Is 29 a factor of i?
False
Is 3 a factor of (63/18 + -6)/(5/(-84))?
True
Suppose 2*q - c - 2*c = 15, -25 = q + 5*c. Suppose -m - 2*t + 7 = -q*t, 3 = 3*t. Suppose -6*l = -m*l - 13. Does 4 divide l?
False
Suppose -2*s + 4540 = 3*s. Suppose -n + s = 4*w, 3*w - 2*n = 2*n + 681. Suppose -4*v + w = -77. Does 21 divide v?
False
Let z = -2269 - -3881. Is 31 a factor of z?
True
Let o(p) = -2*p**2 + 4*p + 3*p**2 + 0*p**2 - 5 - p. Let z be o(4). Let x = -11 + z. Does 10 divide x?
False
Suppose -13*d + 18*d = 180. Let z = 21 - d. Let k = 20 + z. Is 5 a factor of k?
True
Suppose -3*v = -0*v - 15. Suppose 0 = 2*i + v*i - 203. Is 22 a factor of i?
False
Let a(d) = d**2 + 13*d - 16. Let b be a(-14). Is 42 a factor of (-8)/12*(b + -187)?
True
Let h(u) = 5*u**2 - 3*u + 24. Is h(-13) a multiple of 16?
False
Let h(v) = -v**3 + 8*v**2 + 9*v - 4. Let b be h(7). Suppose -3*y + b = y. Suppose -2*k + k + y = 3*i, -2*k = 3*i - 51. Is k a multiple of 8?
True
Does 22 divide (-6 - -602) + 0 + -2?
True
Let t(q) = -20*q - 10. Let l be t(-9). Suppose j + l = 6*j. Does 14 divide j?
False
Suppose n - 85 = -2*n - t, 5*n + 4*t - 144 = 0. Suppose 0 = -2*u - 3 + 5. Is 7 a factor of ((-5)/(-5))/(u/n)?
True
Let y(w) = 2*w**2 + 54*w - 220. Does 4 divide y(-31)?
True
Let a(f) = 6*f**2 - 2*f - 1. Let h be a(-2). Suppose i - 27 = 5*i - k, 0 = -5*i - k - h. Does 18 divide 108/(-8)*28/i?
False
Let q = -4756 + 8980. Does 32 divide q?
True
Let x = 1114 - 744. Is x a multiple of 5?
True
Suppose -4*r + 5*o - 3 - 34 = 0, 2*r + 13 = -3*o. Let a = -6 - r. Suppose -q + 22 = a*i, -6 + 70 = 3*q + 5*i. Does 9 divide q?
True
Let b be 2 - (2 - 3) - 8. Let p = -3 - b. Is 21 a factor of 1/(1*p/118)?
False
Suppose 60*i - 47*i - 40924 = 0. Is 14 a factor of i?
False
Let c(q) = -q. Is 3 a factor of c(-9)?
True
Let h = -5963 - -9113. Is h a multiple of 7?
True
Let v be (16/10)/((-24)/120). Is 4 a factor of v/36 + (-3)/(54/(-850))?
False
Suppose -2*g + 65 = 2*y - 31, 0 = 4*y + 5*g - 196. Does 17 divide (719/4 - -2) + 11/y?
False
Suppose 13 + 2 = u - n, -4*n = 5*u - 30. Let f = 225 - u. Suppose -3*h = 4*v - 0*v - f, 166 = 2*h - 3*v. Is 23 a factor of h?
False
Suppose -2*a - 12 = -3*p - 114, 5*p = -2*a - 186. Let b = p + 61. Is 5 a factor of b?
True
Suppose -5*y + 377 = 3*l, -2*y + 5*l + 53 = -73. Let j be -60*(2 + 4/(-3)). Let t = y + j. Does 8 divide t?
False
Let g(t) = -t**3 + 2*t**2 + 2*t + 1. Let s be g(-2). Let h be 2/(122/118 - 1). Let y = h - s. Is y a multiple of 23?
True
Let k = 228 + -1. Suppose k*q - 244 = 225*q. Is 12 a factor of q?
False
Let c(v) = 2*v**2 - 13*v - 8. Let n be c(7). Let h(i) = 53*i**2 + i. Is 11 a factor of h(n)?
False
Let v = -56 - -13. Let d = v - -117. Is 5 a factor of d?
False
Let w(b) = 27*b**2 + 8*b + 19. Is w(-4) a multiple of 22?
False
Let j = -115 + 133. Is (58/(-3))/(j/(-189)) a multiple of 29?
True
Let j(z) = z**3 + 9*z**2 + 2*z + 2. Let d be j(-9). Let r = -16 - d. Suppose r = -3*a - 9, g - 4 - 5 = -5*a. Is g a multiple of 5?
False
Suppose -5*s + 2*s = 3. Let f = 79 - s. Does 30 divide f?
False
Suppose -300 = 14*u - 2*u. Let h(m) = -m. Does 25 divide h(u)?
True
Is 50 a factor of (5 - 3)/(20/(-3710))*-3?
False
Let w = -55 + 253. Is 22 a factor of w?
True
Suppose -5*m + 10*m = 15. Let h(z) = z + m*z + 0*z**3 - 4 + 6*z**2 + 3*z - z**3. Does 7 divide h(6)?
False
Let z = 19 - 14. Suppose -5*k - 10 = 3*u, z*u - 13 + 3 = -3*k. Does 2 divide u?
False
Suppose 0 = -0*z - 2*z + 2. Let g = z - -4. Suppose 40 = -w + g*w. Does 5 divide w?
True
Suppose 4*s + 40*w - 42*w = 712, -8*w - 208 = -s. Does 41 divide s?
False
Let h be (-4 - (2 + -6)) + (1 - 80). Let a = -42 - h. Is 8 a factor of a?
False
Suppose 5*c - 5 + 30 = 0. Let v(i) = 6*i**2 + 6*i - 5. Let g be v(c). Suppose g = 4*b + b. Is b a multiple of 23?
True
Let r = 611 + -237. Does 9 divide r?
False
Let r be -1*(1 - 0) - -7. Let n be r/(-9) - (-8)/3. Suppose -n*d = 2*d - 24. Is d a multiple of 3?
True
Let k = -49 - -110. Is k a multiple of 5?
False
Suppose -5*o - 1 = -16. Suppose -o*q + 15 = 0, 334 = 4*n + q - 615. Suppose -n = 3*m - 7*m. Is m a multiple of 22?
False
Suppose -269 = -2*r + 249. Is r a multiple of 40?
False
Let k(x) = -x**3 - 9*x**2 + 11*x + 12. Suppose h + w - 50 = 6*h, -5*h + 4*w = 50. Let z be k(h). Let s = 8 - z. Does 4 divide s?
False
Let d = -150 + 690. Is 18 a factor of d?
True
Let p(v) be the third derivative of -v**6/120 + 2*v**5/15 - 5*v**4/24 + 2*v**3/3 - 16*v**2. Is p(7) a multiple of 9?
True
Is 143 a factor of 6 - (5 + (1 - 3446))?
False
Suppose -5*l - 152 = -2*n, -2*n = -3*n - 5*l + 91. Let m = 230 - n. Is m a multiple of 10?
False
Suppose -2*n - h = -72, n + 5*h - 4*h - 37 = 0. Does 3 divide n?
False
Is 13 a factor of (-204)/(-476) - (-27364)/14 - -6?
False
Is 6 a factor of 126/5*1330/399?
True
Let a(q) = -q**3 - 15*q**2 + 3*q + 4. Let b be a(-16). Suppose -6*j = -4*j - b. Does 9 divide 1/(2 - j/54)?
True
Let q(k) = -2*k**3 - 3*k**2 - 12*k - 51. Is 52 a factor of q(-7)?
True
Suppose 2 = 2*k - 2. Let r be (-164)/12*-3*3. Suppose k*f = -3*f - 15, -r = -5*a + f. Does 8 divide a?
True
Let h(w) = 2*w**2 + 7*w - 14. Let o be (-242)/22 + -1 + 5. Is 13 a factor of h(o)?
False
Let v(q) = 2*q + 90. Is 22 a factor of v(10)?
True
Let o(n) = n**3 + n + 17. Suppose 0*d + 5*k - 52 = -4*d, -k - 58 = -3*d. Let w = 18 - d. Is o(w) a multiple of 13?
False
Let u(t) = 8*t**2 - 9*t + 22. Is u(-7) a multiple of 3?
True
Let n(l) = 2*l - 3. Let a be n(8). Suppose -c = y - 4*c - a, -165 = -5*y - 5*c. Does 10 divide y?
False
Let x(w) = w**3 + 4*w**2 + 3*w. Let b be x(-2). Suppose 0*r = b*r + 8. Let c = 28 + r. Does 12 divide c?
True
Let c(k) = -56*k**2 + 1. Let x be c(-1). Suppose -12*q - 1199 = -11. Let n = x - q. Is 7 a factor of n?
False
Let a(l) = 26*l - 12. Suppose -4*m = -21 + 5. Is 19 a factor of a(m)?
False
Is 50 a factor of (-6)/(-18)*18 + 794?
True
Let l(j) = 2*j**2 + 15*j + 8. Let d be l(-7). Let f be (10 - 6) + -2*d. Suppose -f*x + 51 = x. Is x a multiple of 17?
True
Let y = -755 + 1638. Is 3 a factor of y?
False
Let m be (-30)/6 - ((0 - 1) + -2). Does 12 divide (0 + 1)*116 + m + 0?
False
Suppose 110176 = 17*y + 15*y. Does 11 divide y?
True
Let r(l) = 2*l**2 - 3. Let s be r(2). Does 32 divide (-15)/(s/(550/(-15)))?
False
Suppose 39*j = 45*j - 882. Is j a multiple of 23?
False
Suppose 5*h + 2975 = 2*r, 5*h - 1897 = -4*r + 4068. Is 10 a factor of r?
True
Let r = -97 - -61. Let l be -5*(r/(-10) - 3). Let b = 16 + l. Is b a multiple of 7?
False
Let d(y) = -4*y + 10. Let r be d(3). Does 15 divide 3/r + 315/10?
True
Suppose -15970 = -31*x + 1