 - r + 17. Does 16 divide d(m)?
True
Let i be 4/(-3)*(-3)/2. Let j = i - 3. Let v = 11 - j. Is v a multiple of 10?
False
Let w be -6*(4/6)/(-1). Let k(d) = 21*d**2 + d. Let v be k(-1). Suppose 2*x = w*p - v, -x - 2*x = 0. Is p even?
False
Let f(n) = n**2 + 66. Is f(0) a multiple of 33?
True
Suppose 0 = 3*h + 4*v + 3 - 12, 0 = -h - 2*v + 3. Let j be (2/5)/((-2)/(-10)). Suppose -y - h*a = 6, -4*y = -5*a + j*a - 21. Is 2 a factor of y?
False
Let a(g) = -g**3 + 11*g**2 - 11*g + 15. Let b be a(10). Let v(f) = 2*f - 9*f - b*f + 2*f. Is v(-4) a multiple of 26?
False
Let r(s) be the second derivative of 17*s**4/12 - s**3/6 - 6*s. Is 6 a factor of r(-1)?
True
Let f be -10 - 1*(-3)/3. Is (15/f)/(4/(-12)) even?
False
Let x(t) = -2*t**3 + 2*t**2 + 2*t. Let z be x(2). Does 4 divide (1 + -3 - 0)*z?
True
Suppose -4*j + 0 = 5*s - 11, 19 = 5*s - 4*j. Does 3 divide s?
True
Let b = 18 - 45. Let d = b - -39. Is 6 a factor of d?
True
Suppose -5*z + 22 = r, z + 2*r - 3 = -4. Suppose -66 - 87 = -4*h - z*s, 2*s - 150 = -4*h. Does 8 divide h?
False
Suppose 0 = 5*o - 4 - 11. Suppose -5*p = -2*u - 73, o*u - 6*u = -2*p + 38. Does 3 divide p?
False
Let g = 1 - 1. Suppose g = -3*h - 17 + 50. Does 4 divide h?
False
Let y = 8 - -23. Is y a multiple of 11?
False
Suppose 0 = s - 11 - 2. Let f = s - 29. Let u = 32 + f. Is u a multiple of 13?
False
Suppose 3*h + s = -3*s + 577, -5*h = s - 956. Is h a multiple of 29?
False
Is (-15)/10*2 + 15 a multiple of 4?
True
Let w(z) = z**3 - 5*z**2 - 6*z + 3. Let c be w(6). Suppose -3*a + 31 = 2*y, 6*y - c*y + a = 57. Is 10 a factor of y?
True
Let h be 22/4 + (-3)/6. Suppose -5*r + 110 = -h*z, 32 = -0*z - 2*z + 5*r. Let q = z - -44. Is q a multiple of 18?
True
Suppose n + 5*a - 55 = 51, 5*n = -2*a + 415. Suppose -n = -o + 55. Suppose 0 = -5*y + o + 164. Is 20 a factor of y?
True
Let q = -5 + 5. Let h(f) = f**2 - 8*f - 7. Let j be h(9). Suppose q*s = j*s - 18. Is 7 a factor of s?
False
Let p = 6 + -1. Suppose p*h + 12 = -k, -3*h - 9 = 2*k + 2*h. Is k a multiple of 3?
True
Does 26 divide (-11508)/(-56) + (-1)/(-2)?
False
Suppose -q = -5*n + 5, -3*n + 3*q + 16 = 1. Suppose -9 = 2*v - 5*v. Suppose n = -o + v - 0. Is 2 a factor of o?
False
Let o(r) = 3*r**3 - r**2 - r + 1. Let d be 5 - (3 - 2 - -2). Is 19 a factor of o(d)?
True
Let o(y) = -114*y**2 - 8. Let t(a) = -1. Let g(u) = -o(u) + 8*t(u). Let q be g(-1). Suppose -z = -4*z + q. Is 19 a factor of z?
True
Let z = -54 + 61. Is z a multiple of 4?
False
Is (-3924)/(-156) - 4/26 a multiple of 12?
False
Does 17 divide (-51)/(((-9)/(-12))/(-1))?
True
Let q(d) = 35*d**3 + d - 2. Does 17 divide q(1)?
True
Suppose -5*l + l - 120 = 0. Is (-3)/(3 + l/9) a multiple of 9?
True
Let m = 143 - 89. Does 27 divide m?
True
Is 11 - 0/(4 + -3) a multiple of 9?
False
Is (-3)/(-6)*87 - 3/6 a multiple of 16?
False
Suppose 56 = -4*n - 92. Does 12 divide (-3)/9 + n/(-3)?
True
Let n = 10 + -7. Let x be (-1 - -10) + (0 - n). Let h(s) = 3*s - 8. Is 4 a factor of h(x)?
False
Suppose -3 = -0*c - 3*c - 3*l, -3*l + 12 = 0. Let z(n) = -n**3 - 2*n - 3. Is z(c) a multiple of 19?
False
Is 46 + -4*(-1)/(-2) a multiple of 11?
True
Is 5 a factor of 32 - (0 + (-4)/(-2))?
True
Let b(q) = 27*q**2 - q + 1. Suppose -3*x - 2 = -5. Is 15 a factor of b(x)?
False
Let a be ((-1)/(-2))/(5/(-10)). Let p(y) = 3*y**2 + 1. Is p(a) a multiple of 3?
False
Suppose 4*o - 2*j + 4*j = 722, 0 = -2*o + j + 359. Is 18 a factor of o?
True
Let h(x) = -16*x - 2. Let i(m) = m**2 + 3*m - 5. Let k be i(-5). Let w = 3 - k. Does 10 divide h(w)?
True
Suppose f - 5 = -0. Suppose -f - 40 = -d. Is d a multiple of 18?
False
Suppose 376 + 59 = 5*v. Does 9 divide v?
False
Let d(v) be the third derivative of v**6/120 - v**5/20 - v**4/24 + v**3/2 - 2*v**2. Let g(b) = 3*b - 1. Let x be g(2). Does 21 divide d(x)?
False
Suppose 3*k - 2*k + 9 = 0. Let h(l) = l**3 + 8*l**2 - 13*l + 2. Does 19 divide h(k)?
True
Let w(r) = -2*r**2 - r - 1. Suppose 0*j + 3*j = -h - 8, -j = -4*h - 6. Let s be w(h). Let y(q) = -q**3 - 8*q**2 - 8*q + 8. Is 6 a factor of y(s)?
False
Let h = -2 - -7. Let l(m) = -m**2 + 8*m - 1. Does 7 divide l(h)?
True
Let c be (-1 + 11)*(-44)/(-10). Suppose -2*a - 188 = -3*b, b + 5*a - c = a. Is b a multiple of 20?
True
Let y(n) = 10*n - 5. Let x be 6*-1*(-2 + 3). Let i(k) = 5*k - 2. Let v(o) = x*y(o) + 13*i(o). Is v(4) a multiple of 8?
True
Suppose 4*h - 7 = -5*w, -2*h - h = w + 3. Is 4 a factor of (-5 + w)*(-5)/2?
False
Let u = 42 + -27. Is u a multiple of 14?
False
Let y = -20 + 84. Suppose 0*z - 4*z = -y. Is z a multiple of 15?
False
Let n = 52 + -24. Suppose -40 = -2*a + n. Is 16 a factor of a?
False
Suppose 4*u - 891 = -5*q + 7*u, -3*q = -5*u - 525. Is q a multiple of 12?
True
Suppose -6*n + 2*n = 0, 10 = 2*l - 2*n. Let w(p) be the third derivative of p**6/120 - p**5/10 + p**4/3 - p**3/2 + 3*p**2. Is 12 a factor of w(l)?
True
Suppose -4*i + 20 = 0, 3*s - 153 = 2*s + 4*i. Does 13 divide s?
False
Let r(z) = -z**2 - 9*z - 10. Let f be r(-7). Suppose 0 = -f*u - 5*p + 7, 5*p + 57 = 3*u + u. Is 5/1*(-4 + u) a multiple of 10?
True
Suppose -2*o + 27 = 3*a, -5*o - a = -2*a - 25. Is 8 a factor of (-707)/(-28) - o/(-8)?
False
Let l(s) = -3*s + 2. Let u be l(-2). Suppose 5*t - u = t. Does 5 divide -5*(5 - t)/(-3)?
True
Let k(q) = -14*q. Let w(b) = -b**3 - 5*b**2 - 4*b - 1. Suppose 4 = 2*n - 3*n. Let d be w(n). Does 6 divide k(d)?
False
Let x = -2 + 5. Suppose 5*r + 52 = x*s, 5*r + 5 = 2*s - 23. Does 12 divide s?
True
Let s(b) = -7*b + 6. Does 14 divide s(-16)?
False
Let i(v) = 3*v - 7. Is 4 a factor of i(8)?
False
Let f = -44 - -8. Suppose 3*c + 5*k = 211, 0 = 3*c + c + 3*k - 263. Let y = f + c. Does 13 divide y?
True
Suppose -2*s + 3*d + 37 + 23 = 0, -s + 36 = -3*d. Suppose 6*f = 2*f - s. Is (-24)/4*4/f a multiple of 4?
True
Suppose -5*x + 2*f = 0, -2 = -f + 3. Is 5 a factor of (2 + (-21)/x)*-2?
False
Suppose 5*m - 10 = m - 2*o, -5*m = 5*o. Suppose 0*f = 5*p + 3*f - 16, -m*f = 15. Is 18/p + 6/15 even?
True
Suppose -5*n = -4*r - 535, 55 = 2*n - r - 156. Suppose -5*l = 4*j - n, 4*j + 3*l = 8*j - 111. Let d = j - 7. Is d a multiple of 10?
True
Suppose -w - 15 = -h, -4*w = -h - 4*h + 80. Let g = h + -5. Suppose -4*t = g - 51. Is t a multiple of 5?
False
Let j be (-2)/3*(10 - 4). Is j*2/4*-16 a multiple of 8?
True
Let w(s) = -s**3 + 3*s**2 + 12*s + 4. Is 9 a factor of w(-5)?
True
Is 280/5 + 0 + 1 a multiple of 19?
True
Let k(d) = 12*d + 2. Let q be k(2). Let j = -11 + q. Does 8 divide j?
False
Let u be (-3)/2*(-3 - -1). Suppose -2*o = u*f - 14, o + 3*o = -5*f + 26. Let z(g) = 5*g - 6. Is 13 a factor of z(o)?
False
Suppose 19 = 5*i - x, -x = -2*i - 0*x + 10. Suppose 14 + 7 = i*n. Let y = n - -17. Is y a multiple of 10?
False
Let b(p) = -p**3 - 10*p**2 - 8*p - 5. Let r be b(-9). Does 6 divide (-4)/(-14) - 80/r?
True
Suppose 4*p - 6*p = 0. Suppose 2*j - 4*s = p, 5*j = s + s + 32. Does 4 divide j?
True
Let p(f) be the second derivative of f**5/10 - f**4/3 + f**3/2 + f**2/2 - 2*f. Does 28 divide p(3)?
True
Suppose 0*l + 54 = 3*l. Suppose -1 = j - l. Does 13 divide j?
False
Suppose 4 = -5*u + 9. Let g(a) = -2*a**2 + 8. Let b(z) = -z**2 - z + 1. Let x(v) = u*b(v) - g(v). Is 12 a factor of x(-6)?
False
Let d = 234 - 127. Does 14 divide d?
False
Let j(g) be the first derivative of 10*g**3/3 - g - 3. Let h be j(-1). Does 4 divide 14/3 + (-6)/h?
True
Suppose -l - 4*j + 167 = 0, l = 3*j - 2*j + 177. Is 35 a factor of l?
True
Let y(o) = 2*o - 6. Let l(f) = f + 1. Let u be l(-7). Let g be y(u). Let t = -2 - g. Is t a multiple of 8?
True
Let r = 7 + -3. Suppose -2*b = -0*b - r. Suppose 5*x - 2*t - 12 = 0, 3*x + b - 7 = -t. Is x even?
True
Suppose 29 = y + 5*j, y + 4 - 24 = -2*j. Is y a multiple of 9?
False
Suppose 0 = 3*t + 40 - 274. Let r = t + -41. Is 10 a factor of r?
False
Suppose 5*k - 260 = -4*x - 0*k, 0 = 5*k. Is 13 a factor of x?
True
Let h(y) = y**3 + y**2 - y - 7. Let g be h(0). Let x(n) = -n**3 + 7*n**2 - 7*n + 9. Let d be x(6). Let k = d - g. Is 5 a factor of k?
True
Let q(j) = -3*j**3 + 4*j**2 - 5*j + 3. Let d be q(-4). Suppose 4*b - d = -3*z, b + 2*z = 3*z + 61. Is b a multiple of 22?
True
Let f(s) = 2*s**2 + 2*s + 2. Is 16 a factor of f(-6)?
False
Let x(o) be the second derivative of 1/12*o**4 - 1/20*o**5 + 0 - o + o**2 + 1/3*o**3. Does 5 divide x(-2)?
True
Let r be 12/8 