 151, 352 = 4*z + q. Is 7 a factor of z?
False
Let y = -1 + 3. Let x = 465 + -437. Let q = x - y. Is q a multiple of 10?
False
Let l(q) = q**3 + 6*q**2 - 2*q - 9. Let k be l(-7). Suppose 133 = 4*c - 195. Let j = c + k. Is 3 a factor of j?
False
Let b = 15507 - 8059. Does 98 divide b?
True
Let k(v) be the third derivative of 0*v**3 + 0 + 0*v + 1/24*v**4 - 1/30*v**5 + 7/30*v**6 - 2*v**2. Is 9 a factor of k(1)?
True
Let k be 1/(-4) - (-1095)/60. Let n = k + -19. Let t(f) = -30*f**3 - f - 2. Does 11 divide t(n)?
False
Suppose -116*s + 675218 + 35663 = -243683. Does 39 divide s?
True
Suppose 3*l = 3*u - 89070, -951*u - 4*l = -946*u - 148432. Is u a multiple of 4?
True
Suppose 0 = -5*f + 3*f - 2*o + 13974, 2*f = 3*o + 13964. Is f a multiple of 7?
False
Let w(d) = d**3 + 11*d**2 + 6*d - 37. Let u be w(-10). Is 11 a factor of (36 - -19)/(u/66)?
True
Suppose 299 = 4*b + 7. Let s = 16 + b. Is s a multiple of 14?
False
Let c(a) = -957*a - 2391. Is c(-11) a multiple of 16?
False
Let m(q) = -12*q**3 + q**2 - 1. Suppose 0 = 2*k + 4*o, 5*o = -3 - 2. Let i be 12/(-32)*k - (-1)/(-4). Is 12 a factor of m(i)?
True
Let p(a) = -10*a**2 + 8*a - 10. Let n be p(4). Does 14 divide (-6928)/(-15) - n/1035?
True
Let g(o) = o**3 + 13*o**2 - 28*o + 31. Let d be g(-15). Is 47 a factor of ((-731)/(-6))/d - (-13)/78?
False
Is -4 + (-544)/(-144) + 28356/27 a multiple of 14?
True
Let q(c) = -c**3 + 2*c**2 + 12*c - 11. Let u be q(4). Suppose -3*g + 15*f + 5277 = 19*f, 2*g - u*f = 3518. Does 28 divide g?
False
Suppose 2*z + 2137 = i, -4*z + i + 5332 = -9*z. Let d = z + 1897. Is d a multiple of 51?
False
Let n = 141 - 66. Let g = n - -51. Is 5 a factor of g?
False
Suppose 16*s + 336 = -0*s. Does 21 divide (2 - -1)/(s/(-1358) + 0)?
False
Suppose 1049 = 2*z + 5*n, -6*z + 5*n + 1019 = -4*z. Let p = z + -97. Does 15 divide p?
True
Suppose 0 = -g + 8 + 1. Let p = g - 0. Does 9 divide 102/p*(3 - 0)?
False
Let o = -17 + 17. Suppose -s = -o*s - 10. Is 5 a factor of (s*-1)/(16/(-16))?
True
Let v(b) = -2*b - 19 + 14 + 15*b + 20. Let m be v(4). Suppose 100 = 2*u + 2*d + 6, 0 = -u + 4*d + m. Does 8 divide u?
False
Suppose 0 = -5*h + 3*r + 2*r + 125, 136 = 4*h + 5*r. Is (6 + -5 + 13)*h a multiple of 29?
True
Let n(t) = -t**2 + t + 91. Let u be n(0). Let w(z) = -3*z**3 - z**2 - 3*z + 61. Let x be w(0). Let q = u + x. Is q a multiple of 12?
False
Suppose -14*j - 25 = -19*j. Suppose 4*x - 92 = -4*c + j*c, -3*x - 3*c + 54 = 0. Suppose -x + 85 = 3*o - 3*q, 4*q + 34 = 2*o. Is o a multiple of 11?
False
Suppose 3209 = -37*v + 38*v - 471. Is 46 a factor of v?
True
Let l = 84 - 59. Let g = l - -39. Suppose -2*d + g = -0*d - 4*x, 0 = -x. Is d a multiple of 7?
False
Let w be ((-608)/20)/(-3*6/45). Let u = w + -79. Is 9 a factor of (-471)/12*u - 3/4?
True
Suppose -20 = 3*y + i, 2*i + 2*i = 2*y + 32. Let x be (-48)/y*(-4)/6. Is 4 + x + (0 - -55) a multiple of 7?
False
Is 21 a factor of 62/(-155) - (-1)/(25/3685)?
True
Let g(i) = i**2 + 6*i - 15. Let l be g(-7). Is 23*(-15)/5*l a multiple of 7?
False
Suppose 0 = -4*y + 4*w - 71 - 41, 0 = -5*y - w - 110. Let t = y - -40. Let c(f) = -f**2 + 18*f - 7. Does 3 divide c(t)?
False
Let n = 4160 - -1664. Is n a multiple of 28?
True
Let g(z) = -363*z + 2173. Is 33 a factor of g(-11)?
False
Does 96 divide (-854)/(-4697) - (-549534)/22?
False
Suppose -f - 1051 = -3063. Suppose -f = -5*g + 4*d, -2*d + 969 = 3*g - 225. Is 50 a factor of g?
True
Does 5 divide ((-20)/16)/((-7)/13972)?
True
Let n = -13 + 61. Suppose 7*v - v = n. Suppose 6 = r - v. Is 7 a factor of r?
True
Suppose -5*i = -5*b - 195, -92 = 2*b + 5*i - 14. Let r = -40 - b. Let p(h) = -35*h**3 - 2*h**2 - h. Is 34 a factor of p(r)?
True
Suppose -4*p - 378 + 1006 = 0. Let g = p + 186. Does 30 divide g?
False
Suppose -18 = 4*j - 10*j. Suppose -4*z - 107 - 1521 = -5*l, 0 = j*l - 2*z - 976. Does 18 divide l?
True
Let n(l) = -l**2 + 15*l + 111. Let y(v) = -4*v**2 + 49*v + 334. Let z(m) = 7*n(m) - 2*y(m). Is 24 a factor of z(25)?
False
Suppose -12323452 = -190*k - 2285182. Is k a multiple of 33?
True
Suppose -233*m + 22*m = -3070683. Is m a multiple of 197?
False
Suppose -h + 6 = 2*h, 5*p = 3*h + 4074. Is p a multiple of 4?
True
Let t(v) = 149*v**2 + 59*v - 6. Is t(9) a multiple of 75?
False
Let q = 5399 - 3645. Does 140 divide q?
False
Let u = -517 - -261. Let v = u - -146. Is 4 - v/(-25) - 232/(-5) a multiple of 23?
True
Let v(h) = h**2 + 7*h - 36. Suppose 4*s + 3*q = 8*q + 27, -3*q = 4*s - 35. Is v(s) a multiple of 21?
True
Does 5 divide -3 - (-48770)/7 - (-44)/(-308)?
False
Let p = 2364 - 1026. Suppose 5*f - 1093 = q + 2252, -p = -2*f - q. Is f a multiple of 57?
False
Let h = -285 - -245. Is 8 a factor of 86/(((-30)/h)/(-1 + 4))?
True
Let z = -13663 - -15839. Is z a multiple of 2?
True
Suppose -k - 9 - 58 = 0. Let v = k + 125. Is v a multiple of 49?
False
Let x(n) = -3*n**3 - 26*n**2 - 120*n + 9. Is x(-5) a multiple of 2?
True
Let a(h) = 5*h**2 - 23*h - 4. Let u be a(5). Let g(v) = 5*v**3 - 3*v**2 + 8*v - 12. Is g(u) a multiple of 24?
True
Suppose 43*o - 2108 = 12*o. Let c = o - -131. Is 16 a factor of c?
False
Suppose -3*b = 3*b + 54. Let y be (4/(-12))/(1/b). Suppose -2*z + 34 = 3*t, y*t + 5 + 7 = 0. Is z a multiple of 23?
True
Let q be (2052/(-90))/((-4)/310). Let o = q + -658. Is o a multiple of 31?
False
Let j = 139 - 128. Is 1549 + -1*(6 - j) - -5 a multiple of 11?
False
Suppose 0 = 18*l + 2750 + 4864. Let q = 699 + l. Is 6 a factor of q?
True
Suppose 3*v = 15, -6*p = -p - 3*v - 1115. Suppose -20*d + l = -15*d + 601, -5*d - l = 609. Let s = d + p. Is s a multiple of 22?
False
Suppose -k = 5*o + 1, o + 1 = 4*k - 100. Let p be (k/(-21))/(8/(-28)). Suppose -w = p*v - 17, 4*v + 2*w + 14 = 8*v. Is 3 a factor of v?
False
Let u(x) = 97*x**3 + 5*x**2 + x - 12. Let d be u(3). Suppose 0 = -10*i - 5*i + d. Does 39 divide i?
False
Let h(j) be the third derivative of 7*j**6/720 - 5*j**5/24 - 13*j**4/24 - 6*j**2. Let o(g) be the second derivative of h(g). Is o(15) a multiple of 10?
True
Suppose -2*t + 2*d + 112602 = 0, 5*t + 3*d - 21813 = 259636. Does 84 divide t?
False
Let k = -20 + 18. Let b(q) = -2*q**3 - 3*q**2 - 5*q - 3. Let a be b(k). Suppose 0 = -9*l + a*l - 180. Is l a multiple of 10?
True
Suppose 15*u - 2*v - 41902 = 10*u, -2*v - 33522 = -4*u. Is 20 a factor of u?
True
Let h be (-140)/(-42) + 2/(-6). Suppose -3*f + 6*f - 2*n = 6, f - 2 = -h*n. Suppose -q - 2*r = r - 167, 5*q - 874 = -f*r. Is 11 a factor of q?
True
Is 1329 + (14 - 3) - 12 a multiple of 16?
True
Suppose 3*g + x + 2 = 3, -3*x + 3 = 3*g. Suppose g = 4*z + o + 3 + 4, -3*o + 9 = -3*z. Is 56 a factor of (10 - z)*168/9?
True
Let h = -3001 + 12541. Does 12 divide h?
True
Suppose 17*y = 3487 + 814. Is y a multiple of 11?
True
Suppose -162*y - 37423 = -167*y + j, 3*y = -5*j + 22493. Does 19 divide y?
True
Let q(n) = -n**3 + 27*n**2 - 17. Let o be q(31). Is (8/6)/(-8 - 30899/o) a multiple of 11?
False
Suppose 92*s - 261*s - 25545 = -632931. Does 23 divide s?
False
Let t(n) = -134*n - 12. Let z(v) = -269*v - 25. Let l(o) = 7*t(o) - 3*z(o). Let d be l(-3). Suppose 7*b + 793 = 11*b - u, 2*u - d = -2*b. Is 44 a factor of b?
False
Suppose 5*w = -3*a + 28214, -11*a = -10*a + 2*w - 9407. Is a a multiple of 20?
False
Suppose 3*o = 4*s - 55119, 0 = 87*s - 91*s + 2*o + 55114. Does 42 divide s?
True
Suppose 5*d - 30 = 45. Let l = d - 15. Suppose l = -3*k - 50 + 77. Does 3 divide k?
True
Suppose 2*z - 156 = 666. Suppose -x - 2*x + 387 = 3*c, -3*c + 5*x = -z. Is c a multiple of 22?
True
Let u(z) be the first derivative of z**6/180 + z**5/20 + z**4/4 + 10*z**3 - 21. Let j(y) be the third derivative of u(y). Is 26 a factor of j(-11)?
True
Let t(r) = 5*r**2 + 38. Let o = 159 + -165. Is 53 a factor of t(o)?
False
Is 108 a factor of ((-2)/(-4) - -6)/(-1*5/(-1080))?
True
Let q = -22349 - -37212. Does 19 divide q?
False
Let d(g) = -g**3 - 6*g**2 - 2*g + 7. Suppose 47 - 11 = -6*s. Does 2 divide d(s)?
False
Let n(b) = -b**2 - 7*b - 4. Let f be n(-6). Suppose -1400 = -f*u - 0*u. Is u a multiple of 19?
False
Suppose 0 = -5*o + n - 55, 4*n - 28 = 3*o - 12. Let k = 29 + o. Does 7 divide k + (-5 - 8/(-4))?
True
Let h(m) be the second derivative of m**7/280 - m**6/30 - m**5/30 + m**4/3 - 19*m**3/6 + 2*m. Let g(d) be the second derivative of h(d). Does 30 divide g(5)?
False
Let g(u)