8*l**3 + 2*l**2 - l + 2. Is z(2) a multiple of 12?
True
Suppose 4*l - 196 = -0*l - 2*f, -4*l = 5*f - 202. Let h = l + -23. Is 19 a factor of h?
False
Let p(c) = 4*c**2 + 3*c - 7. Let h be p(6). Suppose -5*k - h = -5*a, -2*a + 3*k = -23 - 34. Is 12 a factor of a?
True
Let n = -19 - -64. Is 15 a factor of n?
True
Let j(m) = -m + 4. Let i be j(-5). Let h be 34/i + (-2)/(-9). Suppose 0*k = -h*k - 4*n + 32, -4*k + n + 42 = 0. Is 6 a factor of k?
False
Let q(s) = s**3 + 10*s**2 + 11*s + 6. Is 16 a factor of q(-7)?
False
Suppose -7*f + 13*f - 150 = 0. Is f a multiple of 5?
True
Let j(y) = 20 + 11 - y - 4. Is 10 a factor of j(11)?
False
Suppose 35 = -4*b + 3*b. Is (b/10)/((-3)/6) a multiple of 2?
False
Suppose -255 = -4*m + 5*d, m + 3*d - 291 = -4*m. Is m a multiple of 6?
True
Let f be (-20)/(-6)*6/4. Suppose -4*n - 33 = -f*n. Is n a multiple of 21?
False
Let j = -7 - -9. Suppose -3*x - 427 = -5*i - 5*x, 3*x = j*i - 167. Does 22 divide i?
False
Let y be (-1 - 2)*14/(-6). Does 18 divide (y - (3 + 1))*18?
True
Suppose -5*o + 100 = -3*v, -4*v = -5*o - 0 + 105. Does 5 divide o?
False
Suppose 130 = -2*y + 2*o + 44, 4*o = -4*y - 180. Is (-6)/21 + y/(-7) a multiple of 6?
True
Let o be -7*20/2*-1. Suppose 2*t + o = 3*t. Suppose 5*a - t + 15 = 0. Does 4 divide a?
False
Let q(d) = -d - 3. Let m be q(-7). Suppose 7*s - m*s = -n + 5, -4*s - 3*n = 0. Suppose 0 = -s*t - 9, -5*t - 51 = -2*z + 44. Does 20 divide z?
True
Let x = 114 - 54. Does 6 divide x?
True
Let d = 97 - 41. Is d a multiple of 17?
False
Let m(d) = -d**2 + 5*d + 7. Let r be m(6). Suppose -2*x = 5 - 15. Suppose r = t + 4*g + 7, 5*g = x*t - 95. Does 7 divide t?
True
Suppose -4*x - 3*k = -0*k - 5, -k - 25 = -4*x. Suppose 3*l = -3*a + 96, 5*l = x*a - 166 - 44. Is 9 a factor of a?
False
Let x be 1 + 1 + 0 + 0. Let s(h) = 8*h**2 + 3*h + 1. Let a be s(-3). Suppose x*g - a = -4. Is 16 a factor of g?
False
Suppose 5*z - t - 4 = t, -15 = -5*t. Suppose 3*d - 35 = -g, z*g - 4*d = -g + 144. Is 14 a factor of g?
False
Let c = -6 - -8. Suppose -4*l + s = -177, s = c*s - 3. Does 15 divide l?
True
Let p = -44 + 64. Let n = 36 - p. Is n a multiple of 8?
True
Suppose -7 = -4*v - 4*o + 9, -3*v = -3*o + 12. Suppose v = 3*g - 6, 2*q - g + 2 = -2*q. Suppose c = -q*c + 30. Is 10 a factor of c?
True
Let d = 48 - 26. Does 11 divide d?
True
Does 3 divide -2 - -7 - (-2 - -3)?
False
Let n(q) = q**3 - 6*q**2 + 2*q + 5. Let y be n(5). Let c = -6 + 28. Let o = c + y. Does 6 divide o?
True
Let g = 6 + -11. Let w be -5*(g - -1 - 1). Suppose i - 2*b = b + w, b = i - 23. Is i a multiple of 11?
True
Let u be (3/3)/(1/(-1)). Let h = u + 9. Is h a multiple of 4?
True
Let k(o) = 7*o - 1. Let h(l) = -8*l + 2. Let n(b) = 5*h(b) + 6*k(b). Suppose 5*t + u + u - 18 = 0, 4*u = -4. Is 6 a factor of n(t)?
True
Let j(t) = 2*t**2 + 4*t. Is j(-4) a multiple of 8?
True
Let m = 15 - 5. Is m a multiple of 3?
False
Suppose -u - u - 4*a + 26 = 0, 0 = -3*u + a + 11. Suppose u*x = -i + 16, 4*x = -5*i + 36 + 23. Let g = -8 + i. Does 3 divide g?
True
Suppose -k = 6 - 24. Let o = -8 + k. Is 5 a factor of o?
True
Let b(s) = 3 + 0 - 4*s**3 - 2*s**2 + 3*s**3 - s. Does 8 divide b(-3)?
False
Suppose -107 = b - 233. Is 18 a factor of b?
True
Suppose -5*i + 23 = 3. Suppose i*t = -2*y + 3*y + 5, -15 = -5*t. Does 2 divide y?
False
Suppose -2*u - 5*d = -1, 4*u - 2*d + 1 = -9. Let h be (u + 1)/((-1)/42). Let c = 65 - h. Is c a multiple of 11?
False
Let j = 0 + 1. Let y(x) = 40*x. Let b be y(j). Suppose 4*t - 31 = -v - 9, -2*t - b = -v. Does 12 divide v?
False
Let h(z) = 3*z**3 - 3*z**2 + z - 2. Is h(2) a multiple of 3?
True
Suppose -180 = -o - o. Let h be ((-32)/20)/((-6)/15). Suppose c - h*c = -o. Is 9 a factor of c?
False
Suppose -226 = -3*q + j, 5*q + 3*j - 471 = -71. Does 14 divide q?
False
Suppose 344 + 304 = 6*g. Is 36 a factor of g?
True
Let h = -15 - -60. Is h a multiple of 9?
True
Let i(f) = 2*f - 8. Does 15 divide i(15)?
False
Let d(i) = -3*i + 51. Is d(-7) a multiple of 9?
True
Let w(u) = -u. Let t be w(12). Let j(l) = -l**2 - 16*l - 9. Is 9 a factor of j(t)?
False
Suppose 0 = -4*l + f + 4*f + 8, 2*l - f + 2 = 0. Let y(h) = 2*h**2 + 4*h. Does 4 divide y(l)?
False
Let g(n) = 5*n + 3. Let m be g(5). Let u = 29 + m. Does 19 divide u?
True
Suppose -j + 6*j - 90 = 0. Suppose 21*t - j*t = 126. Does 17 divide t?
False
Let x = 16 + -13. Suppose -p + 34 = p + u, -p = -x*u - 3. Is p a multiple of 8?
False
Let f(m) = -5*m - 13. Is f(-5) even?
True
Suppose 3*p + 5*h - 250 = 0, 0 = -4*p + 6*h - 4*h + 368. Does 10 divide p?
True
Is (-5 + 7)*(-4 - -23) a multiple of 6?
False
Suppose 8*f = 6*f + 4. Suppose f*u - 8*u + 90 = 0. Does 7 divide u?
False
Let d(a) = -4*a - 7. Does 21 divide d(-7)?
True
Suppose -y + 4*y - 9 = 0, 3*d = 3*y + 60. Is d a multiple of 23?
True
Let s(j) = -j + 31. Let a be s(9). Let c = a - -42. Is c a multiple of 16?
True
Let l be 6/(-15) + 54/10. Suppose -3*t = 9, 3*t + 109 = l*a - 0*a. Does 10 divide a?
True
Suppose 0 = -3*f - h + 47, 5*h = -2*f - 2*f + 81. Does 7 divide f?
True
Let l(z) = z - 6. Let t = 14 + -21. Let w be l(t). Let b = -2 - w. Does 9 divide b?
False
Suppose -2*u + 22 = -14. Does 6 divide u?
True
Suppose -3*a - 3*r - 84 = 0, 144 - 52 = -3*a - 5*r. Let g = -10 - a. Is g a multiple of 7?
True
Let p(s) = -s**3 - 5*s**2 + 11*s + 17. Let f be p(-7). Suppose -4*a = -f - 2. Is 5 a factor of a?
True
Suppose 95 = -5*l + 5*d, 5*d - 48 = -5*l - 163. Is 12 a factor of (-6)/l*-6*-14?
True
Let f be 2/(-2 + 0) + -1. Let b be (-3)/(-9)*(-1 - -16). Is f + b - 2 - -20 a multiple of 11?
False
Suppose 4*q + 28 = 6*q. Is 7 a factor of q?
True
Suppose 4*a = -4*f + 504, -5*a = f - 0 - 106. Is f a multiple of 27?
False
Let g = -15 + 15. Suppose -54 = -3*c - g*c. Is c a multiple of 6?
True
Let r = 45 - 23. Is r a multiple of 11?
True
Let o(x) = -2*x - 9. Let z be o(-6). Suppose -2*h - 3*h + z*b = -13, 2*b + 8 = 3*h. Suppose f + 8 = h*f - 5*l, 41 = 3*f + 2*l. Is 13 a factor of f?
True
Let a(f) = -f**2 + 2*f. Let g be a(2). Suppose g = -0*q + 3*q - 402. Suppose -41 = -5*z + q. Does 10 divide z?
False
Let q be 1*-3 + 25 + 2. Does 16 divide (-16)/(-3)*q/4?
True
Let v(r) = -3*r**3 + r**2 - 2*r. Does 5 divide v(-2)?
False
Suppose 264 = 17*h - 9*h. Does 2 divide h?
False
Suppose 11*o - 4023 + 151 = 0. Is o a multiple of 16?
True
Let u(i) be the third derivative of 0 + 0*i + 1/6*i**4 - i**2 + 5/6*i**3. Does 14 divide u(9)?
False
Let l be (4/(-3) - -3)*3. Suppose -3*r + l*r = 66. Is 12 a factor of r?
False
Let l = 2 - 0. Suppose -41 = -l*c - 1. Is 11 a factor of c?
False
Suppose 0*m + 3 = m. Suppose 4*k + m = k. Is 18 a factor of k/2 - 73/(-2)?
True
Let w(f) = f**3 - 9*f**2 - 11*f + 14. Let k be w(10). Does 14 divide 8/3*42/k?
True
Suppose 0 = 2*d + d - 2*w - 88, -38 = -d + 5*w. Does 7 divide d?
True
Let b(u) = u**3 - 8*u**2 + 6*u + 4. Let a be b(7). Let m = 2 + a. Is -2 - m*(1 - -7) a multiple of 2?
True
Suppose 0 = q + q - 5*r, -4*q = 5*r. Suppose q = -2*t + 2 + 2. Is 8 a factor of -12*-2*t/6?
True
Let x(i) = -i**2 + 8*i + 3. Suppose 0*o - 40 = -5*o. Let h be x(o). Suppose 21 = -h*c + 6*c. Is 5 a factor of c?
False
Suppose -5*d + 2 = 12. Suppose -4*v = -2*q - 12, 5*v = 2*q + 12 - 0. Does 11 divide (16/3)/(d/q)?
False
Suppose 2*c - 402 - 8 = 0. Suppose 5*l - 325 = -6*d + d, -l + c = 3*d. Suppose -5*g + 100 = -d. Does 17 divide g?
True
Let o(a) = -3 + 0*a - 3*a + a - 1. Let w be o(-3). Suppose -w*k - k = -18. Is 5 a factor of k?
False
Let m be (-2)/7 - 30/(-7). Suppose -m*l - 3*f = f + 88, -4*l - 128 = -4*f. Is 9 a factor of (l/4)/(2/(-8))?
True
Let q be 4/(-18) + (-42)/54. Let o be (q + -3)/(-2*1). Suppose 7*k - 55 = o*k. Does 11 divide k?
True
Is (-5)/(5/(-81)) - -1 a multiple of 31?
False
Suppose w - 94 = -12. Does 41 divide w?
True
Let g be -8*(-2 - 1/4). Let w = g + 0. Is 5 a factor of w?
False
Suppose -k = 2*k - 9. Suppose -k*x + 66 = -48. Suppose -2*r = 5*u - x, 0*u = 4*u - 8. Is 14 a factor of r?
True
Let y be (-15)/25 + 6/10. Suppose 0 = 3*u - 3 - y. Suppose 2*g - 33 = u. Is 17 a factor of g?
True
Let l(z) = 13*z - 11. Does 15 divide l(5)?
False
Suppose l = 2 - 5. Let i = 16 + l. Does 13 divide i?
True
Let d(z) = z**2 - 6*z + 4. Let m be d(5). Let v be (-1)/m - (7 + -3). Is (1/v)/(1/(-33)) a multiple of 11?
True
Suppose -2*a = 5*t - 361, a + 3*t - 153 = 6*