*m + 21 = 5*m. Suppose 4*s = j - 2 - 5, 0 = -j + 2*s + m. Let h(b) = b**2 - 7*b + 7. Is h(j) a multiple of 7?
True
Let x(n) = -n**3 + 4*n**2 + 2*n - 5. Let m be x(4). Suppose m*c = -2 - 1. Let p(w) = -19*w - 1. Does 14 divide p(c)?
False
Let p(i) = 6*i + 10. Suppose 3*r - 5 = -2. Let g(k) = -k - 1. Let j(m) = r*p(m) + 3*g(m). Is 10 a factor of j(6)?
False
Let s(f) = 2*f**2 + 3*f + 1. Let d be s(-2). Suppose -3*b + 3 = 5*u, -2*u + 0*u = -d*b - 18. Is u/15*-2*-5 a multiple of 2?
True
Is -1 - (-4)/(8/50) a multiple of 10?
False
Suppose 0*k + 8 = 2*k. Suppose 4*q = k*d - 60, -3*d + 49 = -0*d - 5*q. Is 6 a factor of d?
False
Let i be 1/2 + (-712)/(-16). Let d(w) = -w**3 - 7*w**2 - 9*w - 5. Let f be d(-6). Suppose v - i = -5*c, 3*c - f - 12 = -v. Is 10 a factor of c?
True
Let k(w) = -w + 31. Let v be k(0). Let n be 68/2*(-2)/4. Let u = n + v. Does 7 divide u?
True
Let q = 143 + -6. Is q a multiple of 12?
False
Is (-155)/(-3) + -3 + (-30)/(-9) a multiple of 52?
True
Let v(m) = -m**3 - 3*m**2 + 2. Let i be 2/4*-2 - 2. Let c be v(i). Suppose -4*u + 4*d - 5*d = -60, 4*u = c*d + 72. Is u a multiple of 8?
True
Let n = -108 + 567. Is 64 a factor of n?
False
Let c(j) = -4*j + 1. Let m be 0 + 1 + -3 - 2. Is c(m) a multiple of 17?
True
Suppose 0 = -2*f + 5*f + 5*z + 30, 0 = 3*f + 2*z + 39. Let h = -6 - f. Suppose -13 = -4*j + d + h, 0 = -4*j - 4*d + 12. Does 5 divide j?
True
Suppose -4*u + 1806 = 17*u. Does 40 divide u?
False
Suppose -3*k + 6 = -k. Let f be ((-152)/(-10))/(8/20). Suppose 0 = k*j + 2 - f. Is j a multiple of 12?
True
Suppose 66 = 11*b - 5*b. Does 4 divide b?
False
Let q(l) = -l**2 - 5*l - 3. Let n be q(-2). Suppose -3*a + 2*h + 81 = -89, n*h - 122 = -2*a. Does 23 divide a?
False
Suppose -2*f + 33 = 13. Does 8 divide (-250)/(-20)*16/f?
False
Suppose -5*g - 5*p + 35 = 0, g - 2*p = -4*g + 28. Suppose -2*h + 24 - g = 0. Suppose 7 = l - h. Is 8 a factor of l?
True
Let x(t) = 59*t - 7. Let q(h) = 88*h - 10. Let z(n) = 5*q(n) - 7*x(n). Suppose -2 = -s - 1. Is 13 a factor of z(s)?
True
Suppose -544 + 94 = -5*t. Is 12 a factor of (2/(-5))/((-2)/t)?
False
Let x = -12 - -4. Let z be 1 + (-2 - -1) - -16. Let i = x + z. Is i even?
True
Suppose 5*d = v + 10, -2 = -d + 5*v - 0. Suppose 8*m - 3*m - l = 97, -23 = -m + d*l. Is m a multiple of 19?
True
Suppose 0 = 8*l - 880 - 344. Does 9 divide l?
True
Is 27 a factor of ((-16)/(-10))/(2/270)?
True
Let i be 12/4*12/9. Suppose 6*z = i*z + 6. Suppose w = -2*w + 2*p + 46, -p = z*w - 31. Is w a multiple of 6?
True
Suppose -2*s + 4 = -5*w + 2, -5*s - w = 22. Let j(g) be the second derivative of g**3/6 + 4*g**2 - g. Is j(s) a multiple of 2?
True
Suppose r - 27 = -2*r. Does 9 divide r?
True
Suppose u - 8 = -4. Suppose -c + u*c = 21. Suppose -y - c = -2*y. Is 7 a factor of y?
True
Suppose 5*z = -5*w + 90, -11 = -w + 3*z - 1. Is w a multiple of 4?
True
Let w(q) = q**2 - 3*q + 1. Let f be w(1). Is f/(-3) - 47/(-3) a multiple of 11?
False
Suppose s - 9 = 2*c - 1, 0 = -2*s + 2*c + 12. Suppose -g = -s*a - 6*g + 47, -5*g = 5*a - 55. Is a a multiple of 7?
False
Let v(k) = 3*k**2 - 6*k + 4. Is 19 a factor of v(6)?
True
Let o = 3 - -1. Suppose -2*m = -7*m + 4*w + 3, 0 = -o*m - 4*w - 12. Does 12 divide (-61)/(-2) - m/2?
False
Let m(z) = -7*z + 88. Does 2 divide m(6)?
True
Suppose 2*j = j + 96. Is j a multiple of 19?
False
Suppose 0 = 3*u - 6*u. Suppose -2*s + 6 + 6 = u. Does 6 divide s?
True
Let n be 100/55 + 2/11. Let r(p) = 3*p**2 + 3*p - 5. Let b(u) = -4*u**2 - 4*u + 5. Let y(c) = n*b(c) + 3*r(c). Is y(-4) a multiple of 2?
False
Let x = 195 - 105. Does 18 divide x?
True
Let c = 41 - 29. Does 3 divide c?
True
Suppose u = -0*u + 161. Suppose 4*d + 5*w = 131, 2*d - w - u = -2*d. Is d a multiple of 13?
True
Let k be -1 - -129*6/9. Suppose -2*t + k = 3*t. Does 11 divide t?
False
Is 0 + 6/39 + 386/26 a multiple of 6?
False
Let t(i) = 8*i + 12. Does 28 divide t(9)?
True
Let r(k) be the third derivative of k**6/120 + 7*k**5/30 - k**4/8 - 3*k**3 - k**2. Does 6 divide r(-14)?
True
Suppose -3*j - 2*j = f - 26, -20 = -4*j. Let z = f + 17. Does 14 divide z?
False
Let o(v) = 88*v**2 + 3*v - 3. Is 22 a factor of o(1)?
True
Is (1/2)/(((-1)/1)/(-114)) a multiple of 3?
True
Let v(b) = -52*b**3 - b**2 - b - 1. Is v(-1) a multiple of 15?
False
Let n(m) = -m**2 - 7*m + 1. Let y be n(-5). Let o = y + 1. Suppose -2*s = -0*s - o. Is 3 a factor of s?
True
Let z be 8/16*(-10)/(-1). Suppose -v + 2 = -u + 12, 4*u - z*v = 40. Is u a multiple of 5?
True
Suppose 2*f = -5*u - 2 - 3, 0 = -4*f - 3*u - 31. Let j be 424/10 + (-6)/f. Let g = j + -19. Is 12 a factor of g?
True
Let q(w) = w**3 + 8*w**2 - 9*w + 2. Let s be q(-9). Suppose s*v + 140 = 7*v. Is 14 a factor of v?
True
Let n be (-12)/(-10) + (-2)/10. Let a = 3 + n. Is 4 a factor of a?
True
Is 27 a factor of 2 + ((-343)/(-4) - (-7)/28)?
False
Let c be ((-1)/2)/(2/(-16)). Suppose -3*m - 3*s + 129 = 0, -2*m + c*s = -0*m - 80. Let p = -17 + m. Is 8 a factor of p?
False
Suppose 0 = -2*q + 11 + 33. Does 6 divide q?
False
Let f = 159 + -74. Is f a multiple of 17?
True
Suppose 25 = -4*o + 209. Is 16 a factor of o?
False
Let o(z) = -18*z - 1. Let b be o(1). Let x = 13 + b. Let i(q) = -q**3 - 5*q**2 + 5*q - 1. Does 4 divide i(x)?
False
Let c(n) = -n - 9. Let d be c(-6). Let t be 3*-12*6/d. Suppose t = 2*f + f. Is f a multiple of 18?
False
Let j be 6/12 - (-178)/4. Suppose k = 69 + 2. Let z = k - j. Does 13 divide z?
True
Is 6 a factor of (-3)/(9/3) + 55?
True
Let l = 174 - 111. Is 7 a factor of l?
True
Is 9 a factor of -2 - (1 + 1 + -3 + -103)?
False
Let p(s) = -s**2 - 2*s + 53. Is 14 a factor of p(0)?
False
Let i = 142 + -88. Suppose -3*h + 4*b = -i, 0 = 5*h + 5*b - b - 58. Does 14 divide h?
True
Suppose -5*k + k - 2 = 5*u, -4*k = 2*u - 4. Let r = u - -278. Does 10 divide r/16 + 1/(-4)?
False
Suppose 0 = -6*v + 2*v + 8. Suppose -2*l + 98 = v*y, 223 = 5*y + 4*l - 24. Suppose -2*t + y = -5*r, 6*r + 33 = t + r. Does 9 divide t?
True
Suppose 5*o + 18 = 48. Is 2 a factor of o?
True
Let h(s) = s**2 - 7*s + 6. Let f be h(6). Suppose 4*z - 26 - 11 = -5*w, f = z + 5*w - 28. Let c = 6 - z. Is c even?
False
Let x(o) = o**2 + 12*o + 8. Let b be x(-11). Let p = 4 + b. Is (-10 + p)*(-22)/6 a multiple of 11?
True
Is 1722/48 + (-3)/(-24) a multiple of 12?
True
Let v = 95 - 11. Is v a multiple of 42?
True
Let a(q) = -q**3 + 8*q**2 + 6*q + 4. Let o be a(6). Let k = o - 72. Is 15 a factor of k/(1/((-2)/(-2)))?
False
Let l be -2 + (-2 - -14)*2. Let g = 44 - l. Does 11 divide g?
True
Let x be 234/65 + (-6)/10. Is 11 a factor of ((-172)/(-12) - -4)*x?
True
Let j be (-1)/(-1*(-2)/(-56)). Suppose -r + 7 = -p, -5*r + 4*p + j + 3 = 0. Suppose r - 33 = -5*k. Does 5 divide k?
False
Suppose -3*l - 5*y = 2*l - 105, -5*y = -5. Let o = 0 + l. Does 20 divide o?
True
Suppose 4*u = -8, -5*l + l = 3*u - 1094. Is l a multiple of 19?
False
Let q(n) = n - 10. Let a be q(14). Let i(p) = -51*p - 4. Let c be i(4). Does 13 divide ((-6)/a)/(12/c)?
True
Let b be 112/3 - (-2)/(-6). Let l = b + -7. Does 21 divide l?
False
Let s be 2*-2*(-1)/(-2). Let d = s - -2. Suppose 5*o - 3*j - 152 = 0, -3*o + d*j + 2*j = -92. Does 9 divide o?
False
Suppose -5*f - 24 - 26 = 0. Let b = -2 - f. Is 6 a factor of b?
False
Is (-8)/16 - (-26)/4*29 a multiple of 47?
True
Let i be 1 + -17 + (-8)/4. Does 14 divide 10/(-1 - 22/i)?
False
Let w(p) = -20*p - 4. Is w(-1) a multiple of 4?
True
Let p = -40 - -88. Is p a multiple of 24?
True
Let c(v) = -14*v. Suppose 0 = 4*y - 8, 6*n - 2*y - 16 = 4*n. Suppose 6*k + n = k. Is 14 a factor of c(k)?
True
Let o(t) = 2*t**2 + 4*t - 6. Is 3 a factor of o(2)?
False
Let c be (-3 + -6)/(6/(-4)). Let a(o) = -o**2 + 6*o - 7. Let k be a(c). Let t(h) = h**2 + 3*h. Is t(k) a multiple of 10?
False
Let s be 169/(-3) - 4/6. Let i = -31 - s. Is i a multiple of 13?
True
Let t(p) = 3*p**2 - 6 + p + 20 - p**3 - 13. Let w(f) = -f**3 + 5*f**2 - 3*f - 1. Let o be w(4). Is 4 a factor of t(o)?
True
Suppose -3*i = -1 - 5. Suppose i*w + 2 - 58 = 0. Does 21 divide w?
False
Suppose -69 = -5*v + 2*s + 43, 4*s - 18 = -v. Let t = -5 + v. Does 6 divide t?
False
Let f = 51 + -4. Is 23 a factor of f?
False
Let j = -20 + 15. Let t(s) = -5*s + 5. Does 7 divide t(j)?
False
Let a be 4/(-8) + (-349)/(-2). Suppose -a = -4*y - 54. Is y a multiple of 10?
True
Suppose 0 = -4*m + 4,