s 14 a factor of f?
False
Let j(w) = -6*w + 27. Is j(-10) a multiple of 15?
False
Suppose -5*x = 4*v - 401 - 164, 113 = x - v. Suppose w = -15 + x. Is w*3/(-2 - -8) a multiple of 17?
False
Let z(w) be the second derivative of w**3/6 + 7*w**2 - w. Let u be (-11 - -1)*(3 + -4). Is 10 a factor of z(u)?
False
Let n(q) = 7*q**2 - 2*q - 1. Suppose -4*z - 18 = -5*k - 0*z, 4*k = -4*z. Does 13 divide n(k)?
False
Let h be 22/33 - 23/3. Suppose -5*c + 20 = -c. Let x = c - h. Is x a multiple of 6?
True
Does 13 divide (4 - (2 + 1)) + 83?
False
Let a(l) = -2*l**3 - 5*l**2 - 3*l + 2. Suppose 21 - 4 = w. Let d be w/(-5) - (-6)/15. Is 10 a factor of a(d)?
True
Suppose 3*s = 5*w + 25, -s + 3*s - 4 = -3*w. Suppose 0*c + s*c = 0. Suppose -3*q = 5*a - 95, c*q + q = 2*a - 27. Is 7 a factor of a?
False
Suppose 0 = -4*f - 3*i - 1, -2*i = -3*f - 4*i. Is 2/(-4) - (-29)/f a multiple of 7?
True
Suppose 3*l = 3*o - 5*o - 3, -o = -2*l - 9. Suppose 5*t - 14 = -3*p, -o*p + 8*p = -t + 16. Suppose 7 = p*x - 23. Is x a multiple of 5?
True
Let v be (0/(-1))/((-2)/(-1)). Suppose v = -2*b + 13 - 1. Let j = b + 24. Is j a multiple of 15?
True
Let o = 8 - 11. Let u(m) = m**2 + m - 3. Let t be u(o). Does 6 divide (-1 + t)/((-4)/(-32))?
False
Let r be (-14 - (-2)/2)/(-1). Suppose 5*q = 5*w + 5, -2*w + w - r = 3*q. Does 20 divide (-16)/q*15/2?
True
Suppose -2*m + 11 = -3*i + 2*m, -2*i - 9 = -3*m. Suppose 0 = -i*y + 173 - 53. Is y a multiple of 20?
True
Let d = -11 + 15. Let f = d - 2. Suppose -f*t + 3*s = 13 - 69, -t = -2*s - 28. Is t a multiple of 11?
False
Suppose -342*q + 338*q = -1232. Is 28 a factor of q?
True
Suppose 5*o = -2*a + 4*a + 2, 4*a = 5*o + 6. Suppose 4*v + 28 = 2*p - 46, 0 = o*v. Does 6 divide p?
False
Let h(z) = z**2 + z + 56. Let r = 14 - 14. Does 14 divide h(r)?
True
Let n(f) = 7*f**2 - 17*f + 18. Let c(j) = -4*j**2 + 8*j - 9. Let a(w) = -5*c(w) - 3*n(w). Is 15 a factor of a(8)?
True
Let p(w) = -3*w + 3 - 2*w + 0 - 3*w**2 + w**3. Let c be p(3). Is 12 a factor of c/42 - (-114)/7?
False
Let h = -3 + 4. Is (-3)/(h/8*-2) a multiple of 3?
True
Let w(q) = 4*q. Let c be w(6). Suppose 5*v + 2*n - 96 - 6 = 0, 4*v + 3*n = 76. Let y = c + v. Is y a multiple of 14?
False
Let p = 245 + -163. Is p a multiple of 9?
False
Suppose -2*s = -4*y + 3*y + 63, 5*y + s - 282 = 0. Is y a multiple of 19?
True
Let c(u) = 3*u + 24. Is c(14) a multiple of 6?
True
Let b = 22 - -2. Let l = 11 + -18. Let h = b + l. Is 12 a factor of h?
False
Suppose 2*p + 10 = -3*p. Let f = 2 - p. Does 2 divide f?
True
Let z be 3 + (-3)/(-1) + -24. Is 11 a factor of -14*3/(z/21)?
False
Let a = 1 - -3. Suppose 4*j - h - 148 = 0, -21 = a*j - 2*h - 173. Is 12 a factor of j?
True
Let u be (16/6)/((-2)/(-108)). Let x(r) = -r**3 + 8*r**2 - 6*r - 5. Let j be x(7). Suppose j*a + k - 68 = 0, -3*k - u = -3*a - 24. Is a a multiple of 18?
True
Suppose r = 5*v - 994, 3*r = v + 2*r - 202. Let x = -51 + 207. Suppose -4*t = -3*s + v, -2*s - 2*t - 24 = -x. Is 17 a factor of s?
False
Let v(m) = 2*m**2 + 5*m + 4. Let r be v(-7). Suppose -r = -3*i + 41. Suppose -2*y = c - 8, i = 5*c - 3*c - y. Does 8 divide c?
True
Let d = -798 + 1154. Is d a multiple of 15?
False
Let m = 37 + -32. Does 3 divide m?
False
Let x be ((-24)/5)/(6/80). Let z = x + 92. Is 12 a factor of z?
False
Suppose a - 6 = -n, 13 - 1 = 2*n - 4*a. Let x be 3 + -2 + (2 - n). Is (-24)/x*5/4 a multiple of 8?
False
Suppose 3 = -3*n + 5*p + 56, -3*n + 88 = 2*p. Does 11 divide n?
False
Let d = -78 + 129. Is 21 a factor of d?
False
Let h be 20/6*9/6. Is 8 a factor of (-93)/(-5) + 2/h?
False
Suppose 5*w - 3*m = 0, -w + 21 = w + 3*m. Suppose w*n - 10 = -2*n. Suppose n*c + 3*t - 88 + 28 = 0, -43 = -c + 5*t. Does 11 divide c?
True
Let t(z) = z**2 + 7*z + 6. Is t(-10) a multiple of 6?
True
Let l = 0 - -5. Let z be 2/(1*-2) + 10. Suppose l = j + i, z - 40 = -5*j - 2*i. Is 7 a factor of j?
True
Suppose v - 20 = 2*z - 6*z, -4*v = 2*z - 24. Let m be (-8)/(-3) - v/(-12). Suppose m*n - 3*k - 57 = 0, n + k - 9 = -0. Is 14 a factor of n?
True
Let g(k) = -113*k + 1. Let t be g(-1). Suppose 0 = -5*z + t + 26. Is (-6)/21 + 372/z a multiple of 13?
True
Let j(z) = 5*z + 1. Let b(l) = 3*l + 1. Let s(k) = -8*b(k) + 5*j(k). Let x be s(4). Is 13 a factor of x - (-5)/(15/36)?
True
Let r(s) = 17*s - 25. Does 26 divide r(3)?
True
Suppose -h + o = -95, 6*h = h - o + 457. Does 17 divide h?
False
Let o(x) = -x**2 - 10*x - 1. Let g be o(-9). Is -16*(18/g - 3) a multiple of 4?
True
Let k(m) = m**3 + 6*m**2 + 3. Let d be k(-6). Suppose -x - d*x + 20 = 0. Suppose x*f - 19 = -4*o, -11 = -o - f + 6*f. Does 4 divide o?
False
Suppose 0 = 3*o - 3*j + 6, 5*o + 1 = 2*j - 0. Is 3 a factor of (0 + o)/(4/16)?
False
Suppose 3*f - 1 = 2. Let i be (-1 + 1/f)/(-1). Suppose 4*c - 3*c - 32 = i. Is c a multiple of 16?
True
Let d be (6/10 - 1)*20. Let s be 2 + -5 - (1 + d). Suppose s*w = a - 36, 5*a - a - 4*w = 108. Is a a multiple of 12?
True
Let q(h) = 34*h**3 - h + 1. Let x be q(1). Suppose -u + x = u. Is 6 a factor of u?
False
Suppose 3*l - 2 = -2*y, 0*y - 2*y = 4*l. Suppose -p - 2 = -y. Suppose -85 = -p*r - 3*r. Does 12 divide r?
False
Let x(d) = 4*d - 3. Let o(h) = h. Let b be o(4). Let f be x(b). Let a = 29 - f. Is 8 a factor of a?
True
Let d(q) be the second derivative of -29*q**5/20 + q**4/12 + q**3/3 + q**2/2 - 2*q. Let l be d(-1). Let o = 44 - l. Is 12 a factor of o?
False
Let a(q) = 2*q**3 - 8*q**2 - 16*q + 12. Does 10 divide a(6)?
True
Let j(f) = 20*f**2 + 15*f - 6. Does 10 divide j(3)?
False
Let r = 7 - 6. Suppose -5*w + 109 = -r. Does 10 divide w?
False
Suppose 5*j + 0*j = 0. Let v(k) = j*k**2 - k**3 + 6*k - 4 - 2 - 2*k + 4*k**2. Is v(4) a multiple of 5?
True
Let v(n) = n**3 - 6*n**2 + 10*n - 14. Does 37 divide v(6)?
False
Let s = -4 + 7. Suppose -s*l = -5 - 37. Is l a multiple of 13?
False
Let j = 15 + 21. Does 25 divide j?
False
Let w = -6 + 10. Suppose -g + 164 = 4*h, -5*g = -w*h + 2*h - 798. Suppose 0 = -f - 4*f + g. Does 16 divide f?
True
Let g(b) = -16*b + 1. Let f be g(-4). Let x = -44 + f. Does 15 divide x?
False
Suppose 0 = 5*d - 7 - 3. Suppose -d*f + 52 = 2*f - 2*b, -2*b = 0. Does 4 divide f?
False
Let m = 312 - 164. Does 37 divide m?
True
Let o(a) = -a**3 - 7*a**2 - 7*a + 6. Is 12 a factor of o(-6)?
True
Suppose -5*s - o + 3180 = -2*o, -636 = -s - 2*o. Suppose 0*v + 2*v - s = 0. Does 8 divide v/27 + (-2)/(-9)?
False
Let j(h) = h**2 + h - 10. Does 3 divide j(-6)?
False
Let r(p) = p**2 + 4*p - 8. Let k be r(7). Does 15 divide 1/(-4) + k/4?
False
Is 17 + -19 - (-56)/2 a multiple of 13?
True
Let d(m) = -3*m**3 + 2*m + 1. Let l be d(2). Let o = l - -61. Is 14 a factor of o?
True
Suppose 3*y - 3*r - 15 = 0, 0*y + 9 = -3*y - 3*r. Let z(t) = 15*t**3 - 1. Is z(y) a multiple of 7?
True
Let a(v) = -v**2 + v + 15. Let z be a(0). Suppose 5*g - z = 2*g. Does 5 divide g?
True
Let z be ((-34)/(-6))/(2/6). Let p = 19 + z. Is 12 a factor of p?
True
Let u be (-14)/(-8) + (-2)/(-8). Let j be 4/28 + u/(-14). Suppose j = -2*x + 6, -2*x - 72 = 2*t - 5*t. Is 13 a factor of t?
True
Let z = 360 - 200. Does 20 divide z?
True
Let k(x) = 3*x**2 - 5*x - 6. Let r be k(5). Let t = r + -67. Let c = -1 - t. Is c a multiple of 12?
False
Let c = -34 + 52. Suppose -d = 28 + c. Does 11 divide d/(-3) - 2/6?
False
Suppose 1 = 3*o + 175. Does 4 divide (-1)/(-2) + o/(-4)?
False
Suppose -2*g + 46 = -3*w, -4*w = -4*g + 3 + 97. Is 2 a factor of g?
False
Let n = 18 + -13. Let t(b) = 10*b - 6*b - n + 4*b. Is 18 a factor of t(5)?
False
Suppose -3*s - 4*a = -17, -2*a + 7*a - 19 = -3*s. Suppose -7*n + 36 = -s*n. Does 6 divide n?
False
Is 15 a factor of (-94)/(-3) - 12/(-18) - -2?
False
Is 4 a factor of 102/3 + 5/(20/(-8))?
True
Suppose 3*t + 9 = 0, 2*t = -2*x + 9 - 1. Suppose 4*k - x*k + 66 = 0. Does 22 divide k?
True
Let a = 15 + -11. Let j be 23 - (0 + 0 + 2). Suppose -f + j = -a. Is 13 a factor of f?
False
Suppose -2*r + 0*f - 22 = 2*f, 39 = -5*r + 3*f. Let n be 4/(-6) - (-30)/r. Is 4 a factor of (-4 - -2)/(2/n)?
True
Suppose -52 = 4*m + 20. Let k(y) = y + 5. Let h be k(-6). Let d = h - m. Is d a multiple of 9?
False
Let o = 52 - 21. Is 15 a factor of o?
False
Let g be 2 + 3/(-9)*0. Suppose z - 6*z = o, 5*o = -g*z. Suppose 3*x = -2*h + 6 + 7, o = -2*h - x + 15. Does 6 divide h?
False
Let c = 2 + 7. Does 3 divide c?
True
Suppose -4*s - 76 = 