 30. Suppose -q = c*y - 320, 2*q + 0*q = 8. Does 29 divide y?
False
Let y = 410 + -917. Let d = -353 - y. Suppose 2*o - d = -s + 132, 4*o = 3*s - 828. Does 10 divide s?
True
Suppose -638*p + 758*p - 2302200 = 0. Is 32 a factor of p?
False
Let x = 664 - 558. Suppose -6*c + 3502 = x. Is c a multiple of 13?
False
Let b(p) = 11*p**3 - 2*p**2 + 95*p - 452. Is 15 a factor of b(10)?
False
Suppose -44 + 19 = 5*g. Let u(a) = 21*a - 8. Let p(l) = 20*l - 7. Let m(x) = -5*p(x) + 4*u(x). Is m(g) a multiple of 13?
False
Let k = -5208 - -11736. Is 34 a factor of k?
True
Suppose x - 163 = -7*h, -3*h - 167 = -x - 6*h. Is x a multiple of 5?
True
Suppose 2*a - 16 + 18 = 0. Let b be (-58)/(-8) - (a + (-10)/(-8)). Suppose -23 + 254 = b*w. Does 11 divide w?
True
Let h = -48 + 50. Suppose 281 = h*p - k, -14*p + 12*p = -3*k - 271. Is p a multiple of 4?
False
Let a = 21 + -15. Suppose -5*x + a - 23 = -4*j, 2*x + 8 = 2*j. Let i(d) = 12*d**2 + 11*d - 1. Is i(j) a multiple of 10?
True
Does 63 divide 1268 + (2/(-3))/(27/324)?
True
Let l(z) = -2*z**2 + 2*z + 6. Let i be l(0). Does 3 divide ((-338)/i - 3)/((-7)/42)?
False
Let h(v) be the third derivative of 0 + 12*v**2 - 11/6*v**3 - 13/120*v**6 - 1/4*v**4 + 1/30*v**5 + 0*v. Is 9 a factor of h(-2)?
False
Is 1148/((-1 - 0)*(-36)/684) a multiple of 76?
True
Let p(l) = -5*l**3 + 90*l**2 - 21*l + 12. Is p(13) a multiple of 52?
False
Let i(u) = -u**3 - 3*u - 2. Let g be i(-1). Suppose -2*f = -g*v + 542, -4*v - 283 = -5*v - 3*f. Let b = -118 + v. Is 39 a factor of b?
True
Suppose 3*h = 2*l + 40, 2*l + 20 = 3*h + 4*l. Is 1/((-20)/(-856))*h a multiple of 13?
False
Suppose 0 = 98*l - 100*l + 274. Suppose -5*k + l + 44 = 4*z, 36 = k + z. Let t = 60 - k. Does 6 divide t?
False
Let q(y) = y**3 + 3*y**2 - 11*y - 3. Let j be q(-5). Let s(d) = -15*d**j + 34*d**2 - 1 + 47*d**2. Is 5 a factor of s(1)?
True
Suppose 3*t + 2 = -4. Let a be (-3 - (3 - 4))*t. Suppose -2*w = 2*s - 144 - 18, -3*s + a*w = -236. Does 10 divide s?
True
Suppose 0*z + 16 = -4*z, -5*q - 2*z + 7532 = 0. Is q a multiple of 26?
True
Let a(v) = 2*v**2 - 45*v + 19. Let b be a(22). Is 86 a factor of -43*(-23 - 5) - (3 + b)?
True
Let n(q) = -6*q**3 - 9*q**2 - 11*q - 2. Let o be n(-6). Let i = -735 + o. Does 16 divide i?
False
Let d = 194 + -82. Suppose -5*w + 4*j = -j - 365, 0 = -w - 3*j + 69. Suppose 0 = -2*s + d + w. Is s a multiple of 23?
True
Suppose 0 = 11*v + 7*v. Does 5 divide (v - -1)/((-3)/(-393))?
False
Let p be (-675)/(-10)*(22 + 0). Let g = p - 1017. Does 18 divide g?
True
Let b(y) = -y**3 + y**2 + 4*y - 5. Let z be b(-4). Suppose z = 2*a - 121. Is 9 a factor of a?
True
Is 44 a factor of (-11 - 52185/(-42))*2?
False
Let k = -2514 - -28851. Is 27 a factor of k?
False
Let z(t) = t**2 - 10*t + 11. Let d be z(9). Suppose -2*k + 236 = d*k. Let u = k + 67. Is 21 a factor of u?
True
Suppose 0 = 21*r - 60 - 45. Suppose 2*b + 1 = 3*b, -2987 = -4*v + r*b. Does 11 divide v?
True
Let c(i) = 218*i**2 - 20*i + 12. Is 95 a factor of c(4)?
True
Is 177*183 + 47/(94/12) a multiple of 252?
False
Let x(m) = -705*m - 7311. Is x(-12) a multiple of 11?
False
Suppose 5*m - 17*m + 48 = 0. Let z(x) be the first derivative of 3*x**4/4 - 7*x**3/3 - x**2 - 7*x - 3. Is z(m) a multiple of 16?
False
Let o(k) = -k + 2 - 6 + 13. Let s be o(-7). Suppose -s*v = -13*v - 30. Does 10 divide v?
True
Let b(z) = -2*z. Let j(w) = -18*w - 22. Let p(s) = -6*b(s) + 2*j(s). Let r(d) = d. Let o(y) = p(y) - 4*r(y). Does 35 divide o(-7)?
False
Let d(l) = -4*l**3 - 72*l**2 - 80*l + 23. Is d(-20) a multiple of 8?
False
Suppose 10 = -m + 12. Let j be -2 + (1 - m) - (-6 + -295). Suppose -5*s + h = -718, -2*s - 3*h - 2*h + j = 0. Is s a multiple of 36?
True
Let a(l) = 261*l**2 + 34*l - 107. Let q be a(3). Suppose -10*s + 1056 + q = 0. Is 10 a factor of s?
True
Suppose s = 0, 22*s - 1496 = -b + 19*s. Does 2 divide b?
True
Let a(r) = -22*r**3 + 2*r**2 - 68*r - 494. Is 9 a factor of a(-7)?
False
Suppose 4*m + d - 5834 = 0, -8*m + 4*d + 2926 = -6*m. Suppose 2*b - m = -p - 68, -2*p = -2*b + 1376. Does 33 divide b?
True
Suppose 11022840 = 54*k + 358*k - 52*k. Does 16 divide k?
False
Let z(i) = 38*i**3 - 12*i**2 + 32*i + 10. Does 12 divide z(5)?
True
Suppose -4*t = 0, 20*f + 2*t = 16*f + 820. Does 9 divide f?
False
Suppose 0 = 4*a + 5*j - 295, -5*a - 4*j + 9*j + 380 = 0. Let u be ((-86)/5 - 0)/((-17)/85). Let n = u - a. Is n a multiple of 11?
True
Suppose 0 = b - 0*b - 18. Let j(q) = b*q**2 - 9 + 2*q - 3*q**2 + 2*q**2 + 13. Is 17 a factor of j(-2)?
True
Suppose 0 = 2*x - 5*t - 10809, 3*t = -6 + 3. Is x a multiple of 37?
True
Let m(q) be the second derivative of 10*q**3/3 - 50*q**2 - 108*q. Does 7 divide m(31)?
False
Suppose -8*o + 90852 = 11*o - 7*o. Is o a multiple of 87?
False
Let c = 2 - -1. Let f(s) = -28*s + 148. Let k be f(5). Let q = k + c. Is 11 a factor of q?
True
Let t(b) = 3*b**2 - 28*b - 23. Let u(n) = n + 29. Let s be u(-6). Is 92 a factor of t(s)?
True
Let c(n) = 84 + 11 + 26 - 7*n + 2*n - 28*n. Does 3 divide c(-6)?
False
Let a = 93 + -74. Suppose 184 = -a*y + 21*y. Suppose -2*b + 4*h + y = 0, -h = -4*b - 2*h + 229. Is b a multiple of 17?
False
Suppose 0 = -4*o - 5*w + 4763, 5*o + 0*o - 5*w = 5920. Let q = o + -726. Is 24 a factor of q?
False
Let o(c) = 101*c - 172. Let r be o(9). Suppose r = -q + 4*q + 4*i, 3*q + 2*i - 733 = 0. Does 47 divide q?
False
Let h = 156 - 158. Is 22 a factor of (15232/(-8))/(-4) + 0/h?
False
Suppose -5*q = -a + 94, -6*q + 4*a = -5*q + 34. Let h(k) = k - 504*k**2 + 486*k**2 + 0*k - k**3 + 21. Is 2 a factor of h(q)?
False
Let d(p) = -3*p**3 + 4*p**2 + 5. Let y be d(4). Suppose 48 + 84 = -4*s. Let k = s - y. Does 18 divide k?
True
Suppose 186 = 2*a - 550. Suppose a = b + 3*b. Suppose -18 = -5*w + b. Does 18 divide w?
False
Suppose -5*t = -5*w + 60, 2 = -4*w + 18. Let q(c) = -2*c**3 - 3*c**2 - 25*c - 42. Is 55 a factor of q(t)?
True
Let y(s) be the third derivative of s**5/120 + 49*s**4/24 - 11*s**3/2 + 26*s**2. Let r(l) be the first derivative of y(l). Is 4 a factor of r(-9)?
True
Let m(j) = -j**3 + 3*j + 12. Let o be m(6). Let q = 1254 + o. Does 89 divide q?
True
Let y(r) = r**2 + 2*r + 7. Let o be y(0). Let v(h) = 22*h - 5. Let u be v(o). Suppose -4*c = 2*s - 136, 5*s - u = c + 224. Does 27 divide s?
False
Suppose 8*y - 15735 = -4791. Suppose 0*c - y = -8*c. Is c a multiple of 28?
False
Suppose 4*h = 1480 + 16. Suppose -27*o + 1084 = -h. Is o a multiple of 18?
True
Let g(l) be the first derivative of -l**3/3 - 45*l**2/2 + 15*l + 137. Is 73 a factor of g(-35)?
True
Let c(a) = -3*a**3 + 11*a**2 - 19*a - 110. Is 12 a factor of c(-9)?
False
Let x = -16 - -44. Suppose -14*l - 476 = -x*l. Is l a multiple of 2?
True
Let i(r) = r**2 - 32*r - 3. Let n be i(32). Does 17 divide (7/(-2))/(n/78)?
False
Let t(b) be the first derivative of b**4/4 - 13*b**3/3 + 5*b**2/2 + 29*b - 17. Does 40 divide t(13)?
False
Let r be (292/4)/((-2)/(-4)). Let k = 94 - r. Is 17 a factor of (k/16)/(1/(-68))?
True
Let x be (-33)/11 - (-2366)/2. Suppose 3*l - 816 - 371 = -4*n, 4*n - 4*l = x. Does 37 divide n?
True
Let h(a) = 4*a**2 - 38*a + 221. Is 10 a factor of h(16)?
False
Is -19*((-39)/1 + 1)*(-144)/(-32) a multiple of 75?
False
Let f = 264 + -228. Does 81 divide f/(-3)*-27*2?
True
Let r(t) = 6*t**2 - 17*t + 2. Let p be r(3). Suppose -q = -0*q + 4*z - 60, -4*z + 284 = p*q. Is 8 a factor of q?
True
Suppose 0 = -3*x - 55 - 23. Let h = -26 - x. Suppose h = -5*i - 43 + 643. Is i a multiple of 15?
True
Let q(h) = -3*h**3 - 9*h**2 - 9*h - 19. Let k be q(-7). Suppose -6*u - 2*u = k. Let d = u + 142. Is 21 a factor of d?
True
Suppose 0 = 14*t - 62 - 22. Suppose -m - m + t = 0. Does 38 divide ((-14)/4)/(m/(-156))?
False
Suppose 328 = -4*p - 2*g - 780, 5*p = 5*g - 1415. Let d = p + 357. Does 3 divide d?
True
Suppose -134*v + 5*k + 5167 = -133*v, -2*v + 2*k + 10278 = 0. Is 6 a factor of v?
False
Let k(u) = -u + 1. Let q(t) = -14*t + 13. Let o(m) = -4*k(m) - q(m). Let s be o(12). Suppose -4*b = -3*z + 139, -s = -5*z + 4*b + 22. Is 4 a factor of z?
False
Let g = 599 + -596. Suppose -g*x = 34*x - 2590. Is 70 a factor of x?
True
Suppose 2*t - 3*n + 108 = 0, 303 = -5*t - 4*n + 79. Let c = 50 + t. Suppose 96 = c*g - 0*g. Is g a multiple of 6?
True
Let l be 1/(-7) - (-17179)/(-287). Suppose -5*p - 42 = -3*p. Does 6 divide 1/((-2)/