(-26) a multiple of 8?
True
Suppose -3962 - 40 = -2*b + 2*y, 0 = b + 5*y - 2007. Does 14 divide b?
True
Let u(j) = j**2 - 2. Let a(f) = -2*f**2 - 14*f - 42. Let s(o) = a(o) + 4*u(o). Does 14 divide s(19)?
True
Let o(l) = l**2 + 13*l - 9. Suppose 0*x + 42 = -3*x. Let b be o(x). Suppose -2*u + 5*q + 197 = 0, -b*u + q + 412 + 115 = 0. Is u a multiple of 10?
False
Suppose 0*q + 9*q = 24376 - 454. Is 51 a factor of q?
False
Let t(m) = m**3 - 3*m**2 + 3*m - 4. Let g be t(2). Let n(s) = -s**3 - 4*s**2 - 2*s - 2. Let y be n(g). Let f(w) = -12*w - 21. Does 13 divide f(y)?
False
Suppose -2*k - 4 = 3*s + 2*k, k + 1 = -5*s. Suppose 2*x - 730 = 2*i + i, s = 3*i - 12. Let z = x + -248. Does 14 divide z?
False
Suppose -3*q - 2114 = -4*j, 582 = j - q + 54. Does 18 divide ((-11)/((-110)/(-8)))/((-2)/j)?
False
Suppose -5447 - 15953 = -20*f. Suppose -2*n = 3*n - q - f, -n + 2*q + 205 = 0. Is 19 a factor of n?
False
Let l = -1 - -1. Let q(a) = a + 1. Let w be q(13). Suppose l*f = f - w. Is f a multiple of 5?
False
Let q be 4 + (7 - 7/1). Suppose -4*n - 611 = -b - 1928, 2*n = q*b + 676. Is n a multiple of 41?
True
Suppose -137*b + 1323738 + 1100614 = 0. Does 16 divide b?
True
Let t = 62 - 50. Let v(s) = -16*s**3 - 1. Let h be v(-1). Suppose -t*p + h*p - 63 = 0. Is 21 a factor of p?
True
Let h(p) = 3*p**2 - 33*p - 18. Suppose -4*u + 4 = 0, -u - 3 = 4*x - 4*u. Suppose 4*g - 68 = -3*v, 2*g + 3*v - v - 36 = x. Is h(g) a multiple of 21?
False
Let j be 8 - (-2041 + (-18)/(-6)). Suppose 2*h - j + 392 = 4*i, 4*h + 4*i = 3296. Is h a multiple of 33?
True
Let i = 517 - 241. Suppose -i - 404 = -5*m. Is m a multiple of 17?
True
Suppose -i + 1028 = -5*j - 820, 3718 = 2*i + j. Does 44 divide i?
False
Suppose 18*t = 20*t - 52*t + 1247550. Does 291 divide t?
False
Let i = 106 - -75. Suppose -i = -3*u + 440. Is 11 a factor of u?
False
Let i(d) = -d**3 + 29*d**2 - 30*d + 62. Let v be i(28). Suppose -2*c = -4*p + 198, 0 = -v*p + 2*p + c + 201. Is 3 a factor of p?
True
Let l be (32/24)/(14/(-8967)). Does 2 divide (-732)/l + (-1416)/(-14)?
True
Let d(p) = -470*p - 3818. Is d(-23) a multiple of 27?
False
Suppose 35123 = 77*d + 27040 - 32804. Is 3 a factor of d?
True
Let y(n) = -4*n - 3. Let h be y(-2). Suppose -h*s + 567 = 3*j, -4*s = -9*j + 6*j + 540. Does 25 divide j?
False
Let x(w) = 64*w**2 + 4*w + 5. Let f be x(-1). Suppose 3*n - 12 - 27 = 4*y, -5*y = 5*n - f. Does 7 divide n?
False
Let q(p) = 14*p - 5. Let y(j) = -j**3 + 4*j**2 + 6*j - 3. Let v be y(5). Let b(f) = 57*f - 19. Let k(c) = v*b(c) - 9*q(c). Is k(-6) a multiple of 12?
False
Let b(f) be the second derivative of -5*f**3/3 - 17*f**2 + 3*f + 71. Suppose -3*j = -6*j - 21. Is 12 a factor of b(j)?
True
Let b be 8/(-14) - (-54)/21. Suppose -3*x - 5*j = -j - 2044, -5*x + b*j + 3398 = 0. Is 85 a factor of x?
True
Let d(r) = -r**3 + 45*r**2 + 30*r - 5. Is 49 a factor of d(25)?
False
Let q(k) = -18*k**3 + 7*k**2 + 15*k + 3. Let l = 410 - 412. Is q(l) a multiple of 29?
True
Suppose -4*p = 2*p - 6. Suppose 0 = w - 5 - p. Suppose -9*d + w*d = -99. Is 11 a factor of d?
True
Let l be (354/12 - -5)/((-1)/(-14)). Suppose z = 4*z - l. Suppose -3*x + 130 + z = 0. Does 12 divide x?
False
Let d(g) = 10050*g**3 - 456*g**2 + 457*g. Does 23 divide d(1)?
True
Suppose -4*s + f + 220182 = 0, -92*f = -3*s - 93*f + 165126. Is s a multiple of 11?
True
Is (-6)/3 + (61 - -18087 - (13 - 2)) a multiple of 31?
True
Let i be (-3)/(2*(-2)/8). Let j be (-8)/i*(90/8)/(-3). Is 3/5 - (-1 - 147/j) a multiple of 31?
True
Suppose 23*i + 11*i = -17*i + 46155. Is 95 a factor of i?
False
Suppose 379*s - 1013904 = 307*s. Is s a multiple of 78?
False
Let o(t) = 2*t + 24. Let f be o(-9). Suppose -4*a + 390 = f*l - l, -4*a = 0. Let s = l + -36. Does 21 divide s?
True
Suppose 3*u + 4*g = -178, -3*g + 15 + 0 = 0. Is 15*-6*(-1)/(-10)*u a multiple of 35?
False
Let n(p) = 70*p**2 - 124*p - 996. Is n(-9) a multiple of 30?
True
Let g(t) = -738*t - 6. Let v be g(-1). Does 9 divide v/(-15)*(-2 - 11/2)?
False
Let o be (-5 - 0)*(-421 - -3 - 2). Suppose -5*d = -0*d + 2*i - o, i = -4*d + 1677. Let p = d - 223. Is 39 a factor of p?
True
Let a = 9526 + 12362. Is a a multiple of 152?
True
Let o(b) = -140*b + 75. Does 15 divide o(-26)?
False
Let d = -335 - -375. Suppose v = 3*v - 16. Suppose -v*o + 3*o = -d. Is 2 a factor of o?
True
Let o(c) = 37*c**2 - 11*c + 10. Let v be o(1). Does 27 divide (-10)/2 + (-12)/(v/(-825))?
True
Let j(p) = -32*p + 4788. Let r be j(0). Suppose -r = -5*d - 9*d. Is d a multiple of 19?
True
Let u be 2*(-3)/(36/(-6954)). Suppose -u = -24*o + 5*o. Is 6 a factor of o?
False
Let d = 71 - 69. Suppose d*l + 2 + 4 = 0, -2*z - 5*l = 131. Let f = 120 + z. Is f a multiple of 11?
False
Suppose 85 - 15 = 5*n. Suppose -4*r - 2 = -n, 5*r = -2*m + 169. Let w = m - 55. Is 4 a factor of w?
False
Let d be 6/(-21) + -541*4/(-28). Suppose -2*i = -x - 70, 5*i - 122 = -x + 39. Let f = i + d. Does 22 divide f?
True
Let v(r) = -5*r**3 + 3*r + 6 + 2*r - 1 - r**2. Let n(q) = -10*q**3 - 3*q**2 + 11*q + 11. Let g(b) = -4*n(b) + 9*v(b). Is g(-2) a multiple of 16?
False
Let t be 479/(-2) + (-1)/2. Let p be ((-3)/27)/((-3)/9423). Let y = p + t. Is 29 a factor of y?
False
Let p be (-4)/((-13)/((-195)/20)). Is 13 a factor of 4/p - 1058/(-6)?
False
Let s(v) = 77*v + 725. Let m(i) = -26*i - 242. Let b(r) = 7*m(r) + 2*s(r). Is 22 a factor of b(-15)?
True
Let v = 2520 - 2230. Does 30 divide v?
False
Let c(z) = 19*z**2 - 254*z + 2784. Is 16 a factor of c(12)?
False
Let b be (-1545)/(-57) - 6/57. Suppose 0 = 4*m - 5*u + 2*u + b, m + 2*u - 7 = 0. Let k(a) = -83*a + 1. Does 45 divide k(m)?
False
Let q(u) = u**3 + 5*u**2 - 8*u + 23. Let t = 26 - 21. Let m(i) = i**2 - 4*i - 11. Let l be m(t). Is 35 a factor of q(l)?
True
Is (173 - 183)*3048/(-5) a multiple of 15?
False
Let i(x) = 2*x**3 - x**2 - 3*x - 1. Let r be i(-1). Let a(y) be the second derivative of -49*y**3/3 + y**2 + 6*y. Is a(r) a multiple of 5?
True
Suppose -5*h - 136*b + 105591 = -135*b, -2*b = 2*h - 42238. Does 119 divide h?
False
Suppose 3*r - y - 12 = 2*y, y = -3*r + 12. Suppose 3*z - 2 = -t, 3*t - 26 = 5*z - r*z. Suppose -4 - t = -l. Does 4 divide l?
True
Let n(q) = q**2 + 59*q + 250. Let a be n(-41). Does 45 divide (-4)/((-160)/(-90))*a?
False
Suppose -5*c + 162 = -2*u, 0 = 26*c - 27*c + 5*u + 14. Is (c/(-4))/(2/(-8)) a multiple of 6?
False
Let h be ((-14)/(-8))/((-18)/72). Does 2 divide (-178)/h - ((-40)/70 + 1)?
False
Let d be ((-4)/6)/(1 + (-40)/45). Is (24/d + -44)/(4/(-10)) a multiple of 15?
True
Let c = 3932 + 2817. Does 11 divide c?
False
Let i be 220*(-1 - (-18)/12). Suppose v + 560 = 5*m, 474 = 3*m + 5*v + i. Does 11 divide m?
False
Let a = 6 - -30. Suppose -6*k + 0 = -a. Suppose 2*q - 728 = -k*q. Is q a multiple of 17?
False
Does 56 divide (-3319684)/(-1822)*((-4)/(-14) - 34/(-28))?
False
Let x = -2882 + 3088. Is x a multiple of 10?
False
Let m be 24/(-11) - -2 - 916/44. Let b be -6*34/m - 4/(-14). Is 10 a factor of 284/14 + b/(-35)?
True
Let o be -2*(-60)/(-48)*(-1375 - 1). Suppose -15*c + o = 5*c. Does 29 divide c?
False
Let w be (-435)/18 + 0 + (-1)/(-6). Let l be w + (12/(-2))/(-2). Does 4 divide (-489)/l + (-4)/14?
False
Let x(c) = -c**2 - 38*c - 81. Suppose 7*i = -333 + 109. Is 10 a factor of x(i)?
False
Let b(j) = -j**2 + 24*j - 18. Suppose 271 - 138 = 7*k. Is b(k) even?
False
Let f be -4*1/22 - (-606)/66. Is ((-3)/f)/(11/(-396)) even?
True
Let x = 1 - -1. Let y be (6/(-4) + (-105)/(-63))*18. Suppose x*b - 420 = -y*b. Is b a multiple of 6?
True
Let u(k) = -502*k - 1787. Does 15 divide u(-7)?
False
Let s(f) = -9*f**2 - 11*f + 28. Let b be s(5). Is 11 a factor of b/(-4) - (-6)/(-1 + 3)?
True
Suppose 0*r - 66 = -2*r + 4*n, -2*n = 4*r - 92. Suppose r*z - 20*z = 3*t - 835, -4*t + 1125 = 5*z. Is t a multiple of 73?
False
Let o = 413 + -733. Let v = o - -515. Is v a multiple of 24?
False
Suppose 25*k - 694 + 69 = 0. Suppose 0 = -k*z + 10*z + 2415. Is 11 a factor of z?
False
Let k(f) = 88*f - 5. Let h be k(-2). Let m = -37 - h. Suppose 0 = 5*i + i - m. Is 5 a factor of i?
False
Let h = 6090 - 4022. Let t = h + -1402. Does 6 divide t?
True
Let g = -50078 - -70869. Suppose 28*m - g + 5699 = 0. Does 7 divide m?
True
Let h(v) = -2*v - 15. Let k(j) = -j - 16. Let l(m) = 2*h(m) - 3*k(m). Let f be l(12). Suppose f*n - 224 = 2*n. 