-9) + 4 + (-70)/15 a multiple of 13?
True
Let i(b) = 4*b + b - 1 - 2*b. Let l be i(1). Suppose -3*x - x = 3*p - 196, -l*x = 3*p - 98. Is x a multiple of 17?
False
Let m = 32 + -11. Is 16 a factor of m?
False
Let w(z) = 11*z**3 + 2*z**2 - 5*z + 2. Does 33 divide w(2)?
False
Suppose -2*y + 110 = -a + 5*a, 0 = 2*a - 4*y - 50. Let v = a - 11. Does 5 divide v?
False
Let h(z) = z**3 - 8*z**2 - 10*z + 13. Let b be h(9). Let q = 103 + 18. Suppose -b*v - 1 = -q. Does 15 divide v?
True
Let c = 178 - 55. Is c a multiple of 17?
False
Let l = 6 + 23. Is l a multiple of 14?
False
Let b(t) = -110*t**3 - 1. Does 8 divide b(-1)?
False
Let z = 11 + -5. Is z a multiple of 3?
True
Let o = -29 - -17. Let j = o - -20. Let g = j - 5. Is 2 a factor of g?
False
Let j = 15 + -10. Is j even?
False
Suppose -3*a + 23 = 4*c, -a = 4*a - 3*c - 19. Let l = a + -9. Let w(j) = -4*j - 4. Is 7 a factor of w(l)?
False
Let g be 8/4*(-1 + 2). Does 12 divide ((-16)/20)/(g/(-60))?
True
Let q(l) = l**2 - 4*l + 1. Let a be q(6). Suppose 0*r + a = r. Suppose 5*g = 3*s + 46, 2*g - r - 6 = s. Is 7 a factor of g?
False
Let o(g) = -6*g - 34. Let m be o(-6). Let y = 147 - -30. Suppose 291 = 5*q - b, 3*q - b = m*b + y. Is q a multiple of 27?
False
Suppose 3*n + v - 50 = 0, -n + 52 = 2*n - v. Does 7 divide n?
False
Let j(d) = -41*d + 1. Is 26 a factor of j(-2)?
False
Let x = 4 - 0. Does 2 divide (10/(-15))/(x/(-30))?
False
Let o(i) = -i**3 - 8*i**2 + 8*i + 4. Is 31 a factor of o(-10)?
True
Let a = -4 - -6. Suppose 5*g - a - 4 = -3*p, -g - 12 = 5*p. Does 3 divide g?
True
Let r(m) = -4*m**2 + m - 7. Let x(j) = -j**2 - j - 1. Let f(c) = -r(c) + 5*x(c). Let p be f(-6). Is (-1 + p - 15)*-2 a multiple of 14?
True
Does 9 divide (35/10 - 3)/(3/972)?
True
Let g(d) = d**2 + 9*d + 1. Let u be g(-9). Suppose -f + 6 = u, 3*f + 81 = 4*a. Does 12 divide a?
True
Suppose 0 = 6*a - 517 - 65. Is a a multiple of 20?
False
Suppose 6*r = -6*r + 3972. Is r a multiple of 14?
False
Let m = 44 - -3. Let o = m + -29. Is o a multiple of 6?
True
Suppose 468 = 4*q - 4*g, -5*q + 4*g + 661 = 79. Does 38 divide q?
True
Suppose 0 = u + 4*x - 50, 0 = -3*u - 0*x + 5*x + 184. Is 8 a factor of u?
False
Suppose 39*k - 621 = 36*k. Is 23 a factor of k?
True
Let u(n) = -33*n**3 - n**2 + 2. Let m(h) = -65*h**3 - 2*h**2 + 5. Let k(r) = 2*m(r) - 5*u(r). Is 12 a factor of k(1)?
True
Let a be (-2)/(3 + (-56)/18). Suppose -2*z = -96 - a. Does 21 divide z?
False
Let u = 58 - 37. Is u a multiple of 7?
True
Let a be (8/(-24))/(1/9). Is (27/(-12))/(a/16) a multiple of 12?
True
Let d(i) = -i**2 - i - 1. Let q(u) = u**2 + 12*u. Let l(b) = -3*d(b) - q(b). Let p = -2 - -8. Is 7 a factor of l(p)?
True
Let b = 1 + -1. Let j = 125 - 41. Suppose 20 = -5*l, l = -4*r - b*l + j. Is r a multiple of 9?
False
Let c be (-2)/5 + (-9)/15. Let w be c/(-3) - 5/15. Suppose w*g - 140 = -5*g. Does 14 divide g?
True
Suppose 0 = -4*m - 0*m. Let s(h) = -h**2 + 2 - h**3 + 10 + m*h**2. Is s(0) a multiple of 6?
True
Let n(i) = -38*i**3 - i**2 - 2*i - 3. Let r(v) = v**3 + v**2 + v + 1. Let l(b) = n(b) + 2*r(b). Is 18 a factor of l(-1)?
True
Let k(j) = -j + 4. Let q be k(6). Is 3 a factor of (-24 + (-6)/3)/q?
False
Let r(o) = 3*o**2 - 2*o - 1. Let t be r(-1). Suppose 0*f + t*f - 8 = 0. Is f a multiple of 2?
True
Let y(r) = r**3 + 2*r + 2. Let b be y(-5). Let j = -95 - b. Does 18 divide j?
False
Suppose 0 = -2*l + 2, 3*c - l + 3 - 5 = 0. Let b = c - -10. Let w = b - 6. Does 2 divide w?
False
Let l(a) = a. Let b be l(0). Suppose -5*t + 284 - 49 = b. Let q = 94 - t. Does 16 divide q?
False
Suppose -2 + 13 = r - 3*y, 0 = r + 5*y - 19. Suppose -5*h + r = 4. Suppose 3*o + 3*q = 63, 33 = o + 3*q + h*q. Is o a multiple of 18?
True
Suppose -3*w + 45 = -99. Is 6 a factor of w?
True
Suppose 0*m - 28 = -2*m. Let u = m - 6. Suppose -2*n = -3*h - u, 5*n + h - 46 = 2*h. Is 3 a factor of n?
False
Let x = 2 + 0. Suppose -4*v = -x*b - 90, 70 = -3*v + 6*v + b. Does 16 divide v?
False
Let k = -3 + 1. Is k/((-2)/(1*32)) a multiple of 8?
True
Suppose -5*k + 76 = 5*f - k, -62 = -4*f - 2*k. Is 8 a factor of f?
True
Let w = 5 - 4. Let k = -5 + w. Let b = k + 7. Is 2 a factor of b?
False
Let j be (5 - 36)*2/(-2). Suppose -2*s + 27 = -b, -3*s - 4*b = -4*s + j. Does 9 divide s?
False
Let n = 157 - 85. Is 19 a factor of n?
False
Suppose 0 = 5*z + d - 164, 4*d = -2*z + 6*z - 136. Is z a multiple of 20?
False
Suppose 4*w - 3*d - 372 = -w, 5*w - 340 = -5*d. Is 18 a factor of w?
True
Let h(r) = r**3 - r**2 + r - 2. Let o be h(2). Suppose 10 = n + o*n. Suppose 2*i - 34 = -2*f, -n*f = 5*i + 7 - 83. Does 7 divide i?
True
Let j = 21 - -1. Is j a multiple of 22?
True
Let r be (-8)/4 + (8 - 2). Suppose -75 - 21 = -r*b. Is b a multiple of 22?
False
Let d = -29 + 53. Is 6 a factor of d?
True
Suppose 2*h = -f + 18, -f - 7 - 8 = -h. Is 11 a factor of h?
True
Suppose -2*t - 4 = -3*r, -t - 3 = -3*r - 1. Suppose r = -0*l + 2*l. Suppose -2*p + 10 = -l*p. Is p even?
False
Suppose 0 = -11*m + 547 - 107. Is 8 a factor of m?
True
Let k = 23 + -8. Does 9 divide k?
False
Suppose 9 = -2*z - 4*m - 7, 16 = -2*z + 3*m. Suppose -2*u = -4*v - 52, -6*v - 72 = -v + u. Is (-234)/v - z/28 a multiple of 17?
True
Let o(f) = f**3 + 14*f**2 - 4*f - 25. Does 31 divide o(-14)?
True
Does 9 divide (24/(-20))/((-4)/270)?
True
Let p(z) = 2*z - 11. Let c be p(8). Suppose -3*n - 4*u - 22 = -92, -49 = -2*n - c*u. Does 11 divide n?
True
Let b(h) be the third derivative of h**5/2 + h**2. Let y be b(-1). Suppose g - y = -g. Is 15 a factor of g?
True
Suppose 6*u - 120 = u. Let b = 35 - u. Let i = -6 + b. Is 2 a factor of i?
False
Suppose -2 = 2*p, -4*i - 2*p - 7 = -7*p. Suppose 6 = 8*d - 7*d. Let q = i + d. Is q a multiple of 3?
True
Suppose 4*y = 3*c + 4 + 18, -y - 2 = 3*c. Does 2 divide (-1)/4 + 17/y?
True
Let n(r) = r**3 + 12*r**2 - 32*r - 34. Is 10 a factor of n(-14)?
False
Suppose 0 = 5*g + 3 + 7. Does 11 divide 96/3 - (g - 1)?
False
Suppose 20 = -5*k + 5. Does 4 divide (-2)/(-3) - 10/k?
True
Let j be 2 + (-3 + 2 - -2). Suppose 4*y + 2 = -s + 6, 4 = j*y + s. Suppose y*g - 20 = -5*g. Is g even?
True
Does 19 divide -3 - (-3258)/10 - 5/(-25)?
True
Let u = -86 + 156. Suppose 5*t + 0*c = -c + u, -4*t = 5*c - 77. Is 4 a factor of t?
False
Suppose -d = -5*u - 82, -3*d + 64 + 214 = u. Is d a multiple of 30?
False
Suppose -17*h + 830 + 598 = 0. Is 8 a factor of h?
False
Let v be 1/(3/396*3). Let a = v - 22. Is a a multiple of 22?
True
Suppose 0 = -a - 2 + 4. Let y(w) = -2*w**2 + 2*w**2 + 4*w**3 + 2. Does 17 divide y(a)?
True
Suppose -6*z = -5*z - 140. Is 17 a factor of z?
False
Let c = 14 + -9. Suppose 4*l + 59 = 3*r - 0*l, -c*r - 3*l + 108 = 0. Suppose r = 2*p - i, -i + 25 = 3*p + 4*i. Does 5 divide p?
True
Let p(h) = h**3 + 5*h + 2*h**2 + 5 + 8*h**2 - 4*h**2. Is 17 a factor of p(-4)?
True
Let f(j) = j**2 - 4*j - 4. Let v = -1 + 6. Let u be f(v). Is 7 a factor of 16 + -2 + u + -1?
True
Let w(l) = -l + 3. Let f be w(0). Suppose 2*j + 5*x = f*j, j + 2*x - 14 = 0. Is 4 a factor of j?
False
Let z = -39 - -79. Is z a multiple of 17?
False
Let w(s) = -s**3 + 4*s**2 + 3*s + 6. Let q be w(5). Let y = 30 + q. Is 13 a factor of y?
True
Is 12 a factor of ((-36)/(-8) - 3)*8?
True
Suppose -3843 = 5*x - 26*x. Is 10 a factor of x?
False
Is 29 a factor of 29 - (-2)/8*0?
True
Let w(c) = -2*c + 1. Let d be w(-2). Suppose -6 = -d*t + 9. Let m = t - 1. Is m a multiple of 2?
True
Suppose i - 1303 = -5*y, 0*i = 3*y - 4*i - 791. Is y a multiple of 38?
False
Let t(b) = -b**2 - 3*b - 3. Let r be t(-3). Let z be r + (-10)/(3 - 1). Is 2 a factor of -3 - (z - (-1 + 0))?
True
Suppose u + 2*u = c + 11, 3*c = 5*u - 21. Let b(x) = -x**3 + 5*x**2 - 2. Is 16 a factor of b(u)?
True
Is 11 a factor of 285/6*10/25?
False
Suppose 66 = n + 10. Suppose n = -0*c + 2*c. Is 14 a factor of c?
True
Let w(a) = 50*a - 1. Suppose -4*o = -1 - 3. Does 14 divide w(o)?
False
Let h = -13 + 12. Is 2 a factor of (6 - 0)/((-1)/h)?
True
Suppose -4*c + 603 = -0*t + t, 4*t - 449 = -3*c. Does 25 divide c?
False
Let f(x) = -x**2 + x + 156. Let g be f(0). Suppose -g = -5*o + o. Does 24 divide o?
False
Suppose -3*k = -3*t - 9, 0*k + 17 = 5*t + 3*k. Suppose 5*w = -j + 84, -72 = -4*w + 5*j + t. Is w a multiple of 17?
True
Does 23 divide 7/(-49) - (-645)/7?
True
Suppose -63 = 4*g - b + 20, -2*g = -2*b + 34. Let l be 