6?
True
Let n = -60 - -66. Let i be (-4)/n - 550/66. Does 3 divide (-8)/3*i/2?
True
Let v = -373 - -692. Let u be (-1589)/42*2*(-2 + 5). Let x = v + u. Is x a multiple of 23?
True
Suppose -4*p = -3*p + 105. Let h = -49 - p. Suppose 3*a = -3, 2*a = -t - 0*t + h. Is 16 a factor of t?
False
Let i be (-68)/578 - 115670/(-17). Suppose 11*j = -10*j + i. Is j a multiple of 9?
True
Let i be 4/(-16) - 435/(-12). Suppose 92 = 8*h - i. Is 10 a factor of h?
False
Let n = 3658 + -1626. Does 3 divide n?
False
Suppose -238*t - 4891971 = -309*t. Is 21 a factor of t?
True
Suppose 33569 = 4*k + 5*u - 93286, 5 = -5*u. Is k a multiple of 8?
False
Let g(k) = -k**3 + 14*k**2 - 24*k + 21. Let i be g(15). Is 31 a factor of -4 - i/3 - -2?
True
Let s = -37 + 70. Let z = s + -29. Is 28 a factor of 1246/18 - z/18?
False
Suppose -422 = -12*z + 1414. Is 7 a factor of z?
False
Let k = 83 + 192. Suppose -268*h = -k*h + 3472. Does 47 divide h?
False
Suppose -g = -0*g - 225. Let w = g + -211. Is w even?
True
Suppose 3*r = -7 + 19. Let y(i) = 63*i - 9. Is 9 a factor of y(r)?
True
Let l(q) = -218*q - 262. Does 14 divide l(-3)?
True
Let i(y) = -y**3 - 2*y**2 + 46*y + 7. Let t be i(6). Is (-32 - 11)*(0 + t + 3) a multiple of 56?
False
Suppose -4*s + 2*f = -28, -5*s + 37 = 3*f - 5*f. Let p(g) = -g - 10*g**2 + s - 26 + g**3 + 17*g. Does 28 divide p(10)?
False
Suppose -277 = 5*m + 118. Let i be (-3 - -4)/(m/(-26) + -3). Let s = 34 + i. Is 5 a factor of s?
True
Let a be 8 - 6 - 60/2. Let w = 28 + a. Suppose h + h - 5*f - 233 = w, -f - 109 = -h. Does 13 divide h?
True
Let v(u) = 8*u + 76. Let y = 78 + -60. Is 10 a factor of v(y)?
True
Does 11 divide (-3099823)/(-444)*(7 + -4) - (-6)/(-8)?
True
Suppose 3*z - 4*z + 6 = 0, -3*z - 3726 = -2*m. Does 48 divide m?
True
Let u = -316 + 717. Is u a multiple of 5?
False
Suppose 3*i - 11 - 7 = -4*l, -1 = -l + i. Let h = l + 128. Does 13 divide h?
False
Let u be (-3 + 2166/18)/((-4)/(-30)). Suppose 8*f = 16*f - u. Is f a multiple of 55?
True
Let m = 15576 + -9411. Is 227 a factor of m?
False
Let s(c) = 4*c**3 - 6*c**2 + 4*c + 14. Let w(a) = 3*a**3 - 8*a**2 + 4*a + 13. Let h(k) = 4*s(k) - 5*w(k). Is 46 a factor of h(-15)?
True
Let g = 2699 - 1271. Suppose 327*l - 320*l = g. Is 68 a factor of l?
True
Let v be 1268 + ((-36)/(-3))/(-4). Suppose 3*y = -4*g + v, 5*g - 1585 = 5*y - 10*y. Does 55 divide g?
False
Let x be (-15)/90 - 314/(-12). Let a = x + -31. Is (16/6)/(a/(-30)) a multiple of 2?
True
Let g(i) be the second derivative of -i**4/3 - 5*i**3 - 7*i**2 - 5*i. Let l be g(-9). Let o = 75 + l. Does 4 divide o?
False
Let o(s) = -127*s + 5. Let w(m) = -m**2 - 3*m - 4. Let x be w(0). Let q be x/(-3)*((-9)/(-6))/(-1). Does 13 divide o(q)?
False
Suppose -490*g + 486*g = -18008. Suppose 3*l = -2*p + 2906, 4*l + 4*p = -626 + g. Is 62 a factor of l?
False
Suppose 3*q = 21 - 3. Is 7 a factor of ((-69)/18 + 6)*q?
False
Suppose -27*n - 3*n = -750. Let s = 55 - n. Is 3 a factor of s?
True
Suppose -6*i - 41 = g - 5*i, -5*g - 185 = i. Let o be 169/3 - (-12)/g. Is 30/(21/o - 0/2) a multiple of 5?
True
Let r be (5992 - -1) + (59 - 54). Suppose r = 21*x - 3116. Is x a multiple of 62?
True
Let s(h) = -h**3 + 35*h**2 - 64*h - 63. Let b be s(33). Suppose 0*z = -5*k + z + 382, 5*k - b*z = 376. Is k a multiple of 14?
False
Is (1 + 3 - 505/20)/(9/(-432)) a multiple of 15?
True
Let o(d) = d**3 + 23*d**2 + 23*d + 24. Let x be o(-22). Let r be (5/x)/(0 + 1/130). Let z = r - 136. Is z a multiple of 20?
False
Is 158 a factor of 139540/36 - (-24)/27?
False
Let r be (-6)/((54/(-4))/9). Suppose g = r*c + 6, -2*g + c + 21 = -g. Let s = 19 + g. Is 23 a factor of s?
False
Let l be (15/(-6))/5*446. Suppose 0 = -5*h - 432 - 133. Let x = h - l. Is 33 a factor of x?
False
Let o(h) = -h**3 + 5*h**2 - 2*h + 12. Let m be o(5). Suppose -616 = -3*y - y + 4*n, m*y - n = 308. Suppose 18*b - 20*b + y = 0. Is b a multiple of 13?
False
Let c = 2650 + -1041. Is c a multiple of 10?
False
Suppose 3*k + 2 = 2. Let w be (k - -8)/((-22)/(-33)). Is (-5)/(10/w)*(-154)/33 a multiple of 7?
True
Does 35 divide (57/114)/((-4)/(-112280))?
True
Suppose 5*h - 2*b = 15 + 50, 52 = 4*h - 3*b. Suppose 27*s - 1722 = h*s. Is 12 a factor of s?
False
Suppose -31*s - 3*s = -10812. Suppose 4986 = 17*p - s. Is 51 a factor of p?
False
Let p = -11936 + 21440. Does 352 divide p?
True
Suppose -11*v = -34 + 12. Suppose -24 = -4*y - 4*y. Is (-2*v)/(y/(-54)) a multiple of 12?
True
Suppose -10*x - 50 = -0. Let c be (-587)/(-4) + x/(-20). Let m = 231 - c. Does 42 divide m?
True
Let q(o) = -4*o**2 + 10*o - 6. Let b be q(4). Let j = b - -102. Does 8 divide j?
True
Let n(j) = 2 - 8 - 9*j + 72*j. Let f be n(3). Suppose -3*l + f = -5*p - 178, -462 = -4*l - 3*p. Is l a multiple of 13?
True
Suppose 41441 = -35*w + 170229 + 28922. Does 5 divide w?
False
Let m be (20*(-3)/2)/(-15 + 14). Suppose 4*b + 54 = m. Is (b/(-4))/((-15)/25)*-78 a multiple of 34?
False
Suppose 7*h = 13537 + 96881. Is 11 a factor of h?
True
Suppose -5*t + 1522 = n, t = n - 0*n + 302. Let q be t/12*(10/4 - 1). Suppose -2*l - q = -4*i, 24 = 3*i + 7*l - 4*l. Is i a multiple of 7?
False
Suppose 0 = 516*p - 548*p + 27776. Is p a multiple of 28?
True
Let w = 235 + 762. Is w a multiple of 26?
False
Suppose -n = 2*x + 1864, 3*x = -2*x + n - 4646. Let j = x + 1686. Is 42 a factor of j?
True
Let a = 400 + -368. Suppose 2*r + 4*n = a, 2*n + 20 = -6*r + 7*r. Is r a multiple of 18?
True
Suppose -6*s + 9360 = n - 11*s, -3*n = 2*s - 27944. Is 10 a factor of n?
True
Let x(t) = 195*t**2 - 93*t - 7. Is 85 a factor of x(-2)?
False
Suppose 2*i + a = 479, -2*a + 66 - 308 = -i. Suppose -17*d = -13*d - i. Is 11 a factor of d?
False
Does 12 divide 1*(-21)/(-28)*(-3 - -17135)?
False
Let k be 116/145 - (-2031)/5. Does 22 divide (1 - 5) + -47 + k?
False
Suppose -5*t + 45 = -2*n - 2*n, -3*t = -5*n - 40. Suppose -4*s = -0*l + 4*l - 44, 0 = 4*l - t*s - 8. Is 18 a factor of ((-54)/10 + l)/((-2)/(-90))?
True
Suppose 1507 = -t + 257. Let h be (-7 - -10)*t/(-6). Suppose 7*d + 121 = h. Is 18 a factor of d?
True
Suppose -616*t - 217592 = -5*n - 612*t, -4*t = 3*n - 130536. Is n a multiple of 23?
True
Suppose 7*j + 0*j = -2*j. Suppose -k - 3*k + 5*s + 85 = 0, -4*s + 12 = j. Is 7 a factor of (-15)/k*(-120)/3?
False
Let o be (4 - 1)/((-4)/(-356)). Let c = o - 486. Let q = -69 - c. Is 25 a factor of q?
True
Let h = 2204 - 1956. Is 62 a factor of h?
True
Suppose 3*g = y, 4*g = y - 3*y - 10. Let i(c) = 21*c**2 - c - 4. Let t(m) = 40*m**2 - 4*m - 7. Let s(a) = 7*i(a) - 3*t(a). Does 41 divide s(y)?
False
Let b = 57880 + -35467. Is b a multiple of 138?
False
Let h = 1616 - 312. Is 4 a factor of h?
True
Let d(o) = -1139*o - 99. Is 21 a factor of d(-3)?
True
Suppose 5*x - 2590 = -5*k, 0 = -2*x + 3*k + 80 + 956. Let i = x + -239. Does 31 divide i?
True
Let w(m) = -3 - 4 - 89*m + 31*m - 5. Is w(-5) a multiple of 23?
False
Suppose 3*x + 57972 = 3*k, -3*k - 18743 + 76711 = -2*x. Is k a multiple of 20?
True
Suppose -63*y + 379*y = 1253888. Is y a multiple of 31?
True
Suppose 6*w - 224 + 146 = 0. Suppose w*u - 342 = 7*u. Is 7 a factor of u?
False
Let z(g) = -3*g**2 - 12*g + 5. Let d be z(-4). Suppose 12 = -3*r, -515 = -5*y - d*r + 250. Does 7 divide y?
False
Suppose -6 + 3 = r. Let v be (r - (-1 + -2))/(-1). Suppose v = -7*k + 73 + 200. Is k a multiple of 13?
True
Let l = 12508 + -6315. Is 11 a factor of l?
True
Let g be (-2)/((6/28)/(3/(-4))). Is 12 a factor of -1 + 5 - g - (0 - 175)?
False
Suppose -3545350 = -281*g - 144*g. Is 4 a factor of g?
False
Let g = -83 - -89. Suppose -g*d + 2*d = -d. Suppose d = 6*y - 2*y - 576. Does 24 divide y?
True
Let y(s) = -4195*s**3 - 23*s - 24. Does 17 divide y(-1)?
False
Let a(m) = -2*m**2 - m + 8. Suppose -2 + 24 = -2*c - 4*w, 0 = 3*c + 4*w + 25. Let g(l) = 6*l**2 + 2*l - 24. Let n(v) = c*g(v) - 10*a(v). Does 17 divide n(8)?
False
Let i(k) = 18 + 2 - 4 - k - 22*k. Let j(z) = 24*z - 16. Let y(n) = 4*i(n) + 5*j(n). Does 13 divide y(4)?
False
Let u(n) = -35*n + 5. Let j(k) = k - 1. Let v(t) = 30*j(t) + u(t). Let o be v(-20). Suppose 0 = d - p - 51, 316 = 5*d + 2*p + o. Is 9 a factor of d?
False
Let v(u) = 0*u**2 + 190*u - 187*u + 4*u**2 - 2. Is v(-3) a multiple of 5?
True
Let p(u) = u**3 - 4*u**2 - 2*u + 10. Let k be p(5). Suppose -k + 5 = 5*o, 0 = 5*v - 2*o - 358. Let d = v - 24. 