 6 - (d + 0) - -176?
False
Suppose -j = 10*j - 1254. Let l = j - -206. Is 10 a factor of l?
True
Let x be 1/(5/7236) - 44/(-55). Suppose -53 = 3*v - x. Let u = v - 179. Is 26 a factor of u?
True
Let h(z) = -z**3 + 32*z**2 - 30*z + 2. Let n be h(31). Suppose -n*w + 29*w = -2112. Is 11 a factor of w?
True
Suppose 5*c = -5*k + 135, -4*c - k = k - 112. Let o = c + -26. Suppose -5*r = -r - j - 118, -2*r + o*j = -54. Does 10 divide r?
True
Suppose -2*m = 3*m - 3*q - 8950, 4*m - 7128 = -4*q. Suppose 16*f = 11*f + 3*i + m, -5*f - 3*i + 1793 = 0. Is 34 a factor of f?
False
Suppose 55*r + 4176000 = 129*r + 70*r. Is 200 a factor of r?
True
Suppose 0 = 2*h - h - 4*g - 14, 5*h = 2*g + 16. Let r be 3/(30/(-16))*(-5)/h. Suppose -r*b + b + 84 = 0. Is 14 a factor of b?
True
Let c = 223 - 95. Suppose 0 = -47*b + 15*b - 1536. Let p = b + c. Is 11 a factor of p?
False
Let c be (14 - 24)*-2*2. Let m = 28 - 28. Suppose g - 46 = -m*g + 3*j, c = g - j. Is 26 a factor of g?
False
Suppose 8 = -3*z + 17. Suppose 280 = -5*q + 5*r - 140, z*q + 5*r = -268. Let p = 148 + q. Does 9 divide p?
False
Let c(h) = 36*h**2 - 3*h - 3. Let s be c(-5). Suppose 4*g + 3*j + 1799 = 0, 2*g + 3*j + s = -j. Let p = 642 + g. Does 7 divide p?
True
Suppose 35*n = -r + 39*n + 3408, 0 = n. Does 41 divide r?
False
Let m(f) = 16*f + 1. Let n be m(8). Suppose 8 = -n*o + 131*o. Is (o - -3) + -3 + 77 a multiple of 27?
True
Let t = -3522 - -7525. Is 28 a factor of t?
False
Does 138 divide (-99348)/(-9) + 240/180?
True
Let m be (-1 + 11)*2/4. Let n(o) = -2*o**3 + 8*o**2 - 3*o - 3. Let z(q) = 2*q**3 - 9*q**2 + 4*q + 2. Let v(g) = -5*n(g) - 4*z(g). Is v(m) a multiple of 29?
False
Let l = -89 + 228. Let a = l - -176. Is 19 a factor of a?
False
Let q be (-8)/(-1 + -3)*(17 - -2). Suppose n + q = -2. Let v = n + 99. Is 27 a factor of v?
False
Let n(a) = 59*a**2 + 40. Let v be n(-10). Suppose v = -6*w + 18*w. Is 33 a factor of w?
True
Let w(t) = 830*t**3 + t**2 - 3*t + 2. Let o be w(1). Is 17 a factor of o + (-9)/18*-16?
False
Let m = -144 + 96. Let q be (16/m)/((-2)/1374). Suppose -8*c + 7*c + q = 0. Does 11 divide c?
False
Let v(o) = 4*o + 65. Let p be v(0). Suppose 5*j = h + p, -8*h + 45 = 5*j - 5*h. Is j a multiple of 11?
False
Let w(x) = -8*x - 5. Let a(v) = -v**2 - 9*v + 2. Let k be a(-10). Let i = -11 - k. Is w(i) a multiple of 3?
False
Is (-79384)/(-14) + 22/(-77) a multiple of 35?
True
Suppose 360*q + 30147 = 399*q. Does 2 divide q?
False
Let r(g) = -3*g**3 + 63*g**2 + 98*g + 113. Let l(a) = 2*a**3 - 42*a**2 - 65*a - 75. Let i(v) = -7*l(v) - 5*r(v). Is i(24) a multiple of 53?
True
Let b(v) = -2*v**2 - 22*v - 43. Let y be b(-7). Suppose 117 - 1313 = -y*f. Does 6 divide f?
False
Suppose -8*k - 4*k = -92976 - 283740. Is 21 a factor of k?
False
Suppose 0 = -k, -39*q + k - 2751 = -36*q. Let f = q - -1347. Does 4 divide f?
False
Let m be (4 - 1)*(-3120)/80. Is 78/m - 628/(-6) a multiple of 19?
False
Let y(l) = l**3 + 4*l**2 + l + 6. Let r be y(-4). Suppose -54 = -2*a + a - 5*t, r*a = 3*t + 160. Does 11 divide a - (22/(-7) - 4/(-28))?
True
Let s = -3061 + 5477. Suppose 3*p - 4*f - s = -p, -4*p - 3*f = -2395. Suppose -5*u = -54 - p. Is u a multiple of 21?
False
Let t = 1024 + -1020. Suppose -3*l - 3*d = -1476, -2*l + t*d = 357 - 1365. Is 16 a factor of l?
True
Suppose -6*j + 85 = -23*j. Does 4 divide 1/(j/1190*-7)?
False
Suppose -u + 18 = 4*g + u, -3*u = -3. Suppose -14*i + g*i = -4940. Is (i/(-13))/(1/(-6)) a multiple of 19?
True
Let a = 584 + -396. Suppose -6*c + a = -94. Is c a multiple of 10?
False
Let c(i) = 3*i**3 - 11*i**2 - i - 17. Let o be c(4). Let t(s) = -3*s**3 + 5*s**2 + 16*s + 105. Is 21 a factor of t(o)?
True
Suppose -2280 = -597*l + 587*l. Is 12 a factor of l?
True
Suppose 0 = -27*r - 4*r + 13*r + 1251198. Does 178 divide r?
False
Let k = 13700 - 23468. Does 10 divide (k/48)/(1/(-2))?
False
Suppose -21 = 16*w + 75. Is 56 a factor of (112/w)/((-41)/369)?
True
Let z(g) = -10*g**3 + 6*g**2 + 19*g - 27. Let u(p) = 7*p**3 - 4*p**2 - 13*p + 18. Let t(h) = -7*u(h) - 5*z(h). Is 3 a factor of t(4)?
False
Let s(h) = -3*h**3 - 70*h**2 - 12*h - 969. Is s(-30) a multiple of 44?
False
Let a(s) = s**2 + 3*s - 22. Let o be a(-6). Does 2 divide (-14)/o*2 + 27?
True
Let v(i) = 11598*i**3 + 9*i**2 - 2*i - 5. Does 20 divide v(1)?
True
Let x(h) = h**3 + 20*h**2 + 18*h - 12. Let a be x(-19). Let f(j) = 2*j**2 + 13*j - 69. Is f(a) a multiple of 10?
True
Suppose 16 = 4*l, f - 25 = -3*l - 4. Let u = 46 - f. Does 17 divide u?
False
Suppose -102 = -f + 4*u, -f + 3*u = 3*f - 421. Let b = -1332 - -1490. Let s = b - f. Is s a multiple of 3?
False
Suppose -47*a - 39*a + 65*a = -756000. Does 100 divide a?
True
Does 10 divide (-16)/(-72) - ((-5 - -1) + 1969/(-9))?
False
Let h(p) = -13*p**3 + 22*p**2 + 98*p + 374. Is h(-15) a multiple of 115?
False
Let l be 2/50*5 + 10038/10. Let h = -636 + l. Does 65 divide h?
False
Suppose -20*t + 20*t + 190223 = 11*t. Does 17 divide t?
False
Let c = -748 - -1437. Let a = c - 437. Is 12 a factor of a?
True
Let c(d) = d**3 - 10*d**2 + 2*d + 15. Let x be c(13). Let b = x + -338. Is 14 a factor of b?
True
Let s(j) = 2*j - 37. Let i(h) be the second derivative of -h**5/20 + 7*h**4/12 + h**3/3 + 9*h**2/2 - 16*h. Let q be i(7). Is s(q) a multiple of 9?
True
Let f(i) = -52 + 9*i - 6*i + 21*i + 20*i. Is 32 a factor of f(11)?
False
Suppose -4*f = -5*f. Let l = 5228 + -5225. Suppose f = -0*z + l*z - 282. Is 5 a factor of z?
False
Let n be ((-9)/(-6) + 0)/(6/92). Suppose -48 = -5*f - n. Suppose 6*h - 627 = -f*h. Is 8 a factor of h?
False
Let d = 3596 + -2111. Does 26 divide d?
False
Let l(i) = -i**3 - 15*i**2 + 115*i + 233. Is 277 a factor of l(-28)?
False
Let b be 0*50/(-60)*3/(-5). Suppose b = c + 3*c - 196. Does 3 divide c?
False
Suppose -77 = -4*f - 0*p + 3*p, 100 = 5*f - 3*p. Let l = f + -91. Is (-8)/(-20) - l/5 a multiple of 2?
True
Suppose 5*n - 2499 = -2*k, 81*n - 1245 = -k + 80*n. Let z = -243 + k. Is z a multiple of 27?
True
Let j = -1003 - -1423. Does 22 divide 1/7 + 64620/j?
True
Let y(w) be the third derivative of -1/24*w**4 + 8*w**3 + 31*w**2 + 1/60*w**5 + 0 + 0*w. Does 12 divide y(0)?
True
Let q(y) = -y**3 + y**2 - 2*y - 1. Let t be q(2). Is 41 a factor of (-1106)/(-9) + (-1)/t?
True
Let u(s) = s**3 - 4*s**2 - 13*s + 3. Let b be u(6). Let a be (0 + 4 + b)*-11. Let k = 73 + a. Does 13 divide k?
False
Suppose 5*r - 7 = -2*h, 3*r + 0*r + h = 5. Suppose -2*m - 2*p + 88 = 0, -m - p + 50 = r*p. Is m a multiple of 8?
False
Let f = -455 - -838. Let m = 679 - f. Let c = m - 135. Is c a multiple of 18?
False
Is 16 a factor of ((-43)/(-2))/(1/(-6)*99/(-6204))?
False
Suppose -4*z + 3783 = -202*f + 205*f, -4*f = 5*z - 4730. Is 6 a factor of z?
True
Is 150/12*((-10)/(-25) + 2694/15) a multiple of 9?
True
Let y = 12822 - 2242. Is 46 a factor of y?
True
Suppose 3*s - 186 = 4*c + 310, 4*s = c + 644. Does 10 divide s?
True
Suppose -13*k + 9*k = 16. Does 4 divide 10/4*(36 + k)?
True
Let y = -790 + 780. Is 6 a factor of (y - 2)/((-2)/22)?
True
Let v = -638 - -937. Let f = v + -275. Is 4 a factor of f?
True
Let u = -162 - -162. Suppose 2*b - 1124 = -u*b + 4*v, 5*v + 1687 = 3*b. Does 12 divide b?
True
Let k(b) = -2*b**3 - 8*b**2 + 3*b - 6. Let g be k(-6). Suppose 0 = -0*w + w - 4, 4*w = -4*h + g. Is h/39 + (43/3 - 0) a multiple of 5?
True
Let d(c) = 6*c**2 - 51*c + 33. Let y(l) = -7*l**2 + 54*l - 33. Let v(r) = -6*d(r) - 5*y(r). Is 33 a factor of v(22)?
False
Suppose -280*b = -1201776 - 1549224. Does 15 divide b?
True
Suppose -284 = -21*n + 94. Suppose n*l - 2171 = 619. Is l a multiple of 7?
False
Let t = 7745 + -3337. Is t a multiple of 58?
True
Let u(g) = 2*g + 59. Let t(p) = -p - 60. Let j = -41 - -39. Let x(r) = j*u(r) - 3*t(r). Is 11 a factor of x(-15)?
True
Let i = 21 + 9. Suppose -p - 5*p = -i. Suppose p*n - 138 = -3*s, -2*s + 84 = 3*n + s. Is n a multiple of 9?
True
Let z be (-66)/99 + (-5542)/(-6). Suppose -3*k + z = -l, 10*l - 12*l = -3*k + 922. Is k a multiple of 28?
True
Let a be 6/(24/28) - -744. Let z = a - 375. Does 8 divide z?
True
Let h(y) = -12*y**3 + 15*y - 26. Is 15 a factor of h(-6)?
False
Suppose 0 = 73*z - 30*z - 73831. Does 12 divide z?
False
Let i = -16828 + 25708. Does 6 divide i?
True
Let h be 56 + 1 + -1 + 1. Suppose -d + 4 = -h. Suppose 5*z + 2 = y - 61, d = y - 4*z. Is 11 a