 + -6 + 3/(-3). Suppose 0 = 3*k - o*r - 1119, 3*k - 1120 = 3*r + r. Does 7 divide k?
False
Let g = -4470 - -6859. Suppose 5*q + b + 485 = 6*q, -g = -5*q - 4*b. Is q a multiple of 17?
False
Let k(c) = 5*c**3 - 3*c**2 + c - 2. Let s be k(2). Let w be s/3*(-6750)/(-175). Suppose -a + w = 2*a. Is a a multiple of 30?
True
Let q(t) = 523*t + 35. Let o(s) = 131*s + 9. Let d(g) = -9*o(g) + 2*q(g). Let y be d(-9). Suppose y + 50 = 12*v. Is v a multiple of 23?
False
Let v(x) = x**3 + 9*x**2 + 12*x + 28. Let n be v(-8). Suppose 49 + 271 = -5*m. Does 6 divide ((-6)/n)/((-12)/m)?
False
Does 20 divide (150 - 0)*(-23940)/(-280)?
False
Let i be 2/(-10) - (-84)/(-105). Is 33 a factor of 6 + i + -3 - (-407 - -12)?
False
Let g be (8 + 0 + 0)/(174/10701). Let x = g - 337. Is 31 a factor of x?
True
Suppose -6*i + 13*i = 28. Suppose -5*x + 3*h = -345, -2*x + i*x = 2*h + 134. Does 18 divide x?
True
Let i be 1 - -7 - (-34)/(-17). Suppose -2*o + 4*k + 630 = 0, -i*o + 5*k + 1575 = -o. Is o a multiple of 45?
True
Suppose 2*x = -70*d + 65*d + 9064, -4*d = -2*x + 8992. Does 47 divide x?
True
Suppose -11*y - 3*y + 96178 = 5*y. Is 21 a factor of y?
False
Let w = 500 - 497. Let d(a) = 18*a**3 + 3*a**2 - 5*a + 2. Does 20 divide d(w)?
True
Suppose 0 = 2168*o - 2160*o - 1320. Let g(m) = m**3 - 5*m**2 + 5*m - 1. Let r be g(4). Suppose -5*w - j + 2*j + 251 = 0, -3*j + o = r*w. Is 12 a factor of w?
False
Suppose -43*u - 297*u = 65*u - 14904000. Is u a multiple of 50?
True
Let t = -317 - -316. Is 18 a factor of (-6 - -7)*(-108)/t?
True
Let k(t) = t + 28. Let d be k(-18). Suppose d = 3*l + 4*w, -l - 5*w + 3 = -4*w. Suppose v - 168 = -3*n - l*v, -4 = v. Is 15 a factor of n?
True
Suppose v + 5*h - 7115 = 0, 8*v - 10*v = 5*h - 14235. Is v a multiple of 40?
True
Is 14 a factor of (-1443852)/(-29)*(0 + 12/16)?
False
Let l(i) = -106*i**3 - i**2 - 27*i - 144. Is l(-4) a multiple of 9?
True
Let y = 2127 - 1240. Let o = y - -93. Is o a multiple of 28?
True
Suppose 44 = -3*h - 691. Let i = -174 - h. Is 26 a factor of i?
False
Let l be (-5)/(50/(-5)) + (-6)/4. Let k(c) be the first derivative of -71*c**2 + 4*c + 19. Is k(l) a multiple of 33?
False
Suppose -187*d + 191*d + 24 = 0. Does 9 divide ((-223)/d)/((-53)/(-318))?
False
Does 28 divide (140/(-9 + 4))/((-4)/5672)?
True
Suppose 4*z - 3*z - 74 = v, -4*v - 311 = z. Is 64 a factor of 7/v + 53830/77?
False
Let x = 5785 - 1569. Is 34 a factor of x?
True
Suppose -12*x + 18 = -14*x. Let j be 133/x - (-2)/(-9). Let f = j - -26. Does 8 divide f?
False
Let d(t) = -3*t + 9. Let s = -27 + 29. Let h be d(s). Suppose -o - 174 = -5*z - 0*o, 148 = 4*z - h*o. Does 17 divide z?
True
Let d = -2505 - -5792. Is 59 a factor of d?
False
Suppose -4*x + 20766 + 17166 = 4*l, -2*x = -2*l - 18986. Is 8 a factor of x?
True
Let r(s) = 21*s**2 + 60*s + 800. Is r(-44) a multiple of 47?
False
Let i(v) = 13*v + 4. Suppose -3*j + 65 = 2*j. Suppose j*u - 17*u = -20. Does 23 divide i(u)?
True
Let p(q) = -50*q - 348. Let i be p(-7). Suppose -5*z + i*h = -1431, 0 = z + h - 413 + 131. Is 57 a factor of z?
True
Let i(w) = 838*w - 5782. Is 34 a factor of i(14)?
True
Let k(m) = -383*m**3 + m**2 - 1. Let u be k(-1). Let j = u + -219. Let b = j - 10. Does 22 divide b?
True
Let u(l) = -l**3 + 13*l**2 - 66. Let h be u(0). Is 6 a factor of 2*288*(-44)/h?
True
Let k(l) = -3*l - 18*l + 44*l - 28 - 8 - 7. Is 11 a factor of k(12)?
False
Suppose 3*v = 2*j + 1335 - 7605, 0 = -5*j - 3*v + 15633. Is 149 a factor of j?
True
Let n = -11564 - -24535. Does 12 divide n?
False
Does 11 divide (-5)/(315/6) + (-47)/(1974/(-244696))?
False
Let f(g) = -g**3 + 6*g**2 + 9*g - 12. Let l be f(7). Let q(m) = -3*m**3 + 165*m**l - 2*m - m**3 - 168*m**2. Is q(-2) a multiple of 3?
True
Suppose -17*m + 21*m - 4*n = 8696, -m + 4*n + 2186 = 0. Does 20 divide m?
False
Let s(y) = -y**3 - 31*y**2 + 27*y + 9. Let r be s(-32). Suppose -487 = -4*w + 3*l, -r = -3*w - l + 180. Is w a multiple of 2?
True
Let t be (-227)/9 - 6/(-27). Let o = 1458 - 1477. Let v = o - t. Does 3 divide v?
True
Let k = -4357 + 5545. Does 4 divide k?
True
Let p(v) = v**2 + 11*v - 112. Let q be p(7). Suppose 655 = q*y - 577. Is 11 a factor of y?
True
Let s be 8/20 + 1840/25. Suppose -38*p + s = -36*p. Does 2 divide p?
False
Suppose 29*r - 228365 = 229690. Does 14 divide r?
False
Let m(d) = d**2 - 2*d - 140. Let p be m(14). Let b(h) = 19*h - 324. Is b(p) a multiple of 46?
False
Let r(q) = 2*q**3 + 2. Let k(z) = -13*z**3 - 3*z**2 + 2*z - 17. Let t(h) = -k(h) - 3*r(h). Is t(3) a multiple of 13?
True
Is 32 a factor of ((-1)/(-3))/(-1) + 215140/30?
False
Suppose -2*a - b - 930 = 0, 18*a - 17*a - 3*b = -451. Let m = -78 - a. Does 70 divide m?
False
Suppose 5 = -t, -g - 3*t = g - 33. Let m be 12/g*(-22)/(-1). Suppose -16*v = -m*v - 1050. Is v a multiple of 35?
True
Let a(g) = 11*g + 333. Let m(u) = 11*u + 333. Let n(r) = 6*a(r) - 5*m(r). Is n(0) a multiple of 37?
True
Let x = -100 - -105. Suppose -x*a = -f + 123, -1 - 9 = -5*a. Is 19 a factor of f?
True
Let z(n) be the third derivative of 3*n**5/5 - n**4/6 + 4*n**3/3 - 4*n**2. Let h(v) = 53*v + 109. Let p be h(-2). Is z(p) a multiple of 16?
True
Let o = -1831 - -1980. Is 66 a factor of o?
False
Suppose 26891 + 27697 = 9*p + 17508. Is p a multiple of 40?
True
Suppose -363 = 5*o - 2*f, 4*f - f + 295 = -4*o. Let s = -77 - o. Is s/28*12*(1 - 8) a multiple of 3?
True
Suppose 90*t = 652961 + 203389. Does 72 divide t?
False
Let n(r) = -49*r. Let k be n(-4). Let p = -496 - -832. Let l = p - k. Is 20 a factor of l?
True
Suppose 0 = t - 2 - 3. Let k(c) be the third derivative of 13*c**4/24 + 5*c**3/2 + 127*c**2. Is 13 a factor of k(t)?
False
Let u(m) = -m**2 - 10*m - 8. Let b be u(-6). Suppose 2*l - 30 + b = 0. Does 2 divide l?
False
Does 96 divide (-2 + -8)/((-4)/556 - 0/(-10))?
False
Let a(s) = 102*s**2 - 56*s + 124. Does 4 divide a(2)?
True
Let h(t) = 9*t**2 - 5*t - 219. Let c be h(-13). Suppose -7*q = -c - 75. Is 4 a factor of q?
False
Is 8 a factor of (-13)/(1989/(-639625)) + (-8)/(-18)?
False
Let t = -428 - -640. Suppose 658 = 3*i + 4*m, i - t = -10*m + 5*m. Is i a multiple of 39?
False
Suppose 22548 = -39*q - 62979. Let t = -1313 - q. Is 16 a factor of t?
True
Let s be ((-1)/3)/((-4)/(-12)). Let u be s*-5*(-12)/30. Is 2596/20 + u/(-10) a multiple of 29?
False
Suppose -2*v + 36 + 1530 = 0. Let i = 390 + v. Is 51 a factor of i?
True
Let a(x) be the second derivative of 9/2*x**2 + 109/6*x**3 + 0 - 10*x. Is a(1) a multiple of 11?
False
Let w(j) = -j**3 + 38*j**2 + 5. Let y be w(38). Suppose 5*b + 8*m = 4*m + 7564, -5*m + y = 0. Is 84 a factor of b?
True
Suppose -166 - 374 = 3*c. Let s = c - -93. Let u = 164 + s. Does 11 divide u?
True
Let g(t) = -6*t**2 - 105*t + 58. Let c be g(-18). Suppose -c*n + 6131 + 1205 = 0. Does 14 divide n?
True
Let h(a) = 3*a - 129. Let i(k) = -3*k. Let m(y) = -h(y) - 3*i(y). Is 15 a factor of m(16)?
True
Let z(v) = v**3 + 10*v**2 + 6*v - 5. Let f be z(-10). Let r be (-39988)/f - (-1)/(-5). Suppose -4*i - 3*b + 785 = -8*b, 3*i = -5*b + r. Is 25 a factor of i?
True
Let j be 0/(40/15 + 4/(-6)). Suppose 2*b + 23 = 5*c, -1 = -b - j*b. Let u(f) = f**3 - 3*f**2 - 6*f - 4. Does 4 divide u(c)?
True
Let w = -498 - -498. Suppose -13*k + 928 + 1321 = w. Is k a multiple of 27?
False
Let d = 30753 + -29360. Does 5 divide d?
False
Let l(c) = -c**3 - 11*c**2 + 6*c - 12. Suppose 5*s = s. Let j = s - 12. Does 10 divide l(j)?
True
Let g(d) = -15*d - 63. Let i be g(-5). Let p(r) = -6*r**2 + 51*r - 13. Let f(z) = -3*z**2 + 26*z - 6. Let u(j) = -5*f(j) + 2*p(j). Is u(i) a multiple of 20?
True
Suppose -1280239 - 2053424 = -111*k. Is k a multiple of 141?
True
Suppose -48535 + 391 = -4*q. Does 102 divide q?
True
Suppose 0 = -5*c + 10, -2*q = 4*c + 20 - 34. Suppose -q*h - 117 + 567 = 0. Is h a multiple of 15?
True
Suppose 0 = -12*n - 84 + 240. Suppose -n*w = -158 - 154. Is w a multiple of 6?
True
Is (-39)/(-1 + -12) + 2202 a multiple of 147?
True
Let u(c) = 7*c + 19. Let k be u(-4). Is k/2 - -3 - (-314)/4 a multiple of 11?
True
Let o(v) = -6*v**2 + 19*v + 48. Let n(t) = -13*t**2 + 39*t + 98. Let b(z) = 4*n(z) - 9*o(z). Is 30 a factor of b(14)?
False
Suppose -3*y + 8500 = 3*i + 199, 3*y + 6 = 0. Does 14 divide i?
False
Let h = 1526 + -923. Suppose 2*j - 4*j + o + h = 0, 0 = -5*j + 4*o + 1512. Does 48 divide 