e -a + 108 = 2*r, -166 = -m*r - 5*a + 38. Let k = r - 39. Does 6 divide k?
False
Suppose -16*g + 13*g = -45. Is g a multiple of 15?
True
Let r(d) = 49*d + 1. Let j be r(1). Suppose 7*m = 2*m + j. Is 9 a factor of m?
False
Is (-4)/(-12) + 50/3 a multiple of 14?
False
Let o(h) = h + 2. Let b(f) = -f**3 + 6*f**2 - 2*f + 4. Let z be b(5). Suppose 3*v = -0*g - 4*g - 7, -3*v = -2*g + z. Is 3 a factor of o(g)?
False
Let k(n) = 4*n**2 - 3*n + 12. Does 4 divide k(4)?
True
Let j be (-141)/15 - 4/(-10). Let f = j + 14. Suppose 3*o - 16 = -2*i, 22 = i + 2*i + f*o. Does 5 divide i?
False
Let t(c) = -c**3 + 11*c**2 - 11*c + 15. Let o be t(10). Is 9 a factor of 6/(-15) - (-107)/o?
False
Let y = 2 - 1. Let l(b) = b**3 + 3 + 8*b**2 + 4*b + 4*b + y. Is 14 a factor of l(-6)?
True
Let z = -118 - -193. Is 15 a factor of z?
True
Let f be (6/4)/(1/16). Let g(w) = w - 3. Let t be g(6). Suppose -2*q = -t*q + 4, 2*j + 3*q = f. Is j a multiple of 4?
False
Is 13*10 + (-6 - -2) a multiple of 23?
False
Let q be (-3 - -14) + 6/2. Let o(v) = -v**3 + 15*v**2 - 9*v + 2. Is 18 a factor of o(q)?
True
Suppose 3*q - 55 = 11. Is 12 a factor of q?
False
Suppose -528 = -21*r + 10*r. Is r a multiple of 6?
True
Let q be (-2)/3 + (-582)/(-9). Does 7 divide q/(-24)*(-15)/2?
False
Let h(q) = q**2 + 7*q + 8. Let b be h(-6). Suppose -3*o - b*o = -60. Is o a multiple of 12?
True
Let d(m) = m**3 - 2*m**2 - 2*m + 3. Let z be d(2). Is ((-5 - -4)*73)/z a multiple of 15?
False
Let q(y) be the second derivative of -y**5/20 + y**4/6 + y**3/6 - 3*y**2/2 - 2*y. Let v be q(-3). Suppose 9 + v = 4*k. Is 12 a factor of k?
True
Suppose 20 = -5*a - 20. Let v(p) = -2*p - 11. Let s be v(a). Let f = s - -13. Is f a multiple of 9?
True
Let i(g) = g + 4. Let j be i(0). Let u(y) = -14*y - 5. Let a be u(-5). Suppose a = j*t + 17. Does 6 divide t?
True
Let g be 20/(-6)*21/(-14). Suppose -g*i = -l - 134, 4*i = -3*l + 86 + 6. Does 13 divide i?
True
Is (-3)/2*(-16)/12 even?
True
Let x(q) = q**2 + 2*q - 2. Suppose 0 = -3*v - 2*w + 18, -v - w + 6 = -0. Is 14 a factor of x(v)?
False
Suppose -4*x = x - 130. Is 6 a factor of x?
False
Let r be 1*(2*-1)/1. Let f(u) = -u**3 + 4*u + 3. Let p be f(r). Suppose 67 = 5*g - p*w, 5*w - 6 = 2*g - 29. Is 9 a factor of g?
False
Let h(w) = 16*w**3 + 1. Let v be h(1). Suppose -2*u + 7*u - v = -3*k, 0 = -4*k + 5*u + 11. Let m = 0 + k. Is m a multiple of 3?
False
Let j be 6/(-3) + -2 + 0. Let f(l) = -2*l**3 - 5*l**2 - 5*l - 5. Does 21 divide f(j)?
True
Let v(m) = -3 + 3*m**2 + m**2 + 1. Let i be v(2). Suppose i = 5*y - 31. Does 4 divide y?
False
Let r(n) = 2*n**2 + 8*n + 5. Suppose -4*p - 26 = 3*t, 0*t - t + 13 = -3*p. Is r(p) a multiple of 15?
True
Let q(z) = -3*z - 8. Let j(p) = -p**3 + 5*p**2 - 6*p. Let l be 20/6*(-12)/(-10). Let k be j(l). Is q(k) a multiple of 10?
False
Suppose -3*s + 8 = i + 2*s, -5*i + 5*s - 20 = 0. Is 12 a factor of ((-20)/(-8) + i)*26?
False
Let a(k) = -k**2 - 14*k + 2. Is a(-10) a multiple of 21?
True
Let h be (-2 + 2 + -4)/(-2). Suppose h*a - a = 43. Suppose -4*j = -a - 21. Does 8 divide j?
True
Suppose -3*y + w + 2 = -2*y, 2*y + w - 16 = 0. Does 3 divide y?
True
Let o(g) = -g**3 + 10*g**2 - 8*g - 4. Let j be o(6). Suppose 3*w = -17 + j. Let v = 36 - w. Is v a multiple of 6?
False
Let r be (-2)/(-3*6/(-135)). Suppose -5 + 3 = -2*u. Is 6 a factor of 10/r*(-18)/u?
True
Suppose 0 = -l - 2*d + 7, -3*l + 6*l - 21 = 3*d. Let g(v) = v**3 - 6*v**2 + 3*v + 2. Is 11 a factor of g(l)?
False
Let y = -25 - -41. Is 16 a factor of y?
True
Let x(h) = -h**2 - 10*h + 11. Let v be x(-11). Suppose 33 = n - v*n. Is n a multiple of 11?
True
Let s(i) = -i**2 + 3*i + 2. Let r be s(3). Is 5 a factor of (75/10)/(1/r)?
True
Let z(k) = 26*k. Let a be z(3). Suppose -7*r + 3*r + 5*o = 59, -3*r - a = 3*o. Is 7 a factor of (1 - r/(-6))*-4?
False
Suppose h + 4*m + 20 = 4*h, 5*m = 4*h - 27. Is 8/6*36/h a multiple of 2?
True
Let j(a) = -a. Let t(v) = -3*v**2 - 4. Let x(r) = 2*j(r) - t(r). Let u be x(-4). Is 4 a factor of (-2)/(u/33 + -2)?
False
Let m(x) = 15*x**2 - 3*x + 2. Let p be m(2). Suppose -p = -3*u - 11. Is 5 a factor of u?
True
Suppose 3*c + 2*c - 31 = 2*l, c = 2*l + 11. Is c a multiple of 5?
True
Let c(l) = -l**2 - 11*l - 7. Let y be 5 + -3 + (-10)/1. Let b be c(y). Suppose 3*o = 4*z - 87, 4*o + 3 = -b. Is 8 a factor of z?
False
Let p = 14 - 11. Is 2 a factor of p?
False
Let y(a) = 2*a. Let s be y(2). Let j(n) = -n**2 + 6*n + 4. Is 7 a factor of j(s)?
False
Suppose 5*w = 4*u + 27, 3 = -3*w - u - 3*u. Let z be -1*3 + w + 6. Suppose 4*q = 114 - z. Is 27 a factor of q?
True
Let r(z) be the first derivative of z**4/4 - 2*z**3 + 3*z**2/2 - 7*z - 5. Is 11 a factor of r(6)?
True
Let w be 1*-4*2/(-4). Suppose 5*d = w*d + 51. Is 7 a factor of d?
False
Let z be (-6)/((-76)/(-18) + -4). Let f = z + 45. Is 3 a factor of f?
True
Suppose 2*h - 23 + 7 = 0. Is 4 a factor of h?
True
Let n(t) be the second derivative of -13*t**3/6 - t**2/2 - 3*t. Let l be n(-3). Let f = -19 + l. Does 7 divide f?
False
Let f(d) = -2*d. Let p be f(1). Let o = p + 3. Let g = 9 + o. Is g a multiple of 5?
True
Is (-35 - 4/4)*-1 a multiple of 9?
True
Let d be (-6)/(-15) - (-36)/10. Let h be d + (-1)/(-1) + 1. Is 5 a factor of (-4)/h - (-32)/3?
True
Suppose 0*t + 4*t + 124 = 0. Let k be 22/33 + t/(-3). Suppose -3*h + k = -64. Is 7 a factor of h?
False
Suppose 2*g = -4*g + 198. Does 4 divide g?
False
Let h be 8/((9/(-3))/(-3)). Suppose -4*u + h*u - 48 = 0. Does 8 divide u?
False
Let c(l) = -11 + 7*l**3 - l**3 - 7*l**3 - 8*l**2. Let k be c(-8). Let i = k - -47. Does 12 divide i?
True
Let b(y) = -3*y + 7. Let u = -23 + 17. Is 9 a factor of b(u)?
False
Does 6 divide (-4 - -3)/(4/(-136))?
False
Let t(g) = g**3 + 6*g**2. Let x be t(-6). Let f be 5 - (0 - (1 + -1)). Suppose 2*z + o - 3*o - 26 = x, f*o + 29 = 2*z. Is z a multiple of 12?
True
Let h be 1/4 - 133/(-28). Suppose h*v + 5*q + 785 = 0, 3*v - q + 469 = -2*q. Is (-14)/49 + v/(-7) a multiple of 11?
True
Let p(g) be the second derivative of -g**3/3 - 4*g**2 + 3*g. Let s be p(-6). Suppose -3*a = -2*a + 5, -8 = -s*z - 4*a. Is z a multiple of 2?
False
Suppose 0 = 5*j - 2*j - 3. Let s be (-2)/j + 4/2. Suppose s = -3*w + 5*l + 46, -4*w = 5*l - 41 + 3. Does 5 divide w?
False
Let y(s) = 6*s**2 + 7*s - 6. Let x(v) = -v**2. Let z(c) = 4*x(c) + y(c). Is 19 a factor of z(-6)?
False
Suppose 5*r = 6*r - 2. Suppose -2*y - 56 = -n, 23 + 81 = r*n + 4*y. Is 27 a factor of n?
True
Let i = 0 + 2. Let y be (-1)/i - 9/(-2). Suppose -y*p + 45 = -27. Does 7 divide p?
False
Let h = 1 + 1. Suppose 5 = -h*z + 13. Suppose 0 = z*m - 2*m - 22. Is 4 a factor of m?
False
Let b(x) = -x**3 + 53. Let g be b(0). Suppose 2*m + 44 = 3*s + 6, 4*s - 5*m = g. Suppose 0 = k - s - 10. Does 11 divide k?
True
Let u = -35 + 56. Let o be (4/6)/(7/u). Is 8 a factor of o*10*16/20?
True
Let a = 25 + 12. Let o = -9 + a. Is 9 a factor of o?
False
Let r be (-38)/(-10) + (-2)/(-10). Suppose -r*f = -f - 27. Does 9 divide f?
True
Suppose -5*j + 0*p = 4*p - 47, -p = -5*j + 32. Let u = 23 - j. Is u a multiple of 12?
False
Let s(i) = 2*i**2 - 3*i + 3. Let u be s(3). Let n = u + 2. Is n a multiple of 8?
False
Let d(p) = -p**3 + 6*p**2 + 5*p - 2. Let v = -11 + 17. Let i be d(v). Suppose -104 = -4*f + i. Is 11 a factor of f?
True
Suppose -47*q + 45*q = -86. Is 5 a factor of q?
False
Suppose 3 - 9 = 2*a + 2*c, 2*a + 18 = c. Let i = -2 - a. Let j(m) = m**2 - 2*m - 1. Does 14 divide j(i)?
True
Let t(p) = 43*p + 1. Let u(n) = -n**3 - 6*n**2 - 6*n - 4. Let a be u(-5). Is t(a) a multiple of 22?
True
Suppose -2*l + 107 = 3*t, 0 = -0*t - 2*t + 3*l + 93. Does 20 divide t?
False
Suppose -5*v + 41 = 4*s, 0 = s + v + 4 - 15. Let g = s + -5. Does 3 divide g?
True
Suppose q = 3*o, 0*o = -3*q - 4*o + 13. Suppose -2*l - q*l = -145. Is 13 a factor of l?
False
Suppose -4*h - 3*w = -4*w - 59, 4*w = 5*h - 82. Does 7 divide h?
True
Let s be (3/(-3) - -2) + 2. Suppose -2*l + 7*l = -5*c, 2*l + 2 = -s*c. Suppose 0 = l*b - 68. Does 19 divide b?
False
Let d = 1 - -1. Let z be 285/6 + 1/d. Suppose 2*l - 84 = -5*j - 0*j, 2*j - 4*l = z. Does 9 divide j?
True
Suppose -7*a = -2*a - 250. Let v(o) = -o**3 + 6*o**2 + o - 2. Let h be v(6). Suppose 3*f - h*f = -a. Is 19 a factor of f?
False
Let w(v) = -v + 1. Let y be w(1). Suppose y = s - 5*s + 320. Let a = -41 + s. I