2*a**2 - 16*a + 50. Let x be 200/450 - (-172)/18. Does 8 divide k(x)?
False
Suppose 130*a - 528704 = 3044996. Does 16 divide a?
False
Let y(s) = s**2 - 7*s - 13. Let w be y(-6). Let k = w + 123. Suppose k = 6*v - 40. Is 12 a factor of v?
False
Suppose 9*i - 1787 - 27172 = 831. Does 16 divide i?
False
Let j be (0 - 4/6) + (-142)/(-6). Suppose -j = 4*k + 3*t - 6*t, -3*t + 17 = -k. Does 18 divide (0 + (-5)/k)*744/15?
False
Let v be (-9)/((-27)/4)*-3. Let l = v - -3. Let p = l + 43. Does 14 divide p?
True
Let z(v) = v**2 + 18*v + 13. Let h(m) = 4*m**2 + 71*m + 51. Let o(c) = 2*h(c) - 9*z(c). Suppose -470*w - 165 = -459*w. Is 15 a factor of o(w)?
True
Let m(y) = 27*y + 29. Let c be m(-1). Suppose c*z + 143 = 1053. Is z a multiple of 11?
False
Let p(c) = -5*c - 11. Let i be p(-10). Let y be 2/(8/284) + 4. Let o = y - i. Does 12 divide o?
True
Is (-1421)/(-1)*4 + (-2)/(-32)*0 a multiple of 98?
True
Let u(d) = 2*d**2 + 0*d - 2 + 6*d**2 + d**2 - 3*d. Let n be u(-1). Does 14 divide (-3)/((-18)/363) - (-5)/n?
False
Let z(s) = 9 - 78*s + 30*s - 63*s. Does 19 divide z(-3)?
True
Let v(u) = -65*u + 415. Let d(n) = 8*n - 52. Let j(x) = -25*d(x) - 3*v(x). Is 6 a factor of j(-25)?
True
Does 71 divide -10*3*5396/(-24)?
True
Let c = 131 + -148. Let j be (3 - c/(-6)) + 2/(-12). Let n(g) = -g**3 + 2*g**2 + 2*g + 136. Is n(j) a multiple of 27?
False
Let x = -146 - -98. Let q = x + 154. Suppose -3*s + 4*a = -112, -4*s = 3*a - q - 35. Is s a multiple of 12?
True
Let n(v) = -92*v - 1125. Is n(-28) a multiple of 20?
False
Suppose -10 = 5*c, 4*f - 398 = 3*f - 2*c. Suppose f*k = 394*k + 11200. Does 25 divide k?
True
Let m = -184 - -187. Does 4 divide (-18)/9 + 102/(m + 0)?
True
Let x(v) = 17*v - 20. Suppose -5*l - 10 - 215 = 0. Let o be 43/9 - 10/l. Does 13 divide x(o)?
True
Suppose 5*j = j + 8. Suppose -7*u + j*u = 15. Let m(t) = -78*t - 2. Is m(u) a multiple of 29?
True
Let r be 7 - (5 - 3 - -1). Suppose -934 = -5*u - 2*i, r*u - 8*u + 5*i = -734. Is 31 a factor of u?
True
Let k(i) = -21*i + 34. Let d be k(8). Let l = d - -141. Is 7 a factor of l?
True
Suppose f + 3*b = -1069, 3*b - 1049 = f + b. Let t = -727 - f. Is 11 a factor of t?
True
Let n(r) = -5*r**3 + 4*r**2 - 3*r. Let x be n(-3). Let v = x + 40. Suppose -3*k - 48 + 157 = -4*s, -5*k - s + v = 0. Does 3 divide k?
False
Let d(s) = s**2 - 13*s - 13. Let p be d(14). Is 21*p/5*75 a multiple of 45?
True
Let r be 20/4 + (-2 - 2/2). Let h be (-60)/(-16) + r/8. Suppose 7*c - 22 = -k + h*c, 0 = -4*k + 2*c + 46. Is 13 a factor of k?
True
Suppose 1638 = 93*x - 95*x. Let p = x + 1242. Is 59 a factor of p?
False
Let h = -28 - -337. Suppose m - h = -c, 3*m = -3*c + c + 623. Is 16 a factor of c?
True
Let x(v) = v**3 - 10*v**2 - 5*v + 53. Let p be x(10). Suppose q = -4, -9 = 2*f + p*q - 375. Does 39 divide f?
False
Let z(w) = w**2 + 66*w - 230. Let s be z(-40). Does 6 divide ((-6)/8 + (-7)/(-20))*s?
False
Suppose -53*b + 178*b - 173513 = 216737. Is b a multiple of 3?
False
Let l(k) = -k**3 + 57*k**2 - 112*k + 1050. Does 10 divide l(33)?
True
Let o be (1 + 435/6)/((-4)/8). Let n = o + 229. Is 18 a factor of n?
False
Suppose 0 = -0*m - m - b + 90, 0 = 3*m - 4*b - 263. Let i be (74/185)/((-1)/15). Let t = m - i. Is t a multiple of 11?
False
Let j = 816 + -787. Let r(v) = 22*v - 302. Is r(j) a multiple of 28?
True
Let u = 119 - 85. Suppose -9*q + 4*c = -13*q + 48, -4*q - 2*c = -52. Let g = q + u. Does 12 divide g?
True
Suppose -11*l + 6*l = 4*k + 6, l + 2 = -k. Does 7 divide ((-4)/(-5) + -2)/(l/(-955))?
False
Suppose 4 = -2*s + 5*t + 33, 0 = s - t - 7. Let b(z) = -4*z**2 - 4 - 4 - z**3 + 5*z + 7 + 0*z**s. Is 6 a factor of b(-6)?
False
Suppose 2*x = 5*g - 25265, -g + 5*x - 1053 = -6129. Is g a multiple of 10?
False
Let l(d) = -75*d - 895. Is 3 a factor of l(-28)?
False
Let m = 20582 - 3870. Is m a multiple of 8?
True
Let z = -6045 - -11265. Is z a multiple of 30?
True
Let q = 49 + -52. Let l(z) = -z**3 - 3*z**2 - 8*z - 4. Is l(q) a multiple of 8?
False
Suppose -4*u + 735 = -4*a - 733, -4*a + 4 = 0. Is 7 a factor of u?
False
Suppose 26 = -2*g + 5*x, g + x + 23 = 6*x. Let y be g/(-6) + (-34)/(-4). Suppose -4*q - 3*l = -y, 8*l - 3*l = 5*q - 55. Does 3 divide q?
True
Let n = -57 + 55. Let u be (230/4)/(n*1/4). Let p = u - -257. Is p a multiple of 20?
False
Suppose 19*g = 14*g + 40. Suppose 16*m = g*m + 2536. Does 6 divide m?
False
Suppose 11*i - 312 = -2*i. Suppose -i*u + 12*u + 6432 = 0. Is 69 a factor of u?
False
Let x = -412 + 819. Let k = 65 - x. Let o = -168 - k. Does 29 divide o?
True
Let k = -20099 - -28148. Is k a multiple of 17?
False
Let g = 735 - 23. Let p = g + -307. Is 15 a factor of p?
True
Let y(w) = -w**2 + 8*w - 4. Let z be y(7). Suppose 0 = -z*h + 4*h. Suppose -7*a + 384 - 48 = h. Does 23 divide a?
False
Let q(t) be the second derivative of -35*t**3/6 - 5*t**2 - 13*t. Let g be q(-5). Let h = g + -53. Is h a multiple of 14?
True
Let i = -5592 - -6587. Is i a multiple of 231?
False
Let m be (-1)/(6/(-12)*-3 - 2). Is ((-11744)/64)/(m/(-4)) a multiple of 58?
False
Let t be 3 + 0 - 5 - -81. Suppose 29 = -6*r + 23. Is 11 a factor of t + (-1)/r*-2?
True
Suppose -48 = -8*d + 2*d. Suppose -d*s + 16 + 24 = 0. Suppose -s*t + 129 + 46 = 0. Is t a multiple of 14?
False
Does 8 divide ((-4)/5)/(((-14)/(-539))/(-38 - 2))?
True
Is 68 a factor of 507935/232 + 3/(-8)?
False
Suppose 0 = m - a - 3*a - 2384, 4*m + 2*a - 9608 = 0. Is m a multiple of 25?
True
Suppose -5*y + 87112 = 3*h, 5*h - 145202 = -0*y + 7*y. Is 23 a factor of h?
False
Suppose -26*a + 22*a = -16, -3*a + 762 = -5*j. Does 5 divide (-10)/j*55*27?
False
Suppose 178582 = 5*i + n - 15220, 2*i = 3*n + 77497. Does 49 divide i?
True
Let g = 385 - 639. Let q = g + 432. Is 4 a factor of q?
False
Suppose -2*m = -4*m + 10. Let i(f) = m*f + 6*f - 10*f**2 - f**2 + f**3 + 2*f + 13. Is 7 a factor of i(10)?
False
Let s = -171 - -176. Is 48 a factor of (6/s)/((-39589)/3960 - -10)?
True
Suppose 5*t - 5*c = 0, -3*c + 8 + 7 = 0. Suppose -2*f + 5*p = -205, -2*f = -t*f - 4*p + 319. Does 31 divide f?
False
Let i = 97 + -93. Let a be (-2)/(-1)*8/4. Suppose -a*u + 896 = i*u. Is u a multiple of 14?
True
Suppose 1433410 = 79*c + 146026. Is 14 a factor of c?
True
Let c be ((-15)/35)/((-5)/35). Suppose -c*w + 11718 = 24*w. Is 14 a factor of w?
True
Suppose 4*q - 3*d - 36 = 0, -q = 2*d - 0 - 9. Suppose q*h - 13*h = -364. Let u = 75 + h. Is 30 a factor of u?
False
Suppose -10*m + 6*m - 596 = 0. Let i = m - -173. Does 4 divide i?
True
Let o(r) = -r**2 - 11*r - 2. Let t be o(-11). Let v be (t/1 + 1)*-2. Suppose v*w = d - 24, 3*d - 6*d = 3*w - 36. Does 6 divide d?
False
Let u = 5211 + -712. Is 9 a factor of u?
False
Let z = 4593 - -169. Is z a multiple of 26?
False
Suppose -9*r - 472 = -3*n - 7*r, -3*r + 12 = 0. Suppose 142*i - n*i + 7398 = 0. Does 27 divide i?
False
Let o = -1022 - -1055. Is 23 a factor of 55/o*4968/20?
True
Let y(o) be the first derivative of o**3/3 + o**2/2 + 10*o - 21. Let f be y(16). Suppose 5*z - f = 723. Does 19 divide z?
False
Let w = -24513 + 69246. Is 111 a factor of w?
True
Suppose -3*w + 729 = 4*f, -2*w + 547 = 3*f - 0*w. Let r = -315 + f. Let n = r - -171. Is 10 a factor of n?
False
Suppose 15*q - 2364 + 489 = 0. Suppose 3*k = f + 100, 0 = 4*k - 4*f + f - q. Does 7 divide k?
True
Suppose 12*g + 6 = 18. Let x = 0 + 1. Is 32 a factor of (252*g)/4 + x?
True
Let i = 88 - 90. Does 5 divide (312/96)/(i/(-80))?
True
Let f = 36122 + -21472. Is f a multiple of 41?
False
Suppose 2*k + 789 = z, -4*k + 4*z + 622 = 2198. Let x = k + 555. Is x a multiple of 2?
True
Let n(q) = 3*q**2 - 5*q - 15. Let h be (-6 - 9/(-2))*26/3. Is 5 a factor of n(h)?
False
Suppose 1499 = -f - n + 4278, 4*f = -n + 11104. Does 25 divide f?
True
Let x(c) = c**2 + 4*c + 2*c**2 - 3 - 14*c - 2*c**2. Does 4 divide x(13)?
True
Suppose -4*b - 12449 = 5*z, 0 = -3*z - 5*b - 8295 + 836. Let i = -1677 - z. Is 16 a factor of i?
True
Let w(x) = 18*x**3 + 19*x - 35*x + 3*x**2 - 5*x**2 + 17*x. Is w(1) a multiple of 3?
False
Let q = -2977 + 23602. Does 165 divide q?
True
Suppose 4*n - 27 = -4*w + 21, 3*n + 5*w - 44 = 0. Suppose 38*l - n = 34*l. Let u(h) = 68*h + 2. Is u(l) a multiple of 23?
True
Let k = 334 + -328. Is 7 a factor of 32/(-48) + (0 - (-1054)/k)?
True
Suppose 35*b = 32*b. Suppose x + 1 = 4*m, 5*x - 5*m - 1 = 3*x. 