4/102) a multiple of 23?
False
Suppose 0 = g + 658 - 846. Is 74 a factor of g?
False
Suppose -3*o + 16 = u, 0*u - 2*o - 26 = -u. Let i = -12 - u. Is i/(-6)*(1 + 8) a multiple of 17?
True
Let u(v) = -v**2 + 7*v + 10. Let j be u(7). Let y = 15 + j. Is y a multiple of 5?
True
Suppose h = -h - b + 8, -5*h = 4*b - 17. Suppose -149 = -h*z - 0*c + 4*c, 5*c = -z + 24. Does 5 divide z?
False
Let u(w) = -w**3 + 2*w - 1. Let b be u(2). Let t(x) = 3*x - 29. Let z(v) = 4*v - 44. Let l(h) = b*z(h) + 7*t(h). Is l(0) a multiple of 17?
True
Let l = 353 + -71. Suppose -5*r + r = 0, -4*u + r = 0. Suppose u = 4*v - x - 539, 2*x - l = -v - v. Is 26 a factor of v?
False
Let l(p) = -p**2 - 3*p + 4. Let g = 1 - 5. Let d be l(g). Suppose -4*a + t + 44 = d, -3*a + 0*a = -t - 32. Is 7 a factor of a?
False
Let v be (12/(-14))/(16/112). Let u(m) = m**3 + 7*m**2 + 6*m + 6. Let a be u(v). Suppose 0 = 4*n - a*n + 44. Is n a multiple of 11?
True
Suppose 3*l - 2*m = 3*m + 165, 0 = -m + 3. Let y be (-1)/(3/l*4). Let c = 11 - y. Is 16 a factor of c?
True
Let y = 1238 - -310. Does 12 divide y?
True
Suppose -20*w = -21*w. Let s be (-1 - -4) + -12 + 12. Suppose -4*l + 154 = 2*h, -3*h + 4*h + s = w. Does 31 divide l?
False
Suppose -3*l - i = -2343, 4*l = 3*l + 5*i + 765. Is 30 a factor of l?
True
Let p be (-6 - -15)*1/3. Does 11 divide 200/p + (-4)/6?
True
Let q(y) = -6*y - 141. Is 21 a factor of q(-29)?
False
Let y(l) = -19*l + 2*l - 33 - 31 + 19. Is 54 a factor of y(-9)?
True
Let x(z) = -3*z**3 - 8*z**2 - 11*z + 4. Is x(-5) a multiple of 9?
True
Let j(c) = 7*c - 2. Let t be j(2). Let i(q) = -q**3 - 8*q**2 - 9*q - 12. Let l be i(-7). Suppose -3*y + l*y + t = 0. Does 12 divide y?
True
Suppose -4 = 7*v - 3*v. Is 22 a factor of (-2 - v)/(-1*(-3)/(-447))?
False
Let h(z) = -4*z - 5. Let t be (-56)/(-10) - 9/15. Suppose 3*p - 4 = d - 19, -4*p - t*d = 20. Is 5 a factor of h(p)?
True
Suppose -5*r = l - 105, -4*r - 3*l = -2*l - 84. Let i = r + -17. Suppose t + t - 40 = 4*d, 0 = 2*d + i. Is 8 a factor of t?
True
Let i(c) = c. Let m(j) = -48*j**2 + 3*j. Let f(n) = 2*i(n) - m(n). Let o(k) = 37*k + 221. Let h be o(-6). Is f(h) a multiple of 16?
False
Is 2 a factor of ((-42)/18 + 2)/(3/(-126))?
True
Let a(s) = -2*s**2 + 33*s - 11. Let j be a(16). Let y be (9/(-18))/((-2)/12). Suppose -46 = -j*o - 4*v, -y*v = -4*o - v + 42. Does 3 divide o?
False
Let h = 2631 - 1422. Does 4 divide h?
False
Let p(f) = f**3 + 6*f**2 - 10*f + 3. Does 60 divide p(8)?
False
Let y(x) = 498*x - 27. Is 10 a factor of y(1)?
False
Let f(k) = 10*k - 19. Let u(i) = i**2 - 29*i + 56. Let d(c) = 8*f(c) + 3*u(c). Let z be d(9). Suppose -4*n + z = 20. Is n a multiple of 22?
True
Is (1190/210)/(1/51) a multiple of 7?
False
Let c(h) = -5*h + 15. Let s(q) be the second derivative of q**5/20 + q**4/2 - 2*q**3/3 + 9*q**2/2 - 3*q. Let f be s(-7). Is c(f) a multiple of 21?
False
Suppose r = -r + 2. Let b be -4 + 1 - (r + -8). Suppose -60 + b = -2*x. Is x a multiple of 9?
False
Suppose 152880 = 15*w + 25*w. Is w a multiple of 38?
False
Is 12 a factor of (57 - 73)*-6*1/1?
True
Suppose -59*s + 47*s + 10248 = 0. Is s a multiple of 14?
True
Let w(t) = -t**3 + 10*t**2 - 4*t + 48. Is w(-8) a multiple of 44?
True
Let x(q) = q**2 - 20*q - 64. Is x(24) a multiple of 16?
True
Suppose 16 = -4*t, x = -144*t + 147*t + 732. Does 9 divide x?
True
Let i = -57 + 58. Is 102/2 - (-1 + i) a multiple of 9?
False
Suppose -6*l + 6 = -12. Let d be 2/8*-2*-12. Suppose -27 = l*j - d*j. Is 9 a factor of j?
True
Let d be (1 - 1)*141/(-282). Suppose -3*b = 4*i - 36, 4*i - 4 = 5*b + 32. Suppose -3*z + i + 102 = d. Is z a multiple of 14?
False
Let r(b) = -b**3 + b**2 + 7*b - 1. Is r(-5) a multiple of 28?
False
Let l(x) = 153*x + 8. Does 7 divide l(1)?
True
Suppose -5*x + 348 = -4*o, o + o = x - 66. Suppose -c - i + x = -3*i, c + 2*i = 68. Does 24 divide c?
False
Suppose -7*x + 2*x + 2995 = 0. Suppose -3*n - 363 = -5*h + 244, 5*h - n = x. Does 13 divide h?
False
Let w(q) = 2*q - 6. Let h be w(8). Let f be (-42)/(-10) + 8/h. Suppose -5*l - 4*a = -306, -5*l + f*a - 7 = -322. Is l a multiple of 31?
True
Suppose 0*h + 40*h - 9720 = 0. Is 4 a factor of h?
False
Suppose -m = -5*u - 102, -2*u - 236 = -3*m + m. Is m a multiple of 2?
True
Suppose 3*x - 1856 = -5*a, 0 = -3*a - 5*x + 1282 - 162. Suppose a = 5*q - 330. Does 6 divide q?
False
Is 33 a factor of (-428)/(-2) + 10/2?
False
Suppose 5*h + 2*m = 140, 3*h = -3*m + 7 + 68. Suppose -5*c + 3*c = -h. Suppose -2*u - 3*u = -c. Does 3 divide u?
True
Suppose 2*s + 4*f - 332 = 0, f + 0*f = 5*s - 808. Is (-3 + 3/(-9))*s/(-15) a multiple of 9?
True
Let a = -30 - -22. Let z be -29*(-4)/(a/(-6)). Suppose 4*x + 0*x = 3*v + 91, z = 3*x + 4*v. Does 10 divide x?
False
Let g be -17 - ((-2)/(-3) + 16/(-6)). Is 14 a factor of (0 + 39)/(g/(-70))?
True
Let y = 61 + 55. Is 2/5 - y/(-10) a multiple of 3?
True
Suppose -9 + 3 = 2*c. Let x be 3/c + 3 + 8. Suppose 5*t - x = 25. Is t a multiple of 7?
True
Suppose -56 = -2*g + 3*u, -3*g - 2*u = -75 - 22. Does 6 divide g?
False
Suppose 3*u = 3*z + 120, 6*z = -4*u + z + 169. Suppose 11 = 4*x - u. Is 13 a factor of x?
True
Suppose 3514 = -9*p - 2723. Let f = -475 - p. Is 20 a factor of f?
False
Suppose 27 = l - 61. Is 11 a factor of l?
True
Let g(k) = k**3 + 8*k**2 - 10*k - 12. Let p be (-24)/10*(-110)/(-33). Is g(p) a multiple of 12?
False
Suppose 13 = 3*d + 1. Suppose 5*c - c = d. Let p(i) = 21*i**2 - 2*i + 1. Is p(c) a multiple of 20?
True
Let m be 0 + -2 + (-1 - -8). Suppose 4*p - 32 = m*b + 2*p, -5 = b + p. Does 7 divide (2 - (-9)/b)*56?
True
Let r(s) = 3*s - 3. Let c be r(7). Is 7 a factor of c + -3 + (-2 - -1)?
True
Let o be (-3)/(-7) - (-120)/14. Suppose -1 = 2*j - o. Suppose 4*k = -k + 2*y + 129, j*k + 4*y - 92 = 0. Does 13 divide k?
False
Suppose 35*i + 2755 = 40*i. Does 44 divide i?
False
Let a be ((-14)/35)/((-2)/20). Suppose 10 = 4*r + 3*l, a*r = -l + 4 + 2. Suppose -2*g - o = -43, -16 = 3*o - r. Is 8 a factor of g?
True
Suppose -5*d - 5 + 15 = 0. Let j(q) = q. Let w(m) = -m**3 + 4*m**2 - m - 4. Let s(a) = d*j(a) - w(a). Is s(3) even?
True
Let s(y) = 4*y**3 - y**2 - y + 1. Let k be s(1). Suppose -19 - 14 = k*x. Let w(f) = -f + 15. Is w(x) a multiple of 6?
False
Let w(j) = j**3 + 2*j**2 + 6. Suppose 3*c - 12 = p + 2*p, -2*p = 2*c - 8. Is w(p) a multiple of 5?
False
Let d(r) = -356*r - 46. Is d(-6) a multiple of 95?
True
Suppose 140*g = 148*g - 2272. Does 80 divide g?
False
Let k(v) = v**2 - 12*v + 13. Let q be k(13). Let y = q + -14. Is 3 a factor of y?
True
Suppose -314 - 288 = -2*i. Does 43 divide i?
True
Suppose -1 - 1 = t, -2*s + 5*t + 44 = 0. Suppose 0 = 4*l - s + 49. Let f = l - -34. Is f a multiple of 7?
False
Let x = 584 + -176. Is 15 a factor of x?
False
Does 7 divide (-153)/255 + 593/5 + 0?
False
Let r(k) = k**3 + 4*k**2 + 2*k - 2. Let c be r(-2). Suppose c*m - 39 = -m. Is 4 a factor of m?
False
Is 17 a factor of (-10)/4 + (-46295)/(-94)?
False
Let v = -518 - -101. Let f = -291 - v. Does 18 divide f?
True
Suppose -4*s = -19 - 1637. Is s a multiple of 9?
True
Let g be 7 + (-2)/(-3 + 4). Suppose -5*x - 5*a + 420 = -a, 5*x = -g*a + 420. Is x a multiple of 28?
True
Let n(v) = -v**3 - 37*v**2 + 78*v + 68. Does 17 divide n(-39)?
True
Let j = 1448 - 848. Let o = j - 974. Is 7 a factor of 6/(-15) + o/(-10)?
False
Let f(v) = -v**3 + 3*v**2 + v - 6. Let j be f(8). Let c = 480 + j. Is 27 a factor of c?
True
Let l(z) = -z + 24. Suppose -4 = -s + 2*f, -6*s + 17 = -4*s - f. Is l(s) a multiple of 8?
False
Let h(m) = -213*m**3 + 2*m**2 + m + 5. Is h(-2) a multiple of 10?
False
Let q(p) = -p**2 - 17*p - 7. Let h be q(-6). Suppose 3*d = 5*j - h, -5*j + 64 + 8 = -4*d. Is 13 a factor of d + 10 + 4*4?
True
Is 54 a factor of -3*(3 - 0) + 2007?
True
Is 146 a factor of (-1)/((-8)/((-79912)/(-7)))?
False
Let i be 2 + 3/((-12)/(-112)). Suppose i = r - 0*r. Is r a multiple of 15?
True
Let g(m) = -m**2 - 8*m + 20. Let q be g(-10). Suppose 0 = 2*d - 7*d + 5*l + 120, q = -l - 3. Is d a multiple of 7?
True
Suppose 799*b = 779*b - 600. Let i = 23 - -17. Let h = i + b. Is 3 a factor of h?
False
Let m = -444 - -919. Is m a multiple of 19?
True
Let n be -1 + 126 + 2*7/(-14). Suppose -2*z + 20 + n = 0. Does 24 divide z?
True
Suppose -19 = -3*l + 2*j + 12, -4*j - 34 = -2*l. Let m(c) = -9*c + 10. Let k be m(l). Let