ctor of z?
True
Let a be (-2)/(-5) - 198/45. Does 21 divide -22*(-2)/a*-7?
False
Suppose 3*r = -5*k + 365, -125 = -2*k - 5*r + 40. Is 11 a factor of k?
False
Let u(o) = o**3 + 3*o**2 - 5*o - 1. Let y be u(-4). Suppose -4*n = -2*k - 8, 0*n = -n + y*k + 12. Suppose n = 5*x - 162 - 73. Is x a multiple of 14?
False
Suppose 20*u = 6*u + 336. Is 2 a factor of u?
True
Let z(s) = s**2 - 7*s + 2. Let b be z(5). Let v be (-34)/b - 3/12. Suppose 0 = 3*h + v*m - 272, -4*h - 7*m + 4*m + 372 = 0. Is h a multiple of 32?
True
Let v(g) = 1 - 5 - 7*g + 1 - g**2. Let w be v(-4). Let o = w - 0. Is o a multiple of 9?
True
Let k(p) = -p**3 + 30*p**2 + 35*p - 52. Is k(31) a multiple of 9?
True
Suppose -3*k = 2*b - 0*k - 39, 3*b - 51 = 3*k. Suppose 5*f + 10 + 9 = n, 0 = 2*n - 5*f - b. Is n/(-2) - 1533/(-14) a multiple of 22?
True
Suppose 420*m - 437*m = -19380. Is 21 a factor of m?
False
Let z = 497 - 299. Is z a multiple of 11?
True
Let a = -79 - -82. Suppose 5*y = -2*g + 195, -a*g + 479 = 2*g + 4*y. Is g a multiple of 18?
False
Suppose 0 = -5*y + 5*v + 19 + 71, 0 = -5*y + 2*v + 96. Is (66/(-24) - -2)/((-1)/y) a multiple of 7?
False
Let f(z) = 1. Let a(s) = -4. Let h(x) = a(x) + 5*f(x). Let g(o) = -o - 14. Let q(y) = g(y) + 6*h(y). Is q(-11) a multiple of 2?
False
Is 8 a factor of (-120589)/(-196) + 2/(-8)?
False
Suppose -6*u + u + 30 = 0. Let p be 4 + 0 - (-3 + 0)*7. Suppose -u*i + p = -i. Is i even?
False
Let t be 3*(-3 - -2)*(-62)/6. Suppose h = -4*x + 7 - 28, 0 = -2*h + 5*x - 29. Let f = h + t. Is f a multiple of 5?
False
Let u be (-1 - -2)/((-6)/186). Let n = u + 37. Suppose -4*v + 14 = -n. Is v a multiple of 3?
False
Let q(f) be the first derivative of 8*f**2 - 8*f - 11. Does 14 divide q(4)?
True
Let j be 2/(1/4*2). Let z(n) = -2*n**2 + 9*n - 4. Let o be z(j). Suppose o*l - 85 = -l. Is 30 a factor of l?
False
Suppose 5*p - 224 = -3*q + 140, 4*q + 5*p = 492. Does 12 divide q?
False
Let s(m) = 26*m**2 - 3*m + 6. Let x(g) = 51*g**2 - 5*g + 11. Let l(o) = -7*s(o) + 4*x(o). Is 28 a factor of l(2)?
False
Suppose -b - 3*b + 20 = 0. Suppose 5*v = -b*v + 1170. Is v a multiple of 13?
True
Suppose -6*m + m = 0. Suppose -2*b - 2*b + 132 = m. Is (b*-1)/(-2 + 1) a multiple of 7?
False
Let t(b) = b**3 - 6*b**2 + 7*b - 16. Let k be ((-35)/28 + (-2)/4)*-4. Does 32 divide t(k)?
False
Let x = -1820 + 2669. Does 23 divide x?
False
Let s = -32 + 34. Suppose -5*b + y + 173 = 34, -s*b = y - 57. Is 14 a factor of b?
True
Let r = 18 + -12. Let m be (-4)/r + 18/27. Suppose -s + 8 + 30 = m. Does 9 divide s?
False
Does 9 divide ((-3)/(-5))/((-162)/(-280530))?
False
Suppose -c = x + x + 111, -c - x - 112 = 0. Let i = -77 - c. Suppose 0*n + i = n. Is 12 a factor of n?
True
Let a(x) = -x**3 - 4*x**2 + 2*x + 4. Let w be a(-8). Let k = -76 + w. Does 7 divide k?
True
Is (-1)/(3*(-8)/27408) a multiple of 4?
False
Suppose 0 = -2*b + 5651 + 1369. Is 18 a factor of b?
True
Suppose 2*h - 39 = -9. Does 3 divide (3/(h/8))/((-5)/(-25))?
False
Suppose -2 = -v + 3. Suppose v*p = 35 - 115. Is -13*p/(-12)*-3 a multiple of 26?
True
Let r(n) = 4*n**3 + 134*n**2 - 81*n + 22. Is 5 a factor of r(-34)?
False
Let t(b) = -9*b**2 - 10*b - 17*b**2 - 12 + 25*b**2. Let c be t(-8). Suppose 47 = c*j - 81. Is j a multiple of 7?
False
Does 4 divide (-5)/(-20) - (-815)/4?
True
Let i be (-2 - -2) + 2 + 1. Let p(t) = -3*t**2 + 4*t. Let m be p(i). Let q = 39 + m. Is q a multiple of 12?
True
Suppose -3*t = 2*h - 262, 0 = -0*t - 2*t - 5*h + 160. Does 15 divide t/(-4)*8/(-10)?
False
Suppose 7*y - 5*y - 6 = 0. Suppose -3*s + y*x = -54, 0*x - 51 = -4*s - 3*x. Does 10 divide ((-310)/s)/(2/(-3))?
False
Does 14 divide ((-5)/15)/(5/(-795))?
False
Suppose 3*j + 5*s - 1383 = 0, 5*s = 2*s - 9. Let g = j - 274. Is g a multiple of 14?
False
Let r(i) = 270*i**2. Is 18 a factor of r(1)?
True
Let o(b) be the third derivative of b**5/60 - 13*b**4/24 - 3*b**3/2 + 3*b**2. Is 2 a factor of o(14)?
False
Suppose 136 + 724 = 2*u - 4*f, -f + 1738 = 4*u. Is 7 a factor of u?
True
Let b(v) = -v**3 + 13*v**2 + 11*v - 15. Let z be b(12). Let o = z - -62. Does 15 divide o?
False
Suppose f + 7*f = 720. Is f a multiple of 2?
True
Suppose -1090 = -5*w + 4*l + 798, -2*w = -2*l - 754. Suppose 0 = -16*k + 21*k - w. Does 15 divide k?
False
Suppose -4*z = z + 20. Does 16 divide 3/(z + 5) - -75?
False
Let n(d) = -d**3 - 6*d**2 - 5*d + 8. Let t be n(-5). Let r = t - 6. Suppose -r*m - 9 = -217. Is m a multiple of 13?
True
Suppose -37*q = -11*q - 34112. Is 16 a factor of q?
True
Let r be (1/2)/((-1)/(-16)). Let z = r - 1. Suppose -z = -5*q + 23. Is q even?
True
Let v be ((-2)/(-4))/(3/54). Let s(g) = 0 - 6 - 1 + 2 - v*g. Does 14 divide s(-5)?
False
Let m = -806 + 2678. Is 39 a factor of m?
True
Let u = 3567 - 1893. Does 31 divide u?
True
Let g(b) = -3*b**2 + 47*b - 14. Does 12 divide g(10)?
True
Let u(i) = -7 - 17*i - 14*i + 2*i**2 + 40*i. Does 7 divide u(-7)?
True
Let z = -209 + 289. Is z a multiple of 5?
True
Suppose -7*s = -14*s + 567. Let x = s - 41. Is 9 a factor of x?
False
Let c = 64 - -772. Does 22 divide c?
True
Let t(l) = -l**3 - 2. Let j be t(0). Let s(b) = -9*b + 2. Is s(j) a multiple of 4?
True
Let q = -9 + 10. Let x = q + 49. Does 13 divide x?
False
Let u(q) = -q - 23. Let x be u(-8). Let b(h) = -3*h - 22. Does 8 divide b(x)?
False
Let f be (1 - -4 - 4)*(5 + 0). Does 14 divide 2226/22 - ((-159)/33 + f)?
False
Let j(l) = 3*l**3 - 2*l**2 + l + 2. Let q be j(2). Does 13 divide 2216/q + 4 + 2/10?
False
Let l be (-90)/(-54)*9/(-1). Let p be 1*((-9)/3 - l). Let z(w) = w**3 - 11*w**2 - 10*w - 5. Does 14 divide z(p)?
False
Suppose -4*o - 89 = 23. Does 18 divide (-516)/o + 6/(-14)?
True
Let h = -9 - -11. Let p(c) = -3*c + 5*c - c + 7*c**2 + c**3 - h. Is 7 a factor of p(-6)?
True
Let x be -2 + (-15 + 1)*1. Let d = 2 - x. Is d a multiple of 3?
True
Let z be (3/2)/(3/4). Suppose 15 = r + z*r. Suppose 0 = -4*g - r + 41. Is 2 a factor of g?
False
Suppose 0 = -0*h + 5*h + 65. Let n(m) = 15*m + 18. Let o be n(-3). Let k = h - o. Does 7 divide k?
True
Let t(j) = 2*j**2 + 9*j + 15. Let l = 49 - 55. Is t(l) a multiple of 33?
True
Let r = 546 + -369. Suppose -7*n + 264 = -r. Does 12 divide n?
False
Suppose 191 = 2*h - 2737. Is h a multiple of 8?
True
Let w = -23 + 27. Suppose 4*m + m - 4*t = 266, w*t + 66 = m. Is 38 a factor of m?
False
Suppose -2*f + 3 = -143. Suppose -512 - f = -5*i. Suppose p = 5*l - 0*p - i, -5*p = -15. Is 16 a factor of l?
False
Let b be (73/(-3))/(3/9). Let d = b - -97. Does 24 divide d?
True
Let d(q) = -q**3 - 6*q**2 + 7*q + 12. Let h be d(-7). Let w(f) = 3*f - 5. Is 5 a factor of w(h)?
False
Suppose 10*k - 5*k + 144 = -u, 454 = -3*u - 4*k. Let d = -56 - u. Is 12 a factor of d?
False
Is 96 a factor of (6682/39)/(3 + (-79)/27)?
False
Suppose 0 = c - 5*c. Suppose c*q + 25 = 5*q. Is q a multiple of 3?
False
Let x(c) = -120*c**3 - 5*c**2 - 17*c - 60. Does 54 divide x(-3)?
True
Let w(c) = 252*c**3 - 4*c**2 + 1. Let x = 45 - 44. Is 22 a factor of w(x)?
False
Let k(f) = f**2 - f + 2. Let r be k(2). Let i(h) = 17*h**2 + 3*h - 5. Let t be i(-4). Suppose -z + t = r*z. Is z a multiple of 24?
False
Let j(b) = b + 18. Suppose 0 = 4*w - 31 - 17. Is j(w) a multiple of 6?
True
Let a(f) = 42*f + 35. Is a(6) a multiple of 15?
False
Let x = 6 + -24. Let j = -9 - x. Is (-26)/(1 + j/(-6)) a multiple of 19?
False
Let i = 25 - 23. Suppose -4*w = -3*a + 138, 5*w + 99 = 4*a - i*a. Does 14 divide a?
True
Let j(a) = a**2 - 3*a + 1. Let t(p) be the first derivative of -p**2/2 + p + 1. Let x be t(6). Does 11 divide j(x)?
False
Suppose -44*n = -47*n + 30. Is 24 a factor of 5/(n/(-4)) + (19 - -7)?
True
Let c = -126 + 129. Suppose -c*m = -49 - 479. Does 14 divide m?
False
Is 52 a factor of 3/(12/16093) - (-184)/(-736)?
False
Let k(a) = -2*a**2 - 5*a + 7. Let m be (-10)/(-1) + -4 + 1. Let r(g) = -5*g**2 - 11*g + 13. Let u(l) = m*k(l) - 3*r(l). Is u(0) a multiple of 10?
True
Suppose -d = 4*d - 85. Let u(g) = 11*g - 10. Let o(f) = 4*f - 3. Let k(n) = d*o(n) - 6*u(n). Is k(0) a multiple of 3?
True
Let t(b) = 125*b + 65. Is 15 a factor of t(2)?
True
Suppose 3*w = 621 + 2187. Does 12 divide w?
True
Suppose -3*k - 4*j + 0*j + 466 = 0, 3*k - j - 446 = 0. Is k a multiple of 6?
True
Suppose 0 = 4*d - d + 45. Is 23 a factor of (d/10)/(3/(-184))?
True
Suppose 24*u - 19*u + 10 = 0. Let t(