 2*d**2 - 12*d - 11. Let h(v) = -2*m(v) + 5*x(v). Is h(j) a multiple of 15?
False
Suppose 20 = -6*u + 10*u. Is 5 a factor of u?
True
Let p(f) = 8*f. Let t be (2/8)/(3/12). Suppose y - t = -5*r - 3*y, -2*y = 5*r - 3. Is p(r) a multiple of 3?
False
Let z(l) = l**2 + 10*l + 11. Is z(-11) a multiple of 9?
False
Suppose -r + 12*r = 473. Is r a multiple of 9?
False
Suppose -12 = -2*c - h, h = 3*h - 8. Let r(s) = s**2 + 1. Is 6 a factor of r(c)?
False
Let t(z) = -z**3 + 6*z**2 + z - 4. Let v be t(6). Suppose -i + 7 = v*w, -w - 6 = -3*i + 1. Suppose -108 = -4*m - w*j, -2*m + 102 = 2*m - j. Is 13 a factor of m?
True
Suppose 3*f - 36 = -24. Does 4 divide f?
True
Let v = -6 + 11. Let b be ((-9)/(-2))/(9/12). Let r = v + b. Is r a multiple of 11?
True
Suppose 3*z = -i - 0*i + 863, 25 = 5*i. Is 22 a factor of z?
True
Does 19 divide -114*(2 + (-20)/8)?
True
Let h(m) = 33*m**2 - m. Suppose -r + 0*p + 2*p - 1 = 0, 3 = -3*r + p. Is 17 a factor of h(r)?
True
Let z(y) = 2*y**3 - 3*y**2 + 5*y - 16. Is 14 a factor of z(4)?
True
Let v(y) = -y + 10. Is v(-13) a multiple of 16?
False
Let m(p) = -3*p + 2. Let t be m(-5). Suppose 4*l = -t - 7. Let c(d) = d**3 + 6*d**2 - 2*d - 8. Is 4 a factor of c(l)?
True
Let l be 45/4 - (-4)/(-16). Let o(j) = -5*j**2 - 10*j - 1. Let v(k) = -9*k**2 - 21*k - 1. Let r(f) = 11*o(f) - 6*v(f). Does 14 divide r(l)?
False
Suppose c + 4*c = 640. Suppose 0 = 5*y - 2*l - 127, 3*y + 2*y - 3*l = c. Does 25 divide y?
True
Is 544/20 - (-3)/(-15) a multiple of 11?
False
Let o be 15/2*(-8)/(-12). Let y = 10 - o. Suppose 5*d - 49 = -n - 13, -y*n = -d + 28. Is d a multiple of 3?
False
Let x(g) = 3 - 6*g + 7*g**2 - 3*g**2 + 2*g. Is 17 a factor of x(4)?
True
Suppose 0 = 7*h - 4*h - 54. Does 6 divide h?
True
Let c(b) = -9*b - 10. Does 5 divide c(-4)?
False
Does 4 divide 22 + (-2 - (0 + 0))?
True
Let o = -43 + 59. Is o a multiple of 7?
False
Suppose 0 = 5*r - 4*f + 5, r - 20 + 5 = 4*f. Let s(p) = -p**3 - 2*p**2 + 6*p + 5. Is s(r) a multiple of 10?
True
Does 3 divide 2100/125 + (-2)/(-10)?
False
Let f be 4/(-12) + (-7)/(-3). Let y = f - -21. Does 11 divide y?
False
Let k = -4 - -4. Suppose 3*m + 5*h - 15 = k, 5*m = -h - 0*h + 3. Suppose -5*c + m*c = -35. Does 4 divide c?
False
Let m be (-1)/(-2)*(-1 - -1). Is 2 + -5 + 9 + m a multiple of 3?
True
Suppose l = 2*l - 51. Is l a multiple of 17?
True
Is 5/(4/40*5) a multiple of 10?
True
Suppose 20 = -c + 6*c. Let v be 2/1*c/4. Is 12 a factor of ((-4)/(-6))/(v/36)?
True
Let c = -408 + 636. Does 38 divide c?
True
Suppose 3*k - 5*k = -280. Is k a multiple of 20?
True
Let s be ((-98)/(-6))/(4/(-12)). Let q(z) = -21*z + 4. Let h be q(5). Let p = s - h. Is p a multiple of 21?
False
Let a = 19 - -29. Is a a multiple of 24?
True
Let x = -11 - -24. Let k = x + -3. Let c = k - 2. Does 8 divide c?
True
Let r(s) = -2*s**3 + 0*s**2 - s**2 + s**3 + 10*s**3. Let h be 1 + -1 - 1/(-1). Is r(h) a multiple of 8?
True
Let g be -20 + (2 - -4 - 4). Is (2 + g)/(2/(-4)) a multiple of 16?
True
Does 10 divide ((-2)/(-4))/(2/160)?
True
Suppose 3*i + 27 - 141 = 0. Does 19 divide i?
True
Let r(a) = -a**3 + 12*a**2 - 9*a - 22. Is 14 a factor of r(9)?
True
Let n = 138 + -78. Is n a multiple of 20?
True
Let d be ((-5 - -1) + -4)*-1. Suppose 76 = 7*y - d. Does 6 divide y?
True
Suppose 4*f - 102 - 146 = 0. Suppose 0 = -u - 5*j + f, 147 + 13 = 4*u - 2*j. Is u a multiple of 14?
True
Let y be (70/(-25))/(1/(-10)). Let v be 8/y - 24/(-14). Suppose 4*p = -3*d + 124, -4*d + v*d + 8 = 0. Does 11 divide p?
False
Let f be -6*1*1*1. Let j be (0 + -10)*(-3)/f. Is 5 a factor of (-2)/(-2 + j/(-3))?
False
Let i(o) = -5 + 4*o**3 - o**3 + 10*o**2 - 2*o - 2*o**3 - 6*o**2. Is i(-4) a multiple of 3?
True
Let j(v) = -3*v + 2*v + v**2 + 2*v**2. Let s be j(-1). Suppose -5*i - 15 = -s*o + 139, o + 4*i = 28. Does 18 divide o?
True
Let d = -25 - -33. Is d a multiple of 6?
False
Does 58 divide 18/(-15)*(9 + -139)?
False
Suppose 0 = -27*u + 33*u - 858. Is u a multiple of 26?
False
Suppose k - 11 = -0*k. Let f = 14 - k. Is 2 a factor of f?
False
Suppose -2*r - 3*r = -625. Is r a multiple of 25?
True
Suppose 0*r - 12 = -4*r. Suppose -4*j - 15 = j, 4*z + r*j = 199. Is 18 a factor of z?
False
Suppose -9 - 41 = -2*d. Is 21 a factor of d?
False
Let a(z) = 2*z**2 - 38*z + 47. Is 11 a factor of a(23)?
True
Suppose -b = b + 92. Let h = b + 80. Does 11 divide h?
False
Let s = 18 - -130. Does 17 divide (-4)/(-10) - s/(-5)?
False
Let d(v) be the third derivative of -v**4/24 + 5*v**3/3 + v**2. Let f be 2/(2/(-1))*0. Does 10 divide d(f)?
True
Suppose -w + 2*w - 3 = 0. Suppose w*g + 12 = -g. Is 13 a factor of ((-3)/(-6))/(g/(-156))?
True
Let n(t) = -t**2 + 7*t + 4. Suppose -60 = 3*r + 3*j, -3*j + 6*j = -15. Let d = r + 21. Is n(d) a multiple of 7?
False
Let p = 19 + 98. Does 13 divide p?
True
Does 17 divide 38/95*(-3110)/(-4)?
False
Does 16 divide (256/(-12))/((-1)/3)?
True
Let r = 20 - 13. Let k = r - 10. Is 13 a factor of (0 + 2/k)*-33?
False
Suppose 0 = -0*g + 4*g - 56. Is g a multiple of 7?
True
Let i(z) be the first derivative of z**3/3 + 3*z**2/2 + 3*z - 8. Let p be (-1)/(-2)*-1*6. Is 2 a factor of i(p)?
False
Suppose b + 5*u = -9, -3*b = -u + 4*u + 15. Let c be (20/(-8))/((-2)/b). Let f(o) = -o**3 - 3*o**2 + 6*o + 1. Is 12 a factor of f(c)?
False
Let p(d) = 9*d**3 - d**2 + 2*d - 1. Let u be -2*(5/(-2))/5. Is p(u) a multiple of 4?
False
Suppose 5*q - 71 = -a, 0 = -3*a - 0*q + q + 181. Suppose 3 = 4*l - a. Is 6 a factor of l?
False
Let w(b) be the second derivative of -b**3/6 + 12*b**2 + b. Suppose -3*g = -0*g. Is w(g) a multiple of 10?
False
Suppose 3*d = 2*d + 11. Is d a multiple of 4?
False
Let f = 2 - 1. Suppose -4*z + f + 75 = -4*q, 2*z + q = 44. Is z a multiple of 21?
True
Suppose -5*o + 4*q - 32 = 0, 4*o + 0*o + 4*q + 4 = 0. Let f(x) = x**2 - x. Let i(s) = -6*s**2 - s + 4. Let t(u) = 5*f(u) + i(u). Is t(o) a multiple of 5?
False
Let u(q) = -1. Let p(y) = y**3 + 6*y**2 - 4. Suppose -4*h + 3*d = 1, 4*d = 5*h - 3*h + 8. Let s(k) = h*u(k) + p(k). Is 16 a factor of s(-5)?
False
Let j(t) = t**2 + 6*t + 7. Let m be j(-5). Suppose 1 = m*r - 3, -4*h + 14 = -r. Suppose 0 = a - h. Is a a multiple of 4?
True
Let g be 112/49 + (-2)/7. Let o = 9 + -5. Suppose 3*t + g*m = o*m + 14, -5*t = 2*m - 34. Is t a multiple of 5?
False
Suppose 3*a - 156 = -2*x, -5*x - a = a - 401. Does 27 divide x?
True
Let q = -1 - -4. Suppose -2*r = 2*r, -4*n - q*r = -76. Suppose x = 1 + n. Does 10 divide x?
True
Let u(b) = -272*b**3 + 2*b**2 + 3*b + 1. Does 8 divide u(-1)?
True
Suppose 2*m - 5 + 17 = 0. Let x be (-1)/(-2 + (-10)/m). Suppose x*q - 213 = -0*q. Is q a multiple of 25?
False
Let o = 341 + -202. Let b = -82 + o. Does 19 divide b?
True
Let v(w) = -w + 10. Let r be v(8). Suppose 16 = 4*t - 4*a, -4*t + 28 = t + 3*a. Let k = t + r. Is k a multiple of 4?
False
Suppose 3*i - 2*c + 5 - 4 = 0, c = i + 2. Let o(q) = -8*q + 2*q + 10*q - 3. Is 3 a factor of o(i)?
True
Suppose -1 = -2*s - 9, 0 = 3*h + 2*s - 64. Is 3 a factor of h?
True
Let a(s) = -4*s**2 + 0*s**2 + 0*s**3 - 5 + s**3. Let v(f) = 4*f - 3. Let p be v(2). Is a(p) a multiple of 10?
True
Let k(c) = -3 - 3 + 4 + 7 - c. Is 6 a factor of k(-9)?
False
Suppose 45 = v + 13. Is v a multiple of 6?
False
Is 6 a factor of ((-9)/(-6))/((-6)/(-388))?
False
Let m = 285 + -62. Is m a multiple of 50?
False
Is 0 + (-3 - -2) - 21*-1 a multiple of 10?
True
Suppose -3*v - 115 - 491 = 0. Is 1/(-5) - v/10 a multiple of 11?
False
Let p = 87 + -54. Is 8 a factor of p?
False
Let x(v) = -3*v + 3*v + 1 + 10*v**2. Suppose 1 = -5*g + 2*t - 2, -4*g = -t. Is x(g) a multiple of 11?
True
Is 1/((-1)/(-87)) - (10 + -10) a multiple of 11?
False
Let f(v) = 0*v**2 + 11*v + 2*v**2 - 3 + 0*v**2 - 6*v. Is f(-6) a multiple of 13?
True
Suppose -r - 2*r + o = -291, -o + 477 = 5*r. Is 32 a factor of r?
True
Let k(t) = t**2 + 3*t - 3. Let z be (2 - -1)/6*-10. Let v be k(z). Let l = 17 - v. Is 5 a factor of l?
True
Let d be (-4)/6 - 1221/(-9). Suppose 2*o - 7*o + d = 0. Is o a multiple of 7?
False
Let y = 517 + -331. Does 31 divide y?
True
Let p be (-2 + -1)/(3/3). Let t = -4 - p. Is 10 a factor of ((-80)/(-12))/(t/(-3))?
True
Let v(x) = -x**2 + 8*x + 2. Let c be v(8). Does 15 divide (0 - c)*(-36)/1?
False
Let j = 9 + -5. Let h = j - -11. Is 5 a factor of h?
True
Let q = 101 + -59. Is 14 a fact