 -4 = -t + 2*n + 10. Let w(c) = -c**3 + 19*c**2 + 22*c + 12. Does 52 divide w(t)?
True
Suppose z - 3*d = -2 + 10, 72 = 4*z - 4*d. Suppose 3*t = 22 + z. Suppose -2*v - 2*o = 3*o - 75, v = 5*o + t. Does 30 divide v?
True
Let f = -1355 - -1902. Is 20 a factor of f?
False
Let f be (1/(-3))/((-2)/18). Suppose 5*z + f*i + i - 32 = 0, -2*z - 2*i + 14 = 0. Is 4 a factor of z?
True
Let k = -1171 + 1855. Is k a multiple of 76?
True
Is (-148)/(-3) - 75/(-45) even?
False
Let c be (-9)/(-9)*1*2. Suppose 0 = c*k + 2*t - 44, 5*k = t + t + 103. Suppose -2*l + k = 3*q, -5*l - 3*q = -9*l + 15. Does 4 divide l?
False
Suppose 12*i = 4767 - 1335. Is i a multiple of 11?
True
Let v(d) = 21*d**3 + 4*d**2 - 10*d + 4. Is 52 a factor of v(2)?
False
Let k(r) = -r**2 + 13*r + 33. Let b be k(15). Suppose -3*z = b*x + 8 - 74, 5*x + 2*z - 101 = 0. Does 7 divide x?
False
Let v(j) = j - 11 - 3*j + 4*j - 7. Let p be v(11). Is 32/(0 + p/8) a multiple of 13?
False
Let k = 750 - 429. Let f be 2/(k/(-327) - -1). Suppose -6*j = -2*s - 3*j + f, -3*s - 3*j + 141 = 0. Does 13 divide s?
False
Let r be (-12 + 10)/((-2)/4). Suppose -6*y + 2*y - 5*i + 223 = 0, 3*y - 166 = -r*i. Is y a multiple of 13?
False
Suppose 4*v + 2*w - 169 = 2653, 0 = 5*v + 3*w - 3529. Is 13 a factor of v?
False
Suppose -2*q + 110 = 2*p, 5*q = 3*q - 4*p + 112. Does 9 divide q?
True
Let o = -13 - -15. Suppose 0 = -o*v - v - 9. Let u = 6 + v. Is 3 a factor of u?
True
Let u(n) = n**2 - 3*n + 4. Let p be u(4). Suppose p = -l + 2*q, q = 2*l - 0*q + 4. Suppose l*a + 55 = a. Is a a multiple of 13?
False
Let b = -31 - -29. Let o be b/7 - (-120)/28. Does 7 divide -2*((-86)/o - -2)?
False
Suppose 2*h + 3*x - 11 = -0*x, 4*h + 5*x - 25 = 0. Let z be ((-5)/h)/((-2)/12). Suppose -3*i = 4*p - 123, 4*i + 2*p - 164 = z*p. Does 16 divide i?
False
Let z(i) = -11*i**3 - 3*i**2 - 2*i - 3. Suppose -5*t = -0*m - m - 8, -5*m - 2*t - 13 = 0. Does 13 divide z(m)?
True
Is 18 a factor of (1512/(-45))/(-14)*585?
True
Let h(n) = 144*n - 5. Let u be h(2). Suppose 2*y + m + u = -0*y, 5*y = 4*m - 688. Is ((-20)/(-25))/((-8)/y) a multiple of 11?
False
Suppose -43 = -2*q + 13. Suppose 4*m + q = -4*f, 2*m = 5*m + 2*f + 16. Is (-5 - m)/(-1 + 0) even?
False
Let b(g) = -g**3 + 6*g**2 + 6*g + 2. Suppose -5*s - 13 = -u - 38, -32 = -2*s - 4*u. Does 16 divide b(s)?
False
Suppose 0 = -y + 3*j + 9, 0 = -4*y - y - 3*j + 9. Suppose 5*f + 2*m - y*m = 833, -f - 3*m = -173. Is f a multiple of 18?
False
Suppose 5*d = -2*p - 0*p - 1043, 3*p = 5*d + 1023. Let t = d + 350. Is t a multiple of 32?
False
Let n(h) = h**3 + 31*h**2 + 9*h - 41. Is 12 a factor of n(-29)?
True
Suppose j - 783 + 594 = 0. Is 27 a factor of j?
True
Suppose -k + 160 = 4*k. Suppose -3*g + k = 5*y, 0*y = -g + y. Suppose -g*i = -41 - 7. Is i a multiple of 10?
False
Suppose 7*p - 81 = 4*p. Suppose -p*l + 23*l = -128. Is l a multiple of 32?
True
Suppose 3*f + 15 = -3*p + 2*p, -4*f = 8. Does 3 divide 2 + 3*(-3)/p?
True
Let g(u) = 75*u**2 - 5*u - 5. Suppose 5 - 1 = -4*l. Is 3 a factor of g(l)?
True
Let u(v) = -809*v**3 + 8*v**2 + 8*v + 1. Is u(-1) a multiple of 54?
True
Let x be (-180)/6 + -3*1. Let w = 129 + x. Suppose 2*l + 3*q - w = -l, -4*l + 125 = 5*q. Does 35 divide l?
True
Let g(a) = 7*a**2 - 7*a - 4. Let z(p) = -8*p**2 + 8*p + 5. Let x(r) = -7*g(r) - 6*z(r). Let o be x(0). Let m(y) = -14*y - 3. Does 10 divide m(o)?
False
Suppose 592 = -4*x + h, x + 2*h = -0*h - 157. Let c = 224 + x. Is c a multiple of 22?
False
Let n(s) = s**3 - 6*s**2 - s - 2. Let r be n(6). Let t be (-2 - -1)*(-5 - r). Let z = t + 13. Does 8 divide z?
False
Let r = 125 + 7. Is r a multiple of 33?
True
Is (-6)/(-8) - 453238/(-184) a multiple of 14?
True
Let c(m) = 2*m + 9. Suppose 2*z - 18 = 2*l, 4*z - 3*l = -0*l + 39. Is 7 a factor of c(z)?
False
Let n be (-2 + 33/6)*12. Is (n/(-35))/(1/(-85)) a multiple of 17?
True
Let o(f) = -4*f. Let t be o(-1). Does 12 divide 4*t + -1 + 2?
False
Suppose 5*y + 7*a = 4*a + 1797, 0 = 2*y - 5*a - 725. Suppose g + y = 5*g. Suppose x - 42 = 5*j, -3*j = -5*x - 2*j + g. Is x a multiple of 6?
False
Let t = 31 - 29. Suppose -t*g - 36 = -3*u + g, -3*u + 2*g + 33 = 0. Is u a multiple of 4?
False
Let o = -10 - -12. Suppose o*l = -4*c - 586, 0 = 4*l + l + 5. Let d = -88 - c. Is 16 a factor of d?
False
Let k = 395 + -170. Is k a multiple of 10?
False
Let y = 71 - 66. Suppose -2*b + 0*d + d = -39, -y*b + 117 = 4*d. Is b even?
False
Suppose -5*b - 4375 = -5*s, -23*b + 4357 = 5*s - 22*b. Is s a multiple of 34?
False
Suppose -5*p = -2*q - 10, 3*q - 5*p + 10 = -0. Suppose -8 = -2*g - 4. Suppose 0*u + 8 = g*u, -3*c + 2*u + 127 = q. Does 12 divide c?
False
Suppose -2*u + 17*u + 45 = 0. Let k(y) = -18*y - 27. Is 3 a factor of k(u)?
True
Suppose -90*k = -75*k - 22080. Does 92 divide k?
True
Suppose 13*s = 8*s + 10. Let q(o) = 25*o**s + o + 42*o**2 - 2*o**2. Is 22 a factor of q(1)?
True
Let b = -28 - -4. Is (3 - 1)/((-2)/b) a multiple of 24?
True
Suppose 2*k - k + 1 = 0, 2*k = -2*q + 6. Suppose 5*a = q*a + 6. Suppose 135 = a*g - g. Is 20 a factor of g?
False
Let a(n) = 2*n**2 - 54*n + 253. Does 81 divide a(34)?
True
Is (50/7)/(7/245) a multiple of 5?
True
Let d(k) = k**3 - 2*k**2 - k - 4. Let a be d(3). Let t(l) = 2 + 2*l - a. Is 6 a factor of t(6)?
True
Let l be ((-20)/(-50))/(1/5). Suppose 4*s = -5*b + 220, -6*b = l*s - 2*b - 116. Let w = -28 + s. Is 11 a factor of w?
True
Suppose -9 = -18*x + 15*x. Suppose z = 5*u - 100, -u + 5*z = -x*u + 40. Does 5 divide u?
True
Let c(z) = -14 + 10 - z - 2*z. Let q be c(-4). Does 14 divide ((-38)/q)/((-1)/12)?
False
Let w(t) = -t + 1. Let q(l) = 4 - 6*l + 0*l**2 - 3*l**2 + 2*l**2. Let m be q(-7). Is 3 a factor of w(m)?
False
Let x = 15 - 15. Suppose -25 = -x*z - 5*z + 3*d, 0 = 3*z - 5*d - 31. Suppose 4 = z*f - 34. Does 19 divide f?
True
Let r = -3424 + 5580. Is 22 a factor of r?
True
Suppose 2*h - 39 = 4*x + 35, 199 = 5*h + 4*x. Let b = h + -24. Is b a multiple of 5?
True
Suppose -s = 5 - 4. Let h be -6*s*524/12. Suppose -90 = 2*f - h. Does 26 divide f?
False
Let c(o) = -3*o**2 - 2*o + 3. Let x be c(-3). Let m = -16 - x. Suppose 6 = -b + 5, -4*h = -m*b - 218. Does 13 divide h?
False
Let l = 4 - -13. Suppose l = -4*h + 105. Suppose -h = 4*m - 5*m - 3*g, 0 = 4*m + 3*g - 115. Does 13 divide m?
False
Let a = 2176 + -1279. Suppose 3*y - 1514 = -v - 4*v, 3*v - a = 2*y. Does 43 divide v?
True
Suppose -5*b = -a - 35, -2*a + 3*a + 11 = b. Suppose -37 = -2*l - b*f + f, 19 = l + 3*f. Is l a multiple of 4?
True
Let q = 12 - 7. Suppose 3*h = -6, q*l - h - 1 = 2*h. Is 4 a factor of l/(-1)*90/15?
False
Suppose -5 = 4*m - n, 0 = -2*m + 5*n - 3*n - 4. Does 3 divide (-7 - -15) + 3 + m?
False
Is (-14 - 1612/(-117)) + (-19928)/(-9) a multiple of 18?
True
Let v be ((-2)/4)/((-20)/280). Is 13 a factor of 4 - 1 - (-17 + v)?
True
Let j be 0/(-6 + 5 + 0). Suppose -i - 4*d = -76, j = -2*d - 8. Does 46 divide i?
True
Suppose 5*f - 3*k - 5186 = 3127, 0 = f - k - 1661. Is 32 a factor of f?
False
Let q(p) = p**2 - 5*p + 18. Let a be q(13). Let k = a - 42. Is 30 a factor of k?
False
Suppose -48 = -10*c + 7*c. Let r(g) = g**2 - 5*g + 45. Is r(c) a multiple of 13?
True
Let j(m) = -6 - 8 - 16 + 9*m. Is j(4) a multiple of 4?
False
Suppose -54*m = -48*m - 3900. Does 25 divide m?
True
Suppose -2*f = -0*f - 434. Suppose 155 = 3*u - f. Suppose 0 = -4*d - 0*d + u. Is 19 a factor of d?
False
Let m = 24 - 22. Suppose -m*q + 7*q = 75. Is 3 a factor of q?
True
Let g(v) be the first derivative of v**4/4 + 2*v**3 + 2*v + 7. Let q be g(-6). Suppose 0 = q*o - 69 + 13. Is o a multiple of 6?
False
Let m(o) = 24 + 4*o - 2*o**2 + o**3 - 2*o**3 - 22. Let b = -8 + 4. Is m(b) a multiple of 6?
True
Suppose 3*t - 4*a - 241 = -2*a, -5*t = -a - 404. Does 6 divide t?
False
Let y(h) = -4*h - 9. Let t be y(6). Let a be (-979)/t + (-2)/(-6). Is 16 a factor of 48/a*8*5?
True
Suppose q + q = -52. Is 45 a factor of (-1383)/(-6) - 13/q?
False
Let a = 441 + -97. Does 13 divide a?
False
Suppose -2*n - 5*d - 7 = 0, 3 = -4*n + 3*d + 2. Let l be n/((20/216)/(-5)). Does 17 divide 151/9 - (-12)/l?
True
Let k(g) = -4*g + 8 - 2 - 40 - 6*g. Is 18 a factor of k(-7)?
True
Suppose 316 = 8*u - 4*u + 3*a, 3*a = -2*u + 164. Is u a multiple of 6?
False
Let b be 1/3 + (-16400)/60. Let a = b - -483. Is 15 a factor of a?
True
Let t = -26 + 27. Let z(l) = l*