Is h a multiple of 37?
False
Is 11 + -10 + 5*2 a multiple of 11?
True
Suppose 2*x = -x + 2*r + 14, -3*r + 6 = 0. Is 4 a factor of 72/6*4/x?
True
Let z(k) = k**2 + 4*k - 4. Let g be z(-7). Suppose 0 = -4*j + g - 1. Suppose -4*w = 4*i - 64, -34 = -3*i - 0*i + j*w. Does 6 divide i?
False
Let f = 101 - 80. Does 3 divide f?
True
Let k(s) = 2*s**2 - 5*s + 6. Let m be k(5). Is 11 a factor of (-2 + m)/(0 - -1)?
False
Let f be 2/(-3)*(3 + 6). Is 14 a factor of (-3)/f + (-86)/(-4)?
False
Let r = -562 + 861. Is 17 a factor of r?
False
Let u be (-6)/(-8) - (-22)/(-8). Does 10 divide 40*1*(-1)/u?
True
Suppose -3*k + 2*k = -2. Suppose -k*v = -0*q + 2*q + 6, v = -3*q - 7. Does 3 divide (v + 2)/1 - -7?
False
Let y(t) be the second derivative of -t**4/12 - 7*t**3/3 + 3*t**2/2 + 9*t. Let g(j) = -2*j**2 - j + 1. Let b be g(2). Is y(b) a multiple of 16?
True
Suppose -l + 5*z = -3, -z = 2*l - 6*l + 12. Let i(f) = 3*f**2 - f**2 - 7*f + 7 - l*f**2. Is 7 a factor of i(-5)?
False
Let f = 13 + -1. Does 6 divide f?
True
Let p(u) = -u**3 + 13*u**2 + 10*u - 37. Is 31 a factor of p(13)?
True
Let t = 12 - 14. Does 3 divide (t/(-4))/((-11)/(-506))?
False
Let z = 187 + -131. Is 22 a factor of ((-11)/4)/((-7)/z)?
True
Let i = 0 + 1. Suppose -i = -3*q + 8. Let l = 20 + q. Does 18 divide l?
False
Suppose 4*v + 0*u - 4 = 2*u, -2 = -4*v + 3*u. Suppose -3*k + 29 = d, 0 = -2*d + k - v*k + 33. Is d a multiple of 14?
True
Let c(w) = 3*w**3 - 4*w**2 - 2*w + 5. Let n be c(3). Let k = 64 - n. Does 10 divide k?
True
Let d(j) be the second derivative of j**5/20 - j**4/3 + j**3/3 + j**2/2 - 2*j. Is d(4) a multiple of 6?
False
Suppose -5*n - 4 - 21 = -3*h, n - 3*h = 7. Does 21 divide ((-100)/(-6))/(n/(-12))?
False
Suppose 0*y - 3*y - n = -12, 12 = 3*y - 3*n. Does 2 divide y?
True
Let p(v) = -13*v**3 - 4*v**2 - v + 6. Let n(c) = -26*c**3 - 9*c**2 - 2*c + 13. Let a(h) = 6*n(h) - 13*p(h). Is 6 a factor of a(1)?
True
Let u = 328 + -115. Is u a multiple of 27?
False
Let c = 45 - 24. Does 7 divide c?
True
Let q(r) = -r**3 - 7*r**2 - 10*r - 5. Let y be q(-7). Suppose -2*n + y = -57. Is n a multiple of 17?
False
Let a(w) = -w**2 + 5*w - 2. Let f be a(3). Suppose 2*l = -2*b - 4, f*b - 17 = 5*l - 7. Suppose b*q = q - 45. Is q a multiple of 22?
False
Let y(z) = z - 2. Let u be y(4). Suppose o - 20 = -4*h - h, 21 = u*h + 3*o. Is h even?
False
Let z = 3 - -4. Let w(u) = -u. Let g be w(z). Let k(m) = m**3 + 8*m**2 + 2*m. Is k(g) a multiple of 11?
False
Let i be 7*2/(4/(-2)). Let j be (-1)/3 + (-5)/(15/(-37)). Let w = i + j. Is w a multiple of 4?
False
Let r = 416 + -191. Suppose -315 = -5*p - 6*u + u, -r = -4*p + 5*u. Does 15 divide p?
True
Suppose -3*a - 97 = -274. Let h = a + -24. Is h a multiple of 16?
False
Suppose 16*d - 12*d = 260. Let r be (-2 - -1)*1*0. Suppose 0 = -5*x + h + h + 60, -5*x + 3*h + d = r. Does 4 divide x?
False
Let h(i) = -3*i. Let a be h(-5). Is (12 + 0)*10/a a multiple of 4?
True
Suppose -2*z + 3*j + 89 = 0, 0 = -z + 3*z - 5*j - 83. Suppose 2*l + 4*x + 1 = -7, -4*l + 28 = -3*x. Suppose l*i = 39 + z. Does 10 divide i?
False
Suppose -3*t + 161 = 5. Does 13 divide t?
True
Suppose 0 = 3*v + 2*d - 26, 4*d - 32 = -2*v - d. Suppose v*z + 64 = 7*z. Is z a multiple of 21?
False
Let h(w) = -w + 5. Does 11 divide h(-6)?
True
Suppose -2*j - 10 = -4*o, 2*j + o - 16 + 6 = 0. Let m = 16 - j. Is 8 a factor of m?
False
Suppose 4*q = -20, -2*c + 5*c + 2*q - 26 = 0. Is c a multiple of 7?
False
Let l = 20 + -10. Is l a multiple of 4?
False
Suppose r = 8 - 3. Suppose -r*l = -9 - 6. Suppose w - l = 2. Does 3 divide w?
False
Let d(b) = -31*b + 25. Does 36 divide d(-5)?
True
Let d(i) = i - 2. Let a be d(1). Does 21 divide a*(-40 + -1 - 2)?
False
Let t be -20 + ((-1)/(-1) - -2). Let p = -11 - t. Is 26 + p + 4 + -1 a multiple of 12?
False
Is (-33)/(-3 + 3/2) a multiple of 11?
True
Suppose 0*n - 2*y + 6 = 4*n, 5*n - 2*y = 12. Suppose z + 4*z = n*j - 10, -6 = -3*z. Is j a multiple of 5?
True
Let v be (-60)/(-25) + (-4)/10. Let f(j) = 0 + 1 - 2 - j**v + 10*j. Is 8 a factor of f(4)?
False
Suppose -4*b + 2*a + 5 = -7, 15 = 5*b - 5*a. Suppose -b*n + 55 = -2*n. Is 10 a factor of n?
False
Suppose 4*z + 129 = 2*a - a, -5*z + 10 = 0. Suppose -o - 25 = -k, 5*o - 3*k + a - 6 = 0. Let f = -14 - o. Is f a multiple of 14?
True
Suppose 5*c - 10 = -10*t + 5*t, 5*c + 3*t = 12. Suppose 2*p = c*p. Suppose 7*d - 2*d - 30 = p. Is 6 a factor of d?
True
Let y(n) = -20*n. Let f be y(-1). Let d = 52 - f. Is 16 a factor of d?
True
Let g = 96 + -58. Is g a multiple of 8?
False
Suppose 15 = -2*y + 175. Does 20 divide y?
True
Let i = 27 + 33. Is 12 a factor of i?
True
Let z(u) = u**2 + 14. Let h be z(10). Suppose -4*b = 42 - h. Is b a multiple of 6?
True
Let v(j) = 27*j**2 + 2*j - 1. Let w be v(1). Let n be 1/(-1 - (-18)/15). Suppose 0 = -3*t + w + n. Does 9 divide t?
False
Let h(b) = 8*b - 3. Let o(m) = -m**3 - 11*m**2 - m - 6. Let a be o(-11). Is 10 a factor of h(a)?
False
Suppose m = -2*f + 68, 6*m - 4*m = 4. Is f a multiple of 33?
True
Let z(o) = 4*o**3 + 37*o**2 - 24*o - 6. Let g(s) = -s**3 - 12*s**2 + 8*s + 2. Let b(n) = -7*g(n) - 2*z(n). Is b(9) a multiple of 7?
True
Suppose 50 = -2*x + 3*x. Does 25 divide x?
True
Let p be 3*((-24)/(-9) - 2). Suppose -3 = -3*u + 33. Suppose 2*l + p*l = u. Is 2 a factor of l?
False
Let j be 6/(-39) - (-516)/(-26). Let q = -29 + j. Let u = -23 - q. Is u a multiple of 10?
False
Suppose 4*y + 30 = 486. Does 23 divide y?
False
Let j(c) = -10*c - 12*c + 8*c - 5 - c**2. Let x be 9/(1/2*-2). Is 20 a factor of j(x)?
True
Suppose 437 = 11*i - 883. Is i a multiple of 12?
True
Does 4 divide (-335)/(-7) - (-4)/28?
True
Let z(b) = -b**3 + 5*b**2 - 4*b + 4. Let k be z(4). Suppose 14 = k*u - 58. Is 12 a factor of u?
False
Suppose 0 = 2*f + f - 3*t - 18, 20 = 3*f - 4*t. Let y(d) = 3*d**2 + 3*d. Does 30 divide y(f)?
True
Let s = 20 - 17. Does 2 divide s?
False
Let h = 1 + -3. Is h/(-11) - 786/(-33) a multiple of 8?
True
Suppose 5*a - 11 + 1 = 0. Suppose -3*c = -a*c - 5. Does 3 divide c?
False
Let j = 18 - 1. Let c = 27 + j. Is c a multiple of 20?
False
Let a(n) = -n**2 + 6*n - 5. Let l be a(4). Let g(b) = 7*b - 9. Let z(x) = -11*x + 13. Let d(k) = -8*g(k) - 5*z(k). Is 2 a factor of d(l)?
True
Let k be 28*(-2)/(8/(-2)). Suppose 2*m = k - 0. Is 7 a factor of m?
True
Suppose 4*a = 3*z - 75, 5*z = 3*a + 107 + 7. Is 6 a factor of z?
False
Suppose -4*x = -2*a + 292, -3*a + x + 323 = -135. Is 65 a factor of a?
False
Suppose 0 = -0*s + 3*s - 24. Suppose -20 = s*l - 4*l, -g + 4*l = -42. Suppose -2*q + g - 6 = 0. Is 6 a factor of q?
False
Let m be 1*(-12 - -2)/(-2). Suppose -4*o + 48 = -b, 2 = -0*o + 2*o + m*b. Does 11 divide o?
True
Let n be 744/9 + 8/(-12). Let m = n - 43. Is m a multiple of 12?
False
Let u = -28 + 111. Let s = u + -59. Does 12 divide s?
True
Let o = 5 + 3. Is o a multiple of 2?
True
Suppose -35 - 145 = -5*b. Does 12 divide b?
True
Let t(z) be the first derivative of -z**2/2 + 16*z + 8. Does 4 divide t(7)?
False
Suppose -2*c + 968 + 358 = 5*b, -5*c = -4*b + 1041. Does 11 divide b?
True
Let k(c) = c**3 + 6*c**2 - c - 4. Let m be k(-6). Suppose -m*o + 23 = -33. Let y = 48 - o. Is 11 a factor of y?
False
Suppose -o + 1 = -u, 1 = -2*u - u + 2*o. Let c = u + 4. Is c a multiple of 5?
True
Let w(x) = x**2 - 3 + x**2 + x + 25*x**3 - 3*x**2 + 2. Is w(1) a multiple of 8?
True
Let n(r) = 2*r**2 + 2*r - 2. Let m be n(-2). Is 9 a factor of 12/(2/m) - -3?
False
Suppose -z + 25 = 17. Is 6 a factor of z?
False
Suppose -b + 5*b + 22 = -5*y, 3*b = -5*y - 19. Does 19 divide (-171)/3*(y + 1)?
True
Is (5 - 1180/8)*(-4)/3 a multiple of 19?
True
Let v(g) = g + 14. Let q = -4 - 1. Does 3 divide v(q)?
True
Suppose 4*o - 7 - 3 = 2*r, -2*o + 4*r + 14 = 0. Let k(d) = -d**3 + 4*d**2 - 4*d + 3. Let b be k(3). Is 12 a factor of 12 - (1 + (b - o))?
True
Does 6 divide 4*(-5)/(40/(-12))?
True
Suppose -436 = -n - 3*n. Does 24 divide n?
False
Let r = -38 - -64. Is r a multiple of 7?
False
Suppose -2*p = 6, 5*z - 5*p + p = 1247. Is 45 a factor of z?
False
Suppose -4*d - d + 46 = 3*s, 0 = 2*s - 5*d - 14. Let j be (1 - 2) + 0 + (-2)/(-2). Suppose j = -0*r - r + s. Is 6 a factor of r?
True
Let d be 750/4*8/6. Suppose 6*i - d = i. Is 25 a factor of i?
True
Does 7 divide (-1018)/(-8) - (-120)/(-96)?
True
Is 8 a factor of ((-6)/3 - -1) + 38?