s 0/4 - 9/(-3) a multiple of 3?
True
Suppose 12 = 4*i + 4*n, -5*n - 9 - 3 = -4*i. Is i even?
False
Suppose -4 = 4*y + 2*q, -3*q = 2*y + 2*y + 8. Suppose 0 = 2*u + 5*w + 13, -2*u + 5*w = -36 - y. Is 17 a factor of 3/2 - (-327)/u?
False
Let k(r) = -7*r**2 + 19*r - 13. Let i(m) = -13*m**2 + 37*m - 26. Let s(x) = 6*i(x) - 11*k(x). Does 13 divide s(9)?
False
Let t(o) = -2*o**3 + 3*o**2 + 4*o + 2. Suppose 0*m - 4 = 4*m + 4*j, -2*j + 2 = 0. Let k be 3/(1/m - 1). Is t(k) a multiple of 11?
True
Let d(m) = -m**3 - 9*m**2 - 9*m - 3. Let y be d(-8). Suppose -2*a = y*w - 332, 2*a - 6*a = -5*w + 326. Does 22 divide w?
True
Let n(o) = -o**3 - 3*o**2. Let j be n(-3). Let x be j/(-1)*(1 - 0). Suppose -3*c + 0*c - 3*q + 72 = 0, x = 4*c + q - 93. Is c a multiple of 11?
False
Does 18 divide 1/(-1) + (-138)/(-3)?
False
Let r = 123 - 19. Does 8 divide r?
True
Suppose -5*p + 595 = 195. Is 13 a factor of (-10 + 2)/4 + p?
True
Let z(u) = 5*u**2 + 18*u + 9. Is z(-9) a multiple of 15?
False
Suppose -c - 185 = -6*c. Does 13 divide c?
False
Let o = -105 + 173. Suppose 0 = -3*q - q + o. Does 13 divide q?
False
Let m(p) = -p**3 - 5*p**2 + 8*p - 4. Does 19 divide m(-7)?
True
Let f(p) = 6*p**3 - 3*p**2 + 11*p - 5. Let i(g) = -4*g**3 + 2*g**2 - 7*g + 3. Let r(h) = -5*f(h) - 8*i(h). Is r(2) a multiple of 15?
True
Let s = -28 + 39. Does 2 divide s?
False
Let c = -42 + 72. Is c a multiple of 22?
False
Suppose -2*i = i - 12. Suppose 165 = 5*y + 5*s, -2*y + i*s - 25 = -61. Is 7 a factor of y/2*(0 - -1)?
True
Let a(w) be the third derivative of -w**5/120 + 11*w**4/6 - w**3/6 - 4*w**2. Let h(s) be the first derivative of a(s). Is 15 a factor of h(0)?
False
Let q(m) = m**2 - m + 21. Let k be q(0). Let d = k - 1. Is d a multiple of 8?
False
Is (88/(-33))/((-4)/6) a multiple of 4?
True
Let w(c) = -1 - 2*c**2 + 4*c - 2*c**3 + c**2 + c**3. Suppose 6*j + 4 = 5*j. Does 13 divide w(j)?
False
Let u(n) = n**2 - 2*n. Let q be u(3). Suppose d + q = 2*d. Suppose y + 34 = 5*p - d*y, -3*y + 2 = -p. Is 10 a factor of p?
True
Suppose -2*u = 2*u - 208. Suppose -4*t = -2*v + 56, 4*t + 0*v - 4*v = -u. Is (-185)/t + 1/(-3) a multiple of 6?
True
Suppose 0 = 2*w - 7*w - f + 77, -3*f = -2*w + 24. Suppose 0*r + w = -3*r. Is 27 a factor of 6/r*(-575)/10?
False
Let q(z) = 5*z**2 + 13*z - 14. Let l(m) = 11*m**2 + 27*m - 28. Suppose -9 = -v - 0*v. Let t(s) = v*q(s) - 4*l(s). Is 8 a factor of t(-11)?
True
Let j = 5 - 3. Suppose 0 = -3*d - s - 27 - 17, j*s = -2*d - 24. Does 8 divide (-388)/d - 2/8?
True
Let r(b) = b**2 + b + 7. Is 3 a factor of r(0)?
False
Suppose 3*n + 2*x = 877, 2*x - 4*x + 4 = 0. Does 37 divide n?
False
Let k = -9 - -9. Let f = k - -20. Is 10 a factor of f?
True
Let c = -5 - -5. Suppose c = 2*z + 10, 3*s + 3*z - 5*z = 67. Is s a multiple of 6?
False
Let g = 18 + -4. Let i(n) = n + 9. Let j be i(-5). Suppose -4*p + g = a, -4*a + j*p = 5 - 1. Is a even?
True
Let v = 27 + -8. Suppose -6 - v = -5*w. Let i = 24 + w. Does 12 divide i?
False
Let o(i) = 11*i + 7. Is o(12) a multiple of 9?
False
Suppose -3*g + 3 = -6. Suppose 3 = -b, -g*s + 2*b = 13 - 43. Is 5 a factor of s?
False
Suppose -f + 5*c - 143 = -10, -810 = 5*f + 4*c. Let t = 253 + f. Does 25 divide t?
False
Let r(u) = 47*u**2 - 3*u + 2. Is r(-2) a multiple of 29?
False
Let o(k) = -k**2 + 5*k - 6. Let t be o(6). Let j be ((-7)/3)/(4/t). Suppose -5*r + 40 = 5*b, 5*r - 3*r = b + j. Is r a multiple of 3?
False
Let k(l) = l + 5. Suppose 0 = 2*x - 2*g + 8, 5*x - 4*g = 2*x - 14. Let s be (-1)/x - (-84)/8. Is 8 a factor of k(s)?
True
Suppose 0 = 5*q - 5 + 15, -6 = -3*w + 3*q. Let s = 1 - 1. Suppose w = 2*b - s*b - 34. Is 17 a factor of b?
True
Does 4 divide (13 + -9)/(2/6)?
True
Suppose 16 = 4*j, -2*c - 2*j = j - 54. Is 7 a factor of c?
True
Suppose 3*k - 57 = -0*b - b, -5*b - 2*k = -298. Is 10 a factor of b?
True
Suppose 0 = -0*i + 2*i - 20. Does 5 divide i?
True
Let t(w) = -w**2 + 5*w - 2. Let n be t(3). Is 16 a factor of (-130)/(-4) - 2/n?
True
Let t(k) = -2*k - 9. Let i be t(-6). Suppose 0 = -j + 2 + i. Suppose j*h + 37 = 252. Is h a multiple of 21?
False
Let c(a) be the first derivative of -a**3/3 - 6*a**2 + 17*a + 3. Let v be c(-13). Suppose 0 = -v*r + r + 42. Is r a multiple of 14?
True
Let v(j) = 28*j**2 - j + 1. Suppose -9 = -4*x - x + 4*k, k + 2 = x. Is v(x) a multiple of 22?
False
Let i(u) = -u**3 + u**2 - 2*u + 206. Is 12 a factor of i(0)?
False
Suppose -6*t + 8*t + 8 = 0. Let q = 9 + t. Does 3 divide q?
False
Let v = 8 - -3. Does 6 divide v?
False
Does 23 divide (-23)/((-3)/6*2)?
True
Let s(n) = n - 14. Let y be s(9). Is 13 a factor of 1944/40 + (-2)/y?
False
Suppose -2*j + 18 + 14 = 0. Does 16 divide j?
True
Let p(q) = -q**2 + 4*q + 3. Let l be p(4). Let v be (3/2)/l*-108. Is 7 a factor of 1/2 - v/4?
True
Let p = -103 - -211. Does 18 divide p?
True
Is 14 a factor of 84*((-70)/(-15) - 4)?
True
Let t(i) = -i**3 - 9*i**2 - 4*i + 6. Let q = -16 - -7. Let f be t(q). Let w = f + -18. Is w a multiple of 12?
True
Let s be 14 - (-3)/6*2. Suppose 19 + s = 2*w. Is w a multiple of 17?
True
Let h = 41 - 7. Does 13 divide h?
False
Let n be 6*(0 + 2/3). Suppose 3*v - 6*c + c = -19, -n*v + 4*c = 12. Suppose v*g - 3*g = -37. Is g a multiple of 21?
False
Let a(h) = -h**3 + h**2 + h + 72. Is 24 a factor of a(0)?
True
Let z(c) = 2*c**2 - 10*c - 9. Is z(-4) a multiple of 9?
True
Let w = -681 - -1059. Suppose 5*t + w = 143. Let h = -31 - t. Is h a multiple of 8?
True
Suppose -3*i - 24 = v, -2*v + i - 38 = 10. Let f = v + 62. Is f a multiple of 15?
False
Let o(t) be the first derivative of 2*t**3/3 - 2*t**2 - t + 1. Let j = -16 + 20. Does 5 divide o(j)?
True
Is (17/2)/((-9)/(-18)) a multiple of 9?
False
Let a = -45 - -61. Does 4 divide a?
True
Suppose 2*a + 2*x = 120, -4*x + 0*x + 75 = a. Is 26 a factor of a?
False
Suppose w - s = 3*w - 35, -2*w = -5*s - 5. Let r = w - 0. Does 9 divide r?
False
Suppose -3*b = 5*p + 7, -6*b + 10 = -3*p - 2*b. Let o be (-3)/(0 - (-1 - p)). Suppose -3 = 3*i, 13 = o*d - d - i. Is d a multiple of 6?
True
Let u(q) be the first derivative of -1/2*q**2 + q - 2 + 2*q**3. Does 4 divide u(1)?
False
Let x(f) = -f**2 + 11*f + 11. Suppose 4*t - 51 = 3*u, -143 + 56 = 4*u + t. Let c = -13 - u. Is x(c) a multiple of 18?
False
Suppose 5*p - 310 = -80. Suppose 0*h + p = 2*h. Is 20 a factor of h?
False
Let p(v) = 2*v**3 - v**2 - 3*v - 9. Is p(4) a multiple of 27?
False
Let p = 12 + -4. Let k(n) be the third derivative of n**6/120 - 2*n**5/15 + n**4/12 + n**3/3 - 11*n**2. Is 14 a factor of k(p)?
False
Let j be (-40)/(-12)*3/2. Suppose 2*k - j*k + 81 = 0. Does 12 divide k?
False
Suppose 4*d + d = 65. Suppose 0*n - 7 = 4*n + 5*j, j = n + d. Let c = n + 15. Is c a multiple of 5?
False
Is 14/(-63) - 560/(-9) a multiple of 26?
False
Suppose -5*y - 177 = 3*v, 6 = -2*y - 5*v - 80. Let l = y - -48. Is l a multiple of 9?
False
Let p = 40 - 29. Let f = p - 6. Is (8/(-5))/((-2)/f) a multiple of 2?
True
Let l(m) = 0 + m**2 - 1 - m + 0 + 0*m**2. Does 5 divide l(3)?
True
Let g = 0 + 0. Suppose g = i + i - 144. Suppose f = -2*f + i. Is f a multiple of 10?
False
Suppose -4*q + 0*q = -20. Let k = 0 - -3. Suppose -3 = q*b - 13, -x = -k*b. Does 6 divide x?
True
Suppose 4*z + 53 = -r, 4*r + 236 - 6 = 2*z. Let f = 80 + r. Is f a multiple of 23?
True
Let j(w) = -w - 1. Let v(n) = -6*n - 4. Let u(h) = 15*j(h) - 3*v(h). Does 18 divide u(7)?
True
Is 4/(-14) - 1796/(-14) a multiple of 32?
True
Suppose -3*l + 2*l - 5*t - 7 = 0, -l + 17 = -3*t. Suppose 9*g - 41 = l*g. Is 18 a factor of g?
False
Suppose -54 - 198 = -2*g. Let h = -83 + g. Does 12 divide h?
False
Let y = 1 + 7. Is 4 a factor of y?
True
Suppose -6 = -4*s + 10. Suppose 2*d + 4 = 2*h, -h = -s*d - 4*h + 6. Is 66/2 + d + 0 a multiple of 11?
True
Let h = -4 + 43. Is 17 a factor of h?
False
Let i(v) = v**3 - 3*v**2 - v - 1. Let n be i(3). Let h(k) = -2*k - 6. Let d be h(n). Suppose -2*z - d*z + 24 = 0. Is 6 a factor of z?
True
Suppose 3*s - 35 - 10 = 0. Does 5 divide s?
True
Suppose 2*t = -0*t + 14. Does 7 divide t?
True
Suppose 3*p - 237 = 2*l, -2*p - l = 3*p - 382. Does 11 divide p?
True
Let q(s) = 22*s + 4. Is q(2) a multiple of 4?
True
Let k(w) = 2*w**2 - w + 6. Let v be k(-6). Suppose -v = -2*d + d. Let l = -50 + d. Does 17 divide l?
True
Suppose 0 = -5*p + 252 + 43. Let o = 101 - p. Suppose 3*b + 33 = 3*j,