+ 3 + 6*w - 5. Does 13 divide v(0)?
True
Is (-18)/(-54) - 310/(-6) a multiple of 26?
True
Suppose 0*s = 3*s - 3. Suppose 2*q - 5 = -s. Is q even?
True
Let i(n) = n + 2. Let r be i(5). Suppose 5*z - 23 = 4*k, 3*k - 1 = -r. Suppose 2*g - 9 - z = 0. Does 6 divide g?
True
Is 3 a factor of (1 - 33/15)/((-10)/575)?
True
Suppose 18 = -z + 5*z - 2*t, 3*z = -3*t. Suppose z*l + 4*c = l + 92, 5*c - 10 = 0. Is 21 a factor of l?
True
Let j = 441 - 228. Is 25 a factor of j?
False
Let n(f) = f**2 + 4*f + 1. Let z be n(-3). Let g be 1/(-3*(-3)/(-27)). Is g/z*30/9 a multiple of 2?
False
Suppose 17*w - 2259 = 8*w. Is w a multiple of 33?
False
Does 18 divide (-2150)/(-20) + 3/6?
True
Let l be (3/9)/((-2)/18). Let h be 2*(l - -4) + 1. Suppose -2*u = -h*u + 28. Is u a multiple of 14?
True
Let o be 1/((-1)/(1 + -2)). Let l(h) = -h**2 + 1. Let q(p) = -11*p + 7. Let t(u) = o*l(u) - q(u). Is t(5) a multiple of 20?
False
Let l(v) = -2*v**3 - v**2 - 2*v + 1. Let x be l(-2). Let f = -10 + x. Is 4 a factor of f?
False
Let d be 5 + (-3 - -1) + 0. Suppose 70 = 2*h + d*h. Does 8 divide h?
False
Suppose 3*u + 1 = 7. Suppose -11 = u*q - 41. Does 5 divide q?
True
Let v(l) = -2*l + 10. Let q be v(8). Let g(t) = t**2 + 5*t - 4. Let c be g(q). Suppose d = -c + 5. Is 3 a factor of d?
True
Suppose 0*f - 3*q + 3 = f, q = 3*f + 1. Suppose 5*o - 2*o - 81 = f. Suppose o + 17 = 4*a. Is a a multiple of 11?
True
Let q = 8 + -10. Is (0 - -1)*(-78)/q a multiple of 15?
False
Let d be 1/(1 + (-4)/5). Suppose 0*k - 5 = 5*f - k, -d*k = -25. Suppose -2*z - 3*z + 30 = f. Is 3 a factor of z?
True
Let f = -13 + 28. Is 4 a factor of f?
False
Suppose -8*d - 4*w - 14 = -7*d, -3*w - 18 = -3*d. Let p(z) = z**2 - 6*z + 4. Let r be p(5). Does 8 divide 21 - r*(-1 - d)?
False
Let o(f) = f + 3. Let z be o(0). Let y(i) = i**3 + i**2 + 2*i - 4. Does 9 divide y(z)?
False
Suppose 0 = -13*u + 7*u + 192. Is 16 a factor of u?
True
Let n(g) = 8*g - 2. Is n(14) a multiple of 22?
True
Let j be -22 + 3*6/9. Is (-355)/j - (-1)/4 a multiple of 6?
True
Suppose t = -u - 7 - 8, -2*t - 70 = 4*u. Let x = u - -55. Is 12 a factor of x?
False
Let z(o) = -9*o + 2*o**2 - 4 + 1 - 3*o**2 + 2*o**2. Is z(10) a multiple of 7?
True
Suppose -l - 3*y + 8 = 0, -y + 8 = l - 6*y. Suppose -4*u - 48 - l = 0. Is (-288)/(-7) - (-2)/u a multiple of 14?
False
Suppose 0 = -5*s + 4*h + 124, 2*h - 71 = -3*s + h. Let k = -11 + s. Is 6 a factor of k?
False
Let p = -4 + 4. Suppose -a + p*a = -3*k - 8, 4*k = 4*a - 16. Suppose 33 + a = y. Is y a multiple of 13?
False
Let t(z) = -7*z - 5. Let v be t(8). Let g = -26 - v. Is g a multiple of 17?
False
Suppose -3*w + 0*w - 9 = 0. Let d(x) = 2*x**2 + 2*x + 1. Does 2 divide d(w)?
False
Suppose 3*x - 5*o = -2*x + 3955, 5*x - 3949 = 3*o. Is 12 a factor of 2/11 + x/22?
True
Let l(t) = t + 7. Let b be l(-3). Let p(q) = 13*q + 3. Is 25 a factor of p(b)?
False
Let x = -75 + 127. Is x a multiple of 46?
False
Suppose -3*n + 145 + 128 = 0. Does 7 divide n?
True
Suppose 3*v + v = -5*p + 351, -356 = -5*p + v. Does 3 divide p?
False
Let c(g) = 2*g**3 + 3*g**2 + 3*g + 5. Let v be c(-4). Let s = -53 - v. Is s a multiple of 17?
True
Suppose -f - f + 6 = 0. Suppose -i = 5*q + 108, -5*q - 46 = -f*q - i. Let u = q - -68. Is 19 a factor of u?
False
Let j(y) = -238*y**3 + 2*y + 1. Let o be j(-1). Suppose 27 - o = -5*c. Is 14 a factor of c?
True
Let n be (2 - (0 - -3)) + -1. Let o be (3 - (1 - n))/(-1). Suppose -2*j - 2*j + 128 = o. Is j a multiple of 11?
False
Suppose -3*p + 5*b - 3 = -6, 5*p = -3*b + 5. Let m be ((-88)/12)/(p/(-3)). Suppose -3*s + 15 = 0, 5*u - 147 = 5*s - m. Is 21 a factor of u?
False
Let v = 54 + -22. Let p = v + -13. Is p a multiple of 19?
True
Let u = 2 + 4. Let a = 8 - u. Suppose -90 = -3*c + 2*t + t, 75 = a*c - 5*t. Is 13 a factor of c?
False
Let t = -6 + 6. Suppose -4*o - 4*j - 12 = -t*o, 3*o = 3*j + 9. Suppose o = 2*p - 6 - 16. Is p a multiple of 11?
True
Suppose 0 = 5*v - 0*v - 125. Let l = -37 + v. Is 18 a factor of l/(-1 + 4/6)?
True
Suppose -4*d = d. Suppose -152 = -d*h - 4*h. Does 19 divide h?
True
Let a(h) = 14*h + 3. Let n(o) = 5*o + 1. Let k(z) = 6*a(z) - 17*n(z). Does 5 divide k(-9)?
True
Let z(d) = 2*d + 1. Let a be z(1). Suppose 0 = -a*g + 32 + 10. Does 14 divide g?
True
Let d be (2 + -5)*(-4)/(-6). Let l = 10 + d. Does 7 divide (-1 - 4)/((-2)/l)?
False
Suppose -5*w + 2*l = 163, -11 = -2*w - 5*l - 53. Let n = 68 - -26. Let m = n + w. Is m a multiple of 21?
True
Let d be 0*((1 - 0) + -2). Suppose 0 = -5*h + 1 + 14. Suppose h*u + 15 = d, 73 = c + 3*c - 5*u. Is c a multiple of 12?
True
Let i(a) = a**2 + 6*a + 5. Let j be i(-6). Suppose -s - j*z - 5 = 0, -2*s + z - 23 = -7*s. Suppose -t - t - 18 = -o, 3*t = s*o - 69. Does 5 divide o?
False
Suppose 3*o + 68 = 368. Suppose 0 = w + 3*w - o. Let a = w - 11. Is 14 a factor of a?
True
Let p(v) = -v - 4. Let f be p(-4). Let y be 4 + 0 + f/(-3). Suppose -y*w + 160 = w. Does 16 divide w?
True
Let g(b) = -30*b**3 + 2*b**2 + 2*b + 1. Let h be g(-1). Let c = 13 - h. Let d = c - -31. Does 13 divide d?
True
Let v(k) = -4*k - 3. Let r be v(-4). Let q = 23 + r. Is 10 a factor of q?
False
Is 16 a factor of 6/(-10) + (-523)/(-5)?
False
Suppose 55 = 2*v - 2*g - 47, -4*g = -20. Does 17 divide v?
False
Suppose 0 = -l + 2. Suppose -u = 5*v - 41, 4*v - l*u - 52 = 2*u. Is 3 a factor of v?
True
Let m(k) = -k**3 + 8*k**2 + k. Let c be m(8). Suppose o = -c + 54. Does 17 divide o?
False
Let j = -5 + 10. Suppose -h = -2*h + j. Is h even?
False
Let f(h) = -5*h - 4. Let x be f(-4). Let u = x - 0. Is 8 a factor of u?
True
Let y = 4 + 0. Let v(g) = -g**3 + 3*g + 2. Let i be v(-2). Suppose -i = -p, -3*p + 6 = -y*o + 3*o. Is o a multiple of 4?
False
Let j = 58 - 13. Does 15 divide j?
True
Suppose 0 = 4*z - 5 + 53. Let i be (4/(-12))/(2/z). Suppose -2*h - 3*q = -54, 2*h - 74 + 18 = -i*q. Does 14 divide h?
False
Let i(x) = 22*x + 3. Let n be i(3). Let b = n + -16. Does 14 divide b?
False
Suppose 2*f = 4*y - 58, -y - 3*f - 2*f + 42 = 0. Does 8 divide y?
False
Let h = -28 + 39. Is h a multiple of 11?
True
Suppose -5*y = 10, 2*m + 6 = -3*y - 0*y. Suppose -4*v + 0*v + 72 = m. Does 12 divide v?
False
Suppose -2*s = -4*s + 86. Suppose -s = -w - 4*w + k, 0 = 2*w + 5*k - 1. Is w/36 + (-358)/(-9) a multiple of 16?
False
Let q be 2*6/(-4) - 2. Let o be (1 - 0)*0 - q. Is ((-2)/(-3))/(o/75) a multiple of 5?
True
Let p = 30 - -23. Let w(d) = d**3 + p + d + 0*d + 2*d - 2*d. Is 18 a factor of w(0)?
False
Let l(g) be the third derivative of g**5/60 - 5*g**4/12 + 7*g**3/6 + 2*g**2. Is 2 a factor of l(10)?
False
Let a(p) = 6*p - 6. Does 7 divide a(8)?
True
Suppose 4*s + 920 = 12*s. Is s a multiple of 23?
True
Let r = 149 + -87. Let m = r - 18. Does 11 divide m?
True
Suppose s + 4 = 2*r - 3*r, 0 = -5*r - 4*s - 15. Let k be (17/r - -1)*1. Let y = k - 7. Is y a multiple of 11?
True
Let t = 5 - 7. Let g = 460 - 185. Is g/20 + t/(-8) a multiple of 5?
False
Suppose 2*a + 13 = 3. Let s be a/(-3) - 4/6. Is 6 a factor of s/(3/((-60)/(-2)))?
False
Let w = -32 - -74. Is 7 a factor of w?
True
Let s = -6 + 14. Let h be (-6)/s + 30/8. Suppose 16 = -5*b + 2*z + 66, -h*b + 30 = 2*z. Does 5 divide b?
True
Suppose -71 = -8*o + 81. Does 19 divide o?
True
Let z be 40/7 - (-6)/21. Suppose 3*v - z = 3. Let y(n) = 7*n + 2. Does 8 divide y(v)?
False
Is (-16)/(-104) + 0 + 3298/26 a multiple of 14?
False
Let p(g) = -3*g**3 - 6*g**2 - 9*g - 1. Let j(q) = 13*q**3 + 23*q**2 + 37*q + 3. Let t(f) = -2*j(f) - 9*p(f). Is t(-7) even?
False
Suppose 0 = 2*k + 78 - 366. Does 33 divide k?
False
Suppose 0*b = b - 66. Does 6 divide b?
True
Let z = -41 + 80. Is z a multiple of 13?
True
Suppose 3*z = -2*z + 165. Is 32 a factor of z?
False
Let o(j) = -12*j + 12. Let w be o(-10). Suppose -t + w = 35. Does 30 divide t?
False
Suppose 2*a - 30 = -a. Does 2 divide a?
True
Suppose 14*c = 19*c - 1020. Is 12 a factor of c?
True
Suppose -5*c - 5 - 7 = 4*m, 0 = 5*m - 3*c - 22. Suppose -12 = -2*w - m*w. Suppose -4*x = -3*g - 133, w*g = -4*x - x + 173. Is x a multiple of 17?
True
Let u(q) = -q + 6. Let c be u(-8). Let w be 2 + 3*(-2)/3. Suppose -c = -v - w*v. Is 5 a factor of v?
False
Suppose 0 = -3*a - 2*n + 241, 2*n = a - 2*a + 87. Is 29 a factor of a?
False
Let w(d) be the first derivative of 7*d**3/3 + d**2/2 - d - 1. Suppose -u + 8 = 3*u. Is 10 a f