 429, -2*g = -n - 271. Does 3 divide g?
True
Let r(p) = 4*p**2 - 4*p - 3. Let i be 0/2 - (13 - 18). Suppose -2*l - 3*l - 20 = 0, i*s = -2*l - 23. Does 15 divide r(s)?
True
Let y(m) = 508*m + 28. Is y(22) a multiple of 11?
False
Is 3 a factor of 3139 - (-18)/48*8?
False
Let f = 536 + -238. Let u = -229 + f. Is 13 a factor of u?
False
Suppose 12*c + 5 = 29. Suppose -9*p + 11*p - c*u - 448 = 0, 2*p - 448 = 3*u. Does 16 divide p?
True
Suppose -5*b - 3550 = -t, -5*t + 112*b + 17582 = 115*b. Is 88 a factor of t?
True
Suppose 3*w - 2*u - 174 = 0, -116 = -28*w + 26*w - 2*u. Suppose -z = 2*c - 41, 5*c + 6 + 94 = 2*z. Let f = w - z. Is f a multiple of 13?
True
Let w = -10821 + 16927. Is 71 a factor of w?
True
Suppose -6*b = -0*b + 258. Let v = b - -45. Suppose -3*s + 2*x = 5 - 19, -5*s + 30 = -v*x. Does 4 divide s?
True
Let c = 16524 - 11383. Does 111 divide c?
False
Let i = 27114 - 9229. Is 35 a factor of i?
True
Let k(u) = 3*u**3 + 11*u**2 + 5*u - 12. Is k(7) a multiple of 37?
True
Let r be 3 - (-1 - -10)*5. Does 30 divide (r + 3/1)*19/(-3)?
False
Suppose 2*c + 3*x - 142 = -x, -4*c + 273 = -3*x. Let q = c + -32. Is q a multiple of 2?
False
Let r(q) = q**2 + 11*q - 4. Let w be r(-11). Let z = w - -8. Suppose -z*n + 47 = -4*i - 689, 15 = -3*i. Is n a multiple of 21?
False
Let o(a) = 3*a**2 - 7*a + 16. Let c be o(0). Suppose 0 = -13*k + c*k - 84. Is k a multiple of 21?
False
Let l be 1/2 + (-80)/(-32). Suppose -5*o = 3*w - 8519, 6799 = -70*o + 74*o - l*w. Is o a multiple of 46?
True
Suppose 4*t + 2*x - 25274 = 0, -31615 = -65*t + 60*t + 5*x. Is 15 a factor of t?
False
Let l = 77 - 23. Let z be (-1)/(-1) + (-4 - l/(-9)). Suppose 0*p - 4*p = 4*s - 64, -z*s = -2*p - 48. Is s even?
True
Let x be (-8 + 4 + -8)*-9. Does 17 divide (x/(-15))/((-33)/1760)?
False
Let u be (11 - 1212/108) + (-2)/(-9). Is (-1)/((-2 - u) + 3) + 105 even?
True
Is 187110/308*76/5 a multiple of 19?
True
Let d(t) = 2*t**2 + 15*t - 7. Let f be d(-8). Is 8904/28 - (-8 + f) a multiple of 8?
False
Let q(s) = 21*s**3 + 6*s**2 - 8*s + 13. Does 7 divide q(2)?
True
Suppose 224 = 6*y - 466. Suppose -19*h = -18982 + y. Is 40 a factor of h?
False
Suppose k - 45 = -11*r + 12*r, 142 = 3*k + 4*r. Suppose -3*h + 4*b - 3 + 115 = 0, h + 3*b - k = 0. Is h a multiple of 8?
True
Is (3045 - -34) + 15/(-3) + -5 a multiple of 9?
True
Let t be 18/1*(-16170)/(-198). Suppose 7*w - t = -0*w. Is 14 a factor of w?
True
Suppose 2*h + 6*v = 2*v - 44, -4*v = 5*h + 86. Is 16 a factor of (-17 - h) + 303/1?
False
Let j be (-1 - 35/(-15))/(1/48). Suppose -8*n + j = -7*n. Is n a multiple of 8?
True
Let i(m) be the first derivative of 107*m**2 + 3*m + 12. Let c be i(1). Let z = 349 - c. Is z a multiple of 18?
False
Let o(g) = 15*g - 11. Let s be o(10). Suppose 4*p + 5 - 201 = -4*d, -3*p - 5*d + s = 0. Is p a multiple of 21?
False
Let a(s) = -1. Let r(x) = -3*x + 1. Let o(j) = -4*a(j) - r(j). Let w be o(1). Suppose w*p - 178 - 2 = 0. Does 6 divide p?
True
Let t(x) be the first derivative of 1/3*x**3 + 5/2*x**2 - 8 + 16*x. Is t(-12) a multiple of 25?
True
Let z be (76/95)/(4/(-770)). Is (-792)/z*(-140)/(-6) a multiple of 63?
False
Let d(y) = y**3 - 4*y**2 + 3*y - 1. Let k = 23 - -17. Let s be (k/100)/((-2)/(-6*5)). Does 14 divide d(s)?
False
Let o = -501 + 509. Let l(r) = 4*r**3 - 17*r**2 - 3*r - 21. Is l(o) a multiple of 66?
False
Let w = -27 + 8. Let o = w + 79. Suppose 0 = 5*h + 25, -6*r - 3*h + o = -3*r. Is r a multiple of 13?
False
Let l(o) = 5*o**2 - 29*o - 67. Does 4 divide l(-2)?
False
Is ((-6)/(-10))/(9/45) - 805560/(-56) a multiple of 4?
True
Let c be (-4*1)/(((-18)/(-80))/(-9)). Let f be c/(-26) - -4*1/26. Let p(t) = 3*t**2 - 2*t - 28. Does 23 divide p(f)?
True
Let u be (17 - 2349/135)/((-1)/1345). Suppose -1636 = -2*o - 0*o. Let t = o - u. Is 33 a factor of t?
False
Let n be (-1 - -6)*1/1. Suppose m + 23 = 5*d, -27 = -0*m - m - n*d. Suppose -x + 463 = m*r - 149, 0 = -r + 5*x + 306. Is r a multiple of 17?
True
Suppose -4*z - 44 = -4*a, 5*a = -3*z - 5 + 20. Suppose -6*h = a*h - 8352. Suppose 4*o + 0*j = j + 706, 4*o = -4*j + h. Is 22 a factor of o?
True
Suppose -914 = -38*b + 36. Suppose 2*a + b*a = 22680. Does 105 divide a?
True
Let m be -59 + 0 + -5 + 2. Let p = 64 + m. Suppose 4*z + p*g = 226, -3*z + 3*g = -31 - 134. Is 14 a factor of z?
True
Let o = 602 - 1165. Let m = 824 + o. Is m a multiple of 29?
True
Let h = 45 + 2064. Suppose 3*w + z - h = 0, 4*w - 2820 = -48*z + 44*z. Is 78 a factor of w?
True
Let m(p) be the second derivative of -p**5/20 - 17*p**4/12 - p**3 - 27*p**2/2 + 28*p. Let w be m(-20). Does 50 divide 14/49 + w/7?
False
Suppose 3*x + 822 = -w, -5*x = 3*w + 1373 - 3. Let s = 394 + x. Let n = 60 + s. Does 20 divide n?
True
Suppose 62*f + 217614 - 381681 = 300003. Is 83 a factor of f?
False
Suppose -5*n + 20 = 0, 4*n - 2*n = -t + 12. Let u(g) = 16*g + 2*g**2 + g**3 - 4 - 3*g + 0*g**3. Is 34 a factor of u(t)?
False
Let y be (315/140)/(10/8 - 1). Suppose 20 = y*n - 7. Suppose n*l - 485 = -2*l. Is l a multiple of 37?
False
Let b(v) be the second derivative of v**4/6 + 8*v**3 + 91*v**2 - v + 37. Does 52 divide b(-37)?
True
Let z = 3313 - 5509. Let c = -1026 - z. Is 10 a factor of c?
True
Let z(w) = -53*w**3 + 20*w**2 - 2*w + 40. Does 16 divide z(-7)?
False
Let l = 370 + -366. Let s = 5 - 5. Suppose -l*n + 5*n - 129 = s. Is 10 a factor of n?
False
Let b(w) = -w**3 - w**2 - w - 1. Let d be b(-1). Suppose -c + 39 - 40 = d. Does 9 divide -47*(c - -4 - 5)?
False
Let a be 147/42*(-2)/(-7). Let f be (-2*2)/((-3)/3). Does 16 divide (37/f)/(a/16)?
False
Suppose -42 = -5*n + 53. Let r = -16 + n. Suppose -r*t - 99 = -282. Is 6 a factor of t?
False
Let k(p) = -11*p**3 + 7*p**2 + 9*p + 12. Let q(l) = 13*l**3 - 6*l**2 - 8*l - 11. Let n(h) = 7*k(h) + 6*q(h). Does 36 divide n(6)?
True
Let l = 69 + -69. Suppose 0*r + 1 = -r, l = h - 4*r - 8. Suppose 0 = 3*s + h*s - 336. Is s a multiple of 12?
True
Is 4*(-13 - 6390/(-24)) a multiple of 21?
False
Suppose 0 = -11*b + 2*b - 2664. Is (0 - b/10)/((-26)/(-325)) a multiple of 5?
True
Does 15 divide (442/(-78))/(3/(-5364))?
False
Let x = -193 - -45. Let o(z) = z**3 - 6*z**2 + 8*z + 16. Let h be o(8). Let y = x + h. Is y a multiple of 20?
True
Let f(x) = -3*x**3 - 25*x**2 - 6*x + 27. Does 52 divide f(-14)?
False
Let y = -28474 + 38314. Is 5 a factor of y?
True
Let d = -525 + 1115. Suppose d = 5*m - 2*h, 3*m + 0*h = 4*h + 340. Suppose 0 = 19*l - 14*l - m. Does 14 divide l?
False
Suppose -76 = s + a - 48, -s - 10 = -5*a. Does 68 divide s*(-4 + 5 - 8)?
False
Let u(f) = -233*f - 469. Does 21 divide u(-14)?
True
Suppose 0 = 7*y + y - 328. Let p = y + -95. Let n = p + 188. Does 27 divide n?
False
Let k be (-5 - -4)/(-1*-3*(-3)/9). Suppose 3*x - 7*x = 240. Does 19 divide (-30)/x*(k - -327)?
False
Suppose 2*w + 10 = 4*w. Suppose -3*s + 200 = -21*r + 19*r, 3*r - 244 = -4*s. Suppose 2*a - s - 39 = -w*y, -3*y - 3*a = -69. Does 6 divide y?
False
Suppose -1198 = -18*n + 17*n. Is (-106)/(-265) - n/(-5) a multiple of 15?
True
Is 69 a factor of 206/(-2987) + 96601/29?
False
Suppose -4*b = -5*l - 39, 4*l - 3*b = -b - 36. Let p be ((-55)/(-20))/l + 4546/8. Suppose 6*y = 2*y + p. Is 37 a factor of y?
False
Let v = -85 + 153. Suppose -3*p - 3*m = -48, -4*p + 3*m + v = 6*m. Suppose 6*t - p = 5*t. Is 3 a factor of t?
False
Let b be 544/18 + 2/(-9). Let a = -443 + 434. Let w = b + a. Does 6 divide w?
False
Let b = 31 - -1868. Is b a multiple of 4?
False
Suppose -2*t + 5*h = -37, 0*t + 2*t - 28 = -4*h. Let m(p) = 6*p**2 - 27*p - 58. Is m(t) a multiple of 23?
False
Suppose 5*w - 3*s - 1139 = 18, w - 4*s - 245 = 0. Let x be 2/(-3) + 977/3. Let b = x - w. Is b a multiple of 12?
True
Let h be ((-4)/5)/((-6)/45). Suppose 0 = -85*u + 100*u - 3495. Suppose -h*d + u = -337. Is d a multiple of 19?
True
Is 394*(-425)/(-9) - (-440)/990 a multiple of 87?
False
Let k = 37 - 37. Suppose -2*r + 2*q + 1666 = k, 10*r - 13*r + 4*q + 2495 = 0. Does 27 divide r?
True
Let b(z) = 393 + 388 + 47*z - 2*z**2 - 762. Does 21 divide b(23)?
True
Suppose 27*h - 3182 = -5*o + 26*h, 0 = o - h - 634. Suppose 16*k - o = 116. Does 7 divide k?
False
Suppose a = -3*d - 15, 5*d + 12 = 3*a - 13. Suppose 6*m - m = a. Suppose 0 = 9*b - m*b - 756. Is 28 a factor of b?
True
Suppose -28 = -4*a + 4*k, -4*k + 11 = 5*a - k. Suppose -4*v - a*c + 2