+ 1. Is f(1) a multiple of 18?
True
Let r(u) = u**2 + 4*u + 13. Suppose -5*p + 4*i = 22, 3*p - p - 2*i = -8. Is 25 a factor of r(p)?
True
Is 3 a factor of (0 + -2 - -10) + 1?
True
Let y = -23 + 14. Let g = -4 - y. Suppose 0 = -4*n + 20, -m + g*n = n + 14. Is m a multiple of 6?
True
Is ((-8)/6)/((-38)/57) a multiple of 2?
True
Let l = -73 + 151. Does 16 divide l?
False
Suppose q - 12 = -c - 3*q, 2*c + 5*q - 18 = 0. Is c a multiple of 4?
True
Let q be 2 + 3/((-6)/(-4)). Suppose q*o + 5*p - 12 = 0, -2*o - 2*o = -p - 12. Suppose 2*s - 10 = -3*x, x + 10 + 16 = o*s. Is 4 a factor of s?
True
Let q(c) = -1 - 2 + 4 + 0 + c + 6*c**2. Let x = 8 + -6. Does 11 divide q(x)?
False
Let l = 17 - 10. Let w(z) = 0 - 2 + z - 8 + 8*z - z**2. Is 2 a factor of w(l)?
True
Suppose 0*d - 68 = -4*d. Suppose -4*q + 3*t = -3 - d, -3*q + 15 = -5*t. Is q a multiple of 5?
True
Let l = -40 - -13. Suppose 0 = -4*m + 2*r - 204, 2*m + r + 4*r + 102 = 0. Let h = l - m. Does 12 divide h?
True
Is 3 a factor of (-2 - -11) + (-6 - -3)?
True
Suppose 0 = -5*p - s + 2*s + 40, 40 = 5*p - 4*s. Is 3 a factor of p?
False
Let g = -15 + 45. Is 1452/g - (-9)/15 a multiple of 8?
False
Let z(k) = 14*k**2 + 5*k - 2. Is z(-4) a multiple of 23?
False
Let d(n) = 2*n**3 + n**2 + n - 6. Does 10 divide d(3)?
True
Let q = -87 - -127. Suppose -5*v = -3*t - q, 4*t + 20 = -0*t. Is 3 a factor of v?
False
Let m(v) = -2*v + 35. Does 18 divide m(0)?
False
Let o(a) = -13*a - 17. Let b(t) = 7*t + 9. Suppose -2*g = 2*g - 2*d + 38, -4*g = 5*d + 59. Let h(c) = g*b(c) - 6*o(c). Is h(3) a multiple of 4?
False
Let s(n) = -n**3 - 2*n**2 - 4*n - 5. Let r be s(-4). Suppose 41 = 4*g + 5*m - r, -3*g + 28 = -5*m. Let v = -7 + g. Is v a multiple of 4?
False
Let a(u) = 11*u - 1. Let k be a(1). Suppose 0*v = v - k. Does 19 divide (-157)/(-5) - 4/v?
False
Suppose 5*v - 164 = 4*r, -v + 6*v - 188 = -2*r. Does 14 divide v?
False
Let y(h) = -16*h + 66. Is 2 a factor of y(4)?
True
Let k = -10 + 16. Is k a multiple of 2?
True
Let s = -6 + 10. Let q(l) = -l**3 + 6*l**2 - 10*l + 12. Let f(o) = -3*o**3 + 18*o**2 - 29*o + 35. Let w(r) = 6*f(r) - 17*q(r). Does 14 divide w(s)?
False
Let x be ((-64)/10)/((-2)/10). Let v = 59 - x. Does 9 divide v?
True
Suppose -3*t = -7*t - 16, 0 = 3*o + 3*t - 222. Is o a multiple of 6?
True
Let u = -3 - -6. Let t = u - -3. Suppose -2*m + t*m = 5*q - 64, 3*m = -4*q + 45. Is 6 a factor of q?
True
Let t = -14 + 20. Let z(m) = m**3 - 5*m**2 + 6. Let n(v) = 2*v**3 - 9*v**2 + 12. Let a(k) = 2*n(k) - 5*z(k). Is a(t) a multiple of 15?
True
Let f(n) = -n - 3. Let g be f(-8). Suppose 4*l - 3*q - 67 = -2*q, g*l - 75 = 3*q. Does 18 divide l?
True
Suppose 0 = 11*l - 6*l - 65. Let x = 37 - l. Is x a multiple of 9?
False
Suppose 4*l - 2*x - x = 9, 5*l = -5*x + 55. Suppose -3*h + 99 = 5*a, -l*h = -h - 15. Is 5 a factor of a?
False
Suppose m - 3*v + 8 = 3*m, 3*v + 12 = 0. Suppose -w + m = -1. Does 3 divide w?
False
Let g = 156 - 123. Is 3 a factor of g?
True
Let z(x) = x**3 - 5*x**2 + 2. Let h be z(5). Suppose -h*o = 10, l = 4*l - 4*o - 38. Does 6 divide l?
True
Let h = -4 + 29. Suppose 0 = q + 3 - h. Is q a multiple of 22?
True
Suppose -9*n + 1107 = 162. Is n a multiple of 21?
True
Let m = 5 + -4. Is 2 a factor of 3 - (-2 + 1 + m)?
False
Suppose 0 = 5*x + 3*s - 441, 0 = -2*s + 6*s + 12. Does 18 divide x?
True
Let t(h) = 5*h**3 - 1. Let w be t(-1). Suppose -q + 66 = 5*z - 4*q, -5*z + 63 = -4*q. Let y = w + z. Is 9 a factor of y?
True
Let j = -18 - -12. Let g be (-3 - -4)*j/(-3). Let i = 13 - g. Is i a multiple of 4?
False
Let b(l) be the first derivative of -1/2*l**4 - 1/3*l**3 - 2*l - 1/2*l**2 + 1. Is b(-2) a multiple of 6?
True
Let y = -90 - -129. Is y a multiple of 19?
False
Let w be 6/4*312/(-9). Let l = w - -89. Does 14 divide l?
False
Let i(h) = 5*h**2 + 3*h - 2. Is i(2) a multiple of 20?
False
Suppose -2*k - 8 = 2*x, -4*k + k = -4*x + 5. Let w(v) = v - 5. Let y be w(9). Is 17 a factor of (17/(-4))/(x/y)?
True
Suppose -41 = -3*h + 55. Let c be ((-4)/(-10))/(3/30). Suppose 2*s = c*s - h. Does 8 divide s?
True
Let a(c) = 19*c - 12. Is a(1) a multiple of 4?
False
Let w be ((-3)/2)/((-3)/10). Suppose 4*k + 4*u - 57 = -k, k + w*u - 3 = 0. Is 3 a factor of k?
False
Suppose -2*a - 1 = 4*p + 5, 3*p - 2*a + 22 = 0. Suppose 0 = 2*z - 6, -4*z + 11 = -2*l + 3. Let m = l - p. Does 6 divide m?
True
Let z(i) = -18*i - 5. Let s be z(-5). Let j = s + -43. Does 17 divide j?
False
Let x(r) = r**2 + 17. Let t be x(0). Suppose -h = -p - t, 2*h - 33 = 3*p - 2*p. Is h a multiple of 10?
False
Suppose 2*c + 0*c + 6 = 5*h, 3*c + 4*h - 14 = 0. Suppose 3*q = -b + 58, 4*b - 32 = -2*q + c*b. Is q a multiple of 21?
True
Let v(m) = -m**2 - 8*m + 6. Let z be v(-10). Let u = 21 + z. Is u a multiple of 5?
False
Suppose -16 = -4*y - 3*f, y + 2 = -3*f + 6. Suppose y*v - 12 = 2*v. Does 6 divide v?
True
Suppose -2*k - 75 + 299 = 0. Is 35 a factor of k?
False
Let h = -1 + 4. Let q(i) = i**2 + 2 - 4*i - i**2 - 2*i**2 + 2*i**3. Does 20 divide q(h)?
False
Let t(m) = -m**3 - 6*m**2 + 3*m + 1. Does 16 divide t(-7)?
False
Let f(s) = -s + 6. Let q be f(4). Suppose q*u = 45 + 43. Does 13 divide u?
False
Let t(n) be the second derivative of -14*n**3/3 - n**2/2 + 5*n. Let i(f) = -f + 4. Let x be i(5). Is 9 a factor of t(x)?
True
Suppose -3*k + 2*d + 86 = 0, -3*d - 42 = 5*k - 179. Is 3 a factor of k?
False
Let a be (-2)/(88/28 + -3). Let t(f) = 2*f**3 + 26*f**2 - 26*f - 3. Let x(b) = b**3 + 13*b**2 - 13*b - 2. Let i(d) = 2*t(d) - 5*x(d). Is i(a) a multiple of 6?
True
Suppose -5*y = 5*p + 1 + 9, -2*y - 6 = 0. Suppose o = -3*g + p, 4*o + 4*g - 12 = 8. Is o even?
False
Let x = 23 - 9. Suppose x = -3*n - 5*g + 52, 0 = g - 4. Let f(k) = k + 4. Is 10 a factor of f(n)?
True
Suppose 0 = 15*g - 810 - 150. Does 16 divide g?
True
Let x(y) = -y**2 + 11*y - 6. Let q be x(10). Suppose q*m - 13 = -1. Suppose -4*l = s - 40, -2*l - m*s - s = -20. Does 10 divide l?
True
Suppose 2*o - 90 = -4*o. Does 3 divide o?
True
Is 29916/126 + 1 + 6/(-14) a multiple of 24?
False
Suppose -444 = -2*y - 4*u, -2*y + 2*u = -0*y - 468. Does 10 divide y?
True
Let l = -12 + 21. Is 5 a factor of l?
False
Suppose -9 = -4*h + 7. Does 5 divide 20/6*12/h?
True
Does 16 divide 386/3 + 26/(-39)?
True
Let u = -16 + 40. Does 8 divide u?
True
Let q be (12/9)/(4/6). Let j = 0 - -8. Suppose -2*f = 4, -3*m + j = -0*m + q*f. Is 4 a factor of m?
True
Suppose 3*n - 6*n + 6 = 0. Does 2 divide n?
True
Let y(a) = -a**2 - 250. Let c be y(0). Let h be c/4*(-16)/10. Suppose 2*r - w - w - h = 0, -170 = -4*r - 2*w. Is r a multiple of 20?
False
Let m(j) = 2*j**2 + j + 2. Let n be m(-4). Suppose 0 = -5*a - 5*o + n, -5*a + o + 48 = -3*o. Is a a multiple of 4?
True
Let k(u) = -3*u + 4. Let i be -3 - (-1 + 3 - 1). Is 16 a factor of k(i)?
True
Suppose 0 = -2*v - 1 + 13. Suppose -v*k + 117 = -123. Is 10 a factor of k?
True
Let q = -247 + 397. Is q a multiple of 30?
True
Let p(u) = 3*u**2 + 2*u + 3. Let t be p(-7). Suppose -5*b + t + 59 = 0. Is 19 a factor of b?
False
Suppose 144 = -11*x + 9*x. Let h = -35 - x. Is h a multiple of 15?
False
Let n = -84 + 160. Is (n/(-6))/(2/(-6)) a multiple of 19?
True
Suppose -l + 3*q = 24 - 66, 4*q + 16 = 0. Is 4 a factor of (-1)/6 + 155/l?
False
Let w = -3 - -3. Suppose 5*f + 3*j = 31, -f + 0*j = 4*j + 4. Suppose w*a + f = a. Is 5 a factor of a?
False
Does 30 divide -1 + 28 - 6/(-12)*6?
True
Let q(x) = -x**2 - 12*x + 17. Is q(-12) a multiple of 15?
False
Suppose -3*d + 11 = 5*j - 0, 0 = -5*j - 2*d + 14. Suppose -y - 36 = -j*y. Is 12 a factor of y?
True
Suppose 0 = -2*x + 8 - 0. Suppose 0 = 5*a + x*c - 121, -4*a = -a - 3*c - 78. Does 8 divide a?
False
Suppose 2*l + 153 = 3*l + 3*r, 4*l - 3*r = 627. Is l a multiple of 52?
True
Let s(c) = c - 6. Let l(n) = n - 5. Let u(j) = 3*l(j) - 4*s(j). Let b be u(7). Is 9 a factor of b - 1/(3/(-42))?
False
Does 11 divide (-2 + -2)/((2/(-22))/1)?
True
Is ((-130)/4)/(13/(-26)) a multiple of 9?
False
Let x be (-4)/16 + (-10)/(-8). Let z = 20 - x. Does 19 divide z?
True
Let r(p) = -p**3 - p**2 - p - 1. Let h be r(0). Let j(n) = -26*n + 1. Let d be j(h). Let t = d + -2. Does 17 divide t?
False
Suppose 7 = -2*u - 3*r + 25, -4 = r. Suppose -7*x + 4*x = -u. Suppose 5*m + 39 = 3*g, -20 = 5*m - x. Does 3 divide g?
False
Suppose 11 = 5*z - 4. Suppose 3 = -z*g, 0 = -u - 2*u 