. Let f be 9/6 - 2/(-4). Let c(o) = -o**2 - 1. Let j be c(f). Is p(j) a multiple of 2?
False
Suppose 0 = -5*p - 0*p + 30. Let z(w) = -w**2 - 7*w - 4. Let v be z(-6). Suppose v*t + p = 62. Is 13 a factor of t?
False
Suppose 15*y - 2 = 14*y. Suppose 5*f - 171 = -2*i, -i = 3*f + y*f - 168. Does 13 divide f?
False
Is 8 a factor of (-6)/(-4)*32/6?
True
Suppose 4*h - 167 + 35 = 0. Is 33 a factor of h?
True
Let w(a) = 2*a**2 + a - 20. Is 23 a factor of w(-10)?
False
Suppose 0 = -4*a - 5*f + 95, -4*f - 3 = -15. Does 20 divide a?
True
Let w = 16 + 8. Is w a multiple of 6?
True
Suppose 0 = l + 2*l - 330. Is l a multiple of 10?
True
Let r(n) = n - 1. Let a be r(6). Suppose -3*o + 9 = -l + 5*l, -a*o + 5 = 5*l. Is 3 a factor of l?
True
Suppose -14*b + 9*b = -485. Suppose 2*d = -k + b, -2*d + 4*k = 6*k - 98. Is 12 a factor of d?
True
Suppose 45 = -4*x + 3*x. Let z = x + 84. Is 13 a factor of z?
True
Suppose 2*t = -3*s + 60, 3*t + 4*s - 100 = 2*s. Does 6 divide t?
True
Suppose -2*z - 2*x + 3 + 9 = 0, -5*z = -3*x - 22. Suppose z*u - 21 = 34. Does 5 divide u?
False
Let j = 32 + 38. Does 8 divide j?
False
Let f(x) = 43*x - 4. Does 24 divide f(4)?
True
Let p(w) be the third derivative of w**5/60 - w**4/8 - w**2. Let z be p(3). Suppose -2*i - 3*b + 125 - 44 = z, 2*b - 84 = -2*i. Is i a multiple of 19?
False
Let w = -21 - -35. Suppose 0 = s + 3*v - 14, w = -0*s - s + 4*v. Is 2 a factor of s?
True
Suppose -3*c = 0, 441 = 5*i - 5*c - 659. Suppose i = 4*u - 0*u. Does 7 divide 3/12 - u/(-4)?
True
Let m(z) = z**3 - 7*z**2 - z + 10. Let y be m(7). Let h be (-4)/18*y*3. Is 13 a factor of 27 + h/(4 - 2)?
True
Let f = -491 + 758. Does 37 divide f?
False
Let t(q) = -q**3 - 10*q**2 - 11*q - 8. Let r be t(-9). Let v = r - 5. Is v a multiple of 5?
True
Let f be (0 + (0 - -1))*-7. Suppose 2*x = -5*a - 102, 0 = -a + 5*x - x - 16. Let d = f - a. Does 12 divide d?
False
Suppose 0 = -2*s + 5*s - 24. Is s a multiple of 4?
True
Let y(o) = 4*o + 11. Is y(14) a multiple of 19?
False
Suppose -2*r - g = -6 - 25, 3*g - 28 = -r. Does 13 divide r?
True
Suppose 0*d + 17 = d - 4*y, -5*d - y + 1 = 0. Suppose h = -d + 4. Suppose -20 - 40 = -h*s. Is 10 a factor of s?
True
Suppose 3*n = -3*s - 0*n + 12, 2*s - 38 = 4*n. Is 3 a factor of s?
True
Suppose -4*q = -15 + 71. Is (240/56)/((-2)/q) a multiple of 10?
True
Let h(o) = -41*o - 38. Is 13 a factor of h(-6)?
True
Suppose 21 = 4*q - 23. Is 4 a factor of q?
False
Let v = 1 + -3. Let o be v*(-3 - -4)*-50. Suppose 0 = -5*x - y + o, y + 80 = 4*x + 2*y. Is 12 a factor of x?
False
Let n be -1 - (-1 + -2 + 1). Let j(u) = -u**2 + 9*u - 7. Let h be j(5). Let a = h + n. Does 7 divide a?
True
Let d = -14 + -8. Suppose s = 33 - 9. Let t = s - d. Is t a multiple of 23?
True
Suppose -116 = -5*k + 154. Suppose 0 = -5*x + 6*x - k. Is x a multiple of 18?
True
Suppose 0 = -4*y - 0*y - 4*t + 688, -4*y - 3*t = -684. Does 14 divide y?
True
Suppose 3*i = -i + 2*f - 5522, -5*i = -4*f + 6904. Is 4/10 - i/50 a multiple of 22?
False
Suppose w = -1, 131 = 2*z - w + 2*w. Is z a multiple of 33?
True
Let z(q) = q**2 - 5*q - 4. Let y be z(6). Let d = 10 + -8. Suppose d*v - 72 = -y*v. Does 9 divide v?
True
Let q(n) = -1. Let b(w) = 2*w. Let x(d) = b(d) + 3*q(d). Let o be x(4). Suppose -7*k - 8 = -v - 2*k, -67 = -o*v - 2*k. Is 3 a factor of v?
False
Suppose -16 = -0*k - 4*k. Does 2 divide k?
True
Let q = 188 + -134. Does 10 divide q?
False
Suppose 0*m + 82 = 2*m. Suppose 3*g = v + 62, 2*g - v - m = -0*v. Does 7 divide g?
True
Let b(k) = 3 + 2 - k + 1. Is b(-5) a multiple of 8?
False
Let g = 2 - 1. Let z = 0 + g. Let o = 4 + z. Is 5 a factor of o?
True
Is 10 a factor of 67 - (-1)/(5/(-20))?
False
Let x(i) = 25*i - 1. Let m be x(-4). Let a = 149 + m. Is 16 a factor of a?
True
Suppose 92 = 3*f - 2*w, f + 5*w - 3 - 5 = 0. Suppose 5*m + 2*y - 84 = 0, -5*m + 4*y + 44 = -f. Does 9 divide m?
False
Let s(l) = 2*l**3 - 3*l**2 + l - 1. Let m be s(2). Let t = 30 - m. Is 13 a factor of t?
False
Let x be 3/(1 - 10)*-6. Suppose 0 = -5*o - x*i + 39, 5 = 2*o + 3*i - 4. Does 9 divide o?
True
Let v(k) = -k**2 + 2*k - 3. Let o(h) = 2*h**2 - 3*h + 3. Let r(y) = 2*o(y) + 3*v(y). Is 11 a factor of r(5)?
True
Let s be 22/6 + (-6)/(-18). Suppose -q = s*j - 44 - 27, 0 = 2*j + q - 33. Is 13 a factor of j?
False
Suppose -r - 2*h = 2*h - 22, r - 23 = -3*h. Is 34/4*r/13 a multiple of 17?
True
Let z(s) = -s**3 - 3*s**2 + 2*s - 2. Let f be z(-4). Let r(k) = k**3 - 4*k**2 - 7*k - 2. Does 14 divide r(f)?
True
Let d(s) = -2*s + 141. Is d(0) a multiple of 13?
False
Let w(q) = 2*q - 1. Let o be w(3). Suppose 4*p + 30 = t - p, -4*t + 170 = o*p. Is t a multiple of 20?
True
Let v(g) = g**3 + 2*g**2 - 2*g + 4. Let u be v(-3). Let p be (11 - 3)/(-1 + 2). Is u/(-2) + 116/p a multiple of 14?
True
Suppose -r + 1 = 0, -2*g + 4*g - 4*r - 84 = 0. Let w be (-58)/(-12) + 1/6. Suppose k + g = w*k. Does 4 divide k?
False
Let w(u) = -16*u**3 - u**2 - 2*u - 1. Is w(-1) a multiple of 3?
False
Suppose -y = -a - 16 - 19, -2*a - 4*y - 40 = 0. Let c = -12 - a. Is c a multiple of 10?
False
Let k be (1 + -1)*2/4. Suppose 38 = 2*h - k*h. Is h a multiple of 19?
True
Let f(o) = -2 + 5 + 13*o - 4. Is f(1) a multiple of 9?
False
Let g = -4 + 9. Suppose -2*h - 66 = -4*h - 4*i, -g*h + 4*i = -109. Suppose -2*x + 5*b = -4*x + h, -3*b = -4*x + 63. Is 4 a factor of x?
False
Suppose -305 = -5*x + 5*w, -7*x - w + 229 = -3*x. Is x a multiple of 29?
True
Let s(g) = 7*g**3 - 13*g**2 - 6. Let x(y) = 3*y**3 - 6*y**2 - 3. Let p(b) = 2*s(b) - 5*x(b). Suppose -3*m = k - 9, -5*m + 7 + 12 = 3*k. Is 9 a factor of p(k)?
False
Let y(i) = i**2 + 5*i + 2. Let a be y(-5). Let w(g) = 6*g. Is w(a) a multiple of 6?
True
Suppose 0 = o - 3*z - 75, 3*o = -3*z + 7*z + 250. Is 10 a factor of o?
True
Let f = 0 + 21. Suppose -4*d = -d - f. Suppose -44 = -3*g - 5*z, d = g - 2*z - 15. Is g a multiple of 6?
True
Let z be -2*(0 - -1)/(-1). Suppose 3*a + z*k - 94 = -2*a, k = -3. Is a a multiple of 20?
True
Let u(w) = -2*w - 6. Let l be u(-4). Suppose -49 = -4*j + 5*i, 6*j - 2*j - l*i = 58. Does 7 divide j?
False
Suppose -8*f + 122 + 974 = 0. Is f a multiple of 11?
False
Let j be (2/(-4))/((-1)/12). Suppose j*w = 3*w - 21. Does 18 divide -2 - w/((-14)/(-104))?
False
Suppose -2*u + 9 = -11. Let t = u - -1. Is t a multiple of 11?
True
Let j be (-1)/(0 + -1) - -3. Suppose j*d + 24 = 76. Does 5 divide d?
False
Let j = 3 + -1. Let q be (-1 + j)/(2/128). Suppose 2*d = -2*d + q. Does 6 divide d?
False
Suppose -5*g + 402 = -698. Is 10 a factor of g?
True
Let n(a) = 16*a - 17 + 17. Is n(2) a multiple of 15?
False
Let h = -20 + 14. Does 10 divide -1 + 25 + h/(-2)?
False
Let d(x) = -x - 1. Let b be d(-3). Suppose y + 238 = -b*w + 6*y, 464 = -4*w + 4*y. Does 7 divide w/3*(-2)/4?
False
Let x(w) = 10*w**2 + w - 5. Is x(3) a multiple of 11?
True
Suppose 2*q = 93 + 21. Let y(t) = 8*t**2 + 2*t - t - 9*t**2 + q. Does 15 divide y(0)?
False
Let z(a) = a**3 + 2*a - 3. Let q(c) = -c + 1. Let h(i) = 5*q(i) + z(i). Let d be h(2). Suppose 4*s - 48 = -d*r, -s + r + 32 = 2*s. Is s a multiple of 10?
False
Let j(l) = l**3 - 3*l**2 + l + 2. Let n be j(3). Suppose 2*b - n*b + 273 = 0. Suppose o - 5*o + 5*w = -b, 20 = o - 4*w. Does 10 divide o?
False
Let m(b) = -b. Let k be m(-5). Suppose -x = -0*x - k. Let a(v) = 2*v**2 - 2*v - 6. Is 17 a factor of a(x)?
True
Suppose -2*q - 35 = 3*q. Let h = 5 - q. Is h a multiple of 12?
True
Suppose -5*o + 688 = -192. Suppose o - 16 = 4*l. Let f = l + -20. Is f a multiple of 15?
False
Is 16 a factor of (24/10)/((-2)/(-80))?
True
Suppose -m + 3*t + 271 = 0, 3*t = -5*m + 7*t + 1333. Is m a multiple of 13?
False
Suppose 0*v - 4*h + 315 = 5*v, 186 = 3*v + 3*h. Is v a multiple of 24?
False
Suppose -6*q = 4*q - 240. Is 8 a factor of q?
True
Suppose -3*n + 518 = 4*n. Does 11 divide n?
False
Let x(r) be the third derivative of r**6/120 + r**4/24 + 11*r**3/3 + 8*r**2. Is x(0) a multiple of 12?
False
Let y = 313 + -212. Suppose -5*p - 3*o = -149 - 244, p - y = 5*o. Suppose -v = 4*u - 56, -v - 30 + p = 3*u. Is 13 a factor of v?
False
Suppose -2*u + 160 = 2*u. Does 18 divide u?
False
Suppose 62 = 6*m - 226. Does 24 divide m?
True
Let b = 59 + -42. Is b a multiple of 15?
False
Let p be ((-70)/(-21))/(1/6). Let r = p - 10. Is r a multiple of 9?
False
Let o(m) = 3*m**2 - 1 - m**2 + 6*m**2.