oes 12 divide a(-5)?
True
Let t(h) = -h**2 + 10*h - 7. Let r be t(8). Let v(w) = 11*w - 13. Is v(r) a multiple of 27?
False
Suppose 2*r = 3 + 1. Suppose r*c = -c + 90. Is c a multiple of 10?
True
Let g(i) = i**2 + 9*i + 2. Is g(-14) a multiple of 24?
True
Suppose -2*m - 5 = 5*l - 3*m, 4*l + 3*m = 15. Let a = 0 + l. Suppose d + 0*d - 20 = a. Does 12 divide d?
False
Is 2 + 14 + 3 + 3 a multiple of 22?
True
Let b(d) = d**2 + 1. Let x be b(0). Let j(l) = 46*l**3 + l - 1. Let s be j(x). Let a = 88 - s. Does 21 divide a?
True
Suppose 3*c - 6 = -3*g, -10 = -2*c - 0*c + g. Suppose m + c*m = 110. Is m a multiple of 20?
False
Let g(d) = -d**2 - 3*d. Let v be g(5). Is 10 a factor of (-3 + 0)*v/6?
True
Let u(l) = -2*l**3 + 3*l**2 + 4*l. Suppose b = -4*r - 3, 0 = -2*b + 3*r + r - 6. Is u(b) a multiple of 25?
False
Let a = -5 - -9. Suppose 3 + 9 = a*p. Suppose -g + 6 = p. Is g a multiple of 3?
True
Let g(z) = -3*z**3 - 3*z**2 + 6*z. Let l be g(4). Let j be (-3 - l) + (1 - 2). Does 13 divide j/8 + (-2)/4?
True
Let z(q) = q + 1. Let f be z(-4). Let l be (f + 3)*(-2)/(-4). Let k(y) = -y**2 + 5. Is 5 a factor of k(l)?
True
Let t be (-22)/(-6) - (-12)/(-18). Suppose -q + 13 - 1 = -2*b, -t*q + 36 = 2*b. Is 6 a factor of q?
True
Is 12 a factor of (-4)/5*225/(-3)?
True
Suppose b - 6*b + 5*w = 30, 5*b + 5*w = -20. Does 3 divide 2/5 - 28/b?
True
Is (-639)/(-4) + 3/12 a multiple of 20?
True
Let b(j) = 7*j**2 + 3*j - 1. Let z be b(-3). Let c(y) = 5*y**2 - 3. Let u be c(-4). Let f = u - z. Is f a multiple of 13?
False
Let h = -13 + 29. Is 6 a factor of h?
False
Let a(h) = -h**3 + 4*h**2 + h - 2. Suppose 4*u + 4 = 2*u + 2*s, s + 16 = -2*u. Let y = u + 8. Is a(y) a multiple of 4?
True
Suppose 0*r - 44 = -2*r. Suppose 0 = -s - 4*k - r, -2*s = -s + k + 10. Is ((-30)/(-4))/((-3)/s) a multiple of 11?
False
Let j = 6 + -10. Let p be (32 + 3)*j/(-5). Suppose -2*v + p = 2. Is 13 a factor of v?
True
Suppose 800 = 4*v + v. Does 32 divide v?
True
Suppose -4*r + 3*c + 915 = 0, 4*r - 905 = 14*c - 13*c. Is 26 a factor of r?
False
Let r be 2*(9/6 + 0). Let x(f) = 10*f + 4. Let p be x(r). Suppose 0 = -u - u + p. Is 9 a factor of u?
False
Let s(a) = a**3 - 8*a**2 - 8*a - 3. Suppose 3*q - 45 = -2*q. Let p be s(q). Suppose 2*y = p*y - 156. Is y a multiple of 13?
True
Let d(i) = 4*i**2 - i - 1. Let u be d(-1). Suppose 3*h = 5*s + 66, -u*h - 2*s + 88 = -3*s. Is 11 a factor of h?
True
Suppose 2*r - 12 = -2*b + 4*b, -5*r + 22 = 3*b. Suppose -60 = j - r*j. Does 6 divide j?
False
Suppose 3*h - 3 = 2*h. Suppose 0 = -2*g + 47 + 15. Suppose -h*r + 5*k + g = -18, r = -k + 3. Is 7 a factor of r?
False
Suppose -2*w = -0*w - 110. Does 18 divide w + 2*2/(-4)?
True
Let i(r) = -r - 3. Let g be i(-5). Suppose g*l - 16 + 6 = 0. Is 3 a factor of l?
False
Let w(t) = 3*t. Suppose 1 + 12 = 4*y - 5*b, 5*y - 3*b = 0. Let x be ((-2)/y)/((-1)/(-3)). Does 3 divide w(x)?
True
Let z(j) = j**2 + 10*j + 18. Let n be 6*3/6 + -15. Does 9 divide z(n)?
False
Suppose f = -4*r + 397, -r + f = -3*f - 112. Is r a multiple of 10?
True
Suppose 3*q = 24 + 42. Let w = q - 15. Is 2 a factor of w?
False
Suppose -2*n = -4*y + 46, -3*y + 3*n - 2*n + 35 = 0. Is y a multiple of 5?
False
Let b be 3*(40/(-3))/(-4). Is 14/35 + 266/b a multiple of 14?
False
Let c(s) = -s**2 - 8*s. Is 15 a factor of c(-5)?
True
Let h(d) = d**3 - 11*d**2 + d + 14. Let p be h(11). Let m = p + -18. Is m a multiple of 3?
False
Let q be ((-10)/15)/(1/6). Let o = q - -11. Is o a multiple of 6?
False
Let d be (-54)/10 - (-2)/5. Let c = d + 14. Is c a multiple of 3?
True
Let l be 20/(-8)*(-4)/2. Suppose y - 30 + 5 = l*p, -59 = -2*y + p. Is 13 a factor of y?
False
Let p(s) = -s + 6. Let u be 1 + 1 + 0 + -2. Let j be p(u). Is (-4)/j*(-78)/4 a multiple of 13?
True
Let m = 48 + -4. Is m a multiple of 11?
True
Let h(z) = z**3 + z**2. Let v be h(1). Suppose -2*k + v + 198 = 0. Suppose -4*p + k = -0*p. Does 10 divide p?
False
Let f(z) = -2*z + 9. Is f(-4) a multiple of 3?
False
Suppose 4*f = 5*f + 2. Let k = f - -6. Suppose k*o - 68 = -20. Is o a multiple of 12?
True
Let h(k) = 15*k**3 + 5*k**2 + 9*k - 12. Let g(s) = -7*s**3 - 3*s**2 - 5*s + 6. Let n(y) = 13*g(y) + 6*h(y). Is n(-8) a multiple of 10?
True
Suppose 3*l - 80 + 11 = 0. Is l a multiple of 15?
False
Let w be ((-4)/14)/((-3)/21). Suppose 166 = 4*u - w. Is u a multiple of 15?
False
Let z = -18 - -22. Suppose -y = -1, 8*p + z*y - 364 = 3*p. Is 24 a factor of p?
True
Suppose 2*i + 3*c = -c + 116, 5*c = -3*i + 176. Does 9 divide i?
False
Suppose -5*l + 4*v = 31, 5*l + 4*v + 15 + 24 = 0. Let y(z) = -z**3 - 8*z**2 - 7*z + 7. Let b be y(l). Let d(i) = 2*i - 10. Does 4 divide d(b)?
True
Suppose 3*b - 15 = -2*b. Is 3 a factor of b?
True
Suppose 2*w - 5*w = -q + 15, -w = -5*q + 89. Suppose -2*u + q = u. Is 2/u + (-130)/(-6) a multiple of 11?
True
Let t(a) = -a**3 + 4*a**2 + 3*a + 4. Let i = 3 + 1. Suppose i = 4*s - 4*n, 2*s + 0*n - 14 = -2*n. Is 6 a factor of t(s)?
False
Is 10 a factor of 100/15*(4 - 4/4)?
True
Suppose 0 = -2*r + 284 + 148. Suppose 0*l = -4*l + r. Is 15 a factor of l?
False
Let c = -64 + 119. Suppose -5*y + 125 = -o, 5*y - c - 85 = -2*o. Is 12 a factor of y?
False
Suppose 0 = -3*v + 250 + 38. Is 24 a factor of v?
True
Let j = 5 - 4. Suppose -r = -5 - j. Does 18 divide (-1)/3 - (-242)/r?
False
Let k(q) = -2*q**3 - 2*q**2 + 8*q - 10. Let s be k(-7). Let g be s/12 + (-2)/4. Does 21 divide g + (3 - 2) + -2?
True
Is (32 - 27) + (258 - 0) a multiple of 16?
False
Let l = 15 + -7. Let v(b) = b**3 - 9*b**2 + 8*b + 4. Let g be v(l). Is 9 a factor of g/(-6) + (-336)/(-18)?
True
Let c = -78 - -154. Does 16 divide c?
False
Let x be 0 + -1*2 + 5. Suppose -3*s = -4*s + 3*q + 5, -x*q = 3*s - 15. Is s/(-2*(-3)/6) a multiple of 2?
False
Suppose -1 = -v, 4*v + 0*v = r - 20. Does 12 divide r?
True
Suppose z + 2*n - 110 = -n, 2*n - 220 = -2*z. Suppose -5*p - w + z = 2*w, 4*p = w + 71. Is p a multiple of 19?
True
Let f = -2 + 6. Suppose 0 = -3*c - 4*b - 11, -2*c - f*b = -c + 17. Does 3 divide c?
True
Let z be (96/(-30))/(2/(-10)). Suppose -14 = -2*b + 78. Let h = b - z. Is 16 a factor of h?
False
Does 2 divide (-17)/(-2) + (-7)/(-14)?
False
Let f = 6 - 6. Suppose 3*b = -f*b + 45. Does 8 divide b?
False
Let z = -111 + 171. Is z a multiple of 24?
False
Let f be 1 - 5 - 102/(-2). Suppose 3*x + 100 - 16 = 0. Let j = f + x. Is 19 a factor of j?
True
Let m = -54 - -57. Does 2 divide m?
False
Suppose -g + 1 = 0, 5*x + 47 = 5*g + 232. Is 13 a factor of x?
False
Let r = -6 + 6. Let q be 1 + -1 + r/(-5). Suppose -5*u + 4*u + 11 = q. Is u a multiple of 11?
True
Let q = 7 + 0. Does 3 divide q?
False
Suppose t + 5*j = 2*j - 6, 0 = -2*t + 3*j - 48. Let s = 12 + t. Let a(f) = f**2 + 5*f. Is 3 a factor of a(s)?
True
Suppose -4*t + 3*f + 1677 = 2*f, 3*t = -f + 1263. Does 12 divide t?
True
Let w(a) = a**3 - 2*a**2 - 2. Let r be w(3). Let g = 18 - r. Let t = 33 - g. Does 9 divide t?
False
Let j(l) be the third derivative of l**5/12 + l**4/24 + l**3/3 + 2*l**2. Let d be j(-2). Let h = d + -9. Is h a multiple of 5?
False
Suppose 0 = w + 2*w. Let v = w + 13. Suppose v = f - 0*f. Does 8 divide f?
False
Does 14 divide (5 - -3)*27/12?
False
Let d = 113 + 80. Does 33 divide d?
False
Let x be 304/(-52) - 4/26. Let o(h) = h**3 + 7*h**2 + 3*h + 7. Let z be o(x). Is 9 a factor of -1 + z + (-2 - -4)?
False
Let g(c) = c**3 - 9*c**2 + 6*c + 4. Let x be g(8). Let j be (16/x)/((-2)/6). Suppose 2*r = -2*r + j*t + 236, -5*t + 90 = 2*r. Is r a multiple of 19?
False
Let p be 4/16 - 63/(-4). Suppose -4*m + 10 = o, -4*o - 14 + 2 = 3*m. Let u = p + o. Is 10 a factor of u?
True
Let o be 9 + (0 + 0 - -1). Let z be 4/(-6) + 2/(-6) - -1. Suppose -5*u = -z*u - o. Does 2 divide u?
True
Let d = 33 + -51. Let g = d + 76. Is 20 a factor of g?
False
Let d(p) = -5*p**3 - 3*p**2 - 3*p - 3. Does 8 divide d(-2)?
False
Let i = 48 + 21. Is i a multiple of 23?
True
Suppose 0 = 2*o + 2*o + 12, 4*x + 195 = 3*o. Let v = x + 79. Suppose -v = -3*i + 35. Is 7 a factor of i?
True
Let q(j) = -2*j**3 + j**2. Let k be q(-1). Let u be 8/4 - (-24 + 1). Suppose -u = -k*r + 29. Is 9 a factor of r?
True
Let z(o) = 51*o + 2. Is 17 a factor of z(1)?
False
Suppose 0 = o - 2*x - 152, -37 = -5*o + x + 759. Is o a multiple of 40?
True
Let d(k) = -k + 18. Is 6 a factor of d(-6)?
True
Let b(s) = -s**2 - 8