 q be 0 - z*(0 - 1). Let t = q + 9. Is t a multiple of 4?
True
Let a be 1 + -1 - (-4)/4. Is 9 a factor of a/((-2)/18*-1)?
True
Let x(r) = 4*r - 10. Does 6 divide x(4)?
True
Let y = -314 + 441. Is 20 a factor of y?
False
Suppose 2*t + 50 = 4*t. Let a = t - 14. Suppose 0 = -6*b + 5*b + a. Does 5 divide b?
False
Let s(m) = -2*m + 0*m**2 + 1 + 10*m**3 + 2*m**2 + 0*m. Is 11 a factor of s(1)?
True
Let s(y) = -5*y**2 - 4*y - 15. Let b(a) = -6*a**2 - 4*a - 16. Let q(r) = -6*b(r) + 7*s(r). Is 21 a factor of q(-4)?
False
Let r be (-830)/(-14) + 2/(-7). Suppose 2*z - r + 9 = 0. Is 8 a factor of z?
False
Let z = -16 - -43. Let t be (-30)/(-8) - 36/48. Suppose 3*l - z = t. Is 5 a factor of l?
True
Suppose -94 - 126 = -5*c. Suppose 4*i - c = -3*d + 149, 5*i - 3*d - 221 = 0. Does 17 divide i?
False
Suppose -2*f = -f - i - 152, 4*i = 0. Is f a multiple of 12?
False
Suppose -8*g - 28 = -4*g + 2*n, 44 = -5*g + 2*n. Let v = -6 - g. Suppose 0 = -3*p - v*p + 70. Does 14 divide p?
True
Suppose 2*z - 1 = 1. Let q = z + -1. Suppose -3*r + 4*r - 8 = q. Is r a multiple of 4?
True
Suppose 5*y = -11 - 9. Let k = -2 - y. Suppose 70 = k*t - 6. Is t a multiple of 15?
False
Let t = -81 - -47. Let m = -13 - t. Is 7 a factor of m?
True
Let y(b) = -5*b - 19. Is 6 a factor of y(-5)?
True
Is (-11)/(4 - (2 + 3)) a multiple of 5?
False
Let m be (-37)/(-2) - (-1)/2. Suppose -t + 5 = -m. Is t a multiple of 17?
False
Suppose 3*v - 2 = -2*o, v = o + 3 + 1. Suppose m + 73 = 4*m + g, -5*m = v*g - 123. Is m a multiple of 11?
False
Suppose 13 + 2 = 5*r. Suppose -4*y = 2*d - 76, 0 = 2*y + r*d + 2*d - 22. Does 8 divide y?
False
Let k(o) = o**2 - 7*o + 13. Is 19 a factor of k(11)?
True
Let j = -94 + 161. Is j a multiple of 22?
False
Is (2 - 8)/(4/(-82)) a multiple of 35?
False
Let o(j) = j**2 - 3*j + 35. Is o(-9) a multiple of 6?
False
Let h(c) = 4*c - 7. Let y(z) = -5*z + 8. Let k(x) = 3*h(x) + 2*y(x). Is 3 a factor of k(7)?
True
Let m(v) = -2*v**3 - 2*v**2 - v + 3. Is 6 a factor of m(-3)?
True
Suppose 6*u + 505 = 3*z + 2*u, 3*u = -3. Does 22 divide z?
False
Let f = 75 + 36. Suppose -3*p + 57 = -f. Suppose 2*a - 28 = -5*w, -4*w = 4*a - 2*w - p. Does 7 divide a?
True
Let b = -5 - -7. Suppose 3 - b = -x. Does 18 divide ((-684)/(-6))/(1 - x)?
False
Let f(u) be the first derivative of u**3/3 - 5*u**2/2 + 8*u + 2. Let k be 13/2 - 2/4. Is f(k) a multiple of 12?
False
Suppose -5*m - 58 + 18 = 0. Let z be (0/(-2) + 1)*13. Let i = m + z. Does 5 divide i?
True
Let k(i) = -i**3 + 8*i**2 - 7*i + 3. Does 11 divide k(6)?
True
Let a be (-2)/(-3) + (-124)/(-3). Let f = a - 16. Is f a multiple of 13?
True
Let h be -1*(0 - (-6)/(-3)). Suppose 0 = -0*o - h*o + 4. Let d = o - -14. Does 16 divide d?
True
Let h(f) = 2*f - 2. Let d be h(2). Suppose 4 = 3*i - d. Is 15 a factor of (4/i - 3) + 31?
True
Let o(c) = 9*c**2 + 12*c - 9. Let y(j) = -5*j**2 - 6*j + 4. Suppose 0 = -5*i - 4 - 31. Let f(t) = i*y(t) - 4*o(t). Does 3 divide f(-6)?
False
Suppose -4*k - 6*k + 160 = 0. Does 8 divide k?
True
Let w = -389 + 546. Suppose 256 = 4*p + 4*g, 4*p - 4*g = w + 107. Is 19 a factor of p?
False
Let j(y) = 14*y - 6. Is 4 a factor of j(3)?
True
Suppose 3*z - 21 = 135. Is z a multiple of 8?
False
Let d be 0 + -3 + (-4)/(-2). Let g = d + 6. Is 2 a factor of g?
False
Suppose 27 + 182 = 2*y + 3*l, 0 = -4*y - 4*l + 424. Does 13 divide y?
False
Suppose 5 = w - 0. Suppose -2*b = -35 + w. Does 6 divide b?
False
Suppose 4*b = -b - 50. Is 19 a factor of (-572)/b + (-8)/40?
True
Suppose 0 = 7*j - 2*j. Let l(h) = -h + 21. Is 7 a factor of l(j)?
True
Let d(l) = 1 - 45*l**3 + 2*l - 2*l. Suppose 4*k - k + 13 = 2*y, -3*y = 5*k - 10. Is d(k) a multiple of 18?
False
Let b be 0/((-2)/1) + 5. Let r be 1/((-115)/(-38) - 3). Suppose -3*u + 15 = 0, 3*p = -b*u - 4 + r. Does 3 divide p?
True
Let t be -1*(1 + 32/(-2)). Suppose -3*l = 6, -4*y - 43 = 3*l + 7. Let b = t + y. Does 4 divide b?
True
Let n(x) = -x**3 - 6*x**2 + 21*x. Is n(-9) a multiple of 9?
True
Let v = 191 + -23. Is 12 a factor of v?
True
Let u(o) = 35*o + 1. Is 18 a factor of u(1)?
True
Suppose -r + 13 = -4*s, -2*s - 2 = 5*r - 1. Let m(f) = f**2 + f + 2. Is m(s) a multiple of 4?
True
Suppose 0*l + l - 32 = 0. Is 8 a factor of l?
True
Let o = 32 + -23. Suppose 0 = 3*x - o - 6. Is 5 a factor of x?
True
Let u = 138 - 31. Is 11 a factor of u?
False
Let x = -10 - 18. Let h be -2 + (-1)/(-1) + -13. Let y = h - x. Does 5 divide y?
False
Suppose 3*c = 2*v - 35, -4*v - 40 = 4*c - 0*c. Let x = c - -20. Is 2 a factor of x?
False
Let m(u) = 8*u + 6. Let l be m(5). Let v = -24 + l. Is 17 a factor of v?
False
Let d = 366 - 212. Is 11 a factor of d?
True
Suppose -2*o + 6*u = u - 175, -3*u - 85 = -o. Is o a multiple of 10?
True
Suppose 0 = -2*s - 2*s + 12. Suppose n - s*n = -10. Suppose o + 4*j = j + 21, -21 = -o - n*j. Is 10 a factor of o?
False
Let q be 4/(-10)*(0 + -10). Suppose -q*s = -s. Suppose s = -0*r - r + 18. Is r a multiple of 12?
False
Suppose 2*x - 2 = 4*x, x + 21 = 5*o. Suppose -5*z - 12 = -32. Suppose -p + z*m = -2*p + 11, 0 = o*p + m - 44. Is 5 a factor of p?
False
Let h(z) = -z**3 + 5*z**2 + z + 4. Let v be 1/((-3)/(4 - 19)). Does 9 divide h(v)?
True
Let f(b) be the first derivative of 2*b**2 - 2*b**2 + 1 - b**2 + 2*b**2 + 2*b. Is 6 a factor of f(8)?
True
Let r = 7 - -7. Is r a multiple of 7?
True
Let v = 60 + -39. Is 21 a factor of v?
True
Is 3182/18 - 10/(-45) a multiple of 38?
False
Let u(l) = 7*l**2 - 2*l + 1. Let p be u(1). Suppose -2 + p = c. Suppose -4*r + 47 = -x, -4*r = -c*x + 27 - 83. Does 4 divide r?
False
Let r(z) = 19*z**2 + 60*z**2 - 25*z**2. Let w be r(1). Let a = w - 37. Is 15 a factor of a?
False
Does 13 divide 60/18*45 + 2*2?
False
Let o be (-40)/15*54/4. Let g = o - -64. Is 11 a factor of g?
False
Let d(b) = -b**2 + 2 + 6 + 4*b + 6*b. Let a(m) = -m**3 + 5*m**2 - 3*m - 1. Let n be a(3). Is 13 a factor of d(n)?
False
Let i(m) = -m**3 - 8*m**2 - 4*m + 3. Let f be i(-7). Let v = 14 - f. Is v a multiple of 16?
True
Let f be 1 - ((-9)/(-3) - -1). Let o be (f/9*0)/(-2). Let c(n) = -n**2 + 15. Is 9 a factor of c(o)?
False
Suppose 0*a - 472 = -4*a. Suppose 0 = 3*j - u - a, 5*j + 2*u - 198 = 4*u. Is 7 a factor of j?
False
Let h(j) = j**2 + 4*j + 4. Let f be h(-4). Suppose 0*a + 32 = f*a. Suppose -a = -2*q + 28. Does 9 divide q?
True
Is -2*(-316)/24 + (-8)/(-12) a multiple of 5?
False
Let r(n) = 5*n**2 - 9*n - 2. Let x(l) = 11*l**2 - 19*l - 3. Let a(s) = 9*r(s) - 4*x(s). Let o(p) = p**2 - 2. Let i be o(3). Is a(i) a multiple of 7?
False
Is 16 a factor of (-32)/(-3 + (4 - (-12)/(-10)))?
True
Let n = 22 + -8. Does 12 divide n?
False
Let s(r) = 4*r**2. Let l be s(-1). Suppose 0*b + 4*m = 2*b - 66, 0 = -l*b + 3*m + 112. Is 15 a factor of -5 + 5 + 0 + b?
False
Let c = -73 + 146. Let u = c - 7. Is 31 a factor of u?
False
Let m(o) = 0*o**2 - o**3 + 8*o**2 - o - 14*o + 4*o**2. Is 21 a factor of m(10)?
False
Let l(m) = m - 6. Let t be l(8). Suppose 2 = t*v - v - 2*x, -v + 5*x - 13 = 0. Is 6 a factor of v?
True
Let j(a) = a**2 - 2*a + 58. Let n = -13 - -13. Is j(n) a multiple of 29?
True
Is 3 + (43 - (4 - 2)) a multiple of 22?
True
Suppose t = -4*l + 3*l + 209, t + 643 = 3*l. Is 56 a factor of l?
False
Let r(a) = -2 + 4*a**2 + 0*a**2 + 4*a + 0*a**2 - 6*a. Is 21 a factor of r(3)?
False
Let o be 3/(-2)*(-80)/12. Let c(f) = f**2 - 6*f + 1. Let x be c(6). Does 2 divide x/4*2*o?
False
Let j be 6/((12/(-4))/3). Is (j/(-9))/((-4)/(-54)) a multiple of 4?
False
Suppose -45 = -10*d + 5*d. Let i = d + 1. Is 5 a factor of i?
True
Let w(g) = -g**2 - 6*g. Let q be w(-6). Suppose 0*r + 5*r - 170 = q. Is r a multiple of 9?
False
Suppose c + 2*c - 24 = 0. Let t = 14 - c. Is t a multiple of 6?
True
Suppose -2 - 14 = 4*w, -156 = -2*s - 3*w. Is 28 a factor of s?
True
Let p(i) = 10*i**3 - i**2 + i - 1. Suppose 4*y - 9 = -3*k + 4*k, -23 = -3*y + 4*k. Does 5 divide p(y)?
False
Suppose v - 19 = -7. Does 15 divide (-2)/(-4) - (-354)/v?
True
Is (-6 - -4) + 31 + -3 a multiple of 13?
True
Suppose 2*x = n - 2*x - 16, 0 = 4*n - x - 4. Suppose n = -w - 2*k + 2, -2*k - k = 2*w - 4. Suppose w*c + 0*c = 6, 2*m + 2*c = 10. Is m a multiple of 2?
True
Let h(m) = m**2 - 2*m - 9. Suppose 0 = -5*v - 29 + 9. Is h(v) a multiple of 3?
True
Let n(i) = -i**3 - i**2 - 2*i - 3. Let y(o) = o**3 - 6*o**2 - 3. Let t be y(6). Is n(t) a m