z - 180, -3*g + 118 = z. Let q(y) = -y**2 + 5. Let d be q(-5). Let t = g + d. Is 21 a factor of t?
True
Suppose 3*i - 5*b = -6 - 4, -30 = -4*i - 2*b. Let m be -4 + 5 + -1 + i. Let h = m - -7. Does 12 divide h?
True
Is 110 - (-7)/(14/(-10)) a multiple of 7?
True
Let l(x) = 4*x**2 + 4*x - 11*x + 2 + 6*x. Is 8 a factor of l(2)?
True
Let c(m) be the first derivative of 4*m**4 - 2*m**3/3 - m - 2. Let v be c(2). Suppose 5*s = 4*h + v, -134 = -4*s + 3*h - 39. Is 8 a factor of s?
False
Let x = 13 - -45. Does 13 divide x?
False
Let u be (-3 - -6)/(3/4). Let q = 7 - u. Suppose 5*g = j - 29, 2*j + q*g + 101 = 7*j. Is 6 a factor of j?
False
Let d(p) = 4*p**2 - 1. Let j = -3 - -6. Let q be ((-3)/(-9))/(1/j). Is d(q) even?
False
Let z be (80/(-24))/(1/(-9)). Let g be (-2 - -5)/(-3) + 18. Let u = z - g. Does 13 divide u?
True
Let l = -68 + 18. Let f = 19 - l. Does 18 divide f?
False
Suppose 5*w = -25, 0 = 4*v - 4*w + 141 - 361. Does 5 divide v?
True
Let a(t) = t**2 - t + 6. Let q be a(-8). Let b(d) = d + 119. Let c be b(0). Let l = c - q. Is l a multiple of 16?
False
Let c(f) = -f**3 + 6*f**2 - 5*f + 5. Let z be c(2). Let s(y) = -y**3 + 12*y**2 - 6*y + 11. Is s(z) a multiple of 22?
True
Suppose -6*d - 12 = -3*d + 3*y, 3*y + 17 = -4*d. Does 9 divide -10*3*d/3?
False
Let j(x) = -x - 6. Let p be -2 - (5 + 0 - 2). Let t be j(p). Is 17 a factor of (1 + -2)/(t/34)?
True
Let y be (1 - 2) + 1 + 14. Suppose 0 = v - 4*k - y, 0 = 7*v - 2*v + k - 49. Is 5 a factor of v?
True
Suppose 0 = -3*n + 7*o - 4*o + 168, 56 = n - 2*o. Is n a multiple of 7?
True
Let r(d) = 8 - 4*d**2 + 6*d**2 + 10*d - 2. Let s be r(-6). Suppose s = 3*u - 0*u. Is u a multiple of 3?
True
Let x(a) = -26*a**2 + 1. Let b be x(-1). Let w = b + 79. Is w a multiple of 18?
True
Suppose 6 = 5*l - 19. Suppose -5*p - 8 = 2. Does 4 divide (1 - (l + p)) + 14?
True
Suppose 77 = z - 2*o + 25, 4*z + 2*o = 258. Is 12 a factor of z?
False
Suppose 2*l - 1 = 2*p - 17, -3*l + 4*p - 25 = 0. Let j(d) = -d - 5. Let y be j(l). Suppose 42 = y*o - 2. Is 16 a factor of o?
False
Suppose 0 = -5*n - 2*k + 51 + 179, -n - 4*k + 28 = 0. Is n a multiple of 6?
True
Suppose -2*x + 16 = -4*j - 12, -4*j = 8. Is x a multiple of 5?
True
Let u be (0 + 0)*1/1. Let j be u/(-1)*(-3)/(-6). Suppose -r + 6 = -j. Is r a multiple of 3?
True
Suppose 0*n = -n. Suppose 0 = 3*q - 3, -q = -3*v - n*v - 1. Let r = v + 4. Is 3 a factor of r?
False
Let g = 8 + -5. Does 6 divide g + -1 + -1 - -17?
True
Let z be (35 - (-3 - -3)) + -2. Let b(h) = z*h + 12*h - 13*h. Is b(1) a multiple of 11?
False
Let l be (-23 + 1)*(-2)/4. Suppose 2*n + 16 = 6*n, -o = 2*n - l. Suppose -o*g + 11 + 4 = 0. Does 5 divide g?
True
Let a = 5 - 3. Suppose a*q + 3*q = 10. Suppose 3*f = -2*h - 11, -2*h - q*h + f = -13. Is 2 a factor of h?
True
Let u(p) = p**2 + 7*p - 8. Let k be u(-8). Suppose 3*q - 4*c - 148 = k, -112 = -3*q - 3*c - 2*c. Is 17 a factor of q?
False
Let q = -17 - 11. Is 7 a factor of (-2 + -1)/6*q?
True
Let p = 12 + -6. Let f(w) = w**3 - 7*w**2 + 7*w + 2. Let o be f(p). Is (o + -7)/(1/3) a multiple of 3?
True
Let t(c) = c**2 - 7*c + 4. Let z be t(5). Is 4 a factor of (-2 + 1 - z)*1?
False
Let k be (-3)/3*3*-7. Let b = k + -6. Is 14 a factor of b?
False
Let q(z) = -4*z + 2. Let w be q(3). Suppose 4*u + 4*p = 24, 0*u - 5*u = -5*p - 40. Let y = u - w. Is y a multiple of 6?
False
Suppose w = -0 + 1. Suppose -5 = -2*s - w. Suppose -5 + 31 = s*x. Does 13 divide x?
True
Let z = 11 + -13. Let k(r) = -20*r + 3. Does 20 divide k(z)?
False
Let c(n) = n**3 - 5 + 0*n + 7*n**2 + 0*n + 3. Does 24 divide c(-5)?
True
Let f = -5 + 8. Let m(s) = f - 3 - 6*s - s**2. Does 5 divide m(-5)?
True
Suppose 5*z + 1800 = 5*k - 0*z, -3*z + 1800 = 5*k. Does 20 divide k?
True
Suppose 0 = -i + 87 + 81. Suppose 5*p - 29 + 9 = 0, -4*v + i = 3*p. Is 24 a factor of v?
False
Let v = 4 + -2. Suppose v*m = 4*n - 74, -65 = -4*n - 0*n + 5*m. Suppose -6*a = -2*a - n. Is 4 a factor of a?
False
Suppose -9 = -2*m - t + 72, 15 = 3*t. Suppose -l + m = a, 2*l - 48 = 5*a - 0*a. Is l a multiple of 17?
True
Let h(c) = -2*c. Let b be h(-1). Suppose 2*n + 2*t = 10, 5*n + b*t - 49 = 5*t. Is 3 a factor of n?
False
Let p = 327 + -152. Is 34 a factor of p?
False
Is (-121*1/(-3))/(10/60) a multiple of 11?
True
Does 12 divide 60 + (-3 - -2)*0?
True
Let b be 1/(-2) - 13/(-2). Let z be 0*2/b*1. Suppose -4*c + 5*o = -53, -2*c = -z*o - 4*o - 28. Does 4 divide c?
True
Let q(h) = 5*h - 3. Suppose 2*s = 4 - 0. Let g be q(s). Is 17 a factor of 240/g - (-6)/(-21)?
True
Let s(i) = -i**2 - i + 6. Does 4 divide s(0)?
False
Let a(j) = -j**3 - 6*j**2 + 5*j. Let z be a(-7). Does 13 divide z/7*(-13)/(-2)?
True
Let h(b) = -3*b**3 - b**2 + 3*b + 2. Is h(-3) a multiple of 9?
False
Does 8 divide 1/((-1)/86*-2)?
False
Let w(j) = -j**3 + j - 1. Let b(c) = 2*c**3 - c**2 - 2*c + 4. Let z(v) = -b(v) - 4*w(v). Is 8 a factor of z(2)?
True
Suppose 3*b - 5*b + 224 = 0. Is b a multiple of 14?
True
Suppose 5 = h - 2*p, 0*h + p = 3*h - 15. Suppose -h*i = -9*i + 24. Does 3 divide i?
True
Let j(z) = 24*z - 17. Let g(t) = 4*t - 3. Let m(c) = -34*g(c) + 6*j(c). Let x be m(3). Is x/(1*9/6) a multiple of 8?
True
Let m be (3/((-9)/15))/(-1). Suppose m*h - 13 - 50 = -2*w, 0 = -w - 3*h + 31. Is w a multiple of 17?
True
Is (115/15)/(1/3) a multiple of 12?
False
Let c(d) = -8*d + 4 + 4*d**2 + 2*d + 7 - 5*d**2. Let y be c(-8). Let k(m) = m**3 + 6*m**2 + 4*m + 6. Is 4 a factor of k(y)?
False
Let p = -146 + 262. Is p a multiple of 16?
False
Let p(x) = x + 3. Let r be p(-3). Suppose r = -z - 3*z + 12. Suppose -4*y = y - z*h - 77, -2*y + 3*h = -38. Does 5 divide y?
False
Suppose -2*d = 3*t - 35, 0*t = 5*t + 2*d - 53. Let x = t + -5. Is x a multiple of 2?
True
Let u = -36 + 66. Is u a multiple of 13?
False
Let b = 4 - 7. Is (b + 4)/(3/39) a multiple of 8?
False
Suppose 2*n - n = 4. Suppose 0 = 8*y - n*y - 60. Is y a multiple of 5?
True
Let k be (-2)/(-2)*(1 + -4). Let p be 26/6 + 1/k. Suppose 0 = b - 2, 0*b + 2*b = -p*f + 68. Is f a multiple of 16?
True
Let z = 10 - -9. Let o be z/7 + (-12)/(-42). Suppose 7*x = o*x + 120. Does 12 divide x?
False
Suppose 3*c + 71 = -c - 3*p, -14 = c - 3*p. Let f = c - -10. Let z(x) = -2*x - 7. Does 3 divide z(f)?
False
Suppose 5*z + 2*s = 246 - 46, -2*z + 2*s + 94 = 0. Is 12 a factor of z?
False
Let k = -40 + 58. Let l = 6 - k. Let a = l + 24. Is a a multiple of 6?
True
Let l be 133 - -6 - (0 + 1). Suppose -228 = -4*r - 3*b - 73, 5*b + l = 3*r. Is 13 a factor of r?
False
Let l = -19 + 24. Is l a multiple of 5?
True
Suppose -1959 - 603 = -14*m. Is m a multiple of 22?
False
Let z(j) = -14*j - 94. Does 11 divide z(-13)?
True
Let c = -1 + 65. Suppose d + c = 3*d. Is 16 a factor of d?
True
Suppose 0 = 3*k + 5*m + 62 - 245, -4*k + 2*m = -218. Is 21 a factor of k?
False
Suppose -3*j = -5*g + 12, -4*g - 3*j = j + 16. Let n(z) = -z - 15. Let x(y) = y + 15. Let s(o) = -5*n(o) - 4*x(o). Does 15 divide s(g)?
True
Let r(q) = -10*q - 5. Does 14 divide r(-4)?
False
Let x(b) = -78*b. Let o = 6 + -9. Let a be x(o). Suppose 5*g = 4*l + 201, 53 = -5*g - l + a. Does 16 divide g?
False
Let l(o) = -6*o**2 + 11*o + 4. Let z(k) = 5*k**2 - 10*k - 4. Let h(b) = 4*l(b) + 5*z(b). Is h(7) a multiple of 3?
True
Let h(w) = -13*w + 2. Let n be (-5)/7 + 4/(-14). Is h(n) a multiple of 15?
True
Let x(c) be the second derivative of c**4/12 + c**3/2 - 5*c**2 + 4*c. Is x(-7) a multiple of 11?
False
Suppose 2*g - 4*s + 93 - 409 = 0, -4*g + 2*s + 620 = 0. Suppose -4*q = -y - g, q + y = 39 + 2. Is q a multiple of 12?
False
Suppose -2*u + 6*u = 0. Suppose -2*x = -u*x - 3*s + 3, -5*x - 2*s + 21 = 0. Does 2 divide x?
False
Suppose -8*n + 310 = -3*n. Does 18 divide n?
False
Is ((-2)/(-4))/(7/812) a multiple of 34?
False
Let r = -71 - -149. Is r a multiple of 16?
False
Suppose 2 = 2*y, -3*x + 0*y = y - 10. Let o(r) = 4*r + r**3 + 8*r**2 - x*r + 2*r + r - 3. Is o(-6) a multiple of 14?
False
Let a = -46 + 137. Does 7 divide a?
True
Let p(t) = -t**2 + 8*t. Let a be p(8). Suppose q = -a*q + 25. Does 20 divide q?
False
Suppose a - z - 18 = 0, 2*a - 8 - 12 = -2*z. Suppose 2*p + 96 = 4*q, -52 = -3*q + 3*p + a. Is 13 a factor of q?
True
Let s(u) = -u**3 + 2*u**2 + 5*u - 6. Let h be s(4). Let f be ((-8)/6)/(12/h). Suppose 4*q + f*l - 96 + 24 = 0, 3*l = q - 18. Does 18 divide q?
True
Let l(s) = 