 = -0*p + 4*r + 114. Is p a multiple of 13?
False
Let d = -16 - -19. Suppose -288 = -d*r - 3*r. Is r a multiple of 15?
False
Suppose 7*n - 2*n = 4*r + 12, -3*n = -r - 10. Suppose -5*v - 40 = -3*w, 0 = r*w - 3*v - 5 - 21. Is 17 a factor of (-69)/(-2) + (-5)/w?
True
Suppose -4*q - 2*v + 173 = -5*v, -5*q + 221 = v. Is 9 a factor of q/5 + (-5)/(-25)?
True
Let z = 7 + -1. Let y(j) = j**2 + 2*j - 3. Let s be y(z). Suppose -c - 4*c = -s. Is 9 a factor of c?
True
Suppose -1 = -3*q + r, -1 = -4*q - 2*r + 3*r. Does 18 divide 9/((q + -3)/(-6))?
True
Let j(b) = b**2 + 5*b - 12. Let f be j(-9). Let u = f + -14. Is 10 a factor of u?
True
Let o = -3 - -5. Suppose -3*r + 57 = -a + 4*a, o*a = 0. Does 16 divide r?
False
Suppose 0 = 4*p + 2 + 26. Let o = 12 + p. Suppose -105 = o*h - 10*h. Is 21 a factor of h?
True
Let y(o) = 2*o**3 - 7*o**2 + 2*o - 8. Let j be y(7). Let u = j + -164. Suppose 0 = -4*h + 27 + u. Does 20 divide h?
False
Let v = 180 - 90. Is 10 a factor of v?
True
Let m(f) = 6*f**2 - 3*f + 6. Let w be m(4). Suppose -5*z + 2*q + w = 0, -3*z + 6*z - 23 = -5*q. Is z a multiple of 8?
True
Suppose -15 = -2*i + 4*n + n, -5*i = -2*n - 69. Is i a multiple of 6?
False
Let m(k) be the third derivative of 0*k**3 + 0*k + 1/8*k**4 - 2*k**2 + 0. Is m(3) a multiple of 3?
True
Let b(m) = m**2 + 6*m + 3. Let u be (8 - 13)*(0 - -1). Let z be b(u). Is 17 a factor of 2 + 14 + (-4)/z?
False
Suppose 4*k + 51 = 6*k + 5*l, 5*k - 112 = 3*l. Is 23 a factor of k?
True
Suppose 3*y = c - 1, 2*c - y - 2*y = 5. Does 4 divide c?
True
Let k be (-3)/4 + (-134)/(-8). Suppose -5*n - 4*q + 206 = 0, 0 = -3*q - q + k. Is n a multiple of 11?
False
Let d(r) = -r**3 + 9*r**2 - 10*r. Let z be d(7). Let j be (24/z)/((-1)/(-7)). Let o = j + 1. Is o a multiple of 7?
True
Suppose 0 = l + 5 + 1. Let d be 2*(1 - (l + 3)). Let f(t) = t**2 - 4*t - 4. Does 14 divide f(d)?
True
Let d = -359 - -525. Does 5 divide d?
False
Let m be (1/2)/((-2)/(-32)). Suppose -m = 3*k - 2*a, 3*a = 5*k + 2*a + 4. Is 9 a factor of 10 + (k + -1 - 0)?
True
Is 13 a factor of 95/(-38)*(-104)/5?
True
Let t(r) = 76*r**3 - 2*r**2 + 2*r - 1. Let a be t(1). Suppose 0 = -h + 4*h - a. Suppose -z = 3*n - 5*z - h, -z - 19 = -5*n. Is 3 a factor of n?
True
Let m = 2 + -2. Let q(b) be the first derivative of b**2/2 + 20*b + 3. Does 10 divide q(m)?
True
Let u be (-1 - -4) + -1 + -2. Suppose -k + w + 16 = u, k - 16 = -2*w - w. Does 11 divide k?
False
Suppose 33 + 35 = 2*o. Is o a multiple of 13?
False
Suppose 2 = -h + 6. Suppose h*k = k + 90. Does 17 divide k?
False
Let p(m) = -m**3 - 6*m**2 - 4*m + 3. Let w be p(-6). Let b = 67 - w. Does 20 divide b?
True
Suppose -5 - 5 = -5*v. Suppose 0 = -6*u + v*u. Is (u - -2)/((-2)/(-12)) a multiple of 12?
True
Suppose 5*v - 75 + 20 = 0. Let c = 19 - v. Is c a multiple of 4?
True
Let t be (144/56)/((-3)/(-14)). Is 8 a factor of 63/4 - (-3)/t?
True
Let p be (4/2)/((-7)/(-21)). Let l = -4 + p. Suppose h = -l*h + 45. Is h a multiple of 14?
False
Let d be (-2)/(-3) + (-104)/(-24). Suppose d*o - 160 = o. Is o a multiple of 10?
True
Suppose -2*b = 7*y - 2*y - 458, 0 = -5*y + 2*b + 462. Is y a multiple of 23?
True
Suppose -10 + 0 = -w. Suppose 5*z - 5*t = -w*t + 220, -160 = -4*z + 4*t. Does 12 divide z?
False
Suppose 123 = f - 3*m + m, 487 = 4*f - 3*m. Is f a multiple of 11?
True
Let o(f) = f**3 + 8*f**2 - 12*f - 3. Is o(-9) a multiple of 8?
True
Suppose -36 = -0*t - 2*t. Is t a multiple of 12?
False
Suppose -3*g = -6*g. Suppose -4*c + 0*c + 8 = g. Is c a multiple of 2?
True
Suppose 2*g + 5 = 3*h - 15, 3*h - 4*g - 28 = 0. Suppose -h*d - 5*i + 70 = 0, 0*d + 2*i - 79 = -5*d. Is d/2*(-12)/(-18) even?
False
Let v(r) = 2 - 3 + r + 2 + 6*r**2. Let u be v(-1). Suppose 4*o + 12 = 0, 1 = w - 2*o + u*o. Is w a multiple of 8?
False
Suppose t - 27 = -5*o, -92 = -4*t - 0*o - 4*o. Let y = 6 - 16. Let z = t + y. Is z a multiple of 4?
True
Let t = 6 + -1. Suppose 4*l = 7 + 1. Suppose t*j + 20 = 0, -4*a + j + l*j = -144. Is 14 a factor of a?
False
Suppose 0 = 5*l - 4*u - 169, 4*l + 7*u - 2*u - 168 = 0. Is l a multiple of 26?
False
Suppose 7*y = 5*y + 78. Is y a multiple of 9?
False
Let n(g) = -g**3 - 10*g**2 - 11*g + 6. Let z = -2 - 7. Does 9 divide n(z)?
False
Suppose 2*l + 8 = 0, 5*t = 6*l - 3*l + 102. Is 9 a factor of t?
True
Let o = -382 - -137. Is o/(-5) - (2 + 1) a multiple of 17?
False
Let z be (3/2)/((-6)/(-56)). Let k = z + -1. Is k a multiple of 13?
True
Let r = -6 - 30. Let n = r + 102. Suppose -5*x + n = -49. Is x a multiple of 9?
False
Let b be 4/10 - 219/(-15). Let p = 1 + b. Is 16 a factor of p?
True
Let l(p) = p - 1. Suppose 0 = 3*u - 7 - 2. Let f be l(u). Suppose 4*k + 6 = -z - 0*k, f*k + 28 = 2*z. Is 4 a factor of z?
False
Suppose 0 = -2*l + 5*k - 4 - 1, -5*l + 3*k = -35. Is (24/l)/((-8)/(-40)) a multiple of 6?
True
Let v be (9/(-12))/((-1)/20). Suppose 0 = y + 4*y - v. Suppose -2*r + 12 = 4*l - 3*r, -l = 4*r - y. Is l even?
False
Is 3/(-6)*1 + (-222)/(-12) a multiple of 18?
True
Suppose 25 + 127 = -4*p. Is 13 a factor of (0 + 1 - p)/1?
True
Suppose -3*d + 156 = 3*x, -2*x - 2*d - 2*d + 100 = 0. Let s be (-1)/(-5) - x/(-30). Suppose -23 = -s*h - 3*m, -m - 4 = -4*h + 7. Is h a multiple of 3?
False
Let t be 6/(3/(-1) - -5). Suppose -2*o - f = -3, t*o + f - 4*f = 9. Is 2 a factor of o?
True
Let m(p) be the second derivative of p**4/12 + p**3/3 - p. Let v be m(-4). Let d = v - 2. Does 3 divide d?
True
Let f(r) = -5*r - 6. Let i be -3 + -1 + -1 + 1. Does 12 divide f(i)?
False
Does 11 divide ((-18)/(-12))/((-6)/(-88))?
True
Let s(z) = z**3 + 6*z**2 + 3*z + 6. Does 16 divide s(-5)?
True
Let t = 90 - 54. Is t a multiple of 9?
True
Suppose -7*s + 17 = -81. Is s a multiple of 7?
True
Suppose 0 = 2*j - 5*r - 44, -j + 8*r = 3*r - 12. Is j a multiple of 5?
False
Let m(r) = -r**3 + 7*r**2 - 6*r - 4. Let i(x) = x - 2. Let n be i(8). Let f be m(n). Does 4 divide ((-18)/f)/(1/2)?
False
Suppose -20 = i + 2*t, 2*t - 18 = -3*i - 62. Is 4/i - (-308)/6 a multiple of 13?
False
Let l(r) be the third derivative of -5*r**4/24 - 13*r**3/6 + 4*r**2. Does 11 divide l(-11)?
False
Suppose 54 = 5*g - 2*c, -5*c = -g - g + 30. Let z = g - -12. Is z a multiple of 10?
False
Let d(z) be the second derivative of z**4/12 + 5*z**2/2 + 2*z. Is d(0) even?
False
Suppose 2*i + i + 5*r - 47 = 0, 4*i - 3*r = 111. Is i a multiple of 13?
False
Suppose -6*y + 2*y = -552. Suppose -y = k - 4*k. Suppose -5*i = 4*a - k, 0 = -a + 2*a - 3*i - 20. Does 7 divide a?
True
Suppose -5*l = 51 - 601. Let u = 15 - 25. Is l/(-4)*8/u a multiple of 11?
True
Let l(f) be the second derivative of 5*f**4/24 - 7*f**3/6 - f**2 + f. Let x(i) be the first derivative of l(i). Does 9 divide x(5)?
True
Suppose 6*m - 280 = 548. Does 23 divide m?
True
Let k = 111 - 20. Is 21 a factor of k?
False
Let x(r) = r**2 - 10. Suppose -9*a + 4*a = 0. Let k be x(a). Is (-112)/(-10) - (-2)/k a multiple of 11?
True
Let j = 206 - 121. Is 17 a factor of j?
True
Suppose 5*a - 2 + 16 = -j, j - a + 14 = 0. Let p = 1 + j. Let l = 2 - p. Does 6 divide l?
False
Let c(v) = -8*v + 3. Suppose 0 = i - 2 + 5. Is 9 a factor of c(i)?
True
Suppose 191 + 28 = -3*g. Let n = 115 + g. Is 21 a factor of n?
True
Suppose 3*g - 4*g + 35 = 2*f, 4*f - 2*g - 50 = 0. Is 4 a factor of f?
False
Suppose -3*u + u = -4. Suppose 48 = u*c - 24. Does 18 divide c?
True
Is 8 a factor of 2/(-16) - (-1)/16*898?
True
Is ((-290)/35 - -4)*-7 a multiple of 10?
True
Suppose -g + 5*f + 50 = 0, 2*g + 2*g + 4*f - 104 = 0. Is g a multiple of 30?
True
Let b(d) = d + 3. Let o be b(5). Is 8/6*108/o a multiple of 9?
True
Suppose 21 = 5*v + 1. Suppose v*m + 0*w - 24 = -2*w, 0 = -2*m - 4*w + 6. Is m a multiple of 7?
True
Let r(n) = 2*n + 3 + n**2 + n**2 + 2*n - 4*n**2. Let d be r(4). Let s = 0 - d. Does 13 divide s?
True
Let d = -11 - -29. Suppose 4*m - d = -2*b, 0 = -2*b - 2*b - 12. Is (31/3)/(m/18) a multiple of 21?
False
Let k(s) = -s**2 + 6*s - 2. Let d be k(6). Let g(j) = 2*j**2 + j + 1. Let z be g(d). Let n(h) = h**3 - 5*h**2 - 9*h - 9. Does 13 divide n(z)?
True
Let s = -62 + 90. Does 7 divide s?
True
Let m = 0 + 2. Suppose 4*z + 55 = 5*y + 5*z, -3*z - 33 = -3*y. Suppose -y = -m*n + 19. Is n a multiple of 15?
True
Let m(t) = -t**3 + 3*t**2 - 3*t - 3. Let l be m(3). Let v be (-50)/l - 8/48. Suppose 0*w = -v*w + 88. Is 11 a factor of w?
True
Is