-24)?
False
Let l(g) = 3*g**3 - 4*g**2 + 2*g - 5. Does 23 divide l(3)?
True
Let u = -28 - -34. Suppose 2*m - 28 - 10 = 2*d, m + 5*d + 5 = 0. Let t = m - u. Does 3 divide t?
True
Let w = -6 + 4. Let d be (24 + -27)/(3/2). Is 7*d*1/w even?
False
Let y = -30 - -186. Suppose -q + 64 = 4*j, 0*j = -2*q - j + y. Is q a multiple of 25?
False
Let r be ((-7)/(-2) + 0)*-6. Suppose 83 = -4*h + 247. Let o = h + r. Is o a multiple of 14?
False
Let d be 1/(-2) - (-2 - 1/(-2)). Let v = d - -44. Does 9 divide v?
True
Let f = 38 + -34. Suppose f*i + 6*l - 9*l = 12, 4*i + 3*l = -12. Suppose -3*b - 256 = -2*s - 91, 5*s + 5*b - 450 = i. Does 29 divide s?
True
Let k(s) = 171*s**2 - 6*s. Let c be k(1). Suppose 0 = 4*q - l - c, -4*q + 156 = -0*l - 4*l. Is q a multiple of 14?
True
Let v = -35 - -41. Does 2 divide (-10)/((v/(-2))/3)?
True
Let i be (-63)/(-1) + 1 - (-14 + 13). Let o be (-16)/2*(-11)/2. Let h = i - o. Is 9 a factor of h?
False
Suppose -4*m = 8 - 472. Let t = m - 57. Does 13 divide t?
False
Suppose 0 = 2*r + 4*l - 536, 0 = 5*l + 5 + 20. Suppose -v + r = 54. Is v a multiple of 28?
True
Let y(g) = g**2 + g - 4. Let t be y(-3). Suppose t*x = -225 - 375. Is 2/((-8)/x - 0) a multiple of 25?
True
Suppose 7*c + 230 = 12*c. Suppose -f + c = -39. Is 17 a factor of f?
True
Is (1/2 + (-42)/12)*-72 a multiple of 11?
False
Let x(y) = y**2 + 3*y - 7. Let m be x(-5). Suppose -w + 6 = m. Does 33 divide ((-4)/w)/((-14)/693)?
True
Let c be (0/3 - -3)/((-2)/(-14)). Let r = 6 - 3. Suppose -r*i + c = -24. Is i a multiple of 4?
False
Does 9 divide 4/6 - (-476064)/324?
False
Let x = 91 + 125. Is 11 a factor of x?
False
Suppose -6*t + 1620 = 4*t. Is t a multiple of 18?
True
Suppose 5*g - 177 + 897 = 2*c, -c = -2*g - 360. Is 25 a factor of c?
False
Suppose 10*t - 17 - 3 = 0. Suppose 3*i - t*g - 136 = 0, -4*g = 4*i + 44 - 192. Is 3 a factor of i?
True
Let i(n) = 3*n + 140. Is 11 a factor of i(-6)?
False
Let t(b) = -45*b + 119. Is t(-17) a multiple of 68?
True
Suppose 8 = 4*i + 2*z, 2*z + 3 = 7. Let x(s) = 29*s**3 + 2*s**2 + s - 2. Is 5 a factor of x(i)?
True
Suppose 105*h - 111*h + 36 = 0. Is h a multiple of 6?
True
Let a be 1*4 - (4 + -2 - 2). Suppose a*r + 5*b = 55 + 13, -5*r + 68 = 2*b. Is 3 a factor of r?
True
Suppose -6*t + 121 = -1475. Does 38 divide t?
True
Suppose -5*d - 6 = -f, 0 = 2*d + 5 + 1. Let t = f - -39. Is t a multiple of 3?
True
Let h(z) = z**2 + 7*z + 4. Let n = -31 - -19. Is h(n) a multiple of 7?
False
Let w(c) = c + 14. Let q be w(-9). Suppose -3*k = 2*k + q. Does 15 divide 100/2*(2 + k)?
False
Suppose -p - 65 = -y - 6*p, -226 = -4*y - 3*p. Suppose -4*n - 15 = 5*k, -4*n + 3*k = -0*n + y. Does 15 divide ((-25)/n)/(1/6)?
True
Suppose 4*b = 5*w - 758, -2*b + 761 = 5*w + 15. Is w a multiple of 8?
False
Is ((-12649)/(-65) - -9)/(2/5) a multiple of 23?
False
Let u(s) = 163*s**2 + 16*s - 6*s - 8*s - 3 - 6*s. Is u(-1) a multiple of 41?
True
Let h = -12 - -174. Suppose -h = -5*o - o. Is o a multiple of 9?
True
Suppose -5*m - 3*g + 2142 = 0, 4*g - 1286 = -3*m + 2*g. Does 13 divide m?
False
Let m = 14 + -14. Suppose -3*h + 2*p - 339 = m, 5*p = -h - 2*h - 318. Let u = 183 + h. Is u a multiple of 9?
True
Suppose -5 = -5*t, 2*t - 4*t = -r + 2. Suppose -5*u + 517 = -r*b, -5*u - 4*b + 218 = -3*u. Is 35 a factor of u?
True
Suppose 4*o - 5*z + 32 = 87, -o + 1 = 3*z. Let a be (-34)/17 + (0 - o). Does 12 divide ((-738)/a)/((-3)/(-2))?
False
Let h(y) = -153*y - 1. Let p(n) = -n**3 - 11*n**2 + 12*n - 1. Let m be p(-12). Let q be h(m). Suppose 3*f - 86 = 2*s, -5*f = -s + 2*s - q. Is 10 a factor of f?
True
Let i(g) = -g**2 - 47*g + 477. Does 91 divide i(-38)?
True
Let m = -157 + 435. Suppose -d + 4*t = t - 63, -m = -4*d - t. Does 9 divide d?
False
Let l be ((-6)/15)/(2/(-70)). Suppose 0 = 3*n - 3*p - 12, -2*n - p = -l - 0. Does 7 divide (-140)/(-42)*n/1?
False
Suppose 46 = 4*a - 5*c - 2, 2*c = -2*a + 24. Let l be ((-150)/a)/(2/(-4)). Suppose 2*v - 53 = 3*w, -l = -v + w - 0*w. Is v a multiple of 18?
False
Let i be (((-99)/(-4))/3)/(18/240). Suppose i = -4*s + 6*s. Does 8 divide s?
False
Let i(k) = -7*k**2 - k + 7*k**2 + k**2 - 120. Let p be i(0). Is p/(-16)*(-64)/(-10) a multiple of 36?
False
Suppose 0 = -8*j + 25 - 1. Suppose g + 2 = t - j, 0 = -t + 5*g - 7. Is 4 a factor of t?
True
Let g = 113 + -373. Is 12 a factor of (-6200)/g + (-2)/(-13)?
True
Let d(a) = 10*a**2 + 5*a + 14. Does 49 divide d(7)?
True
Let d(x) = 8*x - 14. Let k be d(9). Let s = k + -42. Is 8 a factor of s?
True
Let n(r) = r**2 - 4*r - 3. Let c be n(5). Suppose c*s = f + 213, 4*s - 411 = -0*s + 5*f. Is s a multiple of 38?
False
Let t be 34/(-4)*(-3 - -1). Suppose r + t = 3*o, -5*o - 3*r = -4*o + 11. Suppose -11 = -o*j - 3*f, 5*j - f - 19 = 9. Is 4 a factor of j?
False
Let b(i) = -6*i**3 - 36*i**2 - 16*i + 14. Let r(k) = k**3 + 7*k**2 + 3*k - 3. Let a(f) = 2*b(f) + 11*r(f). Is 8 a factor of a(3)?
True
Let f(g) be the second derivative of g**4/12 - 5*g**3/3 - 19*g**2/2 + 14*g. Is 4 a factor of f(13)?
True
Let z(x) = -5*x - 3. Let w be z(-1). Suppose w*i - 30 - 42 = 0. Does 12 divide i?
True
Let c = 6 - 1. Suppose 0 = 5*r + a + 19, 2*r + c*a + 7 = -r. Is r/(-8) - 22/(-4) a multiple of 3?
True
Let a = 37 + 193. Is 5 a factor of a?
True
Suppose -7*b = -5*b + 14. Let n(t) = -5*t + 39. Is 7 a factor of n(b)?
False
Let d be (-17)/(68/(-168)) - -3. Let x = -11 + d. Does 33 divide x?
False
Let w be 2*6*(-10)/(-8). Suppose -2*t + 5*t - w = 0. Suppose 0*i + 50 = t*i. Is 10 a factor of i?
True
Let t be 45/(-27) - 2/(-3). Is 31 a factor of t - (-2*(-4)/8 + -126)?
True
Let s(d) be the third derivative of -d**5/60 - d**4/8 + 6*d**2. Let o be s(-3). Suppose -10 = 2*q - 7*q, o = 2*t - q - 10. Is 6 a factor of t?
True
Suppose 5*n + 2*u - 364 = 0, 4*n + 6*u - 10*u = 280. Does 18 divide n?
True
Let n = 64 - 114. Let b = 38 - n. Does 9 divide b?
False
Does 10 divide 1188/(-220)*(-10)/3?
False
Let q(b) = 4900*b - 2. Let r be q(-2). Is r/(-117) - 2/(-9) a multiple of 15?
False
Suppose 0 = 2*g + 2*u, g + 1 = -2*u - 2. Let j be -3 - (g + -2)*-37. Suppose 5*r - j = 191. Does 15 divide r?
True
Let k(y) = -7*y**3 - 3*y**2 - 3*y - 3. Suppose 5*o + 4*m + m - 10 = 0, -5*o - 2*m - 5 = 0. Is 24 a factor of k(o)?
True
Let q(r) be the first derivative of -37*r**2/2 - 11*r - 14. Is 17 a factor of q(-5)?
False
Let p = -34 + 32. Is ((-6)/9)/(p/345) a multiple of 23?
True
Suppose -2*h + 0*h + 16 = -2*b, -3*h - 4*b = 4. Is 3 a factor of (3 - h)/(2 + 266/(-132))?
True
Let l(v) be the first derivative of -v**4/4 + v**3/3 + 24*v + 8. Let t be l(0). Suppose -24 = -3*d + t. Does 2 divide d?
True
Let p be (6/(-4) + (-3871)/14)/(-2). Suppose 4*m + 164 = 4*w, -p = -4*w - 0*w - m. Is w a multiple of 9?
True
Let b = 137 - 51. Suppose -2*j - 190 = -3*q, -3*j + 280 = 5*q + j. Let r = b - q. Is 13 a factor of r?
True
Let s be 0/(-1*(-6)/(-3)). Suppose s*m + 45 = 4*a - m, -2*a + 5*m = -27. Is 11 a factor of a?
True
Suppose -3*c - 4*b = -2643 + 819, 2432 = 4*c - 2*b. Is c a multiple of 16?
True
Suppose -3*p = 73 - 4. Let i = -20 - p. Does 15 divide -1 - -102 - (i + -2)?
False
Suppose 0 = 5*n - 7*n - 20. Let p(u) = -4*u - 13. Does 4 divide p(n)?
False
Let x = -266 + 372. Let z = 238 - x. Suppose m = -m + z. Is m a multiple of 11?
True
Is 32 a factor of (-694 - -4)/((-81)/432)?
True
Suppose -g = 5*r + 2*g + 6, 4*g = -5*r - 8. Suppose -3*k + 11 + 241 = r. Suppose -k = 11*b - 13*b. Is b a multiple of 18?
False
Suppose -l + 0*l + 2 = 0. Suppose w + l*f - 5 = 3*f, 5*f + 21 = 4*w. Suppose 96 = w*z - 120. Is 18 a factor of z?
True
Let k = -174 + 80. Suppose -3*v = 5*w - 730, 0 = w - 0*v + 4*v - 163. Let h = w + k. Is h a multiple of 22?
False
Suppose 4*w = c - 55, -5*w + 3*c = 116 - 42. Let k = 13 + w. Let f = 6 + k. Is f a multiple of 2?
True
Let r = 9 - 3. Suppose -r*a + 2*a - 208 = 0. Is (-1053)/a - 1/4 a multiple of 17?
False
Let s(v) = -v. Let c(q) = -3*q**2 + 6*q - 2. Let r(u) = -c(u) - 4*s(u). Does 10 divide r(-4)?
False
Let n(w) = 4*w - 13*w - 4 + 4*w**3 + w**2 + 10*w. Is 19 a factor of n(3)?
False
Suppose -12*h + 7729 = -71. Is 13 a factor of h?
True
Suppose 10*n - 54 = 7*n. Suppose 2*l + b - n = 182, -3*l + 295 = 4*b. Does 14 divide l?
False
Let g be ((-24952)/28)/(-2) - (-16)/(-28). Suppose -5*z + g = 6*k - k, 0 = k + 2*z - 92. Is 12 a factor of k?
False
Let u(l