11 a factor of c?
True
Let w = -2 + 2. Suppose w = -2*z - 2 + 6. Does 24 divide ((-24)/(-20))/(z/80)?
True
Let j = 4 + -2. Let d be ((-2)/(-6))/((-4)/(-12)). Does 10 divide (d - -29 - j) + 1?
False
Let t be (-2 - 2)*5/(-4). Suppose -78 = -2*h - g - 13, 3*h - 91 = t*g. Does 25 divide h?
False
Suppose 5*p = d - 8, -d - 10 = -6*d - 5*p. Suppose -2*t = -d*k - 36, k - 56 = -5*t - 0*k. Is 12 a factor of t?
True
Let p = 7 - 42. Let x = p - -60. Let q = x + -12. Is q a multiple of 5?
False
Let n = 245 - 6. Is n a multiple of 32?
False
Let l(y) = -y**2 - 3*y + 5. Let p be l(-4). Suppose -21 = 3*c - 3*a, 5*c + 10 + 31 = 2*a. Let k = p - c. Does 5 divide k?
True
Let w(o) = o**3 + 2*o**2 + o + 1. Let u be w(-2). Let q(n) = -46*n**3 + n**2. Let r be q(u). Let i = r - 31. Is 8 a factor of i?
True
Suppose 133 = 3*f - 0*f - 4*b, -b - 186 = -4*f. Let j = 72 - f. Does 10 divide j?
False
Let a(c) be the third derivative of -c**4/12 - c**2. Let o(s) = 2*s - 1. Let u(k) = -4*a(k) - 3*o(k). Is 4 a factor of u(3)?
False
Let h(k) = -19*k + 9. Does 38 divide h(-3)?
False
Suppose 0 = -v - 4, -v = 5*r - 6*v - 335. Is r a multiple of 16?
False
Let h(v) = v**2 - v - 4. Let j be h(4). Let p = 9 - j. Let n(c) = 42*c - 1. Is n(p) a multiple of 19?
False
Let y(k) = 15*k + 13. Let m(c) = -7*c - 7. Let x(q) = -13*m(q) - 6*y(q). Let s be (-6)/4*2*(1 + 1). Is 4 a factor of x(s)?
False
Suppose -h - w = -2*w - 41, -2*w + 4 = 0. Is 12 a factor of (2 - h)*(-4 - -3)?
False
Let r(a) = 4*a**2 - 2*a + 1. Let q be r(1). Let g be (4/q)/(10/45). Does 7 divide -15*g*(-2)/9?
False
Let q = 120 + -3. Is q a multiple of 39?
True
Let r(x) = -5*x - 10. Does 10 divide r(-10)?
True
Let n(a) = 7*a - 49. Does 15 divide n(19)?
False
Does 17 divide (-46)/(-3) - (-16)/24 - -1?
True
Let k = 5 - 2. Let y = 12 - k. Does 7 divide y?
False
Suppose 4 = -n + 7. Suppose -n*z - 10 = -4*z. Is 5 a factor of z?
True
Let b(m) be the third derivative of -m**6/120 - 3*m**5/20 + 3*m**4/8 + 7*m**3/3 + m**2. Does 6 divide b(-10)?
True
Let a(x) be the third derivative of x**4/12 + 3*x**3/2 + 6*x**2. Does 7 divide a(10)?
False
Let b(t) = 7*t**2 + t. Is b(3) a multiple of 33?
True
Let w = -3 - -28. Let t = w - -29. Does 23 divide t?
False
Let b be (137/(-2))/((-2)/4). Does 14 divide b/5 - 8/20?
False
Suppose -3*f - 4*c + 134 = 0, -c + 5*c + 160 = 4*f. Does 3 divide f?
True
Suppose -4*y - 1 = -5*f, -f - 4*f + 7 = 2*y. Is 12 a factor of 84/3 - 3 - y?
True
Let n(q) = q**2 - 12. Suppose -x = -4*x. Let u be n(x). Is 11 a factor of 70/6 - (-8)/u?
True
Suppose y + 2*k - 118 = 7*k, 5*k = 5*y - 490. Does 31 divide y?
True
Is 34 a factor of 18/45 - (-263)/5?
False
Suppose 0 = 2*k + 3*z - 97, -2*k = k - 4*z - 171. Is 15 a factor of k?
False
Let n be (-10)/(-2)*(-2)/(-5). Suppose 16 = -n*a + 72. Is 14 a factor of a?
True
Does 5 divide 2/(-4) + 62/4?
True
Let k = 95 + -63. Let h = k + -16. Is h a multiple of 4?
True
Let m(s) = s + 195. Let h be m(0). Suppose -2*x + 79 + 4 = k, -5*x - 5*k = -h. Does 22 divide x?
True
Is 12/(-4) + 2 + 85/1 a multiple of 6?
True
Let a = 136 - -269. Suppose -5*d + 0*d + a = 0. Suppose -2*h = h - d. Is h a multiple of 8?
False
Let f = -33 - -22. Let a = f - -7. Let c(p) = 2*p**2 + 6*p + 4. Is c(a) a multiple of 12?
True
Let b = 15 + 5. Let y be (-155)/b + (-2)/8. Let m = 49 + y. Does 20 divide m?
False
Let l be ((-6)/(-5))/(3/10). Suppose -4*a = -0*a + 32. Is 36/a*-1*l a multiple of 14?
False
Let r be 15/6*2*6. Let j = r - 18. Is j a multiple of 4?
True
Let b = 203 + -113. Does 13 divide b?
False
Suppose 3*i - 72 = r + 3*r, 24 = i + 4*r. Is i a multiple of 4?
True
Let j = 14 + -12. Suppose k + j = 12. Is 10 a factor of k?
True
Suppose 4*v - 5 = -v. Let l be 4*(38/(-8) - v). Let z = l + 34. Is 11 a factor of z?
True
Let z = 443 - 110. Does 18 divide z?
False
Let g = -3 - -4. Suppose t - 1 = 0, -4*u + u - 4*t = -13. Is 9 a factor of g + (18 - 3/u)?
True
Suppose k = 30 + 15. Is 15 a factor of k?
True
Let b(g) = g**3 - g**2 + g - 2. Let s be b(2). Suppose -m + s*j - 6 + 2 = 0, -2*j + 14 = m. Does 8 divide m?
True
Let u be 5 + (-2 + 1)/1. Suppose -u*h - 237 = -37. Let y = -28 - h. Does 11 divide y?
True
Suppose -b + 1 - 4 = 0. Let y(z) = -8*z + 3. Is y(b) a multiple of 7?
False
Suppose 0 = -5*l + 5*c + 595, -3*l - 2*c + 4*c = -358. Does 11 divide l?
False
Let n(y) = -y**3 - 7*y**2 - 9*y - 7. Let f be n(-7). Is 2 a factor of ((-4)/16)/((-2)/f)?
False
Let w = -9 - -8. Is 9 a factor of 37 - (0/4 - w)?
True
Let v(b) = -3*b - 2. Let o(a) = -a - 10. Let d be o(-7). Is 4 a factor of v(d)?
False
Suppose -3*b + 8 = -b. Is 3 a factor of (-1)/(-4) - (-23)/b?
True
Is 2/(-2) + (-3 - -6) a multiple of 2?
True
Let z(i) = -3*i + 4. Let r be z(-3). Suppose -5*h = r - 3. Is 7 a factor of h - 5/(10/(-32))?
True
Let w = -3 + 6. Suppose -2*j - 2*j = -2*u - 10, -w*j + u = -7. Suppose -j*t + 7*t = 15. Is t a multiple of 3?
True
Let m be 6/(-4)*32/(-12). Suppose -7*q + m*q + 120 = 0. Does 12 divide q?
False
Suppose 5*y - 16 = -2*k, -5*y + 13 = -0*y + k. Let p(q) = -3*q**2 + q**2 + y + q**3 + q + q - 6*q**2. Is 6 a factor of p(8)?
True
Let a(k) = -2*k**3 - 3*k**2 + 4*k + 1. Let w be ((-12)/(-16))/(2/(-8)). Does 6 divide a(w)?
False
Let q(c) = 10*c - 2. Let i be (-94)/(-18) - (-14)/(-63). Does 14 divide q(i)?
False
Let k(w) = -16*w - 5. Is k(-3) a multiple of 25?
False
Does 32 divide (-8028)/(-20) + 10/(-25)?
False
Let q(j) be the second derivative of -13*j**5/120 + j**4/12 - j**3/2 + 3*j. Let i(v) be the second derivative of q(v). Is i(-2) a multiple of 16?
False
Let w be (-1 + -1)/(-7 + 9). Is 18 a factor of 4 - 56/(w + -3)?
True
Suppose -3*n + 572 = 4*m, -m + 19 = 2*n - 354. Does 23 divide n?
True
Let a(s) = -40*s - 1. Let n = -25 - -24. Is a(n) a multiple of 13?
True
Let i(d) = -2*d - 5. Let h be i(-4). Let l = h + -3. Suppose 5*o = 3*n - 40, l*o - 25 = -3*n + 2*o. Is 5 a factor of n?
True
Let n(i) = i**2 + 6*i - 7. Let h be n(-7). Suppose h = -2*s - 1 + 3. Suppose 4*b = -0*l + 4*l + 68, -3*l + s = b. Does 13 divide b?
True
Suppose -u + 4 + 25 = 0. Does 13 divide u?
False
Let v be 6/7*(0 + 7). Suppose v = 6*g - 5*g. Let f = g + 10. Is 10 a factor of f?
False
Suppose 32 = 3*q - 16. Let f be (-2)/6 - q/(-3). Suppose -f*i + 28 = w, 5*i - 110 = -3*w + 3*i. Does 19 divide w?
True
Suppose -2*t + 220 = 52. Is t a multiple of 29?
False
Let d = -5 + 103. Is 14 a factor of d?
True
Let r = -5 - -5. Suppose 3*n + 0*n = k, -2*n = r. Let f(l) = l**3 + l + 9. Is f(k) a multiple of 9?
True
Suppose 10 = 2*w, -5*d + 162 + 108 = w. Is d a multiple of 10?
False
Suppose -221 = -2*z - 0*p + p, 4*z - 5*p = 433. Is z a multiple of 16?
True
Let n be 2/(-8) - 21/(-4). Suppose -4*y + 3*m = -8, 4*m = 4*y - m - 8. Suppose 3*d = y*d + n. Is d a multiple of 3?
False
Let y(r) = -r**3 + 5*r - 1. Is 13 a factor of y(-4)?
False
Suppose -y = 5*o - 210, -2*y = -5*o + 2*y + 185. Let x = -38 - -22. Let b = o + x. Is 9 a factor of b?
False
Does 27 divide 1400/26 + (-8)/(-52)?
True
Let f be (3/6)/((-1)/(-8)). Suppose 5*y - 35 = -2*o, 0*o + f*o = -5*y + 65. Let q = o + -6. Does 9 divide q?
True
Suppose 7*m + q = 4*m + 491, -329 = -2*m + q. Is m a multiple of 41?
True
Suppose -30 = -m + 5*z, 2*z = -4*m + 13 - 3. Suppose l = m*l + 72. Let o = l + 61. Does 18 divide o?
False
Let w(p) = -2*p + 2. Let f be w(-2). Let x(j) = 21*j**3 - j. Let t be x(1). Let r = t - f. Is r a multiple of 7?
True
Let j be 0/((-9)/(-3) + -2). Is (-3)/((j + 3)/(-39)) a multiple of 19?
False
Let w be 2/(-4)*(-6 - 4). Let k(g) = g. Is k(w) a multiple of 5?
True
Let f(v) = -7*v**3 + 5*v**2 + 15*v - 7. Let i(g) = -6*g**3 + 5*g**2 + 14*g - 7. Let r(j) = -5*f(j) + 6*i(j). Is r(6) a multiple of 11?
True
Suppose 7 = -s + 2. Let u(f) = f**2 + 3. Does 13 divide u(s)?
False
Suppose d = 13 + 33. Is d a multiple of 16?
False
Let l(p) = -3*p**2 + 3. Let h(f) = -2*f**2 + f + 3. Let c(r) = 4*h(r) - 3*l(r). Is c(-6) a multiple of 5?
True
Is 14 a factor of 28/((-80)/(-35) - 2)?
True
Suppose 3*l + 0*u - 5*u = -11, -3*l = -3*u + 3. Suppose 0 = -l*v + 2*v - 5*c - 5, 64 = 4*v - c. Suppose -5*g + 4*o = -55, g - v = o - 4. Is g a multiple of 7?
False
Let d(u) = 3*u**2 + u - 4. Let i(k) = -3*k**2 + 1 - k**3 - 3*k**2 + 3*k**2. Let c be i(-2). Does 20 divide d(c)?
True
Let d(w) = 2*w**2 - 5*w + 3. Let m be d(3). Is -46*(-3 + 