t x(s) = 5*s**3 - 3*s**2 + 2*s - 2. Let l be (-1*(0 + -2))/1. Is x(l) a multiple of 15?
True
Suppose 3*k - 3*c = 372, -730 + 118 = -5*k + 3*c. Is 20 a factor of k?
True
Let h(q) = q**3 + 12*q**2 + 12*q + 6. Let x be h(-11). Let r = x - -10. Is 72/30*r*3 a multiple of 14?
False
Let l = 6 - -74. Is l a multiple of 20?
True
Let p(n) = n**2 - 6*n - 7. Let m be p(7). Let s(h) = -h**2 + h + 28. Is 10 a factor of s(m)?
False
Is 9 a factor of 166/10 - (-6)/(-10)?
False
Let m = -37 - -83. Is 7 a factor of m?
False
Let k(m) = -7*m + 27. Is 38 a factor of k(-7)?
True
Suppose 0 = z - 2*z + 48. Is 16 a factor of z?
True
Let y(i) = -i**3 + 5*i**2 + 7*i - 2. Let x be y(6). Let f = -5 + x. Is 9 a factor of (162/12)/(f/(-2))?
True
Suppose -4*g + 20 = -0*g. Suppose -2*h = -8, 71 = g*q - h - 0*h. Suppose -6 = -4*a - f + 4, 3*a - 3*f - q = 0. Is a even?
False
Let l = -52 + 115. Is 9 a factor of l?
True
Suppose 0 = -0*t + 2*t - 4*h - 30, -5*t - h + 31 = 0. Is 32 a factor of -2 + 1 + t + 58?
True
Let b = -48 - -127. Is 14 a factor of b?
False
Suppose m + 0*m = 5. Suppose -4*w - m*i + 2*i + 12 = 0, -2*w = -i + 4. Suppose -4*d = -9*r + 4*r + 80, d = w. Is r a multiple of 16?
True
Let q be (1/(-2))/((-1)/4). Suppose 0*y + 46 = -q*y. Let l = y - -40. Is l a multiple of 11?
False
Let j = -6 + 9. Suppose -j*c = 2 - 215. Suppose -5*y + c = 1. Does 5 divide y?
False
Suppose -c = -4*h - 1 - 4, -3*h + 5 = c. Suppose -j = q + 9 - 25, 0 = -q + c*j + 16. Suppose f - q = 2. Is 9 a factor of f?
True
Let t(a) = -a + 2. Let v be t(2). Suppose -5*z = -q - 254, v*z - 2*z + 116 = -4*q. Let k = z - 33. Is k a multiple of 9?
False
Suppose -7*b + 504 = -0*b. Is 13 a factor of b?
False
Suppose -2*c + 2*f = 5*f + 9, -4*c - 6 = 2*f. Let h = 0 - c. Let g(p) = -p + 10. Is g(h) a multiple of 5?
True
Let k = -118 - -67. Let j = 84 + k. Does 11 divide j?
True
Let i(m) = m**3 - 3*m**2 + 4*m + 5. Let s(j) = -j**3 + 3*j**2 - 3*j - 5. Let r(h) = -4*i(h) - 5*s(h). Let o be r(5). Suppose -v + o = v. Does 9 divide v?
False
Let z be (-2)/(-2)*(1 - -2). Suppose a - 2*g = -5*g + 51, 113 = z*a + g. Is a a multiple of 18?
True
Suppose -28 = -d + 3*d. Let q = d + 25. Is 5 a factor of q?
False
Suppose -7*g + 8*g - 4 = 0. Suppose -5*j + 335 = 5*y, -4*y + j = -g*j - 223. Is y a multiple of 31?
True
Suppose -n + 0*n + 20 = 3*j, n = -j + 20. Does 5 divide n?
True
Let s = 29 - 36. Let n be 1/(((-4)/3)/(-4)). Does 4 divide n/s - (-93)/21?
True
Let z = 16 - 27. Suppose 0*s + 3*s = 3*n - 15, -4*n + s = -8. Is 11 a factor of (0 + -1)/n*z?
True
Is (-4)/(-3) - 684/(-54) a multiple of 7?
True
Let a(r) = 4*r**2 - r + 2. Is 11 a factor of a(-3)?
False
Let n(l) = -5*l**3 + 14*l**2 - 20*l - 9. Let r(u) = 9*u**3 - 28*u**2 + 40*u + 19. Let b(a) = -11*n(a) - 6*r(a). Is b(-15) a multiple of 12?
True
Is 220 - (-1 + 2)/(-1) a multiple of 13?
True
Let t(r) = 3*r**2 + 3 - r**2 - 6*r**2 + 9*r. Let o(y) = -y**2 + 1. Let m(z) = -3*o(z) + t(z). Is 7 a factor of m(7)?
True
Suppose 0*p - 132 = -2*j + 4*p, 5*p = 0. Does 5 divide j?
False
Let t(z) = z**3 - 7*z**2 + z + 9. Does 13 divide t(8)?
False
Let d(m) = 10*m**2 + 8. Let h(r) = 11*r**2 - r + 9. Let u(s) = 6*d(s) - 5*h(s). Is u(-3) a multiple of 14?
False
Is 3*1 - 195/(-5) a multiple of 14?
True
Suppose -4*f = 4 - 16. Is f even?
False
Suppose 7*q + 960 = 10*q. Is q a multiple of 16?
True
Let l be (-1 - -3)/(7/14). Suppose w + 0*g + 2*g = 52, -l*w + 5*g + 143 = 0. Is 12 a factor of w?
False
Let i = 103 - 54. Does 7 divide i?
True
Let l(d) be the third derivative of 1/6*d**4 + 1/3*d**3 + d**2 + 0*d + 0. Is 7 a factor of l(2)?
False
Suppose 0 = 44*p - 48*p + 40. Does 5 divide p?
True
Let a(q) = q + 3. Let s be a(-3). Suppose 2 = r - s. Suppose -5*j + 43 + r = 0. Is 5 a factor of j?
False
Let y = 0 - -2. Suppose 3*x = y*x + 3. Suppose -s = -0*s - x. Does 3 divide s?
True
Let n = 7 + 0. Is n a multiple of 7?
True
Let o be (-1)/3*-3 - 5. Does 7 divide (-1 + 47)*o/(-8)?
False
Let u be -1*2 - (0 + -5). Suppose -3*z = 3*h - 126, h = -z + 2*h + 32. Suppose -d + z = 4*t, -4*t + d + 13 = -u*t. Is t a multiple of 5?
True
Let n(f) = -12*f**2 + 2*f. Let g(t) = -t**2 + 1. Let v(q) = 3*g(q) - n(q). Is v(2) a multiple of 10?
False
Let v(b) = 5*b**2 + b - 13. Is v(-7) a multiple of 15?
True
Suppose 5*i - 19 = -4. Suppose i*a = 14 + 22. Is 7 a factor of a?
False
Let b(d) = 4*d**2 + 2*d + 43. Does 4 divide b(0)?
False
Let o = 144 + 4. Is 9 a factor of o?
False
Let i(y) = -y**3 - 3*y**2 - 2*y + 2. Let h be i(-2). Let m be 125/(-45) - h/9. Let f(j) = 2*j**2 + 4. Is f(m) a multiple of 9?
False
Suppose 2*n + 1 = b + 7, 4*b = -5*n + 41. Suppose -b*r - r + 30 = 0. Is r + -1 - (1 - -1) a multiple of 2?
False
Does 19 divide (9/12)/(4/304)?
True
Let w(s) be the third derivative of -7*s**4/24 - 4*s**3/3 + s**2. Let o = 3 - 9. Does 17 divide w(o)?
True
Let s(v) = 2*v**3 - 3*v**2 + 2. Let q be 8/10*(-5)/(-2). Is s(q) a multiple of 2?
True
Let f be 37 - -1 - (-4 - -7). Suppose -2*o + o + f = 0. Does 21 divide o?
False
Let x = 93 - 77. Does 4 divide x?
True
Let u = 10 - 4. Does 4 divide u - -3*(-4)/6?
True
Suppose -5*j + 29 = -16. Is j a multiple of 9?
True
Suppose 84*a - 95 = 83*a. Is a a multiple of 5?
True
Is 2/4*(-384)/(-8) a multiple of 12?
True
Let y(q) = -2*q**2 - 13*q + 4. Is y(-4) a multiple of 8?
True
Let t be (9/(-4))/((-6)/(-16)). Suppose -1 = -z - 0*z. Is 9*((-26)/t)/z a multiple of 13?
True
Let s be 46 - (-1 + 0)*1. Let n = s + -13. Is 17 a factor of n?
True
Let r be 248/6*3/2. Suppose 0 = -7*s + 2*s + 2*z + r, -5*s = z - 74. Does 14 divide s?
True
Let w(m) = 2*m + 31. Is 19 a factor of w(13)?
True
Let a = -8 + 13. Let c = a + 28. Is c a multiple of 11?
True
Let r be (9/12)/(1/4). Suppose -r*s - 2*s = 0, -5*z - 2*s = 10. Does 11 divide 32/3 + z/(-6)?
True
Let q = -7 - -13. Suppose -28 = -q*p + 2*p. Suppose 5*k - 8 = p. Is 2 a factor of k?
False
Suppose -3*m + t = -0*t - 843, -5*t = 15. Is 13 a factor of m?
False
Let s = -97 - -214. Is 18 a factor of s?
False
Suppose 3*l - 2*a = -3*a + 33, -3*l + 33 = 5*a. Is l even?
False
Suppose -3*h = 4*w - 550, -4*h + 728 = 8*w - 4*w. Is 11 a factor of h?
False
Suppose -5*d + 94 = n, 2*n + 3*n = -2*d + 424. Is n a multiple of 14?
True
Suppose -4*u = -16 - 8. Suppose 0 = 2*s - u*s - 64. Is (-206)/(-8) - 4/s a multiple of 20?
False
Let a = 16 - -32. Suppose -2*k + r + 0*r + a = 0, 2 = r. Let x = k - -3. Does 14 divide x?
True
Suppose 3*m + 0*s - 2*s - 2 = 0, 40 = 5*m + 4*s. Let y be 6/m*(-2)/(-3). Is 1*(-3 + y - -8) a multiple of 4?
False
Let z(d) = d**3 + 12*d**2 + 3*d - 20. Does 10 divide z(-8)?
False
Let y(a) = a**2 + a + 7. Let i be y(-5). Is (4/(-12))/((-3)/i) a multiple of 3?
True
Let m be 7/(-2) - 6/(-4). Let q = 14 - 6. Is 10 a factor of 84/q - m/(-4)?
True
Let t(n) = -n**3 + 14*n**2 - 13*n + 15. Does 5 divide t(13)?
True
Does 15 divide (-4)/((-8)/(-6)) - -94?
False
Let s = -4 - -7. Suppose -2*a + s*a - 6 = 3*p, -4*a + 5*p = -38. Is 3 a factor of a?
True
Suppose 13*v = 18*v - 115. Is 14 a factor of v?
False
Suppose 4*f - f + w = 43, 0 = 4*f - w - 62. Is 3 a factor of f?
True
Suppose 5*g + 4*l - 13 = 0, 4*g - l - 29 = 2*l. Suppose 2*h + 215 = 7*h + g*b, b = -3*h + 121. Does 25 divide h?
False
Is -4 - ((4 - 5) + -139) a multiple of 17?
True
Suppose -2*i - x + 190 + 63 = 0, -5*i - 2*x + 632 = 0. Is 14 a factor of i?
True
Let r = -16 + 16. Suppose r = 7*p - 2*p - 90. Is 6 a factor of p?
True
Let a be (15*-1)/(4/(-12)). Let n = a + 7. Does 26 divide n?
True
Suppose -5*y + 9*u - 4*u = 10, 4*u = y + 17. Let g = 120 - 8. Suppose -k = y*k - g. Is 14 a factor of k?
True
Let h be (-9 - -33)*8/6. Suppose -4*c = -3*c - h. Is 32 a factor of c?
True
Let j be 6/(-1)*(-2)/4. Suppose -9 = -0*s - j*s. Suppose 0 = -s*h - 0*h + 33. Is h a multiple of 7?
False
Let s be -2 + (-1 - -2) + 2. Let k(t) = -t. Let z be k(s). Let g(h) = -13*h + 1. Is 7 a factor of g(z)?
True
Let u(q) = q**3 - q**2 - q + 29. Is u(0) a multiple of 6?
False
Suppose -3*w - 2*c + 508 = -3*c, 0 = -c - 1. Is 17 a factor of w?
False
Suppose -5950 = -20*p + 3*p. Is p a multiple of 25?
True
Let h be ((-6)/9)/(4/(-42)). Let i(z) = z**2 - 5*z + 4. Is 6 a factor of i(h)?
True
Let t = -156 - -219. Is t a multiple of 9?
True
Let b be (2 - 3) + (7 - 1). Let u be 32 + b/(5/2). Let p = 47 - u. Is p a multiple of 5?
False
Su