 c*g - d - 27 = 0. Does 10 divide g?
False
Suppose -4*n = 59 - 23. Is (-73)/(-3) - 6/n a multiple of 15?
False
Let t(c) = -c**2 - 10*c + 5. Let v be t(-10). Suppose 2*f - 47 = -v*z + 6*f, 4 = 2*f. Is z a multiple of 11?
True
Let l = -2 + 7. Suppose -7 - 8 = -l*q. Suppose -3*n + 3*i = i - 38, -q*i + 31 = n. Is n a multiple of 8?
True
Let f = 154 + 100. Suppose -126 - f = -5*w. Does 16 divide w?
False
Suppose -17 = -j - 2. Is j a multiple of 9?
False
Let g = 75 + -47. Does 11 divide g?
False
Let d be (-4)/10 - (-342)/(-45). Is 9 a factor of d/12 + (-98)/(-3)?
False
Let r = 11 - 7. Suppose 4*k - 76 = 5*l, -2*l + l + 52 = r*k. Suppose -4*d - k = -62. Does 8 divide d?
False
Let x(m) = m**3 - 11*m**2 - 11*m - 6. Is 6 a factor of x(12)?
True
Suppose 0 = 2*j + j + 108. Let l = -23 - j. Is l a multiple of 11?
False
Let j be (-1 + 14/10)*25. Suppose 2*r + j = -4*h, -h - 3*r - 15 = 2*h. Suppose h*x = 3*x - 42. Is 5 a factor of x?
False
Let k be (-3 - -7) + -1 + -27. Let r = k - -97. Suppose 5*b = r + 7. Is 15 a factor of b?
False
Let z = -74 + 104. Let f be 4/6*z/4. Suppose -42 + 122 = f*o. Is o a multiple of 16?
True
Suppose 0 = -3*h + 6*h - 66. Does 11 divide h?
True
Let v = -23 - -54. Is 7 a factor of v?
False
Suppose 0 = k + 3 - 1. Let d(i) be the first derivative of -6*i**2 - 3. Is d(k) a multiple of 12?
True
Let c(z) = 76*z**2. Is c(1) a multiple of 19?
True
Suppose -2*a - k = -5*k, 0 = a + 3*k - 5. Suppose 2*g + a*n = -2*g + 10, -1 = -3*g + 5*n. Does 2 divide g?
True
Suppose -2*j + 3*k = 15, -5 - 6 = j - 5*k. Let x = 17 + j. Let t = x + 9. Does 10 divide t?
True
Let a(b) = -71*b**2 + 4*b - 3. Let n(r) = 141*r**2 - 7*r + 5. Let p(t) = 5*a(t) + 3*n(t). Does 25 divide p(-1)?
False
Let c = -14 - -22. Is 3 a factor of c?
False
Let j be (1/6)/(5/30). Is 17 a factor of j/(-1 + 66/65)?
False
Let n(g) = -g**2 - 7*g + 6. Let l be n(-7). Suppose 3*p - l*p + 4*i + 140 = 0, -4*p = i - 193. Does 18 divide p?
False
Let z(u) = -u + 3. Suppose 4*j - 5*x = 89, j + 0 - 1 = -3*x. Suppose -2*g - 3 - 12 = s, -4*g - j = 0. Is z(s) a multiple of 4?
False
Suppose x + 2 = 4. Is 1/(-2) + 77/x a multiple of 15?
False
Is 15 a factor of (14 - -59) + (-1 - 0)?
False
Suppose -y - 2*y = 3*c - 153, c - 4*y - 51 = 0. Let z = c - 36. Does 9 divide z?
False
Is 466/4*(2 - (1 - 1)) a multiple of 29?
False
Suppose -7*q = -5*q - 34. Let n = 20 + q. Does 12 divide n?
False
Let t be 3/(0/(-3) + -1). Let d be 123*(1/t)/(-1). Suppose -4*u + 43 + d = 0. Does 9 divide u?
False
Let g(r) = 15*r + 7. Let y(f) = -16*f - 8. Let h(c) = -6*g(c) - 5*y(c). Is h(-5) a multiple of 16?
True
Let i(s) = 3*s**2 + s - 6. Does 3 divide i(3)?
True
Let w(i) = i**2 + 6*i - 2. Let v(f) = -f. Let k(x) = v(x) - w(x). Is k(-5) a multiple of 4?
True
Let n be 3/9 - (-96)/9. Let v = 27 - n. Does 8 divide v?
True
Let i = 1559 + -999. Suppose 3*s = -2*s + i. Suppose -g - g + s = 0. Is 16 a factor of g?
False
Let f(j) = j**2 - 3*j - 5. Let n be f(-5). Suppose 5*q - 5*p = n, -q - 3 = -2*p - 14. Is 3 a factor of q?
True
Suppose 0*r = 2*r - 3*n - 7, 4*r = 2*n + 18. Suppose 4*i = -12, r*i + 33 = -3*a + 135. Is a a multiple of 21?
False
Let o = 37 + 11. Does 8 divide o?
True
Suppose -17 = -5*b + 8. Suppose -2*q - 4*d + 3*d = -43, 3*q = -3*d + 60. Suppose f + q = 2*n + 4*f, 5*n - 5*f + b = 0. Is n even?
True
Is (-2)/(-2) + 94 + -2 a multiple of 31?
True
Suppose -5*v - z + 315 = -1055, -4*z = 20. Suppose -a - 4*a + v = 0. Is a a multiple of 19?
False
Suppose 3*n = 117 - 21. Let g = n + -12. Let w = g - 4. Does 16 divide w?
True
Let f(i) = i**3 + 10*i**2 + 10*i + 7. Let k be f(-9). Let j(s) = -3*s**3 + 2*s**2 + 2*s - 2. Does 26 divide j(k)?
True
Let c(o) = o**2 - 2*o - 3. Let n = 16 - 10. Is c(n) a multiple of 13?
False
Let z(h) = -h. Let b be z(-1). Does 19 divide 33/(-1 - (b + -3))?
False
Let l(s) = -s**2 - 19*s + 6. Is 40 a factor of l(-17)?
True
Let p = 3 - -1. Suppose -4*s + 79 = 5*f - s, 2*f - 16 = p*s. Does 14 divide f?
True
Let j(i) = -i**2 + 6*i + 9. Let b be j(8). Let o = -4 - b. Suppose -c - 2*c + 3*s + 57 = 0, 97 = o*c + 5*s. Does 14 divide c?
False
Suppose 3*q - 2*q = 2. Suppose q*v - v = 2. Is 2 a factor of v?
True
Let q = 102 - 29. Suppose -2*p + 17 = -q. Suppose 0 = 5*z + 15, 0 = 4*v - 2*v - z - p. Does 12 divide v?
False
Let f = 3 + 3. Is 3 a factor of (-10)/(-1)*3/f?
False
Let q = -9 - -5. Let c be 5/2 - (-2)/q. Is c/6 - (-204)/9 a multiple of 8?
False
Suppose 53 = 6*v - 307. Is v a multiple of 12?
True
Let s(p) = 7*p + 5. Let x be s(-4). Let i be (-2 - -1)*(0 - x). Let d = 36 + i. Is d a multiple of 13?
True
Let w(a) = -a**3 + 5*a**2 + 2*a + 6. Let h be w(4). Suppose 0 = -3*c + 6, j - c = -0*j + h. Does 16 divide j?
True
Let h(f) = 34*f**2 - 1. Let k be ((-1)/2)/((-1)/10). Suppose 0 = v - 6*v - k. Is h(v) a multiple of 21?
False
Does 21 divide 8/(16/42)*1?
True
Suppose -2*m - 5 = 3*m + 3*q, 9 = 2*m - q. Let x = m + 3. Is x a multiple of 4?
False
Let c = 152 - -163. Is c a multiple of 35?
True
Suppose -15 - 63 = -4*w - 2*f, 2*w - 41 = f. Suppose 2*d + 6 - 16 = 0. Suppose -4*a + w + 20 = 5*t, 85 = d*t - 5*a. Is t a multiple of 8?
False
Suppose r = -3*w + 42, 200 = 4*r + 5*w - w. Does 29 divide r?
False
Let c be (-4 - -5)/((-1)/(-2)). Suppose 3*y = c*t - y, 2*y = 4*t - 6. Suppose 0 = g + t*g - 9. Does 3 divide g?
True
Let n(o) = -15*o**2 - 5*o + 3. Let f(a) = 7*a**2 + 3*a - 2. Let i(q) = -5*f(q) - 3*n(q). Let v = -2 + 1. Is i(v) a multiple of 11?
True
Let p(l) = 3*l + 5. Let j be p(-4). Let t = j - -5. Is (-3 + 5)/(t/(-24)) a multiple of 12?
True
Let n(i) = i**3 + 2*i**2 - 3*i. Is n(3) a multiple of 36?
True
Let p(l) = 2*l + 15. Does 2 divide p(-6)?
False
Suppose 3*c + 5*s - 5 = 5*c, 3*s = 3. Suppose c = -p - 2*p - 6. Is 6 a factor of 0*p/(-6) - -6?
True
Let l(x) = -x**2 - 2*x + 8. Let d be l(-6). Does 13 divide (0 + 3 + -5)*d?
False
Let s(p) = p**2 + 5*p - 6. Let v be s(-6). Suppose 4*d + 8 = v, 0 = -4*q - 0*d + 3*d + 54. Is 21 a factor of ((-22)/1)/(q/(-30))?
False
Let t(w) = 26*w**2 + 3*w + 3. Is t(-1) a multiple of 13?
True
Let j(x) = 2*x - 10. Is j(10) a multiple of 3?
False
Does 29 divide (-1)/((-2)/(-4)) + 31?
True
Suppose -3*j = -4*n + 1, -8*j + 4*j = 5*n - 40. Suppose 2*b + 3*z - 61 = 0, 2 - 17 = -j*z. Is 13 a factor of b?
True
Suppose 2*r + 3*r - 45 = 0. Is 3 a factor of r?
True
Suppose -n = -l - 39, n = 3*l - n + 113. Let i = -53 + l. Is (-6)/4*i/6 a multiple of 10?
False
Let v(q) = -2*q + 3*q + 15*q - 2. Let b be v(5). Suppose o - b = -2*o. Is o a multiple of 13?
True
Suppose 0 = -10*o + 5*o - 205. Suppose -3*s + 28 + 167 = 0. Let a = o + s. Is 21 a factor of a?
False
Let c = 129 - 66. Does 11 divide c?
False
Let i(n) be the third derivative of -n**4/24 + 5*n**3/6 - n**2. Let d be i(5). Suppose -5*u + 66 = 2*o, o - u - 6 - 20 = d. Is 13 a factor of o?
False
Let s = 2 - 4. Let w = s - -14. Suppose 0*g + w = g. Is g a multiple of 12?
True
Suppose 3*f + 92 = -3*j + 5*j, -4*j + 5*f + 188 = 0. Suppose -j = -v + 4*h, v - 6*v + h + 355 = 0. Is v a multiple of 18?
True
Suppose 3*a = -5*f + 90, -4*a = -f - 3*a + 18. Is f a multiple of 9?
True
Is ((-26)/(-91))/((-8)/(-14))*288 a multiple of 12?
True
Is 5 a factor of 24/(-84) + (102/14 - 2)?
True
Let u(s) be the first derivative of s**5/20 + s**4/24 - s**3/6 + s**2 - 2. Let y(x) be the second derivative of u(x). Is y(1) even?
False
Suppose 2*v + 4*q = 22, -3*v - q = -v - 31. Does 17 divide v?
True
Suppose -w - 33 = -v, -v - 5*w = -w - 48. Is v a multiple of 18?
True
Suppose 3*j + 140 = 8*j. Suppose -c + 5*c = 4*f - j, 3*f - 27 = -3*c. Is f a multiple of 4?
True
Let l = 3190 - 2233. Suppose -4*f + 3*o + l = -0*f, 2*o = -4*f + 962. Is f/11 + (-12)/(-66) a multiple of 11?
True
Let k = -15 + 16. Let w(d) = -2 + 11*d**2 + 19*d**2 + 3 - d. Is w(k) a multiple of 11?
False
Let f(g) = -g + 23. Let c be f(0). Let h = -10 - -13. Suppose -5*d + 19 = 2*m, c = h*d + d - m. Is 3 a factor of d?
False
Let b = 86 - 59. Does 3 divide b?
True
Let b(z) = -z**3 + 5*z**2. Let r be b(5). Suppose 4*o - 44 = -r*o. Let p = 37 - o. Does 9 divide p?
False
Let u(o) = 173*o + 1. Does 29 divide u(1)?
True
Is 10 a factor of 1/(3*(-4)/(-240))?
True
Let r = -4 - -13. Suppose 0 = -4*l + 11 + r. Let p(m) = m**3 - 6*m**2 + 6*m + 5. Does 9 divide p(l)?
False
Let p = 25 - 35. Let o = p + 8. Is 6 a 