pose 9*b - 38 = 187. Is b a multiple of 12?
False
Let i(l) = 31*l + 1. Let g be -2*3/(18/(-15)). Suppose -1 - 4 = -g*w. Does 12 divide i(w)?
False
Let v(y) = -y**3 - 11*y**2 - 11*y - 9. Let i be v(-10). Suppose 5*c + 0*c = 25. Let h = c - i. Is h even?
True
Let j be (-2)/(-6)*0 - -9. Let k(i) = 10 - i + i**3 + j - 8. Does 5 divide k(0)?
False
Let v be (0/2)/((-4)/(-2)). Let t be (v - (-9)/6)*-2. Is ((-8)/t)/(1/3) a multiple of 6?
False
Suppose 0*n + n - 10 = 0. Is 2 a factor of n?
True
Let h = 5 + -5. Suppose h = 5*b + 5*a + 66 - 226, 3*a = b - 32. Is 16 a factor of b?
True
Let m(d) = -2*d**2 + 48*d + 28. Is 11 a factor of m(21)?
True
Is 30 a factor of (3 + -1)/2 + 55?
False
Suppose 0 = -4*g - 5*o + 660, -g = -2*g - 2*o + 162. Suppose -4*q - 22 + g = 0. Is q a multiple of 15?
False
Let b = -216 + 119. Let a = -47 - b. Is a a multiple of 13?
False
Let m(i) = -2*i + 3. Let q be m(-5). Suppose -3*c + 7 = 5*r, 14 = -c - 5*r + 3. Let p = q + c. Does 14 divide p?
False
Does 8 divide 4*(23 - (14/8 + -1))?
False
Suppose -n - 5 = -143. Does 22 divide n?
False
Suppose -2*f + 8 - 1 = 3*c, -2*f - 2 = 0. Let w(y) = 2*y**2 + c - 3*y**2 + 10*y - 13. Is w(7) a multiple of 9?
False
Suppose 6*h - 8*h + 467 = 3*o, -5*h - 439 = -3*o. Does 17 divide o?
True
Suppose 3*i + 1 + 2 = 3*f, f = 5*i - 7. Suppose i*j + m = 4 + 26, 38 = 2*j + 5*m. Is 9 a factor of j?
False
Let n be ((-4)/3)/(4/6). Does 13 divide (-50)/n + 2 + -1?
True
Suppose 0 = -3*j + 5*d + 35 + 192, 2 = d. Is j a multiple of 5?
False
Suppose 0 = -v + 6 - 2. Suppose 4*s - 114 = -2*o, -s = 2*o - v*o - 41. Is 12 a factor of s?
False
Let u(y) be the first derivative of -y**4/4 + 2*y**3 - 2*y**2 + 3*y + 3. Is 8 a factor of u(5)?
True
Suppose p - 128 = -2*g - p, -252 = -4*g - 5*p. Is 34 a factor of g?
True
Suppose -2*s + 91 - 33 = 3*n, -3*n = -4*s - 46. Does 11 divide n?
False
Let w(b) = -b**2 - 9*b + 10. Suppose -26 = 4*j + 6. Does 13 divide w(j)?
False
Suppose 3*a = 5*b - 39 + 200, 0 = b - 2. Does 5 divide a?
False
Suppose 4*a = -0*a + 3*s + 27, -5*s = a + 22. Suppose h = a*h, -3*r + 2*h = -54. Is 9 a factor of r?
True
Suppose b = 2*b - 220. Does 18 divide b?
False
Let n = -10 - -35. Does 13 divide n?
False
Let l(b) = -b**2 - 6*b - 1. Let p be l(-5). Let q(u) = u**2 - 2*u - 5. Let t be q(p). Suppose -t*v - 42 = -4*v. Does 9 divide v?
False
Let v be ((-2)/4)/(7/(-126)). Is v + 7/((-14)/(-4)) a multiple of 5?
False
Suppose -5*z + 10 - 55 = 0. Is -10*(1 + z/5) a multiple of 8?
True
Let r = 11 - 7. Let u = 10 - r. Is u even?
True
Is 722/9 - 12/54 a multiple of 22?
False
Let w = 3 + -6. Is 2 a factor of 6/(-9) + (-14)/w?
True
Suppose -4*f - 36 = 3*c - c, 0 = -5*c - 3*f - 69. Let g = c + 15. Is g a multiple of 3?
True
Let s(f) = -f**3 + 5*f**2 + f + 1. Let a be s(5). Suppose -3*g + 4*g = -a. Is 15 a factor of 9/(g/(-16) + 0)?
False
Suppose 3*j = 4*w - 6, -3*w + 19 = 5*j - 0*j. Suppose -5*l = -4*l - j*i - 8, 5*i = -5*l - 20. Is (l + 2)*15/2 a multiple of 6?
False
Suppose 2*j - 4*c + 2 = 0, 5*c + 5 = -5*j + 6*c. Let p = 8 - j. Let n = p - -9. Does 18 divide n?
True
Let r(o) = o**3 + 8*o**2 + 8*o + 4. Let h be r(-6). Let f = 14 + h. Does 21 divide f?
True
Let q(j) = 50*j**2 + 8*j + 3. Let t(l) = 17*l**2 + 3*l + 1. Let a(c) = 3*q(c) - 8*t(c). Let x be a(-1). Let h = x - 3. Is 12 a factor of h?
True
Is -2*(-1)/(-2)*-19 a multiple of 16?
False
Is 27 a factor of (2 + 22 + 3)*1?
True
Let z(j) = j**2 - 4*j - 5. Let d be z(5). Suppose d*o + o = -4, 4*o = 5*m - 296. Is 19 a factor of m?
False
Suppose -3*a + 27 = -0*a + 5*k, -2*k = 5*a - 26. Let q(n) = n**2 - 2*n + 6. Does 7 divide q(a)?
True
Let v be (16/6)/((-1)/(-21)). Let r = v + -30. Is r a multiple of 15?
False
Let g(i) = -4*i + 1. Is g(-8) a multiple of 6?
False
Suppose 0 = -3*n - 3, 3*v - 333 = 2*n + 47. Suppose 2*d = 4*d + v. Let s = d + 99. Is s a multiple of 18?
True
Let h(b) = -b. Let v be h(-2). Suppose 0 = v*s - 6 - 4. Is 5 a factor of s?
True
Let z(k) = 5*k**3 - 2*k**3 + 0 + 23*k**2 - 2*k - k**3 - 2. Let a(g) = -3*g**3 - 34*g**2 + 3*g + 3. Let u(i) = -5*a(i) - 7*z(i). Does 4 divide u(-9)?
True
Let m(o) = o - 1. Let u be m(4). Suppose 6*d = u*d - 18. Let y(s) = s**2 + 4*s + 4. Does 8 divide y(d)?
True
Suppose 3*i + 5 = -1. Is 24 a factor of -2*(1 + -33 + i)?
False
Let v be (-4)/(-8)*-6 + -9. Let r = v - -33. Does 7 divide r?
True
Let n(b) = 4*b**3 - 2*b**2 - b. Let w(h) = -h + 12. Let g be w(10). Let a be ((-4)/6)/(g/(-6)). Is 13 a factor of n(a)?
False
Suppose -w = y - 1, 2*y + w - 1 = -2*y. Suppose y = -g + 26 + 4. Suppose 0 = -2*x - 4*c + 14, -c - g = -5*x + 60. Is 5 a factor of x?
False
Let c = 44 - 17. Does 7 divide c?
False
Suppose 4*a + 72 = 5*a. Is a a multiple of 18?
True
Let o = 63 + -14. Let f = 74 - o. Is 16 a factor of f?
False
Let g = 147 - 63. Does 13 divide g?
False
Suppose -4*n = -12, p - 3*p + 3*n + 35 = 0. Does 11 divide p?
True
Suppose d = -d + 4. Suppose -64 = -6*c + d*c. Does 16 divide c?
True
Suppose -4*z + 349 = -5*m, -4*m + 5*m = -z + 76. Does 27 divide z?
True
Let i be -42*((-36)/(-28) + -3). Let j = i + 3. Is 24 a factor of j?
False
Let u(w) be the first derivative of w**4/4 + 10*w**3/3 - 11*w + 2. Is 21 a factor of u(-9)?
False
Let b(n) = -72*n**3 + 4*n + 4. Is 8 a factor of b(-1)?
True
Suppose 2*f = -3*f + 140. Is 4 a factor of f?
True
Suppose -3*x + 461 = -118. Is x a multiple of 17?
False
Let g = -6 - -16. Let q be 489/((-5)/(g/3)). Does 6 divide (-2)/(-11) - q/22?
False
Let p = -2 + -6. Let l = p - -6. Is 0/(-3) - 20/l a multiple of 6?
False
Let r = 5 + 10. Suppose -v = -4 - r. Does 19 divide v?
True
Suppose 2*q = 3 + 11. Suppose 152 = -8*s + 12*s. Is s/2 - (4 - q) a multiple of 11?
True
Suppose 0 = -x - 2*x - 2*m + 8, -5*x + 2*m = -24. Let a = 7 - x. Is 3 a factor of a?
True
Suppose -3*y + 40 = f, -3*y - 32 = -5*y - 2*f. Is y a multiple of 3?
True
Let r(n) = -n**2 - 15*n + 5. Is 13 a factor of r(-9)?
False
Let o(x) = -32*x - 5. Let f be o(-3). Suppose 0 = -2*t + 45 + f. Is 18 a factor of t?
False
Suppose -15 = 4*l - 7*l. Let z(y) = y**3 + 5*y**2 - 2*y - 6. Let h(c) = -2*c**3 - 11*c**2 + 3*c + 13. Let k(g) = l*z(g) + 2*h(g). Is 8 a factor of k(-3)?
True
Suppose -7*c = -2*c - 30. Suppose -k + c*w + 46 = 2*w, -203 = -4*k - 3*w. Is 15 a factor of k?
False
Let g = 2 - -3. Suppose 3*f - 3*y - 153 = 0, -g*f = -2*y - 43 - 203. Does 24 divide f?
True
Suppose 2*h - 93 = 115. Does 17 divide h?
False
Let b be 2 + (9/3 - 2). Suppose -19 + 57 = t + 2*j, -b*t = j - 89. Is 19 a factor of t?
False
Suppose -n = 3*j - 436, -2*n - 5 = -n. Does 17 divide j?
False
Suppose 3*b - 50 - 94 = 0. Is 8 a factor of b?
True
Suppose 0 = -k - 3*k + 24. Let c(b) = 4*b - 2. Let x be c(k). Let m = 37 - x. Does 15 divide m?
True
Suppose 2*w + 22 = -3*n + 78, -w + 3*n + 28 = 0. Let s = w + -16. Is s a multiple of 12?
True
Let n(u) = u**2 + 2*u - 1. Let w = 2 - 5. Let q be n(w). Suppose t - 5 = -q. Is t a multiple of 2?
False
Is ((-135)/30)/((-1)/16) a multiple of 8?
True
Suppose -5*n + n + 12 = 0. Suppose -3*i - 21 = -3*u, 0 = 4*u - 2*i - n*i - 24. Is 7 a factor of u?
False
Suppose 0 = 3*d - 16 - 884. Does 15 divide d?
True
Let d(y) = 69*y**2 + 5*y - 9. Let f(z) = 34*z**2 + 2*z - 4. Let n(h) = -3*d(h) + 7*f(h). Does 13 divide n(-1)?
False
Let f(h) = 13*h**2 - h + 4. Let j be (-16)/(-7) - 8/28. Is 17 a factor of f(j)?
False
Does 8 divide (-2)/(-9) + 430/9?
True
Suppose 0*c - c + 3*j = -27, j = 5*c - 121. Is 24 a factor of c?
True
Let u(c) = c**2 - 3*c - 9. Does 19 divide u(7)?
True
Suppose -3*x = 5*z - 53 - 20, z = 4*x - 59. Let m = 44 - x. Is 11 a factor of m?
False
Suppose -213 = 5*s - 1093. Is s a multiple of 22?
True
Suppose -4*g = -g - 2*c - 5, -35 = -3*g - 4*c. Suppose -g*n = 2*s - 65, 0*n + n - 2*s - 13 = 0. Is n a multiple of 13?
True
Let s(o) = -3*o**3 + o + 1. Let h be s(-1). Is -1 + -1*(-10 - h) a multiple of 4?
True
Suppose 0 = 2*v - 4 - 0. Suppose -v*s + 3 = -21. Does 12 divide s?
True
Suppose 0 = 3*j - 3*f - 102, 4*j - 3*f = 2*f + 132. Does 11 divide j?
False
Suppose 0 = 2*y - 4*y - 12. Let u = 12 - y. Is u a multiple of 6?
True
Suppose -4*c = 3*m - 745, c - 2*m + 742 = 5*c. Does 31 divide c?
False
Suppose 3*q = 2*p - 95, p - 2*q - 98 = -p. Is p a multiple of 19?
False
Let w(m) = -m**2 + 6*m - 6 + 9 + 1. Does 9 divide w(5)?
True
Suppose -5*z + 49 = 