se
Is 3 a factor of (4/(-20) - -1)/(6/315)?
True
Suppose r - 7 + 22 = 0. Let v(m) = 2*m**2 - 7*m + 3. Let h be v(5). Is 5 a factor of 3/h*-4*r?
True
Let l(o) = 2*o**2 - 12*o + 9. Let z be l(8). Let f = -7 - -30. Let a = z - f. Is a a multiple of 6?
True
Is 9 a factor of 14/((-20)/810*-9)?
True
Suppose -16*d + 30 = -11*d. Suppose 159 = d*o - 81. Is 34 a factor of o?
False
Let d(x) = 6*x**2 - 3*x + 1. Let l(r) = -r. Let v(f) = -7*f**2 + 7*f - 2. Let y(g) = 4*l(g) + v(g). Let n(j) = 6*d(j) + 5*y(j). Does 10 divide n(7)?
False
Let m(x) = 11*x**2 - 5*x + 47. Let n(r) = -r**2 + 1. Let q(o) = m(o) + 5*n(o). Is 14 a factor of q(6)?
True
Let f(v) = -v**2 - 5*v + 10. Let y be f(-6). Suppose 3*d + 2*h + 36 = 0, 0*d - y*d - 59 = -h. Let q = 16 + d. Is q even?
True
Let r(h) = 74*h + 128. Is 53 a factor of r(4)?
True
Let u = 9 + 35. Does 21 divide u - -1 - 4 - -1?
True
Suppose -4*i + 383 = -1273. Is 6 a factor of i?
True
Let h = 12 + 13. Let g = h - -27. Suppose -15*f = -16*f + g. Is 21 a factor of f?
False
Let u(j) = -143*j**2 - 21*j - 17. Let p(m) = -36*m**2 - 5*m - 4. Let s(x) = -9*p(x) + 2*u(x). Is 26 a factor of s(-1)?
False
Let x be 110/10 + 1 + 2. Suppose -a + x = a. Is 13 a factor of 542/14 - (-2)/a?
True
Let g = 2230 - 1180. Is 29 a factor of g?
False
Does 34 divide (-3)/((-6 - -5) + 0) - -677?
True
Let g(s) = 48*s - 3. Suppose -2*f = 51 - 53. Does 23 divide g(f)?
False
Suppose -3*x + 4*b = 104 + 70, 0 = 5*x - b + 273. Let s = x + 102. Does 22 divide s?
False
Let g = 144 - 92. Does 14 divide g + 2 + -3 - 0?
False
Suppose -102*o + 112*o - 33040 = 0. Is o a multiple of 12?
False
Suppose 5*i = 4*v + 8247, i - v - 1627 - 22 = 0. Does 118 divide i?
False
Let s(l) = 3 - 15 + l**3 + 21*l**2 - 11*l**2. Is s(-9) a multiple of 23?
True
Suppose 22*z + z = 3335. Does 11 divide z?
False
Suppose -h + 4*w = -276, 0 = h - 13*w + 12*w - 264. Is 20 a factor of h?
True
Let w(x) = -3*x**2 - 2*x - 4. Let z be w(-3). Let d be 2*(-4)/((-40)/z). Does 13 divide 23 + (-3 + 1 - d)?
True
Let q = 5 - 3. Suppose q*v = -v + 633. Suppose -5*y = -3*d + v, 5*y = -3*d + 211 - 50. Is d a multiple of 14?
False
Let n(d) = -d**3 - 2*d**2 - 3. Let i be n(-3). Let s be (-2)/12 + 13/i. Suppose -5*a + c + 77 = 0, -33 + 7 = -2*a + s*c. Does 4 divide a?
True
Let d be 1 + (0/(-3) - -1). Suppose -d*g - 60 = -b, 3*b - 192 = 3*g - 0*g. Is 14 a factor of b?
False
Let b(u) = 3*u**3 - 3*u**2 + 3*u - 2. Suppose -5 = -3*o + 1. Let k be b(o). Let s = k - -17. Does 11 divide s?
True
Let b be 2/5 - ((-2676)/(-10))/(-6). Suppose j + 2*j - b = 0. Does 3 divide j?
True
Let y(i) = i**2 - 8*i + 9. Let q be y(6). Let x be -6*(0 + 1/q). Suppose -2*n = v + x*n + 16, 4*v + 4*n = -4. Does 2 divide v?
True
Let d be (-12)/(-7) + 1 - 18/(-63). Suppose -5*q + 129 = 3*f, 0 = -d*q - 0*q. Is f a multiple of 29?
False
Let w = -27 - -20. Does 25 divide 1408/28 + (9/w - -1)?
True
Let p = -23 - -64. Suppose p = -a + 2*a. Does 17 divide a?
False
Let c(s) = -s + 3. Let g be ((-12)/5)/(3/20). Does 2 divide c(g)?
False
Let c = -118 - -229. Does 13 divide c?
False
Let f be (-3 - -3)/(1 - 2). Suppose -212 = -2*v - 3*z, 4*z + 18 - 2 = f. Does 28 divide v?
True
Suppose -5*f + 13 + 47 = 0. Is 16 a factor of -5 + 1551/f - 6/(-8)?
False
Suppose 0 = -36*r + 30*r + 2376. Is 33 a factor of r?
True
Let q = 26 - 23. Suppose 5*m - 3*m - 4 = 0, 5*r - 134 = q*m. Let s = r - 20. Is s a multiple of 8?
True
Let h(r) = 3*r + 2. Let k be h(-8). Let c be 10*(1 + k/4). Is (-20)/25*c/2 a multiple of 9?
True
Let h(t) = t**3 - 10*t**2 + 6*t + 11. Let g be h(9). Let m = -4 - g. Suppose -84 = m*k - 15*k. Is k a multiple of 16?
False
Let d(g) = 2*g**2 + 4*g - 3. Let a be d(-4). Let j(q) = 4*q - 16. Is j(a) a multiple of 9?
True
Let i be -4 + 2 + 8/1. Let v(a) = -3 + 17*a - i - 3. Is v(7) a multiple of 23?
False
Let o(i) = -i**2. Let q(v) = v**2 - 18*v + 1. Let f(a) = -5*o(a) + q(a). Is 6 a factor of f(4)?
False
Let j(h) = -h**3 + 18*h**2 - 13*h - 5. Is j(16) a multiple of 13?
True
Suppose -13*w = -330 - 3531. Is w a multiple of 16?
False
Is 7 a factor of (-78)/13 - (0 + -83)?
True
Let p(o) = 6*o - 97. Does 15 divide p(43)?
False
Let d(b) = -b**3 - 2*b**2 + 3*b - 12. Does 7 divide d(-9)?
False
Let j = -52 - -55. Let o(r) = 8*r**2 - r - 5. Does 26 divide o(j)?
False
Let v(k) = -k**2 + 4*k - 1. Let f(p) = -2*p**2 + 8*p - 1. Let b(t) = -4*t**2 + 3*t - 3. Let d be b(2). Let a(s) = d*v(s) + 6*f(s). Is a(-6) a multiple of 26?
False
Suppose 4*b = -l - 7672 + 20479, l + 3208 = b. Is b a multiple of 39?
False
Suppose 2*z + z = 15, -5*p + 3*z = -15. Suppose p = 3*y, -r = 2*y - 3*y - 42. Does 13 divide r?
False
Let s be -3*(-1)/3 + 2. Suppose -s*c = 5 - 11. Suppose 6 = -c*r + 50. Does 8 divide r?
False
Suppose z = -q + 105, -237 - 66 = -3*z + 3*q. Is 8 a factor of z?
False
Let s(m) = m**3 - 6*m**2 + m - 3. Suppose -5*g - 17 = -2*l - 4*g, 5*g + 7 = -3*l. Let t be s(l). Suppose -2*u = t*u - 60. Is u a multiple of 4?
True
Suppose 37 = o + 2*i, -o - 3*i - 185 = -6*o. Suppose -5*y - 194 = -d - o, 3*d + y = 439. Is 24 a factor of d?
False
Let z(t) = 2*t + 16. Let j(u) = -u - 8. Suppose 4 = -2*p - 6. Let o(c) = p*j(c) - 2*z(c). Is 14 a factor of o(6)?
True
Suppose -8*w = -4*w + v - 120, 105 = 3*w - 3*v. Suppose -53 = -2*l + w. Is 14 a factor of l?
True
Let x(r) = r**3 - 19*r**2 + 19*r + 29. Let d(z) = 6*z**3 - 95*z**2 + 95*z + 146. Let v(m) = -2*d(m) + 11*x(m). Is v(-20) a multiple of 13?
False
Let a(n) = 12*n - 42. Does 14 divide a(6)?
False
Does 4 divide ((-3)/(-9))/(16/2592)?
False
Is 68 a factor of (-14 + 28/4)*408/(-14)?
True
Suppose -2*z - 4*j - 24 = -236, 3*z - 2*j - 350 = 0. Is 0 + 4/(8/z) a multiple of 22?
False
Suppose 0 = 3*b - 11 - 16. Let n(y) = 2*y + 8. Let p(r) = 3*r + 7. Let l(m) = -6*n(m) + 5*p(m). Is 7 a factor of l(b)?
True
Suppose -2*g + 5 - 3 = 0. Let j(n) = g + 11*n + 38*n + 27*n. Is 22 a factor of j(1)?
False
Let r = 10 - 5. Suppose -4*p - r = -1. Let q = p - -82. Does 11 divide q?
False
Suppose -4*a - 664 = -4*i, 3*i = -0*i - 3*a + 498. Suppose 2*u = u - 5*j + 19, -4*u + i = 2*j. Let y = u + -14. Does 6 divide y?
True
Let i(q) = q**2 + 33*q - 86. Does 11 divide i(-41)?
True
Suppose -445 = -2*k + 163. Does 19 divide k?
True
Suppose -19*z + 5*z + 406 = 0. Suppose 0 = -u + 3*h + 8, 21 = 5*u + 3*h + h. Suppose 0 = u*y - z - 46. Is y a multiple of 5?
True
Suppose 4*o - 25*o = -756. Does 9 divide o?
True
Let c = 29 - 23. Is 5 a factor of (c/6)/(2 + (-90)/46)?
False
Let i = 2518 - 2478. Is i a multiple of 9?
False
Let h = -6 - -12. Suppose -q = -4*p - 6, 0*p + 2*p = 2*q - h. Is 20 a factor of q + (-1)/(3/(-183))?
False
Let d(w) = -6*w + 171. Is 3 a factor of d(13)?
True
Suppose -b = -4*a + 3525, 288 = -2*a + b + 2049. Is 10 a factor of a?
False
Suppose -b + 1435 = 4*i - 1350, -2820 = -b + 3*i. Does 33 divide b?
True
Let x(q) = -q**3 - 11*q**2 - 4*q + 3. Let s(r) = -r**3 - 3*r + 2. Let j be s(2). Is x(j) a multiple of 13?
True
Suppose -a + 275 = -u, 160 = 2*a + 5*u - 418. Is a a multiple of 35?
False
Let t = 1794 + -1511. Is t a multiple of 9?
False
Suppose -f - 353 = -s, -s - 1400 = -5*s - 2*f. Is 27 a factor of s?
True
Suppose -4 + 1 = -3*s. Let h(p) = -p**2 + 2*p + 1. Let g be h(0). Does 5 divide (s - 10)/g*-1?
False
Does 60 divide 72/126 - (-10076)/7?
True
Let k = -246 + 705. Is 17 a factor of k?
True
Let k(g) = 5*g + 33. Let v be k(-6). Does 6 divide (-5 - 3) + 4 + 96/v?
False
Let q = -47 - -40. Is 12 a factor of (-23)/((q - -4)/3)?
False
Suppose r = 2*s + 53, -r - 2*s = 20 - 77. Suppose 2*a + 0*a + 2 = 2*k, 0 = a + k + 5. Let t = a + r. Is t a multiple of 16?
False
Let s(j) be the second derivative of j**5/20 - j**4/6 + 2*j**2 + 3*j. Does 9 divide s(4)?
True
Suppose 0 = -12*n - 1753 + 6073. Is 20 a factor of n?
True
Let o = -3 - 0. Let q(d) = 10*d**2 + 10. Let h be q(o). Suppose -4*r + 248 = -h. Is 17 a factor of r?
False
Suppose -3*j + 27 = 2*i, 0*i = -4*i - j + 29. Does 32 divide (-2)/(i/(-673)) - 2/6?
True
Suppose 548 - 56 = 2*u. Suppose t = m + m + u, 3*t + 2*m = 714. Is t a multiple of 10?
True
Let g be (1/(3/(-12)) - -5)*22. Suppose -374 - g = -9*y. Is 3 a factor of y?
False
Suppose 9*w = 7*w - 284. Suppose -x - 2*b = 93, 0 = b - 3*b. Let c = x - w. Is 12 a factor of c?
False
Let x = -3 - -1. Is 3 a factor of (-28)/x + -4 + -3?
False
Let l(y)