 + (d - -2 - 0)?
True
Let w(m) = -m + 1. Let n(p) = 2*p**2 - 8*p. Let f(s) = n(s) - 2*w(s). Does 33 divide f(-5)?
False
Suppose 0 = 3*p + 378 + 90. Is (p/(-20))/(1/5) a multiple of 19?
False
Suppose 5*h = 5*t - 5, -3*h - 2*h - 4*t = -31. Is 126/5 - h/15 a multiple of 8?
False
Let z = -1 + 3. Suppose 2*b = z*p + 10 + 20, -2*b - 5*p + 51 = 0. Does 7 divide b?
False
Suppose 365 = 2*x + 59. Is x a multiple of 18?
False
Let i(p) = -p + 1. Let r be i(0). Let g(c) = 7*c**2 - 1. Let q be g(r). Let j(a) = 2*a - 7. Is j(q) a multiple of 4?
False
Let s(y) = -3*y - 10. Let z be s(-5). Suppose -9*o + z*o + 184 = 0. Is o a multiple of 21?
False
Suppose 0 = -u + 3 - 0. Does 11 divide 21 - u/(9/3)?
False
Suppose z = 5*z - 16. Suppose 4*d = 5*f - 234, z*f - 5*d = -3*d + 186. Does 7 divide f?
False
Let x = 66 + -47. Suppose 4*q - 2*l = -5*l + 39, 0 = 4*q - l - x. Is q even?
True
Suppose -6 + 22 = 4*h. Does 2 divide 10*(-3 - (-14)/h)?
False
Let i be (33/22)/(3/4). Suppose 0 = -n - 3*r - i, 4*n + r - 62 = 3*r. Is n a multiple of 4?
False
Let l be (21/2)/((-2)/(-4)). Suppose -5*a = l - 1. Is a/(-6)*84/8 a multiple of 4?
False
Let f(h) = h**2 + 4*h - 8. Let n(m) = -m**2 + 3*m + 4. Let l be n(5). Is 4 a factor of f(l)?
True
Let r(k) be the third derivative of 1/10*k**5 + 1/12*k**4 + 0*k - 1/3*k**3 - 2*k**2 + 0. Is r(-3) a multiple of 19?
False
Let a(b) = 20*b - 9. Does 13 divide a(4)?
False
Suppose -1 - 3 = 3*c + m, 4*c - 3*m + 1 = 0. Is (-2 + (c - -2))*-6 a multiple of 4?
False
Let j(v) = -3*v**3 - 2*v**2 + 3*v**3 - 5*v - v**3 + 0*v + 5. Let w(p) = p**3 + p**2 + 6*p - 5. Let a(s) = 3*j(s) + 2*w(s). Does 14 divide a(-4)?
False
Suppose x - 4*m - 21 = -m, -4*x + 4*m = -76. Does 18 divide x?
True
Let h(a) = -3*a**3 + 2*a**2 + 2*a. Is 7 a factor of h(-2)?
True
Let w(m) = 0 - 41*m + 4 - 3 - 3. Does 17 divide w(-1)?
False
Suppose -2*p + 0*x - 24 = 2*x, -2*p - 24 = -2*x. Let a = p + 26. Does 14 divide a?
True
Suppose -2*k + 3*a = -6*k + 47, 2*k - 36 = -4*a. Is 4 a factor of k?
True
Suppose 40 = -3*u + t, u + 4*t + 32 = -3*u. Let q be (-204)/10 + (-6)/(-15). Let a = u - q. Is 4 a factor of a?
True
Let w = -18 - 8. Let v = 5 + -11. Let u = v - w. Is 10 a factor of u?
True
Suppose -8*i - 15 = -3*i. Is 9 + (i - 0/2) even?
True
Let u be 3/(-3) + 3 + 0. Suppose 39 = u*d - 5*d. Let l = 26 - d. Is l a multiple of 12?
False
Suppose r + 2*t - 7*t = 60, 2*r - 4*t = 114. Suppose -r = -5*g - 20. Is g a multiple of 6?
False
Let w(b) = 59*b**2 + b. Let j be w(1). Suppose 2*s = -5*l - 0*s + 90, 4*s + j = 2*l. Suppose 2*y + 48 = 6*y - 4*i, -l = -4*i. Is 7 a factor of y?
False
Let f(l) = l**2 - 6*l - 1. Let c be f(-4). Let s = -17 + c. Is s a multiple of 11?
True
Let p(o) = -5*o. Let m be p(-2). Let k be ((-2)/3)/(2/(-18)). Does 7 divide (8/k)/(m/105)?
True
Let b(w) = w**3 + 11*w**2 + 22*w - 2. Is b(-8) a multiple of 13?
False
Suppose 23*f - 19*f = -12. Is 3 a factor of 6 + 2 + (-2 - f)?
True
Let q = -10 + 110. Suppose 3*k - q = 74. Is 20 a factor of k?
False
Let f = -6 + 2. Let d = f - -50. Is d a multiple of 18?
False
Let h(r) = 15*r - 42. Is h(13) a multiple of 9?
True
Is (-47)/(-5) - ((-12)/20 - -1) a multiple of 8?
False
Suppose 0 = -4*i + 3*y + 223, 4*y = 3*y - 5. Is 13 a factor of i?
True
Let y = 57 + -33. Does 10 divide y?
False
Let p be (-60)/18*6/(-4). Suppose 2*l + 0*l - 47 = -p*s, 0 = -5*s - 5. Is 13 a factor of l?
True
Is ((-2)/3)/(16/(-120)) a multiple of 4?
False
Let m(k) = 14*k - 5. Let s be m(-5). Let q = -13 - s. Is q a multiple of 13?
False
Let o = 92 - -13. Is 17 a factor of o?
False
Let j(m) = m**3 + 5*m**2 - 2*m + 3. Let a be j(-4). Let s = a - -45. Is s a multiple of 24?
True
Let s(v) = v**3 - v**2 - v - 2. Suppose 3*p + 1 = 2*p, 4*p + 13 = 3*u. Suppose -4*j + 4 = -u*j. Is 26 a factor of s(j)?
False
Let d be 21/(-15) + 4/10. Let i be -1 + d + -1 + 36. Suppose 3*n = -0*n + i. Is 6 a factor of n?
False
Let v(m) = -m**2 + 7*m + 2. Let p be v(7). Suppose -5*l + h + 122 = 0, p*h - 84 = -3*l - h. Is l a multiple of 25?
True
Let y be (12/(-16))/(3/(-8)). Suppose 6*r - 88 = y*r. Does 5 divide r?
False
Let i = 53 + -54. Let d(m) = m**2 - m - 1. Let t(a) = -24*a**2 - 3*a - 3. Let r(u) = 3*d(u) - t(u). Does 9 divide r(i)?
True
Suppose 5*p - p = 184. Is p a multiple of 11?
False
Let i = 3 + -2. Let o(l) = 32*l**3 - l**2 + 2*l - 1. Let j be o(i). Suppose -3*b + b + j = 0. Is b a multiple of 16?
True
Let c be (22/6)/(14/(-84)). Let s = -5 - c. Is 5 a factor of s?
False
Suppose -8 = 2*h - 4*f, -6*f + 2*f = 0. Let b(p) = -p**3 - 4*p**2 - 2*p + 2. Let k be b(h). Suppose o - 5*o + k = v, 3*o + 75 = 3*v. Is 11 a factor of v?
True
Let x be (10/(-4))/((-2)/4). Let s be (1 - (-11)/(-1))*-2. Suppose x*r - 35 = s. Does 10 divide r?
False
Let u(p) = -3*p - 10. Let z be u(-3). Is 3 a factor of 17 - 8 - 0/z?
True
Let n(l) = -l**3 + 16*l**2 - 12*l + 11. Let m(r) = 4*r**2 + r + 1. Let h be m(-2). Is n(h) a multiple of 28?
True
Suppose -a - 5*g - 60 = 0, 2*a + 4*g + 97 - 7 = 0. Let x = -14 - a. Let t = x + -10. Does 6 divide t?
False
Let d = 74 + -16. Does 27 divide d?
False
Let t = 4 + -1. Suppose -5*j - 20 = 0, 3*j = t*k + 4*j - 116. Is 11 a factor of k?
False
Let k = 35 - -1. Is 18 a factor of k?
True
Suppose -n - 2*n + 6 = 0, 5*n - 122 = -4*r. Is 28 a factor of r?
True
Suppose -7*k + 1177 = 302. Does 35 divide k?
False
Suppose -2*n - 2 = 2*x - 18, 4*x = -2*n + 22. Suppose n*s = 3*t + 270, -4*t + 7*t = -2*s + 108. Does 13 divide s?
False
Let b be (-3)/(-1 + 10/4). Does 23 divide 23*(b + (-1 - -4))?
True
Let o = -119 - -312. Suppose -3*d + t = -o, 2*d - 5*t = 4*d - 123. Is 16 a factor of d?
True
Suppose 5*f = 2*f + 6. Suppose 4*s + 2*i - 96 = -f*i, 2*s - 60 = 4*i. Does 13 divide s?
True
Let a(n) = -n**3 + 11*n**2 + 2*n**3 - 6*n - 4*n - 3*n**2 - 1. Let b be a(-9). Let s = 4 + b. Is s a multiple of 12?
True
Suppose -210*x = -211*x + 89. Is x a multiple of 10?
False
Let g = -5 - -7. Let j be -2 - g/(-2) - -12. Suppose -3*b = -25 - j. Does 6 divide b?
True
Suppose m + 4*c - 4 = 0, 3*c - 6*c + 6 = 0. Let y be 2*2/(-8)*m. Suppose y*d - 97 = -4*l - 3*d, 99 = 3*l - 5*d. Is 17 a factor of l?
False
Suppose -4*h - v - 65 = 4*v, 5*v - 55 = 2*h. Let i be ((-6 - 0) + 1)/(-1). Does 4 divide (0 - h)*2/i?
True
Let o = -22 - -40. Let w(t) = -2*t**2 + t - 2. Let h be w(2). Let d = o + h. Is 4 a factor of d?
False
Let f = -25 + 46. Is 21 a factor of f?
True
Let k(a) = -a - 4. Let v be k(-5). Suppose 0 = 5*x + 9 + v. Is -2 - -1 - 58/x a multiple of 10?
False
Let w(s) = -7*s**3 + 2*s**2 - s - 1. Let h be w(-3). Let f = h + -122. Suppose -3*d - v + f = 0, -d + 24 + 5 = 2*v. Is 11 a factor of d?
False
Let t(j) = 9*j - 58. Is t(25) a multiple of 9?
False
Let q be 4/5*5/2. Suppose q*j - r - 11 = -2, -5*j + 4*r + 24 = 0. Does 4 divide j?
True
Let j(q) = -q + 6. Suppose -5*w + 1 + 21 = -z, 0 = 4*w - 4*z - 24. Let p be j(w). Suppose p*o - o - 20 = 0. Is o a multiple of 13?
False
Let u(c) = -c**2 + 2*c - 9*c - 8 - 6*c. Is 4 a factor of u(-11)?
False
Let v(t) be the first derivative of -t**4/4 - 8*t**3/3 - 5*t**2 - 7*t - 4. Does 7 divide v(-7)?
True
Let a = -277 - -407. Is a a multiple of 22?
False
Suppose -3*k + 6 = -0*k. Is ((-8)/5)/(k/(-30)) a multiple of 12?
True
Let f = -18 - -27. Let r = -4 + 3. Let a = r + f. Is a a multiple of 8?
True
Let u = 190 - -73. Suppose 3*v + 80 = 2*j - 16, 5*j + 4*v - u = 0. Is j a multiple of 18?
False
Let v be 1*9 - 6/6. Does 4 divide v + (-2 - (-3)/1)?
False
Let b(q) = 7*q**2 + q + 3*q**2 + 2 + q**2 + q. Does 21 divide b(-2)?
True
Let h be ((-3)/2)/(9/(-24)). Suppose -h - 8 = -4*m. Does 5 divide 2 + -3 + m - -3?
True
Let x(u) = 3*u - 17. Let j be x(8). Let p = j + 1. Is p a multiple of 8?
True
Let u be 11/((2 + -5)/(-3)). Let v be (u + (2 - 4))*2. Let a = v + -9. Is 9 a factor of a?
True
Is ((-12)/8 - -2)/((-1)/(-204)) a multiple of 20?
False
Suppose -4*c = -2*c. Suppose -3*i - 2*h + 13 = c, -h - 13 - 13 = -5*i. Is i a multiple of 5?
True
Suppose 0*h - 3*h - a - 4 = 0, 0 = 4*h - 3*a + 14. Is h/2 + (-64)/(-4) a multiple of 15?
True
Let l(z) = z**2 + z. Let m(k) = 2*k + 5. Let f be m(-4). Is 6 a factor of l(f)?
True
Suppose 5 = 3*y - 10. Suppose x = -y*u + 70, u = -x + 2*u + 64. Does 23 divide x?
False
Let y = -340 - -865. Suppose -y = -5*r - 0*r. Is 31 a factor of r?
False
Let s = 184 