- 16*a + 2522 - 2525 - a**3 - 6*a**2 + 5*a. Does 66 divide b(-12)?
False
Let r(l) = 112*l + 27. Let m(a) = -115*a - 27. Let z(x) = -5*m(x) - 4*r(x). Is z(3) a multiple of 5?
False
Let b(j) be the first derivative of 39*j**2/2 - 183*j + 20. Is b(8) a multiple of 25?
False
Let u(s) = -2*s**2 - 17*s - 9. Let h be u(-7). Suppose -h*q - 35 = -5*q. Let y = q - -21. Is 8 a factor of y?
True
Suppose 1 = -2*t - 2*c + 7, t - 2*c = 0. Let r be (12/(-30) + 1)/(t/(-10)). Does 12 divide r/24*-6*216?
False
Let r = -247 + 120. Suppose -3*m = k - 53 - 36, m - 3*k - 13 = 0. Does 16 divide (-21)/m - r/4?
False
Does 43 divide (4/(-6))/((28/(-9))/14) + 11024?
False
Let i = 715 + -1094. Let s = -106 - i. Is 21 a factor of s?
True
Suppose -32 + 1 = w. Let g = w - -31. Suppose g = -5*s + 94 + 566. Does 13 divide s?
False
Suppose 66194 = 50*s - 127276 - 103230. Is 46 a factor of s?
True
Let i(z) = -7*z + 0 - 6*z - 14 - 2. Let g be i(-22). Suppose 0 = k - 6*k + g. Does 30 divide k?
False
Let q = -18038 + 26492. Is q a multiple of 139?
False
Let n(p) = 93 - 75 - 25*p - 50 + 4*p. Does 13 divide n(-4)?
True
Let t(z) = 7 + 3*z - 5 - 17. Let l be t(5). Suppose 5*i - 2*c = 129 + 47, l = -5*i - 4*c + 188. Does 12 divide i?
True
Let l = -28693 + 60297. Is l a multiple of 68?
False
Suppose -60*a + 32*a = -38528. Does 43 divide a?
True
Let t be ((-40)/(-15) - 2)*-107*3. Let i = 619 + t. Is 17 a factor of i?
False
Suppose -3*f = 4*w - f - 72, -74 = -4*w - 3*f. Suppose -w = -4*u - 1. Is 2 a factor of 2*(1 - -3 - (u + -6))?
True
Suppose -s = 4*x - 6*x - 13, 3 = 3*x + 3*s. Does 12 divide ((-3)/9)/(7/(-298 - x))?
False
Suppose -54 = -9*y, -3640 - 20108 = -n + 3*y. Is 247 a factor of n?
False
Let p(n) = 392*n**2 - 179*n + 221. Is p(-10) a multiple of 19?
True
Suppose 2*k + 2*v - 2188 = 0, -5*v = 4 + 16. Does 13 divide k?
False
Let a = -212 + 220. Does 19 divide (4 - (-3 + -31))*(a - 4)?
True
Let n = 18275 + -5215. Is n a multiple of 11?
False
Let w be ((-16)/(-12))/4*-6. Let a be 9/w*(-40)/(-30). Is a/(-21) - 552/(-28) a multiple of 5?
True
Let w be (38/(-3))/((-30)/675). Suppose 11*x - 6095 = w. Is x a multiple of 10?
True
Suppose -560 = -2*k - 2*k. Let l = -85 + k. Does 9 divide l?
False
Suppose -14 = 3*g + 3*s - 26, -g + 4*s = -4. Suppose -4*c + 911 = -3*a, -g*c + 32*a - 37*a = -903. Is c a multiple of 4?
False
Suppose 5*m - 22 = 2*v, -3*m = 4*v - 5 - 29. Suppose -4*o - 6 = -m*o, -5*q + o = -102. Is q a multiple of 2?
False
Let s be (16 + -3)*-9*-1. Let k = s - 183. Let t = k - -134. Does 13 divide t?
False
Let l be (36/16)/(4*9/96). Suppose -u - l*u = -357. Is 27 a factor of (-2)/(-17) - (-1575)/u?
False
Suppose -3*k + s = -0*s - 58, -2*k - 4*s + 20 = 0. Let t be 15/(-13) - k/(-117). Is (6/(-4) - t)/((-7)/252) a multiple of 3?
True
Let l = -180 - -414. Suppose 196*s + l = 205*s. Is s a multiple of 8?
False
Suppose -38*p + 36*p - 2*d = -7794, 0 = 2*p + 5*d - 7785. Does 15 divide p?
True
Let q(a) = 15*a - 121. Let b(i) = -23*i - 77. Let r be b(-4). Is q(r) a multiple of 21?
False
Let x be ((-2)/2)/(1/(-331)). Let s = 110 + x. Suppose 5*y - 3*z - 530 = -z, 5*z = 4*y - s. Is y a multiple of 13?
True
Let a(s) = -2953*s - 822. Is a(-9) a multiple of 17?
True
Suppose -151 - 157 = -l. Let b = l + 206. Does 69 divide b?
False
Suppose -27521 = -13*n + 86967 + 22350. Is 19 a factor of n?
True
Let t = -89 + 106. Let u(s) = s**2 - 2*s + 161. Is 18 a factor of u(t)?
False
Let g be 6/(36/(-523)) + 1/6. Let x = -63 - g. Suppose -u + 15 = -x. Is 3 a factor of u?
True
Let g be 12/(-1) - (4 + -1). Is 14 a factor of (g/(-60))/(1/764)?
False
Let x = 11014 - 1894. Is x a multiple of 15?
True
Let t = 2667 - 826. Does 33 divide t?
False
Suppose -20*z + 21*z = 2. Let j = 21 + z. Suppose j = -o + 95. Is o a multiple of 18?
True
Let f(w) = 180*w**2 + 121*w - 1921. Is f(16) a multiple of 15?
True
Let n(w) be the first derivative of -3*w**4/4 - 2*w**3/3 - 7*w**2/2 + w - 19. Is 7 a factor of n(-4)?
True
Let i be (-51)/34 + ((-9)/(-6))/1. Suppose i = -13*k + 2925 - 234. Does 82 divide k?
False
Let w = 2418 - -172. Does 74 divide w?
True
Let v = -1406 + 7005. Does 3 divide v?
False
Let a(n) = -2*n**3 + 2*n**2 - n - 3. Let h be a(2). Let o be (4 + -2 - 4)*h. Suppose -4*y = -30 - o. Is 14 a factor of y?
True
Let u = -2906 - -3998. Is 42 a factor of u?
True
Suppose 9*c - 13*c + 124 = 0. Suppose 2*r - 97 - c = 0. Suppose -r = -5*u + u. Does 4 divide u?
True
Suppose 113*r + 58*r = 9*r + 5371596. Is r a multiple of 59?
True
Let s be 4*1/(-2)*3. Let d = s + -11. Does 16 divide 302/3 - d/51?
False
Let v(h) = 16*h**2 - 6*h + 54. Let x(u) = -u**2 - u - 1. Let m(j) = v(j) + 6*x(j). Is m(5) a multiple of 17?
True
Let s be (-82)/(-10) - 8/(-10). Suppose -s*x + 579 + 861 = 0. Suppose -x = -30*h + 26*h. Does 5 divide h?
True
Suppose -5*h + u + 15 = -4*h, 4*h - 30 = -2*u. Let v be (h - 7) + (-45 - (4 + -2)). Let y = 95 + v. Does 14 divide y?
False
Suppose 12*z + 101 = 257. Let f(d) = 3*d - 33. Let i be f(z). Let p(v) = -v**3 + 8*v**2 - 5*v - 7. Is p(i) a multiple of 13?
False
Let z = -427 - -781. Suppose -2*f + 1042 = z. Is 18 a factor of f?
False
Let t = -1638 - -2624. Suppose 0 = -27*i + 3469 + t. Is 33 a factor of i?
True
Suppose 146*x - 24889 - 33503 = -12110. Is 2 a factor of x?
False
Let t(n) = n**2 + 10*n + 21. Suppose i - 3*b + 17 = -5*b, -5*b = -i + 18. Let l be t(i). Suppose 3*r = -l*r + 288. Does 12 divide r?
True
Suppose 0 = 3*s - 0*s - 5*l - 64, 0 = -3*s - l + 88. Let y be (8/s)/(1/7). Suppose -4*z - y*p - 60 = -5*z, 50 = z + 3*p. Does 8 divide z?
True
Let k be 24/((-120)/65 - -2). Let t = k - 131. Is t even?
False
Let j = 52667 - 35674. Is 34 a factor of j?
False
Let k = 8472 - -2838. Suppose -26*b + 0*b + k = 0. Is b a multiple of 29?
True
Let v(n) = n**2 - 7*n - 4. Let r be v(8). Suppose -2*h - 3*d = d - r, 4 = 2*h + 2*d. Suppose 0*p + h*p + 2*m - 222 = 0, -2*p = m - 223. Is 28 a factor of p?
True
Suppose g + 648 = -g + h, -3*g - 972 = -4*h. Let i = -37 - g. Is 7 a factor of i?
True
Let f be -3 - -3*115/(-15). Let p = -30 - f. Is 23 a factor of 21*(-15)/(p + 1)?
False
Let w(g) = -226*g - 618. Is w(-3) a multiple of 11?
False
Let w(f) = 36*f - 19. Let v be w(5). Let d = v - -179. Does 20 divide d?
True
Suppose 13*m = -3*m + 64. Suppose -d + 19 = -m*p, 35 = -3*d - 5*p + 177. Is 3 a factor of d?
True
Let r = 227 + -223. Suppose -i + 1806 = 5*t, i - 362 = r*t - 5*t. Is t a multiple of 27?
False
Suppose -35*t + 95*t - 35*t - 8300 = 0. Does 4 divide t?
True
Suppose -3*q + 2414 = 4*p, 2*p - 1071 = -2*q + 135. Suppose v + p = 5*b, b + b = v + 245. Does 24 divide b?
True
Suppose 56467 = 79*r - 59*r - 1293. Does 85 divide r?
False
Let p(v) = -2*v**2 - 13*v + 104. Is 4 a factor of p(-9)?
False
Let d be -24 + (-2)/(-1) + 0. Let k = -74 + 136. Let w = d + k. Is w a multiple of 5?
True
Suppose 2*r - 5*u = -u + 24, -4*r - 5*u = 4. Let w(n) = n**3 - 4*n**2 + 2. Let d be w(r). Suppose 0 = -d*i - 2*i + 520. Is i a multiple of 13?
True
Suppose -2*n - 24 = -4*x, x + 5*n + 16 = -0*x. Is 2 + 11376/28 + x/(-14) a multiple of 12?
True
Suppose -5*i + a = -33914, -248*a - 27129 = -4*i - 245*a. Is 25 a factor of i?
False
Suppose 2*v = -3*v - 10. Suppose -2*o = -13 + 25. Does 12 divide (o/v)/(6/92)?
False
Let i = 16774 + 9174. Does 26 divide i?
True
Suppose 13*k + 12 = 64. Suppose -4*q + 426 + 1154 = 4*o, 1939 = 5*o - k*q. Is 23 a factor of o?
True
Let n = 618 - -822. Is n a multiple of 15?
True
Is 13 a factor of (3*(-247)/57)/(2/(-54))?
True
Suppose v + 5858 = -4*t + 16491, -4*v - 5294 = -2*t. Is 20 a factor of t?
False
Let z = 15554 - 4754. Is z a multiple of 216?
True
Let w(t) = -t**2 - 17*t - 40. Let h be w(-14). Let p be (-2 - 0)*1/h - -33. Suppose 8*y - p = 416. Is 14 a factor of y?
True
Suppose 0 = -9*m + 20*m + 37*m - 405120. Is m a multiple of 20?
True
Let j = 61 - 64. Let r(b) be the third derivative of b**5/15 - b**4/12 - 5*b**3/6 - 7*b**2. Is r(j) a multiple of 5?
False
Suppose -35743 = -5*s - 3*g, -32*s = -31*s - 3*g - 7145. Is s a multiple of 40?
False
Suppose 4*n - 1 = -2*q + 9*n, -5*q = -5*n - 10. Suppose -4*f = q*i - 917, -f + 227 = 4*i - i. Does 23 divide f?
True
Suppose 49*l = 12*l + 1248972. Is l a multiple of 291?
True
Let i = -152 + 147. Let t(r) = 5*r**2 + 8*r + 8. Is 6 a factor of t(i)?
False
Suppose 2*l + 2*l 