et q = h - -60. Is 11 a factor of q?
False
Let q(h) = h - 9. Let z be q(9). Suppose z = w + 3*w - 44. Does 4 divide w?
False
Suppose 9 = k + 2*k + 4*l, -22 = -4*k - 2*l. Suppose 0 = -t + 13 + k. Is 10 a factor of t?
True
Suppose -6 = 4*o - 66. Let t = o - -2. Does 14 divide t?
False
Suppose -5*q = v + 4, -2*q + 5*v + 26 - 6 = 0. Suppose -10 = -2*n - q*n. Does 5 divide n?
True
Let d(i) = 39*i**2 + i - 2. Does 8 divide d(1)?
False
Suppose -2*h + 22 + 36 = 0. Is 11 a factor of h?
False
Suppose 3*l = -0*l - 3, 4*o = -4*l + 380. Let g = -16 - -2. Is (-4)/g + o/7 a multiple of 6?
False
Let o(n) = n**3 + 11*n**2 + 8*n - 2. Is 18 a factor of o(-10)?
True
Let o = -10 + 80. Let z = o + -32. Is z a multiple of 21?
False
Let w(j) = -j**3 - 8*j**2 - 6*j + 9. Let x be w(-7). Suppose 2*u = x*m - 7*m - 9, -u - 12 = 4*m. Does 3 divide u?
False
Let s(z) = 5*z**2 - 11*z - 7. Is s(5) a multiple of 7?
True
Suppose m + 26 = 4*s, 3*s = -0*m - 2*m + 14. Is s a multiple of 3?
True
Suppose -179 = -2*h - 53. Is 9 a factor of h?
True
Let j(n) = -6*n**2 - 18*n - 8. Let s(m) = -5*m**2 - 17*m - 8. Let r(z) = -4*j(z) + 5*s(z). Let f be -12 - (-1)/(-1)*-2. Does 18 divide r(f)?
False
Let p be (-1 + 1)*(-3)/(-6). Let k be (p + 1 - -2)*1. Suppose 3 = u - k. Is 3 a factor of u?
True
Suppose 0 = 3*g + g - 44. Is g a multiple of 11?
True
Suppose 0 = r - 1 - 1. Suppose -r*t + 36 = -4. Suppose 2*d = t - 6. Is d even?
False
Let i(s) = -11*s. Let k(l) = -11*l. Let j(o) = -2*i(o) + 3*k(o). Is j(-2) a multiple of 22?
True
Let a = 10 - 9. Let p(x) = 12*x + 1. Is 13 a factor of p(a)?
True
Let o be 6*-1 + (-3 - -1). Let f = 28 + o. Is 8 a factor of (-32)/(-6)*45/f?
False
Let z(r) = r**3 + 13*r**2 + r - 12. Let w be z(-12). Suppose 3*l = 7*l - w. Is 10 a factor of l?
True
Suppose -25 = -3*l - 2*l - d, d = -2*l + 10. Is (l + -56)/(3/(-2)) a multiple of 17?
True
Suppose -3*r - 3*d - 33 = 0, -d = 3*r + 3*d + 34. Let h = r + 20. Is h a multiple of 8?
False
Let f be ((-28)/(-6))/((-6)/9). Does 10 divide 84/f*(-20)/6?
True
Suppose 45 = -4*p + 9. Suppose -4*z = 16, -3*j = 3*z + 2*z + 29. Is (-168)/p - 1/j a multiple of 5?
False
Let a(i) = 2*i**2 - 4*i + 3. Is a(3) a multiple of 9?
True
Suppose 0*p - 3*p + 162 = 0. Suppose 4*c + p = c. Is 3 a factor of (c/(-8))/(9/24)?
True
Let z = 43 + 25. Is 17 a factor of z?
True
Is 27 a factor of (14/(-6) - -1)*-162?
True
Let g = 1 + 3. Is 5 a factor of (g/6)/((-6)/(-126))?
False
Suppose 152 = s + 3*s. Is 14 a factor of s?
False
Let g be (-15)/(-20) + 57/4. Does 5 divide 6/g + (-58)/(-5)?
False
Let n be (-2)/(-7) - (-1380)/21. Let v = n + -39. Does 11 divide v?
False
Let p(t) = -t**2 + 4*t. Let u be p(4). Suppose -n + u*n + 13 = -3*w, -w = 0. Does 7 divide n?
False
Let h = 207 + -64. Let u = -93 + h. Is 22 a factor of u?
False
Let o(y) = y**2 - 7*y - 1. Let v be 12*(12/9)/2. Does 2 divide o(v)?
False
Let s(o) be the third derivative of 1/60*o**5 + 0*o + 0*o**3 - 2*o**2 - 1/12*o**4 + 0. Is s(4) a multiple of 6?
False
Let z(b) = -9*b + 4. Let o be z(7). Let d = 42 + o. Let k = 26 + d. Does 3 divide k?
True
Let l be (24/14)/((-2)/(-14)). Suppose -4*u = r - 7, l = 5*u - 5*r + 3*r. Suppose 0 = u*p - 2*x - 30, 4*p + 2*x - 3*x - 54 = 0. Does 13 divide p?
True
Let z be 1/(-5) - 42/(-10). Suppose i + 16 = 2*k - 2*i, -k + z*i = -18. Suppose -k*o - 168 = -6*o. Does 21 divide o?
True
Suppose 4*p + 6 - 14 = 0. Let z be (6/(-9))/(2/(-6)). Suppose -4*s = 5*l - p*l - 49, -3*s = -z*l - 24. Is s a multiple of 5?
True
Let s = 27 - 23. Suppose 4*b = s*v + 120, 2*v + 103 = 3*b + 8. Does 8 divide b?
False
Let j = -7 + 14. Is 2 a factor of j?
False
Let y = 70 + -4. Is y a multiple of 11?
True
Suppose 4*s - 4*w = 12, 0*w + 2*w + 12 = -s. Let p = -2 - s. Suppose 0 = -v - 2*c - p*c + 15, -v + c = -9. Is 4 a factor of v?
False
Suppose -p - 5*w + 5 + 18 = 0, -2*p = -3*w - 7. Let u = p - -6. Is u a multiple of 7?
True
Suppose -5*g + 5*x + 10 = 0, 2*x + x - 22 = -4*g. Suppose -g*h - h = -145. Does 13 divide h?
False
Is (-8)/28 + 3265/35 a multiple of 19?
False
Let p(f) be the first derivative of f**3 + 2*f**2 - 2*f - 5. Is 24 a factor of p(-6)?
False
Suppose 4*d - 119 - 69 = 0. Does 3 divide d?
False
Let g = 10 + -4. Let d be 2 - -1 - (-12)/15*-5. Let m = d + g. Is m even?
False
Let d = 95 + -47. Is 16 a factor of d?
True
Suppose 3*x + 5 = -2*a, 2*a = -x + 3*a + 5. Does 7 divide (-4 - -5)*19/x?
False
Let o(p) = p**2 - 8*p + 13. Is 9 a factor of o(15)?
False
Is 7 a factor of 1/(-1)*-1*21?
True
Is (72 - (2 - 2)) + 0 a multiple of 24?
True
Let j(z) = -z**3 + z**2 - z + 30. Let h be j(0). Let v = h - -8. Is 19 a factor of v?
True
Suppose 0 = 8*i - 3*i - f + 70, -2*i = -5*f + 28. Let h = i - -24. Does 10 divide h?
True
Does 9 divide (-95)/(-5) - 3/(-1)?
False
Let c(x) = x**2 - 3*x - 4. Let y be c(3). Let l(s) = 1. Let j(h) = h - 4. Let g(n) = y*l(n) - j(n). Is 4 a factor of g(-8)?
True
Let t be -2*(-4)/(24/(-33)). Let l = 19 + t. Is 4 a factor of l?
True
Let m be ((-8)/5)/((-1)/(-5)). Let x = -10 + 25. Let z = m + x. Does 3 divide z?
False
Suppose 7*n - 89 - 79 = 0. Is n a multiple of 11?
False
Let f(o) = 3*o + 4. Does 10 divide f(2)?
True
Suppose 0 = 4*x + 5*s - 74 - 218, -4*s = 2*x - 152. Is x a multiple of 11?
False
Let y(c) = 2 - c**2 + 8*c - 2 + 2. Let v be y(9). Let o = v - -14. Does 2 divide o?
False
Suppose 0 = 5*m - 2*m + 3. Suppose -5*q + 3*d = -34, 2*q + d - 14 = 4. Let o = m + q. Is 3 a factor of o?
False
Suppose 4*h - 14 - 14 = 0. Let t = 2 - 4. Is t/h + (-410)/(-14) a multiple of 17?
False
Let c(t) = -t - 2. Let o be c(-5). Suppose 4*i = -4*m, 4*m + 4 = -5*i - 1. Suppose 3*v + 4 = o*k - 2*k, m*k - 20 = 4*v. Is 3 a factor of k?
False
Suppose 5*k = 3*k - 14. Let n(s) = -3*s + 1. Is 11 a factor of n(k)?
True
Suppose 92 + 68 = 3*z - 2*y, -4*z = -3*y - 214. Is 26 a factor of z?
True
Suppose 3*m - 62 - 16 = 0. Is 26 a factor of m?
True
Suppose 13 = -3*x - 20. Let n = 56 + x. Is n a multiple of 25?
False
Suppose -50 = -5*q - 5*j, -3*q + 2*j = -33 - 7. Is 22 a factor of 2 - -39 - q/(-4)?
True
Suppose 4 = 2*m - 124. Is 8 a factor of m?
True
Is 4 a factor of (336/18)/(1/3)?
True
Is 14 a factor of 144/2 + 0 - (5 + -3)?
True
Let x(v) = -3*v - 17. Let z(a) = a + 8. Let y(n) = -2*x(n) - 5*z(n). Let j be y(8). Is 4 a factor of -9*-3*j/9?
False
Suppose 0 = -h - 2*v - 8, 16 = -h + 6*h - 4*v. Is 3 a factor of (h + 2)*(2 - -1)?
True
Let m = 1 - -45. Let u = m + -67. Let w = -7 - u. Does 5 divide w?
False
Suppose -2*h = 3*h - 690. Is h a multiple of 5?
False
Let s = -6 - -9. Let g(m) = 4*m - 3. Is 9 a factor of g(s)?
True
Let a be 2/2*(-1 + 4). Let w = 1 + a. Suppose m - 4*m - 1 = -h, w*h - 39 = 5*m. Is h a multiple of 8?
True
Let l(f) = -6*f - 3. Let d be l(4). Let c = 62 + d. Suppose -2*j + 5*j - c = -t, -16 = -2*j + 3*t. Does 5 divide j?
False
Let w = 332 - 221. Is w a multiple of 21?
False
Let i(h) = 48*h**2 + 1. Is 22 a factor of i(1)?
False
Suppose -76 = d + 11. Does 7 divide (-4)/16 - d/12?
True
Let m = -51 - -31. Let i = m + 22. Is i a multiple of 2?
True
Suppose 81 + 53 = 2*u. Suppose -5*b = -2*z - 90 + 10, 4*b - u = z. Is b a multiple of 6?
True
Let o(p) = p**3 + 5*p**2 + 5*p + 2. Let t be o(-3). Let s(y) = 10*y**2 + 2*y. Let x be s(-4). Suppose -x = -t*c + 18. Does 17 divide c?
True
Suppose -h = -5 + 3. Let d(g) = 3*g**3 - 2*g**2 - 3*g + 2. Does 4 divide d(h)?
True
Does 11 divide (2 + (-46 - 0))/(-1) + 0?
True
Let x(a) = a**3 + 1 + 7*a**2 - 4 - 2*a + 3*a. Let d be x(-7). Is 16 a factor of (-80)/(-3) - d/(-15)?
False
Suppose -2*d - 193 = -5*z, 0 = d + d + 8. Let o(b) = -b**3 + 4*b**2 + 5. Let y be o(4). Let r = z - y. Is 15 a factor of r?
False
Suppose 13 + 129 = i. Is 10 a factor of i?
False
Let f(p) = -10*p**3 + 4*p**2 - 2*p. Let o be f(2). Let n = o - -43. Is -1 + (1 - n) - -1 a multiple of 12?
False
Let q(a) = -a**3 - 5*a**2 + 6*a + 9. Let h be q(-6). Suppose o + h = 4*o. Suppose -o*w - 13 = -2*x + 12, 0 = -x + 3*w + 11. Is 14 a factor of x?
True
Suppose 0 = 6*n - 2*n - 12. Suppose -n*y + 43 = -2*y. Let a = -15 + y. Is a a multiple of 14?
True
Let a(o) = o**3 - 11*o**2 + 12*o - 14. Let x be a(10). Is 3 a factor of x + (-1 - (-4 - -1))?
False
Let v(f) = f**2 - f + 7. Let j be v(0). Let t = j - 3. Suppose -d = -t*d + 84. Is d a multiple of 14?
True
Suppose 4*y + 6*o - 3*o - 120 = 0, -5