et c be a(3). Suppose -2*n - 5*g + 0*g + 2153 = 0, -c*g = -15. Does 39 divide n?
False
Suppose -3*g + 5189 = 2*c, 2*c + 2*g = 1552 + 3638. Is c a multiple of 114?
False
Let f(w) = -1020*w + 1570. Does 100 divide f(-5)?
False
Suppose -s + 2*c + 10495 = 0, -5*s - 28*c + 23*c + 52475 = 0. Is 47 a factor of s?
False
Suppose -2*l + 412 = -4*u, 284 = l + 5*u + 106. Suppose 11*s - l = 9*s. Is (-1 + (-3 - s))*-1 a multiple of 22?
False
Suppose 34*k - 193 = 33*k. Is k/5 + (-14)/(-35) a multiple of 2?
False
Suppose 4*u - 984 = w, 7*w = 5*u + 8*w - 1221. Is 24 a factor of 2/(-7)*48*u/(-10)?
True
Let c(n) = -n**3 + 4*n**2 - 2*n + 4. Let t be c(4). Suppose -4*x = -2*z - 452, 2*x - 190 = -91*z + 86*z. Let h = t + x. Is h a multiple of 26?
False
Let x = 7919 - 2529. Is 35 a factor of x?
True
Let b be 12962/12 - ((-10)/5)/(-12). Suppose 0 = -3*f, b = s + 3*s - 3*f. Is s a multiple of 15?
True
Let g(i) = i**3 + 8*i**2 - 6*i + 6. Let u = 67 + -97. Let s be (-2)/3 + 220/u. Is 18 a factor of g(s)?
True
Suppose -332*m + 15035557 - 5148597 = 0. Does 32 divide m?
False
Suppose 6*o - 288 = -2*o. Let h(c) = -o + 36 - 46*c. Is 7 a factor of h(-1)?
False
Suppose -4*u - 39 = 1. Let a(g) be the first derivative of g**4/4 + 3*g**3 - 6*g**2 - 8*g - 36. Does 4 divide a(u)?
True
Let s(l) = -l**2 + l + 306. Let j be s(0). Suppose 16*h = 10*h + 24. Does 18 divide j/15*((-2)/h - -3)?
False
Let t = 210 + -114. Let x = t - 12. Does 28 divide x?
True
Let b = 87 - -4. Is (-12 - -7)/((-7)/b) a multiple of 5?
True
Let l be 10858/4 - (-75)/50. Suppose -l = -14*s + 1526. Does 70 divide s?
False
Let x be 4 + (4/22 - (-2732)/(-22)). Suppose 0 = 2*t - 6, 4*f - 2*t - 4 = -18. Does 13 divide (6/(-5) - f)/((-2)/x)?
False
Let q = -2337 - -878. Let z = -871 - q. Is z a multiple of 6?
True
Is (-23850)/(-4 - 2) + -15 a multiple of 5?
True
Let x(s) be the second derivative of s**4/6 - 5*s**3/3 - 6*s**2 - s. Let l(y) = 8*y + 226. Let c be l(-29). Is x(c) a multiple of 15?
True
Suppose -3*u + 5*g = -27, -3*g = -5*u + 56 + 5. Suppose 0 = -5*y + u*y + 315. Let n = 103 + y. Does 10 divide n?
False
Let y = -48 + 53. Suppose 0 = y*k - 2*g + 4 - 24, 0 = -2*k - g + 8. Is 4 a factor of k?
True
Suppose 0 = 149*q - 156*q + 11095. Let z = q + -1000. Is z a multiple of 8?
False
Let r(u) = 6*u**2 - 55*u + 9. Let j be r(9). Suppose 0*w - 2*z = -5*w + 235, w - 4*z - 65 = j. Does 3 divide w?
True
Let t be 44 + 99/9 - 0/(-2). Suppose t*w - 57*w + 1092 = 0. Is 50 a factor of w?
False
Let p = 12 + -3. Let b be 18*((-3)/p + (-2)/1). Let n = b + 49. Is n a multiple of 7?
True
Let u = 4364 - -668. Does 136 divide u?
True
Let j(l) = l**2 + 257*l + 6. Is j(34) a multiple of 12?
True
Let f = 6836 - 380. Does 12 divide f?
True
Suppose -89*g + 87*g + 3584 = 0. Suppose -71*c + 79*c = g. Does 27 divide c?
False
Let i(y) = 26*y**3 - 13*y**2 + 9*y + 3. Let z be i(3). Suppose 620*u - 945 = z*u. Does 4 divide u?
False
Is 43 a factor of 9/(-6) + (3450/(-1104))/(1/(-3268))?
False
Let l(k) = -10*k**2 + k**3 + 3*k**2 + k**2 - 6*k + 5*k**2. Let g(j) = 2*j**2 + 10*j - 6. Let h be g(-6). Is l(h) a multiple of 12?
True
Let k(n) = 2013*n - 6566. Is 25 a factor of k(7)?
True
Suppose -3*w = 40 - 178. Let p be (-435)/(-18) - 1 - 21/126. Let b = p + w. Does 15 divide b?
False
Suppose 1227432 = 89*z + 45*z + 65*z. Is z a multiple of 257?
True
Suppose 5*h = 5*p - 5, 0 = -5*p + h - 2*h - 7. Is 58 a factor of (7/(-14))/(p - 585/(-586))?
False
Let z = -32 + 35. Suppose 3 = w, -3 = -z*u + w + 2*w. Suppose 0 = -u*m + 5*g + 196, -5*m - 3*g = -0*m - 282. Does 20 divide m?
False
Suppose -4*z = 3*i - 39846, 157*z - 161*z - 36 = 0. Is i a multiple of 34?
True
Is 21 a factor of 5969 + (72/9 - 9/3)?
False
Suppose 7453*i - 300888 = 7397*i. Is i a multiple of 27?
True
Let c be (32/(-40))/(2/15). Let r(w) = -124*w + 4. Let f(q) = -q - 1. Let g(p) = c*f(p) - r(p). Is g(1) a multiple of 22?
True
Let k(g) = -149*g - 2556. Does 13 divide k(-22)?
False
Let n(a) = -a**2 + 5*a + 9. Let s be n(6). Suppose -s*w - 48 = -7*w. Let r(b) = b**2 - 11*b - 3. Is r(w) a multiple of 4?
False
Suppose -3*s + 4*s = -s + 53824. Does 16 divide s?
True
Is 47 a factor of 14/(-15 - 69)*-11562?
True
Suppose -2*t + 3*x + 2 = -8, -2*t + 2*x + 8 = 0. Suppose -3*f + t*f + 550 = 0. Is f a multiple of 38?
False
Let z(g) be the second derivative of g**5/20 + 19*g**4/12 + 17*g**3/3 + 33*g**2/2 - 5*g - 8. Is 3 a factor of z(-17)?
True
Let q = -33982 - -54561. Suppose -3235 = -27*z + q. Is z a multiple of 42?
True
Let l(s) = -s**3 + 8*s**2 - 5*s - 15. Let g be l(6). Suppose -y + 172 - g = 3*z, -188 = -4*z + 4*y. Is z a multiple of 9?
False
Suppose -14*m + 187 = -401. Suppose m*q = 36*q + 3576. Is 15 a factor of q?
False
Let h(f) = 243*f**2 - 4*f. Let o be h(-1). Suppose -o = -8*r + 113. Suppose r = 7*s + 3. Is 3 a factor of s?
True
Let y(r) = 2574*r**3 - 13*r**2 + 52*r - 43. Is 189 a factor of y(2)?
True
Let r be (4 - 0) + (-12)/2. Let b(u) be the first derivative of -7*u**2/2 - 3*u - 4. Is 3 a factor of b(r)?
False
Let a = -411 + 608. Suppose -13*k = -11*k + 58. Let n = a + k. Does 20 divide n?
False
Let i be 2/(-4)*(-40 + 40). Is 6 - ((i - 5) + -10) a multiple of 7?
True
Let k(z) be the first derivative of 2/3*z**3 + 1/4*z**4 - 18 + 48*z + 1/2*z**2. Does 12 divide k(0)?
True
Suppose -n + 7031 = -w, n = -2*w - 2237 + 9256. Does 65 divide n?
False
Let v(a) = 4*a**3 + 16*a**2 - 6*a - 14. Suppose 0 = -2*j - 10, -3*j = 3*z + 2*z + 35. Does 5 divide v(z)?
True
Suppose 6*o = 5*z + o - 95, 5*z - o - 79 = 0. Let p be (-4)/(-30) + 4318/z. Suppose h - 9*h = -p. Is 18 a factor of h?
True
Let r be 1*-1 - (188 + 6). Let m = 513 + -157. Let t = m + r. Is t a multiple of 16?
False
Let i be ((-463)/2)/(10/(75 - -5)). Does 6 divide (-1)/7 - (i/7)/4?
True
Suppose 3 = -l - h + 23, -4*l + 85 = 3*h. Let m(o) = l*o + 4 - 10 + 27*o. Does 11 divide m(3)?
False
Suppose -3*y - 14 = -5. Let p be -9*2/(-5 - y). Suppose 751 = p*h - 32. Is 29 a factor of h?
True
Suppose 3*j - 15 = q, 3*q - 2*q + j = -3. Let p = 24 - q. Is p a multiple of 3?
True
Suppose -67*o - 56700 = -112*o. Is o a multiple of 30?
True
Suppose 129*f + 5*s + 5490 = 134*f, 2*f = -4*s + 2166. Is f a multiple of 13?
False
Suppose -2*d + 20 = -4*m, -2*d + 20 = -8*m + 3*m. Let b be 76 + 2 + d/5. Suppose 4*u = -0*u + b. Is u a multiple of 10?
True
Suppose 2*f - n - 320 = 3*n, -660 = -4*f + 3*n. Suppose f = -8*q + 10*q. Suppose -11*r + q = 3*r. Is 3 a factor of r?
True
Suppose 5*b - 33346 = 31091 + 2388. Is b a multiple of 165?
True
Let o be (21 + -31)*2/(-4). Let d = o + 260. Is d a multiple of 16?
False
Let l be 145*(-7)/(280/(-72)). Let x = 129 + l. Does 26 divide x?
True
Suppose -i + o = -2002, -5*o + 24 = 44. Does 6 divide i?
True
Suppose 0 = 977*d - 980*d + 5*g + 54618, -5*g - 36402 = -2*d. Is d a multiple of 6?
True
Suppose 7*b - 12540 = -10*b - 13*b. Is b a multiple of 19?
True
Let o(q) = q**3 - 16*q**2 + 47*q + 28. Let l be o(13). Let m = 52 + l. Is 8 a factor of m?
True
Let s be 515/2 + 10/(-20). Suppose -262*i + 175 = -s*i. Is 7 a factor of i?
True
Let b = -136 - -197. Does 61 divide (b/2)/(-4 + 178/44)?
True
Suppose 0 = 14*x - 56*x - 0*x + 46452. Does 9 divide x?
False
Suppose 0 = -27*m + 10684 + 22013. Let y = -697 + m. Is 10 a factor of y?
False
Suppose 192 + 652 = 4*k. Suppose -k*d = -206*d - 1190. Is 17 a factor of d?
True
Let k = -3342 - -4802. Suppose 0 = -35*f + 52*f + 34. Is 10 a factor of f/8 + k/80?
False
Suppose 2*h = -0*h - k + 1783, -3*k = 15. Suppose 5*t = -4*u + h, -u = 4*t - 3*t - 178. Let q = 308 - t. Is q a multiple of 18?
True
Let x(u) = 307*u - 541. Does 217 divide x(47)?
True
Is (-40)/(-15) - (-5947)/3 a multiple of 9?
False
Let c(t) = 32*t**2 + 3*t - 3. Suppose -2*k = 3*x + 13, -3*k + 5*x = -k - 27. Is 32 a factor of c(k)?
True
Let u(m) = 4*m**2 - 94*m + 50. Let x be u(23). Suppose 0 = -5*h + 4*y + 2047, 0 = 5*h + 9*y - x*y - 2020. Is h a multiple of 7?
False
Let h = -1 + 6. Let g be -6 - -32 - (-5 + 0). Is g + 1 + (h + -3)*-1 a multiple of 5?
True
Suppose 2*g = 2*u - g - 529, -6 = 2*g. Let i = 344 - u. Is 6 a factor of i?
True
Suppose -19 = k - 4*c, -3*k + 24 = -7*k + 3*c. Does 2 divide (3 - 5)/(k/57)?
True
Let r(c) = -27*c - 24. Let d be r(-6). Let t = 248 + d. Is t a multiple of 21?
False
Suppose -11*l + 24 = 453. Suppose -1