65*q**2 - 2*q - 1. Is 11 a factor of g(w)?
True
Suppose -6 = -2*r + 22. Suppose 0 = 9*a - r*a + 280. Is a a multiple of 8?
True
Let d = -211 + 496. Does 9 divide d?
False
Let j(q) = q**3 - 5*q**2 + q + 6. Let g be j(5). Let s(x) = -x + 14. Let l be s(g). Is l/4 - 315/(-28) a multiple of 4?
True
Is 2 + 237 - (-16 + 12) a multiple of 3?
True
Suppose 3*m = 4*p + 3, -4*m + 9*m = -p + 5. Let c be p/(-3) + (11 - -4). Let s(o) = 2*o - 16. Is 10 a factor of s(c)?
False
Suppose -33*j - 42*j + 18000 = 0. Is 24 a factor of j?
True
Let v = -12 - -20. Suppose -18 = -18*u + 9*u. Suppose 0 = -u*f + v. Is 2 a factor of f?
True
Let a be (-3)/(-2)*24/9. Suppose -164 = 4*c - 5*d, d = a*c - 3*d + 160. Let y = c - -56. Does 13 divide y?
False
Let y(i) = i**2 - 5*i - 9. Let c be y(7). Suppose 2*d + 3*j + 101 = 6*d, -4*d - c*j + 109 = 0. Let p = 66 - d. Is 10 a factor of p?
True
Suppose -2*l - 11 + 3 = 5*f, -4*l - 16 = 4*f. Let g be 50/13 - l/26. Suppose o = g*o - 75. Is o a multiple of 8?
False
Suppose -4*i + 10 = 3*d, -1 = -5*d + i + 8. Suppose -d*q + 82 = -3*b, 0 = -2*b - 0 - 4. Is q a multiple of 4?
False
Let j(z) = -10*z + 5. Let v be j(4). Let l = v + 76. Is l a multiple of 41?
True
Let m = -126 + 278. Suppose b - 5*y = -3*b - 108, -5*b - m = -2*y. Let r = b + 92. Is 12 a factor of r?
True
Let k(l) = 4*l**2. Let g be k(-2). Let r = g + -16. Let f(j) = j**3 - j**2 + j + 103. Is f(r) a multiple of 29?
False
Let h(g) = -43*g - 31. Is h(-12) a multiple of 49?
False
Suppose 3*h = -i + 4*i + 27, 0 = 2*i + 4. Let d = 19 - h. Is 4 a factor of d?
True
Suppose 18*i - 3568 = 10*i. Is i a multiple of 10?
False
Suppose -15*s - 3 + 63 = 0. Suppose -s*a - 4*o + 437 = -43, -5*a + 2*o + 600 = 0. Is 15 a factor of a?
True
Let l = -874 - -130. Is 28 a factor of (l/4)/(-1) - -5?
False
Suppose 10 = f + 9. Does 50 divide (f/(-3) - 0) + (-1884)/(-9)?
False
Suppose 6 = j - 4*b, -5*j - 5*b + 1 - 21 = 0. Suppose g + g + 16 = 0. Does 15 divide g/(-16) - 75/j?
False
Suppose 0 = 73*k - 70*k - 2907. Is 19 a factor of k?
True
Let c = -120 - -125. Suppose -2*d - c*z + 55 = 0, 4*z - 3 + 13 = 2*d. Is d a multiple of 15?
True
Suppose 95*o - 116*o + 8085 = 0. Is 24 a factor of o?
False
Let y(r) = 6*r**2 + 9*r - 50. Does 9 divide y(-12)?
False
Does 11 divide (-471)/5*(1 - 18 - -2)?
False
Suppose d + z = 177, 6*d = d + 3*z + 893. Does 55 divide d?
False
Let w be -1 + (3 - (-14 - -4)). Let d be (12 - w)/(2*1). Suppose 0*u + 2*x + 31 = 3*u, d = -3*u - x + 25. Is u a multiple of 5?
False
Let u = -25 - -20. Let s(k) = 12*k**2 + 13*k - 4. Let m(y) = 11*y**2 + 12*y - 4. Let a(z) = u*s(z) + 6*m(z). Is a(-4) a multiple of 11?
False
Suppose 2*m + 8*z - 1226 = 4*z, 4*m + 4*z - 2432 = 0. Does 9 divide m?
True
Suppose -6*y = -2235 - 99. Is 11 a factor of y?
False
Let v(d) be the second derivative of -d**4/12 - d**3/3 + 111*d**2/2 - 6*d. Is v(0) a multiple of 15?
False
Let r = 7 - -69. Suppose -133 = 3*l + d + 4*d, r = -2*l + 3*d. Let j = l - -59. Is j a multiple of 15?
False
Let o be 54/7 + (-12)/(-42). Suppose 3*p = d - 604, 3*d + d = -o. Let v = -132 - p. Does 14 divide v?
True
Suppose 16*g - 20*g = -5140. Does 12 divide g?
False
Let v(k) = 10*k**2 - 20*k - 60. Is v(-4) a multiple of 5?
True
Suppose -2753 + 529 = -4*s. Let f = 859 - s. Does 44 divide f?
False
Let h(o) = o + 1. Let t(l) = -l**2 + 2*l - 1. Let z(i) = 2*h(i) - t(i). Does 28 divide z(-5)?
True
Suppose 1608 = -80*o + 56888. Is 7 a factor of o?
False
Suppose 25*r - 22*r = 2214. Does 31 divide r?
False
Let s = 7 + -3. Suppose 3*j = -4*k + 151, s*j - 260 = 4*k - 12. Suppose -31 = -4*i + j. Is 4 a factor of i?
False
Suppose -15 = 5*x - 55. Suppose -j + x = 3*j, -58 = -3*h + j. Does 4 divide h?
True
Suppose -97*m + 107*m = 3520. Does 71 divide m?
False
Is 33 a factor of ((-18744)/(-355))/(((-7)/(-20))/7)?
True
Let j(w) = -2 - 3*w**2 + w**3 - 26*w - 41*w + 71*w. Suppose -3*k + 13 - 1 = 0. Is j(k) a multiple of 10?
True
Let u(h) = -2*h + 3. Let v be u(2). Suppose 5*a - 2*a = -12, -4*f - 5*a - 4 = 0. Does 19 divide v/f + 229/4?
True
Let y = 77 - 76. Suppose -4*r = -4*o + 156, 0 = 4*r - 5*r + y. Is 7 a factor of o?
False
Suppose 3*m - 77 + 3 = 4*u, u + 3*m = -11. Let z = -15 - u. Suppose -s = -z*y + 20, y - 3 = -s + 7. Does 5 divide y?
True
Suppose -i = 6 + 2. Let h be (-291)/(-9) + i/(-12). Let t = -22 + h. Is 2 a factor of t?
False
Let s = 2 + 7. Is 4*(756/16)/s even?
False
Let v(j) be the first derivative of 5*j**3/3 + j**2/2 - 3*j + 7. Let x(n) be the first derivative of v(n). Does 7 divide x(2)?
True
Does 17 divide (-2)/(-17) + -656*333/(-306)?
True
Let s = 13 + -10. Suppose -h - s*h = -288. Suppose 0 = 3*l - l - h. Is 12 a factor of l?
True
Let j(v) be the first derivative of v**2 + 8*v + 2. Suppose y = -2*y - 4*c + 30, 2*c = 4*y - 18. Does 17 divide j(y)?
False
Suppose 3*v = 3 + 3. Is (3 - 58/6)*(-30)/v a multiple of 10?
True
Let q be (57/(-38))/(2/(-8) + 0). Is 7 a factor of ((-36855)/(-25))/7 - q/10?
True
Let l = -557 - -1251. Is l a multiple of 91?
False
Let u(g) = g**3 - 15*g**2 + 16*g + 2. Let j(v) = 12*v + 2. Let b be j(1). Is 13 a factor of u(b)?
False
Suppose 3*w - 12 = -3*b, -b + 4 = 2*w - 3*b. Suppose w*v = 5*v. Suppose 32 = 3*f - 3*n - 52, v = 3*n - 15. Is f a multiple of 13?
False
Let h(t) = t**3 - 2*t**2 - 3*t + 9. Let z be h(4). Let s = z - 13. Does 8 divide s?
True
Suppose 0 = 9*v - 13*v - 56. Is 3 a factor of v/(-21)*2*9?
True
Suppose j - 9 = 10. Let m = j + 9. Is m a multiple of 14?
True
Suppose 560 = 4*u - 2*u. Let v = u + -164. Does 25 divide v?
False
Let o(d) be the third derivative of -d**6/120 + 2*d**5/15 - d**4/3 - 4*d**3/3 - 6*d**2. Let l be o(8). Does 6 divide 7/((-28)/l)*1?
True
Let l(u) = -7*u**2 - 24*u + 6. Let w(o) = 3*o**2 + 12*o - 3. Let y(m) = 4*l(m) + 9*w(m). Let c be y(9). Let v = c + 7. Is 17 a factor of v?
False
Let z(l) = 11*l**2 - 73*l - 27. Is z(12) a multiple of 21?
False
Let g be (14 - 2)*(-4)/(-12). Suppose 7 = g*a - 5. Suppose -3*h - m = -32 + a, 3*m = -4*h + 37. Does 3 divide h?
False
Let i(n) be the second derivative of -n**5/20 - 5*n**4/6 - 11*n**3/6 - 3*n**2 - 3*n. Let c be i(-9). Is 12 a factor of (1 - 5)/((-2)/c)?
True
Let j(u) = 3*u**3 - 6*u**2 + 32*u - 4. Does 49 divide j(5)?
False
Let q(d) = 16*d**2 + 10*d. Let m(l) = -10*l**2 - 7*l. Let r(h) = 7*m(h) + 5*q(h). Let w = -1 + -1. Is 19 a factor of r(w)?
True
Let t(o) = -o**2 + 10*o - 9. Let w be t(8). Let u be (28/w)/(1/2). Suppose -2*k + 8 = -u. Does 4 divide k?
True
Is 816/((-18)/(-3) - 5) a multiple of 48?
True
Let j = -440 + 530. Is j a multiple of 45?
True
Suppose -4*t + 614 = -5*k, 0 = -6*t + 3*t - 2*k + 472. Let c = -87 + t. Suppose 5*a = 2*a + c. Does 23 divide a?
True
Let g(w) = 3*w**2 - 1. Let b be g(-1). Suppose 0 = 2*j + 2*j - b*x - 10, 0 = -3*j - x. Let n = 7 - j. Is 3 a factor of n?
True
Does 18 divide 3263 - (16/40*25 + -5)?
True
Let i be 0 + (1 - 2) + -108. Let c = -154 - i. Does 3 divide (-550)/c + 2/(-9)?
True
Let j(s) be the third derivative of s**5/30 + 5*s**4/24 - 5*s**3/6 - 12*s**2. Is 12 a factor of j(5)?
False
Suppose 4*z = -3*s + 3, 0 = 3*z + 2*z - 5*s + 5. Suppose l - 64 + 12 = z. Is l a multiple of 26?
True
Let a = 5087 - 561. Is a a multiple of 21?
False
Let l(g) = -7*g - 1. Let s(w) = -20*w - 2. Let k(i) = 17*l(i) - 6*s(i). Let r be k(10). Suppose r*n = 2*p + 114, -3*n + 3*p + 84 = 7*p. Does 3 divide n?
True
Let r be 1 + 405 + (-40)/10. Suppose 7*y = y + r. Does 14 divide y?
False
Let j(t) = 20*t**2 - 5*t - 67. Is 29 a factor of j(9)?
True
Let t be 736/(-24) + 8/(-6). Let s = t - -64. Does 6 divide s?
False
Let h(l) be the second derivative of -l**4/6 + 11*l**3/6 + 3*l**2 - 5*l. Let y be h(6). Suppose -2*i + 6 = y, 2*i + 2*i - 147 = -5*t. Does 5 divide t?
False
Let k = -5 + 10. Suppose 2*i = -i + m + 113, -3*i = k*m - 119. Suppose 5*o = i + 7. Is o a multiple of 4?
False
Suppose 38*k - 41*k + 618 = 0. Is 3 a factor of k?
False
Suppose 3*j - 18 = y, -2*j + 108 = -5*y - 5*j. Is 7 a factor of 16/(((-9)/y)/3*2)?
True
Suppose -2*c = -2*y - 16, 5*c - 3*y + 19 - 55 = 0. Let w = 10 - c. Suppose -w*m + 80 = -12. Is 7 a factor of m?
False
Suppose 321*w = 323*w - 1176. Does 6 divide w?
True
Let j(i) = -i**3 + 2*i**2 + 3*i - 4. Let m be 25/(-5) + 0 + 1. Is 8 a factor of j(m)?
True
Let s be 4/((-54)/30 + 2). Let o(m) = -m. Let 