) even?
False
Let x = -43 + -2. Suppose 0 = -4*s + 373 - 121. Let q = x + s. Does 7 divide q?
False
Let m(a) = 13*a - 6. Is m(2) a multiple of 20?
True
Let x be (2 - 3)*(-2 - 1). Does 21 divide 65/x + 6/(-9)?
True
Suppose -5*o + 0*o + 10 = 0. Suppose 0 = o*s + 8, -3*s + 0*s = 5*d - 148. Does 7 divide d?
False
Let y(k) = -k**3 + 5*k**2 + 7. Does 7 divide y(5)?
True
Suppose -2*l + 0*l + 10 = 0. Suppose 5 = 4*m + 5*f - 243, l*m = 2*f + 277. Is m a multiple of 16?
False
Let c be (-1 + -9)/((-9)/90). Does 15 divide (2/5)/(1/c)?
False
Let t = 42 - 26. Let o = -8 + t. Suppose -5*b + 41 = -4*a, 4*a - o = -5*b + 1. Is b a multiple of 5?
True
Let i(l) = -l**3 - 6*l**2 - 4*l + 7. Let f be i(-5). Suppose 3*x = q + 77, -5*x = -0*x + f*q - 121. Is 15 a factor of x?
False
Does 5 divide -1*(-2 - -1 - 7)?
False
Suppose -t - 4*t = -210. Is 7 a factor of t?
True
Is 8*(-6)/(-36)*(-27)/(-2) a multiple of 4?
False
Let m(p) = 4*p - 2. Let l be m(2). Let w = 6 + l. Is 11 a factor of w?
False
Let d = 9 - -27. Is 12 a factor of d?
True
Let r(v) = -v + 19. Let s be r(0). Let o = 5 + s. Does 12 divide o?
True
Suppose 5*x - 4 = -3*t + 3, -3*t + 3*x + 15 = 0. Suppose -4*g = -z - 221, -g - t*z + 39 = 5. Suppose -3*v = -g + 9. Is v a multiple of 15?
True
Let v(t) = -t**3 - 7*t**2 - 7*t - 2. Let g be v(-6). Suppose 195 = g*z - s, -z - s + 70 = 3*s. Does 10 divide z?
True
Let h(r) = r. Let a be h(0). Suppose a = -3*u + 12. Suppose 0*v + 7 = -t - 3*v, -t = u*v + 11. Does 2 divide t?
False
Let w = -43 + 100. Is 11 a factor of w?
False
Let y = -13 + 17. Suppose -4*w - a + 91 = -y*a, -3*a - 25 = -w. Does 11 divide w?
True
Suppose -5*f + 280 = 3*p, 0 = 3*p + p - 3*f - 354. Does 9 divide p?
True
Let v(j) = 13*j + 29. Does 20 divide v(7)?
True
Let a(w) = -3*w**2 - 1 - 2*w**3 + 2*w**3 - w - w**3. Let r be a(-3). Suppose 6 + 6 = r*p. Is p even?
True
Let l = 2 + -1. Let g be (2 + l)*(-8)/6. Let b = 16 - g. Is b a multiple of 20?
True
Let z(p) = p - 3. Let o be z(5). Suppose 3*s = -o*f + 57, 2*f - 3*s - 15 = 48. Is f a multiple of 10?
True
Suppose -13*l = -4*l - 171. Is l a multiple of 4?
False
Let s(f) = f**3 - 4*f**2 + 4*f. Is 2 a factor of s(3)?
False
Let r be 141/12 + (-1)/(-4). Suppose -r = a - 58. Suppose 5*w - 5*z - 18 - 87 = 0, 0 = 2*w + 2*z - a. Does 11 divide w?
True
Suppose 3*n = 3*j - 237, 4*n - 3*j + 225 + 93 = 0. Let m = n - -129. Does 30 divide m?
False
Suppose -2*f - 700 = -7*f. Suppose 2*n - f = k, -3*k + 243 = 4*n - 37. Is n a multiple of 13?
False
Let l be -12 + 2 + 1 + -1. Is 19 a factor of (-590)/(-18) - l/45?
False
Let q be 2 - 3/3*0. Suppose -2*f + q = -4. Suppose f*g = 5*g - 6. Is g a multiple of 3?
True
Suppose 0 = 6*n - 4*n + 5*o - 106, 3*o = 4*n - 160. Does 21 divide n?
False
Let x(d) be the third derivative of d**5/60 + d**4/24 - d**3/3 + 5*d**2. Let m(i) = -i**2 + 3*i + 5. Let v be m(5). Is 18 a factor of x(v)?
True
Let s(w) = -3*w**2 - 2*w**3 + 2 + 0*w**2 + 0*w**2. Does 2 divide s(-2)?
True
Let d = -12 + 42. Let x = 56 - d. Is x a multiple of 14?
False
Let c be (1/2)/((-1)/4). Let t be (2/5)/(c/10). Let h = t - -7. Does 4 divide h?
False
Let s be 0 + 4/(-6)*-3. Suppose 0*x = -n - x + s, -5*n + 10 = 3*x. Suppose -3*i = 5*j - 22, -j - 46 = -3*i - n*i. Is 4 a factor of i?
False
Let k(y) = y**2 - 6*y + 5. Let s be (-2)/(8/(-12)) + 5. Is 12 a factor of k(s)?
False
Suppose 6*l - 4*l - 4 = 0. Suppose -3 = -l*q + 11. Is 4 a factor of q?
False
Let m be 4/(-6) - (-6)/(-18). Is 7 a factor of m/((8/(-4))/28)?
True
Let m = -130 - -207. Is m a multiple of 7?
True
Let d(y) = -3*y - 3*y + 2 + 3*y + 4*y. Does 4 divide d(4)?
False
Let y(c) be the second derivative of c**4/12 + 5*c**3/6 + 3*c**2 + c. Is 16 a factor of y(-9)?
False
Suppose 5*c - g - 172 + 40 = 0, g - 3 = 0. Let b = c - 9. Let q = b - 12. Does 4 divide q?
False
Suppose 4*q = -2192 + 464. Is q/6*(-1)/2 a multiple of 9?
True
Let l = 55 - 89. Let m = l - -62. Is m a multiple of 14?
True
Suppose 0 = 3*w + 2*w - 340. Is w a multiple of 34?
True
Suppose 0 = 4*y - 5*w - 27, -5*y + 0*y - 4*w + 3 = 0. Is y a multiple of 3?
True
Let g = 5 + -5. Suppose 5*q + 4*i - 143 = g, -2*q + i - 2*i = -59. Does 12 divide q?
False
Let v = 166 - 112. Is v a multiple of 27?
True
Suppose -2*o - 64 = -4*o. Suppose 8 = 4*t - o. Does 5 divide t?
True
Suppose -5*y - 15 = -2*y. Let a = 6 - y. Does 11 divide a?
True
Suppose -5*p + 10*p - 10 = 0. Suppose 6*h - 3*h - 5*l - 24 = 0, -9 = -p*h + l. Does 13 divide -6*-2*9/h?
False
Let h(y) = 5*y + 4. Let v be h(4). Suppose -v = 5*k - 109. Is 8 a factor of k?
False
Is 538/14 - 3/7 a multiple of 15?
False
Let f = 4 + -1. Suppose 0 = f*h + 2*h - 25, 4*o + 2*h = 30. Suppose -37 = -2*z - c - 10, -2*z + 47 = o*c. Does 11 divide z?
True
Let f(k) = -11*k + 4. Let u(j) = -45*j + 17. Let l(x) = -9*f(x) + 2*u(x). Let p be l(-6). Let y = p - -98. Is y a multiple of 21?
True
Let q be (-118)/(-3) - (-6)/(-18). Suppose -27 = 5*p + 108. Let b = p + q. Does 6 divide b?
True
Let m = -17 - -9. Does 15 divide -3*10/6*m?
False
Is 13 a factor of 7/((-21)/12) + 88?
False
Suppose 2*w - 13 + 45 = n, 0 = 4*w - 20. Does 7 divide n?
True
Suppose 2*z = -d + z + 53, -3*d + 3*z + 171 = 0. Suppose -3*x - d = 92. Let y = -18 - x. Is y a multiple of 12?
False
Let w = 3 + 6. Let n be (-8)/(2 + 32/(-14)). Let b = n - w. Does 8 divide b?
False
Is 12/54*3 - 745/(-3) a multiple of 10?
False
Suppose -46*d = -41*d - 435. Does 13 divide d?
False
Let p = 75 - 47. Let c = 44 - p. Is 8 a factor of c?
True
Suppose 4 = -4*f - 0. Let k be (8/(-6))/(f/3). Does 14 divide k/(-6) + 44/3?
True
Suppose -42*f = -39*f - 252. Is f a multiple of 7?
True
Suppose 4*s - 38 = 2*p, 5*p - 9 + 80 = 2*s. Let l = p - -24. Is 8 a factor of l?
False
Let l(x) = 3 - 5*x**2 - 2*x + 3*x**2 + 5*x**2. Is l(2) a multiple of 3?
False
Let z = 160 + -135. Is 4 a factor of z?
False
Let g(z) be the third derivative of z**5/30 - z**4/24 + 5*z**3/6 - 7*z**2. Does 17 divide g(-3)?
False
Let g be (-4)/(-5)*1225/10. Does 8 divide 2/(-12) + g/12?
True
Suppose 0 = 4*a - 2*a - 8. Let d = a - -1. Does 3 divide d?
False
Let j(c) = c**2 - 4 - 5*c + 0*c**2 + 2*c. Let z be 17/3 - (-4)/(-6). Is 6 a factor of j(z)?
True
Let a(j) = j**3 + 3*j**2 - 2*j - 4. Let d be a(-3). Suppose d*z + 0*z = 108. Is z a multiple of 15?
False
Suppose i - 6*i = 0. Suppose i = -q + 5*q - 256. Let x = q - 36. Is x a multiple of 14?
True
Let i = -26 + 62. Is i a multiple of 12?
True
Let p(i) = 5*i + 7. Let z be 1 - 2 - (0 + 1). Let q(m) = -m**2 - 24*m - 35. Let l(a) = z*q(a) - 11*p(a). Is 10 a factor of l(6)?
False
Let s be 8/6 + (-4)/12. Let k = s - 1. Suppose 5*g = -z - k + 149, -3*z - 63 = -2*g. Is g a multiple of 15?
True
Let y(s) = s**2 + 2*s + 7. Is y(-6) a multiple of 16?
False
Suppose 0*l + 25 = 5*l. Suppose -l*q = -7*q + 4. Is q even?
True
Suppose -o - 8 = -3*o, -o - 23 = w. Does 13 divide (-1047)/w + (-4)/(-18)?
True
Let n = 219 - 144. Is n a multiple of 12?
False
Let l = -17 - -24. Suppose -l = 3*a + 4*u, 2*a + a + u = -4. Is -1*(-14 - -1) - a a multiple of 13?
False
Suppose 65 = -2*w - 7. Let f = w - -54. Is 9 a factor of f?
True
Suppose -114 = -11*z + 8*z. Is 14 a factor of z?
False
Suppose 0 = 2*f - 1 - 1. Suppose 0 = l - f, 2*g + 6*l - l - 19 = 0. Is 7 a factor of g?
True
Suppose t + 4*t + 75 = 0. Let k = t - -25. Does 9 divide k?
False
Suppose g - 4*k + 9 = -k, 4*g - 5*k = -15. Suppose 5*m + 0*m - 90 = g. Is 8 a factor of m?
False
Let o(q) = 11*q - 4. Let f(h) = 100*h - 35. Let r(c) = -4*f(c) + 35*o(c). Let y be r(-4). Suppose -w - 2*w = -y. Is w a multiple of 13?
False
Let u = 102 - 22. Let q = u + -39. Is 11 a factor of q?
False
Suppose -u = -3*h + 4*u + 205, 5*h = -5*u + 355. Suppose -4*g = -h + 2. Is g a multiple of 15?
False
Let f(y) = -y + 2. Let d(p) = -p**2 + 10*p - 10. Let x be d(10). Is 6 a factor of f(x)?
True
Suppose -81 = -4*i - 3*m, -4*i = i - 3*m - 81. Let l be (-4)/i - (-120)/54. Suppose -2*f + 78 = 4*c, l*c = c. Is 13 a factor of f?
True
Does 3 divide (-7)/(28/(-3))*4?
True
Let i(k) = 17*k**2 - 2. Is i(-1) a multiple of 3?
True
Suppose 3*z + 2*v + 186 = 0, -4*v + 131 = 5*z + 443. Let i be 12/(-9)*57/2. Let h = i - z. Is h a multiple of 11?
True
Let v = 99 + -54. Is 15 a factor of v?
True
Let g be (1/(-3))/((-4)/48). Suppose 5*r + 47 = k, -4*r = g*k - k - 46. Is 14 a factor of k?