6 - v = 0. Is c even?
False
Let u = -3 + 7. Is 12 a factor of (-142)/(-6) - u/(-12)?
True
Let f be -14 - (2 - -1 - 2). Let t = f + 61. Is t a multiple of 16?
False
Suppose 0 = -6*a + 3*a + 21. Let w = a - 4. Suppose q = -0*q + w. Is q a multiple of 3?
True
Suppose 2*z - 72 = 3*y - 8*y, -128 = -4*z - 2*y. Is z a multiple of 7?
False
Is 20 - (-3 - (-3 + -2)) a multiple of 5?
False
Let k(f) = 26*f - 3. Let v be k(3). Let d = 16 - 22. Does 2 divide ((-2)/d)/(5/v)?
False
Suppose 3*s = 5*z + 5 + 21, 5*z = -20. Suppose 4*g + 179 = 3*d, 281 = 5*d - s*g + 4*g. Does 19 divide d?
True
Suppose 5*v = -3*w + 42, 6 = -3*v + 6*v - 3*w. Let o = -6 + v. Suppose o = -3*j - j + 40. Is 7 a factor of j?
False
Let b(j) = -j**2 - 14*j + 8. Let p be b(-14). Is (-36)/((-6)/p*2) a multiple of 12?
True
Let r = 278 - 166. Suppose 0 = 3*p - 68 - r. Is 20 a factor of p?
True
Suppose 4*g + 46 = -5*n, 3*n + 0*n + g + 22 = 0. Let l = -28 - n. Let q = -12 - l. Is q a multiple of 10?
True
Does 6 divide 41/4 - 1/4?
False
Let t be -2 + -1*(1 + -7). Suppose t*a = 3 + 17. Does 5 divide a?
True
Let x = 13 - 11. Is x even?
True
Suppose -20 = -4*r + 4. Does 10 divide 158/r - (-2)/3?
False
Let l(s) = -2*s + 2. Let n be l(4). Let f = n + 7. Does 6 divide f/2 + (-84)/(-8)?
False
Let y = 298 - 150. Is 15 a factor of y?
False
Let m = 287 + -88. Suppose -n = 5*j - m, -2*n = -5*j - 5*n + 197. Is 20 a factor of j?
True
Let x = -66 - -162. Does 16 divide x?
True
Suppose 4*s = 19 + 1. Suppose s*m + 8 - 23 = 0. Suppose -12 = -m*o + 18. Is 10 a factor of o?
True
Suppose 3*h + 147 = 3*g, 2*h + h = 4*g - 193. Suppose -3*b + 26 = 3*l - g, -3*b - 80 = -5*l. Suppose -l - 41 = -5*d. Is d a multiple of 12?
True
Let g(k) = -k**2 + 11*k + 5. Let y be g(5). Suppose y = 4*z - 69. Does 19 divide z?
False
Is 65 + 2 + (-16)/4 a multiple of 15?
False
Let k = -2 + 2. Suppose p - 5*n - 20 = k, 4*p + 3*n - 96 = p. Let u = p - 8. Does 11 divide u?
True
Suppose -a + 62 - 19 = 0. Is a a multiple of 7?
False
Is 24*(-1 + 26/6) a multiple of 16?
True
Suppose -3*g = -4*s + g + 24, 0 = -3*s + 2*g + 14. Suppose -w = -s*w + 27. Let z = -12 + w. Does 11 divide z?
False
Let s(g) = g**3 - 6*g**2 - 5*g + 4. Is 18 a factor of s(7)?
True
Suppose 2*y + 144 = 5*y. Is y a multiple of 22?
False
Suppose 134 = -4*p + 5*p - 2*k, 0 = -4*p - k + 572. Suppose 2*m = 142 + p. Suppose -4*r = 4*c - c - m, -5*c = -10. Does 17 divide r?
True
Is 26 a factor of 762/9*9/6?
False
Suppose 5*j - 146 = 1249. Is j a multiple of 17?
False
Let x(y) = 49*y - 82. Does 53 divide x(6)?
True
Let q(d) = -6 - 3*d - 1 + d**2 + 2*d. Does 10 divide q(-5)?
False
Let a(y) = -2 + 6*y + 5*y + y + 1. Is 11 a factor of a(1)?
True
Suppose 5*h = -0*h + 15. Suppose -w = -3*o + 21, h*o = 4*w + 21 + 9. Suppose -2*c = -o*c + 24. Is 5 a factor of c?
False
Let j(g) = -g**3 - 3*g**2 - 3*g + 12. Does 22 divide j(-5)?
False
Suppose -5*y + 9 = -81. Does 2 divide y?
True
Let d(i) = -i**3 - 6*i**2 - 11*i - 12. Is d(-6) a multiple of 9?
True
Suppose 19 = 4*b - 3*t, 8*b - 3*b + 2*t = 18. Suppose -3*o - 2*f + 0*f = -14, 5*o + 4*f - 26 = 0. Suppose 0 = b*d - o*d - 38. Is d a multiple of 19?
True
Let z = 75 - 42. Is 11 a factor of z?
True
Suppose 0 - 4 = -y. Suppose 116 = 3*b - y. Is b a multiple of 10?
True
Suppose -3*y + 122 = -2*o - 0*o, 0 = o - 5. Is y a multiple of 7?
False
Suppose -3*s - 2 = -2*s. Let v = -3 - s. Does 17 divide v/(2 + 177/(-87))?
False
Let s = 4 - 2. Suppose -6 - 4 = -2*k. Suppose f - k*a + 2*a = 26, 64 = 4*f - s*a. Is 7 a factor of f?
True
Let x be 4/(-3)*(-45)/6. Does 10 divide x/(-25) - 177/(-5)?
False
Let y be 2 + 1 - (-2 - -200). Is 10 a factor of y/6*18/(-15)?
False
Suppose 3*o - 4*o - 2*s = 1, -s = 2. Suppose o*b = -b + 72. Is b a multiple of 6?
True
Let g = 7 + -4. Suppose -g*k = -2*k. Suppose k = h + 2*h - 45. Does 6 divide h?
False
Is 2 a factor of (-77)/(-7) - 0/(-2)?
False
Let n = 2 - -1. Suppose -3*j - 2*s - 19 = -4*j, s - 22 = -n*j. Is j a multiple of 8?
False
Does 10 divide (-215)/(-20) + (-3)/4?
True
Is 26 a factor of (((-558)/(-4))/3)/((-7)/(-42))?
False
Suppose 4*l + 30 = -l. Let c be 0 + -5 + -2*1. Is 37/1 - (l - c) a multiple of 18?
True
Suppose 6 = -o + 2*o. Let f(m) = 4*m + 4. Is f(o) a multiple of 14?
True
Let j(w) = 6*w**2 + 11*w - 22. Is 13 a factor of j(-7)?
True
Let v = 214 - 106. Does 19 divide v?
False
Suppose -z = 2*z - 12. Let u = z + 22. Is u a multiple of 26?
True
Let c be 27/(-45) + 174/(-10). Does 7 divide (-129)/c - (-6)/(-36)?
True
Suppose -3*q + 126 = 9. Is q a multiple of 13?
True
Suppose -3*z + 4*q + 75 = 0, -4*z + 23 = -4*q - 73. Is z a multiple of 15?
False
Is 15 a factor of ((-3)/9)/((-4)/636*1)?
False
Suppose 24 = 2*y + 5*q, y - 2*q + 14 = 2*q. Suppose 0 = y*n - 297 - 67. Suppose 0 = 5*m + u - n, 2*u - 112 = -4*m + m. Is m a multiple of 12?
True
Let h be (-12)/42 - (-807)/7. Suppose 5*y = i - h, i - 63 = -y + 58. Suppose -i = -5*d - 3*c, 2 = 5*c + 27. Does 14 divide d?
False
Let c(o) = o**2. Let h(n) = n**3 + 11*n**2 - 8*n + 5. Let j(a) = 4*c(a) - h(a). Let i be j(-8). Let v = 11 - i. Does 16 divide v?
True
Suppose -3*g - 12 + 18 = 0. Suppose -34 = -2*p - 5*t, g*t + 19 = p + 4*t. Is 27 a factor of p?
True
Is 40 a factor of 80/(-15)*(-15 + 0)?
True
Let h be 84/9*(-1 - -13). Let t be (124/6)/((-2)/6). Let c = t + h. Is c a multiple of 20?
False
Suppose 0 = b + 3*a - 3, 3 = 6*a - 3*a. Let m = b - 0. Let s(l) = -l**2 - l + 12. Does 6 divide s(m)?
True
Let q be ((-1)/(-3))/((-1)/(-9)). Suppose 3*h + q*f + 15 = 0, 0*f - 5 = 4*h - f. Is 5 a factor of 1/2 + (-11)/h?
False
Suppose 4*r + 5*u = 3*r + 22, -5*u + 29 = 2*r. Suppose -4*j + 41 = -2*x + r, -5*j + 47 = -x. Is 3 a factor of j?
False
Suppose 4*k - 5*s - 38 = k, 0 = -2*k + s + 23. Is k a multiple of 7?
False
Suppose 139 + 97 = 3*r - 4*u, -u + 355 = 5*r. Is 12 a factor of r?
True
Let m(r) = r**3 - 5*r**2 - 7*r + 7. Let v be m(6). Suppose -4*y - 22 = -3*a + 13, y = v. Is 13 a factor of a?
True
Suppose x + 0*s - 4*s = -11, 24 = -3*x + 3*s. Let w = 15 + x. Is 4 a factor of w?
True
Let j = 0 - 1. Let m(r) be the third derivative of -5*r**4/24 + r**3/6 + 3*r**2. Is m(j) a multiple of 6?
True
Suppose -2*l = -l + 5, -l = -2*s + 13. Suppose -4 - 4 = s*k. Is 9/6 + (-53)/k a multiple of 10?
False
Let j = 14 - 9. Suppose -5*f + 54 = p, -2*p + j*f - 2*f = -56. Is 14 a factor of p?
False
Let u(f) = f**2 - 3*f. Let r be u(3). Suppose p + 2*p + 18 = r. Is 4 a factor of 2/p - (-39)/9?
True
Let o = -487 + 740. Is o a multiple of 23?
True
Let w(i) be the second derivative of -i**3/2 - i**2/2 + i. Suppose 4*k - k - 3 = 0, 5*k = -2*t - 7. Does 6 divide w(t)?
False
Suppose 5*f = 3*a - 5, a = -4*f - 8 + 21. Is (-1 + a)/((-2)/(-4)) a multiple of 3?
False
Suppose 30 = -0*b - 5*b. Is 8 a factor of 29/2*b/(-3)?
False
Let d be (177/4)/((-2)/8). Let w be (-1)/2 - d/6. Suppose 5*t - t = -3*c + 38, w = 4*c + t. Is c a multiple of 6?
True
Let w = 221 - 144. Let o = 122 - w. Suppose -f - 2*v = f - 50, -v + o = 2*f. Is 10 a factor of f?
True
Suppose 392 - 11 = 3*w. Does 5 divide w?
False
Suppose 9*z - 392 = 2*z. Is z a multiple of 14?
True
Let m(y) = 2*y + 36. Is m(24) a multiple of 28?
True
Let q = 116 - 60. Is q a multiple of 14?
True
Let r(l) = -l + 3. Let f(s) = -3*s + 8. Let j(k) = -2*f(k) + 7*r(k). Let h be j(0). Let c = 17 - h. Is 6 a factor of c?
True
Let r = 11 - 20. Is (42/r)/(2/(-3)) a multiple of 7?
True
Let i = 8 - 4. Let m = i + 0. Suppose -129 = -z - 2*z - r, -5*z = m*r - 208. Does 22 divide z?
True
Let z(j) be the first derivative of 3*j**3 - j**2 - 6*j - 1. Is z(3) a multiple of 23?
True
Let g(z) = z**2 - 9*z + 7. Let t be g(9). Suppose 0*l - 60 = -4*l. Let b = l + t. Does 11 divide b?
True
Let j = 5 - 3. Suppose -j*m = -m. Suppose y - t - 8 = m, -16 = 5*y + 5*t - 46. Does 7 divide y?
True
Is 608/((-8)/(-4)) + 1 + -4 a multiple of 12?
False
Let w be ((-1)/(-3))/(3/18). Suppose -2*u = 5*m + u, -3*u = 2*m. Suppose c - w - 14 = m. Is c a multiple of 8?
True
Let t = -1 + 1. Suppose 19 = 2*g + 15. Suppose t = g*i - 9 - 3. Is 3 a factor of i?
True
Suppose 143 = -4*b + 387. Does 16 divide b?
False
Let r(o) = o**3 - 3*o**2 - o + 40. Is 13 a factor of r(0)?
False
Is 47*(-2 - -5) - (2 - 1) a multiple of 28?
True
Let v = -3 - 17. Let l be (18/15)/((-6)/v). Suppose 50 - 14 = l*m. Is m a multiple of 7?
