 d**3/2 + 3*d**2 - 2*d. Let k be o(-6). Let y = k + 22. Is y a multiple of 5?
True
Let k(z) = -2*z + 2. Suppose 2*f = 3*d + 25, -4*d = 4*f - 9*f + 45. Let c = 2 + d. Is 8 a factor of k(c)?
True
Let m(h) = h + 96. Let l be m(0). Suppose -2*k - q = -39, 3*k + q - l = -2*k. Is k a multiple of 5?
False
Let v = 193 - 111. Suppose 4*c - v = 46. Suppose -y = -3*y + c. Is y a multiple of 16?
True
Does 25 divide 14135/143 - (-5)/((-65)/(-2))?
False
Suppose 5*a - 4 = a. Suppose a = x - 7. Let u = 17 - x. Does 9 divide u?
True
Let b(z) = z**3 + 4*z**2 + 3*z + 1. Let l be b(-3). Suppose 0 = -7*k + 2*k - 30. Is 15 a factor of l/3 + (-88)/k?
True
Let f(b) be the first derivative of -b**4/4 + 2*b**3 + 4*b**2 + 1. Is 7 a factor of f(7)?
True
Let s(l) = -12*l + 1. Suppose d - 2 = -8. Let y be s(d). Suppose -4*g = 2*m - 78, -m = -4*g - 2*m + y. Does 17 divide g?
True
Suppose 0*o = -2*o - 10. Let h be 2/o*75/(-5). Suppose -3*a + h = -15. Does 7 divide a?
True
Let k = -232 + 100. Let w = k - -204. Suppose -4*r + 88 = -w. Is r a multiple of 13?
False
Suppose 5*c + 5 = 4*t - 29, 22 = 5*t + 4*c. Is (t/9)/(3/126) a multiple of 7?
True
Suppose -5*d + d = -192. Is 8 a factor of d?
True
Suppose -202 = -3*q - j, 5*j = -9*q + 4*q + 330. Is q a multiple of 17?
True
Let w(i) = i**2 - 2*i - 4. Let v be w(4). Suppose v*g = m + 24, 41 = 3*g + 4*m + m. Is 2 a factor of g?
False
Let k(s) = -s**2 - 4*s - 4. Let v be k(-4). Let p(w) = -w**3 + 4*w + 2. Is p(v) a multiple of 11?
False
Let o = 1 + 1. Suppose -q - 4 = 0, -5*n - o*q = -6*q - 126. Is 12 a factor of n?
False
Suppose -2*k + t + 104 = -113, -4 = 4*t. Is 34 a factor of k?
False
Suppose -2*m + 10 - 2 = 0. Let f = 6 + -5. Is f*m + 3 + -4 even?
False
Let i(w) = w**3 - 26*w**2 - 20*w - 39. Is 29 a factor of i(27)?
False
Suppose -5*v = -1 + 6. Let r be (v/1)/((-3)/18). Is 3 + (-66)/(3 - r) a multiple of 15?
False
Let i = 66 + -44. Suppose y - 18 = -4*z, 0*z + 3*z = -5*y + i. Suppose -y*v + 126 = v. Is v a multiple of 21?
True
Let s(k) = -2*k + 5. Let m be s(7). Is 7 a factor of (-4)/(-4) - (m - 0)?
False
Let p = 11 - -5. Does 8 divide p?
True
Suppose 5*f - 306 = -2*p, -2*f - p + 1 = -122. Does 10 divide f?
True
Let u(q) = 5*q. Let f be u(2). Suppose f = -4*k - 2*s + 64, 0 = k + 4*s - 10. Does 14 divide k?
True
Let z = -15 - -19. Is 4 a factor of z?
True
Let w = 0 + 0. Suppose w*y + y + 4*n + 30 = 0, -y = 3*n + 25. Let i = -6 - y. Does 3 divide i?
False
Suppose -2*v - 86 = -4*v. Is 13 a factor of v?
False
Let c(z) = 10*z - 2. Let s be c(-8). Let r = 115 + s. Is r a multiple of 9?
False
Suppose 0 = -3*i + 7 + 2. Suppose -5*b = -g - 25, -2*g + 32 = i*b - 6*g. Suppose -b*m + 23 - 7 = 0. Is 2 a factor of m?
True
Let b be (-1 - 4)/(55/(-66)). Suppose -b*f + 120 = -f. Does 12 divide f?
True
Let i(t) = 2*t**2 + 3*t + 2. Let g be i(-2). Suppose g*k = -0 + 16. Suppose d - k = 0, 2*d = -3*f + 4*d + 82. Is 10 a factor of f?
True
Let y = 3 + 4. Let i = y - 5. Let o = 0 + i. Is 2 a factor of o?
True
Suppose -4*a = -4*y - 268, -a - 4*a + 329 = -3*y. Is a a multiple of 5?
False
Let x(p) be the third derivative of p**6/60 - p**5/60 + p**4/8 - p**3/2 - 3*p**2. Does 6 divide x(2)?
False
Suppose 0 = q - 5*q + 32. Let o = -4 + q. Suppose j + 5*u - 50 = -o*j, -5*j - u = -62. Is j a multiple of 6?
False
Is 13 a factor of ((-2)/4)/(2*(-5)/1380)?
False
Let n(w) = 31*w - 1. Let u be n(2). Let m = 101 - u. Is m a multiple of 20?
True
Let z(p) = p**2 + 6*p + 2. Let u be z(-7). Let l = 16 + u. Does 19 divide l?
False
Suppose 0 = -2*a - 64 + 190. Suppose -5*m - 107 = -x - 278, a = 2*m + 5*x. Is 22 a factor of m?
False
Suppose 2*n - h = -6, 1 + 1 = h. Let g = 10 + n. Is g a multiple of 4?
True
Suppose 3*d + i = -0*d - 104, -4*i = 3*d + 92. Let z = -21 - d. Is z a multiple of 5?
True
Let d(n) = -n**3 - 27*n**2 - 33*n - 1. Does 26 divide d(-26)?
False
Let f be (9/(-2))/(5/(-10)). Let o(y) = y**2 - 7*y - 7. Does 11 divide o(f)?
True
Let n(k) = 4*k**2 - 3*k + 7. Let s be n(5). Suppose -s = u - 5*u. Does 11 divide u?
False
Let f be (-30)/(-7) + 6/(-21). Is 18/f - 6/(-4) even?
True
Let i = 27 - 23. Suppose 15 - 35 = -i*x. Is x even?
False
Suppose 0 = 2*n - l - 199, 6*l = 5*n + 7*l - 501. Is 16 a factor of n?
False
Suppose 3*q = -0*q + 90. Is (-9)/15*q/(-2) a multiple of 9?
True
Let l(r) = -2*r - 7. Let u(t) = -3*t - 14. Let f(q) = 11*l(q) - 6*u(q). Is 9 a factor of f(-5)?
True
Let t = -10 + 29. Is t a multiple of 19?
True
Let d(h) = -h**3 + 5*h**2 - 3*h - 2. Let j be d(4). Let w = -35 + 37. Suppose 0 = -2*k + 5*k - w*q - 74, 0 = 5*k - j*q - 122. Does 11 divide k?
False
Suppose 2*c - 5*c - 26 = 4*v, -2*c - 29 = 5*v. Let n = c - -13. Is 11 a factor of n?
True
Suppose s = -4*m - 5 + 23, -5*s - 10 = 0. Let i = m + -11. Let p = 15 + i. Is 7 a factor of p?
False
Let u(t) = -t + 7. Let z be u(6). Let s be (z - (1 + -3))*-1. Is 1/s + 98/6 a multiple of 8?
True
Suppose -4*x + q - 6*q + 161 = 0, -5*x + 2*q = -160. Is x a multiple of 9?
False
Let w(i) = i**3 + 22*i**2 + 25*i - 3. Let b be w(-20). Suppose -b = -4*a - s, 4*s - 213 = -2*a - a. Is a a multiple of 15?
True
Suppose 7*u - 2*u = 0. Suppose -3*h = 6, u = 2*z + 5*h + 27 - 1. Let d = 23 + z. Does 11 divide d?
False
Let x(j) = 5*j + 4. Is x(12) a multiple of 16?
True
Is (-36)/24*(-86)/1 a multiple of 21?
False
Suppose -13 = z - t + 2*t, 3*z - 4*t = -18. Let p = 27 + z. Is 17 a factor of p?
True
Suppose -5*l + 0*l = 0, -465 = -5*o + 2*l. Suppose 0*k = 3*k - o. Is 17 a factor of k?
False
Is (6/(-4))/(12/(-120)) a multiple of 15?
True
Does 36 divide (282/(-4))/(1*3/(-12))?
False
Is (158/6)/(-3 + 19/6) a multiple of 17?
False
Let p = 68 + -47. Does 6 divide p?
False
Let a = -74 + 186. Is a a multiple of 17?
False
Suppose 0 = g - 2 - 3. Suppose 4*u = -a + 3 - 0, -15 = -g*a + 2*u. Let l = 1 + a. Is l a multiple of 3?
False
Suppose -198 = -4*z + 662. Is 43 a factor of z?
True
Let z be 1 - (-4)/(12/81). Suppose 0 = -p - t + 2, p + 3*p + z = 5*t. Is 15 a factor of 30 + (-2)/(-4 - p)?
False
Let t be (-3)/15 - 611/(-5). Suppose -5*p - n = -t, -p = 2*n - 6*n - 37. Is p a multiple of 10?
False
Let v(g) = 3*g**3 + g**2 + 2*g. Let z be v(2). Suppose 0*r + 4*r - z = 0. Let d = -4 + r. Does 2 divide d?
True
Suppose b + 1 = 19. Does 6 divide b?
True
Let j(n) = -n - 3. Let l be j(0). Is 6 a factor of ((-2)/l)/((-2)/(-36))?
True
Let q = 26 + 75. Is 13 a factor of q?
False
Suppose 3*d - 4 = -16. Does 3 divide 1/1 - (2 + d)?
True
Let d(m) = m**3 + 6*m**2 - 10*m - 5. Let g = -23 - -16. Is d(g) a multiple of 13?
False
Suppose -u = -3*u + 5*j - 7, 0 = 2*u + 4*j - 20. Suppose -2*n + n - 5*k + 15 = 0, u*n - 24 = -2*k. Is n a multiple of 2?
False
Let k = 13 - 7. Suppose 0 = -5*o + 3*b + 28 + 6, k = 3*o + 3*b. Does 2 divide o?
False
Let l(g) = 9*g**2 - g + 2. Let j(r) = -2*r**2 + 2 - 3*r**2 - 5*r + 4*r**2. Let y be j(-5). Is l(y) a multiple of 11?
False
Let d(y) = -y + 213. Let t be d(0). Let s be t/(-9) + 1/(-3). Let f = 35 + s. Does 7 divide f?
False
Let v be (0/(-1) - 7)*1. Let t = v - -42. Does 12 divide t?
False
Suppose -7*o + 3*o + 12 = 2*f, 5*f = o + 41. Suppose -a + f = a + 2*r, 4*a - 31 = r. Does 2 divide (-5)/(-3) + a/21?
True
Let m(n) = -n**3 - n**2 + 90. Let o be m(0). Suppose o = -4*x + 266. Is x a multiple of 22?
True
Suppose -4*x + 9*x - 415 = 0. Let q = 120 - x. Is q/3 - 3/9 a multiple of 12?
True
Let p(j) = 4*j + 36. Is p(-6) a multiple of 12?
True
Let c be 339/2 - 1/(-2). Is (2/(-5))/((-2)/c) a multiple of 9?
False
Suppose -7*h + 9*h - 16 = 0. Suppose -4*i + 48 = h. Is i a multiple of 5?
True
Suppose 6*k - 4*k = 86. Is 43 a factor of k?
True
Let o(v) = v**2 - 3*v. Let h be o(-7). Let l = h + -34. Does 18 divide l?
True
Let p = -31 + 33. Suppose 0 = 2*f + 3*h - 4, -2*f + 10 = 3*f + 3*h. Suppose -f*j = p*j - 104. Is 9 a factor of j?
False
Let k = 8 + -4. Let i be (-6)/((-2)/(k/2)). Suppose -i = 2*d, -61 - 6 = -2*y + 5*d. Is y a multiple of 10?
False
Let d(l) = -107*l**3 + l**2 - 2*l - 6. Let k be d(3). Is 16 a factor of k/(-42) - 2/(-14)?
False
Suppose -z + 0*z + 16 = 4*l, 2*z + 7 = 5*l. Suppose 0 = 5*t - z*x + 2, -10 = -4*t - 4*x + 10. Suppose t*m = 3*m - 43. Is m a multiple of 18?
False
Suppose 378 = 3*p - 2*b, -p - 126 = -2*p + b. Suppose -3*i + p = -7*l + 4*l, 3*l + 170 = 4*i. Is i a multiple of 22?
True
Let u(k) = -k**2 + 1