oes 6 divide k?
True
Suppose -4*c = 8 - 20. Suppose c*t + 0*v = -4*v + 14, -3*v = 4*t - 21. Suppose -9 = -3*o + t. Is 4 a factor of o?
False
Suppose 5*p + 5*z - 6*z = 2562, -1028 = -2*p + 2*z. Does 11 divide p?
False
Let q be -189 - (3 + -3 - -2). Let s = -102 - q. Is 14 a factor of s?
False
Let b be 4/30 + (2 - (-939)/45). Suppose -4*a - b + 155 = 0. Is 4 a factor of a?
False
Let w = 7036 + -2828. Is 132 a factor of w?
False
Let u = 24 + -24. Suppose 0*h + 10*h - 2310 = u. Does 31 divide h?
False
Let v(a) = 157*a - 2. Is 14 a factor of v(2)?
False
Suppose -2*v - 2*a = -0*v - 2828, -2*a = -2*v + 2840. Does 13 divide v?
True
Suppose 3*c - 9 = -3. Suppose 2*v - 5*v + 7 = i, 3*v + c*i - 8 = 0. Suppose -4*g - 5*n = -49, v*g = -2*g - n + 61. Does 8 divide g?
True
Suppose -21*j = -30*j + 2187. Is 9 a factor of j?
True
Let g = -13 + 45. Suppose 4*d + 8*u - 3*u = 239, -2*d + 124 = 4*u. Let i = d - g. Is 18 a factor of i?
False
Suppose 0 = 2708*c - 2697*c - 3355. Is 61 a factor of c?
True
Let m = 10 + -21. Let v = -8 - m. Suppose -v*n + n - 33 = -t, n = -5*t + 198. Is t a multiple of 8?
False
Let l = -8 - -12. Let w(a) = 8*a - l - 3*a + 4*a. Is w(8) a multiple of 18?
False
Suppose 2*o + 5*f - 75 = 0, -4*f + 4 = -8. Does 15 divide 1*o*5/5?
True
Let m = -90 - -88. Let i(t) be the second derivative of -t**3/6 + t**2/2 + 5*t. Is 2 a factor of i(m)?
False
Let t = 62 + 7. Is 2 a factor of t?
False
Suppose 5*d = 4*j - 8744, -2473 = -2*j + 2*d + 1901. Is j a multiple of 52?
False
Let z = -31 + 44. Suppose -z*n + 1860 = -51. Does 21 divide n?
True
Let k(n) = -n**3 - 5*n**2 + 6*n + 4. Let x be k(-6). Suppose 41 = x*m - 127. Suppose 3*r = -4*h + 62, 2*h + 0*h - m = -2*r. Is r a multiple of 4?
False
Let x = -166 - -213. Is x a multiple of 4?
False
Let a(g) be the third derivative of g**7/210 - 2*g**5/15 - 6*g**2. Let u(r) be the third derivative of a(r). Is u(1) a multiple of 6?
True
Let h(m) be the first derivative of -m**4/4 + 13*m + 2. Suppose 5*x = 5*u + 15, -16 + 1 = u - 5*x. Does 13 divide h(u)?
True
Let r(s) = -2*s**3 - 4*s**2 - 6*s + 3. Let q be r(-4). Let o = q - 84. Is o a multiple of 3?
False
Suppose 3*q - 8 = -4*z, 0 = -4*z + 2*q - 7*q + 8. Let v be (-755)/(-15) + z/(-6). Suppose 2*l - 45 = -4*y + 5*l, 4*l = -2*y + v. Is y a multiple of 15?
True
Let o(u) = 138*u - 231. Is o(21) a multiple of 127?
True
Let v = -25 + 8. Let m = v - -26. Is 9 a factor of m?
True
Let h = -11 - -13. Suppose -4 = h*y + p - 0, 5*y - 4 = p. Let u(z) = -z**2 - 2*z + 90. Does 25 divide u(y)?
False
Suppose -c = -4*t + 7*t - 638, 5*t - 4*c - 1052 = 0. Does 30 divide t?
False
Suppose -2*b - 38 = -6*b - 2*a, 32 = b - 4*a. Is ((-4)/3)/((-2)/b) a multiple of 5?
False
Is 1 - -1 - -5 - -629 a multiple of 53?
True
Let x(r) = r**2 - 12*r + 13. Let f be x(10). Let o = 10 + f. Suppose -o*t + 43 = 5*n, 0 = t + n - 2*n - 1. Is 3 a factor of t?
True
Suppose 0 = 247*m - 243*m - 1040. Is 20 a factor of m?
True
Let c = 1665 - 614. Is 14 a factor of c?
False
Let h = 4 - 26. Let a = h - -34. Suppose -6*r + a + 96 = 0. Is 6 a factor of r?
True
Let n be 58 + 0*(-4)/(-20). Suppose 4*r = 2*y + 12 - 136, -3*r - n = -y. Is 12 a factor of y?
False
Let n(m) = -4*m**3 - 12*m**2 + 5*m - 1. Let f(y) = -5*y**3 - 12*y**2 + 6*y - 1. Let c(j) = 3*f(j) - 4*n(j). Is c(-12) a multiple of 10?
False
Let s(a) = 18*a**2 - a. Let d(v) = v. Let r(m) = 10*m. Let q(n) = 8*d(n) - r(n). Let b be q(1). Is 37 a factor of s(b)?
True
Let t be ((2 - 4) + 2)*1 + 156. Suppose 4*a + 2*u - t = 0, -4 + 10 = -3*u. Is 10 a factor of a?
True
Let z = 1605 + -721. Is 9 a factor of z?
False
Suppose 0 = -a + s - 39 + 249, 4*s - 420 = -2*a. Is a a multiple of 21?
True
Suppose -5*c - 3 = -4*c. Let j be c - 1*(-2)/2. Is 8 a factor of ((-3)/j)/(2/32)?
True
Suppose -5*o + 1089 = 37*b - 34*b, -1071 = -3*b + o. Does 8 divide b?
False
Suppose -5*p - 106 = -2*o - 32, 4*o + 5*p = 88. Let z = 40 - o. Does 4 divide z?
False
Let m(j) = 5*j**3 - 9*j**2 + 29*j + 4. Does 6 divide m(4)?
False
Let u(k) = -k - 6. Let h be u(-7). Is 9 a factor of (2/5)/(h/90)?
True
Suppose -5*v + 47*i = 49*i - 2356, v - 458 = 4*i. Is 47 a factor of v?
True
Let l(j) = -156*j - 26. Let v be l(-4). Suppose -6*f = -v + 178. Is f a multiple of 10?
True
Let t be (-12)/(4/(-1)) + 55. Suppose o = -3*b + t, 4*o - 79 = -4*b + 3*o. Is 2 a factor of b?
False
Let h = 4122 + -2093. Does 48 divide h?
False
Is 18 a factor of (546/4)/(18/(-120)*-5)?
False
Let p be 111/21 + (-12)/42. Let u be 1*(8 + -1) - 2. Suppose u*v - 25 = -p. Is 4 a factor of v?
True
Let n(p) = 11*p**3 + 2*p - 1. Let l be n(1). Suppose -b + k + 6 = 0, -2*b - k + l = 3*k. Is b a multiple of 3?
True
Let t(x) = x**3 + 6*x**2 - 5*x + 10. Suppose 3*v + i = -12, 4*i = 6*v - v + 37. Is 32 a factor of t(v)?
False
Let v = 5723 - 3337. Is 15 a factor of v?
False
Let h be 4*1 + (-9 - -8). Is 6 a factor of 89/h + 10/30?
True
Let j = 0 - -6. Suppose s + q + 48 = 0, j*q - 2 = 4*q. Is (s - -3)*(-3)/3 a multiple of 23?
True
Suppose -5*h + 4*p + 20 = 0, 0 = -2*h - 2*h + 4*p + 12. Suppose 6*t = 380 - h. Does 31 divide t?
True
Suppose -9*u = -6*u - 18. Suppose -75 = -u*a + a. Let j = 69 - a. Is 19 a factor of j?
False
Let y(z) be the second derivative of -z**3 + 4*z + 7/2*z**2 + 0 + 1/6*z**4. Is y(5) a multiple of 6?
False
Suppose -11 + 179 = 3*p. Suppose 4*s + s = 4*n - p, 3*n - 42 = -2*s. Is 7 a factor of n?
True
Let r(l) = 37*l + 7. Let i be r(2). Let c = 101 - i. Is c a multiple of 3?
False
Let r be (-2)/(1*(-2)/8). Let z(x) = -x + 8. Let f be z(r). Suppose 3*c - 118 + 28 = f. Is c a multiple of 8?
False
Suppose -6235 = -45*p + 6770. Is 6 a factor of p?
False
Let c be (24*-1)/(-6) + 116. Let z = c + -102. Is 6 a factor of z?
True
Let i = -21 - -31. Suppose -s - f + 10 = -4*f, -3*f + i = 4*s. Suppose 5*h = 5*x + 130, -2*h + 51 = -s*x - 5. Is 11 a factor of h?
False
Suppose -5*b + 5 = -t, 2*t - 4*b + 4 = 4*t. Suppose -3*j - 5 = -2*x + 92, -5*x - 2*j + 271 = t. Does 17 divide x?
False
Does 46 divide (-16)/(-28) + 10/((-490)/(-73521))?
False
Let x = 1 + 4. Suppose 2*a - 6 = 4*o + 8, a = -x. Is 6 a factor of (-37 + 2)*(o - -5)?
False
Let v = 35 - 38. Does 28 divide (2061/15 - 5) + v/(-5)?
False
Let a(r) = r**3 - 5*r**2 + 3*r - 4. Let f be a(4). Suppose 3*q - 12 - 7 = -2*o, q + 22 = 5*o. Does 2 divide (q/(-6))/(2/f)?
True
Let z be 4/10*(4 - -11). Let t(g) be the first derivative of g**3/3 - 3*g**2/2 + 2*g - 6. Is 10 a factor of t(z)?
True
Suppose 2*i = 4*h - 6, 3*h + i = -0*h - 3. Let q = 11 + h. Does 8 divide q?
False
Suppose -g + 10 = 3*o + g, 3*g - 12 = -3*o. Let c be 1 + (1 - 4) + -223. Is 10 a factor of (c/(-27))/(o/6)?
False
Suppose -1224 = -4*i + 3*j - 4*j, 0 = -4*i - 3*j + 1232. Is 43 a factor of i?
False
Suppose -4*v + 1 = 5*h, v - h = 6*v - 17. Let z(j) be the third derivative of j**4/8 + j**3/6 - j**2. Is z(v) a multiple of 3?
False
Let n(t) = t + 4. Let l be n(-8). Let o be (-106)/(8/l) - 1. Suppose 2*r - r - o = 0. Does 13 divide r?
True
Let i be 9/5*(-160)/(-24). Let a = i - 8. Is 11 a factor of 128/16*10/a?
False
Let x(y) be the third derivative of -y**5/60 + 7*y**4/12 + 4*y**3/3 - 9*y**2. Let n be x(14). Suppose 7 + n = 5*r. Is r a multiple of 2?
False
Let j(c) = c**3 + 16*c**2 + 16*c + 12. Let i be j(-15). Let d(p) = -p**3 - 4*p**2 - 5*p - 4. Let u be d(i). Suppose 14 = -u*a + 56. Is a a multiple of 7?
True
Let t = -12 + 15. Suppose 0 = t*p + 88 - 31. Let h = p - -37. Is 7 a factor of h?
False
Let l(y) = -7*y + 8. Let a(b) = -57*b + 63. Let m(d) = 4*a(d) - 33*l(d). Let i be m(6). Does 19 divide 338/i + 2/3?
True
Suppose -1152 = -8*s - 8*s. Is s a multiple of 4?
True
Let v(r) = -4*r**3 - 2*r**2 + 2. Let g be v(-2). Let i = g + -22. Suppose -z + 3*z = -10, 3*z = -i*q + 33. Is q a multiple of 6?
True
Suppose -12 = -11*z + 32. Let x(g) = 40*g - 5. Is 22 a factor of x(z)?
False
Suppose -3*a = -a. Suppose -4*p + a + 36 = j, -4*p + 100 = 5*j. Does 6 divide j?
False
Suppose -4*q + 0*n - 3*n = -10, 2*q - 10 = n. Suppose q*c = -16, -3*c + c = 3*w + 80. Does 13 divide (-920)/w - 2/6?
False
Let j(u) = -u**3 + 8*u**2 + u - 6. Let r be j(8). Suppose r*t = 8*t - 30. Suppose -2*s - t*m + 110 = s, 5*m + 10 = s. Does 15 divide s?
True
Let c = 107 + -104. Is 27 a factor of (-2)/(c + 895/(-295))?
False
Let t(d) = -2*d - 13. Let f(z) = -z - 7. 