vide o?
True
Suppose 5*o - 87 = 178. Let w = 113 - o. Is 16 a factor of w?
False
Let s(g) = 5*g + 2. Is s(4) a multiple of 11?
True
Suppose i + 2*n - 2 = 5, -3*n - 3 = -3*i. Suppose 0 = 3*r + 4*s - 95 - 9, -i*r + 107 = s. Does 26 divide r?
False
Let g = 14 + -10. Suppose -5*t = 2*x - 3*x - 132, 2*t = -g*x + 44. Is t a multiple of 13?
True
Let o = 32 - -13. Suppose 0 = -g - 4*g + o. Does 3 divide g?
True
Suppose 0 = 8*a + 13 - 125. Is 2 a factor of a?
True
Let k(q) = q**2 + 7 + 1 + 0 - 15*q - 1. Is 6 a factor of k(15)?
False
Let v = -160 - -86. Let l = -21 - v. Suppose -5*a = -5*s + 47 + l, -a = -3*s + 70. Does 14 divide s?
False
Suppose 5*o - 2*o - 33 = 0. Is 4 a factor of o*(-1)/(-3 + 2)?
False
Let g be 8/52 - (-4)/(-26). Suppose o - 25 = -b, 4*b + 20 = o - g*b. Is o a multiple of 8?
True
Let h(n) = -6*n + 5*n + 9 + 3. Let b be h(-9). Let x = -4 + b. Does 6 divide x?
False
Suppose 0 = 3*q - 12, -300 = 5*i - i + 4*q. Let o = -55 - i. Is o a multiple of 12?
True
Suppose -3*r = t - 70, -r + 330 = 5*t - 6*r. Does 17 divide t?
False
Let y(u) be the third derivative of u**5/30 - u**4/24 - 3*u**2. Is 14 a factor of y(4)?
True
Let r = -3 + -4. Let w(g) = g**3 + 5*g**2 - 11*g - 8. Let i be w(r). Does 20 divide i/2*(-4 - -2)?
False
Suppose 0 = -c + 3, -2*c = -a + 3*a + 32. Let t = 19 - a. Is 6 a factor of t?
False
Suppose 4*p - 228 = -2*o + 204, -p = -4*o - 108. Is p a multiple of 36?
True
Suppose -5*x = -3*x - 20. Suppose q - x = 6. Is 16 a factor of q?
True
Suppose 56 = 3*l + 4*c, -3*l = l - 4*c - 84. Does 4 divide l?
True
Let l(r) = -8*r + 2. Does 6 divide l(-2)?
True
Suppose z - 3*z = -5*h + 1104, 2*h - 434 = -3*z. Is 11 a factor of h?
True
Let b be 6/9*(-9)/(-2). Suppose -4*d - 49 = -5*c, b*c = -4*d + 12 + 11. Suppose -4*j - 180 = -c*j. Is j a multiple of 11?
False
Let m = -5 - -3. Suppose -6*c + 9*c = -3. Is 10 a factor of (0 + 26)*c/m?
False
Let v = -7 + 11. Does 2 divide 1 + v + -4 + 2?
False
Suppose -3*j - 5 + 11 = 0. Suppose 505 = j*f + 3*f. Let w = f - 65. Is 12 a factor of w?
True
Suppose -3*x + 2*r = -3*r - 110, -2*x - 2*r + 84 = 0. Does 20 divide x?
True
Is (4/(-4))/2*-298 a multiple of 27?
False
Let a = -126 + 162. Is 3 a factor of a?
True
Suppose -l = 4*s - 74, -137 = -3*l - 5*s + 85. Suppose 2*u - f = f + l, -3*f - 47 = -u. Is u a multiple of 9?
False
Let n = -16 - -25. Suppose 2*w = 3*v + n, 0 = 2*w + 4*v - 44 + 14. Is 9 a factor of w?
True
Let x = -182 - -308. Does 21 divide x?
True
Is -1 + (6/(-3))/(-2) - -24 a multiple of 8?
True
Let r(p) = -p + 2. Let a be r(0). Suppose -24 = -0*d - a*d. Is 12 a factor of d?
True
Let s(w) = 12*w**2 + w. Let t be s(-1). Does 5 divide t + (3/1)/3?
False
Let b be 1*3*4/6. Suppose 513 = 4*a - 3*q, 0 = 5*q - 1 - 4. Suppose c = -b*c + a. Is 16 a factor of c?
False
Suppose l - 17 = -5. Is l a multiple of 3?
True
Let q = 74 + -17. Is q a multiple of 9?
False
Suppose 0 = 2*a - 4*a + 8. Suppose a*m - 48 = -16. Does 6 divide m?
False
Suppose 5*a + 309 = h, 2*a - 838 = -3*h + 38. Does 49 divide h?
True
Suppose -3*l = -27 - 6. Let z = l - 19. Let b = 22 + z. Is 14 a factor of b?
True
Suppose s = q + 21, -4*s + 27 = 5*q - 57. Does 7 divide s?
True
Let w = 43 - 1. Is w a multiple of 7?
True
Suppose 4*r - 1 = -9, 0 = -2*v + 3*r + 214. Is v a multiple of 13?
True
Suppose 11*n - 1344 = -13*n. Let b(f) = f**2 + 9*f - 6. Let z be b(6). Let r = z - n. Is 28 a factor of r?
True
Let w(h) = -h**3 - 6*h**2 - 7*h - 6. Let b be w(-5). Let v = 5 + b. Is 2 a factor of v?
False
Let i = -5 + 8. Is (i + -4)/(1/(-7)) a multiple of 2?
False
Let h be (19/2)/(6/12). Let i = h - 7. Is i a multiple of 6?
True
Let c be 5*(16/10 - 1). Let q be (-2 + -34)/(c + -4). Let h = q - 11. Is h a multiple of 10?
False
Let r(y) = y - 17. Let u be r(7). Let a = -7 - u. Suppose a*k + 7 = 4*k. Is k a multiple of 3?
False
Let s(i) = 2*i + 13. Let j(c) = -3*c - 13. Let u(a) = -4*j(a) - 5*s(a). Let b be u(9). Let v(y) = -y + 8. Does 3 divide v(b)?
True
Suppose 2*l - 1018 - 114 = 0. Suppose t - 229 = -2*d - 0*t, -5*d = -4*t - l. Let f = d + -81. Is 14 a factor of f?
False
Let s(b) = b - 2. Suppose 5*k = -2*m + 7*m + 5, 5*m = 4*k. Let r be s(m). Suppose 11 - 1 = r*o. Does 5 divide o?
True
Let z(a) = -5 + 6*a + 0*a - 5*a. Let p be z(5). Suppose -5*c - o + 165 = p, -5*c - 4*o + 62 = -103. Is 12 a factor of c?
False
Let z(b) be the third derivative of -b**6/120 + 2*b**5/15 - 5*b**4/12 + 7*b**3/6 - 3*b**2. Is 19 a factor of z(6)?
True
Let p(y) = -y**3 + 3*y**2 + 2*y + 220. Is 44 a factor of p(0)?
True
Let v = 5 - -1. Is 4 a factor of (-111)/(-6) + v/4?
True
Let j(m) = 2*m**2 + 4*m - 4. Suppose 15 - 3 = -3*c. Does 12 divide j(c)?
True
Let g be (-6)/9*(-108 + 0). Is 3 a factor of 4/(-18) - (-736)/g?
False
Suppose 0 = 3*k + 2*c - 28, 2*k - 2*c + 7*c - 26 = 0. Suppose -55 - k = -n. Suppose -2*q = q - n. Is q a multiple of 10?
False
Let x = -106 + 170. Does 32 divide x?
True
Let d = 57 + -41. Suppose m - 196 = -4*t - 4*m, 4*m + d = 0. Suppose -5*z + 61 = -t. Is 9 a factor of z?
False
Suppose 3*t = -t + 72. Is 5 a factor of t?
False
Let i = -2 - -4. Let q be 38/(-2) - i/1. Does 7 divide (q/(-9))/(1/6)?
True
Let p = -11 - -31. Does 8 divide p?
False
Let n(k) = 8*k + 6. Does 46 divide n(5)?
True
Suppose 0 = l + 4*l + 3*b - 972, 0 = 3*l + 3*b - 582. Is 15 a factor of (-3 + l/3)/2?
False
Let i be (0 + 1)/(5/25). Suppose -5*b + 3*x + 138 = -0*b, 170 = 5*b + i*x. Is b a multiple of 14?
False
Let b(p) = -24*p + 1. Suppose -i = -3*l - 2*i - 9, 5*l - 3*i + 1 = 0. Does 13 divide b(l)?
False
Suppose -4*a = 0, 3*p - 36 = -0*p - 5*a. Suppose -k - p = -54. Is 14 a factor of k?
True
Suppose h - 3*t = 6*h - 202, 0 = 2*t + 2. Is 20 a factor of h?
False
Does 32 divide (8/6)/(7/168)?
True
Let i(d) = 20*d - 4. Let t(a) = a - 1. Let z(p) = -i(p) + 3*t(p). Is 18 a factor of z(-1)?
True
Let w(h) = -4*h + 1. Let q be w(3). Let s(x) = x**3 + 10*x**2 - 10*x + 13. Let o be s(q). Suppose 0 = -b - 3*f + 53, -o*b - 5*f = 3*b - 225. Does 15 divide b?
False
Let b(f) be the second derivative of -f**5/20 - 7*f**4/24 - f**3/2 + 3*f. Let v(q) be the second derivative of b(q). Is v(-6) a multiple of 10?
False
Let k(s) = -4*s**3 + 2*s**2 + 3*s + 3. Let b(j) = j**3 + j**2 + j + 1. Let d(y) = -2*b(y) + k(y). Is 3 a factor of d(-1)?
True
Suppose -3*l - 3 = -3*q, 14 = 5*q - q + l. Let u be ((-18)/4)/(q/12). Does 17 divide 1 + 2*-1*u?
False
Let s(m) = 2*m**2 - 17*m + 8. Is s(11) a multiple of 7?
True
Let z(r) = r - 11. Let t be z(5). Let v(x) = x**3 + 6*x**2 - 7*x - 6. Does 11 divide v(t)?
False
Let a(o) = 4*o**2 - 2*o - 4. Let p be a(3). Suppose 4*y - 138 = -p. Does 10 divide y?
False
Suppose -3*u - 35 = -2*i, -3*i - 2*u + 45 = u. Is 8 a factor of i?
True
Let s be 3 + 23 + (0 - -1). Suppose 14 = 5*f - 2*v - 19, 3*f - s = 3*v. Suppose 3 + 2 = k + 4*b, -k + f = -3*b. Is 2 a factor of k?
False
Suppose 2*v - k - 191 = 0, 2*k + k = -3*v + 300. Does 28 divide v?
False
Suppose -5*i - q = -4*i - 109, q + 1 = 0. Does 38 divide i?
False
Suppose -2*p + 4*z = -5 + 21, 0 = -z + 3. Let f be ((-2)/(-3))/(p/18). Let r(k) = -k**3 - 5*k**2 + 5*k + 6. Is 12 a factor of r(f)?
True
Let v = -8 + 12. Suppose 0 = -2*d + 10, -6*t - v = -8*t + 2*d. Suppose -5*i + t = -18. Does 5 divide i?
True
Let b(i) be the first derivative of -i**3/3 + 4*i**2 - 2*i - 1. Let p = 10 - 4. Is b(p) a multiple of 5?
True
Let o = -22 - -192. Does 22 divide o?
False
Let s = 4 + -2. Suppose 169 = s*o + 5*q, 2*o = 3*q - 25 + 154. Suppose 0*z - 4*z + o = 0. Does 13 divide z?
False
Let z(o) = o**2 + o + 4. Let l be z(0). Suppose l*g + 15 - 219 = 0. Does 19 divide g?
False
Let a(o) = 12*o - 22. Is a(6) a multiple of 7?
False
Suppose 3*h = -2*h + 70. Suppose 0 = 5*s - q - h, -3*s + q = -4*s + 4. Suppose -s*y = 5*z - 86, -y + 54 = 3*z - 0*y. Is 14 a factor of z?
False
Let b = 88 - 34. Is b a multiple of 22?
False
Does 11 divide (1 - 111)/(1 + (-1 - 2))?
True
Suppose 21 = 3*h - 3. Let c(f) = 2*f - 12. Let a be c(h). Suppose 0 = -5*q + 29 - a. Is q a multiple of 3?
False
Let v = 199 + -26. Is 15 a factor of v?
False
Suppose 5*k + 10 = 0, -2*q + 190 = 2*q + k. Is 6 a factor of q?
True
Let v(j) be the third derivative of j**6/120 + 2*j**5/15 + j**4/6 - 6*j**2. Is 12 a factor of v(-5)?
False
Suppose 0*t + 3*t - 12 = 0. Is 4 a factor of t?
True
Let b be (-40)/(