5) a multiple of 8?
False
Let q = -10 + 10. Suppose -3*f = -q*f - 18. Is f a multiple of 6?
True
Let y(k) = 30*k**2 - 4*k + 2. Let f be y(2). Suppose 0 = -4*i - 50 - f. Let d = 82 + i. Is 15 a factor of d?
False
Suppose -4*p - 67 = -27. Let l = p - -18. Let v(z) = z. Is v(l) a multiple of 8?
True
Suppose -g - g = -3*w + 482, -3*g + 778 = 5*w. Does 24 divide w?
False
Suppose -4*p = -69 - 91. Is p a multiple of 9?
False
Suppose 0 = 3*v + 52 - 376. Is 18 a factor of v?
True
Suppose 0 = -5*c + 1078 + 27. Is c a multiple of 17?
True
Let f(n) = 0 + 4 + 2 + 5*n. Let m be f(6). Is (-16)/6*m/(-16) a multiple of 3?
True
Let q be -3 + 9 + (2 - 3). Suppose 0 = -u - 2*m + q, u + 11 = -2*m + 4*m. Is 149/3 - (-2)/u a multiple of 13?
False
Let c be (-111)/6 - 2/4. Let x(y) = -y**3 + 7*y**2 - 4*y - 7. Let i be x(6). Let p = i - c. Does 12 divide p?
True
Suppose 0*c + 4*c = -d - 24, -4*c = -4*d + 24. Let k = 25 + c. Is 6 a factor of k?
False
Let c = -2 + 0. Does 2 divide -10*c/(-8)*-2?
False
Suppose -2*w - 144 = -4*l, 0 = w - 6*w - 20. Does 10 divide l?
False
Let s(x) = 2*x - 1. Let t = -5 - -9. Does 2 divide s(t)?
False
Let o(s) = s**3 + 7*s**2 + s + 3. Let y be o(-7). Let w = -6 + y. Let a = 18 + w. Is 8 a factor of a?
True
Let o(d) = -23*d - 1. Let i be o(-2). Let p = i - -16. Is 16 a factor of p?
False
Let t = 15 + -11. Suppose -12 = -t*u, n + 3*n = 3*u + 75. Does 21 divide n?
True
Suppose -2*z - b - 3*b - 12 = 0, 0 = 3*z - 5*b - 37. Does 3 divide z?
False
Suppose 23 = 2*u - 7. Is 7 a factor of u?
False
Does 9 divide 12/9 - (-4 - 368/12)?
True
Suppose -3*i + 12 = -3*f, -5*i = -5*f + 2*f - 20. Does 3 divide i?
False
Is (1 + -16)/(2/(-4)) a multiple of 30?
True
Let v = 1 + 2. Is 2 a factor of ((-20)/(-6))/(2/v)?
False
Let x(o) = -o + 11. Let b be x(8). Suppose -b*j = j + 4. Is -2 + (-8)/j - 3 a multiple of 3?
True
Suppose 5*p = -3*z - z + 680, -p = 3*z - 499. Is z a multiple of 33?
True
Let b be (3/3)/1*2. Let i = b - -58. Is i a multiple of 19?
False
Let q be 2 - 4/(8/(-6)). Suppose -4*j + 21 = q*s, 0*j + 2*s = 2*j - 6. Does 2 divide j?
True
Suppose i = 117 - 15. Is i a multiple of 19?
False
Let i(g) = -5*g - 1. Is i(-6) a multiple of 10?
False
Suppose 0 = 4*b + 3*a - 275, -3*b - 2*a + 270 = b. Is 13 a factor of b?
True
Suppose 4*s = 7*s - 39. Is s a multiple of 6?
False
Let z(w) = 6 + 0*w**2 - 2 + w**2. Is 14 a factor of z(5)?
False
Suppose 4*z + 0*z = 2*t - 2, 4 = 4*z. Suppose -79 = -3*r + g, 2*g - 56 = -t*r + 38. Is 25 a factor of r?
False
Suppose 5*z + 31 = 2*t, -4*z = -4*t - 2*z + 22. Suppose w - t = 1. Does 3 divide w?
False
Let x be 1/(-5) + (-3368)/(-40). Suppose -5*v + 160 = -0*v + i, -3*v + x = 3*i. Is 8 a factor of v?
False
Let s be ((-44)/10)/((-1)/5). Let a = 17 - 11. Let h = s - a. Is h a multiple of 7?
False
Let j(k) = -k**2 - k + 8. Let d be j(-7). Let q = 60 + d. Is 13 a factor of q?
True
Suppose 0 = -5*q - 0*q + 20. Does 4 divide q?
True
Suppose -10*u = -472 - 58. Does 7 divide u?
False
Suppose 0 = 6*q - 122 - 178. Does 25 divide q?
True
Suppose -5*f - 39 = 96. Let g = 45 + f. Is 18 a factor of g?
True
Suppose j - 2*j + 3*p = -108, 2*p = 0. Is 27 a factor of j?
True
Suppose 0 = -5*g + 2*n + 309, -3*n + n + 6 = 0. Does 9 divide g?
True
Let t = 86 + -77. Is t a multiple of 3?
True
Let w(f) be the third derivative of -f**6/120 - 2*f**5/15 - f**4/4 + 4*f**3/3 - 3*f**2. Let s be w(-7). Let m(b) = 32*b**3 - b + 1. Is 16 a factor of m(s)?
True
Let s be 3/(-6)*2*15. Let a be 6/2*s/(-9). Suppose 3*n - 30 = -a*y, -5 = -n - 0*n. Does 2 divide y?
False
Let g = 215 - 117. Suppose 0 = -f + 3*t + g, -3*t + 26 - 344 = -3*f. Let p = f + -67. Does 21 divide p?
False
Let w be (-4)/14 + (-1272)/(-42). Suppose -w + 106 = 4*x. Is 19 a factor of x?
True
Let v(c) = -c**2 + 8*c. Let b be v(6). Suppose -4*s + 8*s = -5*j - 15, -4*s = 4*j + b. Suppose 4*r + 16 = s, -2*w - 2*r + 13 = -21. Is 11 a factor of w?
False
Let a(i) = i**2 + i - 3. Let g be a(-3). Suppose g*z = -0*z + 9. Does 2 divide z?
False
Let o = 36 - -2. Is o a multiple of 5?
False
Let r(l) = l**3 - 6*l**2 + 6*l - 3. Let p be r(5). Suppose 3*s - 15 = 0, p*y - 5*s + 19 = -4. Suppose -11 = -2*w + y. Does 3 divide w?
True
Does 2 divide 7 - (4 + (-40)/12)*3?
False
Does 30 divide (-12)/((-85)/25 + 3)?
True
Suppose -4*g + 16 = 0, -2*g = -2*a - 6 - 6. Let c be ((-15)/25)/(a/10). Suppose -3*t = 2*f - 76, c*f + 2*f - 3*t - 232 = 0. Is 22 a factor of f?
True
Let o(p) = 132*p**2 + 1. Let x be o(1). Does 9 divide x/9 + 4/18?
False
Let z be (-78)/10 - (-8)/10. Suppose 0 = 3*p - 2*p + 21. Let l = z - p. Is l a multiple of 14?
True
Suppose 4*f + 0 + 7 = -5*l, -11 = -2*l + 3*f. Let h be 1/l - 0 - -1. Suppose 4*p - i - 65 = 0, -p + h*p = 5*i + 21. Is p a multiple of 6?
False
Let l(n) = -4*n**3 + 7*n**2 + 11*n - 3. Does 6 divide l(-3)?
False
Suppose -4*u + 6 = -2*k + 5*k, 0 = -3*k + 6. Suppose 5*j - 4*n - 94 = u, -3*j - 2*n - 58 = -6*j. Does 5 divide j?
False
Suppose 2*s = -3*s - 435. Let c(x) = 2*x + 3. Let l be c(-3). Is 4/(l - s/27) a multiple of 9?
True
Let z(g) = -g**2 - g + 1. Let d(m) = -m**2 - m. Let o(u) = 9*u**2 + 8*u - 4. Let x(t) = -3*d(t) - o(t). Let c(y) = -x(y) + 5*z(y). Is c(5) a multiple of 11?
False
Let w be 36/10 - (-2)/5. Suppose -6 = -2*j + 4*j, 0 = -3*a + w*j - 138. Is (-6)/(-27) + a/(-18) a multiple of 2?
False
Suppose 0 = -5*o - d + 42, -o + 0*o = -d - 6. Does 7 divide o?
False
Suppose -12*o - 336 = -19*o. Is 6 a factor of o?
True
Let d(a) = a**2 + 4*a - 5. Let w(j) = -2*j + 3. Let b be w(5). Does 16 divide d(b)?
True
Suppose 2*y - 7 = 2*l - 1, -3*y = -2*l - 9. Suppose -f = -l*f - 6. Does 3 divide f?
True
Let v(g) = 65*g - 1. Let m be v(1). Let c = -29 + m. Let q = c + -5. Does 12 divide q?
False
Let m(d) = -57*d**3 + 2*d**2 - 1. Let k be m(1). Let f be 4*1*(-481)/52. Let a = f - k. Is 7 a factor of a?
False
Let r(o) = o. Let h be -10 + 2*(-3)/(-6). Let q be r(h). Is 15 a factor of 37*1 + (-8 - q)?
False
Let h(s) = s**3 - 6*s**2 - 7*s - 1. Let j be h(7). Is 10 a factor of j*10*14/(-4)?
False
Let o(v) = -v**3 + 10*v**2 - 10*v + 13. Let b = 7 + 2. Is 4 a factor of o(b)?
True
Let i(u) = -u**2 + 8*u - 8. Is i(6) even?
True
Let r(v) = -10 - 12*v + v**3 + 5*v + 10*v**2 + 4*v. Is r(-9) a multiple of 20?
False
Let i = 36 - 21. Is i a multiple of 2?
False
Suppose 6*s = 2*s + 8. Suppose -3*z = -s*t + 24, -2*z - 29 - 11 = -4*t. Suppose 4*f = -1 + t. Is f a multiple of 2?
True
Let l(t) = 7*t**2 - 3*t - 4. Is l(3) a multiple of 25?
True
Let r be (6/5)/(12/640). Let t be 5/(5 + -1 + -3). Suppose -1 - r = -t*o. Is 11 a factor of o?
False
Suppose 2*i + 37 - 11 = 0. Let t = i + 49. Is 18 a factor of t?
True
Is 20 a factor of (-9176)/(-34) - (-14)/119?
False
Suppose -2*l - 4 + 60 = 0. Suppose -5*b + c + 24 + 8 = 0, -3*b + 5*c = -l. Is 6 a factor of b?
True
Let a(g) = -g**2 + g + 18. Let n be a(0). Suppose 5*m - n = -153. Let v = m - -57. Is v a multiple of 15?
True
Suppose 3*x - 4 = l - 8, l + 3*x = 10. Suppose 2*t + 3 = l*v - 2*v, 2*v = 2*t. Let g = 3 + v. Is 3 a factor of g?
False
Does 18 divide 11475/60 - (-2)/(-8)?
False
Does 11 divide 51*6/(-30)*-5?
False
Suppose u = -u + 18. Is 7 a factor of -14*(u/(-6) + 1)?
True
Let o = -284 - -413. Is o a multiple of 43?
True
Suppose -m - 5 = -13. Does 2 divide m?
True
Let f(s) = -4*s + 5. Let n be f(4). Let x = n + 117. Let u = -76 + x. Is 10 a factor of u?
True
Let a be (-1 + 4)/((-3)/(-20)). Let v = -20 + 28. Let f = a + v. Does 14 divide f?
True
Let a(q) = -3*q - 13. Suppose 2*v + 3*t = -t - 36, 5*t - 7 = 4*v. Is a(v) a multiple of 8?
False
Suppose -z - 38 = 3*u + u, -2*z = -u + 94. Let k = z - -115. Suppose 0*t = 3*t - k. Is t a multiple of 13?
False
Let p(d) = d**2 + 5*d - 3. Let x be p(-5). Does 14 divide (-140)/x + (-8)/12?
False
Let l = 20 + -14. Let f be (10/l)/(4/(-12)). Is (-10)/f - (-16 - 0) a multiple of 9?
True
Let v(s) be the second derivative of s**3/6 + 3*s**2 - s. Let l be v(-3). Is ((-3)/(-6))/(l/48) a multiple of 8?
True
Let k(q) = 7*q**2 - q + 2. Does 2 divide k(1)?
True
Let d(t) = t**2 + 2*t. Let u be d(-2). Suppose 3*o + o - 56 = u. Is 4 a factor of o?
False
Let d = 15 - 19. Is 1/d + (-49)/(-4) a multiple of 4?
True
Let m(y) = y. Let x(q) = -5*q + 5. Let w(t) = -3*m(t) - x(t). Suppose 0*r + k = 3*r - 19, 4*k = 20. Is w(r) a multiple of 7?
False
L