2*z. Suppose z*l + 84 = 11*l. Is 16 a factor of l?
False
Let o(s) = -30*s - 93. Is 16 a factor of o(-13)?
False
Let s(h) = h + 18. Let o be s(-8). Suppose 661 = o*b - 179. Does 12 divide b?
True
Suppose 0 = -14*l + 11*l. Suppose l*i = -3*i + 135. Does 9 divide i?
True
Suppose 3*w + 9 = 0, 4*z - 3*z = -3*w + 3. Is 2/6 + -3 + 2276/z a multiple of 32?
False
Suppose -t = -2*d - 2, -2*d = 2*d + 2*t - 4. Suppose -10 = -d*u + 2*u. Let c(z) = z**3 + 6*z**2 - z. Does 15 divide c(u)?
True
Suppose -37*m = -29*m - 2320. Is 21 a factor of m?
False
Suppose 9*d - 4227 = -1077. Is 70 a factor of d?
True
Is 13 a factor of 18 - (-154)/(-11) - -512*1?
False
Let t be 117/17 + 2/17. Suppose 0 = t*r - 3*r - 376. Does 14 divide r?
False
Does 19 divide (-1*157)/(-4*(-7)/(-28))?
False
Let m(v) = -v**3 - 3*v**2 - 3*v. Let i be m(-3). Is i/((-18)/(-76))*1 a multiple of 38?
True
Suppose -2*b + 1 + 9 = 0. Suppose 74 = b*x - 46. Does 4 divide x?
True
Let o(i) = i**3 - 3*i + 27. Does 21 divide o(5)?
False
Let z be -4 + (-1)/((-4)/24). Suppose -z*n - f - 3 = 2*f, 3*n = 5*f + 5. Suppose -r = -p + 21, n*p - 4*r + 105 = 5*p. Is p a multiple of 4?
False
Let c be (-13 - 4)*1*-3. Let p = c - 33. Is 5 a factor of p?
False
Suppose 454 = 16*i - 1978. Is i a multiple of 3?
False
Suppose -w + 33 = 2*w. Let b = w + -1. Is b a multiple of 5?
True
Let n(t) = t**3 - 5*t**2 + 8*t - 4. Suppose 4*w = -5*d + 29, -2*d + 25 = 2*d + 5*w. Let m be n(d). Suppose 3*u = m + 39. Is 19 a factor of u?
False
Let q(r) be the second derivative of -7*r - 1/3*r**3 + 0 - 9/2*r**2. Does 19 divide q(-14)?
True
Does 43 divide ((-532831)/26)/(-17) - (-3)/(-2)?
True
Suppose 3*x = -b + 8*x + 27, 0 = 4*x - 8. Let g = b - -35. Does 18 divide g?
True
Let f(g) = 8*g**2 - 4*g - 1. Does 10 divide f(-2)?
False
Let y = 12 - 8. Let c(k) = k**2 + 16*k - 34. Let i be c(-18). Suppose 3*l = -y*b + 85, -5*l + 89 = -i*l + 2*b. Does 7 divide l?
False
Let n be (12/(-14))/((-3)/21). Suppose 3*y - n*y = -p - 1, -3*p = -2*y - 11. Suppose 0 = -y*h - 0*h + 8. Is 3 a factor of h?
False
Suppose 8*i - 3*i = 315. Let z = -35 - -32. Let n = i - z. Is 22 a factor of n?
True
Suppose -9052 = -42*m - 1786. Does 5 divide m?
False
Let k = -14 - -33. Let r = k + -22. Does 9 divide r/(((-12)/74)/2)?
False
Let v = 70 + -65. Suppose 0 = -v*z + f + 200, -5*f = 4*z + 55 - 215. Is 5 a factor of z?
True
Suppose 32*i - 24*i - 3656 = 0. Is i a multiple of 15?
False
Let l(g) = -g**2 - 3*g - 4. Let u be l(-5). Let s be u/(-7) + 1 + -6. Does 13 divide (6/4)/(s/(-78))?
True
Suppose -3*m = -10*m + 903. Let u = m - 21. Is 18 a factor of u?
True
Let j(y) = -2*y**3 - 9*y**2 - 4*y + 1. Is 19 a factor of j(-6)?
True
Suppose -b + 4 = -2. Let f(a) = -32*a - 95. Let i be f(-4). Let r = i - b. Does 10 divide r?
False
Let b(c) = 4*c**2 - 2 - c + 2*c**2 - 2*c - 4*c**2. Let v be b(-1). Suppose 3 = v*o + 3*g, -25 = 4*g - 5. Is o a multiple of 2?
True
Let o = 61 + -55. Let k = -43 + 71. Suppose -10*u + k = -o*u. Is 3 a factor of u?
False
Let c = 67 + 14. Is 3 a factor of c?
True
Suppose -3 = 4*k + 17. Let z be (-2 - k)*(0 - -1). Suppose 0 = -4*i - 5*s + 8, -z*i + 3*s + 19 = -2*i. Is i a multiple of 2?
False
Let h(s) = s**3 + 2*s**2 - 74*s - 5. Is 26 a factor of h(11)?
True
Suppose -17 = -2*t - 43. Let u = 59 - 19. Let a = u + t. Is a a multiple of 13?
False
Suppose 3*b = 12*u - 15*u + 10329, -u + 3447 = 3*b. Does 8 divide u?
False
Is 63 a factor of (322/(-184))/(2/(-1152))?
True
Let a(q) = 17*q**2 + 3*q + 2. Let m be a(-3). Suppose -5*t + 9 + m = 0. Is 4 a factor of t?
False
Let s = 5 - -4. Is 7 a factor of s/((-81)/(-138))*3?
False
Let p = 205 - 179. Is p a multiple of 24?
False
Let r(o) = -o**3 + 21*o**2 + 22*o + 21. Is r(22) a multiple of 7?
True
Let q be (-2)/(30/(-25) - -1). Suppose -q*z = -7*z - 60. Is 2 a factor of z?
True
Let g(v) = 12*v - 3. Suppose -q + 7 = -3*b, 2*b + 2*q - 3*q = -3. Let k be (3/b)/(8/(-32)). Is g(k) a multiple of 7?
False
Suppose 0*i + 157 = 2*f - i, f - 5*i = 65. Is 4 a factor of (-3*(-6)/6)/(3/f)?
True
Suppose n + 20 = 3*g, 2*g - 3*n = -2*g + 35. Suppose 2*m - 4*m + g = -5*f, -5*m = -f - 24. Suppose -2*v + 36 = z, 7*z - 4*z + m*v - 108 = 0. Does 18 divide z?
True
Suppose -3*j + 4*d + 31 = 0, 32 = 4*j + 3*d - 6*d. Suppose -2*m - 191 = -j*t, -3*t + 5*m + 108 = 6*m. Is t a multiple of 20?
False
Let v = -1723 + 1987. Does 28 divide v?
False
Suppose 1 = 5*w - 9. Let c(b) = 8*b - 4*b + 3 + 5 + w. Is 16 a factor of c(5)?
False
Let c = -754 - -859. Is c a multiple of 21?
True
Let o = -1014 - -1586. Is 22 a factor of o?
True
Let s be (72/(-15))/(1/(140/(-8))). Suppose -a + 4*c + s = 0, -c + 6*c + 87 = a. Is a a multiple of 10?
False
Let q(f) = f**2 - 3*f + 4. Let s be q(3). Let i = 6 - s. Suppose -i*k = 2*k - 32. Does 3 divide k?
False
Suppose 0 = -3*h - x + 9, -2*h = -0*h - x - 11. Is 44*(-1 + 6/h) a multiple of 11?
True
Suppose 3*l - 2*d + 4 = 3, 5*d = 3*l - 2. Let o(b) = -68*b**3 + 3*b + 3. Does 17 divide o(l)?
True
Let r(h) = h**3 + 6*h**2 - 6*h + 7. Let c be r(-7). Suppose -2*l + 10 + 10 = c. Suppose 3*b + 3*v = 3, 3*b + 1 = 3*v + l. Is 2 a factor of b?
True
Does 10 divide (-15987)/(-23) - 4/46*1?
False
Let d = -1 + -3. Let v be 75/12 - (-1)/d. Suppose x + 5*y - 17 = v*y, -3*y = -5*x + 91. Is x a multiple of 10?
True
Is ((-4)/10 + 33948/270)*18 a multiple of 47?
True
Does 12 divide (-12)/30 + 1552/5?
False
Let o(j) = 5*j**3 - 2*j**2 + 2*j. Let k(q) = -q**3 - 2*q**2 + 2*q - 1. Let f be k(-3). Does 9 divide o(f)?
True
Suppose -2*d + 2*p = -5 - 107, -4*d = -2*p - 228. Is d a multiple of 6?
False
Let b be (4/(-12))/(1/3). Let t(h) = 49*h**2 - 1. Let i be t(b). Suppose -6*q + 2*q = -i. Is 4 a factor of q?
True
Let p(d) be the second derivative of d**5/20 - 3*d**4/4 + 4*d**3/3 + 5*d**2/2 + 2*d. Let x be p(8). Suppose 3*q + x = 59. Is 9 a factor of q?
True
Let i(z) = z**2 - 39*z + 1104. Is 48 a factor of i(0)?
True
Let w(z) be the first derivative of z**2 - 14*z - 2. Let r be w(6). Is 17 a factor of r - -3 - 11*-3?
True
Let u = 236 - 129. Is u a multiple of 6?
False
Let y(s) = 2*s**2 + 16*s + 92. Is y(0) a multiple of 4?
True
Let n = 498 - 323. Suppose -5*x + n = 3*m - 389, -340 = -3*x - m. Is 23 a factor of x?
False
Let c = 11 + 691. Is 17 a factor of c?
False
Let t(y) = y**2 - 16*y - 15. Let o be (138/(-15))/((-7)/(70/4)). Is 18 a factor of t(o)?
False
Let t = -1012 + 1607. Does 5 divide t?
True
Is 7 a factor of 144/(6 - (-2 + 7))?
False
Suppose 3*v + 2*h - 2597 = -0*v, -2*h - 4 = 0. Is v a multiple of 51?
True
Let n(o) = -312*o**2 + 2*o - 2. Let w be n(1). Let y = -203 - w. Is y a multiple of 38?
False
Suppose -r = 4*f - 5 + 16, -4*r = -f - 24. Suppose -r = -2*o + 3. Suppose 0 = 3*h - 5*h + o. Is h a multiple of 2?
True
Suppose 2*b - 2 - 6 = 0. Is (-15)/(-2) + (-2)/b + 2 a multiple of 2?
False
Let k(i) be the second derivative of 23*i**3/6 + i**2 - 3*i. Suppose -n + 4 = 2. Does 16 divide k(n)?
True
Let x = 84 + -100. Is ((x/(-6))/2*42)/1 a multiple of 13?
False
Let j = 1932 - 1875. Is j a multiple of 57?
True
Let u = 12 + -15. Let c = u - -2. Is 8 a factor of (2/(-5))/(c/85)?
False
Is 303*5*(-44)/(-33) a multiple of 20?
True
Does 39 divide ((-7)/(84/208))/(2/(-18))?
True
Let q(t) = -t**2 + 8*t. Let x be q(8). Suppose x*l = 2*l - 70. Is l a multiple of 35?
True
Let s be (-991)/(-2) - 6/(-12). Suppose -3*b + 107 = -s. Suppose -5*l + 49 = -b. Is l a multiple of 22?
False
Let b(z) = 6*z**2 - 2*z. Let v be b(5). Suppose 2*q - 164 = v. Let f = q + -84. Does 17 divide f?
True
Let z = -6 + -21. Let t be ((-2)/(-6))/((-3)/z). Is t/3*(8 - -4) a multiple of 12?
True
Suppose -5*s - 77 = -4*m - 4*s, -4*s = 4. Suppose 3*h + 4*c = 75 - m, -2*h = 5*c - 35. Does 20 divide h?
True
Let u = 596 + -558. Is u a multiple of 3?
False
Let f(z) = z**2 - z. Suppose -18 = -6*n - 6. Let i be f(n). Suppose 5*l + i*c - 226 = 94, -c = 0. Is 25 a factor of l?
False
Let w = 5 + 4. Suppose 4*n + 2*r = 24, -4*n + 15 + w = 4*r. Suppose 3*a + 90 = n*a. Is 10 a factor of a?
True
Let s(h) = -h**3 + 3*h**2 + 9*h + 9. Is 2 a factor of s(-2)?
False
Let h(w) = 105*w + 210. Let j(g) = -30*g - 60. Let m(q) = 5*h(q) + 18*j(q). Is m(-12) a multiple of 45?
False
Let m be -1 - 96 - (4 - 1). Let d = 68 - m. Suppose 13*j = 9*j + d. Is j a multiple of 21?
True
Let a(h) = 12*h**3 - 4*h**2 + 4*h - 1. L