
True
Is (148/(-40) - 1/(-2))*-30 a multiple of 8?
True
Let q(c) = c**3 + 10*c**2 + 11*c + 10. Let f(h) = -3*h + 1. Let m be f(3). Let k be q(m). Suppose -a - k = -6*a. Is a a multiple of 5?
True
Suppose -4*j - 122 = -5*d - 5, -3*j = 3*d - 54. Is d a multiple of 7?
True
Suppose -16 - 20 = 3*d. Let x be d/(-18) + 1/3. Does 17 divide x/(-2) + (-70)/(-4)?
True
Suppose -z = b + 12, -3 = -2*b - z - 31. Let w = 36 + -66. Let s = b - w. Does 7 divide s?
True
Let p = -7 - 5. Let c = 26 + p. Is c a multiple of 6?
False
Suppose -h - 6 = -45. Is (2 + -5)*h/(-9) a multiple of 13?
True
Suppose f = -f + 10. Suppose 8 = f*v + 3. Let g(x) = 14*x**2 - x + 1. Is g(v) a multiple of 14?
True
Let b = -6 + 10. Suppose -3*i = -i - b. Is i/4 + (-315)/(-14) a multiple of 21?
False
Let s be 1/(-3)*0/(-11). Suppose 4*l - 2*h - 4 = 0, -4*h + 14 = 4*l - l. Suppose -2*v = 3*v + b - 139, l*v - 2*b - 58 = s. Is 14 a factor of v?
True
Let b = 24 - 12. Let w(i) = 1 + 2*i**3 - 5 - b*i + 13*i - 3*i**2. Is w(3) a multiple of 13?
True
Let m(j) = j - 12. Let k = -9 - -17. Let i be m(k). Let g = 10 + i. Does 3 divide g?
True
Suppose h = 2*u + 6, 5*h - 4*u = 7 + 17. Let d(a) = h*a - 2 + 4*a + 10 - 5*a. Is 19 a factor of d(10)?
True
Let m = 147 + -51. Is m a multiple of 24?
True
Let g(w) = -4*w - 4. Does 9 divide g(-7)?
False
Suppose -4*b + 5*g = -480 - 108, 772 = 5*b + 3*g. Does 38 divide b?
True
Suppose -w = -2*w + 4. Suppose -w*x = -x - 162. Is x a multiple of 15?
False
Suppose 2*m + 4*b - 24 = 0, -m - 2*m + 39 = 3*b. Does 3 divide m?
False
Let p = 28 + 25. Let r = 77 - p. Is 12 a factor of r?
True
Let q be 1/(-4) - 7/4. Let x be (3 - 2 - q) + -1. Suppose 0 = p - x*s - 18, 2*s + 3*s = -5*p + 150. Is p a multiple of 23?
False
Let t = -165 + 238. Does 22 divide t?
False
Let q be -4 + 5 + -1 + 2. Suppose -2*o = -2*x + 38, 4*o - q = 3*o. Is 7 a factor of x?
True
Let f be (-1)/((5/(-32))/5). Suppose f = 3*c - c. Does 8 divide c?
True
Suppose -b - 1 = -5*o - 4, -4*b + 12 = o. Let u(n) = 5*n**2 + n**3 + o*n**2 - 3*n - 2*n**2 + 3*n**2 - 2. Is 17 a factor of u(-3)?
True
Suppose 2*y = -4*y + 156. Is 13 a factor of y?
True
Let p(m) = 3*m + 5. Is 7 a factor of p(6)?
False
Suppose 2*v + 55 = 7*v. Does 11 divide v?
True
Let x = -3 - -6. Let n(g) = -4*g - 6 - x*g + 4*g. Is n(-5) a multiple of 9?
True
Let w be 12/(-4)*-1 - 80. Is (w/21)/((-2)/6) a multiple of 11?
True
Suppose -5*z + 21 = 51. Let i = -5 - z. Suppose i = -b + 6. Is 3 a factor of b?
False
Let s be (-237)/(-21) - 4/14. Let x = -6 + s. Suppose x*j = -0*j + 250. Is 17 a factor of j?
False
Let f(u) = -3 - u + 3 + 4*u**2 - 5 + u**3. Let t be f(-4). Does 13 divide (-1)/t - (-8 + -4)?
True
Let r be 1/3*4*3. Suppose 2*v = 3*v + 5*o - 30, -3*v = -r*o + 5. Suppose v*h - 33 = -4*i + 97, -4*i = -h + 50. Is h a multiple of 15?
True
Let h(r) = 22*r - 13. Is 12 a factor of h(3)?
False
Let a = 6 + 1. Let x(p) = p**2 - 4*p - 9. Let d be x(a). Suppose -2*m + m = -d. Does 6 divide m?
True
Suppose -5*a + 0*a = 4*f - 637, -634 = -4*f - 2*a. Is f a multiple of 20?
False
Is 8/(-5)*1125/(-30) a multiple of 20?
True
Let l = -8 - -10. Suppose 11 + 7 = l*o. Is o a multiple of 3?
True
Let c(t) = 8*t**2 - t - 1. Let q be c(-1). Suppose -6*a = -2*a - q, -5*z - 4*a = -58. Is z a multiple of 4?
False
Let m = 7 - 5. Let p(v) = -v. Let j be p(0). Suppose j = -x - m*x + 24. Is 8 a factor of x?
True
Let v(l) = l**2 + l - 6. Suppose -p - 3 - 3 = 0. Is 12 a factor of v(p)?
True
Is (-24)/30*70/(-4) a multiple of 14?
True
Let m(n) = -n**2 + 8*n - 4. Is m(5) a multiple of 11?
True
Let w be (-2)/3 + (-82)/3. Let h be (-1 - 1) + 52*-1. Let b = w - h. Is b a multiple of 9?
False
Let s(b) = -b**2 - 6*b - 6. Let d be s(-4). Suppose 4*g - 40 = d*g. Suppose -3 = -3*z, -t + 2*z + g = -0*t. Does 9 divide t?
False
Suppose -4*j = 8 - 256. Suppose 2*m = -2*c + j, 0*c = -3*c + m + 73. Is 13 a factor of c?
True
Let a be ((-9)/(-2))/((-2)/112). Let m = a - -360. Suppose -2*k + m = k. Does 18 divide k?
True
Suppose 3*l + 0*z + 43 = -z, 0 = -l - 3*z - 9. Let n = l + 27. Does 6 divide n?
True
Suppose -w - 4*s + 112 = 0, 3*w + s = -2*w + 560. Does 8 divide w?
True
Let v = 10 - 5. Let r = -3 + v. Suppose -n + 22 = d, -r*n + 2*d = -n - 13. Is 11 a factor of n?
False
Let r(d) = -d**2 + 29. Let g be r(5). Let s(v) = v + 1. Let h be s(-2). Let f = g + h. Is f a multiple of 3?
True
Let s = -5 + 9. Suppose -23 = s*d + 17. Let f = 19 + d. Is 9 a factor of f?
True
Suppose -14 = -3*l - y - 3*y, -y - 4 = -3*l. Suppose -b = -h - 15, 2*h + l = h. Is 13 a factor of b?
True
Suppose 1 - 5 = -2*v, 44 = 2*p + 2*v. Is 10 a factor of p?
True
Let n be 0 - (2 - 2 - -42). Let p = n + 73. Is 16 a factor of p?
False
Suppose h = 13 + 33. Does 13 divide h?
False
Suppose -3*g + h = 1 - 8, -4*g - 3*h + 18 = 0. Let z(k) = k**2 + 5*k - 3. Does 7 divide z(g)?
True
Suppose 0*n - 2*j + 54 = -2*n, -2*j = 2*n + 46. Let l = -18 - n. Does 4 divide l?
False
Is -4 - (-56 + 0 + -3) a multiple of 9?
False
Let i(m) = -5*m - 5. Is 10 a factor of i(-10)?
False
Let l be (30/(-3))/(-2) + -3. Let d be (l/(-3))/((-1)/3). Let j(a) = 5*a**2 - 2*a - 1. Is j(d) a multiple of 6?
False
Suppose 2*z - 6 = -4*v, -5*z + 8 = 5*v - 2. Let l = z + 1. Is l even?
True
Suppose 0 = 5*b - a - 66, a - 26 - 20 = -3*b. Is (3 + b)/(4/4) a multiple of 17?
True
Let w(a) = a**2 - 4*a + 3 + 2 + 0. Let j be w(5). Suppose -j = -3*n + n. Is 5 a factor of n?
True
Suppose 0 = -5*w + 5*y + 25, -2*y + 3*y = 4*w - 14. Suppose -2*k + 6*k + 20 = -2*z, w*k - 40 = 4*z. Let i = -5 - z. Does 5 divide i?
True
Let b = 56 + -22. Let c = 49 - b. Is 4 a factor of c?
False
Suppose 16 = 12*o - 8*o. Suppose 5*j - 90 = -c, -j + c + 22 = o. Is 14 a factor of j?
False
Let c = -97 - -154. Suppose -7*s = -10*s + c. Does 16 divide s?
False
Let o(c) = -c**2 - 9*c + 14. Let m be o(-10). Suppose -m*u - u = 0. Suppose -h + u*h = -54. Does 17 divide h?
False
Suppose -4*l + 510 = 2*l. Does 16 divide l?
False
Suppose 156 = -0*u + 2*u. Let d = 114 - u. Is d a multiple of 18?
True
Let f = 36 + -23. Is f a multiple of 4?
False
Let j be 1/(((-3)/(-5))/3). Suppose 4*w - j*h = 144, -w = -0*w + 3*h - 36. Is w a multiple of 11?
False
Let o be 2/1 + (1 - -5). Suppose 7*a - 3*a - o = 0. Does 2 divide a?
True
Let z be 1*3*8/6. Suppose -z*r + 13 = -51. Is r a multiple of 8?
True
Let v = 1 - 8. Let r = v + 7. Suppose -4*n + 96 + 0 = r. Is 12 a factor of n?
True
Suppose -2*b - 112 = -3*k, -k + 78 = k - 3*b. Is 12 a factor of k?
True
Let v = -24 - -219. Is 13 a factor of v?
True
Let s(r) = r**3 - 15*r**2 + 24*r - 20. Is 12 a factor of s(14)?
True
Suppose -5*b = 20, -7 = -5*x + 5*b + 23. Suppose 39 = 3*p + 5*d - 3, 4*p + 5*d - 51 = 0. Suppose -c + p = x*c. Is c even?
False
Suppose 0 = c - 44 + 4. Does 9 divide c?
False
Let m be (4/(-6))/(2/(-9)). Let b = -1 + m. Suppose -9 - b = -h. Is 4 a factor of h?
False
Let c = 11 - 1. Suppose -c = -5*t - w, 5 + 6 = -3*t - 4*w. Suppose 0 = -2*n + t*n - 10. Is n a multiple of 4?
False
Let i(j) = j**3 + j + 36. Let t be (-1 + (-3 - -4))/2. Is 12 a factor of i(t)?
True
Let c(i) = -i**3 - 7*i**2 + 8*i - 4. Let u be c(-8). Let v = u + 3. Is 2 a factor of 3 - -2 - (1 + v)?
False
Let i(j) = j**3 - 7*j**2 - 8*j + 3. Suppose 2*k - 5*k - 3*o + 24 = 0, 0 = -5*o. Let a be i(k). Suppose -10 = -g + a. Does 13 divide g?
True
Let l = -12 + 17. Does 9 divide 34 + 1 + l + -8?
False
Let q be (-8)/5*(-5)/1. Suppose -3*t - 5*z = 57, 3*z = -5*t - 71 - q. Does 17 divide (7/t)/((-2)/156)?
False
Let m(j) = -j**3 - 4*j**2 + 6*j - 1. Let f be m(-5). Let k be f/(-5)*15/6. Suppose 0*h - k*h + 90 = 0. Is h a multiple of 15?
True
Let h = 4 - 0. Let k(b) be the third derivative of b**6/120 - b**5/30 - b**3/3 - b**2. Is 14 a factor of k(h)?
False
Suppose 0 = 5*g + 25, -g + 2*g = -2*s - 1. Suppose 0 = -3*h - s*w + 48 + 102, 0 = -4*h + 5*w + 177. Does 24 divide h?
True
Let b(q) = -3*q. Let h be b(-1). Suppose -3*m + 6*m + 72 = 3*n, -4*m = h*n - 37. Suppose 0 = -2*w + n - 3. Does 4 divide w?
True
Let d = 172 + -57. Is d a multiple of 23?
True
Let b be 8/2 + (-2)/1. Let f(u) = -u**2 + 6*u - 3. Let l be f(5). Suppose -6*i = -2*i + l*t - 36, -3*i = -b*t - 34. Is i a multiple of 10?
True
Let m(f) = f**3 - 5*f**2 + 4*f + 1. Let b be m(4). Suppose 2*x = 49 + b. Is x a multiple of 13?
False
Is 6 a factor of -3*(-8)