be q(-10). Let h = 111 - n. Is h a multiple of 15?
True
Let o(u) = -7*u**3 - 8*u**2 + 28*u + 141. Does 57 divide o(-6)?
True
Suppose 3987 = -15*s + 267. Let o = s + 797. Is 11 a factor of o?
False
Suppose 3*v - 4*z = 4*v + 1, -v + 4*z + 23 = 0. Let w be -8 + v + 2*142. Suppose 0 = -4*c + w + 381. Is 29 a factor of c?
False
Let b = 156 + -151. Suppose 3*t + 456 = 5*t + o, b*o = 0. Does 14 divide t?
False
Is 5 a factor of ((-285)/(-380))/(3/1920)?
True
Suppose -4*o + 89936 = 4*x, 85*x - 81*x = -2*o + 44978. Does 15 divide o?
False
Let v be ((-195)/(-130))/((-1)/2). Does 53 divide -795*v*5/25?
True
Let v = 5825 + 13320. Does 35 divide v?
True
Suppose 20020 = 7013*k - 7009*k. Does 35 divide k?
True
Let x = 993 - 547. Let t = x - 311. Suppose 31*z - 36*z = -t. Does 4 divide z?
False
Let w(p) = p + 8. Let h be w(2). Suppose 9*n = h*n - 64. Does 32 divide n?
True
Let j(g) = -g**3 - 18*g**2 + 2. Let d be j(-18). Suppose d*b - 207 = -b. Let c = b + -33. Does 31 divide c?
False
Let k(p) = 2*p - 3. Let j be k(2). Let h = 437 - 436. Is 13 a factor of -50*j*(-1 + -1)*h?
False
Let g = -1 - -1. Suppose g = 6*n - 8*n + 256. Is 31 a factor of n?
False
Suppose 8*s + 82 - 130 = 0. Is 49 a factor of (56/16*s)/(6/112)?
True
Let y(g) be the third derivative of 5*g**4/24 - 8*g**3/3 - 23*g**2. Let z be y(4). Suppose z*f + 4 = 0, 0 = -7*h + 4*h - 3*f + 231. Is 9 a factor of h?
False
Let u = 1038 - -167. Is 2 a factor of u?
False
Suppose -7 = 2*t - 11, -4*n - 16 = -4*t. Is -1 + 5 + (n - -63) a multiple of 3?
False
Suppose 10*c - 5*c = 2*a + 137, 2*c - 55 = a. Let f(v) = -v**3 + 32*v**2 - 119*v - 29. Is f(c) a multiple of 31?
True
Suppose -n + 4205 = 5*s, -3*n - 3*s + 8337 + 4230 = 0. Does 45 divide n?
True
Let q = -1505 + 16391. Does 157 divide q?
False
Suppose 2*t + 3268 = 4*n, 5*n - 4063 = -t - 2*t. Let z be ((-1)/(-1))/(17/8483). Suppose -z = -6*k + n. Is k a multiple of 45?
False
Suppose -2*a - a + 84 = 0. Let j = -26 + a. Suppose 0 = -j*l + 217 - 71. Is l a multiple of 19?
False
Suppose 0 = -5*f + 1627 + 628. Let t be 5612/10 - (9 + (-9 - 3/(-15))). Suppose -t = -4*g + f. Is 11 a factor of g?
True
Let c = -3247 + 4760. Is c a multiple of 89?
True
Let p(x) = -21*x**3 - 2*x**2 - x + 2. Suppose 2*i + 2*k = -10, 2*i = 5*k - k - 22. Let w be i/28 - 14/8. Is p(w) a multiple of 41?
True
Let k be -2 + (4 - (3 - 1)). Suppose k*l + 63 = l - p, -3*l - 2*p = -174. Is 16 a factor of (-1150)/(-6) + 20/l?
True
Suppose 0 = -0*y + 10*y - 40. Suppose 5*s + 4*n = -2006, 0 = y*s - 2*n + 1560 + 24. Let b = -265 - s. Is 19 a factor of b?
True
Let d = -68 + 63. Let y be ((-6)/d)/(39/130). Suppose -y*k + 223 = -153. Is 15 a factor of k?
False
Does 20 divide (((-72)/(-45))/((-2)/5))/(6/(-2481))?
False
Suppose 83*y = 4*t + 84*y - 49761, 4*y - 24870 = -2*t. Is 29 a factor of t?
True
Suppose -6*m + 4*m = 0. Suppose m = -18*h + 17*h + 128. Let b = h + -50. Is 26 a factor of b?
True
Let d(w) = 72*w**2. Let j = 327 + -326. Is d(j) a multiple of 13?
False
Let s(w) = -5 - 7 - w**3 + 16*w**2 + 15*w - 3*w**2. Let t be s(14). Is 40 a factor of ((0 + 2 - t) + -80)/(-1)?
True
Suppose 363066 + 695142 = 53*y + 20*y. Is 151 a factor of y?
True
Is 14 a factor of 4 + -9 - 27854/(-38)?
True
Let q = -66 + -869. Let i = q - -2123. Does 49 divide i?
False
Suppose v + 151 = 4*j - j, -2*j + 92 = -5*v. Let d = j - 51. Suppose 3*h + 65 = 2*x, -5*x - 3*h + 152 = -d*h. Does 20 divide x?
False
Suppose 60 = 3*n - 36. Suppose s = -s - n. Let v = s + 27. Does 11 divide v?
True
Let y(i) = -362*i - 11. Let w(d) = -2*d**2 + 64*d - 1. Let n be w(32). Is 9 a factor of y(n)?
True
Suppose 0 = -3*q + 4*d + 1, -8*q + 4*d + 21 = -9*q. Is 2 - (2/q + 20748/(-105)) a multiple of 12?
False
Let g(n) = 666*n**3 - 2*n**2 + 3*n - 2. Let i be -1 + -1 + 4/(4/3). Is g(i) a multiple of 95?
True
Let i(x) = -3 + 8 - 9 - 7 - 3*x. Let a be i(-9). Let p = a - 8. Is 2 a factor of p?
True
Suppose 12*c + 9 = 45. Suppose 9*n - 4*n + c*u - 380 = 0, -u + 76 = n. Is n a multiple of 38?
True
Is 16 a factor of 7404/6 - (2 + 3 - 3)?
True
Suppose 0 = -2*x, 22*t = 21*t - 5*x - 114. Is 76/t*(1 + -391) a multiple of 26?
True
Suppose 25*i - 9*i = -81*i + 208647. Is i a multiple of 58?
False
Let t(u) be the third derivative of -u**5/30 - 19*u**4/24 - u**3/2 - 55*u**2 - 1. Suppose 23 - 11 = -2*c. Is t(c) a multiple of 13?
True
Let s = 3650 - 730. Is s a multiple of 40?
True
Is 31 a factor of 2/(-29) - (-90237675)/7975?
True
Suppose -4*x = 11 - 19. Suppose 0 = -o + 2*o - x. Suppose -3*g - o*g = -670. Is 11 a factor of g?
False
Let l(v) = 252*v**2 - 1030*v - 5162. Does 16 divide l(-5)?
True
Let n(k) = -62*k + 81. Let m(d) = d**3 + 23*d**2 - 24*d - 7. Let g be m(-24). Is 15 a factor of n(g)?
False
Suppose -33 - 44 = 11*h. Let r(n) = -7*n**2 - 51*n + 2. Is r(h) a multiple of 16?
True
Suppose -5*g + 5*t + 55 = 0, -28*g + 29*g = 3*t + 19. Let k be -1 + 22/(-4)*-22. Suppose -g*u + 2*u = -k. Is 24 a factor of u?
True
Let a be ((-4)/(-24)*15 + -2)*0. Suppose a*d = -6*d - 48. Does 8 divide 77 - -4*6/d?
False
Let x be (-3800)/(-418) + (-2)/22. Suppose 563 - 95 = x*w. Is 6 a factor of w?
False
Let j(i) = 64*i**2 + 5*i - 11. Suppose 3*a - 6*a = -6. Is j(a) a multiple of 17?
True
Let l = 84 - -6306. Does 17 divide l?
False
Let r(b) = b**3 + 8*b**2 + 7*b + 1. Let h be r(-7). Let o be h + (-8)/(-4) + 0 - -40. Suppose x - 3*x = k - o, k - 3*x - 48 = 0. Does 15 divide k?
True
Let t be -1 + 137 + (-8)/2. Let z = t - 120. Is z*((-26)/(-6) - -5) a multiple of 16?
True
Suppose -4*r = -5*x - 61137, -2*x - 17374 - 13196 = -2*r. Does 26 divide r?
True
Let a(p) = 795*p**2 + 4*p + 8. Is a(-2) a multiple of 15?
True
Let m = -634 - -238. Let u be 4/22 + 0 - 78336/m. Suppose u = -4*h + 1198. Is h a multiple of 31?
False
Let m(i) = 6*i**2 + 82*i - 24. Is 7 a factor of m(-36)?
False
Suppose 53*c + 642350 = 198*c. Is c a multiple of 7?
False
Suppose x - 2*x = -3*a - 469, 0 = 5*x + 2*a - 2430. Let r = -8 + x. Is r a multiple of 17?
True
Does 29 divide (28/(-56))/(1/(-13630 + -4))?
False
Let r(a) = -35*a - 122. Let n be r(-4). Suppose 0 = n*o + 649 - 8209. Does 35 divide o?
True
Let h = 114 - 112. Suppose h*z - 5*t = 129, 0 = -5*z - 3*t - 0*t + 369. Is 5 a factor of (10/(-6))/((-24)/z)?
True
Let f(n) = -3244*n + 10836. Is 75 a factor of f(-6)?
True
Let k be 1/(-8) - (-9 + 8/(-64)). Is k/15 - (-2010)/25 a multiple of 27?
True
Let u(s) = 13 - 32*s**2 - 22*s + 31*s**2 + 34. Does 12 divide u(-17)?
True
Let z(a) = -a**3 - 3*a**2 + 3*a + 8. Let p be z(-3). Suppose -5*y - 4*v = -11, -2*y - 14 = -7*y - v. Is p + (222 - (-3)/(y/(-2))) a multiple of 13?
False
Let r(c) = -c**2 + 77*c - 10. Suppose 0 = m + 3*f + 3, 9*m - 8*m = -2*f + 1. Does 7 divide r(m)?
True
Does 45 divide -10 - (-16092 - 2 - (14 - 9))?
False
Let r(l) = 83*l**2 + 1. Suppose 9*x - 5*x = -4. Let i be r(x). Suppose 8*g - 12*g = -i. Does 7 divide g?
True
Let j(n) = -5*n**3 - 5*n**3 - 34*n**3 - 9*n**3 + 7*n**3 - n + 1 - 3*n**2. Does 7 divide j(-1)?
False
Let k = 6256 + 1689. Is k a multiple of 93?
False
Let r be -9*(-2)/(-9) + -1 + 1. Is 12 a factor of (-18)/r*(-880)/(-30)?
True
Suppose -x - 3*g = 6, g = -3*x - 4*g - 30. Let w be 28/6 - (x/(-9) + -2). Suppose -w*s + 238 + 92 = 0. Is 6 a factor of s?
True
Let z(a) = a + 13. Let m = -2 - -20. Let c be z(m). Suppose -l - 2*j + 13 = j, -c = -2*l - j. Is 16 a factor of l?
True
Let a(l) be the first derivative of -l**3/3 + 6*l**2 + 5*l - 21. Let x be a(12). Suppose x*n - 205 = -0*n. Is 12 a factor of n?
False
Let b(g) be the second derivative of -g**5/20 - 2*g**4/3 - 10*g**3/3 - 9*g**2/2 - 37*g. Is 2 a factor of b(-4)?
False
Suppose -138320 = -62*v + 93*v - 45*v. Is v a multiple of 130?
True
Suppose 28*a = 32*a - 20, -4*a + 9421 = y. Is y a multiple of 17?
True
Let f = -156 - -574. Does 3 divide f?
False
Let l be -32 - -34 - (-1 + 2262). Does 18 divide 39/91 - (l/21 - -2)?
False
Suppose -3*l + a - 4*a = 18, 5*l + 28 = -4*a. Let s be (-132)/l - (-8)/2. Suppose 4*i = 325 - s. Does 23 divide i?
False
Let i = 36985 + -25367. Is 107 a factor of i?
False
Let j(k) = 2*k**3 + 10*k**2 - 47*k + 8. Suppose 8*y = -4*t + 6*y - 38, -5*t - 2*y - 45 = 0. Is j(t) a multiple of 20?
False
Let z = 4230 - -1759. Is z a multiple of 5?
False
Let v = 68 + -239. Let r = -138 - v. Is r even?
False
Let t(b) = b**2 - 23*b 