2*o + 14 = t*o. Is 6 a factor of o?
False
Suppose 21 = 2*z - 27. Suppose -h + z = 2*i, h - 114 = -3*h - 2*i. Does 13 divide (-2)/(1 - h/26)?
True
Suppose -5*o = 5*p - 371 - 14, 5*p = -15. Does 16 divide o?
True
Let o = -8 + 10. Let g(q) = -q**3 + 2*q**2 + q + 1. Is 2 a factor of g(o)?
False
Suppose 14*f + 1380 = 19*f. Is f a multiple of 23?
True
Let w(d) = 3*d + 0 - 6*d**2 + 0*d - 7 + 0*d**3 + d**3. Is w(6) a multiple of 4?
False
Suppose -83 = -4*m - 27. Is m a multiple of 3?
False
Let q(p) = -p**3 + 13*p**2 - 14*p - 6. Does 34 divide q(8)?
False
Suppose 3*i - 46 = -4. Does 2 divide i?
True
Let h(o) = -o**2 - 7*o + 5. Suppose c - 23 = -3. Suppose -4*f - c - 8 = 0. Is h(f) a multiple of 2?
False
Let c(b) = -9*b + 18. Does 16 divide c(-12)?
False
Let s = 216 - 114. Suppose h = 4*h + s. Let t = h - -50. Is 8 a factor of t?
True
Let d be 1/4 - 39/(-4). Let j = 77 - 78. Is (5 - j)/(2/d) a multiple of 15?
True
Let u = -2 - -6. Let k = 8 - u. Suppose -k*f + 14 = 2. Is f a multiple of 2?
False
Let y(h) = -2 + 2*h + 2. Let i be y(-1). Is (i/4)/((-2)/56) a multiple of 14?
True
Suppose 5*r + 0*r = 475. Let g = r - 41. Is g a multiple of 9?
True
Let n(p) = -11*p - 8. Let y be n(-8). Suppose 2*q - y = -3*q. Is 8 a factor of q?
True
Suppose 4*z - 476 = -0*z - 4*a, -5*z = a - 583. Is 5 a factor of 4/(-16) - z/(-16)?
False
Suppose 0*w = 3*w. Does 13 divide (4 + -5)*(-26 + w)?
True
Suppose -81 = -3*m - 0*m. Suppose -3*r + 2*d = -m, 6*r - 4*d + 1 = 5*r. Is 4 a factor of r?
False
Let k(i) = 2*i**2 - 5*i + 7. Let o be -2*(-3)/(-6)*-2. Suppose 0 = -o*h + 3*h - 6. Is k(h) a multiple of 17?
False
Let i(r) = -r**3 + 13*r**2 - 11*r - 10. Let q be i(12). Let u(j) = 2*j**2 + j - 1. Does 9 divide u(q)?
True
Does 11 divide (-8)/(-28)*1 + (-4308)/(-14)?
True
Let w = 4 - 2. Suppose 0*i = w*i - 4. Is i a multiple of 2?
True
Let h(d) = -1188*d. Let y(k) = 29*k. Let f(w) = 4*h(w) + 165*y(w). Let n be f(-5). Is 15 a factor of (n/(-25))/((-2)/(-10))?
False
Let c be 5*3/2*6. Suppose 0 = p - 4*o - 20, c = 2*p - 5*o + 17. Suppose 4*w - 148 = -p*z, -2*w + 60 = z - 9. Is 17 a factor of w?
False
Let p(t) = t**2 + 4*t + 4. Let y be p(-4). Suppose 2*z - 3*d - 48 = 0, 5*d = -y*z + 163 - 23. Does 9 divide -1*(z/(-2) + 2)?
False
Let h(t) = t**3 + 11*t**2 - 3*t - 15. Does 44 divide h(-9)?
False
Let d = -65 - -130. Is 11 a factor of d?
False
Let d(o) = o**2 - 6*o + 6. Let s be d(6). Suppose 9*z = s*z. Let x(k) = k**3 - k**2 + k + 41. Does 22 divide x(z)?
False
Suppose t + 15 = 3*f, -f - 2*f = 4*t + 75. Is 6/t + 7/3 a multiple of 2?
True
Suppose -x = -0*x - 3*s - 10, -s = -3*x + 6. Let z(o) = 32*o**2 - 2*o + 1. Is z(x) a multiple of 10?
False
Suppose 2*b = d + b - 94, 2*b + 482 = 5*d. Does 21 divide d?
False
Does 43 divide 47 - (17 - 1)/4?
True
Let p = 392 - 243. Is 18 a factor of p?
False
Let w = -12 - -7. Let m(g) = 2 - 2*g**2 + 0*g**2 + 8*g + 3 - g**3. Is m(w) a multiple of 14?
False
Let v be 1/7 - (-2)/(-14). Is 30/(0 - -1 - v) a multiple of 16?
False
Is 46 a factor of (2/4*17 - -3)*16?
True
Suppose -5*w + 141 = -3*v, -39 = -0*w - w - 3*v. Is w a multiple of 15?
True
Suppose h - 35 = -2*m + 62, 5*m + 3*h - 241 = 0. Is m a multiple of 34?
False
Suppose 0 = 5*v - 15 - 90. Is 10 a factor of v?
False
Suppose 429 = 3*u - 156. Does 39 divide u?
True
Suppose -4*t + t = -3. Is 8 a factor of 4/((3/18)/t)?
True
Suppose 3*u = 6 + 9. Does 5 divide u?
True
Suppose -5*w = -g, 0 = -g + w - 6*w + 10. Let c = g + 3. Does 4 divide c?
True
Let h = 697 + -313. Suppose -4*i - 2*n = 3*n - h, -3*i = 2*n - 281. Is i a multiple of 15?
False
Suppose 0 = d - 2*l + 2, 0 = -5*d + l - 5*l + 18. Suppose q + a = -56, -2*q - a - 109 = d*a. Let k = q - -88. Is 10 a factor of k?
False
Let r(y) = y**3 + 6*y**2 - 9*y - 9. Is r(-7) a multiple of 2?
False
Let k = 2 - -3. Suppose k*b - 4*b = 41. Is b a multiple of 16?
False
Let n(k) = -k**3 - 13*k**2 - 12*k. Let o be n(-12). Suppose 2*v + 4 - 46 = o. Is 9 a factor of v?
False
Let w(o) = 2*o**3 - 5*o**2 + o + 1. Let s be w(5). Let x = -86 + s. Is x a multiple of 15?
True
Let a be 6/(-9) - (-67)/(-3). Let d = a - -7. Is (9/(-4))/(6/d) a multiple of 5?
False
Let m = -8 - -21. Does 13 divide m?
True
Suppose 13 = 4*l - 7. Suppose 23 = 2*u - 10*f + l*f, -4*u + 5*f = -41. Is 9 a factor of u?
True
Let j(i) be the third derivative of i**4/4 - 4*i**3/3 + i**2. Is j(6) a multiple of 12?
False
Let c(k) = -6*k + 10*k - 4*k**2 + 6 + 3*k**2 + 7*k. Does 3 divide c(11)?
True
Is ((-27)/18)/(0 - (-1)/(-6)) a multiple of 2?
False
Suppose -4*g + 22 = 5*v - 42, -4*g + 5*v + 104 = 0. Does 21 divide g?
True
Let g = 25 - -50. Suppose 3*a - g = -0*a. Does 18 divide a?
False
Let x(y) = -y**2 + 11*y - 10. Is 8 a factor of x(7)?
False
Suppose 5*v = 0, 4*b - 2*b - 2*v = 62. Let d = b + -9. Does 6 divide d?
False
Let f = -102 - -63. Suppose -2 - 1 = -p, 5*n - 5*p + 295 = 0. Let v = f - n. Does 16 divide v?
False
Let g(o) = -o**2 + 61. Let t = 3 + -3. Is g(t) a multiple of 17?
False
Suppose 0 = 2*c + 2*c + 3*l - 177, 230 = 5*c + 2*l. Is 12 a factor of c?
True
Suppose 2*z - 38 = -0. Does 19 divide z?
True
Suppose -3*a = -6, 0 = 3*i + 5*a - 19 - 9. Let g = i + -15. Let t = 25 + g. Is t a multiple of 16?
True
Suppose 3*j + 100 = 7*j. Suppose -5*b + j = -0*b. Does 2 divide b?
False
Suppose -6*d = -891 + 33. Does 13 divide d?
True
Suppose -s + 3 = 1. Suppose j - 3*x - 16 = 0, s*x = j - 12 - 7. Is 15 a factor of j?
False
Suppose -7 = 4*p + 5. Suppose -3*s - 21 = -4*q, 5*s = 3*q + 4*s - 12. Let j = q - p. Does 4 divide j?
False
Suppose -p = -5*q + 565, 5*q = -p - 4*p + 535. Is 16 a factor of q?
True
Suppose -4*h - 19 = -3. Does 17 divide (-137)/(-3) + h/6?
False
Let a(j) = 2*j - 7. Does 4 divide a(9)?
False
Let u be (-1)/3 - 140/(-6). Suppose 5*h = 2*o - 42, o - u = 5*h - 2*h. Suppose 1 + o = 2*a. Is a a multiple of 4?
False
Suppose 0*i = 3*i - 69. Does 9 divide i?
False
Let k be ((-237)/6)/((-3)/6). Suppose -3*y + 0*y = 2*h - k, -5*y - 2*h + 129 = 0. Is 8 a factor of y?
False
Suppose 6*f + 395 = 1079. Is 19 a factor of f?
True
Let o be (8/10)/(2/(-5)). Let b(v) = -8*v**3 + 5*v**2 + 3*v - 7. Let k(j) = -4*j**3 + 3*j**2 + 2*j - 4. Let p(r) = 4*b(r) - 7*k(r). Is 16 a factor of p(o)?
True
Suppose -g + 3*s = 1 - 7, 5*g = -2*s + 30. Suppose 0 = -g*i + i + 175. Is 16 a factor of i?
False
Suppose 0 = -j - 4, 3*j = 5*b + 4*j - 346. Does 14 divide b?
True
Suppose -2*o + 10 = -n + 2*n, 0 = -5*n - 2*o + 18. Let p(s) = 16*s. Does 10 divide p(n)?
False
Suppose 5*u + 0*u + 3*i = -30, -u - 23 = 4*i. Let w be (-1)/(-3) - 110/u. Let v = w + -10. Is v a multiple of 11?
False
Let s be 1/(-3 + 0)*-9. Suppose 0 = 5*i - 42 - s. Is i a multiple of 6?
False
Suppose 0 = 4*o + 2*u - 692, 3*o + 3*u = 8*u + 532. Is o a multiple of 23?
False
Let a(m) = -m**3 - 4*m**2 + 3. Let d be a(-4). Suppose 0 = w + 1, -2*w - 3*w + 55 = d*r. Suppose -5*p = -r, -104 = -3*o - 2*p + 3*p. Does 18 divide o?
True
Let p(k) = 8*k + 32. Does 40 divide p(11)?
True
Suppose 3*o - 50 = -5*d, -3*d + 5*o - 11 = -d. Let u = d - -4. Is 11 a factor of u?
True
Let w = 5 - -20. Is 25 a factor of w?
True
Suppose 4*g = -72 + 196. Let a = 18 + g. Is a a multiple of 21?
False
Let n(j) = j. Let k(x) = 31*x + 2. Let w(z) = -k(z) - n(z). Is 22 a factor of w(-2)?
False
Suppose 10 = i + 6. Suppose 4*s - 19 + 3 = 0. Suppose i = -s*d + 12. Does 2 divide d?
True
Suppose -5 = u + 2*c - 3, 3*u + 4 = -5*c. Let h = 52 + 28. Suppose -2*g = 2*g - 20, -h = -3*l + u*g. Does 10 divide l?
True
Suppose 4*t - 240 = t. Is 20 a factor of t?
True
Let z = -51 + 77. Is 12 a factor of z?
False
Suppose 4*n = 5*l + 39, 5*l + 55 = 6*n - n. Is n a multiple of 11?
False
Let s = -99 - -149. Suppose 0 = f - 0*w - 4*w - 22, -5*w - 87 = -3*f. Let q = s - f. Is q a multiple of 14?
False
Let z = -10 + 30. Suppose 3*h - 102 = 261. Suppose 3*k + r = h, -2*r = -6*r - z. Does 21 divide k?
True
Let o(b) = b**3 - 3*b**2 + 1. Let u be o(2). Does 12 divide (34 - u) + 1/(-1)?
True
Suppose 206 - 22 = 4*a. Does 23 divide a?
True
Let t(g) = -g. Let j(n) = -n**3 - 3*n**2 + 7*n - 4. Let q(b) = j(b) + 5*t(b). Let o be q(-4). Suppose 0 = -m + o*m - 153. Does 17 divide m?
True
Let p(h) be the third derivative of -h**4/4 - h**3/6 - 3*h**2. Is 12 a factor of p(-8)?
False
Suppose 0 = -2*u - 2*y + 4 + 2, 3*u - 11 = -2*y. Suppose u*h