 derivative of -o**5/20 - 5*o**4/12 - 3*o**3/2 - 9*o**2/2 + 5*o. Is 27 a factor of w(-6)?
True
Let z(c) = -2*c + 26. Is 39 a factor of z(-10)?
False
Suppose 3*q - 68 = 4*q. Let u = q - -43. Is (-169)/(-5) - 5/u a multiple of 15?
False
Suppose -g + a + 13 = -18, -2*a + 43 = g. Is g a multiple of 35?
True
Let t be 26/4*1*2. Let h = 27 + t. Suppose 0 = -3*x + 3*s + 41 + h, 4*x - 5*s = 110. Is 9 a factor of x?
False
Suppose 4*l = -2 - 2. Let o be l/(-2) + (-10)/(-4). Is 17 a factor of (1 - -47) + o*1?
True
Let u be 20/3 - (-4)/(-6). Suppose -5*m + u*m = 54. Is m a multiple of 17?
False
Let w(o) = o - 1. Let i(t) = t**3 - 7*t**2 + t - 11. Let h(g) = -i(g) + 4*w(g). Let s = 4 - -3. Is h(s) a multiple of 15?
False
Let t = 1 - -7. Let s = t + 1. Is s even?
False
Let v be (-2)/4 + (-43)/(-2). Let m = v - 13. Is m a multiple of 5?
False
Suppose 3*u + 15 = 0, -z - 32 = -3*u + 8*u. Let j = z - -35. Is j a multiple of 14?
True
Let g(q) = -20*q + 3. Does 25 divide g(-3)?
False
Let b(q) = -2*q**2 - 2*q**3 + q - q**2 + 3*q**3 + 4*q**2 + 3. Let k be b(0). Suppose u + 30 = 5*f, f = 3*f + k*u + 5. Does 2 divide f?
False
Let x(z) = -12*z. Is 4 a factor of x(-1)?
True
Let l = 96 - 48. Is l a multiple of 24?
True
Let u(h) = h**2 + h + 34. Let k be u(0). Suppose 0 = 5*c - 10*c - 55. Let z = k - c. Is z a multiple of 15?
True
Let i(r) = -2*r. Let n be i(-1). Suppose -h = -n*h + 20. Does 10 divide h?
True
Does 14 divide 1908/30 + (-2)/(-5)?
False
Let c(j) = j - j + 9*j + 4. Is c(6) a multiple of 21?
False
Suppose -2*i = -i. Suppose 2*j - 20 = -i*j. Is j a multiple of 10?
True
Let h(f) = -2*f - 8. Let k(t) = t + 7. Let l(b) = 3*h(b) + 2*k(b). Does 19 divide l(-8)?
False
Let l(p) = -6*p**3 - p**2 - 2. Let j be l(-2). Suppose 0 = 3*f - 45 - j. Suppose 5*u - h = 44, 3*h - f = -3*u + h. Does 9 divide u?
True
Let q(b) = b**3 - 7*b**2 + 9*b - 13. Let s be q(6). Suppose 0 = -5*l + m + 98, 2*l = -2*m + s + 27. Is l a multiple of 16?
False
Suppose 0 = 2*g + 5*h - 4, 2*g + 2*h - 3*h - 4 = 0. Suppose -g*l = -l. Is 7 a factor of (-1 - l)*(-17 - 0)?
False
Let z(g) = 10*g - 16. Does 4 divide z(5)?
False
Let v = 15 - 15. Suppose 3*o + 9 - 45 = v. Is o a multiple of 6?
True
Suppose 4*i = 8*i - 532. Is i a multiple of 30?
False
Suppose -335 = -6*j + 73. Is 17 a factor of j?
True
Suppose -w = 3*w + 28. Let o = w + 46. Does 13 divide o?
True
Suppose 0 - 4 = -m. Suppose 4*s + 1 = 17. Suppose -j + m*j - 187 = -5*t, s*t + j = 144. Is t a multiple of 13?
False
Let t be 3/2*4/2. Is (-4)/(-3)*t*4 a multiple of 7?
False
Let i(n) = n + 20. Let k be i(-10). Is ((-18)/k)/(3/(-10)) a multiple of 4?
False
Let f = 31 + -21. Does 5 divide f?
True
Let w = -83 + 125. Does 3 divide w?
True
Let l(v) = v**3 - 2*v - 1. Let o be l(2). Let g(d) = -d**3 + d. Let j be g(-1). Suppose o*x + 2 - 80 = j. Is 17 a factor of x?
False
Let r be (-1)/(-1) + 0 + 0. Let p(n) = -4 - 19*n + r + 0*n - 2*n. Is 17 a factor of p(-3)?
False
Suppose -2*d + 2475 = -5*d. Is (2/5)/((-15)/d) a multiple of 15?
False
Let f = 4 - 1. Suppose -24 - 15 = -f*r. Is r a multiple of 6?
False
Let l = -21 + 29. Suppose -70 = -l*j + 3*j. Is j a multiple of 4?
False
Let y(h) = -6*h**2 + 1. Let s be y(-1). Let q = -3 - s. Let r(j) = 3*j**3 - 2*j + 2. Does 16 divide r(q)?
False
Let l(d) = -5*d**2 - 3*d + 2. Let s be l(-4). Is 10 a factor of (-7)/(14/s) + 1?
False
Suppose -s - 2*s - 15 = -4*a, -5*s = 25. Suppose 0*w - 2*w + 72 = a. Does 13 divide w?
False
Let b(m) = 1. Let z(h) = -8*h + 7. Let y(f) = -21*b(f) + 3*z(f). Is y(-1) a multiple of 6?
True
Let f(h) be the first derivative of -5*h**2/2 + h + 3. Let m(b) = 36*b - 6. Let z(l) = -44*f(l) - 6*m(l). Is z(9) a multiple of 14?
True
Let w(a) be the second derivative of a**5/60 - a**4/24 + 2*a**3/3 - a**2/2 - 2*a. Let n(y) be the first derivative of w(y). Is n(4) a multiple of 7?
False
Suppose a - 2 + 0 = 0. Suppose a*o = -3*q + 28, -3*q + o + 30 = 4*o. Is q a multiple of 4?
True
Does 12 divide (3*(-5 + 0))/((-204)/680)?
False
Let x(j) = -j**2 + 4*j + 3. Let v be x(4). Suppose 5*s - v*t - 98 = 0, s - 5*t - 4 = 20. Let f = s - 11. Is f a multiple of 8?
True
Let v be 32*(3/2)/(-3). Suppose 2*g - 9 + 1 = 0, 3*g - 14 = -z. Let a = z - v. Is 17 a factor of a?
False
Suppose 5*k - 23 = 32. Suppose -n = 3*n - 44. Let y = n + k. Is 11 a factor of y?
True
Suppose 56 = 3*w + 2*n - 43, 132 = 4*w - 4*n. Is 33 a factor of w?
True
Suppose -c = 4*y + 10, -2*y + y - 12 = 5*c. Let g(l) = -11*l - 3. Does 6 divide g(c)?
False
Let m = 1 + 2. Suppose m*v = -0*v + 189. Is 14 a factor of v/(-12)*(-16)/6?
True
Let u = -9 + 10. Let a(i) be the third derivative of 5*i**5/12 + i**3/6 - i**2. Is 13 a factor of a(u)?
True
Does 11 divide ((-22)/(-1))/(-1 + 3)?
True
Suppose -r + 3*r + 3*t - 4 = 0, -5*r + 3*t = -10. Let k = -1 + 1. Suppose -r*d = -4*a + 50, k = 4*d + 11 + 9. Is a a multiple of 4?
False
Let z = 4 - 1. Suppose 9*n = 4*n + 2*q + 174, -z*n = -2*q - 106. Is 17 a factor of n?
True
Suppose -l + 63 = -h + 3*l, 0 = 3*h + 4*l + 125. Is 13 a factor of 4 - h*(2 + -1)?
False
Let x(q) = -q**3 - 11*q**2 + 10*q - 17. Is x(-12) a multiple of 7?
True
Let z = 15 + 49. Is 8 a factor of z?
True
Let c be ((-6)/(-10))/(1/5). Suppose 0 = 5*l - c*r - 307, r - 4*r - 183 = -3*l. Suppose -4*w = 2*o - 20, 2*o + 3*w + l = 6*o. Is o a multiple of 6?
False
Suppose 7*j - 3*j = 16, -5*m + 4*j = 6. Let v = 42 + m. Does 11 divide v?
True
Let y be (-210)/55 - 4/22. Let b(n) = n**2 + 4*n. Let u be b(y). Let v(w) = -w**3 - w**2 + 30. Is v(u) a multiple of 10?
True
Let b = 56 + 196. Does 42 divide b?
True
Let y be 6/24 + (-30)/(-8). Does 2 divide 50/15*6/y?
False
Let b(w) be the third derivative of -w**4/12 + w**3/6 + 7*w**2. Is 5 a factor of b(-3)?
False
Suppose 7*o + 5*f - 11 = 3*o, 4*o - 2*f + 10 = 0. Let q = -2 - o. Does 13 divide 1 - q - (-26 + 3)?
False
Let d(s) = 7*s**2 + s - 10. Let y(b) = -3*b**2 + 5. Let j(f) = 4*d(f) + 9*y(f). Let v = -10 + 6. Does 5 divide j(v)?
True
Suppose 4*d - 4*w - 36 = 0, w + 45 = 5*d - 2*w. Let l = -5 + -14. Let o = d - l. Does 11 divide o?
False
Let j(u) = 3*u - 1. Let t(y) = y**3 - y**2 + y + 2. Let v be t(0). Let m be j(v). Suppose 0*g - m*g - 5*x + 65 = 0, -2*g + 23 = -x. Is 9 a factor of g?
False
Let u = -5 + 8. Suppose -5 + 125 = u*x. Does 22 divide x?
False
Does 10 divide (-2)/(-8) + 1990/40?
True
Suppose -2*u = 4 + 6. Does 21 divide 5*((-42)/u)/1?
True
Suppose q = -3 + 1. Is -2 + 35 + q/1 a multiple of 12?
False
Let q(u) be the second derivative of 2*u - 1/6*u**3 + 18*u**2 + 0 - 1/12*u**4. Is 18 a factor of q(0)?
True
Let k(r) = 4*r**2 + 1. Let v be (-22)/(-18) + 4/(-18). Let l be k(v). Suppose 2*j = 5*o + j - 111, l*j - 89 = -3*o. Is o a multiple of 23?
True
Let y(n) = -2*n - 6. Let g be y(-7). Let h = g + 11. Suppose -i + 2 = -2*v + h, -5*v + i = -50. Is 3 a factor of v?
False
Suppose -2*n + m = -46, n + n + m = 42. Suppose r + r - n = 0. Is r a multiple of 4?
False
Let z be ((-8)/20)/(2/(-20)). Suppose -z*f + 48 = 4*s - 76, -f = -s + 29. Does 15 divide s?
True
Let c(u) be the first derivative of 2*u**3/3 - 9*u**2/2 + 9*u + 5. Does 7 divide c(5)?
True
Let y(k) = 23*k + 14. Does 4 divide y(2)?
True
Suppose d + 13 = 5*j, 5*d - 4*d = 3*j - 7. Let m(h) = -h**3 - 4*h**2 + 3*h + 1. Let r be m(-5). Suppose d*b - r = 41. Is b a multiple of 7?
False
Suppose 0 = n - 2*n + 9. Is n a multiple of 2?
False
Is (35/(-4))/(9/(-36)) a multiple of 15?
False
Suppose 0 = -2*k + 10 + 34. Suppose -r - 4 = r. Let t = r + k. Does 11 divide t?
False
Let l(m) = -m**3 - 2*m**2 - m - 2. Let p be l(-2). Suppose -z + 3 = -5*u - 3, p = -u. Is 6 a factor of z?
True
Let s = -13 - -33. Does 4 divide s?
True
Suppose 3*m + 3 = -3. Let n be (-4)/2*5/m. Suppose 6*i - 2*i - a - 46 = 0, -n*a = -4*i + 38. Is 12 a factor of i?
True
Suppose 2*r - 6 = -0*g + 3*g, -3*g + 4*r - 12 = 0. Suppose g = v + 2*v - 36. Let z = v + -7. Is 4 a factor of z?
False
Let s = -76 + 110. Is 34 a factor of s?
True
Let t = 8 - 2. Is (56/(-6))/(t/(-9)) a multiple of 14?
True
Let d be 6/(5*(-4)/(-10)). Suppose d*s = o - 22, o - s = 4*s + 18. Does 14 divide o?
True
Let r = 182 + 8. Is r a multiple of 11?
False
Suppose 2*k = -4*z + 220, 2*k + 175 = 3*z + k. Let l = z + -33. Is l a multiple of 12?
True
Let u = 11 - 8. Suppose -u*c + 32 = -2*g, 11 + 5 = 4*c + 4*g. Does 3 divid