 Let y(i) = -i**2 + 4*i + 7. Let d be y(5). Suppose d*m - h = 36. Does 17 divide m?
False
Let q = -5 + 10. Suppose -q*j - j + 264 = 0. Is 11 a factor of j?
True
Suppose -25 = -3*f + 2*d, -20 = -3*f + 3*d + 7. Does 7 divide f?
True
Suppose 3*q - 63 = 4*d, 0*q + 53 = 4*q + 5*d. Suppose -3 = -5*a + q. Suppose 2*b + 53 = x - 6, 2*b = -a*x + 186. Is 19 a factor of x?
False
Let i be 5/(-2 + 3) + 2. Let w = -2 + i. Suppose 5*k + o - w*o = 49, 4*k = -4*o + 32. Is 9 a factor of k?
True
Suppose -b + 2*w - 4 + 15 = 0, 2*w = -4. Let m = b - -5. Is m a multiple of 12?
True
Let u(o) = -19*o + 2. Let i(c) = -c - 2. Let a be i(4). Let p = 4 + a. Does 16 divide u(p)?
False
Suppose -2*v + 161 = 3*h, -5*v = 3*h - v - 163. Let s = h + -29. Is s a multiple of 8?
True
Suppose -13*i = -467 - 742. Is i a multiple of 31?
True
Suppose 4*p - 7 = -3*o, 6*p + 5*o = p + 10. Does 3 divide 11/p - (1 + 0)?
False
Let i = 6 - 10. Let g be i/6*270/(-5). Suppose -3*w = -2*a + 27, 8*a - g = 3*a - 3*w. Is 9 a factor of a?
True
Suppose 4*k + 21 = -27. Let d = k - -23. Is d a multiple of 11?
True
Let f be 2/3 + 110/(-30). Is 12 a factor of -3 + f + (55 - -3)?
False
Let q(t) = -2*t - 5. Let j be q(-5). Suppose n = j*n - 12. Is n a multiple of 3?
True
Let x(r) = 2*r - 5. Let p be x(7). Suppose -4*q + p*q = 10. Suppose 0 = -3*f + q*f + 28. Is 10 a factor of f?
False
Let s(c) = 79*c**2 + 2. Does 27 divide s(1)?
True
Let w(k) = 9*k + 11. Let i be w(8). Let c = i - 54. Does 19 divide c?
False
Suppose -179 + 29 = -2*o. Does 15 divide o?
True
Let j(h) = -18*h - 2. Is j(-1) a multiple of 5?
False
Let q(o) = 6*o**3 + 2. Let z = -8 + 18. Suppose 5*h + a = z, -4*h + a = -0*h - 8. Is 25 a factor of q(h)?
True
Let o(n) = n**3 + 3*n**2 + 2*n + 1. Let w be o(-3). Is 4 a factor of 35/3 + w/(-15)?
True
Let b(p) be the third derivative of 5*p**4/8 + p**3/6 + 2*p**2. Is 10 a factor of b(1)?
False
Let a(g) = g - 7. Let n be a(11). Is 33 - n - (1 - 0) a multiple of 11?
False
Let c(s) = -s**3 - 12*s**2 + 10*s + 12. Let u be c(-13). Suppose -3*z + u = 12. Does 4 divide z?
False
Let h be ((-4)/12)/((-1)/(-3)). Let m be (-4 + 4)/(2*h). Suppose m*d = -3*d + 15. Is 5 a factor of d?
True
Let x(n) = n**2 - 2*n + 3. Is x(2) a multiple of 3?
True
Let k(a) = a + 3 + 3*a - 8*a**2 - a. Let d be k(-2). Is 14/d + 464/10 a multiple of 23?
True
Suppose -4*q - 3*c = -345, -591 = -5*q + 2*c - 131. Does 13 divide q?
False
Suppose 5*m + 5*g - 60 = 0, -4*m = -0*m + 3*g - 52. Does 16 divide m?
True
Suppose 27 = -0*g + 3*g. Is (-2)/(-9) - (-367)/g a multiple of 19?
False
Suppose -2*o + 230 = 4*t, -511 = -4*o - t - 51. Does 23 divide o?
True
Does 13 divide -3 + (-3 - -4) + 80?
True
Let v(s) = s**3 + 4*s**2 - 3*s - 4. Let a be 17/5*(-45)/(-9). Suppose 4*r - 4*k + a = r, -10 = -5*k. Is v(r) a multiple of 8?
False
Let i be (1 - -2 - 1)*14. Does 9 divide 7/i + 35/4?
True
Let p(o) = o**2 - 6*o + 3. Let l be p(6). Suppose -l*w + 129 = 5*m, -3*m + m + 57 = 3*w. Does 8 divide m?
True
Suppose 2*k - 60 = -5*a, 3*k = 3*a + 4*k - 35. Is 4 a factor of a?
False
Is ((-14)/4 + 2)*(-1020)/18 a multiple of 5?
True
Let a(r) = -7*r**2 + 2*r - 1. Let k be a(1). Let m = k + 1. Let h(x) = -3*x + 1. Is h(m) a multiple of 11?
False
Suppose 2*y = -3*z - 74, 3*z + y + 10 = -63. Does 9 divide ((-22)/4)/(4/z)?
False
Suppose 0*o - 2*o + 2*k = -486, 20 = -5*k. Does 21 divide o?
False
Let k(r) = r**2 + 4*r + 288. Is 43 a factor of k(0)?
False
Suppose 37 = 5*c - 18. Suppose 4 + c = 3*s. Suppose 62 = s*r - 2*r + 2*x, 2*x = r - 26. Is r a multiple of 7?
False
Suppose -5*f + 2*f + 6 = 0. Suppose w - f*w + 3 = 0. Suppose w*h - 4*h = -20. Is 10 a factor of h?
True
Let y(t) = 12*t + 4. Let l be y(8). Suppose 5*j - l = 80. Does 18 divide j?
True
Let j = -4 - 1. Let l = 4 - j. Suppose -4*m = -3 - l. Is m a multiple of 2?
False
Let a = -117 - -81. Let z = 66 + a. Is 21 a factor of z?
False
Suppose 0 = -9*t - 0*t + 315. Is t a multiple of 3?
False
Let b be 630/3*6/15. Suppose 3*v = -2*l + 84, -l + b = l + 4*v. Does 21 divide l?
True
Let r = 362 - 153. Is r a multiple of 42?
False
Suppose -2*p - 8 = -6*p. Let f(g) = g**3 - 3*g**2 + 2*g. Let l be f(p). Suppose -2*x + l = 3*i - 22, -2*i + 44 = 5*x. Is x a multiple of 5?
False
Suppose n - 4*c = -3*c + 23, -61 = -2*n - 3*c. Does 7 divide n?
False
Suppose t + t - 140 = 0. Suppose 60 = 2*l - 2*a, 2*l + 2*a = -l + t. Is l a multiple of 16?
False
Let l = -285 - -678. Does 26 divide l?
False
Let l(z) = 10*z**2. Let q(u) = -3*u**3 - 2*u**2 - u. Let o be q(-1). Does 20 divide l(o)?
True
Suppose -3*h + 0*h + 66 = 0. Does 11 divide h?
True
Suppose 5*g - 2*g = 12. Suppose 32 + 32 = g*l. Does 10 divide l?
False
Suppose -4*v = -2*m - 10, 3*v - 3*m - m = 5. Suppose 25 = 4*a - 5*u, 2*a + 5 = v*u + 18. Suppose 2*l = -5*n - 0*n + 128, -l - 116 = -a*n. Is n a multiple of 13?
False
Let s be 45/18*32/10. Let a = 13 - s. Is 5 a factor of a?
True
Let m(j) = -j**3 + 6*j**2 - 5*j + 6. Let p be m(4). Suppose -2*u = -p - 42. Is u a multiple of 10?
True
Suppose -2*s + 234 = 4*h, 0*s - 3*h - 122 = -s. Does 33 divide s?
False
Let m(w) be the third derivative of w**6/120 + w**5/15 + w**4/12 + w**3/2 + w**2. Is 3 a factor of m(-3)?
True
Is 9 a factor of (-1489)/(-7) + -3 + 2/7?
False
Suppose 0 = -a + 139 + 117. Is 16 a factor of a?
True
Is 4 a factor of (-1 - 3)*17/(-4)?
False
Let l(z) = 7*z + 8. Let a(u) = u**2 - 3*u + 4. Let v be a(3). Is 6 a factor of l(v)?
True
Let a(n) = 25*n**2 + 5*n - 4*n - 2*n. Does 8 divide a(1)?
True
Let j(i) be the first derivative of 0*i + 19*i**2 + 3*i - 2*i + 1 - 3. Does 16 divide j(1)?
False
Let s be (-27)/(-2) - 9/6. Is 4 a factor of 15/((-3)/s + 1)?
True
Let k(f) be the third derivative of 5*f**4/24 - 5*f**3/6 + f**2. Let u be k(5). Let r = u - 14. Is r even?
True
Let s(f) = -2*f**2 + f - 3. Let q(a) = -a**2 + 2*a - 3. Let d(v) = -3*q(v) + 2*s(v). Let y be d(-5). Does 6 divide (3 + y)/(-1) + 7?
True
Is (-8767)/(-55) - 3/(-5) a multiple of 20?
True
Let j(l) = -147*l + 8. Is 31 a factor of j(-1)?
True
Let q(v) be the second derivative of 2*v**3/3 - 2*v**2 - v. Does 8 divide q(5)?
True
Let p be ((-8)/(-3))/((-4)/18). Let x = 58 + p. Is x a multiple of 11?
False
Let u be (-1 - -2)*(-46 - -1). Let m be 23/5 + (-18)/u. Suppose 2*q - 24 = -m*p + 6*p, -2*p = 2*q - 18. Is 8 a factor of q?
False
Let k(s) = -s**3 - 7*s**2 + s + 14. Is k(-7) even?
False
Let v = 5 - 5. Suppose o + 2*d - 16 = v, 2*o - 3*d = -0*o + 4. Does 8 divide o?
True
Let r(j) = -j**3 + 2*j**2 + 3*j + 3. Let y be r(3). Let w be ((-8)/(-10))/(y/(-30)). Let g = 8 - w. Is g a multiple of 6?
False
Let i be (9/6)/((-1)/(-2)). Suppose -3*u + 8 + 26 = -5*s, -i*u + 4*s = -32. Is u a multiple of 8?
True
Let f be 13 - ((0 - 0) + 0). Let j = 37 - f. Does 7 divide j?
False
Does 12 divide (64/12)/(1/18)?
True
Let j = 17 + -14. Is 23 - (3 - (j - 1)) a multiple of 11?
True
Let n = 128 - 53. Let l = -51 + n. Is l a multiple of 8?
True
Let n be -1*1 + (2 - 5). Let m be 1 - 0 - (n - -1). Suppose -y = 4*l - 29 - 0, m*l = -5*y + 113. Is 14 a factor of y?
False
Suppose 112 = 3*n + 4. Is n a multiple of 9?
True
Suppose -5*v + 5 = -20. Suppose -6 = -2*z - v*a + 70, -2*z + 52 = -a. Is z a multiple of 14?
True
Let z(f) = -f - 2. Let s be z(-3). Let x = s - -12. Is 13 a factor of x?
True
Let h(a) = a**2 + 6 + 2*a + 0*a**2 + 3*a - 3*a. Does 15 divide h(-6)?
True
Is 12 a factor of 1/((-4)/(-132)) + 3?
True
Suppose 0 = -3*l + 31 + 119. Is l a multiple of 16?
False
Suppose -3*t = -5*t + 116. Let p be (-110)/3 + (-4)/(-6). Let b = p + t. Is b a multiple of 11?
True
Let l = 50 - 32. Is l a multiple of 9?
True
Let k = 52 - 36. Does 16 divide k?
True
Let k(o) = o**3 + 5*o**2 - 6*o + 2. Let f be k(-6). Let x be -2 + (f + 1)*1. Suppose 26 = 2*u - 5*g, 3*u + g = 6 - x. Does 2 divide u?
False
Suppose 2*j + 5*i = -0*j + 84, -3*i = 4*j - 196. Is 26 a factor of j?
True
Let g(b) = b**3 - 31*b**2 - 22*b + 52. Is g(32) a multiple of 35?
False
Let o(a) = 2*a - 8. Suppose -2*v - 27 = -5*v. Is o(v) a multiple of 4?
False
Let m be -2 - -1 - (-1)/1. Let c(w) be the second derivative of -w**3/6 + 7*w**2 + 6*w. Is 9 a factor of c(m)?
False
Suppose 23 + 45 = -2*o. Let h = 3 + -1. Let x = h - o. Is x a multiple of 18?
True
Let f be (0/(-1))/(0 + 1). Suppose f = -m - 5*j + 4, 1 = 5*j - 4. Is m/((-2)/30 - 0) a mult