r of w?
False
Let x = -79 - -118. Is x a multiple of 7?
False
Is (41 + -1)*2/1 a multiple of 8?
True
Suppose -4*a = -2*a - 330. Does 23 divide a?
False
Let f = -5 + 7. Suppose -3*r - 5*m = -8*r + 55, -2*m = f. Is 10 a factor of r?
True
Let j(s) = -2*s**3 - 4*s**2 + 2*s. Does 7 divide j(-4)?
True
Let m(n) = -6*n - 18. Let f be m(-14). Suppose -4*k = -k - f. Does 11 divide k?
True
Let a = 8 + -8. Let b(w) = a + 2 + 0*w**2 - w**3 + 0*w**3 + 5*w**2. Is b(4) a multiple of 17?
False
Let c = -31 - -127. Is c a multiple of 48?
True
Let o(b) = b + 5. Let d be o(-3). Does 6 divide d*2/2 + 5?
False
Suppose 8 = m + 2*o, -3*m + 0*o = -2*o. Suppose 2*a - 4*p + 7 = 3*a, 0 = -m*a + 4*p + 14. Does 2 divide a?
False
Suppose 3*p + h - 111 = 0, -5*h - 15 = -0*h. Suppose 0 = 5*l - 2 - p. Is 6 a factor of 145/20 + 6/l?
False
Let o(j) = 12 - 12*j + 14*j**2 - 13*j**2 + 5. Is 9 a factor of o(14)?
True
Let d(y) = 12*y**2 + 6*y - 3. Let p(q) = -35*q**2 - 19*q + 9. Let s(o) = 7*d(o) + 2*p(o). Let w be s(2). Suppose 25 = -3*k + w. Is k a multiple of 5?
False
Let t(b) = b**2 - b + 29. Let m = -5 + 5. Is 23 a factor of t(m)?
False
Is 5 a factor of 20 + -17 + 1*7?
True
Suppose 6 = 2*m, 4*l - 5*m - 30 - 19 = 0. Is l a multiple of 5?
False
Let c(l) = -l - 4. Let i be ((-3)/2 + 1)*8. Let u be c(i). Let n(k) = k**3 - k**2 + 3. Is 3 a factor of n(u)?
True
Let q(w) = -w**3 + 2*w**2 - 3*w + 4. Suppose -3*j = 2*j. Suppose i + 4*i + 15 = j. Is 20 a factor of q(i)?
False
Suppose -3*h - 32 = -7*h. Suppose -f + a + 15 = 0, 5*f - 4*a - 85 = -h. Is f a multiple of 10?
False
Let n = 23 + -17. Does 3 divide n?
True
Suppose 4*k - 389 = 5*h, 6*k - 8*k = 4*h - 162. Is k a multiple of 35?
False
Let s = 58 + -21. Is 14 a factor of s?
False
Let v be (-1)/(-3) - (-133)/(-21). Let h(z) = -z**3 - 5*z**2 - 2*z - 7. Is 16 a factor of h(v)?
False
Let a = 9 + -2. Suppose 4*d = 3*d + a. Is 5 a factor of d?
False
Let x be ((-3)/6)/(1/(-8)). Let t(n) = -2*n**2 - 6*n - 6. Let s be t(-4). Is x/s + 200/14 a multiple of 9?
False
Let m be -3 + 3 + 1 + 6. Suppose 2*r - 12 = -3*p, -m = r - 6*r + 4*p. Is r a multiple of 2?
False
Suppose 23 = 5*j - 12. Suppose -2*q = -10, 36 + 20 = r + 4*q. Let a = r - j. Is 12 a factor of a?
False
Let d(c) = c**2 + 2*c - 6. Is d(4) a multiple of 9?
True
Let f be (-4)/3*-21*1. Suppose 2*z = -l + 4, 2*z - 4*z = 4*l - f. Does 4 divide l?
True
Let m(q) = 6*q**3 + 3*q**2 + 10 + 4*q**2 - 5*q**3 - 7*q. Let t be m(-8). Suppose t*p - p = 48. Is p a multiple of 14?
False
Suppose -103 = 4*r - l + 194, 0 = 3*l - 15. Let x = 111 + r. Does 13 divide x?
False
Let v be (24/4)/((-3)/(-2)). Suppose -z - 5*d = -v*z - 26, 6 = z + 2*d. Let i = 4 + z. Is i even?
True
Let r = -125 - -69. Is 5 a factor of (-576)/r + 4/(-14)?
True
Suppose o = 4*o - 9. Is 2 a factor of o?
False
Let a = 0 - 2. Let i = a + 8. Suppose i*o - 120 = o. Is o a multiple of 14?
False
Let p(z) = 2*z + 0 - 4*z - 3. Let u be p(-5). Suppose 4*x - 21 + u = k, -x = 3*k - 23. Is k a multiple of 4?
False
Let d(o) be the third derivative of o**4/6 + o**3/2 - o**2. Is 12 a factor of d(7)?
False
Let c = -65 + 101. Is c a multiple of 6?
True
Let t(j) = -j**3 - 3*j**2 - 2. Let q be t(-3). Let x = q + 7. Let y(r) = 5*r - 2. Is 12 a factor of y(x)?
False
Suppose -5*z - 4 = i, -3*z + 12 = -2*i + 5*i. Suppose 0 = -3*w + 3*m + 15, -m + 1 - i = -4*w. Suppose w = 3*a - 15 - 45. Does 10 divide a?
True
Let w(i) = 9*i**2 + 4*i + 2. Let d be w(-2). Suppose -a = 12 - d. Let u = -12 + a. Is 6 a factor of u?
True
Suppose -5*h = -11*h + 300. Does 17 divide h?
False
Let c be (-21)/(-14)*(0 - -44). Suppose -c = -w + 2*v, 4*w = 2*v + 88 + 152. Does 12 divide w?
False
Let r = -180 + 264. Let g = r - 58. Is g a multiple of 14?
False
Let n = 39 - 26. Let i(c) = -n*c + 6 - 2 + 7*c**2 + 11*c - c**3. Is i(4) a multiple of 20?
False
Suppose 3*q + 18 = -39. Let n(m) = m**3 - 12*m**2 - 10*m - 8. Let y be n(13). Let c = y + q. Is c a multiple of 12?
True
Let t = 14 - 9. Let n = 44 + t. Is 19 a factor of n?
False
Suppose 4*a - 32 = 2*u, -3*a = 4*u - 2*a + 19. Let v(q) = -2*q - 9. Let g be v(u). Suppose 2*p - 32 = -x, g*x + 0*p = -5*p + 98. Is x a multiple of 12?
True
Suppose 8*p - 81 = 5*p. Does 9 divide p?
True
Let t = 48 - 43. Suppose g = n + 3, 0 = 3*n - n + 4*g - 12. Suppose n = t*x + b - 135, -4*x + 5*b + 122 = 3*b. Is 10 a factor of x?
False
Suppose 0*b - 3*b + 6 = 0. Suppose 8 = 2*v + 4*y, 0 = b*v - 2*y + 3 - 23. Suppose -105 = -v*d + 3*d. Is d a multiple of 14?
False
Let q(r) = r**3 + r + 15. Let s be q(0). Let w = s - 13. Does 2 divide w?
True
Suppose 3*s + 28 = 4*s - 4*d, 3*s - 3*d = 120. Is s a multiple of 28?
False
Does 14 divide 42/(-35)*35/(-2)?
False
Suppose -6 = -3*p - 5*i + 22, 2*p - i + 3 = 0. Suppose -5 + p = -z. Does 5 divide (0 - (-2)/z)*10?
True
Suppose 54 = 3*h + 2*g, h + 4*g = -2*h + 48. Is 20 a factor of h?
True
Suppose -5*c + 726 + 659 = 0. Does 41 divide c?
False
Let z = -187 - -271. Suppose -z = -g - 5*g. Is 7 a factor of g?
True
Let o(t) = -t**2 + 11*t + 6. Suppose 5*f + 4*i = 17 + 8, 5*f - 25 = -i. Does 22 divide o(f)?
False
Let t = -5 - -5. Let r be ((-10)/(-2))/(1 - t). Suppose 5*w = -m + 42, -r*m - 8 = -4*m - 5*w. Does 17 divide m?
True
Let o(f) = 3*f**3 + 1. Let s be o(1). Suppose 0 = -3*y + s*y - 7. Suppose 0 = 5*n + 2*l - 84, -3*l + y = 4*n - 56. Does 9 divide n?
True
Suppose 0 = 2*f - 0 - 4. Suppose 16 = 5*m - 84. Suppose 0 = 2*v + f - m. Does 3 divide v?
True
Let o(c) = -24*c**2 + c. Let f be o(-1). Let s = -11 - f. Suppose -4*x = -4*z + 18 + s, -2*x - 4 = z. Is z a multiple of 2?
True
Let k = -1 - 3. Let y(f) = -7*f - 5. Let t(b) = 7*b + 6. Let p(n) = k*t(n) - 5*y(n). Is 9 a factor of p(4)?
False
Is (-168)/(-7) - -4*1 a multiple of 26?
False
Let l = -109 + 222. Suppose 5*x - 145 = -3*r, -l = -2*x - 2*x - 3*r. Is x a multiple of 16?
True
Let q(v) = v**3 + 6*v**2 - 2*v + 1. Let l = -2 - 2. Let d be l + ((-18)/3)/3. Does 13 divide q(d)?
True
Suppose -4*h - 4*b - 47 = -5*h, 4*h + b = 137. Is 4 a factor of h?
False
Let y(m) = m**3 + 5*m**2 + 4*m - 4. Let d be y(-4). Let o be 1/2 + 146/d. Let z = o + 52. Is z a multiple of 9?
False
Let c(x) = 15*x + 1. Let o be c(3). Let l = -20 + o. Is l a multiple of 13?
True
Let q(m) = m + 11. Let n be q(-8). Suppose 0 = -2*j + n*j. Does 13 divide 3 + (40 - j - 2)?
False
Let k = 5 - 3. Suppose 0*q = -k*q + 12. Is q a multiple of 6?
True
Suppose 0 = -2*q - 143 + 29. Let f = -31 - q. Is f a multiple of 13?
True
Suppose 5*u - 151 - 69 = 0. Is u a multiple of 11?
True
Let u(j) be the second derivative of -j**5/20 - j**4 - 13*j**3/6 - 5*j**2/2 - 2*j. Is 17 a factor of u(-11)?
True
Let s(q) = 4*q**2 - 12*q. Is s(5) a multiple of 14?
False
Let l(j) = -j**2 + j - 3. Let a be l(0). Let m be 0 + 10*(-3)/a. Is (-81)/(-5) + (-2)/m a multiple of 11?
False
Is 17 a factor of ((-25)/(-20))/((-3)/(-204))?
True
Let v be (-1 - (-2)/(-4))*-2. Let i(a) = -a**3 + 5*a**2 - 2*a - 3. Is i(v) a multiple of 9?
True
Let x(o) = -o + 3*o**3 - o**3 + 16*o**2 - 16*o**2. Does 13 divide x(3)?
False
Is 23 a factor of (-2)/5 + (-1521)/(-65)?
True
Let j(d) = -d**2 + 11*d + 3. Suppose 0 = -5*r + 2*w + 35, -3*r + r + 3*w + 25 = 0. Does 10 divide j(r)?
False
Let v(z) = 2*z**2 + 7*z + 9. Let n be v(-6). Suppose 2*i - n = 49. Suppose 11 = -3*h + i. Is h a multiple of 7?
False
Suppose 4*i - 32 = -0*i. Suppose 45 = 5*u - i*u. Let p = -7 - u. Is 4 a factor of p?
True
Suppose -7*r + 11*r - 712 = 0. Does 13 divide r?
False
Suppose -5*i + i + 64 = 0. Let v = i + -5. Is v a multiple of 11?
True
Let j(m) be the second derivative of -m**4/12 - m**3 - 5*m**2/2 + 2*m. Let u be j(-5). Let c = 7 - u. Is c a multiple of 3?
False
Let m(l) = l**2 - 6*l. Is m(8) a multiple of 4?
True
Suppose 0 = -9*f - 420 + 1338. Does 17 divide f?
True
Suppose -5*f + 23 = -137. Let a be f*((-15)/12 - -2). Suppose -k - k = -a. Is k a multiple of 6?
True
Let z(f) = -5*f. Let d(i) = i - 1. Let c(t) = -4*d(t) - z(t). Let q(y) = -y**3 + 6*y**2 + y - 6. Let s be q(6). Is c(s) even?
True
Suppose 2*x = -x + 9. Suppose p + 1 + x = -4*z, 3*p + 56 = -z. Let a = p - -49. Is a a multiple of 10?
False
Let b(l) = -9*l + 10. Does 51 divide b(-20)?
False
Suppose -i = z - 5 - 2, 4 = 2*i. Is z a multiple of 3?
False
Suppose m = -3*m + 12. Suppose 0 = -j + 5*l + 29, -5*j - 3*l + 2 + m = 0. Su