ose -2*c - 3*n + 69 = 0, n = -2*c + 4*n + 87. Does 17 divide c?
False
Let q be 102 + 3/6*6. Suppose q = 3*t - 0*t. Is t a multiple of 13?
False
Let k = 155 + -80. Is k a multiple of 5?
True
Let d = 15 - 33. Let k = d + 32. Is k a multiple of 10?
False
Suppose 0 = -5*f + 3*p + 39, -4*p - 37 = -3*f - 7. Does 2 divide f?
True
Suppose -4*b + 0*b + 39 = c, -4*b + 35 = 5*c. Is b a multiple of 10?
True
Suppose 0 = -l - 2*k + 7, 3*k + 7 + 2 = 5*l. Suppose l*z = 99 + 39. Is z a multiple of 10?
False
Let r be 12/(-16) - 1066/8. Let g = -66 - r. Does 20 divide g?
False
Let n be (-3 + 2 - 4)/(-1). Suppose n*o - 10 = 4*l + l, -l - 20 = 5*o. Let z = l - -19. Does 5 divide z?
False
Suppose 0 = 5*t - 590 - 230. Is 15 a factor of t?
False
Let x(i) = -i + 2. Suppose -12 = -z + 5*z. Does 3 divide x(z)?
False
Let g(c) = 24*c - 2. Suppose 8 - 3 = 5*p. Is 20 a factor of g(p)?
False
Let w(z) = 6*z + 2. Let f(n) = 5*n + 3. Let x(g) = 4*f(g) - 5*w(g). Is x(-3) a multiple of 16?
True
Let w = 38 + -18. Is w a multiple of 16?
False
Suppose -27 = 2*k + 2*x + 3*x, 4*k = 4*x - 96. Does 6 divide 2 - (k + 0 - -1)?
False
Let r be 5*(3 - 63/15). Is 17 a factor of (-33)/r*12/3?
False
Suppose 58*t - 59*t + 27 = 0. Is t a multiple of 15?
False
Suppose 2*u + 14 = 4*w, 3*w - 5*u + 2 - 9 = 0. Suppose -a - 66 = -w*a. Is a a multiple of 10?
False
Let q(o) = o**3 + 13*o**2 + 13*o + 16. Let p(t) = -t**3 + 6*t**2 - 3*t + 6. Let x be p(6). Does 3 divide q(x)?
False
Is 25 a factor of (-252)/24*(-40)/6 - -1?
False
Let s(o) = 54*o + 2. Suppose 3*c + 7 = -2. Let z be s(c). Does 10 divide (2/4)/((-4)/z)?
True
Suppose -4*r + 6*p = 10*p - 88, -4*r + 3*p = -109. Is 6 a factor of r?
False
Suppose b + 1 = 10. Is b even?
False
Let q = 5 + -3. Is 26 - 2*q/(-4) a multiple of 14?
False
Let i be (-69)/9 - 6/(-9). Let b = -5 - i. Let l = b - -2. Is 2 a factor of l?
True
Suppose -3*c - 79 = 3*b - 259, -4*c = b - 54. Is 11 a factor of b?
False
Let i(p) = -5*p**3 - 9*p**2 + 5*p + 3. Is i(-3) a multiple of 5?
False
Suppose 2*j + 2*m - m - 3 = 0, -5*m = -j - 15. Suppose j = -5*o + 343 - 118. Is o a multiple of 9?
True
Let f(i) = -i**3 + 6*i**2 + 7*i + 6. Suppose w - 14 = -7. Does 2 divide f(w)?
True
Suppose -4*b + 13 = 3*q + 2, b + q = 3. Let k(z) = z**3 - 3*z**2 + 2*z - 3. Let i be k(b). Is 6 + (2 - (i - -3)) a multiple of 4?
True
Let m(a) = a**2 - 7*a + 9. Let t be m(6). Let q be ((-7)/(-4) + 0)*8. Suppose t*y - 84 = 2*c, -126 = -4*y + 4*c - q. Is y a multiple of 14?
True
Let l = 48 - -3. Does 19 divide l?
False
Let y be (-2 + 4/3)*15. Let z = 14 + y. Is z a multiple of 3?
False
Does 14 divide (1 - 2)*(-148 - -7)?
False
Let w = -816 + 1837. Suppose -27 = p + w. Is (-4)/(-14) + p/(-56) a multiple of 19?
True
Let j(t) be the second derivative of -3*t**5/20 + 2*t**3/3 + 3*t**2/2 - t. Is 15 a factor of j(-2)?
False
Let g be (2*-2 - -3)*-1. Let q(j) = j - 7*j + 3*j - g - 1. Does 11 divide q(-8)?
True
Suppose -5*n - 10 = -6*n. Does 7 divide n*((-48)/15)/(-4)?
False
Let j = -3 + 2. Is 6 a factor of 76/12 + j/3?
True
Let c = 72 + -40. Is 10 a factor of c?
False
Let n be 5*-1*(-1 + 0). Suppose 3*j - n*v - 23 = 20, 2*j + 3*v = 35. Is 4 a factor of (1 - j)*6/(-10)?
False
Let f(j) be the third derivative of -5*j**4/24 + j**3/2 - 3*j**2. Is f(-3) a multiple of 6?
True
Let a(c) = -2*c + 28. Is 12 a factor of a(8)?
True
Suppose -2*w = -4*z + 10, -2*z + 5 = -3*w + 2. Let t be (-212)/(-6)*z + 2. Suppose -4*o + 48 + t = 0. Does 16 divide o?
False
Let s = -56 + 80. Is 12 a factor of s?
True
Suppose 2*c = 4*c - 10. Suppose 0*y = c*y + 50. Is -2 - 1*(1 + y) a multiple of 7?
True
Suppose j = 2*j. Suppose -36 = -4*t - 4*s, 3*s = t - j*t + 11. Suppose 53 + 51 = t*h. Is h a multiple of 13?
True
Let q be 1 - (12/2)/3. Let z be (-2)/1 + (-192)/q. Suppose -3*d - 2*d + z = 0. Is d a multiple of 15?
False
Is 16 a factor of 1032/32 + (-1)/4?
True
Let f(i) = -i**2 + 9*i - 8. Is f(4) a multiple of 4?
True
Let f(t) = t**2 + 4*t - 12. Suppose 2*b - 4*b + 16 = 0. Is f(b) a multiple of 21?
True
Let h = -69 - -124. Is h a multiple of 8?
False
Is 8 a factor of (-9)/((-54)/(-8))*-6?
True
Let b = 35 + -27. Does 4 divide b?
True
Is (48/56)/(1/28) a multiple of 21?
False
Let c = -75 + 131. Suppose -4*r + 3*k = -k - c, -r = -3*k - 20. Does 3 divide r?
False
Is -1 + ((-12)/30 - 364/(-10)) a multiple of 35?
True
Suppose -18*n = -20*n + 544. Does 34 divide n?
True
Let c(p) = -5*p - 9. Is c(-10) a multiple of 23?
False
Let c = 56 - 14. Is c a multiple of 22?
False
Let u(n) = n**3 - 4*n**2 + 2*n + 3. Let k be u(3). Let y = k - -3. Is 14 a factor of (7/y)/((-1)/(-6))?
True
Let b(h) = 57*h**2 - h + 2. Does 29 divide b(1)?
True
Suppose -4*r + 760 = 3*x, 0 = 5*x + 2*r - 1234 - 28. Is 11 a factor of x?
False
Let r be (-1)/(2/6*1). Let v be (76/(-6))/((-2)/r). Let b = -10 - v. Does 3 divide b?
True
Let r(c) = 3*c**3 + 0*c - 13*c**2 + 14*c - 2*c**3 + 3 + 1. Let m be r(11). Is 4 a factor of (-8)/(-3)*m/(-16)?
False
Suppose -3*g - g - 188 = -4*u, g - 91 = -2*u. Does 23 divide u?
True
Suppose 0 = 4*n - 0*n - 96. Let f = n - -11. Does 9 divide f?
False
Suppose 3*z - 2*x + 0*x = -22, 4*z - 2*x + 26 = 0. Suppose 3*a + 5*t = a - 13, 0 = -4*a - t - 35. Let p = z - a. Is 2 a factor of p?
False
Let j be (-333)/4 - 3/4. Is (0 - j/(-8))*-2 a multiple of 21?
True
Let m(p) be the second derivative of 4/3*p**3 + 0 + 2*p - 3/2*p**2. Is 6 a factor of m(2)?
False
Let p(t) = t. Let z(s) = -3*s**2 - 2*s - 5. Let f(u) = -6*p(u) - z(u). Let a be (-1)/(2/20*-2). Is 20 a factor of f(a)?
True
Let x be 0 + 1 + 1 + -3. Suppose i - 3 - 7 = 0. Let c = x + i. Is c a multiple of 9?
True
Let v = -8 + 12. Suppose -4*o + 16 - v = 0. Is 3 a factor of o?
True
Is 2 a factor of (66/(-24))/(1 - (-10)/(-8))?
False
Suppose -4*a + d + 2*d = -142, 3*a + 3*d - 96 = 0. Does 19 divide a?
False
Suppose 3*y - 32 = -4*x, -2*y + 19 = -x + 6*x. Does 3 divide y?
True
Suppose 0 = -x + 5 + 5. Does 10 divide x?
True
Let b = 43 + 46. Suppose 0 = -5*t + 3*k + b, 57 = -0*t + 3*t - 3*k. Is 11 a factor of t?
False
Suppose -5*x = -2*i - 3*i + 550, -4*x - 4*i - 480 = 0. Let n be x/4 + (-6)/24. Let t = n - -40. Is t a multiple of 9?
False
Let i(f) = -f**3 - 9*f**2 - 4*f - 12. Does 7 divide i(-9)?
False
Let f(t) = t**3 + 3*t**2 - 2*t + 2. Let d be f(-3). Suppose -n + 41 = -d. Is n a multiple of 18?
False
Let r = 42 + -20. Is (r - -3 - 0)*1 a multiple of 13?
False
Suppose d - 57 = -r, 2*d + 2*d + 8 = 0. Does 22 divide r?
False
Let i = 172 + -94. Does 12 divide i?
False
Let c = 31 - 19. Let s = -7 + c. Suppose -p + 2 = -s. Is p even?
False
Let k(s) = -s**2 + 3*s + 3. Let i be k(3). Suppose m + i*m = 0. Suppose m = -6*u + u + 60. Is 4 a factor of u?
True
Let k be 582/5 + 6/(-15). Suppose -4*p - 5*c = -k, -5*c = -5*p + 45 + 55. Does 12 divide p?
True
Let t(c) = -2*c - 11. Let v = -21 - -13. Is 5 a factor of t(v)?
True
Suppose 0 = 2*b + 2*b - 52. Suppose -5*a + 92 = -b. Does 15 divide a?
False
Let b = -21 - -37. Is b a multiple of 16?
True
Let h = 31 - 8. Is h a multiple of 5?
False
Let p(q) = 1. Let n(t) = 4*t + 5. Let m(k) = -n(k) + 2*p(k). Does 17 divide m(-5)?
True
Let n(g) = -3*g + 2. Let u be n(-3). Suppose -w = 4*a - 89, 2*a - 30 - u = 3*w. Is 14 a factor of a?
False
Suppose 18 = 10*g - 7*g. Let t be 199/2 + 1/2. Suppose -g*f + f + t = 0. Is 10 a factor of f?
True
Let n(f) = f**3 - f**2 - f + 18. Let w = -10 - -15. Suppose h + 1 = 2*g + 6, w = 3*g + h. Is 9 a factor of n(g)?
True
Let r(z) = 7*z**2 - z + 2*z**2 - z**2 + z**3 - 4. Let q be r(-8). Does 4 divide ((-18)/q)/(1/(-2))?
False
Let t be (-3 - -147)/3 - 0. Suppose 0*l + t = 4*l. Is l a multiple of 4?
True
Suppose 0 = -6*c + 9*c - 111. Is c a multiple of 12?
False
Let o = -13 - -4. Does 6 divide (-3)/o - (-112)/6?
False
Let q = 44 + 55. Is q a multiple of 3?
True
Suppose 6 = -0*h + 3*h. Suppose 3*g - 18 = -2*a - g, 7 = a + g. Suppose a*r - 15 = h*r. Is 5 a factor of r?
True
Let f(r) = r**2. Let p(t) = -2*t**2 - 2*t - 3. Let q(n) = 4*f(n) + p(n). Let w = 24 + -20. Is q(w) a multiple of 11?
False
Is 12 a factor of ((-2442)/(-4))/3 + 2/4?
True
Suppose 2*q = -9 - 1, 4*f - 69 = q. Suppose f = p + 3*p. Suppose 2*w - 8 = -x, 3*w - 8*w = p*x - 44. Is 8 a factor of x?
True
Suppose 4*b - 26 = c - 106, 205 = 2*c + b. Suppose 5*p + 10 = c. Is 6 a factor of p?
True
Suppose 7*d 