 50 - q. Does 6 divide a?
True
Suppose 2*v + 20 = 6*v. Let m be 86 + -1 + (-15)/v. Suppose 2*h - h - m = 0. Does 11 divide h?
False
Does 10 divide 39/52 + (-218)/(-8)?
False
Let k(g) = 39*g**3 + g**2 + 2*g + 1. Let u be k(-1). Let o = -23 - u. Does 16 divide o?
True
Let o = 5 - -98. Let g = -195 + o. Is (-2)/3 - g/3 a multiple of 25?
False
Suppose -5*s + 498 = -2*n, 5*s - 331 - 170 = -n. Is s a multiple of 5?
True
Does 7 divide 682/5 - 10/25?
False
Let x(n) = 4*n**2 - n + 3. Let q be 6/(-5)*(-80)/6. Suppose -3*u = 7 - q. Does 18 divide x(u)?
True
Let c be ((225/6)/(-5))/((-8)/(-32)). Let a(v) = -v**2 - 36*v - 61. Is a(c) a multiple of 14?
False
Let w be -2 + (-292)/(8/2). Is 11 a factor of (w/12)/((-3)/12)?
False
Is 5712/85 + (2/5)/(-2) a multiple of 67?
True
Let u = 1780 - 1180. Is 6 a factor of u?
True
Let z(p) = p**3 - 6*p**2 + 8*p + 3. Let n be z(4). Is ((-36)/21)/(((-12)/308)/n) a multiple of 25?
False
Suppose -x = -2*w - 17 - 5, 3 = w + 3*x. Let k = 13 + w. Suppose k*j - 10 - 22 = 0. Does 3 divide j?
False
Suppose 7*c = 16*c - 7*c. Suppose c = 4*s + 3*d - 58, d - 5*d = -8. Is s a multiple of 13?
True
Let n(z) = z**2 + z + 1. Let a be 3 + (-2)/(-1) + 3. Let b be n(a). Let w = b + -35. Is 21 a factor of w?
False
Let n(o) = -o**2 - 10*o + 11. Let d be n(-11). Suppose 3*g = -d*m + 2*m - 218, 147 = -2*g + 3*m. Let s = -40 - g. Does 8 divide s?
True
Suppose -b = b + 10. Let s be 1/(122/(-62) - -2). Let x = s - b. Is x a multiple of 18?
True
Suppose 0 = -29*j + 24*j + c + 315, -4*c = 0. Is 7 a factor of j?
True
Suppose 9*n - 592 = -52. Let m = n + -5. Does 3 divide m?
False
Let g(i) = i**2 + 7*i + 16. Let y(n) = -n**2 - 6*n - 17. Let t(u) = -6*g(u) - 5*y(u). Is 2 a factor of t(-8)?
False
Let h = 1067 - 105. Suppose -5*z - 2*x + 994 = 0, h - 172 = 4*z - x. Does 9 divide z?
True
Let f be 4/(-8)*-6 - -24. Let h = 39 - f. Suppose -h - 1 = -t. Does 10 divide t?
False
Suppose 0 = 9*g - 906 - 210. Does 15 divide g?
False
Let t(s) = -2*s. Let r be t(-4). Suppose -r*v + 58 = -102. Does 8 divide v?
False
Let r(j) = 5*j**3 + 2*j**3 - 2*j**2 - j**3 - j. Let f be (-12)/(-126)*6*(-7)/(-2). Is r(f) a multiple of 20?
False
Let d be (3 - -5)/4 + 0. Suppose -d*t + 7*t + 5*q - 785 = 0, q - 619 = -4*t. Is t a multiple of 11?
True
Let h(o) be the second derivative of o**5/20 + o**4/2 + o**3/2 + o**2/2 - 19*o. Let l(s) = -s + 2. Let i be l(6). Is h(i) a multiple of 6?
False
Let t(p) = 76*p - 7. Let w(u) = 38*u - 4. Let m(i) = -6*t(i) + 11*w(i). Let b(r) = -r**2 - 10*r - 17. Let x be b(-8). Does 10 divide m(x)?
False
Let o(w) = 0*w**2 + w**2 + 2 + 0*w**2 - 3*w. Suppose 0 = 10*s - 9*s + 4. Does 15 divide o(s)?
True
Suppose 5*s - 137 = 43. Suppose -6*h + s = -4*h. Does 4 divide h?
False
Let x be ((-14)/7 - 16)*2/(-2). Is ((-12)/x + (-128)/6)*-5 a multiple of 22?
True
Let g = -19 + 52. Let h = -60 + g. Let z = h + 42. Is 3 a factor of z?
True
Suppose 33 = 3*f - 3*u, 0 = 4*f + u - 3*u - 34. Suppose 1 = a + 2. Is ((-2)/f)/(a/33) a multiple of 7?
False
Let j(m) = -7*m + 10*m**2 + m**3 - m + 2*m**2 + 1 - 5*m**2. Let y be j(-8). Suppose -s + 20 + y = 3*o, 0 = -4*s - 3*o + 48. Is 3 a factor of s?
True
Suppose 0*y - 4*s - 1220 = -4*y, -3*y - s + 927 = 0. Does 58 divide y?
False
Let d = -64 - -68. Suppose 0 = 2*q - d*y - 92, -q - 3*y - 138 = -4*q. Is q a multiple of 23?
True
Let g be (2445/45)/(1/(-3)). Let v = g - -366. Does 32 divide v?
False
Let g(y) = -3*y - 31. Suppose -3*o - 54 = -0*o. Does 8 divide g(o)?
False
Is 7 a factor of (-1483 + -43)*(-4 - -2)/4?
True
Suppose 0*o - 3*o + 576 = 0. Suppose n + y = 3*y + 110, 2*n - o = -3*y. Is 17 a factor of n?
True
Let p be 82/(-205) - 43/5. Let g = -21 - -47. Let o = g + p. Is o a multiple of 3?
False
Is (-179 - 1)*-4*(-48)/(-128) a multiple of 27?
True
Let g(l) = -l**3 - l**2 + l + 684. Let p be g(0). Suppose -10*w = 114 - p. Is w a multiple of 11?
False
Is 9 a factor of ((-4)/3)/((-2)/135)?
True
Let n be ((-60)/(-18) - 5)/((-1)/57). Let j = n - 43. Is 26 a factor of j?
True
Let v(x) = -2*x - 5. Let j be v(-4). Suppose -3*s = -2*u, -4*u + 25 = 5*s + j. Suppose 4*b = -k + 28, -u*k + 43 = 2*b - 91. Is k a multiple of 7?
False
Suppose 2133 + 22587 = 30*i. Is 42 a factor of i?
False
Let v(j) = -43*j + 1. Let w(i) = -44*i + 1. Let q(l) = -3*v(l) + 4*w(l). Is q(-2) a multiple of 10?
False
Let v = 24 + 6. Let z be (-1)/(21/(-6) - -3). Suppose 0 = -z*r + v + 46. Is r a multiple of 13?
False
Let a(g) be the first derivative of 19*g**4/12 - g**3/2 + g**2/2 - 4*g + 6. Let h(i) be the first derivative of a(i). Is 6 a factor of h(1)?
False
Let t = -1566 - -1650. Is t a multiple of 4?
True
Let y = 24 - 41. Let d = y + 25. Let o(h) = 5*h. Is 14 a factor of o(d)?
False
Suppose -3*o = -2 - 10. Let z = 51 - 46. Suppose 4*u + 395 - 103 = o*r, 2*r = -z*u + 125. Is 35 a factor of r?
True
Let o be (-44)/11*(-19)/4. Let i = 7 - o. Does 9 divide (i/(-8))/((-1)/(-18))?
True
Let u = -16 - -21. Suppose 0*m + 2*m = 2*z - 32, 0 = z + u*m + 8. Is 29 a factor of z/(-6)*(-29)/2?
True
Suppose 0 = 2*j - 4*j + 30. Is 5 a factor of j - ((-3)/(-2) - 3/(-2))?
False
Let u(b) = -b**3 - 10*b**2 - 11*b - 2. Let g be u(-9). Let o be (56/g)/((-2)/4). Let w(t) = -t + 5. Is 4 a factor of w(o)?
True
Let m be -5*((-14)/10 - 0). Let f(n) = -n**3 + 2*n**2 - 7*n + 3 + 0*n**2 - n + 7*n**2. Is 9 a factor of f(m)?
True
Let u = -198 + 688. Does 17 divide u?
False
Let s = 0 - -3. Suppose -s*m - 4 + 13 = 0, 3*y - 9 = -m. Suppose 5*g = y*l - 4, -3*l + 9 + 2 = -5*g. Is 7 a factor of l?
True
Suppose -19*k - 18 = -20*k. Is 18 a factor of k?
True
Let n = 18 - 16. Suppose 4*d = -2*v + 212, -n*v + 5*d + 263 = v. Is v a multiple of 16?
True
Suppose 3*p + 2 = -1. Let j = 131 + p. Does 13 divide j?
True
Let t = 316 + -141. Let a = t + -62. Does 17 divide a?
False
Let b(f) be the second derivative of 7/12*f**4 - 4*f**2 - 1/6*f**3 + 0 + 1/20*f**5 - 7*f. Does 17 divide b(-6)?
True
Let y(n) = 34*n**2 - 5*n - 1. Let c be y(1). Suppose z + 1 = 5. Suppose 0 = -2*m + z*k + 28, c = -2*m + 4*m - k. Does 2 divide m?
True
Let k(t) = t**2 - 9*t - 28. Let l(i) = i**2 - 2*i - 36. Let u be l(8). Is k(u) a multiple of 2?
True
Suppose 0 = 3*y - 4*a + 277, -2*y - 2*a - 234 + 68 = 0. Is 58/y*(-255)/2 a multiple of 10?
False
Let s(l) = -l**3 + 56*l**2 + 3*l. Does 3 divide s(56)?
True
Suppose 0*j + 4*j - w = 1316, j + 5*w = 350. Is j a multiple of 14?
False
Let m be -1 + (-4)/8 + (-2)/(-4). Is (-1)/(m/(-60))*1/(-2) a multiple of 6?
True
Let r = -120 + 69. Let x = -21 - r. Is 6 a factor of x?
True
Let t(g) = g - 5. Let l be t(7). Suppose -n + d - 7 = n, -3*d = l*n - 13. Is 12 a factor of 35 - ((-2)/n - 3)?
True
Suppose -9*z - 3*b + 996 = -6*z, 5*z - 1700 = 5*b. Is z a multiple of 16?
True
Let a(o) = -o**2 - 13*o - 27. Let f be (16/(-10))/((-3)/(-15)). Is 7 a factor of a(f)?
False
Let j be 1*-3*-269*(-4)/12. Let h = -166 - j. Does 22 divide h?
False
Does 6 divide ((-4)/6)/((-34)/(-6987))*-5?
False
Let r(i) = 2*i**2 - 4*i + 406. Is 14 a factor of r(0)?
True
Suppose -3*l + 53 = 2*s, -10 = 2*l - 0. Let p = 44 + s. Is 21 a factor of p?
False
Suppose -177*z + 69258 = -58*z. Is 6 a factor of z?
True
Let v be (-2)/(-6) + (-4)/12. Suppose 2*d - 336 + 0 = v. Does 42 divide d?
True
Let c(r) = -4*r**2 - r + 4*r**2 - 2*r**3. Let g(i) = -i**3 + 2*i**2 + 7. Let z be g(3). Is 6 a factor of c(z)?
True
Let u be (28/(-8) - -3)*-6. Suppose -2*h + 1 = -4*f - 3, u*h - 4*f = 10. Suppose l = -5*n + 123, 2*n - 3*l = 45 - h. Is n a multiple of 13?
False
Let l = 721 + -206. Is 15 a factor of l?
False
Let u = 123 - 254. Let n = -59 - u. Is 9 a factor of n?
True
Suppose -9*u + 116907 = 12*u. Does 130 divide u?
False
Let q(w) = -6*w**2. Let a be (-15)/(-3) + -2 + -1. Let m be q(a). Let l = -4 - m. Is l a multiple of 19?
False
Let z be (-8)/(1 - (-12)/(-4)). Suppose 4*n - 2*y = 2*y - 8, n + z*y - 3 = 0. Is (-6)/(n*(-2)/(-4)) a multiple of 8?
False
Let m = 3 - -57. Let u = 24 + -10. Suppose -m = -16*i + u*i. Is i a multiple of 5?
True
Suppose -89*b + 442870 = 131726. Is 76 a factor of b?
True
Let y(c) = -c**2 + c - 10. Let v be y(0). Let a(g) = -2*g + 13. Let x be a(v). Let h = -20 + x. Is 13 a factor of h?
True
Let k(g) = -48*g + 24. Let h be k(-8). Suppose 2*u - h = -4*r, 3*u + 0*r = -r + 597. Is 22 a factor of u?
True
Let q be (-2 - 10)/4 + 