) a multiple of 9?
False
Suppose -q - 3*r = -186 + 45, -142 = -q - 4*r. Is q a multiple of 23?
True
Let w = 21 + -6. Does 3 divide w?
True
Suppose 5*j - 3*g + 64 = 308, 2*g + 100 = 2*j. Does 9 divide j?
False
Suppose 3*l - 228 = -0. Is 18 a factor of l?
False
Suppose -t = -5 + 2. Suppose -t*z - 92 = -7*z. Let q = z + -14. Is 9 a factor of q?
True
Suppose -14*s = -11*s - 735. Is 35 a factor of s?
True
Let u(h) = h**3 - h + 1. Let m be u(1). Let q be (2 + -1)*m + 1. Suppose i + 219 = 4*n - 2*i, 0 = -q*i - 2. Is n a multiple of 19?
False
Suppose n - 96 = -0*n. Is n a multiple of 24?
True
Let o(d) be the third derivative of -d**6/30 + d**4/24 + d**3/6 - d**2. Let u be o(-1). Suppose u*z = -z + 140. Is 12 a factor of z?
False
Suppose 1021 = 11*p - 849. Is 5 a factor of p?
True
Let i = -13 - -20. Does 7 divide i?
True
Suppose -2*h - 89 = -5*t, 2*t - 44 = 6*h - h. Suppose 1 + t = 2*z. Is z a multiple of 3?
True
Suppose -5*b - 219 = 146. Let d = b + 102. Is 12 a factor of d?
False
Let a(c) = -6*c - 4. Let f be a(4). Let j = 20 - f. Is j a multiple of 16?
True
Suppose 3*v - 4*b - 114 = 0, -3*b = v + 3*v - 177. Does 21 divide v?
True
Suppose 6 + 0 = z. Let c(g) = -4*g + 7 + 0*g + g**3 + 3*g + 4*g - 6*g**2. Does 10 divide c(z)?
False
Let z(g) = 3*g + 20. Is 16 a factor of z(4)?
True
Let k(f) = 6*f**3 + f**2 - 2*f. Let o be k(2). Suppose 0 = -y + 5*y - o. Is 6 a factor of y?
True
Let l = 97 - 35. Does 3 divide l?
False
Let j(r) = 24*r - 7. Is 21 a factor of j(4)?
False
Let i = -56 - -128. Is 15 a factor of i?
False
Let j = 4 - 4. Suppose j = w - 0*w. Suppose -4*d - 18 + 54 = w. Is 7 a factor of d?
False
Suppose -4*a + 293 = -27. Let d = -27 + a. Suppose 5*l - 1 = -4*x + d, 4*l - 41 = -x. Does 10 divide l?
True
Let v be (7 - 0)*(-3 - -2). Let g(b) = -b**2 - 8*b - 6. Let u be g(v). Is 11 a factor of u/(-1 - (-23)/22)?
True
Suppose 99 + 149 = 4*l. Does 18 divide l?
False
Let q(n) = 116*n**2 + 2*n - 1. Does 11 divide q(1)?
False
Let q(t) = -3*t + 5. Let r(o) = o**3 + 7*o**2 + 2*o + 7. Let g be r(-7). Is 13 a factor of q(g)?
True
Suppose -2*u - s = -0*s - 46, -4*u + 2*s = -108. Suppose -5*r + w - 3*w = -u, -3*w + 9 = -2*r. Does 2 divide r?
False
Let b(f) = -3*f + 1. Let t be b(-1). Suppose 5*l + 0*j = 2*j + 242, 5*l + t*j - 266 = 0. Is l a multiple of 12?
False
Let x(u) = -49*u - 7. Is x(-3) a multiple of 25?
False
Let w(p) = 0*p + 4*p**2 + 2 + 0*p**2 + 3*p. Let q = -1 + -1. Is w(q) a multiple of 12?
True
Suppose l - 5*d - 62 = 0, 6*d - 124 = -2*l + 5*d. Is 15 a factor of l?
False
Suppose k = 10 + 11. Let p be k/9 + (-6)/(-9). Let q = 7 - p. Is q a multiple of 4?
True
Let h = -38 + 53. Let m be (-1)/(-5) - (-2727)/h. Is 15 a factor of m/6 + 2/(-6)?
True
Let j = -14 + 46. Is 16 a factor of j?
True
Suppose 0 = a - 102 - 65. Is a a multiple of 7?
False
Let v be 82 - -2*(-1)/(-1). Suppose 3*u + w + v = 0, 2*u - w + 27 = -24. Let j = -13 - u. Is j a multiple of 7?
True
Suppose f + 2*a - 26 = 4*a, -4*f + 108 = -4*a. Is (-7)/f - (-82)/8 a multiple of 5?
True
Suppose -10 - 10 = -5*k. Suppose 3*u + u = -p + k, -3*u = -3. Suppose -j - 2*j + 66 = p. Does 11 divide j?
True
Is ((-3)/(-2))/((-7)/(-84)) a multiple of 16?
False
Let r(o) = -o + 9. Let x be r(10). Is 10 a factor of (-1 - (x - -1)) + 20?
False
Suppose f + k = -2*k + 153, -3*f = 4*k - 444. Is 12 a factor of f?
True
Let u be (126/(-35))/((-2)/15). Suppose -31 = 5*l + 24. Let g = u + l. Is g a multiple of 8?
True
Let v(d) = 5*d - 8. Is v(4) a multiple of 12?
True
Let u = 9 - -17. Is 10 a factor of u?
False
Let h be (-2)/(-3)*(-18)/(-4). Suppose 64 = 5*a + 3*u, -h*u = 2*u - 15. Is 9 a factor of a?
False
Suppose p + 21 = -12. Let a = 18 + p. Does 11 divide 4/(-6) - 340/a?
True
Let f(o) = -2*o**3 - 3*o**2 + 2*o - 4. Let m be f(-3). Suppose -i = -5*q + m, -q - 3*i - 3 = -0. Suppose 4 = q*k - 68. Is 17 a factor of k?
False
Let y = 3 - 6. Let g(n) = -2*n**3 - 2*n**2 - 3*n - 4. Is g(y) a multiple of 15?
False
Let v = 132 - 86. Is v a multiple of 18?
False
Suppose -d = -4*r + 445, 2*r + 3*d = -d + 218. Suppose -2*j = -j - r. Suppose q = 4*q - j. Is q a multiple of 17?
False
Suppose -9 = -g + m - 2, -3*m - 17 = -g. Let q = 0 + g. Suppose 4*d = 3*o + 131, q*d - 2*o - 47 = 21. Is 17 a factor of d?
False
Let c = -29 - -45. Suppose -2*r = 2*o - 7*r - c, -4*o + 88 = 4*r. Is 9 a factor of o?
True
Let u(n) = -n + 8. Let k be u(4). Suppose 1 - k = -q. Suppose -h = -24 + q. Does 7 divide h?
True
Let v(q) = q**2 - 2*q - 1. Let k be v(3). Suppose k*t - 73 = -15. Let d = t + -13. Is 6 a factor of d?
False
Suppose -10 = -0*c - 2*c. Suppose -75 = -2*o + c*s - 12, 0 = -5*s - 15. Is o a multiple of 12?
True
Suppose -3*c - c = -8. Suppose 4*z + 50 = c*u + 2, -2*z = -4*u + 72. Is u a multiple of 16?
True
Let l = 157 + -104. Does 18 divide l?
False
Let g(u) = -6*u**2 - 5*u - 8. Let a(h) = -7*h**2 - 5*h - 9. Let c(n) = 5*a(n) - 6*g(n). Does 17 divide c(-7)?
True
Let h(c) = c**3 - 3*c**2 + 3. Let z be h(3). Does 10 divide z/6*-4 + 41?
False
Let v be 2/3 + 60/18. Suppose -o = -v*o + 105. Is 19 a factor of o?
False
Let x = 603 - 323. Is 35 a factor of x?
True
Let n(l) = 2*l**2 + 7 - 7 - 4. Is 17 a factor of n(4)?
False
Let c(r) = r**2 + 6*r + 3. Let o be c(-4). Let x = 42 - 15. Let a = x + o. Does 9 divide a?
False
Let l = 5 - 5. Suppose l*m = 5*m - 90. Does 15 divide m?
False
Let a(u) = u**3 - u + 50. Is 10 a factor of a(0)?
True
Suppose 3*u = u + 12. Does 3 divide (11 - 2)*2/u?
True
Let k be (2 - 0)/((-2)/(-2)). Suppose 0*i + 4 = k*i. Is (-19)/2*(-4)/i a multiple of 11?
False
Let h(z) = z**2 - 9*z + 9. Let d be h(7). Let u(l) = l**3 + 5*l**2 - 5*l - 6. Is u(d) a multiple of 12?
False
Suppose 4*t - 10 = -t. Suppose 0 = -3*r + t*v - 3, -2*r = 2*v + 3*v - 17. Let l(i) = 11*i**3 + i. Does 12 divide l(r)?
True
Suppose 6 = p + 2*p. Let v be (p - 2)/(-4 + 3). Suppose 5*x + 149 = 3*r, -x + 3 - 1 = v. Is r a multiple of 22?
False
Let j(o) = o. Let l be j(5). Suppose -c + l*c = -24. Let q = 12 + c. Is q a multiple of 3?
True
Suppose 8*a = 246 + 194. Is 5 a factor of a?
True
Suppose -4*v + 58 = -0*h + 2*h, -2*h = v - 49. Does 9 divide h?
False
Let z(s) = 15*s**3 + s**2 - 1. Let x be z(1). Suppose -t = -4*r - x, 0 = 2*t + t - r - 23. Is 5 a factor of t?
False
Let f = 8 - 3. Suppose -70 + 5 = -f*v. Is 4 a factor of v?
False
Let c(a) = -15*a + 51. Does 19 divide c(-8)?
True
Let j(n) = 7*n**3 - 2*n**2 - 13*n + 7. Let b(i) = 15*i**3 - 5*i**2 - 27*i + 14. Let m(c) = 6*b(c) - 13*j(c). Does 23 divide m(-6)?
True
Let c(g) = -456*g. Let m(r) = 35*r. Let u(s) = 2*c(s) + 27*m(s). Let p be u(-1). Let v = -9 - p. Is v a multiple of 13?
False
Suppose 3*r = -4*f + 141, -3*f - 16 = 2*r - 121. Let z = 48 - f. Is 2 a factor of z?
False
Let q = -48 - -68. Does 20 divide q?
True
Let q = 4 + -8. Let i(y) = y**3 - 20*y**2 + 19*y + 24. Let m be i(19). Let l = m - q. Does 19 divide l?
False
Suppose m + 3 = 0, 0*x + 29 = 2*x - 5*m. Is 7 a factor of x?
True
Let q = -13 - -17. Suppose 0*n + q*n = 132. Is 11 a factor of n?
True
Let d(i) = i**2 + 6*i - 1. Let t be 38/9 + (-10)/45. Is d(t) a multiple of 15?
False
Let t = -452 - -728. Is 46 a factor of t?
True
Let b be -6*4/(1 - -7). Let d(o) = -4*o - 2. Does 2 divide d(b)?
True
Let p = 6 + 1. Let x = p - 3. Is 4 a factor of x?
True
Let q(y) = -4*y - 3 + 3 + 0*y. Is q(-8) a multiple of 8?
True
Let s(a) = a**3 + 7*a**2 + 7*a + 8. Let f be s(-6). Suppose -118 = -f*u + 112. Suppose -4*x - u = -3*q, -4*q = 5*x - 3*x - 146. Is q a multiple of 13?
False
Let i(o) be the second derivative of -o**5/20 - o**4/4 + o**3/2 - o**2 - 5*o. Is i(-4) even?
True
Let l = -113 - -193. Is 16 a factor of l?
True
Suppose 0 = 2*i - 6 - 0. Suppose 0*p = i*p - 48. Is 8 a factor of p?
True
Let l = 4 - 4. Suppose -3*b + 5*u + 7 = l, 3*b + 2*u - 4*u - 19 = 0. Does 7 divide b?
False
Let q = 41 - 22. Is 10 a factor of q?
False
Let s(z) = z**3 + 4*z**2 + 5*z + 1. Let j(n) = n**3 + 4*n**2 + 5*n. Let w(m) = 4*j(m) - 5*s(m). Let o be w(-4). Suppose o = 4*t - 5. Is 2 a factor of t?
False
Let q(k) = k**3 + 34. Is q(0) a multiple of 5?
False
Let b = 68 - 29. Does 5 divide b?
False
Is (-8)/6 + 2 - (-175)/21 a multiple of 9?
True
Does 21 divide 12*((-14)/(-8))/1?
True
Suppose 0 = -2*j - j + 18. Let i(h) = 2*h**2 - 7*h + 6. Let m be i(j). Suppose 140 - m = 4*l. Is 11 a fac