190 + 820 = -b, 0 = j*q + 3*b - 1050. Is q a multiple of 54?
False
Suppose -2*j = -y - 14723, 4*y - 29440 = -5*j + j. Does 114 divide j?
False
Let s(g) be the third derivative of g**4/24 + 17*g**3/3 - 37*g**2. Let o be s(-18). Is 13 a factor of o/(-20) + (-2218)/(-10)?
True
Suppose -5*b + 15 = -2*b. Let u(m) = m**3 + 16*m**2 + 21*m - 22. Let l be u(-13). Suppose 669 = b*w + 4*d, -4*d - 183 = -3*w + l. Is 36 a factor of w?
False
Let t be 1 - (-1 + (7 - 3)). Let p(y) = -y**3 - 11*y**2 - 5*y - 10. Let n(f) = f**3 + 10*f**2 + 5*f + 10. Let q(s) = t*p(s) - 3*n(s). Does 10 divide q(-8)?
True
Suppose 2*z + 3*z = 5*g + 20, -8 = -2*z - 4*g. Suppose 3*m + 5*f = 60, 0 = -3*f + 6 + 3. Suppose 21 = z*k - m. Is k a multiple of 9?
True
Suppose 5*m - 1443*q + 1442*q = 23249, 0 = 2*m - 5*q - 9295. Does 50 divide m?
True
Let a = 43288 - 21068. Suppose 25*z - 5830 = a. Is z a multiple of 66?
True
Let l = -534 + 814. Is 6 a factor of (-1 - 41)*l/(-105)?
False
Suppose -51701 = 14*q + 14589. Does 25 divide -1 + q/(-15) + (-3)/(-9)?
False
Does 47 divide ((-94)/(-8))/((13 - 37)/(-480))?
True
Let q = -13204 + 26704. Does 54 divide q?
True
Let s = -2771 - -17388. Does 126 divide s?
False
Suppose 2 = -5*x + 3*h, 12 = x + 2*h + 2. Let c be (x - 1)*(-5 + 3 - -2). Suppose 0 = 3*j - 5*g + 33 - 428, c = -j - 5*g + 105. Does 25 divide j?
True
Is (-38)/285 - (-88808)/60 a multiple of 6?
False
Suppose 8 - 24 = -8*d. Suppose 0 = -w + 2*w - d*b - 239, -5*w - b + 1151 = 0. Is w a multiple of 10?
False
Let m(a) = a**3 + 11*a**2 - 123*a - 202. Is m(23) a multiple of 29?
False
Let w = 56480 + -5288. Is 28 a factor of w?
False
Let y(l) = 9*l**3 - 7*l**2 + 10*l. Let k be y(6). Suppose -3 = 3*h, -2*i - h + k = h. Suppose -4*a + 881 = a - m, -5*a - 3*m + i = 0. Is a a multiple of 8?
True
Suppose -11*c + 311 + 96 = 0. Let y = 1 - -3. Is 8 a factor of c - (-1)/(-1) - y?
True
Let c = 93 - 78. Let k(u) = -u**2 + 34*u - 61. Is 29 a factor of k(c)?
False
Is 13 a factor of 1210 + 0 + (200/(-150))/((-2)/(-3))?
False
Let w = -12521 - -23261. Is w a multiple of 60?
True
Let t(y) = 3*y**2 - 28*y - 141. Is t(28) a multiple of 156?
False
Suppose 8 = -8*w + 136. Suppose -w*p + 112 = -12*p. Is 16/(-28) + 2172/p a multiple of 12?
False
Does 13 divide 3528/35 + 30/25?
False
Let f = 8666 - -6986. Is 13 a factor of f?
True
Suppose -x + 9*o = 6*o - 7, 4*x + 14 = -2*o. Is 95933/299 - x/13 a multiple of 7?
False
Suppose 36*f = 33*f + 42. Let a(p) = -3*p + f*p**2 + 9 + p**3 - 1 + 24*p. Is 22 a factor of a(-12)?
True
Suppose -4*b - 91 - 82 = 5*q, 3*b = -2*q - 128. Let d = 44 + b. Suppose 0 = 4*a - 4*l + d*l - 96, 4*a - 5*l = 108. Is a a multiple of 2?
True
Suppose 10*y - 14*y = -1528. Let r = 596 - y. Is 51 a factor of r?
False
Let d = -43 - -77. Suppose 8*j + 10 = d. Suppose -2*m + 32 = -4*l, 22 = j*m + 3*l + 1. Does 5 divide m?
True
Suppose 5*s + 4 - 4 = 0. Let o(g) = g + 82. Let v be o(s). Let d = v - -50. Is 22 a factor of d?
True
Suppose -8*x + 216 = -4*x. Suppose -2*k - 20 = 3*o - o, 3*k - 5*o = -x. Let y(w) = w + 21. Does 4 divide y(k)?
True
Is ((-55)/10 - -4 - 0)/((-3)/2930) even?
False
Let d = -253 + 493. Suppose 5*f = 80 + d. Let u = f - 45. Does 2 divide u?
False
Let c = 34822 - 16095. Does 61 divide c?
True
Suppose -11*l + 143 = -44. Let v = l - 10. Suppose v*p - 2*p + 2*c - 475 = 0, -3*p + 274 = -c. Is p a multiple of 31?
True
Let c = 8750 - 8313. Is 13 a factor of c?
False
Suppose 781 - 2591 = -5*g - 3*d, 0 = 4*d. Suppose 8*u - 1926 = g. Let w = -111 + u. Is w a multiple of 25?
True
Suppose -234 = -2*f + 76. Suppose -96 = -2*q + 3*d + f, 3*q = -d + 404. Does 7 divide q?
True
Let b(x) = 7*x**2 + 4*x + 22. Let h be b(-6). Let n be (4 - (h + 3))/(-1). Suppose 4*t = -4*d + 336, 3*t = d - 5*d + n. Is 17 a factor of t?
False
Let k be (795/10 - 0) + (-5)/(-2). Suppose 0*f - k = -p + 2*f, 0 = -2*p + 3*f + 165. Does 4 divide p?
True
Let n(o) = -o**3 - 36*o**2 - 76*o + 444. Is 10 a factor of n(-38)?
True
Let a = 62 - 44. Let v(x) = -7*x**2 + 76*x - 2. Let d be v(19). Is 4 a factor of d/(-63) - 4/a?
False
Suppose 435 = -8*g + 13*g. Suppose 0 = 3*x + b - 1332, -3*b - 357 = -x + g. Suppose -4*k + x = 3*f, -4*k + 0*f - 4*f + 440 = 0. Is k a multiple of 6?
True
Let h = -149 - -153. Does 4 divide 275 + h/(-20)*(1 - 6)?
True
Let r(b) = b + 17. Let f be r(-11). Suppose f*d = -0*d. Is (11 + 141)/(2 - d) a multiple of 20?
False
Suppose 38*w - 943 - 565 = -102. Let m = -31 - 2. Let d = m + w. Is 4 a factor of d?
True
Let a be -6 + 103 - ((-10)/(-5))/2. Suppose 5*w - 3*y = 4*w + 53, -2*w + y + a = 0. Is 37 a factor of w?
False
Let z = -44 + 47. Let c be -8 + 7 - 3/z. Is 24 a factor of (-2584)/(-36) + 80/36 + c?
True
Suppose -17 = -3*n - u - 4, 3*u - 3 = 0. Is 72 a factor of -5 + 2 - (-434 + -5 + n)?
True
Let n(d) = 6*d - 10. Let i be n(2). Suppose -u = -i*u - 2*a + 251, 5*u - 4*a = 1269. Suppose g = 4*l - 2*g - 521, 2*l - u = -g. Is l a multiple of 32?
True
Let m(r) = 2723*r - 1298. Is 19 a factor of m(1)?
True
Let k(d) = 9*d**2 - 9*d + 20. Suppose 0 = 5*z - 3*x - 7, -x + 12 = 5*z + x. Is 4 a factor of k(z)?
False
Let p(u) be the third derivative of -9*u**4/8 + u**2 - 9. Suppose -8 = -r - 4*v + 6*v, 5*v = r - 23. Is 12 a factor of p(r)?
False
Let d = 29471 + -2497. Does 116 divide d?
False
Let r(b) = -2*b**2 + 26*b - 16. Let j(n) = n**2 - 13*n + 8. Let q(g) = -13*j(g) - 6*r(g). Let i be q(12). Let t = 2 + i. Is 3 a factor of t?
True
Suppose 116*l + 620 = 112*l. Let r = l - -204. Is 3 a factor of r?
False
Let m(b) = -55*b**3 - 22*b**2 - 24*b - 33. Does 14 divide m(-5)?
True
Suppose -4*n + 701 + 595 = 0. Suppose 3*x = -264 + n. Is 4 a factor of x?
True
Let o(s) = -315*s - 1154. Does 8 divide o(-6)?
True
Let j = 61 + -66. Let h be 0/2 - (-3 - (j + -2)). Does 11 divide -1*(h + -37) - 1?
False
Does 4 divide 327*(3 + -10)*(-8)/14?
True
Does 15 divide (25/(-14) + (-4)/(-14))*(346 - 656)?
True
Let c = -14522 - -21793. Is 153 a factor of c?
False
Let a(y) = 259*y**2 - 922*y - 9. Does 162 divide a(10)?
False
Let g(z) = -14*z**2 + 35 - 10*z - 37 + 3*z + 2*z - 6*z + z**3. Let f be (-1 + 6)/(1/3). Is 49 a factor of g(f)?
False
Let s(n) = 15*n**3 + 19*n**2 + 5*n - 125. Is s(8) a multiple of 11?
True
Let z = -37 - -42. Suppose c + 0*y = -5*y - 18, z*c - y - 14 = 0. Suppose -4*h + h - 145 = -5*f, c*f + 2*h - 42 = 0. Is f a multiple of 26?
True
Let p(y) = 2*y**2 - 5*y - 4. Let o be p(4). Let h(d) = -7*d**2 + 9*d - 19. Let w(g) = -5*g**2 + 7*g - 16. Let l(k) = -3*h(k) + 4*w(k). Does 8 divide l(o)?
False
Let g(v) be the second derivative of v**5/10 - 9*v**4 + 5*v**3/6 - 9*v**2 - 12*v + 11. Does 28 divide g(54)?
True
Let f = 12085 + -5065. Does 54 divide f?
True
Suppose 0 = -c + 3*w + 14, 2*c = -3*w + 7*w + 20. Let k be 3/(12/8 - (-1 + c)). Let f(s) = -s**2 + 10*s - 8. Is 8 a factor of f(k)?
True
Let u = -73 + 79. Let t be 6 + -2*3/u + 3. Let x(z) = 15*z + 28. Is x(t) a multiple of 26?
False
Suppose -175*c + 171*c = -1284. Let n = c + -227. Does 11 divide n?
False
Let a(w) = 14*w**2 + 143*w - 921. Does 29 divide a(-55)?
False
Suppose -4*l - 6604 = -3*p, 5*p - 734*l = -735*l + 11045. Does 32 divide p?
True
Let a(t) = t**3 + t**2 - t + 1. Let l be a(1). Let p = -4 - -9. Suppose l*s - 7*s - 168 = -2*v, -p*v - 3*s = -420. Is v a multiple of 21?
True
Suppose -3*c + 8*c - 15 = -v, -5*v - 33 = -2*c. Suppose -5*z = -15, 0 = -5*w + c*z + 195 + 1423. Does 19 divide w?
False
Suppose 574 = -12*j + 4882. Let g = 514 - j. Is g a multiple of 31?
True
Suppose 0 = -19*z + 15*z - 5*k + 125, 0 = -4*z - k + 137. Suppose -25*f + 18*f = -z. Is f a multiple of 5?
True
Suppose 2*u + 10*u = 180. Suppose v + 5*t = 113, 5*t = 2*v - 181 + u. Is v a multiple of 6?
False
Suppose -37658 = -137*u + 84135. Is 6 a factor of u?
False
Let z(c) = -25*c**3 - 71*c**2 + c - 9. Let a(d) = -11*d**3 - 32*d**2 - 4. Let w(b) = 9*a(b) - 4*z(b). Suppose -5 = 4*s - 29. Does 16 divide w(s)?
True
Let y(l) be the third derivative of 19*l**2 + 0 - 11/24*l**4 + 0*l + 7/30*l**5 - l**3 - 1/120*l**6. Is 30 a factor of y(12)?
True
Suppose 4*y + 5*i - 17075 = 5360, 3*i - 16827 = -3*y. Is 85 a factor of y?
True
Let u = -20 + 16. Let m be u + 15 + (-1 - 2). Does 5 divide (-1)/4 + 82/m?
True
Suppose j - 4 = -0*j. Let z be -46 + (-3 - (-3 - j)). Is 16 a factor of (1*-12)/3 - z?
False
Let k be (