 a?
True
Suppose 55 = a - 8. Let h = a - 42. Is 20 a factor of h?
False
Let a = 4 - 0. Let o(c) = -c**2 + 5*c - 4. Let v be o(a). Suppose -205 = -v*x - 5*x. Does 15 divide x?
False
Let x(l) be the first derivative of -3*l**2/2 - 7*l + 2. Does 7 divide x(-7)?
True
Let g be -14 - (2 + 1 + -1). Let z = -26 - 3. Let u = g - z. Is u a multiple of 6?
False
Let j(u) = -u**2 - 3*u - 3. Let i be j(-3). Let r = i - -3. Suppose -a - q = -0*q - 9, 3*q - 9 = r. Is a a multiple of 3?
True
Let j = 10 + 15. Does 5 divide j?
True
Let q be ((0/2)/(-4))/2. Suppose q = -4*z + z + 135. Is z a multiple of 15?
True
Let v = 30 + -59. Let d(t) = 8*t + 8. Let f be d(7). Let g = f + v. Is 14 a factor of g?
False
Let h be (-118)/14 - (-45)/105. Let k = 23 + h. Does 15 divide k?
True
Suppose -65 = -2*w + w. Is 13 a factor of w?
True
Does 6 divide 531/36 - 3/4?
False
Let j = 17 - 7. Let p(k) = -k**2 + 13*k - 14. Is p(j) a multiple of 16?
True
Let l = 142 - 2. Is l a multiple of 14?
True
Suppose 0 = 5*s - 66 + 381. Suppose -303 = -3*z - 24. Let p = z + s. Does 15 divide p?
True
Suppose p = 5*p - 84. Is p a multiple of 21?
True
Suppose 0 = -4*c + 9*j - 6*j + 175, 0 = -4*c - 4*j + 140. Is 18 a factor of c?
False
Suppose r = 4*t - 3084, 11 = -5*r - 9. Is (-12)/(-54) + t/18 a multiple of 16?
False
Suppose 2*w = -0 + 8. Is w/(-14) + (-198)/(-7) a multiple of 13?
False
Let y(k) = -k + 9. Let i be y(7). Let s(x) = -x**i - x**3 + 2*x**2 + 10 + 18 + 11. Is 17 a factor of s(0)?
False
Let m(p) = 38*p**2 - 10*p + 9. Let q be m(6). Suppose 0*t + 4*t = i - q, 3*i = t + 321. Does 21 divide ((-8)/12)/(4/t)?
False
Let h = 79 - 19. Suppose 3*c - h = 24. Is 9 a factor of c?
False
Let x = -103 + 145. Is 14 a factor of x?
True
Let n = 533 + -767. Let t = 161 + n. Let p = -43 - t. Is p a multiple of 15?
True
Let l(h) = -2*h**3 - 14*h**2 + 9*h + 12. Let v(c) = c**3 + 7*c**2 - 4*c - 6. Let f(o) = 4*l(o) + 7*v(o). Let k be f(-8). Is (-1 + k/(-4))*-20 a multiple of 25?
True
Let b be ((-1)/3)/(1/(-3)). Suppose -3*n + 22 = b. Does 3 divide n?
False
Let h be (-1)/(-4) + (-11)/(-4). Let i = 10 - h. Does 4 divide i?
False
Let i = 22 - 3. Is i a multiple of 4?
False
Let r(h) = -h + 11. Is 2 a factor of r(6)?
False
Let n be (35/(-14))/(1/(-2)). Is 198/n + (-2)/(-5) a multiple of 10?
True
Suppose 35 = 2*f + 13. Is 8 a factor of f?
False
Let d = 34 - 16. Suppose 3*i - d = 2*i. Suppose 0 = -z - 2*y + i, -z + 0*z - y = -14. Is z a multiple of 5?
True
Let j = -457 - -666. Is 9 a factor of j?
False
Let r(g) = 2*g**3 + 20*g**2 - g - 3. Is 12 a factor of r(-5)?
True
Let q(o) = 3 + o**3 + o - 4*o**2 + 6*o**2 - 3*o. Let s be q(-3). Suppose s*i + 3*i = 27. Does 9 divide i?
True
Suppose -m = -4*m - 30. Let o(h) = -h**2 - 9*h + 14. Let n be o(m). Suppose -5*i + 2*j = -179, n*i - 149 = 2*j - 7. Is 16 a factor of i?
False
Suppose 9 = 3*s + 2*a, 0*s - 5*s = 3*a - 16. Does 2 divide s?
False
Let y be -8*(-1 + (-3)/(-6)). Suppose -i + 8 = y*z, -3*i + 0*i - 9 = z. Is z a multiple of 2?
False
Let c = 12 + 0. Does 4 divide c?
True
Let c(n) = n + 3. Let o be c(4). Suppose 48 = o*j - 64. Is 7 a factor of j?
False
Suppose -b - 19 = -2*b. Suppose -3*u - b = -4*u. Does 13 divide u?
False
Suppose 4*t - 113 = 63. Does 18 divide t?
False
Suppose -8*d - 30 = -9*d. Is d a multiple of 17?
False
Suppose -4*p = -0*p. Suppose -5*s - 1 + 6 = 0. Does 6 divide p + 0 + s - -14?
False
Let g(b) = b**2 + 7*b - 3. Let x be g(-7). Let p(r) = r**3 + 3*r**2 - 2*r + 3. Is p(x) a multiple of 9?
True
Suppose -2*z = -7*z + 35. Let h = z + 2. Suppose 24 = 3*q + h. Is q a multiple of 3?
False
Suppose -r = 3*o - 21, 0 = -0*r + r - 5*o + 11. Does 12 divide (-18)/(-7)*84/r?
True
Is (-9)/(-2)*(-4)/(-3) even?
True
Let y = 1 - 1. Let z = 36 + y. Is 18 a factor of z?
True
Suppose 3*y = -j + 24, -16 = -7*y + 3*y. Is ((-56)/j)/(4/(-6)) a multiple of 7?
True
Suppose 2*w - 10 = -2. Suppose -w*z = 21 - 153. Does 10 divide z?
False
Let u(f) = -f**2 - 9*f - 5. Let h be u(-5). Let g = h - -7. Does 7 divide g?
False
Suppose b + b + 5*k = 29, -3*b = k - 24. Let x = -5 + b. Suppose 0 = -2*a + x, 4*j + 2*a - 77 = a. Is j a multiple of 8?
False
Suppose 0 = 4*i + 4*y + y - 370, -5*i + 448 = -y. Is 5 a factor of i?
True
Let j(f) = f**3 + f - 73. Let h be j(0). Let z = -46 - h. Does 14 divide z?
False
Let m(t) = 3*t**2 + 8*t + 6. Let u be m(-5). Let z(p) = -15*p - 1. Let n be z(-1). Suppose n = 2*d - 3*f - u, -2*f - 28 = -d. Is 13 a factor of d?
True
Suppose 4*t - 5*t = 2. Is (6/(-5))/(t/75) a multiple of 20?
False
Let f = -16 - -28. Let m(j) = j**3 - 13*j**2 + 15*j + 3. Is m(f) a multiple of 13?
True
Let p(j) be the third derivative of -3*j**6/40 - j**4/6 + j**3/6 - 2*j**2. Let r(h) = 17*h**3 + 7*h - 2. Let s(c) = -7*p(c) - 4*r(c). Is 3 a factor of s(-1)?
True
Suppose -2*w - 15 = -7*w, 5*w - 231 = 4*l. Is 30 a factor of (-2 - (l - -2)) + 1?
False
Let s(h) = h**2 + 4*h - 2. Let v be s(-5). Suppose g = -b + v*g + 22, -84 = -4*b + 4*g. Suppose -q + 5*r = -7, -3*q + q + 4*r = -b. Is q a multiple of 6?
True
Suppose -12 = 4*r, -2*h - r - 3*r = 8. Suppose -68 = -h*c - 24. Suppose -3*p = -c - 50. Is p a multiple of 12?
True
Let w be (-9)/(-3) - 6 - -10. Suppose 1 = 2*s - w. Is ((-176)/s)/(-3 + 1) a multiple of 10?
False
Suppose -4*z + 0 = -2*c - 2, -5*c = -2*z + 37. Let u(o) = o**2 + 5*o - 12. Does 8 divide u(c)?
True
Let k(r) = 11*r**2 + 9*r - 9. Let b(c) = -5*c**2 - 4*c + 4. Let j(h) = -5*b(h) - 2*k(h). Is j(-3) a multiple of 19?
True
Let c be (-6)/(-10) - (-43)/(-5). Let j = 17 + c. Is 3 a factor of j?
True
Suppose -119 = -z - 29. Is 15 a factor of z?
True
Let y be (12/10)/((-9)/(-1140)). Let h = -92 + y. Does 14 divide h?
False
Suppose 0 = 3*z - 3*u - 27, -4*u = 3*z + u - 59. Suppose -3*v - z = -55. Does 7 divide v?
True
Let m(p) = 13*p**2 - p. Is 11 a factor of m(1)?
False
Suppose 2*l = -2*l + 16. Suppose 4*d - 157 = -5*q, l*q - 50 = -3*d + 76. Does 11 divide q?
True
Suppose -18 = -5*j - 2*o, -2*j + 20 = o + 3*o. Suppose -y + j*m = 0, 0 = 2*y + y + 5*m - 44. Is y a multiple of 3?
False
Let h = 210 - 86. Is 18 a factor of h?
False
Let u(m) = 2*m. Let g be u(2). Let y be 1*4*428/16. Suppose -g*v = -7*v - 2*i + y, 173 = 5*v - 2*i. Does 12 divide v?
False
Is 11 a factor of -4 + 3 + 21*4?
False
Let r = 3 + 4. Is r a multiple of 2?
False
Let f(a) be the third derivative of -a**5/60 + 7*a**4/24 + 2*a**2. Does 5 divide f(5)?
True
Let l be ((-1)/(-2))/(1/12). Suppose 2*s + 2*j = 2, l = -2*s + j + 23. Is 3 a factor of s?
True
Suppose -r = -0*r + c, 15 = r - 4*c. Suppose 20 + 13 = 4*y + 5*q, 42 = r*y - 2*q. Is y a multiple of 4?
True
Let i(l) = 2*l**2 - 6*l**2 + 6*l + 0*l**2 + 1 + 3*l**2. Is i(4) a multiple of 8?
False
Suppose 2*x + 4*i + 0 + 14 = 0, x - 2*i - 13 = 0. Suppose x*b = 48 - 3. Is 5 a factor of b?
True
Let i = -2 - -22. Does 5 divide i?
True
Does 8 divide (0 + 76)/(1*2)?
False
Let m = -7 - -12. Suppose m*o + 3*y + y - 173 = 0, 4*o + 3*y - 138 = 0. Suppose 4*n - 39 = -5*q, -7*q + 2*n + o = -2*q. Is q a multiple of 7?
True
Suppose 0 = -3*b + 105 - 282. Let d = b - -91. Does 11 divide d?
False
Let v(s) = -2*s**3 - 5*s**2 - 8*s + 3. Let p(l) = -l**3 - 2*l**2 - 4*l + 2. Let m(x) = 7*p(x) - 4*v(x). Is m(-5) a multiple of 7?
True
Let f = 18 - 13. Suppose 5*s = 4*j + 37, 2*j + 31 = 4*s + f. Suppose 4*a = 2*p + 56, -3*a + s*p = 17 - 66. Does 5 divide a?
False
Let c(g) = -7*g - 15. Is 11 a factor of c(-10)?
True
Let w(y) = -y**2 + 10*y + 46. Let f(q) = -2*q - 9. Let j(t) = -11*f(t) - 2*w(t). Is j(4) a multiple of 18?
False
Let w(z) = -16*z**2 - z. Let l be w(-1). Let s = 43 + l. Does 19 divide s?
False
Is 20 a factor of 1 + 0 - 55*-1?
False
Let p(v) = -v**3 - 8*v**2 - 13*v - 15. Does 10 divide p(-8)?
False
Let n = -13 - 88. Let z = -70 - n. Is 8 a factor of z?
False
Suppose -10 = -0*b - 5*b. Suppose b + 2 = 2*m. Suppose -m*o + 6*o - 48 = 0. Is 5 a factor of o?
False
Let x = -4 + 4. Let u = 2 + x. Suppose 0 = u*t - 3*t + 4. Does 4 divide t?
True
Suppose 5*m + 20 = 0, i - 2*i = -m + 32. Let h be ((-21)/(-12))/((-3)/i). Suppose c + 2*s = 6*c - 51, -c - 5*s + h = 0. Does 5 divide c?
False
Let b(o) = o**2 + 14*o - 28. Let m be b(-12). Let h = -33 - -16. Let a = h - m. Does 13 divide a?
False
Suppose -5*k + 38 = 2*r - 0*r, 0 = 3*k - 3*r - 6. Suppose -3*j - 24 = -k*j. Is 3 a factor of j?
False