- 85 = -2*y, -3*k - 7*y - 91 = -3*y. Let w = k + 57. Is 20 a factor of w?
False
Suppose 0 = 3*k + 6*j - j, k - 4*j - 17 = 0. Suppose k = -4*b - b. Is 3 a factor of 8 - 2 - (b + -2)?
True
Suppose -4*v - 3*i = -23, 3*v + 4*i - 28 = -v. Suppose 5*r + 54 = v*o, -2*o + 154 = 3*o - 3*r. Is 16 a factor of o?
True
Let z(t) = -t + 3. Is 3 a factor of z(-4)?
False
Suppose -17 - 67 = -3*j. Let h = j + -28. Suppose h = 7*p - 27 - 78. Is 15 a factor of p?
True
Let u(c) be the first derivative of -c**2/2 + 7*c + 5. Let v be u(13). Let f = 50 + v. Is 11 a factor of f?
True
Let q be 0 + (-1)/1 + 5. Suppose -2*b + 2*g = -4*b, 5*g = -4*b - 3. Suppose 4*m + q*n = 184, b*m + 5*n - 146 = 4*n. Does 13 divide m?
False
Suppose -2*q + 2 = -0*q - 5*u, 0 = 2*u. Is 11 a factor of (-24)/(-9)*q*(-27)/(-1)?
False
Suppose -4*i + 217 + 67 = 0. Let o = i + -43. Is 12 a factor of (24/28)/(1/o)?
True
Does 26 divide -3*(-1939)/(-105)*-5?
False
Suppose -25*t = -523 - 1802. Is t a multiple of 4?
False
Is (-4)/(-2) + (14 - (-13 - 30)) a multiple of 6?
False
Suppose 3 + 15 = 2*l. Suppose 0 = l*g - 422 - 118. Is 15 a factor of g?
True
Suppose q + 21 = 2*q. Suppose -19*x = -q*x + 36. Does 3 divide x?
True
Let o(g) = -g**2 + 10*g + 3. Let n be o(10). Suppose -m - 2 = -2*m, 5*t - n*m - 464 = 0. Let k = -25 + t. Is 23 a factor of k?
True
Is 28 a factor of (-60475)/(-20) - 15/(-60)?
True
Suppose 4*v + 0*v = 112. Suppose i - 3*d = 28, -i - v = -2*i - d. Is i a multiple of 21?
False
Suppose 4*w - 3*h = 5878, -w + 3*h - 805 = -2279. Is w a multiple of 9?
False
Suppose -4*x + 320 = 112. Is x a multiple of 13?
True
Suppose 2*v + 2*p - 136 = 0, 4*v - 162 = 4*p + 102. Is v a multiple of 67?
True
Let y be (-2)/4 - 25/(-2). Suppose 4*c = -y + 48. Is c/1*(-1 + 7) a multiple of 18?
True
Let k(o) = 4*o + 0*o + 12 + 5*o - 3*o. Let i be k(-9). Does 7 divide (-282)/i - 2/(-7)?
True
Suppose 0 = -3*w - 2*w + 75. Suppose 13 = -f + 4*u, -2*u = 2*f - 0*f + 6. Let d = f + w. Is d a multiple of 3?
False
Let i(t) = 23*t**3 + 3*t**2 - t + 5. Is i(4) a multiple of 11?
False
Suppose -42 = -3*t - 9. Suppose -n = -r + t, n = -2*r - 2*n - 3. Does 3 divide r?
True
Let m be 76/6*18/4. Let i be 1/(10/8) + 649/295. Suppose m = 4*g - i*g. Does 19 divide g?
True
Let k(h) = 0*h**2 + 16*h**3 - 14 - 9*h**3 - 8*h**3 - 3*h - 7*h**2. Is 17 a factor of k(-8)?
False
Suppose i - 1 = -2*v + 11, -i - 3*v + 17 = 0. Suppose i*g - 4*a = g + 20, -g + a = -8. Suppose -28 = g*u - 140. Is u a multiple of 21?
False
Suppose -3 - 3 = -2*m. Suppose 3*n - v = -4*v + m, -2*n = 5*v - 8. Let j = n - -64. Is 21 a factor of j?
True
Let j = -68 + 10. Suppose 15 = -3*l, 0*v = v - 4*l - 120. Let n = v + j. Is 14 a factor of n?
True
Let z = 8 + 47. Let m = 22 + z. Is 4 a factor of m?
False
Let y(w) = 2*w - 2. Let b be y(-2). Is (1 + 32)/((6/b)/(-1)) a multiple of 4?
False
Let l(g) = 2*g**3 + 38*g**2 - 39*g + 38. Let h be l(-20). Let j be ((-11)/3)/(-1)*3. Let q = h - j. Is q a multiple of 2?
False
Let b = 35 - 32. Is 11 a factor of ((-1)/b)/((-12)/1188)?
True
Suppose 0 = -5*d - 256 - 274. Let w = d - -174. Suppose 2*n - 4*n + w = -3*i, -n = -4*i - 44. Does 7 divide n?
True
Suppose -y = y - 12. Suppose y*p = p + 35. Is p a multiple of 2?
False
Let l = -61 - -75. Is (l/(-4))/7*-334 a multiple of 15?
False
Let k(r) = r**3 + 12*r**2 + 11*r + 5. Let n be k(-11). Suppose 0 = 4*q + 2*o - 196, n*q - 3*o - 82 = 185. Is 31 a factor of q?
False
Let h = 518 - -522. Is h a multiple of 16?
True
Let t be (-3)/4 - (-266)/56. Suppose -5*g + g - 112 = -t*w, 2*g + 131 = 5*w. Is 10 a factor of w?
False
Let z be 19/7 - 2/(-7). Suppose z*d + 2*d - 18 = -l, -l + 3 = 0. Does 22 divide ((-4)/(-10))/(d/165)?
True
Suppose -q - 129 = -2*c, 2*q + 5*c = -3*q - 600. Let g = -42 - q. Let m = g - 39. Does 21 divide m?
True
Suppose -10*a + 395 = -15*a. Let l = -52 - a. Is l a multiple of 3?
True
Let p = -207 + 217. Is p a multiple of 10?
True
Let g(m) be the second derivative of m**4/12 + 5*m**3/6 - 3*m**2/2 + 4*m. Let k be g(-5). Let l(b) = 7*b**2 - 2*b + 3. Does 21 divide l(k)?
False
Let y = -140 - -757. Is 10 a factor of y?
False
Suppose -5*y - 243 = -5*w + 2177, -w + 5*y + 468 = 0. Is 61 a factor of w?
True
Let u be ((-150)/(-2))/(2/6). Is 3 a factor of u/(30/(-6))*1/(-3)?
True
Suppose 90*a - 96*a + 2784 = 0. Is 16 a factor of a?
True
Let n(x) = x + 24. Suppose -2*j = 2*j + 28. Let s be n(j). Let a = s + 3. Does 10 divide a?
True
Let a(u) = -34*u - 4. Let k be a(-1). Suppose 6*l - 5*z = 3*l + 27, -l - 5*z - 11 = 0. Is (l*-1)/((-6)/k) a multiple of 5?
True
Let i(h) = 13*h - 49. Let a be i(7). Suppose 9*m - 16*m = -a. Does 6 divide m?
True
Suppose 13*m + 620 = 17*m + 5*b, -3*b = -4*m + 588. Is m a multiple of 6?
True
Let p(h) = -4*h - 24. Suppose -75 = 12*u + 69. Is p(u) a multiple of 11?
False
Suppose 0 = -5*k + 4*p - 5*p + 401, 2*k - 165 = -5*p. Does 20 divide k?
True
Let a(u) = u**2 - 9*u - 85. Is 2 a factor of a(-10)?
False
Let l be (-1)/(-3) - 687/9. Let p be 4/18 + l/18. Is 18 a factor of ((-2)/p)/((-1)/(-36))?
True
Suppose -21 = -0*a - 7*a. Let i be 992/6 - (-10)/(-30). Does 8 divide i*((-8)/a - -3)?
False
Let k be ((-10)/(-10))/((-1)/(-5)). Suppose -k*m = -5*p - 15, 0*p + 12 = 4*p + 4*m. Suppose 2*i - 6*i + 148 = p. Does 19 divide i?
False
Let w(a) = -6*a - 15. Let i be w(-3). Suppose -z - v + 117 = 0, 2*z - 16 - 214 = -i*v. Is 12 a factor of z?
False
Let b(w) = w + 2. Let i be b(1). Is 12 a factor of (-5 - (i + -7))*-25?
False
Let a = 7 - 3. Suppose -2*j + 235 = -3*n - 0*n, 5*j = 2*n + 560. Suppose a*d = -d + j. Is d a multiple of 11?
True
Let g(c) = c**2 - 6*c - 6. Let u = 5 + -3. Suppose -3*m - x - x = 20, -5*m - u*x - 28 = 0. Is 15 a factor of g(m)?
False
Let z(f) = -5*f**3 - f**2 - 15*f + 13. Is z(-9) a multiple of 40?
False
Let p(q) = 2*q - 9. Let a be p(7). Suppose 4*c = 2*v + 9 + 9, a*v - 9 = c. Is 2 a factor of c?
True
Let z(s) = 5*s**2 + 11*s + 28. Is 49 a factor of z(-5)?
True
Let r be (-5)/(-2*5/10). Suppose 4*b = r*k - 256, -2*k = k - 2*b - 152. Is 22 a factor of k?
False
Let b(n) = -n**2 - 22*n - 21. Is 17 a factor of b(-10)?
False
Suppose -369 = -2*n - u, 2*u - 3*u - 5 = 0. Let b = n + -122. Does 15 divide b?
False
Let p be ((-2)/(-3))/((-7)/(-189)). Let l be (-135)/p - (-1)/(-2). Does 6 divide (l/(-6))/((-14)/(-63))?
True
Let z = 320 - 244. Is 16 a factor of z?
False
Let g(p) = p**3 - 13*p**2 - 2*p + 22. Let d be g(13). Let z(l) = -l**3 - 3*l**2 - 4*l - 2. Does 3 divide z(d)?
True
Let m = -187 + 89. Is (252/m)/((-1)/(-7))*-4 a multiple of 24?
True
Let t = 831 - 782. Let a be 8/(-10)*(-4 - 1). Suppose h + 3*j - t = 0, j - 6*j = -a*h + 179. Is 23 a factor of h?
True
Suppose c - 165 = 2*w, 3*c - 468 = 4*w - 7*w. Suppose d = -4, 4*z - 217 = -5*d + c. Is z a multiple of 9?
True
Let o(g) = -53*g + 47. Is o(-7) a multiple of 38?
True
Let b(d) = 8*d - 18. Let z = -19 - -28. Does 18 divide b(z)?
True
Let b(u) = 2*u**2 + 15*u - 28. Is b(8) a multiple of 5?
True
Let n(l) = l**2 - 5*l - 13. Let m be n(13). Let o be m + 3/(-6)*-2. Suppose 0*q - 2*q = -o. Is q a multiple of 15?
False
Let h(z) = z**3 + 3*z**2 - 7*z - 13. Let i be h(-4). Is 28 a factor of (i - -4) + (-159)/(-3 - 0)?
True
Let h = -74 - -134. Is h a multiple of 4?
True
Suppose 5*i + 25 = 0, 0*u - 4*i - 415 = -5*u. Is u a multiple of 79?
True
Suppose 2*p + 5*x = -1, -2*p + x + 0*x + 5 = 0. Suppose 2*i - i + 66 = p*o, -2*o = -3*i - 58. Is o a multiple of 5?
True
Let m(i) = -7*i**2 + 2*i. Let d(v) = 22*v**2 - 7*v + 1. Let s(n) = 3*d(n) + 8*m(n). Suppose 7*r - 178 = -164. Is 11 a factor of s(r)?
True
Is 57 a factor of (2 - (-9)/(-3))*(-354 - -5)?
False
Let b(q) = 8*q**2 + q. Suppose -20 = 2*o - 5*r, -2*r + 0*r = -8. Let v be 1*(-1 - o) + -1. Does 9 divide b(v)?
False
Suppose -33*t - 14*t = -8460. Is 6 a factor of t?
True
Let a be 4 + -5 + 4 - 25/(-1). Suppose -6*w - a = -7*w. Is 14 a factor of w?
True
Let g = 30 + 82. Suppose -5*n + 558 = -g. Is 12 a factor of n?
False
Suppose -918 = 35*u - 38*u. Does 34 divide u?
True
Let r = -9 + 12. Suppose -5*l + r - 23 = 0. Is 14 a factor of (410/(-15))/(l/6)?
False
Suppose -96 = 33*q - 37*q. Suppose 0 = 4*u - 3*u - 5. Suppose -5*n + 5*z = u - 20, 0 = 2*n + 4*z - q. Does 4 divide n?
False
Suppose 5*q - 15 = 5*h, h + 0*q + 13 = -q. Let z be 10 + h + -1*5. Is 12 a factor of (z