12*a - 11. Let o be ((-96)/(-20))/(1/(-5)). Let i be (-40)/o*(5 + 1). Is 9 a factor of d(i)?
True
Let g = -15 + 25. Let j(q) = -4*q**2 + 13*q + 2. Let f(l) = -l**2 + l. Let m(i) = -3*f(i) + j(i). Is m(g) even?
True
Let l be (-10)/(-4 + (-200)/(-52)). Let n = 150 - l. Is 17 a factor of n?
True
Let p = -9 + 13. Suppose -p*t = w - 74, 0 = t - 3*t - 3*w + 32. Is t a multiple of 15?
False
Is 16 a factor of 36*(-2 - (-50)/15)?
True
Let k(y) = 7*y**2 - 37*y. Let w(c) = 3*c**2 - 18*c. Let v(n) = -4*k(n) + 9*w(n). Does 16 divide v(-10)?
False
Suppose -3*g - 13 = -40. Let k be 853/g + 6/27. Suppose 0*j = -5*j + k. Does 19 divide j?
True
Suppose 0 = 3*r + 2*d - 13, d + 43 = 5*r + 17. Suppose 0 = r*y - 3*p - 142, 3*y + 0*y + p = 88. Is y a multiple of 11?
False
Suppose 0 = h + 2*h - 213. Is h a multiple of 20?
False
Is 9 a factor of (-16)/96 - (541/(-6) + 0)?
True
Let t = -154 - -222. Suppose -t - 39 = -b. Suppose 29 = -2*f + b. Does 13 divide f?
True
Let x = -52 - -157. Is 21 a factor of x?
True
Let w(n) = -n**2 + 24*n + 28. Does 2 divide w(25)?
False
Suppose -24 = 2*u - 3*u. Suppose d - 66 = u. Suppose 0 = -3*v - 2*v + d. Is v a multiple of 10?
False
Suppose -3*w = 2*w - 35. Let a(n) = 0 + 3 - 2*n + 3*n. Is a(w) a multiple of 4?
False
Suppose -1 = 5*c + 164. Let d = 20 - c. Let t = d - 13. Does 20 divide t?
True
Let w(f) = -3*f**3 + 7*f**2 - 4*f + 6. Let z(p) = -p**3 + p**2 - p. Let x(s) = w(s) - 2*z(s). Let c be x(5). Does 13 divide ((-208)/(-12))/(c/(-6))?
True
Suppose 0 = 3*c - 0*c - 12. Let u = 16 - c. Is u a multiple of 9?
False
Let b(m) = 6*m + 38. Does 14 divide b(10)?
True
Let j(h) = -23*h**3 + 2*h**2 + 3*h + 1. Does 8 divide j(-1)?
False
Let y = 107 + -155. Let i = y - -85. Does 24 divide i?
False
Let k(n) = -n**2 + 6. Let g be k(-4). Let l(w) = w**3 + 9*w**2 - 12*w - 9. Is l(g) a multiple of 4?
False
Suppose 3*q - 128 = 22. Let c = q + -16. Is 15 a factor of c?
False
Let v be (-5 - -8)*28/3. Suppose -q = -0*q - v. Is 9 a factor of q?
False
Let c be 2*2/8*0. Let z = c - -16. Is 3 a factor of z?
False
Let j(u) = 5 + 4*u - 3*u + 5*u + u + u**2. Let y be j(-6). Is -2*y/((-2)/(-22)) a multiple of 22?
True
Let s(u) = -u - 1. Let r(h) = h**2 + 3*h - 11. Let z(d) = -r(d) + 5*s(d). Is z(-5) a multiple of 14?
False
Suppose -5*s - 3*g = -747, -5*s + 222 = 5*g - 523. Is s a multiple of 25?
True
Let w(p) = -14*p + 2. Let y(u) = u. Let h(l) = w(l) + 3*y(l). Is 21 a factor of h(-3)?
False
Suppose l + 1 = 4*u + 6, -5*l + 25 = 3*u. Suppose 5*s = -7*x + 2*x + 200, l*s - 209 = -2*x. Is s a multiple of 13?
False
Let i(j) = -j - 1. Let r(t) = t + 1. Let p(l) = -3*i(l) + r(l). Does 6 divide p(4)?
False
Let j = 8 - 79. Let i = -29 - j. Does 14 divide i?
True
Let s = 18 + -13. Suppose 5*p = -3*x - 14, -x - x = s*p + 16. Suppose 0*q + x*a + 172 = 4*q, 178 = 4*q - 5*a. Does 21 divide q?
True
Suppose 2*x + 12 = 5*x. Suppose r + 5*v + 2 = 34, 5*r = x*v + 73. Does 17 divide r?
True
Let i be (-5)/(-10) - 10/(-4). Suppose -i*t + 5*t = f - 9, -f + 3*t = -14. Let h = f + 9. Is h a multiple of 4?
True
Let t = -1 + 5. Suppose -t*u - 7 = -0*l + l, -2*u - 9 = -5*l. Does 14 divide u/9 - 128/(-9)?
True
Let k(w) = 2*w + 4. Let b(r) = 4*r**2 + 1. Let p be b(-1). Does 5 divide k(p)?
False
Let v(r) = -2*r**3 + 13*r**2 - r - 2. Is 17 a factor of v(5)?
True
Let f = -14 - -15. Let w(o) = o**2 - 4. Let s be w(3). Is 2 a factor of (1/s - f)*-5?
True
Let b(c) = 6 - 4*c - 12 - 3*c - 6. Is 21 a factor of b(-10)?
False
Let s(o) = o + 19. Let q(r) = r - 18. Let d be q(18). Is s(d) a multiple of 6?
False
Let i be 1/(-3) - 26/(-6). Suppose -4*z + 55 = 5*p, -5*z - i*p + 2 = -78. Is z a multiple of 17?
False
Suppose 2*n = 5*n - 108. Does 24 divide n?
False
Let h(q) = -3*q**3 + 4*q**2 - 5*q + 8. Let w(b) = 8*b**3 - 11*b**2 + 14*b - 23. Let j(a) = -11*h(a) - 4*w(a). Let r be j(3). Let o = 41 - r. Is 4 a factor of o?
False
Suppose -2*u + 19 = -53. Is 9 a factor of u?
True
Suppose 3*p - 225 = -0*p. Is p a multiple of 15?
True
Let n = -8 - -18. Let i = 8 + n. Does 13 divide i?
False
Let p = -13 + 28. Does 12 divide p?
False
Let o = 228 - -17. Suppose 0 = 4*u - 9*u + o. Is 10 a factor of u?
False
Let d be (-655)/35 - 2/7. Let y = -11 - d. Is 4 a factor of y?
True
Suppose 0*n = -3*n + 33. Suppose -y + f = -48, 1 = -3*f - n. Does 8 divide y?
False
Is ((-12)/(-70)*5)/(4/140) a multiple of 6?
True
Let u = 9 + -8. Let b be -1*-8*u*-1. Let t = b - -20. Does 4 divide t?
True
Suppose -2*u + 3*u - 6 = 0. Is u a multiple of 6?
True
Suppose 5*z - 15 = 0, v + 5 = z - 0. Let j be 185/25 + v/5. Does 10 divide (1*58)/(j - 5)?
False
Suppose 4*x + 9 - 2 = -5*h, -3*h - 5 = 2*x. Let v = 0 - h. Suppose -2 = v*g - 11. Is 2 a factor of g?
False
Let f(h) = h**2 - 6. Let u(z) = 3*z**2 + z - 13. Let i(q) = -5*f(q) + 2*u(q). Let v be 0 + 1 + 2 + 0. Is 8 a factor of i(v)?
False
Let k(s) be the first derivative of -s**4/4 + s**3 + 3*s**2 - s + 4. Does 7 divide k(4)?
True
Let o = -79 - -111. Is 8 a factor of o?
True
Let d = 5 - 3. Let g be (-525)/d + 1/2. Does 23 divide g/(-10) - 3/15?
False
Suppose 0 = -b + s - 6*s + 16, -116 = -3*b + 2*s. Let f = b + -16. Is f a multiple of 20?
True
Let w(i) = -i**2 - 10*i - 10. Let r(h) = 2*h**3 + h**2 - 4*h - 3. Let m be r(-2). Is w(m) a multiple of 11?
True
Suppose 3*i + 7*i - 1610 = 0. Is 23 a factor of i?
True
Let f be (3/(-3) + 1)/2. Suppose f = -2*h + 40 + 32. Does 18 divide h?
True
Let i(g) = 21*g + 3. Let r be i(6). Let j = -71 + r. Is j a multiple of 15?
False
Suppose -190 - 170 = -5*z. Is 9 a factor of z?
True
Suppose 24 - 9 = 5*d, -5*s = d - 58. Let q = s - -11. Does 11 divide q?
True
Let n be (-1)/3 + (-10)/(-3). Suppose -2*c = n*c - 25. Suppose 5*x = -4*d + 128 + 29, -c*x = 2*d - 161. Is x a multiple of 11?
True
Suppose k - 4*k = -15. Suppose 3*c - 118 = -k*x, 2*x = -3*x + 2*c + 138. Is x a multiple of 13?
True
Let d be (-2)/3 - (-14)/(-42). Let k(n) = 4*n**2. Does 2 divide k(d)?
True
Let w(d) = d**3 - 7*d**2 + 5*d - 15. Does 10 divide w(7)?
True
Suppose -21 = 4*f - 2*f - r, 3*f - 2*r + 30 = 0. Suppose t + t - 16 = 0. Let d = t - f. Does 8 divide d?
False
Let q = 70 + -65. Does 2 divide q?
False
Let c = -23 - -20. Is 7 a factor of (c + -1 + 66)/2?
False
Suppose 0 = 4*m + c - 1, -2*m + 3*c = 2*m + 3. Suppose m = d - 5*f - 57, -4*f - 39 - 15 = -d. Is d a multiple of 17?
False
Suppose 0 = -5*n + 19 - 4. Let c = 29 - -23. Suppose n*l - 47 = -4*r - 11, 4*r - c = -4*l. Is l a multiple of 8?
True
Suppose -5*m + 0*m + 220 = 0. Suppose -3*s + 2*x = -134, 0 = 3*s + 2*x - 110 - m. Is 24 a factor of s?
True
Suppose -4*r + 0*r + 81 = d, 2*r - 296 = -4*d. Is 22 a factor of d?
False
Let v(z) = z**2 + 2*z - 2. Let l be v(3). Let x(y) = y + 1. Let g be x(-4). Let a = g + l. Is a a multiple of 5?
True
Let m(t) = 4*t. Does 8 divide m(6)?
True
Let o(z) = -z**2 + 8*z - 7. Let a be o(7). Suppose r - 5*r = a. Suppose r = c - 7. Is c a multiple of 6?
False
Let i(r) = r**2 + r + 2. Let l be i(-2). Suppose 0 = -l*c, -2*q + 2*c + 2 = -0*q. Suppose q = 3*u - 23. Does 8 divide u?
True
Let m = 3 - 3. Suppose m = 2*a + a. Suppose a = c + 4*c - 90. Is 9 a factor of c?
True
Let b(t) = 10*t**2 - t + 1. Let l be b(1). Let x(y) = -y**3 + 11*y**2 - 7*y + 12. Does 8 divide x(l)?
False
Suppose 0 = 5*x - 0*d - d + 22, 0 = 2*x + 5*d + 25. Does 2 divide 196/35 + 3/x?
False
Suppose -4*m - 10 = -30. Suppose 4*o + 11 - 2 = m*p, -5*o + 30 = 2*p. Suppose -81 + 216 = p*g. Does 12 divide g?
False
Let b = 155 + -95. Suppose b = 7*x - 2*x. Does 14 divide (3*1)/(x/56)?
True
Let a(v) = -v - 7 + 5*v + 14 - 3*v. Is a(11) a multiple of 13?
False
Suppose -159 = -3*g + 3*y, -3*y + 207 - 66 = 3*g. Does 25 divide g?
True
Suppose 3 = -3*z - 0*z, -4*z + 41 = 3*t. Let b = -10 + t. Does 2 divide b?
False
Suppose 9 = -2*g - 1, -n - g + 29 = 0. Let z = -6 + 12. Does 6 divide 1/3 + n/z?
True
Is 20 a factor of 0 + (5 - 3) - -93?
False
Suppose -3*z - 2*m + 23 = 2*m, 2*z - 13 = -5*m. Does 9 divide z?
True
Let j be (1 - -1) + 36/6. Suppose -4*d = v - 2*d - j, 0 = -5*v - 2*d + 80. Is 5 a factor of v?
False
Let m(w) = 2*w**2 + 5 + 8 + 0*w**2 - 9*w - 5. Is 16 a factor of m(8)?
True
Let d be (1 + (-7)/2)*-6. Let n = 37 - d. Is n a multiple of 11?
True
Let f(n) be the first derivative of 13*n**2/2 + 4*n + 8. Is f(3) a multiple of 25?
False
Suppose 4*j + 