5 - u. Let w = 21 - o. Is w a multiple of 8?
True
Let g(u) = -u**3 - 13*u**2 - 13*u - 5. Does 2 divide g(-12)?
False
Suppose -3*c - v = -151, -4*c - 2*v = v - 198. Suppose -h - 5 = -82. Let x = h - c. Is 13 a factor of x?
True
Suppose -2*g + 3 = -1. Does 2 divide g?
True
Suppose 5*o - 142 = -n + 3*n, 5*o = n + 146. Is 8 a factor of o?
False
Let r(a) = 2*a - a + 2*a**2 - 3*a + 2. Let h = -24 + 26. Does 6 divide r(h)?
True
Let w(f) = -f**3 - 3*f**2 + f + 4. Is 22 a factor of w(-5)?
False
Suppose o - 5*p = 85, 6*o - 207 = 3*o + 3*p. Is 7 a factor of o?
False
Let n = 20 - 5. Is 15 a factor of n?
True
Suppose 127 + 148 = 5*c. Suppose y = -d + 13, y + 4 = 5*d - c. Does 6 divide d?
True
Let k = 150 - 90. Is 20 a factor of k?
True
Suppose 330 = -2*d - d. Let k = -67 - d. Is 12 a factor of k?
False
Suppose -m + 25 = -4*i, 0*i = -i. Is m - 4/(-3 + 1) a multiple of 15?
False
Does 20 divide 1/(1 + 177/(-180))?
True
Suppose -4*f - 115 = -3*f. Let m = f - -212. Is m a multiple of 29?
False
Let z(p) = 24*p**2 + 3*p - 1. Is z(1) a multiple of 26?
True
Let y be (1 + 1)/1 + 1. Suppose y = -3*u - 12. Is 3 a factor of (-1 - 4)*4/u?
False
Let w = 50 + -35. Does 3 divide w?
True
Let p(z) = z**3 + 8*z**2 - 11*z + 6. Is 3 a factor of p(-9)?
True
Let k be (-10)/3*(-3)/2. Suppose k*d = w + 2, 2*w = -d + 6 + 1. Let p = 5 - d. Does 4 divide p?
True
Let j(h) = -h**2 + 8*h - 1. Let z(b) = -2*b**2 + 9*b - 1. Let v(u) = 7*j(u) - 6*z(u). Let s be (8/6)/((-16)/24). Does 12 divide v(s)?
False
Suppose -8*f + 35 = -3*f. Let d = f - -49. Is 17 a factor of d?
False
Suppose -3*b = 3*c - 21, b - 5*c + 5 + 18 = 0. Suppose -42 = -b*m - 5*h, 4*m - 3*h + 0*h = 110. Is m a multiple of 16?
False
Suppose 0*b = 3*b + r - 13, -4*b + 2*r + 24 = 0. Suppose b*u + 13 + 49 = 4*q, 0 = u - 2. Is q a multiple of 11?
False
Suppose -10 = 2*i - 3*k, -4*i - 3*k = -k - 12. Let p be (6 - i)*(-928)/(-40). Suppose 4*m + 0*m - v - p = 0, -m = v - 34. Does 21 divide m?
False
Let c(s) = 3*s**2 + s. Let l(y) = y**2 + 1. Let p(t) = c(t) - 2*l(t). Let n be p(2). Suppose -2*k = -n*k + 48. Is k a multiple of 15?
False
Let j(q) = -q + 2*q + 0 + 0 + 1 + 2*q**2. Let a be j(-2). Let b(t) = t**2 - 5*t + 10. Is b(a) a multiple of 12?
True
Let i = 45 + -19. Is 26 a factor of i?
True
Let t = 13 + -9. Suppose a - t - 33 = 0. Does 14 divide a?
False
Let b(l) = l - 4. Let z be b(10). Let q(d) = -d**2 + 12*d - 3. Is q(z) a multiple of 11?
True
Let h be ((-32)/(-20))/((-2)/(-230)). Suppose -3*r + 76 = -3*v + h, -4*v + 172 = 3*r. Is 15 a factor of v?
False
Suppose 4*c - 1 = p + 3*c, -2*p - 3 = -3*c. Suppose 420 = -p*i + 5*i. Is i a multiple of 28?
True
Let o(u) = -6*u + 2. Is o(-3) a multiple of 5?
True
Suppose -3*n - 4*k = 14 + 32, -5*n - 115 = -k. Suppose 3*b + 24 = -f, -2*b - 140 = 5*f + 3*b. Does 11 divide (n/(-5))/((-6)/f)?
True
Let r(w) = -19*w + 6*w - 3 + 0 + 4 - w**2. Is r(-12) a multiple of 4?
False
Let s(d) = -d**2 + 5*d + 4. Let h(l) = -1. Let r(v) = 2*h(v) - s(v). Does 8 divide r(8)?
False
Suppose 0 = -3*a - a - 8. Let l be (-4)/(-10) + (-82)/5. Let w = a - l. Does 14 divide w?
True
Suppose 14 = 3*q - 19. Is 11 a factor of q?
True
Let l be 45/6*34/3. Suppose 2*y + 84 = 4*q - 0*y, -3*q + l = 4*y. Let x = -14 + q. Does 5 divide x?
False
Suppose -21 + 219 = 3*b. Is 29 a factor of b?
False
Let t(o) = -o**3 + 7*o**2 - 3*o + 6. Suppose -l - 6 = 2*v - 23, 0 = -v + 3*l - 9. Does 16 divide t(v)?
False
Suppose -4*i + 22 = -2. Let n = i - 1. Suppose -107 = -n*v - l, 2*l = 5*v + 7*l - 95. Is v a multiple of 11?
True
Suppose 0 = 5*c - c + 24. Let n be ((-2)/c)/(1/(-3)). Let s = 29 - n. Does 15 divide s?
True
Let p be -1*(-1 + -3 + 2). Suppose -5*j = -p*j - 60. Is 7 a factor of j?
False
Suppose -2*u = 4*k - 60, 3*k + 0*k - 45 = -5*u. Suppose -3*o + k + 21 = -4*y, -5*y = 2*o - 24. Is o a multiple of 6?
True
Is -1*(-4)/(-4)*-17 a multiple of 9?
False
Let f(i) = i**3 + 5*i**2 - 6*i - 2. Let p be f(-6). Is 12 a factor of p/9 + 330/27?
True
Suppose 138 = 5*r - 52. Is r a multiple of 8?
False
Let r(i) = -8*i**2 - 4. Let y(j) = -17*j**2 - 9. Let u(n) = -7*r(n) + 3*y(n). Is u(2) a multiple of 7?
True
Let p(u) = 6*u**3 - 2*u**2 + 4*u - 2. Let h be p(2). Is 7 a factor of h*((-4)/(-1))/8?
False
Is 6 a factor of (-10)/(-65) - (-334)/26?
False
Let q(l) = l**3 - 7*l**2 + 8*l. Let z(o) = o - 1. Let t be z(1). Suppose 4*p + t*p - 24 = 0. Does 12 divide q(p)?
True
Let b(a) = 5*a**3 - 2*a**2 + 1. Let v be b(1). Suppose 6*h - v*h = 40. Is 5 a factor of h?
True
Let w(u) = u**2 - 2*u - 3. Let p = -2 + 5. Let g be w(p). Suppose 64 = 4*y - g*y. Does 13 divide y?
False
Suppose -b - h + 3 = 0, -5*b + 10 = h - 9. Suppose -5*x + 37 = 3*t, 5*t - 2*t + b*x = 32. Is t a multiple of 2?
True
Suppose 0 = 8*m - 4*m - 552. Is 29 a factor of m?
False
Suppose -11*m - 205 = -12*m. Is m a multiple of 29?
False
Suppose 5*v + 450 = 4*b + b, 90 = b + 5*v. Is 45 a factor of b?
True
Let m = 179 + -85. Does 14 divide m?
False
Is 6 a factor of (42/(-49))/(2/(-70))?
True
Suppose -2*b = -0*b - 6. Let h be 0 + 10 - (b - 1). Let g = 38 + h. Does 17 divide g?
False
Let j(h) = h**2 + 3*h. Let d be j(-4). Suppose d*z - 2*g - 26 = -0*g, -z - 3*g = 11. Is z even?
True
Suppose 0 = -3*r + 6 - 0. Suppose r*i - 9 = 23. Does 6 divide i?
False
Let j be ((-8)/(-3))/((-4)/(-6)). Suppose y + j = -y, -3*y - 9 = -c. Suppose -c*g + 3*l + l = -109, 4*g = 2*l + 152. Does 13 divide g?
True
Suppose 2*m - 5*b = -76 + 11, -b + 1 = 0. Is 18 a factor of (16/5)/((-3)/m)?
False
Suppose 0 = 10*b - 11*b + 8. Is 3 a factor of b?
False
Let r(m) = 9*m**3 - 9*m + 7. Let a(g) = 5*g**3 - 5*g + 4. Let u(w) = 11*a(w) - 6*r(w). Let x be u(0). Suppose -5 = -x*l + 11. Is 4 a factor of l?
True
Let y(a) = -a. Let f be y(-3). Suppose 2*q = -f*t + 68, 3*t - 4*q - 54 - 26 = 0. Is t a multiple of 24?
True
Let x = -22 + 54. Is 7 a factor of x?
False
Let y = 232 - 151. Is y a multiple of 27?
True
Suppose -18*z + 19*z - 151 = 0. Does 23 divide z?
False
Suppose l - 4 = 0, l + 109 = -4*d + 9. Let i = d + 65. Does 13 divide i?
True
Let d(p) = p**3 - 6*p**2 + 7*p - 3. Let j(h) = -h**2 - 1. Let l(b) = -d(b) - 2*j(b). Let s be l(7). Suppose 36 + 49 = s*m. Does 12 divide m?
False
Let k = 1 + 5. Let z be ((-9)/k)/(6/16). Is 2 a factor of 5/1*z/(-5)?
True
Suppose -5 = 5*u, o - 5*o - 4*u + 16 = 0. Suppose 5*l + 5*h - 50 = 0, -l + 11 = l + o*h. Let f = 21 - l. Does 6 divide f?
False
Is 3 a factor of (2/4)/(16/480)?
True
Let p(l) be the first derivative of 5*l**3/3 + 4*l**2 + 5*l - 2. Is p(-5) a multiple of 36?
False
Let g = -3 - -3. Suppose l + g*f = -2*f, -2*f = -5*l. Suppose l = -0*x + 3*x - 24. Is x a multiple of 4?
True
Let c(d) = 3*d**2 - 3*d - 2. Let y be c(-2). Suppose -y = -2*b - 4*t, 4*b + 8 = -3*t + 35. Does 4 divide b?
False
Suppose -3*q + 8*q + 205 = -5*w, 0 = -w + 4*q - 46. Let f = 28 - w. Does 9 divide f/3 + 6/(-18)?
False
Suppose -x - 4 = 2*u - 3*u, -2*x + 4*u = 16. Suppose a = 1 - x. Does 8 divide (-1)/(a/(-10)) + -2?
True
Let q(y) = -y**3 + 8*y**2 + 8*y + 8. Let p be q(9). Is 9 a factor of (-73)/(-4) - p/(-4)?
True
Let s be 6*1 - (-3 + 6). Suppose -s*j + j + 90 = 0. Is 17 a factor of j?
False
Let i(s) = 12*s**2 - 7*s + 10. Let q be i(-10). Suppose 8*c - q = 3*c. Suppose -5*v = -c - 49. Does 21 divide v?
False
Let x = -22 + 71. Does 49 divide x?
True
Suppose -4*f = -15 + 3. Suppose f*n - 315 = -4*k - 44, 0 = 3*k - 5*n - 196. Suppose 4*b - k = -3. Is 6 a factor of b?
False
Suppose 2*c = 4*l + 131 + 271, -3*l = -3*c + 609. Is 30 a factor of c?
False
Suppose -2*l + 5*l = -9. Let q = l + 8. Is q a multiple of 3?
False
Suppose -4*j + 14 + 67 = 3*w, 2*w - 6 = 0. Is j a multiple of 16?
False
Suppose 5*l = 4*w - w + 141, w = -4*l + 106. Suppose -5*q + l = 4*b, 0 = 2*q - b - 3 - 0. Suppose -q*h + 5*c + 78 = 0, -2*h = 3*h - 2*c - 149. Does 12 divide h?
False
Let d = -12 - -7. Let q = d + 19. Is q a multiple of 14?
True
Let x = 118 - 82. Is x a multiple of 12?
True
Let z(h) = -h**2 + 0*h**2 - 8 + 2 - 3 + 8*h. Let g be z(6). Is ((-14)/g)/((-2)/12) a multiple of 14?
True
Let j(z) = z**2 - 6*z + 3. Suppose 5*x = 10*x - 30. Is j(x) a multiple of 2?
False
Suppose a - 2*b - 6 + 1 = 0, 0 = 5*a - 3*b - 4. Is (a*9)/(9/(-6)) a multiple of 3?
True
Suppose 176 = 3*m + 5. Is 7 a factor of m?
False
Let n = 142 + -89. Suppose -a = 2, -5*m + 5*a