ultiple of 17?
False
Let q = 419 - 219. Is q a multiple of 8?
True
Let w(o) = -10*o + 12. Let d = 4 - 10. Does 18 divide w(d)?
True
Let i(s) = s**3 - 4*s**2 + 11*s + 4. Is i(11) a multiple of 12?
True
Let n = 67 + -137. Let s = 124 + n. Suppose 9*y - s = 3*y. Is y a multiple of 9?
True
Let p be 1/((-21)/(-1212)) + (-8)/(-28). Let k = 17 + p. Is k a multiple of 25?
True
Does 12 divide ((-138)/184)/((-1)/1900)?
False
Let n(c) = -2*c**3 + 11*c**2 - 5*c - 14. Let t be n(7). Let m = t + 282. Is m a multiple of 14?
False
Let k(a) = a**2 + 8*a + 10. Let q be k(-6). Is (-1 - 1)/q + 3/1 a multiple of 4?
True
Let b be 3/4 - (-25)/20. Let k be b/8 + (-477)/36. Let l = 31 + k. Does 4 divide l?
False
Suppose 0 = -5*f - 5*j + 35, 0 = -5*f - 4*j + 38. Let d = -7 + f. Let o = 21 + d. Is 15 a factor of o?
False
Is (107 - -7)*-5*(-57)/45 a multiple of 9?
False
Suppose 2*d = -g + 1 - 2, -4*d - 3*g - 3 = 0. Suppose d = -3*u + 3*z - 5*z + 2, 5*u = 4*z - 4. Suppose u = 4*n + 2*k - 34, n - 2*k - 2 + 1 = 0. Does 7 divide n?
True
Suppose 17*h - 14187 - 7403 = 0. Is 13 a factor of h?
False
Is 4 a factor of (-26)/(((-18)/(-4))/(-9))?
True
Let t(s) = -3*s - 9. Let k be ((-2)/(-1))/(6/(-12)). Let c be t(k). Suppose -5*j - 3*f = -8*f - 80, 0 = -c*f + 15. Is j a multiple of 6?
False
Suppose 498 = -37*b + 38*b. Is b a multiple of 6?
True
Let t(p) = p**3 + 3*p**2 + 2*p + 2. Let k be t(-2). Let y be 71/k - 8/(-16). Does 6 divide y/2*(-28)/(-21)?
True
Suppose -20*g = 168 - 5388. Is 3 a factor of g?
True
Let k be ((-1 - -44) + 4)/(-1). Let l = 52 + k. Is l even?
False
Suppose -4*y - 4 = 0, -5*y + 82 = 2*k - 5*k. Does 3 divide k/(1 + -4 + 2)?
False
Let v(z) = -42*z + 48. Is 20 a factor of v(-6)?
True
Does 37 divide 15125/10 - (-54)/(-36)?
False
Suppose 5*h - 853 = 77. Let i = h - 93. Does 14 divide i?
False
Let r(y) = -9*y - 2. Let d be r(-2). Suppose -99 = -2*l - 2*l - 3*w, 0 = 2*l + 3*w - 45. Let x = l - d. Does 10 divide x?
False
Let a(f) = 2*f**2 - f - 2. Let t be a(2). Suppose -5*p + t*p + 3 = 0. Let y = p + 14. Is 5 a factor of y?
False
Let k(x) = -3*x - 12*x + 4*x - 14. Is k(-7) a multiple of 21?
True
Let u be ((-1158)/(-4))/((-18)/(-48)). Does 48 divide (-1)/(4 + u/(-192))?
True
Suppose 2*s = -3*s - 5*x - 110, 5*s - 5*x = -120. Let n = s - -38. Let t = 40 - n. Is t a multiple of 5?
True
Suppose -449*o = -440*o - 24975. Is o a multiple of 25?
True
Let b = 302 + -287. Is 3 a factor of b?
True
Let z(t) = -t**2 + 10*t + 15. Let p be z(11). Suppose 0*f = -p*f + 140. Is 14 a factor of f?
False
Does 29 divide 2*(-725)/40*-4?
True
Suppose -5*t = 5 - 0. Let l be ((-6)/t)/2*-1. Does 14 divide 4 + l + 220/4?
True
Is 16 a factor of (3 - 0)/(-1) - -403?
True
Suppose -17*s + 22145 = -7197. Does 30 divide s?
False
Suppose 104 - 101 = 3*j. Let q(i) be the first derivative of 71*i**3/3 + i**2/2 + 1. Is q(j) a multiple of 29?
False
Let d(i) = 6*i**2 - 30*i + 106. Is 6 a factor of d(4)?
False
Let g = 5 - -15. Let x be (-4)/10 - 1012/g. Let r = 92 + x. Is 11 a factor of r?
False
Let n be (-4)/(-2)*(1 - -28). Suppose 4*r + n = 2. Let x(z) = -z**2 - 17*z - 12. Does 6 divide x(r)?
True
Let a = 117 + -113. Suppose f + 2*i = 40, 0 = 2*f - a*f + 2*i + 86. Is 8 a factor of f?
False
Let j be 13 + -17 - (-114 + 0). Let f = j + -106. Is 3 a factor of f?
False
Suppose -5*p - 3*x = -295, 129 + 42 = 3*p + 3*x. Is p a multiple of 7?
False
Suppose 5*n = -0*a + 4*a + 38, -2*a = -2*n + 16. Let f(c) = 11*c - 13. Let i be f(n). Suppose 0 = -2*z + 31 + i. Is 14 a factor of z?
True
Suppose 0 = -4*a + 4, u + 5*a = 4*u + 14. Is 19 a factor of 2 + u + 5 + 34?
True
Suppose -75*w + 1596 = -69*w. Is w a multiple of 2?
True
Let l be (0 - -5) + -4 - -3. Let f be (-1480)/6*(-18)/l. Is 8 a factor of 8/28 + f/35?
True
Let q = 14 - 9. Suppose 0*b - 3*b + 249 = -3*d, -431 = -q*b + d. Let x = -57 + b. Does 15 divide x?
True
Suppose -29172 = -24*i - 10*i. Is 22 a factor of i?
True
Suppose -5*a + 140 = -5*f, -5*f + 3*a = -a + 140. Does 15 divide (-16)/f - (-534)/21?
False
Let c(i) = i + 12. Let b be c(12). Let x = 199 - b. Is x a multiple of 32?
False
Is 24 a factor of 39/(-624) + (-118659)/(-48)?
True
Let q = 9 - 6. Suppose -q*m + 5*m - 86 = 0. Does 13 divide m?
False
Let d = -3309 + 5876. Is d a multiple of 17?
True
Suppose 15 - 43 = -4*q. Is 25 a factor of (q/(-21))/(1/(-750))?
True
Suppose -5*s + 7*s - 8 = 0. Suppose -s*z + 15 = -z, 5*f - z = 1075. Is 13 a factor of f?
False
Suppose 25*j + 119280 = 105*j. Does 7 divide j?
True
Let m = -4 - -34. Does 7 divide 246/5 + (-156)/m + 5?
True
Let y = -2 + -9. Let r = -9 - y. Suppose -r*q + 3*c + 22 = 0, -2*c - 22 = -q - 6*c. Does 14 divide q?
True
Let q(k) = -1. Let z(r) = -4*r - 26. Let d(x) = -5*q(x) + z(x). Is 12 a factor of d(-19)?
False
Suppose -5 = h, -r - 15 = -2*r - h. Suppose 0 = -0*p - 2*p + 8. Suppose -n = p*n - r. Is n a multiple of 2?
True
Is 24164/6 + (-18)/54 a multiple of 22?
False
Let s be ((-1)/(-2))/(21/(-294)). Let p(c) = -13*c + 14. Is p(s) a multiple of 21?
True
Suppose -4*p - 18 = -t, -p = 3*t + 3*p + 10. Let k(w) = -7*w. Let n be k(t). Let d = 24 + n. Does 10 divide d?
True
Let f = -102 + 110. Suppose 0 = -j + 28 + 16. Suppose j = 2*q + f. Does 15 divide q?
False
Let s(b) = 139*b + 71. Is 24 a factor of s(19)?
True
Suppose -5*a - 4*h - 388 = 192, 2*h = a + 102. Let r be 12/(-14)*a/24. Suppose 2*k = r*k - 48. Is k a multiple of 6?
True
Let r(l) = l**2 - l. Let o be r(2). Suppose -2*a - 4*u + 154 = -16, -5*a + o*u = -377. Is a a multiple of 13?
False
Suppose k = -w + 431, 10*k = 5*k - 2*w + 2167. Is 6 a factor of k?
False
Let h(i) = 8*i + 4. Let p = -28 + 33. Is 11 a factor of h(p)?
True
Suppose -3*d = -2*d - 28. Let b = d + 29. Is 9 a factor of b?
False
Let r(p) = p**3 - 8*p**2 + 6*p + 9. Let y be r(7). Let j be -4 - (2/y + 3). Let v(q) = q**3 + 9*q**2 + 2*q - 6. Is 11 a factor of v(j)?
False
Is (229 + 1)/(11/110) a multiple of 63?
False
Let h be 6/16 - (-377)/104. Is 8 a factor of 1*(94 + h/4)?
False
Suppose 2*s = -2*t + 5*s + 41, 0 = -s - 5. Suppose -8*u = -t*u + 650. Is u a multiple of 12?
False
Suppose -q - 440 = -5*q. Is 11 a factor of q?
True
Let w(c) = -7*c**3 - c**2 + 6*c - 2. Let n be w(-3). Let l = n + -68. Does 40 divide l?
False
Suppose h - 7*t = -5*t, 4*h + 2*t + 10 = 0. Let i(a) = 43*a**2 + 2*a. Is i(h) a multiple of 12?
True
Let h(j) = 7*j + 2 + j**2 + 0*j - 2*j. Let p be h(-3). Is (-104)/(-2) + p - 3 a multiple of 9?
True
Suppose -6*l + 11*l - w - 6489 = 0, -4*w + 2578 = 2*l. Is l a multiple of 58?
False
Suppose -2*w = -4*x - 7*w + 147, 3*x + 4*w - 111 = 0. Let c = -47 + x. Let t(y) = -2*y - 12. Is 8 a factor of t(c)?
True
Let t be ((-2)/(-6))/(2/30). Suppose 0 = k - 4*k - 5*o - 140, -t*k + o = 224. Let d = k + 74. Does 9 divide d?
False
Is 693/42*((-2)/(-6) - -1) a multiple of 2?
True
Suppose 3*h + 4*d + 496 = -h, 4*d = h + 124. Let v = -52 - h. Suppose 4*u = 2*c + 2*c - v, -4*c + 5*u + 72 = 0. Does 6 divide c?
True
Let s(t) = -t**3 + 17*t**2 - 9*t + 24. Is s(10) a multiple of 16?
False
Let s be (-28)/6*(-7 + 4). Let z = s - 11. Suppose -z*y - 9 = 0, u - 58 = 2*y + 2*y. Does 23 divide u?
True
Is 52 a factor of (26/1)/((-37)/(-518))?
True
Let f(g) = -2*g**2 - 22*g. Let x be f(-11). Suppose x = 2*t - 4*m - 164, 0*m - m = -1. Does 14 divide t?
True
Let h = 11 - 8. Suppose -5*r = 7 + h, 0 = -3*d + 4*r - 1414. Does 4 divide d/(-48) - 2/(-16)?
False
Suppose 17*l = -553 - 620. Let p = l + 173. Does 13 divide p?
True
Let c(k) = -k + 7. Let v be c(5). Suppose -g + 69 = 2*g. Suppose -2*y - v*i = y - 31, 0 = -4*y + i + g. Is y a multiple of 7?
True
Let j be (-6)/12 + (-5)/2. Is 40 a factor of ((-3)/(0 - 3))/(j/(-198))?
False
Let q = 1007 + -467. Is 18 a factor of q?
True
Let z = 131 - 30. Suppose 4*g - 6*x = -5*x + 404, -3*x = -g + z. Does 12 divide g?
False
Let t be (14 + -14)/(1/(1/2)). Suppose z = 3*l + 15, t*z + 3*l = -z + 15. Does 6 divide z?
False
Let q(a) = -17*a + 84*a**2 + 42*a**2 - 22*a - 30*a**2. Let d(h) = -5*h**2 + 2*h. Let x(m) = -117*d(m) - 6*q(m). Is 6 a factor of x(2)?
True
Suppose 0 = 2*y + 3*y + 15. Let v be -3 + 3 + 3 - y. Suppose -v*c + c + 150 = 0. Is 15 a factor of c?
True
Let s(t) = t - 9. Suppose 5*m = 3*m + 24. Let r be s(m). Suppose 11 = 2*k - z - 7, r*z + 26 = 2*k. Does 2 divide k?
False
Let q be (-50)/(((-2)/(-6))/(2/(-