t**5 - 2*t**3 + 7/24*t**4 + t**2 + 0*t. Does 7 divide n(-10)?
False
Let a(z) = 3*z**3 - z**2 + z - 2. Suppose 5*j + 1 = 16. Suppose -j*f = -0*f - 6. Is a(f) a multiple of 7?
False
Let v(b) = -b**2 - b + 2. Let l(j) = j**2 - 2. Let s(r) = 5*l(r) + 6*v(r). Let q = -6 - -1. Is s(q) a multiple of 4?
False
Let a be 2/(-3)*(0 + -6). Suppose -2*k = 3*w - 128, -4*w + 0*w = -a*k - 164. Is 12 a factor of w?
False
Let r(c) = -c**2 - 6*c - 3. Let k be r(-4). Suppose -k*u - 49 + 4 = 0. Does 8 divide (16/(-6))/(3/u)?
True
Is 18*6/4 - (-4 + 2) even?
False
Let d = -100 - -70. Let g be ((-6)/(-5))/(-3)*d. Is 11 a factor of ((-3)/(-2))/(1/g)?
False
Let p(v) = -2 + v**2 + 28*v**2 - 3 + v + 6. Is 16 a factor of p(-1)?
False
Suppose -4*m + 68 - 12 = 0. Is 7 a factor of m?
True
Suppose -4*z + 4*l + 296 = 0, 0*z = 5*z + 5*l - 420. Is z a multiple of 11?
False
Let j be (1/(-2))/(1/8). Let x(l) = -4*l - 9. Is 4 a factor of x(j)?
False
Let s(z) = -z**2 + 11*z + 8. Does 18 divide s(4)?
True
Let z = 34 + -9. Is 6 a factor of z?
False
Let j(f) = 4*f**2 + 7*f - 5. Let h be j(7). Suppose -o - 4*o + h = s, 10 = 2*s. Is o a multiple of 12?
False
Let h = -10 + 67. Suppose -192 = -3*p + 3*g, -2*p + h = 3*g - 86. Is 12 a factor of p?
False
Let r(b) = 7*b - 1. Let f be (24/14)/(34/119). Is r(f) a multiple of 13?
False
Let o be (27*-2)/((-15)/10). Let b = o + -22. Suppose -2*k + b = -16. Is k a multiple of 15?
True
Let a be (6 - (4 - 2))/1. Suppose -a*x = x - 185. Is 24 a factor of x?
False
Let t(s) = -s - 9. Let q be t(0). Let p(x) = -x - 1. Is 8 a factor of p(q)?
True
Let j be ((-27)/6)/(2/(-16)). Let r be 8/(2*2/j). Suppose -a - a = -r. Does 13 divide a?
False
Does 16 divide ((-6)/(-15))/(-1)*-80?
True
Suppose -2*f + 3*j - 1 = 0, 5*f - 1 = 3*j + 10. Suppose f*o = 8*o - 104. Does 9 divide o?
False
Suppose 10 = 4*j + 2. Suppose -j = -5*n + 118. Is n a multiple of 12?
True
Let i = 86 + 28. Is i a multiple of 38?
True
Let u = 40 - 92. Let q = -37 - u. Is 10 a factor of q?
False
Is 8 a factor of -3*4/12 + 9?
True
Let a(d) = -2*d**2 + 8*d - 2. Let g(h) = -4*h**2 + 15*h - 4. Let x(c) = 5*a(c) - 3*g(c). Is 17 a factor of x(6)?
False
Suppose 31 = 2*m + 13. Suppose u + 35 - m = 0. Let k = u - -40. Is k a multiple of 12?
False
Let i = -146 + 227. Is 9 a factor of i?
True
Suppose 3*f + y - 3*y + 2 = 0, -2*y + 4 = -2*f. Suppose 16 - 76 = -f*b. Does 15 divide b?
True
Let v(x) = 2*x**3 + 34*x**2 - 14*x - 10. Is v(-17) a multiple of 12?
True
Suppose -q + 2*q = 0. Suppose -y = -2*t + 15, -4*t - y + 21 + 6 = q. Is t a multiple of 7?
True
Let p(a) be the third derivative of -a**8/20160 + a**7/420 - a**6/90 - a**5/30 - a**2. Let c(f) be the third derivative of p(f). Is 12 a factor of c(8)?
True
Suppose 0 = -c - 0*c + 4. Suppose 5*f = 5*p + 20, 3*f + 0*p + c*p = 19. Suppose 2*u = s - u - 50, -3*s - f*u = -80. Is 13 a factor of s?
False
Is (2/(-4))/((-4)/624) a multiple of 13?
True
Let d = 1 + 3. Let g be (-1)/(2*(-1)/d). Suppose 0 = -5*t - 3*q + 233, -3*t + 3*q = -g*q - 133. Is 16 a factor of t?
False
Let g = 42 + -27. Let i = -9 + g. Suppose 2*l = i*l - 32. Does 4 divide l?
True
Suppose 0 = 6*f - 0*f - 12. Is 123/5 - f/(-5) a multiple of 14?
False
Let d(h) = h**2 - 2*h + 2. Is 13 a factor of d(9)?
True
Let h be (-3)/(-1 - 2/4). Suppose 0 = v - h. Is 22 a factor of v/((-3)/(-99)*3)?
True
Suppose -7 = -5*f + 13. Let y be ((-1)/(-3))/(f/24). Suppose -1 + 33 = y*a + o, o = 0. Is a a multiple of 8?
True
Let v(m) = m**2 - 8*m - 1. Does 13 divide v(12)?
False
Suppose 15 = 2*d - 17. Is 8 a factor of d?
True
Let h(t) = t**3 - 9*t**2 - t + 12. Let z be h(9). Let w = 7 - z. Suppose -102 = -3*y + 5*c, -w*y - 4*c = -110 + 6. Is 12 a factor of y?
False
Suppose -4*g = -2*r - 80, -r + 40 = 2*g - 5*r. Is 4 a factor of g?
True
Let n = 0 - 0. Suppose -2*l + 19 - 17 = 0. Is 24 a factor of n - (-47 + (0 - l))?
True
Suppose 3*s - 7 = -1. Let n be 0/(-4) + -1 + s. Is 7 a factor of 1/(n - (-30)/(-33))?
False
Suppose 0*f + 44 = 2*f. Suppose f = 5*u + 2. Let b(y) = 5*y - 6. Is 5 a factor of b(u)?
False
Suppose 0 = 2*q + 8, b - 112 = 5*q - 33. Does 11 divide b?
False
Let z(u) = 4*u**2 + u - 2. Let v(k) = -5*k**2 + 2. Let w(g) = -2*v(g) - 3*z(g). Let q be w(4). Let s = q + 75. Is s a multiple of 11?
True
Let h(n) = 5*n**2 + 3*n - 3. Let q(o) = -6*o**2 - 2*o + 3. Let b(t) = 5*h(t) + 4*q(t). Suppose -3*v = -7*v - 36. Is b(v) a multiple of 14?
False
Suppose -141 = -j + y, -3*y - 705 = -j - 4*j. Does 13 divide j?
False
Let n(s) = 2*s**2 - 2*s + 3. Let k be -1 + -1 + 3 + 2. Does 11 divide n(k)?
False
Suppose 5*h - d + 38 = 0, 4*h + 40 = -0*d - 4*d. Let m = h - -13. Does 17 divide (-15)/(-2)*32/m?
False
Let j(c) be the third derivative of c**4/6 - c**3/3 + 2*c**2. Let i be j(3). Suppose -2*m = -m - i. Is 10 a factor of m?
True
Let g(q) = -7*q**3 + 10*q**2 + 13*q. Let t(d) = -11*d**3 + 15*d**2 + 20*d. Let n(f) = 8*g(f) - 5*t(f). Is n(5) a multiple of 16?
False
Suppose 4*s + 2*x - 169 = -3*x, 51 = s + 3*x. Is 2 a factor of s?
True
Let w = 6 + -6. Let p = 16 + w. Suppose -r = -2*r + p. Does 8 divide r?
True
Let r be ((-1)/3)/(7/(-42)). Suppose -w - r*w = -72. Is 12 a factor of w?
True
Let d = -1 + 31. Is d a multiple of 5?
True
Is ((-248)/(-5))/((-6)/(-15)) a multiple of 31?
True
Let u(y) = y + 13. Let j(w) = w - 3. Let h be j(-3). Does 6 divide u(h)?
False
Let l be 8*3/((-9)/(-6)). Let y = l + -10. Suppose -3*t = -15 - y. Is t a multiple of 3?
False
Suppose 5 = 4*t - 15. Let g = 8 - t. Does 7 divide g/(-15) + 102/10?
False
Let t(m) = 19*m**2 + 2*m - 4. Let p be t(-3). Suppose -2*h = -4*r + 199 + p, -450 = -5*r + 5*h. Does 30 divide r?
True
Let p = -12 - -21. Is p a multiple of 4?
False
Suppose 3*d - 4*w = 626, -2*d - 3*w = -233 - 190. Is 14 a factor of d?
True
Let n(m) = m**3 + 4*m**2 - 4*m - 3. Let j be -3*(-1)/(-3 - -2). Is n(j) a multiple of 6?
True
Suppose 110 = -3*n + 20. Let a = n - -62. Let r = a + -18. Is 8 a factor of r?
False
Let i(w) be the third derivative of -w**4/12 - w**2. Let g be i(1). Is -2 - g*13/2 a multiple of 6?
False
Suppose 0 = 4*s - k - k - 294, -146 = -2*s + 2*k. Does 17 divide s?
False
Let m(j) = 6*j**2 - 7*j - 6. Let d be m(-4). Let z = d + -67. Suppose 5*n - 166 + z = -k, 3*k - 15 = 0. Is n a multiple of 11?
True
Suppose 28 = -0*c - 4*c. Let g(t) = -4 - 1 - 3*t - 4. Is 12 a factor of g(c)?
True
Suppose -3*v = -v. Let f(c) = -c + 40. Let i be f(0). Is (1 + v)/(2/i) a multiple of 16?
False
Let t = -143 + 262. Does 4 divide t?
False
Let q(b) = -b + 11. Let i be q(9). Let x be 9/i*8/12. Suppose f - x = -0*f. Does 3 divide f?
True
Let f(x) = -4*x**3 + 6*x**3 - 3*x**3 + 11 + 4. Is f(0) a multiple of 5?
True
Let t(z) = -4*z - 4. Let m be t(-9). Suppose 12 + m = 4*i. Does 8 divide i?
False
Suppose 2*o = 4*q + 76, 5*q = -2*o + q + 52. Is 5 a factor of o?
False
Suppose -128 - 200 = 4*o. Let p = 139 + o. Does 19 divide p?
True
Let q(l) = -l**3 - l**2 + l + 1. Let i(d) be the second derivative of d**5/20 + 7*d**4/12 + d**2 - 2*d. Let j(w) = i(w) + 2*q(w). Is 6 a factor of j(5)?
False
Suppose -3*u = -4*y - u + 498, -2*y - u = -239. Is y a multiple of 17?
False
Let i(y) = 3*y**2 - y + 2. Is i(3) a multiple of 6?
False
Suppose 3*q + 2*c = 94, 2*c = 4*q - 3*c - 87. Suppose -5*h + 4*g + q = -5, 0 = -4*h + g + 22. Suppose -h*y - 15 = 0, -4*l + l = 5*y - 48. Is l a multiple of 15?
False
Suppose v - 3*r = 2, -r = -3*v + 2*r + 12. Suppose -v*q + 0*q = -15. Let h(j) = -j**3 + 4*j**2 + 4. Is 13 a factor of h(q)?
True
Let w(d) = d**3 - 11*d**2 - 4*d + 3. Let f be w(9). Let i be (-2)/8 + f/20. Let b = i + 19. Is b a multiple of 7?
False
Suppose 58 = 5*m - 47. Is m a multiple of 7?
True
Suppose 2*q - 198 = -0*q. Let m = q + -53. Does 17 divide m?
False
Let r be 4 + (-1 + -1 - 0). Suppose -5*i = -r*n + 26, 2*n - 5*n - 3 = 3*i. Suppose -n*s - 79 = -5*m, -5*m + 2*s + 73 = s. Is m a multiple of 5?
False
Suppose -2*v = -3 - 1. Let m be (-18)/(-14) + (-2)/7. Is 15 a factor of ((-27)/(-1))/m + v?
False
Does 32 divide 1725/18 - 1/(-6)?
True
Let q = 19 - 13. Let i be ((-8)/q)/((-2)/3). Suppose i*m + 100 = 6*m. Is 12 a factor of m?
False
Suppose -2*j + 18 - 376 = -3*w, 5*j = 4*w - 475. Is 12 a factor of (w/25)/((-1)/(-5))?
True
Suppose -3*l + 17 = 2. Is l even?
False
Suppose 5*s - 3*l = 105, -2*s - 3*l = l - 16. Let g(t) = t**2 + 7*t 