33 = 0, -3*h + 712 = 3*r - 56. Is h a multiple of 41?
False
Suppose 3*x - 211 = -43. Suppose -a - 579 = -5*l, l - 4*a - 75 - x = 0. Does 5 divide l?
True
Let t(s) = s**3 + 9*s**2 + 8*s - 2. Let d be t(-6). Suppose 5*a + 20 = -j + 6*j, 3*a + 28 = -j. Is 3/(-12) - d/a even?
False
Suppose 5 = y - 5*j - 0*j, -j = -4*y + 20. Suppose y - 49 = -4*n. Suppose 0 - n = -o. Is 3 a factor of o?
False
Let a be 2079/35 + (-6)/15. Suppose -a*j = -62*j + 150. Is 25 a factor of j?
True
Suppose -4*f = 2*m - 1220, f + 76 - 392 = 5*m. Is 18 a factor of f?
True
Suppose 5*g + 6*g = -33. Is -4 + 6 + g + 91 a multiple of 18?
True
Let l(j) = -j**3 + 21*j**2 + 23*j - 14. Let i(g) = g**3 - 23*g**2 - 22*g + 13. Let d(r) = -2*i(r) - 3*l(r). Is 28 a factor of d(19)?
False
Suppose -3*f + 2 = 8, -4*b - 2*f + 12 = 0. Suppose b*a = -o + 19, 3*o - o + 5*a - 23 = 0. Let i = 95 - o. Does 32 divide i?
True
Let p = 43 + -48. Is 4 a factor of (3 - 78)/p + -1?
False
Let n = 141 + -307. Let w be -2 - n - 4/2. Suppose -2*f + 140 = 3*k, 5*k + 2*f - 398 = -w. Is 24 a factor of k?
True
Let b(s) = 12*s + 4. Let d be b(7). Suppose d = -z - 3*z. Let n = z - -38. Does 8 divide n?
True
Is 12 a factor of (-243)/(-5) + 138/(-230)?
True
Suppose -1664 = -10*h + 856. Is 10 a factor of h?
False
Suppose 0 = 108*v - 114*v + 2970. Is v a multiple of 17?
False
Suppose -2*n + m = 2 - 1, -2*m = -n - 8. Let j be (n/(-8))/((-7)/140). Suppose -k - 68 = -j*k. Is k a multiple of 7?
False
Let d be 3*(-2)/(-4)*8. Let f = d + -16. Is f/(-22) - 522/(-33) a multiple of 16?
True
Suppose 15*m = -5*m + 17680. Is 52 a factor of m?
True
Let r be (-6)/4*(-8)/6*1. Suppose 45 = o - 5*s, 33 = o - s + r*s. Is o a multiple of 35?
True
Suppose 4*o = 3*h + 14 - 171, -3*h + 9 = 0. Let v = o + 45. Is v a multiple of 4?
True
Let d be (-1)/2 + 20/8. Let l be d/(-3)*(2 + 175). Is -2*-1*l/(-4) a multiple of 13?
False
Let d(x) = -46*x - 43. Is 59 a factor of d(-12)?
False
Suppose -4*y = -628 - 424. Is 16 a factor of y?
False
Let r be 0*(28/(-8))/7. Let y(o) = -o**3 - o**2 - o + 14. Does 12 divide y(r)?
False
Let c = 35 + -20. Suppose c = -0*b + b. Suppose -b = -l + 14. Is l a multiple of 7?
False
Let p(s) = -s**3 - 3*s**2 - 5*s - 3. Let o be (-4 - 5) + 4/(16/12). Is p(o) a multiple of 31?
False
Suppose 3*c - 2*y = 854, -5*c + 4*y + 850 = -2*c. Let h = 520 - c. Is h a multiple of 62?
False
Let f(w) = -4*w + 10. Let b be f(4). Does 3 divide (-5 + 65/10)/((-1)/b)?
True
Suppose -12*z + 40*z - 13664 = 0. Is z a multiple of 61?
True
Let u(c) = c**3 + 12*c**2 + 6*c - 54. Is u(-6) a multiple of 6?
True
Suppose 0 = 3*y + y - 8. Suppose -y*t + 490 = 3*t. Is 21 a factor of t?
False
Let w(k) = 3*k**2 - 5*k - 7. Let j(y) = -2*y**2 + 12*y + 7. Let z be j(6). Does 15 divide w(z)?
True
Is ((-1932)/(-30))/(-1*(-1)/5) a multiple of 14?
True
Let m(b) = -38 + 3*b + 9*b - 8 + 0*b. Is m(7) even?
True
Suppose -t + c + 274 = 0, 2*t - 6*t + 1097 = -3*c. Suppose a = -4*a + t. Is a a multiple of 7?
False
Suppose w + 365 = 4*s, -2*s + 5*w = -0*s - 169. Let i = -83 + s. Is i a multiple of 4?
False
Suppose 681 = 4*k + 3*u, -20*u + 24*u = -4*k + 684. Is 13 a factor of k?
False
Suppose 0 = -3*u + 3, -3*m - 2*u = 2702 - 8392. Is 12 a factor of m?
True
Suppose 8 = 3*g - 1. Is 6 a factor of (-22)/(4/(-11 + g))?
False
Suppose 5*o - 10 = 0, 259*o = -4*b + 264*o + 20470. Is b a multiple of 128?
True
Suppose z = -x + 82, -x - 9*z = -4*z - 94. Is x even?
False
Is 14 a factor of (57 - 1)/(10/(2 + 18))?
True
Let m be -1 + ((-1)/(-1))/1. Suppose m*f - f + 96 = 0. Is f a multiple of 16?
True
Let l(d) = -539*d + 246. Does 69 divide l(-3)?
True
Suppose -19*c = -d - 21*c + 4660, d + 4*c - 4660 = 0. Is 14 a factor of d?
False
Is 192/((-18)/(-10)*120/144) a multiple of 8?
True
Let y(h) = -h**3 + 7*h**2 + h - 4. Let d be y(7). Let q(n) = n**2 - n + 0*n**3 - n**3 + 15 - d - 2*n**2. Does 6 divide q(0)?
True
Suppose s - 209 = 5*r, 1067 = -0*s + 5*s - 3*r. Does 92 divide s?
False
Suppose 30*g = 5918 - 728. Does 28 divide g?
False
Suppose 3*l = -3*q + 1599, -9*l = -12*l + 4*q + 1592. Does 14 divide l?
True
Suppose 0 = 6*j - 7*j + 2. Suppose -j*o - 104 = -6*o. Is 9 a factor of o?
False
Let c(q) = -q**3 - 11*q**2 - 13*q + 27. Is c(-12) a multiple of 21?
False
Let w = 8 + -1. Suppose -5*i = 4*n - 16, 5*n + w = 2. Suppose 4*j + i*l - 80 = 0, -2*l + 5*l = -2*j + 37. Is j a multiple of 9?
False
Let c = 349 - -3. Is c a multiple of 16?
True
Let a(h) = 3*h + 75*h**2 - h + 40 + 0*h - 39. Is a(-1) a multiple of 16?
False
Suppose 4*c + 2632 = 4*a, 64*c - 59*c - 1998 = -3*a. Is a a multiple of 5?
False
Suppose 0 = o - 3*r + 56 - 296, -5*r = -o + 236. Is o a multiple of 29?
False
Let r = 124 + 286. Suppose -130 - r = -6*o. Is o a multiple of 6?
True
Let s(v) = 0*v + 3*v + v - 1 + 0 - v**2. Let o be s(3). Suppose a - m - 111 - o = 0, -3*a = 5*m - 331. Is 25 a factor of a?
False
Suppose 13 = -2*v - 5*x, 0 = -v + 2*v + x + 2. Let c be (-28)/(-8)*v*8. Suppose -4*q + 3*j + c = 0, 3 - 15 = -2*q + j. Is q a multiple of 4?
True
Suppose -3*n + 2*n + 2*k + 12 = 0, -2*n = -3*k - 19. Let p be n/(-12) - 49/(-6). Suppose -6*h + p = -28. Is 6 a factor of h?
True
Suppose -5*t = -8*t - 2*c + 233, -t + 81 = 4*c. Let h = t + -47. Does 3 divide h?
True
Let l be 3/(-6) - (-24)/16. Let u be (1 - 0)/((-2)/(-6)). Suppose -62 = -u*v + l. Does 14 divide v?
False
Does 71 divide (-1)/(5/(-4260))*5/3?
True
Let h = 751 - 483. Is h a multiple of 8?
False
Let c = 2100 - 480. Does 8 divide c?
False
Let i be (3 + 2 + -2 - 3) + -104. Let g = i + 180. Is 12 a factor of g?
False
Let b = 30 - 12. Let t = 13 - b. Let m(j) = -2*j + 1. Is 10 a factor of m(t)?
False
Let g = -48 - -55. Suppose g*i - 12*i + 515 = 0. Does 12 divide i?
False
Suppose 32*w - 1056 = 26*w. Is w a multiple of 22?
True
Is 15 a factor of (2 + -1 - 0)/((-3)/(-225))?
True
Let g(m) = 57*m - 20. Let y be g(6). Suppose -30 = -8*r + y. Is 4 a factor of r?
True
Let n be (7 + -10)/((-6)/10). Suppose -n*d - 5*l + 130 = 0, 3*d + 2*l = -0*l + 80. Suppose -2*c + 16 + d = 0. Is 10 a factor of c?
False
Let r(g) = 422*g - 14. Let i be r(7). Suppose 8*a = 3*a - i. Is 11 a factor of (-4)/(-18) + a/(-27)?
True
Let k(h) = -7*h + 77 + h**2 - 2*h**2 - 76. Does 13 divide k(-4)?
True
Let j = -439 - -590. Is 11 a factor of j?
False
Let g(i) = -i**3 - 3*i**2 - 2*i - 2. Let a be g(-3). Is (10/(-15))/(a/(-102)) a multiple of 4?
False
Let z(k) be the second derivative of k**4/4 + 5*k**3/6 + k**2/2 - 81*k. Suppose -2*y + 3*p - 10 = 0, 6 = -9*y + 4*y - 2*p. Is z(y) a multiple of 2?
False
Let n be 17 - (7 - 3)/1. Let b = n + 17. Is 15 a factor of b?
True
Is 86 a factor of 206/103 - ((1 - 946) + 1)?
True
Let g be ((-54)/45)/((-2)/(-20)). Let c be ((-18)/4)/(g/32). Suppose 5*o = 133 + c. Does 10 divide o?
False
Suppose 5*h + 16 - 61 = 0. Let s = h - 23. Let n = 19 + s. Is n even?
False
Let f(k) = -k**2 - 6*k - 5. Let x be f(-4). Let j = x - 0. Suppose -j*u + 74 = -4. Does 13 divide u?
True
Suppose 3*r - 16132 = 5*u, -23*u = -r - 26*u + 5354. Is r a multiple of 59?
True
Let w(b) = -13*b**3 + 2*b**2 - 4. Let p be w(-2). Let s = 192 - p. Is 14 a factor of s?
True
Let r(j) = -4*j - 11. Let s be r(-5). Let o be (s - 10) + 13 + -1. Suppose 9 = 2*n - o. Is 10 a factor of n?
True
Let n = -56 + 97. Let g = -5 + n. Is 6 a factor of g?
True
Let p = 2579 + -1544. Does 9 divide p?
True
Suppose -y = 2, -2*o - y = 2*y + 100. Let h = 52 - o. Does 17 divide h?
False
Suppose 0*j = -j. Suppose -4*d + 43 + 13 = j. Let v = 22 - d. Does 8 divide v?
True
Suppose z + 40 = 3*z. Let l = z - 18. Suppose x - l*t - 31 = 0, -4*x - 2*t + 46 + 28 = 0. Does 7 divide x?
True
Suppose -9*x + 657 = -954. Is x a multiple of 2?
False
Suppose 5*s + 3 = -3*o, 0 = -o + 2*o + 2*s + 2. Suppose 0 = o*i + 11 + 13. Is (i/12)/(2/(-148)) a multiple of 6?
False
Let m(q) = -q**3 + 10*q**2 + 11*q - 4. Let o be m(9). Suppose 192 + 112 = 5*h - 2*d, 3*h + 2*d = o. Suppose -7*u + 2*u = -h. Does 5 divide u?
False
Let i = 100 + 5. Let y = i + 32. Suppose 3*c - 60 = -g, -4*g + y = -4*c - 183. Does 30 divide g?
False
Let l(p) = 16*p**2 - 17*p - 1. Does 12 divide l(-7)?
False
Suppose -2*p = 5*y - 2 - 27, -2*y + 5*p = 0. Suppose 8 = y*g - 3*g. Is g a multiple of 3?
False
Let s(o) = o**2 + 15*o - 16. Let m(f) = f - 36. Let l be m(17). Does 12 divide s(l)?
True