 24. Is y even?
False
Let d be (-3 - (1 - -3298))*1/(-2). Suppose 0 = 2*t - 123 - d. Is 39 a factor of t?
False
Let j(h) = 51*h - 11. Let d be j(15). Is 32 a factor of (27/54)/(1/d)?
False
Does 121 divide 8505/270*(1 + 241)?
True
Suppose 4*x - 16 = -4*x. Let a be ((-65)/(-26))/(1/x). Suppose -a*u - p + 0*p + 500 = 0, -100 = -u + 3*p. Does 24 divide u?
False
Let l(m) = 210*m + 132 - 490*m + 167*m. Is 58 a factor of l(-10)?
False
Suppose -5*s - 507*d = -506*d - 4508, 4529 = 5*s - 2*d. Does 5 divide s?
False
Suppose 2*k = 4*k + 5*z + 7, -5*k + 4*z + 32 = 0. Is 10 a factor of 10/(3/10 - k/(-20))?
True
Suppose -2*v + 29*t - 32*t = -6207, 3*t = 4*v - 12405. Is 47 a factor of v?
True
Suppose -69073 + 2950597 = 327*y. Is 154 a factor of y?
False
Suppose -3*t = 5*x - 102, 5*t - 7*t + 19 = x. Suppose 24*w - 930 = x*w. Does 18 divide w?
False
Let a(x) = -x**2 - 46*x + 204. Let w be a(4). Let u = 2 + 0. Suppose 3*l = -w*y + 117, -l - 3*y + 120 = u*l. Is l a multiple of 9?
False
Suppose -3*t + 14*t - 4268 = 0. Suppose 3*p - 3*s - 2 - 22 = 0, 4 = -s. Suppose -5*w + 485 = -p*u, 5*u = -5*w + w + t. Is 17 a factor of w?
False
Let p(k) = -k**3 + 40*k**2 + 20*k - 180. Is 169 a factor of p(34)?
True
Let h = 691 - 1225. Let v = -232 - h. Is 16 a factor of v?
False
Suppose 12*w - 11*w = 1020. Suppose -38*s = -50*s + w. Is 2 a factor of s?
False
Suppose 34*b - 88373 = 298343. Is b a multiple of 11?
True
Let o(i) = 2*i**2 + 5*i - 6. Let b be o(-4). Let a(m) = 2*m**3 - 4*m**2 - 5. Let k(n) = n**3 - n**2 - 1. Let l(t) = b*k(t) - a(t). Is l(4) a multiple of 36?
False
Let b(q) = q**3 + 10*q**2 + 13*q + 30. Let d be b(-9). Let g = 8 + d. Suppose 172 = g*p + 6*t - 2*t, 4*p - 329 = -5*t. Is 19 a factor of p?
True
Let y = 15 + -25. Let n = -3172 - -3134. Does 5 divide (n/(-4))/((-1)/y)?
True
Let b = 11638 - 7942. Does 28 divide b?
True
Suppose j - 573 = -j + 5*f, -3*f = -j + 284. Let v be (-2)/3 - j/69. Is 13 a factor of -1*250/v - -2?
True
Suppose 0 = -86*g + 72272 + 13986. Is g a multiple of 17?
True
Let w be 10/(-35) - (135/(-7) - -2). Let n = w - -666. Is 15 a factor of n?
False
Suppose 97*f = 402256 + 443487. Is f a multiple of 28?
False
Let x be 5 + 2 + -5 - -279. Let k = -114 + x. Does 19 divide k?
False
Suppose 2*s = 3*z + s - 944, 0 = -4*z - 5*s + 1227. Suppose 10 = -5*u - 5, -4*j = u + 791. Let f = j + z. Is f a multiple of 29?
True
Let m = 54 - 66. Let n = m + 21. Suppose n*j - 3*j - 78 = 0. Does 6 divide j?
False
Let i(r) = -11*r + 28. Let t be (-2 - (-8 + 3))*(-4)/4. Is 17 a factor of i(t)?
False
Let x = -282 + 274. Does 23 divide 23/(x/3 + 3)?
True
Let s(p) = 23*p + 69. Let d be s(-3). Suppose d = -10*n + 4507 - 1707. Is 7 a factor of n?
True
Let a be (900/(-14) - 1) + (-30)/(-105). Let b = a - -65. Suppose b = 5*o + 3*u - 907, -2*o + 3*u + 369 = -2*u. Is 14 a factor of o?
True
Suppose 63 + 165 = 2*b. Let v be b/(-21) - 6/(-14). Let m(j) = -j**3 + 7*j**2 + 4*j + 5. Is 51 a factor of m(v)?
False
Let h(j) = -91*j**3 - 21*j**2 + 4*j + 6. Let m(i) = 18*i**3 + 4*i**2 - i - 1. Let g(q) = 2*h(q) + 11*m(q). Suppose 0*w = w - 1. Is 16 a factor of g(w)?
True
Suppose 3*s = -6*r + 41316, 3*s = 2*r - 14407 + 55755. Is s a multiple of 10?
True
Let b(p) = 825*p - 57. Let a(s) = -412*s + 29. Let x(g) = 5*a(g) + 2*b(g). Does 23 divide x(-2)?
True
Let u(i) = 3404*i + 1517. Is u(7) a multiple of 185?
True
Suppose 3*z - 7932 = -5*u, 6 = -4*z + 2. Suppose -11*i = -u - 1339. Is 19 a factor of i?
True
Let m be ((-1)/2)/((-5)/1140). Suppose -m + 20 = -x. Is 8 a factor of x?
False
Let c = 1 - -8. Suppose 0 = -2*h + 7 + c. Suppose -5*j + 4*p = -1174, 4*p - h*p = -4*j + 936. Is 12 a factor of j?
False
Let y be 311 - (6 - (-2 - -3)). Suppose 2*m - y = 590. Is 56 a factor of m?
True
Let c(g) = -g**3 - g**2 + 26*g + 50. Let n be c(-4). Is 4625/74 - n/(-4) a multiple of 5?
False
Suppose 0 = -13*f - 1953 + 32178. Does 31 divide f?
True
Suppose -23 = -6*j + 1. Suppose -j*q + r + 1077 = 0, 5*q - 6*r - 1341 = -3*r. Does 45 divide q?
True
Let w = 3870 - 2458. Let m = w + -961. Is 11 a factor of m?
True
Let g = -46 - -48. Suppose g*m + 2*m + 5*s - 37 = 0, 5*m = -s + 20. Suppose -m*h + 100 = h. Is h a multiple of 12?
False
Suppose 10669 - 2730 = -12*y + 104299. Does 11 divide y?
True
Let h(p) = 31 + 83*p + 41 - 89*p - 20. Does 6 divide h(-6)?
False
Let s(y) = -2*y**2 + 4. Let h(v) = 2*v + 14. Let o be h(-7). Let w be s(o). Suppose f = -w*f - 4*r + 214, -2*f + 2*r = -100. Is f a multiple of 10?
False
Let q(z) be the third derivative of -z**4/12 + 34*z**3/3 + 111*z**2. Does 28 divide q(8)?
False
Let i(b) = 26*b - 11. Let r be (8 + 0 + -2 + 1)/1. Let m be i(r). Let n = -87 + m. Does 21 divide n?
True
Suppose -538660 = -26*z - 129966. Is z a multiple of 17?
False
Suppose 5*r + 156 = -y, -5*r + 0*r = 4*y + 144. Let h(q) = -q**2 + 14*q - 23. Let z be h(10). Let w = z - r. Is w a multiple of 14?
False
Let a = -9129 - -24965. Is a a multiple of 148?
True
Let z be 1/(-2)*0/(-3) + 84. Is 48 a factor of (-58)/(-20)*z - 90/(-225)?
False
Suppose -4*o + 3*h + 23 = 0, o + 2*o - 11 = -4*h. Let f = 155 - 275. Is 27 a factor of ((-78)/o)/(36/f)?
False
Suppose 23*m + 6188 = 16*m. Let r = 1298 + m. Does 22 divide r?
False
Let g be 0*(2 - (10 - 5) - -2). Suppose -2*b + 5*b - 1953 = g. Does 21 divide b?
True
Suppose 0 = 434*b - 395*b - 45747. Is b a multiple of 17?
True
Let r = 122 - 118. Does 59 divide (r/6)/1*(-3 + 357)?
True
Let v = -11803 + 54279. Does 28 divide v?
True
Suppose 472762 = 180*w - 479677 + 4919. Does 30 divide w?
False
Let q(x) = -x**2 - 23*x + 56. Let r(j) = 3*j**3 - j**2 - j + 1. Let t be r(-2). Let z be q(t). Suppose 0 = -z*b + 200 + 196. Is 11 a factor of b?
True
Let w(s) = -25*s - 35. Suppose -32 = 5*z + y, 4*z + 5*y = 8*z + 43. Is w(z) a multiple of 10?
True
Let v(r) be the third derivative of 5*r**4/8 + 49*r**3/2 - 239*r**2. Is 54 a factor of v(30)?
False
Let d = -783 - -5294. Does 13 divide d?
True
Suppose -14*b = -10*b - 1896. Suppose 0 = o + b - 1662. Is o a multiple of 18?
True
Let s be ((-81)/(-108))/(2/(-8)*1). Let m(g) = -g**2 - 3*g + 10. Let v be m(s). Does 2 divide v/4*(-48)/(-15)?
True
Let u = -769 + 1545. Suppose u = 6*d - 160. Is 13 a factor of d?
True
Let d(r) = 84*r + 6. Let l be d(2). Suppose 2*a + l = -348. Let i = -181 - a. Is i a multiple of 16?
True
Suppose 2640 = 4*j - 2*u, -108*u - 687 = -j - 112*u. Is 17 a factor of j?
True
Suppose 32*k = 9*k + 5658. Suppose r + 5*d - k = 0, -547 = -2*r + d - 0*d. Is r a multiple of 23?
False
Is 24 a factor of (-60505)/(-2) + ((-148)/(-8) - 18)?
False
Is 206 a factor of ((-136701)/(-610) - 6/10)/((-9)/(-1236))?
True
Suppose 227*f - 17671900 = -248*f. Does 71 divide f?
True
Let h(q) = -3251*q - 731. Is 28 a factor of h(-4)?
False
Let r(u) = 2*u**3 + 24*u**2 - 18*u - 14. Let m be r(-12). Let q = m + -27. Does 7 divide q?
True
Let u(q) = 7*q**2 - 357*q - 270. Does 200 divide u(86)?
True
Let b = 89 - 68. Suppose -40 = -19*o + b*o. Is (1 - 22/10)/(8/o) a multiple of 3?
True
Suppose 0 = -255*y - 513170 + 2205350. Does 84 divide y?
True
Let t be (-3 - (0 - -2))*(7 - 2). Let c = t - -37. Does 5 divide 64/c*(-1 + 38/8)?
True
Suppose -10*v + 15*v = -25. Let i be 170/4 - v/(-10). Let r = -29 + i. Does 8 divide r?
False
Suppose -67641 = -2*l - s, l + 4*s - 6394 = 27430. Is l a multiple of 380?
True
Let v(d) = -d**3 - 35*d**2 + 47*d + 89. Let c(a) = a**3 + 5*a**2 + 7*a - 2. Let f be c(-5). Does 32 divide v(f)?
True
Let o(a) be the first derivative of -a**4/4 - a**3/3 + a**2 + 3*a + 28. Suppose -r + 0*r + 2*i - 13 = 0, 5*i = 3*r + 35. Is o(r) a multiple of 9?
False
Let j(m) = 21*m - 1801. Let u be j(95). Let o be ((-4)/(-3))/((-2)/(-6)). Suppose o*h - 126 = u. Is 10 a factor of h?
True
Let q(w) = -w**2 + 16*w - 23. Let r be q(9). Is 10716/120 + (-12)/r a multiple of 6?
False
Let l = -9438 - -10314. Does 24 divide l?
False
Let r be -3 - 8/(-6)*6. Suppose 5*k - 20 = 4*z, -r*k + 3*z - 10 = 5*z. Suppose a + 3*s - 41 = 0, k = -0*a - a - 2*s + 45. Is a a multiple of 44?
False
Let h = -96 - -95. Let b be 12/(-36) - (169/(-3) - h). Let g = b + -32. Does 11 divide g?
False
Let d(c) = -c**2 + 2*c + 5. Let s be d(3). Suppose 0 = -s*a + 11*a - 3600. Does 25 divide a?
True
Suppose 5*l - 12*i + 11*i - 1732 = 0, 1724 = 5*l + 3*i. Suppose 4*g + z = 3939, z - 1333 =