 Is v a multiple of 17?
False
Suppose -364*s + 384*s - 104839 - 5321 = 0. Is 54 a factor of s?
True
Let n be -47 + 48 - (-3 + -1 + 1). Let a(o) = o**3 + 6*o**2 - 7*o + 8. Is a(n) a multiple of 28?
True
Suppose 0 = -5*o + 35, 60*g - 2*o - 14636 = 55*g. Is 10 a factor of g?
True
Let h be 20 + -1669 + -9 + 1. Let y = h - -3018. Is 18 a factor of y?
False
Does 9 divide 77/(-7) + (-5)/((-25)/15) + 10826?
True
Let m(b) = 7*b + 6. Let r be m(6). Suppose 3*w - 2*t - 10 = 6, -4*t - 2 = -w. Is 12 a factor of r/w*30/4?
True
Let g(n) = n**2 - 2*n + 136. Let j(a) = -a + 21. Let v be j(17). Suppose -2*p = -v*p. Is 34 a factor of g(p)?
True
Let d = 43832 + -21148. Does 106 divide d?
True
Let n(b) = 4*b**3 + 7*b**2 - 10*b + 23. Does 78 divide n(11)?
True
Suppose 38319 = i + n, -5*n - 107200 = -4*i + 46022. Does 43 divide i?
True
Let t be -4 - (-2 + 4) - 0. Let y be (-14)/21 + (-4)/t. Is 4 + -13*(-1 - y) even?
False
Let d = 1335 - 86. Suppose 2*k - d = -s + 4*s, 5*k = -3*s + 3091. Does 20 divide k?
True
Suppose -4*c + 0*m = 2*m - 380, 3*c = 4*m + 307. Let x = 102 - c. Suppose x*t - 219 = 481. Does 35 divide t?
True
Let k(d) = -884*d - 106. Does 39 divide k(-5)?
False
Suppose 11*x - 24*x + 247 = 0. Let j = -14 + x. Suppose 4*r + 55 = j*r. Does 11 divide r?
True
Let n = 187 - 93. Suppose 4*l - 5*v = -185, 3*l + 2*v = 5*l + n. Let a = l - -85. Does 11 divide a?
False
Let a(w) = -124*w - 186. Let y be a(13). Is 5 - 1*y/2 a multiple of 24?
False
Let c = -3282 - -6718. Is 197 a factor of c?
False
Let i(n) = 21*n**3 + n**2 - 8*n + 12. Let r be i(4). Suppose 2*f + 209 - 745 = -2*j, -5*j + r = 2*f. Is j a multiple of 67?
True
Let q(z) = 6*z**3 + 4*z**2 - 3*z + 3. Let x be q(3). Suppose 5*c - 528 = x. Is c a multiple of 8?
True
Suppose 2*w + 6*h - 18 = 2*h, 36 = 4*w + 4*h. Suppose w*p + 4026 = 20*p. Is p a multiple of 61?
True
Let f(y) = -8*y**3 - 15*y**2 + 16*y - 23. Let j(g) = 4*g**3 + 8*g**2 - 8*g + 12. Let a(w) = -6*f(w) - 11*j(w). Does 10 divide a(2)?
True
Let c = -4398 + 10558. Is c a multiple of 77?
True
Let h be 7*(2 - 30/21). Let w = h + -12. Does 24 divide (-302)/(-3) - w/(-12)?
False
Let o = 28863 - 680. Does 23 divide o?
False
Let t = 829 - 176. Suppose 0 = -5*y - 4*v + t, -2*y - 5*v + 42 = -226. Is y even?
False
Suppose -t - 30 = 5*v - 1063, -2*v = -10. Suppose -357*q = -354*q - t. Does 12 divide q?
True
Let a(p) = -1054*p**3 + 6*p**2 + 22*p - 2. Is a(-3) a multiple of 13?
True
Suppose -5*s - 5 = 0, 5*l + 3*s = 4*s + 2791. Suppose 0 = 2*y - 5*i + 2*i - 372, 3*y - l = 2*i. Does 29 divide y?
False
Let w be 5/((-15)/9) - (0 - 0). Let g be 1897/21 + (-2)/w + -1. Suppose g = 4*q - 710. Is 50 a factor of q?
True
Suppose -56 = 4*f + 4*c + 96, c - 85 = 2*f. Suppose -3*k = 2*k - 320. Let s = k + f. Does 8 divide s?
False
Let x be ((-20)/24)/(11/(-1518)). Is 142*(-7 - x/(-10)) a multiple of 9?
True
Let f(l) = 25*l + 8*l**2 + 18*l + 10*l - 18. Is 10 a factor of f(-9)?
False
Suppose -4 = 1257*z - 1258*z. Is 1794/16 - (z + (-372)/96) a multiple of 16?
True
Suppose 0 = -2*r - 4*y + 6, 3*r - 5 - 10 = -4*y. Let p be ((-11)/r - 6/(-27)) + 123. Let v = -52 + p. Is v a multiple of 16?
False
Let s = 257 - 248. Suppose -1481 = -s*x + 1732. Is 21 a factor of x?
True
Let w = 82 - 92. Is 105 - ((-21)/(-35) + (-4)/w) a multiple of 8?
True
Suppose -211*z + 203*z - 163784 = 0. Is 3 a factor of (-7)/4 + z/(-236)?
False
Suppose 5*h - 3*r = 4*h + 25, 2*h + 2*r - 10 = 0. Let g = h - -2. Suppose 3*x + 168 = 4*d, -g = -4*x + x. Is d a multiple of 9?
True
Suppose -4*y = q - 0*y - 4184, 3*q - 12534 = -3*y. Is 24 a factor of q?
True
Suppose -3*y = 4*g - 11510, 4*g - 7*g + 8640 = y. Is g a multiple of 22?
True
Let h be (902 - 23)*(2 + -1). Suppose -2*q + 3*u + 54 = -h, -1406 = -3*q - 2*u. Is 18 a factor of q?
True
Suppose -2*c - 506 = -3*k + 9635, -2*k - 7*c + 6769 = 0. Does 23 divide k?
True
Suppose 5*n = -z + 9399, 0 = 2*z + 3*n - 23289 + 4477. Does 138 divide z?
False
Let s(m) = m**3 - 25*m**2 + 25. Let j be s(25). Let b be -2 + (-9)/(-5) - (-1805)/j. Let a = b - 47. Is a a multiple of 4?
False
Is 37 a factor of (1 - -167)/((-48)/(-888))?
True
Let h = -5 - -7. Suppose -h*g + 96 = -b + 5*b, -3*b = -6. Let y = g - 30. Is y a multiple of 7?
True
Is (-2115)/(-225) + (-2)/5 - -20674 a multiple of 64?
False
Let j(f) = 8*f**2 + 8*f + 15. Let d(i) = -i**2 - 2*i - 3. Suppose 0 = -t - 5 + 3. Let s be d(t). Does 3 divide j(s)?
True
Let r(f) = 18*f + 837. Does 59 divide r(40)?
False
Let n(h) = 9077*h**2 - 91*h - 177. Is 17 a factor of n(-2)?
False
Suppose 4*r + 3*z + 7 = -4, 4*z - 6 = 5*r. Suppose 9*f - 2290 = -6520. Does 28 divide (-1)/((-5)/f*r)?
False
Suppose 6102319 = 279*h - 419585. Is h a multiple of 17?
False
Let p(s) = 2*s**2 - 20*s + 138. Is p(19) a multiple of 12?
True
Let f be ((-2 + 2)/((-4)/(-2)))/(-1). Suppose 0 = r + 5*h - 95, 0 = -r - f*r - 3*h + 95. Let o = -22 + r. Does 5 divide o?
False
Let u(y) = -y**2 - 54*y - 20. Let q = 301 - 332. Does 33 divide u(q)?
True
Suppose -15*o + 21672 = 6*o. Suppose -7*f - o = -10*f. Does 24 divide f?
False
Is (-20)/(-50) + -9 + (-153580)/(-50) a multiple of 5?
False
Let p be (-18)/9*(2 - -1). Let h(k) = k**3 + 7*k**2 + 4*k - 3. Let v be h(p). Is 26/((18/4)/v) a multiple of 26?
True
Let z(p) = -116*p + 17. Let n be z(-4). Let q = n + -276. Is q a multiple of 14?
False
Let y(v) = 2*v**3 + 34*v**2 + 27*v - 13. Let j be y(-16). Suppose -49*g - 21978 = -j*g. Does 42 divide g?
False
Let f(z) = -9*z**2 + 10*z + 86. Let t(m) = -8*m**2 + 11*m + 85. Let y(s) = 6*f(s) - 7*t(s). Is 32 a factor of y(19)?
True
Let b(j) = -7*j + 7*j - 5*j**2 + 0*j - 5 + j**3. Let g be b(5). Is 1 + (-5 - g) - -65 a multiple of 6?
True
Let z = -91 - -96. Suppose 2*p - 4*c = -0*p + 4, 4*c = 4*p - 4. Suppose -712 = -3*w + 5*l, p = -3*w - z*l + 503 + 219. Is w a multiple of 32?
False
Let y = -78 - -80. Let l be 215*-2*1/y. Let r = l + 412. Is 59 a factor of r?
False
Suppose -9*b = -44*b + 126315. Is 3 a factor of b?
True
Let l(s) = 18*s**3 + s**2 - 14*s + 21. Let r be l(2). Suppose 147*y - 7068 = r*y. Does 34 divide y?
False
Suppose -c - 5*q = -0*c - 25, c + q = 9. Suppose 0 = -c*y + 600 + 20. Let b = -79 + y. Does 11 divide b?
False
Let q(z) = z**3 + 10*z**2 + 10*z - 22. Let d be q(-9). Let r = d - -10. Is 6 a factor of r*(3 - 204/28)?
True
Let a(j) = -j**2 + 18*j + 207. Let w be a(-8). Let r(t) = 95*t + 1. Let g be r(1). Is (-63)/w*g/28 a multiple of 24?
True
Let v be 3/(-18) + (-57)/(-18). Let d be -3 + 1 + v + 1. Suppose -3*b + 204 = 6*y - 2*y, -5*b + 102 = d*y. Is y a multiple of 13?
False
Suppose 8*z = 12*z. Suppose -5*w + 12 + 3 = z, 4*r - 12 = -4*w. Suppose 2*h + 2*h + j - 111 = r, 3*h + 3*j - 81 = 0. Does 13 divide h?
False
Let v(y) = -5*y**2 - 3*y + 2. Let t(k) = 4*k**2 + 2*k - 2. Let n(i) = 4*t(i) + 3*v(i). Let u be n(-1). Let m = 30 + u. Is m a multiple of 15?
True
Let o(z) = 12961*z**2 - 62*z + 61. Is 16 a factor of o(1)?
True
Suppose 174*k - 209*k + 21175 = 0. Does 5 divide k?
True
Suppose 2*g - 21 = -3*l + 2, g + l = 9. Suppose -2*f = -g*c + 1737 - 595, 4*f = -5*c + 1460. Is 17 a factor of c?
False
Suppose 0 = 102*o - 104*o + 52. Suppose 23*j - 477 = o*j. Let x = 274 + j. Does 6 divide x?
False
Let j be (-1)/(84/96*(-4)/14). Suppose -847 = -i - j*s, 18*i - s + 3403 = 22*i. Is i a multiple of 23?
True
Let y(z) = 7*z**3 + 78*z**2 - 28*z + 10. Is y(-7) a multiple of 3?
False
Suppose -11*q + n = -7*q + 48, 5*n = -3*q - 36. Let v = 3 - 4. Does 6 divide q/v - (-4 - -6)?
False
Let f be ((-209)/(-22))/((-2)/(-208)). Suppose f = a + a. Is 38 a factor of a?
True
Let l = 43 + -21. Let q(v) = l*v + 0*v**2 + 35*v - 32*v - 9 - v**2. Is q(7) a multiple of 8?
False
Suppose -34*z = -4*z - 200*z + 3637660. Does 160 divide z?
False
Suppose 4 = 5*n - 4*n. Let z be (-950)/(-30) - n/6. Suppose 3*l + z = 5*s, 6 = -2*l + 2. Is s a multiple of 2?
False
Suppose 14 = -2*v - 4*x, -3*x - 11 = 2*v + 2*x. Let y(d) = -d**3 - 12*d**2 + 12*d + 30. Let o be y(v). Let t = o + -20. Is 16 a factor of t?
False
Let h = -350 + 353. Suppose 5*y - 3365 = -5*u, -u = -y + h*u + 683. Does 75 divide y?
True
Suppose -6*c + s = -3*c + 3, c + 1 = -s. Suppose i = -2*v - 156, -5*v = 2*i + 49 + 267. Is (i + (2 - 3))*c a multiple of 19?
False
Let b(k) = -4 - 7 + 21*k - 7. Let i = 1969 - 1963. Is b(i) a multiple of 18?
Tru