6)/(-2). Suppose -5*q + 80 = 5*v, m*q - 5 = -5*q. Does 5 divide v?
True
Let o(d) = 8*d + 9. Let b(l) = -3. Let x(z) = 3*b(z) + o(z). Suppose 15 = 2*c + c. Is x(c) a multiple of 10?
True
Let j = 3 - -5. Let h be j/(-6) + 208/12. Suppose -4*r - 2*n + h = 0, -5*r = 3*n - 9 - 9. Does 2 divide r?
True
Let p be 2 - 297/(-18)*8/(-6). Let u = p + 55. Is u a multiple of 13?
False
Let d(z) = 31*z - 164. Is 6 a factor of d(14)?
True
Suppose -s - 405 = -5*o, 2*o + 4*s = -0*o + 184. Does 2 divide o?
True
Suppose 0 = 2*q + 6, -3*d + 0*d - 4*q = -735. Let o = d + -177. Does 9 divide o?
True
Let i = -20 - 7. Let l(x) = 6*x + 21. Let j be l(-7). Let q = j - i. Does 3 divide q?
True
Suppose 0 = 3*v + 4*a + 179, 2*v - 2*a = -64 - 60. Let n = 92 + v. Suppose 2*f - 2 = 0, -4*g + f + 24 = -n. Does 12 divide g?
False
Suppose -3*f = -0*f - 6. Suppose -3*c - 6 = 3*h, 5*c - 2*h = f*h + 35. Suppose -16 = 3*t - 7*t, -c*w - t + 34 = 0. Is 3 a factor of w?
False
Suppose 5*w = 2*w + 24. Let d(x) = -3*x**3 + 10*x**2 + 8*x - 3. Let b be d(4). Is 2 a factor of (60/w + b)*2?
False
Let k(g) = 32*g. Let q be k(1). Suppose -115 = 5*w - 2*x + 5*x, -w = -2*x + 23. Let n = w + q. Is n a multiple of 9?
True
Let s = -6 + 9. Suppose 7*j = s*j + 4, -2*i + 131 = -3*j. Does 12 divide i?
False
Suppose -31 = -p + 3*w, p - w + 6*w - 39 = 0. Does 44 divide (p + -29)/((-1)/(-59))?
False
Let h be (8 + -5)/(-1*1). Let s be 6/((h - 1) + 3). Is (-76)/s*(-30)/(-20) a multiple of 9?
False
Let p be (-1 + -2 + 17)/(-1). Let m = p - -32. Is 9 a factor of m?
True
Let o = -496 - -706. Suppose 5*r + o = 5*a, -3*r = -2*a - 0*r + 86. Is 20 a factor of a?
True
Suppose -3*x = -4 - 14. Let m = 31 - x. Does 25 divide m?
True
Suppose 0 = 36*x - 45*x + 4842. Is 21 a factor of x?
False
Suppose 6*g = -2*y + 3*g - 235, 0 = -y + 3*g - 113. Let x = y + 206. Does 18 divide x?
True
Suppose -2*u - 265 = 4*f - u, f = -2*u - 68. Let s = 111 + f. Does 17 divide s?
False
Let a be 1 + 0 - (-91 - 1 - -3). Let j = a - 47. Is 43 a factor of j?
True
Let s(f) = f**2 - 29*f + 81. Is 8 a factor of s(54)?
False
Let l(g) = -21*g**2 - g - 1. Let n be l(-1). Let w = 47 + n. Is w a multiple of 6?
False
Let f(k) = -4*k**2 - 9*k - 12. Suppose 0 = 4*r - 3*q + 21, -2*q = r + 3 + 5. Let p be f(r). Let u = p - -148. Is 23 a factor of u?
True
Let n be -1*0/((-12)/3). Suppose n = -8*b + 2*b + 348. Suppose 2*m = 3 + 3, 5*p + m = b. Does 3 divide p?
False
Suppose 4*x - 3*x + 12 = 2*r, 3*r - 13 = 4*x. Suppose 189 = -0*v + r*v. Is v a multiple of 13?
False
Does 7 divide 2/8 - 4/((-96)/306)?
False
Is (8946/36)/(2/4) a multiple of 16?
False
Let z(s) = -8*s + 3*s**2 - 8*s - s**2 + 10*s + 4. Does 9 divide z(6)?
False
Let k be (-4)/14 - (-30)/7. Let w = k - -7. Does 2 divide w?
False
Let a(o) = -139*o - 54. Let p be a(-16). Suppose 3*v + p = 13*v. Does 27 divide v?
False
Let a = -4 - -2. Is 3 a factor of (24/20)/(a/(-15))?
True
Let q be (1 + (-14)/(-2))*5/10. Suppose -4*k - 416 = -4*v, 0*k = -v + q*k + 95. Is v a multiple of 27?
False
Let c = 25 - -21. Suppose -r - 4*d = -c, -2*d = -5*r + 108 + 56. Does 9 divide r?
False
Let t be 3*(1 - 4)/(-9). Let v be (16*t)/((-2)/(-6)). Let d = v - 20. Is 14 a factor of d?
True
Suppose 29*j + 1542 = 11286. Is j a multiple of 42?
True
Let m be -1*(0 - (-4)/4). Is 44 a factor of (0 - 1)/m*(-3 + 242)?
False
Let w(a) = -10*a - 407. Is w(-54) a multiple of 4?
False
Let t(s) = -s**3 - 4*s**2 + 9*s - 9. Let m = 56 - 63. Is 11 a factor of t(m)?
False
Does 12 divide 4/(-50) + 216314/175?
True
Suppose -15 = -8*m + 5*m. Suppose 0 = 2*g - 3*p - 169, -2*p - 394 = -m*g - 4*p. Is 40 a factor of g?
True
Let d = 2 + -1. Let w be (3 - d)/((-4)/(-118)). Suppose w + 13 = 3*h. Is 24 a factor of h?
True
Let u(l) = -12*l + 3. Let g be u(-3). Suppose 0 = 4*a - a - g. Suppose 5*m = -h + a + 42, -5*h + m = -275. Is h a multiple of 20?
False
Suppose d - 3 - 5 = 0. Let t(u) = 5*u - 13 + 10 + 5 + 9. Is 13 a factor of t(d)?
False
Let q(b) = b + 48. Let x be q(-10). Suppose 0*l + 66 = 3*l. Let d = x - l. Does 4 divide d?
True
Let w(b) = 6*b**2 + 3*b + 119. Is w(-10) a multiple of 36?
False
Let p be (3/(-9))/(2/(-12)). Suppose 0*z = p*z. Suppose z = -5*f - 2*h + 110, -f - h = f - 43. Is 14 a factor of f?
False
Suppose 3*w = 5*w + 5*p - 11, -5*p - 37 = -4*w. Suppose -w + 71 = 3*b. Is 3 a factor of b?
True
Let j(w) = -w**2 - 4*w + 2. Let u(r) = -2*r - r**2 - 3 - 6*r + 7 - 2*r**2. Let x(y) = 9*j(y) - 4*u(y). Is 10 a factor of x(3)?
False
Suppose 0 = 31*x - 35*x + 12364. Does 98 divide x?
False
Let c be 4*2/(-10) + (-7232)/(-565). Suppose 0*z - 95 = -d + 2*z, 0 = d + 4*z - 77. Let b = d + c. Does 25 divide b?
False
Let b be 4/5 - (-4)/(-5). Suppose b = -4*t - 15 + 523. Is t a multiple of 23?
False
Let z(m) = m**3 + 4*m**2 - 9*m - 6. Let u be z(-5). Suppose -u*a + 8*a + 516 = 0. Is a a multiple of 17?
False
Let b be (-4)/(-5)*35/(-7)*-1. Does 13 divide 107 + 4 + b + -8?
False
Let q(n) = n - 7. Let w be q(0). Let m = -9 - w. Is m/(-8) - 441/(-28) a multiple of 4?
True
Let s(m) be the second derivative of -6*m - 1/6*m**4 - 2/3*m**3 - 3/2*m**2 + 0 + 1/20*m**5. Is 13 a factor of s(5)?
True
Suppose 9*g = 4*g + 25. Is 11 a factor of -22*g/2*(-1 - 0)?
True
Suppose 2*c = 3*c + 5. Let w = -3 - c. Suppose w*o - y - 36 = 0, 10 = -3*o + 4*y + 74. Is o a multiple of 16?
True
Suppose 2552 = 31*n - 703. Does 21 divide n?
True
Let q(y) = y + 5. Let k be q(-4). Let z(j) = 3*j. Let b(l) = -5*l - 1. Let n(w) = b(w) + 6*z(w). Is n(k) a multiple of 6?
True
Let n = -774 - -912. Is n a multiple of 4?
False
Let r(h) = -h**3 - 11*h**2 - 8*h + 65. Does 6 divide r(-12)?
False
Suppose 3*h - 5*c - 6 = 57, 3*c = 3*h - 57. Suppose -l - 3*p + 54 = 0, -h = -4*l + 5*p + 115. Let y = l + -6. Does 11 divide y?
True
Does 16 divide (15 - 16)/((-2)/10) - -1462?
False
Suppose 0 = 25*t - 23*t + 2*p - 1570, 0 = t - 3*p - 805. Does 87 divide t?
False
Let y(x) = -290*x - 265. Is y(-6) a multiple of 112?
False
Let f = -490 - -1045. Does 96 divide f?
False
Let k be ((-2)/(-2))/(9/1071). Suppose -125 = -4*b + k. Does 22 divide b?
False
Let j = -31 - -23. Does 19 divide 16/(-4)*66/j?
False
Let g = -19 - -20. Is (g - (-6 + 3))*4 a multiple of 6?
False
Let h = -65 - -59. Is (-2)/h*(16 + 263) a multiple of 8?
False
Let q(a) = -11*a - 4 + 23*a + 2 + a**2. Let c be q(-6). Let x = 86 + c. Does 12 divide x?
True
Suppose 0 = -y + 4*r + 39 + 8, -5*y + r + 273 = 0. Suppose y = -6*s + s. Let b(w) = w**3 + 10*w**2 - 14*w - 16. Does 17 divide b(s)?
True
Suppose -5*g - 240 = -3*c, -5*g + 22 = 5*c - 338. Is 10 a factor of 3/3*(0 + 2 + c)?
False
Let n(u) = -u**2 - u. Let p(d) = -d**2 - d. Let j(x) = -6*n(x) + 5*p(x). Let m be j(-1). Suppose 6*l - 8*l + 36 = m. Is 18 a factor of l?
True
Let q(w) = 8*w - 17. Does 13 divide q(8)?
False
Suppose 0*d = -3*d + 6. Suppose m + 18 = d*m. Is 3 a factor of m?
True
Let g be (-2379)/65 - (-2)/(-5). Let d = -33 - g. Is 3 a factor of d?
False
Suppose -2*w + 9 = -5. Let o be w + (-4)/(-4)*3. Let u(j) = -j**3 + 11*j**2 - 6*j + 4. Is 16 a factor of u(o)?
False
Suppose 0*s - u + 25 = 5*s, -2*s - u + 13 = 0. Suppose -s*l = -2*l + 4, -i = -l - 2. Suppose i = 2*j + 4 + 6, -4*g + 4*j = -128. Does 9 divide g?
True
Suppose 0 = x - 5*w - 0*w, 8 = x + 3*w. Suppose -s + x = -0*s. Suppose -s*m - 47 = -117. Does 7 divide m?
True
Does 6 divide 33 - (6 - (-54)/(-6))?
True
Suppose -m + 2567 = 5*v + m, -2*v + 4*m + 1022 = 0. Is v a multiple of 26?
False
Let j(r) = 75*r - 31. Is 10 a factor of j(46)?
False
Suppose 0 = c - 3*g - 11, 0*g = -5*g - 10. Suppose 0 = -0*o + c*o + 30. Is 18 a factor of (o + 98)*2/4?
False
Suppose 0 = 2*c - 212 - 344. Is 5 a factor of c?
False
Let u(s) = 26*s - 8. Let y be u(9). Let k = y - 82. Does 12 divide k?
True
Let u = 204 + 42. Is 11 a factor of u/4*(-24)/(-18)?
False
Is 32 a factor of -280*((-62)/20 + (-15)/(-10))?
True
Let q be ((-4)/(-12))/((-1)/(-297)). Does 20 divide q - 3/((-6)/2)?
True
Let r = -15 + 17. Suppose y - r*o = 6*y - 392, -4*o - 74 = -y. Let l = y - 29. Does 10 divide l?
False
Let b(x) = -x**3 + x**2 + 2*x - 5. Let m(p) = -p**2 + p. Let h(i) = b(i) - 5*m(i). Let y be h(5). Suppose f + 236 = y*f. Is 18 a factor of f?
False
Let p(o) = 13*o**2 - 17*o + 7. Let n(l) = -20*l**2 + 25*l - 10. Let k(c) = -5*n(c) - 7*p(c). Let q(h) be the first derivative of 