 = 4*d, -2*d - 85 = 3*y - 528. Is 36 a factor of y?
False
Is (18/(-21))/((-2)/98) a multiple of 9?
False
Suppose 0 = 3*m + 3, 0 = -f + 3*m + 2 + 5. Suppose g + f*w = 13 + 31, -3*g = -4*w - 164. Does 13 divide g?
True
Let p be 268/7 + 2/(-7). Let i = p - 11. Let g = i + -1. Is 13 a factor of g?
True
Let r(w) = 6*w + 1. Let a(q) = -q + 1. Let p(y) = -6*a(y) + r(y). Is p(4) a multiple of 24?
False
Let k(f) be the second derivative of -f**4/12 + 3*f**3/2 - 3*f**2 + 2*f. Is k(5) a multiple of 14?
True
Suppose 0 = 5*r - 60 - 25. Does 17 divide r?
True
Suppose r - 5 = 5*v + 27, -4*r + 4*v = -128. Let t = r + -18. Is t a multiple of 14?
True
Let d be (2/(-4))/((-2)/(-4)). Let u = d + 5. Is u a multiple of 2?
True
Does 4 divide ((-12)/18)/((-1)/18)?
True
Let a(n) = 6*n - 2*n**2 - 5 + n**2 - 14*n - 2. Let q be a(-5). Let s = q - -4. Does 7 divide s?
False
Suppose 3*z = 5*z + 4*m - 20, 0 = 2*z - m. Is 29/3 - z/3 a multiple of 9?
True
Let w = 0 - -1. Let s be w/((12/(-9))/(-4)). Suppose s*q - 60 = q. Does 15 divide q?
True
Let n(r) = 6*r**2 + r + 1. Is n(-3) a multiple of 18?
False
Suppose 2*i = 5*i - 24. Is (72/i)/(3/10) a multiple of 15?
True
Is 14 a factor of (7 - 9)*(-666)/4?
False
Let s be (1/2 - 0)*2. Let p = 5 - s. Suppose 5*t = 3*q - 63, p*q - 2*t - 79 = 3*t. Is 8 a factor of q?
True
Suppose 3*x - 5*g = 129, -5*x + g = -3*g - 228. Suppose -5*d + x + 42 = 0. Is 14 a factor of d?
False
Let k = -9 - 0. Let u be 2*-2*k/(-6). Is 32/2*u/(-8) a multiple of 12?
True
Let j be 4/(-8)*(5 - 1). Is 1/(-1*j/22) a multiple of 11?
True
Suppose -4*h = -3*h - 40. Suppose 0 = 4*g + 2*s + 2*s - h, 3*g = -5*s + 40. Is g a multiple of 4?
False
Let i(n) = -n**3 - n - 1. Let y be i(-2). Let j(q) = 2*q**2 + 2*q. Let u be j(-2). Suppose 4*o + y + 123 = u*x, -5*o = 15. Is 13 a factor of x?
False
Let b be 6/10 + 110/25. Suppose -4*u = -8*u - b*g + 34, 10 = -5*g. Is 11 a factor of u?
True
Suppose 4*c + 2*j + j - 153 = 0, 4*c = 3*j + 135. Suppose -i + c = i. Does 12 divide (i + 0)*(-4)/(-3)?
True
Let k = 131 + -365. Does 28 divide ((-16)/(-12))/((-3)/k)?
False
Let u(n) = n**3 - 8*n**2 - 4*n - 6. Let h(p) = -p**3 + p**2 - p - 1. Let f be h(-1). Let b be (-45)/10*(-4)/f. Is u(b) a multiple of 14?
False
Let j be 5 + 0 - -2 - 2. Let d = j - -10. Suppose d = 2*f - 1. Is 4 a factor of f?
True
Let i(c) = c**3 - 7*c**2 + c + 2. Does 8 divide i(7)?
False
Let a(r) be the third derivative of r**5/60 + r**4/6 - r**3/6 - r**2. Let y = -2 - -5. Is a(y) a multiple of 13?
False
Suppose -6*a = -172 - 110. Is a a multiple of 6?
False
Suppose -b - 4 = -5*b, 2*b + 530 = -4*t. Let y = t + 214. Does 27 divide y?
True
Is (-1)/((-1)/68) - 3*1 a multiple of 7?
False
Suppose -2*f = -f - 1. Suppose 2 = d - f. Suppose -3*c - 4*q = -55, 4*c - d*q - 90 = -5*q. Does 9 divide c?
False
Suppose -k - 26 = -3*k - 4*j, -3*k - 1 = -2*j. Is k*4/(-12)*-21 a multiple of 21?
True
Suppose 27 + 165 = q. Let k be -3 + 2/(-2) + q. Is 3/(-5) - k/(-5) a multiple of 10?
False
Suppose -473 - 567 = -5*z. Is z a multiple of 12?
False
Let p = 6 - 3. Suppose 0 = -2*i + p*i - 25. Is 5 a factor of i?
True
Suppose 0 = -3*p + 5*g + 48, 69 = 5*p - 2*g - 30. Is 14 a factor of p?
False
Let g = 5 - -7. Suppose 6 = 3*d + 4*i - g, 0 = -4*d + 5*i - 7. Is 9 a factor of 19 + (4 + -3 - d)?
True
Suppose 558 = 3*h + 5*m - 0*m, -5*m - 372 = -2*h. Suppose -t + 4*s + 177 = 2*t, 0 = 3*t - s - h. Is 21 a factor of t?
True
Let f(y) = -y**2 - 13*y + 34. Is f(-15) even?
True
Suppose 0 = -5*g + 2*b + 25, -4*g - b + 1 + 32 = 0. Is g a multiple of 7?
True
Let j be (17/2)/(3/(-6)). Let m = 29 + j. Is 12 a factor of m?
True
Let i(r) = r - 3. Let g be i(11). Is 22 a factor of 283/g - (-3)/(-8)?
False
Let i(d) = -3*d + 7. Let g(m) = 2*m - 5. Let f(s) = -8*g(s) - 5*i(s). Let r be f(0). Suppose -5*h + 5*t + 185 = 0, 4*h - r*t = -2*t + 147. Is 12 a factor of h?
True
Let h = -335 - -566. Does 21 divide h?
True
Suppose -j - 15 = -i, 5*i - 3 - 78 = -j. Suppose 4*c = i, m + 2*m = 3*c + 3. Is m a multiple of 2?
False
Suppose 5*q - 8 = o, -4*q + 10 = 3*o - 4. Suppose o*k + k = 90. Is 10 a factor of k?
True
Suppose 5*g - 4*d - 214 = 0, -4*d - 39 = -g - 7*d. Is g a multiple of 29?
False
Suppose 0 = -4*d + 5*o + 135, -4*d + 79 = -2*o - 47. Let z(r) = -r**2 - 4*r + 4. Let v be z(-6). Let n = d + v. Does 22 divide n?
True
Let r = 35 + -11. Is 8 a factor of r?
True
Let j(y) = -y**2 - 15*y - 11. Suppose 4*t = -51 + 7. Does 11 divide j(t)?
True
Suppose 4*n + 6 = 5*b + n, 3*b = 3*n + 6. Let z(a) = a. Let q be z(b). Does 3 divide (q + -1)/(3/(-18))?
True
Suppose 0 = 4*r + 4, 2*r = -2*i - 0*r + 14. Is i a multiple of 8?
True
Is 6 a factor of (1*-72)/(-4) + 4?
False
Suppose -112 = -6*c + 104. Is 12 a factor of c?
True
Does 10 divide (-140)/(-2) - (-16 + 12)?
False
Suppose 279 = 2*h + n, -8*n - 678 = -5*h - 4*n. Is 23 a factor of h?
True
Suppose 831 = 3*j + 3*c + c, -264 = -j + 3*c. Is j a multiple of 13?
True
Suppose -4 = 4*f - 4*b, -2*b + 3 = -5*f - 5. Let g = -26 + 87. Let m = g + f. Is m a multiple of 15?
False
Suppose 1 = t + 7. Does 2 divide 4/t*(-15)/2?
False
Let b(o) = -2*o**3 - 4*o**2 - o - 3. Let r be b(-3). Is 2 a factor of (-4)/(-18) - (-68)/r?
True
Let l be 1/((-2)/338*1). Is l/(-4) - (-14)/(-56) a multiple of 9?
False
Suppose -5*k - 142 = -4*k. Let l = 199 + k. Is l a multiple of 13?
False
Suppose -5*p = -14*p + 630. Does 14 divide p?
True
Let r be (-22)/(-6) - 2/(-6). Let f(g) = g**3 - 3*g**2 + 5*g + 2. Is 17 a factor of f(r)?
False
Let p = -15 + 17. Suppose r = 3*x - r - 97, 0 = -4*x - p*r + 134. Is 25 a factor of x?
False
Suppose -5*v - 57 = 23. Let p = -14 - -50. Let j = v + p. Is j a multiple of 10?
True
Suppose -5*o - g = -0*g - 90, 0 = -g. Suppose -5*h - o = 2. Let a(r) = -r**3 - 3*r**2 + 2*r - 5. Is 3 a factor of a(h)?
True
Suppose -2*c = -5*c - 102. Let r(l) = 4*l. Let q be r(-12). Let b = c - q. Does 7 divide b?
True
Let a be (2/5)/((-5)/(-50)). Suppose -11 = -a*m + 61. Let r = m - 5. Does 13 divide r?
True
Suppose 0*h = -c - h + 1, -5*c + 4*h = -50. Let p = c - -9. Is 15 a factor of p?
True
Let n = -40 + 56. Does 16 divide n?
True
Let p(l) = -l**2 - 6*l + 10. Let t be ((-7)/(-3))/(2/(-6)). Let a be p(t). Suppose 0 = a*o - 34 - 41. Does 9 divide o?
False
Let a(m) = -m**3 + 11*m + 8. Is a(-4) a multiple of 7?
True
Let g(k) = 30*k**2 + k + 2. Is g(1) a multiple of 11?
True
Let f(b) = -21*b**2 - 3*b + 3. Let a be f(2). Let m = a - -171. Is 25 a factor of m?
False
Let h be 1*(-1 - 0)/1. Let r(j) be the second derivative of 11*j**4/3 - 2*j. Does 17 divide r(h)?
False
Let y(m) = -m**3 + 3*m**2 + 5*m + 2. Is y(4) a multiple of 4?
False
Let c(f) = f**3 - 8*f**2 + 2*f - 10. Let u be c(8). Suppose -2*n = 4*z, 2*n + 4*z + 12 = u*n. Is 2 a factor of n?
True
Suppose s = -2*a - 0 + 12, 3*s + 2*a = 28. Is s a multiple of 4?
True
Is (8 - 0)*12/6 a multiple of 6?
False
Suppose 5*t - 147 = -2*q, -258 = -3*q + 2*t + 3*t. Is 10 a factor of q?
False
Suppose 10*r - 30 = 5*r. Suppose f - r = -1. Does 3 divide f?
False
Suppose -3*g = -7*g + 16. Suppose 7*w - 25 = -3*r + 2*w, 2*r - 15 = -5*w. Suppose -g*i = r - 186. Is i a multiple of 13?
False
Let o(f) = -7*f**2 - 13*f - 2. Let m(d) = -6*d**2 - 12*d - 2. Let t = -11 + 17. Let z(q) = t*m(q) - 5*o(q). Is 2 a factor of z(-6)?
True
Let m = 106 - -59. Is m a multiple of 24?
False
Let l = -37 + 162. Is 4 a factor of l?
False
Let o(k) = k**2 + 3*k. Let j be o(-3). Suppose 16 = 4*x - j. Is 4 a factor of x?
True
Let i = 9 + 2. Let l = 5 + i. Suppose 4*j + d - 20 = 0, -j + 2*d + 3*d = l. Is j a multiple of 3?
False
Let m(q) be the first derivative of q**4/4 - 2*q**3 + 5*q**2/2 + 5*q + 2. Is m(5) a multiple of 3?
False
Suppose 4*z + 0*z + 139 = 3*y, -2*y = -5*z - 172. Let t be 3/12 + 1/(-4). Let s = t - z. Does 13 divide s?
False
Suppose -17 = -v + 1. Does 9 divide v?
True
Let t be (4/(-8))/(1/16). Let n = t + 11. Suppose n*w - 17 = 4. Is w a multiple of 7?
True
Suppose 4*j = 2*v + 18, 5*v = -0*j + 2*j + 11. Let n(s) = -7 - 2*s + 6*s - 3*s + 2. Does 2 divide n(j)?
True
Suppose 16 = 2*h + 5*d, -3*h + 2 = 3*d - 13. Suppose 4*k - 66 = j, 0 = 3*k + 7*j - h*j - 59. Does 17 divide k?
True
Suppose 4*k = -4*b + 28, 2*b = -b + 4*k + 42. Is 563/11 + b/(-55) a multiple of 17?
True
Suppose -177 = -5*p + 193. Let a = p + -41. Does 11 divide a?
True
S