
False
Let i(k) = -k. Let x be i(1). Let s = 13 + x. Does 10 divide s?
False
Suppose 492 = -4*f + 2*a, -a = -5*a - 8. Let c = f - -52. Is (-2)/5 - c/5 a multiple of 14?
True
Is 314/3*21/14 a multiple of 29?
False
Is (12/10)/((-26)/(-715)) a multiple of 11?
True
Let k(f) = 5*f + 93. Is k(19) a multiple of 19?
False
Suppose 0 = 5*g - 41 - 19. Is 12 a factor of g?
True
Let r(u) = u**3 - 5*u**2 + 3*u. Let x(k) = 4*k**3 - 15*k**2 + 8*k + 1. Let y(s) = 7*r(s) - 2*x(s). Is 2 a factor of y(-6)?
True
Let m = -11 - 0. Let c = 24 + m. Does 12 divide c?
False
Let q = -19 - -18. Suppose 30 = 5*d - k, -5*d + 30 = k - 0*k. Let n = q + d. Does 4 divide n?
False
Let r = -11 - -36. Is r a multiple of 12?
False
Let l(q) = q + 5. Let z be l(-4). Let w(x) = 23*x**2 - x. Does 11 divide w(z)?
True
Let h(p) = -p**3 + 6*p**2 + 2*p - 9. Let t be h(6). Let l = t + -2. Suppose -g = -l - 22. Does 21 divide g?
False
Suppose -5*a - 3*x + 23 = 0, x + 7 = -a + 3*a. Does 8 divide (10 - 0) + a + -6?
True
Suppose 3*k - 3*x + 8 = x, -4*x + 16 = -k. Suppose -5*q + 6 = -k, 0 = 2*a + 2*q - 76. Is a a multiple of 18?
True
Let d(l) = 52*l + 3. Is 18 a factor of d(2)?
False
Suppose 0 = 3*z + m - 671, z = -2*z - 2*m + 673. Is z a multiple of 25?
False
Suppose -w + 0*h - 5*h = 24, 4*w = 3*h + 19. Suppose 3*f - 5 = w. Suppose j + f*j = 45. Is j a multiple of 12?
False
Let u = -3 - -6. Let g be 1 + u - (10 + -7). Is 3 a factor of ((-6)/(-10))/(g/5)?
True
Suppose 98 = 3*f - 97. Suppose -5*x = -10 - f. Is x a multiple of 15?
True
Let w = 55 - 91. Let n = w + 68. Is 8 a factor of n?
True
Let h(l) = -l**2 - 30*l + 50. Does 32 divide h(-21)?
False
Let u(f) = -17*f. Is 28 a factor of u(-5)?
False
Suppose 0 = 6*t - 754 - 110. Does 24 divide t?
True
Let a(y) be the third derivative of -2*y**4 + 2*y**2. Let x be a(-2). Suppose -h + x = 3*h. Is 13 a factor of h?
False
Let a(t) = t**3 + 10*t**2 - t + 2. Let n be (-3)/((-4)/((-120)/9)). Does 7 divide a(n)?
False
Suppose 0 = -3*r + 3*p + 45, 2*p = -2*r + 9 + 17. Let u = r - 8. Is 6 a factor of u?
True
Let u = 37 + -12. Is 7 a factor of (-2)/(-2) + u/1?
False
Let k(y) = -y**3 + y + 4. Suppose -4*s = -12 + 32. Let j(t) = 2*t + 7. Let l be j(s). Does 14 divide k(l)?
True
Suppose -96 = -2*p - 2*p. Does 3 divide p?
True
Let z = -1 - -15. Is 4 a factor of z?
False
Is 24 a factor of (-4 - (-54)/15)*-240?
True
Let l(w) be the second derivative of -w**5/20 - w**4/6 + w**3/2 - 3*w**2/2 - w. Does 6 divide l(-4)?
False
Let a(j) = -3*j**3 + 2*j**2 + 2*j - 2. Suppose -5*v - 25 = -5*y, -4*y + 0*v - v + 15 = 0. Suppose y*g + 0*g - 12 = 0, 3*c = -2*g. Does 10 divide a(c)?
False
Let z be (-2)/((1/(-29))/1). Suppose -b + z = -0*b. Is b a multiple of 29?
True
Let c(p) = p**3 - 3*p**2 - 4*p + 2. Let w be c(4). Suppose 0 = -w*k - t - 4*t + 35, -5*t + 20 = -k. Suppose -k*h - 4 + 19 = 0. Is 3 a factor of h?
True
Suppose -w + 0*w = 5*t - 30, 2*t + 56 = 3*w. Does 12 divide ((-64)/w)/((-2)/15)?
True
Let r be 3 + 3*(-4)/3. Let n be 6 + (-3)/r + -6. Suppose 0*y - 3 = -y - 5*z, -4*z - 47 = -n*y. Does 10 divide y?
False
Suppose -3*t + 5*n + 72 + 18 = 0, -5*t - n = -178. Suppose 6*r = 11*r - t. Is r a multiple of 7?
True
Let s(q) = -4*q + 2. Suppose u + 0*u + 2 = 0. Let a be s(u). Suppose -2*h = -7*h + a. Is h even?
True
Let o(c) = 2*c**2 + 7*c + 11. Let u(x) = 5*x**2 + 15*x + 23. Let w(z) = 9*o(z) - 4*u(z). Let k be w(7). Does 17 divide 3/(-6) + k/(-4)?
True
Let b = 117 + -55. Let a = b - 8. Does 18 divide a?
True
Let i be (-3 - 9/(-2))*8. Let a = i + -2. Does 7 divide a?
False
Let i(q) = q + 1. Let u be i(3). Suppose u = -a + 14. Suppose -5*f = -3*w + 47, -f = 2*w + f - a. Does 6 divide w?
False
Let z = 21 - 11. Does 5 divide (-38)/z*-1*5?
False
Let y = -40 + 104. Suppose a = 40 + y. Does 28 divide a?
False
Suppose -3*n + 44 = -34. Does 39 divide ((-18)/(-1))/(4/n)?
True
Suppose -60 = -5*i + 20. Is i a multiple of 10?
False
Suppose 37*l = 38*l - 73. Does 4 divide l?
False
Suppose 717 = 13*c - 453. Does 36 divide c?
False
Let c be (-1 - -9)/((-2)/(-30)). Suppose -2*k - c = -4*k. Does 15 divide k?
True
Let l(x) = -x + 17. Is 5 a factor of l(12)?
True
Suppose -3*h - 4 = -7*h. Is 4 a factor of (1 + h)/(4/18)?
False
Let x(s) = 3*s + 26. Let a(b) = b. Let v(z) = -2*a(z) + x(z). Is 9 a factor of v(0)?
False
Let x(i) = -i**2 + 3*i + 2. Let z be x(3). Suppose -z*v = -v - 5*f - 17, 2*v - 29 = 5*f. Does 7 divide v?
False
Suppose j + 3*j - 48 = 0. Does 4 divide j?
True
Let p be 3/6*-2*-32. Suppose 3*q = -q - p. Is 17 a factor of ((-12)/2 - -1)*q?
False
Let r(f) = f**3 + 7*f**2 + 4*f - 7. Let o be r(-6). Let n = -4 + o. Suppose -v + 6 = n. Does 5 divide v?
True
Suppose m + 4 = 11. Suppose -m = -n + 23. Suppose -2*y - y = -n. Is 9 a factor of y?
False
Is 6/(-168)*-1436 - 2/7 a multiple of 17?
True
Let o(n) = 2*n**2 - n - 2. Let p = 9 + -15. Let b = p - -8. Is o(b) a multiple of 4?
True
Is (-1)/((-140)/(-145) + -1) a multiple of 5?
False
Suppose 9 = 4*f + c, -f + 3*c = 4*c - 6. Let y be f*(-1)/(-1)*5. Let j(k) = -k**3 + 8*k**2 - 3*k - 6. Is j(y) a multiple of 19?
False
Let s be (-8)/20 + (-44)/(-10). Suppose 0 = s*z - 207 + 39. Is z a multiple of 14?
True
Suppose 12 = p + 2*p. Let z = p + 13. Is 10 a factor of z?
False
Suppose 2*q - 4*q + 4 = 0. Is 14 a factor of 41 + 15 + (-8)/q?
False
Suppose 2*f - 3*q = -3*f + 264, 4*f = 3*q + 210. Suppose -4*x + 174 = f. Does 15 divide x?
True
Suppose 2*g - 4*g + 8 = 0. Suppose g*y = 2*y + 36. Is y a multiple of 10?
False
Let u(h) = 4*h**2 - h - 14. Is 35 a factor of u(7)?
True
Suppose -5*n - 5*j = -335, -3*j - 205 = -3*n - 2*j. Is 17 a factor of n?
True
Suppose 0 = 4*c - 9 - 3. Suppose -45 = -c*w - 15. Does 10 divide w?
True
Let z = 67 + -2. Does 11 divide z?
False
Let s(n) = -4*n + 2. Let p be s(-5). Let t = 36 + -19. Suppose -3*f + p = -t. Does 7 divide f?
False
Let t be (52/12)/((-3)/(-81)). Is 13 a factor of (2 - 3)/((-3)/t)?
True
Let p(k) be the second derivative of k**5/20 - k**3/6 + 5*k**2/2 + 9*k. Does 16 divide p(4)?
False
Suppose -4*p + 212 = 5*o - o, p = -1. Is 20 a factor of o?
False
Let i(n) = -n**3 + 5*n**2 + 4*n - 2. Let b be -5 - -3 - (-6)/1. Is 10 a factor of i(b)?
True
Suppose -c + 4*j - 2 = -74, c - 3*j = 77. Is 16 a factor of c?
False
Suppose -3*y - y = -24. Let u(n) = n**3 - 6*n**2 + 2*n + 8. Let b be u(y). Let d = b + -8. Is 12 a factor of d?
True
Suppose 2*u = 3*d + 5, 0*d - 13 = -3*u - d. Suppose -5*q - 3*k = -k - 33, 4*k + 4 = u*q. Is q a multiple of 5?
True
Is (-2)/(-22) + 15395/55 a multiple of 12?
False
Let c = 0 + -9. Let p be -10*(-2)/((-30)/c). Let l = 21 + p. Does 14 divide l?
False
Let t(o) = -o - 5. Let c be t(-7). Suppose -4*h = -5*v + 15, -5*v + h - c*h = -40. Let w(u) = u**2 - u. Does 21 divide w(v)?
True
Let x = 0 - -3. Suppose x*o = -i + 66, o + 2*i = 20 - 3. Does 6 divide o?
False
Let v = 18 - 5. Is v a multiple of 13?
True
Is 174/(-4)*((-16)/12 - 0) a multiple of 29?
True
Let y be ((-6)/(-4))/(-3)*-10. Suppose -y*u + 2*x = -3*u + 4, 0 = 2*u - x + 2. Suppose 4*z = -u*z + 48. Is z a multiple of 10?
False
Suppose 4*d - 2*o - 218 = 0, 3*d - 3*o - 7 = 152. Does 28 divide d?
True
Is 149 + (1 - (-3 + 1)) a multiple of 19?
True
Suppose -3*r - 5*j - 75 + 9 = 0, -j - 44 = 2*r. Let c = r + 36. Does 7 divide c?
True
Let j(p) = -p + 11. Let v(r) = r - 10. Let w(b) = -3*j(b) - 2*v(b). Let d be w(7). Does 13 divide d/(-9)*21 - 1?
True
Suppose -5*r + 6 = -3*r, -5*r + 11 = -c. Let p = c + -6. Is 14 a factor of (-3)/p*(-28)/(-3)?
True
Suppose 6 = y - 9. Does 3 divide y?
True
Let i = 39 - 26. Is i a multiple of 3?
False
Let g be (-3)/6*1*-4. Suppose 37 = g*m - 3. Is 6 a factor of m?
False
Suppose 64 = q + q. Is q a multiple of 16?
True
Let b = 2 - -25. Is b a multiple of 16?
False
Suppose -8*x + 30 = -3*x. Let m be 3 - (4 + x/(-2)). Suppose -m - 5 = -y. Is 2 a factor of y?
False
Let l(f) = 8*f. Let d be l(1). Let h = 13 - d. Suppose u - a + 4*a - 24 = 0, 2*u = -h*a + 43. Does 9 divide u?
True
Let b(j) = j**3 - 8*j**2 + 3*j + 3. Let v be 2 - (-5 + 2)*2. Is 27 a factor of b(v)?
True
Suppose -2*x - 3 = -g, -2*x - 20 = -4*g - 2. Suppose -g*l = -25, -t - 2*l = 2*l - 30. Does 5 divide t?
True
Suppose -5*y + 29 = 3*h - h, -3*y = h - 17. Suppose -3*f + 20 = h*f. Is 4 a factor of f?
True
Suppose 2*q + 1 = s - 10, -4*s = 2*q - 34. Suppose 2*