f 9?
False
Suppose -25*b = -20*b - 55. Let d = -3 - -7. Let u = b - d. Is 2 a factor of u?
False
Let j = 164 - 75. Does 3 divide j?
False
Let j(a) = 3 - a - a + a - 5. Let o be j(-4). Let u = o + 0. Does 2 divide u?
True
Let f be 2/4 + 9/2. Let g be f/(-2)*(-6)/3. Let x(u) = 2*u**2 - 8*u + 3. Is x(g) a multiple of 13?
True
Suppose -5*s = -2*s - 36. Suppose -s = -b - 2*b. Is 2 a factor of b?
True
Let o(c) = c**3 - 2*c**2 - 4*c + 5. Is o(5) a multiple of 20?
True
Let i = 12 - -42. Does 18 divide i?
True
Let k = -34 - -300. Is 38 a factor of k?
True
Suppose -3*h - 528 = -5*h. Is h a multiple of 12?
True
Suppose -4*y + 10 + 46 = 0. Is 7 a factor of y?
True
Does 3 divide (2/3)/(20/450)?
True
Suppose 0 = u + 4*p - 27, 0 = 3*u - 3*p + 8*p - 53. Is u a multiple of 2?
False
Let t(n) = n**3 - 5*n**2 - 6*n + 6. Let r(v) = v**3 - 5*v**2 - 6*v + 6. Let h be r(6). Let p be t(h). Suppose 2*j - p = 48. Does 13 divide j?
False
Let o be 6*(1/(-3) + 3). Is 13 a factor of (8/o)/((-2)/(-52))?
True
Let y be (-1 + 12/9)*-3. Suppose 3*h + 42 = h. Does 7 divide ((-7)/h)/(y/(-63))?
True
Suppose -2*s = 3*s - j, -4*s + j = 0. Suppose -5*i = -s*i - 80. Is i a multiple of 16?
True
Let q(u) = -4*u + u + 0*u - 7 - 2*u. Let p be q(-6). Suppose 1 = 3*s - 2*s + 2*n, 3*s = 4*n + p. Does 5 divide s?
True
Suppose -4*q = -0*q + 5*l - 689, q - 4*l = 188. Is 12 a factor of q?
False
Let n(f) = -f**2 + 21*f - 23. Is n(19) a multiple of 4?
False
Let g = -4 + 6. Suppose -4*z = z - 520. Suppose -5*j = -3*p - z, 3*j + g*p - 45 = -2*p. Does 16 divide j?
False
Let p = -38 + 60. Is p a multiple of 6?
False
Suppose 0 = o - 5 - 2. Does 2 divide o?
False
Let u(k) = k - 1. Let z = 20 + -13. Does 3 divide u(z)?
True
Let l be (2 - 2)*2/(-4). Let f = -21 + 8. Let a = l - f. Does 9 divide a?
False
Suppose -28 = -4*t - 2*h - 2*h, -t = -2*h - 1. Suppose -2*d + 5 = p, -2*p - 3 = -2*d - t*p. Is 4 a factor of (-8)/d*3/(-2)?
True
Suppose 395 = 4*h - 125. Does 26 divide h?
True
Let y(j) = -j**3 - 7*j**2 + j + 8. Let z be y(-8). Suppose 32 = u - f, 4*u - 2*u - z = -3*f. Let k = -16 + u. Is 16 a factor of k?
True
Suppose -5*w - 5 = -4*k, -3 = w + 5*k - 2. Is 4 a factor of w - (-3 - (9 + -3))?
True
Let l = 89 + -84. Is l a multiple of 2?
False
Let m be (4 - 8)/(-1 + 0). Suppose -y - 7 = -4*x, 4*y - 7*y - m*x + 59 = 0. Does 4 divide y?
False
Suppose -226 = -3*z - 2*y, 4*z = -2*y + 3*y + 305. Does 6 divide z?
False
Suppose -5*t - 4*b = -336, 0 = t + 2*t + 2*b - 200. Does 12 divide t?
False
Let n be (3 - (-1 + -2))*1. Is n/(-24) + 41/4 a multiple of 4?
False
Suppose -3*f = -4*z + 2*f + 540, 0 = -2*f - 8. Is 14 a factor of z?
False
Suppose 0 = 6*f + 8*f - 364. Does 14 divide f?
False
Suppose z - 10 = -5*o, 0*z = 2*z + 2*o - 20. Does 10 divide z?
True
Suppose 7*q - 196 = 4*q + j, -15 = -3*j. Does 19 divide q?
False
Suppose -i - 2 = -3, 3*o = 3*i + 9. Suppose -2*r + o*r - 18 = 0. Does 7 divide r?
False
Suppose -5*p = -3*p. Suppose 4*m + 90 = 5*h, 4*m - 30 + 10 = p. Is h a multiple of 22?
True
Let t be (-2)/(-3)*948/8. Let c = 127 - t. Suppose -c = -3*w + w. Is w a multiple of 12?
True
Let g(o) = 3*o + 5. Let l(c) = -c**2 + 6*c. Let w(p) = -4*p - 3. Let f be w(-2). Let j be l(f). Is g(j) a multiple of 7?
False
Suppose -23 = 3*v + 4*a, 0 = -v - 4*a - 0 + 3. Let b = v - -22. Is b a multiple of 5?
False
Let m = 8 - -4. Suppose 5*s = 3*s + m. Is 3 a factor of s?
True
Let z(f) = 2*f**2 + 15*f - 15. Let l be z(-9). Let w be 4/3 + (-2)/(-3). Suppose w*u = -u + l. Does 4 divide u?
True
Is (-9)/9 + 78*1 a multiple of 7?
True
Let q be (1 + 14/(-6))*-3. Suppose q*z = 5*z - 5*i, 0 = z - i - 8. Does 10 divide z?
True
Suppose 5*n + 3*g = 100, 2*n + 3*g = -n + 54. Does 7 divide n?
False
Let o(z) = 6*z - 10. Does 16 divide o(8)?
False
Let h be (-2)/3 + (-76)/(-6). Is 8 a factor of h + 1 + (-2 - -4)?
False
Let t(m) = -5*m**3 - 2*m**2 - 3. Let x(n) = -n + 1. Let z(k) = t(k) + 2*x(k). Let c be z(-1). Let j = c + 1. Is 3 a factor of j?
False
Suppose -452 - 3148 = 5*f. Does 20 divide (18/8)/((-27)/f)?
True
Is 14*(-2)/(-12)*3 a multiple of 2?
False
Is 1998/20 - (-6)/60 a multiple of 20?
True
Let h(x) = 8*x**2 - 4. Is h(3) a multiple of 21?
False
Let a(g) = -g**3 + 7*g**2 + 9*g + 6. Let j be a(7). Suppose -2*v = 21 - j. Is v a multiple of 24?
True
Let c = -4 + 33. Is 17 a factor of c?
False
Let p = 438 + -100. Does 43 divide p?
False
Suppose -10*q + 9*q + 121 = 0. Is 11 a factor of q?
True
Let p be 17/4 + (-1)/4. Let f = p + -2. Suppose 6*v - f*v = 168. Is v a multiple of 21?
True
Let r(m) = -m + 3. Is 3 a factor of r(-6)?
True
Suppose -j + 3 = -3*b - 19, -j + 22 = -b. Let c(v) = -7*v + 5. Let g(s) = -2*s + 1. Let u(o) = j*g(o) - 6*c(o). Is 4 a factor of u(-6)?
True
Let u = 198 + -306. Is 9 a factor of 5*4/((-80)/u)?
True
Let g(t) = -t**3 - 7*t**2 - 5*t - 4. Let o(u) = -7*u**2 - u. Let s be o(-1). Let x be g(s). Let n = 19 - x. Does 11 divide n?
False
Let r(b) = 2*b - 4. Is 4 a factor of r(6)?
True
Suppose -9*w + 142 = -1046. Is w a multiple of 47?
False
Suppose 3*g - 702 = -2*u, 2*u + g = -3*g + 702. Is u a multiple of 27?
True
Let d be 3 + -2 + (4 - 2). Let k be d/(3 + 0)*-10. Let o = k + 20. Is o a multiple of 10?
True
Is (-6)/(26/16 - 2) a multiple of 4?
True
Suppose 4*w - 3*b - 96 = 0, 3*w - w + 3*b - 66 = 0. Is w a multiple of 9?
True
Let r(h) be the first derivative of h**5/120 + 17*h**4/24 + h**3/3 + 4. Let z(p) be the third derivative of r(p). Does 5 divide z(-12)?
True
Let n(a) = -a**2 + 11*a + 3. Let p be n(8). Suppose p = 5*l - 8. Does 4 divide l?
False
Suppose 16 = -5*l + 56. Is 4 a factor of l?
True
Let n(y) be the second derivative of -y**3 + 5*y. Does 9 divide n(-3)?
True
Let q(f) = -f**2 + 2*f + 1. Let d be q(3). Let t be (0 - d)/(-1)*-4. Suppose l - t = 21. Does 10 divide l?
False
Suppose q + 4*j + 26 = -16, q = -3*j - 37. Does 7 divide (-33)/q*(-28)/(-3)?
True
Is (-3184)/(-32) - 3/(-2) a multiple of 18?
False
Let x = -12 + 49. Let d = x + -12. Is 12 a factor of d?
False
Suppose 14 = -3*r - 5*k, -r + k = 2*r - 10. Suppose g - 19 - 14 = -r*d, -17 = -d - g. Does 11 divide d?
False
Let i(b) = 3*b + 2*b**2 - 3*b**2 - 5 + 2*b**2. Let c be i(6). Suppose -2*y = -3*y - 4*l + 30, 2*y - 3*l - c = 0. Is 11 a factor of y?
False
Let s(h) = -h**2 + 2*h - 1. Let v be s(3). Let q be 1505/10 + 2/v. Suppose -q = -4*c - c. Does 13 divide c?
False
Suppose p + 107 = 4*x - 0*x, -83 = -3*x - 2*p. Does 15 divide x?
False
Let c be -8*(27/(-4) + -1). Is c/10 + 4/(-20) a multiple of 3?
True
Suppose -12 = 2*y - 6*y. Suppose 60 = q + y*q. Is q a multiple of 4?
False
Let p(a) = 11*a. Let k be p(3). Suppose -4*i + k + 15 = 0. Is i a multiple of 6?
True
Let i(x) = x**3 + 9*x**2 - 2*x + 30. Is i(-9) a multiple of 6?
True
Let u(f) = f**2 + 10*f + 11. Let a be u(-9). Suppose -x = -a*x + 5. Suppose -w - d + 7 = -3, -d = -x*w + 44. Is 9 a factor of w?
True
Let m = 24 + -9. Is 9 a factor of m?
False
Let j = -30 - -18. Let z be (j - -3)/(-3) + 93. Suppose -4*i + 32 = -z. Is 16 a factor of i?
True
Let o(m) = -17*m - 2. Is 19 a factor of o(-3)?
False
Let v(a) be the third derivative of -a**6/60 + a**5/10 - a**4/4 + a**3 + a**2. Let t be v(4). Is 20 a factor of (1 - 4) + t/(-2)?
False
Let f(x) = -x**2 + 28. Let i = 27 + -27. Is f(i) a multiple of 7?
True
Suppose -102 = f - 2*f. Does 12 divide f?
False
Suppose v = -4*v. Suppose -4*f + v*f + u + 29 = 0, 5*f - 2*u - 34 = 0. Is 4 a factor of f?
True
Suppose 4*g + 2*i = 0, g = -0*g - i. Suppose t + 14 - 36 = g. Does 9 divide t?
False
Suppose 5*a - 24 = -p, -4*a - p + 17 = 2*p. Suppose -t = -a*g + 12, t + 4*g - 15 = -0*t. Suppose -j + 124 = t*r, -2*j + 0*j = r - 43. Is r a multiple of 17?
False
Suppose 0 = -7*v + 4*v - 96. Let a = -20 - v. Does 6 divide a?
True
Let v = -30 + 78. Is 12 a factor of v?
True
Suppose 0*q - 2*q + 104 = 0. Does 13 divide q?
True
Let u(f) = -f**2 + f + 0*f**2 + 2*f**2 + 0*f**2 + 9. Let n be u(-7). Is 12/(-42) + n/7 a multiple of 7?
True
Let s be 1/(-3) + (-48)/(-9). Suppose b + 12 = 2*p + 3, 5*p + 3*b + s = 0. Suppose -p*v - 4*a + 52 = 0, v - 2*v + 2*a + 26 = 0. Is v a multiple of 13?
True
Let f(z) = z. Let a(g) = -10*g. Let y(x) = a(x) - 2*f(x). Is 9 a factor of y(-3)?
True
Let c(k) = 14*k - 1. Let d be c(1). Let x be (d/(-4))/((-3)/12). Suppose -x = -3*z + 5. Does 4 divide z?
False
Let 