**4/8 + l**3/6 - l. Let w(u) be the second derivative of j(u). Is 15 a factor of w(0)?
True
Let a be 3 + 9/3 + -1. Is 4 a factor of a/((-15)/9) - -19?
True
Let v(c) = 3*c**2 - 3*c**2 + 7*c**2. Does 4 divide v(1)?
False
Does 24 divide 5/(-15) + 290/6?
True
Let u = -196 - -71. Let g = -82 - u. Is g a multiple of 18?
False
Let n = -3 - -4. Let j = n + 0. Is 15 a factor of ((-15)/2)/(j/(-2))?
True
Let n = -17 + 25. Let a = -6 + n. Suppose 47 = a*s - 13. Is s a multiple of 15?
True
Suppose 3*t = -4*p - 3, t + 2*p = 3 - 6. Let z(j) = -j**3 + 2*j**2 + 5*j - 3. Let m be z(t). Suppose -13 = m*g - 151. Does 23 divide g?
True
Suppose 6*t - 4*t = -22. Let r(m) = -2*m + 14. Is 9 a factor of r(t)?
True
Let q be 1*93 - (7 + -6). Let i = q - 62. Does 10 divide i?
True
Suppose -5*q + 7*q = 10, 1055 = 5*n + 3*q. Is 26 a factor of n?
True
Suppose 0 = -3*l + 4*w + 134, -53 = -4*l - 2*w + 89. Is 13 a factor of l?
False
Let i(y) = 2*y - 5. Let f be i(5). Let b = 42 - 42. Suppose -3*r = 4*d - 79 + 15, b = -f*d + 2*r + 80. Does 7 divide d?
False
Let d = 42 - 15. Is 7 a factor of d?
False
Let b = -4 + 42. Suppose -5*k + b = 13. Suppose 3*v - 12 = -0*v, -k*m = 3*v - 182. Is m a multiple of 17?
True
Let p be 10/1*2/4. Let r = p + -3. Suppose -r*i - 6 = -14. Is i a multiple of 2?
True
Let i be ((-4)/3 + 0)*12. Let d = 24 + i. Suppose 0*p = p - d. Does 8 divide p?
True
Suppose 0*u - 29 = -u. Suppose 5*g + 4 = u. Suppose g*c = -2*q + 24, -7*q + 2*q - 2*c = -39. Is q a multiple of 7?
True
Let i(r) = 2*r + 5. Let a(t) = -6*t - 14. Let g(f) = -6*a(f) - 17*i(f). Let n be 65/9 + 10/(-45). Does 13 divide g(n)?
True
Let h(m) = -m**2 + 7*m - 3. Let k be h(5). Let r = k - -5. Is 3 a factor of r?
True
Let r(a) = 6*a + a**2 - 5 - 1 + 1 + 4*a. Is r(-11) a multiple of 6?
True
Let w be (-4)/(-6) + (-4)/(-3). Let x(l) = 4*l**3 + 2*l**2 - 3*l. Does 14 divide x(w)?
False
Let w be (-647)/11 - (-4)/(-22). Let s = -42 - w. Does 17 divide s?
True
Suppose 12*u - 228 = 9*u. Is 12 a factor of u?
False
Let u = -23 - -28. Is u even?
False
Suppose 2*c - 2418 = -4*c. Does 59 divide c?
False
Suppose 0 = -5*n - 0*n + 10. Let t(d) = 11*d - 11 - 3*d**2 + 2*d**n + 3. Does 10 divide t(7)?
True
Let i(s) = -s**3 - 2*s**2 + s - 4. Let x be i(-3). Let q(m) = -7 - x*m + 4*m + m. Is 4 a factor of q(5)?
True
Let c(x) = x**3 - 2*x**2 + 1. Let u be c(2). Let p(t) = -u + t**2 - 5 + 6*t + 2. Is 10 a factor of p(-8)?
False
Suppose -4*h + 5*h - 19 = 3*n, -32 = 4*n + 2*h. Let d = -3 - n. Let b = 3 + d. Does 4 divide b?
False
Let p = -59 + 63. Is 3 a factor of p?
False
Let q(h) = h**3 - 10*h**2 + 11*h - 9. Let z be q(9). Let s(g) = -3*g - g - g**3 - g + 10*g**2. Is 11 a factor of s(z)?
False
Let q be 32/3 - (-4)/(-6). Suppose q*k = 5*k. Is 10 a factor of (-2)/(-4)*(28 - k)?
False
Let d(k) = -2*k - 1. Let y be d(-2). Suppose b - y*i - 5 = 0, -2*b + 7 = 5*i - 3. Suppose -117 = -4*l - 0*x + b*x, 2*x + 86 = 3*l. Is l a multiple of 14?
True
Let w(a) = -18*a**3 + 1. Let y be w(1). Let p = y + 31. Suppose -5*v - p = -d, 161 = 4*d - 0*d + v. Does 15 divide d?
False
Let i(s) = -s**2 - 13*s - 15. Let h be i(-12). Let q(z) = -z**3 - 2*z**2 - z - 1. Is q(h) a multiple of 6?
False
Let v(q) = 3*q**2 - 4*q - 1. Is v(3) a multiple of 14?
True
Let s(q) = -q - 2. Let n be s(-4). Suppose n*i - 12 = 6. Is 9 a factor of i?
True
Let x be 1/((-3)/(-6)) - 2. Suppose 4*w + 45 = 5*v - w, -5*v + 4*w + 41 = x. Is v even?
False
Let c be (-5 - -8)/(6/20). Let x = -4 + c. Is 5 a factor of x?
False
Let u(o) = o**2 + o + 61. Is 15 a factor of u(0)?
False
Suppose -4*y + 2*l + 292 = 94, -2*l = -3*y + 148. Is y a multiple of 19?
False
Let u be 10*1*25/(-10). Let f = 16 - u. Is 21 a factor of f?
False
Let r be 12/5 - (-2)/(-5). Suppose r*g - 10 = g. Does 4 divide g?
False
Let h = 5 - 2. Is 12 a factor of ((-46)/(-6) - -3)*h?
False
Does 18 divide (10*(-37)/3)/((-122)/183)?
False
Suppose 0 = c - 4, s + s - 4*c - 26 = 0. Is s even?
False
Let l = -42 - -60. Suppose d - l = -4. Is d a multiple of 4?
False
Suppose 0*m - 13 = -2*m + 3*f, -3*f - 12 = -3*m. Is (-5 - m) + 38 + 0 a multiple of 17?
True
Let y = 18 - 12. Suppose -2*b + 54 = y. Does 16 divide b?
False
Let g = 34 - 3. Let c = 49 - g. Is c a multiple of 5?
False
Let w = -25 - -52. Is 27 a factor of w?
True
Let n be 22/6 - (-3)/9. Is (n/10)/(1/40) a multiple of 8?
True
Suppose 5*m = 2*r - 278, 4*r + 0*m - 544 = 4*m. Does 20 divide r?
False
Let x = 3 - -1. Suppose -w - 4*w = -2*h - 15, -x*w = -4*h. Is 2 a factor of w?
False
Suppose -4 = -5*j - 2*w, j = 6*j - w - 13. Suppose -96 = -0*g - j*g. Is g a multiple of 24?
True
Let p(t) = 2*t**2 - 5*t**2 + t + 2*t**2 + 28 + 9. Is 12 a factor of p(0)?
False
Suppose -2 = -5*c + 3*c - p, 3*p - 4 = -5*c. Suppose -j + c*j = -24. Let l = 42 + j. Does 9 divide l?
True
Let d(j) = -j**3 - 5*j**2 + 7*j + 7. Let u be d(-6). Let b be (0/u)/(2 - 0). Suppose v - 2*w - 1 - 3 = 0, -3*v + 2*w + 28 = b. Does 6 divide v?
True
Let s(p) = -5*p - 6. Let f be s(-10). Let j = f - 30. Does 7 divide j?
True
Let i(q) be the second derivative of -q**6/120 + 7*q**5/60 - q**4/24 - q**3 - 3*q**2/2 + 2*q. Let u(t) be the first derivative of i(t). Does 12 divide u(6)?
True
Let a(c) = 121*c - 11. Is 33 a factor of a(2)?
True
Let l(r) be the first derivative of -2 + 4*r + 1/2*r**2. Is l(4) a multiple of 3?
False
Let s(r) be the second derivative of r**3/3 - 3*r**2/2 + 3*r. Does 4 divide s(6)?
False
Let p(k) = -k + 6 - 2*k**2 + k**3 - 3*k - k**2 + 0*k**3. Does 4 divide p(4)?
False
Let r be (-202)/6*(-9)/(-3). Suppose -5*b + 4 - 49 = 0. Is 11 a factor of r/b + 12/(-54)?
True
Let v(u) = 5*u + 41. Is v(10) a multiple of 6?
False
Let k = 12 + -2. Let l = k - 5. Is l even?
False
Suppose 0 = -6*c + 5*c + 5. Is 5 a factor of c?
True
Suppose 2*p = -23 + 127. Is 26 a factor of p?
True
Let k(y) be the first derivative of -13*y**2 + 3*y + 10. Is 18 a factor of k(-3)?
False
Suppose g = -3, -2*y + 103 = 2*y - 5*g. Let p = 47 - y. Is 6 a factor of p?
False
Suppose 6 = q - x, -q = 2*x - 6*x - 15. Does 7 divide (34/q)/((-10)/(-15))?
False
Let l(f) = -f**3 + 12*f**2 + 2*f + 2. Is 26 a factor of l(12)?
True
Let a(m) = -m**3 - 6*m**2 + 11*m - 5. Is 8 a factor of a(-8)?
False
Let h(q) = 2*q - 5 - 3*q + 0*q. Let d be h(-5). Suppose -4*m + 23 + 1 = d. Is 6 a factor of m?
True
Let g(b) = b**3 + 4*b**2 - 2*b + 4. Does 15 divide g(-3)?
False
Let h(q) = 3*q**2 - 11*q - 6. Let r be h(5). Let k = 24 - r. Is k a multiple of 10?
True
Let c(w) = -5*w + 6. Does 6 divide c(-7)?
False
Suppose 2*t + 630 = 7*t. Does 21 divide t?
True
Let g(q) = -q**3 + 6*q**2 - 5*q + 2. Let z be g(4). Suppose -4*t + 3*u - z = 5*u, -2*u - 16 = 5*t. Is 6 a factor of (0 - 2)/t - -5?
True
Suppose -6*r + 120 = -2*r. Is r even?
True
Is 6 a factor of (20/6)/(38/855)?
False
Let n(k) = -2*k**3 - 4*k**2 - 2*k. Let a be n(-2). Suppose 182 = a*d + 38. Is d a multiple of 13?
False
Let h be -2 - ((0 - 4) + 2). Suppose -p = -h*p + 1. Is 8 a factor of (-1 - -2)/p*-24?
True
Suppose 4*b + 167 = -5*d + 592, -d + 85 = 2*b. Is 10 a factor of d?
False
Let o(j) = j**2 + 2*j - 9. Is o(11) a multiple of 16?
False
Suppose -z + 5*r = -26 - 44, z - 94 = -r. Is z a multiple of 18?
True
Let m = -25 + 18. Let k(o) = -1 - 3*o + 4 - 6. Is k(m) a multiple of 9?
True
Let m(j) = 2*j**2 - 3*j - 2. Let z(l) = l. Let a(r) = m(r) - z(r). Is a(5) a multiple of 14?
True
Let r(g) = g**3 + g**2 - g - 2. Let z be r(4). Suppose i + 5*j = -2, 4*j + 15 + z = 3*i. Does 10 divide i?
False
Suppose -9*a + 4*a = -750. Does 15 divide a?
True
Suppose 0 = 5*m - 4 - 11. Suppose -m*d - 4*h + 10 = -6, -d + 5*h = 20. Let y = 4 + d. Is 2 a factor of y?
True
Let p(x) = -4*x + 3. Let o(c) = 16*c - 13. Let h(y) = 2*o(y) + 9*p(y). Is 9 a factor of h(-2)?
True
Let x(j) = -3*j + 15. Let t be x(-9). Suppose 2*o - t = -o. Is 14 a factor of o?
True
Let q = 54 + -36. Is q a multiple of 18?
True
Let b = 39 - 18. Suppose 0 = 4*h + c - b, -2*h = 2*c - 5 - 13. Is h a multiple of 3?
False
Let b = 3 - 3. Suppose 2*q - 66 = j, 0 = -b*j + 4*j + 8. Suppose -4*r = -4 - q. Is 5 a factor of r?
False
Let b be 1/(-3) + (-254)/(-6). Let r = 90 - b. Suppose 0 = -5*y + 2*y + r. Is 5 a factor of y?
False
Suppose -4*s - 3*c = -0*s - 93, 2*s - 69 = 3*c. Is 27 a factor of s?
True
Let r(i) = i**3 - 4*i**2 - i + 7. Let b be r(4). Let q(n) = 