+ p. Is r a multiple of 4?
False
Suppose -2*m = l - 13, 3*l - 2*l + 1 = 0. Does 4 divide m?
False
Let v(m) = 3*m**2 + 0*m**2 + 2 - 2*m**2. Is 3 a factor of v(2)?
True
Suppose 20 = -4*w + 9*w. Suppose -36 = -2*u - 4*j, -2*j = 5*u - w*j - 114. Does 7 divide u?
False
Suppose 8*l - 20 = 3*l. Suppose l*w + 60 = -0*w. Let h = 27 + w. Does 6 divide h?
True
Suppose 2*j + k = 49 + 122, 2*j + 4*k - 180 = 0. Is 28 a factor of j?
True
Let q be ((-2)/(-5))/(3/(-105)). Suppose -4*g + 56 = -2*g. Is g/(-8)*24/q even?
True
Let s be 66/15 + (-3)/(-5). Let g = 32 - s. Is g a multiple of 9?
True
Let x(m) = 18*m - 7. Let l(d) = 17*d - 6. Let u(s) = -7*l(s) + 6*x(s). Let o be u(-2). Suppose o + 22 = 2*k. Is 22 a factor of k?
True
Let k(p) = -p**2 - p - 1. Let f(z) = z**3 + 4*z**2 + 2*z - 4. Let v(b) = f(b) - 4*k(b). Is v(-6) a multiple of 18?
True
Let w be 8/3*(2 - -1). Suppose 4*q - w = i + 3*i, 5*q - 2 = -3*i. Does 11 divide (21 - i)*(5 - 4)?
True
Let u(a) = a - 3. Suppose -3 + 15 = 4*j. Let o be u(j). Suppose 2*b + o*b - 44 = -2*k, -26 = -k + b. Does 12 divide k?
True
Suppose 0 = 4*c - 3 - 41. Suppose c = p - 0. Is 11 a factor of p?
True
Let k be 3/6*0 - 2. Let m = 27 + k. Let h = m + -10. Is 13 a factor of h?
False
Suppose 0 = p - 2*h - 12, 6 = -p + 3*p + 2*h. Let s be (2/(-3))/((-2)/p). Suppose 2*u + s*u = 32. Is 8 a factor of u?
True
Suppose -v - 5 = 2*y - 39, 5*y - 85 = -3*v. Let i = -1 + y. Is i a multiple of 10?
False
Suppose 3*x - 2*d = 25, 2*x + 3*x + 3*d = 29. Does 3 divide (x/(-14))/(2/(-36))?
True
Does 40 divide (-2 - 38/6)*-12?
False
Let y(r) = 2*r**3 + r**2 - 3*r - 1. Is 9 a factor of y(3)?
False
Let n(w) be the second derivative of -11*w**4/24 - w**3/6 - w**2/2 + 2*w. Let b(t) be the first derivative of n(t). Does 13 divide b(-3)?
False
Suppose -3*f - 10 = -5*g + 409, g = -4*f + 70. Does 29 divide g?
False
Is 11 a factor of 25 + -24 + (-174)/(-2)?
True
Suppose 654 = 5*j - 621. Does 15 divide j?
True
Let g(x) = 7*x - 5. Let a be (2/6)/(3/99). Let k = a + -7. Is g(k) a multiple of 15?
False
Suppose -2*y + 113 = -125. Is y a multiple of 17?
True
Let b(n) = -n**3 - 2*n**2 + 5*n - 2. Is b(-5) a multiple of 3?
True
Let o(z) = -12*z**2 + 5*z - 4. Let b be o(3). Let p = b + 141. Is p a multiple of 20?
False
Suppose 2*m = 3*y + 5*m - 147, 0 = -y - 2*m + 53. Is 15 a factor of y?
True
Let z(l) = -l**2 + 23*l + 2. Let s(x) = -8*x - 1. Let p(h) = -8*s(h) - 3*z(h). Let g be p(3). Let w = 22 - g. Is 8 a factor of w?
True
Suppose 6*i - i = 45. Let h(f) = f**3 - 9*f**2 + 6*f + 6. Is 16 a factor of h(i)?
False
Let b(v) = v**3 + 2*v + 3 + v**2 - 1 - 4*v**2. Suppose 4*c = 8 + 4. Is b(c) a multiple of 6?
False
Let g = 144 - 50. Suppose -5*q = -6 - g. Is 20 a factor of q?
True
Suppose 350 - 54 = 4*r. Is 29 a factor of r?
False
Let a = 19 - 4. Suppose -5*r = -8*r - a, 0 = -i + r + 54. Suppose -3*t + i = 5*q, 3*t - 2*q - 3*q = -1. Does 5 divide t?
False
Let s = 23 + 15. Is 19 a factor of s?
True
Suppose -d + 3*x = 18, 0 = -d - 2*x + 12 - 45. Let o = -7 - d. Is 11 a factor of o?
False
Let l be ((-16)/12)/(3/(-63)). Suppose -x + l = x. Does 7 divide x?
True
Let c(h) = -12*h - 6. Is 14 a factor of c(-4)?
True
Let h(m) = -m**3 - 5*m**2 - 6*m - 1. Let i be h(-5). Let t = i - 17. Suppose n - 16 = -5*l + 24, 0 = 3*l + 3*n - t. Is l a multiple of 9?
True
Suppose 4*d - 320 = -32. Suppose 0 = -5*t + d - 7. Suppose 0 = 2*m + 4*l + 2, -2*l - 16 - t = -3*m. Does 7 divide m?
True
Let b(v) = 4*v - 4. Let z(x) = 5*x - 5. Let k(d) = 4*b(d) - 3*z(d). Is k(11) a multiple of 6?
False
Let n(c) = -c**3 - 12*c - 3 + 152*c**2 + 0*c**3 - 1 - 161*c**2. Let v(s) = -s - 3. Let p be v(5). Is 14 a factor of n(p)?
True
Let h = 30 + -21. Does 9 divide h?
True
Let v(n) = 7*n**2. Let g be v(1). Suppose g*d + 27 = -4*y + 4*d, -18 = y + 3*d. Is (-48)/(-9)*y/(-2) a multiple of 4?
True
Let r(z) = -20*z. Let f(l) = l. Let v(n) = -30*f(n) - r(n). Is v(-3) a multiple of 12?
False
Let j(u) = 2*u - 4. Let w be j(3). Suppose 0 = -w*a + 22 + 8. Is a a multiple of 5?
True
Let t be 2/4 + (-62)/(-4). Suppose 4*f = -4*g - t + 88, -4*g - f = -57. Is g a multiple of 6?
False
Let d(i) = -14*i - 6. Let r be d(-4). Let g = r - 23. Does 11 divide g?
False
Let j = -8 - -3. Let q(v) = -v + 5. Is 7 a factor of q(j)?
False
Let b(s) = s**3 - 4*s**2 - 3*s - 10. Is b(6) a multiple of 11?
True
Suppose 3 = r + 2*r. Suppose 0 = -3*k - r + 7. Is 2 a factor of (-2)/k + 2 - -3?
True
Suppose -6*n - 15 = -3*n. Does 11 divide (-4 - n)*1*37?
False
Suppose -3*f = -2*x - 410, -7 = -2*x + 3. Is f a multiple of 20?
True
Suppose p = -1, -4*l + 3*l = 3*p - 242. Is 25 a factor of l?
False
Suppose 0 = p + 4*y + 3, 0 = -5*p - 5*y - 7 + 22. Let h(a) = a**3 - 3*a**2 - 3*a - 7. Is h(p) a multiple of 10?
False
Let i = 38 + -19. Is 19 a factor of i?
True
Suppose 3*p - 63 = 108. Does 14 divide p?
False
Does 18 divide 12/7*42/4?
True
Suppose -m + 1 - 2 = 0. Does 4 divide -4 + 14 + 2/m?
True
Suppose -v + 22 = v. Suppose -2*l + l + 5*z - 4 = 0, -l + 2*z + v = 0. Is l a multiple of 13?
False
Let k be (3 + -2)*-7*1. Let r be 3*1*(8 + k). Suppose 4*m + 50 = 5*i, 3 = r*m - 12. Does 7 divide i?
True
Let w(v) = v**3 + 11*v**2 - 6*v + 11. Let t be w(-12). Let m be (116 - 0) + 1/(-1). Let l = t + m. Is l a multiple of 22?
False
Let a(w) = 13*w + 11. Let j(r) = -6*r - 5. Let c(f) = -2*a(f) - 5*j(f). Let p be c(6). Let d = p + -16. Is d a multiple of 3?
False
Does 39 divide (-1 + 0 - -4) + 192?
True
Suppose 20 = 5*n - 2*y, -n + 49 = 3*n + 5*y. Let g be (9/n - 1)*6. Suppose -2*i + 3*w = -139, 3*i - g*w - 165 = 36. Is 20 a factor of i?
False
Let k = -18 + 27. Let c(n) = -5*n**2 + 13*n**2 + k*n**2 + 2*n - 1. Does 11 divide c(1)?
False
Let h = 1 - -7. Does 5 divide 78/h + 5/20?
True
Suppose -5*i = -260 + 5. Let f = -36 + i. Is f a multiple of 15?
True
Let q(s) = 3*s**2 - 1. Is 3 a factor of q(2)?
False
Let q(o) = o**2 + 2*o - 6. Suppose -2*l = 2*a + 12, l + 3*l = -3*a - 16. Let v be q(a). Suppose -3*z + 5*f + 23 = 0, 0 = -2*z + f - 3*f + v. Does 9 divide z?
False
Suppose -3*r + 11 = -7. Is (-192)/9*r/(-4) a multiple of 8?
True
Let o(s) be the first derivative of 2*s**3/3 - 2*s**2 - 4*s - 4. Does 12 divide o(4)?
True
Let b = 57 + -42. Is b a multiple of 9?
False
Let j(u) = -u**3 + 19*u**2 + 6*u + 27. Does 10 divide j(19)?
False
Let d(w) be the first derivative of -w**7/840 - w**6/90 + w**5/15 - w**4/12 - w**3/3 + 1. Let q(x) be the third derivative of d(x). Is q(-6) a multiple of 11?
True
Let i(r) = r**3 + 3*r**2 - 6*r - 3. Let s be i(-4). Let g(w) = s*w**2 - w - 3*w - 3*w**2 + 3. Does 2 divide g(2)?
False
Let t = -13 - -9. Let o be -57*((-16)/6)/t. Let n = o + 53. Is n a multiple of 15?
True
Let r(w) = 55*w**3 - 2*w**2 + 5*w + 7. Let k(a) = 82*a**3 - 3*a**2 + 7*a + 10. Let u(s) = -5*k(s) + 7*r(s). Suppose -2*f - 3*f - 5 = 0. Is 18 a factor of u(f)?
False
Is ((4 + 708)/(-4))/(-2) a multiple of 5?
False
Is 4/(-28) + (-1389)/(-21) a multiple of 6?
True
Let s(v) = -v**2 - 8*v + 4. Let c be s(6). Let z be c/24*(-6)/5. Suppose -y + z = -23. Is 7 a factor of y?
False
Suppose 27 + 3 = 3*y. Is 3 a factor of y?
False
Suppose 0 = 4*s - 107 - 117. Is 17 a factor of s?
False
Suppose 1 = 5*i - 9. Does 17 divide i/((-6)/261*-3)?
False
Suppose 4*n - 10 - 14 = 0. Let p be ((-2)/n)/((-1)/18). Is 6*3/p + 18 a multiple of 7?
True
Let q = -5 + 9. Suppose h = q, -5*n + h + 28 = 2. Does 3 divide n?
True
Suppose 0*g = -3*r - g + 41, 0 = -r + 3*g + 7. Does 13 divide r?
True
Let o(c) = 2*c**2 + 4*c + 2. Let m be o(-2). Suppose 0 = u - m*u - 1. Does 7 divide 10/(0 - u) + 2?
False
Suppose 3*p = 2*b - 4*b + 10, -4*b + 14 = 3*p. Suppose b*h - 6*h = -16. Suppose -h*r + m + 68 = 0, 5*m = r - 24 - 12. Does 9 divide r?
False
Suppose -11*o = -7*o. Suppose 5*f - 4*j - 39 - 1 = 0, o = f + 4*j - 8. Is 8 a factor of f?
True
Let o(v) = -2*v + 3. Does 21 divide o(-9)?
True
Suppose 3*b + d - 17 = 0, 2*b + 5*d = 22 - 2. Suppose i + 360 = b*i. Suppose -3*u = -0*u - i. Is 15 a factor of u?
True
Let u = -221 + 410. Is u a multiple of 27?
True
Let q(a) = 4*a**3 + 3*a**2 - 4*a**2 - 4*a**3 - a + 5*a**3. Is q(2) a multiple of 17?
True
Let d(p) be the third derivative of -5*p**4/24 + p**3/3 + 3*p**2. Let m be d(-2). Suppose 2*i = 6*i - m. Does 3 divide i?
True
Suppose -29 = 4*t - 233. Does 3 divide t?
True
Is 0 + 82 - 