e -2*q + d = -9. Is q a multiple of 14?
True
Suppose -2*y - 207 = -11*y. Does 14 divide y?
False
Let d(p) = -7*p + 3*p**2 - 2*p**2 + p**3 + 2*p**2 - 6. Let z be d(-4). Does 8 divide (-4)/z - (-192)/18?
False
Let t be (-3)/(-2)*(-98)/(-21). Let o(p) = 4*p + 2. Does 5 divide o(t)?
True
Let x = -49 + 99. Is 10 a factor of x?
True
Suppose -v - 4*h + 29 = 0, v - 2*h - 28 = -5*h. Is 18 a factor of v?
False
Let k be 12/(-7)*(-7)/(-1). Is (-46)/(-4) - (-6)/k a multiple of 5?
False
Is 12 a factor of (-2001)/(-21) + (-4)/14?
False
Is 25 a factor of 1167/9 + (-24)/(-18)?
False
Suppose c - 5*c = 2*v + 18, -15 = 5*c + 4*v. Let z = 29 + c. Does 19 divide z?
False
Let b(t) = -4*t - 10. Let l be b(-7). Suppose -l - 2 = -5*k. Does 4 divide (-74)/(-9) - k/18?
True
Is 13 a factor of (-16)/(-4) + -5 + (51 - 1)?
False
Suppose -5*f + 4 = -2*h - 13, -4*f + 5*h = 0. Let k(v) = -4 + 0*v + 3*v - f*v. Is k(-4) a multiple of 3?
False
Let y(s) = s**2 - 5*s - 5. Is 4 a factor of y(8)?
False
Let k be (3 - 49)/(-2) - 1. Suppose -r + 16 = -5*h, -4*r + 0*h = h - k. Let y = 16 - r. Is 5 a factor of y?
True
Suppose -3*o = o - 16. Suppose h - 140 = -o*h. Is 17 a factor of h?
False
Let q(r) = -5 + r**3 - 4*r**3 + 3*r + 6*r**2 + 4*r**3 - 10*r. Let s be q(-7). Does 10 divide 38 + s - (2 + 1)?
True
Let j = 62 + -30. Is 5 a factor of j?
False
Suppose 2*i - 12 = -i - 3*a, -4*i - 2*a + 24 = 0. Suppose 3 = -4*y - 2*d - 5, -2*d = i. Let l = 42 + y. Is 21 a factor of l?
True
Suppose -w + 0*w + 3 = 0. Let k(o) = -1 - 2*o + w - 13*o. Is k(-2) a multiple of 16?
True
Suppose 7*l - 2*l - 230 = 0. Does 13 divide l?
False
Let t(m) be the first derivative of -m**4/4 - 2*m**3 + 9*m + 4. Does 23 divide t(-7)?
False
Suppose 3*o - 4*c - 426 = 375, -o - 3*c = -280. Is o a multiple of 23?
False
Suppose 4*f + 3*k - 249 = 0, -f + 3*f + 5*k - 121 = 0. Suppose 2*n = 5*j + f, 4*j + 30 = n + 2*j. Does 12 divide n?
True
Let u(l) = -l**2 - 5*l - 1. Let z be u(-2). Suppose 1 + 59 = z*i. Let y(j) = 2*j - 4. Is 10 a factor of y(i)?
True
Let d = -151 + 261. Does 11 divide d?
True
Let z = -9 + 14. Suppose -5*x - 98 = -2*q - 9, -z*q - x = -236. Is q a multiple of 10?
False
Let y(m) = 2*m**2 + 3*m + 1. Let x(t) = -t**2 + 4. Let b be x(3). Does 18 divide y(b)?
True
Suppose 2*t - 2*g + 90 = 4*t, -2*t + 90 = -2*g. Is t a multiple of 4?
False
Let s be (-72)/27*(-69)/4. Suppose 4*k - r = -3*r + 68, s = 2*k + 4*r. Does 8 divide k?
False
Let w(y) = -y**3 + 9*y**2 + y - 13. Let g be w(9). Let x be (-1)/(-4) - (-17)/g. Does 16 divide x*(-2)/4*13?
False
Suppose -3*r - 3*o = -156, -4*o = -4*r - 0*o + 240. Is 4 a factor of r?
True
Let n(v) = -2*v - 9. Let l(u) = -6*u - 8. Let k be l(-6). Suppose -k = -0*p + 4*p. Is 5 a factor of n(p)?
True
Let l be ((-6)/7)/(2/14). Is 26 a factor of 4/12 - 154/l?
True
Suppose 0 = g - 3*a - 9, 2*g - a + 53 = 4*g. Is 6 a factor of g?
True
Suppose 3*d - 8 = 4. Suppose -3*i + 45 = 3*z, z + i = d*z - 29. Is 3 a factor of z?
False
Let r be (-3)/(-2)*(-8)/(-3). Suppose -2*o - 16 = -r*o. Suppose b - 5*m - 25 = o, 0 = 5*b - 2*m - 188. Does 17 divide b?
False
Suppose 2*x + 4*d - 688 = 0, d = -0*x - 2*x + 673. Is x a multiple of 34?
False
Suppose -2*a - 3*a + 4*u = 13, 3*u - 10 = 4*a. Is 2 a factor of (-28)/(-8) + a/2?
False
Suppose -3*s + 2*s = -2. Suppose 3*z = h + 2, -11 = -s*h - 3*z + 21. Is h a multiple of 10?
True
Does 14 divide (-2)/11 + 1170/22 + -2?
False
Let o = 116 + -23. Suppose 7 + o = 4*r. Is 9 a factor of r?
False
Let w = 2 - -3. Suppose -2*a = -6, 0 = f - w*a + 4 - 14. Is 5 a factor of f?
True
Let p = 98 + -49. Is 33 a factor of p?
False
Suppose -5*i = -2*n + 494, i = 4*n - 0*i - 1024. Is 12 a factor of n?
False
Is (-64)/(-24)*(-54)/(-4) a multiple of 9?
True
Let j(u) be the third derivative of u**5/30 - u**4/6 - u**3/3 + u**2. Let w(x) be the first derivative of j(x). Does 6 divide w(4)?
True
Suppose -378 = -5*u + 362. Is 13 a factor of u?
False
Let f(c) = -c**3 - 6*c**2 - 4*c + 6. Let j be f(-5). Is 0 + (-54)/(-2) + j a multiple of 14?
True
Let z(v) = 7*v**3 + 4*v**2 + 11*v - 14. Let t(n) = -n**3 + n**2 + 1. Let u(x) = -6*t(x) - z(x). Is 13 a factor of u(-9)?
True
Let u be (65 + 4)/(6/(-4)). Let o = -28 - u. Is 6 a factor of o?
True
Let c = -6 + 10. Suppose -p - m + 20 = 0, p + 3*p - c*m - 112 = 0. Is 18 a factor of p?
False
Is -3 + 2 + 321/(-3)*-1 a multiple of 18?
False
Let m be 72/33 + (-6)/33. Suppose 0 = -m*l - l + 72. Does 12 divide l?
True
Does 29 divide (-8)/(40/(-855)) + 3?
True
Suppose 1 - 2 = -j. Let p be ((-1)/j - 0)*0. Suppose p = -2*q + 23 + 5. Is 9 a factor of q?
False
Suppose -4*i + 20 = i. Let t = 8 - i. Suppose -t*r - 64 = -6*r. Is r a multiple of 18?
False
Suppose 2*p - 43 - 27 = -5*h, 0 = 2*h. Is 5 a factor of p?
True
Let n(u) = u**2 + 5*u + 7. Is 7 a factor of n(-5)?
True
Suppose 0 = 3*o - 0*o - 24. Does 6 divide o?
False
Suppose -120 = -2*l + 24. Let p = l - 44. Suppose -v = -0 - p. Is 14 a factor of v?
True
Suppose 0*z - 2*z = -2*m - 18, -3*z - 2*m + 2 = 0. Suppose 82 = z*b - 2*l, -3*b = -4*b + l + 19. Does 11 divide b?
True
Suppose -2*w = 2*k - 298, -3*k - 2*w = -w - 457. Is 22 a factor of k?
True
Suppose 800 = 14*u - 10*u. Is u a multiple of 30?
False
Let n(z) = -z**2 - 3*z + 2. Let v be n(-3). Suppose -159 = v*y - 5*y. Is 21 a factor of y?
False
Let d be 9/(-2)*4/(-6). Suppose -4*v = -20, 4*v + v = -3*u + 13. Does 13 divide (1 + -27)*(d + u)?
True
Suppose -3*a - 4 = -55. Is 17 a factor of a?
True
Suppose 2*n - p = 174, -4*p + 0 = -8. Suppose n = 5*h - 32. Is h a multiple of 12?
True
Let i(o) = 3*o**2 + 4*o + 4. Let y be i(-4). Suppose 0 = -0*r + 3*r - 12. Suppose n + y = r*n. Is 6 a factor of n?
True
Let b(p) = -9 + 13*p**2 - 5*p**2 - p**3 - 6*p + 4. Let i be b(5). Let w = i - 26. Is 7 a factor of w?
True
Suppose 0 = 2*n + s - 5, -2*n + 8 = -4*s - 12. Suppose n*p + 7 - 19 = 0. Suppose p*g - f - 63 = 0, 73 - 2 = 4*g + 3*f. Is g a multiple of 13?
False
Suppose -2*o + 2*v = 2, 3*o + 3*v - 12 = v. Suppose 4*m - o*m = 34. Is 10 a factor of m?
False
Suppose 2*u - 3*w - 30 = -4*w, 0 = 5*u - 3*w - 75. Is u a multiple of 5?
True
Let h = 9 + 0. Suppose -h = -j + 11. Does 20 divide j?
True
Is -55*(27/15)/(-3) a multiple of 33?
True
Let x(m) = -10*m - 1. Let g(k) = 20*k + 2. Let b(n) = 3*g(n) + 5*x(n). Let h be (2/6)/(1/3). Does 9 divide b(h)?
False
Suppose -5*q - 2*j + 320 = 2*j, 3*q - j - 192 = 0. Is q a multiple of 16?
True
Let m(p) be the second derivative of 4*p**4 - p**3/6 - p**2/2 + 2*p. Does 22 divide m(-1)?
False
Let n(s) = 2*s - 2. Let q be n(3). Suppose 3*d - c - 4*c = 7, 0 = -2*d + 4*c + q. Is d a multiple of 2?
True
Suppose 3*b = o + 19, 18 = 2*b - 0*b - 2*o. Suppose 6*l = 4*l + b*k + 27, 0 = 5*l - 4*k - 25. Let d(w) = 8*w**3 + 2*w**2 - 2*w + 1. Is d(l) a multiple of 9?
True
Let l = -20 - -28. Suppose -l = -c - c. Is 17 a factor of (c + 1)*(-170)/(-25)?
True
Suppose -4*t + 5*w = 2 + 6, -t + w = 1. Suppose n = -t*n + 36. Is 9 a factor of n?
True
Let r(h) = 4*h + 4. Let u be r(6). Let p = u + -19. Suppose -3*o + 6 = -p. Is o a multiple of 5?
True
Suppose 78 = 4*z - 2*p, 2*z + 18 = 3*z - p. Is 8 a factor of z?
False
Let d = -40 + 79. Does 13 divide d?
True
Let h(q) be the first derivative of q**6/360 - q**5/60 - q**4/12 - q**3/3 + 1. Let t(w) be the third derivative of h(w). Is t(4) a multiple of 6?
True
Let l(r) = 3*r + 4. Let d be l(-7). Let u = -6 - d. Is u a multiple of 4?
False
Let n = -9 + 6. Let v = n + 7. Suppose -v*z = -123 - 129. Does 22 divide z?
False
Suppose 24 = -0*g - 4*g. Let o = g - -41. Is 12 a factor of o?
False
Suppose 0 = -5*q + 4*q + 46. Is q a multiple of 23?
True
Let o be 125/20 + (-1)/4. Let i(a) = a**3 - 6*a**2 + a + 6. Is 4 a factor of i(o)?
True
Does 34 divide 161 + -1 + (-5 + -1)/2?
False
Let r be ((-22)/6)/((-1)/9). Let t = r + -9. Is 13 a factor of t?
False
Suppose -5*x - 37 = -187. Suppose 0*n - 2*n + x = 0. Is n a multiple of 8?
False
Suppose 10*h - 252 = 6*h. Suppose h = 4*n - 65. Is 4/3*(n - 5) a multiple of 12?
True
Let c = 0 + 2. Let j(a) = 4 - 5 - 14*a**3 + c + a. Is 7 a factor of j(-1)?
True
Let w = -43 - -80. Is w a multiple of 15?
False
Let u = -2 - -3. Suppose 0 = 2*k + 13 + u. Let r = k - -51. Is r a multiple of 16?
False
Suppose s + 408 = 4*c - 3*s, 5*s - 10 = 0. Suppose c + 166 = 5*r. Is r a multiple of 8?
False
Supp