 = b, 2*q - 31 - 42 = -3*s. Is q a multiple of 9?
False
Suppose 0 = w - 2*w + 44. Let k = 75 - w. Does 8 divide k?
False
Let r be (0 - 6/(-2)) + -2. Does 29 divide r + 171/(6/2)?
True
Let i(g) = g**3 - 2*g**2 + 3*g - 6. Suppose -4 = 4*o - 5*o. Is i(o) a multiple of 19?
True
Let r = -97 + 138. Suppose 0 = 2*n + 3*n + 3*j - 74, -5*j = 2*n - r. Suppose -m = 2*f - n, -m - 3*f + 7 = -9. Is m a multiple of 7?
True
Let k(d) be the third derivative of 97*d**5/60 - d**3/6 + 3*d**2. Let f be k(1). Is f/20 + (-2)/(-10) even?
False
Let z(q) = q - 8. Let b be z(0). Does 9 divide ((-13)/(-2))/((-4)/b)?
False
Is 15 a factor of (2 + 100/3)/((-40)/(-60))?
False
Let c = 63 + -15. Suppose 10 = -2*i + c. Does 9 divide i?
False
Suppose 2*l + 2*u = 3*u + 20, 4*l - 3*u = 40. Is l even?
True
Suppose -t = 4*r - 4, -2*r - 12 = r - 3*t. Suppose -5*u + 3*u + 58 = r. Suppose -3*j - u = -77. Is j a multiple of 6?
False
Is 9 a factor of 54*(-4 + 7 + -2)?
True
Suppose -5*m + n = 1 + 53, -4*n - 34 = 5*m. Let i = 37 + m. Is 13 a factor of i?
False
Does 6 divide (-3 + 32 - 3) + -4?
False
Let i be 3 - 1/((-3)/(-3)). Does 17 divide (34*i/(-2))/(-2)?
True
Let v be 2/10 - (-71)/(-5). Let p = v - -20. Is p a multiple of 5?
False
Let l = -14 + 24. Is l a multiple of 9?
False
Let u be (12/(-9))/(2/(-54)). Suppose -5*t = -2*t - u. Does 12 divide t?
True
Let u = -274 + 393. Is u a multiple of 25?
False
Let g = 25 - 14. Let q(x) = -x + 1. Let i(m) = 9*m - 11. Let k(r) = i(r) + 6*q(r). Does 10 divide k(g)?
False
Suppose 4*l - 4*s = 0, s = -0 + 2. Suppose 3*r + l*r - 15 = 0. Let g = r - -13. Is 8 a factor of g?
True
Let w(r) = -r**2 - 11*r + 3. Let a be w(-11). Suppose d = 2*g - 2 + a, -g + 17 = 2*d. Let n(q) = -q + 10. Is n(d) even?
False
Let w = 12 - 12. Suppose w = 5*f - 32 - 8. Is 4 a factor of f?
True
Suppose -p + 2 = -1. Let z(l) = -l**3 + 7*l**2 - 4*l. Does 8 divide z(p)?
True
Let l = 51 - 34. Let z(y) = -8*y**3 + y**2 - y - 2. Let w be z(-2). Suppose -2*p = 2*f - w, -p + 2*f + l = -11. Is p a multiple of 11?
False
Let o be 14/4 - 3/6. Suppose -5*d = -7 - o. Is 34 + d/4*2 a multiple of 16?
False
Suppose 19 = s - 0*s. Is 9 a factor of s?
False
Suppose 671 = 7*n - 1156. Is 21 a factor of n?
False
Let d(l) = l + 4. Let v be d(-3). Suppose -s + 5 = -2*n, -s + v = n - 4. Suppose -2*f = -2*r - 74, 2*f + 4*r + n*r - 44 = 0. Is 11 a factor of f?
False
Let k(s) = s**3 - 2*s**2 + 3*s. Is 18 a factor of k(3)?
True
Suppose -x - 2 = -5. Suppose 78 = 4*w - 2*g, 5*w - x = 4*g + 87. Is 11 a factor of w?
True
Suppose 5*p - p = 12. Let g(q) = -p*q + 1 - 2 - q. Does 12 divide g(-7)?
False
Let w(i) = 2*i**3 + i. Let a be w(1). Let g = 0 - a. Does 8 divide (33 - (g + 2))/2?
False
Suppose -w + f = 3*w - 13, -5*w + 35 = 5*f. Suppose 4*r = -w*q - 2 + 38, -2*r + q + 3 = 0. Is 375/35 + r/14 a multiple of 11?
True
Let r(k) = 7*k - 3. Let v be r(12). Does 4 divide (-184)/(-18) + (-18)/v?
False
Let u = -4 + -2. Is (6 - 1)*u/(-5) a multiple of 6?
True
Suppose -n + 5*u = -1025, 4*u - 3018 = 3*n - 6*n. Is 1/3 - n/(-30) a multiple of 17?
True
Let k = 27 - 44. Let x = k - -31. Does 9 divide x?
False
Let f be (-10)/(-15) - 184/(-3). Let a = 30 - f. Is ((-6)/(-4))/((-3)/a) a multiple of 5?
False
Let s be (4/1 - -1) + -2. Suppose s*z + 2 + 7 = 0, -4*z - 6 = 3*a. Is 2 a factor of a?
True
Let s be 1 - (-3)/3*11. Let b = s - 1. Is 5 a factor of b?
False
Let d be 30/(-2*12/16). Let t = d + 47. Is t a multiple of 7?
False
Let x(v) = -4*v + 4. Let w be 2*(-2)/4 + -4. Does 12 divide x(w)?
True
Suppose -2*o - x = -67, o - 4*x - 20 = 36. Does 6 divide o?
True
Suppose 444 = 2*g - 2*t, -143 = -g - 4*t + 69. Suppose -g = -5*z - 5*v, -4*z + 2*v = -v - 190. Does 23 divide z?
True
Let o = -10 + 13. Suppose -z - 4*r = -101, 0 = o*z - z - r - 202. Does 26 divide z?
False
Let d(n) = 19*n. Let x be d(2). Suppose 0*c + x = 2*c. Is c a multiple of 16?
False
Suppose -338 = -4*r - 86. Is 15 a factor of r?
False
Let o = 127 - 42. Suppose 4*u = -0*u + 5*q + 68, 2*q = 5*u - o. Does 17 divide u?
True
Let t(m) = 13*m - 14. Let x(o) = 7*o - 7. Let i(a) = -6*t(a) + 11*x(a). Suppose 3*g + 3*d = -12, -6*g - d = -3*g + 14. Is 9 a factor of i(g)?
False
Suppose 2*m - 5*x = 21, -m - m - 5*x = -51. Suppose 2*j = 106 - m. Is 11 a factor of j?
True
Let k = 47 - 33. Is 6 a factor of k?
False
Suppose -5*l = 4*q - 2, l - 5*q = -5 + 17. Suppose 0 = 3*p + 4*t - 61, -p = p - l*t - 50. Does 4 divide p?
False
Suppose -d = -3*t - 4*d + 9, -4*t + 44 = -4*d. Let h = 12 - t. Is 5 a factor of h?
True
Suppose 1 = -3*z + 7. Suppose z = 4*f - 46. Is f a multiple of 6?
True
Let c(p) = 12*p - 24. Is c(10) a multiple of 32?
True
Let o = -1 + 3. Let x = 1 + o. Is -60*(x - (-17)/(-5)) a multiple of 8?
True
Let h(u) = 16*u - 6. Is 38 a factor of h(4)?
False
Let q(f) = 19*f - 2 + 2 - 2. Is 17 a factor of q(2)?
False
Let z(a) = a**2 + 6*a + 7. Let f be z(-5). Let x(j) be the first derivative of j**4/4 + j**2 - 2*j + 1. Does 10 divide x(f)?
True
Let x = 55 + 1. Is x a multiple of 11?
False
Let h(z) = z**3 + z**2 + z + 98. Does 26 divide h(0)?
False
Suppose -1085 = 16*n - 23*n. Does 31 divide n?
True
Let w(s) = -s**3 + 7*s**2 + 8*s + 6. Let v be w(8). Is 14 a factor of v*(1 - (-11)/3)?
True
Is 2750/20*(1 - (-2)/(-10)) a multiple of 10?
True
Suppose 4*w = 4*z - 4, -2*z + 8 = 2*w + 2*w. Let f be 8*3/6*w. Suppose -j + 16 = -f*n, -6*j + 38 = -2*j - 3*n. Does 4 divide j?
True
Suppose -2*a = -4*a + 18. Let k = a - 1. Is k a multiple of 4?
True
Suppose 10 = j - 5*z - 77, 4*j - 3*z - 382 = 0. Is 15 a factor of j?
False
Let m = 122 - 90. Is 5 a factor of m?
False
Suppose 0 = f - 4*f + 81. Does 8 divide f?
False
Suppose -2*i + 175 = 3*k - 4*i, -2*i + 110 = 2*k. Is 32 a factor of k?
False
Let x(v) be the first derivative of -v**4/4 + 7*v**3/3 - v**2/2 - v - 3. Is 10 a factor of x(6)?
False
Suppose 309 + 344 = 3*i - 5*s, -5*s = 5*i - 1075. Is i a multiple of 18?
True
Let r be 1809/(-3 - -6) + 1. Is 17 a factor of r/36 - 2/(-9)?
True
Does 5 divide 182/10 + 7/(-35)?
False
Suppose 5*k - 150 = 5*c, -2*k + c = -3*k + 30. Is k a multiple of 10?
True
Let p be -3*4/(-15)*-5. Let i be (7 - 2)*(p + 1). Is 222/5 + 6/i a multiple of 16?
False
Suppose 50 + 4 = 3*v. Is 5 a factor of v?
False
Let a(j) = j**2 - 3*j - 4. Let p be (-7 - (0 - 0))/(-1). Is a(p) a multiple of 24?
True
Suppose 0 = 4*c - 29 + 5. Suppose 3*w - c = 3. Is 2 a factor of w?
False
Let u be 6/4*132/9. Let q = -10 + u. Does 12 divide q?
True
Let z = -69 - -116. Let t = z - 27. Does 10 divide t?
True
Suppose a = -2 + 23. Suppose 0 = 4*i - 0*i + 8. Let k = i + a. Is k a multiple of 19?
True
Let v = 16 + 36. Does 13 divide v?
True
Does 4 divide 94*(-4)/(-8) - 3/(-1)?
False
Suppose -5*d = 15, -q = -4*q - 2*d + 3. Let r be 1*39/q - 0. Suppose -m = -2*m + r. Is m a multiple of 8?
False
Let o(p) = 34*p**2 + p - 1. Is 4 a factor of o(-1)?
True
Suppose 19*u - 40 = 15*u. Is u even?
True
Let r = 32 - 25. Does 2 divide r?
False
Suppose r - 32 + 12 = 0. Does 5 divide r?
True
Let n = 123 + -51. Does 11 divide n?
False
Suppose -o + 328 = 3*d + 3*o, -4*o + 4 = 0. Does 36 divide d?
True
Is 16 a factor of 242/15 - 6/45?
True
Let w(s) = 4*s. Let i be w(1). Suppose -i*a + r + 24 = 2*r, -3*r = a - 17. Suppose -a*p + 3*h = -2*h - 45, -4*p - 3*h = -29. Does 8 divide p?
True
Suppose -2*o = -2*l + 24, -8 + 3 = 5*o. Let q = l + -8. Is 9 a factor of (-2 + q + 23)/1?
False
Suppose 7 = 4*k + 15. Suppose -4 = -3*g + 5. Is k/g + (-14)/(-3) even?
True
Suppose 0 = -3*w - 0*w - 3. Let h = w + 0. Let q = 12 + h. Is q a multiple of 11?
True
Suppose -2*z + 0*z = f + 16, 6 = -3*z + 3*f. Let p(m) = m**3 + 7*m**2 + m + 5. Is 19 a factor of p(z)?
False
Let t = 126 - 96. Is t a multiple of 5?
True
Suppose 6*f - 20 = 11*f. Let w(g) = -g - 5*g + g. Is 10 a factor of w(f)?
True
Suppose -a = 3*a - 12. Suppose a*z - 2*m = m, 9 = 3*m. Suppose -v + 24 = z*v. Is 6 a factor of v?
True
Let u = -1 - -5. Suppose 0 = -u*l - 131 - 25. Is (-6)/l - 1008/(-39) a multiple of 8?
False
Suppose 0 = k + 8 - 20. Let w be (0 + 2)/2 - 6. Let f = k + w. Is 5 a factor of f?
False
Suppose v - 115 = -4*u + 6*v, 4*v = 3*u - 85. Does 11 divide u?
False
Let t(v) = v + 1. Let l be t(6). Let n = 15 - l. Is 8 a factor of n?
True
Let h(i) = i**3 - i**2 + 4*i + 1. Let m = 10 + -7. Let q be h(m). Let b = q - 11. Is