Let t be p(4). Let a = -48 + t. Suppose 31 = 5*h - a. Is 11 a factor of h?
False
Let o = 172 + 66. Does 7 divide o?
True
Let z = -1 - -5. Let n(w) = w**3 + 2 - z*w - 3 + 0*w. Does 12 divide n(3)?
False
Let f = -4 - -11. Is 7 a factor of f?
True
Suppose -98 = -0*w - 2*w - 3*q, 8 = -2*q. Does 6 divide w?
False
Let f be 8/(-3) + 4/6. Let g be 2/4 - (-2)/(-4). Is g - 0 - (f + -1) a multiple of 3?
True
Is (1 - -3*12) + -1 a multiple of 2?
True
Let s = 0 - 0. Suppose 13 = -2*j - t + 45, s = -4*t. Let d = 33 - j. Does 17 divide d?
True
Suppose -j + 0 = -12. Is j a multiple of 12?
True
Suppose 2*w = -0*w - 5*j + 133, -4*j = 4*w - 272. Does 23 divide w?
True
Let g be (-30)/(-20)*(-8)/(-3). Suppose 0 = 2*h - g*y + 8, -2*h - y = -4 - 8. Does 4 divide h?
True
Suppose 4*s - 97 = -f, -8 + 35 = s + 3*f. Suppose 0 = -m - 3*m + s. Is 3 a factor of m?
True
Suppose -9*o - 144 = -11*o. Is 19 a factor of o?
False
Let m = 5 + -2. Suppose -28 = -5*j - m. Suppose -5*h = -4*a - 130, 5*h = -0*h + j*a + 135. Is 11 a factor of h?
True
Suppose n - 2*q = -4*q + 86, -79 = -n + 5*q. Suppose m = -2*z - 19 + 162, z - n = 2*m. Suppose 0*f - 4*f + z = 2*b, 48 = 3*f - b. Does 16 divide f?
False
Let n(a) = -3*a**3 - 3*a**2 - a - 2. Suppose c + 3*x - 3 = -0*c, 4*c = 4*x - 20. Does 18 divide n(c)?
False
Suppose -6*l = -4 - 14. Suppose -l*n = 3*u + 6, 5 = -6*n + 5*n. Is u a multiple of 3?
True
Let v = 266 + -62. Does 12 divide v?
True
Let c = 52 + -31. Is c a multiple of 7?
True
Suppose 1200 = 2*d + 3*d. Suppose 0*h - 5*h = -d. Suppose v = -2*v + h. Is v a multiple of 15?
False
Let q(d) = -d**3 - 6*d**2 - d + 2. Suppose 0*v = v - 2, 3*t + 4*v + 10 = 0. Is q(t) a multiple of 6?
False
Suppose 0 = 6*t - 2*t - 20, t = l - 7. Let d be 6/21 + l/7. Is 3 a factor of (-5)/((-2)/4*d)?
False
Suppose i = -2*g + 113 + 136, -2*g + 269 = -3*i. Does 22 divide g?
False
Suppose -4*r = 5*h - 150, 0 = 6*r - 3*r + 2*h - 116. Is r a multiple of 10?
True
Suppose 0 = -5*i - 8*g + 3*g + 305, -2*g = -8. Is 12 a factor of i?
False
Is (4/(-10))/(16/(-2400)) a multiple of 30?
True
Suppose -2*i + i + 13 = 0. Let v be (-21)/14 - (-22)/4. Suppose 3*u = -v*h + 102, -3*h = -u + 8 + i. Does 19 divide u?
False
Suppose 0 = -4*l + l + 231. Let n = l - 14. Suppose -n = -4*r + 33. Does 12 divide r?
True
Suppose -a - 497 - 753 = 0. Let b be 42/2 - (-18)/(-6). Does 14 divide a/(-45) - (-4)/b?
True
Let o = -1 + 14. Let a be (-2)/(-5)*(-8 + o). Suppose -a*n + 0*n = -22. Is n a multiple of 9?
False
Let h be (-1 + -1)*(-3)/6. Let a be 0*(h - 2) - -81. Does 27 divide (3 - 1)*a/6?
True
Let q(s) = s. Let i(f) = f**2 + 6*f - 6. Let o(t) = i(t) - 4*q(t). Is o(-6) a multiple of 9?
True
Suppose 3*q - 11 = -2. Suppose 0*m - z = q*m - 68, -56 = -3*m + 5*z. Does 11 divide m?
True
Let o(a) = -a**2 - 12*a + 13. Let s be o(-13). Suppose -j + 38 = -s*j. Is j a multiple of 10?
False
Suppose -2*g - 2*o - 3*o = -120, -o = -4*g + 218. Let m = -82 + g. Does 4 divide (3 - m/(-6))*-6?
False
Suppose 0 = -9*b + 4*b. Suppose b = 5*l + j - 29, -j + 0*j + 24 = 4*l. Suppose l*d - 16 = d, -4*d + 161 = 5*o. Is o a multiple of 13?
False
Suppose 9*i - 12*i = -60. Is 20 a factor of i?
True
Let w be 18/12*(1 + -3). Is w + 2 - (3 + -30) a multiple of 10?
False
Let m(i) = i**3 - 3*i**2 - 6*i + 3. Let u be m(5). Let f = -3 + u. Suppose 4*r = 12, 3*n = -4*r + 1 + f. Is n a multiple of 3?
True
Let h(k) = -98*k. Let s be h(1). Let f = s - -156. Does 23 divide f?
False
Suppose 6 = 2*d - 0*d. Let b = 20 - d. Does 14 divide b?
False
Let y = 1 + 1. Suppose y*h = d + 19 - 3, h - 8 = 2*d. Is (-3)/12 - (-50)/h a multiple of 5?
False
Let z(h) = h**2 + 3*h - 10. Suppose 11 = 5*t - 4. Suppose -t*i = -6*i - 21. Does 9 divide z(i)?
True
Suppose -i + 0*i + 42 = 2*v, 18 = v - i. Does 10 divide v?
True
Suppose -3 = -4*z + 1. Let p(x) = -5*x + 5. Let g(y) = -5*y + 6. Let b(r) = 4*g(r) - 5*p(r). Is 2 a factor of b(z)?
True
Let y(t) = -70*t - 28*t + 0 - 1. Let a be y(-1). Suppose 0 = 5*r + 2*l - a, -2*r = -2*l + l - 37. Is 9 a factor of r?
False
Let j(t) = 2*t**2 + 13*t - 2. Let a be j(-7). Suppose -5*p = -a*i + 20, 3*i + 3*p = 4*i + 2. Does 6 divide i?
False
Let g = -133 - -258. Suppose -g = -5*d - 5. Is 8 a factor of d?
True
Let a = 65 + -35. Is a a multiple of 15?
True
Let d(v) = -v - 4. Let c be d(-11). Let z = c - -3. Is 5 a factor of z?
True
Does 6 divide (-2 - 26)*(7 - 9)?
False
Let x = -30 + 120. Is x a multiple of 36?
False
Does 52 divide (-8)/44 + -1442*(-6)/33?
False
Suppose -3*i = -7*i. Suppose c + i*c - 57 = 0. Does 19 divide c?
True
Let i(v) = 2*v + 1. Let o be i(1). Suppose -u = -o*u + 18. Is u a multiple of 9?
True
Suppose 5*z - 35 = 5*a, 0 = 4*z + a + 2*a. Suppose f + 5*r - 16 = 0, 0*r = -z*f + 2*r + 65. Is f a multiple of 21?
True
Let u(m) be the first derivative of -m**4/4 + m**3/3 + 9*m - 2. Is 9 a factor of u(0)?
True
Let a(t) = t**3 - 3*t**2 - 10*t + 7. Is 25 a factor of a(6)?
False
Let d(i) = i**3 - 3*i**2 - 3*i - 4. Let a be d(4). Suppose a = -3*t + 15 - 6. Let s = t + 1. Does 4 divide s?
True
Let x(p) be the first derivative of p**4/4 - 4*p**3/3 + 3*p**2 - p - 1. Is 18 a factor of x(5)?
True
Suppose -2*p - 5*a = -109, -5*p + p - 5*a + 203 = 0. Is 14 a factor of p?
False
Let r(o) = o**2 + 3*o - 1. Does 9 divide r(-5)?
True
Let k = 31 - 18. Is k a multiple of 13?
True
Suppose 56 - 21 = u. Let z be u/20 - 2/(-8). Suppose -2*q + x + 44 = 0, -3*x - 30 = -z*q + 18. Is q a multiple of 21?
True
Let k be (-10)/(-3) + (-4)/(-6). Suppose 8 + 8 = k*o. Suppose -o*i - i = -110. Is i a multiple of 17?
False
Let a = 71 - 43. Is a a multiple of 11?
False
Let v be (0 + -6)*(-4)/6. Let i = 57 - -37. Is 15 a factor of v/(-6) - i/(-6)?
True
Let s = 16 + 13. Let y = s + -11. Is y a multiple of 18?
True
Is 61 a factor of (-3*61)/(21/(-21))?
True
Suppose 0 = -0*w + w + 8. Let k = w + 14. Suppose 64 = k*i - 2*i. Does 8 divide i?
True
Let s(o) = -6*o**3 - o**2 + o + 3. Let m be s(-3). Let j = -78 + m. Does 25 divide j?
True
Let y be ((-4)/6)/((-2)/3). Let c be y + 0 - 147/(-3). Let w = -32 + c. Is 11 a factor of w?
False
Let h be (-62)/6 - 1/(-3). Let j be -1 - 1 - h - 0. Is 11 a factor of (-1)/4 + 178/j?
True
Let x(l) = -l**3 + l**2 - 1. Let s(a) = -4*a**3 + a**2 + a + 2. Let b(t) = s(t) + x(t). Does 22 divide b(-2)?
False
Let s = -4 - -4. Suppose -2*u + f + s*f = -64, -3*f = -4*u + 126. Does 8 divide u?
False
Let k(i) = -18*i**2 - 4*i + 3. Let t be k(2). Let r = -46 - t. Let a = 46 - r. Is 7 a factor of a?
False
Let o be (-10 - 4)*18/4. Is ((-4)/6)/(2/o) a multiple of 21?
True
Suppose 2*k = -4*h + k + 232, -5*k - 174 = -3*h. Suppose -3*c = -c + 5*s - 40, -h = -5*c - 2*s. Is 5 a factor of c?
True
Suppose 5*p - 65 = -4*b, -b - 15 = -2*p - 3*p. Is b a multiple of 7?
False
Suppose -3*q + 5 + 1 = 0. Suppose -q*f = -3*f. Suppose f = 3*n - n - 5*c - 110, 48 = n + c. Does 15 divide n?
False
Suppose 2*f - 80 = -4*m, -2*f + 3*f - 30 = 3*m. Let s = f - 23. Is s a multiple of 13?
True
Let g be 24 - 1 - (-3)/3. Suppose 4*z + g = 7*z. Is z a multiple of 4?
True
Let c be (20 + (3 - 3))/2. Suppose -y + c = -2. Is 6 a factor of y?
True
Suppose -5*t = -19 - 1. Suppose 0 = -5*n - y + 41 + 79, t*n - 3*y - 96 = 0. Does 17 divide n?
False
Suppose 3*p = p. Let z = 2 + p. Suppose 4*k = f - 14, z*f + k = -0*k + 19. Is f a multiple of 6?
False
Suppose 0 = 2*w + 4, 7*w + 20 = 4*o + 3*w. Let j(q) = q**3 + q**2 - 2*q. Is 15 a factor of j(o)?
True
Let x = 44 - 29. Is x a multiple of 15?
True
Let k be 0/1*(-2)/6. Is -3 + (26 - k - -1) a multiple of 12?
True
Suppose 0 = 2*w + 5*z - 36, 0 = -0*w + 4*w + 4*z - 60. Suppose 1 - w = -m. Is 12 a factor of m?
True
Let j = 10 - 18. Is 7 a factor of (3 - (3 - -1))*j?
False
Suppose 3*u = -5*f + 83 - 20, 5*f - 65 = -5*u. Let y = f + -17. Let g(a) = -a**2 - 6*a. Is 5 a factor of g(y)?
True
Let c(s) = -15*s - 29. Does 38 divide c(-7)?
True
Let l be 18/22 + (-4)/(-22). Does 10 divide 2*l/4*30?
False
Let i(k) be the first derivative of 8*k - 1 - 8*k - 4*k**2. Is 8 a factor of i(-1)?
True
Let t = -6 + 7. Does 15 divide 1 + -2 + t - -45?
True
Suppose -10*i + 15*i - 5 = 0. Does 27 divide (-1 - -85) + i*-3?
True
Let r(c) = -c**3 + 6*c**2. Is r(5) a multiple of 7?
False
Let k = 565 - 178. Is 14 a factor of k?
False
Suppose -34 = -3*b + i, -31 = 4*b - 7*b - 2*i. Suppose 0*v - v + 