Is n a multiple of 11?
False
Suppose -2*v = -v - 5. Suppose -q + 4 = -v. Is 3 a factor of q?
True
Suppose 23 = 6*z - 37. Is z a multiple of 5?
True
Let v(o) = -o**2 - 9*o + 1. Suppose 0 = 3*h - 6*h. Suppose 4*n + 2*a + 30 = h, 2*n + 3*a = 4*n - 5. Is 12 a factor of v(n)?
False
Let q = -414 + 620. Does 16 divide q?
False
Let d be ((86 - 2)/3)/2. Let r = -10 + d. Does 3 divide r?
False
Is (88/(-6))/((-4)/6) a multiple of 11?
True
Let m = -14 + 24. Let r = m - 4. Is 6 a factor of r?
True
Let u(x) = x**2 - 2 - 4*x - 3 + 1. Let h = 8 + -2. Does 4 divide u(h)?
True
Let w = 92 - -70. Let x = 235 - w. Suppose -17 - x = -5*j - 2*y, -40 = -j + 4*y. Is 10 a factor of j?
True
Let i(w) = 2*w**3 + 5*w**2 + 2*w + 1. Let d(u) = -5*u**3 - 10*u**2 - 5*u - 1. Let l(g) = 3*d(g) + 7*i(g). Let v be l(3). Let h = v + -12. Is h even?
False
Suppose 6*y = 3*y + 15. Is 4/y*(-85)/(-2) a multiple of 13?
False
Suppose -m - 1 = 0, v + 4*m = 2*m. Suppose -v*j - 2*q = 6, -5*j = -0*j + 2*q + 6. Suppose -102 = -4*b + 5*w, 5*b - 5*w = -j*b + 130. Does 18 divide b?
False
Suppose -2*m + 11 + 13 = 0. Is 4 a factor of m?
True
Suppose 4*z + 15 = 9*z. Suppose -4*i + 2*l = 5*l - 203, -z*i + 156 = l. Does 15 divide i?
False
Let i = 5 + -2. Suppose 2*s = -3*y - 5, 7*y - 3*y - 8 = s. Suppose -y = 2*k - i, 5*k - 37 = -2*t. Is 8 a factor of t?
True
Is 21 a factor of 6 - (1 + 2) - -39?
True
Suppose 3*d = 4*a - 10 - 1, 0 = a + d - 1. Suppose a*v = 6, -4*v + 4 + 8 = 5*h. Suppose z - 8 = -3*u + 3*z, -u - 4*z + 12 = h. Is u a multiple of 4?
True
Let j be (7 - 19)*2/(-6). Let i = 14 - 4. Suppose i = j*t - 66. Is t a multiple of 19?
True
Suppose 5*n + 3*o + 37 = 0, -3*n + 4*n + 7 = -o. Let t = 6 + -4. Let s = t - n. Does 10 divide s?
True
Suppose 1 + 25 = 2*g. Suppose -2*l + 41 = g. Does 14 divide l?
True
Suppose -m + 37 = 5*y, -36 = -5*y + 2*m + 10. Suppose 36 = 4*h - y. Is h a multiple of 8?
False
Let g = 17 - 12. Suppose -j = 5*w + 196, -g*w - 192 = -0*w + 2*j. Let m = w - -84. Is m a multiple of 22?
True
Let v(q) = 13*q**2 - 2. Let b(x) = x**2 + 2*x + 2. Let g be b(-2). Is 19 a factor of v(g)?
False
Let y = -11 - -16. Suppose 4*h - 17 = -5*g, -y*h + 3*g = 6*g - 18. Does 7 divide h/(-3)*-1*14?
True
Let z = 60 + -23. Is 6 a factor of z?
False
Let k(s) = 4*s**3 - 3*s**2 + s - 1. Suppose 0 = 3*z + 9, 3*g - 4 = 4*g + 2*z. Does 7 divide k(g)?
True
Suppose 4*n = -2 - 6. Let r be (-3 - -2)/(n/46). Suppose -2*y = -r - 1. Does 12 divide y?
True
Let b = 3 - -2. Suppose 152 = b*i - n, -3*i + 92 = -3*n + 2*n. Does 14 divide i?
False
Suppose -5*d = 5, 4*g + 2*d - d = 39. Is g + -5 + 4 + 5 a multiple of 14?
True
Let l = 48 + -71. Let a = -11 - l. Let h = a + 7. Is 11 a factor of h?
False
Let b(x) = -x + 7. Let h be 3 + -8 + -3 + 0. Is 5 a factor of b(h)?
True
Suppose 4*s = 3*s - 5*p + 10, -3*s + 12 = -3*p. Suppose -13 = -s*t + 7. Suppose -5*z + 23 = 5*u - 47, -t*z + 58 = 5*u. Is 8 a factor of z?
False
Let h be (-242)/(-10) - 2/10. Does 4 divide (4 - 4) + h/3?
True
Suppose -3*i - i = -256. Does 13 divide i?
False
Suppose 0 = 8*q - 15*q + 2926. Does 22 divide q?
True
Suppose -4*p - 97 = -5*m, 2*m - 32 = -4*p - 10. Is m a multiple of 2?
False
Let c be 1/(2/46) + -1. Let t = c + -16. Does 4 divide t?
False
Let g = -239 - -164. Let y = g + 105. Is y a multiple of 15?
True
Suppose -3*l - 7 = -52. Let b be 12/l*(-5)/(-2). Does 11 divide b/7 + (-1145)/(-35)?
True
Let x = 29 - 15. Is x a multiple of 4?
False
Suppose -2 = -2*b + 4. Suppose -3*l - 2*l + 145 = -2*s, 0 = -b*s - 4*l - 252. Is (-6 + 0)/(15/s) a multiple of 16?
True
Suppose 0 = 3*b + 4*z + 2, -z + 12 - 4 = 5*b. Suppose -b*k + w = 13 + 21, -29 = 3*k + 4*w. Let n = 26 + k. Is n a multiple of 11?
True
Suppose 6*p = 28 + 44. Is 12 a factor of p?
True
Suppose 3*r = -2*c + 14, -c - 9 = -3*r + 2. Let x(q) = q - 2. Let t be x(r). Suppose -t*d = -0*d - 24. Is d a multiple of 5?
False
Let g(z) = -5*z + 2. Let l be g(-6). Let r = l + -8. Is 18 a factor of r?
False
Let d(v) = 2*v**2 + 4*v + 12. Is 18 a factor of d(6)?
True
Let z(l) = l**2 + 9*l + 11. Let d be z(-8). Suppose 0*r - d*r = -21. Is r a multiple of 7?
True
Let n = 137 + -49. Is n a multiple of 8?
True
Let m(g) = g**2 + 2*g. Suppose 0*z + 4*z + 8 = 0. Let v be m(z). Suppose 2*d = -t + 34 + 19, v = 2*t - 4*d - 66. Is 16 a factor of t?
False
Suppose 8*b = 3*b. Suppose b = 2*k - 6*k + 52. Is k a multiple of 13?
True
Suppose -d = 3*r + 3*d - 380, -517 = -4*r + 5*d. Is r a multiple of 11?
False
Let c = 7 + -5. Let n(o) = 3*o**2 + 3*o + 2 - 12 - 2*o**c. Does 18 divide n(-7)?
True
Is 4*4/32*26*7 a multiple of 7?
True
Let r(l) = l**2 - 8*l. Let a be r(8). Suppose -i = -4*j - a*j + 84, 0 = 3*j + 2*i - 52. Does 11 divide j?
False
Let k(v) = -13*v**3 + v. Suppose -7 = -d - 2*p, 0 = 6*d - d + 5*p - 25. Suppose 5*f = 5*q - d*q + 7, 0 = q - 2*f + 3. Does 5 divide k(q)?
False
Let h = 57 + -31. Suppose -3*g + 2*k = 2*g - h, 0 = 5*g - 3*k - 24. Does 6 divide g?
True
Let u = -27 + 107. Suppose -8*f = -7*f - 3. Suppose -2*q - f*q + u = 0. Does 16 divide q?
True
Let z(n) = -3*n**2 - 3*n - 1 - n**3 + 1. Does 28 divide z(-4)?
True
Suppose q = 2*c - 334, -q + 145 = c - 28. Let p = 259 - c. Is 30 a factor of p?
True
Suppose 7*b - 14 = -3*m + 2*b, m - 3*b = 0. Is m a multiple of 3?
True
Let l be ((-24)/(-16))/((-3)/104). Let u = 81 + l. Is 16 a factor of u?
False
Let w(s) = -s - 7. Let z be w(-12). Let p(q) = -q**3 - 7*q**2 - 5*q - 1. Let j be p(-6). Let l = z - j. Is 6 a factor of l?
True
Let o = 22 - 14. Is o a multiple of 3?
False
Let v(b) = -b**3 + b**2 - 2*b + 5. Let n be v(-4). Let c = 61 - n. Let l = c - -53. Is l a multiple of 12?
False
Let r(h) = h**2 - 6*h + 2. Does 18 divide r(-10)?
True
Let l(b) = 2*b - 4*b + 4 - 2. Let v be l(-2). Let x = v - 3. Is x even?
False
Suppose 3*v - 7 = -1. Suppose -50 + 22 = -v*z. Let p = z + -3. Does 10 divide p?
False
Let g(z) = -4*z + 42*z**3 + 1 + z + z**2 + z. Is g(1) a multiple of 14?
True
Let o = -81 - -158. Let c = -47 + o. Is 13 a factor of c?
False
Let d(c) = c**3 + 5*c**2 - 3*c + 5. Let r be (-2 + 3)*(2 + -8). Let p be d(r). Does 13 divide (p/(-2))/((-1)/(-2))?
True
Let o(i) = i**3 + 8*i**2 + 6*i + 2. Let h be o(-7). Let z = h + -5. Suppose -2*y + f = -38, 5*f = -y - z*y + 80. Does 14 divide y?
False
Let z(o) = 14*o**3 + 2*o**2 - 1. Let g be z(1). Does 7 divide g/2*40/12?
False
Suppose 30 = 5*j - 5*h, 0 = -j - 4*h - 8 - 11. Let c(k) = 6 - 2 - 4 + 1 + 7*k. Does 3 divide c(j)?
False
Let v = 4 + -5. Let g be 4/(v + 3) + -2. Let w(l) = l**2 - l + 11. Is 11 a factor of w(g)?
True
Suppose 5*f + 0*g = -g + 29, -5*g = 3*f - 35. Suppose 0 = f*q - 2*q. Suppose -3*c + 5*c - 12 = q. Does 3 divide c?
True
Suppose 0 = -p + 2*p - 76. Is p a multiple of 19?
True
Let g = -53 - -83. Is g a multiple of 10?
True
Let y = -4 + 4. Suppose 5*b - 68 = -3*z - y*b, 0 = z - b - 36. Is z a multiple of 9?
False
Let h(f) = -7*f. Let w be h(-1). Let g = 11 - w. Suppose -q - 30 = -3*a + 65, 2*a - 80 = g*q. Does 15 divide a?
True
Let u be -4 - -1 - (-3 - 0). Let i(m) = -m**2 + 41. Is i(u) a multiple of 13?
False
Let v be -6*(-3 + 15/6). Let o = 13 + 33. Suppose d - o = -4*j + 30, v*d = 2*j - 24. Is 17 a factor of j?
False
Let i be (-8)/12 + 124/6. Suppose 1 + i = 3*b. Does 2 divide b?
False
Suppose 6*d - 56 = 4*r + 4*d, -d = 4*r + 68. Let c = -70 + 48. Let w = r - c. Is w a multiple of 3?
True
Suppose -6 = 5*i - 26. Suppose -i*a = -0*a - 12. Suppose -5*r = -3*d - 131, -2*r - 25 = -a*r + d. Is r a multiple of 8?
False
Suppose 14 = 2*s + 2*h, 0 + 2 = 2*s + 5*h. Let c = -7 + s. Let o = c + 13. Is 14 a factor of o?
False
Suppose -245*o = -248*o + 768. Is o a multiple of 11?
False
Let d(l) = l - 4. Let s be d(7). Suppose -p + 8 = -s*p. Is p/(-10)*(-300)/(-6) a multiple of 10?
True
Suppose -2*r + 2*o = -110, 5*o + 224 = -0*r + 4*r. Let y = -23 + r. Is y a multiple of 8?
False
Let h = 60 - 40. Let y = h - 1. Does 6 divide y?
False
Let j(d) = d - 4. Let p be j(7). Suppose 0 = -p*i + 5*i - 8. Suppose 2*f - i*k - 37 = f, -f + 5*k = -40. Does 15 divide f?
False
Let x = -107 + 59. Let s = 72 + x. Is 5 a factor of s?
False
Let z = 7 - -7. Let p be (-40)/7 + (-4)/z. Does 10 divide (0 + (-8)/p)*15?
True
Let g(l) = l**2 + 3*l + 4. Let z be g(-6). Suppose 2*t = -3*a + 24, 42 + z = 4*t + 2*a. Does 4 divide t?
False
Let d = -72 -