Let z(i) = -2*i**3 + i**2. Let q be z(-1). Let p be (-2 - -1)*-5*1. Suppose -p*t + q*t = -26. Is 13 a factor of t?
True
Is ((-9480)/16)/(-5) - (-2)/(-4) a multiple of 12?
False
Suppose -s + 11 = -19. Let b be -18 - (0 - (3 + -2)). Let x = b + s. Is 13 a factor of x?
True
Let h(m) = -9*m - 6. Is h(-4) a multiple of 9?
False
Let f be ((-2)/(-5))/(7/(-70)). Let t be ((-70)/f)/((-1)/(-2)). Suppose -3*h = -4*d - 37, -2*h + 5*h - 5*d = t. Does 15 divide h?
True
Suppose -z + 0*z + r + 6 = 0, z - 4*r - 18 = 0. Does 12 divide (z + (-2 - -30))*1?
False
Let f = -131 + 198. Let i = -61 - -29. Let h = i + f. Is 17 a factor of h?
False
Let l(d) be the third derivative of -d**5/60 + 5*d**4/12 - 2*d**3/3 + 9*d**2. Let h be 4/(-10)*20/(-2). Does 10 divide l(h)?
True
Let i be 2/(-6) - 1/(-3). Suppose t - 25 = -4*o, -3*t + 5*o + 41 = -i*t. Is t a multiple of 5?
False
Suppose -8 = -4*l - 0. Let k be l/(3 - (1 - 0)). Is 11 a factor of ((-76)/(-10))/(k/5)?
False
Suppose -g + 242 = 3*n, -3*g + 13 = n - 65. Is n a multiple of 13?
False
Let r be 4/(-7)*21/(-6). Let h(g) = 2*g - 9*g**r + 2 + 8*g**2 + 3*g. Is h(4) a multiple of 6?
True
Let u(i) = -i**2 - 14*i + 3. Let s(q) = q. Let h(l) = -3*s(l) - u(l). Let f be h(-7). Let b = -21 - f. Is b a multiple of 7?
False
Suppose 3*q = -3*s + 33, -s = -q - 0*q + 1. Is 11 a factor of (3 - (-9)/6)*q?
False
Suppose 2*r + 5*b = 21 + 31, 3*r = 4*b + 78. Does 13 divide r?
True
Let g(q) = q**3 - 10*q**2 + 10*q - 13. Let y be g(9). Let b be (-3 + -1)*2/y. Suppose -d = -b*d + 6. Is d a multiple of 3?
True
Let y = 7 - 3. Suppose 2*o = y*t - 202 + 78, 0 = -2*t - o + 70. Is 21 a factor of t?
False
Suppose 11*c - 648 = -16*c. Is c a multiple of 12?
True
Let t be -23 + 2 + -2 + 2. Let b = t + 43. Is 4 a factor of b/6 + 1/3?
True
Suppose 0*n = 3*m - 4*n + 44, 0 = 5*m - n + 45. Let q be (-2)/5 + m/5. Is 12 a factor of (14/6)/(q/(-18))?
False
Suppose 5*h + 1 + 4 = 0. Let p = 22 + -25. Let a = h - p. Is 2 a factor of a?
True
Let l(g) = -2*g + 20. Does 7 divide l(-4)?
True
Suppose 2*a = 7*a - 685. Does 6 divide a?
False
Let c be (-1 - (-6)/(-9))*-30. Suppose -p - c = 4*p. Is 4 a factor of p/(1 + -5 + 2)?
False
Let b(h) = h**3 + 5*h**2 + 3. Is b(-3) a multiple of 21?
True
Let o be 4/4 + -2 + 44. Does 19 divide o + (4 - 3) + -2?
False
Suppose 0 = 5*u - 5*x - 15, 0 = 3*u + 5*x + 1 - 26. Is 19 a factor of 3 - 21/(-3)*u?
True
Let n = 26 + -13. Is n a multiple of 13?
True
Suppose 5*m - 130 = -5*b, 0 = 5*m + 2*b - 64 - 51. Suppose -3*n + 4*w - 11 = 0, 3*n + 3*w + 2*w = -47. Let l = m + n. Is l a multiple of 6?
True
Let q = -14 + 16. Let n(a) be the second derivative of a**4/4 - a**3/3 - a**2/2 + a. Is 4 a factor of n(q)?
False
Let n(z) = -z**3 - 5*z**2 - 2*z - 2. Let o(t) = 2*t + 9. Let x(m) = 6*m**3 + m. Let y be x(-1). Let i be o(y). Is 4 a factor of n(i)?
True
Suppose 5*j - 2*g = 27, -2*j - 5*g - 20 = -5*j. Suppose -10 - 212 = -4*x + z, 10 = -j*z. Let b = -20 + x. Does 17 divide b?
False
Suppose -5*n + 8 + 2 = 0. Let z be n/(-4) + 27/(-2). Let s = z - -30. Does 8 divide s?
True
Suppose -6*n = -2*n - 8. Suppose h - n*z = -0*z + 14, 5*h - 3*z - 49 = 0. Is h a multiple of 4?
True
Let u(l) = l**2 - 3*l - 6. Suppose -4 = -2*q - 5*c, -5*c = -q - 2*q + 31. Is u(q) a multiple of 11?
True
Is 1696/12 + (-25)/(-15) a multiple of 17?
False
Suppose -6*w + 36 = -3*w. Let i = w + 24. Is 19 a factor of i?
False
Suppose -6*q + 2*q = -12. Suppose -2*u = -5*h + q*h + 42, 5*u = 2*h - 57. Suppose 0*o = -o + h. Is o a multiple of 8?
True
Let u = 54 + -26. Is 26 a factor of u?
False
Let g(y) = -y**3 + 5*y**2 + 8*y + 6. Does 8 divide g(-3)?
False
Suppose -5*j + 2*u = -26, -5*j - 5*u = -2 - 3. Suppose -j*p + 10 = p. Is (2/p)/((-1)/(-4)) a multiple of 3?
False
Is (17/4)/((1 + -2)/(-4)) a multiple of 3?
False
Suppose 23 = 5*g - 2, 0 = d - 5*g + 1. Is d a multiple of 24?
True
Suppose -4*l + 180 = l. Suppose 0 = 6*q - l - 24. Is 3 a factor of q?
False
Let g(u) = u**2 - 9*u + 18. Let o be g(9). Let s(w) = 3*w**2 - 3*w + 4. Let b be s(-3). Let m = b - o. Is 11 a factor of m?
True
Suppose -4 = 3*u - 2*u. Let r = -2 - u. Does 6 divide (4 + -6)/(r/(-16))?
False
Suppose -4*y = 5*z - 602, 4*y + 182 = -4*z + 782. Suppose y = -3*v + 16. Let u = v - -70. Is u a multiple of 13?
True
Let a = 104 - -15. Is 7 a factor of a?
True
Let r be 2/2 - (1 - 2). Suppose 0*z - 72 = -2*c + r*z, -3*c + z = -100. Suppose -4*o + c + 44 = 0. Is 14 a factor of o?
False
Let k(p) = -27*p - 23. Is 20 a factor of k(-9)?
True
Let m(p) = 14*p + 1. Is m(7) a multiple of 20?
False
Let k(x) = -x**3 - 6*x**2 - 7*x + 8. Is 29 a factor of k(-7)?
False
Is -1*(-36)/10 + (-10)/(-25) a multiple of 2?
True
Let i(u) = u**3 - 11*u**2 + 4*u - 1. Is i(11) a multiple of 6?
False
Suppose w - 121 = -3*d - 0*w, 2*d + 4*w - 64 = 0. Is 7 a factor of 3/(3*2/d)?
True
Let u be (-87)/(-3) - (1 - 4). Suppose i = -2*w - 3*i + 20, 3*w + 5*i = u. Let k = w - 8. Does 2 divide k?
True
Is (18 + 22)*9/4 a multiple of 24?
False
Let p(b) = -b**3 - 10*b**2 - 11*b - 11. Let l be p(-9). Let f be (-2)/(3*4/(-6)). Let k = f + l. Does 8 divide k?
True
Let d = 56 - 12. Is d a multiple of 22?
True
Suppose 2*f - 43 = -15. Is f/70 - (-79)/5 a multiple of 11?
False
Suppose -5 = -5*t + 240. Is 7 a factor of t?
True
Let q = -11 + 21. Suppose -2*x + q = 4*t - 3*t, 4*x - 32 = t. Let j(u) = 2*u**2 - 6*u - 8. Does 24 divide j(x)?
True
Let j(l) = -l**3 + 12*l**2 - 3*l - 16. Is 16 a factor of j(11)?
False
Is (-30)/((-1 - -3) + -3) a multiple of 10?
True
Suppose 5*l - 300 - 10 = 0. Is l a multiple of 20?
False
Suppose 4*g - 6 = 4*s - 2, 5 = 3*g - 2*s. Suppose -f - 7 = g. Is 6 a factor of -20*(-2)/f*-2?
False
Suppose 0 = -4*v + 3*f + 19, 3*v = -2*f + 13 - 3. Suppose 3*p + 3*z = -2*p + 126, z - 105 = -v*p. Does 11 divide p?
False
Suppose 0 = -3*z + 2*g + 20, 4 = 2*z + 4*g - 4. Suppose 0 = z*l - 3*l + 6, -2*c = l - 78. Does 16 divide c?
False
Let b = -32 - -47. Does 25 divide (50/(-6))/((-5)/b)?
True
Suppose 8 = 3*f + f. Let q(r) = 8*r**3 - 2*r**2 - 1. Is 13 a factor of q(f)?
False
Let r(j) = -5*j + 1. Let d be r(2). Suppose -16 = 6*o + 14. Let t = o - d. Is t a multiple of 3?
False
Suppose -11 = -2*i + 7. Does 2 divide i?
False
Is -2 + 5 + (1 - -14) a multiple of 6?
True
Let x(n) = -n**2 + 9*n + 12. Does 2 divide x(10)?
True
Let x = -4 - -2. Let k be 9/3 + -1 + x. Suppose k = -i - i + 34. Is i a multiple of 14?
False
Let i(g) be the second derivative of -g**4/12 - g**3/3 + 7*g**2/2 + 3*g. Let k be i(-5). Is 13 a factor of (-550)/(-14) - k/(-28)?
True
Let n be -20*(1 - 3/2). Is (-2)/(-5) + 96/n a multiple of 10?
True
Let s = -35 - -55. Let l be ((-155)/s)/(1/(-4)). Suppose -87 = -4*j - l. Does 14 divide j?
True
Let o be -6*(0 - (-8)/(-12)). Is 12 a factor of (o - 46)*1/(-2)?
False
Suppose 0 = 4*y + 4*c - 16, 8 = -5*c + 28. Suppose -4*f - 276 = -5*g - f, 2*g + 4*f - 100 = y. Is 18 a factor of g?
True
Let w = 10 - -16. Suppose -4*j - 12 = -4*r, -12 = r + 3*r. Let n = w + j. Is 10 a factor of n?
True
Suppose -z + 105 = 4*x, -2*z + 2*x = -z - 129. Does 12 divide z?
False
Is 24 a factor of (15/6)/((-665)/(-330) - 2)?
False
Let f = 22 + -36. Let n = f - -31. Does 17 divide n?
True
Is 13 a factor of ((-4)/(-2))/((-3)/(-78))?
True
Suppose 3*y - 19 = 35. Does 6 divide y?
True
Suppose -6 = -4*j + j. Does 5 divide 53/3 + j/(-3)?
False
Suppose 17*m - 19*m = -50. Is 4 a factor of m?
False
Does 29 divide ((-4)/6)/((-8)/2436)?
True
Let l = -327 + 159. Is 24 a factor of (5 - 1)/((-14)/l)?
True
Suppose -6*k + 2*k + 8 = 0. Let n be k + 2 - (-2)/(-1). Suppose d + 0*d = 3*i - 19, 2*d - 10 = -n*i. Is i a multiple of 6?
True
Let s(k) = 3*k + 3. Suppose 4*a = -3*r - 2*r + 28, -3*r = 5*a - 22. Suppose 5*v + 4*t - 33 = 0, -6*v + t = -r*v - 21. Is 15 a factor of s(v)?
True
Let n be (144/27)/(2/69). Suppose n = 5*b - b. Does 23 divide b?
True
Suppose -5*v + 365 = s + 4*s, -3*s - 5*v + 221 = 0. Is 9 a factor of s?
True
Let c = -136 - -251. Does 23 divide c?
True
Let i(n) = 6*n**2. Let w be i(-2). Let k = w + -10. Is 3 a factor of k?
False
Let g be (-2*1 - -34) + 0. Let j = 54 - g. Let z = -10 + j. Is 6 a factor of z?
True
Let y = 21 + -23. Let h(u) = -6*u - 1. Is h(y) a multiple of 11?
True
Let z(r) = 14*r - 84. Is z(26) a multiple of 40?
True
Suppose 55 = 3*u + 5*r - 55, -3*u + 114 = 3*r. Does