0?
False
Let k(b) = 5*b**2 - b + 4. Let d be k(-4). Let m be (d/6)/(5/75). Suppose 0*y + 5*j - 252 = -4*y, 4*j + m = 3*y. Does 17 divide y?
True
Let c(n) = 122*n**2 - 20*n - 7. Does 60 divide c(-3)?
False
Is 63 a factor of 14*((-162)/4)/(-9)?
True
Is 10 a factor of (0 + 100)*(-2)/(-5)?
True
Suppose l = 2*b + 2080, 65*l = 69*l - 4*b - 8336. Is l a multiple of 6?
True
Let u be (-6)/(-4) - (-3)/6. Suppose -3*a + 5*g = -163, u*a - 3*g - 165 = -a. Is a a multiple of 27?
False
Suppose -2*q - 4*f + 45 = 3, -3*f = q - 24. Let g = -91 - -86. Let c = g + q. Is c a multiple of 10?
True
Suppose -5*v = 60 + 120. Let x = 71 + v. Is 9 a factor of x?
False
Let y = 104 + 247. Suppose 0 = -4*h - 3*a + y, -h + 96 = a - 3*a. Is 10 a factor of h?
True
Let q(b) = -15*b + 30. Let i be q(5). Is (30/i)/(4/(-366)) a multiple of 10?
False
Is 44 a factor of (44/(-5))/(2/(-100))?
True
Let f = 13 - 3. Let j = f + -8. Suppose 0 = -j*l + 11 + 3. Is l a multiple of 7?
True
Let n = -406 - -491. Is 17 a factor of n?
True
Suppose -4*r = -13 + 1. Suppose -3*s = -n - 415, -4*n = -r*s + n + 407. Is s a multiple of 42?
False
Let a = -163 + 1635. Suppose -13*r - a = -17*r. Suppose -2*h - 2*h = -f - 289, -f + r = 5*h. Does 13 divide h?
False
Suppose 0 = 2*k + h + 4*h + 15, -2*k + 5*h + 15 = 0. Suppose 52 = 2*j - k*j. Does 3 divide j?
False
Suppose 0 = 361*p - 363*p + 864. Does 16 divide p?
True
Let b(u) = -u**3 - 11*u**2 - 10*u - 6. Suppose -4*i - 15 = 9. Let z be b(i). Does 21 divide 2/(3 + 374/z)?
True
Let o(m) = 120*m**2 - 12*m + 15. Is 12 a factor of o(3)?
False
Let i(v) be the first derivative of -5 + 0*v + 5/2*v**2. Is i(3) a multiple of 15?
True
Let f be 1/(248/(-84) + 3). Suppose 17 = 3*d - 4. Let v = d + f. Is v a multiple of 21?
False
Suppose -2*u + 114 = -0*u - 4*y, 2*y = 5*u - 309. Let g be 1/(-5) - u/(-15). Suppose -5*n = -3*l - 78 - 77, -2*n = g*l - 36. Is 14 a factor of n?
True
Let s(x) = -11*x - 18. Is 11 a factor of s(-16)?
False
Let b = -21 + 34. Let m = b + -9. Is (-207)/(-15) + m/(-5) a multiple of 8?
False
Suppose 5*u + 10 = 0, -g + 5*u + 26 = g. Let c be 3 - 0*(-2)/g. Does 9 divide (c/(-3))/((-4)/124)?
False
Let j(m) = -5*m + 2. Let y be j(-6). Suppose -5*x + 7 = -9*s + 12*s, -4*s - 2*x + 14 = 0. Suppose s*a = 20 + y. Does 10 divide a?
False
Let h(c) = 43*c**2 + 7. Let m be h(3). Suppose 5*o + b = 3*b + m, -157 = -2*o + b. Is o a multiple of 29?
False
Is 33 a factor of (297/4)/(2*54/4032)?
True
Let a(z) = 9*z + 139. Does 33 divide a(18)?
False
Let l = 62 + 1. Does 14 divide l?
False
Let r = 1 + 0. Let f(y) = y**3 + 11*y**2 + 11*y + 1. Let b be f(-10). Let c = r - b. Is c a multiple of 10?
True
Let i(r) = -r**3 - r + 2. Let h be i(0). Suppose -h*v = -4*y - 26, -3*y = -v + 2*y + 28. Suppose -t = v*t - 208. Is 26 a factor of t?
True
Suppose -3*p = 2*o + 2*o - 113, -o - 88 = -3*p. Is p a multiple of 3?
False
Suppose -392 = -5*v - 4*a, -4*a + 2 + 10 = 0. Does 4 divide v?
True
Let f = 257 + 168. Does 25 divide f?
True
Suppose -i = -7*i. Suppose -112 = -i*t - 4*t. Is (49/t)/((-1)/(-32)) a multiple of 13?
False
Let a(c) = -5*c + 12. Suppose 0 = 4*n + 14 + 10. Is a(n) a multiple of 6?
True
Let y(r) = -2*r**3 - 31*r**2 + 89*r + 7. Does 3 divide y(-18)?
False
Let p(f) = -239*f**3 + f**2 - 1. Let x be p(-1). Suppose -x = -7*l + 174. Is l a multiple of 23?
False
Let k(y) be the first derivative of -5/4*y**4 - 2*y**2 + 6 - 6*y - y**3. Does 31 divide k(-3)?
False
Suppose 0 = r - 9 + 6. Suppose 4*y - 184 = 4*j, r*j - 126 = -5*y + 2*y. Is 22 a factor of y?
True
Suppose 123*i + 1944 = 131*i. Is 9 a factor of i?
True
Does 43 divide ((-25)/(-10))/(1/626)?
False
Let y(f) = f**3 + 9*f**2 - 20*f - 14. Let w = -48 + 38. Is 48 a factor of y(w)?
False
Does 13 divide ((-2310)/18 - 6)/((-2)/6)?
True
Let i(r) = -r**2 + 10*r + 4. Let k be i(11). Let q = 9 + k. Suppose 0 = -4*x + 2*j + 288, -q*x = x - 3*j - 216. Is x a multiple of 18?
True
Let n be (5*-6)/(18/(-9)). Suppose 0 = 5*u + 11 - 136. Let m = u - n. Is 5 a factor of m?
True
Suppose -5*v - 4 = k - 16, -5*k + 6 = -2*v. Does 24 divide 1540/16 + k/(-8)?
True
Let u = 448 + -175. Suppose -4*m - 5*r = 109 - 492, r + u = 3*m. Is 23 a factor of m?
True
Let x = -35 - -37. Suppose 5*z = -x*l + 63, 4*z - 4*l = l + 57. Is z a multiple of 12?
False
Suppose -1833 = 153*b - 166*b. Does 9 divide b?
False
Let u(g) = -1 + 3 + 0*g**2 + 5*g + 2*g**2. Let y(k) = k**3 - k**2 - k - 3. Let f be y(0). Does 5 divide u(f)?
True
Let f(y) = -y**3 - 8*y**2 - 8*y - 6. Let r be f(-7). Let z = r + -2. Let n(s) = -10*s. Does 10 divide n(z)?
True
Suppose 18 = -0*a - 3*a. Let i = 10 + a. Suppose i = 5*o - 36. Is o a multiple of 8?
True
Suppose 4*s - 7*s = 0. Suppose s = 5*n - 5*g - 45, 5*n = 2*g + 52 - 4. Does 10 divide n?
True
Let b(l) = 2*l**2 - 4*l - 42. Let f be 9/(-6)*(28/6 + 0). Is 12 a factor of b(f)?
True
Suppose -3*p = -2*s + 8, -s - 3*s - 5*p + 60 = 0. Suppose s*y = 13*y - 174. Does 9 divide y?
False
Let x be 3/(-3)*0 - 4/(-2). Suppose -139 = -x*z - 29. Is z a multiple of 19?
False
Let f(d) = 1 + 8*d - 6*d + 2*d**2 + 2. Let p be f(-5). Let g = 5 + p. Is 16 a factor of g?
True
Suppose -12 = 2*i - 20. Let x be -24*(-24)/9 + i. Suppose -5*a - 23 = -x. Is a a multiple of 9?
True
Suppose 0 = 4*b + 5*v - 925, -629 = -3*b - 4*v + 66. Let n = 470 - b. Does 19 divide n?
False
Suppose 5*d + d = 12240. Does 6 divide d?
True
Let l be (-7)/1*(-8)/14. Suppose 188 = 4*q - l. Is q a multiple of 12?
True
Suppose 4*p = 8, -p - 660 = -4*y + p. Let u = -5 + y. Does 23 divide u?
True
Let w = 139 + 101. Suppose -v + 6*v - w = 0. Does 12 divide v?
True
Let k(n) = n**3 - 5*n**2 + 5*n - 2. Let r be k(4). Let t be (-4)/((-39)/19 + r). Let o = t - 24. Does 26 divide o?
True
Suppose -41*h + 40*h = -62. Suppose -14 - 1 = -5*f. Suppose 4*j - 3*x = 66, x - h = -3*j - f*x. Is 9 a factor of j?
True
Let a be 2/(-3)*(3 - (-75)/(-10)). Suppose x + 3*c + c - 52 = 0, x - a*c = 73. Is 27 a factor of x?
False
Let j(i) = i + 8. Suppose 2*q - 13 = -35. Let x be j(q). Does 15 divide (-136)/x - (-1)/(-3)?
True
Suppose 4*i + 14 = -3*v, i + 2 = -5*v + 7. Suppose -v*r = r - j - 115, j = 5. Does 10 divide r?
True
Let t = 2217 + -1256. Does 8 divide t?
False
Let z = 52 - 50. Suppose 2*y - 5*d - 49 = 0, 5*y - z*d - 2*d = 165. Does 30 divide y?
False
Let u(o) be the third derivative of o**5/15 - o**4/6 + 5*o**3/3 - 9*o**2. Let x(h) be the first derivative of u(h). Is x(5) a multiple of 9?
True
Let i be (1 + (-26)/3)*-6 - 0. Is 23 a factor of -2*i*(-42)/24?
True
Let s be ((-8)/(-12))/(3/54). Suppose 7*q - 3*q = s. Suppose 5*f = -q*l + 205, -75 = -3*f - l + 44. Is 19 a factor of f?
True
Let m = -3 + 5. Suppose -54 - 303 = -3*q. Suppose 0 = -7*p + m*p - n + q, -4*p = -4*n - 100. Does 6 divide p?
True
Let c(g) = 10*g**2 + 10*g + 10. Let r be c(5). Let a = 490 - r. Is a a multiple of 15?
True
Suppose -6*q + 8*q - 16 = 0. Let f be (-2)/(q/4*-1). Let x(j) = 22*j + 3. Does 10 divide x(f)?
False
Let b = -218 + 439. Let i = b + -140. Is i a multiple of 13?
False
Let q(g) = 3*g + 19. Suppose -3*t + 4*t = 0. Suppose -3*m + 30 + 12 = t. Is 12 a factor of q(m)?
False
Let w = -9 - -10. Let m be (0 - 1) + 16 + w. Let u = 26 - m. Does 4 divide u?
False
Let y(o) = o**3 + o**2 - 461. Let t be y(0). Let g = -318 - t. Does 13 divide g?
True
Let j = -8 - -13. Let v(s) = 3 - 4 - s**3 + j*s - s. Does 15 divide v(-4)?
False
Let x(f) = 138*f - 10. Suppose 30 = -5*d + 40. Is 21 a factor of x(d)?
False
Let p be 4/(-22) + 570/110. Suppose -4*k - 4 - 27 = -3*l, p*l + 3*k = 13. Suppose 7*q - 22 = l*q. Is 11 a factor of q?
True
Let j = 210 + -352. Let l = j - -218. Is 19 a factor of l?
True
Let q(a) = 25*a**2 - 43*a - 266. Is q(-7) a multiple of 63?
True
Let g(x) = -x**2 - 4*x. Let f(o) = 4*o + 1. Let t(y) = -7*f(y) - 6*g(y). Is t(6) a multiple of 9?
False
Let c(w) = -w**2 - 29*w + 88. Does 8 divide c(-31)?
False
Let g be -2 - -1 - (0 - 74). Suppose 3*u + c = g, u + 2*u - 77 = -2*c. Let s = u - 8. Is 15 a factor of s?
True
Suppose 4*k = 41 + 39. Suppose 40 = l - k. Is 15 a factor of l?
True
Let z(m) = -1. Let c(s) = -s**2 + 5*s - 13. Let q(l) = -c(l) + 6*z(l). Let k be q(4). Suppose 3*b - 102 = -4*t, -k*t - 45 = -5*b + 96. Is b a multiple of 8?
False
Let c(o) = -23*o**2 + 20*o - 4. Let q(n) = -8*n**2 + 7*n - 1. Let d(k) = 2*c(k) - 7*q(k)