 Suppose 0 = -l*v - 2*v - 3*w + 982, -4*v - 3*w = -785. Does 78 divide v?
False
Let z be (11 - 5)/((-4)/(-212)). Suppose z*v = 313*v + 65. Is v a multiple of 6?
False
Suppose -3*n + 5*r = -19, 5*r + 25 + 0 = 5*n. Suppose 800 + 373 = n*k + 3*h, 0 = -2*h + 2. Does 39 divide k?
True
Suppose 12 = 4*y, -43*v + 42*v + 23097 = -y. Is 18 a factor of v?
False
Let v(d) = 1324*d + 7951. Is 13 a factor of v(43)?
True
Let o = 7355 - 6714. Does 3 divide o?
False
Is 2 + (-3)/((-3)/14764) - 196/28 a multiple of 15?
False
Let k(c) = -6*c**3 + 2*c**2 - 4*c - 54. Let t be k(-6). Let n = t - 821. Does 11 divide n?
True
Let o(g) = -g**2 + 5*g - 4. Let f be o(3). Let w be (0/2*(0 + -7)/21)/1. Suppose 0 = f*u - w*i + 4*i - 428, 0 = 3*u - i - 663. Is 13 a factor of u?
False
Let s be -1 + (-85)/(3 - 2). Let a(o) = o**2 + 21*o + 208. Let v be a(-10). Let j = v + s. Is j a multiple of 12?
True
Let h = 11 + -13. Let b be (-4)/h + (-2 - -155). Let s = -21 + b. Is 42 a factor of s?
False
Let l(g) = -9*g**3 - 8*g**2 + 17*g + 54. Let t be l(-4). Let s = -330 + t. Is s a multiple of 4?
True
Suppose -3*x + 40290 = 3*w, -53716 = -4*x - 8*w + 6*w. Suppose x = 17*t - 17053. Is 32 a factor of t?
False
Let z(o) = 5*o + 18. Let s be z(-3). Suppose -19 = -b - 3*w, -s*w + 1 = -2*w. Let m(a) = -a**2 + 19*a - 28. Does 4 divide m(b)?
True
Suppose -c = -4*c + 12. Let i(r) = -7*r**2 + 13*r - 25. Let p(j) = 37*j**2 - 67*j + 131. Let b(o) = 21*i(o) + 4*p(o). Is 19 a factor of b(c)?
False
Let r(i) = -73*i - 390. Suppose 13*k - 18*k - 64 = -2*s, s = 5*k + 62. Does 54 divide r(k)?
True
Let r(t) = -t**2 + 2*t + 14. Let q be r(0). Let c be (-4)/q*1 + (-5746)/(-119). Suppose c = 8*s - 6*s. Does 3 divide s?
True
Let a(p) = 9*p**2 - 4*p - 2. Let b be a(-1). Suppose 3*h + 12 = 0, -3372 = -b*y + 9*y + 2*h. Is y a multiple of 68?
False
Suppose 2*t + 60532 = 3*w - 108290, 5*t - 112548 = -2*w. Does 249 divide w?
True
Suppose 0 = -100*k - 13*k + 629749. Is 41 a factor of k?
False
Let x(c) = -334*c - 1263. Does 67 divide x(-10)?
True
Is 59105 + -25*14/70 a multiple of 25?
True
Let v be 6/(-22) + (-127740)/(-110). Let q = v - 547. Is 9 a factor of q?
False
Let n = -170 - -4370. Is n a multiple of 20?
True
Let g = -10 + 17. Let m be 36/g*(-28)/(-8). Let o = m - 10. Does 4 divide o?
True
Let j(n) = 8*n + 5*n**2 - 4*n + 54 + n. Let r(z) = -2*z**2 - 2*z - 18. Let v(y) = -3*j(y) - 8*r(y). Is 15 a factor of v(-8)?
False
Suppose 10 = -55*l + 53*l. Is (-10 - -7) + 384 - (-1 - l) a multiple of 14?
False
Let k(z) be the third derivative of z**6/120 - z**4/8 + 173*z**3/6 - 102*z**2. Is k(0) a multiple of 20?
False
Suppose -q = -4, v + 3*q - 8031 = 2909. Is 8 a factor of v?
True
Suppose -7*s + 3*s = -5*o - 47, -3*s = 3*o - 69. Suppose -90 = 15*a - s*a. Suppose -60 = -4*y - 2*m, 3*y - 4*m + a = 5*y. Is y a multiple of 5?
True
Suppose -4*o = 4*x - 660, 2*o - 154 - 172 = -4*x. Let i be o + (-7)/((-28)/(-12)). Suppose -l = -35 - i. Is l a multiple of 12?
False
Let g = -34534 - -56340. Is 28 a factor of g?
False
Let z(p) = -p**3 - 8*p**2 + 14*p + 33. Let i(x) = x**2 - 39*x - 12. Let b be i(39). Is z(b) a multiple of 7?
True
Is 2268/(-3780) + (0/2 - 528746/(-10)) a multiple of 60?
False
Suppose 0 = 8*r + p - 1310, 3*r = -77*p + 73*p + 513. Does 8 divide r?
False
Let i be 2 + 18/3 - 2. Suppose -i*t + 7*t - 976 = 0. Does 16 divide t/(-6)*(-15)/10?
False
Suppose 8*l - 4*g = 3*l + 5687, l + g = 1132. Is l a multiple of 26?
False
Suppose -4335 = -r - u, 2*r + 4537 - 13202 = -3*u. Does 35 divide r?
True
Let i = -11517 + 20631. Is 10 a factor of i?
False
Let h be (28/70)/(((-6)/(-10))/3). Suppose 2*s + h*s = -8, 3*s - 54 = -q. Is q a multiple of 15?
True
Suppose -3*p - p = k - 3436, 4*k - 16 = 0. Does 39 divide p?
True
Let l be (-2 - (-16)/3)*(-24)/(-10). Suppose -10*k + 576 = l*k. Is 4 a factor of k?
True
Suppose 53 = -2*h + 55*h. Let y(m) = -3*m**2 + 1 + 139*m**3 + 1 - 3*m + 4*m**2. Is y(h) a multiple of 14?
False
Suppose -14280 = k - 17*k - k. Is 70 a factor of k?
True
Let a(h) = -h**2 + 14*h + 3. Suppose -y = -0*j - 4*j + 51, -5*j + 50 = -4*y. Let o be a(j). Suppose 2*g + 42 = o*x - 32, 0 = 3*g + 3. Does 12 divide x?
True
Suppose -937*m + 985*m - 2245872 = 0. Does 14 divide m?
False
Suppose -x = 5*y - 48, y - 3*x = -0*y. Suppose -y*r = 49 - 328. Does 31 divide r?
True
Let l = -83901 + 142449. Is 246 a factor of l?
True
Suppose 185*k = -176*k + 1732439. Is k a multiple of 16?
False
Let z = 141 - 135. Let y(l) = 161*l - 267. Is y(z) a multiple of 69?
False
Let c(g) = -4*g**3 + 19*g**2 - 3*g + 54. Let t(r) = -3*r**3 + 18*r**2 - 4*r + 53. Let u(l) = 2*c(l) - 3*t(l). Is 15 a factor of u(16)?
True
Does 42 divide 2532280/8850 + 4/(-30)?
False
Suppose 348*z - 353*z = 5*l - 29720, -11864 = -2*l + 2*z. Is 10 a factor of l?
False
Let x = -796 - -799. Suppose r - 5*k - 1275 = 0, -k + 3792 = x*r - 5*k. Is 12 a factor of r?
True
Suppose -5*a + 3*c + 22407 = 0, -4*c - 15195 - 7206 = -5*a. Is a a multiple of 39?
True
Suppose 22*y - 260 = 17*y. Let n = y - 44. Suppose 2 = -3*l + n. Is 2 a factor of l?
True
Let g = -6066 + 10477. Is 9 a factor of g?
False
Let t(c) = c**3 + 38*c**2 - 27*c - 60. Let l be t(-20). Suppose 0 = -7*m - 8*m + l. Is m a multiple of 58?
False
Let l = 26389 - 18720. Is l a multiple of 28?
False
Let p(f) = -8*f**2 + 0*f**3 + f**3 - 179 + 18*f + 354 - 178. Does 24 divide p(11)?
False
Let p = 9 - -64. Suppose -4*c - f + 27 = -2*c, -p = -5*c + 3*f. Suppose 4*w - 162 = c. Does 22 divide w?
True
Does 9 divide (2 + 11/(-4))/(310/(-1285880))?
False
Suppose -4*w + 2*b = -w - 17, 5*w - 28 = 3*b. Suppose -3*g = 2*y - y - 12, -w*y + 3 = -4*g. Is -4 - y*104/(-12) a multiple of 22?
True
Suppose 0 = 48*x - 8*x - 440. Let t(q) = -q + 44. Let a be t(0). Is 20 a factor of ((a/(-8))/x)/(2/(-208))?
False
Suppose 15*r = 3*r + 72. Suppose 0 = 2*a + r - 2, 1132 = 2*g + 4*a. Is 19 a factor of g?
True
Let i(y) = -4*y - 7. Let o be i(-2). Let c be (-2 - o*-9)*8/28. Is 3 a factor of (-9 - -8) + 26/c?
True
Suppose 199*c - 200*c = s - 64340, s = -4*c + 64367. Is 50 a factor of s?
False
Let u be -2 + -68*2*1/(-2). Suppose 0 = -3*x + x - 36. Let w = x + u. Does 16 divide w?
True
Is 5 a factor of 3/((-252)/(-495) - (-6)/(-12))?
True
Let b = 63513 + -17082. Is 33 a factor of b?
True
Let z(a) = -a**3 + 45*a**2 + 226*a - 48. Is 63 a factor of z(39)?
True
Let c(s) = 2*s**3 + 2*s**2 + 108*s + 4374. Is 2 a factor of c(0)?
True
Suppose -3*b + 1 = 5*m - 0*b, 3*m - 2*b + 7 = 0. Let n be (0/(-2) - m)*252/4. Suppose -n = -5*d + 2. Is d a multiple of 13?
True
Suppose 1479*o - 1484*o + 2*p + 848 = 0, -4*o + 3*p + 684 = 0. Is 8 a factor of o?
True
Let h = 3193 - 1033. Does 18 divide h?
True
Let i = -110 + 159. Suppose -i*h - 873 = -52*h. Is 40 a factor of h?
False
Let l(b) = 24*b**2 - 14*b - 4. Let w(a) = -25*a**2 + 13*a + 5. Let x(f) = -6*l(f) - 7*w(f). Is x(-3) a multiple of 9?
False
Let x = 557 - 538. Suppose -29*d + 300 = -x*d. Is 6 a factor of d?
True
Suppose -133*b + 128*b + 10 = 0. Suppose -816 = b*p + 422. Let w = -421 - p. Is 10 a factor of w?
False
Let d be 10/((-30)/(-19))*-48. Suppose -1689 = -4*w + 87. Let f = d + w. Does 35 divide f?
True
Suppose -5*u + 3*x + 5175 = 0, 5*u + 2*x - 5195 = x. Is 28 a factor of (3/6)/(1/u)?
False
Let h(d) be the second derivative of d**4/3 - 23*d**3/6 + 3*d**2 + d + 50. Does 41 divide h(9)?
True
Suppose 104*v + 47*v - 204259 = 525373. Is v a multiple of 16?
True
Suppose 4560 - 780 = 5*n - a, 3*n + 3*a = 2286. Let b = n - 220. Is b a multiple of 14?
False
Suppose 24*p - 87*p = 45*p - 895212. Is 30 a factor of p?
False
Let v = -1509 - -2525. Is v a multiple of 4?
True
Let j(s) = 23*s**2 - 23*s + 286. Does 22 divide j(11)?
True
Suppose 457*k - 436*k = 23520. Is 56 a factor of k?
True
Suppose -332*y = -326*y - 3564. Let f = -465 + y. Is 43 a factor of f?
True
Let u(s) = 351*s**2 - 319*s - 74. Is u(-13) a multiple of 14?
True
Let b = 78 + 622. Let x = -325 + b. Does 63 divide x?
False
Let i(s) = s**3 - 15*s**2 + 28*s - 20. Suppose -12*o - 2*k + 19 = -11*o, -4*o + 2*k + 46 = 0. Is i(o) a multiple of 3?
True
Let t = -76 + 75. Let r be t - -1 - (-7 + 4). Suppose 0 = -3*h - d + 65, -r*h + 4*d + 63 = -7. Is h a multiple of 9?
False
Let h be 1/2 - 8/16 - -240. Suppose -10*n + 12*n - h = 0. Is n a multiple of 10?
True
Let h(r) = -