, -2*i = -5*v + 130. Is v a multiple of 14?
True
Let h = -3 - -6. Suppose -h*k + k = -168. Is 28 a factor of k?
True
Suppose -4*y + 14 = -6. Suppose y*b = b + 116. Does 29 divide b?
True
Let b = -11 - -21. Is b a multiple of 5?
True
Does 14 divide (78/(-4))/((-3)/(-12)*-2)?
False
Suppose 3*v + 5*h + 5 + 50 = 0, -24 = v - 4*h. Let g = -5 - -7. Is 4 a factor of ((-2)/5)/(g/v)?
True
Suppose -o - 3*f + 10 = 0, -16 = -2*o - 2*f + 20. Let y = o + -2. Is y a multiple of 6?
False
Let s(a) = -a**3 - 2*a**2 + a + 2. Let c(t) = 17*t - 23. Let l(i) = 8*i - 11. Let n(y) = 6*c(y) - 13*l(y). Let u be n(4). Is s(u) a multiple of 8?
True
Suppose 0 = -2*r + r + 5*a - 15, 0 = -2*r + 5*a - 15. Suppose r = d + j - 29 - 48, j - 239 = -3*d. Suppose 5*y - d = 129. Is 21 a factor of y?
True
Let q be 3/(-7) + (-18)/7. Is (-90)/12*8/q a multiple of 10?
True
Let d(x) = 4 + 6*x**2 - 2*x**3 + 1 + x**3. Let b be d(6). Suppose 5*p = z + 59, 0*z + 7 = p - b*z. Is p a multiple of 12?
True
Let q = 3 + -2. Suppose -3*o - q = 11. Let c = o - -12. Is 8 a factor of c?
True
Is (68 + 7)*(-4)/(-6) a multiple of 10?
True
Let b = -70 - -25. Let r = b + 82. Is r a multiple of 12?
False
Suppose 0 = -4*t + 4*b, 0 = 4*t - 2*t + 3*b - 10. Let i be (6 - -2 - -2)/t. Suppose r - 9 = 5*m - 2*m, -5*r + 65 = -i*m. Is 11 a factor of r?
False
Let p(f) = -f + 7. Let b be p(9). Let o(r) = 8*r**2 - 3. Is 11 a factor of o(b)?
False
Is 16 a factor of -1 + (-9005)/(-35) + 4/(-14)?
True
Suppose -13 = -m - 5*p, 2*p - 3*p + 2 = 0. Suppose -3*v - 1 = 4*d - 24, -5*v = -m*d - 19. Is 5 a factor of v?
True
Suppose -4*u + 7 = 2*k + k, 2*k + 3*u = 4. Suppose -r - k = -19. Is r a multiple of 4?
False
Let z be (-10)/4 - (-6)/(-12). Let k(y) = y**3 + 5*y**2 + 3*y - 1. Does 8 divide k(z)?
True
Let x be 56/(-10)*(-15)/3. Suppose 2*o = -5*b + x, 0 = -5*o + 4*b - b + 39. Is o a multiple of 2?
False
Let p(n) = 3*n + 1. Let i be p(1). Suppose 0 = 3*o - t - 0*t - 110, 5*t = -i*o + 172. Is 17 a factor of o?
False
Suppose 2*k = -3*r - 2*r - 11, 3*k = 4*r + 18. Suppose 8 = k*z + 2. Suppose -g - 3*g + 60 = z*c, -5*g + 94 = -c. Is g a multiple of 9?
True
Let y be 1 + -3 + 0 + 2. Suppose y = c - 6. Is 2 a factor of c?
True
Let r(u) be the second derivative of -11*u**5/10 + u**4/6 - u**2/2 - 2*u. Does 9 divide r(-1)?
False
Suppose 5*o + 0*d - 5*d = 20, 4*o = 2*d + 12. Let m(h) = 7*h**o + 6*h - 4*h - 3*h**2 - 4. Is m(-3) a multiple of 13?
True
Let b(r) = 2*r**2 + r + 11. Let k = -17 - -12. Is b(k) a multiple of 21?
False
Let c(o) = -o**3 + 10*o**2 - 9*o + 3. Let h be c(9). Suppose f + g + 8 = 3*f, 5*f - h*g - 21 = 0. Suppose f*i - 124 = -i. Does 11 divide i?
False
Let j(q) = 8*q**3 - q**2 + q + 1. Does 28 divide j(2)?
False
Let j be (3 - 2)*-139 - -1. Let i be (-1)/(-2) + j/(-4). Let q = -23 + i. Does 11 divide q?
False
Let b(l) = -l**3 - 2*l**2 - 4*l + 3. Let w(p) = p**3 + p**2 + 3*p - 2. Let n(q) = -6*b(q) - 7*w(q). Does 8 divide n(4)?
True
Suppose 7 = 4*m - 1. Suppose 5*r - 15 = 0, -3*d + 20 = -m*d - 2*r. Is 13 a factor of d?
True
Suppose -4*t + 472 = 5*f, 0 = f + 4*t - 46 - 42. Suppose -f = 4*s - 6*s. Does 16 divide s?
True
Suppose -u = n - 30, -u + 0*u = -2*n - 24. Is u a multiple of 14?
True
Let z be 2/(-5) - (-265)/(-25). Let w(d) be the third derivative of -d**6/120 - d**5/5 - 17*d**4/24 - 5*d**3/3 - d**2. Is 15 a factor of w(z)?
False
Let g = 129 + -117. Is g a multiple of 12?
True
Let a(s) = s**3 - s**2 + s + 4. Does 12 divide a(3)?
False
Let i(t) = 6*t**2 - t - 3. Let l be i(-3). Let r = l + -28. Does 17 divide r?
False
Is 6 a factor of (-22)/(-99) + (-284)/(-18)?
False
Let n = -157 - -258. Suppose -3*f = -n - 4. Is f a multiple of 10?
False
Let n(s) = -s**2 - 19*s - 16. Does 2 divide n(-18)?
True
Let r be 0/(-2) + -3 + 17. Suppose 5*n + 4*o - r = 3*o, -4*n + 28 = 5*o. Is 2 a factor of n?
True
Suppose l = o - 3*l - 15, 0 = 2*l + 4. Suppose -o = 4*j - 3*b - 39, -5*b - 15 = j. Let x(g) = 4*g + 4. Is 12 a factor of x(j)?
True
Suppose x = -2*x - 51. Let p = x + 50. Does 11 divide p?
True
Suppose -2*f = -f + 7. Is 26 a factor of -1 - -99 - 14/f?
False
Let l be 9/2 + 6/12. Suppose 27 = l*w + 2*m + 221, 34 = -w + 2*m. Let j = -25 - w. Is 5 a factor of j?
False
Let h(c) = 7*c**2 - 2*c + 1. Let v be h(1). Let n be v/4*(-110)/(-15). Suppose 0 = -m + 2 + n. Does 5 divide m?
False
Let k(z) = 14*z - 1. Let o be k(1). Is 7 a factor of (o - 1) + 4 + -5?
False
Let p be (-2)/(-8) + 7/4. Let s be -7 - (-4)/p*1. Let c(r) = -2*r - 7. Is c(s) a multiple of 2?
False
Suppose -28 = s - 204. Let c = s - 257. Is (-4)/20 + c/(-5) a multiple of 8?
True
Let i(p) = -7*p - 4. Let f be i(2). Let j = 4 - f. Does 16 divide j?
False
Let i(h) = -h**2 + 7*h - 5. Let x be i(4). Suppose -10*n = -x*n - 72. Is 8 a factor of n?
True
Let m = 61 - 36. Does 25 divide m?
True
Suppose -4*s + 100 = -256. Is 8 a factor of s?
False
Let p = -5 - -7. Suppose -100 = -4*q - 3*l, l - p*l = -4*q + 84. Is 16 a factor of q?
False
Let v(r) = -18*r - 3. Does 11 divide v(-1)?
False
Is (-780)/(-18) + (-4)/3 a multiple of 13?
False
Let i = 11 + -11. Suppose i = -4*h - 0*h + 224. Is h a multiple of 14?
True
Let j = 9 - 5. Suppose j*t - 15 = -t. Suppose 0*l - 4*c - 77 = -3*l, -t*l - 5*c = -59. Does 23 divide l?
True
Suppose -3*a + 3 = -6*a + w, 3*a - 5*w = -15. Suppose 5*g - 17 = -2. Suppose -j = -2*c + 29, -4*c + a*j + g*j = -63. Is c a multiple of 6?
True
Let o be (15/9)/(-5)*-6. Suppose o*v - 48 = 40. Does 22 divide v?
True
Let u(x) = x**2 - 2*x. Let n be u(2). Let l be (n - 146/8)*-4. Suppose -5*d = -5*j + 175, j + d = 3*j - l. Does 14 divide j?
False
Suppose 2*j + 14 = 4*j. Let v = -2 + j. Suppose n + n - 42 = -d, -d + 105 = v*n. Is 13 a factor of n?
False
Suppose 0 = -7*i + 5*i + 136. Let r = i + -47. Suppose 3*a + r = 87. Does 17 divide a?
False
Suppose 0 = 3*v - 5*f + 13, 3*f + 1 = 4*v - 0. Suppose 3*r = -4*z + 5*r + 106, -v*r = -3*z + 92. Suppose -2*g - z = -5*g. Is 7 a factor of g?
False
Is 0/2 - (-224)/4 a multiple of 26?
False
Suppose q + 0*q + 5 = 0, -5*q = -3*r + 49. Is r a multiple of 4?
True
Let i = 5 + -2. Suppose 8*p - 110 = i*p. Does 11 divide p?
True
Suppose -3*s = -0*s - 4*c + 5, 4*s - 4*c = 0. Let n be 3 - (-2 + s - 2). Suppose -3*p + 17 = -n*p. Is 11 a factor of p?
False
Let z(k) = 2 + 36*k**2 - 33*k**2 - 3*k + 4*k. Does 7 divide z(2)?
False
Let x(f) = -f**3 + 15*f**2 + 16*f + 2. Let n be x(16). Suppose 0 = -k - n*k + 123. Does 20 divide k?
False
Let t(f) = -10*f + 12 - 4 + 7*f**2 - 5*f**2 + 0*f**2. Is t(8) a multiple of 14?
True
Suppose -4*c = -b + 176, 0 = 3*b - 0*b - 3*c - 537. Is 12 a factor of b?
True
Suppose 0 = -t - 0*t, 4*t = -3*l + 45. Suppose 5*g + 0*g = l. Is g even?
False
Let u(t) = -t**3 + 5*t**2 - t - 3. Let i be (-69)/(-21) - (-4)/(-14). Is u(i) a multiple of 6?
True
Let p = 1 + 6. Let z = -3 - p. Does 6 divide z/(-3)*18/5?
True
Let d(k) = 2*k**2 - k - 1. Let f be d(2). Suppose -b = -2*m + 62, -f*m = 5*b - 243 + 73. Is m a multiple of 16?
True
Suppose 2*c + 180 = 4*c. Does 9 divide c?
True
Suppose -3*y = -356 + 122. Suppose -3*p = -2*i + 109, -4*p - 5*i - y - 29 = 0. Does 11 divide 2/(-1) + (0 - p)?
False
Let m(y) = 26*y - 56. Is 13 a factor of m(10)?
False
Let i(v) = -v**2 - 8*v + 12. Is i(-9) a multiple of 2?
False
Let f(m) = 2*m + 8 - m + 4*m + m. Let y be f(8). Suppose 5*b - y = 34. Does 6 divide b?
True
Let g be 60/14 + 6/(-21). Suppose 175 = g*h + h. Does 8 divide h?
False
Let k(n) = n**2 + 4*n + 16. Let a be k(-13). Let j = a + -71. Is j a multiple of 15?
False
Let s be -15*(10/(-3) + 2). Suppose -2*j + s = 3*j. Does 2 divide j?
True
Let s be (6/4)/((-21)/(-56)). Suppose -r - 66 = -s*r. Is 10 a factor of r?
False
Suppose 5*o - o - 4 = 0. Let y be 405/21 - 8/28. Suppose o + y = v. Does 6 divide v?
False
Let f = 95 - -296. Is f a multiple of 62?
False
Let j(t) = t**3 + 5*t**2 - 1. Let x be j(-5). Let i be x/(-5) + 56/20. Does 16 divide (-3)/(i/56*-2)?
False
Let m(b) = -5*b - 6. Does 2 divide m(-3)?
False
Let n(k) = -6*k - 22. Does 35 divide n(-12)?
False
Let r = 194 + -134. Suppose 5*o - 10*o + r = 0. Is 10 a factor of o?
False
Let q = -795 - -1138. Does 12 divide 1/(-3) - q/(-21)?
False
Suppose 2*u = 3 - 1. Is 22 a factor of (-3*44/(-3))/u?
True
Let i = 11 + 10. Is 4 a factor of i?
False
Suppose 0 = -27*o + 33*o - 1650. Is o a multiple o