e 5*s - d = 52. Does 8 divide s?
True
Let n = 768 - 443. Is 25 a factor of n?
True
Let u = -2 - 9. Let i = -7 - u. Suppose 3*q = -i*s + 37, 3*s + 2*q + 0*q = 27. Does 7 divide s?
True
Let r(h) = -7*h - 4*h + 5 + 2*h**2 + 0 + 0. Is r(7) a multiple of 13?
True
Let h(v) = 3*v - 1. Let t be h(1). Let f(n) = 17*n**2 - 2. Let l be f(t). Is 2 a factor of l/14 - 12/(-42)?
False
Let g = -22 - -12. Let d(y) = y**3 + 11*y**2 + 8*y - 8. Let u be d(g). Let p = 21 + u. Is 16 a factor of p?
False
Let n = 41 - -36. Is 7 a factor of n?
True
Let f = 7 + -8. Let j(d) = 7*d**2 + d. Does 2 divide j(f)?
True
Let v(s) = 3*s**2 + s + 5. Is v(5) a multiple of 10?
False
Suppose 384 = 4*k - 3*n, 0*n = 2*k - 4*n - 192. Let d be k/10 - 6/10. Let v = -6 + d. Is v a multiple of 3?
True
Suppose 28 = c - o, 0 = -2*c - o + 8 + 36. Is c a multiple of 6?
True
Let h be 3/(2 - -1) + 13. Suppose -4*y = 4*l + l - 44, -3*y + l = -h. Is y a multiple of 6?
True
Let v(w) be the second derivative of w**4/12 - 5*w**3/6 - w**2/2 - 6*w. Is 4 a factor of v(6)?
False
Let g = 48 - 33. Let s = 56 - 4. Is 5 a factor of (-10)/g - s/(-6)?
False
Let g(u) be the first derivative of u**5/60 - 5*u**4/24 + 2*u**3/3 - u**2 + 1. Let a(z) be the second derivative of g(z). Does 14 divide a(8)?
True
Suppose -2*k + 0*k = 50. Let u = k + 53. Suppose 3*i - u = 2*i. Does 11 divide i?
False
Let v = -8 + -34. Let p be (-60)/(2/((-8)/(-3))). Let m = v - p. Is 13 a factor of m?
False
Suppose 0 = 5*i - 2*i - 3. Let b(y) = 38*y**2 + y - 1. Is b(i) a multiple of 16?
False
Let h = 7 + -13. Let x be (-2 - (-3 + 1))/(-1). Let o = x - h. Is o a multiple of 5?
False
Let i = 79 - -8. Is i a multiple of 29?
True
Does 5 divide (-4 - -2 - -65) + 2?
True
Let q = -10 + 79. Is 23 a factor of q?
True
Let j(w) = -w**3 + 13*w**2 - 10*w + 3. Is j(11) a multiple of 27?
True
Suppose 0 + 15 = p + 5*a, 0 = -3*p - 5*a + 25. Let c be 4 + -1*(-1)/1. Suppose c*d - p = 0, 69 = 2*v + d + 2*d. Is v a multiple of 17?
False
Let a be -3*4*8/12. Suppose 5*c - 8 = c. Let v = c - a. Is v a multiple of 6?
False
Let u(q) be the third derivative of q**4/12 - 2*q**3/3 + 5*q**2. Does 10 divide u(7)?
True
Let s be ((-72)/(-15) - 3)*5. Let v = s + -5. Does 4 divide v?
True
Suppose -l + 5*t = -0*l - 31, 0 = 4*l - 2*t - 52. Does 4 divide l?
False
Let g = -13 + 26. Suppose 0 = -7*n + 6*n + g. Is n a multiple of 13?
True
Let m(x) = -x**2 + 8. Let f be (1 - 1)*(2 - 1). Suppose 2*z + f*z = 0. Does 4 divide m(z)?
True
Suppose -3*v = -y - 97, 4*y - 3 = 7*y. Does 4 divide v?
True
Suppose 0 = -5*s - 66 + 231. Is 11 a factor of s?
True
Let u be (4 + -1)/3 + -2. Let v = 32 + u. Does 8 divide v?
False
Suppose -2*c = -3*c - 30. Let m = 20 + c. Is 12 a factor of 10/(-3)*36/m?
True
Is 18 a factor of 4/18 + 1040/18?
False
Let p(k) = k**2 + k - 3. Let h be (-92)/(-12) - 1/(-3). Let x = -4 + h. Is 14 a factor of p(x)?
False
Is (-6 - 52)*(-1)/2 a multiple of 29?
True
Let n(p) = -p**3 - 9*p**2 - 3*p + 9. Let r be n(-9). Suppose t = -t + r. Suppose t = 3*u - 33. Is 6 a factor of u?
False
Let h(c) = -5*c - 7. Let u be h(-6). Is 10/30 - u/(-3) a multiple of 3?
False
Suppose 48 = -d + 3*d. Suppose -m + d = 4*x, -5*m - 5 = 15. Is 2 a factor of x?
False
Let q(g) = -g**2 + 5*g + 7. Is 2 a factor of q(5)?
False
Suppose -2*o - 2*o + 4 = 0. Let s = o - 2. Is 11 a factor of (3/3)/(s/(-13))?
False
Let t(o) be the third derivative of -o**6/120 + o**5/12 + o**4/3 - 3*o**3/2 + 2*o**2. Let m be t(6). Does 9 divide (2 - (-39)/9)*m?
False
Suppose 5*u - 3*h = 119, -31 - 63 = -4*u + 2*h. Does 22 divide u?
True
Let n = -15 + 18. Does 2 divide n?
False
Let b = -483 - -321. Let p = -100 - b. Is p a multiple of 31?
True
Let c = -101 + 99. Let s be (-4)/(-10) + 326/10. Let i = s - c. Does 14 divide i?
False
Let z(l) = 2*l + 14. Is 2 a factor of z(8)?
True
Let s be (-4)/5*(-20)/4. Suppose -s*q = -q - 9. Suppose -q*l = 2*l - 60. Does 12 divide l?
True
Let b = -129 + 199. Let u = 117 - b. Does 17 divide u?
False
Let i = 10 - 8. Suppose 2 = 2*j, 4*w + 3*j - i*j = 65. Is w a multiple of 4?
True
Let s(y) = 3*y**2 - y + 4. Let m(i) = i**2 - 6*i - 7. Let g be m(6). Let v(k) = -2*k - 10. Let n be v(g). Is 16 a factor of s(n)?
True
Suppose 3*m + 3*w - 237 = -0*w, -12 = -4*w. Does 19 divide m?
True
Suppose 2*g - 88 = -i + 6*g, -4*i + 4*g + 412 = 0. Is i a multiple of 19?
False
Suppose -4*k + 11 = 3. Suppose -k*n = 8 - 124. Is n a multiple of 12?
False
Let u = -25 - -63. Is 19 a factor of u?
True
Let k = 40 + -5. Does 30 divide k?
False
Let y(n) = n - 8. Let m be y(8). Suppose 0 = -5*z + 3*o + 75, 3*z - 2*o - 44 = -m*z. Does 9 divide z?
True
Suppose -2*r = -4*c + 16, 5 = 3*r + c + 1. Suppose w + 5*f - 13 = r, 2*w = 3*f + 15 + 11. Is w a multiple of 6?
False
Let g be (-3)/(-2 - 1) + 0. Let c(o) = 27*o**2 - o + 2. Is c(g) a multiple of 18?
False
Does 18 divide ((-4)/8)/((7/180)/(-7))?
True
Let y = -11 - -16. Let d(g) = 2*g - 5. Let l be d(y). Suppose 3*h + 3*c = -l + 29, -5*h = -4*c - 85. Is 10 a factor of h?
False
Suppose b - 19 = t, -4*b = -2*t - 34 - 38. Let x = -18 - b. Let s = -17 - x. Is 9 a factor of s?
True
Let c = 0 + 4. Suppose 3*i - c*i - 3*m = -42, i + 4*m - 46 = 0. Is 18 a factor of i?
False
Let w = 66 - 35. Suppose -4*x = -3*j + 41, 0 = 2*j - 3*x + 3 - w. Does 3 divide j?
False
Suppose 5*m + 4*x - 729 = 0, x - 720 = -5*m + 6*x. Is 23 a factor of m?
False
Suppose n = -0*n - 4*i, 0 = -i. Suppose n = -6*r + 5*r + 20. Suppose -w + r = -2*j, -3*w - j = j - 28. Is 4 a factor of w?
True
Let d be 4/6*(-6)/1. Let g(y) = -4*y**3 + y**2 + 6*y + 15. Let h(f) = 3*f**3 - f**2 - 5*f - 14. Let l(u) = d*g(u) - 5*h(u). Is l(0) a multiple of 10?
True
Suppose 0 = -0*h + 2*h - 64. Does 29 divide h?
False
Let f = -50 + 114. Does 16 divide f?
True
Let i(f) = -f + 6. Let k be i(6). Let w be (0/(-1))/(4/(-2)). Suppose k = s - 3*x - 13, w*s + 5*x + 3 = -s. Does 5 divide s?
False
Let l = -30 - -18. Let b = -2 - l. Is b a multiple of 5?
True
Let x = -1 - -1. Suppose 0 = -5*j - 3*t + 36, -j - 4*t - 4 = -1. Suppose x*b = -b + j. Is 6 a factor of b?
False
Let a be 11 - 1*(0 + 1). Suppose 4*o + 26 - a = h, -3*h + 5*o + 62 = 0. Does 8 divide h?
True
Suppose 0 = 4*s - 109 + 37. Let z = s - 10. Does 4 divide z?
True
Let p be 1/(-8) - 25/(-8). Suppose 0 = 2*g + 4*x - 6, -g - p*x = g - 7. Is 2 a factor of g?
False
Let f(m) = -m - 5. Let x be f(-10). Suppose 4*o - 3*i = 14 + 27, -2*o + x*i = -17. Is o a multiple of 3?
False
Let s be -4 - (0 - 0)/2. Let i be (3 - 5)/(2/s). Suppose 4*d - 1 = -f, -f - i = -3*d - 12. Does 5 divide f?
True
Let o = 36 - -162. Is 33 a factor of o?
True
Let l(y) = 5*y**3 + y - 3. Is l(2) a multiple of 13?
True
Let n(q) = -q**2 + 5*q - 4. Let z be n(4). Let t = 16 + z. Is t a multiple of 4?
True
Does 3 divide (-44)/(-5) + (-3)/(-15)?
True
Let x = 325 - 196. Does 7 divide x?
False
Suppose 4*f - 2*w = 10 - 2, 0 = -4*w. Is f a multiple of 2?
True
Let b be (-1)/(-4) - (-13)/(-4). Let x = b - -2. Let f = x + 34. Does 11 divide f?
True
Let p(u) = u**3 + 9*u**2 + 10*u - 9. Let y be p(-8). Is (2 + 2)/((-2)/y) a multiple of 13?
False
Let g(m) be the third derivative of m**4/24 + 3*m**2. Let a be g(-9). Let d = a - -21. Does 7 divide d?
False
Let d = 61 + -35. Is d a multiple of 15?
False
Does 8 divide -3 - -4 - (0 - 28)?
False
Suppose 0*t + 33 = t. Does 23 divide t?
False
Let g = 3 + 7. Let z be g/15 + 32/6. Suppose 5*j - 3*s = s + 123, 3*s + z = 0. Is j a multiple of 15?
False
Let h = -13 - -1. Let k = 23 - 1. Let r = h + k. Is 10 a factor of r?
True
Let w(p) = -1 + 1 - p + 7 - 4*p. Does 16 divide w(-5)?
True
Let c(i) = i**2 + 2*i + 1. Is c(4) a multiple of 5?
True
Let o = -18 + 7. Let q be 2*1/2*o. Let a = q + 19. Is 4 a factor of a?
True
Is (33/3 + -2)*8 a multiple of 18?
True
Suppose 0 = -4*k + 5*k - 1. Let c(w) = 9*w. Let h be c(k). Let x = -3 + h. Does 3 divide x?
True
Let k = 8 + -6. Let n = 13 - k. Is 6 a factor of n?
False
Let y be (-10 + 2)/(1 + -3). Suppose -4*i + g = -12 - 23, -4*i - y*g + 40 = 0. Is i a multiple of 9?
True
Let p be 16/4 - 2 - -2. Does 17 divide (-343)/(-8) + p/32?
False
Let p(g) be the third derivative of 0*g + 0 + 1/8*g**4 + 0*g**3 - 2*g**2. Does 8 divide p(8)?
True
Let y be (6/5)/(6/(-40)). Let b(c) = -6*c - 3. Let r be b(y). Suppose 5*g = 5*q + r, 10 = 5*g + 3*q - 3. Is 5 a factor of g?