 Suppose -3*f + 3 = 0, g*f + 413 - 58 = 5*s. Does 8 divide s?
True
Let n(h) = -h**2 + 1063*h + 24765. Does 13 divide n(0)?
True
Does 18 divide 208/(-78) + (-210416)/(-12)?
True
Let y(g) = g**2 - 8*g + 15. Let b be y(7). Let r be ((-322)/b)/(-7)*136. Suppose r = 7*a - 394. Is a a multiple of 21?
True
Is 335/((1/(-2))/(405/(-45))) a multiple of 134?
True
Let f = -133 - -135. Let n(h) = -6*h + 13. Let x be n(f). Is 30 a factor of 1/x + (236/4 - 0)?
True
Is 9 a factor of (192/78)/8 - (-126348)/39?
True
Suppose 26*f + 7*f - 119868 - 69321 = 0. Is f a multiple of 3?
True
Let j(z) = 381*z**2 - 880*z - 5322. Does 43 divide j(-6)?
True
Suppose 3*s - 11*s = -2000. Let g = s - 247. Is g a multiple of 2?
False
Let l(z) = -39*z**2 + 16*z - 48. Let n be l(4). Let a = -166 - n. Is 17 a factor of a?
True
Is 16 a factor of -9 + 7 - -6967 - (-6 - -8)?
False
Suppose 3*i + w = 1415, 6*i - 2*i = -3*w + 1890. Does 36 divide i?
False
Suppose n - 8 = -5*g, -3*g - 2*g = -2*n - 14. Suppose -m + x = -694, g*m - 5*x = 1210 + 172. Does 13 divide m?
False
Let f(b) = 4*b**2 - 11*b + 30. Let u(o) = 9*o**2 - 21*o + 61. Let l(k) = 7*f(k) - 3*u(k). Let a be l(17). Let t = -58 + a. Is 5 a factor of t?
True
Suppose 5*l + 16 = 16. Suppose 0 = -4*i - 4 - 8, d + 4*i + 11 = l. Does 13 divide (d + 5*-1)*(-5 + -48)?
False
Let l be 91/21 + 3*(-2)/(-9). Suppose 0 = 4*r - 5*j + 10, 3 + 7 = -r + l*j. Suppose 5*o - a = a + 515, r = 2*o + 3*a - 206. Does 18 divide o?
False
Suppose -2 = -5*j + 13, -h + 3*j + 1305 = 0. Suppose 15*u + h = -3*u. Let x = u + 110. Is x a multiple of 4?
False
Let s be 12/2*((-12)/(-2))/6. Let w(o) = -11*o + 27. Let b be w(s). Let g = b + 209. Does 17 divide g?
True
Suppose -8398 = 14*q - 40402. Does 108 divide q?
False
Suppose -2*v + 1613 = 3*w, -5*w + 2*v + 2682 = -v. Let p = 1221 - w. Does 23 divide p?
False
Suppose 2*p = -4*r - 826, -2*p = -4*p + 10. Let u = 419 + r. Is u a multiple of 15?
True
Suppose 26*i = 716 + 376. Is 1150/9 - i/(-189) a multiple of 5?
False
Let s(q) = 4*q**2 + 2*q - 11. Let m be (-8)/(1*8/52). Let y = m - -58. Is s(y) a multiple of 29?
True
Let t(r) = -r**3 + 25*r**2 + 8*r + 58. Let p = 415 - 390. Is t(p) a multiple of 21?
False
Suppose -3*g + l + 219 + 176 = 0, -4*g = -3*l - 535. Let q be g/(-52)*3*14. Let m = 15 - q. Does 15 divide m?
True
Let l(o) = 117*o**2 - 54*o - 265. Is 29 a factor of l(-12)?
False
Suppose 159*t = 4*t + 3742785. Does 15 divide t?
False
Let g(a) be the first derivative of -2*a**4/3 - 4*a**3/3 - 3*a**2 + 1. Let z(i) be the second derivative of g(i). Does 20 divide z(-8)?
True
Let o = -12389 - -20755. Is 89 a factor of o?
True
Suppose -3*l = 11 - 341. Let g = -2 + l. Let j = g - 88. Is 3 a factor of j?
False
Suppose -164*d + 227586 = -1131482. Is d a multiple of 23?
False
Let l be 30/(-24) + (-1)/(-4)*1. Let v be (10 + l)/(1/2). Suppose b = -v + 54. Is 9 a factor of b?
True
Let q = -748 - -748. Suppose -4*f = -3*w - 9*f + 1661, 5*w - f - 2731 = q. Is w a multiple of 9?
False
Is 26 a factor of (14 - 15)/(1/5)*76076/(-55)?
True
Let t = 67924 - 36481. Is 47 a factor of t?
True
Let b(z) = 2*z**2 + 101*z + 1367. Does 3 divide b(-17)?
True
Let n = -1931 - -3096. Does 18 divide n?
False
Suppose -286*v + 5116 = -284*v + s, 3*v = -4*s + 7689. Is v a multiple of 73?
True
Let k(m) = 2*m**2 + 4*m - 3. Let q be k(-6). Let l = q + -45. Is 3 a factor of (0 + 3)/(l - (-6)/78)?
True
Let h(v) = -5*v - 22. Let a be h(-5). Suppose a*m - 351 = 3*s, m + 3*s + 2*s = 135. Is m a multiple of 24?
True
Let y = -18 + 27. Let b = -49 + y. Let k = 96 + b. Is 8 a factor of k?
True
Let l(u) be the third derivative of 4*u**4/3 + 19*u**3/6 - 99*u**2. Is 6 a factor of l(4)?
False
Let p be -1573 - 0*(-7)/49. Let u = 2223 + p. Is 45 a factor of u?
False
Let r(m) = -10*m - 56. Suppose -6*f - 17 = 19. Let q be r(f). Suppose 2*t - 245 = 3*i, -q*t + 5*i + 304 = -189. Is 12 a factor of t?
False
Suppose 14836 + 71761 = 87*p + 2*p. Does 118 divide p?
False
Let w(q) = 45*q + 89. Is 82 a factor of w(55)?
False
Suppose 4*w = -2*l - 69 + 1443, 4*l - 2700 = 4*w. Is l a multiple of 41?
False
Suppose 2*i - 4*p = 5 - 15, -21 = -3*i - 3*p. Suppose -4 = 4*t + 4, -3*w = -i*t - 1545. Is 19 a factor of w?
True
Let b(v) = -7*v**3 - 22*v**2 + 7 + 30*v**2 - 2*v**3 + 7*v. Let o be b(7). Is 25 a factor of o/(-35) + 5/(25/(-2))?
True
Suppose 2*s + s + 2*j = 3231, -4*j + 1077 = s. Suppose 0 = -4*k - 0*k + 3*o + s, -2*o = -10. Let a = k - 134. Is 16 a factor of a?
False
Let t(j) = -j**2 + 2*j + 4. Suppose 21*k = 22*k - 5. Let b be t(k). Let z(g) = -4*g - 19. Is z(b) a multiple of 17?
False
Let m(k) = k + 1. Let n(c) = c**3 + 7*c**2 - c + 24. Let f(h) = -5*m(h) + n(h). Let t be f(-8). Suppose -89 = -t*s + 55. Is 8 a factor of s?
True
Let j(c) = 10*c**2 + 3*c. Let t be (-5 + 2)*1/1 + 20. Suppose 7*z = 3 - t. Is j(z) a multiple of 21?
False
Let k(c) = 3649*c - 928. Is 114 a factor of k(3)?
False
Suppose -3*n + 133403 = 5*r + 42227, 4*r = 4*n + 72992. Does 120 divide r?
True
Let o(a) = -222*a**3 + 5*a**2 + 37*a + 82. Does 60 divide o(-6)?
False
Suppose 5*g = t - 4605, 11*t - 24543 = -4*g + 26348. Does 17 divide t?
False
Suppose -1989 = -4*m - 5*g, 1394 = 3*m - g - 112. Is 167 a factor of m?
True
Let d be ((-5)/20*-6)/((-1)/(-2)). Suppose z = d*b + 816, 1183 - 5178 = -5*z - 2*b. Does 21 divide z?
False
Suppose -3*z - 8 = -z. Let a be z/3*(3/6 - 2). Suppose 282 = a*x - 2*v, -2*v - 31 = x - 181. Is 18 a factor of x?
True
Suppose 28*j = 265296 + 55249 + 305871. Does 137 divide j?
False
Suppose 41*q = 3*q. Let z(w) = -2*w**2 + 2*w - 1. Let b be z(2). Is (-60)/b - (-1)/(-2)*q a multiple of 12?
True
Suppose -m - 2 = 2. Is 5/(5/224) + m a multiple of 10?
True
Suppose 133327 = 60*n + 16447. Does 4 divide n?
True
Suppose 53334*v = 53316*v + 163332. Is 21 a factor of v?
False
Let a be 846/8 - (-10)/40. Suppose 8 - a = -7*g. Let z = g + 13. Is 7 a factor of z?
False
Suppose -2*m = 5*g - 74839, 5*m - 196071 + 8966 = -5*g. Is m a multiple of 14?
True
Suppose 2*n = -4*d + 77494, -478*n + 5*d + 193810 = -473*n. Is n a multiple of 228?
False
Let n be 1 + (-1)/7 + (-927)/(-21). Let b be (5/2)/(n/(-10) - -5). Suppose 0 = -4*v - 2*a + 22, 4*a = -b*v + 2*a + 27. Is v a multiple of 2?
False
Suppose -3*g - 4*h = -14, 3*g - 5*g = -2*h. Suppose -6 = -r - g. Suppose r*v - 5*b - 32 = 0, -5*b = -4*b - 4. Is v a multiple of 5?
False
Let c(a) = -a**3 + 5*a**2 - 3*a - 1. Let l be c(4). Let n = 1 + 43. Suppose -l*t + n + 19 = 0. Is 2 a factor of t?
False
Suppose 0*j - 5*o - 5 = 5*j, o + 1 = 5*j. Suppose 2*r = -j*r - 198. Let b = 147 + r. Is b a multiple of 6?
True
Suppose 2*v = 2, f - 12*v + 8*v = 3417. Is 17 a factor of f?
False
Let d(p) = -4*p**3 - 8*p**2 - 6*p + 8. Let z(k) = -k**3 - k. Let s(n) = -d(n) + 3*z(n). Let j be 356/(-52) + 8/(-52). Does 10 divide s(j)?
True
Let d(z) = -2*z**3 + 21*z**2 + z - 4. Let f be d(7). Suppose -4*x = -f - 750. Is 30 a factor of x?
False
Let y = -192 + 277. Suppose -89*i = -y*i - 1452. Does 11 divide i?
True
Let c(s) = 7 - 3*s + 7 - 7*s**2 + s**3 + 1. Let f be c(10). Suppose 5*r + 0*r = -5*a + f, -183 = -3*r + a. Is 12 a factor of r?
True
Let b(k) = 2*k**3 + 5*k**2 + 4*k. Let a be b(-2). Let z be (-187)/a + 4/16. Let g = 7 + z. Is 16 a factor of g?
False
Let a(c) = 8*c + 1 + 6*c**2 - 4 - c**3 - 6 + 8*c. Let k be a(7). Suppose d = 77 - k. Is d even?
False
Let w(c) = 2080*c + 49. Is 7 a factor of w(1)?
False
Let l = 74 - 73. Let b(r) = 233*r**3 - r**2 + 4*r - 2. Does 6 divide b(l)?
True
Suppose 314093 = 34*f + 47*f - 73087. Is 4 a factor of f?
True
Let d(z) = -2 + 704*z**2 - 22*z - 19*z + 65*z - 23*z. Is d(-1) a multiple of 21?
False
Suppose -2*c - 52 = 4*z, 0*c - 3*c - 6 = 0. Let d(q) = 3*q**2 + 6*q - 1. Is d(z) a multiple of 5?
False
Let i(j) = 39*j - 113. Let o(b) = -40*b + 112. Let a(d) = -7*i(d) - 6*o(d). Is a(-19) a multiple of 34?
False
Suppose 5*g + 23 = 23. Let s be g/((-4)/6 - 20/(-12)). Is 41 a factor of s + (138/5 - 0)*5?
False
Is 10 a factor of -82 - -74 - -32*(516 + -2)?
True
Suppose -340 = -2*i + 3208. Suppose -i = -4*r - 18. Suppose -2*w + r = -107. Is w a multiple of 13?
True
Let p be (((-2)/(-6))/(-1))/((-28)/2100). Suppose -22*s - 30 = -p*s. Let l(h) = -h**2 + 15*h - 30. Is 2 a factor of l(s)?
True
Let n = -60 + 745. Suppose -4*k - y = -n + 136, 4*k - 5*y = 5