 p(x) = -2*x. Let j be p(-1). Is 14 a factor of 4/(j + 26/(-14))?
True
Suppose -61 = -3*p + d, 2 = -4*d - 2. Does 4 divide p?
True
Let x = -3 - -3. Suppose x = -5*o - 25, -3*w - 1 = 3*o + 11. Does 3 divide 2*w/(-4)*-12?
True
Let u(z) = z**3 + 7*z**2 + 6*z + 14. Let n be u(-6). Suppose -22 = -b + n. Does 18 divide b?
True
Let l = -7 + 16. Is 14 a factor of (14 + 0)/(3/l)?
True
Suppose -4 = 2*r - 24. Is 5/r + (-142)/(-4) a multiple of 15?
False
Suppose 0 = 4*t - 20, -6*t + 8*t = -4*k + 198. Let z = -13 + k. Does 17 divide z?
True
Let w(j) = -2*j + 56. Is w(17) a multiple of 3?
False
Suppose 11*x - 30 - 322 = 0. Does 3 divide x?
False
Let z be ((-3)/9*0)/(-2). Suppose 0 = 5*o - z*o - 10. Suppose 1 = o*k - 21. Is 11 a factor of k?
True
Let u = -69 + 105. Is 9 a factor of u?
True
Suppose 60 = 2*y - m, -2*y + 5*y - 88 = m. Let d = y + -13. Is d a multiple of 8?
False
Let b = 9 - -8. Is 9 a factor of b?
False
Suppose 5*j - 24 = -2*q, 0*q + 4 = 2*q. Is 2 + 8 + -2 + j a multiple of 12?
True
Is 9 a factor of (9/(-2))/((-13)/78)?
True
Let p be (18/(-24))/(3/(-20)). Suppose h + 84 = p*h. Does 21 divide h?
True
Let b(j) = -j**2 + 13*j - 18. Is b(7) a multiple of 8?
True
Suppose -6*m + 2*m + 48 = 0. Does 12 divide m?
True
Suppose 3*l - l = -34. Let b = 33 + l. Let j = b + 29. Does 17 divide j?
False
Let s(q) = -q**3 - 4*q**2 - 5*q - 1. Let f(y) = 2*y + 6. Let v be f(-5). Is 17 a factor of s(v)?
False
Let s = -32 + 17. Does 11 divide (12*1)/(s/(-20))?
False
Let k = 9 + -13. Does 2 divide (-28)/(-6) - k/12?
False
Let w(v) = -v**2 - 10*v - 1. Suppose 35 = -3*h - 4*x, -3*h - 47 = 2*h + x. Let q be w(h). Let j = 3 + q. Is 11 a factor of j?
True
Suppose t - 4*j - 52 = 0, 3*j = 5*t - 218 - 59. Is t a multiple of 28?
True
Suppose 0 = 5*n + 13 + 7. Let g be (-2)/(-4) - 382/n. Suppose 4*v + 0*v = g. Does 9 divide v?
False
Let w = 617 + -421. Is 11 a factor of w?
False
Let k be 2390/(-13) + (-26)/169. Does 16 divide k/(-12) - 6/(-9)?
True
Let u = 210 - 77. Is u a multiple of 34?
False
Suppose -7*v - 2*n + 19 = -2*v, 4*v - 4 = 4*n. Suppose -v*o - 2*o + 140 = 0. Does 12 divide o?
False
Suppose -10 = 4*d + 2*x, -3*x - 1 = -4. Let j be 1/(-4 - d)*1. Let c = j - -10. Does 5 divide c?
False
Let m(j) = -2*j**3 - 3*j**2 + 3*j - 2. Let c be m(-3). Suppose 3*b = -5*h + 11, 3*b - h - 7 = -b. Suppose b*s = c + 16. Does 12 divide s?
False
Let p(y) = 2*y**2 + 3*y + 4. Let s be p(-3). Suppose s = -2*d + 1. Let q = d + 10. Does 4 divide q?
True
Suppose 8 = -3*g + 20. Suppose 5*u - 4*t - 50 = 0, -4*t - 3 = g*u - 7. Is u a multiple of 3?
True
Suppose 0 = 4*d - 0*d - 848. Does 14 divide d?
False
Let v(c) = 2*c**2 - c - 4. Let k be v(-6). Is k/3 - (-12)/36 a multiple of 15?
False
Suppose 0 = -j + 4*x + 18, 7 = -5*j - 4*x + 1. Suppose j*v = 104 - 10. Does 12 divide v?
False
Let v(d) = 2*d + 5. Suppose 0 = -3*p + 3*x + 30, -5*p - 4*x = -13 - 19. Does 7 divide v(p)?
True
Suppose -5*a = -13 - 2. Suppose -2*w + w = a*y - 16, 3*w - 4*y + 4 = 0. Suppose 4*i - 108 = -g, 4*g + 54 = -2*i + w*i. Does 18 divide i?
False
Suppose 3*f + 5*t - 249 = 0, -4*t - 452 = -3*f - 2*f. Is f a multiple of 15?
False
Let u(k) = -4*k + k + 1 + 2*k. Let b be u(1). Suppose d + 3*f - 34 = b, f - 46 = -2*d + 6*f. Is d a multiple of 13?
False
Suppose -5*a = -a - 428. Is 12 a factor of a?
False
Let a be (12/8 - 2)*8. Does 4 divide 7/2 + (-2)/a?
True
Suppose 4*i + 2*c - 33 = -c, -4*i = 2*c - 34. Does 3 divide i?
True
Does 14 divide ((-126)/28)/((-2)/8)?
False
Suppose -5*l = -3*n + 78, -2*n + l = -3*n + 18. Does 21 divide n?
True
Let u(v) = 2*v**2 - 8 + 5*v - 2*v - 2*v - v**2. Is u(-6) a multiple of 8?
False
Suppose -1 + 11 = 5*w. Let z(v) = 2*v + 3*v - w + 3. Does 6 divide z(1)?
True
Let z = -114 - -153. Does 13 divide z?
True
Suppose 75 = -n + 385. Suppose 5*l + 0*l = -n. Is l*(-2)/4*1 a multiple of 24?
False
Let q be -118 - (-1)/2*2. Let p(r) = -7*r**3 - 3*r**2 + 3. Let v be p(-3). Let k = v + q. Is k a multiple of 25?
False
Let j(g) = 43*g**3 + 5*g**2 - 9*g + 7. Let f(z) = 21*z**3 + 2*z**2 - 4*z + 3. Let o(y) = -7*f(y) + 3*j(y). Suppose l = -l - 2. Does 11 divide o(l)?
False
Suppose -3*u + 5*u = 148. Suppose 0 = 3*d + n - 53, -2*n + 4*n = -4*d + u. Does 10 divide d?
False
Suppose -3*g = 3*s + g - 92, 0 = -s + g + 33. Does 8 divide s?
True
Suppose -7*a + 164 = -60. Does 20 divide a?
False
Suppose 0 = -4*k + 4 + 12, -4*p - k = -52. Let t = 27 - p. Is 5/(t/(-6))*-19 a multiple of 15?
False
Is (-10 - -8)*2/4*-17 a multiple of 2?
False
Let q be (-7)/(-4) + 3/12. Suppose -4*n = 3*o - 143, 5*n - q*n = -2*o + 107. Is 14 a factor of n?
False
Suppose 24 = -4*t + 264. Is t a multiple of 15?
True
Suppose -3 = z + 3. Let o be (z/(-8))/((-3)/(-132)). Let d = -1 + o. Is 16 a factor of d?
True
Is (-206 + 1)*(4 + (-4 - 1)) a multiple of 41?
True
Let v be 4/3 + 2/3. Let n(s) = 7*s**2 - 2*s - 2. Does 11 divide n(v)?
True
Suppose 0 = 6*d - 3*d - 6. Suppose -2*f + 16 = 4*h, -9 + d = f + 5*h. Is f a multiple of 7?
False
Let n = 128 + 120. Does 11 divide n?
False
Let r = -15 - -14. Let x(q) = 21*q**2 + 2*q - q + q + 1. Is x(r) a multiple of 7?
False
Suppose -3*s - 4*z + 26 = 0, 3*z = -2*s - 0*z + 17. Is 5 a factor of ((-1 - s) + -2)*-1?
False
Suppose -2*y + 42 = -2*v, 2*y - 24 - 18 = -2*v. Is y a multiple of 8?
False
Let q(x) = -x**3 + 13*x**2 - 12*x - 9. Suppose 4*w + 4*z = 64, -3*z + 4*z - 38 = -3*w. Is q(w) a multiple of 31?
False
Let t(k) = k**2 - k + 27. Let x = 1 + -1. Is 7 a factor of t(x)?
False
Suppose j - 5*u = 97, -3*j - 2*u - 178 = -5*j. Does 7 divide j?
False
Let r(c) = 37*c - 1. Let s be r(1). Suppose 2*q + s = 4*q. Does 18 divide q?
True
Let l(w) = -w**3 - 2*w - 3. Let a be l(3). Let i = -17 - a. Does 10 divide i?
False
Let x(j) = -j**3 - 20*j**2 - 3*j - 45. Let l be x(-20). Let k(s) = -2*s - 4. Let g be k(-3). Is 6 a factor of 30/g*l/25?
False
Let l(j) = 15*j**2 + 1. Let y(u) = u - 1. Let v be y(0). Let n be l(v). Suppose -m = -3*m + n. Is m a multiple of 6?
False
Suppose 1540 = 12*x - 380. Is 10 a factor of x?
True
Let x = 316 - 160. Is 28 a factor of x?
False
Suppose -i + 512 = 3*x + 50, x + 2*i = 154. Is 11 a factor of x?
True
Suppose 23 = -5*h + 68. Suppose -b = -5*c - h, 7 + 9 = 5*b + 4*c. Is 2 a factor of b?
True
Let f(d) = d + 33. Let p be f(0). Suppose p = -a + 5*r, -4*a - 2*r - 150 = -a. Let o = 68 + a. Is 13 a factor of o?
False
Let s = -133 + 212. Suppose 2*h - 41 = s. Does 23 divide h?
False
Let y(k) = 2*k + 8. Let f = 19 + -10. Does 7 divide y(f)?
False
Let x = 110 - 73. Is x a multiple of 12?
False
Let c = -127 - -265. Is 7 a factor of c?
False
Let p = 76 - -26. Does 6 divide p?
True
Suppose j = 3 - 1. Suppose 108 = -0*m + j*m. Does 20 divide m?
False
Suppose 3*d - 8*d = -195. Is d a multiple of 15?
False
Let k(n) = 7*n**2 - n - 2. Suppose 0*h + 2*h = -2. Let p = h - 1. Is k(p) a multiple of 14?
True
Let c(v) = v**2 - v + 3. Let o be 5/(-15) + (-7)/(-3). Let j be (6/o - 2)*5. Is 14 a factor of c(j)?
False
Let b be (-2)/(-12) + (-3)/18. Suppose b = -5*h + 21 + 69. Does 6 divide h?
True
Let b(x) = -3 + 23*x**2 + 2 + 37*x**2 + x. Let g be (-1 - 1)/(0 + -2). Is b(g) a multiple of 20?
True
Let b(m) = -m - 5. Let y be b(-5). Suppose -51 = -y*f - f. Does 24 divide f?
False
Let l = 5 + 4. Let w = 1 + l. Is w a multiple of 5?
True
Let c = 64 - 64. Let h = -46 + 20. Let w = c - h. Is 17 a factor of w?
False
Suppose v - 9 = 18. Is 27 a factor of v?
True
Let w be 12/18*18/4. Suppose 0 = -2*j - 5*x + 15, -w*j + x + 16 = 2*x. Is 5 a factor of j?
True
Is 11 a factor of (-7 - -3) + (-144)/(-3)?
True
Let j(q) = 1. Let n(a) = -a**3 - 6*a**2 - 6*a - 2. Let b(m) = -j(m) + n(m). Let w be b(-5). Is 14 a factor of 2/(-1) + (19 - w)?
False
Let t(f) = -f**3 + 4*f**2 + f - 4. Let p be t(3). Let m be -2 - 5*8/20. Let h = p - m. Does 7 divide h?
False
Is 9 a factor of ((-905)/4)/(-5) + (-5)/20?
True
Let u(t) = 4 + 7 + 3 + t. Does 13 divide u(0)?
False
Let l(v) = 11*v + 3. Is l(9) a multiple of 17?
True
Let a(w) = -4*w**2 + 13*w - 14. Let j(x) = -3*x**2 + 12*x - 13. Let m(z) = -2*a(z) + 3*j(z). Suppose 0 = 3*h - 4 - 20. Is 2 a factor of m(h)?
False
Let w(q) be the second derivative of -q**5/20 + 3*q**4/4 - q**3 + 2*q**2 - 3*q. Does 8 divide w(8)?
False
Let z = 0 + 31. Suppose -3*g + 1 = 5*l - 17, -2*l + 10 = 4*g. Suppose z - 4 = l*d. Is