ue
Suppose l = -3*l - 12. Let q = -1 - l. Suppose 12 + 4 = b + i, -q*b + i + 32 = 0. Is 8 a factor of b?
True
Let r = -358 + 652. Does 54 divide r?
False
Suppose -5*a - z = -2*z - 190, 4*a = -z + 143. Is a a multiple of 5?
False
Suppose -3*s = 5*d - 621, 0*d - 3*s = -4*d + 513. Is d a multiple of 21?
True
Let o(b) = -28*b - 3. Let p be o(-3). Let k = 3 - -1. Suppose -44 = -2*f - k*z, -3*f + p + 7 = -5*z. Is 10 a factor of f?
False
Suppose 2*v + 1 - 7 = 0, 0 = -4*a + 2*v - 6. Suppose a*h = 2*h - 110. Suppose 3*i = h - 13. Is 7 a factor of i?
True
Does 6 divide -2 - (-10)/4 - 234/(-4)?
False
Let i(n) = -4*n - 2. Let u be i(-3). Suppose -4*z + u = z. Suppose 3 = z*c - 111. Is c a multiple of 19?
True
Suppose -3*z - 9 - 54 = 0. Let y = 40 + z. Is y a multiple of 6?
False
Let g(j) = j**3 + 6*j**2 - 5*j + 10. Let o be g(-7). Is 14 a factor of 11 - (-7 - 12/o)?
False
Let y = 176 + -103. Suppose 0 = -t - 4*t + 615. Let d = t - y. Is 17 a factor of d?
False
Suppose 3*i = 2*m - 99, i + 0*i - 119 = -2*m. Suppose 4*l - m = 39. Is 13 a factor of l?
False
Let w = 175 + -106. Does 3 divide w?
True
Let u be ((-2)/6)/(3/(-27)). Let l = -1 + u. Suppose -s + 3 = y + s, -2*s = -l*y + 6. Is y a multiple of 3?
True
Suppose -4*w - 14 = -5*p, -p - 3*w = -0*w + 1. Is (-489)/(-12) + p/8 a multiple of 22?
False
Let q = -39 + 62. Let c be 2 + q + 1 + -3. Suppose 5*f - 2 = c. Is f even?
False
Suppose 10 = 5*v - 5. Does 15 divide (v/(-2))/(12/(-232))?
False
Does 4 divide 5/(-30) + 139/6?
False
Let x(b) = b**3 + 6*b**2 + 5*b - 1. Let n be x(-5). Let u be -4 - n*(-9)/3. Is (u/(-2))/(2/20) a multiple of 17?
False
Let p(k) = 4*k. Let x be p(-3). Let w(g) = -5*g**3 + g**2 - 2. Let q be w(-2). Let y = x + q. Does 14 divide y?
False
Suppose 3*z + 3*q - 14 - 55 = 0, 5*z - 5*q - 95 = 0. Let c = z + -13. Is c a multiple of 8?
True
Suppose 4*w - 353 = -89. Is 14 a factor of (w/12)/(1/6)?
False
Suppose 0 = -3*f + 2*t - 18 + 68, 0 = -5*f + t + 74. Suppose 0 = 4*h - 3*n - f, -5*h + 4*n + 18 = -0*h. Let v = h + 5. Is v a multiple of 3?
False
Let s be (-1)/(1/2*-1). Suppose 0 = s*q - 17 - 5. Is q a multiple of 11?
True
Let h(p) = -p**3 - 5*p**2 + 7*p + 4. Let k be h(-6). Let d be (-2)/3*9/k. Suppose -55 = -d*j - j - 5*x, -4*j + 5*x = -105. Is j a multiple of 8?
False
Suppose -5 = 4*b + 7. Is 11 a factor of (2/b)/((-4)/66)?
True
Suppose i - 9 = h, -17 = -i + 6*h - 3*h. Suppose -5*z + 7 = d, 3*z - i*z - 5*d = 11. Does 8 divide 1 + 9 + (z - 4)?
True
Suppose 4*m = m - 198. Suppose -d + 47 = -2*d. Let j = d - m. Is 19 a factor of j?
True
Suppose 5*o = l - 0*l + 18, l = -4*o + 27. Does 2 divide l?
False
Let z(o) = 2*o**2 + 2*o + 1. Let a be z(-1). Let h = 13 - a. Is h a multiple of 6?
True
Suppose 54 = -4*v + 14. Let d(i) = -2*i - 12. Let q be d(v). Suppose 5*s + q - 78 = -5*z, -2*z + 27 = 3*s. Does 5 divide z?
True
Suppose 5*o - k = 0, 0 = 3*o + 4*k - 5*k + 2. Does 12 divide o/3 - (-791)/21?
False
Let f(p) = p + 29. Is 15 a factor of f(16)?
True
Let g(a) be the first derivative of a**3/3 - 2*a**2 + 2*a + 3. Let l be g(4). Is 10 a factor of -25*(4/(-5))/l?
True
Let z be 20/(-6)*15/10. Is 19 a factor of 66 - (-3 - z - 0)?
False
Suppose -78 = -k - 2*k. Does 13 divide k?
True
Let d be 3 - 0 - (1 + 0). Suppose -d*l + 2*z = -4*l - 4, -2*l + 4*z + 8 = 0. Suppose j - 44 = 2*p, l = 2*j - 5*j - 4*p + 132. Is j a multiple of 22?
True
Suppose n + 3 + 6 = 0. Does 15 divide (-6)/n - 88/(-3)?
True
Let n(f) = f**3 - 7*f**2 + f - 5. Let t be n(7). Let c(i) = 0*i**2 - 9*i + i**2 - 2*i**t + 5. Is c(-8) a multiple of 9?
False
Let v = -40 + 100. Is 15 a factor of v?
True
Let s(i) = 4*i - 5. Let w be 4/(-8) - 70/4. Let y be w*2*(-3)/12. Is 18 a factor of s(y)?
False
Let y be ((-18)/5)/((-9)/30). Suppose z - y = 4. Does 8 divide z?
True
Suppose -154 + 6 = -4*h. Is h a multiple of 9?
False
Let j(m) = -m**2 + 10*m - 5. Let g = 25 + -17. Is 11 a factor of j(g)?
True
Suppose 28*d - 600 = 23*d. Is 30 a factor of d?
True
Let p = -8 - -12. Suppose -265 = -3*o - t, -3*o + 0*o - p*t = -250. Does 30 divide o?
True
Let c = -235 + 350. Is c a multiple of 43?
False
Suppose -130 = -o + 23. Let w be o/2*-1*-2. Does 14 divide w/5 + (-6)/(-15)?
False
Let j(y) be the third derivative of 0 + 1/3*y**3 + 0*y + 3*y**2 + 11/24*y**4. Is 12 a factor of j(2)?
True
Suppose 0 = -2*x + 3*d + 39, 3*x - d = 18 + 23. Suppose 27 + 29 = 2*n. Let j = n - x. Is 16 a factor of j?
True
Let o = 474 - 238. Suppose -4*n = -6*m + 4*m - 178, -5*n - 2*m = -o. Is n a multiple of 14?
False
Let a = 217 + -89. Let g = a + -204. Let r = -50 - g. Does 16 divide r?
False
Let h = -2 - -62. Does 8 divide h?
False
Let d(t) = t + 3. Let x be d(-4). Is -1 - -1 - x*9 a multiple of 3?
True
Let u be (-3)/6*(-11 + 1). Suppose m - 3*t = 6*m - 31, 0 = 2*m + u*t - 20. Suppose -5*f = -m*k - 50 + 10, f = -k + 14. Is f a multiple of 11?
True
Does 6 divide (-9)/(-99) + (-812)/(-22)?
False
Let w = 398 + -262. Is 18 a factor of w?
False
Let c(n) = n**3 - n**2 - 3. Let o be c(-3). Let k = -110 - -171. Let b = k + o. Does 16 divide b?
False
Suppose -2*z + 52 + 72 = 0. Suppose -123 = -5*h + 3*t, 2*h - 5*t - z = -9. Does 12 divide h?
True
Suppose -4*v = 3*t + 10, 0*t = 4*t + 5*v + 12. Suppose t*x - 305 = -3*x. Does 21 divide x?
False
Suppose 2*f + 12 = 2*g, -10 = -3*g + 4*f - 3*f. Is 17 a factor of (g/(-5))/(1/(-85))?
True
Let z be (-6)/(-4)*(5 + 1). Suppose 0 = 4*p + 7 + z. Does 2 divide p/18 - (-195)/27?
False
Is -14*(3 + 225/(-35)) a multiple of 12?
True
Is 16 a factor of 3/9 - 1848/(-18)?
False
Suppose 252 = 8*z - 5*z. Does 11 divide z?
False
Let j(f) = f**3 + 6*f**2 + 4*f - 4. Let b(h) = 2*h**3 + 12*h**2 + 8*h - 8. Let o(c) = 3*b(c) - 7*j(c). Let u be o(-5). Let a = u - -33. Is 16 a factor of a?
True
Let j(t) = -t**2 + 16*t - 8. Does 19 divide j(10)?
False
Suppose 0 = -4*c + 337 - 37. Is c a multiple of 12?
False
Let v(p) = -p**2 + 5*p - 8. Let q(z) = -z**2 + 2*z - 4. Suppose 5*r = -14 - 11. Let h(n) = r*q(n) + 3*v(n). Is h(-6) a multiple of 19?
True
Let c = 3 - 3. Suppose q + 6*x - 4*x + 6 = c, 22 = 5*q - 3*x. Suppose -q*u = u - 39. Does 8 divide u?
False
Suppose 5*i + 5*w = 75, 0 = 5*i - 8*i + 5*w + 69. Is 18 a factor of i?
True
Let t = -19 - -24. Suppose -t*r = -2*r - 105. Does 34 divide r?
False
Suppose -5*k = -2*k - 6. Suppose -u - 51 = -k*u - v, 2*u - 100 = -3*v. Is u a multiple of 13?
False
Suppose -3*y = -y - 162. Is 27 a factor of y?
True
Suppose 2*n - 271 = 449. Does 12 divide n?
True
Let o(u) = u**3 - 5*u**2 + 2*u - 4. Is o(5) a multiple of 3?
True
Let u = 2 - -16. Is 6 a factor of u?
True
Let z be -4 + 2/(-2)*-1. Is (5/(-3))/(1/z) a multiple of 3?
False
Suppose 2*k + 0 = 4. Suppose 2 + k = 4*s + 4*a, 3*a - 10 = 4*s. Does 7 divide (s - -15) + -7 + 10?
False
Let b = -39 + 70. Does 8 divide b?
False
Suppose -5*p - g + 174 = -3*g, g = -2*p + 75. Does 22 divide p?
False
Let w(z) = -z + 0*z - 4 - 1. Let m be w(-5). Suppose 5*f + 6 - 26 = m. Does 2 divide f?
True
Suppose 0*s + 10 = 2*s. Suppose -u + 8 = -s. Does 13 divide u?
True
Suppose -l - 21 = 2*j - 0*l, -5*l = 3*j + 49. Let r = -1 - j. Is r a multiple of 7?
True
Suppose 5*l = 4*a - 72, -3*l - 3*a = -5*l - 33. Is 8 a factor of ((-27)/l)/(4/16)?
False
Let j = 3 - 0. Let b(l) = 1 + 5*l + 5*l - 5. Is b(j) a multiple of 13?
True
Let c = -5 + 10. Suppose c*q - 44 = 91. Is 11 a factor of q?
False
Let n(f) = -f + 5. Let j be n(4). Is 21 a factor of 42*1*(2 - j)?
True
Suppose 0 = 2*m - 4*b - 50, 3*b = -m + 7*b + 27. Is 11 a factor of m?
False
Let f(u) = 5*u**2 - 6*u + 4. Let t be f(4). Suppose 4 - t = -4*x. Is 3 a factor of x?
False
Let s(v) = -v**3 + 7*v**2 - 7*v - 4. Is 8 a factor of s(5)?
False
Let o(v) = v**3 + 12*v**2 - v + 6. Does 15 divide o(-12)?
False
Let s = 16 - 8. Let z = s + 4. Is 6 a factor of z?
True
Let m = -9 - -13. Suppose -4*q + 2*g + g = -23, 0 = -4*q - m*g + 44. Suppose -2*n - 2*f = -3*f - 56, 2*f - q = 0. Is n a multiple of 15?
True
Let b = 11 + -8. Suppose -b*i + 5*i - 144 = 0. Suppose o - 14 = -2*d, 4*o + 0*d = -4*d + i. Is o a multiple of 9?
False
Suppose 0 = -3*d + 2*x - 1, 4*d - x - 3 = 4. Let y(g) = 3*g - 1. Let i be y(1). Suppose -4*j - i*z + 112 = -z, -93 = -d*j - 3*z. Is j a multiple of 11?
False
Suppose l - 11 = 9. Let o be (0 - -1)/((-7)/84). Let t = l + o. Is 3 a factor of t?
False
Does 11 div