 be g(6). Suppose 0*n - 58 = -2*n - 2*l, -5*n - l = -k. Is 7 a factor of n?
True
Suppose 5*f + 2*v = 13126, -25*f + 24*f + v + 2621 = 0. Is f a multiple of 16?
True
Let b = 6758 + 1708. Does 51 divide b?
True
Let j(a) = 2*a + 5. Let h be (0 + (-8)/12)/(4/(-12)). Let x be j(h). Suppose -s - x + 26 = 0. Is s a multiple of 17?
True
Suppose -x - 2 = 2*g, -18*x + 14*x + g + 10 = 0. Suppose 6*p = 4*p + 2*c + 628, -922 = -3*p - x*c. Is p a multiple of 22?
False
Suppose -3 = -z, -581 - 428 = -4*g - 3*z. Let t = 7115 + -7197. Let u = g + t. Is u a multiple of 13?
False
Let s = 179 + -174. Suppose s*x - 25 = 0, -p + 11 - 17 = -3*x. Does 8 divide p?
False
Let v = -7459 + 17394. Is v a multiple of 171?
False
Does 12 divide (-21)/(-15) - 1 - 84240/(-150)?
False
Let n(l) be the second derivative of l**4/6 - 11*l**3/2 + 21*l**2/2 - 29*l. Is n(18) a multiple of 75?
True
Suppose 85*i = 3*i - 0*i + 518568. Is i a multiple of 34?
True
Let f be 158/4 - -2*(-8)/(-32). Suppose -f = -5*d + 4*k - 6*k, -d + 31 = 5*k. Is 4 a factor of d?
False
Suppose 0 = 4*l + 3*m - 6*m - 7098, -3540 = -2*l - 3*m. Let h = l - 903. Does 30 divide h?
True
Suppose -44165 = -33*i - 22*i. Is 11 a factor of i?
True
Let o(n) be the second derivative of -239*n**5/20 - n**4/6 + n**3/6 + n**2 + 49*n. Does 19 divide o(-1)?
False
Let j = -426 + 3694. Suppose -21*o + 8140 = j. Is 4 a factor of o?
True
Let s = -10945 + 26855. Is 161 a factor of s?
False
Let s be (-40)/50 + 3063/(-15). Let b = s + 353. Let l = 92 + b. Is l a multiple of 15?
True
Suppose 4*i + 285 = 5*k, 0*i - k - 209 = 3*i. Let j = -66 - i. Suppose -3*o + j*y = -o - 50, 0 = -3*o - y + 47. Does 5 divide o?
False
Let s be (16/1)/4 + 2. Suppose -2*m = s, 0*r - 499 = -5*r - 2*m. Is r a multiple of 28?
False
Suppose 0 = 2*a + 4*n + 8, -7*a = -3*a - 3*n - 39. Suppose 2*z - a + 2 = 0. Suppose -z*g + 6 = -g. Is 3 a factor of g?
True
Let n = -1859 + 1859. Let h(d) = -2*d + 2. Let c be h(-5). Suppose 0*m + m - c = n. Is m a multiple of 6?
True
Suppose -2*m = 4, 3*v - 3*m - 1271 = -428. Is v/3 + (4 - 3) a multiple of 10?
False
Let a(z) = 121*z - 359. Let w be a(3). Let t(p) be the second derivative of 5*p**4/12 + 3*p**3/2 - 7*p**2 + 2*p. Is t(w) a multiple of 33?
False
Suppose 16*v + 9 = 41. Suppose 5*r = -v*a + 1360 + 1204, -a + 2050 = 4*r. Is 61 a factor of r?
False
Let u be -55 - (0 - 0/(-2))/2. Does 10 divide u/4*(-9 - 11)?
False
Suppose 5*p - 61 = -261. Let t = 676 - 595. Let z = p + t. Is 17 a factor of z?
False
Let k(d) = d**3 - 6*d**2 - d - 2. Let q be k(6). Is 105 + (36 + -4)/q a multiple of 4?
False
Suppose 819*w - 807*w - 33132 = 0. Is 117 a factor of w?
False
Suppose 3*v - 5*z + 174 = 0, -7*v - 3*z = -3*v + 232. Let x = v + 48. Is 18 a factor of (-4)/x - 2142/(-70)?
False
Let y be 2/(-1) - (3 + (-2 - -3)). Let w = y - -71. Is w a multiple of 7?
False
Let j(k) = k - 10. Let d be j(0). Let f be d/3*390/(-25). Let o = f + 1. Does 10 divide o?
False
Is 48 a factor of (((-1430)/(-264))/((-30)/(-912)))/((-2)/(-33))?
False
Suppose -9023 = -15*w + 3*w + 10249. Let v(m) = m**2 + 5*m - 2. Let a be v(-5). Is 13 a factor of 2 - (w/(-18) - a/9)?
True
Suppose 6*c - 45 = 5*c. Let k = -47 + c. Is (k - 26*-1)/1 a multiple of 4?
True
Let c(m) = 31*m**2 + 104*m - 1477. Does 82 divide c(14)?
False
Suppose 0 = -0*c - 16*c - 192. Let a(l) = l**2 - 7*l - 2. Let i be a(6). Does 10 divide (c/i)/(3/178)?
False
Let l = -3607 - -7500. Does 17 divide l?
True
Let j(g) = -70*g. Let r be j(-2). Let y = -873 - -828. Let h = y + r. Is h a multiple of 19?
True
Let v = -6696 + 13699. Is v a multiple of 13?
False
Suppose 8*t - 376 = -104. Suppose 0 = -2*k + 86 + t. Suppose -135 = -4*n + 2*n - 5*l, 0 = -n - 4*l + k. Is n a multiple of 10?
True
Is 9759/5 - (-3)/15 a multiple of 8?
True
Is 23 a factor of 14494 - 455/91*(-2 - (-42)/15)?
True
Let o(s) = -83*s + 1180. Is o(10) a multiple of 7?
True
Let o(x) = -3*x**3 + 10*x**2 - 113*x - 30. Does 75 divide o(-12)?
True
Let d(k) = 18*k**2 - 6*k + 16. Let u(v) = 19*v**2 - 6*v + 14. Let s(t) = -3*d(t) + 4*u(t). Let n(p) = p**2 - 11*p + 13. Let r be n(10). Is 46 a factor of s(r)?
False
Suppose 11*k - 50 = k. Suppose 0 = k*y - 6*y - 3*s + 51, y - 66 = 2*s. Is y a multiple of 15?
True
Let v(w) = -13*w**2 - 207*w - 234. Is 58 a factor of v(-14)?
True
Let n = -24298 + 29953. Is n a multiple of 145?
True
Suppose 204 = -5*j + 3*q, 51 = -j + 6*q - 2*q. Let o = -36 - j. Suppose -66 = -o*v - 3*n, -2*n + n = 2*v - 49. Does 3 divide v?
True
Suppose -r = -5*x - 29, 5*x - 10*x = 3*r + 13. Suppose -i - 5*c = r*i - 1250, 5*i = c + 1238. Does 62 divide i?
True
Suppose 195*s - 4*t - 78098 = 193*s, -39040 = -s + 3*t. Is 94 a factor of s?
False
Suppose -24133 = 202*i - 205*i + 4*p, 0 = 5*i + 6*p - 40285. Is i a multiple of 19?
False
Let i(f) = 2*f**3 + 8*f**2 + 90*f + 63. Does 73 divide i(12)?
False
Is 68 a factor of (-4432920)/(-477)*(-12)/(-10)?
True
Suppose 11*h - 9*h = 6. Suppose 0 = -5*p - h*u + 7*u - 65, -4 = p + u. Is p/(-15) + (-322)/(-5) a multiple of 17?
False
Suppose h = -4*k - 59 - 20, 5*k - 4*h + 104 = 0. Let l(z) = -13*z - 46 - z**2 - 10*z + 0. Is 4 a factor of l(k)?
False
Let w(k) = k**3 + 15*k**2 - 10*k - 37. Let x be w(-15). Suppose -3*h - 566 + x = -s, 5*s + 3*h - 2265 = 0. Does 27 divide s?
False
Let i(d) = 336*d**3 - 2*d**2 + 3*d - 4. Let v(u) = 3*u**3 + u**2 + u. Let p(l) = i(l) + 2*v(l). Does 8 divide p(1)?
False
Let r(k) be the second derivative of 25*k**3/6 + 2*k**2 + 10*k. Let o(m) = m**3 - m**2 - m + 6. Let c be o(0). Is 15 a factor of r(c)?
False
Suppose 2*t = -5*k - 461, 5*k - 6*t = -t - 475. Is 15*(k - 2)*2/(-5) a multiple of 15?
True
Suppose 816 = 43*h - 41*h. Is (4 + h/30)*70/4 a multiple of 16?
False
Let l(s) = -12*s - 11. Let z be l(-3). Let q = -21 + z. Suppose -222 = -3*v + 3*p, q*v + 0*p - 293 = p. Is v a multiple of 10?
False
Suppose 71*g + 48 = 73*g. Is 16 a factor of 7/(56/g) + 1181?
True
Suppose 0 = 2*m - 15 + 29. Let k be -2 + 0 - (2 - m). Let z = 12 - k. Is 10 a factor of z?
False
Let x(o) = -50*o**3 - 2 + 49*o**3 - 12*o + 6 - 15*o**2 + 15. Let s be x(-14). Is 14 a factor of (-389)/s + -1 - (-74)/(-333)?
True
Let p be (-33 - -1)*((-48)/3 - -5). Suppose -7*s = -3*s + n - 739, 2*s + 4*n - p = 0. Does 6 divide s?
True
Does 26 divide 113265/(-72)*-2 + 5/(-20)?
True
Let s(v) = -v + 5. Let w be s(6). Let q be ((-1)/w - (4 + -3)) + 3. Suppose -40 = -q*o - o. Is 2 a factor of o?
True
Let k be (-1*149)/(6 + 510/(-84)). Suppose -16*b + k = -1498. Is 16 a factor of b?
True
Let d be 2 + 2/6 + 98/3. Is 8 a factor of 5*(7728/d)/3?
True
Suppose 35*a - 26930 - 36770 = 0. Is 65 a factor of a?
True
Let b be 149/(-2) - 2 - 3/2. Let n = b + 81. Does 40 divide (14 - n)*(20 + 1)?
False
Suppose -5*j = -28*j + 3105. Let r = j + -16. Is r a multiple of 17?
True
Suppose -8*l + 110 = 5*s - 10*l, 5*s - 3*l = 110. Suppose -s*u - 76 = -24*u. Does 23 divide u?
False
Let p(x) = 6*x**2 - 143*x - 238. Is p(-34) a multiple of 40?
True
Let c(d) = d + 31. Let f = -214 - -221. Is c(f) a multiple of 7?
False
Let n = -56 - -51. Let r be 7/2*(195/35 + n). Does 5 divide (4/r)/(2/28)?
False
Let a(r) = -2*r**3 - 19*r**2 + 30*r + 21. Let g be a(-16). Suppose -3*z + g = 2*w + 3*w, -2*w = -5*z - 1129. Is w a multiple of 44?
True
Let y(u) = -2*u - 31. Let d(b) = -3*b - 62. Let n(r) = 2*d(r) - 5*y(r). Does 15 divide n(0)?
False
Suppose -62073 + 106505 = 144*r - 99424. Is 27 a factor of r?
True
Let t(z) = 48*z**2 + 2*z + 1. Let q be -2*(3/(-6))/(-1) - 1. Let u = q + 0. Does 27 divide t(u)?
True
Suppose 2*m = -5*i + 46 + 25, 0 = 2*i + 3*m - 35. Suppose 4*b = i*b - 702. Is b a multiple of 39?
True
Let y be (-16)/72 - (-1)/((-18)/23432). Let g = -798 - y. Is 50 a factor of g?
False
Let d be -4 - (-47)/(-5) - 2/(-5). Let f(g) = g**2 + 14*g + 31. Is f(d) a multiple of 9?
True
Suppose -2*y + 5*x = -33, 3*x + 4 = -11. Suppose 0 = 2*b - y*d + 7 + 13, -25 = -3*b - 5*d. Suppose -2*q - i = -b*q - 220, -4*i = 3*q - 320. Is 8 a factor of q?
True
Let b = 18114 + -674. Is b a multiple of 40?
True
Let x(q) = q**3 + 59*q**2 - 2*q - 56. Is 7 a factor of x(19)?
False
Suppose -5*r + 12 = 3*p, -4*r + p + 0 - 4 = 0. Suppose 4 + r = h. Suppose 7*b - h*b - 183 = 0. Is b a multiple of 11?
False
Let d(v) = -5*v - 15. Let s be d(-4). Suppose 7*h = s*h + 6. Does 22 divide 3619/