. Is p a multiple of 3?
True
Let a = -9 + 14. Suppose 20 = a*f - 0*f. Suppose -f*p - p = -30. Is p a multiple of 6?
True
Is (2 - 3)*-1*17 a multiple of 17?
True
Let l(k) be the first derivative of 3*k**4 + k**3/3 - k**2/2 - 4. Is l(1) a multiple of 12?
True
Suppose -y - 5*k - 16 = -5*y, 5*y = k + 41. Does 3 divide y?
True
Suppose -933 = -5*f - 3*i, i + 603 = 3*f + 32. Suppose 2*q - f = z, 102 = q - 3*z + 5*z. Is 32 a factor of q?
True
Let k be 175/(-4) - (-1)/(-4). Let o = k - -62. Is 7 a factor of o?
False
Suppose -67 + 1027 = 6*k. Is 40 a factor of k?
True
Let g(v) = v**2 + 13*v + 3. Let y be g(-8). Let q be ((-18)/2)/(6/(-36)). Let d = q + y. Is 17 a factor of d?
True
Let f = -245 + 443. Suppose -2*n = n - f. Is 22 a factor of n?
True
Suppose -2*k + 8 = 0, x - 2*k = 6*x - 178. Is x a multiple of 7?
False
Let c(t) = -6*t + 1. Let f be c(-5). Suppose f = -5*g + 151. Suppose 4*u - 112 = -g. Is 10 a factor of u?
False
Suppose h + 2*h - 123 = 0. Is h a multiple of 11?
False
Let f(h) = -h**2 - 9*h + 2. Let i be f(-5). Let x = i + -11. Let g = -7 + x. Is g a multiple of 4?
True
Let q be 1/((-6)/4)*93. Let s = -37 - q. Is 15 a factor of s?
False
Let z = 317 + -48. Is 8 a factor of z?
False
Let o(x) = x**3 + x + 2. Let s(h) = -2*h**3 + h**2 - 2*h - 3. Let b(n) = -5*o(n) - 3*s(n). Does 19 divide b(4)?
True
Let h = -12 - -19. Let s(d) = d**2 - 4*d - 8. Is 5 a factor of s(h)?
False
Let d(z) = z**2 + z + 1. Suppose 0*k = 2*k + 4. Is 3 a factor of d(k)?
True
Let g = 318 + -128. Suppose -2*h = -h - g. Suppose 3*v - 2*d = h, 25 = 5*v - 4*d - 293. Is v a multiple of 16?
False
Let a = 13 + -10. Suppose -a - 21 = -2*b. Is b a multiple of 6?
True
Suppose 27*c = 34*c - 1148. Is c a multiple of 29?
False
Let s(w) be the first derivative of 3*w**2/2 + 2*w + 1. Let j be (0 - (-6)/(-8))*-4. Is 11 a factor of s(j)?
True
Suppose -5*u + 9 = -1. Is 13 a factor of 8/u - 2 - -24?
True
Let j be (12/10)/((-2)/5). Is (-1)/j + (-175)/(-15) a multiple of 6?
True
Suppose 3*k + k + 4*v = 0, -3*k + v + 4 = 0. Let b be k/(-5) - 32/(-10). Suppose -23 - b = -2*m. Is m a multiple of 5?
False
Let t(n) = -5*n + 2. Is t(-1) a multiple of 6?
False
Suppose -4*g - 4 = -4*l, -14 = -5*l - 5*g + g. Suppose l*r - 10 = 2. Is 6 a factor of r/(-33) + (-202)/(-22)?
False
Let i(z) be the third derivative of z**5/60 - z**4/6 + 5*z**3/6 + 3*z**2. Is 17 a factor of i(9)?
False
Let t(p) = -4 - 5 + p + p. Let x be t(7). Suppose -3*i = -7*i + 12, x*f = -3*i + 119. Does 11 divide f?
True
Suppose -d + 117 = -4*d. Let u = d - -82. Does 21 divide u?
False
Let h = -5 + 5. Suppose h = q - 4 - 2. Is 36 + 3/(q/4) a multiple of 15?
False
Let y = 580 + -74. Is y a multiple of 26?
False
Let r be (0 - -2 - -45)*-1. Let c be r + ((-3)/3)/1. Let l = c + 70. Does 11 divide l?
True
Suppose 0 = 5*l + 10 - 50. Does 9 divide (-4)/l*6*-6?
True
Suppose -3*j - 26 = -119. Is j a multiple of 22?
False
Let b(r) = 4*r + 1. Let v be 12/42 - 10/(-14). Does 5 divide b(v)?
True
Suppose 13 = s + 5. Is 8 a factor of s?
True
Suppose -2*f - 3*f - 24 = -p, 0 = -3*p - 2*f + 55. Is 3 a factor of p?
False
Does 21 divide -7 + 5 - (1 + -24)?
True
Let o = 1 + 1. Let k be o/(-4)*-8 - -1. Does 14 divide ((-14)/3)/(k/(-30))?
True
Let r = 19 - 5. Does 7 divide r?
True
Suppose 3*t = 7*t + 2*v - 180, -5*v - 109 = -3*t. Is 19 a factor of t?
False
Let q(t) = -t**2 - 4*t + 10. Let g be q(-6). Is (-28 + 8)/(g/8) a multiple of 20?
True
Suppose -2*d + 3*d - 5*k - 94 = 0, 3*d = -5*k + 362. Is 38 a factor of d?
True
Let y(v) = v**2 - 5*v - 1. Let w be y(6). Let z(a) = a**3 + 7*a**2 - 2*a + 1. Let x be z(-7). Suppose 2*d = w + x. Is 8 a factor of d?
False
Let i = -192 + 362. Does 8 divide i?
False
Let p(o) = o**2 - 10*o - 6. Does 25 divide p(-4)?
True
Is ((-57)/2)/((-15)/20) a multiple of 9?
False
Suppose -c - 4 = 0, -3*p - 4*c + 39 = -35. Let k be (p/9)/((-2)/(-3)). Suppose 42 = k*v - 78. Is v a multiple of 21?
False
Let v(g) = g**2 + g - 2. Let z be 1 - -5 - (1 - -2). Does 5 divide v(z)?
True
Let t = 40 - 58. Let b = -15 - -24. Let d = b - t. Does 16 divide d?
False
Let i be 210/(-40)*8/(-3). Let v = -6 - -8. Let p = i - v. Does 7 divide p?
False
Let k(t) = -t**3 + 7*t**2 + 2*t + 10. Does 18 divide k(7)?
False
Suppose 130 = 5*b + 30. Does 12 divide b?
False
Is 2 a factor of 1 - (-3)/(-3)*-10?
False
Suppose 3*l + 71 = 17. Let a(n) = -2*n**2 - 9*n - 7. Let i be a(-6). Let h = l - i. Is h a multiple of 2?
False
Suppose 5*o - 220 = -45. Is 10 a factor of o?
False
Let y(b) = 3*b - 7. Let o be y(5). Suppose -5*j + 6 + 34 = -5*v, -v = 3*j - o. Suppose -8 = -2*a, 0*n = 5*n - j*a - 89. Is 16 a factor of n?
False
Let k be (-104)/(-10) - (-6)/(-15). Let n = 21 - k. Let x = n + -8. Is x a multiple of 3?
True
Let t be (-2)/8 - 4/(-16). Suppose t*k - 4*k - 20 = 0. Is 14 a factor of (k/10)/(1/(-56))?
True
Suppose -3*l + l + 2 = 0. Let t(s) = -l + 2*s + 2 - 2*s + s. Is t(7) a multiple of 4?
True
Suppose -4*w - 2 - 86 = 0. Let z = 34 + w. Does 5 divide z?
False
Let j(x) be the third derivative of x**4/6 + x**3/6 + 15*x**2. Let q = 5 + -3. Is 3 a factor of j(q)?
True
Let z = 124 - 52. Is 4 a factor of 104/18 + 16/z?
False
Suppose -5*u + 3*u = -76. Does 18 divide u?
False
Let r = -47 - -101. Does 17 divide r?
False
Is 20 a factor of (-10)/(-30) - (-2868)/9?
False
Suppose k + 5*o - 157 = -3*k, -37 = -k + o. Is 19 a factor of k?
True
Suppose -5*z = u - 0*u - 35, 4*u = -4*z + 108. Does 6 divide u?
False
Suppose 0 = -v + 5*w + 30, -v + 3 = 4*w. Let j = 21 - v. Let y = j - -2. Is 5 a factor of y?
False
Let b = 9 - 0. Let u(p) = -p**3 + 9*p**2 + 5. Let y be u(b). Suppose 5*v + y*r = 15, 2 = 4*v - r - 25. Is v even?
True
Suppose -7*b + 102 = -4*b. Is 24 a factor of b?
False
Let f(s) = -3*s + 15. Let u be f(5). Suppose 174 = 2*q - 3*a, 5*a + 23 - 3 = u. Is 27 a factor of q?
True
Let v = 108 - 54. Let y = v + 10. Is y a multiple of 25?
False
Is 4 - 8 - (0 + -136) a multiple of 12?
True
Let v(y) = -y**3 - 6*y**2 - 8*y - 7. Let j(r) = -r**2 + 7*r - 5. Let i be j(7). Does 5 divide v(i)?
False
Suppose 2 = 5*k - 6*k. Does 8 divide (-198)/(-9) + k/1?
False
Let r(q) = 3*q - 13. Does 10 divide r(11)?
True
Let y = -23 - -19. Suppose 2*n - 1 - 3 = 0. Is 9 a factor of (1 + n)/(y/(-12))?
True
Let c(f) = f**2 + f + 24. Let s(d) = -1. Let t(p) = c(p) - 4*s(p). Is 14 a factor of t(0)?
True
Let j(h) = -h + 1. Let r be j(5). Is 4*-11*r/8 a multiple of 16?
False
Let k(l) = -l**3 - l**2 - 7*l + 1. Is k(-3) a multiple of 6?
False
Suppose k + 6 = 3*k. Let w(d) = 3*d**2 - 2. Let o be w(k). Is 4 a factor of o/2 - (-1)/(-2)?
True
Let h be (-2)/(-5) + 35/(-25). Let o(q) = q**2 - 2*q + 6. Let l be o(5). Let j = l + h. Is 10 a factor of j?
True
Let u(d) be the first derivative of -d**2/2 - 3. Does 2 divide u(-4)?
True
Let r(z) = 7*z**2 + 2. Is r(-2) a multiple of 15?
True
Is 13 a factor of (-273)/(-3) + (2 - 4)?
False
Let w be (0 - 2)*60/(-24). Suppose -22 = -w*d - 2. Is d a multiple of 3?
False
Suppose 10 = 2*p, 2*n + 4*p + 92 = -2*n. Let d be n + (-1 - 2/(-2)). Is 5 a factor of (d/6)/((-2)/3)?
False
Let l(n) = -n**3 - 9*n**2 - n + 6. Is 5 a factor of l(-9)?
True
Let s(w) = 27*w + 2. Let i be s(2). Suppose -4*z + i = -k - 115, 3*z - 124 = 5*k. Is 12 a factor of z?
False
Let h(t) = t**3 + 3*t**2 - 12*t - 2. Is 2 a factor of h(-5)?
True
Let i = 21 + -19. Suppose 5*t - 109 = -i*a - 0*a, -2*t = -4*a + 230. Is 13 a factor of a?
False
Let l(n) = -10*n - 10. Let v be l(7). Is (-10)/(-4)*v/(-25) a multiple of 6?
False
Suppose 0 = -4*q + 2*l + 46, -5*l + 39 = -2*q + 3*q. Is q a multiple of 14?
True
Let n = -26 + 48. Suppose c - 66 = -n. Is c a multiple of 22?
True
Suppose x + 6 = -x - 2*b, 2*x + 3 = -3*b. Is 19 a factor of (4 - 7 - x) + 16?
True
Let q(a) = -a**2 + 20*a - 23. Is q(16) a multiple of 15?
False
Let x be 6/(-10) + 46/10. Let j be x/(-6)*(-42)/(-4). Is 6*(-1)/2 - j a multiple of 4?
True
Let r(p) = -8*p**2. Let y be r(3). Let k = -24 - y. Is 24 a factor of k?
True
Let n(p) be the first derivative of -3*p**2/2 + 5*p + 2. Is 7 a factor of n(-3)?
True
Let o(k) = -8 + 2*k - 5*k**2 + 3*k**3 - 4*k**3 + 3*k. Let f be o(-7). Suppose -4*m - m + f = 0. Is 11 a factor of m?
True
Let y be (0 - 8)/((-2)/9). Suppose 2*g + 7 = 3*m - 3, -4*m - 4*g = 0. Suppose -2*z + y = m*z. Does 9 divide z?
True
Let u be -1 + (26 + -