 a factor of a?
True
Let q(n) = n**3 - 11*n**2 + n - 3. Suppose -2*f = -j + 5*j - 42, 0 = j - 2*f - 13. Does 4 divide q(j)?
True
Let l(p) = -p**3 + 6*p**2 - 4*p - 6. Let z be l(6). Let w = 44 + z. Does 4 divide w?
False
Let q = -29 - -43. Suppose 5*s + 0*s + v = -11, 0 = 2*s - 2*v + q. Is (30/(-4))/s*4 a multiple of 5?
True
Let b = 865 - 568. Does 37 divide b?
False
Suppose 4*z + 2*p = 1194, 0*z + 4*z - 1198 = 2*p. Is 63 a factor of z?
False
Suppose -15*d = -7*d - 264. Is 2 a factor of d?
False
Suppose b - 2*b = -87. Is 29 a factor of b + (-3 - 0) + 1?
False
Suppose 0 = -5*z - 25, 4*z - 13 = 4*g - 5*g. Let x = g - -3. Does 12 divide 151/9 - (-8)/x?
False
Suppose -5*b + 0*d + 94 = 4*d, 2*b = 5*d + 31. Let n = -8 + 7. Let g = b - n. Does 5 divide g?
False
Suppose -3*l - 250 = -3*x - 2*x, 3*l + 150 = 3*x. Is 10 a factor of x?
True
Suppose 144 = -39*c + 41*c. Is 8 a factor of c?
True
Suppose 7 = d + 2. Suppose -3*i + 0*i + 28 = 2*o, -2*o = -d*i - 12. Suppose -5*l = -69 - o. Is l a multiple of 8?
True
Let w = 230 - 121. Is 7 a factor of w?
False
Let g = 18 - 10. Does 4 divide g?
True
Suppose 0 = -4*l - 5*j + 29, 5*j - 45 = -3*l - 17. Let p = l + 32. Does 13 divide p?
False
Let d = 5 - 2. Let g(q) be the first derivative of q**3/3 + q**2/2 + q + 1. Is g(d) a multiple of 13?
True
Let c(a) = 2*a**2 + 24. Is c(6) a multiple of 12?
True
Let p(x) = 2*x**2 - 3*x - 7. Is 4 a factor of p(-3)?
True
Suppose 3*a + 17 = -j - 3*j, 0 = -2*a - j - 13. Let r = -31 - a. Let p = r + 50. Is 13 a factor of p?
True
Suppose -4*h + 258 = 4*i - 6*h, 0 = -i - 2*h + 57. Does 45 divide i?
False
Suppose -4*u = u - 3*o, -2*u = -4*o + 14. Suppose 10 + u = l. Suppose 3*c = l + 17. Does 4 divide c?
False
Let j be 4/6 + (-10)/(-3). Suppose j*v - 39 = 33. Does 15 divide v?
False
Let d(w) = -w - 11. Suppose -42 = 3*l - u + 3*u, 5*l + 2*u + 74 = 0. Is d(l) a multiple of 5?
True
Let p be ((-6)/(-9))/((-2)/(-162)). Suppose 3*h + 3*a - 36 = 0, 4*h - a - p = a. Is 13 a factor of h?
True
Suppose 5*n = -k - 16 - 1, 20 = -4*n. Let d be 3/(-2)*k/6. Is 12/15*(d - -52) a multiple of 20?
True
Suppose 3*z = -4*g - 8, 3*z + 6*g - g = -10. Suppose 3*a - 5*a = 0, z = c + 3*a - 19. Is 13 a factor of c?
False
Let j(n) = -n**2 + 7*n. Let q(h) = h + 9. Let d be q(-6). Does 12 divide j(d)?
True
Suppose -2*k + 0*k = 0. Suppose 0 = -3*f - h + 26 + 137, k = -5*f + 3*h + 253. Is 20 a factor of f?
False
Suppose -4*t = -4*d + 136, 3*d = -t + 44 + 78. Let l = d + -4. Does 10 divide l?
False
Suppose 3*n + 6*l = 5*l + 476, 4*l = -4*n + 624. Suppose -v - n = -6*v. Is 16 a factor of v?
True
Suppose 4*q - 134 = -2. Is q a multiple of 7?
False
Let u = -51 + 72. Suppose -3*o + u + 0 = 0. Suppose -54 = -o*m + 4*m. Does 18 divide m?
True
Suppose 0*r + 4*r - 48 = 0. Is 13 a factor of (r/(-5))/(3/(-40))?
False
Let z(i) = i**2 + 4*i - 13. Let v be z(-9). Suppose 0 = -2*t + 4 + v. Is 9 a factor of t?
True
Suppose 0*o + d - 10 = -4*o, -o - 3*d = -8. Suppose -o*k + 279 = k. Does 31 divide k?
True
Let h(r) = 14*r**3 + 2*r**2 + 2*r + 1. Let o be h(-1). Let i(k) = -15*k - 2. Let q(x) = -7*x - 1. Let d(s) = o*q(s) + 6*i(s). Is d(1) even?
True
Suppose 0*n + 648 = 5*z - n, 0 = -4*z - 3*n + 507. Does 9 divide z?
False
Let f be 2/(-3) + (-136)/(-6). Suppose -3*o - 5 = f. Is 8 a factor of (1 + -2)*-2 - o?
False
Let k = 97 - 45. Is k a multiple of 13?
True
Suppose -2*h + 6 = 0, y + 4*h - 3 = 2*y. Is y a multiple of 2?
False
Let p be 9/15 - 24/15. Is (2 + -13)/(1*p) a multiple of 4?
False
Let m(x) = 6*x**2 + 2*x + 4. Let z be m(3). Let j = z + -46. Suppose -3*w - j = -6*w. Is w a multiple of 6?
True
Let d be (4/4)/((-2)/6). Let s(r) = -8*r + 1. Is s(d) a multiple of 10?
False
Suppose i - l + 13 - 5 = 0, -i + 12 = 4*l. Let g(p) be the second derivative of -5*p**3/6 - 3*p**2 - 2*p. Does 14 divide g(i)?
True
Suppose 4*j = x + 749, 2*j - 3*j + 5*x + 211 = 0. Suppose -j = -5*z - 0*z - 3*c, -2*z + 68 = -2*c. Is z a multiple of 18?
True
Suppose 0*y - 12 = -4*y. Let w = 5 - y. Suppose -4*x + 3*s = 1, 0 = -3*x + 3*s - w - 1. Is 2 a factor of x?
True
Let i(u) = u**3 + 3*u**2 - 2*u - 2. Let h be i(-3). Suppose -4*a - t - h*t = -221, 2*a - 5*t - 73 = 0. Does 18 divide a?
False
Let f(h) = 7*h - 71. Let a be f(13). Suppose 0 = -6*d + d + 30. Let g = a - d. Is 7 a factor of g?
True
Suppose -5*h - 3*m = -233, h + 2*m - 49 = -m. Is 22 a factor of h?
False
Suppose 0 = r - 0 - 4. Suppose -2 = -3*x - 5, -146 = -r*m + 2*x. Is 12 a factor of m?
True
Does 13 divide 2/3 - (-1194)/18?
False
Suppose 92 = -4*z + 660. Suppose 2*j - z = -3*x, 0*x + 5*x + 5*j - 235 = 0. Is x a multiple of 16?
True
Let n = -4 + -2. Let j be -1*3/n*26. Let q = j + -6. Is 7 a factor of q?
True
Let r = -1 + -1. Let v be 9 + 1 + r + -3. Suppose 2*i = j + 38, 8*j = -v*i + 3*j + 65. Is i a multiple of 9?
False
Let y(f) = -f**2 + 6*f + 5. Let c(n) = -n - 1. Let k be c(-6). Does 10 divide y(k)?
True
Let h(u) = -u + 2. Let p be h(4). Let i(l) = l**3 + 2*l**2 - 1. Let w be i(p). Does 11 divide w/2 + 295/10?
False
Let h = 1 - 6. Does 2 divide 2/10 - 29/h?
True
Let h(z) = -z**2 + 6*z - 6. Suppose 8 = n + n. Let x be h(n). Is 18 a factor of (-1 - (-63)/3)*x?
False
Let o = 16 - 13. Suppose -44 = l - o*l. Is l a multiple of 11?
True
Let f = 8 + -7. Does 3 divide 10 + 0/f - -2?
True
Let z = -3 - -16. Is 13 a factor of z?
True
Let f be (-5)/10 - (-1002)/4. Suppose 0 = 3*s, 0*o + 5*s = 5*o - f. Is 19 a factor of o?
False
Suppose -3*t + 7*t - 36 = 0. Is 9 a factor of t?
True
Let c = -19 - -13. Let a = -7 - c. Let h = 2 - a. Is h even?
False
Let k(h) = 3*h + 3. Let m be k(3). Suppose 4*q + 5*y - 111 = -3, 3*y = m. Is q a multiple of 13?
False
Let j be (7/14)/((-1)/(-20)). Suppose -3*l = 5*d - 153, 2*l + j - 2 = 0. Is 18 a factor of d?
False
Let z(k) = 2*k**2 + 2*k - 18. Is z(-9) a multiple of 8?
False
Let q be (-3)/((-22)/12 + 2). Let p be 182/(-6) + (-1)/(-3). Let c = q - p. Is 6 a factor of c?
True
Suppose 0*h = -5*h + 120. Does 24 divide h?
True
Let p(z) = z**2 + 3*z + 5. Let d be ((-6)/(-5))/((-2)/(-5)). Let m(i) = -i - 1. Let y be m(d). Is 7 a factor of p(y)?
False
Suppose 0 = -l - 5*m - 5, -6*m + m = -l + 15. Suppose 3*n = l*n - 3*h - 43, -n + 11 = -5*h. Does 13 divide n?
True
Suppose 0 = -4*x - 4*j - 0*j + 456, -2*x + 249 = -5*j. Is 13 a factor of x?
True
Let u(v) be the first derivative of v**3/3 + 4*v**2 + 7*v - 8. Does 2 divide u(-8)?
False
Let u(l) = -l**3 - 11*l**2 - 13*l - 22. Is u(-10) a multiple of 8?
True
Let z = 89 + -54. Is z a multiple of 7?
True
Let p(g) = -3*g - 4. Let v be p(4). Let x = -22 - v. Is 2 a factor of (-20)/x - (-3)/(-9)?
False
Let a(u) = u**3 - 4*u**2 + 2*u + 3. Suppose -3*t + 2 = -7. Let m be a(t). Suppose 5*i + 2*z - 29 = -0*z, -3*i + 3*z + 9 = m. Is i a multiple of 4?
False
Let q = -2 + 2. Let g = 5 - q. Suppose 0*p = -g*p + 40. Is 4 a factor of p?
True
Suppose -2*l = 2*l - 3*o, -3*l - 5*o + 29 = 0. Suppose -2*v + l = v. Suppose -40 = -2*x + 2*f, -x + 5*f + 5 - v = 0. Does 9 divide x?
False
Let d(v) = v. Suppose -z - 2*z + 27 = 0. Is d(z) a multiple of 7?
False
Let t(j) = j**2 - 11*j + 9. Let m be t(8). Let o(d) = -d - 4. Does 6 divide o(m)?
False
Let t be (7 + -1)*1 - 1. Suppose -l + t*u + 10 = 0, -2*u - 25 = -4*l + 3*u. Suppose -l*n + 3*n = -48. Is n a multiple of 10?
False
Let b(c) = 13*c + 1 + 5*c - 2*c. Let i be b(-2). Let m = -17 - i. Does 14 divide m?
True
Let h(k) = 6*k**2 - 10*k + 37. Is 20 a factor of h(5)?
False
Suppose -4*v - 10 = 3*y, -3*y + 4 = v + y. Let n be (-354)/v + (-4)/8. Suppose -2*p + 0*p = -n. Is p a multiple of 22?
True
Suppose 5*s + 10 = -5*o, -3*s - 4 = 5*o + 6. Is 7 a factor of o + 6 - 2 - -18?
False
Suppose 20 = -2*t + 3*t. Let k be (t/6)/((-2)/3). Let b(h) = h**3 + 6*h**2 + 3*h + 5. Is 5 a factor of b(k)?
True
Let v = -4 + 33. Does 6 divide v?
False
Suppose -88 = 5*l - l. Is l*(-2)/4 - 2 a multiple of 2?
False
Let q be 5*(3 - (-1 - -5)). Is (-142)/q + (-21)/(-35) a multiple of 10?
False
Suppose 3*v + 3*f = -54, -2*f - 45 - 21 = 4*v. Let g = -8 - v. Does 7 divide g?
True
Suppose 2*c - 202 = -5*f + 85, 3*c - 419 = 4*f. Is 47 a factor of c?
True
Suppose 0 = 3*l - 0*l + 4*z - 28, l - 4*z - 4 = 0. Suppose -2*t + l - 2 = 0. Is 3 a factor of t?
True
Let v = -1 + 81. Does 17 divide v?
False
Let r(k) = -k**2 + 7*k + 3. Let g be r(6). Let o =