y) = -3*y**3 - 6*y**2 - 2*y + 1. Suppose -3*u + 20 = -13*u. Let t be l(u). Suppose -t*j = 2*p - 4*p + 130, 83 = p + 2*j. Is 15 a factor of p?
True
Let x be 654/(3/9*36/16). Let b = -314 + x. Is b a multiple of 11?
False
Let s(j) = -47*j + 588. Let b be s(12). Suppose -p = -2*y + 12, -3*y - 5*p = 6 + 2. Suppose -y*g + b = -60. Is g a multiple of 7?
True
Let u be (-20)/6*(-7)/((-70)/(-6396)). Suppose -7*w + u = 6*w. Does 41 divide w?
True
Suppose 5*m + 2*c - 20 = 20, -5*c = -4*m + 32. Suppose -195 = -m*d + 7*d. Does 13 divide d?
True
Let i(u) = -6*u**2 + 580*u - 279. Is i(62) a multiple of 31?
True
Is 35 a factor of 278/556*(-1 + 16031)?
True
Suppose -13*p - 26 = -15*p. Suppose -4*c - 1 = 5*i - p, 0 = -4*i + 4*c + 24. Suppose -i*q = -5*q + 109. Does 10 divide q?
False
Let q(n) = -42*n + 878. Is q(11) a multiple of 104?
True
Suppose -10*z - 27 = -7*z. Let y be -3 + 13 + z + 4. Suppose n = 2*v - 227, 3*n = -y*v - 26 + 588. Does 8 divide v?
False
Is 72042/24 - 3 - 30/(-24) a multiple of 15?
True
Let r = -511 - -517. Is 28 a factor of 125862/44*1*4/r?
False
Suppose 3*n - 4*a - 634 = 10165, 7206 = 2*n + 4*a. Is 57 a factor of n?
False
Suppose 2*w + 2*m = 4416, -4*w + 317*m + 8840 = 313*m. Is w a multiple of 11?
False
Suppose 5*j + 2 - 112 = 5*y, 5*y = j - 26. Suppose -2*a + 27 = j. Suppose l - a*l + 3*c + 64 = 0, -c + 2 = 0. Does 35 divide l?
True
Suppose 6*n + 2925 = -465. Let z = -381 - n. Suppose -2*b + 3*s = 2*s - 108, 0 = 3*b + 4*s - z. Does 12 divide b?
False
Let p = 96 + -168. Let u be (-4122)/p + 2/(-8). Let t = -32 + u. Does 5 divide t?
True
Is 41 a factor of (6/4)/(-9*6/(-79236))?
False
Let v(o) = -1715*o - 60. Is 5 a factor of v(-1)?
True
Is 6 - ((-26556)/(-36))/((-2)/12) a multiple of 16?
True
Is 278 a factor of (-320)/(-224) + 62/(-14) + 8065?
True
Let k = 10 + -7. Suppose -r + 6*r = -15, -84 = -k*u + 4*r. Suppose -4*v + 4 = -i + u, 0 = 2*i + 2*v - 40. Does 20 divide i?
True
Let v = -1281 + 1759. Is v a multiple of 2?
True
Let p = -137 - -140. Let a be p + 4/(8 - 4). Suppose 0 = -a*w + 7*w - 561. Does 17 divide w?
True
Let m(t) = -t + 40. Suppose 3*x = -x - 4*c + 32, -4 = -c. Is 3 a factor of m(x)?
True
Suppose 7*r = 3*r + 28. Suppose r*b - 2*b = 25. Suppose b*l + 2*h - 148 = -18, l - 4*h = 48. Is 28 a factor of l?
True
Suppose 881242 - 143364 = 22*d - 138052. Does 55 divide d?
False
Let b(p) be the first derivative of 233*p**2/2 - 72*p + 63. Is 26 a factor of b(6)?
True
Suppose 6*r = 8*r - 5*y - 4000, 0 = 2*r + 3*y - 4032. Suppose -5*n = -15*n + r. Suppose 15*b = 16*b - n. Is b a multiple of 12?
False
Suppose -148 = -3*l - 5*n, 4*n = -l + 11 + 43. Suppose -5*a - 10 = 0, -4*a + 363 = 5*x + l. Does 26 divide x?
False
Suppose 5*c = -4*v + 165518, -5*c - 145*v = -148*v - 165539. Is 19 a factor of c?
False
Let p = 11030 + -9374. Does 36 divide p?
True
Suppose 0 = -6*a + 688 - 40. Let z = 323 - a. Does 3 divide z?
False
Suppose 0 = 16*a - 367 - 113. Let h be ((-12)/(-10))/(18/a). Does 20 divide 162/h - (-10 + 11)?
True
Let d(w) = w**3 + 28*w**2 + 28*w - 21. Does 47 divide d(-9)?
False
Let z be (-14 + 11)/(3/(-14)). Is z/77 + 1712/22 a multiple of 39?
True
Let v be 2/(-6*1) + 2765/105. Is 26862/143 - (-4)/v a multiple of 7?
False
Let s = 258 + -366. Is 12 a factor of ((-364)/56)/(2/s)?
False
Suppose -d = -4*b - 47, d + 4*b = -0*b + 39. Let w = d - 44. Let z = w + 204. Is z a multiple of 29?
True
Let n(m) = 19*m + 1086. Is n(54) a multiple of 22?
True
Is 32 a factor of 0 + (468 - -12)/(7/154)?
True
Let d be 8/12 - (-174)/9. Let z(c) = -d + c**2 - 15*c + 16*c - 2*c. Is 9 a factor of z(14)?
True
Let x(q) = q**3 + 5*q**2 - 15*q + 6. Let w be x(-6). Is (156/(-20))/((-18)/w) a multiple of 12?
False
Does 106 divide (-25)/45*-3 - 1/((-6)/4442)?
True
Suppose -8*q + 103238 = 7*q - 118537. Is 28 a factor of q?
False
Let y(f) = 315*f + 896. Does 90 divide y(7)?
False
Let b be 110/25 + -4 - (-15)/25. Is 7 a factor of b - (-155 - 3 - 4/4)?
False
Suppose -8292 = -3*t + 3*b, -3*b - 2766 = 397*t - 398*t. Is t a multiple of 156?
False
Suppose -n = -4*y - 246, -5*y = 5*n - 6*y - 1306. Suppose r + j + 86 = 0, 6*r + j = 9*r + n. Does 14 divide (-1 - 0) + 0 + -2 - r?
True
Let i = -14 - -12. Let w be 1 + 5255/30 + i/12. Suppose 0 = -3*h + 88 + w. Is h a multiple of 12?
False
Suppose -3*x + 407555 + 100733 = 35*x. Is 86 a factor of x?
False
Let n be -68 + (0 + 0)/2. Let x(t) = 27*t + 54. Let s be x(2). Let j = s + n. Does 10 divide j?
True
Let h(t) = 10938*t + 117. Is 13 a factor of h(1)?
False
Suppose -141*k + 285*k = 184*k - 645360. Is k a multiple of 21?
False
Let h(f) = f**3 + 9*f**2 + 6*f - 28. Suppose 4*d = 7*d. Let q = d - 7. Is 4 a factor of h(q)?
True
Suppose -4*r + 3942 = -3*g, -15*g + 1982 = 2*r - 11*g. Does 2 divide r?
False
Suppose -4*r + 4 = -5*r. Let p(o) = 3*o + 17. Let s be p(r). Suppose y + 0*y - 24 = -s*g, 5*y - 5*g = 30. Does 9 divide y?
True
Let c = -3163 - -3166. Let l(b) = b**3 - 4*b**2 - b + 4. Let j be l(4). Suppose -a = 4*k - 64, c*a - 12 = -j*a. Is 9 a factor of k?
False
Let z be (12/24)/(4/176). Suppose -z*l = -19*l - 684. Does 38 divide l?
True
Suppose -3*f - 4*a - 223 = 0, -3*a = 3*f - 5*a + 199. Does 46 divide (88/(-24) + 5)/((-2)/f)?
True
Suppose 8*l + 18 - 226 = 0. Suppose -24*x - 4 = -l*x. Suppose x*a + u = 206, -172 - 26 = -2*a + u. Is 14 a factor of a?
False
Suppose 0 = -7*g + 2*g + 115. Let u(c) = 13 - 57*c - 8*c - g. Is u(-2) a multiple of 37?
False
Suppose -2*s + 2754 = -4*y + 47308, -33393 = -3*y - 3*s. Is 116 a factor of y?
True
Let b be 6/10 - (-42)/(-70). Suppose b = 3*r + r - 468. Does 13 divide r?
True
Let k be (-8 + 9 + -3)*316/(-2). Suppose -1350 = 311*b - k*b. Is 45 a factor of b?
True
Let u = -121 - -259. Suppose u = -n + 3*n. Suppose 2*d - 351 + n = 0. Is d a multiple of 47?
True
Let j = 1717 + -1018. Let s = j + 165. Is s a multiple of 27?
True
Let s = -34292 + 58672. Is 106 a factor of s?
True
Let p(x) = 4*x**3 + 64*x**2 - 41*x - 27. Let s be p(-16). Let u = s + -419. Does 6 divide u?
True
Let a be 4 - 1/(-2)*2*-4. Suppose -3*g = -b + 18, -4*b + 4 = -a*b + 5*g. Let o(c) = c**2 + 4*c + 8. Does 34 divide o(b)?
True
Let r(f) be the second derivative of -f**5/4 + 5*f**3/3 + 3*f**2/2 - 85*f. Does 12 divide r(-3)?
True
Let k(q) = -q**2 - 36*q - 20. Let l be k(-23). Let z = l - 125. Is 35 a factor of z?
False
Suppose -1021 = -3*r - 2*r + 4*i, -3*r + 614 = -i. Let b = r - 100. Is 15 a factor of b?
True
Suppose 2*i = 3*d + 3719, d - 5388 + 14718 = 5*i. Let w = i - 554. Is 39 a factor of w?
False
Let i = 4607 + -1466. Suppose 0 = -4*k + 4*j + i + 2791, -4*k - 5*j = -5950. Does 23 divide k?
False
Let v(g) = g**3 - 100*g**2 - 822*g + 436. Is 44 a factor of v(108)?
True
Let u(d) = -d - 35 + 16 + 26. Is 5 a factor of u(-8)?
True
Let z be (-39)/12*((4 - 2) + 2). Let h be (-11)/(429/(-6)) - (-262)/z. Let t = h - -39. Is t a multiple of 5?
False
Let q(d) = 93*d - 555. Is 13 a factor of q(15)?
False
Let a = 33492 + -23088. Does 102 divide a?
True
Suppose 0 = 3*s - 2*s - 3. Let k be 24/180 - 624/(-45). Suppose 4*y - k = -3*t + 170, 3*y - 141 = -s*t. Is y a multiple of 8?
False
Let q(n) = -2*n**3 + 227*n**2 - 975*n - 101. Does 3 divide q(109)?
False
Suppose -6 - 2 = -2*c. Let i be (-8)/6*(-81)/(-54). Does 3 divide c/8*i + 27?
False
Let m = 72 - 70. Suppose 342 = 3*f - m*v, -3*v + 75 = f - 28. Is 14 a factor of f?
True
Let h(b) = -2*b**2 - 17*b - 13. Let d be h(-4). Suppose -2414 = 6*y - d*y. Is 12 a factor of y?
False
Is 1009323/185 - -1*(-3)/(-15) a multiple of 63?
False
Suppose -35 = 26*w - 21*w. Is 304 - ((4 + w)*-1 + 1) a multiple of 23?
False
Let y(j) = 198*j - 1118. Does 16 divide y(37)?
True
Let w(c) = -342*c - 439. Does 37 divide w(-20)?
True
Let q(u) = -82*u**3 + 3*u**2 - 10*u - 47. Let c be q(-3). Suppose -c = -2*w + 836. Is w a multiple of 51?
True
Suppose 0 = 2*n - 15 + 7. Suppose 0*q = n*q - 20. Suppose q*z = 7*z - 304. Is 19 a factor of z?
True
Let y be (-4)/22 - 0 - 48/(-22). Suppose -y*f = 3*f - 30. Suppose -f*s + 58 = -272. Does 12 divide s?
False
Let o(q) = -2*q**2 - 52*q + 13. Let r be o(-24). Let z = -114 + r. Let i(u) = -50*u - 20. Is 30 a factor of i(z)?
False
Suppose -291*l - 5789 = -284*l. Let k = l + 1246. Does 21 divide k?
False
Does 40 divide (-10022)/5*(-14 + 10)*15/12?
False
Let o(u) = -2 - 3*u**2 - 8 