e
Let r = -3 + 6. Suppose -5*m + 270 = 4*c, 2*m + 126 = -c + r*c. Is c a multiple of 12?
False
Does 15 divide (29/(812/(-147)))/(2/(-272))?
False
Let r(a) = 3 - 3*a + 2*a**2 - 2 + 53*a**2. Let c(f) = -f**3 - 6*f**2 - 3*f + 11. Let t be c(-5). Is r(t) a multiple of 23?
False
Let b(x) = -2*x**3 - 16*x**2 - 11*x + 6. Let l be b(-10). Suppose -7*g + 3*g + l = 0. Does 11 divide g?
False
Let t = 27 + 9. Let a be t/27*(1 + -4). Does 7 divide 0 - -19 - (a + 2)?
True
Let o = -146 + 163. Is 3 a factor of o?
False
Is (3 - -1) + -6 + 86*3 a multiple of 32?
True
Suppose 2*h + 497 = -253. Let f = -80 - h. Does 31 divide f?
False
Let y = 2391 - 2233. Does 4 divide y?
False
Let w = 1757 + -1529. Is 6 a factor of w?
True
Let k be ((-4)/2)/((-6)/39). Suppose -d + k - 1 = 0. Let t(y) = -y**2 + 13*y + 4. Is 8 a factor of t(d)?
True
Let d = -178 + 513. Is 24 a factor of d?
False
Let n(r) be the third derivative of -3*r**4/8 - 71*r**3/6 + 37*r**2. Does 27 divide n(-17)?
False
Let q(p) = p - 8. Let f be q(12). Suppose 10 = -2*g, f*g + g + 11 = 2*z. Let x = 4 - z. Is x a multiple of 8?
False
Suppose 4*m - 696 = -4*a, 3*m - 5*a + 696 = 7*m. Is m a multiple of 26?
False
Let i(l) = -l**3 + 7*l**2 + 6*l + 4. Let n be i(6). Let z = n - -80. Does 12 divide z?
True
Suppose 3*d = -2 + 8. Suppose -5*w = -4*n - 160, -96 = -d*w - w + 4*n. Does 8 divide w?
True
Suppose 3*y + 245 - 917 = 0. Suppose p + 6*p = y. Does 32 divide p?
True
Is 10/(-3)*28*(-42)/16 a multiple of 2?
False
Let z be (22/4)/(17/238). Suppose 11*o - 561 + z = 0. Is o a multiple of 5?
False
Let m = 10 + 15. Let d = 1 + m. Suppose 2*p = 3*p - d. Is 10 a factor of p?
False
Suppose 2*y - 31 + 5 = -4*c, 0 = 2*c + 5*y - 25. Suppose 3*p = -d - 92, -2*d = 5*p + 3*d + 140. Let x = c - p. Does 32 divide x?
False
Suppose t + 2*v + 116 = 5*t, -4*v + 29 = t. Suppose 0 = -4*n - 10 + 14. Does 10 divide (t - 0) + 0 + n?
True
Let j(c) = 0 + 2*c**2 - 2 - c**2. Suppose -9*v + 5*v = -4*l + 8, -5*l = -3*v. Is j(l) a multiple of 3?
False
Let c(f) = -12*f**3 - 11*f**2 - 4*f - 17. Does 43 divide c(-4)?
False
Let q(r) = r**2 - 11*r + 10. Let k be q(10). Suppose -4*z + k*z = -492. Is 31 a factor of z?
False
Suppose -n - 7 = -2*j - 4, -4 = -j. Suppose -3*t - 54 = n*k - 4*t, 0 = 2*k + 2*t + 24. Is 7 a factor of 0/(-3) - (k + 2)?
False
Let i be ((-6)/(-9))/((-2)/9). Let o be i/((-12)/446)*-2. Let v = -157 - o. Is v a multiple of 17?
False
Let r = 200 - 180. Does 4 divide r?
True
Let p be (8/2 - 5)*-135. Let t = p + 37. Is t a multiple of 31?
False
Let j be (-24)/10*200/(-15). Let z = -14 + j. Is z a multiple of 8?
False
Let c(v) = 132*v + 96. Is c(4) a multiple of 17?
False
Let d be 1/((-7)/(-2170)) + 4*1. Suppose 74*x = 72*x + d. Is x a multiple of 20?
False
Let y be ((-18)/14 - -1)*-21. Suppose -5*f + y*f = 9. Is f a multiple of 2?
False
Let h = 2866 + -142. Is 10 a factor of h?
False
Let s = 1086 + -470. Does 7 divide s?
True
Suppose 4*q + 13 = -4*f - 43, 5*f = -2*q - 34. Does 6 divide (q/3 + -79)*2/(-2)?
False
Let w be (-11 + -4)/5 + (-62)/(-2). Suppose 5*p - w = 4*o - 5*o, o = -4*p + 23. Is 3 a factor of o?
True
Suppose -5*v = -3 - 7. Suppose 15 = -3*w, -w = -0*t + v*t - 181. Let y = t - 27. Does 33 divide y?
True
Suppose -583 = -a + 5*u - 7*u, -4*u = 3*a - 1757. Is 59 a factor of a?
False
Suppose 2*d = 10 - 0, 5*d - 981 = -2*z. Is z a multiple of 49?
False
Let b = 135 - -302. Is 19 a factor of b?
True
Let h = -73 - -43. Let v = 63 + h. Suppose 5*c = -4*t + 48, c + c = 3*t + v. Does 3 divide c?
True
Suppose -12*a + 7*a = 0, -3*n + 5*a = -2064. Is n a multiple of 25?
False
Let l(b) = 3*b**2 + 2*b + 3. Let n = 0 - -3. Does 6 divide l(n)?
True
Let x = -149 - -59. Let f = 200 + x. Does 10 divide f?
True
Suppose -2*g + 40 = i + g, 2*i - 45 = g. Is 5 a factor of i?
True
Let t = -28 - -39. Suppose 0 = 5*x - t*x - 66. Let i(g) = -7*g - 22. Is i(x) a multiple of 11?
True
Let g(v) = -80*v - 7. Suppose -4*d = 2*s + 26, 0 = -d + 5*d + 20. Let l be g(s). Suppose -h + 207 = 3*z, -92 = -5*z + 5*h + l. Does 17 divide z?
True
Let m be (8/(-3))/((-12)/612). Suppose -3*z + m = 2*h, 109 = z + z + 5*h. Does 6 divide z?
True
Let n = 3207 + -1803. Is 66 a factor of n?
False
Let k(i) be the second derivative of i**5/4 - i**4/12 - 13*i**3/6 + 3*i**2 + 4*i - 4. Does 30 divide k(4)?
False
Does 29 divide 2 + -8 + (-894)/(-6)?
False
Let m = -1449 + 2229. Is m a multiple of 12?
True
Let l be -2 + (-2 - -1) - 380/4. Let j = 137 + l. Is 13 a factor of j?
True
Let q(a) = a**3 + 7*a**2 - 2*a - 6. Let w be q(-7). Does 14 divide (0 - 149)*(-8)/w?
False
Is 88 a factor of 16/(-4) + 6 + 0 + 653?
False
Suppose 260 = 8*y - 260. Is y a multiple of 13?
True
Suppose -695 = -2*g - 359. Is g a multiple of 6?
True
Let k be (-6*1)/(4/(-8)). Is (k/18)/((-4)/(-318)) a multiple of 6?
False
Is 66 a factor of 1787 - ((-16)/(-2) + (12 - 15))?
True
Does 6 divide (-4)/((-119)/(-30)*1 - 4)?
True
Let w(d) = -d**2 - 1 - 6*d + 10 - 6*d. Let t(u) = u - 28. Let h be t(16). Does 3 divide w(h)?
True
Let t = 176 - 10. Does 15 divide t?
False
Suppose -11*y + 7*y = -52. Suppose 270 = -4*q + y*q. Does 3 divide q?
True
Let a = 12 + -7. Let w be (-3 - a/(-1))*2. Suppose f + w*f = 85. Is 6 a factor of f?
False
Suppose 4*n = 5*q + 1944 - 624, 3*n = 5*q + 990. Is 22 a factor of n?
True
Let i(p) = p**3 - p**2 + 5*p. Let k be 4*1/(2/3). Let z be i(k). Suppose -5*j + z = 3*d + 2*d, -136 = -3*j - d. Is 14 a factor of j?
False
Let g = 3 + 0. Let z(n) = -5*n**3 - 4 - 7*n**2 + 5*n**3 - 5 + n**g + 9*n. Is z(6) a multiple of 4?
False
Let a(y) = -8*y + 4. Let k be ((-16)/(-10))/((-1)/5). Is 17 a factor of a(k)?
True
Does 29 divide 5/(165/(-6)) - (-71850)/110?
False
Let f be -2319 - 0*2/(-4). Is f/(-11) - (-5)/((-55)/(-2)) a multiple of 29?
False
Let r = -1319 - -1946. Is r a multiple of 23?
False
Let w(t) = -39*t**2 + 3*t - 3 + 13*t**3 + 17*t**2 + 20*t**2. Does 17 divide w(2)?
False
Let r(h) = -h**3 + h**2 - h + 33. Let w(s) = s**2 + 4*s + 3. Let o be (-116)/36 - (-4)/18. Let m be w(o). Is r(m) a multiple of 8?
False
Let f(l) = l**2 + 49*l + 205. Let b be f(-5). Suppose -4*i - 3691 = 5*p, -i + 5*p = -0*p + 929. Does 31 divide i/b + (-2)/(-5)?
True
Suppose 6*g - 98 = 52. Let w = 71 - g. Does 5 divide w?
False
Let o = -396 + 557. Does 7 divide o?
True
Let t be (-20)/(-6) + (-4)/3. Is (t + -3)*6/(18/(-645)) a multiple of 16?
False
Let z be 472 - 4/(-8)*4. Suppose -7*r + 324 + z = 0. Is r a multiple of 38?
True
Let h(o) = 3*o - 9. Suppose -3*f - 3*m + 27 = 0, -2*m = -4*f + 2*m + 20. Is h(f) a multiple of 8?
False
Suppose 1152 = -8*p + 9864. Is 11 a factor of p?
True
Let c = -17 + 35. Suppose c = -4*f - 3*p, -4*f - f = 5*p + 25. Let g(y) = y**2 + y - 3. Is 3 a factor of g(f)?
True
Let g = 12 - 11. Let z be g/(-2) - 2/4. Let f = 12 + z. Does 3 divide f?
False
Let a be (-4)/(-1)*(-81)/4. Suppose 228 = -4*c + 2*g, -37*g = -3*c - 38*g - 171. Let i = c - a. Is 8 a factor of i?
True
Let u(v) = -2*v - 8*v + 5*v - v**2. Let q be u(-6). Is 13 a factor of 46/3 + 2/q?
False
Suppose 0*r - 11 = -w - 4*r, 0 = 2*w + 2*r - 16. Is 12 a factor of (w - -51) + 3*(-4)/(-6)?
True
Suppose -3*j + 10 = -2*j. Let z(o) = 2*o - 15. Let l be z(j). Suppose -4*g = l*k - 29, -2*k - 1 = -5*g - 6. Is 5 a factor of k?
True
Let q = 13 - 10. Suppose -44 = -3*d + 2*c, -7*d + 44 = -q*d + c. Let i = d - 3. Does 9 divide i?
True
Let w = -11545 - -16825. Does 22 divide w?
True
Let m = -128 - -29. Suppose 5*i + y - 730 = 0, 0*y - 25 = 5*y. Let l = m + i. Is l a multiple of 13?
False
Let f(o) = -o**3 - 2*o**2 + 1. Let n be f(-3). Suppose 4*a = -3*x + n + 56, a - 4*x - 7 = 0. Suppose -a*i + 13*i = -38. Is i a multiple of 8?
False
Suppose -15*z - o = -13*z - 877, 1755 = 4*z + o. Is 43 a factor of z?
False
Let g be (1/2)/((-1)/(-98)). Let n be ((-168)/36)/(4/6). Does 6 divide 1190/g + 2/n?
True
Let t(n) = -13*n - 48. Let z be t(-5). Let m = 9 + z. Is 3 a factor of m?
False
Suppose 0 = -r - 2*r - 246. Let q = 9 - r. Is 14 a factor of q?
False
Let d be ((-30)/8)/(18/(-48)). Is 29 a factor of (-85)/(-1) - (-6 + d - 4)?
False
Let y(f) = 2*f + 1. Let p be y(0). Let i = p - 31. Let n = -20 - i. Does 5 divide n?
True
Suppose -2*h + 32 = -7*h + 3*v, -4*h - v = 29. Is 12 a factor of 9*h*(-84)/49?
True
Suppose 4 = 5*d - 16. Suppose -d = -x - 0. Suppose u + x*u - 480 = 0.